diff --git a/.nojekyll b/.nojekyll new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/.nojekyll @@ -0,0 +1 @@ + diff --git a/404.html b/404.html new file mode 100644 index 0000000..3bdb19c --- /dev/null +++ b/404.html @@ -0,0 +1 @@ +Babaeee proof checker
\ No newline at end of file diff --git a/765fa23b995de21b6fd6147ece567ffe.png b/765fa23b995de21b6fd6147ece567ffe.png new file mode 100644 index 0000000..e4de12b Binary files /dev/null and b/765fa23b995de21b6fd6147ece567ffe.png differ diff --git a/CNAME b/CNAME new file mode 100644 index 0000000..7e4e42d --- /dev/null +++ b/CNAME @@ -0,0 +1 @@ +proof.babaeee.ir diff --git a/enable-threads.js b/enable-threads.js new file mode 100644 index 0000000..2d11ca1 --- /dev/null +++ b/enable-threads.js @@ -0,0 +1 @@ +if("undefined"==typeof window){async function handleFetch(e){if("only-if-cached"===e.cache&&"same-origin"!==e.mode)return;"no-cors"===e.mode&&(e=new Request(e.url,{cache:e.cache,credentials:"omit",headers:e.headers,integrity:e.integrity,destination:e.destination,keepalive:e.keepalive,method:e.method,mode:e.mode,redirect:e.redirect,referrer:e.referrer,referrerPolicy:e.referrerPolicy,signal:e.signal}));let r=await fetch(e).catch((e=>console.error(e)));if(0===r.status)return r;const t=new Headers(r.headers);return t.set("Cross-Origin-Embedder-Policy","credentialless"),t.set("Cross-Origin-Opener-Policy","same-origin"),new Response(r.body,{status:r.status,statusText:r.statusText,headers:t})}self.addEventListener("install",(()=>self.skipWaiting())),self.addEventListener("activate",(e=>e.waitUntil(self.clients.claim()))),self.addEventListener("fetch",(function(e){e.respondWith(handleFetch(e.request))}))}else!async function(){if(!1!==window.crossOriginIsolated)return;let e=await navigator.serviceWorker.register(window.document.currentScript.src).catch((e=>console.error("COOP/COEP Service Worker failed to register:",e)));e&&(console.log("COOP/COEP Service Worker registered",e.scope),e.addEventListener("updatefound",(()=>{console.log("Reloading page to make use of updated COOP/COEP Service Worker."),window.location.reload()})),e.active&&!navigator.serviceWorker.controller&&(console.log("Reloading page to make use of COOP/COEP Service Worker."),window.location.reload()))}(); \ No newline at end of file diff --git a/index.html b/index.html new file mode 100644 index 0000000..3bdb19c --- /dev/null +++ b/index.html @@ -0,0 +1 @@ +Babaeee proof checker
\ No newline at end of file diff --git a/main.js b/main.js new file mode 100644 index 0000000..8a7870e --- /dev/null +++ b/main.js @@ -0,0 +1,2 @@ +/*! For license information please see main.js.LICENSE.txt */ +(()=>{var e,n,t,r,i,a={7757:(e,n,t)=>{e.exports=t(5666)},2409:(e,n,t)=>{"use strict";t.d(n,{YF:()=>L});var r=t(8301);function i(e){return e&&e.document&&e.location&&e.alert&&e.setInterval}function a(e){if(null==e)return window;if(!i(e)){const n=e.ownerDocument;return n&&n.defaultView||window}return e}function o(e){return a(e).getComputedStyle(e)}function l(e){return i(e)?"":e?(e.nodeName||"").toLowerCase():""}function s(){const e=navigator.userAgentData;return null!=e&&e.brands?e.brands.map((e=>e.brand+"/"+e.version)).join(" "):navigator.userAgent}function p(e){return e instanceof a(e).HTMLElement}function u(e){return e instanceof a(e).Element}function c(e){return"undefined"!=typeof ShadowRoot&&(e instanceof a(e).ShadowRoot||e instanceof ShadowRoot)}function _(e){const{overflow:n,overflowX:t,overflowY:r}=o(e);return/auto|scroll|overlay|hidden/.test(n+r+t)}function d(e){return["table","td","th"].includes(l(e))}function f(e){const n=/firefox/i.test(s()),t=o(e);return"none"!==t.transform||"none"!==t.perspective||"paint"===t.contain||["transform","perspective"].includes(t.willChange)||n&&"filter"===t.willChange||n&&!!t.filter&&"none"!==t.filter}function y(){return!/^((?!chrome|android).)*safari/i.test(s())}const h=Math.min,m=Math.max,x=Math.round;function g(e,n,t){var r,i,o,l;void 0===n&&(n=!1),void 0===t&&(t=!1);const s=e.getBoundingClientRect();let c=1,_=1;n&&p(e)&&(c=e.offsetWidth>0&&x(s.width)/e.offsetWidth||1,_=e.offsetHeight>0&&x(s.height)/e.offsetHeight||1);const d=u(e)?a(e):window,f=!y()&&t,h=(s.left+(f&&null!=(r=null==(i=d.visualViewport)?void 0:i.offsetLeft)?r:0))/c,m=(s.top+(f&&null!=(o=null==(l=d.visualViewport)?void 0:l.offsetTop)?o:0))/_,g=s.width/c,v=s.height/_;return{width:g,height:v,top:m,right:h+g,bottom:m+v,left:h,x:h,y:m}}function v(e){return(n=e,(n instanceof a(n).Node?e.ownerDocument:e.document)||window.document).documentElement;var n}function b(e){return u(e)?{scrollLeft:e.scrollLeft,scrollTop:e.scrollTop}:{scrollLeft:e.pageXOffset,scrollTop:e.pageYOffset}}function w(e){return g(v(e)).left+b(e).scrollLeft}function H(e,n,t){const r=p(n),i=v(n),a=g(e,r&&function(e){const n=g(e);return x(n.width)!==e.offsetWidth||x(n.height)!==e.offsetHeight}(n),"fixed"===t);let o={scrollLeft:0,scrollTop:0};const s={x:0,y:0};if(r||!r&&"fixed"!==t)if(("body"!==l(n)||_(i))&&(o=b(n)),p(n)){const e=g(n,!0);s.x=e.x+n.clientLeft,s.y=e.y+n.clientTop}else i&&(s.x=w(i));return{x:a.left+o.scrollLeft-s.x,y:a.top+o.scrollTop-s.y,width:a.width,height:a.height}}function k(e){return"html"===l(e)?e:e.assignedSlot||e.parentNode||(c(e)?e.host:null)||v(e)}function A(e){return p(e)&&"fixed"!==getComputedStyle(e).position?e.offsetParent:null}function S(e){const n=a(e);let t=A(e);for(;t&&d(t)&&"static"===getComputedStyle(t).position;)t=A(t);return t&&("html"===l(t)||"body"===l(t)&&"static"===getComputedStyle(t).position&&!f(t))?n:t||function(e){let n=k(e);for(c(n)&&(n=n.host);p(n)&&!["html","body"].includes(l(n));){if(f(n))return n;n=n.parentNode}return null}(e)||n}function E(e){if(p(e))return{width:e.offsetWidth,height:e.offsetHeight};const n=g(e);return{width:n.width,height:n.height}}function T(e){const n=k(e);return["html","body","#document"].includes(l(n))?e.ownerDocument.body:p(n)&&_(n)?n:T(n)}function C(e,n){var t;void 0===n&&(n=[]);const r=T(e),i=r===(null==(t=e.ownerDocument)?void 0:t.body),o=a(r),l=i?[o].concat(o.visualViewport||[],_(r)?r:[]):r,s=n.concat(l);return i?s:s.concat(C(l))}function j(e,n,t){return"viewport"===n?(0,r.JB)(function(e,n){const t=a(e),r=v(e),i=t.visualViewport;let o=r.clientWidth,l=r.clientHeight,s=0,p=0;if(i){o=i.width,l=i.height;const e=y();(e||!e&&"fixed"===n)&&(s=i.offsetLeft,p=i.offsetTop)}return{width:o,height:l,x:s,y:p}}(e,t)):u(n)?function(e,n){const t=g(e,!1,"fixed"===n),r=t.top+e.clientTop,i=t.left+e.clientLeft;return{top:r,left:i,x:i,y:r,right:i+e.clientWidth,bottom:r+e.clientHeight,width:e.clientWidth,height:e.clientHeight}}(n,t):(0,r.JB)(function(e){var n;const t=v(e),r=b(e),i=null==(n=e.ownerDocument)?void 0:n.body,a=m(t.scrollWidth,t.clientWidth,i?i.scrollWidth:0,i?i.clientWidth:0),l=m(t.scrollHeight,t.clientHeight,i?i.scrollHeight:0,i?i.clientHeight:0);let s=-r.scrollLeft+w(e);const p=-r.scrollTop;return"rtl"===o(i||t).direction&&(s+=m(t.clientWidth,i?i.clientWidth:0)-a),{width:a,height:l,x:s,y:p}}(v(e)))}function P(e){const n=C(e),t=["absolute","fixed"].includes(o(e).position)&&p(e)?S(e):e;return u(t)?n.filter((e=>u(e)&&function(e,n){const t=null==n.getRootNode?void 0:n.getRootNode();if(e.contains(n))return!0;if(t&&c(t)){let t=n;do{if(t&&e===t)return!0;t=t.parentNode||t.host}while(t)}return!1}(e,t)&&"body"!==l(e))):[]}const D={getClippingRect:function(e){let{element:n,boundary:t,rootBoundary:r,strategy:i}=e;const a=[..."clippingAncestors"===t?P(n):[].concat(t),r],o=a[0],l=a.reduce(((e,t)=>{const r=j(n,t,i);return e.top=m(r.top,e.top),e.right=h(r.right,e.right),e.bottom=h(r.bottom,e.bottom),e.left=m(r.left,e.left),e}),j(n,o,i));return{width:l.right-l.left,height:l.bottom-l.top,x:l.left,y:l.top}},convertOffsetParentRelativeRectToViewportRelativeRect:function(e){let{rect:n,offsetParent:t,strategy:r}=e;const i=p(t),a=v(t);if(t===a)return n;let o={scrollLeft:0,scrollTop:0};const s={x:0,y:0};if((i||!i&&"fixed"!==r)&&(("body"!==l(t)||_(a))&&(o=b(t)),p(t))){const e=g(t,!0);s.x=e.x+t.clientLeft,s.y=e.y+t.clientTop}return{...n,x:n.x-o.scrollLeft+s.x,y:n.y-o.scrollTop+s.y}},isElement:u,getDimensions:E,getOffsetParent:S,getDocumentElement:v,getElementRects:e=>{let{reference:n,floating:t,strategy:r}=e;return{reference:H(n,S(t),r),floating:{...E(t),x:0,y:0}}},getClientRects:e=>Array.from(e.getClientRects()),isRTL:e=>"rtl"===o(e).direction};var q=t(7294),O=t(3935),I="undefined"!=typeof document?q.useLayoutEffect:q.useEffect;function U(e,n){if(e===n)return!0;if(typeof e!=typeof n)return!1;if("function"==typeof e&&e.toString()===n.toString())return!0;let t,r,i;if(e&&n&&"object"==typeof e){if(Array.isArray(e)){if(t=e.length,t!=n.length)return!1;for(r=t;0!=r--;)if(!U(e[r],n[r]))return!1;return!0}if(i=Object.keys(e),t=i.length,t!==Object.keys(n).length)return!1;for(r=t;0!=r--;)if(!Object.prototype.hasOwnProperty.call(n,i[r]))return!1;for(r=t;0!=r--;){const t=i[r];if(!("_owner"===t&&e.$$typeof||U(e[t],n[t])))return!1}return!0}return e!=e&&n!=n}function L(e){let{middleware:n,placement:t="bottom",strategy:i="absolute",whileElementsMounted:a}=void 0===e?{}:e;const o=q.useRef(null),l=q.useRef(null),s=function(e){const n=q.useRef(e);return I((()=>{n.current=e})),n}(a),p=q.useRef(null),[u,c]=q.useState({x:null,y:null,strategy:i,placement:t,middlewareData:{}}),[_,d]=q.useState(n);U(null==_?void 0:_.map((e=>{let{options:n}=e;return n})),null==n?void 0:n.map((e=>{let{options:n}=e;return n})))||d(n);const f=q.useCallback((()=>{o.current&&l.current&&((e,n,t)=>(0,r.oo)(e,n,{platform:D,...t}))(o.current,l.current,{middleware:_,placement:t,strategy:i}).then((e=>{y.current&&O.flushSync((()=>{c(e)}))}))}),[_,t,i]);I((()=>{y.current&&f()}),[f]);const y=q.useRef(!1);I((()=>(y.current=!0,()=>{y.current=!1})),[]);const h=q.useCallback((()=>{if("function"==typeof p.current&&(p.current(),p.current=null),o.current&&l.current)if(s.current){const e=s.current(o.current,l.current,f);p.current=e}else f()}),[f,s]),m=q.useCallback((e=>{o.current=e,h()}),[h]),x=q.useCallback((e=>{l.current=e,h()}),[h]),g=q.useMemo((()=>({reference:o,floating:l})),[]);return q.useMemo((()=>({...u,update:f,refs:g,reference:m,floating:x})),[u,f,g,m,x])}},8195:(e,n,t)=>{"use strict";function r(e,n){for(var t=arguments.length,r=new Array(t>2?t-2:0),i=2;ir})},5047:(e,n,t)=>{"use strict";function r(e,n,t,r){var i=t?t.call(r,e,n):void 0;if(void 0!==i)return!!i;if(e===n)return!0;if("object"!=typeof e||!e||"object"!=typeof n||!n)return!1;var a=Object.keys(e),o=Object.keys(n);if(a.length!==o.length)return!1;for(var l=Object.prototype.hasOwnProperty.bind(n),s=0;sr})},6230:(e,n,t)=>{"use strict";function r(){return r=Object.assign||function(e){for(var n=1;n=0||(i[t]=e[t]);return i}t.d(n,{g:()=>r,v:()=>i})},5825:(e,n,t)=>{"use strict";t.d(n,{B:()=>w});var r=t(6230),i=t(7294),a=t(3935),o=t(5697),l=t(1496),s=t(8490),p=function e(n,t,r){void 0===t&&(t=0);var a=t,o=!1;return{items:i.Children.map(n,(function(n){if(null==n)return null;if(!n.type)return n;var t=(0,s.oY)(n.type);switch(t){case"MenuItem":if(r){var l={type:"radio"};return n.props.disabled||(l.index=a++),(0,i.cloneElement)(n,l)}case"SubMenu":case"FocusableItem":return n.props.disabled?n:(0,i.cloneElement)(n,{index:a++});default:var p=n.props.children;if(null===p||"object"!=typeof p)return n;var u=e(p,a,r||"MenuRadioGroup"===t);if(a=u.index,"MenuGroup"===t){var c=!!n.props.takeOverflow,_=u.descendOverflow;o=o||_||c}return(0,i.cloneElement)(n,{children:u.items})}})),index:a,descendOverflow:o}},u="undefined"!=typeof window&&void 0!==window.document&&void 0!==window.document.createElement?i.useLayoutEffect:i.useEffect,c=t(5234),_=t(3247),d=t(1358),f=["ariaLabel","menuClassName","menuStyles","arrowClassName","arrowStyles","anchorPoint","anchorRef","containerRef","externalRef","parentScrollingRef","arrow","align","direction","position","overflow","repositionFlag","captureFocus","state","endTransition","isDisabled","menuItemFocus","offsetX","offsetY","children","onClose"],y=function(e){var n=e.ariaLabel,t=e.menuClassName,a=e.menuStyles,o=e.arrowClassName,y=e.arrowStyles,x=e.anchorPoint,g=e.anchorRef,v=e.containerRef,b=e.externalRef,w=e.parentScrollingRef,H=e.arrow,k=e.align,A=e.direction,S=e.position,E=e.overflow,T=e.repositionFlag,C=e.captureFocus,j=void 0===C||C,P=e.state,D=e.endTransition,q=e.isDisabled,O=e.menuItemFocus,I=e.offsetX,U=e.offsetY,L=e.children,z=e.onClose,N=(0,r.v)(e,f),F=(0,i.useState)({x:0,y:0}),B=F[0],R=F[1],M=(0,i.useState)({}),X=M[0],Z=M[1],Q=(0,i.useState)(),$=Q[0],V=Q[1],Y=(0,i.useState)(A),W=Y[0],G=Y[1],K=(0,i.useContext)(l.J6),J=K.transition,ee=K.boundingBoxRef,ne=K.boundingBoxPadding,te=K.rootMenuRef,re=K.rootAnchorRef,ie=K.scrollingRef,ae=K.anchorScrollingRef,oe=K.reposition,le=K.viewScroll,se=(0,i.useContext)(l.b7).reposSubmenu||T,pe=(0,i.useRef)(null),ue=(0,i.useRef)(null),ce=(0,i.useRef)(0),_e=(0,i.useRef)(!1),de=(0,i.useRef)({width:0,height:0}),fe=(0,i.useRef)((function(){})),ye=(0,i.useRef)(!1),he=(0,s.tr)(P),me=(0,s.us)(J,"open"),xe=(0,s.us)(J,"close"),ge=(0,i.useReducer)((function(e,n){var t=e.hoverIndex,r=e.openSubmenuCount;return{hoverIndex:h(t,n,ce),openSubmenuCount:m(r,n)}}),{hoverIndex:l.bz,openSubmenuCount:0}),ve=ge[0],be=ve.hoverIndex,we=ve.openSubmenuCount,He=ge[1],ke=(0,i.useReducer)((function(e){return e+1}),1),Ae=ke[0],Se=ke[1],Ee=(0,i.useMemo)((function(){var e=p(L),n=e.items,t=e.index,r=e.descendOverflow;return ce.current=t,ye.current=r,n}),[L]),Te=(0,i.useCallback)((function(){if(v.current){ie.current||(ie.current=ee?ee.current:(0,s.GZ)(te.current));var e=function(e){var n=e.containerRef,t=e.scrollingRef,r=e.boundingBoxPadding,i=e.menuRef.current.getBoundingClientRect(),a=n.current.getBoundingClientRect(),o=t.current===window?{left:0,top:0,right:document.documentElement.clientWidth,bottom:window.innerHeight}:t.current.getBoundingClientRect(),l=(0,s.dj)(r),p=function(e){return e+a.left-o.left-l.left},u=function(e){return e+a.left+i.width-o.right+l.right},c=function(e){return e+a.top-o.top-l.top},_=function(e){return e+a.top+i.height-o.bottom+l.bottom};return{menuRect:i,containerRect:a,getLeftOverflow:p,getRightOverflow:u,getTopOverflow:c,getBottomOverflow:_,confineHorizontally:function(e){var n=p(e);if(n<0)e-=n;else{var t=u(e);t>0&&(n=p(e-=t))<0&&(e-=n)}return e},confineVertically:function(e){var n=c(e);if(n<0)e-=n;else{var t=_(e);t>0&&(n=c(e-=t))<0&&(e-=n)}return e}}}({menuRef:pe,containerRef:v,scrollingRef:ie,boundingBoxPadding:ne}),n=e.menuRect,t={computedDirection:"bottom"};x?t=function(e){var n,t,r=e.positionHelpers,i=e.anchorPoint,a=r.menuRect,o=r.containerRect,l=r.getLeftOverflow,s=r.getRightOverflow,p=r.getTopOverflow,u=r.getBottomOverflow,c=r.confineHorizontally,_=r.confineVertically;n=i.x-o.left,t=i.y-o.top;var d=s(n);if(d>0){var f=n-a.width,y=l(f);(y>=0||-y0){var x=t-a.height,g=p(x);(g>=0||-gr)&&(n=p,x="right")):(n=p,"initial"!==m&&(r=c(n))>0&&((t=u(s))>=0||-tr)&&(n=p,x="bottom")):(n=p,"initial"!==m&&(r=c(n))>0&&((t=u(s))>=0||-t0||(0,s.eO)(m,0)&&(0,s.eO)(c,h))_=c-m,d=m;else{var b=f(p);(b<0||(0,s.eO)(b,0)&&(0,s.eO)(c,h))&&(d=0-b,(_=c+b)>=0&&(p-=b))}_>=0?(c=_,V({height:_,overflowAmt:d})):V()}H&&Z({x:a,y:o}),R({x:l,y:p}),G(u),de.current={width:n.width,height:c}}}),[H,k,ne,A,I,U,S,E,x,g,v,ee,te,ie]);u((function(){he&&(Te(),_e.current&&Se()),_e.current=he,fe.current=Te}),[he,Te,se]),u((function(){$&&!ye.current&&(pe.current.scrollTop=0)}),[$]),(0,i.useEffect)((function(){if(he){!ae.current&&re&&re.current.tagName&&(ae.current=(0,s.GZ)(re.current));var e=ie.current,n=e&&e.addEventListener?e:window,t=ae.current||n,r=le;if(t!==n&&"initial"===r&&(r="auto"),"initial"!==r){"auto"===r&&"visible"!==E&&(r="close");var i=function(){"auto"===r?(0,s.MA)(Te):(0,s.Dx)(z,{reason:l.GB.SCROLL})},a=t!==n&&"initial"!==le?[t,n]:[t];return a.forEach((function(e){return e.addEventListener("scroll",i)})),function(){return a.forEach((function(e){return e.removeEventListener("scroll",i)}))}}}}),[re,ae,ie,he,E,z,le,Te]);var Ce=!!$&&$.overflowAmt>0;(0,i.useEffect)((function(){if(!Ce&&he&&w){var e=function(){return(0,s.MA)(Te)},n=w.current;return n.addEventListener("scroll",e),function(){return n.removeEventListener("scroll",e)}}}),[he,Ce,w,Te]),(0,i.useEffect)((function(){if("function"==typeof ResizeObserver&&"initial"!==oe){var e=new ResizeObserver((function(e){var n,t,r=e[0],i=r.borderBoxSize,a=r.target;if(i){var o=i[0]||i;n=o.inlineSize,t=o.blockSize}else{var l=a.getBoundingClientRect();n=l.width,t=l.height}0!==n&&0!==t&&((0,s.eO)(n,de.current.width,1)&&(0,s.eO)(t,de.current.height,1)||(0,s.MA)((function(){fe.current(),Se()})))})),n=pe.current;return e.observe(n,{box:"border-box"}),function(){return e.unobserve(n)}}}),[oe]),(0,i.useEffect)((function(){if(!he)return He({type:l.Ay.RESET}),void(xe||V());var e=O||{},n=e.position,t=e.alwaysUpdate,r=function(){n===l.td.FIRST?He({type:l.Ay.FIRST}):n===l.td.LAST?He({type:l.Ay.LAST}):n>=0&&n0,qe=(0,i.useMemo)((function(){return{parentMenuRef:pe,parentOverflow:E,isParentOpen:he,isSubmenuOpen:De,dispatch:He}}),[he,De,E]);$&&(ye.current?Pe=$.overflowAmt:je=$.height);var Oe=(0,i.useMemo)((function(){return{reposSubmenu:Ae,overflow:E,overflowAmt:Pe}}),[Ae,E,Pe]),Ie=je>=0?{maxHeight:je,overflow:E}:void 0,Ue=(0,i.useMemo)((function(){return{state:P,dir:W}}),[P,W]),Le=(0,i.useMemo)((function(){return Object.freeze({dir:W})}),[W]),ze=(0,c.l)({block:l.nJ,element:l.fM,modifiers:Le,className:o}),Ne=(0,_.N)(y,Le),Fe=(0,s.Q)({onKeyDown:function(e){var n=!1;switch(e.key){case l.R8.HOME:He({type:l.Ay.FIRST}),n=!0;break;case l.R8.END:He({type:l.Ay.LAST}),n=!0;break;case l.R8.UP:He({type:l.Ay.DECREASE}),n=!0;break;case l.R8.DOWN:He({type:l.Ay.INCREASE}),n=!0;break;case l.R8.SPACE:e.target&&-1!==e.target.className.indexOf(l.nJ)&&e.preventDefault()}n&&(e.preventDefault(),e.stopPropagation())},onAnimationEnd:function(){"closing"===P&&V(),(0,s.Dx)(D)}},N);return i.createElement("ul",(0,r.g)({role:"menu",tabIndex:"-1","aria-disabled":q||void 0,"aria-label":n},N,Fe,{ref:(0,d.Q)(b,pe),className:(0,c.l)({block:l.nJ,modifiers:Ue,className:t}),style:(0,r.g)({},(0,_.N)(a,Ue),Ie,{left:B.x+"px",top:B.y+"px"})}),H&&i.createElement("div",{className:ze,style:(0,r.g)({},Ne,{left:X.x&&X.x+"px",top:X.y&&X.y+"px"}),ref:ue}),i.createElement(l.b7.Provider,{value:Oe},i.createElement(l._X.Provider,{value:qe},i.createElement(l.R9.Provider,{value:be},Ee))))};function h(e,n,t){var r=n.type,i=n.index;switch(r){case l.Ay.RESET:return l.bz;case l.Ay.SET:return i;case l.Ay.UNSET:return e===i?l.bz:e;case l.Ay.DECREASE:var a=e;return--a<0&&(a=t.current-1),a;case l.Ay.INCREASE:var o=e;return++o>=t.current&&(o=0),o;case l.Ay.FIRST:return t.current>0?0:l.bz;case l.Ay.LAST:return t.current>0?t.current-1:l.bz;default:return e}}function m(e,n){switch(n.type){case l.kY.OPEN:return e+1;case l.kY.CLOSE:return Math.max(e-1,0);default:return e}}var x=function(e){var n;return(n={})[e?e+"ClassName":"className"]=(0,o.oneOfType)([o.string,o.func]),n[e?e+"Styles":"styles"]=(0,o.oneOfType)([o.object,o.func]),n},g=(o.string,o.bool,o.number,o.number,o.object,o.bool,o.bool,o.bool,o.bool,o.bool,o.bool,o.number,o.object,o.string,o.string,o.number,o.number,o.number,o.bool,o.string,o.func,o.object,o.func,o.func,{offsetX:0,offsetY:0,align:"start",direction:"bottom",position:"auto",overflow:"visible"}),v=(0,r.g)({},g,{reposition:"auto",viewScroll:"initial",transitionTimeout:200,submenuOpenDelay:300,submenuCloseDelay:150}),b=["aria-label","className","containerProps","initialMounted","unmountOnClose","transition","transitionTimeout","boundingBoxRef","boundingBoxPadding","reposition","submenuOpenDelay","submenuCloseDelay","skipOpen","viewScroll","portal","theming","onItemClick","onClose"],w=(0,i.forwardRef)((function(e,n){var t=e["aria-label"],o=e.className,p=e.containerProps,u=e.initialMounted,_=e.unmountOnClose,d=e.transition,f=e.transitionTimeout,h=e.boundingBoxRef,m=e.boundingBoxPadding,x=e.reposition,g=e.submenuOpenDelay,v=e.submenuCloseDelay,w=e.skipOpen,H=e.viewScroll,k=e.portal,A=e.theming,S=e.onItemClick,E=e.onClose,T=(0,r.v)(e,b),C=(0,i.useRef)(null),j=(0,i.useRef)(null),P=(0,i.useRef)(null),D=T.anchorRef,q=T.state,O=(0,i.useMemo)((function(){return{initialMounted:u,unmountOnClose:_,transition:d,transitionTimeout:f,boundingBoxRef:h,boundingBoxPadding:m,rootMenuRef:C,rootAnchorRef:D,scrollingRef:j,anchorScrollingRef:P,reposition:x,viewScroll:H}}),[u,_,d,f,D,h,m,x,H]),I=(0,i.useMemo)((function(){return{submenuOpenDelay:g,submenuCloseDelay:v}}),[g,v]),U=(0,i.useMemo)((function(){return{handleClick:function(e,n){e.stopPropagation||(0,s.Dx)(S,e);var t=e.keepOpen;void 0===t&&(t=n&&e.key===l.R8.SPACE),t||(0,s.Dx)(E,{value:e.value,key:e.key,reason:l.GB.CLICK})},handleClose:function(e){(0,s.Dx)(E,{key:e,reason:l.GB.CLICK})}}}),[S,E]),L=(0,s.us)(d,"item"),z=(0,i.useMemo)((function(){return{theme:A,itemTransition:L}}),[A,L]),N=(0,s.Q)({onKeyDown:function(e){var n=e.key;n===l.R8.ESC&&(0,s.Dx)(E,{key:n,reason:l.GB.CANCEL})},onBlur:function(e){(0,s.tr)(q)&&!e.currentTarget.contains(e.relatedTarget||document.activeElement)&&((0,s.Dx)(E,{reason:l.GB.BLUR}),w&&(w.current=!0,setTimeout((function(){return w.current=!1}),300)))}},p),F=i.createElement("div",(0,r.g)({},p,N,{className:(0,c.l)({block:l.Kk,modifiers:z,className:o}),ref:C}),q&&i.createElement(l.J6.Provider,{value:O},i.createElement(l.Bs.Provider,{value:I},i.createElement(l.AH.Provider,{value:U},i.createElement(y,(0,r.g)({},T,{ariaLabel:t||"Menu",externalRef:n,containerRef:C,onClose:E}))))));return k?(0,a.createPortal)(F,document.body):F}));w.defaultProps=(0,r.g)({},v,{menuItemFocus:{}})},7131:(e,n,t)=>{"use strict";t.d(n,{s:()=>d});var r=t(6230),i=t(7294),a=(t(5697),t(1496)),o=t(8490),l=function(e,n){var t=(0,o.zi)((0,i.forwardRef)((function(n,t){return i.createElement(e,(0,r.g)({},n,{externalRef:t,isHovering:(0,i.useContext)(a.R9)===n.index}))})),n);return t.displayName="WithHovering("+n+")",t},s=t(1358),p=t(5234),u=t(3247),c=["className","styles","value","href","type","checked","disabled","index","children","onClick","isHovering","externalRef"],_=["isActive","onKeyUp","onBlur"],d=l((0,i.memo)((function(e){var n=e.className,t=e.styles,l=e.value,d=e.href,f=e.type,y=e.checked,h=e.disabled,m=e.index,x=e.children,g=e.onClick,v=e.isHovering,b=e.externalRef,w=(0,r.v)(e,c),H=!!h;(0,o.Ls)(m,H,x);var k=(0,i.useRef)(),A=function(e,n,t,r){var o=(0,i.useContext)(a.Bs).submenuCloseDelay,l=(0,i.useContext)(a._X),s=l.isParentOpen,p=l.isSubmenuOpen,u=l.dispatch,c=(0,i.useRef)(),_=function(){r||u({type:a.Ay.SET,index:n})};return(0,i.useEffect)((function(){return function(){return clearTimeout(c.current)}}),[]),(0,i.useEffect)((function(){t&&s&&e.current&&e.current.focus()}),[e,t,s]),{setHover:_,onBlur:function(e){t&&!e.currentTarget.contains(e.relatedTarget)&&u({type:a.Ay.UNSET,index:n})},onMouseEnter:function(){p?c.current=setTimeout(_,o):_()},onMouseLeave:function(e,t){c.current&&clearTimeout(c.current),t||u({type:a.Ay.UNSET,index:n})}}}(k,m,v,H),S=A.setHover,E=A.onBlur,T=A.onMouseEnter,C=A.onMouseLeave,j=(0,i.useContext)(a.AH),P=(0,i.useContext)(a.L1),D=function(e,n,t){var r=(0,i.useState)(!1),o=r[0],l=r[1],s=[a.R8.ENTER,a.R8.SPACE].concat(void 0),p=function(){return o&&l(!1)};return{isActive:o,onPointerDown:function(){n||l(!0)},onPointerUp:p,onPointerLeave:p,onKeyDown:function(t){o||!e||n||-1===s.indexOf(t.key)||l(!0)},onKeyUp:function(e){-1!==s.indexOf(e.key)&&l(!1)},onBlur:function(e){o&&!e.currentTarget.contains(e.relatedTarget)&&l(!1)}}}(v,H),q=D.isActive,O=D.onKeyUp,I=D.onBlur,U=(0,r.v)(D,_),L="radio"===f,z="checkbox"===f,N=!(!d||H||L||z),F=L?P.value===l:!!z&&!!y,B=function(e){if(!H){var n={value:l,syntheticEvent:e};void 0!==e.key&&(n.key=e.key),z&&(n.checked=!F),L&&(n.name=P.name),(0,o.Dx)(g,n),L&&(0,o.Dx)(P.onRadioChange,n),j.handleClick(n,z||L)}},R=(0,i.useMemo)((function(){return Object.freeze({type:f,disabled:H,hover:v,active:q,checked:F,anchor:N})}),[f,H,v,q,F,N]),M=(0,o.Q)((0,r.g)({},U,{onMouseEnter:T,onMouseLeave:C,onMouseDown:S,onKeyUp:function(e){if(q)switch(O(e),e.key){case a.R8.ENTER:case a.R8.SPACE:N?k.current.click():B(e)}},onBlur:function(e){I(e),E(e)},onClick:B}),w),X=(0,r.g)({role:L?"menuitemradio":z?"menuitemcheckbox":"menuitem","aria-checked":L||z?F:void 0,"aria-disabled":H||void 0,tabIndex:v?0:-1},w,M,{ref:(0,s.Q)(b,k),className:(0,p.l)({block:a.nJ,element:a.np,modifiers:R,className:n}),style:(0,u.N)(t,R)}),Z=(0,i.useMemo)((function(){return(0,o.Dx)(x,R)}),[x,R]);return N?i.createElement("li",{role:"presentation"},i.createElement("a",(0,r.g)({},X,{href:d}),Z)):i.createElement("li",X,Z)})),"MenuItem")},5234:(e,n,t)=>{"use strict";t.d(n,{l:()=>i});var r=t(7294),i=function(e){var n=e.block,t=e.element,i=e.modifiers,a=e.className;return(0,r.useMemo)((function(){for(var e=t?n+"__"+t:n,r=e,o=0,l=Object.keys(i||{});o{"use strict";t.d(n,{Q:()=>a});var r=t(7294),i=function(e,n){"function"==typeof e?e(n):e&&(e.current=n)},a=function(e,n){return(0,r.useMemo)((function(){return e?n?function(t){i(e,t),i(n,t)}:e:n}),[e,n])}},3247:(e,n,t)=>{"use strict";t.d(n,{N:()=>l});var r=t(6230),i=t(7294),a=function(e){return e&&"object"==typeof e},o=function(e){return"$"===e[0]?e.slice(1):e},l=function(e,n){return(0,i.useMemo)((function(){if("function"==typeof e)return e(n);if(a(e)){if(!n)return e;for(var t={},i=0,l=Object.keys(e);i{"use strict";t.d(n,{w:()=>p});var r=t(7294),i=["preEnter","entering","entered","preExit","exiting","exited","unmounted"],a=function(e){return e?6:5},o=function(e,n,t,r,a){clearTimeout(r.current),n(e),t.current=e,a&&a({state:i[e]})},l=t(8490),s=t(1496),p=function(e){var n=void 0===e?{}:e,t=n.initialMounted,p=n.unmountOnClose,u=n.transition,c=function(e){var n,t,l=void 0===e?{}:e,s=l.enter,p=void 0===s||s,u=l.exit,c=void 0===u||u,_=l.preEnter,d=l.preExit,f=l.timeout,y=l.initialEntered,h=l.mountOnEnter,m=l.unmountOnExit,x=l.onChange,g=(0,r.useState)(y?2:a(h)),v=g[0],b=g[1],w=(0,r.useRef)(v),H=(0,r.useRef)();"object"==typeof f?(n=f.enter,t=f.exit):n=t=f;var k=(0,r.useCallback)((function(){var e;switch(w.current){case 1:case 0:e=2;break;case 4:case 3:e=a(m)}void 0!==e&&o(e,b,w,H,x)}),[x,m]),A=(0,r.useCallback)((function(e){var r=function e(r){switch(o(r,b,w,H,x),r){case 1:n>=0&&(H.current=setTimeout(k,n));break;case 4:t>=0&&(H.current=setTimeout(k,t));break;case 0:case 3:H.current=setTimeout((function(){return e(r+1)}),0)}},i=w.current<=2;"boolean"!=typeof e&&(e=!i),e?i||r(p?_?0:1:2):i&&r(c?d?3:4:a(m))}),[k,x,p,c,_,d,n,t,m]);return(0,r.useEffect)((function(){return function(){return clearTimeout(H.current)}}),[]),[i[v],A,k]}({mountOnEnter:!t,unmountOnExit:p,timeout:n.transitionTimeout,enter:(0,l.us)(u,"open"),exit:(0,l.us)(u,"close")}),_=c[0],d=c[1],f=c[2];return{state:s._f[_],toggleMenu:d,endTransition:f}}},1496:(e,n,t)=>{"use strict";t.d(n,{GB:()=>g,AH:()=>_,td:()=>v,Ay:()=>m,R9:()=>p,Bs:()=>y,R8:()=>h,b7:()=>c,_X:()=>u,_f:()=>b,L1:()=>d,J6:()=>f,kY:()=>x,bz:()=>s,fM:()=>o,nJ:()=>a,Kk:()=>i,np:()=>l});var r=t(7294),i="szh-menu-container",a="szh-menu",o="arrow",l="item",s=-1,p=(0,r.createContext)(s),u=(0,r.createContext)({}),c=(0,r.createContext)({}),_=(0,r.createContext)({}),d=(0,r.createContext)({}),f=(0,r.createContext)({}),y=(0,r.createContext)({}),h=Object.freeze({ENTER:"Enter",ESC:"Escape",SPACE:" ",HOME:"Home",END:"End",LEFT:"ArrowLeft",RIGHT:"ArrowRight",UP:"ArrowUp",DOWN:"ArrowDown"}),m=Object.freeze({RESET:"HOVER_RESET",SET:"HOVER_SET",UNSET:"HOVER_UNSET",INCREASE:"HOVER_INCREASE",DECREASE:"HOVER_DECREASE",FIRST:"HOVER_FIRST",LAST:"HOVER_LAST"}),x=Object.freeze({OPEN:"SUBMENU_OPEN",CLOSE:"SUBMENU_CLOSE"}),g=Object.freeze({CLICK:"click",CANCEL:"cancel",BLUR:"blur",SCROLL:"scroll"}),v=Object.freeze({INITIAL:"initial",FIRST:"first",LAST:"last"}),b=Object.freeze({entering:"opening",entered:"open",exiting:"closing",exited:"closed"})},8490:(e,n,t)=>{"use strict";t.d(n,{Q:()=>c,MA:()=>a,zi:()=>u,eO:()=>o,oY:()=>p,GZ:()=>d,us:()=>l,tr:()=>i,dj:()=>_,Dx:()=>s,Ls:()=>f});var r=t(3935),i=function(e){return!!e&&"o"===e[0]},a=r.unstable_batchedUpdates||function(e){return e()},o=(Object.values,function(e,n,t){return void 0===t&&(t=1e-4),Math.abs(e-n){"use strict";t.a(e,(async e=>{t.d(n,{A:()=>U});var r,i,a,o,l=t(9439),s=t(168),p=t(7757),u=t.n(p),c=t(5861),_=t(6),d=t(263),f=t.n(d),y=t(2164),h=t.n(y),m=t(6974),x=t(9711),g=t(1411),v=t(2270),b=t(3629),w=t(4028),H=t(7294),k=t(1312),A=t(7294),S=e([v,g]);function E(e,n){var t;if("undefined"==typeof Symbol||null==e[Symbol.iterator]){if(Array.isArray(e)||(t=function(e,n){if(e){if("string"==typeof e)return T(e,n);var t=Object.prototype.toString.call(e).slice(8,-1);return"Object"===t&&e.constructor&&(t=e.constructor.name),"Map"===t||"Set"===t?Array.from(e):"Arguments"===t||/^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t)?T(e,n):void 0}}(e))||n&&e&&"number"==typeof e.length){t&&(e=t);var r=0,i=function(){};return{s:i,n:function(){return r>=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,l=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){l=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(l)throw a}}}}function T(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t\n \n \n \n \n \n \n \n \n '}})),r=A.createElement("svg",{height:"100%",width:"100%",viewBox:"0 0 100 100"},A.createElement("circle",{r:40,cx:50,cy:50,fill:"yellow"})),i=A.createElement("svg",{height:"100%",width:"100%",viewBox:"0 0 173.52 198.57"},A.createElement("g",{transform:"translate(-36.097 -595.93)"},A.createElement("path",{id:"path3157",style:{fill:"yellowgreen"},d:"m36.097 739.31 20-30c16.511 12.907 17.767 19.639 24.949 30.909 36.804-72.31 74.954-104.96 128.57-144.29-51.91 53.35-83.23 89.32-130 198.58-16.193-26.29-27.333-53.62-43.523-55.2z"})));return"locked"===n?A.createElement("div",{className:f().lock},t):"open"===n?A.createElement("div",{className:f().lock},r):A.createElement("div",{className:f().lock},i)},U=function(){var e,n,t=(0,m.TH)(),p=(0,m.s0)(),d=t.pathname.split("/").filter((function(e){return""!==e&&"adventure"!==e})),y=function(e){return 10*e+50},h=function(e){return 17*e+20},S=O.children,T=void 0,C=void 0,j=!1,P=!1,D="",U=E(d);try{var L=function(){var e=n.value,t=S.find((function(n){return n.id===e}));return t?q(t,S)&&!(0,k.GJ)()?(P=!0,"break"):(D+="&".concat(t.engineParams||""),"level"===t.type?(C=t,T=t.name,"break"):(S=t.children,void(T=t.name))):(j=!0,"break")};for(U.s();!(n=U.n()).done&&"break"!==L(););}catch(e){U.e(e)}finally{U.f()}if((0,H.useEffect)((function(){if(C){var e={type:"back"};(0,c.Z)(u().mark((function n(){var t,r,i,a;return u().wrap((function(n){for(;;)switch(n.prev=n.next){case 0:return n.next=2,(0,g.gP)(C.goal,C.emptyLibrary?"/Eq":"/",D);case 2:if(!n.sent){n.next=25;break}if(null===(t=C)||void 0===t||!t.initTactics){n.next=24;break}r=E(C.initTactics),n.prev=5,r.s();case 7:if((i=r.n()).done){n.next=16;break}return a=i.value,n.next=11,(0,g.DG)(a);case 11:if(n.sent){n.next=14;break}return alert("error in initializing: ".concat(a," failed")),n.abrupt("return");case 14:n.next=7;break;case 16:n.next=21;break;case 18:n.prev=18,n.t0=n.catch(5),r.e(n.t0);case 21:return n.prev=21,r.f(),n.finish(21);case 24:(0,v.e$)(p,{afterProof:{onCancel:e,onSolve:{type:"win",level:C.id,then:e}},text:C.text,suggestedLemmas:C.suggestedLemmas,replace:!0});case 25:case"end":return n.stop()}}),n,null,[[5,18,21,24]])})))()}}),[null===(e=C)||void 0===e?void 0:e.id]),j)return A.createElement("div",null,"404");if(P)return A.createElement("div",null,(0,_.g)(r||(r=(0,s.Z)(["this_is_locked"]))));if(C)return A.createElement("div",null,A.createElement(w.D,{title:[(0,_.g)(i||(i=(0,s.Z)(["adventure"]))),T]}),"Wait");var z=S.flatMap((function(e){var n;return(null===(n=e.dependencies)||void 0===n?void 0:n.map((function(n){var t=S.find((function(e){return e.id===n}));return[[y(e.x),h(e.y)],[y(t.x),h(t.y)]]})))||[]}));return A.createElement("div",{className:f().main},A.createElement(w.D,{title:[(0,_.g)(a||(a=(0,s.Z)(["adventure"]))),T]}),A.createElement("h1",{className:f().title},(0,_.g)(o||(o=(0,s.Z)(["adventure"])))),S.map((function(e){return A.createElement(x.rU,{to:"".concat(t.pathname,"/").concat(e.id)},A.createElement("button",{style:{left:"".concat(y(e.x)-3,"vw"),top:"".concat(h(e.y),"vh")},className:f().item},e.name,A.createElement(I,{state:(0,b.jV)(e)?"done":q(e,S)?"locked":"open"})))})),A.createElement("svg",{className:f().lines,viewBox:"0 0 100 100",preserveAspectRatio:"none"},z.map((function(e){var n=(0,l.Z)(e,2),t=(0,l.Z)(n[0],2),r=t[0],i=t[1],a=(0,l.Z)(n[1],2),o=a[0],s=a[1];return A.createElement("line",{strokeWidth:".1px",x1:r,x2:o,y1:i+4,y2:s+4})}))))}}))},3629:(e,n,t)=>{"use strict";t.d(n,{lz:()=>a,jV:()=>o});var r="winlist",i=function(){return JSON.parse(localStorage.getItem(r)||"[]")},a=function(e){var n=i();n.push(e),localStorage.setItem(r,JSON.stringify(n))},o=function e(n){return"level"===n.type?(t=n.id,void 0!==i().find((function(e){return e===t}))):void 0===n.children.find((function(n){return!e(n)}));var t}},5966:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{t:()=>w});var r,i,a,o,l=t(168),s=t(7757),p=t.n(s),u=t(5861),c=t(9439),_=t(7294),d=t(6974),f=t(9711),y=t(1411),h=t(6),m=t(4028),x=t(1736),g=t.n(x),v=e([y]);y=(v.then?await v:v)[0];var b=function(e){var n=e.name,t=e.children,r=(0,_.useState)(!0),i=(0,c.Z)(r,2),a=i[0],o=i[1];return _.createElement(_.Fragment,null,_.createElement("div",{onClick:function(){return o(!a)}},n),!a&&_.createElement("div",null,t))},w=function(){var e=(0,_.useState)("loading"),n=(0,c.Z)(e,2),t=n[0],s=n[1],x=((0,d.s0)(),function(){var e=(0,u.Z)(p().mark((function e(n,t,r){return p().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:alert("Im broken");case 1:case"end":return e.stop()}}),e)})));return function(n,t,r){return e.apply(this,arguments)}}());return(0,_.useEffect)((function(){(0,u.Z)(p().mark((function e(){return p().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.t0=s,e.next=3,(0,y.Kx)();case 3:e.t1=e.sent,(0,e.t0)(e.t1);case 5:case"end":return e.stop()}}),e)})))()}),[]),"loading"===t?_.createElement("div",null,"loading"):_.createElement("div",{dir:"ltr",className:g().main},_.createElement(m.D,{title:(0,h.g)(r||(r=(0,l.Z)(["library"])))}),_.createElement("h1",{className:g().title},(0,h.g)(i||(i=(0,l.Z)(["library"])))),_.createElement("p",{className:g().text,dir:"rtl"},(0,h.g)(a||(a=(0,l.Z)(["library_intro"])))),_.createElement("p",null,_.createElement(f.rU,{to:"notation"},(0,h.g)(o||(o=(0,l.Z)(["notations"]))))),_.createElement("ul",{className:g().text},t.map((function(e){return _.createElement(b,{key:e.name,name:e.name},e.rules.filter((function(e){return"Suggestion"!==e.kind})).map((function(n){return _.createElement("li",{key:n.name,onClick:function(){return x(e.name,n.name,n.kind)}},_.createElement("span",{className:g()[n.kind]},n.kind)," ",n.name,n.ty&&": ".concat(n.ty))})))}))))}}))},1614:(e,n,t)=>{"use strict";t.d(n,{l:()=>h});var r,i,a,o,l,s,p=t(168),u=t(6),c=t(6762),_=t.n(c),d=t(9711),f=t(4028),y=t(7294),h=function(){return y.createElement("div",{className:_().main},y.createElement(f.D,{title:(0,u.g)(r||(r=(0,p.Z)(["main_menu"])))}),y.createElement("h1",{className:_().title},(0,u.g)(i||(i=(0,p.Z)(["babaeee_coq"])))),y.createElement("ul",{dir:"ltr",className:_().exampleSection},y.createElement(d.rU,{to:"/adventure",className:_().exampleItem},(0,u.g)(a||(a=(0,p.Z)(["adventure"])))),y.createElement(d.rU,{to:"/sandbox",className:_().exampleItem},(0,u.g)(o||(o=(0,p.Z)(["sandbox"])))),y.createElement(d.rU,{to:"/library",className:_().exampleItem},(0,u.g)(l||(l=(0,p.Z)(["library"])))),y.createElement(d.rU,{to:"/setting",className:_().exampleItem},(0,u.g)(s||(s=(0,p.Z)(["setting"]))))))}},6901:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{x:()=>l});var r=t(1411),i=t(7294),a=e([r]),o=(0,(r=(a.then?await a:a)[0]).gC)(),l=function(){return i.createElement("div",{style:{color:"white",width:"100%"},dir:"ltr"},i.createElement("ul",null,o.map((function(e){return i.createElement("li",{key:e},e)}))))}}))},3780:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{s:()=>C,K:()=>j});var r,i,a,o,l=t(3433),s=t(168),p=t(9439),u=t(7622),c=t.n(u),_=t(6),d=t(1538),f=t(5827),y=t(167),h=t(9613),m=t(7294),x=t(1365),g=t(7865),v=t(2270),b=t(6974),w=t(4028),H=t(9980),k=t.n(H),A=t(7294),S=e([h,d,y,f,v]);[h,d,y,f,v]=S.then?await S:S;var E=new(k()),T=function(e){var n=e.text,t=(0,m.useState)(!1),a=(0,p.Z)(t,2),o=a[0],l=a[1];if(!n||""===n)return A.createElement(A.Fragment,null);if(o){var u=n.trim().split(/(\s+)/).slice(0,20).join(" ");return A.createElement("p",{className:c().text},u," ... ",A.createElement("button",{onClick:function(){return l(!o)}},(0,_.g)(r||(r=(0,s.Z)(["show_it"])))))}return A.createElement(A.Fragment,null,A.createElement("div",{className:c().text},A.createElement("p",{dangerouslySetInnerHTML:{__html:E.render(n)}})," ",A.createElement("button",{onClick:function(){return l(!o)}},(0,_.g)(i||(i=(0,s.Z)(["hide_it"]))))))},C=(0,m.createContext)({}),j=function(){var e=(0,m.useState)(v.Mg.suggestedLemmas),n=(0,p.Z)(e,2),t=n[0],r=n[1],i=(0,b.s0)(),u=(0,m.useState)(void 0),H=(0,p.Z)(u,2),k=H[0],S=H[1],E=(0,m.useState)(void 0),j=(0,p.Z)(E,2),P=j[0],D=j[1];if(k)return A.createElement("div",{className:c().inlBody},A.createElement("pre",null,k),A.createElement("button",{onClick:function(){return S(void 0)}},(0,_.g)(a||(a=(0,s.Z)(["back"])))));var q={lemmaBox:t,actionHint:P,setActionHint:D,appendLemma:function(e){t.find((function(n){return n.name===e.name}))||r([].concat((0,l.Z)(t),[e]))},onFinish:function(e){e?(0,v.RY)(i):(0,v.MG)(i)}};return A.createElement(x.W,{backend:g.PD},A.createElement(C.Provider,{value:q},A.createElement(w.D,{title:(0,_.g)(o||(o=(0,s.Z)(["proof_screen"])))}),A.createElement("div",{className:c().main},A.createElement(T,{text:v.Mg.text}),A.createElement("div",{className:c().bottomContainer},A.createElement(f.o,null),A.createElement(y.m,null),A.createElement("div",{className:c().sidebarContainer},A.createElement(d.A,{onNatural:S}),A.createElement(h.a,null))))))}}))},5827:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{o:()=>q});var r,i,a,o,l,s,p=t(9439),u=t(7757),c=t.n(u),_=t(168),d=t(5861),f=t(7294),y=t(1100),h=t(1411),m=t(6),x=t(3568),g=t.n(x),v=t(394),b=t(2409),w=t(8301),H=t(1312),k=t(4414),A=t(7294),S=e([h]);function E(e,n){var t;if("undefined"==typeof Symbol||null==e[Symbol.iterator]){if(Array.isArray(e)||(t=function(e,n){if(e){if("string"==typeof e)return T(e,n);var t=Object.prototype.toString.call(e).slice(8,-1);return"Object"===t&&e.constructor&&(t=e.constructor.name),"Map"===t||"Set"===t?Array.from(e):"Arguments"===t||/^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t)?T(e,n):void 0}}(e))||n&&e&&"number"==typeof e.length){t&&(e=t);var r=0,i=function(){};return{s:i,n:function(){return r>=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,l=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){l=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(l)throw a}}}}function T(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t>"))),q&&A.createElement("div",{ref:o,style:{position:l,top:null!=t?t:0,left:null!=n?n:0},className:g().tooltip},(0,m.g)(a||(a=(0,_.Z)(["auto_proof_turbo_tooltip"])))))},q=function(){var e=(0,k.O2)();return A.createElement("div",{className:g().toolContain},A.createElement(C,{onClick:j,label:(0,m.g)(o||(o=(0,_.Z)(["new_assertion"])))}),e&&A.createElement(D,null),"debug"===(0,H.S7)()&&A.createElement(C,{onClick:function(){var e=window.prompt((0,m.g)(l||(l=(0,_.Z)(["enter_tactic"]))));e&&(0,h.DG)(e)},label:(0,m.g)(s||(s=(0,_.Z)(["custom_tactic"])))}),A.createElement("div",{className:g().footer},A.createElement("svg",{xmlns:"http://www.w3.org/2000/svg",viewBox:"0 0 20 20",fill:"currentColor"},A.createElement("path",{fillRule:"evenodd",d:"M12.316 3.051a1 1 0 01.633 1.265l-4 12a1 1 0 11-1.898-.632l4-12a1 1 0 011.265-.633zM5.707 6.293a1 1 0 010 1.414L3.414 10l2.293 2.293a1 1 0 11-1.414 1.414l-3-3a1 1 0 010-1.414l3-3a1 1 0 011.414 0zm8.586 0a1 1 0 011.414 0l3 3a1 1 0 010 1.414l-3 3a1 1 0 11-1.414-1.414L16.586 10l-2.293-2.293a1 1 0 010-1.414z",clipRule:"evenodd"})),"with",A.createElement("svg",{xmlns:"http://www.w3.org/2000/svg",viewBox:"0 0 20 20",fill:"currentColor"},A.createElement("path",{fillRule:"evenodd",d:"M3.172 5.172a4 4 0 015.656 0L10 6.343l1.172-1.171a4 4 0 115.656 5.656L10 17.657l-6.828-6.829a4 4 0 010-5.656z",clipRule:"evenodd"})),"by",A.createElement("img",{src:v.Z,alt:"babaeee logo"})))}}))},1538:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{A:()=>w});var r,i,a,o,l,s=t(168),p=t(7757),u=t.n(p),c=t(5861),_=t(9439),d=t(7294),f=t(1411),y=t(6),h=t(6851),m=t(3780),x=t(859),g=t.n(x),v=t(7294),b=e([f,m]);[f,m]=b.then?await b:b;var w=function(e){var n=e.onNatural,t=(0,d.useState)([]),p=(0,_.Z)(t,2),x=p[0],b=p[1],w=(0,d.useState)([]),H=(0,_.Z)(w,2),k=H[0],A=H[1],S=(0,d.useState)(!1),E=(0,_.Z)(S,2),T=E[0],C=E[1],j=(0,d.useRef)(null),P=(0,d.useContext)(m.s).setActionHint;return(0,d.useEffect)((function(){return(0,f.Ld)(function(){var e=(0,c.Z)(u().mark((function e(n){var t;return u().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:if(b(n.undoHistory),A(n.redoHistory),!T){e.next=8;break}return e.t0=P,e.next=6,(0,f.X3)(n.redoHistory[0]||"");case 6:e.t1=e.sent,(0,e.t0)(e.t1);case 8:null===(t=j.current)||void 0===t||t.scrollIntoView();case 9:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}())}),[T,P]),v.createElement("div",{className:g().base},v.createElement("ol",{dir:"ltr",className:g().scroll},x.map((function(e,n){return n===x.length-1?v.createElement("li",{key:n,ref:j,className:g().current},e):v.createElement("li",{key:n},e)})),k.map((function(e,n){return v.createElement("li",{key:n},e)}))),v.createElement("button",{onClick:function(){return(0,f.DG)("Undo")}},(0,y.g)(r||(r=(0,s.Z)(["undo"])))),v.createElement("button",{onMouseEnter:(0,c.Z)(u().mark((function e(){return u().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return C(!0),e.t0=P,e.next=4,(0,f.X3)(k[0]||"");case 4:e.t1=e.sent,(0,e.t0)(e.t1);case 6:case"end":return e.stop()}}),e)}))),onMouseLeave:function(){C(!1),P(void 0)},onClick:function(){return(0,f.DG)("Redo")}},(0,y.g)(i||(i=(0,s.Z)(["redo"])))),v.createElement(h.q,{label:(0,y.g)(a||(a=(0,s.Z)(["export"]))),text:function(){return"".concat(localStorage.getItem("last_goal"),";\n").concat(x.join(";\n"),";\n")}}),v.createElement("button",{onClick:(0,c.Z)(u().mark((function e(){return u().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.t0=n,e.next=3,(0,f.d$)();case 3:return e.t1=e.sent,e.abrupt("return",(0,e.t0)(e.t1));case 5:case"end":return e.stop()}}),e)})))},(0,y.g)(o||(o=(0,s.Z)(["in_natural"])))),v.createElement("button",{onClick:function(){return window.history.back()}},(0,y.g)(l||(l=(0,s.Z)(["exit"])))))}}))},9613:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{a:()=>h});var r=t(7757),i=t.n(r),a=t(5861),o=t(9439),l=t(7294),s=t(5200),p=t(1411),u=t(3780),c=t(859),_=t.n(c),d=t(7294),f=e([u,p]);[u,p]=f.then?await f:f;var y=function(e){var n=e.name,t=e.ty,r=(0,s.c)((function(){return{type:"Hyp",item:function(){return{name:n}}}}),[n]),l=(0,o.Z)(r,2)[1];return d.createElement("div",{ref:l,onDoubleClick:(0,a.Z)(i().mark((function e(){return i().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,(0,p.DG)("add_from_lib ".concat(n));case 2:case"end":return e.stop()}}),e)}))),dir:"ltr",className:_().lemma,title:t},n)},h=function(){var e=(0,l.useContext)(u.s).lemmaBox;return d.createElement("div",{className:_().base},d.createElement("div",{className:_().lemmaBox},e.map((function(e){var n=e.name,t=e.ty;return d.createElement(l.Fragment,{key:n},d.createElement(y,{name:n,ty:t})," ")}))))}}))},1162:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{u:()=>Z});var r,i,a,o,l,s,p,u,c,_=t(3433),d=t(4942),f=t(9439),y=t(4925),h=t(7462),m=t(7757),x=t.n(m),g=t(168),v=t(5861),b=t(7294),w=t(1411),H=t(7387),k=t.n(H),A=t(5825),S=t(7131),E=t(4228),T=(t(8029),t(6)),C=t(5200),j=t(9240),P=t(4184),D=t.n(P),q=t(3780),O=t(1100),I=(t(4755),t(1312)),U=t(6547),L=t(7294),z=e([w,q]);[w,q]=z.then?await z:z;var N=function(e){var n=e.ty,t=e.setSuggs,o=e.setAnchorPoint,l=e.toggleMenu,s=e.replaceTactic;return function(){var e=(0,v.Z)(x().mark((function e(p){var u,c,_,d,f,y,h,m,b;return x().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:if(n=(n=n.replaceAll(/]*>/g,"")).replaceAll("",""),console.log(n),u=window.getSelection(),console.log(u),u){e.next=7;break}return e.abrupt("return");case 7:if(""!==u.toString()){e.next=9;break}return e.abrupt("return");case 9:for(console.log(u.anchorNode),console.log(p.target),c=u.getRangeAt(0),console.log(c),console.log(c.toString()),_=function(e,n){return console.log("dbg ".concat(e,": ").concat(n)),n},d=function(e){var n,t,r;return null!==(n=e.parentElement)&&void 0!==n&&n.dataset.pos?_(1,Number(null===(t=e.parentElement)||void 0===t?void 0:t.dataset.pos)):e.previousSibling&&e.previousSibling instanceof HTMLElement?_(2,Number(null===(r=e.previousSibling)||void 0===r?void 0:r.dataset.pos)+e.previousSibling.innerText.length):0},f=c.startOffset+d(c.startContainer),y=c.endOffset+d(c.endContainer);" "===n[f];)f+=1;for(;" "===n[y-1];)y-=1;for(h=u.toString().trim().replaceAll("⁨","").replaceAll("⁩","").replaceAll(/\s+/g," "),m=0;m{"use strict";t.a(e,(async e=>{t.d(n,{o:()=>g});var r,i=t(168),a=t(7757),o=t.n(a),l=t(5861),s=t(9439),p=t(7294),u=t(1411),c=t(6),_=t(3346),d=t(6992),f=t(3780),y=t(6163),h=t.n(y),m=t(7294),x=e([u,f]);[u,f]=x.then?await x:x;var g=function(){var e=(0,p.useState)(""),n=(0,s.Z)(e,2),t=n[0],a=n[1],y=(0,p.useState)(!1),x=(0,s.Z)(y,2),g=x[0],v=x[1],b=(0,p.useState)([]),w=(0,s.Z)(b,2),H=w[0],k=w[1],A=(0,p.useContext)(f.s),S=A.appendLemma,E=A.lemmaBox,T=function(){var e=(0,l.Z)(o().mark((function e(){var n;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,(0,u.yh)(t);case 2:n=e.sent,k(n);case 4:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}();return m.createElement("div",{dir:"ltr"},m.createElement(d.X,{value:t,onChange:a,enableHelp:v,onEnter:T}),m.createElement("button",{onClick:T},(0,c.g)(r||(r=(0,i.Z)(["submit"])))),g&&m.createElement("div",{className:h().searchResult},m.createElement(_.L,null)),!g&&("string"==typeof H?m.createElement("div",null,H):m.createElement("div",{className:h().searchResult},H.filter((function(e){return void 0===E.find((function(n){return n.name===e.name}))})).map((function(e){return m.createElement("div",{key:e.name,onClick:function(){return S(e)}},m.createElement("span",{className:h().itemName},e.name,":")," ",m.createElement("pre",{className:h().itemTy},e.ty))})))))}}))},167:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{m:()=>m});var r=t(4942),i=t(9439),a=t(4184),o=t.n(a),l=t(7294),s=t(6),p=t(1162),u=t(1474),c=t(8362),_=t.n(c),d=t(7294),f=e([u,p]);[u,p]=f.then?await f:f;var y={proof_screen:p.u,search:u.o},h=["proof_screen","search"],m=function(){var e=(0,l.useState)(h[0]),n=(0,i.Z)(e,2),t=n[0],a=n[1],p=y[t];return d.createElement("div",{className:_().root},d.createElement("div",{className:_().tabs},h.map((function(e){var n;return d.createElement("button",{key:e,onClick:function(){return a(e)},className:o()((n={},(0,r.Z)(n,_().tab,!0),(0,r.Z)(n,_().selected,e===t),n))},(0,s.Q)(e))}))),d.createElement("div",{className:_().body},d.createElement(p,null)))}}))},2270:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{Mg:()=>C,RY:()=>P,MG:()=>D,e$:()=>q,fC:()=>O});var r,i=t(168),a=t(9439),o=t(7757),l=t.n(o),s=t(5861),p=t(1411),u=t(6),c=t(7341),_=t(5966),d=t(1614),f=t(3780),y=t(5511),h=t(9711),m=t(6974),x=t(9882),g=t.n(x),v=t(3629),b=t(7294),w=t(6901),H=t(2325),k=t(943),A=t(7294),S=e([w,_,f,y,c,p]);[w,_,f,y,c,p]=S.then?await S:S;var E,T=(E=localStorage.getItem("reactState"))?JSON.parse(E):{proofState:{afterProof:{},suggestedLemmas:[],text:""}};window.onbeforeunload=function(){localStorage.setItem("reactState",JSON.stringify(T)),localStorage.setItem("wasmState",(0,p.OT)())};var C=T.proofState,j=function e(n,t){"back"!==t.type?"goto"!==t.type?((0,v.lz)(t.level),e(n,t.then)):n(t.url,{replace:!0}):window.history.back()},P=function(e){j(e,C.afterProof.onSolve||{type:"back"})},D=function(e){j(e,C.afterProof.onCancel||{type:"back"})},q=function(){var e=(0,s.Z)(l().mark((function e(n){var t,r,i,a,o,u,c=arguments;return l().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return t=c.length>1&&void 0!==c[1]?c[1]:{},r=t.afterProof||{},i=t.text||"",a=t.replace||!1,o=t.suggestedLemmas||[],e.next=7,Promise.all(o.map(function(){var e=(0,s.Z)(l().mark((function e(n){return l().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.t0=n,e.next=3,(0,p.BF)(n);case 3:return e.t1=e.sent,e.abrupt("return",{name:e.t0,ty:e.t1});case 5:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}()));case 7:u=e.sent,C={afterProof:r,text:i,suggestedLemmas:u},T.proofState=C,n("/proof",{replace:a});case 11:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}(),O=function(){var e=(0,b.useState)(document.documentElement.clientWidth),n=(0,a.Z)(e,2),t=n[0],o=n[1],l=(0,b.useState)(document.documentElement.clientHeight),s=(0,a.Z)(l,2),p=s[0],x=s[1];return window.onresize=function(){o(document.documentElement.clientWidth),x(document.documentElement.clientHeight)},p>t?A.createElement("div",{dir:(0,u.dZ)()?"rtl":"ltr",className:g().mobile},(0,u.g)(r||(r=(0,i.Z)(["this_page_is_not_optimized_for_mobile"])))):A.createElement("div",{dir:(0,u.dZ)()?"rtl":"ltr",className:g().main},A.createElement(k.L,null),A.createElement(h.VK,null,A.createElement(m.Z5,null,A.createElement(m.AW,{path:"/"},A.createElement(m.AW,{index:!0,element:A.createElement(d.l,null)}),A.createElement(m.AW,{path:"adventure",element:A.createElement(c.A,null)}),A.createElement(m.AW,{path:"adventure/*",element:A.createElement(c.A,null)}),A.createElement(m.AW,{path:"sandbox",element:A.createElement(y.p,null)}),A.createElement(m.AW,{path:"proof",element:A.createElement(f.K,null)}),A.createElement(m.AW,{path:"setting",element:A.createElement(H.p,null)}),A.createElement(m.AW,{path:"library"},A.createElement(m.AW,{index:!0,element:A.createElement(_.t,null)}),A.createElement(m.AW,{path:"notation",element:A.createElement(w.x,null)})),A.createElement(m.AW,{path:"*",element:A.createElement("div",null,"404 not found")})))))}}))},5511:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{p:()=>P});var r,i,a,o,l,s,p,u=t(168),c=t(7757),_=t.n(c),d=t(4506),f=t(5861),y=t(9439),h=t(7294),m=t(6974),x=t(1411),g=t(6),v=t(2270),b=t(3346),w=t(6992),H=t(4028),k=t(588),A=t.n(k),S=t(7294),E=e([v,x]);function T(e,n){var t;if("undefined"==typeof Symbol||null==e[Symbol.iterator]){if(Array.isArray(e)||(t=function(e,n){if(e){if("string"==typeof e)return C(e,n);var t=Object.prototype.toString.call(e).slice(8,-1);return"Object"===t&&e.constructor&&(t=e.constructor.name),"Map"===t||"Set"===t?Array.from(e):"Arguments"===t||/^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t)?C(e,n):void 0}}(e))||n&&e&&"number"==typeof e.length){t&&(e=t);var r=0,i=function(){};return{s:i,n:function(){return r>=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,l=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){l=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(l)throw a}}}}function C(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t harchizi).Proof.intros.","Goal (∀ ali_shad_ast: U, ∀ mohamad_shad_ast: U, ∀ khabar1: ali_shad_ast, ∀ khabar2: mohamad_shad_ast, ali_shad_ast ∧ mohamad_shad_ast).Proof.intros.","Goal (∀ ali_shad_ast: U, ∀ mohamad_shad_ast: U, ∀ khabar1: ali_shad_ast, ali_shad_ast ∨ mohamad_shad_ast).Proof.intros.","Goal (∀ x y: Universe, x -> (x -> y) -> y).Proof.intros barf_ziad_mibarad madares_tatil_mishavad esbati_baraye_barfe_ziad esbati_baraye_agar_barf_ziad_biad_madrese_tatile.","Goal (∀ gob:U,∀ khabar_bad_gob: gob -> False, ∀ khabar1: gob , False).Proof.intros hava_tarik_ast.intros khabar1.intros khabar2.","Goal (∀ A B: U, ~ A ∨ B -> (A -> B)).Proof.intros barf_ziad_mibarad madares_tatil_mishavad .intros H.","Goal (∀ A B : U, ~ (A ∨ B) -> ~A ∧ ~ B).Proof.intros ali_shad_ast mohamad_shad_ast.intros H.","Goal (∀ x: ℤ, x = 2 -> x ^ 2 = 4).Proof.","Goal ((∀ T: set ℤ, (∀ x:ℤ, ~ x ∈ T) -> T = {}) -> ∀ A: set ℤ , A ∩ {} = {}).Proof.intros farz.","Goal (∀ A B: set ℤ, (A ∖ B) ∪ (A ∩ B) = A).Proof.cd intros.","finite { x: ℤ | prime x} -> False","∀ A: U, ∀ a: A, a ∈ {} -> False","∀ T: U, ∀ a: T, ∀ S: set T, a ∈ S -> { a } ∪ (S ∖ { a }) = S","∀ a b c d: ℤ, a < b -> c < d -> a + c < b + d","∀ A: U, ∀ P: A -> U, (∀ x: A, P x) -> A -> ∃ x: A, P x","∀ a: ℤ, ∃ b: ℤ, a < b","∀ A: U, ∀ P: A -> U, (∀ x: A, P x) -> (∃ x: A, P x -> False) -> False","∀ n: ℤ, 0 ≤ n → 2 * (Σ i in [0, n + 1) i) = n * (n + 1)","∀ n: ℤ, 0 ≤ n → (Σ i in [0, n) 2 ^ i) = 2 ^ n - 1","∀ n: ℤ, 0 ≤ n → (Σ i in [0, n) 2 * i + 1) = n * n","∀ n: ℤ, 0 ≤ n → (Σ i in [- n, n + 1) |i|) = 2 * Σ i in [0, n + 1) |i|","∀ A B: U, ∀ f: A -> B, ∀ x y: A, x = y -> f x = f y","∀ T: U, ∀ A B C: set T, A ⊆ B -> B ⊆ C -> A ⊆ C","∀ n: ℤ, 2 < n -> ∀ a b c, a ^ n + b ^ n = c ^ n -> False","~ (sqrt 2.) ∈ ℚ","∀ x: ℤ, x ∈ {2} -> x + x = 4"],P=function(){var e=(0,h.useState)(""),n=(0,y.Z)(e,2),t=n[0],c=n[1],k=(0,h.useState)(""),E=(0,y.Z)(k,2),C=E[0],P=E[1],D=(0,h.useState)(!1),q=(0,y.Z)(D,2),O=q[0],I=q[1],U=(0,m.s0)(),L=function(){var e=(0,f.Z)(_().mark((function e(){var n,r,i,a,o,l,s,p,u,c,f,y=arguments;return _().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:if(n=y.length>0&&void 0!==y[0]?y[0]:t,r=n.trim(),i=!1,!r.startsWith("Goal")){e.next=34;break}return a=r.split(";"),o=(0,d.Z)(a),l=o[0],s=o.slice(2),e.next=7,(0,x.gP)(l.slice(6,-1));case 7:if(e.sent){e.next=9;break}return e.abrupt("return");case 9:p=T(s),e.prev=10,p.s();case 12:if((u=p.n()).done){e.next=23;break}if(c=u.value,""!==(f=c.trim())){e.next=17;break}return e.abrupt("continue",21);case 17:return e.next=19,(0,x.DG)(f);case 19:if(e.sent){e.next=21;break}return e.abrupt("return");case 21:e.next=12;break;case 23:e.next=28;break;case 25:e.prev=25,e.t0=e.catch(10),p.e(e.t0);case 28:return e.prev=28,p.f(),e.finish(28);case 31:i=!0,e.next=38;break;case 34:return e.next=36,(0,x.gP)(n,"/",C);case 36:if(!e.sent){e.next=38;break}i=!0;case 38:i&&(0,v.e$)(U);case 39:case"end":return e.stop()}}),e,null,[[10,25,28,31]])})));return function(){return e.apply(this,arguments)}}();return S.createElement("div",{className:A().main},S.createElement(H.D,{title:(0,g.g)(r||(r=(0,u.Z)(["sandbox"])))}),S.createElement("h1",{className:A().title},(0,g.g)(i||(i=(0,u.Z)(["sandbox"])))),S.createElement("p",{className:A().text},(0,g.g)(a||(a=(0,u.Z)(["type_a_goal_to_proof"])))),S.createElement(w.X,{value:t,onChange:c,enableHelp:I,onEnter:L}),S.createElement("button",{onClick:function(){return L()}},(0,g.g)(o||(o=(0,u.Z)(["submit"])))),S.createElement("div",null,S.createElement("span",{className:A().text},(0,g.g)(l||(l=(0,u.Z)(["engine_params"]))),":"),S.createElement(w.X,{style:{width:"80%"},value:C,onChange:P,enableHelp:I})),O&&S.createElement("div",{className:A().unicodeHelp,dir:"ltr"},S.createElement(b.L,null)),S.createElement("p",{className:A().text},(0,g.g)(s||(s=(0,u.Z)(["or_choose_one_prop"])))),S.createElement("ul",{dir:"ltr",className:A().exampleSection},j.map((function(e){return S.createElement(S.Fragment,null,S.createElement("li",{key:e,onClick:function(){return L(e)},className:A().exampleItem},e)," ")}))),S.createElement("button",{onClick:function(){return window.history.back()}},(0,g.g)(p||(p=(0,u.Z)(["back"])))))}}))},2325:(e,n,t)=>{"use strict";t.d(n,{p:()=>c});var r,i,a,o=t(168),l=t(1312),s=t(4414),p=t(6),u=t(7294),c=function(){var e=(0,l.bD)(),n=(0,s.O2)();return u.createElement("div",{style:{color:"white",width:"100%"},dir:"ltr"},u.createElement("ul",null,u.createElement("li",null,(0,p.g)(r||(r=(0,o.Z)(["change_lang"])))," ",u.createElement("button",{onClick:p.t4},(0,p.VQ)())),u.createElement("li",null,(0,p.g)(i||(i=(0,o.Z)(["dev_mode"])))," ",u.createElement("button",{onClick:function(){"off"===(0,l.S7)()?(0,l.mm)("ready"):(0,l.mm)("off")}},"off"===e?"off":"on")),u.createElement("li",null,(0,p.g)(a||(a=(0,o.Z)(["auto_proof"])))," ",u.createElement("button",{onClick:function(){(0,s.L9)()?(0,s.e1)(!1):(0,s.e1)(!0)}},n?"on":"off"))))}},3346:(e,n,t)=>{"use strict";t.d(n,{L:()=>p});var r=t(9439),i=t(7294),a=t(9308),o=t(5122),l=t.n(o),s=t(7294),p=function(){return s.createElement(i.Fragment,null,s.createElement("div",{className:l().helpContainer},a.O.map((function(e){var n=(0,r.Z)(e,2),t=n[0],a=n[1];return s.createElement(i.Fragment,{key:t},s.createElement("span",{dir:"ltr",className:l().helpItem},s.createElement("span",null,";",t,";"),s.createElement("span",{style:{color:"var(--gray-2)",padding:"0 5px"}},"="),s.createElement("span",{style:{color:"var(--primary)"}},a)))}))))}},6992:(e,n,t)=>{"use strict";t.d(n,{X:()=>s});var r=t(9439),i=t(7294),a=t(9308),o=t(7294);function l(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,s=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){s=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(s)throw a}}}}(a.O);try{for(s.s();!(o=s.n()).done;){var p=(0,r.Z)(o.value,2),u=p[0],c=p[1];if(e.slice(0,n).endsWith(";".concat(u,";")))return i(n-u.length-2+c.length),e.slice(0,n-u.length-2)+c+e.slice(n)}}catch(e){s.e(e)}finally{s.f()}return e}}(e.target.value,e.target.selectionStart,e.target.selectionEnd,(function(e){m(e)}));s(n||e.target.value),p((null==n?void 0:n.slice(0,e.target.selectionStart||0).endsWith(";"))||!1)},onKeyPress:function(e){"Enter"!==e.code&&"NumpadEnter"!==e.code||d()}})}},9308:(e,n,t)=>{"use strict";t.d(n,{O:()=>r});var r=[["-c","∈"],["=C","⊆"],["A","∀"],["E","∃"],["fn","λ"],["\\/","∨"],["/\\","∧"],["->","→"],["<->","↔"],["Z","ℤ"],["R","ℝ"],["Q","ℚ"],["<=","≤"],[">=","≥"],["U","∪"],["!U","∩"],["\\","∖"],["o","∘"],["sigma","Σ"]]},6851:(e,n,t)=>{"use strict";t.d(n,{q:()=>d});var r,i=t(7757),a=t.n(i),o=t(5861),l=t(168),s=t(9439),p=t(7294),u=t(6),c=function(e){return new Promise((function(n){return setTimeout(n,e)}))},_=t(7294),d=function(e){var n=e.text,t=e.label,i=(0,p.useState)(!1),d=(0,s.Z)(i,2),f=d[0],y=d[1];if(f)return _.createElement("button",null,(0,u.g)(r||(r=(0,l.Z)(["copied_in_clipboard"]))));var h=function(){var e=(0,o.Z)(a().mark((function e(){return a().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,navigator.clipboard.writeText(n());case 2:return y(!0),e.next=5,c(1e3);case 5:y(!1);case 6:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}();return _.createElement("button",{onClick:h},t)}},4028:(e,n,t)=>{"use strict";t.d(n,{D:()=>ue});var r,i,a,o,l=t(168),s=t(3433),p=t(5697),u=t.n(p),c=t(3524),_=t.n(c),d=t(9590),f=t.n(d),y=t(7294),h=t(7418),m=t.n(h),x="bodyAttributes",g="htmlAttributes",v={BASE:"base",BODY:"body",HEAD:"head",HTML:"html",LINK:"link",META:"meta",NOSCRIPT:"noscript",SCRIPT:"script",STYLE:"style",TITLE:"title"},b=(Object.keys(v).map((function(e){return v[e]})),"charset"),w="cssText",H="href",k="innerHTML",A="itemprop",S="rel",E={accesskey:"accessKey",charset:"charSet",class:"className",contenteditable:"contentEditable",contextmenu:"contextMenu","http-equiv":"httpEquiv",itemprop:"itemProp",tabindex:"tabIndex"},T=Object.keys(E).reduce((function(e,n){return e[E[n]]=n,e}),{}),C=[v.NOSCRIPT,v.SCRIPT,v.STYLE],j="data-react-helmet",P="function"==typeof Symbol&&"symbol"==typeof Symbol.iterator?function(e){return typeof e}:function(e){return e&&"function"==typeof Symbol&&e.constructor===Symbol&&e!==Symbol.prototype?"symbol":typeof e},D=function(e,n){if(!(e instanceof n))throw new TypeError("Cannot call a class as a function")},q=function(){function e(e,n){for(var t=0;t=0||Object.prototype.hasOwnProperty.call(e,r)&&(t[r]=e[r]);return t},U=function(e,n){if(!e)throw new ReferenceError("this hasn't been initialised - super() hasn't been called");return!n||"object"!=typeof n&&"function"!=typeof n?e:n},L=function(e){var n=!(arguments.length>1&&void 0!==arguments[1])||arguments[1];return!1===n?String(e):String(e).replace(/&/g,"&").replace(//g,">").replace(/"/g,""").replace(/'/g,"'")},z=function(e){var n=M(e,v.TITLE),t=M(e,"titleTemplate");if(t&&n)return t.replace(/%s/g,(function(){return Array.isArray(n)?n.join(""):n}));var r=M(e,"defaultTitle");return n||r||void 0},N=function(e){return M(e,"onChangeClientState")||function(){}},F=function(e,n){return n.filter((function(n){return void 0!==n[e]})).map((function(n){return n[e]})).reduce((function(e,n){return O({},e,n)}),{})},B=function(e,n){return n.filter((function(e){return void 0!==e[v.BASE]})).map((function(e){return e[v.BASE]})).reverse().reduce((function(n,t){if(!n.length)for(var r=Object.keys(t),i=0;i=0;t--){var r=e[t];if(r.hasOwnProperty(n))return r[n]}return null},X=(r=Date.now(),function(e){var n=Date.now();n-r>16?(r=n,e(n)):setTimeout((function(){X(e)}),0)}),Z=function(e){return clearTimeout(e)},Q="undefined"!=typeof window?window.requestAnimationFrame&&window.requestAnimationFrame.bind(window)||window.webkitRequestAnimationFrame||window.mozRequestAnimationFrame||X:t.g.requestAnimationFrame||X,$="undefined"!=typeof window?window.cancelAnimationFrame||window.webkitCancelAnimationFrame||window.mozCancelAnimationFrame||Z:t.g.cancelAnimationFrame||Z,V=function(e){return console&&"function"==typeof console.warn&&console.warn(e)},Y=null,W=function(e,n){var t=e.baseTag,r=e.bodyAttributes,i=e.htmlAttributes,a=e.linkTags,o=e.metaTags,l=e.noscriptTags,s=e.onChangeClientState,p=e.scriptTags,u=e.styleTags,c=e.title,_=e.titleAttributes;J(v.BODY,r),J(v.HTML,i),K(c,_);var d={baseTag:ee(v.BASE,t),linkTags:ee(v.LINK,a),metaTags:ee(v.META,o),noscriptTags:ee(v.NOSCRIPT,l),scriptTags:ee(v.SCRIPT,p),styleTags:ee(v.STYLE,u)},f={},y={};Object.keys(d).forEach((function(e){var n=d[e],t=n.newTags,r=n.oldTags;t.length&&(f[e]=t),r.length&&(y[e]=d[e].oldTags)})),n&&n(),s(e,f,y)},G=function(e){return Array.isArray(e)?e.join(""):e},K=function(e,n){void 0!==e&&document.title!==e&&(document.title=G(e)),J(v.TITLE,n)},J=function(e,n){var t=document.getElementsByTagName(e)[0];if(t){for(var r=t.getAttribute(j),i=r?r.split(","):[],a=[].concat(i),o=Object.keys(n),l=0;l=0;c--)t.removeAttribute(a[c]);i.length===a.length?t.removeAttribute(j):t.getAttribute(j)!==o.join(",")&&t.setAttribute(j,o.join(","))}},ee=function(e,n){var t=document.head||document.querySelector(v.HEAD),r=t.querySelectorAll(e+"[data-react-helmet]"),i=Array.prototype.slice.call(r),a=[],o=void 0;return n&&n.length&&n.forEach((function(n){var t=document.createElement(e);for(var r in n)if(n.hasOwnProperty(r))if(r===k)t.innerHTML=n.innerHTML;else if(r===w)t.styleSheet?t.styleSheet.cssText=n.cssText:t.appendChild(document.createTextNode(n.cssText));else{var l=void 0===n[r]?"":n[r];t.setAttribute(r,l)}t.setAttribute(j,"true"),i.some((function(e,n){return o=n,t.isEqualNode(e)}))?i.splice(o,1):a.push(t)})),i.forEach((function(e){return e.parentNode.removeChild(e)})),a.forEach((function(e){return t.appendChild(e)})),{oldTags:i,newTags:a}},ne=function(e){return Object.keys(e).reduce((function(n,t){var r=void 0!==e[t]?t+'="'+e[t]+'"':""+t;return n?n+" "+r:r}),"")},te=function(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{};return Object.keys(e).reduce((function(n,t){return n[E[t]||t]=e[t],n}),n)},re=function(e,n,t){switch(e){case v.TITLE:return{toComponent:function(){return e=n.title,t=n.titleAttributes,(r={key:e})[j]=!0,i=te(t,r),[y.createElement(v.TITLE,i,e)];var e,t,r,i},toString:function(){return function(e,n,t,r){var i=ne(t),a=G(n);return i?"<"+e+' data-react-helmet="true" '+i+">"+L(a,r)+"":"<"+e+' data-react-helmet="true">'+L(a,r)+""}(e,n.title,n.titleAttributes,t)}};case x:case g:return{toComponent:function(){return te(n)},toString:function(){return ne(n)}};default:return{toComponent:function(){return function(e,n){return n.map((function(n,t){var r,i=((r={key:t})[j]=!0,r);return Object.keys(n).forEach((function(e){var t=E[e]||e;if(t===k||t===w){var r=n.innerHTML||n.cssText;i.dangerouslySetInnerHTML={__html:r}}else i[t]=n[e]})),y.createElement(e,i)}))}(e,n)},toString:function(){return function(e,n,t){return n.reduce((function(n,r){var i=Object.keys(r).filter((function(e){return!(e===k||e===w)})).reduce((function(e,n){var i=void 0===r[n]?n:n+'="'+L(r[n],t)+'"';return e?e+" "+i:i}),""),a=r.innerHTML||r.cssText||"",o=-1===C.indexOf(e);return n+"<"+e+' data-react-helmet="true" '+i+(o?"/>":">"+a+"")}),"")}(e,n,t)}}}},ie=function(e){var n=e.baseTag,t=e.bodyAttributes,r=e.encode,i=e.htmlAttributes,a=e.linkTags,o=e.metaTags,l=e.noscriptTags,s=e.scriptTags,p=e.styleTags,u=e.title,c=void 0===u?"":u,_=e.titleAttributes;return{base:re(v.BASE,n,r),bodyAttributes:re(x,t,r),htmlAttributes:re(g,i,r),link:re(v.LINK,a,r),meta:re(v.META,o,r),noscript:re(v.NOSCRIPT,l,r),script:re(v.SCRIPT,s,r),style:re(v.STYLE,p,r),title:re(v.TITLE,{title:c,titleAttributes:_},r)}},ae=_()((function(e){return{baseTag:B([H,"target"],e),bodyAttributes:F(x,e),defer:M(e,"defer"),encode:M(e,"encodeSpecialCharacters"),htmlAttributes:F(g,e),linkTags:R(v.LINK,[S,H],e),metaTags:R(v.META,["name",b,"http-equiv","property",A],e),noscriptTags:R(v.NOSCRIPT,[k],e),onChangeClientState:N(e),scriptTags:R(v.SCRIPT,["src",k],e),styleTags:R(v.STYLE,[w],e),title:z(e),titleAttributes:F("titleAttributes",e)}}),(function(e){Y&&$(Y),e.defer?Y=Q((function(){W(e,(function(){Y=null}))})):(W(e),Y=null)}),ie)((function(){return null})),oe=(i=ae,o=a=function(e){function n(){return D(this,n),U(this,e.apply(this,arguments))}return function(e,n){if("function"!=typeof n&&null!==n)throw new TypeError("Super expression must either be null or a function, not "+typeof n);e.prototype=Object.create(n&&n.prototype,{constructor:{value:e,enumerable:!1,writable:!0,configurable:!0}}),n&&(Object.setPrototypeOf?Object.setPrototypeOf(e,n):e.__proto__=n)}(n,e),n.prototype.shouldComponentUpdate=function(e){return!f()(this.props,e)},n.prototype.mapNestedChildrenToProps=function(e,n){if(!n)return null;switch(e.type){case v.SCRIPT:case v.NOSCRIPT:return{innerHTML:n};case v.STYLE:return{cssText:n}}throw new Error("<"+e.type+" /> elements are self-closing and can not contain children. Refer to our API for more information.")},n.prototype.flattenArrayTypeChildren=function(e){var n,t=e.child,r=e.arrayTypeChildren,i=e.newChildProps,a=e.nestedChildren;return O({},r,((n={})[t.type]=[].concat(r[t.type]||[],[O({},i,this.mapNestedChildrenToProps(t,a))]),n))},n.prototype.mapObjectTypeChildren=function(e){var n,t,r=e.child,i=e.newProps,a=e.newChildProps,o=e.nestedChildren;switch(r.type){case v.TITLE:return O({},i,((n={})[r.type]=o,n.titleAttributes=O({},a),n));case v.BODY:return O({},i,{bodyAttributes:O({},a)});case v.HTML:return O({},i,{htmlAttributes:O({},a)})}return O({},i,((t={})[r.type]=O({},a),t))},n.prototype.mapArrayTypeChildrenToProps=function(e,n){var t=O({},n);return Object.keys(e).forEach((function(n){var r;t=O({},t,((r={})[n]=e[n],r))})),t},n.prototype.warnOnInvalidChildren=function(e,n){return!0},n.prototype.mapChildrenToProps=function(e,n){var t=this,r={};return y.Children.forEach(e,(function(e){if(e&&e.props){var i=e.props,a=i.children,o=function(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{};return Object.keys(e).reduce((function(n,t){return n[T[t]||t]=e[t],n}),n)}(I(i,["children"]));switch(t.warnOnInvalidChildren(e,a),e.type){case v.LINK:case v.META:case v.NOSCRIPT:case v.SCRIPT:case v.STYLE:r=t.flattenArrayTypeChildren({child:e,arrayTypeChildren:r,newChildProps:o,nestedChildren:a});break;default:n=t.mapObjectTypeChildren({child:e,newProps:n,newChildProps:o,nestedChildren:a})}}})),n=this.mapArrayTypeChildrenToProps(r,n)},n.prototype.render=function(){var e=this.props,n=e.children,t=I(e,["children"]),r=O({},t);return n&&(r=this.mapChildrenToProps(n,r)),y.createElement(i,r)},q(n,null,[{key:"canUseDOM",set:function(e){i.canUseDOM=e}}]),n}(y.Component),a.propTypes={base:u().object,bodyAttributes:u().object,children:u().oneOfType([u().arrayOf(u().node),u().node]),defaultTitle:u().string,defer:u().bool,encodeSpecialCharacters:u().bool,htmlAttributes:u().object,link:u().arrayOf(u().object),meta:u().arrayOf(u().object),noscript:u().arrayOf(u().object),onChangeClientState:u().func,script:u().arrayOf(u().object),style:u().arrayOf(u().object),title:u().string,titleAttributes:u().object,titleTemplate:u().string},a.defaultProps={defer:!0,encodeSpecialCharacters:!0},a.peek=i.peek,a.rewind=function(){var e=i.rewind();return e||(e=ie({baseTag:[],bodyAttributes:{},encodeSpecialCharacters:!0,htmlAttributes:{},linkTags:[],metaTags:[],noscriptTags:[],scriptTags:[],styleTags:[],title:"",titleAttributes:{}})),e},o);oe.renderStatic=oe.rewind;var le,se=t(6),pe=t(7294),ue=function(e){var n=e.title;return"string"==typeof n&&(n=[n]),n=[(0,se.g)(le||(le=(0,l.Z)(["babaeee_coq"])))].concat((0,s.Z)(n)).filter((function(e){return void 0!==e})),pe.createElement(oe,null,pe.createElement("title",null,n.join(" - ")))}},943:(e,n,t)=>{"use strict";t.d(n,{L:()=>l});var r=t(1312),i=t(3408),a=t.n(i),o=t(7294),l=function(){var e=(0,r.bD)();return"off"===e?o.createElement(o.Fragment,null):o.createElement("div",{onClick:function(n){n.stopPropagation(),"ready"===e&&(0,r.mm)("admin"),"admin"===e&&(0,r.mm)("debug"),"debug"===e&&(0,r.mm)("ready")},className:a().main},e[0])}},4414:(e,n,t)=>{"use strict";t.d(n,{L9:()=>a,O2:()=>s,e1:()=>p});var r=t(9439),i=t(7294),a=function(){return"off"!==localStorage.getItem("auto_proof_state")},o=[],l=function(){var e=a();console.log("Emitted auto proof state",e," to ",o.length," people"),o.forEach((function(n){return n(e)}))},s=function(){var e=(0,i.useState)(a()),n=(0,r.Z)(e,2),t=n[0],s=n[1];return(0,i.useEffect)((function(){return e=s,o.push(e),l(),function(){o=o.filter((function(n){return n!==e}))};var e}),[]),t},p=function(e){e?localStorage.setItem("auto_proof_state","on"):localStorage.setItem("auto_proof_state","off"),l()}},1312:(e,n,t)=>{"use strict";t.d(n,{S7:()=>a,bD:()=>s,mm:()=>p,L1:()=>u,GJ:()=>c});var r=t(9439),i=t(7294),a=function(){return localStorage.getItem("dev_state")||"off"},o=[],l=function(){var e=a();console.log("Emitted dev state",e," to ",o.length," people"),o.forEach((function(n){return n(e)}))},s=function(){var e=(0,i.useState)(a()),n=(0,r.Z)(e,2),t=n[0],s=n[1];return(0,i.useEffect)((function(){return e=s,o.push(e),l(),function(){o=o.filter((function(n){return n!==e}))};var e}),[]),t},p=function(e){localStorage.setItem("dev_state",e),l()},u=function(){return"debug"===a()},c=function(){return"admin"===a()||u()}},1100:(e,n,t)=>{"use strict";t.d(n,{N:()=>y});var r=t(3935),i=t(2509),a=t.n(i),o=t(9439),l=t(7294),s=t(3346),p=t(6992),u=t(6),c=t(6547),_=t(7294),d=function(e){var n=e.msg,t=e.onDone,r=e.defaultValue,i=(0,l.useState)(r),d=(0,o.Z)(i,2),f=d[0],y=d[1],h=(0,l.useState)(!1),m=(0,o.Z)(h,2),x=m[0],g=m[1],v=(0,l.useState)(!1),b=(0,o.Z)(v,2),w=b[0],H=b[1],k=function(e){t(e),H(!0)};return(0,l.useEffect)((function(){if(!w)return(0,c.l)(1e3,(function(){}))}),[w]),w?_.createElement(_.Fragment,null):_.createElement("div",null,_.createElement("div",{className:a().background,onClick:function(){return k(f)}}),_.createElement("div",{className:a().foreground},_.createElement("p",{className:a().myP,dir:(0,u.dZ)()?"rtl":"ltr"},n),_.createElement(p.X,{autoFocus:!0,className:a().input,value:f,onEnter:function(){return k(f)},onChange:y,enableHelp:g}),_.createElement("div",null,x&&_.createElement(s.L,null))))},f=t(7294),y=function(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:"",t=document.createElement("div");return t.className=a().root,document.body.appendChild(t),new Promise((function(i){r.render(f.createElement(d,{msg:e,defaultValue:n,onDone:function(e){i(e)}}),t)}))}},1411:(e,n,t)=>{"use strict";t.a(e,(async e=>{t.d(n,{OT:()=>b,Ld:()=>A,X3:()=>T,DG:()=>C,gC:()=>j,d$:()=>P,m4:()=>D,KI:()=>q,BF:()=>O,yh:()=>I,gP:()=>U,cu:()=>z,pI:()=>N,yL:()=>F,GF:()=>B,Zq:()=>M,UC:()=>X,AH:()=>Z,Kx:()=>Q});var r=t(4942),i=t(9439),a=t(7757),o=t.n(a),l=t(1002),s=t(5861),p=t(1100),u=t(6),c=t(6151),_=t(1389);function d(e,n){var t=Object.keys(e);if(Object.getOwnPropertySymbols){var r=Object.getOwnPropertySymbols(e);n&&(r=r.filter((function(n){return Object.getOwnPropertyDescriptor(e,n).enumerable}))),t.push.apply(t,r)}return t}function f(e){for(var n=1;ne.length)&&(n=e.length);for(var t=0,r=new Array(n);t".concat(e,"")},window.load_lib_json=c.N;var h=function(e){return!e||(alert(e),!1)},m=function(){localStorage.removeItem("wasmState"),window.onbeforeunload=null,window.location.reload()};window.hardReset=m;var x=localStorage.getItem("wasmState");await window.hakimQueryLoad;var g=!1,v=new Proxy({},{get:function(e,n){return function(){var e=(0,s.Z)(o().mark((function e(t){var r,i;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:e.prev=0;case 1:if(!g){e.next=6;break}return e.next=4,new Promise((function(e){return setTimeout(e,10)}));case 4:e.next=1;break;case 6:return g=!0,e.next=9,(0,_.O)({command:n,arg:t});case 9:r=e.sent;case 10:if(!r||"object"!==(0,l.Z)(r)||!r.AskQuestion){e.next=19;break}return e.next=13,window.ask_question(r.AskQuestion);case 13:return i=e.sent,e.next=16,(0,_.O)({command:"answer_question",arg:i});case 16:r=e.sent,e.next=10;break;case 19:return r&&"object"===(0,l.Z)(r)&&r.Z3State&&(r="z3_cant_solve"),g=!1,e.abrupt("return",r);case 24:e.prev=24,e.t0=e.catch(0),console.log(e.t0),alert("\nخطا در اتصال به برنامه جانبی. آیا آن را اجرا کرده اید؟\nاگر بدون اجرای برنامه جانبی وارد سایت شده اید، لطفا برنامه را دانلود کرده و اجرا کنید و سپس وارد سایت شوید.\nاگر برنامه جانبی را اجرا کرده بودید و در میانه کار به این پیغام برخوردید، به این معنی است که برنامه با خطا مواجه شده و بسته شده است. می توانید این صفحه را ببندید و برنامه را مجددا اجرا کنید. هم چنین در این صورت فایل گزارشی در کنار برنامه جانبی ساخته می شود. لطفا آن را برای ما ارسال کنید تا بتوانیم این خطا را رفع کنیم.\n "),document.body.innerHTML="panic";case 29:case"end":return e.stop()}}),e,null,[[0,24]])})));return function(n){return e.apply(this,arguments)}}()}});window.instance=v,await v.load_lib(window.load_lib_json()),x&&(v.from_backup(JSON.parse(x))||(window.alert("backup version is incompatible. reloading..."),m()));var b=function(){return JSON.stringify(v.to_backup())},w=[],H=function(){var e=(0,s.Z)(o().mark((function e(){var n,t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return n=function(){var e=(0,s.Z)(o().mark((function e(){var n,t,r,a,l;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.get_history();case 2:if(e.t0=e.sent,e.t0){e.next=5;break}e.t0=[[],[]];case 5:return n=e.t0,t=(0,i.Z)(n,2),r=t[0],a=t[1],console.log(v.monitor()),e.next=12,v.monitor();case 12:if("Finished"!==(l=e.sent)){e.next=15;break}return e.abrupt("return",{undoHistory:r,redoHistory:a,isFinished:!0});case 15:return e.abrupt("return",{undoHistory:r,redoHistory:a,monitor:l.Running,isFinished:!1});case 16:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}(),e.next=3,n();case 3:if((r=t=e.sent).undoHistory instanceof Array&&r.redoHistory instanceof Array?!0===r.isFinished||!1===r.isFinished&&r.monitor&&r.monitor.goals instanceof Array&&r.monitor.hyps instanceof Array:(console.log("state does not have history\nState: "+JSON.stringify(r)),0)){e.next=11;break}if(null!==localStorage.getItem("wasmState")){e.next=7;break}throw new Error("invalid state");case 7:window.onbeforeunload=null,localStorage.removeItem("wasmState"),localStorage.removeItem("reactState"),window.location.reload();case 11:return e.abrupt("return",t);case 12:case"end":return e.stop()}var r}),e)})));return function(){return e.apply(this,arguments)}}(),k=function(){var e=(0,s.Z)(o().mark((function e(){var n;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,H();case 2:n=e.sent,console.log("Emitted ",n," to ",w.length," people"),w.forEach((function(e){return e(n)}));case 5:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}(),A=function(e){return w.push(e),k(),function(){w=w.filter((function(n){return n!==e}))}},S=function(){var e=(0,s.Z)(o().mark((function e(n){return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.t0=h,e.next=3,n();case 3:if(e.t1=e.sent,!(0,e.t0)(e.t1)){e.next=7;break}return k(),e.abrupt("return",!0);case 7:return e.abrupt("return",!1);case 8:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}(),E=function(){var e=(0,s.Z)(o().mark((function e(n){var t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,n();case 2:if("z3_solved"!==(t=e.sent)){e.next=5;break}return e.abrupt("return",S((function(){return D()})));case 5:if(!h(t)){e.next=10;break}return k(),e.abrupt("return",!0);case 10:return e.abrupt("return",!1);case 11:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}(),T=function(e){return v.action_of_tactic(e)},C=function(e){return console.log("tactic: ",e),E((function(){return v.run_tactic(e)}))},j=function(){return v.notation_list()},P=function(){var e=(0,s.Z)(o().mark((function e(){return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.t0=u.$H,e.next=3,v.natural();case 3:if(e.t1=e.sent,e.t1){e.next=6;break}e.t1="$invalid_state";case 6:return e.t2=e.t1,e.abrupt("return",(0,e.t0)(e.t2));case 8:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}(),D=function(){return v.z3_solved()},q=function(e){return!0},O=function(e){return v.check(e)},I=function(){var e=(0,s.Z)(o().mark((function e(n){var t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.search(n);case 2:if("string"!=typeof(t=e.sent)){e.next=5;break}return e.abrupt("return",t);case 5:return e.abrupt("return",t.map((function(e){var n=(0,i.Z)(e,2);return{name:n[0],ty:n[1]}})));case 6:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}(),U=function(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:"/",t=arguments.length>2&&void 0!==arguments[2]?arguments[2]:"";return localStorage.setItem("last_goal","Goal (".concat(e,")")),S((function(){return Promise.resolve(v.start_session({goal:e,libs:n,params:t}))}))},L=function(e){return S((function(){return v.run_suggest_menu_goal(e)}))},z=function(){return S((function(){return v.suggest_dblclk_goal()}))},N=function(e){return S((function(){return v.suggest_dblclk_hyp(e)}))},F=function(){var e=(0,s.Z)(o().mark((function e(n,t,r){var i;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:if(!(null==t||null==r||t<=-1||r<=-1)){e.next=3;break}return alert("l or r is null or negative. l = ".concat(t,", r = ").concat(r)),e.abrupt("return");case 3:return e.next=5,v.pos_of_span_hyp({hyp:n,l:t,r});case 5:if("string"!=typeof(i=e.sent)){e.next=9;break}return alert(i),e.abrupt("return");case 9:return e.abrupt("return",i);case 10:case"end":return e.stop()}}),e)})));return function(n,t,r){return e.apply(this,arguments)}}(),B=function(){var e=(0,s.Z)(o().mark((function e(n,t){var r;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:if(!(null==n||null==t||n<=-1||t<=-1)){e.next=3;break}return alert("l or r is null or negative. l = ".concat(n,", r = ").concat(t)),e.abrupt("return");case 3:return e.next=5,v.pos_of_span_goal({l:n,r:t});case 5:if("string"!=typeof(r=e.sent)){e.next=9;break}return alert(r),e.abrupt("return");case 9:return e.abrupt("return",r);case 10:case"end":return e.stop()}}),e)})));return function(n,t){return e.apply(this,arguments)}}(),R=function(e){var n,t=[],r="",i=0,a=function(e,n){var t;if("undefined"==typeof Symbol||null==e[Symbol.iterator]){if(Array.isArray(e)||(t=function(e,n){if(e){if("string"==typeof e)return y(e,n);var t=Object.prototype.toString.call(e).slice(8,-1);return"Object"===t&&e.constructor&&(t=e.constructor.name),"Map"===t||"Set"===t?Array.from(e):"Arguments"===t||/^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t)?y(e,n):void 0}}(e))||n&&e&&"number"==typeof e.length){t&&(e=t);var r=0,i=function(){};return{s:i,n:function(){return r>=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,l=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){l=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(l)throw a}}}}(e);try{for(a.s();!(n=a.n()).done;){var o=n.value;"("===o&&1===(i+=1)||(")"===o&&0==(i-=1)&&(t.push(r),r=""),i>0&&(r+=o))}}catch(e){a.e(e)}finally{a.f()}return t.map((function(e){return(0,u.$H)(e)}))},M=function(){var e=(0,s.Z)(o().mark((function e(n){var t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.suggest_menu_hyp(n);case 2:if(t=e.sent){e.next=5;break}return e.abrupt("return",[]);case 5:return e.abrupt("return",R(t).map((function(e,t){return{label:e,action:function(){return e=n,r=t,S((function(){return v.run_suggest_menu_hyp({hyp_name:e,index:r})}));var e,r}}})));case 6:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}(),X=function(){var e=(0,s.Z)(o().mark((function e(){var n;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.suggest_menu_goal();case 2:if(n=e.sent){e.next=5;break}return e.abrupt("return",[]);case 5:return e.abrupt("return",R(n).map((function(e,n){return{label:e,action:function(){return L(n)}}})));case 6:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}(),Z=function(){var e=(0,s.Z)(o().mark((function e(){var n,t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.try_auto();case 2:if(!(n=e.sent)){e.next=8;break}if("z3_solved"!==n){e.next=6;break}return e.abrupt("return",{available:!0,type:"normal",tactic:["z3_solved"]});case 6:if("z3_cant_solve"===n){e.next=8;break}return e.abrupt("return",{available:!0,type:"normal",tactic:[n]});case 8:return e.next=10,v.try_auto_history();case 10:if(!(t=e.sent)){e.next=13;break}return e.abrupt("return",{available:!0,type:"history",tactic:t});case 13:return e.abrupt("return",{available:!1});case 14:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}(),Q=function(){var e=(0,s.Z)(o().mark((function e(){var n,t;return o().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.next=2,v.all_library_data();case 2:return n=e.sent,t=function(e){var n=Object.keys(e)[0];return f({kind:n},e[n])},e.abrupt("return",Object.keys(n).map((function(e){return{name:e,rules:n[e].map(t)}})));case 5:case"end":return e.stop()}}),e)})));return function(){return e.apply(this,arguments)}}();e()}),1)},6151:(e,n,t)=>{"use strict";t.d(n,{N:()=>H});var r=t(6014),i=t(8648),a=t(8779),o=t(1043),l=t(4727),s=t(2625),p=t(7890),u=t(2562),c=t(6376),_=t(8370),d=t(8389),f=t(6294),y=t(672),h=t(3204),m=t(5036),x=t(1363),g=t(2610),v=t(6134),b=t(9205),w=t(7908),H=function(){return{"/Arith":r,"/RArith":i,"/Combinatorics":a,"/Eq":o,"/Function":l,"/Induction":s,"/Logic":p,"/NumberTheory":u,"/ProductOperator":c,"/Set":_,"/Sigma":d,"/List":f,"/Graph":y,"/Game":h,"/Tuples":m,"/EnumerativeCombinatorics":x,"/Field":g,"/MetricSpace":v,"/Species":b,"/Automata":w}}},1389:(e,n,t)=>{"use strict";t.d(n,{O:()=>o});var r=t(7757),i=t.n(r),a=t(5861),o=function(){var e=(0,a.Z)(i().mark((function e(n){return i().wrap((function(e){for(;;)switch(e.prev=e.next){case 0:return e.abrupt("return",window.hakimQuery(n));case 2:case"end":return e.stop()}}),e)})));return function(n){return e.apply(this,arguments)}}()},6:(e,n,t)=>{"use strict";t.d(n,{VQ:()=>c,t4:()=>_,dZ:()=>d,Q:()=>f,g:()=>y,$H:()=>h});var r=t(9439),i=t(9409),a=t.n(i),o=t(9131),l=t.n(o);function s(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t=e.length?{done:!0}:{done:!1,value:e[r++]}},e:function(e){throw e},f:i}}throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}var a,o=!0,l=!1;return{s:function(){t=e[Symbol.iterator]()},n:function(){var e=t.next();return o=e.done,e},e:function(e){l=!0,a=e},f:function(){try{o||null==t.return||t.return()}finally{if(l)throw a}}}}(a.slice(0,-2).split("$,"));try{for(c.s();!(l=c.n()).done;){var _=l.value;o=o.replaceAll("$".concat(p),_),p+=1}}catch(e){c.e(e)}finally{c.f()}return o},y=function(e){for(var n=arguments.length,t=new Array(n>1?n-1:0),r=1;r)?/g,(function(e){return f(e.slice(1))}))};"fa"===(p=c())&&(u=l()),"en"===p&&(u=a())},1647:(e,n,t)=>{"use strict";t.a(e,(async e=>{var n=t(7294),r=t(3935),i=(t(8761),t(2270)),a=e([i]);i=(a.then?await a:a)[0],r.render(n.createElement(n.StrictMode,null,n.createElement(i.fC,null)),document.getElementById("root"))}))},6547:(e,n,t)=>{"use strict";t.d(n,{l:()=>i});var r=[];window.addEventListener("keydown",(function(e){0!==r.length&&r.reduce((function(e,n){return e.priority>n.priority?e:n})).f(e)}));var i=function(e,n){return r.push({priority:e,f:n}),function(){r=r.filter((function(e){return e.f!==n}))}}},4184:(e,n)=>{var t;!function(){"use strict";var r={}.hasOwnProperty;function i(){for(var e=[],n=0;n{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,'@charset "UTF-8";\n.szh-menu-container {\n position: relative;\n width: 0px;\n height: 0px;\n}\n\n.szh-menu {\n margin: 0;\n padding: 0;\n list-style: none;\n box-sizing: border-box;\n width: max-content;\n position: absolute;\n z-index: 100;\n border: 1px solid rgba(0, 0, 0, 0.1);\n background-color: #fff;\n}\n.szh-menu:focus {\n outline: none;\n}\n.szh-menu--state-closed {\n display: none;\n}\n.szh-menu__arrow {\n box-sizing: border-box;\n width: 0.75rem;\n height: 0.75rem;\n background-color: #fff;\n border: 1px solid transparent;\n border-left-color: rgba(0, 0, 0, 0.1);\n border-top-color: rgba(0, 0, 0, 0.1);\n position: absolute;\n z-index: -1;\n}\n.szh-menu__arrow--dir-left {\n right: -0.375rem;\n transform: translateY(-50%) rotate(135deg);\n}\n.szh-menu__arrow--dir-right {\n left: -0.375rem;\n transform: translateY(-50%) rotate(-45deg);\n}\n.szh-menu__arrow--dir-top {\n bottom: -0.375rem;\n transform: translateX(-50%) rotate(-135deg);\n}\n.szh-menu__arrow--dir-bottom {\n top: -0.375rem;\n transform: translateX(-50%) rotate(45deg);\n}\n.szh-menu__item {\n cursor: pointer;\n}\n.szh-menu__item:focus {\n outline: none;\n}\n.szh-menu__item--hover {\n background-color: #ebebeb;\n}\n.szh-menu__item--focusable {\n cursor: default;\n background-color: inherit;\n}\n.szh-menu__item--disabled {\n cursor: default;\n color: #aaa;\n}\n.szh-menu__submenu {\n position: relative;\n}\n.szh-menu__group {\n box-sizing: border-box;\n}\n.szh-menu__radio-group {\n margin: 0;\n padding: 0;\n list-style: none;\n}\n.szh-menu__divider {\n height: 1px;\n margin: 0.5rem 0;\n background-color: rgba(0, 0, 0, 0.12);\n}\n\n.szh-menu-button {\n box-sizing: border-box;\n}\n\n.szh-menu {\n user-select: none;\n color: #212529;\n border: none;\n border-radius: 0.25rem;\n box-shadow: 0 3px 7px rgba(0, 0, 0, 0.133), 0 0.6px 2px rgba(0, 0, 0, 0.1);\n min-width: 10rem;\n padding: 0.5rem 0;\n}\n.szh-menu__item {\n display: flex;\n align-items: center;\n position: relative;\n padding: 0.375rem 1.5rem;\n}\n.szh-menu-container--itemTransition .szh-menu__item {\n transition-property: background-color, color;\n transition-duration: 0.15s;\n transition-timing-function: ease-in-out;\n}\n.szh-menu__item--active {\n color: #fff;\n background-color: #007bff;\n}\n.szh-menu__item--type-radio {\n padding-left: 2.2rem;\n}\n.szh-menu__item--type-radio::before {\n content: "○";\n position: absolute;\n left: 0.8rem;\n top: 0.55rem;\n font-size: 0.8rem;\n}\n.szh-menu__item--type-radio.szh-menu__item--checked::before {\n content: "●";\n}\n.szh-menu__item--type-checkbox {\n padding-left: 2.2rem;\n}\n.szh-menu__item--type-checkbox::before {\n position: absolute;\n left: 0.8rem;\n}\n.szh-menu__item--type-checkbox.szh-menu__item--checked::before {\n content: "✔";\n}\n.szh-menu__submenu > .szh-menu__item {\n padding-right: 2.5rem;\n}\n.szh-menu__submenu > .szh-menu__item::after {\n content: "❯";\n position: absolute;\n right: 1rem;\n}\n.szh-menu__header {\n color: #888;\n font-size: 0.8rem;\n padding: 0.2rem 1.5rem;\n text-transform: uppercase;\n}\n',""]);const a=i},56:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._293KhfdMPEpoKRJmz4StC {\n width: 100%;\n margin: 10px 100px;\n}\n\n.pGqEb38Cy5tMVzQEeYjG3 {\n height: 2rem;\n width: 100%;\n padding-top: 8px;\n}\n\n._3UtqtlcueoQim9cATbLSQm {\n width: 100%;\n padding-top: 10px;\n text-align: center;\n color: white;\n}\n\n.aQxXSNu-wZ1j47KOvhVXG {\n position: absolute;\n overflow: visible;\n top: 0;\n left: 0;\n height: 100vh;\n width: 100vw;\n z-index: 1;\n stroke: white;\n}\n\n._1egD1radWp3ZqjotSLj5is {\n height: 6rem;\n width: 6rem;\n position: absolute;\n color: white;\n text-align: center;\n vertical-align: middle;\n background-color: black;\n border: 1px white solid;\n border-radius: var(--rounded-2);\n outline: none;\n z-index: 2;\n box-shadow: black 0 0 10px 10px;\n cursor: pointer;\n transform: translateX(calc(3vw - 3rem));\n}\n\n._1egD1radWp3ZqjotSLj5is:hover {\n transform: translateX(calc(3vw - 3rem)) scale(0.9);\n box-shadow: black 0 0 27px 32px;\n}\n\n.GO-_tcq6RCOhGg-h74Evk,\n.GO-_tcq6RCOhGg-h74Evk * {\n color: white;\n padding: 0.3rem;\n}\n",""]),i.locals={main:"_293KhfdMPEpoKRJmz4StC",lock:"pGqEb38Cy5tMVzQEeYjG3",title:"_3UtqtlcueoQim9cATbLSQm",lines:"aQxXSNu-wZ1j47KOvhVXG",item:"_1egD1radWp3ZqjotSLj5is",text:"GO-_tcq6RCOhGg-h74Evk"};const a=i},7900:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._38kV0QKTIR6nsYVZdLK2-_ {\n width: 100%;\n margin: 10px 100px;\n}\n\n._9elgfPbjRPUKXzJzLl_8r {\n width: 100%;\n padding-top: 10px;\n text-align: center;\n color: white;\n}\n\n._1xXur3K7kI7AIo8hKTtNYO,\n._1xXur3K7kI7AIo8hKTtNYO * {\n color: white;\n padding: 0.3rem;\n}\n\n._2m73kZSEBek_ii0a9kjhqx,\n.jCEQK_TmXjT5zZNoTpEKT,\n._1YujU_avcB-0yqbtvx6qh8,\n._2i1Cmp-_OKCYEpv1sAGhkl,\n._2K_4Ca4-834lDhl69Vglke {\n display: inline;\n border-radius: .4rem;\n margin: 0 .3rem;\n padding: .2rem;\n}\n\n.jCEQK_TmXjT5zZNoTpEKT {\n background-color: #ffff00;\n color: black;\n}\n\n._2K_4Ca4-834lDhl69Vglke {\n background-color: #ff0000;\n color: white;\n}\n\n._2m73kZSEBek_ii0a9kjhqx {\n background-color: #0000ff;\n color: white;\n}\n\n._1YujU_avcB-0yqbtvx6qh8 {\n background-color: #9acd32;\n color: black;\n}\n\n._2i1Cmp-_OKCYEpv1sAGhkl {\n background-color: #a103b5;\n color: white;\n}",""]),i.locals={main:"_38kV0QKTIR6nsYVZdLK2-_",title:"_9elgfPbjRPUKXzJzLl_8r",text:"_1xXur3K7kI7AIo8hKTtNYO",Import:"_2m73kZSEBek_ii0a9kjhqx",Axiom:"jCEQK_TmXjT5zZNoTpEKT",Theorem:"_1YujU_avcB-0yqbtvx6qh8",Definition:"_2i1Cmp-_OKCYEpv1sAGhkl",Todo:"_2K_4Ca4-834lDhl69Vglke"};const a=i},7849:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._3Y8Hqbog0Y8E1uhGCNpAqL {\n display: flex;\n flex-direction: column;\n flex-grow: 1;\n position: fixed;\n top: 50%;\n left: 50%;\n transform: translate(-50%, -50%);\n align-items: center;\n justify-content: center;\n}\n\n._323PCuiC0THsJ7Vovv5HUI {\n margin: 1rem;\n}\n\n._29-ulh4jg_JaDZxfCiwRUa {\n display: flex;\n justify-content: center;\n align-items: center;\n padding-top: 10px;\n text-align: center;\n color: white;\n}\n\n._2J4iAn0v_57qBrjwixZK9v {\n color: white;\n}\n\n._1M1afD4uNLV8D8JvR4JmIU {\n background-color: var(--gray-1);\n display: block;\n margin: 2rem;\n padding: 1rem 2rem;\n border-radius: var(--rounded-2);\n text-decoration: none;\n color: white;\n white-space: nowrap;\n text-align: center;\n position: relative;\n}\n\n._1M1afD4uNLV8D8JvR4JmIU::before {\n content: '';\n display: block;\n position: absolute;\n left: 50%;\n top: -2px;\n transform: translateX(-50%);\n width: 3rem;\n height: 4px;\n background-color: var(--primary);\n border-radius: 100px;\n}\n\n._1M1afD4uNLV8D8JvR4JmIU:hover {\n background-color: var(--gray-2);\n}\n\n._1M1afD4uNLV8D8JvR4JmIU:hover::before {\n width: 5rem;\n}\n",""]),i.locals={main:"_3Y8Hqbog0Y8E1uhGCNpAqL",unicodeHelp:"_323PCuiC0THsJ7Vovv5HUI",title:"_29-ulh4jg_JaDZxfCiwRUa",text:"_2J4iAn0v_57qBrjwixZK9v",exampleItem:"_1M1afD4uNLV8D8JvR4JmIU"};const a=i},6069:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._2Mnt27dK539k0hxOKw4RG3 {\n display: flex;\n flex-direction: column;\n margin: 0;\n width: 100vw;\n height: 100vh;\n background-color: var(--gray-0);\n}\n\n._1t1je6QquoxEZLAEDTNxbv {\n display: flex;\n flex-grow: 1;\n border-top: var(--border);\n}\n\n._2nvsAkEqpna5oAHLcUA3Z9 {\n display: flex;\n flex-direction: column;\n flex: 1;\n}\n\n._1pzg1W5t5mpx-F8dGn0hTP {\n color: white;\n padding: 1rem 2rem 1.5rem 2rem;\n}\n\n._1pzg1W5t5mpx-F8dGn0hTP code {\n direction: ltr;\n unicode-bidi: isolate;\n white-space: nowrap;\n}\n\n._1fHk5X6cUrdiY0Jxu-HyDv {\n display: flex;\n justify-content: center;\n align-items: center;\n padding-top: 10px;\n text-align: center;\n color: white;\n}\n\n._2r-ns8VhpX8AOzT0qJtaWB {\n display: flex;\n justify-content: center;\n align-items: center;\n border-color: black;\n font-size: medium;\n height: 30px;\n border-radius: 0.5rem;\n color: black;\n background-color: white;\n}\n\n._2NxAN1iYR3SlQi-0oj01RG {\n flex: 1;\n border-radius: 2rem;\n background-color: black;\n color: white;\n padding: 1rem;\n margin: 1rem;\n}\n",""]),i.locals={main:"_2Mnt27dK539k0hxOKw4RG3",bottomContainer:"_1t1je6QquoxEZLAEDTNxbv",sidebarContainer:"_2nvsAkEqpna5oAHLcUA3Z9",text:"_1pzg1W5t5mpx-F8dGn0hTP",title:"_1fHk5X6cUrdiY0Jxu-HyDv",changeLangButton:"_2r-ns8VhpX8AOzT0qJtaWB",inlBody:"_2NxAN1iYR3SlQi-0oj01RG"};const a=i},494:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,".K0UbVSV12k2lv_xmDdPi_ {\n flex: 1;\n color: white;\n padding: 2rem;\n}\n\n.K0UbVSV12k2lv_xmDdPi_:first-child {\n border-bottom: var(--border);\n}\n\n._3V7fJOVNCFzM8ufLPxBcxS {\n max-height: 25vh;\n overflow: auto;\n}\n\n._191id9XEI-7-16o1gD-8in {\n display: inline;\n background-color: var(--gray-1);\n color: white;\n border-radius: .4rem;\n margin: .3rem;\n padding: .2rem .5rem;\n cursor: pointer;\n}\n\n._191id9XEI-7-16o1gD-8in:hover {\n background-color: var(--gray-2);\n}\n\n._3M59iU405LwLaabr5VJGJX {\n line-height: 2rem;\n display: grid;\n grid-template-columns: repeat(2, minmax(0, 1fr));\n max-width: 100%;\n}\n\n._3qY4oE64qWi65g2FzTmy9D {\n color: black;\n background-color: white;\n}",""]),i.locals={base:"K0UbVSV12k2lv_xmDdPi_",scroll:"_3V7fJOVNCFzM8ufLPxBcxS",lemma:"_191id9XEI-7-16o1gD-8in",lemmaBox:"_3M59iU405LwLaabr5VJGJX",current:"_3qY4oE64qWi65g2FzTmy9D"};const a=i},2702:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._1SuWCHlADbZ-P3LNBzbaP3 {\n color: #D4D4D4;\n touch-action: none;\n display: block !important;\n padding: .2rem;\n margin: .1rem;\n background-color: #1e1e1e;\n border-radius: 10px;\n border: 1.5px dashed #1e1e1e;\n transition: border-color .3s;\n}\n\n._1SuWCHlADbZ-P3LNBzbaP3 * {\n transition: initial;\n vertical-align: top;\n}\n\n._3f7WJlASZ4myHf_d_t_Ywl {\n color: #D4D4D4;\n touch-action: none;\n display: block !important;\n padding: .2rem;\n margin: .1rem;\n background-color: #1e1e1e;\n border-radius: 10px;\n border: 1.5px dashed #1e1e1e;\n transition: border-color .3s;\n filter: opacity(0.5);\n}\n\n._3-Y9Z1Sn46yK1N1hE6-n57 {\n cursor: move;\n}\n\n._1SuWCHlADbZ-P3LNBzbaP3._7VNvD92HD8ygsyIIRQI5l {\n border-color: white;\n}\n\n._1SuWCHlADbZ-P3LNBzbaP3._2pKE2n3lzn2EDmuGWo8ZGj {\n border-color: red;\n}\n\n._1SuWCHlADbZ-P3LNBzbaP3._7VNvD92HD8ygsyIIRQI5l._2pKE2n3lzn2EDmuGWo8ZGj {\n border-color: yellowgreen;\n}\n\n._1ChmmHK6azTeCD2rtBlLe2 {\n white-space: pre;\n display: inline-block;\n}\n\n._3IkmSZmY8zd9RdtaH0W3-Z {\n color: magenta;\n position: relative;\n top: -.8rem;\n left: 2.5rem;\n opacity: .8;\n}",""]),i.locals={hyp:"_1SuWCHlADbZ-P3LNBzbaP3",nextGoal:"_3f7WJlASZ4myHf_d_t_Ywl",dragHandler:"_3-Y9Z1Sn46yK1N1hE6-n57",drop:"_7VNvD92HD8ygsyIIRQI5l",over:"_2pKE2n3lzn2EDmuGWo8ZGj",ty:"_1ChmmHK6azTeCD2rtBlLe2",dblClickHere:"_3IkmSZmY8zd9RdtaH0W3-Z"};const a=i},1781:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._2hDCDwfcBkNu8FePUkgpcr {\n height: 50vh;\n overflow: auto;\n}\n\n._259ER6fIM2HdvfN8A4Jdtl {\n vertical-align: top;\n}\n\n._3aLgmjsqGb4ZVkiWlj5seS {\n display: inline-block;\n margin: 0;\n}",""]),i.locals={searchResult:"_2hDCDwfcBkNu8FePUkgpcr",itemName:"_259ER6fIM2HdvfN8A4Jdtl",itemTy:"_3aLgmjsqGb4ZVkiWlj5seS"};const a=i},3577:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._3LBJNCQzcQ3G23VWEy2ww9 {\n flex: 2;\n display: flex;\n flex-direction: column;\n border-right: var(--border);\n border-left: var(--border);\n}\n\n._3yRAtNtpNh7kG28TKyQ2ad {\n border-bottom: var(--border);\n}\n\n._3Egr8cFvyCCzySVp20mhaR {\n background-color: inherit;\n color: white;\n padding: 8px 16px;\n outline: none;\n border: none;\n border-bottom: 2px transparent solid;\n transform: translateY(1px);\n}\n\n._3Egr8cFvyCCzySVp20mhaR:not(._1OI-V98dkr7MAJpqqpOv9i) {\n cursor: pointer;\n}\n\n._3Egr8cFvyCCzySVp20mhaR:not(._1OI-V98dkr7MAJpqqpOv9i):hover {\n background-color: var(--gray-1);\n}\n\n._3Egr8cFvyCCzySVp20mhaR._1OI-V98dkr7MAJpqqpOv9i {\n border-color: var(--primary);\n color: var(--primary);\n font-weight: bold;\n}\n\n._1u7CtWoUVKd6zDgWwswY67 {\n flex: 1;\n background-color: black;\n color: white;\n padding: 2rem;\n}\n",""]),i.locals={root:"_3LBJNCQzcQ3G23VWEy2ww9",tabs:"_3yRAtNtpNh7kG28TKyQ2ad",tab:"_3Egr8cFvyCCzySVp20mhaR",selected:"_1OI-V98dkr7MAJpqqpOv9i",body:"_1u7CtWoUVKd6zDgWwswY67"};const a=i},2911:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"/* from: https://github.com/microsoft/vscode/blob/main/extensions/theme-defaults/themes/dark_plus.json */\n\n.highlightLiteral {\n color: #b5cea8;\n}\n\n.highlightFunction {\n color: #DCDCAA;\n}\n\n.highlightIdent {\n color: #9CDCFE;\n}\n\n.highlightType {\n color: #4EC9B0;\n}\n\n.highlightString {\n color: #ce9178;\n}",""]);const a=i},8237:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._2BoPTCKAtcAIknveGWR6bE {\n display: flex;\n flex-direction: column;\n flex-wrap: wrap;\n justify-content: space-around;\n padding-bottom: 50px;\n position: relative;\n}\n\n._1CbfKu7hX2M2jsGYXDcHoa {\n width: 5rem;\n height: 5rem;\n border: 0;\n border-radius: var(--rounded-2);\n border-color: black;\n background-color: var(--gray-1);\n color: white;\n cursor: pointer;\n padding: 10px;\n position: relative;\n margin: 2rem;\n}\n\n._1CbfKu7hX2M2jsGYXDcHoa:hover {\n background-color: var(--gray-2);\n}\n\n@keyframes _3tIys_qLlfbBmNh8aK-rWE {\n 0% {\n background-color: #0f0;\n border-color: #0f0;\n color: #f0f;\n }\n\n 100% {\n background-color: #f0f;\n border-color: #f0f;\n color: #0f0;\n }\n}\n\n._13XC8IsXbuYR7ZijR3Z818 {\n display: inline-block;\n position: absolute;\n left: 0;\n top: 0;\n transform: translate(-30%, -30%);\n width: 2rem;\n height: 2rem;\n font-size: 1.5rem;\n border-radius: 2rem;\n background-color: greenyellow;\n animation: _3tIys_qLlfbBmNh8aK-rWE 0.5s infinite alternate-reverse;\n color: #f0f;\n}\n\n.KpynKY2eFAikhMUvD50Vt {\n border-top: var(--border);\n height: 50px;\n width: 100%;\n display: flex;\n justify-content: center;\n align-items: center;\n color: white;\n direction: ltr;\n position: absolute;\n bottom: 0;\n left: 0;\n font-size: smaller;\n}\n\n.KpynKY2eFAikhMUvD50Vt>* {\n width: 20px;\n height: 20px;\n color: var(--primary);\n padding: 0 4px;\n}\n\n._1CLz1prgky8KWj5nCDx9KI {\n background: #eee;\n color: #222;\n font-weight: bold;\n padding: 5px;\n border-radius: 4px;\n font-size: 90%;\n pointer-events: none;\n transition: none;\n width: 50vw;\n}\n\n._1TtPjPA6nKxT63CYGoS4UL {\n position: absolute;\n background: #eee;\n width: 8px;\n height: 8px;\n transform: rotate(45deg);\n}",""]),i.locals={toolContain:"_2BoPTCKAtcAIknveGWR6bE",toolButton:"_1CbfKu7hX2M2jsGYXDcHoa",autoProof:"_13XC8IsXbuYR7ZijR3Z818",col:"_3tIys_qLlfbBmNh8aK-rWE",footer:"KpynKY2eFAikhMUvD50Vt",tooltip:"_1CLz1prgky8KWj5nCDx9KI",arrow:"_1TtPjPA6nKxT63CYGoS4UL"};const a=i},4714:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,".SHgBdmSAYuFLz7TSNuNYy {\n display: flex;\n margin: 0;\n width: 100vw;\n height: 100vh;\n}\n\n._2ULb8Hsa7WXwQx7YanA8YH {\n color: white;\n padding: 20px;\n}\n",""]),i.locals={main:"SHgBdmSAYuFLz7TSNuNYy",mobile:"_2ULb8Hsa7WXwQx7YanA8YH"};const a=i},9253:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._beBUmafFdRiDaCdVycZt {\n display: flex;\n flex-direction: column;\n flex-grow: 1;\n margin: 0 4rem;\n}\n\n.VpkNScJs3Chd_Fg7WxFpS {\n margin: 1rem;\n}\n\n._1IKjYOU_XeXH5X31iZ9aQE {\n display: flex;\n justify-content: center;\n align-items: center;\n padding-top: 10px;\n text-align: center;\n color: white;\n}\n\n._3nXSRoySpaHh8elOmDXQFx {\n color: white;\n}\n\n._2NFnoe9BX5cWX4DrA_xdTc {\n line-break: loose;\n line-height: 3rem;\n}\n\n.HzDvZCFfypXq8MhXn0Xay {\n background-color: var(--gray-1);\n display: inline;\n margin: 1rem;\n padding: .5rem;\n border-radius: .5rem;\n white-space: nowrap;\n}\n",""]),i.locals={main:"_beBUmafFdRiDaCdVycZt",unicodeHelp:"VpkNScJs3Chd_Fg7WxFpS",title:"_1IKjYOU_XeXH5X31iZ9aQE",text:"_3nXSRoySpaHh8elOmDXQFx",exampleSection:"_2NFnoe9BX5cWX4DrA_xdTc",exampleItem:"HzDvZCFfypXq8MhXn0Xay"};const a=i},9583:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._35Ty-714JjHdqgsflqQIfz {\n display: grid;\n grid-template-columns: repeat(5, minmax(0, 1fr));\n background-color: var(--gray-0);\n margin-top: 1rem;\n border-radius: var(--rounded-2);\n padding: 5px;\n}\n\n._2BoFod62xe333s5pBh2kpT {\n display: block;\n background-color: var(--gray-1);\n color: white;\n border-radius: .4rem;\n margin: .5rem .3rem;\n padding: .2rem .5rem;\n white-space: nowrap;\n}\n",""]),i.locals={helpContainer:"_35Ty-714JjHdqgsflqQIfz",helpItem:"_2BoFod62xe333s5pBh2kpT"};const a=i},1889:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._3LN6YbhKEpvQTZ7Lwwpfpn {\n width: 40px;\n height: 40px;\n padding: 3px 5px;\n background:\n linear-gradient(to top right, #0000 50%, yellow 50.1%) top right/40px 40px no-repeat,\n transparent;\n color: red;\n right: 0;\n top: 0;\n position: fixed;\n}",""]),i.locals={main:"_3LN6YbhKEpvQTZ7Lwwpfpn"};const a=i},9622:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"._1YQTaesTHoDLYRzHhBzHYw {\n position: fixed;\n top: 0;\n left: 0;\n height: 100vh;\n width: 100vw;\n background-color: gray;\n opacity: .7;\n z-index: 5000;\n}\n\n._2FE4kcds-xx06cq14EtGNd {\n position: fixed;\n top: 20vh;\n left: 20vw;\n height: 60vh;\n width: 60vw;\n background-color: black;\n color: white;\n border-radius: 2rem;\n padding: 2rem;\n z-index: 5001;\n}\n\n.EoXWROqD3xRzS3EydLPUK {\n width: 80%;\n margin: 1rem;\n}\n\n.G0a7LHCAhVEsXeLAH2bRL {\n white-space: pre-line;\n}\n",""]),i.locals={background:"_1YQTaesTHoDLYRzHhBzHYw",foreground:"_2FE4kcds-xx06cq14EtGNd",input:"EoXWROqD3xRzS3EydLPUK",myP:"G0a7LHCAhVEsXeLAH2bRL"};const a=i},969:(e,n,t)=>{"use strict";t.r(n),t.d(n,{default:()=>a});var r=t(3645),i=t.n(r)()(!1);i.push([e.id,"/* @import url(\"./font/iransans/css/fontiran.css\"); */\n\n:root {\n --gray-0: #ffffff15;\n --gray-1: #ffffff20;\n --gray-2: #ffffff40;\n --gray-3: #ffffff70;\n --primary: #ff5e5e;\n\n --rounded-2: 0.9rem;\n\n --border: 1px var(--gray-3) solid;\n}\n\n*,\n*::before {\n transition: all .3s;\n}\n\n*,\nbody {\n font-family: IRANSans, -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Oxygen',\n 'Ubuntu', 'Cantarell', 'Fira Sans', 'Droid Sans', 'Helvetica Neue',\n sans-serif;\n font-weight: 300;\n}\n\nbody {\n -webkit-font-smoothing: antialiased;\n -moz-osx-font-smoothing: grayscale;\n background-color: black;\n color: white;\n display: flex;\n margin: 0;\n}\n\ncode {\n font-family: source-code-pro, Menlo, Monaco, Consolas, 'Courier New',\n monospace;\n}\n",""]);const a=i},3645:e=>{"use strict";e.exports=function(e){var n=[];return n.toString=function(){return this.map((function(n){var t=function(e,n){var t,r,i,a=e[1]||"",o=e[3];if(!o)return a;if(n&&"function"==typeof btoa){var l=(t=o,r=btoa(unescape(encodeURIComponent(JSON.stringify(t)))),i="sourceMappingURL=data:application/json;charset=utf-8;base64,".concat(r),"/*# ".concat(i," */")),s=o.sources.map((function(e){return"/*# sourceURL=".concat(o.sourceRoot||"").concat(e," */")}));return[a].concat(s).concat([l]).join("\n")}return[a].join("\n")}(n,e);return n[2]?"@media ".concat(n[2]," {").concat(t,"}"):t})).join("")},n.i=function(e,t,r){"string"==typeof e&&(e=[[null,e,""]]);var i={};if(r)for(var a=0;a{"use strict";e.exports=function e(n,t){if(n===t)return!0;if(n&&t&&"object"==typeof n&&"object"==typeof t){if(n.constructor!==t.constructor)return!1;var r,i,a;if(Array.isArray(n)){if((r=n.length)!=t.length)return!1;for(i=r;0!=i--;)if(!e(n[i],t[i]))return!1;return!0}if(n.constructor===RegExp)return n.source===t.source&&n.flags===t.flags;if(n.valueOf!==Object.prototype.valueOf)return n.valueOf()===t.valueOf();if(n.toString!==Object.prototype.toString)return n.toString()===t.toString();if((r=(a=Object.keys(n)).length)!==Object.keys(t).length)return!1;for(i=r;0!=i--;)if(!Object.prototype.hasOwnProperty.call(t,a[i]))return!1;for(i=r;0!=i--;){var o=a[i];if(!e(n[o],t[o]))return!1}return!0}return n!=n&&t!=t}},394:(e,n,t)=>{"use strict";t.d(n,{Z:()=>r});const r=t.p+"765fa23b995de21b6fd6147ece567ffe.png"},7323:(e,n,t)=>{"use strict";function r(){return r=Object.assign||function(e){for(var n=1;ni,lX:()=>o,Ep:()=>p,cP:()=>u}),function(e){e.Pop="POP",e.Push="PUSH",e.Replace="REPLACE"}(i||(i={}));var a="beforeunload";function o(e){void 0===e&&(e={});var n=e.window,t=void 0===n?document.defaultView:n,o=t.history;function c(){var e=t.location,n=e.pathname,r=e.search,i=e.hash,a=o.state||{};return[a.idx,{pathname:n,search:r,hash:i,state:a.usr||null,key:a.key||"default"}]}var _=null;t.addEventListener("popstate",(function(){if(_)x.call(_),_=null;else{var e=i.Pop,n=c(),t=n[0],r=n[1];if(x.length){if(null!=t){var a=y-t;a&&(_={action:e,location:r,retry:function(){k(-1*a)}},k(a))}}else H(e)}}));var d=i.Pop,f=c(),y=f[0],h=f[1],m=s(),x=s();function g(e){return"string"==typeof e?e:p(e)}function v(e,n){return void 0===n&&(n=null),r({pathname:h.pathname,hash:"",search:""},"string"==typeof e?u(e):e,{state:n,key:Math.random().toString(36).substr(2,8)})}function b(e,n){return[{usr:e.state,key:e.key,idx:n},g(e)]}function w(e,n,t){return!x.length||(x.call({action:e,location:n,retry:t}),!1)}function H(e){d=e;var n=c();y=n[0],h=n[1],m.call({action:d,location:h})}function k(e){o.go(e)}return null==y&&(y=0,o.replaceState(r({},o.state,{idx:y}),"")),{get action(){return d},get location(){return h},createHref:g,push:function e(n,r){var a=i.Push,l=v(n,r);if(w(a,l,(function(){e(n,r)}))){var s=b(l,y+1),p=s[0],u=s[1];try{o.pushState(p,"",u)}catch(e){t.location.assign(u)}H(a)}},replace:function e(n,t){var r=i.Replace,a=v(n,t);if(w(r,a,(function(){e(n,t)}))){var l=b(a,y),s=l[0],p=l[1];o.replaceState(s,"",p),H(r)}},go:k,back:function(){k(-1)},forward:function(){k(1)},listen:function(e){return m.push(e)},block:function(e){var n=x.push(e);return 1===x.length&&t.addEventListener(a,l),function(){n(),x.length||t.removeEventListener(a,l)}}}}function l(e){e.preventDefault(),e.returnValue=""}function s(){var e=[];return{get length(){return e.length},push:function(n){return e.push(n),function(){e=e.filter((function(e){return e!==n}))}},call:function(n){e.forEach((function(e){return e&&e(n)}))}}}function p(e){var n=e.pathname,t=void 0===n?"/":n,r=e.search,i=void 0===r?"":r,a=e.hash,o=void 0===a?"":a;return i&&"?"!==i&&(t+="?"===i.charAt(0)?i:"?"+i),o&&"#"!==o&&(t+="#"===o.charAt(0)?o:"#"+o),t}function u(e){var n={};if(e){var t=e.indexOf("#");t>=0&&(n.hash=e.substr(t),e=e.substr(0,t));var r=e.indexOf("?");r>=0&&(n.search=e.substr(r),e=e.substr(0,r)),e&&(n.pathname=e)}return n}},8337:(e,n,t)=>{"use strict";function r(e){var n=Array.prototype.slice.call(arguments,1);return n.forEach((function(n){n&&Object.keys(n).forEach((function(t){e[t]=n[t]}))})),e}function i(e){return Object.prototype.toString.call(e)}function a(e){return"[object Function]"===i(e)}function o(e){return e.replace(/[.?*+^$[\]\\(){}|-]/g,"\\$&")}var l={fuzzyLink:!0,fuzzyEmail:!0,fuzzyIP:!1},s={"http:":{validate:function(e,n,t){var r=e.slice(n);return t.re.http||(t.re.http=new RegExp("^\\/\\/"+t.re.src_auth+t.re.src_host_port_strict+t.re.src_path,"i")),t.re.http.test(r)?r.match(t.re.http)[0].length:0}},"https:":"http:","ftp:":"http:","//":{validate:function(e,n,t){var r=e.slice(n);return t.re.no_http||(t.re.no_http=new RegExp("^"+t.re.src_auth+"(?:localhost|(?:(?:"+t.re.src_domain+")\\.)+"+t.re.src_domain_root+")"+t.re.src_port+t.re.src_host_terminator+t.re.src_path,"i")),t.re.no_http.test(r)?n>=3&&":"===e[n-3]||n>=3&&"/"===e[n-3]?0:r.match(t.re.no_http)[0].length:0}},"mailto:":{validate:function(e,n,t){var r=e.slice(n);return t.re.mailto||(t.re.mailto=new RegExp("^"+t.re.src_email_name+"@"+t.re.src_host_strict,"i")),t.re.mailto.test(r)?r.match(t.re.mailto)[0].length:0}}},p="biz|com|edu|gov|net|org|pro|web|xxx|aero|asia|coop|info|museum|name|shop|рф".split("|");function u(e){var n=e.re=t(6066)(e.__opts__),r=e.__tlds__.slice();function l(e){return e.replace("%TLDS%",n.src_tlds)}e.onCompile(),e.__tlds_replaced__||r.push("a[cdefgilmnoqrstuwxz]|b[abdefghijmnorstvwyz]|c[acdfghiklmnoruvwxyz]|d[ejkmoz]|e[cegrstu]|f[ijkmor]|g[abdefghilmnpqrstuwy]|h[kmnrtu]|i[delmnoqrst]|j[emop]|k[eghimnprwyz]|l[abcikrstuvy]|m[acdeghklmnopqrstuvwxyz]|n[acefgilopruz]|om|p[aefghklmnrstwy]|qa|r[eosuw]|s[abcdeghijklmnortuvxyz]|t[cdfghjklmnortvwz]|u[agksyz]|v[aceginu]|w[fs]|y[et]|z[amw]"),r.push(n.src_xn),n.src_tlds=r.join("|"),n.email_fuzzy=RegExp(l(n.tpl_email_fuzzy),"i"),n.link_fuzzy=RegExp(l(n.tpl_link_fuzzy),"i"),n.link_no_ip_fuzzy=RegExp(l(n.tpl_link_no_ip_fuzzy),"i"),n.host_fuzzy_test=RegExp(l(n.tpl_host_fuzzy_test),"i");var s=[];function p(e,n){throw new Error('(LinkifyIt) Invalid schema "'+e+'": '+n)}e.__compiled__={},Object.keys(e.__schemas__).forEach((function(n){var t=e.__schemas__[n];if(null!==t){var r={validate:null,link:null};if(e.__compiled__[n]=r,"[object Object]"===i(t))return"[object RegExp]"!==i(t.validate)?a(t.validate)?r.validate=t.validate:p(n,t):r.validate=function(e){return function(n,t){var r=n.slice(t);return e.test(r)?r.match(e)[0].length:0}}(t.validate),void(a(t.normalize)?r.normalize=t.normalize:t.normalize?p(n,t):r.normalize=function(e,n){n.normalize(e)});!function(e){return"[object String]"===i(e)}(t)?p(n,t):s.push(n)}})),s.forEach((function(n){e.__compiled__[e.__schemas__[n]]&&(e.__compiled__[n].validate=e.__compiled__[e.__schemas__[n]].validate,e.__compiled__[n].normalize=e.__compiled__[e.__schemas__[n]].normalize)})),e.__compiled__[""]={validate:null,normalize:function(e,n){n.normalize(e)}};var u=Object.keys(e.__compiled__).filter((function(n){return n.length>0&&e.__compiled__[n]})).map(o).join("|");e.re.schema_test=RegExp("(^|(?!_)(?:[><｜]|"+n.src_ZPCc+"))("+u+")","i"),e.re.schema_search=RegExp("(^|(?!_)(?:[><｜]|"+n.src_ZPCc+"))("+u+")","ig"),e.re.schema_at_start=RegExp("^"+e.re.schema_search.source,"i"),e.re.pretest=RegExp("("+e.re.schema_test.source+")|("+e.re.host_fuzzy_test.source+")|@","i"),function(e){e.__index__=-1,e.__text_cache__=""}(e)}function c(e,n){var t=e.__index__,r=e.__last_index__,i=e.__text_cache__.slice(t,r);this.schema=e.__schema__.toLowerCase(),this.index=t+n,this.lastIndex=r+n,this.raw=i,this.text=i,this.url=i}function _(e,n){var t=new c(e,n);return e.__compiled__[t.schema].normalize(t,e),t}function d(e,n){if(!(this instanceof d))return new d(e,n);var t;n||(t=e,Object.keys(t||{}).reduce((function(e,n){return e||l.hasOwnProperty(n)}),!1)&&(n=e,e={})),this.__opts__=r({},l,n),this.__index__=-1,this.__last_index__=-1,this.__schema__="",this.__text_cache__="",this.__schemas__=r({},s,e),this.__compiled__={},this.__tlds__=p,this.__tlds_replaced__=!1,this.re={},u(this)}d.prototype.add=function(e,n){return this.__schemas__[e]=n,u(this),this},d.prototype.set=function(e){return this.__opts__=r(this.__opts__,e),this},d.prototype.test=function(e){if(this.__text_cache__=e,this.__index__=-1,!e.length)return!1;var n,t,r,i,a,o,l,s;if(this.re.schema_test.test(e))for((l=this.re.schema_search).lastIndex=0;null!==(n=l.exec(e));)if(i=this.testSchemaAt(e,n[2],l.lastIndex)){this.__schema__=n[2],this.__index__=n.index+n[1].length,this.__last_index__=n.index+n[0].length+i;break}return this.__opts__.fuzzyLink&&this.__compiled__["http:"]&&(s=e.search(this.re.host_fuzzy_test))>=0&&(this.__index__<0||s=0&&null!==(r=e.match(this.re.email_fuzzy))&&(a=r.index+r[1].length,o=r.index+r[0].length,(this.__index__<0||athis.__last_index__)&&(this.__schema__="mailto:",this.__index__=a,this.__last_index__=o)),this.__index__>=0},d.prototype.pretest=function(e){return this.re.pretest.test(e)},d.prototype.testSchemaAt=function(e,n,t){return this.__compiled__[n.toLowerCase()]?this.__compiled__[n.toLowerCase()].validate(e,t,this):0},d.prototype.match=function(e){var n=0,t=[];this.__index__>=0&&this.__text_cache__===e&&(t.push(_(this,n)),n=this.__last_index__);for(var r=n?e.slice(n):e;this.test(r);)t.push(_(this,n)),r=r.slice(this.__last_index__),n+=this.__last_index__;return t.length?t:null},d.prototype.matchAtStart=function(e){if(this.__text_cache__=e,this.__index__=-1,!e.length)return null;var n=this.re.schema_at_start.exec(e);if(!n)return null;var t=this.testSchemaAt(e,n[2],n[0].length);return t&&(this.__schema__=n[2],this.__index__=n.index+n[1].length,this.__last_index__=n.index+n[0].length+t),_(this,0)},d.prototype.tlds=function(e,n){return e=Array.isArray(e)?e:[e],n?(this.__tlds__=this.__tlds__.concat(e).sort().filter((function(e,n,t){return e!==t[n-1]})).reverse(),u(this),this):(this.__tlds__=e.slice(),this.__tlds_replaced__=!0,u(this),this)},d.prototype.normalize=function(e){e.schema||(e.url="http://"+e.url),"mailto:"!==e.schema||/^mailto:/i.test(e.url)||(e.url="mailto:"+e.url)},d.prototype.onCompile=function(){},e.exports=d},6066:(e,n,t)=>{"use strict";e.exports=function(e){var n={};return e=e||{},n.src_Any=t(9369).source,n.src_Cc=t(9413).source,n.src_Z=t(5045).source,n.src_P=t(3189).source,n.src_ZPCc=[n.src_Z,n.src_P,n.src_Cc].join("|"),n.src_ZCc=[n.src_Z,n.src_Cc].join("|"),n.src_pseudo_letter="(?:(?![><｜]|"+n.src_ZPCc+")"+n.src_Any+")",n.src_ip4="(?:(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.){3}(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)",n.src_auth="(?:(?:(?!"+n.src_ZCc+"|[@/\\[\\]()]).)+@)?",n.src_port="(?::(?:6(?:[0-4]\\d{3}|5(?:[0-4]\\d{2}|5(?:[0-2]\\d|3[0-5])))|[1-5]?\\d{1,4}))?",n.src_host_terminator="(?=$|[><｜]|"+n.src_ZPCc+")(?!"+(e["---"]?"-(?!--)|":"-|")+"_|:\\d|\\.-|\\.(?!$|"+n.src_ZPCc+"))",n.src_path="(?:[/?#](?:(?!"+n.src_ZCc+"|[><｜]|[()[\\]{}.,\"'?!\\-;]).|\\[(?:(?!"+n.src_ZCc+"|\\]).)*\\]|\\((?:(?!"+n.src_ZCc+"|[)]).)*\\)|\\{(?:(?!"+n.src_ZCc+'|[}]).)*\\}|\\"(?:(?!'+n.src_ZCc+'|["]).)+\\"|\\\'(?:(?!'+n.src_ZCc+"|[']).)+\\'|\\'(?="+n.src_pseudo_letter+"|[-])|\\.{2,}[a-zA-Z0-9%/&]|\\.(?!"+n.src_ZCc+"|[.]|$)|"+(e["---"]?"\\-(?!--(?:[^-]|$))(?:-*)|":"\\-+|")+",(?!"+n.src_ZCc+"|$)|;(?!"+n.src_ZCc+"|$)|\\!+(?!"+n.src_ZCc+"|[!]|$)|\\?(?!"+n.src_ZCc+"|[?]|$))+|\\/)?",n.src_email_name='[\\-;:&=\\+\\$,\\.a-zA-Z0-9_][\\-;:&=\\+\\$,\\"\\.a-zA-Z0-9_]*',n.src_xn="xn--[a-z0-9\\-]{1,59}",n.src_domain_root="(?:"+n.src_xn+"|"+n.src_pseudo_letter+"{1,63})",n.src_domain="(?:"+n.src_xn+"|(?:"+n.src_pseudo_letter+")|(?:"+n.src_pseudo_letter+"(?:-|"+n.src_pseudo_letter+"){0,61}"+n.src_pseudo_letter+"))",n.src_host="(?:(?:(?:(?:"+n.src_domain+")\\.)*"+n.src_domain+"))",n.tpl_host_fuzzy="(?:"+n.src_ip4+"|(?:(?:(?:"+n.src_domain+")\\.)+(?:%TLDS%)))",n.tpl_host_no_ip_fuzzy="(?:(?:(?:"+n.src_domain+")\\.)+(?:%TLDS%))",n.src_host_strict=n.src_host+n.src_host_terminator,n.tpl_host_fuzzy_strict=n.tpl_host_fuzzy+n.src_host_terminator,n.src_host_port_strict=n.src_host+n.src_port+n.src_host_terminator,n.tpl_host_port_fuzzy_strict=n.tpl_host_fuzzy+n.src_port+n.src_host_terminator,n.tpl_host_port_no_ip_fuzzy_strict=n.tpl_host_no_ip_fuzzy+n.src_port+n.src_host_terminator,n.tpl_host_fuzzy_test="localhost|www\\.|\\.\\d{1,3}\\.|(?:\\.(?:%TLDS%)(?:"+n.src_ZPCc+"|>|$))",n.tpl_email_fuzzy='(^|[><｜]|"|\\(|'+n.src_ZCc+")("+n.src_email_name+"@"+n.tpl_host_fuzzy_strict+")",n.tpl_link_fuzzy="(^|(?![.:/\\-_@])(?:[$+<=>^`|｜]|"+n.src_ZPCc+"))((?![$+<=>^`|｜])"+n.tpl_host_port_fuzzy_strict+n.src_path+")",n.tpl_link_no_ip_fuzzy="(^|(?![.:/\\-_@])(?:[$+<=>^`|｜]|"+n.src_ZPCc+"))((?![$+<=>^`|｜])"+n.tpl_host_port_no_ip_fuzzy_strict+n.src_path+")",n}},9980:(e,n,t)=>{"use strict";e.exports=t(7024)},6233:(e,n,t)=>{"use strict";e.exports=t(5485)},813:e=>{"use strict";e.exports=["address","article","aside","base","basefont","blockquote","body","caption","center","col","colgroup","dd","details","dialog","dir","div","dl","dt","fieldset","figcaption","figure","footer","form","frame","frameset","h1","h2","h3","h4","h5","h6","head","header","hr","html","iframe","legend","li","link","main","menu","menuitem","nav","noframes","ol","optgroup","option","p","param","section","source","summary","table","tbody","td","tfoot","th","thead","title","tr","track","ul"]},1947:e=>{"use strict";var n="<[A-Za-z][A-Za-z0-9\\-]*(?:\\s+[a-zA-Z_:][a-zA-Z0-9:._-]*(?:\\s*=\\s*(?:[^\"'=<>`\\x00-\\x20]+|'[^']*'|\"[^\"]*\"))?)*\\s*\\/?>",t="<\\/[A-Za-z][A-Za-z0-9\\-]*\\s*>",r=new RegExp("^(?:"+n+"|"+t+"|\x3c!----\x3e|\x3c!--(?:-?[^>-])(?:-?[^-])*--\x3e|<[?][\\s\\S]*?[?]>|]*>|)"),i=new RegExp("^(?:"+n+"|"+t+")");e.exports.n=r,e.exports.q=i},7022:(e,n,t)=>{"use strict";var r=Object.prototype.hasOwnProperty;function i(e,n){return r.call(e,n)}function a(e){return!(e>=55296&&e<=57343||e>=64976&&e<=65007||65535==(65535&e)||65534==(65535&e)||e>=0&&e<=8||11===e||e>=14&&e<=31||e>=127&&e<=159||e>1114111)}function o(e){if(e>65535){var n=55296+((e-=65536)>>10),t=56320+(1023&e);return String.fromCharCode(n,t)}return String.fromCharCode(e)}var l=/\\([!"#$%&'()*+,\-.\/:;<=>?@[\\\]^_`{|}~])/g,s=new RegExp(l.source+"|"+/&([a-z#][a-z0-9]{1,31});/gi.source,"gi"),p=/^#((?:x[a-f0-9]{1,8}|[0-9]{1,8}))/i,u=t(6233),c=/[&<>"]/,_=/[&<>"]/g,d={"&":"&","<":"<",">":">",'"':"""};function f(e){return d[e]}var y=/[.?*+^$[\]\\(){}|-]/g,h=t(3189);n.lib={},n.lib.mdurl=t(8765),n.lib.ucmicro=t(4205),n.assign=function(e){var n=Array.prototype.slice.call(arguments,1);return n.forEach((function(n){if(n){if("object"!=typeof n)throw new TypeError(n+"must be object");Object.keys(n).forEach((function(t){e[t]=n[t]}))}})),e},n.isString=function(e){return"[object String]"===function(e){return Object.prototype.toString.call(e)}(e)},n.has=i,n.unescapeMd=function(e){return e.indexOf("\\")<0?e:e.replace(l,"$1")},n.unescapeAll=function(e){return e.indexOf("\\")<0&&e.indexOf("&")<0?e:e.replace(s,(function(e,n,t){return n||function(e,n){var t=0;return i(u,n)?u[n]:35===n.charCodeAt(0)&&p.test(n)&&a(t="x"===n[1].toLowerCase()?parseInt(n.slice(2),16):parseInt(n.slice(1),10))?o(t):e}(e,t)}))},n.isValidEntityCode=a,n.fromCodePoint=o,n.escapeHtml=function(e){return c.test(e)?e.replace(_,f):e},n.arrayReplaceAt=function(e,n,t){return[].concat(e.slice(0,n),t,e.slice(n+1))},n.isSpace=function(e){switch(e){case 9:case 32:return!0}return!1},n.isWhiteSpace=function(e){if(e>=8192&&e<=8202)return!0;switch(e){case 9:case 10:case 11:case 12:case 13:case 32:case 160:case 5760:case 8239:case 8287:case 12288:return!0}return!1},n.isMdAsciiPunct=function(e){switch(e){case 33:case 34:case 35:case 36:case 37:case 38:case 39:case 40:case 41:case 42:case 43:case 44:case 45:case 46:case 47:case 58:case 59:case 60:case 61:case 62:case 63:case 64:case 91:case 92:case 93:case 94:case 95:case 96:case 123:case 124:case 125:case 126:return!0;default:return!1}},n.isPunctChar=function(e){return h.test(e)},n.escapeRE=function(e){return e.replace(y,"\\$&")},n.normalizeReference=function(e){return e=e.trim().replace(/\s+/g," "),"Ṿ"==="ẞ".toLowerCase()&&(e=e.replace(/ẞ/g,"ß")),e.toLowerCase().toUpperCase()}},1685:(e,n,t)=>{"use strict";n.parseLinkLabel=t(3595),n.parseLinkDestination=t(2548),n.parseLinkTitle=t(8040)},2548:(e,n,t)=>{"use strict";var r=t(7022).unescapeAll;e.exports=function(e,n,t){var i,a,o=n,l={ok:!1,pos:0,lines:0,str:""};if(60===e.charCodeAt(n)){for(n++;n32)return l;if(41===i){if(0===a)break;a--}n++}return o===n||0!==a||(l.str=r(e.slice(o,n)),l.lines=0,l.pos=n,l.ok=!0),l}},3595:e=>{"use strict";e.exports=function(e,n,t){var r,i,a,o,l=-1,s=e.posMax,p=e.pos;for(e.pos=n+1,r=1;e.pos{"use strict";var r=t(7022).unescapeAll;e.exports=function(e,n,t){var i,a,o=0,l=n,s={ok:!1,pos:0,lines:0,str:""};if(n>=t)return s;if(34!==(a=e.charCodeAt(n))&&39!==a&&40!==a)return s;for(n++,40===a&&(a=41);n{"use strict";var r=t(7022),i=t(1685),a=t(7529),o=t(7346),l=t(2471),s=t(4485),p=t(8337),u=t(8765),c=t(3689),_={default:t(4218),zero:t(873),commonmark:t(6895)},d=/^(vbscript|javascript|file|data):/,f=/^data:image\/(gif|png|jpeg|webp);/;function y(e){var n=e.trim().toLowerCase();return!d.test(n)||!!f.test(n)}var h=["http:","https:","mailto:"];function m(e){var n=u.parse(e,!0);if(n.hostname&&(!n.protocol||h.indexOf(n.protocol)>=0))try{n.hostname=c.toASCII(n.hostname)}catch(e){}return u.encode(u.format(n))}function x(e){var n=u.parse(e,!0);if(n.hostname&&(!n.protocol||h.indexOf(n.protocol)>=0))try{n.hostname=c.toUnicode(n.hostname)}catch(e){}return u.decode(u.format(n),u.decode.defaultChars+"%")}function g(e,n){if(!(this instanceof g))return new g(e,n);n||r.isString(e)||(n=e||{},e="default"),this.inline=new s,this.block=new l,this.core=new o,this.renderer=new a,this.linkify=new p,this.validateLink=y,this.normalizeLink=m,this.normalizeLinkText=x,this.utils=r,this.helpers=r.assign({},i),this.options={},this.configure(e),n&&this.set(n)}g.prototype.set=function(e){return r.assign(this.options,e),this},g.prototype.configure=function(e){var n,t=this;if(r.isString(e)&&!(e=_[n=e]))throw new Error('Wrong `markdown-it` preset "'+n+'", check name');if(!e)throw new Error("Wrong `markdown-it` preset, can't be empty");return e.options&&t.set(e.options),e.components&&Object.keys(e.components).forEach((function(n){e.components[n].rules&&t[n].ruler.enableOnly(e.components[n].rules),e.components[n].rules2&&t[n].ruler2.enableOnly(e.components[n].rules2)})),this},g.prototype.enable=function(e,n){var t=[];Array.isArray(e)||(e=[e]),["core","block","inline"].forEach((function(n){t=t.concat(this[n].ruler.enable(e,!0))}),this),t=t.concat(this.inline.ruler2.enable(e,!0));var r=e.filter((function(e){return t.indexOf(e)<0}));if(r.length&&!n)throw new Error("MarkdownIt. Failed to enable unknown rule(s): "+r);return this},g.prototype.disable=function(e,n){var t=[];Array.isArray(e)||(e=[e]),["core","block","inline"].forEach((function(n){t=t.concat(this[n].ruler.disable(e,!0))}),this),t=t.concat(this.inline.ruler2.disable(e,!0));var r=e.filter((function(e){return t.indexOf(e)<0}));if(r.length&&!n)throw new Error("MarkdownIt. Failed to disable unknown rule(s): "+r);return this},g.prototype.use=function(e){var n=[this].concat(Array.prototype.slice.call(arguments,1));return e.apply(e,n),this},g.prototype.parse=function(e,n){if("string"!=typeof e)throw new Error("Input data should be a String");var t=new this.core.State(e,this,n);return this.core.process(t),t.tokens},g.prototype.render=function(e,n){return n=n||{},this.renderer.render(this.parse(e,n),this.options,n)},g.prototype.parseInline=function(e,n){var t=new this.core.State(e,this,n);return t.inlineMode=!0,this.core.process(t),t.tokens},g.prototype.renderInline=function(e,n){return n=n||{},this.renderer.render(this.parseInline(e,n),this.options,n)},e.exports=g},2471:(e,n,t)=>{"use strict";var r=t(9580),i=[["table",t(1785),["paragraph","reference"]],["code",t(8768)],["fence",t(3542),["paragraph","reference","blockquote","list"]],["blockquote",t(5258),["paragraph","reference","blockquote","list"]],["hr",t(5634),["paragraph","reference","blockquote","list"]],["list",t(8532),["paragraph","reference","blockquote"]],["reference",t(3804)],["html_block",t(6329),["paragraph","reference","blockquote"]],["heading",t(1630),["paragraph","reference","blockquote"]],["lheading",t(6850)],["paragraph",t(6864)]];function a(){this.ruler=new r;for(var e=0;e=t))&&!(e.sCount[o]=s){e.line=t;break}for(r=0;r{"use strict";var r=t(9580),i=[["normalize",t(4129)],["block",t(6576)],["inline",t(9827)],["linkify",t(7830)],["replacements",t(2834)],["smartquotes",t(8450)],["text_join",t(6633)]];function a(){this.ruler=new r;for(var e=0;e{"use strict";var r=t(9580),i=[["text",t(9941)],["linkify",t(2906)],["newline",t(3905)],["escape",t(1917)],["backticks",t(9755)],["strikethrough",t(4814).w],["emphasis",t(7894).w],["link",t(1727)],["image",t(3006)],["autolink",t(3420)],["html_inline",t(1779)],["entity",t(9391)]],a=[["balance_pairs",t(9354)],["strikethrough",t(4814).g],["emphasis",t(7894).g],["fragments_join",t(9969)]];function o(){var e;for(this.ruler=new r,e=0;e=a)break}else e.pending+=e.src[e.pos++]}e.pending&&e.pushPending()},o.prototype.parse=function(e,n,t,r){var i,a,o,l=new this.State(e,n,t,r);for(this.tokenize(l),o=(a=this.ruler2.getRules("")).length,i=0;i{"use strict";e.exports={options:{html:!0,xhtmlOut:!0,breaks:!1,langPrefix:"language-",linkify:!1,typographer:!1,quotes:"“”‘’",highlight:null,maxNesting:20},components:{core:{rules:["normalize","block","inline","text_join"]},block:{rules:["blockquote","code","fence","heading","hr","html_block","lheading","list","reference","paragraph"]},inline:{rules:["autolink","backticks","emphasis","entity","escape","html_inline","image","link","newline","text"],rules2:["balance_pairs","emphasis","fragments_join"]}}}},4218:e=>{"use strict";e.exports={options:{html:!1,xhtmlOut:!1,breaks:!1,langPrefix:"language-",linkify:!1,typographer:!1,quotes:"“”‘’",highlight:null,maxNesting:100},components:{core:{},block:{},inline:{}}}},873:e=>{"use strict";e.exports={options:{html:!1,xhtmlOut:!1,breaks:!1,langPrefix:"language-",linkify:!1,typographer:!1,quotes:"“”‘’",highlight:null,maxNesting:20},components:{core:{rules:["normalize","block","inline","text_join"]},block:{rules:["paragraph"]},inline:{rules:["text"],rules2:["balance_pairs","fragments_join"]}}}},7529:(e,n,t)=>{"use strict";var r=t(7022).assign,i=t(7022).unescapeAll,a=t(7022).escapeHtml,o={};function l(){this.rules=r({},o)}o.code_inline=function(e,n,t,r,i){var o=e[n];return""+a(e[n].content)+""},o.code_block=function(e,n,t,r,i){var o=e[n];return""+a(e[n].content)+"\n"},o.fence=function(e,n,t,r,o){var l,s,p,u,c,_=e[n],d=_.info?i(_.info).trim():"",f="",y="";return d&&(f=(p=d.split(/(\s+)/g))[0],y=p.slice(2).join("")),0===(l=t.highlight&&t.highlight(_.content,f,y)||a(_.content)).indexOf(""+l+"\n"):"
"+l+"
\n"},o.image=function(e,n,t,r,i){var a=e[n];return a.attrs[a.attrIndex("alt")][1]=i.renderInlineAsText(a.children,t,r),i.renderToken(e,n,t)},o.hardbreak=function(e,n,t){return t.xhtmlOut?"
\n":"
\n"},o.softbreak=function(e,n,t){return t.breaks?t.xhtmlOut?"
\n":"
\n":"\n"},o.text=function(e,n){return a(e[n].content)},o.html_block=function(e,n){return e[n].content},o.html_inline=function(e,n){return e[n].content},l.prototype.renderAttrs=function(e){var n,t,r;if(!e.attrs)return"";for(r="",n=0,t=e.attrs.length;n\n":">")},l.prototype.renderInline=function(e,n,t){for(var r,i="",a=this.rules,o=0,l=e.length;o{"use strict";function n(){this.__rules__=[],this.__cache__=null}n.prototype.__find__=function(e){for(var n=0;n{"use strict";var r=t(7022).isSpace;e.exports=function(e,n,t,i){var a,o,l,s,p,u,c,_,d,f,y,h,m,x,g,v,b,w,H,k,A=e.lineMax,S=e.bMarks[n]+e.tShift[n],E=e.eMarks[n];if(e.sCount[n]-e.blkIndent>=4)return!1;if(62!==e.src.charCodeAt(S++))return!1;if(i)return!0;for(s=d=e.sCount[n]+1,32===e.src.charCodeAt(S)?(S++,s++,d++,a=!1,v=!0):9===e.src.charCodeAt(S)?(v=!0,(e.bsCount[n]+d)%4==3?(S++,s++,d++,a=!1):a=!0):v=!1,f=[e.bMarks[n]],e.bMarks[n]=S;S=E,x=[e.sCount[n]],e.sCount[n]=d-s,g=[e.tShift[n]],e.tShift[n]=S-e.bMarks[n],w=e.md.block.ruler.getRules("blockquote"),m=e.parentType,e.parentType="blockquote",_=n+1;_=(E=e.eMarks[_])));_++)if(62!==e.src.charCodeAt(S++)||k){if(u)break;for(b=!1,l=0,p=w.length;l=E,y.push(e.bsCount[_]),e.bsCount[_]=e.sCount[_]+1+(v?1:0),x.push(e.sCount[_]),e.sCount[_]=d-s,g.push(e.tShift[_]),e.tShift[_]=S-e.bMarks[_]}for(h=e.blkIndent,e.blkIndent=0,(H=e.push("blockquote_open","blockquote",1)).markup=">",H.map=c=[n,0],e.md.block.tokenize(e,n,_),(H=e.push("blockquote_close","blockquote",-1)).markup=">",e.lineMax=A,e.parentType=m,c[1]=e.line,l=0;l{"use strict";e.exports=function(e,n,t){var r,i,a;if(e.sCount[n]-e.blkIndent<4)return!1;for(i=r=n+1;r=4))break;i=++r}return e.line=i,(a=e.push("code_block","code",0)).content=e.getLines(n,i,4+e.blkIndent,!1)+"\n",a.map=[n,e.line],!0}},3542:e=>{"use strict";e.exports=function(e,n,t,r){var i,a,o,l,s,p,u,c=!1,_=e.bMarks[n]+e.tShift[n],d=e.eMarks[n];if(e.sCount[n]-e.blkIndent>=4)return!1;if(_+3>d)return!1;if(126!==(i=e.src.charCodeAt(_))&&96!==i)return!1;if(s=_,(a=(_=e.skipChars(_,i))-s)<3)return!1;if(u=e.src.slice(s,_),o=e.src.slice(_,d),96===i&&o.indexOf(String.fromCharCode(i))>=0)return!1;if(r)return!0;for(l=n;!(++l>=t||(_=s=e.bMarks[l]+e.tShift[l])<(d=e.eMarks[l])&&e.sCount[l]=4||(_=e.skipChars(_,i))-s{"use strict";var r=t(7022).isSpace;e.exports=function(e,n,t,i){var a,o,l,s,p=e.bMarks[n]+e.tShift[n],u=e.eMarks[n];if(e.sCount[n]-e.blkIndent>=4)return!1;if(35!==(a=e.src.charCodeAt(p))||p>=u)return!1;for(o=1,a=e.src.charCodeAt(++p);35===a&&p6||pp&&r(e.src.charCodeAt(l-1))&&(u=l),e.line=n+1,(s=e.push("heading_open","h"+String(o),1)).markup="########".slice(0,o),s.map=[n,e.line],(s=e.push("inline","",0)).content=e.src.slice(p,u).trim(),s.map=[n,e.line],s.children=[],(s=e.push("heading_close","h"+String(o),-1)).markup="########".slice(0,o)),0))}},5634:(e,n,t)=>{"use strict";var r=t(7022).isSpace;e.exports=function(e,n,t,i){var a,o,l,s,p=e.bMarks[n]+e.tShift[n],u=e.eMarks[n];if(e.sCount[n]-e.blkIndent>=4)return!1;if(42!==(a=e.src.charCodeAt(p++))&&45!==a&&95!==a)return!1;for(o=1;p{"use strict";var r=t(813),i=t(1947).q,a=[[/^<(script|pre|style|textarea)(?=(\s|>|$))/i,/<\/(script|pre|style|textarea)>/i,!0],[/^/,!0],[/^<\?/,/\?>/,!0],[/^/,!0],[/^/,!0],[new RegExp("^|$))","i"),/^$/,!0],[new RegExp(i.source+"\\s*$"),/^$/,!1]];e.exports=function(e,n,t,r){var i,o,l,s,p=e.bMarks[n]+e.tShift[n],u=e.eMarks[n];if(e.sCount[n]-e.blkIndent>=4)return!1;if(!e.md.options.html)return!1;if(60!==e.src.charCodeAt(p))return!1;for(s=e.src.slice(p,u),i=0;i{"use strict";e.exports=function(e,n,t){var r,i,a,o,l,s,p,u,c,_,d=n+1,f=e.md.block.ruler.getRules("paragraph");if(e.sCount[n]-e.blkIndent>=4)return!1;for(_=e.parentType,e.parentType="paragraph";d3)){if(e.sCount[d]>=e.blkIndent&&(s=e.bMarks[d]+e.tShift[d])<(p=e.eMarks[d])&&(45===(c=e.src.charCodeAt(s))||61===c)&&(s=e.skipChars(s,c),(s=e.skipSpaces(s))>=p)){u=61===c?1:2;break}if(!(e.sCount[d]<0)){for(i=!1,a=0,o=f.length;a{"use strict";var r=t(7022).isSpace;function i(e,n){var t,i,a,o;return i=e.bMarks[n]+e.tShift[n],a=e.eMarks[n],42!==(t=e.src.charCodeAt(i++))&&45!==t&&43!==t||i=o)return-1;if((t=e.src.charCodeAt(a++))<48||t>57)return-1;for(;;){if(a>=o)return-1;if(!((t=e.src.charCodeAt(a++))>=48&&t<=57)){if(41===t||46===t)break;return-1}if(a-i>=10)return-1}return a=4)return!1;if(e.listIndent>=0&&e.sCount[n]-e.listIndent>=4&&e.sCount[n]=e.blkIndent&&(O=!0),(T=a(e,n))>=0){if(_=!0,j=e.bMarks[n]+e.tShift[n],x=Number(e.src.slice(j,T-1)),O&&1!==x)return!1}else{if(!((T=i(e,n))>=0))return!1;_=!1}if(O&&e.skipSpaces(T)>=e.eMarks[n])return!1;if(m=e.src.charCodeAt(T-1),r)return!0;for(h=e.tokens.length,_?(q=e.push("ordered_list_open","ol",1),1!==x&&(q.attrs=[["start",x]])):q=e.push("bullet_list_open","ul",1),q.map=y=[n,0],q.markup=String.fromCharCode(m),v=n,C=!1,D=e.md.block.ruler.getRules("list"),H=e.parentType,e.parentType="list";v=g?1:b-c)>4&&(u=1),p=c+u,(q=e.push("list_item_open","li",1)).markup=String.fromCharCode(m),q.map=d=[n,0],_&&(q.info=e.src.slice(j,T-1)),S=e.tight,A=e.tShift[n],k=e.sCount[n],w=e.listIndent,e.listIndent=e.blkIndent,e.blkIndent=p,e.tight=!0,e.tShift[n]=l-e.bMarks[n],e.sCount[n]=b,l>=g&&e.isEmpty(n+1)?e.line=Math.min(e.line+2,t):e.md.block.tokenize(e,n,t,!0),e.tight&&!C||(I=!1),C=e.line-n>1&&e.isEmpty(e.line-1),e.blkIndent=e.listIndent,e.listIndent=w,e.tShift[n]=A,e.sCount[n]=k,e.tight=S,(q=e.push("list_item_close","li",-1)).markup=String.fromCharCode(m),v=n=e.line,d[1]=v,l=e.bMarks[n],v>=t)break;if(e.sCount[v]=4)break;for(P=!1,s=0,f=D.length;s{"use strict";e.exports=function(e,n){var t,r,i,a,o,l,s=n+1,p=e.md.block.ruler.getRules("paragraph"),u=e.lineMax;for(l=e.parentType,e.parentType="paragraph";s3||e.sCount[s]<0)){for(r=!1,i=0,a=p.length;i{"use strict";var r=t(7022).normalizeReference,i=t(7022).isSpace;e.exports=function(e,n,t,a){var o,l,s,p,u,c,_,d,f,y,h,m,x,g,v,b,w=0,H=e.bMarks[n]+e.tShift[n],k=e.eMarks[n],A=n+1;if(e.sCount[n]-e.blkIndent>=4)return!1;if(91!==e.src.charCodeAt(H))return!1;for(;++H3||e.sCount[A]<0)){for(g=!1,c=0,_=v.length;c<_;c++)if(v[c](e,A,p,!0)){g=!0;break}if(g)break}for(k=(x=e.getLines(n,A,e.blkIndent,!1).trim()).length,H=1;H{"use strict";var r=t(5872),i=t(7022).isSpace;function a(e,n,t,r){var a,o,l,s,p,u,c,_;for(this.src=e,this.md=n,this.env=t,this.tokens=r,this.bMarks=[],this.eMarks=[],this.tShift=[],this.sCount=[],this.bsCount=[],this.blkIndent=0,this.line=0,this.lineMax=0,this.tight=!1,this.ddIndent=-1,this.listIndent=-1,this.parentType="root",this.level=0,this.result="",_=!1,l=s=u=c=0,p=(o=this.src).length;s0&&this.level++,this.tokens.push(i),i},a.prototype.isEmpty=function(e){return this.bMarks[e]+this.tShift[e]>=this.eMarks[e]},a.prototype.skipEmptyLines=function(e){for(var n=this.lineMax;en;)if(!i(this.src.charCodeAt(--e)))return e+1;return e},a.prototype.skipChars=function(e,n){for(var t=this.src.length;et;)if(n!==this.src.charCodeAt(--e))return e+1;return e},a.prototype.getLines=function(e,n,t,r){var a,o,l,s,p,u,c,_=e;if(e>=n)return"";for(u=new Array(n-e),a=0;_t?new Array(o-t+1).join(" ")+this.src.slice(s,p):this.src.slice(s,p)}return u.join("")},a.prototype.Token=r,e.exports=a},1785:(e,n,t)=>{"use strict";var r=t(7022).isSpace;function i(e,n){var t=e.bMarks[n]+e.tShift[n],r=e.eMarks[n];return e.src.slice(t,r)}function a(e){var n,t=[],r=0,i=e.length,a=!1,o=0,l="";for(n=e.charCodeAt(r);rt)return!1;if(_=n+1,e.sCount[_]=4)return!1;if((p=e.bMarks[_]+e.tShift[_])>=e.eMarks[_])return!1;if(124!==(H=e.src.charCodeAt(p++))&&45!==H&&58!==H)return!1;if(p>=e.eMarks[_])return!1;if(124!==(k=e.src.charCodeAt(p++))&&45!==k&&58!==k&&!r(k))return!1;if(45===H&&r(k))return!1;for(;p=4)return!1;if((d=a(s)).length&&""===d[0]&&d.shift(),d.length&&""===d[d.length-1]&&d.pop(),0===(f=d.length)||f!==h.length)return!1;if(o)return!0;for(v=e.parentType,e.parentType="table",w=e.md.block.ruler.getRules("blockquote"),(y=e.push("table_open","table",1)).map=x=[n,0],(y=e.push("thead_open","thead",1)).map=[n,n+1],(y=e.push("tr_open","tr",1)).map=[n,n+1],u=0;u=4)break;for((d=a(s)).length&&""===d[0]&&d.shift(),d.length&&""===d[d.length-1]&&d.pop(),_===n+2&&((y=e.push("tbody_open","tbody",1)).map=g=[n+2,0]),(y=e.push("tr_open","tr",1)).map=[_,_+1],u=0;u{"use strict";e.exports=function(e){var n;e.inlineMode?((n=new e.Token("inline","",0)).content=e.src,n.map=[0,1],n.children=[],e.tokens.push(n)):e.md.block.parse(e.src,e.md,e.env,e.tokens)}},9827:e=>{"use strict";e.exports=function(e){var n,t,r,i=e.tokens;for(t=0,r=i.length;t{"use strict";var r=t(7022).arrayReplaceAt;function i(e){return/^<\/a\s*>/i.test(e)}e.exports=function(e){var n,t,a,o,l,s,p,u,c,_,d,f,y,h,m,x,g,v,b=e.tokens;if(e.md.options.linkify)for(t=0,a=b.length;t=0;n--)if("link_close"!==(s=o[n]).type){if("html_inline"===s.type&&(v=s.content,/^\s]/i.test(v)&&y>0&&y--,i(s.content)&&y++),!(y>0)&&"text"===s.type&&e.md.linkify.test(s.content)){for(c=s.content,g=e.md.linkify.match(c),p=[],f=s.level,d=0,g.length>0&&0===g[0].index&&n>0&&"text_special"===o[n-1].type&&(g=g.slice(1)),u=0;ud&&((l=new e.Token("text","",0)).content=c.slice(d,_),l.level=f,p.push(l)),(l=new e.Token("link_open","a",1)).attrs=[["href",m]],l.level=f++,l.markup="linkify",l.info="auto",p.push(l),(l=new e.Token("text","",0)).content=x,l.level=f,p.push(l),(l=new e.Token("link_close","a",-1)).level=--f,l.markup="linkify",l.info="auto",p.push(l),d=g[u].lastIndex);d{"use strict";var n=/\r\n?|\n/g,t=/\0/g;e.exports=function(e){var r;r=(r=e.src.replace(n,"\n")).replace(t,"�"),e.src=r}},2834:e=>{"use strict";var n=/\+-|\.\.|\?\?\?\?|!!!!|,,|--/,t=/\((c|tm|r)\)/i,r=/\((c|tm|r)\)/gi,i={c:"©",r:"®",tm:"™"};function a(e,n){return i[n.toLowerCase()]}function o(e){var n,t,i=0;for(n=e.length-1;n>=0;n--)"text"!==(t=e[n]).type||i||(t.content=t.content.replace(r,a)),"link_open"===t.type&&"auto"===t.info&&i--,"link_close"===t.type&&"auto"===t.info&&i++}function l(e){var t,r,i=0;for(t=e.length-1;t>=0;t--)"text"!==(r=e[t]).type||i||n.test(r.content)&&(r.content=r.content.replace(/\+-/g,"±").replace(/\.{2,}/g,"…").replace(/([?!])…/g,"$1..").replace(/([?!]){4,}/g,"$1$1$1").replace(/,{2,}/g,",").replace(/(^|[^-])---(?=[^-]|$)/gm,"$1—").replace(/(^|\s)--(?=\s|$)/gm,"$1–").replace(/(^|[^-\s])--(?=[^-\s]|$)/gm,"$1–")),"link_open"===r.type&&"auto"===r.info&&i--,"link_close"===r.type&&"auto"===r.info&&i++}e.exports=function(e){var r;if(e.md.options.typographer)for(r=e.tokens.length-1;r>=0;r--)"inline"===e.tokens[r].type&&(t.test(e.tokens[r].content)&&o(e.tokens[r].children),n.test(e.tokens[r].content)&&l(e.tokens[r].children))}},8450:(e,n,t)=>{"use strict";var r=t(7022).isWhiteSpace,i=t(7022).isPunctChar,a=t(7022).isMdAsciiPunct,o=/['"]/,l=/['"]/g;function s(e,n,t){return e.slice(0,n)+t+e.slice(n+1)}function p(e,n){var t,o,p,u,c,_,d,f,y,h,m,x,g,v,b,w,H,k,A,S,E;for(A=[],t=0;t=0&&!(A[H].level<=d);H--);if(A.length=H+1,"text"===o.type){c=0,_=(p=o.content).length;e:for(;c<_&&(l.lastIndex=c,u=l.exec(p));){if(b=w=!0,c=u.index+1,k="'"===u[0],y=32,u.index-1>=0)y=p.charCodeAt(u.index-1);else for(H=t-1;H>=0&&"softbreak"!==e[H].type&&"hardbreak"!==e[H].type;H--)if(e[H].content){y=e[H].content.charCodeAt(e[H].content.length-1);break}if(h=32,c<_)h=p.charCodeAt(c);else for(H=t+1;H=48&&y<=57&&(w=b=!1),b&&w&&(b=m,w=x),b||w){if(w)for(H=A.length-1;H>=0&&(f=A[H],!(A[H].level=0;n--)"inline"===e.tokens[n].type&&o.test(e.tokens[n].content)&&p(e.tokens[n].children,e)}},6480:(e,n,t)=>{"use strict";var r=t(5872);function i(e,n,t){this.src=e,this.env=t,this.tokens=[],this.inlineMode=!1,this.md=n}i.prototype.Token=r,e.exports=i},6633:e=>{"use strict";e.exports=function(e){var n,t,r,i,a,o,l=e.tokens;for(n=0,t=l.length;n{"use strict";var n=/^([a-zA-Z0-9.!#$%&'*+\/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*)$/,t=/^([a-zA-Z][a-zA-Z0-9+.\-]{1,31}):([^<>\x00-\x20]*)$/;e.exports=function(e,r){var i,a,o,l,s,p,u=e.pos;if(60!==e.src.charCodeAt(u))return!1;for(s=e.pos,p=e.posMax;;){if(++u>=p)return!1;if(60===(l=e.src.charCodeAt(u)))return!1;if(62===l)break}return i=e.src.slice(s+1,u),t.test(i)?(a=e.md.normalizeLink(i),!!e.md.validateLink(a)&&(r||((o=e.push("link_open","a",1)).attrs=[["href",a]],o.markup="autolink",o.info="auto",(o=e.push("text","",0)).content=e.md.normalizeLinkText(i),(o=e.push("link_close","a",-1)).markup="autolink",o.info="auto"),e.pos+=i.length+2,!0)):!!n.test(i)&&(a=e.md.normalizeLink("mailto:"+i),!!e.md.validateLink(a)&&(r||((o=e.push("link_open","a",1)).attrs=[["href",a]],o.markup="autolink",o.info="auto",(o=e.push("text","",0)).content=e.md.normalizeLinkText(i),(o=e.push("link_close","a",-1)).markup="autolink",o.info="auto"),e.pos+=i.length+2,!0))}},9755:e=>{"use strict";e.exports=function(e,n){var t,r,i,a,o,l,s,p,u=e.pos;if(96!==e.src.charCodeAt(u))return!1;for(t=u,u++,r=e.posMax;u{"use strict";function n(e,n){var t,r,i,a,o,l,s,p,u={},c=n.length;if(c){var _=0,d=-2,f=[];for(t=0;to;r-=f[r]+1)if((a=n[r]).marker===i.marker&&a.open&&a.end<0&&(s=!1,(a.close||i.open)&&(a.length+i.length)%3==0&&(a.length%3==0&&i.length%3==0||(s=!0)),!s)){p=r>0&&!n[r-1].open?f[r-1]+1:0,f[t]=t-r+p,f[r]=p,i.open=!1,a.end=t,a.close=!1,l=-1,d=-2;break}-1!==l&&(u[i.marker][(i.open?3:0)+(i.length||0)%3]=l)}}}e.exports=function(e){var t,r=e.tokens_meta,i=e.tokens_meta.length;for(n(0,e.delimiters),t=0;t{"use strict";function n(e,n){var t,r,i,a,o,l;for(t=n.length-1;t>=0;t--)95!==(r=n[t]).marker&&42!==r.marker||-1!==r.end&&(i=n[r.end],l=t>0&&n[t-1].end===r.end+1&&n[t-1].marker===r.marker&&n[t-1].token===r.token-1&&n[r.end+1].token===i.token+1,o=String.fromCharCode(r.marker),(a=e.tokens[r.token]).type=l?"strong_open":"em_open",a.tag=l?"strong":"em",a.nesting=1,a.markup=l?o+o:o,a.content="",(a=e.tokens[i.token]).type=l?"strong_close":"em_close",a.tag=l?"strong":"em",a.nesting=-1,a.markup=l?o+o:o,a.content="",l&&(e.tokens[n[t-1].token].content="",e.tokens[n[r.end+1].token].content="",t--))}e.exports.w=function(e,n){var t,r,i=e.pos,a=e.src.charCodeAt(i);if(n)return!1;if(95!==a&&42!==a)return!1;for(r=e.scanDelims(e.pos,42===a),t=0;t{"use strict";var r=t(6233),i=t(7022).has,a=t(7022).isValidEntityCode,o=t(7022).fromCodePoint,l=/^&#((?:x[a-f0-9]{1,6}|[0-9]{1,7}));/i,s=/^&([a-z][a-z0-9]{1,31});/i;e.exports=function(e,n){var t,p,u,c=e.pos,_=e.posMax;if(38!==e.src.charCodeAt(c))return!1;if(c+1>=_)return!1;if(35===e.src.charCodeAt(c+1)){if(p=e.src.slice(c).match(l))return n||(t="x"===p[1][0].toLowerCase()?parseInt(p[1].slice(1),16):parseInt(p[1],10),(u=e.push("text_special","",0)).content=a(t)?o(t):o(65533),u.markup=p[0],u.info="entity"),e.pos+=p[0].length,!0}else if((p=e.src.slice(c).match(s))&&i(r,p[1]))return n||((u=e.push("text_special","",0)).content=r[p[1]],u.markup=p[0],u.info="entity"),e.pos+=p[0].length,!0;return!1}},1917:(e,n,t)=>{"use strict";for(var r=t(7022).isSpace,i=[],a=0;a<256;a++)i.push(0);"\\!\"#$%&'()*+,./:;<=>?@[]^_`{|}~-".split("").forEach((function(e){i[e.charCodeAt(0)]=1})),e.exports=function(e,n){var t,a,o,l,s,p=e.pos,u=e.posMax;if(92!==e.src.charCodeAt(p))return!1;if(++p>=u)return!1;if(10===(t=e.src.charCodeAt(p))){for(n||e.push("hardbreak","br",0),p++;p=55296&&t<=56319&&p+1=56320&&a<=57343&&(l+=e.src[p+1],p++),o="\\"+l,n||(s=e.push("text_special","",0),t<256&&0!==i[t]?s.content=l:s.content=o,s.markup=o,s.info="escape"),e.pos=p+1,!0}},9969:e=>{"use strict";e.exports=function(e){var n,t,r=0,i=e.tokens,a=e.tokens.length;for(n=t=0;n0&&r++,"text"===i[n].type&&n+1{"use strict";var r=t(1947).n;e.exports=function(e,n){var t,i,a,o,l,s=e.pos;return!(!e.md.options.html||(a=e.posMax,60!==e.src.charCodeAt(s)||s+2>=a||33!==(t=e.src.charCodeAt(s+1))&&63!==t&&47!==t&&!function(e){var n=32|e;return n>=97&&n<=122}(t)||!(i=e.src.slice(s).match(r))||(n||((o=e.push("html_inline","",0)).content=e.src.slice(s,s+i[0].length),l=o.content,/^\s]/i.test(l)&&e.linkLevel++,function(e){return/^<\/a\s*>/i.test(e)}(o.content)&&e.linkLevel--),e.pos+=i[0].length,0)))}},3006:(e,n,t)=>{"use strict";var r=t(7022).normalizeReference,i=t(7022).isSpace;e.exports=function(e,n){var t,a,o,l,s,p,u,c,_,d,f,y,h,m="",x=e.pos,g=e.posMax;if(33!==e.src.charCodeAt(e.pos))return!1;if(91!==e.src.charCodeAt(e.pos+1))return!1;if(p=e.pos+2,(s=e.md.helpers.parseLinkLabel(e,e.pos+1,!1))<0)return!1;if((u=s+1)=g)return!1;for(h=u,(_=e.md.helpers.parseLinkDestination(e.src,u,e.posMax)).ok&&(m=e.md.normalizeLink(_.str),e.md.validateLink(m)?u=_.pos:m=""),h=u;u=g||41!==e.src.charCodeAt(u))return e.pos=x,!1;u++}else{if(void 0===e.env.references)return!1;if(u=0?l=e.src.slice(h,u++):u=s+1):u=s+1,l||(l=e.src.slice(p,s)),!(c=e.env.references[r(l)]))return e.pos=x,!1;m=c.href,d=c.title}return n||(o=e.src.slice(p,s),e.md.inline.parse(o,e.md,e.env,y=[]),(f=e.push("image","img",0)).attrs=t=[["src",m],["alt",""]],f.children=y,f.content=o,d&&t.push(["title",d])),e.pos=u,e.posMax=g,!0}},1727:(e,n,t)=>{"use strict";var r=t(7022).normalizeReference,i=t(7022).isSpace;e.exports=function(e,n){var t,a,o,l,s,p,u,c,_="",d="",f=e.pos,y=e.posMax,h=e.pos,m=!0;if(91!==e.src.charCodeAt(e.pos))return!1;if(s=e.pos+1,(l=e.md.helpers.parseLinkLabel(e,e.pos,!0))<0)return!1;if((p=l+1)=y)return!1;if(h=p,(u=e.md.helpers.parseLinkDestination(e.src,p,e.posMax)).ok){for(_=e.md.normalizeLink(u.str),e.md.validateLink(_)?p=u.pos:_="",h=p;p=y||41!==e.src.charCodeAt(p))&&(m=!0),p++}if(m){if(void 0===e.env.references)return!1;if(p=0?o=e.src.slice(h,p++):p=l+1):p=l+1,o||(o=e.src.slice(s,l)),!(c=e.env.references[r(o)]))return e.pos=f,!1;_=c.href,d=c.title}return n||(e.pos=s,e.posMax=l,e.push("link_open","a",1).attrs=t=[["href",_]],d&&t.push(["title",d]),e.linkLevel++,e.md.inline.tokenize(e),e.linkLevel--,e.push("link_close","a",-1)),e.pos=p,e.posMax=y,!0}},2906:e=>{"use strict";var n=/(?:^|[^a-z0-9.+-])([a-z][a-z0-9.+-]*)$/i;e.exports=function(e,t){var r,i,a,o,l,s,p;return!(!e.md.options.linkify||e.linkLevel>0||(r=e.pos)+3>e.posMax||58!==e.src.charCodeAt(r)||47!==e.src.charCodeAt(r+1)||47!==e.src.charCodeAt(r+2)||!(i=e.pending.match(n))||(a=i[1],!(o=e.md.linkify.matchAtStart(e.src.slice(r-a.length)))||(l=(l=o.url).replace(/\*+$/,""),s=e.md.normalizeLink(l),!e.md.validateLink(s)||(t||(e.pending=e.pending.slice(0,-a.length),(p=e.push("link_open","a",1)).attrs=[["href",s]],p.markup="linkify",p.info="auto",(p=e.push("text","",0)).content=e.md.normalizeLinkText(l),(p=e.push("link_close","a",-1)).markup="linkify",p.info="auto"),e.pos+=l.length-a.length,0))))}},3905:(e,n,t)=>{"use strict";var r=t(7022).isSpace;e.exports=function(e,n){var t,i,a,o=e.pos;if(10!==e.src.charCodeAt(o))return!1;if(t=e.pending.length-1,i=e.posMax,!n)if(t>=0&&32===e.pending.charCodeAt(t))if(t>=1&&32===e.pending.charCodeAt(t-1)){for(a=t-1;a>=1&&32===e.pending.charCodeAt(a-1);)a--;e.pending=e.pending.slice(0,a),e.push("hardbreak","br",0)}else e.pending=e.pending.slice(0,-1),e.push("softbreak","br",0);else e.push("softbreak","br",0);for(o++;o{"use strict";var r=t(5872),i=t(7022).isWhiteSpace,a=t(7022).isPunctChar,o=t(7022).isMdAsciiPunct;function l(e,n,t,r){this.src=e,this.env=t,this.md=n,this.tokens=r,this.tokens_meta=Array(r.length),this.pos=0,this.posMax=this.src.length,this.level=0,this.pending="",this.pendingLevel=0,this.cache={},this.delimiters=[],this._prev_delimiters=[],this.backticks={},this.backticksScanned=!1,this.linkLevel=0}l.prototype.pushPending=function(){var e=new r("text","",0);return e.content=this.pending,e.level=this.pendingLevel,this.tokens.push(e),this.pending="",e},l.prototype.push=function(e,n,t){this.pending&&this.pushPending();var i=new r(e,n,t),a=null;return t<0&&(this.level--,this.delimiters=this._prev_delimiters.pop()),i.level=this.level,t>0&&(this.level++,this._prev_delimiters.push(this.delimiters),this.delimiters=[],a={delimiters:this.delimiters}),this.pendingLevel=this.level,this.tokens.push(i),this.tokens_meta.push(a),i},l.prototype.scanDelims=function(e,n){var t,r,l,s,p,u,c,_,d,f=e,y=!0,h=!0,m=this.posMax,x=this.src.charCodeAt(e);for(t=e>0?this.src.charCodeAt(e-1):32;f{"use strict";function n(e,n){var t,r,i,a,o,l=[],s=n.length;for(t=0;t{"use strict";function n(e){switch(e){case 10:case 33:case 35:case 36:case 37:case 38:case 42:case 43:case 45:case 58:case 60:case 61:case 62:case 64:case 91:case 92:case 93:case 94:case 95:case 96:case 123:case 125:case 126:return!0;default:return!1}}e.exports=function(e,t){for(var r=e.pos;r{"use strict";function n(e,n,t){this.type=e,this.tag=n,this.attrs=null,this.map=null,this.nesting=t,this.level=0,this.children=null,this.content="",this.markup="",this.info="",this.meta=null,this.block=!1,this.hidden=!1}n.prototype.attrIndex=function(e){var n,t,r;if(!this.attrs)return-1;for(t=0,r=(n=this.attrs).length;t=0&&(t=this.attrs[n][1]),t},n.prototype.attrJoin=function(e,n){var t=this.attrIndex(e);t<0?this.attrPush([e,n]):this.attrs[t][1]=this.attrs[t][1]+" "+n},e.exports=n},3122:e=>{"use strict";var n={};function t(e,r){var i;return"string"!=typeof r&&(r=t.defaultChars),i=function(e){var t,r,i=n[e];if(i)return i;for(i=n[e]=[],t=0;t<128;t++)r=String.fromCharCode(t),i.push(r);for(t=0;t=55296&&s<=57343?"���":String.fromCharCode(s),n+=6):240==(248&r)&&n+91114111?p+="����":(s-=65536,p+=String.fromCharCode(55296+(s>>10),56320+(1023&s))),n+=9):p+="�";return p}))}t.defaultChars=";/?:@&=+$,#",t.componentChars="",e.exports=t},729:e=>{"use strict";var n={};function t(e,r,i){var a,o,l,s,p,u="";for("string"!=typeof r&&(i=r,r=t.defaultChars),void 0===i&&(i=!0),p=function(e){var t,r,i=n[e];if(i)return i;for(i=n[e]=[],t=0;t<128;t++)r=String.fromCharCode(t),/^[0-9a-z]$/i.test(r)?i.push(r):i.push("%"+("0"+t.toString(16).toUpperCase()).slice(-2));for(t=0;t=55296&&l<=57343){if(l>=55296&&l<=56319&&a+1=56320&&s<=57343){u+=encodeURIComponent(e[a]+e[a+1]),a++;continue}u+="%EF%BF%BD"}else u+=encodeURIComponent(e[a]);return u}t.defaultChars=";/?:@&=+$,-_.!~*'()#",t.componentChars="-_.!~*'()",e.exports=t},2201:e=>{"use strict";e.exports=function(e){var n="";return n+=e.protocol||"",n+=e.slashes?"//":"",n+=e.auth?e.auth+"@":"",e.hostname&&-1!==e.hostname.indexOf(":")?n+="["+e.hostname+"]":n+=e.hostname||"",n+=e.port?":"+e.port:"",n+=e.pathname||"",(n+=e.search||"")+(e.hash||"")}},8765:(e,n,t)=>{"use strict";e.exports.encode=t(729),e.exports.decode=t(3122),e.exports.format=t(2201),e.exports.parse=t(9553)},9553:e=>{"use strict";function n(){this.protocol=null,this.slashes=null,this.auth=null,this.port=null,this.hostname=null,this.hash=null,this.search=null,this.pathname=null}var t=/^([a-z0-9.+-]+:)/i,r=/:[0-9]*$/,i=/^(\/\/?(?!\/)[^\?\s]*)(\?[^\s]*)?$/,a=["{","}","|","\\","^","`"].concat(["<",">",'"',"`"," ","\r","\n","\t"]),o=["'"].concat(a),l=["%","/","?",";","#"].concat(o),s=["/","?","#"],p=/^[+a-z0-9A-Z_-]{0,63}$/,u=/^([+a-z0-9A-Z_-]{0,63})(.*)$/,c={javascript:!0,"javascript:":!0},_={http:!0,https:!0,ftp:!0,gopher:!0,file:!0,"http:":!0,"https:":!0,"ftp:":!0,"gopher:":!0,"file:":!0};n.prototype.parse=function(e,n){var r,a,o,d,f,y=e;if(y=y.trim(),!n&&1===e.split("#").length){var h=i.exec(y);if(h)return this.pathname=h[1],h[2]&&(this.search=h[2]),this}var m=t.exec(y);if(m&&(o=(m=m[0]).toLowerCase(),this.protocol=m,y=y.substr(m.length)),(n||m||y.match(/^\/\/[^@\/]+@[^@\/]+/))&&(!(f="//"===y.substr(0,2))||m&&c[m]||(y=y.substr(2),this.slashes=!0)),!c[m]&&(f||m&&!_[m])){var x,g,v=-1;for(r=0;r127?A+="x":A+=k[S];if(!A.match(p)){var T=H.slice(0,r),C=H.slice(r+1),j=k.match(u);j&&(T.push(j[1]),C.unshift(j[2])),C.length&&(y=C.join(".")+y),this.hostname=T.join(".");break}}}}this.hostname.length>255&&(this.hostname=""),w&&(this.hostname=this.hostname.substr(1,this.hostname.length-2))}var P=y.indexOf("#");-1!==P&&(this.hash=y.substr(P),y=y.slice(0,P));var D=y.indexOf("?");return-1!==D&&(this.search=y.substr(D),y=y.slice(0,D)),y&&(this.pathname=y),_[o]&&this.hostname&&!this.pathname&&(this.pathname=""),this},n.prototype.parseHost=function(e){var n=r.exec(e);n&&(":"!==(n=n[0])&&(this.port=n.substr(1)),e=e.substr(0,e.length-n.length)),e&&(this.hostname=e)},e.exports=function(e,t){if(e&&e instanceof n)return e;var r=new n;return r.parse(e,t),r}},2164:e=>{const n=function(e){const n=(t=0,r=[])=>{let i;if(r.includes(t))i=e[t].doc;else{r.push(t);const{doc:a,incs:o=[]}=e[t];i=o.reduce(((e,{index:t,incs:i})=>{const a=n(t,r);return i.forEach((n=>{let t=e;for(;n.length>1;)t=t[n.shift()];t[n.shift()]=a})),e}),a)}return i},t=(e,n=[])=>{let r;var i;return n.includes(e)?r=e:(n.push(e),r=null===(i=e)||"object"!=typeof i||Array.isArray(i)?e:Object.entries(e).reduce(((e,[r,i])=>{if(r.startsWith("<<<")){const a=Object.assign(e,t(i,n));return delete a[r],a}return Object.assign(e,{[r]:t(i,n)})}),e)),r};return t(n())}([{doc:[{id:"tutorial",name:"آموزش",type:"collection",x:0,y:0,children:null,engineParams:"auto_level=calculator"},{id:"logic",name:"منطق و استدلال",type:"collection",x:0,y:1,dependencies:["tutorial"],children:null,engineParams:"disabled_tactics=assumption"},{id:"equality",name:"برابری",type:"collection",x:-1,y:2,dependencies:["logic"],children:null},{id:"induction",name:"استقرا",type:"collection",x:1,y:2,dependencies:["logic"],children:null},{id:"number_theory",type:"collection",x:0,y:3,name:"نظریه اعداد",dependencies:["induction","equality"],children:null}],incs:[{index:3,incs:[[0,"children"]]},{index:2,incs:[[1,"children"]]},{index:1,incs:[[2,"children"],[3,"children"],[4,"children"]]}]},{doc:[{id:"todo",name:"در دست احداث",type:"level",x:0,y:0,goal:"False"}]},{doc:[{id:"logic_iff",name:"اگر و تنها اگر",type:"level",x:-1,y:4,goal:"∀ A B: U, A ↔ B -> B ↔ A"},{id:"exists_on_goal",name:"وجود دارد در حکم",type:"level",x:-1,y:1,goal:"∀ a: ℤ, ∃ b: ℤ, a < b"},{id:"exists_on_hyp",name:"وجود دارد در فرض",type:"level",x:1,y:1,goal:"∀ a: ℤ, (∃ b: ℤ, a < b ∧ b < 5) → a < 5"},{id:"forall_on_hyp",name:"به ازای هر در فرض",type:"level",x:0,y:2,dependencies:["exists_on_hyp","exists_on_goal"],text:"بر می گردیم به مساله اول! با این تفاوت که این دفعه به جای گرفتن و انداختن، روی فرض\nراست کلیک کنید و با کمک نمونه گیری، حکم را ثابت کنید.\n\nبا کمی دقت متوجه می شوید که به ازای هر در فرض خیلی شبیه به وجود دارد در حکم است (هر دو\nبه یک نمونه نیاز دارند) و به ازای هر در حکم خیلی شبیه به وجود دارد در فرض است.\n\nمعمولا به نمونه گیری به ازای هر ها کمتر نیاز پیدا می کنیم چون در اعمال کردن نمونه لازم به طور\nخودکار تشخیص داده می شود (همان طور که اولین بار با گرفتن و انداختن انجام دادید)\n",initTactics:["intros"],goal:"(∀ a b: ℤ, a < b -> 0 < a -> 2 ^ a < 3 ^ b) -> 2 ^ 100 < 3 ^ 200"},{id:"true1",name:"ترو",type:"level",x:1,y:3,goal:"True",dependencies:["forall_on_hyp"]},{id:"false1",name:"فالس ۱",type:"level",x:0,y:3,goal:"(∀C: U, C) -> 2 = 3",text:"گزاره «هر گزاره ممکنی درست است» مسلما یک گزاره غلط است. در این قسمت با کمک این گزاره گزاره\nغلط دو مساوی سه را ثابت می کنیم.\n\nدر بخش برابری می بینید که به کمک دو مساوی سه نیز می توان هر گزاره ای را ثابت کرد، که یعنی\nبه نوعی همه گزاره های غلط معادل هستند و در حضور یکی از آن ها در فرض، می توان هر چیزی را ثابت کرد.\n",dependencies:["forall_on_hyp"]},{id:"false2",name:"فالس ۲",type:"level",x:0,y:4,goal:"False -> 2 = 3",text:"این باز نیز دقیقا مشابه قسمت قبل است، با این تفاوت که از فالس که درون کتاب خانه تعریف شده\nاست استفاده می کنیم. فالس دقیقا مشابه گزاره هر گزاره ای صحیح است عمل می کند؛ یک گزاره غلط است\nکه اگر در فرض باشد می توان با آن هر چیزی را ثابت کرد.\n\nهم اثبات خودکار در صورت وجود فالس در فرض ها فعال می شود و هم می توانید روی آن راست کلیک کنید و\nاز گزینه تناقض استفاده کنید.\n",initTactics:["intros"],dependencies:["false1"]},{id:"negate1",name:"نقیض",type:"level",x:0,y:5,goal:"∀ A: U, (A ∧ (A -> False)) -> False",text:"نقیض یگ گزاره نیز یک ساختار نمایشی است و\nدر داخل سیستم به صورت گزاره نتیجه می دهد فالس نمایش داده می شود.\nیعنی `~ A` معادل `A → False` است.\nپس می توانید\nبرای ثابت کردن نقیض یک چیز، آن را فرض کنید (با استفاده از همان معرفی یا معرفی با نام) و فالس\nرا ثابت کنید. از نقیض های موجود در فرض نیز می توانید مثل هر گزاره شرطی دیگر استفاده کنید و آن ها\nرا در گزاره های دیگر (فالس در حکم و خود گزاره در فرض) اعمال کنید.\n\nبرای این که نقیض را در عمل ببینید، در این جا ثابت می کنیم که هیچ چیزی همراه با نقیضش هم زمان نمی تواند\nدرست باشد.\n",dependencies:["false2","logic_iff"]},{id:"demorgan1",name:"دمورگان ۱",type:"level",x:-1,y:6,goal:"∀ A B: U, (A ∨ B -> False) ↔ (A -> False) ∧ (B -> False)",text:"حالا با چیز هایی که یاد گرفتید، قانون دمورگان را ثابت کنید.\n",dependencies:["negate1"]},{id:"double_negation",name:"برهان خلف",type:"level",x:1,y:6,goal:"(∀ A B: U, A -> A ∨ B) -> (∀ A B: U, B -> A ∨ B) -> (∀ T: U, ((T → False) → False) → T) → ∀ A: U, A ∨ (A → False)",text:"در این قسمت به برهان خلف می رسیم. برهان خلف یکی از ابزار های اساسی اثبات است که\nدر آن به جای این که یک گزاره را ثابت کنیم، نقیض آن را در فرض ها می آوریم و با کمک\nآن به تناقض می رسیم (فالس را ثابت می کنیم). در این جا با توجه به تعریف ما از نقیض\nکافیست گزاره را با نقیض نقیض آن جایگزین کنیم و سپس از معرفی استفاده کنیم.\n\nقضیه جفت نقیض که آن را در فرض ها می بینید در هر چیز که اعمال شود آن را دو بار نقیض\nمی کند. به کمک آن ثابت کنید که هر گزاره ای یا درست است و یا نقیض آن درست است.\n\nدر حالت عادی هم جفت نقیض و هم آ یا نقیض آ در کتاب خانه هستند اما در این قسمت برای چالش\nبیشتر کتاب خانه غیر فعال شده است. این مساله سخت است! زود تسلیم نشوید.\n",initTactics:["intros or_introl or_intror NNPP"],emptyLibrary:!0,dependencies:["negate1"]},{id:"negate_exists",name:"نقیض وجود دارد",type:"level",x:0,y:6,goal:"∀ P: ℤ -> U, (∀ x: ℤ, P x -> False) ↔ ((∃ x: ℤ, P x) -> False)",text:"در این قسمت ثابت می کنیم که نقیض وجود دارد عددی که فلان خاصیت را داشته باشد، معادل\nاین است که همه اعداد ممکن نقیض آن خاصیت را دارند. در این جا\nP\nهمان خاصیت دلخواه است و مثلا\nP 2\nیعنی دو این خاصیت را دارد.\n",dependencies:["negate1"]},{id:"demorgan2",name:"دمورگان ۲",type:"level",x:0,y:7,goal:"∀ A B: U, (A ∧ B -> False) ↔ (A -> False) ∨ (B -> False)",text:"نوبت قسمت دوم قانون دمورگان است. این قسمت نیاز به برهان خلف دارد. آن را از کتاب خانه\nوارد کنید.\n",dependencies:["demorgan1","double_negation","negate_exists"]},{id:"ghatel",name:"قاتل",text:"از پنج مظنون به قتل اعتراف گرفته ایم. هر بی گناه حتما دو قاتل را نام برده است ولی قاتل اسم حداقل یک بی گناه\nرا گفته است. با توجه به اعترافات مفروض، ثابت کنید مظنون `c` حتما قاتل است.\n",type:"level",x:2,y:7,dependencies:["double_negation"],engineParams:"disabled_tactics=none",suggestedLemmas:["NNPP"],goal:"∀ Maznon: U, ∀ a b c d e: Maznon, ∀ eteraf: Maznon -> Maznon ∧ Maznon, ∀ ghatel: Maznon -> U, (∀ x y z: Maznon, ~ ghatel x -> eteraf x = (y, z) -> ghatel y ∧ ghatel z) -> (∀ x y z: Maznon, ghatel x -> eteraf x = (y, z) -> ~ (ghatel y ∧ ghatel z)) -> eteraf a = (b, c) -> eteraf b = (a, c) -> eteraf c = (b, e) -> eteraf d = (c, e) -> eteraf e = (b, d) -> ghatel c",initTactics:["intros Maznon a b c d e eteraf ghatel rule_bigonah rule_ghatel fact1 fact2 fact3 fact4 fact5"]}]},{doc:[{id:"apply",text:"سلام. این جا محیط اثبات چک کنه. ما باید چیزی که زیر خط نوشته رو ثابت کنیم. و چیز هایی که\nبالای خط نوشته، فرض هایی هستن که می تونیم از اون ها استفاده کنیم. فرض ما می گه که\nبه ازای هر عدد صحیح مثل آ و ب، اگر آ از ب کمتر باشه و آ مثبت باشه، دو به توان آ از\nسه به توان ب کمتره. چیزی که ما باید ثابت کنیم اینه که دو به توان صد از سه به توان دویست\nکمتره، و صد و دویست توی شرایط فرض ما صدق می کنن. پس به کمک دستگیره (دو دایره کوچیک توی هم) فرض رو\nبگیر و بنداز توی هدف. بعد اثبات رو کامل کن.\n",name:"اعمال",type:"level",x:0,y:0,goal:"(∀ a b: ℤ, a < b -> 0 < a -> 2 ^ a < 3 ^ b) -> 2 ^ 100 < 3 ^ 200",initTactics:["intros farze_ma"]},{id:"apply2",text:"دوباره تقریبا می خوایم همون مساله قبلی رو ثابت کنیم. با این تفاوت که این دفعه هیچ پیش فرضی نداریم\nولی باید گزاره شرطی به ازای هر دو عدد فلان، نتیجه می دهد دو به توان صد کمتر است از سه به توان دویست\nرا ثابت کنیم.\n\nبرای ثابت کردن یک گزاره شرطی، می توان فرض گرفت که مقدمه آن درست است و به کمک آن فرض، موخره را\nنتیجه گرفت. با دوبار کلیک کردن بر روی حکم، اثبات چک کن این کار را برای ما انجام می دهد. روی حکم\nجفت کلیک کنید و سپس مثل مرحله قبلی ادامه دهید.\n",name:"اعمال ۲",type:"level",x:0,y:1,dependencies:["apply"],goal:"(∀ a b: ℤ, a < b -> 0 < a -> 2 ^ a < 3 ^ b) -> 2 ^ 100 < 3 ^ 200"},{id:"intros_with_name",name:"معرفی با نام",text:"در این قسمت می خواهیم یک گزاره را به ازای همه اعداد صحیح ثابت کنیم. گزاره بیان می کند که اگر\nیک عدد زوج باشد، به علاوه یک به علاوه یک آن نیز زوج است. دو فرض کمکی نیز در فرض ها داریم که\nاحتمالا خودتان می توانید بخوانید.\n\nبرای ثابت کردن گزاره های صوری، کافیست یک عدد دلخواه که شرط خاصی ندارد را در نظر بگیریم و برای\nآن ثابت کنیم. برای این که این کار را در اثبات چک کن انجام دهید، می توانید روی حکم کلیک راست کنید\nو از منویی که باز می شود گزینه «معرفی با نام» را انتخاب کنید (روی معرفی خالی کلیک نکنید وگرنه\nاز صفحه کامپیوتر یک اژدهای سه سر بیرون می آید و شما را می خورد) و سپس یک نام مانند\n`akbar`\nرا انتخاب کنید. می بینید که یک عدد دلخواه مثل اکبر فرض می شود و در ادامه شما باید حکم را برای\nاکبر ثابت کنید. ادامه کار مثل مراحل قبل است.\n",type:"level",x:-1,y:2,dependencies:["apply2"],goal:"(∀ a, a mod 2 = 0 -> (a + 1) mod 2 = 1) -> (∀ a, a mod 2 = 1 -> (a + 1) mod 2 = 0) -> (∀ a, a mod 2 = 0 -> ((a + 1) + 1) mod 2 = 0)",initTactics:["intros zoj_ba_yek_mishe_fard fard_ba_yek_mishe_zoj"]},{id:"suggestions",name:"پیشنهادات",text:"منویی که در قسمت قبل با کلیک راست باز کردید منوی پیشنهادات حکم بود. حکم ها و فرض ها\nطبق الگویی که دارند ممکن است پیشنهاداتی داشته باشند. از میان این پیشنهادات ممکن است\nیکی ستاره داشته باشد که در این صورت آن پیشنهاد هنگام جفت کلیک انتخاب می شود.\n\nدر منوی پیشنهادات صور عمومی و هم چنین گزاره های شرطی، دو گزینه معرفی با نام و معرفی خالی\nوجود دارد. معمولا نام متغیر ها اهمیت چندانی ندارد و اثبات چک کن می تواند یک نام مناسب\nبرای ما انتخاب کند (البته بعضا یک نام خاص منظوره به واضح تر شدن مراحل اثبات کمک\nمی کند) به همین دلیل معرفی پیشنهاد پیش فرض است. هم چنین معرفی خالی تا جایی که گزاره صوری\nیا شرطی در حکم باشد این کار را ادامه می دهد و ممکن است چند متغیر جدید معرفی کند. وقتی در\nمراحل قبل روی گزاره های شرطی جفت کلیک می کردید در حقیقت از همین معرفی استفاده می کردید.\n\nبه کمک معرفی یا معرفی با نام، گزاره زیر را ثابت کنید.\n",type:"level",x:-1,y:3,dependencies:["intros_with_name"],goal:"(∀ a b, a + 1 = b + 1 -> a = b) -> (∀ a b, a + 1 + 1 + 1 = b+1+1+1 -> a = b)",initTactics:["intros mosavi_be_alave_1"]},{id:"apply_library",name:"اعمال از کتابخانه",text:"در این مساله هم چنان همان قبلی را می خواهیم ثابت کنیم، منتها این بار بدون هیچ فرض کمکی. در\nکادر گوشه صفحه سه گزاره کمکی هستند که قبلا در کتابخانه ثابت شده اند. با نگه داشتن ماوس بر روی\nآن ها می توانید ببینید که این ها دقیقا چه گزاره هایی را نشان می دهند. مثل فرض ها، این\nگزاره های زرد را نیز می توانید برداشته و روی حکم بیاندازید تا در آن اعمال شوند. به کمک آن ها حکم را\nثابت کنید.\n\nاین اثبات از دو اثبات قبلی سخت تر است و مراحل بیشتری دارد. به عنوان راهنمایی، ابتدا از\nlt_trans\nاستفاده کنید و یک عدد میانجی انتخاب کنید که بین این دو عدد باشد، سپس اثبات را مثل قبل\nادامه دهید.\n\nهمانطور که قبلا هم دیده اید، در جایی که چند هدف ساخته می شود، تمرکز روی ثابت کردن بالاترین هدف است و فرض های آن هدف\nنمایش داده می شوند. شما نمی توانید قضایای کتابخانه را روی اهداف دیگر اعمال کنید. اگر می خواهید\nابتدا هدفی به جز بالاترین هدف را ثابت کنید، روی آن جفت کلیک کنید تا به بالاترین هدف منتقل شود.\n",type:"level",x:1,y:2,dependencies:["apply2"],suggestedLemmas:["lt_trans","pow_lt_l","pow_lt_r"],goal:"2 ^ 100 < 3 ^ 200"},{id:"search",name:"جستجو",text:"این هم همان مساله قبلی است اما قضیه های لازم از کتابخانه را خودتان باید با جستجو پیدا کنید. به\nصفحه جستجو بروید. جستجو هم با نام قضیه ها و هم با الگو ها کار می کند. مثلا می توانید با\n`? < ?`\nلیست قضایایی که به کمک آن می توان یک حکم با این الگو را ثابت کرد را دید. اگر هم چنان نتوانستید\nقضایای مورد نظر را پیدا کنید می توانید از الگو های خاص تر\n`?x ^ ?y < ?x ^ ?z`\nیا\n`? < ? -> ? < ?`\nاستفاده کنید یا مثلا کلمه\n`pow`\nرا جستجو کنید تا تمام قضایایی که نامشان حاوی این کلمه است فهرست شوند.\n",type:"level",x:1,y:3,dependencies:["apply_library"],goal:"2 ^ 100 < 3 ^ 200"},{id:"equation",name:"معادله",text:"در این قسمت می خواهیم به دوران دبستان برگردیم و یک معادله یک متغیره را به کمک جبر ساده\nحل کنیم. ابزاری که در این قسمت کار با آن را یاد می گیرید ابزار جایگزینی است. ابتدا\nاز معرفی استفاده کنید و سپس عدد ۱۱ در فرض را با موس انتخاب کنید. بک گزینه جایگزینی می آید\nکه اگر آن را بزنید یک کادر باز می شود. در کادر باز شده بنویسید\n`8+3`\nاکنون از شما خواسته می شود تا ثابت کنید این مقادیر با هم برابرند و وقتی که این را ثابت کردید\nاین دو مقدار با هم جایگزین می شوند! اکنون می توانید از قضیه\n`eq_plus_r`\nکه باید از کتابخانه پیدا کنید\nروی این فرض استفاده کنید (می توانید روی حکم هم این قضیه را بیندازید ولی اثباتتان سخت تر\nمی شود) به همین ترتیب اثبات را کامل کنید.\n",type:"level",x:0,y:4,dependencies:["search","suggestions"],goal:"∀ x, 2 * x + 3 = 11 -> x = 4"},{id:"cases",name:"حالت بندی",text:"حالت بندی یکی از ابزار های مهم اثبات است. وقتی که یک فرض از جنس یای منطقی داریم (مثل\nفرض این جا که بیان می کند باقیمانده ایکس به دو یا صفر است و یا یک) می توانیم روی آن\nحالت بندی کنیم و حکم را یک بار برای هر حالت اثبات کنیم.\n\nبرای این کار پیشنهاد های این فرض را با راست کلیک ببینید. پیشنهاد شکستن که اتفاقا پیشنهاد\nپیش فرض نیز هست، حالت بندی را برای ما انجام می دهد. به کمک آن و هم چنین جایگزینی که از\nقسمت قبل یاد گرفتید می توانید اثبات را کامل کنید. البته به جای جایگزینی می توانید از\nپیشنهاد بازنویسی که روی فرض هایی که مساوی بودن دو چیز را نشان می دهند ظاهر می شود نیز\nاستفاده کنید. کلا دیدن پیشنهاد ها رو فرض ها و حکم هایی که الگوی جدیدی دارند، به شما کمک\nخواهد کرد.\n",type:"level",x:0,y:5,dependencies:["equation"],goal:"(∀ x, x mod 2 = 1 -> (x*x) mod 2 = 1) -> (∀ x, x mod 2 = 0 -> (x*x) mod 2 = 0) -> (∀ x, x mod 2 = 0 ∨ x mod 2 = 1 -> (x*x) mod 2 = x mod 2)",initTactics:["intros H_fard H_zoj a H_mod2"]},{id:"assert",name:"ادعای جدید",text:"احتمالا دکمه ادعای جدید در منوی کنار صفحه را دیده اید. ادعای جدید مثل جایگزینی است. در\nجایگزینی شما ادعا می کردید که دو عبارت مساوی هستند، این ادعا را ثابت می کردید و سپس\nاز آن استفاده می کردید (عبارت با مقدار برابرش جایگزین می شد) ادعای جدید نیز همان کار\nرا به صورت کلی تر انجام می دهد. شما یک گزاره انتخاب می کنید، آن را ثابت می کنید و سپس\nآن گزاره درون فرض های شما می آید.\n\nدر این قسمت باید همان حکم قبلی را ثابت کنید، با این تفاوت که یکی از فرض های قبلی این بار\nوجود ندارد و شما باید با دکمه ادعای جدید آن را ادعا کرده و ثابت کنید.\n\nدر اثبات چک کن ما برای نمایش گزاره ها به صورت گسترده از کاراکتر های یونیکد استفاده می کنیم. زیرا\nاین کاراکتر ها باعث خوانایی و زیبایی بیشتر می شوند. اما تایپ کردن این کاراکتر ها مشکل است زیرا\nآن ها در صفحه کلید وجود ندارند. برای رفع این مشکل، در جا هایی که نیاز به تایپ کردن گزاره ها\nهست با کمک کاراکتر `;` می توانید کاراکتر های یونیکد مورد نیاز را تایپ کنید. مثلا برای تایپ\nیای منطقی `∨` که در این قسمت نیاز است\nمی توانید از `;\\/;` استفاده کنید. با تایپ کردن کاراکتر `;` یک راهنما برای شما\nفعال می شود و نیازی به حفظ کردن قاعده ها ندارید.\n",type:"level",x:0,y:6,dependencies:["cases"],goal:"(∀ x, x mod 2 = 1 -> (x*x) mod 2 = 1) -> (∀ x, x mod 2 = 0 -> (x*x) mod 2 = 0) -> (∀ x, (x*x) mod 2 = x mod 2)",engineParams:"auto_level=full",initTactics:["intros H_fard H_zoj a"]},{id:"function",name:"تابع",text:"در این قسمت می خواهیم مقدار فیبوناچی ۵ را حساب کنیم. در فرض ها یک فیبو دارید که تابعی\nاز اعداد صحیح به اعداد صحیح است. استفاده از علامت نتیجه می دهد در این جا برای صرفه جویی در\nمصرف کاراکتر ها نیست بلکه به علت شباهت زیاد گزاره های شرطی و توابع است که بعدا به آن مفصل\nمی پردازیم. (به عنوان یک اشاره کوچک، اثبات گزاره های شرطی توابعی هستند که یک اثبات برای\nمقدمه ورودی می گیرند و یک اثبات برای نتیجه خروجی می دهند) در فرض های بعدی پایه ها و گام\nفیبوناچی را می بینید که این تابع را تعریف می کنند. با استفاده از این ها ثابت کنید مقدار\nفیبوناچی پنج همان پنج است.\n\nدر اثبات چک کن پرانتز صرفا نقش تعیین اولویت دارد و اگر تعیین اولویت ضروری نباشد می توان\nآن را حذف کرد. مثلا\n`fibo(0)`\nرا می توان به صورت\n`fibo 0`\nنوشت اما\n`fibo (n - 1)`\nبا\n`fibo n - 1`\nفرق دارد و دومی به صورت\n`(fibo n) - 1`\nتفسیر می شود.\n\nاستفاده از پیشنهاد نمونه گیری در\n`fibo_n`\nممکن است به شما کمک کند و مراحل اثبات را کاهش دهد.\n",type:"level",x:1,y:7,dependencies:["assert"],goal:"∀ fibo: ℤ -> ℤ, (fibo 0 = 0) -> (fibo 1 = 1) -> (∀ n, 2 ≤ n -> fibo n = fibo (n-1) + fibo (n-2)) -> fibo 5 = 5",engineParams:"auto_level=full",initTactics:["intros fibo fibo_0 fibo_1 fibo_n"]},{id:"universe",name:"جهان",text:"در اثبات چک کن، هر مقدار یک تایپ (نوع یا گونه) دارد. مثلا تایپ اعداد\n`ℤ`\nاست. تایپ مجموعه ای از اعداد مثل\n`{1, 2, 3}`\nبرابر\n`set ℤ`\nاست. (هنوز مجموعه ها را ندیدیم ولی وجود دارند) تایپ تابعی که یک مجموعه می گیرد و یک عدد خروجی می دهد\n`set ℤ → ℤ`\nاست و ... .\n\nاز جمله چیز هایی که در اثبات چک کن وجود دارند و در نتیجه تایپ هم دارند اثبات ها و گزاره ها هستند. در\nقسمت های قبلی دیدید که مثلا چیزی مثل\n`H: 2 * x + 3 = 11`\nدر فرض ها وجود دارد. در این جا\n`H`\nیک اثبات برای گزاره\n`2 * x + 3 = 11`\nاست که چون وجود دارد، یعنی گزاره تایپ آن درست است و ما می توانیم از آن برای اثبات چیز های بیشتر\nاستفاده کنیم. این مطلب برای همه گزاره ها و اثبات ها درست است. گزاره ها تایپ هایی هستند که مقادیرشان\nاثبات های آن ها هستند و اگر یک مقدار از جنس آن ها وجود داشته باشند یعنی اثباتی برای آن ها وجود دارد\nکه یعنی درست هستند.\n\nاما تایپ خود گزاره ها چیست؟ تایپ همه تایپ ها یک مقدار خاص به نام\n`Universe`\nاست. هر جا که چیزی مثل\n`A: Universe`\nرا در فرض ها دیدید بدانید\n`A`\nیک تایپ دلخواه است (که می تواند یک گزاره نیز باشد) و هرگاه چیزی مثل\n`∀ X: Universe, folan`\nرا دیدید یعنی فلان به ازای همه تایپ ها (و همه گزاره ها) برقرار است.\n\nبا توجه به چیز هایی که یاد گرفتید، مثال زیر را حل کنید.\n",type:"level",x:1,y:8,dependencies:["function"],goal:"∀ x y: Universe, x -> (x -> y) -> y",engineParams:"disabled_tactics=assumption",initTactics:["intros barf_ziad_mibarad madares_tatil_mishavad esbati_baraye_barfe_ziad esbati_baraye_agar_barf_ziad_biad_madrese_tatile"]}]}]);e.exports=n},9409:e=>{const n=function(e){const n=(t=0,r=[])=>{let i;if(r.includes(t))i=e[t].doc;else{r.push(t);const{doc:a,incs:o=[]}=e[t];i=o.reduce(((e,{index:t,incs:i})=>{const a=n(t,r);return i.forEach((n=>{let t=e;for(;n.length>1;)t=t[n.shift()];t[n.shift()]=a})),e}),a)}return i},t=(e,n=[])=>{let r;var i;return n.includes(e)?r=e:(n.push(e),r=null===(i=e)||"object"!=typeof i||Array.isArray(i)?e:Object.entries(e).reduce(((e,[r,i])=>{if(r.startsWith("<<<")){const a=Object.assign(e,t(i,n));return delete a[r],a}return Object.assign(e,{[r]:t(i,n)})}),e)),r};return t(n())}([{doc:{babaeee_coq:"Babaeee Coq",change_lang:"Change language",loading:"Loading",tactic_left:"left"}}]);e.exports=n},9131:e=>{const n=function(e){const n=(t=0,r=[])=>{let i;if(r.includes(t))i=e[t].doc;else{r.push(t);const{doc:a,incs:o=[]}=e[t];i=o.reduce(((e,{index:t,incs:i})=>{const a=n(t,r);return i.forEach((n=>{let t=e;for(;n.length>1;)t=t[n.shift()];t[n.shift()]=a})),e}),a)}return i},t=(e,n=[])=>{let r;var i;return n.includes(e)?r=e:(n.push(e),r=null===(i=e)||"object"!=typeof i||Array.isArray(i)?e:Object.entries(e).reduce(((e,[r,i])=>{if(r.startsWith("<<<")){const a=Object.assign(e,t(i,n));return delete a[r],a}return Object.assign(e,{[r]:t(i,n)})}),e)),r};return t(n())}([{doc:{adventure:"ماجراجویی",and:"و",and_we_should_proof:"و باید ثابت کنیم",auto_proof:"اثبات خودکار",auto_proof_turbo_tooltip:"اثبات چک کن خودکار توربو فعال شد. دیگه شما نیازی ندارید روی دکمه اثبات خودکار کلیک کنید و هر وقت اثبات خودکار امکان پذیر باشه، خود به خود اعمال می شه. اثبات خودکار توربو برای وقتی که دارید با اثبات چک کن آشنا می شید اصلا مناسب نیست چون با وجود اون نمی فهمید که توی اثبات دقیقا داره چه اتفاقی میفته. برای خاموش کردن مود توربو کافیه که یه بار دیگه روی دکمه اثبات خودکار کلیک کنید.",babaeee_coq:"اثبات چک کن ببعییی",back:"بازگشت",by:"طبق",case_on_hyp:"روی فرض $0 حالت بندی می کنیم",case:"حالت",change_lang:"تغییر زبان",choose_for_replace:"قسمتی را برای جایگزینی انتخاب کنید",contradiction:"تناقض",copy:"رونوشت",copied_in_clipboard:"در بریده دان رونویسی شد",custom_tactic:"تاکتیک سفارشی",destruct:"شکستن",destruct_with_name:"شکستن با نام",double_click_here:"این جا جفت کلیک کنید",engine_params:"پارامتر های موتور",enter_tactic:"تاکتیک خود را وارد کنید",enter_a_name:"یک نام وارد کنید (می توانید چند مورد را با کلید فاصله از هم جدا کنید)",enter_value_that_satisfy:"مقداری که در عبارت صدق می کند را وارد کنید",enter_value_that_you_want_to_put_on_foreign:"مقداری که می خواهید به جای ‪@0‬ در $0 قرار دهید را وارد کنید",enter_value_of1:"مقدار",enter_value_of2:"را وارد کنید",error:"خطا",exit:"خروج",export:"صادر کردن",goal:"حکم",goal_solved:"حکم برقرار است",hide_it:"پنهان کن",hyp:"فرض",in_applying:"در حین اعمال کردن",in_natural:"به زبان طبیعی",induction_on:"استقرا روی",input_assertion:"ادعای خود را وارد کنید",instantiate:"نمونه گیری",intros:"معرفی",intros_with_name:"معرفی با نام",inl_apply_on_hyp:"طبق $0 و $1 می توان $2 را نتیجه گرفت که در ادامه فرض $1 را این گزاره در نظر می گیریم.",inl_by_lia:"حکم توسط جبر مقدماتی قابل نتیجه گیری است.",inl_by_ring:"حکم توسط جبر مقدماتی قابل نتیجه گیری است.",inl_by_auto_set:"حکم توسط جبر مجموعه ها قابل اثبات است.",its_enough_to_proof_following:"کافیست گزاره های زیر را ثابت کنیم",its_enough_to_proof:"کافیست ثابت کنیم",library:"کتابخانه",library_intro:"در این قسمت می توانید قضیه ها و تعاریف موجود در کتابخانه را ببینید و حتی آن ها را ثابت\nکنید. قضیه هایی که با تودو مشخص شده اند قضایایی هستند که اثبات آن ها در کتاب خانه وجود\nندارد و شما می توانید با اضافه کردن اثبات آن ها در اثبات چک کن مشارکت کنید. آکسیوم ها نیز\nمانند تودو ها اثباتی در کتاب خانه ندارند، اما چون قسمتی از تعریف یا اصل هستند نمی توان\nآن ها را ثابت کرد (البته هم چنان می توانید تلاش خود را بکنید) و قضیه هایی که با رنگ سبز\nمشخص شده اند اثباتشان در کتاب خانه وجود دارد.\n",loading:"در حال بارگیری",main_menu:"صفحه اصلی",new_assertion:"ادعای جدید",no_action_for_goal:"اقدامی برای این نوع هدف تعریف نشده است",no_more_subgoal:"هدف دیگری برای اثبات وجود ندارد.",no_suggestion:"پیشنهادی وجود ندارد.",not_solved:"هنوز ثابت نشده است",one:"یک",or_choose_one_prop:"یا یکی از گزاره های زیر را انتخاب کنید",proof_screen:"صفحه اثبات",random_like:"دلخواه مانند",rewrite:"بازنویسی",replace:"جایگزینی",replace_with_what1:"می خواهید",replace_with_what2:"را با چه چیزی جایگزین کنید؟",sandbox:"جعبه شنی",search:"جستجو",select_a_hyp_to_delete:"یک فرض را برای حذف کردن انتخاب کنید",select_a_hyp_to_revert:"یک فرض را برای بازگرداندن انتخاب کنید",selected_part_is_not_full_subexpression:"قسمت انتخاب شده یک زیر عبارت کامل نیست",setting:"تنظیمات",show_it:"آشکار کن",submit:"ارسال",tactic_intros:"معرفی",tactic_left:"چپ",tactic_right:"راست",this_page_is_not_optimized_for_mobile:"این صفحه برای موبایل بهینه سازی نشده است. لطفا با کامپیوتر وارد شوید یا حداقل صفحه گوشی را در حالت افقی بگیرید.",type_a_goal_to_proof:"یک هدف را برای اثبات کردن تایپ کنید",we_know:"ما می دانیم",we_consider:"در نظر می گیریم",with_type:"با تایپ"}}]);e.exports=n},7418:e=>{"use strict";var n=Object.getOwnPropertySymbols,t=Object.prototype.hasOwnProperty,r=Object.prototype.propertyIsEnumerable;function i(e){if(null==e)throw new TypeError("Object.assign cannot be called with null or undefined");return Object(e)}e.exports=function(){try{if(!Object.assign)return!1;var e=new String("abc");if(e[5]="de","5"===Object.getOwnPropertyNames(e)[0])return!1;for(var n={},t=0;t<10;t++)n["_"+String.fromCharCode(t)]=t;if("0123456789"!==Object.getOwnPropertyNames(n).map((function(e){return n[e]})).join(""))return!1;var r={};return"abcdefghijklmnopqrst".split("").forEach((function(e){r[e]=e})),"abcdefghijklmnopqrst"===Object.keys(Object.assign({},r)).join("")}catch(e){return!1}}()?Object.assign:function(e,a){for(var o,l,s=i(e),p=1;p{"use strict";var r=t(414);function i(){}function a(){}a.resetWarningCache=i,e.exports=function(){function e(e,n,t,i,a,o){if(o!==r){var l=new Error("Calling PropTypes validators directly is not supported by the `prop-types` package. Use PropTypes.checkPropTypes() to call them. Read more at http://fb.me/use-check-prop-types");throw l.name="Invariant Violation",l}}function n(){return e}e.isRequired=e;var t={array:e,bool:e,func:e,number:e,object:e,string:e,symbol:e,any:e,arrayOf:n,element:e,elementType:e,instanceOf:n,node:e,objectOf:n,oneOf:n,oneOfType:n,shape:n,exact:n,checkPropTypes:a,resetWarningCache:i};return t.PropTypes=t,t}},5697:(e,n,t)=>{e.exports=t(2703)()},414:e=>{"use strict";e.exports="SECRET_DO_NOT_PASS_THIS_OR_YOU_WILL_BE_FIRED"},3689:(e,n,t)=>{"use strict";t.r(n),t.d(n,{ucs2decode:()=>d,ucs2encode:()=>f,decode:()=>m,encode:()=>x,toASCII:()=>v,toUnicode:()=>g,default:()=>b});const r=2147483647,i=36,a=/^xn--/,o=/[^\0-\x7E]/,l=/[\x2E\u3002\uFF0E\uFF61]/g,s={overflow:"Overflow: input needs wider integers to process","not-basic":"Illegal input >= 0x80 (not a basic code point)","invalid-input":"Invalid input"},p=Math.floor,u=String.fromCharCode;function c(e){throw new RangeError(s[e])}function _(e,n){const t=e.split("@");let r="";t.length>1&&(r=t[0]+"@",e=t[1]);const i=function(e,n){const t=[];let r=e.length;for(;r--;)t[r]=n(e[r]);return t}((e=e.replace(l,".")).split("."),n).join(".");return r+i}function d(e){const n=[];let t=0;const r=e.length;for(;t=55296&&i<=56319&&tString.fromCodePoint(...e),y=function(e,n){return e+22+75*(e<26)-((0!=n)<<5)},h=function(e,n,t){let r=0;for(e=t?p(e/700):e>>1,e+=p(e/n);e>455;r+=i)e=p(e/35);return p(r+36*e/(e+38))},m=function(e){const n=[],t=e.length;let a=0,o=128,l=72,s=e.lastIndexOf("-");s<0&&(s=0);for(let t=0;t=128&&c("not-basic"),n.push(e.charCodeAt(t));for(let _=s>0?s+1:0;_=t&&c("invalid-input");const s=(u=e.charCodeAt(_++))-48<10?u-22:u-65<26?u-65:u-97<26?u-97:i;(s>=i||s>p((r-a)/n))&&c("overflow"),a+=s*n;const d=o<=l?1:o>=l+26?26:o-l;if(sp(r/f)&&c("overflow"),n*=f}const d=n.length+1;l=h(a-s,d,0==s),p(a/d)>r-o&&c("overflow"),o+=p(a/d),a%=d,n.splice(a++,0,o)}var u;return String.fromCodePoint(...n)},x=function(e){const n=[];let t=(e=d(e)).length,a=128,o=0,l=72;for(const t of e)t<128&&n.push(u(t));let s=n.length,_=s;for(s&&n.push("-");_=a&&np((r-o)/d)&&c("overflow"),o+=(t-a)*d,a=t;for(const t of e)if(tr&&c("overflow"),t==a){let e=o;for(let t=i;;t+=i){const r=t<=l?1:t>=l+26?26:t-l;if(e{"use strict";t.d(n,{PD:()=>I});var r={};function i(e){var n=null;return function(){return null==n&&(n=e()),n}}function a(e,n){for(var t=0;th,HTML:()=>g,TEXT:()=>x,URL:()=>m});var l=function(){function e(n){!function(e,n){if(!(e instanceof n))throw new TypeError("Cannot call a class as a function")}(this,e),o(this,"entered",[]),o(this,"isNodeInDocument",void 0),this.isNodeInDocument=n}var n,t;return n=e,(t=[{key:"enter",value:function(e){var n=this,t=this.entered.length;return this.entered=function(e,n){var t=new Set,r=function(e){return t.add(e)};e.forEach(r),n.forEach(r);var i=[];return t.forEach((function(e){return i.push(e)})),i}(this.entered.filter((function(t){return n.isNodeInDocument(t)&&(!t.contains||t.contains(e))})),[e]),0===t&&this.entered.length>0}},{key:"leave",value:function(e){var n,t,r=this.entered.length;return this.entered=(n=this.entered.filter(this.isNodeInDocument),t=e,n.filter((function(e){return e!==t}))),r>0&&0===this.entered.length}},{key:"reset",value:function(){this.entered=[]}}])&&a(n.prototype,t),e}(),s=i((function(){return/firefox/i.test(navigator.userAgent)})),p=i((function(){return Boolean(window.safari)}));function u(e,n){for(var t=0;te))return t[l];p=l-1}}var c=e-n[o=Math.max(0,p)],_=c*c;return t[o]+r[o]*c+i[o]*_+a[o]*c*_}}])&&u(n.prototype,t),e}();function d(e){var n=1===e.nodeType?e:e.parentElement;if(!n)return null;var t=n.getBoundingClientRect(),r=t.top;return{x:t.left,y:r}}function f(e){return{x:e.clientX,y:e.clientY}}var y,h="__NATIVE_FILE__",m="__NATIVE_URL__",x="__NATIVE_TEXT__",g="__NATIVE_HTML__";function v(e,n,t){var r=n.reduce((function(n,t){return n||e.getData(t)}),"");return null!=r?r:t}function b(e,n,t){return n in e?Object.defineProperty(e,n,{value:t,enumerable:!0,configurable:!0,writable:!0}):e[n]=t,e}var w=(b(y={},h,{exposeProperties:{files:function(e){return Array.prototype.slice.call(e.files)},items:function(e){return e.items}},matchesTypes:["Files"]}),b(y,g,{exposeProperties:{html:function(e,n){return v(e,n,"")}},matchesTypes:["Html","text/html"]}),b(y,m,{exposeProperties:{urls:function(e,n){return v(e,n,"").split("\n")}},matchesTypes:["Url","text/uri-list"]}),b(y,x,{exposeProperties:{text:function(e,n){return v(e,n,"")}},matchesTypes:["Text","text/plain"]}),y);function H(e,n){for(var t=0;t-1}))}))[0]||null}function E(e,n){for(var t=0;t0&&i.actions.hover(n,{clientOffset:f(e)}),n.some((function(e){return i.monitor.canDropOnTarget(e)}))&&(e.preventDefault(),e.dataTransfer&&(e.dataTransfer.dropEffect=i.getCurrentDropEffect())))})),q(this,"handleTopDragOverCapture",(function(){i.dragOverTargetIds=[]})),q(this,"handleTopDragOver",(function(e){var n=i.dragOverTargetIds;if(i.dragOverTargetIds=[],!i.monitor.isDragging())return e.preventDefault(),void(e.dataTransfer&&(e.dataTransfer.dropEffect="none"));i.altKeyPressed=e.altKey,i.actions.hover(n||[],{clientOffset:f(e)}),(n||[]).some((function(e){return i.monitor.canDropOnTarget(e)}))?(e.preventDefault(),e.dataTransfer&&(e.dataTransfer.dropEffect=i.getCurrentDropEffect())):i.isDraggingNativeItem()?e.preventDefault():(e.preventDefault(),e.dataTransfer&&(e.dataTransfer.dropEffect="none"))})),q(this,"handleTopDragLeaveCapture",(function(e){i.isDraggingNativeItem()&&e.preventDefault(),i.enterLeaveCounter.leave(e.target)&&i.isDraggingNativeItem()&&setTimeout((function(){return i.endDragNativeItem()}),0)})),q(this,"handleTopDropCapture",(function(e){var n;i.dropTargetIds=[],i.isDraggingNativeItem()?(e.preventDefault(),null===(n=i.currentNativeSource)||void 0===n||n.loadDataTransfer(e.dataTransfer)):S(e.dataTransfer)&&e.preventDefault(),i.enterLeaveCounter.reset()})),q(this,"handleTopDrop",(function(e){var n=i.dropTargetIds;i.dropTargetIds=[],i.actions.hover(n,{clientOffset:f(e)}),i.actions.drop({dropEffect:i.getCurrentDropEffect()}),i.isDraggingNativeItem()?i.endDragNativeItem():i.monitor.isDragging()&&i.actions.endDrag()})),q(this,"handleSelectStart",(function(e){var n=e.target;"function"==typeof n.dragDrop&&("INPUT"===n.tagName||"SELECT"===n.tagName||"TEXTAREA"===n.tagName||n.isContentEditable||(e.preventDefault(),n.dragDrop()))})),this.options=new C(t,r),this.actions=n.getActions(),this.monitor=n.getMonitor(),this.registry=n.getRegistry(),this.enterLeaveCounter=new l(this.isNodeInDocument)}var n,t;return n=e,(t=[{key:"profile",value:function(){var e,n;return{sourcePreviewNodes:this.sourcePreviewNodes.size,sourcePreviewNodeOptions:this.sourcePreviewNodeOptions.size,sourceNodeOptions:this.sourceNodeOptions.size,sourceNodes:this.sourceNodes.size,dragStartSourceIds:(null===(e=this.dragStartSourceIds)||void 0===e?void 0:e.length)||0,dropTargetIds:this.dropTargetIds.length,dragEnterTargetIds:this.dragEnterTargetIds.length,dragOverTargetIds:(null===(n=this.dragOverTargetIds)||void 0===n?void 0:n.length)||0}}},{key:"window",get:function(){return this.options.window}},{key:"document",get:function(){return this.options.document}},{key:"rootElement",get:function(){return this.options.rootElement}},{key:"setup",value:function(){var e=this.rootElement;if(void 0!==e){if(e.__isReactDndBackendSetUp)throw new Error("Cannot have two HTML5 backends at the same time.");e.__isReactDndBackendSetUp=!0,this.addEventListeners(e)}}},{key:"teardown",value:function(){var e,n=this.rootElement;void 0!==n&&(n.__isReactDndBackendSetUp=!1,this.removeEventListeners(this.rootElement),this.clearCurrentDragSourceNode(),this.asyncEndDragFrameId&&(null===(e=this.window)||void 0===e||e.cancelAnimationFrame(this.asyncEndDragFrameId)))}},{key:"connectDragPreview",value:function(e,n,t){var r=this;return this.sourcePreviewNodeOptions.set(e,t),this.sourcePreviewNodes.set(e,n),function(){r.sourcePreviewNodes.delete(e),r.sourcePreviewNodeOptions.delete(e)}}},{key:"connectDragSource",value:function(e,n,t){var r=this;this.sourceNodes.set(e,n),this.sourceNodeOptions.set(e,t);var i=function(n){return r.handleDragStart(n,e)},a=function(e){return r.handleSelectStart(e)};return n.setAttribute("draggable","true"),n.addEventListener("dragstart",i),n.addEventListener("selectstart",a),function(){r.sourceNodes.delete(e),r.sourceNodeOptions.delete(e),n.removeEventListener("dragstart",i),n.removeEventListener("selectstart",a),n.setAttribute("draggable","false")}}},{key:"connectDropTarget",value:function(e,n){var t=this,r=function(n){return t.handleDragEnter(n,e)},i=function(n){return t.handleDragOver(n,e)},a=function(n){return t.handleDrop(n,e)};return n.addEventListener("dragenter",r),n.addEventListener("dragover",i),n.addEventListener("drop",a),function(){n.removeEventListener("dragenter",r),n.removeEventListener("dragover",i),n.removeEventListener("drop",a)}}},{key:"addEventListeners",value:function(e){e.addEventListener&&(e.addEventListener("dragstart",this.handleTopDragStart),e.addEventListener("dragstart",this.handleTopDragStartCapture,!0),e.addEventListener("dragend",this.handleTopDragEndCapture,!0),e.addEventListener("dragenter",this.handleTopDragEnter),e.addEventListener("dragenter",this.handleTopDragEnterCapture,!0),e.addEventListener("dragleave",this.handleTopDragLeaveCapture,!0),e.addEventListener("dragover",this.handleTopDragOver),e.addEventListener("dragover",this.handleTopDragOverCapture,!0),e.addEventListener("drop",this.handleTopDrop),e.addEventListener("drop",this.handleTopDropCapture,!0))}},{key:"removeEventListeners",value:function(e){e.removeEventListener&&(e.removeEventListener("dragstart",this.handleTopDragStart),e.removeEventListener("dragstart",this.handleTopDragStartCapture,!0),e.removeEventListener("dragend",this.handleTopDragEndCapture,!0),e.removeEventListener("dragenter",this.handleTopDragEnter),e.removeEventListener("dragenter",this.handleTopDragEnterCapture,!0),e.removeEventListener("dragleave",this.handleTopDragLeaveCapture,!0),e.removeEventListener("dragover",this.handleTopDragOver),e.removeEventListener("dragover",this.handleTopDragOverCapture,!0),e.removeEventListener("drop",this.handleTopDrop),e.removeEventListener("drop",this.handleTopDropCapture,!0))}},{key:"getCurrentSourceNodeOptions",value:function(){var e=this.monitor.getSourceId(),n=this.sourceNodeOptions.get(e);return P({dropEffect:this.altKeyPressed?"copy":"move"},n||{})}},{key:"getCurrentDropEffect",value:function(){return this.isDraggingNativeItem()?"copy":this.getCurrentSourceNodeOptions().dropEffect}},{key:"getCurrentSourcePreviewNodeOptions",value:function(){var e=this.monitor.getSourceId();return P({anchorX:.5,anchorY:.5,captureDraggingState:!1},this.sourcePreviewNodeOptions.get(e)||{})}},{key:"isDraggingNativeItem",value:function(){var e=this.monitor.getItemType();return Object.keys(r).some((function(n){return r[n]===e}))}},{key:"beginDragNativeItem",value:function(e,n){this.clearCurrentDragSourceNode(),this.currentNativeSource=function(e,n){var t=new A(w[e]);return t.loadDataTransfer(n),t}(e,n),this.currentNativeHandle=this.registry.addSource(e,this.currentNativeSource),this.actions.beginDrag([this.currentNativeHandle])}},{key:"setCurrentDragSourceNode",value:function(e){var n=this;this.clearCurrentDragSourceNode(),this.currentDragSourceNode=e,this.mouseMoveTimeoutTimer=setTimeout((function(){var e;return null===(e=n.rootElement)||void 0===e?void 0:e.addEventListener("mousemove",n.endDragIfSourceWasRemovedFromDOM,!0)}),1e3)}},{key:"clearCurrentDragSourceNode",value:function(){var e;return!!this.currentDragSourceNode&&(this.currentDragSourceNode=null,this.rootElement&&(null===(e=this.window)||void 0===e||e.clearTimeout(this.mouseMoveTimeoutTimer||void 0),this.rootElement.removeEventListener("mousemove",this.endDragIfSourceWasRemovedFromDOM,!0)),this.mouseMoveTimeoutTimer=null,!0)}},{key:"handleDragStart",value:function(e,n){e.defaultPrevented||(this.dragStartSourceIds||(this.dragStartSourceIds=[]),this.dragStartSourceIds.unshift(n))}},{key:"handleDragEnter",value:function(e,n){this.dragEnterTargetIds.unshift(n)}},{key:"handleDragOver",value:function(e,n){null===this.dragOverTargetIds&&(this.dragOverTargetIds=[]),this.dragOverTargetIds.unshift(n)}},{key:"handleDrop",value:function(e,n){this.dropTargetIds.unshift(n)}}])&&D(n.prototype,t),e}(),I=function(e,n,t){return new O(e,n,t)}},4566:(e,n,t)=>{"use strict";t.d(n,{L:()=>r});var r=(0,t(7294).createContext)({dragDropManager:void 0})},1365:(e,n,t)=>{"use strict";t.d(n,{W:()=>an});var r=t(5893),i=t(7294),a=t(8195),o="dnd-core/INIT_COORDS",l="dnd-core/BEGIN_DRAG",s="dnd-core/PUBLISH_DRAG_SOURCE",p="dnd-core/HOVER",u="dnd-core/DROP",c="dnd-core/END_DRAG";function _(e,n){return{type:o,payload:{sourceClientOffset:n||null,clientOffset:e||null}}}function d(e){return d="function"==typeof Symbol&&"symbol"==typeof Symbol.iterator?function(e){return typeof e}:function(e){return e&&"function"==typeof Symbol&&e.constructor===Symbol&&e!==Symbol.prototype?"symbol":typeof e},d(e)}function f(e,n,t){return n.split(".").reduce((function(e,n){return e&&e[n]?e[n]:t||null}),e)}function y(e,n){return e.filter((function(e){return e!==n}))}function h(e){return"object"===d(e)}function m(e,n){var t=new Map,r=function(e){t.set(e,t.has(e)?t.get(e)+1:1)};e.forEach(r),n.forEach(r);var i=[];return t.forEach((function(e,n){1===e&&i.push(n)})),i}var x={type:o,payload:{clientOffset:null,sourceClientOffset:null}};function g(e){return function(){var n=arguments.length>0&&void 0!==arguments[0]?arguments[0]:[],t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{publishSource:!0},r=t.publishSource,i=void 0===r||r,a=t.clientOffset,o=t.getSourceClientOffset,s=e.getMonitor(),p=e.getRegistry();e.dispatch(_(a)),v(n,s,p);var u=H(n,s);if(null!==u){var c=null;if(a){if(!o)throw new Error("getSourceClientOffset must be defined");b(o),c=o(u)}e.dispatch(_(a,c));var d=p.getSource(u),f=d.beginDrag(s,u);if(null!=f){w(f),p.pinSource(u);var y=p.getSourceType(u);return{type:l,payload:{itemType:y,item:f,sourceId:u,clientOffset:a||null,sourceClientOffset:c||null,isSourcePublic:!!i}}}}else e.dispatch(x)}}function v(e,n,t){(0,a.k)(!n.isDragging(),"Cannot call beginDrag while dragging."),e.forEach((function(e){(0,a.k)(t.getSource(e),"Expected sourceIds to be registered.")}))}function b(e){(0,a.k)("function"==typeof e,"When clientOffset is provided, getSourceClientOffset must be a function.")}function w(e){(0,a.k)(h(e),"Item must be an object.")}function H(e,n){for(var t=null,r=e.length-1;r>=0;r--)if(n.canDragSource(e[r])){t=e[r];break}return t}function k(e){return function(){if(e.getMonitor().isDragging())return{type:s}}}function A(e,n){return null===n?null===e:Array.isArray(e)?e.some((function(e){return e===n})):e===n}function S(e){return function(n){var t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{},r=t.clientOffset;E(n);var i=n.slice(0),a=e.getMonitor(),o=e.getRegistry();T(i,a,o);var l=a.getItemType();return C(i,o,l),j(i,a,o),{type:p,payload:{targetIds:i,clientOffset:r||null}}}}function E(e){(0,a.k)(Array.isArray(e),"Expected targetIds to be an array.")}function T(e,n,t){(0,a.k)(n.isDragging(),"Cannot call hover while not dragging."),(0,a.k)(!n.didDrop(),"Cannot call hover after drop.");for(var r=0;r=0;r--){var i=e[r];A(n.getTargetType(i),t)||e.splice(r,1)}}function j(e,n,t){e.forEach((function(e){t.getTarget(e).hover(n,e)}))}function P(e,n){var t=Object.keys(e);if(Object.getOwnPropertySymbols){var r=Object.getOwnPropertySymbols(e);n&&(r=r.filter((function(n){return Object.getOwnPropertyDescriptor(e,n).enumerable}))),t.push.apply(t,r)}return t}function D(e){for(var n=1;n0&&void 0!==arguments[0]?arguments[0]:{},t=e.getMonitor(),r=e.getRegistry();I(t);var i=L(t);i.forEach((function(i,a){var o=U(i,a,r,t),l={type:u,payload:{dropResult:D(D({},n),o)}};e.dispatch(l)}))}}function I(e){(0,a.k)(e.isDragging(),"Cannot call drop while not dragging."),(0,a.k)(!e.didDrop(),"Cannot call drop twice during one drag operation.")}function U(e,n,t,r){var i=t.getTarget(e),o=i?i.drop(r,e):void 0;return function(e){(0,a.k)(void 0===e||h(e),"Drop result must either be an object or undefined.")}(o),void 0===o&&(o=0===n?{}:r.getDropResult()),o}function L(e){var n=e.getTargetIds().filter(e.canDropOnTarget,e);return n.reverse(),n}function z(e){return function(){var n=e.getMonitor(),t=e.getRegistry();!function(e){(0,a.k)(e.isDragging(),"Cannot call endDrag while not dragging.")}(n);var r=n.getSourceId();return null!=r&&(t.getSource(r,!0).endDrag(n,r),t.unpinSource()),{type:c}}}function N(e,n){for(var t=0;t0;r.backend&&(e&&!r.isSetUp?(r.backend.setup(),r.isSetUp=!0):!e&&r.isSetUp&&(r.backend.teardown(),r.isSetUp=!1))})),this.store=n,this.monitor=t,n.subscribe(this.handleRefCountChange)}var n,t;return n=e,t=[{key:"receiveBackend",value:function(e){this.backend=e}},{key:"getMonitor",value:function(){return this.monitor}},{key:"getBackend",value:function(){return this.backend}},{key:"getRegistry",value:function(){return this.monitor.registry}},{key:"getActions",value:function(){var e=this,n=this.store.dispatch,t=function(e){return{beginDrag:g(e),publishDragSource:k(e),hover:S(e),drop:O(e),endDrag:z(e)}}(this);return Object.keys(t).reduce((function(r,i){var a,o=t[i];return r[i]=(a=o,function(){for(var t=arguments.length,r=new Array(t),i=0;i2&&void 0!==arguments[2]?arguments[2]:V;if(e.length!==n.length)return!1;for(var r=0;r0&&void 0!==arguments[0]?arguments[0]:ee,n=arguments.length>1?arguments[1]:void 0,t=n.payload;switch(n.type){case o:case l:return{initialSourceClientOffset:t.sourceClientOffset,initialClientOffset:t.clientOffset,clientOffset:t.clientOffset};case p:return Y(e.clientOffset,t.clientOffset)?e:K(K({},e),{},{clientOffset:t.clientOffset});case c:case u:return ee;default:return e}}var te="dnd-core/ADD_SOURCE",re="dnd-core/ADD_TARGET",ie="dnd-core/REMOVE_SOURCE",ae="dnd-core/REMOVE_TARGET";function oe(e,n){var t=Object.keys(e);if(Object.getOwnPropertySymbols){var r=Object.getOwnPropertySymbols(e);n&&(r=r.filter((function(n){return Object.getOwnPropertyDescriptor(e,n).enumerable}))),t.push.apply(t,r)}return t}function le(e){for(var n=1;n0&&void 0!==arguments[0]?arguments[0]:pe,n=arguments.length>1?arguments[1]:void 0,t=n.payload;switch(n.type){case l:return le(le({},e),{},{itemType:t.itemType,item:t.item,sourceId:t.sourceId,isSourcePublic:t.isSourcePublic,dropResult:null,didDrop:!1});case s:return le(le({},e),{},{isSourcePublic:!0});case p:return le(le({},e),{},{targetIds:t.targetIds});case ae:return-1===e.targetIds.indexOf(t.targetId)?e:le(le({},e),{},{targetIds:y(e.targetIds,t.targetId)});case u:return le(le({},e),{},{dropResult:t.dropResult,didDrop:!0,targetIds:[]});case c:return le(le({},e),{},{itemType:null,item:null,sourceId:null,dropResult:null,didDrop:!1,isSourcePublic:null,targetIds:[]});default:return e}}function ce(){var e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:0,n=arguments.length>1?arguments[1]:void 0;switch(n.type){case te:case re:return e+1;case ie:case ae:return e-1;default:return e}}var _e=[],de=[];function fe(e,n){return e!==_e&&(e===de||void 0===n||(t=e,n.filter((function(e){return t.indexOf(e)>-1}))).length>0);var t}function ye(){var e=arguments.length>1?arguments[1]:void 0;switch(e.type){case p:break;case te:case re:case ae:case ie:return _e;default:return de}var n=e.payload,t=n.targetIds,r=void 0===t?[]:t,i=n.prevTargetIds,a=void 0===i?[]:i,o=m(r,a),l=o.length>0||!W(r,a);if(!l)return _e;var s=a[a.length-1],u=r[r.length-1];return s!==u&&(s&&o.push(s),u&&o.push(u)),o}function he(){var e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:0;return e+1}function me(e,n){var t=Object.keys(e);if(Object.getOwnPropertySymbols){var r=Object.getOwnPropertySymbols(e);n&&(r=r.filter((function(n){return Object.getOwnPropertyDescriptor(e,n).enumerable}))),t.push.apply(t,r)}return t}function xe(e){for(var n=1;n0&&void 0!==arguments[0]?arguments[0]:{},n=arguments.length>1?arguments[1]:void 0;return{dirtyHandlerIds:ye(e.dirtyHandlerIds,{type:n.type,payload:xe(xe({},n.payload),{},{prevTargetIds:f(e,"dragOperation.targetIds",[])})}),dragOffset:ne(e.dragOffset,n),refCount:ce(e.refCount,n),dragOperation:ue(e.dragOperation,n),stateId:he(e.stateId)}}function be(e,n){return{x:e.x-n.x,y:e.y-n.y}}function we(e,n){for(var t=0;t1&&void 0!==arguments[1]?arguments[1]:{handlerIds:void 0},r=t.handlerIds;(0,a.k)("function"==typeof e,"listener must be a function."),(0,a.k)(void 0===r||Array.isArray(r),"handlerIds, when specified, must be an array of strings.");var i=this.store.getState().stateId,o=function(){var t=n.store.getState(),a=t.stateId;try{a===i||a===i+1&&!fe(t.dirtyHandlerIds,r)||e()}finally{i=a}};return this.store.subscribe(o)}},{key:"subscribeToOffsetChange",value:function(e){var n=this;(0,a.k)("function"==typeof e,"listener must be a function.");var t=this.store.getState().dragOffset;return this.store.subscribe((function(){var r=n.store.getState().dragOffset;r!==t&&(t=r,e())}))}},{key:"canDragSource",value:function(e){if(!e)return!1;var n=this.registry.getSource(e);return(0,a.k)(n,"Expected to find a valid source. sourceId=".concat(e)),!this.isDragging()&&n.canDrag(this,e)}},{key:"canDropOnTarget",value:function(e){if(!e)return!1;var n=this.registry.getTarget(e);return(0,a.k)(n,"Expected to find a valid target. targetId=".concat(e)),!(!this.isDragging()||this.didDrop())&&A(this.registry.getTargetType(e),this.getItemType())&&n.canDrop(this,e)}},{key:"isDragging",value:function(){return Boolean(this.getItemType())}},{key:"isDraggingSource",value:function(e){if(!e)return!1;var n=this.registry.getSource(e,!0);return(0,a.k)(n,"Expected to find a valid source. sourceId=".concat(e)),!(!this.isDragging()||!this.isSourcePublic())&&this.registry.getSourceType(e)===this.getItemType()&&n.isDragging(this,e)}},{key:"isOverTarget",value:function(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{shallow:!1};if(!e)return!1;var t=n.shallow;if(!this.isDragging())return!1;var r=this.registry.getTargetType(e),i=this.getItemType();if(i&&!A(r,i))return!1;var a=this.getTargetIds();if(!a.length)return!1;var o=a.indexOf(e);return t?o===a.length-1:o>-1}},{key:"getItemType",value:function(){return this.store.getState().dragOperation.itemType}},{key:"getItem",value:function(){return this.store.getState().dragOperation.item}},{key:"getSourceId",value:function(){return this.store.getState().dragOperation.sourceId}},{key:"getTargetIds",value:function(){return this.store.getState().dragOperation.targetIds}},{key:"getDropResult",value:function(){return this.store.getState().dragOperation.dropResult}},{key:"didDrop",value:function(){return this.store.getState().dragOperation.didDrop}},{key:"isSourcePublic",value:function(){return Boolean(this.store.getState().dragOperation.isSourcePublic)}},{key:"getInitialClientOffset",value:function(){return this.store.getState().dragOffset.initialClientOffset}},{key:"getInitialSourceClientOffset",value:function(){return this.store.getState().dragOffset.initialSourceClientOffset}},{key:"getClientOffset",value:function(){return this.store.getState().dragOffset.clientOffset}},{key:"getSourceClientOffset",value:function(){return r=(e=this.store.getState().dragOffset).clientOffset,i=e.initialClientOffset,a=e.initialSourceClientOffset,r&&i&&a?be((t=a,{x:(n=r).x+t.x,y:n.y+t.y}),i):null;var e,n,t,r,i,a}},{key:"getDifferenceFromInitialOffset",value:function(){return n=(e=this.store.getState().dragOffset).clientOffset,t=e.initialClientOffset,n&&t?be(n,t):null;var e,n,t}}],t&&we(n.prototype,t),e}(),Se=0;function Ee(e){return Ee="function"==typeof Symbol&&"symbol"==typeof Symbol.iterator?function(e){return typeof e}:function(e){return e&&"function"==typeof Symbol&&e.constructor===Symbol&&e!==Symbol.prototype?"symbol":typeof e},Ee(e)}function Te(e,n){n&&Array.isArray(e)?e.forEach((function(e){return Te(e,!1)})):(0,a.k)("string"==typeof e||"symbol"===Ee(e),n?"Type can only be a string, a symbol, or an array of either.":"Type can only be a string or a symbol.")}function Ce(e){Pe.length||je(),Pe[Pe.length]=e}!function(e){e.SOURCE="SOURCE",e.TARGET="TARGET"}(ke||(ke={}));var je,Pe=[],De=0;function qe(){for(;De1024){for(var n=0,t=Pe.length-De;ne.length)&&(n=e.length);for(var t=0,r=new Array(n);t1&&void 0!==arguments[1]&&arguments[1];(0,a.k)(this.isSourceId(e),"Expected a valid source ID.");var t=n&&e===this.pinnedSourceId,r=t?this.pinnedSource:this.dragSources.get(e);return r}},{key:"getTarget",value:function(e){return(0,a.k)(this.isTargetId(e),"Expected a valid target ID."),this.dropTargets.get(e)}},{key:"getSourceType",value:function(e){return(0,a.k)(this.isSourceId(e),"Expected a valid source ID."),this.types.get(e)}},{key:"getTargetType",value:function(e){return(0,a.k)(this.isTargetId(e),"Expected a valid target ID."),this.types.get(e)}},{key:"isSourceId",value:function(e){return Ve(e)===ke.SOURCE}},{key:"isTargetId",value:function(e){return Ve(e)===ke.TARGET}},{key:"removeSource",value:function(e){var n=this;(0,a.k)(this.getSource(e),"Expected an existing source."),this.store.dispatch(function(e){return{type:ie,payload:{sourceId:e}}}(e)),Me((function(){n.dragSources.delete(e),n.types.delete(e)}))}},{key:"removeTarget",value:function(e){(0,a.k)(this.getTarget(e),"Expected an existing target."),this.store.dispatch(function(e){return{type:ae,payload:{targetId:e}}}(e)),this.dropTargets.delete(e),this.types.delete(e)}},{key:"pinSource",value:function(e){var n=this.getSource(e);(0,a.k)(n,"Expected an existing source."),this.pinnedSourceId=e,this.pinnedSource=n}},{key:"unpinSource",value:function(){(0,a.k)(this.pinnedSource,"No source is pinned at the time."),this.pinnedSourceId=null,this.pinnedSource=null}},{key:"addHandler",value:function(e,n,t){var r=function(e){var n=(Se++).toString();switch(e){case ke.SOURCE:return"S".concat(n);case ke.TARGET:return"T".concat(n);default:throw new Error("Unknown Handler Role: ".concat(e))}}(e);return this.types.set(r,n),e===ke.SOURCE?this.dragSources.set(r,t):e===ke.TARGET&&this.dropTargets.set(r,t),r}}],t&&Ze(n.prototype,t),e}();function Ge(e){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:void 0,t=arguments.length>2&&void 0!==arguments[2]?arguments[2]:{},r=arguments.length>3&&void 0!==arguments[3]&&arguments[3],i=Ke(r),a=new Ae(i,new We(i)),o=new B(i,a),l=e(o,n,t);return o.receiveBackend(l),o}function Ke(e){var n="undefined"!=typeof window&&window.__REDUX_DEVTOOLS_EXTENSION__;return $(ve,e&&n&&n({name:"dnd-core",instanceId:"dnd-core"}))}var Je=t(4566),en=["children"];function nn(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t1&&void 0!==arguments[1]?arguments[1]:on(),t=arguments.length>2?arguments[2]:void 0,r=arguments.length>3?arguments[3]:void 0,i=n;return i[rn]||(i[rn]={dragDropManager:Ge(e,n,t,r)}),i[rn]}(e.backend,e.context,e.options,e.debugMode);return[n,!e.context]}(function(e,n){if(null==e)return{};var t,r,i=function(e,n){if(null==e)return{};var t,r,i={},a=Object.keys(e);for(r=0;r=0||(i[t]=e[t]);return i}(e,n);if(Object.getOwnPropertySymbols){var a=Object.getOwnPropertySymbols(e);for(r=0;r=0||Object.prototype.propertyIsEnumerable.call(e,t)&&(i[t]=e[t])}return i}(e,en)),l=(t=2,function(e){if(Array.isArray(e))return e}(n=o)||function(e,n){var t=null==e?null:"undefined"!=typeof Symbol&&e[Symbol.iterator]||e["@@iterator"];if(null!=t){var r,i,a=[],o=!0,l=!1;try{for(t=t.call(e);!(o=(r=t.next()).done)&&(a.push(r.value),!n||a.length!==n);o=!0);}catch(e){l=!0,i=e}finally{try{o||null==t.return||t.return()}finally{if(l)throw i}}return a}}(n,t)||function(e,n){if(e){if("string"==typeof e)return nn(e,n);var t=Object.prototype.toString.call(e).slice(8,-1);return"Object"===t&&e.constructor&&(t=e.constructor.name),"Map"===t||"Set"===t?Array.from(e):"Arguments"===t||/^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(t)?nn(e,n):void 0}}(n,t)||function(){throw new TypeError("Invalid attempt to destructure non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.")}()),s=l[0],p=l[1];return(0,i.useEffect)((function(){if(p){var e=on();return++tn,function(){0==--tn&&(e[rn]=null)}}}),[]),(0,r.jsx)(Je.L.Provider,Object.assign({value:s},{children:a}),void 0)}));function on(){return void 0!==t.g?t.g:window}},7137:(e,n,t)=>{"use strict";t.d(n,{J:()=>u});var r=t(4141),i=t(4063),a=t.n(i),o=t(7294);function l(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);te.length)&&(n=e.length);for(var t=0,r=new Array(n);t{"use strict";t.d(n,{c:()=>C});var r=t(5934),i=t(4141),a=t(7294);function o(e){return o="function"==typeof Symbol&&"symbol"==typeof Symbol.iterator?function(e){return typeof e}:function(e){return e&&"function"==typeof Symbol&&e.constructor===Symbol&&e!==Symbol.prototype?"symbol":typeof e},o(e)}function l(e,n){for(var t=0;te.length)&&(n=e.length);for(var t=0,r=new Array(n);t{"use strict";t.d(n,{N:()=>o});var r=t(7294),i=t(8195),a=t(4566);function o(){var e=(0,r.useContext)(a.L).dragDropManager;return(0,i.k)(null!=e,"Expected drag drop context"),e}},9240:(e,n,t)=>{"use strict";t.d(n,{L:()=>S});var r=t(5934),i=t(917),a=t(4141),o=t(8195),l=t(7294);function s(e,n){for(var t=0;te.length)&&(n=e.length);for(var t=0,r=new Array(n);t{"use strict";t.d(n,{L:()=>i});var r=t(7294),i="undefined"!=typeof window?r.useLayoutEffect:r.useEffect},7617:(e,n,t)=>{"use strict";t.d(n,{w:()=>a});var r=t(7294);function i(e,n){(null==n||n>e.length)&&(n=e.length);for(var t=0,r=new Array(n);t{"use strict";function r(e){return r="function"==typeof Symbol&&"symbol"==typeof Symbol.iterator?function(e){return typeof e}:function(e){return e&&"function"==typeof Symbol&&e.constructor===Symbol&&e!==Symbol.prototype?"symbol":typeof e},r(e)}function i(e){return null!==e&&"object"===r(e)&&Object.prototype.hasOwnProperty.call(e,"current")}t.d(n,{d:()=>i})},5934:(e,n,t)=>{"use strict";function r(e,n,t){var r=t.getRegistry(),i=r.addTarget(e,n);return[i,function(){return r.removeTarget(i)}]}function i(e,n,t){var r=t.getRegistry(),i=r.addSource(e,n);return[i,function(){return r.removeSource(i)}]}t.d(n,{n:()=>r,w:()=>i})},898:(e,n,t)=>{"use strict";t.d(n,{p:()=>o});var r=t(8195),i=t(7294);function a(e){if("string"!=typeof e.type){var n=e.type.displayName||e.type.name||"the component";throw new Error("Only native element nodes can now be passed to React DnD connectors."+"You can either wrap ".concat(n," into a
, or turn it into a ")+"drag source or a drop target itself.")}}function o(e){var n={};return Object.keys(e).forEach((function(t){var r=e[t];if(t.endsWith("Ref"))n[t]=e[t];else{var o=function(e){return function(){var n=arguments.length>0&&void 0!==arguments[0]?arguments[0]:null,t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:null;if(!(0,i.isValidElement)(n)){var r=n;return e(r,t),r}var o=n;a(o);var l=t?function(n){return e(n,t)}:e;return s(o,l)}}(r);n[t]=function(){return o}}})),n}function l(e,n){"function"==typeof e?e(n):e.current=n}function s(e,n){var t=e.ref;return(0,r.k)("string"!=typeof t,"Cannot connect React DnD to an element with an existing string ref. Please convert it to use a callback ref instead, or wrap it into a or
. Read more: https://reactjs.org/docs/refs-and-the-dom.html#callback-refs"),t?(0,i.cloneElement)(e,{ref:function(e){l(t,e),l(n,e)}}):(0,i.cloneElement)(e,{ref:n})}},4448:(e,n,t)=>{"use strict";var r=t(7294),i=t(7418),a=t(3840);function o(e){for(var n="https://reactjs.org/docs/error-decoder.html?invariant="+e,t=1;t