"use strict"; // Virtual machine let has = x => x!==undefined; let isnum = x => typeof x === "number" let isfunc = x => typeof x === "function" let call = (f,x,w) => { if (x===undefined) return x; if (!isfunc(f)) return f; if (f.m) throw Error("Runtime: Cannot call modifier as function"); return f(x, w); } let getv= (a,i) => { let v=a[i]; if (v===null) throw Error("Runtime: Variable referenced before definition"); return v; } let get = x => x.e ? getv(x.e,x.p) : arr(x.map(c=>get(c)), x.sh); let set = (d, id, v) => { let eq = (a,b) => a.length===b.length && a.every((e,i)=>e===b[i]); if (id.e) { if (!d && id.e[id.p]===null) throw Error("↩: Variable modified before definition"); id.e[id.p] = v; } else { if (!v.sh) throw Error("← or ↩: Multiple targets but atomic value"); if (!eq(id.sh,v.sh)) throw Error("← or ↩: Target and value shapes don't match"); id.map((n,j)=>set(d,n,v[j])); } return v; } let chkM = (v,m) => { if (m.m!==v) throw Error("Runtime: Only a "+v+"-modifier can be called as a "+v+"-modifier"); } let genjs = (B, p, L) => { // Bytecode -> Javascript compiler let rD = 0; let r = L?"let l=0;try{":""; let fin = L?"}catch(e){let s=L.map(p=>p[l]);s.sh=[1,2];let m=[s,e.message];m.loc=true;m.sh=[2];e.message=m;throw e;}":""; let szM = 1; let rV = n => { szM=Math.max(szM,n+1); return 'v'+n; }; let rP = val => rV(rD++) + "="+val+";"; let rG = () => rV(--rD); let num = () => { return B[p++]; } let ge = n => "e"+".p".repeat(n); loop: while(true) { r+="\n"; if (p>B.length) throw Error("Internal compiler error: Unclosed function"); if (L) r+="l="+p+";"; switch(B[p++]) { case 0: { r+= rP("O["+num()+"]"); break; } case 3: case 4: { let n=num(); rD-= n; r+=rP("llst(["+(new Array(n).fill().map((_,i)=>rV(rD+i)).join(","))+"])"); break; } case 5: case 16: { let f=rG(),x=rG(); r+=rP("call("+f+","+x +")"); break; } case 6: case 17: { let w=rG(),f=rG(),x=rG(); r+=rP("call("+f+","+x+","+w+")"); break; } case 7: { let f=rG(),m=rG(); r+="chkM(1,"+m+");"+rP(m+"("+f +")"); break; } case 8: { let f=rG(),m=rG(),g=rG(); r+="chkM(2,"+m+");"+rP(m+"("+f+","+g+")"); break; } case 9: { let g=rG(),h=rG(); r+=rP("train2(" +g+","+h+")"); break; } case 10:case 19: { let f=rG(),g=rG(),h=rG(); r+=rP("train3("+f+","+g+","+h+")"); break; } case 11: { let i=rG(), v=rG(); r+=rP("set(1,"+i+","+v +")"); break; } case 12: { let i=rG(), v=rG(); r+=rP("set(0,"+i+","+v +")"); break; } case 13: { let i=rG(),f=rG(),x=rG(); r+=rP("set(0,"+i+",call("+f+","+x+",get("+i+")))"); break; } case 14: { rD--; break; } case 15: { r+= rP("D["+num()+"](e)"); break; } case 21:case 31: { r+= rP("getv("+ge(num())+","+num()+")"); break; } case 22: { r+= rP("{e:"+ge(num())+",p:"+num()+"}"); break; } case 25: { if(rD!==1) throw Error("Internal compiler error: Wrong stack size"); r+= "return v0;"; break loop; } } } return "let "+new Array(szM).fill().map((_,i)=>rV(i)).join(',')+";"+r+fin; } let run = (B,O,S,L) => { // Bytecode, Objects, Sections/blocks let train2=( g,h)=>{ let t=(x,w)=>call(g,call(h,x,w)); t.repr=()=>[2, g,h];return t;} let train3=(f,g,h)=>{if(!has(f))return train2(g,h);let t=(x,w)=>call(g,call(h,x,w),call(f,x,w));t.repr=()=>[3,f,g,h];return t;} let D = S.map(([type,imm,pos,varam],i) => { let I = imm? 0 : 3; // Operand start let def = new Array(I + (type==0?0:type+1) + varam).fill(null); let c = genjs(B, pos, L); let repdf = ["","4,f,mod","5,f,mod,g"].map(s=>s?"fn.repr=()=>["+s+"];":s); if (imm) c = "const e=[...e2];e.p=oe;"+c; else c = "const fn=(x, w)=>{const e=[...e2];e.p=oe;e[0]=fn;e[1]=x;e[2]=w;"+c+"};"+repdf[type]+"return fn;"; if (type===0) c = "let e2=def;"+c; if (type===1) c = "const mod=(f ) => {let e2=[...def]; e2["+I+"]=mod;e2["+(I+1)+"]=f;" +c+"}; mod.m=1;return mod;"; if (type===2) c = "const mod=(f,g) => {let e2=[...def]; e2["+I+"]=mod;e2["+(I+1)+"]=f;e2["+(I+2)+"]=g;"+c+"}; mod.m=2;return mod;"; return Function("'use strict'; return (chkM,has,call,getv,get,set,llst,train2,train3,O,L,def) => D => oe => {"+c+"};")() (chkM,has,call,getv,get,set,llst,train2,train3,O,L,def); }); D.forEach((d,i) => {D[i]=d(D)}); return D[0]([]); } // Runtime let assertFn = pre => (x,w) => { if (x!==1) throw {src:pre, message:w}; return x; } let arr = (r,sh,fill) => {r.sh=sh;r.fill=fill;return r;} let list = (l,fill) => arr(l,[l.length],fill); let llst = l => list(l, l.length>0&&l.every(isnum)?0:undefined); let str = s => list(Array.from(s), ' '); let unstr = s => s.join(""); let setrepr = (r,f) => {f.repr=r; return f;} let ctrans = (c,t) => String.fromCodePoint(c.codePointAt(0)+t); let plus = (x,w) => { if (!has(w)) return x; let s=typeof w, t=typeof x; if (s==="number" && t==="number") return w+x; if (s==="number" && t==="string") return ctrans(x,w); if (s==="string" && t==="number") return ctrans(w,x); if (s==="string" && t==="string") throw Error("+: Cannot add two characters"); throw Error("+: Cannot add non-data values"); } let minus = (x,w) => { if (!isnum(x)) { if (has(w)&&typeof w==="string") return w.codePointAt(0)-x.codePointAt(0); throw Error("-: Can only negate numbers"); } if (!has(w)) return -x; let s=typeof w; if (s==="number") return w-x; if (s==="string") return ctrans(w,-x); throw Error("-: Cannot subtract from non-data value"); } let times = (x,w) => { if (isnum(x)&&isnum(w)) return x*w; throw Error("×: Arguments must be numbers"); } let divide = (x,w) => { if (isnum(x)&&(!has(w)||isnum(w))) return (has(w)?w:1)/x; throw Error("÷: Arguments must be numbers"); } let power = (x,w) => { if (isnum(x)) { if (!has(w)) return Math.exp(x); if (isnum(w)) return Math.pow(w,x); } throw Error("⋆: Arguments must be numbers"); } let log = (x,w) => { if (isnum(x)) { if (!has(w)) return Math.log(x); if (isnum(w)) return Math.log(x)/Math.log(w); } throw Error("⋆⁼: Arguments must be numbers"); } let floor = (x,w) => { if (isnum(x)) return Math.floor(x); throw Error("⌊𝕩: Argument must be a number"); } let lesseq = (x,w) => { let s=typeof w, t=typeof x; if (s==="function"||t==="function") throw Error("𝕨≤𝕩: Cannot compare operations"); return +(s!==t ? s<=t : w<=x); } let equals = (x,w) => { let a,b; if (typeof(w)!=="function" || !(a=w.repr)) return x===w; if (typeof(x)!=="function" || !(b=x.repr)) return false; b=b(); return a().every((e,i)=>call(runtime[18],e,b[i])); // ≡ } let table = f => setrepr(()=>[4,f,table], (x,w) => !has(w) ? arr(x.map(e=>call(f,e)),x.sh) : arr([].concat.apply([],w.map(d=>x.map(e=>call(f,e,d)))),w.sh.concat(x.sh))); let scan = f => setrepr(()=>[4,f,scan], (x,w) => { let s=x.sh; if (!s||s.length===0) throw Error("`: 𝕩 must have rank at least 1"); if (has(w)) { let r=w.sh, wr=r?r.length:0; if (1+wr!==s.length) throw Error("`: rank of 𝕨 must be cell rank of 𝕩"); if (!r) w=[w]; else if (!r.every((l,a)=>l===s[1+a])) throw Error("`: shape of 𝕨 must be cell shape of 𝕩"); } let l=x.length,r=Array(l); if (l>0) { let c=1;for(let i=1;i setrepr(()=>[5,f,cases,g], (x,w)=>has(w)?call(g,x,w):call(f,x,w)); let catches = (f,g) => setrepr(()=>[5,f,catches,g], (x,w)=>{try{return call(f,x,w);}catch(e){return call(g,x,w);}}); table.m=scan.m=1; cases.m=catches.m=2; let group_len = (x,w) => { // ≠¨⊔ for a valid list argument let l=x.reduce((a,b)=>Math.max(a,b),(w||0)-1); let r=Array(l+1).fill(0); x.map(e=>{if(e>=0)r[e]+=1;}); return list(r,0); } let group_ord = (x,w) => { // ∾⊔x assuming w=group_len(x) let l=0,s=w.map(n=>{let l0=l;l+=n;return l0;}); let r=Array(l); x.map((e,i)=>{if(e>=0)r[s[e]++]=i;}); return list(r,x.fill); } let type = x => isfunc(x) ? 3+(x.m||0) : x.sh ? 0 : 2-isnum(x); let tofill = x => isfunc(x) ? undefined : x.sh ? arr(x.map(tofill),x.sh,x.fill) : isnum(x)?0 : ' '; let fill = (x,w) => { if (has(w)) { return arr(x.slice(),x.sh,tofill(w)); } else { let f = x.fill; if (!has(f)) throw Error("Fill does not exist"); return f; } } let fill_by = (f,g) => (x,w) => { let r = f(x,w); let a2fill = x => isfunc(x)?x:isnum(x)?0:' '; let xf=x.sh?x.fill:a2fill(x); if (r.sh&&has(xf)) { try { let wf = !has(w) ? w : !w.sh ? a2fill(w) : has(w.fill) ? w.fill : runtime[42]; r.fill=tofill(g(xf,wf)); } catch(e){} } return r; } fill_by.m=2; let provide = [ type // Type ,fill // Fill ,log // Log ,group_len // GroupLen ,group_ord // GroupOrd ,assertFn("") // ! ,plus // + ,minus // - ,times // × ,divide // ÷ ,power // ⋆ ,floor // ⌊ ,(x,w) => has(w)?+equals(x,w):x.sh?x.sh.length:0 // = ,lesseq // ≤ ,(x,w) => list(x.sh,0) // ≢ ,(x,w) => arr(x.slice(),has(w)?w:[x.length],x.fill) // ⥊ ,(x,w) => x[w] // ⊑ ,(x,w) => list(Array(x).fill().map((_,i)=>i),0) // ↕ ,table // ⌜ ,scan // ` ,fill_by // _fillBy_ ,cases // ⊘ ,catches // ⎊ ]; let [runtime,setPrims] = run( [0,74,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,23,19,22,0,14,11,14,0,23,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,15,11,14,0,23,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,23,8,19,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,24,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,24,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,24,19,22,0,23,11,14,0,7,0,8,21,0,21,19,0,7,21,0,6,19,0,21,0,11,8,22,0,24,11,14,0,7,0,8,0,13,19,0,7,21,0,6,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,23,8,8,22,0,26,11,14,0,24,0,14,0,16,0,23,19,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,27,11,14,15,19,22,0,28,11,14,31,0,28,22,0,29,11,14,15,20,22,0,30,11,14,15,21,22,0,31,11,14,15,22,22,0,32,11,14,0,14,21,0,12,21,0,32,8,22,0,33,11,14,21,0,5,0,20,15,23,15,24,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,24,19,8,8,22,0,34,11,14,31,0,34,22,0,35,11,14,15,25,22,0,36,11,14,15,26,22,0,37,11,14,15,27,22,0,38,11,14,21,0,38,0,34,7,22,0,39,11,14,15,28,22,0,40,11,14,15,29,22,0,41,11,14,0,35,0,23,0,36,0,23,0,37,0,24,0,38,0,24,0,39,0,24,0,40,0,24,0,41,0,26,0,42,0,27,0,43,0,23,0,44,0,24,0,45,0,23,0,46,0,24,0,47,0,23,0,48,0,24,3,28,21,0,41,21,0,7,0,23,7,0,5,0,76,19,8,15,30,9,22,0,42,11,14,15,31,22,0,43,11,14,15,32,22,0,44,11,14,0,13,0,7,21,0,21,19,22,0,45,11,14,0,24,0,15,0,16,0,23,19,21,0,12,0,13,0,8,0,25,19,0,7,0,24,19,15,33,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,24,19,21,0,22,0,23,19,8,22,0,46,11,14,15,34,22,0,47,11,14,15,35,22,0,48,11,14,21,0,45,21,0,46,21,0,8,21,0,46,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,36,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,49,11,14,15,37,22,0,50,11,14,15,38,22,0,51,11,14,15,39,22,0,52,11,14,21,0,52,21,0,49,7,0,21,0,23,21,0,50,21,0,49,8,8,22,0,53,11,14,31,0,52,21,0,8,21,0,49,7,7,0,21,0,24,31,0,50,21,0,8,21,0,49,7,8,8,22,0,54,11,14,15,40,22,0,55,11,14,15,41,22,0,56,11,14,21,0,35,21,0,11,21,0,56,8,22,0,57,11,14,21,0,20,21,0,5,0,20,15,42,8,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,58,11,14,15,43,21,0,13,21,0,5,0,20,15,44,8,8,22,0,59,11,14,15,45,22,0,60,11,14,15,46,22,0,61,11,14,15,47,22,0,62,11,14,15,48,22,0,63,11,14,0,91,0,92,3,2,0,93,0,94,3,2,3,2,0,18,15,49,7,16,22,0,64,22,0,65,4,2,11,14,15,50,22,0,66,11,14,21,0,20,21,0,12,15,51,8,22,0,67,11,14,31,0,67,15,52,3,2,21,0,4,21,0,6,21,0,9,0,15,21,0,9,0,18,21,0,14,7,8,8,21,0,29,0,6,7,0,23,19,21,0,22,0,23,19,8,22,0,68,11,14,31,0,66,21,0,68,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,22,0,69,11,14,15,53,22,0,70,11,14,15,54,22,0,71,11,14,21,0,5,0,15,0,1,0,16,21,0,11,0,23,8,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,9,3,2,21,0,4,21,0,14,8,22,0,72,11,14,15,55,22,0,73,11,14,15,56,22,0,74,11,14,15,57,22,0,75,11,14,0,23,0,12,21,0,11,21,0,7,21,0,75,7,8,3,2,21,0,4,0,0,0,12,0,30,19,8,22,0,76,11,14,15,58,22,0,77,11,14,21,0,43,0,12,7,21,0,29,0,8,7,0,24,19,22,0,78,11,14,21,0,14,21,0,10,0,12,8,0,23,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,23,3,2,0,14,21,0,10,21,0,78,8,0,23,3,2,15,59,3,5,21,0,29,15,60,7,16,22,0,79,11,14,21,0,5,21,0,14,9,0,12,21,0,10,0,12,8,0,14,21,0,10,21,0,78,8,3,3,21,0,29,15,61,7,16,22,0,80,11,14,0,23,15,62,3,2,21,0,4,21,0,14,8,22,0,81,11,14,21,0,79,0,21,21,0,81,8,22,0,82,11,14,21,0,79,0,7,0,24,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,83,11,14,15,63,22,0,84,11,14,21,0,82,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,85,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,85,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,8,22,0,86,11,14,15,64,22,0,87,11,14,21,0,14,21,0,13,21,0,30,21,0,87,15,65,8,8,22,0,88,11,14,15,66,22,0,89,11,14,15,67,22,0,90,11,14,21,0,14,0,5,0,108,19,21,0,6,15,68,31,0,87,21,0,88,21,0,90,21,0,89,3,2,21,0,4,0,18,0,12,0,12,0,24,19,7,21,0,29,0,8,7,0,24,19,8,31,0,90,3,3,21,0,4,0,12,21,0,24,0,25,19,8,8,19,22,0,91,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,69,7,9,15,70,15,71,15,72,3,6,21,0,4,21,0,6,8,22,0,92,11,14,15,73,22,0,93,11,14,15,74,22,0,94,11,14,21,0,94,0,119,21,0,26,21,0,12,0,12,8,0,7,0,24,19,15,75,3,3,7,22,0,95,11,14,31,0,94,0,120,0,12,21,0,11,0,23,8,0,7,0,24,19,15,76,3,3,7,22,0,96,11,14,15,77,22,0,97,11,14,15,78,22,0,98,11,14,15,79,22,0,99,11,14,15,80,22,0,100,11,14,15,81,22,0,101,11,14,15,82,22,0,102,11,14,15,83,22,0,103,11,14,15,84,22,0,104,11,14,21,0,5,0,20,21,0,27,0,12,0,23,19,0,7,0,24,19,21,0,104,15,85,15,86,3,2,21,0,4,21,0,6,21,0,9,0,12,8,21,0,22,0,23,19,8,8,8,22,0,105,11,14,0,4,21,0,11,21,0,84,0,24,7,8,22,0,106,11,14,15,87,22,0,107,11,14,21,0,107,21,0,5,0,19,0,6,7,0,28,19,21,0,8,21,0,35,7,21,0,8,21,0,35,21,0,11,21,0,56,8,21,0,9,21,0,53,21,0,9,21,0,106,8,8,7,19,7,22,0,108,11,14,0,32,0,17,16,21,0,37,0,136,8,22,0,109,11,14,15,88,22,0,110,11,14,0,15,0,21,21,0,17,8,22,0,111,11,14,15,89,22,0,112,11,14,15,90,22,0,113,11,14,15,91,21,0,11,21,0,20,8,22,0,114,11,14,15,92,22,0,115,11,14,21,0,44,0,9,7,22,0,116,11,14,21,0,44,0,10,7,22,0,117,11,14,21,0,8,21,0,116,21,0,12,21,0,117,8,7,0,21,0,25,21,0,116,16,21,0,12,21,0,117,8,8,22,0,118,11,14,21,0,44,15,93,0,21,21,0,26,8,7,22,0,119,11,14,21,0,44,15,94,0,21,21,0,24,8,7,22,0,120,11,14,21,0,44,15,95,0,21,0,7,21,0,9,21,0,120,21,0,9,0,7,8,8,8,7,22,0,121,11,14,21,0,44,0,8,7,0,21,21,0,35,21,0,11,21,0,53,8,8,22,0,122,11,14,21,0,44,0,8,0,7,0,6,19,7,0,21,21,0,35,21,0,11,21,0,54,8,8,22,0,123,11,14,21,0,44,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,23,8,8,7,22,0,124,11,14,21,0,44,21,0,21,0,7,0,24,19,7,0,21,31,0,19,8,22,0,125,11,14,21,0,44,0,13,0,7,0,24,19,7,0,21,31,0,88,8,22,0,126,11,14,21,0,44,0,12,0,7,0,24,19,7,0,21,21,0,27,8,22,0,127,11,14,21,0,44,0,12,7,0,21,0,12,8,22,0,128,11,14,21,0,44,21,0,21,7,0,21,21,0,7,0,23,7,0,5,0,148,19,8,22,0,129,11,14,21,0,44,0,13,7,0,21,21,0,7,0,23,7,0,5,0,149,19,8,22,0,130,11,14,21,0,44,0,6,7,22,0,131,11,14,21,0,44,0,7,7,22,0,132,11,14,21,0,132,21,0,131,0,24,19,22,0,133,11,14,21,0,6,21,0,128,21,0,128,21,0,127,21,0,82,21,0,83,3,4,19,21,0,29,21,0,131,7,9,21,0,13,15,96,8,22,0,134,11,14,15,97,22,0,135,11,14,15,98,22,0,136,11,14,15,99,22,0,137,11,14,15,100,22,0,138,11,14,15,101,22,0,139,11,14,21,0,85,0,20,21,0,111,21,0,10,21,0,30,8,15,102,3,2,21,0,4,21,0,128,21,0,125,0,24,19,21,0,10,21,0,123,8,8,8,22,0,140,11,14,15,103,22,0,141,11,14,31,0,102,0,21,21,0,101,8,22,0,142,11,14,0,23,21,0,104,31,0,61,8,0,21,21,0,60,8,22,0,143,11,14,31,0,105,0,21,21,0,56,8,22,0,144,11,14,21,0,85,0,21,21,0,5,8,0,20,21,0,98,0,21,31,0,98,21,0,11,21,0,100,8,8,8,22,0,145,11,14,21,0,85,0,21,21,0,5,8,0,20,21,0,99,0,21,31,0,99,21,0,11,31,0,100,8,8,8,22,0,146,11,14,15,104,22,0,147,11,14,31,0,95,0,21,31,0,62,8,22,0,148,11,14,31,0,96,0,21,31,0,63,8,22,0,149,11,14,31,0,115,0,21,31,0,113,8,22,0,150,11,14,21,0,55,0,24,7,0,21,31,0,108,8,22,0,151,11,14,21,0,8,31,0,55,0,23,7,7,0,21,31,0,107,21,0,5,7,8,22,0,152,11,14,21,0,138,22,0,153,11,14,21,0,20,21,0,10,15,105,8,22,0,154,11,14,21,0,53,21,0,9,21,0,53,8,21,0,35,21,0,132,21,0,5,19,21,0,8,21,0,151,7,19,0,1,0,23,19,22,0,155,11,14,15,106,0,1,0,23,19,22,0,156,11,14,15,107,22,0,157,11,14,21,0,5,0,20,15,108,8,22,0,158,11,14,15,109,22,0,159,11,14,15,110,22,0,160,11,14,15,111,22,0,161,11,14,15,112,22,0,162,11,14,15,113,22,0,163,11,14,0,24,21,0,5,15,114,21,0,9,0,23,0,16,21,0,11,21,0,7,0,24,7,21,0,132,21,0,127,19,8,31,0,38,0,49,7,9,3,2,21,0,4,0,16,21,0,11,0,23,8,21,0,128,0,33,19,8,8,9,3,2,21,0,4,0,0,21,0,130,0,30,19,8,22,0,164,11,14,15,115,21,0,10,15,116,8,22,0,165,11,14,15,117,22,0,166,11,14,15,118,21,0,5,0,16,21,0,11,0,24,8,15,119,9,21,0,7,21,0,7,0,23,7,0,5,0,167,19,7,0,16,21,0,11,0,25,8,21,0,165,0,16,21,0,11,0,24,8,19,31,0,166,0,16,21,0,11,0,25,8,15,120,21,0,12,15,121,8,0,16,21,0,11,0,24,8,19,0,16,21,0,11,0,25,8,15,122,21,0,12,15,123,8,21,0,35,21,0,11,0,24,0,30,3,2,8,19,3,6,21,0,4,21,0,6,8,0,16,21,0,11,0,23,8,19,9,22,0,167,11,14,15,124,31,0,167,21,0,7,0,23,7,0,5,0,168,19,3,3,21,0,144,0,30,0,24,0,25,3,3,17,21,0,4,0,0,8,22,0,168,11,14,31,0,140,0,21,21,0,91,8,22,0,169,11,14,0,5,21,0,11,0,169,8,22,0,170,11,14,0,5,21,0,11,0,170,8,22,0,171,11,14,21,0,7,0,23,7,0,5,0,171,19,22,0,172,11,14,15,125,22,0,173,11,14,15,126,22,0,174,11,14,15,127,22,0,175,11,14,21,0,5,0,20,0,24,31,0,104,31,0,71,8,21,0,11,21,0,20,8,0,21,31,0,70,8,8,22,0,176,11,14,0,35,21,0,8,21,0,132,7,0,21,21,0,131,8,0,36,21,0,132,0,37,21,0,8,21,0,116,7,0,21,21,0,124,21,0,173,21,0,5,8,8,0,38,21,0,116,0,39,21,0,44,0,2,7,0,50,21,0,8,21,0,117,7,0,21,21,0,8,21,0,124,7,8,0,44,21,0,8,21,0,116,7,0,21,21,0,122,21,0,173,21,0,5,8,8,0,43,21,0,6,21,0,132,0,24,19,21,0,116,21,0,8,21,0,132,7,19,0,21,21,0,123,21,0,173,21,0,5,8,8,0,40,21,0,133,0,51,0,23,21,0,9,21,0,170,8,0,21,15,128,8,0,52,21,0,5,0,53,21,0,82,21,0,9,21,0,171,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,34,15,129,0,21,0,23,21,0,9,21,0,170,8,8,0,54,15,130,0,21,15,131,8,0,55,0,23,21,0,9,21,0,170,8,0,21,21,0,148,21,0,173,0,16,21,0,11,0,28,8,8,8,0,56,0,23,21,0,9,21,0,170,8,0,21,21,0,149,21,0,173,0,16,21,0,11,0,23,8,8,8,0,57,0,23,21,0,9,21,0,170,8,0,21,21,0,142,21,0,173,21,0,83,8,8,0,58,21,0,143,21,0,11,21,0,132,8,0,21,21,0,143,8,0,59,31,0,160,0,21,31,0,59,8,0,60,0,23,21,0,9,21,0,170,8,0,21,15,132,8,0,61,31,0,175,0,21,31,0,174,8,3,42,21,0,41,21,0,172,8,22,0,177,11,14,0,35,21,0,8,21,0,132,7,0,21,0,25,21,0,12,21,0,116,8,8,0,36,21,0,131,0,21,0,23,21,0,9,21,0,170,8,8,0,37,21,0,8,21,0,116,7,0,21,21,0,118,8,0,38,21,0,124,0,21,0,23,21,0,9,21,0,170,8,8,0,39,21,0,118,0,21,0,23,21,0,9,21,0,170,8,8,0,50,0,2,21,0,116,9,0,21,0,23,21,0,9,21,0,170,8,8,0,44,21,0,8,21,0,116,7,0,21,21,0,118,8,0,43,21,0,6,21,0,132,0,24,19,21,0,116,21,0,8,21,0,132,7,19,0,21,21,0,133,21,0,9,21,0,118,8,21,0,133,9,8,0,40,21,0,7,0,24,7,21,0,132,21,0,131,19,0,21,0,23,21,0,9,21,0,170,8,8,3,18,21,0,41,21,0,172,8,22,0,178,11,14,15,133,22,0,179,11,14,0,62,21,0,178,0,63,15,134,0,64,15,135,0,65,15,136,0,66,15,137,21,0,9,15,138,8,3,10,21,0,41,21,0,7,21,0,172,7,8,22,0,180,11,14,31,0,141,22,0,181,11,14,31,0,77,22,0,182,11,14,15,139,0,67,31,0,165,0,68,15,140,0,69,15,141,0,70,21,0,7,0,23,21,0,9,21,0,170,8,7,15,142,15,143,3,2,21,0,4,21,0,130,21,0,11,0,23,8,8,3,2,21,0,4,21,0,5,21,0,9,21,0,15,8,8,0,71,15,144,0,72,15,145,15,146,21,0,5,3,2,21,0,4,21,0,6,8,21,0,6,21,0,9,21,0,164,8,19,0,73,15,147,3,14,31,0,41,21,0,7,21,0,172,7,8,7,22,0,183,11,14,31,0,139,22,0,184,11,14,31,0,163,22,0,185,11,14,21,0,69,0,21,31,0,72,8,22,0,186,11,14,15,148,22,0,187,11,14,31,0,137,22,0,188,11,14,21,0,110,0,21,21,0,17,8,22,0,189,11,14,31,0,85,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,126,8,8,22,0,190,11,14,31,0,159,0,21,31,0,58,8,22,0,191,11,14,31,0,156,0,21,21,0,155,8,22,0,192,11,14,31,0,154,0,21,21,0,144,21,0,11,21,0,152,8,8,22,0,193,11,14,21,0,131,21,0,132,21,0,124,21,0,116,31,0,117,31,0,118,21,0,120,21,0,121,21,0,119,21,0,133,21,0,122,21,0,123,21,0,125,21,0,126,21,0,127,21,0,128,21,0,130,21,0,129,21,0,82,21,0,83,21,0,6,21,0,5,31,0,189,21,0,169,31,0,190,21,0,148,21,0,149,21,0,142,31,0,146,21,0,145,21,0,143,31,0,191,21,0,144,21,0,53,21,0,54,21,0,176,21,0,186,21,0,151,31,0,192,21,0,152,31,0,193,21,0,150,0,5,21,0,7,21,0,8,21,0,103,21,0,84,21,0,179,31,0,185,21,0,29,31,0,184,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,182,0,21,31,0,187,21,0,153,31,0,188,21,0,181,0,22,3,63,15,149,16,25,0,23,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,150,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,151,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,75,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,152,15,153,3,2,21,1,4,21,0,6,21,1,22,0,23,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,7,21,1,11,0,24,0,7,21,0,6,17,8,19,15,154,9,7,16,14,21,0,8,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,3,8,8,7,16,25,21,0,2,0,17,16,0,18,21,0,1,21,1,12,0,16,8,7,16,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,33,0,24,17,22,0,3,11,21,1,29,0,8,7,0,24,17,22,0,4,11,14,21,0,4,0,17,16,0,15,31,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,31,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,21,1,22,0,18,0,12,0,7,0,24,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,36,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,155,19,25,15,156,0,12,21,0,1,21,1,36,21,1,0,7,16,19,25,0,25,0,9,21,0,1,21,1,27,16,17,0,17,16,0,18,0,8,21,1,11,0,25,8,7,16,22,0,3,11,14,21,0,1,21,1,35,21,0,3,17,21,0,1,21,1,35,31,0,3,0,18,0,6,21,1,11,0,24,8,7,16,17,3,2,25,21,0,2,21,1,40,16,22,0,3,22,0,4,4,2,11,14,21,0,1,3,1,21,1,30,31,0,4,17,21,1,37,31,0,3,8,25,0,23,21,0,1,16,25,15,157,22,0,2,11,14,15,158,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,31,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,31,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,159,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,160,15,161,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,43,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,46,21,0,2,17,25,21,0,1,0,18,21,1,22,21,1,11,0,23,8,7,21,1,29,0,8,7,0,24,19,21,1,10,0,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,23,21,0,3,3,2,15,162,3,2,21,1,4,0,23,0,12,31,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,163,22,0,8,11,14,31,0,8,21,0,4,0,12,21,1,11,0,23,8,21,1,13,21,0,1,8,9,3,2,0,16,21,0,6,0,12,0,24,17,17,25,21,0,1,0,14,21,1,10,21,1,47,8,21,0,2,17,22,0,3,11,14,31,0,3,21,1,29,21,1,48,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,49,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,23,21,1,8,31,0,4,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,79,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,33,0,24,17,21,1,29,0,8,7,0,24,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,23,22,0,9,11,22,0,10,11,14,21,0,8,0,23,0,18,21,1,15,7,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,0,6,21,1,22,0,29,17,0,8,0,24,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,164,8,8,16,0,7,0,24,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,165,21,0,4,7,3,2,21,1,4,31,0,11,8,16,0,1,0,23,17,25,21,0,1,22,0,2,11,14,21,1,22,21,1,11,0,23,8,21,1,13,15,166,8,25,21,0,2,0,12,16,21,1,8,0,7,7,0,24,17,22,0,5,11,14,21,0,5,0,13,0,23,17,0,5,0,80,17,14,21,0,1,0,12,16,0,13,21,0,5,17,0,5,0,81,17,14,21,0,1,21,1,20,16,22,0,1,12,14,21,0,2,21,1,33,0,24,17,22,0,6,11,21,1,29,0,8,7,0,24,17,22,0,7,11,14,0,23,21,1,48,21,0,2,0,15,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,27,16,0,24,0,24,21,1,12,0,7,21,1,9,0,17,8,8,0,18,0,8,21,1,11,21,0,7,8,21,1,9,0,6,21,1,11,31,0,7,8,21,1,12,21,1,7,0,23,7,0,13,31,0,8,19,8,8,7,9,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,16,0,5,0,82,17,14,21,0,1,0,12,16,21,1,8,0,7,7,31,0,5,17,22,0,9,11,14,21,0,1,21,1,33,21,0,9,17,22,0,10,11,14,21,0,10,21,1,47,21,0,6,17,22,0,11,11,14,31,0,11,21,1,29,21,1,48,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,7,0,23,7,0,13,31,0,12,21,1,11,0,8,21,1,11,31,0,6,21,1,29,0,8,7,0,24,17,8,8,19,22,0,13,11,14,31,0,9,0,17,16,0,18,21,0,1,0,14,16,21,1,12,0,16,8,7,16,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,0,8,21,1,11,31,0,10,21,1,29,0,8,7,0,24,17,8,7,16,0,18,15,167,21,1,11,21,0,2,21,1,27,16,8,7,16,0,1,0,23,17,25,21,0,1,22,0,2,11,14,21,1,29,0,8,7,0,7,0,24,19,0,19,0,8,7,21,1,29,0,6,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,168,0,1,0,23,19,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,85,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,15,169,8,16,0,1,0,23,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,33,0,24,17,22,0,4,11,21,1,29,0,8,7,0,24,17,22,0,5,11,14,31,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,0,15,31,0,4,17,17,25,21,0,1,21,1,14,16,21,1,171,16,14,21,0,1,0,12,16,21,1,22,0,23,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,24,17,22,0,3,11,14,21,0,1,0,14,16,22,0,4,11,14,21,0,4,0,16,21,0,3,17,22,0,5,11,14,31,0,3,0,17,16,0,18,31,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,87,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,35,21,0,3,0,17,16,0,18,0,7,21,1,11,0,24,0,7,31,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,88,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,23,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,35,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,31,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,89,17,14,21,0,1,21,1,27,16,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,35,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,23,8,8,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,35,21,1,11,15,170,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,0,1,22,0,3,22,0,4,4,2,11,14,15,171,22,0,5,11,14,21,1,5,21,1,9,21,1,15,8,0,5,31,0,3,19,21,1,6,0,6,21,0,5,0,13,21,1,11,0,23,8,7,9,31,0,5,21,1,23,7,3,2,21,1,4,0,13,21,1,11,0,23,8,8,19,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,95,17,14,21,0,2,21,1,64,21,0,1,21,1,27,16,17,21,1,8,0,16,7,21,0,1,17,25,21,0,2,0,12,16,0,12,0,24,17,0,5,0,96,17,14,21,0,1,0,14,16,22,0,3,11,21,1,27,21,1,10,0,12,8,21,0,2,17,0,5,0,97,17,14,0,23,22,0,4,11,14,21,0,2,21,1,27,16,0,17,16,0,18,31,0,3,21,1,12,0,16,8,15,172,21,0,2,21,1,12,0,16,8,19,7,16,14,21,0,1,21,1,17,16,0,16,21,0,4,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,68,8,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,98,17,14,21,0,1,21,1,27,16,21,1,22,0,23,17,0,5,0,99,17,14,21,0,1,21,1,35,0,23,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,100,17,14,21,0,1,21,1,35,21,1,11,0,18,21,1,65,21,1,11,21,0,1,21,1,27,16,8,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,23,17,0,23,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,24,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,24,8,21,1,8,0,16,7,31,0,3,19,21,0,0,9,8,7,0,24,19,3,2,21,1,4,0,13,21,1,11,0,25,8,8,16,25,21,0,1,15,173,21,1,6,21,1,73,9,21,1,13,15,174,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,30,19,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,1,60,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,23,0,14,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,7,11,14,15,175,22,0,8,11,14,21,1,1,0,23,0,16,21,1,11,0,25,8,0,12,21,1,7,21,0,8,7,19,3,2,21,1,4,0,16,21,1,11,0,23,8,0,12,0,32,19,8,9,22,0,9,11,14,21,0,5,21,1,93,21,0,9,17,22,0,10,11,14,0,23,21,0,8,0,28,8,22,0,11,11,14,31,0,11,31,0,10,16,0,23,21,1,75,3,2,21,1,1,21,1,35,0,24,0,30,3,2,19,3,2,21,1,4,31,0,9,8,16,22,0,12,22,0,13,4,2,11,14,21,1,5,21,1,9,21,1,76,8,0,7,0,24,19,21,1,13,15,176,8,22,0,14,11,14,21,1,5,0,20,15,177,8,22,0,15,11,14,31,0,13,31,0,14,21,0,6,17,21,1,7,21,0,1,7,21,1,12,31,0,15,8,21,1,7,21,0,5,7,21,1,168,9,15,178,9,3,2,21,1,4,21,1,76,8,16,25,21,0,1,21,1,43,21,1,79,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,24,17,25,21,0,2,0,16,0,24,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,23,17,8,25,0,23,21,0,1,3,2,21,1,4,21,0,2,8,25,21,0,1,0,15,16,0,18,21,1,81,7,16,21,1,29,21,1,25,7,0,23,17,0,6,0,24,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,74,21,1,43,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,83,21,1,10,21,0,2,8,19,8,8,21,1,86,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,23,19,8,25,21,0,1,0,15,16,0,16,0,23,17,21,1,83,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,83,0,23,21,1,78,3,2,21,1,4,21,1,27,21,1,10,0,12,8,8,21,0,3,19,0,5,0,102,19,7,16,14,21,0,3,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,3,17,0,18,21,1,8,0,16,7,7,21,0,1,0,18,21,1,17,7,16,17,25,0,28,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,27,7,16,21,1,56,16,0,18,15,179,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,83,7,16,22,0,5,11,14,21,0,5,0,16,0,23,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,103,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,104,17,14,15,180,22,0,8,11,14,21,0,1,21,1,83,16,22,0,9,11,14,0,24,22,0,10,11,14,0,23,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,84,15,181,7,21,0,9,21,1,60,16,21,0,8,0,8,7,0,24,17,21,1,60,16,17,14,21,1,84,15,182,31,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,183,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,107,17,14,31,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,31,0,3,19,8,8,7,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,31,0,4,31,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,8,25,21,1,7,21,1,75,7,22,0,0,11,14,15,184,22,0,1,11,14,0,0,21,1,21,0,30,19,21,1,13,21,0,1,21,1,76,7,8,22,0,2,11,14,15,185,22,0,3,11,14,15,186,22,0,4,11,14,15,187,22,0,5,11,14,0,109,21,1,5,0,110,0,23,21,0,3,0,24,8,21,0,4,9,0,111,0,24,21,0,3,0,23,8,21,0,4,9,0,112,0,24,21,0,3,0,24,8,31,0,4,9,0,113,0,24,21,0,3,0,24,8,31,0,5,9,0,114,0,24,31,0,3,0,24,8,3,12,21,1,40,16,22,0,6,22,0,7,4,2,11,14,15,188,3,1,21,1,30,31,0,7,21,1,57,21,1,11,0,18,21,1,27,7,8,21,0,6,17,17,21,1,37,31,0,6,21,1,89,16,8,22,0,8,11,14,15,189,22,0,9,11,14,15,190,21,1,12,21,1,5,0,16,0,24,19,31,0,9,21,1,6,19,21,0,2,9,21,1,7,21,1,7,21,1,75,7,7,15,191,21,1,92,0,16,21,1,11,0,23,8,19,21,1,5,0,16,0,24,19,31,0,2,9,3,4,21,1,4,21,1,5,0,16,0,23,19,21,1,9,0,30,21,1,5,0,25,3,2,21,1,4,0,13,21,1,11,0,25,8,8,3,2,21,1,4,0,13,21,1,11,0,23,8,8,8,8,8,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,116,21,1,30,31,0,2,17,21,1,30,0,115,17,22,0,5,11,14,0,117,22,0,6,11,14,0,118,22,0,7,11,14,15,192,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,31,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,23,21,1,12,21,1,22,8,21,1,13,0,27,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,27,8,7,3,2,21,1,4,21,0,1,21,1,22,0,23,17,8,16,25,21,0,1,14,0,6,21,1,25,0,23,19,0,17,9,0,7,21,1,25,0,23,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,121,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,23,17,0,5,0,122,17,14,21,0,3,21,1,21,0,24,17,0,5,0,123,17,14,21,0,1,21,1,33,0,24,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,83,16,7,0,16,31,0,3,0,7,0,24,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,124,17,14,31,0,4,21,1,29,0,8,7,0,24,17,25,21,0,1,21,1,97,21,0,2,17,22,0,3,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,31,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,4,8,8,7,16,0,15,21,0,1,21,1,83,16,17,25,21,0,1,21,1,97,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,31,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,31,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,31,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,6,8,8,7,16,0,15,21,0,1,21,1,83,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,121,17,14,21,0,1,21,1,33,0,24,17,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,15,193,22,0,3,11,14,15,194,22,0,4,11,14,21,0,1,21,0,3,31,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,2,0,12,16,21,1,21,0,24,17,0,5,0,127,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,21,1,5,0,20,15,195,8,8,21,0,2,17,25,21,0,1,0,28,21,1,138,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,196,15,197,3,2,21,1,4,21,1,6,21,1,9,21,1,82,21,1,22,21,0,2,19,8,8,8,25,21,0,2,21,1,14,21,1,13,0,15,0,16,0,23,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,86,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,35,21,0,1,21,1,27,16,0,8,21,0,3,17,0,17,16,0,19,21,1,8,15,198,21,1,13,15,199,8,7,7,16,17,25,21,0,1,21,1,27,21,1,10,0,12,8,21,0,2,17,0,5,0,134,17,14,21,0,1,21,1,57,21,0,2,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,135,17,14,21,0,1,21,1,53,16,22,0,5,11,14,21,0,1,21,1,27,16,0,17,16,0,18,0,24,21,1,5,21,0,1,0,12,21,1,22,0,24,19,21,1,13,21,1,103,21,1,22,7,8,16,21,1,35,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,83,8,0,24,21,1,12,0,7,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,7,16,21,0,4,21,0,5,17,21,1,35,31,0,5,21,1,106,16,17,0,1,0,23,17,25,21,0,2,0,12,16,21,1,21,0,24,17,0,5,0,137,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,0,7,0,24,19,7,16,22,0,4,11,21,1,29,0,6,7,0,23,17,22,0,5,11,14,21,0,5,21,1,21,0,24,17,0,5,0,138,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,27,16,22,0,7,11,14,21,0,3,21,1,5,21,1,29,0,8,7,0,24,19,15,200,3,2,21,1,4,31,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,0,12,21,0,8,17,0,7,0,24,17,21,1,13,21,1,5,0,20,15,201,8,8,16,0,15,21,0,3,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,0,8,7,0,24,17,0,5,0,142,17,14,21,0,1,0,18,0,13,21,1,11,0,28,8,7,16,21,1,29,0,8,7,0,24,17,0,5,0,143,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,23,8,21,1,13,21,1,5,15,202,21,1,27,21,1,12,21,1,8,0,7,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,23,22,0,8,11,14,31,0,6,0,18,0,17,21,1,9,0,18,15,203,7,8,21,0,4,9,7,16,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,144,17,14,21,1,112,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,23,21,1,9,0,17,8,19,0,18,15,204,7,21,1,29,0,18,0,18,21,1,30,7,7,7,3,0,21,1,22,16,21,1,22,16,19,0,1,0,18,0,23,7,3,0,21,1,12,21,1,111,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,82,21,1,22,0,24,19,8,16,25,21,0,2,0,12,16,22,0,3,11,14,21,0,1,0,12,16,0,13,21,0,3,17,0,5,0,145,17,14,21,0,1,21,1,83,16,22,0,4,11,21,1,31,21,0,3,17,21,1,84,0,7,7,21,0,2,21,1,83,16,17,22,0,5,11,14,21,0,5,0,23,0,16,21,1,11,0,23,8,0,12,0,24,19,3,2,21,1,4,21,0,3,0,12,0,24,17,8,16,22,0,6,11,14,31,0,5,0,18,0,12,21,1,11,0,23,8,7,21,1,29,0,8,7,0,24,19,0,24,3,2,21,1,4,21,0,6,8,16,0,5,0,146,17,14,21,0,1,21,1,12,21,1,5,0,20,21,1,6,21,1,9,21,0,1,21,1,111,16,15,205,15,206,3,2,21,1,4,21,0,1,0,12,16,0,12,21,0,3,17,8,16,8,8,8,22,0,7,11,14,21,0,2,21,1,111,16,21,1,112,21,0,7,7,31,0,6,17,0,1,3,0,31,0,7,16,17,25,21,0,1,21,1,14,16,0,5,0,147,17,14,21,0,1,21,1,114,21,1,147,3,2,21,1,4,21,0,2,21,1,82,16,0,13,0,25,17,8,21,0,2,17,25,21,0,2,21,1,116,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,23,21,0,2,16,19,8,25,21,0,1,21,1,128,16,21,1,129,0,24,17,0,5,0,150,17,14,21,0,1,21,1,111,16,22,0,1,12,14,21,0,1,21,1,127,16,0,30,21,1,12,21,1,130,8,21,1,122,21,1,130,21,1,11,0,24,8,19,16,0,5,0,151,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,122,7,0,24,17,0,5,0,152,17,14,21,0,1,25,21,0,1,21,1,9,21,1,135,8,21,1,5,21,1,9,21,1,125,8,21,1,84,0,16,7,21,1,127,21,1,12,21,1,8,21,1,119,21,1,131,0,24,19,21,1,132,21,1,6,19,7,8,19,0,24,0,23,3,2,0,21,0,25,3,1,8,19,25,21,0,1,21,1,136,21,0,5,7,21,0,2,17,22,0,6,11,21,1,126,0,23,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,207,22,0,9,11,14,21,0,1,21,0,9,31,0,6,7,21,0,2,17,25,21,0,1,21,1,136,21,0,5,7,21,1,84,21,1,132,21,1,12,21,1,120,8,21,1,132,21,1,121,0,23,19,3,2,21,1,4,21,1,5,21,1,130,0,23,19,8,7,21,1,128,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,208,22,0,7,11,14,21,1,5,21,1,125,9,21,0,7,21,1,5,0,18,21,1,125,7,9,3,3,21,1,4,21,1,128,21,1,12,21,1,129,8,21,1,131,0,24,19,21,1,124,0,23,21,1,12,21,1,126,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,127,21,1,8,21,1,132,7,0,24,19,8,16,17,21,1,84,21,0,4,7,21,0,2,31,0,7,31,0,6,0,16,0,23,17,17,17,21,1,126,16,25,21,0,1,21,1,128,16,21,1,130,0,24,17,0,5,0,153,17,14,21,0,4,22,0,5,11,14,15,209,22,0,6,11,14,21,0,1,31,0,6,15,210,3,2,21,1,4,0,24,0,21,21,1,127,21,1,125,0,23,19,8,8,21,0,2,17,25,21,0,1,21,1,83,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,127,7,16,22,0,4,11,21,1,29,21,1,121,7,0,24,17,22,0,5,11,14,21,0,4,21,1,132,21,0,5,17,21,1,129,0,24,17,21,1,29,21,1,122,7,0,24,17,0,5,0,155,17,14,21,0,3,21,1,84,21,1,35,21,1,11,0,24,21,1,132,21,0,5,17,0,17,16,21,1,12,21,1,131,8,8,7,21,0,5,21,1,133,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,78,7,16,0,5,0,156,17,14,31,0,3,21,1,84,0,24,21,1,5,0,16,0,23,19,3,2,21,1,4,21,1,6,8,7,31,0,4,21,1,128,31,0,5,17,17,21,1,29,21,1,131,7,0,23,17,22,0,7,11,14,21,0,1,21,1,111,21,1,10,21,1,30,8,21,0,2,17,21,1,111,31,0,6,0,16,0,23,17,21,1,30,31,0,7,3,1,17,17,25,21,0,4,22,0,6,11,14,0,23,15,211,0,21,21,1,7,15,212,7,8,21,0,2,17,22,0,7,11,14,21,0,1,21,0,5,21,0,2,17,22,0,8,11,14,15,213,22,0,9,11,14,21,0,1,31,0,9,15,214,3,2,21,1,4,21,0,8,21,1,16,16,8,16,25,21,0,2,21,1,128,16,21,1,128,0,24,17,0,5,0,158,17,14,21,0,2,0,18,21,1,128,7,16,22,0,3,11,21,1,29,21,1,131,7,0,23,17,22,0,4,11,14,21,0,1,21,1,128,16,21,1,130,21,0,4,17,0,5,0,159,17,14,21,0,1,21,1,83,16,21,1,31,21,0,4,17,21,1,132,21,0,2,0,18,21,1,83,7,16,21,1,91,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,128,0,24,17,21,1,144,21,0,3,17,21,1,12,21,1,130,8,21,1,122,21,1,130,21,1,11,0,23,8,19,16,21,1,29,21,1,122,7,0,24,17,0,5,0,146,17,14,0,23,3,1,21,1,30,31,0,5,17,21,1,35,21,0,3,0,19,21,1,131,7,16,21,1,145,0,23,17,17,21,1,120,31,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,111,7,16,22,0,2,12,0,18,21,1,127,7,16,21,1,8,21,1,132,7,21,0,6,17,22,0,7,11,14,21,1,7,21,0,1,7,21,1,110,21,0,1,21,1,33,31,0,4,17,21,1,12,21,1,30,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,124,7,0,24,17,3,1,21,0,8,16,21,1,12,21,1,35,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,23,8,21,1,10,21,1,112,21,0,9,7,8,21,1,84,21,1,112,21,1,5,7,7,21,1,124,31,0,7,21,1,143,16,21,1,145,0,24,17,0,19,21,1,124,7,16,21,1,143,16,19,21,1,29,0,18,0,18,21,1,131,7,7,7,9,0,18,31,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,127,8,21,1,127,0,24,19,8,31,0,6,17,0,1,21,0,2,0,18,0,23,7,16,31,0,8,16,17,25,21,0,2,21,1,128,16,22,0,3,11,14,21,0,1,21,1,128,16,21,1,130,21,0,3,17,0,5,0,160,17,14,21,0,1,21,0,3,21,1,153,21,1,142,21,1,11,21,0,2,21,1,83,16,21,1,120,21,0,1,21,1,83,16,21,1,148,21,1,11,21,1,132,8,21,0,3,17,21,1,131,0,24,17,17,8,8,16,31,0,3,21,1,153,21,1,82,8,21,0,2,17,0,1,0,23,17,25,21,0,2,21,1,128,16,21,1,8,21,1,132,7,0,24,17,22,0,3,11,14,21,0,3,21,1,130,0,23,17,0,5,0,161,17,14,21,0,1,21,1,128,16,21,1,130,31,0,3,17,0,5,0,162,17,14,21,0,1,21,1,151,21,1,11,21,0,2,8,21,1,111,21,1,9,21,1,155,8,21,1,111,21,1,83,19,21,1,12,21,1,84,21,1,18,7,8,9,21,1,10,21,1,151,8,21,0,2,17,25,21,0,2,21,1,128,16,21,1,129,0,24,17,0,5,0,163,17,14,21,0,1,21,1,83,16,21,1,127,21,1,10,21,1,130,8,21,0,2,17,0,5,0,164,17,14,21,0,2,21,1,111,16,0,18,21,1,16,7,16,21,1,29,21,1,122,7,0,24,17,0,5,0,165,17,25,21,0,1,21,1,83,16,21,1,150,21,0,2,17,0,18,21,1,29,21,1,120,7,7,16,21,1,142,16,0,18,21,1,7,21,0,1,7,21,1,69,21,1,35,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,157,21,0,2,17,14,21,0,2,21,1,111,16,22,0,2,12,14,21,0,2,21,1,152,16,21,1,133,16,21,1,29,21,1,131,7,0,23,17,21,1,132,21,0,1,21,1,128,16,17,22,0,3,11,14,21,0,3,21,1,125,21,0,2,17,21,1,29,21,1,122,7,0,24,17,0,5,0,166,17,14,21,0,1,21,1,158,31,0,3,21,1,142,16,21,1,5,21,1,144,21,1,8,21,1,152,21,1,9,21,1,133,8,7,19,21,0,2,17,21,1,30,21,0,2,17,17,25,21,0,1,21,1,157,21,0,2,17,14,21,0,2,21,1,111,16,22,0,2,12,14,21,0,1,21,1,128,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,125,8,21,1,122,21,1,152,19,16,21,1,29,21,1,122,7,0,24,17,21,1,170,16,14,21,0,1,21,1,158,31,0,3,21,1,142,16,21,1,5,21,1,144,21,1,8,21,1,152,21,1,9,21,1,133,8,7,19,21,0,2,17,21,1,30,21,0,2,17,21,1,106,16,17,25,21,0,1,21,1,168,16,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,168,16,21,1,5,15,215,3,2,21,1,4,0,23,21,1,5,21,1,1,21,1,9,0,24,0,16,21,1,11,21,1,7,0,25,7,21,1,132,21,1,127,19,8,21,1,83,21,1,7,21,1,162,7,19,3,2,21,1,4,0,16,21,1,11,0,23,8,21,1,128,0,32,19,8,8,9,3,2,21,1,4,21,1,83,21,1,11,21,1,7,21,1,172,7,8,21,1,122,21,1,83,19,8,8,21,0,1,17,25,21,0,1,21,1,1,16,25,21,0,1,21,1,168,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,0,1,22,0,3,22,0,4,22,0,5,22,0,6,4,4,11,14,21,1,164,21,1,133,9,22,0,7,11,14,31,0,6,15,216,15,217,21,1,7,21,1,172,7,3,2,21,1,4,21,1,5,21,1,9,21,0,7,8,8,3,2,21,1,4,21,1,6,21,1,9,31,0,7,8,8,31,0,4,17,25,21,0,1,21,1,1,16,25,21,0,1,21,1,177,16,25,21,0,1,21,1,180,16,25,21,0,2,21,0,1,16,25,21,0,1,21,1,183,16,25,21,0,2,21,1,29,21,0,1,7,16,25,21,1,5,21,1,82,21,1,9,21,1,171,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,82,21,0,1,17,21,1,171,16,14,31,0,6,25,21,0,1,21,1,82,16,21,1,128,0,25,17,21,1,170,16,14,21,0,1,0,18,21,1,128,7,16,21,1,128,0,24,17,21,1,29,21,1,122,7,0,24,17,21,1,171,16,14,21,0,1,21,1,169,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,122,7,0,24,17,21,1,171,16,14,21,0,1,21,1,84,21,1,145,7,0,28,17,21,1,169,16,21,1,126,21,0,3,17,21,1,29,21,1,122,7,0,24,17,21,1,171,16,14,21,0,3,0,3,16,22,0,4,11,14,0,24,21,1,130,21,0,4,17,21,1,29,21,1,122,7,0,24,17,21,1,171,16,14,31,0,4,21,1,133,16,21,1,144,16,22,0,5,11,14,21,0,5,21,1,84,0,28,7,16,21,1,169,21,0,1,21,1,84,21,1,127,7,16,21,1,144,16,17,21,1,35,31,0,5,21,1,169,31,0,3,17,21,1,53,16,17,25,21,0,2,21,1,128,16,21,1,128,0,24,17,21,1,170,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,122,7,0,24,17,21,1,170,16,14,21,0,2,21,1,150,16,22,0,3,11,14,21,0,1,21,1,84,21,1,127,7,21,1,10,21,1,82,8,21,0,3,17,21,1,171,16,14,21,0,1,21,1,169,21,1,10,21,1,35,21,1,11,21,1,53,8,8,31,0,3,17,25,21,0,1,21,1,14,16,21,1,171,16,14,21,0,1,21,1,128,16,21,1,128,0,23,17,21,1,171,16,14,21,0,1,21,1,111,16,0,16,0,23,17,25,21,0,2,21,1,128,21,1,10,21,1,132,8,21,0,1,17,22,0,3,11,14,21,0,3,0,24,21,1,12,21,1,130,8,21,1,122,21,1,130,21,1,11,0,23,8,19,16,21,1,171,16,14,21,0,2,0,24,21,1,127,3,2,21,1,4,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,127,16,21,1,130,21,0,4,17,21,1,171,16,14,21,0,1,21,1,176,21,1,148,21,1,11,21,0,4,8,3,2,21,1,4,31,0,3,8,16,21,1,82,21,0,2,17,21,1,171,16,14,21,0,1,21,1,149,31,0,4,17,25,21,0,1,21,1,127,16,21,1,128,0,25,17,21,1,171,16,14,21,0,1,21,1,176,16,21,1,82,21,0,2,17,21,1,171,16,14,21,0,1,21,1,176,0,24,17,25,21,0,1,21,1,127,16,21,1,128,0,24,17,21,1,171,16,14,21,0,1,21,1,176,16,25,21,0,1,21,1,128,16,21,1,128,0,24,17,21,1,170,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,122,7,0,24,17,21,1,170,16,14,21,0,1,21,1,149,21,1,11,0,24,8,21,1,130,21,1,149,21,1,11,0,28,8,19,21,1,29,21,1,122,7,0,24,19,16,21,1,171,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,74,0,18,21,0,4,7,8,8,21,0,2,17,25,21,1,5,21,1,9,21,1,82,8,21,1,125,0,23,19,21,1,171,9,21,1,6,21,1,84,21,1,161,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,82,8,21,1,125,0,23,19,21,1,171,9,21,1,6,0,23,21,1,9,21,1,170,8,0,21,21,1,179,21,1,161,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,128,8,21,1,125,0,23,19,21,1,171,9,21,1,6,21,1,103,21,1,161,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,171,8,8,9,7,19,25,21,1,84,21,1,161,21,0,1,7,7,25,21,1,5,21,1,9,21,1,128,8,21,1,125,0,23,19,21,1,171,9,21,1,6,21,1,5,21,0,1,21,1,145,19,0,21,21,1,127,21,1,125,0,24,19,21,1,13,21,1,149,21,1,11,0,24,8,21,0,1,21,1,149,21,1,11,0,28,8,19,21,1,169,21,1,176,19,8,8,19,25,21,0,1,21,1,7,15,218,7,3,2,21,1,4,21,1,128,21,1,11,21,1,7,21,1,162,7,8,8,25,21,1,161,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,31,0,3,8,21,1,161,21,0,1,7,9,25,21,0,1,21,1,182,21,1,161,21,0,2,7,8,25,21,0,1,21,1,181,21,0,2,8,21,1,173,21,0,1,21,1,132,16,21,1,181,21,0,2,8,8,25,21,0,1,21,1,132,16,21,1,181,21,0,2,8,25,21,1,161,21,0,1,7,0,21,21,1,161,21,0,2,7,8,25,21,1,161,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,172,8,25,21,1,161,21,0,2,7,21,1,161,21,0,1,7,9,0,21,21,0,1,21,1,7,0,23,21,1,9,21,1,170,8,7,15,219,3,2,21,1,4,21,1,5,21,1,9,21,1,164,8,8,21,0,2,17,8,25,21,0,1,15,220,21,0,5,21,1,186,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,1,125,21,1,151,21,0,1,19,21,1,186,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,42,16,25,0,24,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,0,1,17,22,1,8,12,25,21,0,1,21,2,2,16,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,77,17,14,21,0,5,21,2,29,0,8,7,0,24,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,31,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,31,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,78,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,31,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,24,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,31,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,31,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,31,0,9,21,2,27,16,17,0,15,16,0,15,31,0,7,17,25,21,0,1,21,2,44,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,221,21,0,2,7,7,16,25,21,0,2,0,18,15,222,21,0,1,7,7,16,25,21,2,18,0,16,21,2,21,19,21,2,18,21,2,45,19,22,0,3,11,14,21,0,1,21,2,27,21,2,10,21,0,3,8,21,0,2,17,22,0,4,22,0,5,4,2,11,14,21,0,1,15,223,21,2,10,15,224,8,21,0,2,17,22,0,6,11,14,31,0,6,21,0,4,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,225,21,1,7,3,2,21,2,4,0,12,21,2,11,21,1,6,8,8,22,0,5,11,14,0,23,21,0,5,16,25,21,1,6,0,8,0,25,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,23,7,21,2,23,0,23,21,2,48,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,23,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,25,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,24,19,0,7,31,0,7,19,0,10,0,25,19,7,16,21,2,29,15,226,7,21,1,6,0,17,16,17,25,15,227,22,0,3,11,14,0,28,21,0,3,0,24,0,6,21,0,1,17,17,0,6,0,24,17,25,21,0,2,21,2,51,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,2,0,12,16,21,2,8,0,7,7,0,24,17,22,0,3,11,14,21,0,3,0,13,0,23,17,0,5,0,83,17,14,21,0,1,0,12,16,0,13,21,0,3,17,0,5,0,84,17,14,21,0,2,21,2,27,16,22,0,4,11,14,21,0,2,21,2,33,0,24,17,22,0,5,11,21,2,29,0,8,7,0,24,17,22,0,6,11,14,21,0,1,0,12,16,21,2,8,0,7,7,31,0,3,17,22,0,7,11,14,21,0,1,0,14,16,21,2,31,21,0,7,17,22,0,8,11,21,2,29,0,8,7,0,24,17,22,0,9,11,14,21,0,1,21,2,20,16,15,228,15,229,3,2,21,2,4,0,23,21,2,33,21,2,11,31,0,7,8,21,2,78,31,0,5,19,3,2,21,2,4,21,0,4,21,2,22,0,23,17,8,8,21,0,2,17,0,15,31,0,8,17,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,24,17,0,5,0,86,17,14,0,24,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,23,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,23,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,31,0,3,21,0,5,16,0,17,16,0,18,15,230,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,5,21,1,4,19,21,2,6,21,2,5,19,25,21,1,4,0,8,21,0,1,17,0,6,21,0,2,21,2,64,21,0,1,17,17,22,1,4,12,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,134,21,0,2,17,8,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,31,0,8,19,21,2,13,15,231,21,2,9,21,1,7,8,8,16,31,0,7,21,0,2,17,22,0,10,11,14,31,0,10,31,0,9,21,2,13,15,232,8,16,25,0,23,22,0,3,11,14,21,0,1,15,233,16,22,0,4,11,14,21,0,2,21,2,18,21,2,18,9,21,2,7,21,2,75,7,0,15,21,2,10,21,2,43,21,2,18,7,8,3,2,21,2,4,21,2,80,8,15,234,3,3,21,2,4,31,0,4,21,2,24,0,25,17,8,21,0,1,17,25,15,235,21,2,11,21,0,2,8,22,0,3,11,14,15,236,22,0,4,11,14,15,237,21,2,11,0,23,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,23,19,0,16,0,24,19,31,0,5,3,2,21,2,4,21,1,12,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,24,19,21,2,13,15,238,8,16,14,21,1,5,0,16,0,24,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,239,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,31,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,84,0,12,7,31,0,5,17,21,2,29,0,8,7,0,24,17,0,5,0,105,17,14,21,0,6,21,2,56,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,23,17,21,2,35,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,31,0,8,0,18,21,2,5,7,21,1,12,17,21,2,84,0,6,7,21,0,7,0,18,31,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,31,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,31,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,35,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,23,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,31,0,3,21,2,84,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,24,17,0,5,0,106,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,31,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,31,0,6,0,18,0,6,21,2,11,0,8,21,2,11,31,0,5,8,8,7,21,0,2,17,17,25,21,2,7,21,2,75,7,21,0,1,3,2,21,2,4,21,0,4,0,7,0,24,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,15,240,21,0,1,21,0,4,21,0,5,3,3,7,3,2,21,2,4,21,2,5,21,0,2,9,8,25,21,1,0,0,21,21,0,1,8,25,21,0,1,0,21,21,1,0,8,25,21,1,1,21,0,2,7,22,0,3,11,14,21,0,1,21,0,3,15,241,15,242,3,3,21,2,4,21,2,7,0,30,7,0,7,0,0,19,8,16,25,21,0,1,21,1,8,16,22,0,3,11,14,21,0,1,31,0,3,21,0,2,17,25,21,0,1,21,2,1,16,25,21,0,1,21,2,32,0,24,17,0,18,21,2,93,21,2,11,21,2,7,21,0,2,7,8,7,16,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,24,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,83,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,243,8,21,0,3,17,22,0,4,11,14,15,244,22,0,5,11,14,0,23,21,2,22,16,22,0,6,11,14,0,24,22,0,7,11,14,15,245,22,0,8,11,14,0,23,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,246,21,1,4,15,247,7,31,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,248,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,23,17,8,8,16,25,21,0,1,21,2,16,16,0,5,0,125,17,14,21,0,1,0,17,16,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,126,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,30,21,2,11,21,2,18,8,7,7,3,0,21,2,22,16,17,0,1,21,0,1,0,18,0,23,7,16,17,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,128,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,129,17,14,21,0,1,21,2,83,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,24,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,23,8,7,16,21,2,29,0,8,7,16,0,5,0,130,17,14,21,0,3,21,2,35,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,24,17,22,0,6,11,14,0,24,0,7,21,1,3,17,15,249,16,21,2,30,21,0,6,3,1,17,0,19,0,8,7,16,21,2,60,16,22,0,7,11,14,21,0,2,21,2,5,21,2,84,15,250,7,31,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,31,0,4,17,0,24,21,2,12,0,12,8,0,7,0,24,19,21,2,13,21,2,8,0,17,0,15,31,0,5,19,21,2,12,0,18,0,6,7,8,7,8,31,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,131,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,0,132,17,14,21,0,1,21,2,83,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,133,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,23,17,21,2,13,15,251,8,0,23,17,25,21,0,2,0,12,21,1,4,17,25,21,1,3,0,6,22,1,4,13,14,21,0,1,0,6,0,24,17,25,21,0,1,21,2,84,21,2,5,0,24,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,0,8,7,0,24,17,22,0,3,11,14,21,0,3,21,2,22,0,23,17,0,5,0,139,17,14,21,1,4,21,2,27,16,0,17,16,0,18,0,8,21,2,11,21,1,4,21,2,12,0,16,8,8,7,16,21,2,29,0,6,7,0,23,17,22,0,4,11,14,21,1,3,0,16,31,0,4,17,21,2,109,16,22,0,5,11,14,0,33,21,2,22,21,0,5,17,0,5,0,140,17,14,0,12,21,2,11,21,2,24,8,0,5,0,141,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,0,9,21,1,7,17,31,0,6,21,2,24,21,2,25,3,3,21,2,4,21,0,5,21,2,24,0,25,17,8,16,22,0,7,11,14,21,1,3,21,2,84,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,31,0,7,0,8,31,0,3,17,31,0,5,0,12,0,30,17,21,2,13,21,2,22,21,2,11,21,1,7,8,21,2,13,15,252,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,22,8,8,15,253,3,2,21,2,4,21,1,7,21,2,22,0,23,17,8,21,0,1,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,31,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,24,0,6,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,111,16,21,1,3,16,0,18,21,0,1,21,2,83,16,21,2,101,16,21,2,111,16,21,2,12,21,2,35,8,7,16,25,21,1,4,21,2,32,21,1,3,17,22,0,3,11,21,2,29,0,8,7,0,24,17,22,0,4,11,14,21,0,4,0,17,16,21,2,111,31,0,3,17,21,2,12,0,18,0,6,21,2,11,0,8,21,2,11,31,0,4,8,8,21,2,8,0,16,7,21,0,1,19,7,8,25,0,18,21,0,1,21,2,12,0,16,8,7,25,21,1,9,21,1,7,21,2,131,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,84,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,31,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,82,21,2,10,21,2,18,8,21,2,129,21,0,4,21,2,121,0,23,17,19,21,2,123,0,23,21,2,129,21,0,4,17,21,2,122,21,1,7,17,19,21,2,110,0,25,19,21,2,29,21,2,131,21,2,11,0,25,21,2,12,21,2,124,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,83,16,21,2,35,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,33,21,0,2,17,22,0,4,11,21,2,29,21,2,124,7,0,24,17,22,0,5,11,14,21,0,5,0,17,16,21,2,111,31,0,4,17,22,0,6,11,14,21,0,1,15,254,0,20,21,2,7,21,0,3,21,2,29,21,2,124,7,0,24,17,0,17,16,0,18,21,2,5,21,2,124,31,0,5,19,21,2,131,21,0,6,19,21,2,8,21,2,35,7,21,0,1,21,2,111,16,19,7,16,21,2,111,31,0,3,17,7,8,16,25,21,0,1,21,2,83,16,21,2,32,0,24,17,22,0,3,11,14,15,255,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,111,31,0,4,19,21,2,42,21,2,12,21,2,110,8,3,2,21,2,4,21,2,5,21,2,9,21,2,39,21,2,9,21,2,133,8,8,8,31,0,3,17,25,21,0,1,21,2,103,21,2,125,7,16,21,2,29,21,1,5,7,21,0,2,17,25,15,256,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,0,23,22,0,3,11,22,0,4,11,14,21,1,8,21,2,44,15,257,7,16,14,21,0,1,3,1,22,0,5,11,14,15,258,21,2,11,21,1,7,8,22,0,6,11,14,21,0,3,21,0,6,21,1,6,17,22,0,7,11,14,21,0,4,21,2,132,16,21,0,5,31,0,6,21,2,11,21,2,168,8,3,2,21,2,4,21,2,125,21,2,11,0,23,8,8,21,1,6,17,22,0,8,11,14,21,1,8,21,2,44,21,2,7,31,0,7,31,0,8,3,2,7,0,16,0,23,21,2,12,21,2,125,8,19,0,16,21,2,119,19,7,16,25,21,1,8,0,17,16,21,2,29,21,2,5,21,2,9,21,1,6,21,1,7,16,8,7,21,0,1,17,25,21,0,1,21,2,173,21,0,2,8,21,2,162,21,0,1,8,25,21,2,5,21,2,161,21,1,5,7,21,0,2,19,15,259,21,2,161,21,0,1,7,8,25,21,2,5,15,260,21,1,5,7,21,0,1,19,21,2,161,21,0,2,7,9,25,21,0,2,21,2,162,21,0,1,8,25,21,2,5,15,261,21,0,2,7,21,0,1,19,25,21,0,1,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,1,5,0,17,16,0,18,0,7,21,3,11,21,0,1,21,3,27,16,0,6,0,28,17,8,21,3,8,0,16,7,21,0,1,19,7,16,25,21,0,1,21,3,43,0,12,7,21,0,2,17,0,19,0,8,7,16,21,3,29,0,6,7,0,23,17,22,0,3,11,14,21,0,2,21,3,35,21,3,11,0,17,8,21,0,3,17,21,3,29,0,8,7,0,24,17,22,0,4,11,14,31,0,3,21,3,23,21,3,11,21,1,5,8,21,3,13,21,3,7,21,0,2,21,0,1,3,2,7,0,18,0,16,7,21,3,22,19,21,3,9,15,262,8,8,16,14,21,0,4,25,21,1,4,0,6,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,0,12,21,3,11,0,23,8,21,3,13,21,0,1,0,6,0,24,17,21,3,9,21,1,5,8,8,16,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,23,22,0,5,11,22,0,6,11,22,0,7,11,14,0,30,22,0,8,11,14,21,0,1,0,24,0,12,21,2,7,17,0,7,0,24,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,23,0,24,0,25,3,4,22,0,10,11,14,0,6,15,263,3,2,0,16,21,0,3,0,13,0,31,17,17,22,0,11,11,14,15,264,22,0,12,11,14,15,265,15,266,31,0,12,3,3,21,3,4,15,267,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,268,8,7,16,25,21,0,1,0,24,21,3,12,21,3,23,8,21,3,13,15,269,8,21,0,2,17,25,21,0,1,14,21,1,9,0,17,16,0,18,21,1,4,0,8,21,2,2,17,7,16,25,0,23,21,3,48,21,0,1,0,15,16,21,3,12,0,16,8,21,3,12,21,3,79,0,7,0,24,19,21,3,11,21,0,2,0,15,16,21,3,12,0,16,8,8,8,7,21,1,6,17,22,0,3,11,14,21,0,1,15,270,15,271,3,2,21,3,4,0,15,21,3,9,21,3,27,8,21,3,22,0,31,19,21,3,10,0,8,8,8,21,0,2,17,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,272,8,16,25,21,0,1,3,1,3,0,21,3,30,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,8,21,1,6,8,25,21,0,1,15,273,0,15,21,3,9,0,18,21,0,0,7,8,21,3,29,21,3,25,7,0,23,19,0,6,0,24,19,3,2,21,3,4,21,3,14,8,16,25,15,274,22,0,3,11,14,21,3,18,21,0,3,15,275,3,2,21,3,4,21,3,5,21,3,9,21,3,29,21,3,80,7,8,8,3,2,21,3,4,21,3,5,0,16,0,23,19,21,3,14,9,8,22,0,4,11,14,21,0,2,21,0,1,3,2,21,0,4,0,23,17,22,0,5,11,14,21,1,3,0,17,16,0,18,15,276,7,16,22,0,6,11,14,31,0,6,31,0,3,0,12,21,0,5,17,21,3,13,21,3,7,21,3,75,7,8,16,25,21,0,1,21,3,20,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,14,21,0,1,0,15,16,22,0,4,11,21,3,27,16,22,0,5,11,14,21,0,2,0,18,0,16,21,3,11,0,23,8,7,16,22,0,6,11,14,21,0,6,0,3,21,0,5,17,22,0,7,11,14,31,0,6,0,4,21,0,7,17,22,0,8,11,14,31,0,8,21,3,12,0,16,8,21,3,8,0,16,7,21,0,2,19,0,16,0,24,19,22,0,9,11,14,0,23,22,0,10,11,14,15,277,21,0,9,9,22,0,11,11,14,31,0,9,21,3,12,21,3,79,8,0,5,0,101,19,22,0,12,11,14,31,0,5,0,17,16,0,18,31,0,7,21,3,12,0,16,8,21,3,12,31,0,4,21,3,12,0,16,8,21,0,11,21,3,5,15,278,31,0,11,19,3,3,21,3,4,21,3,24,21,3,11,0,25,8,8,8,7,16,0,15,31,0,3,17,25,21,0,1,21,3,27,16,0,17,16,0,18,21,0,1,21,3,12,0,16,8,21,3,12,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,8,7,16,25,21,0,1,0,15,21,3,9,21,3,7,21,2,12,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,12,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,28,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,31,0,3,25,21,0,4,21,0,1,21,0,2,17,25,21,0,1,22,0,3,11,14,15,279,25,21,0,1,22,0,3,11,14,15,280,25,21,0,1,21,3,30,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,24,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,24,21,3,12,0,12,8,0,7,0,24,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,24,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,24,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,30,22,1,10,13,14,31,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,24,8,0,7,0,24,19,21,3,13,15,281,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,282,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,24,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,103,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,0,7,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,30,22,2,6,13,14,21,2,7,25,0,28,22,0,3,11,14,0,24,0,7,21,2,7,17,22,0,4,11,14,21,0,1,0,18,15,283,7,16,25,21,1,6,0,18,21,0,1,21,3,125,16,7,16,25,21,0,2,21,3,127,16,21,3,125,0,23,17,0,5,0,154,17,14,21,0,2,21,3,127,16,0,17,16,21,3,125,0,23,17,21,3,124,21,0,2,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,3,15,16,0,5,0,157,17,14,21,0,1,21,3,120,21,1,4,17,22,1,4,12,14,21,0,1,21,3,121,21,1,3,17,22,1,3,12,25,21,0,1,0,17,16,21,3,30,21,1,5,17,0,19,21,0,2,7,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,3,178,16,25,21,0,1,21,3,178,16,25,21,0,1,21,4,29,21,2,3,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,2,4,12,14,31,0,4,0,8,22,1,4,13,25,21,0,1,21,1,8,0,7,0,24,17,21,4,13,21,1,9,0,7,0,24,19,21,4,13,15,284,8,8,0,24,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,24,17,22,1,4,12,0,12,21,1,6,17,0,8,0,25,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,24,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,25,0,9,21,0,2,17,21,4,24,16,22,0,3,11,0,6,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,31,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,3,0,8,0,25,17,0,7,21,0,2,17,0,8,31,0,5,17,0,6,31,0,3,17,17,25,21,0,1,14,21,2,4,21,2,9,3,2,0,18,0,17,0,18,0,8,21,4,11,21,2,6,8,7,9,7,16,22,0,3,22,0,4,4,2,11,14,31,0,4,0,18,15,285,7,16,25,21,0,2,21,4,54,16,21,4,60,16,22,0,3,11,14,21,0,1,21,4,53,21,0,2,21,4,35,21,0,3,17,17,0,18,0,24,21,4,12,0,7,8,21,4,25,0,23,19,21,4,8,0,16,7,31,0,3,19,7,16,22,0,4,11,14,0,7,21,4,11,0,24,8,0,8,21,4,11,21,2,4,21,4,12,0,7,8,8,0,7,21,4,6,19,3,2,0,16,21,3,2,17,22,0,5,11,14,21,2,9,0,17,16,0,18,0,8,21,4,11,21,2,6,8,21,4,10,21,1,3,8,31,0,5,21,4,6,19,21,4,11,31,0,4,21,4,12,0,16,8,8,7,16,25,0,24,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,14,0,24,0,6,22,2,3,13,14,0,23,25,21,0,0,0,23,3,2,25,21,0,2,22,0,3,11,14,21,0,1,0,18,0,15,7,16,22,0,4,11,0,16,0,23,17,21,4,27,16,22,0,5,11,14,0,28,22,0,6,11,14,15,286,21,4,12,21,1,4,8,22,0,7,11,14,15,287,25,21,0,1,21,1,5,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,1,5,12,14,31,0,4,25,0,24,0,7,21,0,1,0,6,22,1,10,13,17,25,0,24,0,7,21,0,1,17,0,17,16,0,18,0,6,21,4,11,21,0,1,0,7,21,1,10,17,8,21,1,12,21,0,2,19,7,16,14,21,0,2,25,0,23,21,4,7,21,1,3,21,0,1,7,7,16,21,2,3,16,25,0,23,21,4,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,3,16,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,23,8,8,22,1,4,12,25,21,0,1,14,21,3,6,0,16,21,1,4,0,12,21,1,3,17,0,8,21,3,7,17,0,7,0,24,17,0,6,22,1,3,13,17,25,21,0,1,14,0,25,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,1,3,0,18,21,0,1,21,5,12,21,2,3,8,7,16,21,4,3,16,25,21,1,4,0,18,0,16,21,5,11,21,0,1,8,7,16,25,0,24,0,6,22,1,6,13,14,21,1,6,21,1,7,21,5,11,21,5,7,21,0,0,7,8,21,5,7,21,1,3,7,3,2,21,5,4,0,13,21,5,11,21,1,5,8,8,16,22,0,3,11,14,0,23,31,0,3,16,25] ,provide.concat([0,1,2,Infinity,-Infinity,-1,32,3,8,5,4,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','˙','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','∘','○','⌾','⍟','⊘','⊸','⟜',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟⎊%"),str("´: 𝕩 must be a list"),str("´: Identity not found"),str("Mapping: Equal-rank argument shapes don\'t agree"),str("Mapping: Argument shape prefixes don\'t agree"),str("⍋𝕩: 𝕩 must have rank at least 1"),str("⍋ or ⍒: Rank of 𝕨 must be at least 1"),str("⍋ or ⍒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍋ or ⍒: 𝕨 must be sorted"),str("p⊐𝕩 or 𝕨∊p: p must have rank at least 1"),str("p⊐n or n∊p: Rank of n must be at least cell rank of p"),str("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("𝕨⊑𝕩: 𝕩 must be a list when 𝕨 is a number"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("⊢⊣˜∘○⊸⟜⊘◶"),str("=≠≢"),str("<"),str("≍"),str("↕/»«⊔"),str("⥊↑↓⌽⍉⊏⊑"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("∘⌊⌽↑"),str("𝕨⥊𝕩: 𝕨 must have rank at most 1"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers"),str("𝕨⥊𝕩: Can\'t compute axis length when rest of shape is empty"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑"),str("𝕨⥊𝕩: Shape must be exact when reshaping with ∘"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: Rank of simple 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("≥: No monadic form"),str("≤: No monadic form"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("⍟: Repetition numbers in 𝕨𝔾𝕩 must be integers"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("𝕨⍉𝕩: 𝕨 must have rank at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("Cannot currently invert blocks"),str("Cannot invert modifier"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found")]) ,[[0,1,0,194],[0,0,4252,3],[0,0,4260,3],[0,0,4264,3],[2,0,4277,6],[0,0,4304,3],[0,0,4308,3],[0,0,4312,3],[1,0,4316,5],[1,0,4324,5],[2,0,4342,6],[2,0,4357,6],[2,0,4376,6],[2,0,4398,6],[2,0,4420,6],[0,0,4452,3],[0,0,4464,3],[0,0,4473,3],[0,0,4479,3],[1,0,4496,9],[0,0,4616,4],[0,0,4692,3],[0,0,4712,3],[0,0,4752,5],[0,0,4827,3],[1,1,4844,2],[2,1,4875,3],[1,1,4909,2],[0,0,4926,4],[2,1,4993,5],[0,0,5030,3],[1,1,5037,4],[1,1,5110,3],[0,0,5188,3],[0,0,5199,4],[1,0,5269,9],[0,0,5336,5],[2,0,5420,12],[1,1,5631,3],[1,0,5655,14],[1,1,6107,4],[0,0,6159,4],[0,0,6213,6],[0,0,6303,3],[0,0,6328,7],[0,0,6457,4],[0,0,6518,4],[0,0,6631,3],[0,0,6699,4],[0,0,6776,6],[0,0,6853,3],[0,0,6895,5],[0,0,6998,3],[0,0,7016,3],[0,0,7066,3],[0,0,7111,4],[2,1,7212,3],[0,0,7255,3],[2,0,7259,16],[0,0,7570,3],[0,0,7597,3],[0,0,7623,3],[0,0,7638,3],[1,0,7667,5],[2,1,7705,3],[0,0,7774,4],[0,0,7879,7],[0,0,7926,14],[0,0,8160,5],[0,0,8257,3],[0,0,8265,6],[0,0,8292,5],[0,0,8313,6],[0,1,8340,10],[1,1,8658,8],[1,0,8711,6],[1,1,8819,2],[0,0,8877,5],[0,0,9039,5],[0,0,9176,7],[0,0,9345,3],[0,0,9404,5],[0,0,9438,4],[1,0,9505,5],[2,1,9522,4],[0,0,9565,5],[0,0,9653,3],[1,0,9686,6],[0,0,9825,9],[1,0,9992,9],[0,0,10149,4],[0,0,10265,8],[0,0,10493,3],[0,0,10538,3],[0,0,10565,3],[0,0,10587,3],[0,0,10609,3],[0,0,10628,3],[1,1,10725,2],[2,0,10794,10],[2,0,10853,8],[1,0,11046,7],[0,0,11113,8],[2,0,11353,10],[0,0,11428,10],[0,0,11858,4],[0,0,11966,4],[0,0,12077,3],[0,0,12153,3],[0,0,12208,4],[0,0,12341,4],[1,1,12463,2],[2,0,12471,6],[1,1,12486,2],[0,0,12601,3],[0,0,12609,3],[0,0,12617,3],[0,0,12638,8],[0,0,12720,3],[0,0,12728,3],[0,0,12736,3],[0,0,12744,3],[0,0,12752,3],[0,0,12760,3],[0,0,12772,3],[2,0,12797,7],[0,0,12838,6],[0,0,13062,4],[0,0,13168,3],[0,0,13211,5],[0,0,13355,3],[0,0,13402,3],[0,0,13428,3],[1,0,13519,5],[0,0,13547,3],[0,0,13583,3],[0,0,13631,3],[0,0,13685,3],[0,0,13697,3],[1,1,13777,2],[0,0,13807,4],[0,0,13844,3],[0,0,13859,3],[0,0,13888,3],[0,0,13903,3],[0,0,13921,3],[0,0,13936,3],[0,0,13946,3],[2,0,14003,6],[0,0,14031,3],[1,1,14059,2],[1,1,14063,2],[0,0,14067,3],[0,0,14079,3],[0,0,14102,3],[0,0,14117,3],[0,0,14125,3],[1,0,14133,6],[1,0,14250,11],[1,0,14471,5],[0,0,14486,3],[0,0,14500,3],[0,0,14514,7],[0,0,14591,6],[0,0,14639,3],[1,0,14684,8],[0,0,14822,4],[0,0,14849,3],[0,0,14868,10],[0,0,15073,8],[0,0,15240,3],[1,1,15266,2],[0,0,15283,3],[0,0,15310,3],[0,0,15320,3],[2,0,15337,11],[0,0,15414,5],[0,0,15493,6],[0,0,15568,3],[0,0,15576,3],[1,0,15620,7],[0,0,15646,9],[1,0,15932,5],[0,0,15948,7],[1,0,16115,5],[2,0,16152,6],[0,0,16183,3],[0,0,16193,3],[0,0,16203,4],[0,0,16244,4],[0,0,16267,3],[0,0,16275,3],[0,0,16303,11],[0,0,16545,3],[0,0,16565,3],[0,0,16629,8],[0,0,16941,3],[0,0,16969,5],[0,0,17064,3],[0,0,17074,3],[0,0,17093,8],[0,0,17358,3],[0,0,17405,3],[0,0,17437,3],[0,0,17467,3],[0,0,17505,5],[0,0,17579,3],[1,0,17592,6],[0,0,17745,7],[0,0,17887,5],[0,0,17967,3],[0,0,17990,3],[0,0,18001,3],[0,0,18009,9],[0,0,18153,3],[0,0,18182,3],[0,0,18200,3],[0,0,18225,3],[0,0,18247,3],[0,0,18258,3],[1,1,18272,2],[1,0,18276,5],[1,0,18287,5],[0,0,18298,3],[0,0,18337,5],[0,0,18450,3],[0,0,18502,14],[0,0,18672,3],[0,0,18695,3],[0,0,18719,4],[0,0,18813,3],[0,0,18833,3],[0,0,18865,3],[0,0,18876,3],[0,0,18919,7],[0,0,19038,13],[2,0,19261,6],[0,0,19309,3],[0,0,19380,3],[0,0,19409,4],[1,0,19432,5],[0,0,19443,4],[0,0,19454,4],[0,0,19465,3],[1,0,19498,5],[0,0,19524,3],[0,0,19594,3],[0,0,19608,3],[0,0,19619,5],[0,0,19755,3],[0,0,19785,3],[0,0,19805,3],[0,0,19859,3],[0,0,19893,5],[0,0,19923,3],[0,0,19938,3],[1,0,19981,5],[0,0,19992,3],[0,0,20035,3],[2,0,20056,6],[1,1,20071,2],[1,1,20079,2],[0,0,20087,5],[0,0,20126,3],[0,0,20165,3],[0,0,20248,3],[0,0,20282,3],[0,0,20311,3],[0,0,20329,3],[0,0,20346,6],[0,0,20426,5],[0,0,20477,6],[0,0,20632,3],[0,0,20661,3],[0,0,20677,3],[0,0,20685,8],[0,0,20744,5],[0,0,20773,3],[0,0,20788,3],[1,1,20830,2],[2,1,20849,3],[0,0,20871,3],[0,0,20889,3],[0,0,20921,3],[0,0,20958,3],[0,0,20985,3],[0,0,21007,3],[0,0,21024,4]] ); let rtAssert = runtime[42] = assertFn("!"); runtime.map((r,i) => { r.prim = i; }); let decompose = x => list(!isfunc(x) ? [-1,x] : has(x.prim) ? [0,x] : x.repr ? x.repr() : [1,x]); setPrims(list([decompose, x=>has(x.prim)?x.prim:runtime.length])); let glyphs = ["+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!", "˙˜˘¨⌜⁼´˝`", "∘○⊸⟜⌾⊘◶⎉⚇⍟⎊"]; let gl = glyphs.join(""); let glyph = x => { let g = gl[x.prim]; if (!has(g)) throw Error("•Glyph 𝕩: 𝕩 must be a primitive"); return g; } // Compiler runtime[42] = assertFn("Compiler"); let compgen = run( [15,1,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,0,58,0,0,0,82,17,22,0,6,11,14,31,0,3,31,0,4,31,0,5,21,0,6,0,21,0,88,17,0,89,0,90,0,91,0,92,0,93,0,20,0,58,0,50,3,2,17,0,43,0,33,7,0,59,17,0,58,0,25,16,0,0,0,83,17,0,94,0,60,22,0,7,11,0,25,16,0,45,0,0,7,0,96,17,0,20,16,0,42,0,21,7,0,95,17,0,61,0,0,0,82,17,0,21,0,99,17,0,21,0,98,0,24,0,59,17,17,0,21,0,97,17,0,100,3,14,0,44,0,13,7,0,11,0,51,0,22,8,0,21,19,16,22,0,8,22,0,9,4,2,11,14,21,0,9,0,27,0,49,0,0,7,9,0,53,0,42,0,44,0,22,7,7,8,16,22,0,10,22,0,11,22,0,12,22,0,13,22,0,14,22,0,15,22,0,16,22,0,17,22,0,18,22,0,19,22,0,20,22,0,21,22,0,22,22,0,23,4,14,11,14,0,34,0,53,0,1,8,0,12,0,9,0,15,0,52,0,63,8,19,0,34,0,52,0,62,8,19,22,0,24,11,14,21,0,13,0,34,16,22,0,25,11,14,0,13,0,11,0,62,19,0,42,0,30,7,0,101,19,0,53,0,21,8,22,0,26,11,14,15,2,22,0,27,11,14,15,3,21,0,8,7,22,0,28,11,14,21,0,19,0,34,16,22,0,29,11,14,0,62,0,64,0,65,0,59,0,66,0,59,0,63,3,2,0,67,0,63,0,64,0,25,16,0,28,16,0,30,0,68,17,3,9,0,41,31,0,9,7,0,23,0,13,19,0,53,0,42,0,44,0,20,7,7,8,16,0,21,16,22,0,30,11,14,0,2,0,49,0,6,7,9,22,0,31,11,14,21,0,31,0,52,0,13,0,50,0,25,8,8,22,0,32,11,14,21,0,31,0,52,0,13,0,50,0,25,8,0,0,0,62,19,8,22,0,33,11,14,15,4,22,0,34,11,14,15,5,22,0,35,11,14,15,6,22,0,36,11,14,15,7,22,0,37,11,25,21,0,1,0,11,16,0,44,15,8,7,21,0,4,17,0,21,16,25,21,1,27,21,1,26,0,52,0,102,8,0,103,0,19,3,3,7,0,42,0,40,7,0,63,19,22,0,2,11,14,21,0,1,0,53,0,33,8,0,53,0,17,0,57,0,18,0,30,0,13,19,0,50,31,0,2,8,8,8,0,18,0,19,19,22,0,3,11,14,21,0,1,0,31,16,22,0,4,11,14,0,19,0,31,21,0,1,0,33,21,0,4,17,19,0,6,0,62,19,0,42,0,1,7,0,62,19,0,42,0,33,7,31,0,4,19,31,0,3,0,19,19,25,0,84,0,14,21,0,1,17,22,0,3,11,14,0,85,0,14,21,0,1,17,22,0,4,11,0,9,0,52,0,26,0,52,0,63,0,63,3,2,8,8,16,0,30,16,22,0,5,11,14,0,86,0,14,21,0,1,17,22,0,6,11,0,30,16,22,0,7,11,14,21,0,5,21,0,7,0,24,0,59,17,21,0,3,0,30,16,3,3,0,21,16,22,0,8,11,0,31,16,22,0,9,11,14,21,0,8,0,33,21,0,9,17,22,0,8,12,14,31,0,5,0,0,0,64,17,31,0,7,0,24,0,62,17,0,62,0,21,21,1,6,0,14,21,0,1,17,17,0,30,16,0,30,0,52,21,0,3,0,49,0,0,7,16,0,21,0,63,17,0,53,0,33,0,50,0,27,0,53,0,1,8,8,8,8,16,3,3,0,21,16,0,33,31,0,9,17,22,0,10,11,14,0,19,0,34,0,59,19,0,14,0,63,19,0,57,15,9,8,22,0,11,11,14,0,30,0,52,21,0,10,0,31,21,0,8,17,0,44,0,63,7,0,21,0,62,19,21,0,11,0,13,0,53,0,21,8,19,0,23,0,13,19,16,8,0,46,0,30,7,9,0,23,21,0,1,0,13,16,19,22,0,12,11,14,31,0,8,21,0,12,16,22,0,13,11,14,31,0,10,31,0,12,16,22,0,14,11,14,21,0,14,0,10,21,0,13,17,22,0,15,11,0,49,0,13,7,0,62,17,22,0,16,11,14,21,0,16,0,11,31,0,14,17,0,9,21,0,6,0,10,21,0,4,17,17,0,47,0,10,7,0,57,15,10,8,16,14,0,87,0,14,21,0,1,17,0,9,21,0,16,17,22,0,17,11,14,31,0,4,0,9,21,0,13,17,0,27,16,0,10,21,0,17,17,0,30,16,22,0,18,11,14,21,0,18,31,0,17,0,53,0,33,8,0,2,0,82,0,1,0,87,17,19,0,1,21,0,1,0,53,0,33,8,19,16,22,0,19,11,14,21,0,6,0,9,22,0,13,13,0,26,16,0,9,21,0,6,17,22,0,20,11,0,12,22,0,16,13,14,31,0,15,0,9,31,0,6,17,0,49,0,13,7,16,0,11,0,62,0,53,0,21,8,0,51,0,2,0,52,0,49,0,0,7,8,8,0,18,19,31,0,20,0,27,16,0,12,31,0,13,17,22,0,21,11,17,0,42,0,1,7,0,62,17,0,42,0,39,7,21,0,1,17,22,0,22,11,14,21,0,16,0,30,16,22,0,23,11,14,21,0,16,0,27,0,62,17,0,30,16,0,23,0,52,0,13,8,21,0,23,17,22,0,24,11,14,15,11,22,0,25,11,14,21,0,23,31,0,3,0,53,0,33,8,0,2,0,1,19,21,0,24,17,0,1,22,0,24,13,14,21,0,1,0,33,21,0,23,17,21,1,28,16,22,0,26,11,14,21,1,22,0,34,0,51,0,42,0,1,7,0,22,0,18,19,8,21,1,19,17,21,1,24,21,0,26,17,22,0,27,11,0,11,0,52,0,27,8,16,22,0,28,11,14,21,1,21,0,47,0,0,7,16,0,0,0,59,17,0,14,21,0,26,17,22,0,29,11,14,21,1,22,0,34,16,0,14,21,0,26,17,22,0,30,11,14,21,0,26,0,30,21,0,28,17,0,42,0,1,7,21,1,21,0,34,16,17,0,42,0,3,0,50,0,5,8,7,21,1,7,17,22,0,31,11,14,21,1,21,0,34,16,0,0,21,1,7,17,0,16,21,0,26,17,0,9,21,0,27,17,0,2,21,1,7,17,0,1,22,0,26,13,14,21,0,27,0,26,16,0,12,21,0,30,17,0,47,0,10,7,0,57,15,12,8,16,14,21,0,30,0,10,0,52,0,27,8,16,0,13,22,0,28,13,14,31,0,30,0,30,21,0,28,17,0,19,0,0,0,8,0,53,0,2,8,19,0,63,0,16,21,0,31,17,0,2,0,64,17,17,22,0,32,11,0,11,0,63,17,22,0,33,11,14,21,0,33,0,8,16,0,21,0,63,17,0,33,21,0,28,0,49,0,0,7,16,17,0,9,21,0,27,17,22,0,34,11,0,12,21,0,27,17,22,0,35,11,14,21,0,27,0,2,21,0,26,17,0,21,0,52,0,63,8,0,30,21,0,34,0,21,0,63,17,0,26,0,53,0,10,8,16,0,11,21,0,29,0,21,0,63,17,17,19,0,51,21,1,35,8,21,0,24,17,22,0,36,11,14,31,0,31,0,30,21,0,33,17,0,14,0,52,0,64,8,0,53,0,9,8,0,0,0,19,19,21,0,35,0,11,0,52,0,26,8,16,0,42,0,30,7,21,0,29,17,17,22,0,37,11,14,21,0,32,0,30,31,0,33,17,0,14,0,62,17,22,0,38,11,14,31,0,34,0,12,21,0,28,17,0,49,0,0,7,16,0,2,31,0,29,0,12,31,0,35,17,17,0,42,0,1,7,0,62,17,22,0,39,11,14,21,0,39,0,11,0,52,0,49,0,6,7,0,27,0,59,19,8,16,0,30,16,21,0,26,0,53,0,33,8,0,12,21,1,21,0,34,16,19,0,11,21,0,38,19,0,53,0,19,0,47,0,10,7,9,0,57,15,13,8,8,16,14,21,0,26,0,39,31,0,39,17,0,30,0,11,0,51,0,22,8,0,30,0,52,0,8,8,19,31,0,38,17,22,0,40,11,14,31,0,16,0,27,16,0,49,0,0,7,16,0,33,31,0,21,0,30,16,0,21,31,0,18,17,17,0,21,21,0,28,0,30,16,0,33,0,52,0,32,8,31,0,32,17,17,22,0,41,11,14,31,0,36,31,0,19,31,0,22,3,3,0,21,31,0,40,17,22,0,42,11,14,21,0,42,0,44,0,35,7,16,22,0,43,11,0,42,0,44,0,30,0,52,0,49,0,6,7,0,27,0,59,19,0,12,0,19,19,8,7,7,22,0,42,13,14,21,0,42,0,34,0,52,0,62,8,0,54,0,44,21,1,8,0,53,0,33,8,7,21,0,2,9,8,16,22,0,42,12,14,21,1,22,21,1,24,21,0,26,17,0,10,21,0,27,17,0,8,16,22,0,44,11,14,31,0,27,0,26,0,53,0,12,8,16,0,10,21,0,44,17,0,42,0,30,7,22,0,23,13,14,21,0,26,0,33,0,52,31,0,41,8,0,54,21,0,42,0,44,0,13,7,16,22,0,45,11,0,27,21,1,29,17,0,49,0,0,7,16,0,0,31,0,43,17,0,21,16,8,16,21,0,25,31,0,44,0,10,31,0,28,17,17,22,0,26,12,14,21,1,13,0,34,0,53,0,1,8,0,2,21,1,24,19,21,0,26,17,0,1,22,0,26,13,14,21,1,25,0,14,21,0,26,17,0,42,0,21,7,0,13,0,21,19,0,62,17,0,30,16,0,24,0,62,17,0,24,0,59,17,22,0,46,11,0,44,0,62,7,16,0,49,0,13,7,16,22,0,47,11,14,21,1,15,0,34,16,0,0,0,65,0,68,3,2,17,0,37,21,0,26,0,33,21,0,47,0,1,21,0,46,17,17,0,0,21,0,47,17,17,0,26,0,53,0,10,8,16,0,12,31,0,47,17,0,42,0,30,7,31,0,46,17,22,0,48,11,14,21,1,25,0,13,21,0,26,17,0,33,0,52,31,0,48,8,0,54,0,44,0,62,7,8,16,0,42,15,14,7,22,0,26,13,14,0,63,0,21,21,1,30,17,0,33,21,0,26,0,5,21,1,29,17,17,0,30,0,52,31,0,45,0,23,0,64,17,0,47,0,0,7,16,0,22,21,1,29,17,21,1,24,21,0,26,17,8,0,54,31,0,37,8,16,22,0,49,11,14,21,1,18,0,34,16,0,68,3,2,21,1,24,21,0,26,17,0,2,0,68,17,0,0,22,0,26,13,14,31,0,26,31,0,49,31,0,42,21,0,24,21,0,23,3,5,25,15,15,22,0,3,11,14,21,1,27,21,1,26,0,52,0,107,8,0,108,21,1,8,0,53,0,33,8,0,109,3,4,7,22,0,4,11,14,21,1,20,0,47,0,25,0,53,0,0,8,7,16,0,21,0,110,0,47,0,1,7,16,0,0,21,1,21,0,34,16,17,17,0,44,21,0,1,0,53,0,14,8,7,16,22,0,5,22,0,6,22,0,7,22,0,8,22,0,9,4,5,11,14,21,1,21,0,34,16,0,11,21,0,1,17,0,10,21,0,5,17,0,8,16,21,0,2,21,0,3,21,0,1,0,53,0,30,8,0,50,31,0,4,8,8,16,14,21,0,1,0,14,0,63,17,22,0,10,11,0,10,21,0,5,17,22,0,11,11,0,10,21,0,9,17,22,0,12,11,14,21,0,11,0,10,21,0,8,17,0,8,16,22,0,13,11,14,21,0,11,0,27,16,0,12,21,0,8,17,21,0,2,21,0,3,0,111,8,16,14,21,0,12,0,10,21,0,8,17,0,9,21,0,12,0,26,0,62,17,17,21,0,2,21,0,3,0,112,8,16,14,21,0,1,0,30,21,0,12,17,0,11,0,52,0,27,8,0,10,0,14,0,52,0,63,8,19,16,0,8,16,21,0,2,0,30,31,0,12,19,21,0,3,0,113,8,16,14,21,0,5,0,27,16,0,12,21,0,8,17,0,10,21,0,10,17,0,26,0,10,31,0,5,0,26,16,0,9,21,0,6,17,19,0,9,0,27,19,0,62,17,0,12,21,0,7,0,10,31,0,6,17,17,21,0,2,31,0,3,0,114,8,16,14,21,0,13,0,9,0,52,0,8,21,1,33,0,51,0,12,8,21,1,19,0,34,16,0,13,21,0,1,17,0,11,21,0,9,17,19,0,15,0,26,19,8,16,22,0,14,11,0,9,0,52,0,49,0,0,7,21,1,31,0,1,0,19,19,0,8,19,0,16,0,69,19,8,16,22,0,15,11,14,21,1,19,0,34,16,0,42,0,1,7,0,62,17,0,1,21,0,1,17,0,2,21,0,15,17,0,30,21,0,9,0,8,16,17,0,42,0,33,7,0,58,0,25,16,0,42,0,21,7,0,70,0,62,3,2,17,0,21,0,59,17,17,22,0,16,11,14,21,0,16,0,49,0,0,0,52,0,58,0,53,0,2,8,8,0,2,0,15,0,52,0,63,8,19,7,0,63,17,0,30,31,0,16,0,15,0,63,17,0,26,0,53,0,12,8,16,17,22,0,17,11,14,31,0,8,0,27,16,0,30,31,0,13,0,27,0,53,0,12,8,16,22,0,18,11,17,0,42,0,33,7,0,62,0,59,3,2,17,0,2,22,0,17,13,14,31,0,10,0,30,31,0,11,17,22,0,19,11,14,31,0,14,0,26,0,53,0,12,8,0,30,9,0,51,0,1,0,52,31,0,9,0,26,16,21,1,33,16,0,53,0,33,8,8,0,19,0,2,0,11,19,0,1,0,52,0,27,8,19,0,1,0,1,19,8,31,0,15,17,0,30,21,0,19,17,22,0,20,11,14,21,0,19,0,8,16,0,2,21,0,17,17,0,26,16,0,30,21,0,19,17,0,42,0,1,7,31,0,20,17,22,0,21,11,0,7,16,0,4,0,58,17,22,0,22,11,14,0,62,0,71,3,2,0,33,31,0,7,0,30,31,0,18,17,17,0,2,31,0,17,17,0,30,31,0,19,17,0,30,0,52,21,0,21,0,11,0,63,17,8,0,54,0,2,8,21,0,22,17,0,30,0,52,31,0,21,0,12,0,63,17,8,0,54,0,42,0,3,7,8,31,0,22,17,25,21,0,2,22,0,3,22,0,4,22,0,5,22,0,6,4,4,11,14,31,0,4,0,13,16,22,0,7,11,14,15,16,22,0,8,11,14,15,17,22,0,9,11,14,21,0,1,0,13,16,0,11,0,63,17,0,40,0,119,17,14,21,1,15,21,1,24,21,0,1,17,0,2,21,0,3,0,2,0,64,17,0,1,0,59,17,17,22,0,10,11,0,49,0,0,7,16,22,0,11,11,0,31,16,22,0,12,11,14,0,59,0,14,21,0,3,17,0,33,21,0,12,17,22,0,13,11,14,21,0,1,0,33,21,0,12,17,22,0,14,11,0,30,0,52,0,63,0,53,0,11,8,8,0,42,0,1,7,0,62,19,0,17,0,57,31,0,8,8,0,30,0,52,0,63,0,53,0,12,8,8,19,21,0,10,0,33,21,0,12,17,17,14,31,0,11,0,34,21,0,12,0,34,16,17,0,15,0,63,17,0,40,0,120,17,14,21,0,14,0,30,21,0,13,17,0,14,0,52,21,1,25,8,0,9,0,52,0,27,8,0,14,0,52,21,1,15,0,34,16,8,19,16,21,0,12,0,30,21,0,13,19,21,0,9,0,121,8,16,14,31,0,13,0,21,0,62,17,0,9,0,52,0,26,0,52,0,62,8,8,16,15,18,16,14,21,0,10,0,0,21,0,3,17,0,15,0,63,17,0,26,16,22,0,15,11,0,12,21,1,14,0,34,16,0,14,21,0,1,17,17,0,1,22,0,3,13,14,21,0,3,0,15,0,63,17,0,27,16,0,9,31,0,15,17,0,12,21,0,3,0,67,0,53,0,15,8,0,9,0,11,0,52,0,73,8,19,16,17,0,13,0,50,0,25,8,21,0,9,0,123,8,16,14,0,67,0,14,21,0,3,17,0,10,0,52,0,26,8,16,22,0,16,11,0,33,0,52,21,0,12,8,0,54,0,27,8,16,22,0,17,11,14,21,0,17,0,10,21,0,16,17,0,8,16,22,0,18,11,14,21,1,15,0,34,16,0,0,0,62,17,0,14,21,0,1,17,22,0,19,11,14,21,1,17,0,34,16,0,14,21,0,1,17,0,33,21,0,19,0,8,16,21,1,32,16,17,22,0,20,11,14,21,0,20,0,11,21,0,18,17,0,13,0,50,0,25,8,21,0,9,0,124,8,16,14,21,1,15,0,34,16,0,0,0,65,17,0,14,21,0,1,17,0,26,0,62,17,0,9,21,0,20,17,0,13,0,50,0,25,8,21,0,9,0,125,8,16,14,21,0,16,0,33,21,0,12,17,0,31,16,0,42,0,33,7,22,0,12,13,14,0,59,0,14,21,0,3,17,0,10,21,0,16,17,0,33,21,0,12,17,0,21,0,62,17,0,0,0,52,0,49,0,0,7,8,16,0,31,16,0,42,0,33,7,0,8,0,31,0,53,0,42,0,33,7,8,19,0,33,0,52,0,31,8,0,18,19,21,0,12,0,21,0,59,17,17,0,24,0,59,17,0,49,0,0,7,16,0,31,16,22,0,21,11,14,21,1,15,0,34,16,0,0,0,64,17,0,64,3,2,21,1,24,21,0,1,17,0,2,21,0,10,17,0,33,21,0,21,17,22,0,22,11,0,49,0,0,7,16,22,0,23,11,0,31,16,22,0,24,11,14,21,0,24,0,42,0,33,7,22,0,21,13,14,21,0,24,0,42,0,33,7,22,0,23,13,14,21,0,24,0,42,0,33,7,22,0,22,13,14,21,0,21,0,42,0,33,7,22,0,1,13,14,21,0,21,0,42,0,33,7,22,0,10,13,14,21,0,21,0,42,0,33,7,22,0,5,13,14,21,0,21,0,42,0,33,7,22,0,6,13,14,0,63,0,12,21,0,22,17,22,0,25,11,0,49,0,0,7,16,22,0,26,11,14,0,63,0,11,21,0,22,17,0,30,16,22,0,27,11,14,0,18,0,30,0,10,19,0,42,0,21,7,0,30,0,21,19,0,62,19,22,0,28,11,14,0,14,21,0,28,0,50,0,8,8,21,0,25,19,22,0,29,11,14,21,0,1,0,31,21,1,18,0,34,16,0,0,0,68,17,0,0,0,63,0,65,0,72,0,68,3,4,17,17,22,0,30,11,14,21,1,18,21,1,24,21,0,1,17,0,30,16,22,0,31,11,14,21,0,30,21,0,29,0,62,17,22,0,32,11,14,31,0,30,21,0,29,0,52,0,65,8,0,2,0,64,19,0,6,21,0,29,0,52,0,64,8,19,16,22,0,33,11,0,0,0,52,0,11,0,52,0,63,8,0,10,21,0,32,19,8,16,22,0,34,11,14,21,0,34,0,34,16,0,11,0,63,17,21,0,1,0,50,15,19,8,0,30,9,21,0,9,0,126,8,16,14,21,0,1,31,0,29,21,1,14,0,34,16,17,22,0,35,11,14,0,63,0,14,21,0,34,17,0,12,21,0,35,17,0,47,0,10,7,16,21,0,1,0,50,15,20,8,0,30,9,21,0,9,0,127,8,16,14,21,0,32,0,2,0,65,17,0,0,0,63,0,64,0,65,3,3,0,33,21,0,33,17,17,22,0,36,11,14,21,0,3,0,33,0,52,21,0,21,0,33,21,0,27,17,8,0,54,21,0,34,0,24,0,62,17,8,16,0,2,21,0,18,17,0,42,0,1,7,21,0,16,17,22,0,3,12,14,31,0,18,0,9,31,0,19,17,22,0,37,11,14,0,63,0,11,21,0,3,17,0,33,0,52,21,0,12,8,0,54,0,27,0,52,0,62,8,8,16,22,0,38,11,0,27,16,0,9,21,0,37,17,22,0,39,11,14,21,0,3,0,33,21,0,39,0,8,16,21,1,32,16,17,0,2,21,0,39,17,0,0,21,0,3,17,0,19,0,15,0,64,19,0,11,21,0,38,19,0,1,0,19,19,0,6,0,19,0,14,0,65,19,0,2,31,0,38,0,0,0,62,17,19,0,33,0,52,21,0,12,8,0,54,0,27,8,9,19,16,22,0,40,11,14,21,0,40,0,33,0,0,0,6,0,62,19,0,5,0,19,19,31,0,39,0,8,16,0,49,0,0,7,16,0,53,0,19,0,1,0,33,19,8,19,0,63,0,14,21,0,40,17,0,9,21,0,37,17,0,8,16,21,1,32,16,17,0,6,22,0,40,13,14,21,0,40,0,27,16,0,2,31,0,37,17,0,0,22,0,3,13,14,31,0,20,0,19,0,1,0,8,0,53,0,2,8,19,22,0,40,13,14,21,1,29,0,1,21,0,1,17,22,0,41,11,21,0,7,0,53,0,11,8,0,9,0,15,0,52,0,63,8,19,16,22,0,42,11,0,30,16,22,0,43,11,0,42,0,33,7,21,0,1,17,22,0,44,11,14,21,0,22,0,1,22,0,10,13,14,21,0,10,0,49,0,0,7,16,0,31,16,22,0,12,12,14,21,0,21,0,33,21,0,12,17,22,0,45,11,14,21,0,16,0,1,21,0,17,17,0,33,21,0,45,17,0,12,0,30,0,51,0,1,8,0,11,19,0,63,17,0,42,0,3,7,0,64,17,0,0,0,62,17,22,0,46,11,14,21,1,15,0,34,16,0,0,0,68,17,0,14,21,0,1,17,0,33,21,0,12,17,0,30,16,22,0,47,11,14,31,0,10,0,33,21,0,12,17,0,12,21,0,12,0,53,0,30,8,0,11,9,0,51,0,22,8,0,11,19,0,63,17,0,44,0,21,7,21,0,25,0,30,16,21,0,27,3,2,17,22,0,48,11,14,31,0,48,0,47,15,21,7,16,14,21,0,16,0,33,21,0,45,17,0,31,16,22,0,49,11,0,42,0,33,7,22,0,12,13,14,21,0,21,0,33,21,0,12,17,22,0,45,12,14,21,0,12,0,31,16,22,0,50,11,14,21,0,12,0,42,0,33,7,22,0,1,13,14,21,0,45,0,42,0,33,7,22,0,3,13,14,21,0,45,0,42,0,33,7,22,0,40,13,14,31,0,16,0,12,21,0,17,17,0,33,31,0,45,17,0,30,16,0,21,31,0,49,0,31,16,0,33,21,0,47,17,17,22,0,47,12,14,21,0,50,0,33,21,0,27,17,22,0,51,11,0,30,31,0,35,0,24,0,62,17,17,0,0,0,62,17,22,0,52,11,14,21,0,52,0,13,0,11,0,63,19,0,57,0,19,0,45,0,0,7,0,65,0,25,16,19,0,42,0,33,7,0,52,0,59,0,62,3,2,0,53,0,21,8,8,21,0,3,19,0,13,0,66,0,63,0,59,3,3,19,0,48,0,10,7,9,0,50,21,0,12,0,33,21,0,52,19,21,0,9,0,128,8,8,8,16,14,21,0,12,0,33,0,62,0,0,21,0,52,17,17,0,41,31,0,17,7,0,33,31,0,21,0,53,0,33,8,19,0,12,21,0,42,0,53,0,33,8,19,16,21,0,12,0,33,21,0,52,19,21,0,9,0,129,8,16,14,0,66,0,15,21,0,3,17,22,0,53,11,14,0,63,0,11,21,0,3,17,0,11,21,0,53,17,22,0,54,11,14,21,0,54,0,27,16,21,1,32,16,0,42,0,33,7,21,0,40,17,22,0,55,11,0,15,0,62,17,22,0,56,11,14,0,63,0,11,21,0,40,17,22,0,57,11,14,0,63,0,11,21,0,55,17,22,0,58,11,14,21,0,58,0,9,21,0,53,17,21,0,12,21,0,9,0,130,8,16,14,0,64,0,16,21,0,3,17,0,9,0,64,0,11,21,0,55,17,17,22,0,59,11,0,30,16,0,28,16,22,0,60,11,14,0,65,0,14,21,0,3,17,22,0,61,11,0,9,21,0,59,17,0,26,16,0,10,21,0,59,17,22,0,62,11,14,0,64,0,25,16,0,37,21,0,3,17,0,10,21,0,62,17,0,11,21,0,61,17,0,11,21,0,57,17,0,27,0,15,31,0,61,19,0,9,0,26,19,16,0,12,21,0,59,17,21,0,12,21,0,9,0,131,8,16,14,0,63,0,14,21,0,3,17,0,11,0,52,0,10,0,52,0,27,8,8,21,0,62,17,0,26,0,53,0,9,8,16,21,0,12,21,0,9,0,132,8,16,14,0,62,0,16,31,0,40,17,0,26,16,0,9,21,1,14,0,34,16,0,0,0,64,17,0,14,21,0,1,17,17,0,11,21,0,56,17,22,0,63,11,14,21,0,63,0,10,21,0,62,17,0,8,16,0,28,0,54,21,1,31,0,1,0,18,19,0,52,0,13,0,50,0,25,8,8,8,16,22,0,64,11,14,31,0,53,0,30,16,22,0,65,11,0,0,0,52,21,0,64,0,53,0,33,8,8,16,0,0,0,62,17,22,0,66,11,14,21,0,3,0,33,21,0,65,17,0,13,0,73,17,22,0,67,11,14,21,0,3,0,33,21,0,66,17,22,0,68,11,0,13,21,0,55,0,33,21,0,66,17,0,6,0,63,17,17,21,0,12,0,33,21,0,66,19,21,0,9,0,133,8,16,14,21,1,29,0,1,21,0,1,17,21,0,7,0,53,0,11,8,0,9,0,15,0,52,0,74,8,19,16,22,0,69,11,14,21,0,69,0,33,21,0,66,17,0,10,0,63,0,14,31,0,68,17,17,0,8,16,21,0,12,0,33,21,0,66,19,21,0,9,0,134,8,16,14,21,0,1,0,33,21,0,65,17,0,42,0,1,7,21,1,14,0,34,16,17,0,2,0,64,17,0,0,31,0,52,0,37,21,0,65,17,17,0,0,21,0,67,17,0,0,0,62,17,22,0,70,11,14,21,0,1,0,44,0,63,7,16,0,33,0,52,21,0,66,8,0,54,31,0,70,8,16,0,1,0,52,0,26,8,16,0,33,31,0,50,17,0,49,0,0,7,16,0,27,16,22,0,71,11,0,33,21,0,12,17,0,2,16,22,0,72,11,14,21,0,55,0,16,0,63,17,0,9,21,0,72,17,0,11,21,1,15,21,1,24,21,0,1,17,0,10,21,0,54,17,0,10,0,63,0,15,21,0,3,17,0,9,31,0,69,17,17,0,11,21,1,15,0,34,16,0,0,0,65,17,0,14,21,0,1,17,17,17,21,0,12,21,0,9,0,135,8,16,14,21,0,72,0,12,0,52,0,27,8,16,0,9,21,0,3,0,15,0,63,17,17,0,9,21,0,55,0,11,0,63,17,17,21,0,12,21,0,9,0,136,8,16,14,21,0,71,0,33,21,0,43,17,22,0,73,11,14,0,64,0,72,3,2,21,1,24,21,0,73,17,22,0,74,11,14,21,0,73,0,7,0,9,0,11,19,0,64,17,22,0,75,11,0,42,0,30,7,21,0,43,17,22,0,76,11,0,44,0,63,7,16,22,0,77,11,14,21,0,43,0,50,0,30,0,52,21,0,75,8,0,53,0,21,8,8,22,0,78,11,14,0,63,0,11,31,0,22,17,0,49,0,0,7,16,0,33,21,0,76,17,22,0,79,11,14,21,0,25,0,13,0,21,0,30,19,16,0,33,21,0,79,17,22,0,80,11,14,21,0,26,0,33,21,0,43,17,0,42,21,0,24,0,33,31,0,27,17,0,21,21,0,1,0,13,16,17,7,0,33,0,30,0,52,21,0,74,8,0,21,31,0,79,19,19,0,21,31,0,24,0,30,21,0,25,17,0,21,0,59,17,0,53,0,33,8,0,0,21,0,73,0,14,0,62,17,19,19,16,22,0,81,11,14,21,0,77,0,21,22,0,74,13,14,21,0,44,0,30,31,0,75,17,0,21,22,0,44,13,14,21,0,81,0,31,16,0,33,0,52,21,0,44,0,30,0,52,21,0,74,8,0,53,0,21,8,16,22,0,82,11,0,53,0,33,8,0,31,9,8,16,22,0,83,11,14,21,0,83,0,30,0,52,0,15,0,52,21,0,74,0,13,16,8,8,16,15,22,16,14,21,0,83,0,33,0,52,21,0,74,0,42,0,30,7,16,0,1,16,0,21,21,0,74,17,0,53,0,33,0,50,0,49,0,0,7,8,8,0,31,9,8,16,0,30,0,52,21,0,74,0,13,16,0,53,0,11,8,8,16,22,0,83,12,14,21,0,83,0,42,0,33,7,22,0,74,13,14,21,0,83,0,42,0,33,7,22,0,44,13,14,21,0,78,0,33,21,0,83,19,22,0,78,12,14,31,0,44,0,13,0,52,0,27,8,16,0,11,21,0,74,17,21,0,78,21,0,9,0,30,21,1,26,0,138,19,8,16,14,31,0,76,0,44,0,64,7,16,0,21,0,62,0,65,3,2,21,1,24,21,0,73,17,17,0,33,21,0,83,17,15,23,16,14,21,0,80,0,21,21,0,43,17,0,33,0,52,21,0,83,8,0,54,0,33,0,52,21,0,74,21,1,32,16,8,8,16,22,0,84,11,14,0,64,0,72,3,2,21,1,24,21,0,71,17,0,9,31,0,42,17,0,49,0,0,7,16,21,1,31,0,1,0,19,19,21,0,25,17,22,0,85,11,0,30,31,0,25,0,26,0,62,17,17,22,0,86,11,14,21,0,31,0,44,0,63,7,16,0,21,21,0,77,17,0,21,21,0,84,0,23,0,52,0,13,8,21,0,43,17,31,0,23,0,53,0,33,8,0,51,0,1,8,21,0,43,17,17,22,0,87,11,14,31,0,41,0,33,21,0,31,17,0,0,0,64,17,0,15,0,52,0,63,8,0,53,0,0,8,16,0,0,21,0,32,0,2,0,65,17,0,33,21,0,26,0,33,21,0,31,17,17,17,0,21,0,62,0,1,31,0,85,17,0,0,21,0,36,0,33,21,0,26,17,17,0,33,31,0,84,17,17,22,0,88,11,14,21,0,87,0,33,0,52,31,0,83,8,0,54,0,19,0,11,0,63,19,31,0,28,0,33,0,52,0,49,0,0,7,8,0,18,19,21,0,74,19,0,9,0,18,0,14,0,63,19,0,9,21,0,74,0,26,0,62,17,19,19,8,21,0,77,0,21,21,0,73,17,17,22,0,89,11,14,31,0,71,0,33,21,0,31,17,0,21,31,0,77,17,0,21,31,0,73,17,0,11,0,63,17,0,0,0,75,17,0,0,31,0,89,0,2,0,58,17,17,31,0,87,31,0,88,3,3,22,0,90,11,14,21,0,80,0,11,0,52,0,27,0,52,0,59,8,8,16,0,30,16,22,0,91,11,14,31,0,31,0,21,21,0,80,17,0,21,31,0,43,17,0,30,0,65,17,21,0,80,0,33,21,0,91,17,3,2,0,30,0,62,0,65,3,2,17,0,28,0,59,17,0,21,16,22,0,92,11,14,31,0,90,0,12,16,0,29,16,0,20,16,21,0,91,0,44,0,65,7,16,21,0,91,0,19,0,1,0,26,19,0,52,0,13,8,31,0,80,17,31,0,91,0,44,0,76,7,16,3,4,0,28,0,59,17,22,0,93,11,14,21,0,62,0,8,16,0,49,0,0,7,16,21,1,31,0,1,0,19,19,21,0,54,17,0,7,0,10,0,12,19,0,64,17,0,9,21,0,56,17,22,0,94,11,14,31,0,59,0,27,16,0,10,0,62,0,14,21,0,3,17,17,22,0,95,11,0,11,21,0,72,0,11,21,0,54,17,0,10,0,52,0,26,8,16,0,10,21,0,62,17,0,10,31,0,94,17,22,0,96,11,17,0,30,16,22,0,97,11,14,31,0,95,0,10,31,0,96,17,0,12,21,0,56,17,21,0,12,21,0,9,0,140,8,16,14,0,63,0,14,21,0,3,17,0,11,21,0,62,17,0,10,0,63,0,16,21,0,3,17,0,9,31,0,56,17,17,0,11,31,0,57,17,0,26,16,0,33,21,0,97,17,22,0,98,11,14,21,1,25,0,11,21,0,1,17,0,30,16,22,0,99,11,0,42,0,33,7,21,0,1,17,22,0,100,11,0,9,16,0,38,16,22,0,101,11,0,27,0,1,0,19,19,0,59,17,0,30,16,0,33,31,0,100,17,22,0,102,11,14,31,0,7,0,0,21,1,29,17,22,0,103,11,0,16,21,0,1,17,0,30,16,22,0,104,11,0,21,31,0,99,17,22,0,105,11,14,21,0,1,0,33,31,0,104,17,0,0,21,0,101,0,13,16,0,42,0,1,7,31,0,103,17,17,0,21,22,0,102,13,14,21,1,25,0,14,21,0,1,17,22,0,106,11,14,21,1,15,0,34,16,0,0,0,64,17,0,14,21,0,1,17,22,0,107,11,14,21,1,15,0,34,16,0,0,0,72,17,0,14,21,0,1,17,22,0,108,11,21,1,32,0,51,0,11,8,21,0,107,17,0,9,21,0,106,17,22,0,109,11,14,21,0,58,0,9,21,0,109,0,10,21,0,108,17,0,27,16,17,21,0,12,21,0,9,0,141,8,16,14,0,63,0,21,21,0,109,17,0,49,0,0,7,16,0,30,0,62,0,21,21,0,108,17,17,0,24,0,62,17,0,27,0,53,0,1,8,16,0,0,31,0,54,0,26,0,62,17,0,30,31,0,108,17,0,8,16,17,0,42,0,21,7,31,0,46,17,22,0,110,11,14,31,0,106,0,11,31,0,109,17,0,11,21,0,58,17,0,30,16,22,0,111,11,14,31,0,107,0,30,16,22,0,112,11,14,21,0,98,0,0,21,0,97,17,0,0,0,52,21,0,64,0,53,0,33,8,0,2,21,0,98,19,8,16,22,0,113,11,14,21,0,113,0,30,31,0,58,0,33,21,0,97,17,22,0,114,11,0,2,21,0,98,0,0,0,62,17,17,17,0,21,22,0,111,13,14,21,0,114,0,8,16,22,0,114,12,14,21,0,114,0,42,0,30,7,22,0,97,13,14,21,0,114,0,42,0,30,7,22,0,98,13,14,31,0,114,0,42,0,30,7,22,0,113,13,14,21,0,105,21,0,105,21,0,51,21,0,51,21,0,47,0,30,0,64,17,21,0,111,21,0,66,0,30,21,0,67,17,31,0,64,0,33,21,0,60,17,0,6,0,62,17,0,0,21,0,60,17,31,0,113,21,0,112,3,10,0,21,16,0,42,0,33,7,21,0,12,17,0,21,31,0,92,17,22,0,115,11,0,31,16,22,0,116,11,14,31,0,105,0,44,0,63,7,16,31,0,102,21,0,51,0,44,0,77,7,16,31,0,51,0,13,16,0,25,16,0,0,0,62,17,31,0,110,0,22,31,0,72,0,33,31,0,47,17,0,0,0,65,17,17,0,29,16,0,20,16,31,0,111,0,44,0,76,7,16,21,0,1,0,0,21,0,63,17,0,33,31,0,65,0,30,21,0,67,17,17,0,0,21,1,14,0,34,16,0,0,0,62,17,0,1,0,78,17,17,0,6,0,78,17,31,0,3,0,33,21,0,60,17,0,0,0,68,17,31,0,55,0,33,21,0,97,17,0,2,0,80,17,0,1,31,0,98,17,0,0,0,79,17,0,14,0,52,0,58,8,0,2,0,61,19,0,0,0,19,19,16,21,0,112,0,44,0,81,7,16,3,10,0,21,31,0,93,17,0,21,16,0,33,21,0,116,17,22,0,117,11,14,0,19,0,42,0,33,7,21,0,12,19,0,21,0,13,0,53,0,42,0,24,0,52,0,1,8,7,8,19,22,0,118,11,14,31,0,66,0,30,31,0,67,17,0,42,0,1,7,0,62,17,31,0,60,21,0,97,3,3,0,21,16,21,0,118,21,0,5,0,13,16,0,42,0,1,7,0,62,17,0,5,31,0,115,17,0,28,0,52,0,13,0,50,0,1,8,8,21,0,112,17,17,22,0,119,11,14,21,0,5,21,0,6,3,2,0,44,0,33,0,52,0,28,0,52,21,0,112,0,13,16,8,0,33,21,0,116,19,0,42,0,21,7,0,59,19,8,7,21,0,119,31,0,63,0,10,31,0,62,17,0,8,16,0,27,16,21,1,32,16,0,33,31,0,97,17,31,0,118,31,0,119,17,3,2,17,22,0,120,11,14,0,81,0,21,21,0,117,17,31,0,101,31,0,33,31,0,32,0,8,16,31,0,112,0,13,0,51,0,1,8,31,0,117,17,0,16,31,0,116,17,0,21,0,62,17,0,30,16,31,0,36,0,0,31,0,86,17,3,4,31,0,120,3,4,25,21,0,2,0,13,0,13,0,64,19,0,57,15,24,8,16,22,0,3,22,0,4,4,2,11,14,21,0,1,21,1,34,31,0,4,17,22,0,5,11,22,0,6,22,0,7,22,0,8,22,0,9,22,0,10,4,5,11,14,31,0,6,21,1,36,31,0,7,21,0,8,0,34,16,31,0,9,31,0,10,3,4,17,22,0,11,22,0,12,22,0,13,22,0,14,4,4,11,14,31,0,11,31,0,8,0,24,0,62,17,0,21,31,0,3,0,33,31,0,12,17,3,1,17,0,21,16,31,0,13,0,12,16,0,29,16,0,43,0,11,7,16,31,0,14,31,0,5,3,5,25,21,0,1,21,0,2,16,25,21,0,1,0,33,0,52,21,0,2,0,30,21,0,1,17,8,0,54,0,44,0,62,7,8,16,21,1,11,21,0,2,0,42,0,33,7,16,17,25,0,63,0,40,21,0,1,0,30,16,0,34,16,0,104,3,2,17,25,21,0,2,0,42,0,30,7,22,1,24,13,14,21,0,1,0,30,21,0,2,17,25,0,63,0,40,21,1,24,0,30,21,0,1,17,0,105,3,2,17,25,0,63,0,40,21,0,2,0,30,21,0,1,17,0,42,0,33,7,21,1,24,17,0,106,3,2,17,25,21,0,2,0,42,0,30,7,22,1,23,13,14,21,0,1,21,1,25,21,0,2,17,25,0,47,0,10,7,0,57,21,0,1,0,11,0,51,0,22,8,21,0,2,0,53,0,30,8,19,0,42,0,40,7,0,63,19,8,25,0,63,0,28,0,53,0,45,0,14,7,8,0,48,15,25,7,0,19,0,50,0,44,0,63,7,8,19,0,34,0,59,19,3,2,0,55,0,13,0,11,0,63,19,0,51,0,9,8,8,22,0,3,11,14,15,26,22,0,4,11,14,0,63,21,0,4,0,116,8,0,42,0,62,31,0,4,0,117,8,7,3,2,0,55,0,13,0,51,0,12,8,8,22,0,5,11,14,21,0,1,31,0,5,0,118,3,2,0,55,0,13,0,51,0,5,8,0,11,31,0,3,19,8,21,0,2,17,0,42,0,40,7,0,63,17,25,0,14,0,57,0,47,0,10,7,8,0,57,21,0,1,0,11,0,51,0,22,8,21,0,2,0,53,0,30,8,0,42,0,62,0,56,0,33,8,7,21,1,6,0,22,21,1,5,17,19,0,29,0,50,0,9,8,9,19,0,42,0,40,7,0,63,19,8,25,21,1,14,0,21,0,63,17,0,30,21,0,1,17,0,13,21,2,15,0,34,16,0,0,0,72,17,17,21,1,12,0,21,0,63,19,0,30,21,0,1,19,21,1,9,0,122,8,16,25,21,2,18,21,2,24,21,0,1,17,0,9,21,1,26,0,14,0,63,17,17,25,21,2,14,0,34,16,0,14,21,0,1,17,0,9,21,1,34,0,13,0,63,17,0,33,21,1,26,17,17,25,21,1,5,0,33,0,52,21,0,1,8,0,54,21,1,5,0,33,21,0,2,17,8,16,22,1,5,12,14,21,1,6,0,33,0,52,21,0,2,8,0,54,21,1,6,0,33,21,0,1,17,8,16,22,1,6,12,25,21,1,81,0,33,0,52,21,0,1,8,0,13,0,52,0,27,8,9,0,51,0,10,8,21,1,82,17,0,8,16,21,1,78,0,30,0,52,21,1,74,8,0,53,0,21,8,9,0,33,21,0,1,19,21,1,9,0,137,8,16,25,21,0,1,0,30,21,0,1,0,2,16,0,10,21,1,74,17,22,0,3,11,17,0,27,0,53,0,1,8,16,0,15,0,64,17,21,1,78,0,30,31,0,3,19,21,1,9,0,139,8,16,25,21,0,1,0,44,0,44,0,41,0,63,7,0,40,0,142,19,7,7,3,2,25,21,0,1,0,27,16,0,0,21,0,2,17,0,49,0,6,7,16,0,6,21,0,1,17,25,0,36,0,14,0,18,0,50,0,13,8,19,0,42,0,30,7,0,19,19,0,0,21,0,2,19,0,42,0,33,7,21,3,8,19,0,21,0,99,19,0,21,21,0,1,19,0,21,0,115,19,25] ,[runtime[0],runtime[1],runtime[2],runtime[3],runtime[4],runtime[6],runtime[7],runtime[8],runtime[9],runtime[10],runtime[11],runtime[12],runtime[13],runtime[14],runtime[15],runtime[16],runtime[17],runtime[19],runtime[20],runtime[21],runtime[22],runtime[23],runtime[24],runtime[25],runtime[26],runtime[27],runtime[28],runtime[29],runtime[30],runtime[31],runtime[32],runtime[33],runtime[34],runtime[35],runtime[36],runtime[37],runtime[38],runtime[39],runtime[40],runtime[41],runtime[42],runtime[43],runtime[44],runtime[45],runtime[46],runtime[47],runtime[48],runtime[49],runtime[50],runtime[51],runtime[52],runtime[53],runtime[54],runtime[55],runtime[56],runtime[58],runtime[59],runtime[61],10,-1,26,9,1,0,2,3,-3,-2,5,17,3.141592653589793,Infinity,4,-4,-10,21,14,15,11,16,7,25,'\0','0','#','\'','\"','@',str("⋄,"),str("⇐←↩"),str("(){}⟨⟩"),str("‿"),str("·"),str("𝕊𝕏𝕎𝔽𝔾𝕤𝕩𝕨𝕗𝕘"),str("π∞¯."),str("_"),str("aA"),str("•"),str("𝕨"),str(" "),str("#\'\"@"),str("s"),str("Unknown character"),str(": "),str("Unclosed quote"),str("System dot with no name"),str("Numbers can\'t start with underscores"),str("Letter"),str(" \""),str("\" not allowed in numbers"),str("ea"),str("Negative sign in the middle of a number"),str("Portion of a number is empty"),str("Ill-formed decimal or exponent use"),str("π and ∞ must occur alone"),str("Missing "),str("opening"),str("closing"),str("Malformed bracket nesting"),str("Empty program"),str("Swapped open and closed brackets"),str("Parentheses can\'t contain separators"),str("Empty statement or expression"),str("Invalid assignment or stranding use"),str("Can\'t strand Nothing (·)"),str("Can\'t return Nothing (·)"),str("Special name outside of any block"),str("Can\'t export from a non-immediate block"),str("Modules must be immediately assigned"),str("Modules must be destructured"),str("Nothing (·) cannot be assigned"),str("Missing operand"),str("Double subjects (missing ‿?)"),str("Role of the two sides in assignment must match"),str("Function or modifier assignment to a non-name"),str("Assignment target must be a name or list of targets"),str("Can\'t use result of function/modifier assignment without parentheses"),str("Redefinition"),str("Undefined identifier"),str("Imports must have been exported"),str("Second-level parts of a train must be functions"),str("Can\'t use Nothing (·) in lists"),str("System values not supported")] ,[[0,1,0,0],[0,0,3,38],[1,0,486,5],[1,1,505,5],[0,0,629,50],[0,0,2415,23],[0,0,3234,121],[0,0,8232,15],[0,0,8383,3],[0,0,8391,3],[0,0,8431,3],[0,0,8450,3],[0,0,8473,3],[0,0,8492,3],[0,0,8520,3],[2,1,8544,3],[0,0,8580,6],[2,1,8717,3],[0,0,8786,3],[0,0,8836,3],[0,0,8858,3],[0,0,8888,3],[0,0,8946,3],[0,0,9008,4],[0,0,9060,3],[0,0,9082,3],[2,1,9107,3]] ); let compile = compgen(list(glyphs.map(str))); runtime[42] = rtAssert; let system = (x,w) => { let r = table(s=>sysvals[unstr(s)])(x); if (r.some(v=>!has(v))) { let m = x.filter((_,i)=>!has(r[i])).map(s=>"•"+unstr(s)).join(" "); throw Error("Unknown system values (see •listSys for available): "+m); } return table(v=>v.dynamic?v():v)(r); } let rt_sys = list([runtime, system]); let bqngen = (comp, rt) => src => run.apply(null,comp(str(src),rt)); let bqn = bqngen(compile, rt_sys); // Formatter let fmtnum = x => str(x==Infinity ? "∞" : x==-Infinity ? "¯∞" : (""+x).replace(/-/g,"¯")); let fmt1 = run( [15,1,25,21,0,1,22,0,2,22,0,3,22,0,4,22,0,5,4,4,11,14,0,64,0,14,0,17,0,17,19,0,37,0,65,8,3,2,0,40,0,9,0,37,0,54,8,8,21,0,5,3,2,0,40,0,54,0,38,0,7,8,8,0,18,9,22,0,6,11,14,15,2,22,0,7,11,14,0,10,0,7,0,47,19,0,42,15,3,8,22,0,8,11,14,15,4,22,0,9,11,14,15,5,22,0,10,11,14,15,6,15,7,3,2,0,40,15,8,0,46,3,2,0,40,0,9,0,38,0,9,0,37,0,46,8,0,36,0,6,8,8,8,8,22,0,11,11,14,0,74,0,18,0,73,17,15,9,15,10,3,2,0,40,0,9,0,10,0,43,19,0,6,0,10,0,9,0,47,19,19,8,3,2,0,40,0,13,0,13,0,43,0,43,3,2,19,8,22,0,12,11,14,15,11,22,0,13,11,14,15,12,22,0,14,11,14,15,13,15,14,15,15,3,3,0,40,0,27,0,54,7,0,7,0,16,19,0,35,0,32,0,0,7,0,11,0,0,0,7,0,37,0,43,8,19,0,9,19,8,8,22,0,15,11,14,31,0,6,31,0,15,21,0,14,3,2,0,40,0,31,21,0,2,7,0,11,0,52,19,0,16,0,35,0,32,0,6,7,8,9,8,21,0,14,3,3,0,40,0,12,0,3,0,47,19,8,22,0,16,11,14,15,16,22,0,17,11,14,0,15,0,15,21,0,16,9,21,0,17,0,26,0,46,19,0,18,9,3,2,0,40,0,14,0,11,0,52,19,8,21,0,2,19,22,0,18,11,14,21,0,18,0,35,0,29,0,53,0,0,0,54,17,0,38,0,17,8,7,8,0,16,9,0,20,0,44,19,25,0,46,0,30,0,19,7,21,0,1,0,1,16,17,0,23,0,39,0,34,0,28,0,31,0,2,7,7,7,8,16,0,32,0,44,0,45,3,2,0,41,0,0,8,7,21,0,2,17,0,16,16,0,26,0,37,0,44,8,0,39,0,43,8,16,25,21,0,1,0,13,16,0,20,0,44,17,22,0,3,11,0,4,0,46,17,21,1,7,16,22,0,4,11,14,15,17,22,0,5,11,14,21,0,1,0,16,21,0,1,0,13,16,0,19,0,44,17,0,17,31,0,3,0,32,0,2,7,16,17,17,0,19,0,37,0,32,0,0,7,8,31,0,5,3,2,0,40,0,15,0,35,0,9,8,0,7,0,43,19,8,31,0,4,17,25,21,0,1,0,16,16,0,30,0,27,0,55,7,0,16,0,13,0,26,0,44,19,0,38,0,18,8,19,0,17,0,15,19,7,21,0,1,0,13,16,21,1,7,0,46,17,17,0,17,16,25,0,55,0,16,21,0,1,0,9,16,21,0,2,3,2,17,22,0,3,11,14,21,0,3,21,0,1,31,0,3,3,3,0,18,16,0,17,16,25,0,68,0,17,21,0,1,0,25,16,0,20,0,46,17,0,20,0,44,17,17,0,17,0,67,17,0,18,16,25,21,0,1,0,13,16,0,26,0,44,17,22,0,3,11,14,0,69,21,0,2,0,15,0,3,0,46,19,0,28,0,25,7,0,70,19,0,16,9,21,1,5,3,2,0,40,0,7,0,37,0,48,8,8,16,3,2,0,17,16,0,19,21,0,3,17,0,18,16,21,0,1,0,26,0,39,0,71,0,26,0,46,0,1,21,0,2,17,0,3,0,49,17,0,4,0,43,17,17,8,16,0,72,0,19,0,37,0,1,8,31,0,3,17,0,18,16,3,3,0,17,16,25,21,0,1,0,25,16,0,31,0,10,7,0,66,17,0,33,0,1,7,16,0,34,0,0,7,16,0,10,0,47,17,0,32,0,6,7,16,25,21,0,1,0,30,0,75,7,16,21,1,10,0,46,17,21,1,11,0,47,17,0,26,0,37,0,43,0,44,3,2,8,0,39,0,56,8,16,25,21,0,1,0,13,16,0,66,0,30,21,1,5,7,0,30,0,17,0,37,0,76,8,7,9,0,17,9,0,26,0,39,0,57,8,9,3,2,0,40,0,9,0,7,0,46,19,8,16,0,18,16,25,21,0,1,0,30,0,13,7,16,22,0,3,11,14,21,0,3,0,30,0,26,7,0,46,17,0,16,0,27,0,46,7,0,1,0,10,19,0,42,0,33,0,4,7,8,3,2,0,40,0,10,0,7,0,43,19,8,16,22,0,4,11,14,31,0,3,0,30,0,26,7,16,0,10,0,7,0,43,19,0,42,0,46,0,41,0,33,0,4,7,8,8,16,22,0,5,11,14,21,0,1,0,30,0,19,7,0,46,0,19,21,0,4,0,9,16,0,2,21,0,2,17,0,1,16,17,0,5,31,0,4,17,0,2,21,0,2,17,0,31,0,18,7,21,0,5,17,17,0,10,0,1,0,47,19,0,4,0,43,19,0,42,0,18,8,16,0,47,0,41,0,17,0,35,0,7,8,8,16,22,0,6,11,14,31,0,6,21,1,9,0,8,0,35,21,1,8,8,3,2,0,40,31,0,5,0,16,16,0,12,0,37,0,23,0,37,0,46,8,8,16,8,16,21,1,10,0,47,17,25,21,0,1,0,30,21,1,18,7,16,21,1,13,0,46,0,14,21,0,2,17,17,21,1,11,21,0,1,0,10,16,17,25,21,0,1,0,10,16,22,0,3,11,14,0,77,0,15,0,39,21,0,1,8,16,0,20,0,43,17,22,0,1,12,14,21,0,1,0,13,16,0,20,0,44,17,22,0,4,11,0,9,16,0,1,16,0,10,0,37,0,43,8,0,42,0,45,8,16,22,0,5,11,14,0,58,22,0,6,11,14,15,18,22,0,7,11,14,21,0,1,0,24,0,37,0,15,0,10,21,0,6,19,0,0,0,46,19,8,31,0,7,3,2,0,40,0,10,0,9,0,46,19,8,16,22,0,1,12,14,21,0,6,0,19,0,37,0,1,8,21,0,4,17,21,0,5,0,41,0,17,8,21,0,1,17,31,0,5,0,41,0,17,8,0,61,0,19,21,0,4,0,17,0,46,17,0,26,0,44,17,17,0,16,31,0,4,17,0,26,0,39,31,0,6,8,16,17,0,18,16,21,0,3,0,9,0,46,17,0,42,21,1,8,21,1,10,0,46,19,21,1,11,31,0,3,19,8,16,25,21,0,1,21,1,14,21,1,12,3,2,0,40,0,13,0,10,0,43,19,0,32,0,6,7,9,8,16,25,21,0,1,21,1,14,0,44,17,25,0,78,0,79,0,80,0,81,3,4,0,30,0,14,0,17,0,17,19,7,0,62,17,22,0,3,11,14,0,15,0,15,0,35,21,1,16,0,35,21,0,3,0,26,16,0,25,3,2,0,40,0,9,0,10,0,46,19,8,8,8,0,7,0,36,0,18,8,0,43,19,21,1,17,3,2,0,40,0,14,0,11,0,52,19,8,21,1,2,19,22,0,4,11,14,21,0,1,21,1,3,16,22,0,5,11,0,26,16,22,0,6,11,14,0,63,0,1,0,82,17,0,26,21,0,6,17,22,0,7,11,14,0,84,0,38,0,17,8,0,17,0,83,19,22,0,8,11,14,0,15,0,30,31,0,4,0,38,0,26,0,37,0,46,8,0,14,0,11,21,0,7,0,3,0,47,17,19,0,42,0,15,0,35,31,0,8,8,8,0,26,0,38,0,0,8,19,8,7,0,9,0,35,0,21,8,0,10,0,43,19,0,1,9,0,46,0,8,21,0,7,17,0,42,0,23,8,9,19,0,17,9,22,0,9,11,14,21,0,5,0,20,0,46,17,0,27,21,0,1,7,21,1,4,0,35,0,16,8,9,31,0,3,0,40,0,47,0,1,21,0,2,17,8,31,0,9,3,3,0,40,31,0,6,0,3,0,47,17,8,16,22,0,10,11,14,21,0,10,21,0,7,0,11,0,47,17,0,42,0,27,31,0,5,7,0,26,0,44,19,21,1,2,9,0,8,0,52,19,0,42,0,85,0,38,0,17,8,8,8,16,22,0,10,12,14,31,0,7,31,0,10,3,2,25,21,0,1,0,17,0,37,0,25,0,35,0,30,0,55,7,8,8,16,0,25,21,0,2,0,0,0,46,17,0,17,0,43,17,0,24,16,0,2,0,37,0,7,0,37,0,22,8,8,16,17,25,0,51,0,0,0,54,17,0,7,21,0,1,17,0,2,0,54,0,1,0,60,17,17,0,0,0,50,0,0,0,54,17,0,15,0,1,0,59,19,0,2,0,10,19,21,0,1,17,17,0,0,21,0,1,17,25] ,[runtime[0],runtime[1],runtime[2],runtime[6],runtime[7],runtime[9],runtime[11],runtime[12],runtime[13],runtime[14],runtime[15],runtime[16],runtime[18],runtime[19],runtime[20],runtime[21],runtime[22],runtime[23],runtime[24],runtime[25],runtime[26],runtime[27],runtime[29],runtime[30],runtime[32],runtime[35],runtime[36],runtime[43],runtime[44],runtime[45],runtime[46],runtime[47],runtime[49],runtime[50],runtime[51],runtime[52],runtime[53],runtime[54],runtime[55],runtime[56],runtime[58],runtime[59],runtime[61],0,-1,Infinity,1,2,5,4,127,32,3,10,'\0',' ','┐','↕','\"','␡','␀','·','*','0',str("@"),str("\'"),str("⟨⟩"),str("⟨"),str("⟩"),str("┌"),str("·─"),str("·╵╎┆┊"),str("┘"),str("┌┐"),str("└┘"),str(" "),str("‿"),str(""),str("array"),str("function"),str("1-modifier"),str("2-modifier"),str("00321111"),str("("),str(")"),str("{𝔽}")] ,[[0,1,0,0],[1,1,3,19],[0,0,399,3],[0,0,465,6],[0,0,565,3],[0,0,616,4],[0,0,655,3],[0,0,685,4],[0,0,808,3],[0,0,846,3],[0,0,885,3],[0,0,938,7],[0,0,1168,3],[0,0,1201,8],[0,0,1428,3],[0,0,1457,3],[0,0,1467,11],[0,0,1822,3],[0,0,1874,3]] )(list([type, decompose, glyph, fmtnum])); let fmt = x => unstr(fmt1(x)); let fmtErr = (s,e) => { let r=e.src, w=e.message, loc=[]; while (w&&w.loc||(r!=='!'&&w.sh&&w.sh[0]===2)) { let is; [is,w]=w; let n=is.sh?is.sh[0]:0, i=n?is[0]:is; let pair=n&&is.sh.length>1; if (pair) n*=2; let to=i=>s.slice(0,i).join('').split('\n').map(l=>Array.from(l)); let ll=to(i), l=ll.length-1, j=ll[l].length, m=to()[l]; let k=1,o=i-j,cl=j; while (kt?'^':' ').join('')]; loc = add.concat(ol?['(and other lines)']:[], loc); } if (r==='!') w=w?fmt(w).replace(/^/gm,'! '):'! Error'; else w=w.sh?w.join(''):w; return [w].concat(loc).join('\n'); } let isstr = x => x.sh && x.sh.length==1 && x.every(c=>typeof c==="string"); let unixtime = (x,w) => Date.now()/1000; let req1str = (e,x,w) => { if (!isstr(x)) throw Error(e+": 𝕩 must be a string"); if (has(w)) throw Error(e+": 𝕨 not allowed"); return unstr(x); } let dojs = (x,w) => { let s = req1str("•JS",x,w); let r = Function("'use strict'; return ("+s+")")(); let toBQN = x => { if (isnum(x)) return x; if (typeof x==='string') { if (Array.from(x).length!==1) throw Error("•JS: JS strings are one character; use Array.from for BQN strings"); return x; } if (x instanceof Array) return arr(x.map(toBQN),x.sh||[x.length],toBQN(x.fill)); if (isfunc(x)) { let f=(a,b)=>toBQN(x(a,b)); f.m=x.m; return f; } throw Error("•JS: Unrecognized JS result"); } return toBQN(r); } let extendedbqn = (x,w) => { let req = (r,s) => { if (!r) throw Error("•ExtendedBQN: "+s) }; req(!has(w), "𝕨 not allowed"); req(x.sh && x.sh.length===1, "𝕩 must be a list"); req(x.every(e=>e.sh&&e.sh.length===1&&e.sh[0]===2), "𝕩 must contain glyph-primitive pairs"); let pr = glyphs.map(str); let l=0, rt = pr.map(s=>runtime.slice(l,l+=s.length)); x.forEach(([gl,val])=>{ req(typeof gl==="string", "Primitive glyphs must be characters"); req(isfunc(val), "Primitives must be operations"); let k=val.m||0; pr[k].push(gl); rt[k].push(val); }); pr.map(p=>p.sh=[p.length]); rt = list([].concat.apply([],rt)); let bqn = bqngen(compgen(list(pr)),list([rt,system])); return (x,w)=>bqn(req1str("•BQN extension",x,w)); } let dynsys = f => { f.dynamic=1; return f; } let sysvals = { bqn:(x,w)=> bqn(req1str("•BQN",x,w)), js:dojs, extendedbqn, type, glyph, decompose, fmt:fmt1, unixtime, listsys: dynsys(() => list(Object.keys(sysvals).map(str).sort())) }; let make_timed = tfn => { let timed = f => (x,w) => { let n=has(w)?w:1; if (!isnum(n) || n!==Math.floor(n) || n<1) throw Error("•_timed: 𝕨 must be an integer above 1"); return tfn(() => { for (let i=0;i t[0]+t[1]/1e9; sysvals.monotime = (x,w) => sec(process.hrtime()); sysvals.timed = make_timed(f => { let t0=process.hrtime(); f(); return sec(process.hrtime(t0)); }); } else if (typeof performance!=='undefined') { sysvals.monotime = (x,w) => performance.now()/1000; sysvals.timed = make_timed(f => { let t0=performance.now(); f(); return (performance.now()-t0)/1000; }); } if (typeof module!=='undefined') { // Node.js bqn.fmt=fmt; bqn.fmtErr=fmtErr; bqn.compile=compile; bqn.run=run; bqn.sysvals=sysvals; bqn.util={has,list,str,unstr,dynsys,req1str}; module.exports=bqn; }