1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
|
"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 getrev = names => {
let m=names.rev;
if (m) return m;
m={}; names.forEach((s,i)=>m[s]=i);
return names.rev=m;
}
let findkey = (ns, names, i) => {
let nn=ns.names, ni;
return ns[nn===names ? i : getrev(nn)[names[i]]];
}
let readns_sub = (v, names, i) => {
let ni = findkey(v.ns, names, i);
if (!has(ni)) throw Error("Unknown namespace key: "+names[i]);
return v[ni];
}
let readns_assign = (v, vid, i) => readns_sub(v, vid.names, vid[i]);
let readns = (v, vid, i) => {
if (!v.ns) throw Error("Key lookup in non-namespace");
return readns_sub(v, vid.names, i);
}
let makens = (keys, vals) => {
let n = Array(keys.length).fill().map((_,i)=>i);
n.names=keys.map(k=>k.toLowerCase()); vals.ns=n; return vals;
}
let obj2ns = (obj, keys, f) => makens(keys, keys.map(k=>(f?f:(v=>v))(obj[k])));
let listkeys = (x,w) => {
let s=x.ns, k=Object.keys(s).filter(n=>!isNaN(n));
return list(k.map(n=>s.names[+n]).sort().map(str));
}
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 (id.match) {
if (!call(runtime[18],id.v,v)) throw Error();
} else {
if (v.sh) {
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]));
} else if (v.ns) {
id.map(n=>{
if (n.e) {
let vid=n.e.vid; set(d,n,readns_assign(v, vid, n.p));
} else if (n.m) {
set(d, n.m, readns(v, n.vid, n.a));
} else {
throw Error("← or ↩: Cannot extract non-name from namespace");
}
});
} else {
throw Error("← or ↩: Multiple targets but atomic value");
}
}
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(er){let s=L.map(p=>p[l]);s.sh=[1,2];let m=[s,er.message];m.loc=1;m.src=e.vid.src;m.sh=[2];er.message=m;throw er;}":"";
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 1: { r+= rP("D["+num()+"](e)"); break; }
case 6: { rD--; break; }
case 7: { if(rD!==1) throw Error("Internal compiler error: Wrong stack size"); r+= "return v0;"; break loop; }
case 8: { r+= "e.ns=e.vid.ns;return e;"; break loop; }
case 11:case 12: { let n=num(); rD-= n; r+=rP("llst(["+(new Array(n).fill().map((_,i)=>rV(rD+i)).join(","))+"])"); break; }
case 16:case 18: { let f=rG(),x=rG(); r+=rP("call("+f+","+x +")"); break; }
case 17:case 19: { let w=rG(),f=rG(),x=rG(); r+=rP("call("+f+","+x+","+w+")"); break; }
case 20: { let g=rG(),h=rG(); r+=rP("train2(" +g+","+h+")"); break; }
case 21:case 23: { let f=rG(),g=rG(),h=rG(); r+=rP("train3("+f+","+g+","+h+")"); break; }
case 26: { let f=rG(),m=rG(); r+="chkM(1,"+m+");"+rP(m+"("+f +")"); break; }
case 27: { let f=rG(),m=rG(),g=rG(); r+="chkM(2,"+m+");"+rP(m+"("+f+","+g+")"); break; }
case 22: { r+= "if(undefined==="+rV(rD-1)+")throw Error('Left argument required');"; break; }
case 32:case 34: { r+= rP("getv("+ge(num())+","+num()+")"); break; }
case 33: { r+= rP("{e:"+ge(num())+",p:"+num()+"}"); break; }
case 43: { let m=rG(); r+=rP("{match:1,v:"+m+"}"); break; }
case 47: { let i=rG(), v=rG(); r+="try{set(1,"+i+","+v+");}catch(e){break;}"; break; }
case 48: { let i=rG(), v=rG(); r+=rP("set(1,"+i+","+v +")"); break; }
case 49: { let i=rG(), v=rG(); r+=rP("set(0,"+i+","+v +")"); break; }
case 50: { let i=rG(),f=rG(),x=rG(); r+=rP("set(0,"+i+",call("+f+","+x+",get("+i+")))"); break; }
case 66: { let m=rG(); r+=rP("{vid:e.vid,m:"+m+",a:"+num()+"}"); break; }
case 64: { let v=rG(); r+=rP("readns("+v+",e.vid,"+num()+")"); break; }
}
}
return "let "+new Array(szM).fill().map((_,i)=>rV(i)).join(',')+";"+r+fin;
}
let run = (B,O,F,S,L,T,src,env) => { // Bytecode, Objects, Blocks, Bodies, Locations, Tokenization, source
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 repdf = ["","4,f,mod","5,f,mod,g"].map(s=>s?"fn.repr=()=>["+s+"];":s);
let D = F.map(([type,imm,ind],i) => {
let I = imm ? 0 : 3; // Operand start
let sp = (type===0?0:type+1) + I;
let useenv = i===0 && env;
let gen = j => {
let [pos,varam,vid,vex] = S[j];
let ns = {}; if (vex) vex.forEach((e,j)=>{if(e)ns[vid[j]]=j+sp;});
vid = (new Array(sp).fill(null)).concat(vid); vid.src=src; vid.ns=ns;
if (T) ns.names = vid.names = T[2][0].map(s=>s.join(""));
return [genjs(B, pos, L), vid];
}
let c,vid,def;
if (isnum(ind)) {
[c,vid] = gen(ind);
if (useenv) { c = "const e=env;"+c; env.vid=vid; }
else if (imm) c = "const e=[...e2];e.vid=vid;e.p=oe;"+c;
else c = "const fn=(x, w)=>{const e=[...e2];e.vid=vid;e.p=oe;e[0]=fn;e[1]=x;e[2]=w;"+c+"};"+repdf[type]+"return fn;";
c="do {"+c+"} while (0);\n";
def = useenv ? "env" : ("new Array("+vid.length+").fill(null)");
} else {
if (imm || ind.length<2) throw "Internal error: malformed block info";
let cache=[]; // Avoid generating a shared case twice
let l=0;
vid=[]; let g = j => {
let [c,v] = cache[j] || (cache[j] = gen(j));
c = "const e=[...e1];e.vid=vid["+vid.length+"];e.p=oe;e.length="+v.length+";e.fill(null,"+sp+");"+c;
vid.push(v);
return "do {"+c+"} while (0);\n"
}
let cases = ind.map((js,i) => {
let e = js.length?"No matching case":"Left argument "+(i?"not allowed":"required");
return js.map(g).concat(["throw Error('"+e+"');\n"]).join("");
});
let combine = ([mon,dy]) =>
"(x, w)=>{const e1=[...e2];e1[0]=fn;e1[1]=x;e1[2]=w;\n"
+ "if (w===undefined) {\n"+mon+"} else {\n"+dy+"}\n"
+ "};";
def = "new Array("+sp+").fill(null)";
c = "const fn="+combine(cases)+repdf[type]+(type===0?"fn.inverse="+combine(cases.slice(2)):"")+"return fn;";
}
let de2 = "let e2="+def+";"
if (type===0) c = de2+c;
if (type===1) c = "const mod=(f ) => {"+de2+" e2["+I+"]=mod;e2["+(I+1)+"]=f;" +c+"}; mod.m=1;return mod;";
if (type===2) c = "const mod=(f,g) => {"+de2+" 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,readns,O,L,env,vid) => D => oe => {"+c+"};")()
(chkM,has,call,getv,get,set,llst,train2,train3,readns,O,L,env,vid);
});
D.forEach((d,i) => {D[i]=d(D)});
return D[0]([]);
}
// Runtime
let assertFn = pre => (x,w) => {
if (x!==1) throw {kind:pre, message:has(w)?w:x}; 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 m1 = m=>{let r= f =>setrepr(()=>[4,f,r ], m(f )); r.m=1; return r;}
let m2 = m=>{let r=(f,g)=>setrepr(()=>[5,f,r,g], m(f,g)); r.m=2; return r;}
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 fc = (dy,mon,gl) => (x,w) => {
if (has(w)) return dy(w,x);
if (isnum(x)) return mon(x);
throw Error(gl+"𝕩: Argument must be a number");
}
let floor = fc(Math.min,Math.floor,"⌊");
let ceil = fc(Math.max,Math.ceil ,"⌈");
let abs = (x,w) => {
if (isnum(x)) return Math.abs(x);
throw Error("|𝕩: Argument must be a number");
}
let abs_mod = (x,w) => {
if (!has(w)) return abs(x,w);
if (isnum(x)&&isnum(w)) {
let r = x%w;
return ((x<0)!=(w<0) && r!=0) ? r+w : r;
}
throw Error("𝕨|𝕩: Arguments must be numbers");
}
let lesseq = (x,w) => {
let s=typeof w, t=typeof x;
if (s==="function"||t==="function") throw Error("𝕨≤𝕩: Cannot compare operations");
if (w.ns||x.ns) throw Error("𝕨≤𝕩: Cannot compare namespaces");
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 = m1(f => (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 = m1(f => (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<s.length;i++)c*=s[i];
let i=0;
if (!has(w)) { for(;i<c;i++) r[i]=x[i]; }
else { for(;i<c;i++) r[i]=call(f,x[i],w[i]); }
for(;i<l;i++) r[i]=call(f,x[i],r[i-c]);
}
return arr(r,s,x.fill);
});
let cases = m2((f,g) => (x,w)=>has(w)?call(g,x,w):call(f,x,w));
let catches = m2((f,g) =>
(x,w)=>{try{return call(f,x,w);}catch(e){return call(g,x,w);}});
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 : x.ns ? 6 : 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){
r.fill=undefined;
}
}
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 select = (x,w) => {
let s=x.sh, k=s.length, f=x.fill, t=w.sh, c=1;
if (k!==1) {for(let i=1;i<k;i++)c*=s[i];t=t.concat(s.slice(1));}
let r=Array(w.length*c);
let j=0;
w.forEach(i=>{for(let k=0;k<c;k++)r[j++]=x[i*c+k];});
return arr(r,t,f);
}
let fold = f => (x,w) => {
let l=x.sh[0];
let r=has(w)?w:x[l=l-1];
for (let i=l;i--;) r=call(f,r,x[i]);
return r;
}
let runtime_0 = [
floor // ⌊
,ceil // ⌈
,abs // |
,(x,w)=>has(w)?1-lesseq(w,x):arr([x],[],tofill(x)) // <
,(x,w)=>1-lesseq(x,w) // >
,(x,w)=>x.sh&&x.sh.length?x.sh[0]:1 // ≠
,(x,w)=> lesseq(w,x) // ≥
,(x,w)=>x // ⊢
,(x,w)=>has(w)?w:x // ⊣
,(x,w)=>arr(w.concat(x),[w.sh[0]+x.sh[0]]) // ∾
,(x,w)=>arr(x.slice(0,w),[w]) // ↑
,(x,w)=>arr(x.slice(w),[x.sh[0]-w]) // ↓
,select // ⊏
,m1(f=>(x,w)=>f) // ˙
,m1(f=>(x,w)=>call(f,has(w)?w:x,x)) // ˜
,m1(f=>(x,w)=>arr(x.map((e,i)=>call(f,e,w[i])),x.sh)) // ¨
,m1(fold) // ´
,m2((f,g)=>(x,w)=>call(f,call(g,x,w))) // ∘
,m2((f,g)=>(x,w)=>call(f,call(g,x),has(w)?call(g,w):w)) // ○
,m2((f,g)=>(x,w)=>call(g,x,call(f,has(w)?w:x))) // ⊸
,m2((f,g)=>(x,w)=>call(f,call(g,x),has(w)?w:x)) // ⟜
,m2((f,g)=>(x,w)=>call(g[call(f,x,w)],x,w)) // ◶
,m2((f,g)=>(x,w)=>call(g,x,w)?call(f,x,w):x) // ⍟
];
let [runtime,setPrims] = run(
[0,96,33,0,0,48,6,1,1,33,0,1,48,6,1,2,33,0,2,48,6,1,3,33,0,3,48,6,0,0,0,12,0,45,21,33,0,4,48,6,0,0,0,13,0,46,21,33,0,5,48,6,0,45,0,12,0,41,0,11,27,11,2,0,43,0,0,0,12,0,46,21,27,33,0,6,48,6,0,45,0,12,0,41,0,11,0,39,0,19,27,27,11,2,0,43,0,0,0,12,0,46,21,27,33,0,7,48,6,32,0,5,0,44,0,20,27,33,0,8,48,6,0,30,32,0,5,26,0,35,0,8,26,0,46,21,33,0,9,48,6,1,4,0,15,11,2,0,43,32,0,4,27,33,0,10,48,6,1,5,0,37,1,6,27,33,0,11,48,6,0,14,0,42,0,28,27,33,0,12,48,6,0,34,0,12,26,0,35,0,8,26,0,46,21,33,0,13,48,6,0,4,0,41,0,30,0,46,26,27,33,0,14,48,6,1,7,33,0,15,48,6,1,8,33,0,16,48,6,1,9,33,0,17,48,6,32,0,17,0,55,26,33,0,18,48,6,1,10,33,0,19,48,6,1,11,33,0,20,48,6,0,56,0,45,0,57,0,45,0,58,0,46,0,59,0,46,0,60,0,46,0,61,0,46,0,62,0,48,0,63,0,49,0,64,0,45,0,65,0,46,0,66,0,45,0,67,0,46,0,68,0,45,0,69,0,46,11,28,32,0,20,0,97,0,39,0,5,27,27,1,12,20,33,0,21,48,6,1,13,33,0,22,48,6,1,14,33,0,23,48,6,1,15,33,0,24,48,6,0,13,0,13,0,24,0,33,0,12,26,20,0,13,0,48,0,42,0,13,27,21,21,33,0,25,48,6,32,0,25,0,7,0,33,32,0,25,26,21,33,0,26,48,6,0,46,0,15,0,16,0,45,21,0,42,0,13,0,8,0,47,21,0,7,0,46,21,1,16,11,2,0,43,0,24,0,39,32,0,4,27,27,27,11,2,0,43,0,24,0,39,0,14,27,0,35,0,8,26,0,46,21,0,20,0,45,21,27,33,0,27,48,6,1,17,33,0,28,48,6,1,18,33,0,29,48,6,32,0,26,32,0,27,0,33,32,0,27,26,0,7,20,11,2,0,43,0,25,0,39,32,0,4,27,27,1,19,11,3,0,43,32,0,4,0,40,0,6,27,27,33,0,30,48,6,1,20,33,0,31,48,6,32,0,31,0,45,26,33,0,32,48,6,34,0,31,0,46,26,33,0,33,48,6,1,21,33,0,34,48,6,1,22,33,0,35,48,6,32,0,8,0,40,1,23,27,33,0,36,48,6,1,24,33,0,37,48,6,0,29,0,41,32,0,37,27,33,0,38,48,6,1,25,33,0,39,48,6,1,26,33,0,40,48,6,32,0,35,0,24,0,31,0,6,26,0,50,21,0,33,0,29,26,0,33,32,0,38,0,39,32,0,32,0,39,32,0,14,27,27,26,21,26,33,0,41,48,6,32,0,35,0,34,0,8,26,0,31,0,18,26,20,0,34,0,7,26,0,25,21,0,41,0,22,0,39,0,17,27,27,26,33,0,42,48,6,32,0,8,0,24,0,36,1,27,27,11,2,0,43,0,12,0,20,0,45,21,27,33,0,43,48,6,1,28,0,44,0,24,0,36,1,29,27,27,33,0,44,48,6,1,30,33,0,45,48,6,1,31,33,0,46,48,6,32,0,6,0,5,0,113,21,0,114,11,2,0,12,0,41,0,11,27,0,5,0,115,21,0,116,11,2,11,2,0,30,1,32,26,16,33,0,47,33,0,48,12,2,48,6,1,33,33,0,49,48,6,32,0,8,0,42,1,34,27,33,0,50,48,6,1,35,34,0,50,11,2,0,43,0,25,0,39,0,15,27,32,0,9,20,27,33,0,51,48,6,34,0,49,32,0,51,11,2,0,43,0,25,0,39,32,0,4,27,27,33,0,52,48,6,1,36,33,0,53,48,6,1,37,33,0,54,48,6,32,0,8,0,40,32,0,53,0,128,0,15,0,30,0,0,0,12,0,46,21,26,20,0,35,0,8,26,0,46,21,0,46,0,45,0,24,0,29,1,38,21,1,39,11,6,26,27,33,0,55,48,6,0,24,0,15,0,129,0,39,0,5,27,0,16,0,41,0,45,27,11,2,0,43,0,22,0,20,0,45,21,27,20,11,2,0,43,32,0,4,27,33,0,56,48,6,1,40,33,0,57,48,6,1,41,33,0,58,48,6,0,27,0,26,0,28,21,33,0,59,48,6,0,24,0,29,0,22,0,17,20,0,42,32,0,59,27,21,32,0,59,11,2,0,43,0,24,0,39,0,12,27,0,12,0,46,21,27,33,0,60,48,6,0,24,0,36,32,0,8,0,42,32,0,53,0,133,34,0,5,0,45,0,45,0,24,0,39,0,22,27,0,20,0,45,21,0,44,0,24,34,0,60,0,22,0,42,32,0,58,27,21,27,0,24,0,17,20,34,0,59,34,0,58,21,11,6,26,27,27,33,0,61,48,6,1,42,1,43,1,44,11,3,0,43,0,25,0,39,0,12,27,0,11,0,47,21,27,33,0,62,48,6,0,24,0,36,32,0,8,0,40,34,0,53,0,137,0,15,0,39,0,30,0,0,0,12,0,46,21,26,0,35,0,8,26,0,22,0,20,0,45,21,21,27,0,46,0,46,0,24,0,29,0,22,0,42,32,0,62,27,21,34,0,62,11,6,26,27,27,33,0,63,48,6,1,45,33,0,64,48,6,0,24,1,46,11,2,0,30,1,47,26,0,26,0,24,21,16,0,30,1,48,26,16,33,0,65,48,6,1,49,0,41,34,0,65,0,29,0,46,0,46,0,47,0,51,0,45,11,5,17,32,0,16,0,138,27,27,33,0,66,48,6,1,50,33,0,67,48,6,1,51,33,0,68,48,6,1,52,33,0,69,48,6,1,53,33,0,70,48,6,0,45,0,12,0,41,0,32,32,0,70,26,27,11,2,0,43,0,0,0,12,0,51,21,27,33,0,71,48,6,0,24,32,0,4,20,0,12,0,40,0,12,27,0,14,0,40,32,0,13,27,11,3,0,35,1,54,26,16,33,0,72,48,6,1,55,33,0,73,48,6,32,0,4,0,40,0,12,27,0,45,11,2,0,24,0,39,32,0,4,27,0,12,11,2,0,12,0,40,0,12,27,0,45,11,2,0,14,0,40,32,0,13,27,0,45,11,2,1,56,11,5,0,35,1,57,26,16,33,0,74,48,6,0,45,1,58,11,2,0,43,32,0,4,27,33,0,75,48,6,32,0,74,0,37,32,0,75,27,33,0,76,48,6,32,0,74,0,7,0,46,21,0,37,0,45,0,17,16,0,14,11,2,0,43,32,0,4,27,27,33,0,77,48,6,32,0,76,0,39,0,5,27,0,25,0,24,21,33,0,78,48,6,0,15,0,39,0,1,0,36,0,24,27,0,35,32,0,78,0,36,0,24,27,26,11,2,0,43,0,22,0,20,0,45,21,27,27,33,0,79,48,6,1,59,33,0,80,48,6,32,0,4,0,44,0,26,32,0,80,1,60,27,27,33,0,81,48,6,32,0,78,0,36,32,0,8,0,40,0,15,0,40,0,26,27,1,61,11,2,0,43,0,12,0,40,0,18,27,0,20,0,46,21,27,27,27,33,0,82,48,6,1,62,33,0,83,48,6,1,63,33,0,84,48,6,32,0,4,0,5,0,149,21,0,25,1,64,34,0,80,32,0,81,32,0,84,32,0,83,11,2,0,43,0,30,0,12,0,12,0,46,21,26,0,35,0,8,26,0,46,21,27,34,0,84,11,3,0,43,0,12,0,11,0,47,21,27,27,21,33,0,85,48,6,0,24,0,24,0,24,0,35,1,65,26,20,1,66,1,67,1,68,11,6,0,43,0,25,27,33,0,86,48,6,1,69,33,0,87,48,6,1,70,33,0,88,48,6,32,0,88,0,45,26,33,0,89,48,6,34,0,88,0,46,26,33,0,90,48,6,1,71,33,0,91,48,6,32,0,78,0,37,0,24,27,0,36,1,72,27,33,0,92,48,6,32,0,78,0,37,0,24,27,0,36,1,73,27,33,0,93,48,6,32,0,7,0,5,0,165,21,33,0,94,48,6,32,0,94,0,25,0,17,21,1,74,11,2,0,43,32,0,4,27,33,0,95,48,6,1,75,33,0,96,48,6,1,76,33,0,97,48,6,1,77,33,0,98,48,6,1,78,33,0,99,48,6,0,53,0,17,16,32,0,16,0,174,27,33,0,100,48,6,1,79,33,0,101,48,6,1,80,33,0,102,48,6,1,81,33,0,103,48,6,32,0,8,0,40,1,82,27,33,0,104,48,6,1,83,33,0,105,48,6,1,84,33,0,106,48,6,1,85,33,0,107,48,6,1,86,33,0,108,48,6,1,87,33,0,109,48,6,1,88,33,0,110,48,6,32,0,24,0,9,26,33,0,111,48,6,32,0,24,0,10,26,33,0,112,48,6,0,33,32,0,111,0,42,32,0,112,27,26,0,37,0,47,32,0,111,16,0,42,32,0,112,27,27,33,0,113,48,6,32,0,24,1,89,0,21,0,41,0,45,27,0,20,0,41,0,45,27,11,2,0,43,0,45,0,42,0,20,27,27,0,44,0,6,27,11,2,0,43,0,19,0,40,0,21,27,27,0,37,0,19,27,26,33,0,114,48,6,32,0,24,0,20,0,44,0,25,27,0,37,0,11,27,26,33,0,115,48,6,32,0,24,0,21,0,44,0,25,27,0,37,0,7,0,39,32,0,115,0,39,0,7,27,27,27,26,33,0,116,48,6,32,0,24,0,8,26,0,37,0,29,0,41,32,0,32,27,27,33,0,117,48,6,32,0,24,0,8,0,7,0,6,21,26,0,37,0,29,0,41,32,0,33,27,27,33,0,118,48,6,32,0,24,0,8,0,37,0,21,0,7,0,20,21,0,41,0,45,27,27,26,33,0,119,48,6,32,0,24,0,23,0,7,0,46,21,26,0,37,0,20,27,33,0,120,48,6,32,0,24,0,13,0,7,0,46,21,26,0,37,32,0,81,27,33,0,121,48,6,32,0,24,0,12,0,7,0,46,21,26,0,37,0,22,27,33,0,122,48,6,32,0,24,0,12,26,0,37,0,12,27,33,0,123,48,6,32,0,24,0,23,26,0,37,0,191,0,39,0,5,27,27,33,0,124,48,6,32,0,24,0,13,26,0,37,0,192,0,39,0,5,27,27,33,0,125,48,6,32,0,24,0,6,26,33,0,126,48,6,32,0,24,0,7,26,33,0,127,48,6,32,0,127,32,0,126,0,46,21,33,0,128,48,6,0,15,0,37,32,0,10,27,33,0,129,48,6,34,0,96,0,37,32,0,95,27,33,0,130,48,6,34,0,61,0,37,32,0,57,27,33,0,131,48,6,34,0,63,0,37,34,0,39,27,33,0,132,48,6,34,0,92,33,0,133,48,6,34,0,93,33,0,134,48,6,1,90,33,0,135,48,6,34,0,89,0,37,34,0,45,27,33,0,136,48,6,34,0,90,0,37,34,0,46,27,33,0,137,48,6,34,0,105,0,37,34,0,103,27,33,0,138,48,6,32,0,34,0,46,26,0,37,34,0,41,27,33,0,139,48,6,0,33,34,0,34,0,45,26,26,0,37,34,0,35,0,24,26,27,33,0,140,48,6,1,91,0,1,0,45,21,33,0,141,48,6,1,92,33,0,142,48,6,0,24,0,36,1,93,27,33,0,143,48,6,1,94,33,0,144,48,6,1,95,33,0,145,48,6,1,96,33,0,146,48,6,1,97,33,0,147,48,6,0,46,0,16,0,41,0,32,0,47,26,32,0,127,32,0,122,21,27,32,0,77,0,32,32,0,147,26,21,11,2,0,43,0,16,0,41,0,45,27,32,0,123,0,53,21,27,33,0,148,48,6,1,98,33,0,149,48,6,0,46,0,24,1,99,0,39,0,45,0,16,0,41,0,32,0,46,26,32,0,127,32,0,122,21,27,34,0,17,0,71,26,20,11,2,0,43,0,16,0,41,0,45,27,32,0,123,0,54,21,27,27,20,11,2,0,43,0,0,32,0,125,0,51,21,27,33,0,150,48,6,1,100,0,40,1,101,27,33,0,151,48,6,1,102,33,0,152,48,6,1,103,0,24,0,16,0,41,0,46,27,1,104,20,0,32,0,201,0,39,0,5,27,26,0,16,0,41,0,47,27,32,0,151,0,16,0,41,0,46,27,21,34,0,152,0,16,0,41,0,47,27,1,105,0,42,1,106,27,0,16,0,41,0,46,27,21,0,16,0,41,0,47,27,1,107,0,42,1,108,27,0,29,0,41,0,46,0,51,11,2,27,21,11,6,0,43,0,25,27,0,16,0,41,0,45,27,21,20,33,0,153,48,6,1,109,34,0,153,0,202,0,39,0,5,27,11,3,32,0,132,0,51,0,46,0,47,11,3,17,0,43,0,0,27,33,0,154,48,6,34,0,82,0,37,32,0,85,27,33,0,155,48,6,0,5,0,41,0,203,27,33,0,156,48,6,0,5,0,41,0,204,27,33,0,157,48,6,0,32,0,45,26,0,5,0,205,21,33,0,158,48,6,1,110,33,0,159,48,6,1,111,33,0,160,48,6,1,112,33,0,161,48,6,0,24,0,36,34,0,55,0,37,34,0,54,27,27,33,0,162,48,6,0,56,0,33,32,0,127,26,0,37,32,0,126,27,0,57,32,0,127,0,58,0,33,32,0,111,26,0,37,32,0,119,32,0,159,0,24,27,27,0,59,32,0,111,0,60,32,0,24,0,2,26,0,72,0,33,32,0,112,26,0,37,0,33,32,0,119,26,27,0,65,0,33,32,0,111,26,0,37,32,0,117,32,0,159,0,24,27,27,0,64,0,25,32,0,127,0,46,21,32,0,111,0,33,32,0,127,26,21,0,37,32,0,118,32,0,159,0,24,27,27,0,61,32,0,128,0,66,32,0,24,1,113,26,0,73,0,45,0,39,32,0,156,27,0,37,1,114,27,0,74,0,24,0,75,32,0,76,0,39,32,0,157,27,0,25,0,24,21,0,37,0,24,27,0,55,1,115,0,37,0,45,0,39,32,0,156,27,27,0,76,1,116,0,37,1,117,27,0,77,0,45,0,39,32,0,156,27,0,37,32,0,136,32,0,159,0,16,0,41,0,50,27,27,27,0,78,0,45,0,39,32,0,156,27,0,37,32,0,137,32,0,159,0,16,0,41,0,45,27,27,27,0,79,0,45,0,39,32,0,156,27,0,37,32,0,130,32,0,159,32,0,77,27,27,0,80,32,0,131,0,41,32,0,127,27,0,37,32,0,131,27,0,81,34,0,145,0,37,34,0,44,27,0,82,0,45,0,39,32,0,156,27,0,37,34,0,40,27,0,83,34,0,161,0,37,34,0,160,27,11,44,32,0,20,32,0,158,27,33,0,163,48,6,0,56,0,33,32,0,127,26,0,37,0,47,0,42,32,0,111,27,27,0,57,32,0,126,0,37,0,45,0,39,32,0,156,27,27,0,58,0,33,32,0,111,26,0,37,32,0,113,27,0,59,32,0,119,0,37,0,45,0,39,32,0,156,27,27,0,60,32,0,113,0,37,0,45,0,39,32,0,156,27,27,0,72,0,2,32,0,111,20,0,37,0,45,0,39,32,0,156,27,27,0,65,0,33,32,0,111,26,0,37,32,0,113,27,0,64,0,25,32,0,127,0,46,21,32,0,111,0,33,32,0,127,26,21,0,37,32,0,128,0,39,32,0,113,27,32,0,128,20,27,0,61,0,32,0,46,26,32,0,127,32,0,126,21,0,37,0,45,0,39,32,0,156,27,27,11,18,32,0,20,32,0,158,27,33,0,164,48,6,34,0,69,33,0,165,48,6,32,0,68,33,0,166,48,6,0,84,32,0,164,0,85,1,118,0,86,1,119,0,87,1,120,0,88,1,121,0,39,1,122,27,11,10,32,0,20,0,32,32,0,158,26,27,33,0,167,48,6,34,0,110,33,0,168,48,6,34,0,73,33,0,169,48,6,1,123,0,89,34,0,151,0,90,1,124,0,91,1,125,0,92,0,32,0,45,0,39,32,0,156,27,26,1,126,1,127,11,2,0,43,32,0,125,0,41,0,45,27,27,11,2,0,43,0,24,0,39,32,0,6,27,27,0,93,1,128,0,94,1,129,1,130,0,24,11,2,0,43,0,25,27,0,25,0,39,32,0,150,27,21,0,95,1,131,11,14,34,0,20,0,32,32,0,158,26,27,26,33,0,170,48,6,34,0,22,33,0,171,48,6,34,0,99,33,0,172,48,6,34,0,149,33,0,173,48,6,34,0,98,33,0,174,48,6,32,0,52,0,37,34,0,56,27,33,0,175,48,6,1,132,33,0,176,48,6,34,0,108,33,0,177,48,6,34,0,109,33,0,178,48,6,32,0,101,0,37,32,0,10,27,33,0,179,48,6,34,0,78,0,37,0,24,27,0,36,32,0,11,0,39,32,0,121,27,27,33,0,180,48,6,34,0,144,0,37,34,0,43,27,33,0,181,48,6,34,0,141,0,37,32,0,42,27,33,0,182,48,6,34,0,36,0,37,32,0,132,0,41,32,0,140,27,27,33,0,183,48,6,32,0,126,32,0,127,32,0,119,32,0,111,34,0,112,34,0,113,32,0,115,34,0,116,34,0,114,32,0,128,32,0,117,32,0,118,32,0,120,32,0,121,32,0,122,32,0,123,32,0,125,32,0,124,32,0,76,32,0,77,0,25,0,24,34,0,179,32,0,155,34,0,180,32,0,136,32,0,137,32,0,130,34,0,134,32,0,133,32,0,131,34,0,181,32,0,132,32,0,32,32,0,33,32,0,162,32,0,175,32,0,139,34,0,182,32,0,140,34,0,183,32,0,138,0,5,0,32,0,33,32,0,174,32,0,166,32,0,165,34,0,173,34,0,171,34,0,172,0,31,0,39,0,40,0,41,0,42,32,0,169,0,37,34,0,176,34,0,178,34,0,177,32,0,168,0,38,11,63,1,133,16,7,0,45,34,0,1,11,2,7,34,0,1,7,34,0,1,33,1,1,33,1,2,12,2,49,7,32,0,1,11,1,0,1,34,0,1,17,7,34,0,2,34,0,1,11,2,7,34,0,1,11,1,7,0,20,0,30,0,12,0,7,0,46,21,26,34,0,1,21,0,31,0,8,26,20,0,35,0,6,26,20,7,0,32,32,1,0,0,30,32,1,15,34,0,1,26,0,33,0,16,26,34,0,2,21,26,16,26,0,16,1,134,21,7,1,135,0,12,34,0,1,32,1,15,32,1,0,26,16,21,7,0,47,0,9,32,0,1,0,22,16,17,0,17,16,0,30,0,8,0,41,0,47,27,26,16,33,0,3,48,6,32,0,1,0,29,32,0,3,17,34,0,1,0,29,34,0,3,0,30,0,6,0,41,0,46,27,26,16,17,11,2,7,34,0,2,32,1,19,16,33,0,3,33,0,4,12,2,48,6,34,0,1,11,1,0,26,34,0,4,17,32,1,16,34,0,3,27,7,0,45,34,0,1,16,7,32,0,1,0,12,16,0,12,0,46,17,0,5,0,98,17,6,34,0,1,0,32,32,0,4,26,32,1,21,20,0,35,34,0,4,26,11,2,0,43,0,46,0,37,0,22,0,20,0,45,21,27,27,34,0,2,19,7,1,136,33,0,2,48,6,1,137,33,0,3,48,6,32,0,3,32,0,1,26,0,33,34,0,3,0,33,32,0,1,26,26,26,11,2,0,43,0,12,0,40,0,21,27,27,34,0,2,34,0,1,26,11,2,0,43,0,12,0,40,0,12,27,27,7,34,0,1,1,138,0,36,1,139,1,140,11,2,0,43,32,1,4,0,40,0,21,27,27,0,37,1,141,27,27,1,142,0,36,1,143,27,11,3,0,43,32,1,4,0,40,0,6,27,27,33,0,2,48,7,34,0,1,32,1,27,34,0,2,19,7,32,0,1,0,30,0,20,0,41,0,45,27,26,0,35,0,8,26,0,46,21,0,40,0,7,27,32,0,2,19,33,0,3,48,6,34,0,1,32,0,3,0,45,11,2,1,144,11,2,0,43,0,45,0,12,34,0,3,17,27,34,0,2,19,7,34,0,4,33,0,5,48,6,0,45,0,25,32,0,2,19,33,0,6,48,6,34,0,1,33,0,7,48,6,1,145,33,0,8,48,6,34,0,8,32,0,7,0,12,0,46,17,0,44,0,32,32,0,5,26,1,146,0,37,0,24,27,34,0,2,23,27,16,7,32,0,1,0,14,0,40,32,1,28,27,32,0,2,17,33,0,3,48,6,34,0,3,0,35,32,1,29,34,0,1,0,15,16,0,42,0,16,27,0,42,32,1,30,0,41,34,0,2,0,15,18,0,42,0,16,27,27,27,26,26,16,33,0,4,48,6,0,45,0,33,34,0,4,26,16,7,32,0,1,33,0,2,48,6,32,1,30,32,1,26,0,32,0,45,26,0,13,32,1,30,21,32,1,25,11,4,34,0,1,0,44,0,30,1,147,26,27,16,33,0,3,48,6,1,148,33,0,4,48,6,1,149,0,37,1,150,27,0,1,0,45,21,7,32,0,1,33,0,2,48,6,0,35,0,8,26,0,7,0,46,21,0,31,0,8,26,0,35,0,6,26,20,11,2,0,16,34,0,1,17,33,0,3,48,6,32,1,8,0,42,1,151,27,0,1,0,45,21,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,107,17,6,32,0,1,32,1,32,16,33,0,5,48,6,32,0,1,32,1,12,0,46,17,0,35,0,8,26,0,46,17,33,0,6,48,6,32,0,6,32,1,29,32,0,1,0,15,16,0,42,0,16,27,0,40,32,1,74,0,7,0,46,21,27,26,16,33,0,7,48,6,34,0,1,0,22,16,0,17,16,0,30,0,46,0,24,32,0,5,0,30,0,8,0,41,34,0,6,27,26,16,0,42,0,16,27,0,40,34,0,7,27,0,46,0,42,0,7,27,21,11,2,0,43,0,20,0,41,0,45,27,27,26,16,34,0,4,32,0,5,17,0,29,34,0,5,32,1,14,16,17,0,1,0,45,17,7,32,0,2,0,12,16,33,0,3,48,6,34,0,3,0,7,32,0,1,0,12,16,17,33,0,4,48,6,32,0,4,0,13,0,45,17,0,5,0,108,17,6,0,45,0,20,16,33,0,5,48,6,32,0,1,0,14,16,33,0,6,48,0,27,32,0,4,17,0,24,0,35,0,8,26,0,46,21,0,17,20,0,42,0,15,27,16,33,0,7,48,6,34,0,6,0,28,34,0,4,17,0,34,1,152,26,32,0,2,0,14,18,17,6,32,0,7,0,30,0,20,0,30,0,6,26,32,0,5,21,0,33,0,29,26,34,0,1,0,15,16,21,32,1,74,34,0,2,23,26,16,0,1,0,45,17,7,34,0,1,0,31,0,6,26,16,0,3,16,0,27,0,41,0,32,0,46,26,0,7,0,22,21,0,18,0,45,21,27,16,0,31,0,6,26,16,0,1,0,45,17,7,32,0,1,0,12,16,0,12,0,46,17,0,5,0,109,17,6,32,0,1,0,30,32,1,7,26,16,0,35,0,8,26,0,46,17,0,5,0,110,17,6,34,0,1,32,1,37,16,7,32,0,1,0,12,16,0,12,0,46,17,32,1,156,16,6,32,0,1,0,30,32,1,7,26,16,0,35,0,8,26,0,46,17,32,1,156,16,6,32,0,1,0,22,16,0,33,0,7,26,0,46,17,0,46,0,17,0,39,0,30,0,6,0,41,0,46,27,32,0,1,0,42,0,16,27,0,40,0,13,27,0,24,21,26,27,0,35,0,8,26,0,46,21,11,2,0,43,0,13,0,41,0,45,27,27,16,32,1,157,16,6,34,0,1,0,3,16,7,32,0,1,0,22,16,33,0,3,48,6,32,0,1,32,1,12,0,46,17,33,0,4,48,0,35,0,8,26,0,46,17,33,0,5,48,6,34,0,3,0,17,16,0,30,0,8,0,41,32,0,5,27,0,42,0,6,27,26,34,0,5,0,17,16,0,15,34,0,4,17,17,0,33,0,29,26,34,0,1,0,15,16,17,7,32,0,1,32,1,4,16,32,1,157,16,6,34,0,1,0,12,16,0,20,0,45,17,7,32,0,1,0,12,16,0,33,0,7,26,0,46,17,33,0,3,48,6,32,0,1,0,14,16,33,0,4,48,6,32,0,4,0,16,32,0,3,17,33,0,5,48,6,34,0,4,0,27,34,0,3,17,33,0,6,48,6,32,0,6,0,35,0,8,26,0,46,17,0,17,16,0,15,34,0,6,17,0,30,0,8,0,41,32,0,5,27,0,42,0,6,27,26,34,0,5,0,17,16,17,0,33,0,29,26,34,0,1,0,15,16,17,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,111,17,6,32,0,1,0,22,16,0,6,0,46,17,0,17,16,0,30,34,0,1,0,42,0,29,0,41,0,17,27,27,26,16,0,1,0,41,0,16,0,41,0,45,27,27,16,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,112,17,6,32,0,1,0,22,16,33,0,3,48,6,32,0,3,0,6,0,46,17,0,17,16,0,30,34,0,1,0,42,0,29,0,41,1,153,27,27,26,16,0,1,0,41,0,16,0,41,32,0,3,27,27,16,7,34,0,1,33,0,3,33,0,4,12,2,48,6,1,154,33,0,5,48,6,0,24,0,39,34,0,3,27,0,25,0,6,32,0,5,0,13,0,41,0,45,27,26,20,34,0,5,0,21,26,11,2,0,43,0,13,0,41,0,45,27,27,21,7,32,0,1,0,12,16,0,12,0,46,17,0,5,0,117,17,6,34,0,2,32,1,47,32,0,1,0,22,16,17,0,33,0,16,26,34,0,1,17,7,32,0,2,0,12,18,0,12,0,46,19,0,5,0,118,19,6,32,0,1,0,14,16,33,0,3,48,0,22,0,40,0,12,27,32,0,2,19,0,5,0,119,17,6,0,45,33,0,4,48,6,34,0,3,0,34,1,155,26,34,0,2,19,6,34,0,1,0,15,16,0,16,32,0,4,17,7,34,0,2,0,30,34,0,1,0,42,32,1,51,27,26,16,7,34,0,1,33,0,2,33,0,3,33,0,4,33,0,5,33,0,6,33,0,7,12,6,48,6,0,121,0,26,34,0,2,17,0,26,0,120,17,33,0,8,48,6,0,122,0,26,32,0,8,17,33,0,9,48,6,0,123,0,26,32,0,8,17,33,0,10,48,6,0,124,0,26,32,0,8,17,33,0,11,48,6,0,125,0,26,34,0,8,17,33,0,12,48,6,0,24,0,30,34,0,5,0,30,0,0,0,12,0,46,21,26,0,15,20,0,35,0,8,26,0,46,21,11,2,0,43,32,1,4,27,26,0,15,20,0,35,0,8,26,0,46,21,0,5,34,0,12,21,11,2,0,16,34,0,4,17,33,0,13,48,6,1,156,1,157,11,2,0,43,0,25,0,39,34,0,3,27,27,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,126,17,6,32,0,1,0,22,16,0,20,0,45,17,0,5,0,127,17,6,34,0,1,0,29,0,45,0,20,16,17,7,34,0,2,0,30,32,1,48,0,41,34,0,1,0,22,16,27,26,16,7,34,0,2,0,30,32,1,48,0,41,34,0,1,27,26,16,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,130,17,6,32,0,1,0,22,16,33,0,3,48,6,34,0,1,0,29,32,0,3,0,17,16,0,30,0,7,0,41,0,46,0,7,34,0,3,17,27,26,16,17,7,32,0,2,32,1,6,18,0,5,0,131,19,6,32,0,1,0,12,0,45,17,0,6,33,0,1,50,6,32,0,1,0,9,32,0,2,19,0,11,16,0,8,32,0,1,17,0,7,34,0,2,19,33,0,3,48,6,34,0,1,0,20,32,0,3,17,0,5,0,132,17,6,34,0,3,7,32,0,2,32,1,4,0,44,0,15,0,16,0,45,21,27,16,33,0,2,49,6,32,0,2,32,1,7,16,0,5,0,134,17,6,34,0,2,33,0,3,48,33,0,4,48,6,34,0,1,0,8,32,0,3,17,0,17,16,0,31,0,33,1,158,0,44,1,159,27,26,26,16,7,32,0,2,0,22,16,0,12,34,0,1,17,0,5,0,135,17,6,32,0,2,0,30,0,12,0,41,0,11,0,39,0,19,27,27,26,16,0,35,0,8,26,0,46,17,0,5,0,134,17,6,34,0,2,32,1,37,16,7,0,32,0,45,26,0,5,0,136,21,7,34,0,1,32,1,1,16,33,0,3,48,6,32,0,3,0,16,0,45,17,0,45,0,42,0,13,27,0,32,34,0,3,26,0,46,0,24,0,28,0,46,21,0,30,34,0,0,26,20,0,35,0,8,26,0,46,21,11,2,0,43,32,1,148,27,20,11,2,0,43,0,13,0,41,0,47,27,27,16,7,34,0,1,1,160,34,0,2,21,7,0,33,34,0,1,26,7,1,161,0,24,11,2,0,35,34,0,1,26,16,7,34,0,1,34,0,2,16,7,34,0,1,1,162,0,25,32,1,64,20,0,44,1,163,27,11,2,0,43,0,25,0,39,0,0,27,0,13,0,51,21,27,34,0,2,17,7,34,0,1,32,1,8,0,40,32,0,4,32,1,67,32,1,23,32,0,4,26,0,37,0,30,34,0,4,26,27,27,27,34,0,2,19,7,34,0,1,32,1,8,0,40,32,0,4,32,1,67,0,30,34,0,4,26,27,27,34,0,2,19,7,34,0,1,7,0,45,34,0,1,11,2,0,43,34,0,2,27,7,32,0,1,32,0,5,0,40,34,0,4,27,34,0,2,19,33,0,6,48,6,32,1,57,0,35,0,24,32,1,4,20,0,44,0,15,0,42,0,16,27,27,26,32,0,1,21,0,45,0,14,0,39,0,24,0,35,0,8,26,0,46,21,0,17,20,0,42,0,15,27,27,0,1,0,70,21,11,2,0,43,32,1,4,27,20,33,0,7,48,6,1,164,33,0,8,48,6,32,1,1,0,45,0,16,0,41,0,47,27,0,12,0,32,32,0,8,26,21,11,2,0,43,0,16,0,41,0,45,27,0,12,0,53,21,27,20,33,0,9,48,6,32,0,5,32,1,87,32,0,9,17,33,0,10,48,6,0,45,32,0,8,0,50,27,33,0,11,48,6,34,0,11,34,0,10,16,0,45,32,1,70,11,2,32,1,1,0,29,0,46,0,51,11,2,21,11,2,0,43,34,0,9,27,16,33,0,12,33,0,13,12,2,48,6,0,24,0,39,32,1,71,27,0,7,0,46,21,0,44,1,165,27,33,0,14,48,6,0,24,0,36,1,166,27,33,0,15,48,6,34,0,13,34,0,14,32,0,6,17,0,32,34,0,1,26,0,42,34,0,15,27,0,32,34,0,5,26,32,1,154,20,1,167,20,11,2,0,43,32,1,71,27,16,7,34,0,1,0,34,32,1,74,26,34,0,2,19,0,15,16,0,35,0,8,26,0,46,17,7,32,0,2,0,16,0,46,19,34,0,1,11,2,0,43,34,0,2,0,16,0,45,19,27,7,34,0,1,0,15,16,0,30,32,1,75,26,16,0,35,0,18,26,0,45,17,0,6,0,46,17,7,0,1,0,42,0,24,0,36,0,32,11,0,26,0,15,32,1,77,0,40,34,0,2,27,21,27,27,32,1,79,0,24,0,36,0,25,27,34,0,1,21,11,2,0,43,0,15,0,39,0,22,27,0,20,0,45,21,27,7,32,0,1,0,15,16,0,16,0,45,17,32,1,77,16,33,0,3,48,6,32,0,1,0,15,16,0,30,32,1,77,0,45,32,1,13,11,2,0,43,0,22,0,40,0,12,27,27,32,0,3,21,0,5,0,141,21,26,16,6,32,0,3,0,35,0,8,26,0,46,17,0,17,16,0,15,34,0,3,17,0,30,0,33,0,16,26,26,34,0,1,0,30,32,1,10,26,16,17,7,32,0,1,0,12,0,40,0,18,27,32,0,2,19,0,33,0,7,26,0,46,17,33,0,3,48,6,32,0,1,32,1,77,0,40,32,1,11,27,32,0,2,19,33,0,4,48,6,32,0,4,0,30,0,22,0,13,32,0,3,21,26,16,0,35,0,8,26,0,46,17,0,5,0,142,17,6,32,0,4,0,30,0,28,0,41,0,32,32,0,3,26,0,7,0,22,21,27,26,16,33,0,5,48,6,32,0,5,0,35,32,1,13,26,16,0,5,0,143,17,6,34,0,4,0,30,0,46,0,24,0,16,0,45,21,11,2,0,43,0,22,0,20,34,0,3,21,27,26,16,0,35,0,6,26,0,45,17,33,0,6,48,6,34,0,1,0,15,0,40,0,26,27,34,0,2,19,0,15,34,0,5,0,16,0,45,17,0,26,34,0,6,11,1,17,17,7,0,50,33,0,3,48,33,0,4,48,6,11,0,33,0,5,48,6,32,0,1,33,0,6,48,6,34,0,1,0,30,0,22,26,16,32,1,37,16,0,30,1,168,26,16,7,32,0,1,0,15,16,33,0,3,48,0,22,16,33,0,4,48,6,32,0,3,0,30,32,1,77,26,16,33,0,5,48,6,32,0,5,0,16,0,45,17,0,22,16,33,0,6,48,6,32,0,1,0,12,16,33,0,7,48,6,32,0,5,0,30,0,22,0,12,32,0,6,21,26,16,0,35,0,8,26,0,46,17,0,5,0,144,17,6,32,0,7,0,23,32,0,6,17,0,5,0,145,17,6,1,169,33,0,8,48,6,34,0,1,32,1,77,16,33,0,9,48,6,0,46,33,0,10,48,6,0,45,0,20,16,33,0,11,48,33,0,12,48,6,32,0,7,0,17,16,0,34,1,170,26,32,0,9,32,1,57,16,32,0,8,0,8,26,0,46,17,32,1,57,16,17,6,0,34,1,171,34,0,3,0,30,0,15,26,16,26,26,33,0,13,48,6,32,0,11,32,0,13,1,172,11,2,0,43,34,0,6,0,20,32,0,7,17,27,32,0,12,17,7,32,0,2,0,22,16,33,0,3,48,6,32,0,1,0,22,16,33,0,4,48,6,32,0,3,0,23,32,0,4,17,0,5,0,148,17,6,34,0,1,0,34,0,8,0,41,34,0,2,0,42,0,16,27,27,0,24,11,2,0,43,0,25,0,13,34,0,3,21,27,26,34,0,4,0,17,16,17,7,34,0,1,34,0,2,20,7,34,0,1,33,0,3,33,0,4,33,0,5,12,3,48,6,34,0,5,34,0,4,34,0,3,21,7,34,0,1,33,0,3,33,0,4,12,2,48,6,34,0,4,34,0,3,26,7,34,0,1,33,0,3,33,0,4,33,0,5,12,3,48,6,34,0,5,34,0,4,34,0,3,27,7,0,32,32,1,70,26,33,0,0,48,6,1,173,33,0,1,48,6,0,0,0,23,0,51,21,0,44,32,0,1,32,1,71,26,27,33,0,2,48,6,1,174,33,0,3,48,6,1,175,33,0,4,48,6,1,176,33,0,5,48,6,0,150,0,24,0,151,0,45,32,0,3,0,46,27,32,0,4,20,0,152,0,46,32,0,3,0,45,27,32,0,4,20,0,153,0,46,32,0,3,0,46,27,34,0,4,20,0,154,0,46,32,0,3,0,46,27,34,0,5,20,0,155,0,46,34,0,3,0,46,27,11,12,32,1,19,16,33,0,6,33,0,7,12,2,48,6,1,177,11,1,0,26,34,0,7,32,1,38,0,41,0,30,0,22,26,27,32,0,6,17,17,32,1,16,34,0,6,32,1,83,16,27,33,0,8,48,6,1,178,33,0,9,48,6,32,1,86,0,32,32,0,0,26,11,2,0,43,0,16,0,41,0,51,0,42,0,23,27,27,0,12,0,32,32,0,0,26,21,27,33,0,10,48,6,1,179,0,42,0,24,0,16,0,46,21,34,0,9,0,25,21,32,0,2,20,0,32,32,0,0,26,1,180,34,0,10,0,16,0,41,0,45,27,21,0,24,0,16,0,46,21,34,0,2,20,11,4,0,43,0,24,0,16,0,45,21,0,39,0,51,0,24,0,47,11,2,0,43,0,13,0,41,0,47,27,27,11,2,0,43,0,13,0,41,0,45,27,27,27,27,27,7,32,0,1,0,7,0,46,17,33,0,2,48,6,0,156,0,157,11,2,0,16,32,0,1,17,33,0,3,48,6,0,19,0,42,0,12,27,0,7,0,46,21,0,12,0,41,0,45,27,0,7,0,46,21,11,2,0,16,32,0,1,17,33,0,4,48,6,1,181,1,182,11,2,0,16,34,0,1,17,33,0,5,48,6,0,158,0,26,34,0,3,17,0,26,0,120,17,33,0,6,48,6,0,159,0,26,32,0,6,17,33,0,7,48,6,0,160,0,26,34,0,6,17,33,0,8,48,6,32,1,8,0,42,0,24,0,36,1,183,1,184,11,2,0,43,0,25,0,39,32,1,4,27,27,27,27,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,161,17,6,32,0,1,32,1,12,0,46,17,33,0,3,48,6,32,0,2,0,12,0,40,0,7,27,32,0,1,19,1,185,32,0,2,19,6,32,0,3,0,35,0,8,26,34,0,1,1,186,0,37,0,46,27,34,0,2,19,17,7,32,0,1,32,1,91,32,0,2,19,33,0,3,48,6,32,0,1,0,15,16,33,0,4,48,0,22,16,33,0,5,48,0,11,34,0,3,17,33,0,6,48,6,34,0,4,0,27,32,0,6,0,7,32,0,5,17,17,0,26,34,0,6,0,33,32,1,10,0,42,0,27,27,26,0,37,32,0,1,0,42,34,0,5,0,20,0,45,17,0,44,1,187,27,27,27,34,0,2,19,17,0,15,34,0,1,32,1,77,16,17,7,32,0,1,32,1,91,32,0,2,19,33,0,3,48,6,32,0,1,0,15,16,33,0,4,48,0,22,16,33,0,5,48,0,11,32,0,3,17,33,0,6,48,6,32,0,6,0,33,32,1,10,0,42,0,28,0,41,0,7,0,41,34,0,3,27,27,27,26,0,37,32,0,1,0,42,34,0,5,0,20,0,45,17,0,44,1,188,27,27,27,34,0,2,19,0,26,34,0,4,0,28,34,0,6,17,17,0,15,34,0,1,32,1,77,16,17,7,32,0,1,0,12,16,0,12,0,46,17,0,5,0,166,17,6,32,0,1,0,30,32,1,94,26,16,6,32,0,1,11,0,0,42,0,15,27,0,30,0,17,26,0,35,0,30,0,26,0,41,32,1,11,27,26,26,11,0,0,20,16,21,11,2,0,43,0,24,0,35,0,8,26,0,46,21,0,20,0,45,21,27,16,0,30,0,1,0,41,0,45,27,26,16,0,1,34,0,1,0,30,0,45,26,16,17,7,32,0,2,0,12,16,0,23,0,46,17,0,5,0,167,17,6,32,0,2,32,1,10,16,33,0,2,49,0,22,16,33,0,3,48,6,34,0,1,32,0,3,0,20,0,45,17,0,44,0,24,0,36,1,189,27,27,34,0,2,17,7,32,0,1,32,1,77,16,0,27,32,0,2,19,33,0,3,48,6,32,0,1,32,1,12,34,0,2,19,33,0,4,48,0,35,0,8,26,0,46,17,33,0,5,48,6,32,0,1,0,15,16,33,0,6,48,6,32,0,5,0,17,16,0,15,34,0,4,17,33,0,7,48,6,34,0,1,1,190,0,36,0,32,32,0,3,0,35,0,8,26,0,46,17,0,17,16,0,30,1,191,26,16,0,15,34,0,3,17,26,27,16,7,34,0,4,33,0,5,48,6,1,192,33,0,6,48,6,1,193,33,0,7,48,6,34,0,1,32,0,5,0,20,20,1,194,1,195,34,0,7,11,4,0,43,0,12,0,20,0,45,21,0,40,0,6,0,41,0,8,0,41,0,47,27,27,27,27,34,0,2,19,32,1,81,16,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,172,17,6,34,0,4,33,0,5,48,6,1,196,33,0,6,48,6,34,0,1,34,0,6,1,197,11,2,0,43,0,46,0,37,0,22,0,20,0,45,21,27,27,34,0,2,19,7,32,0,2,0,12,16,0,23,0,46,17,0,5,0,175,17,6,34,0,2,32,1,10,16,33,0,3,48,6,32,0,3,0,30,32,1,7,0,7,0,46,21,26,16,33,0,4,48,0,35,0,6,26,0,45,17,33,0,5,48,6,32,0,5,0,23,0,46,17,0,5,0,176,17,6,34,0,1,32,1,10,16,33,0,6,48,0,22,16,33,0,7,48,6,32,0,3,0,24,0,35,0,8,26,0,46,21,1,198,11,2,0,43,34,0,5,27,16,33,0,8,48,6,32,0,6,32,0,7,0,12,32,0,8,17,0,7,0,46,17,0,44,0,24,0,36,1,199,27,27,16,0,15,32,0,3,17,7,32,0,1,0,30,32,1,6,26,16,0,35,0,8,26,0,46,17,0,5,0,181,17,6,32,0,1,0,30,0,13,0,41,0,50,27,26,16,0,35,0,8,26,0,46,17,0,5,0,182,17,6,0,3,33,0,5,48,6,32,0,1,0,25,0,37,0,45,27,0,44,0,24,1,200,0,22,0,42,0,33,0,7,26,27,21,27,34,0,2,19,33,0,1,49,6,32,0,1,0,4,34,0,1,32,0,5,16,33,0,6,48,17,33,0,7,48,6,0,45,33,0,8,48,6,34,0,6,0,30,1,201,0,33,0,29,26,34,0,7,21,34,0,4,20,26,16,7,32,0,1,0,12,16,0,12,0,46,17,0,5,0,183,17,6,32,1,102,0,24,26,33,0,3,48,6,34,0,1,32,0,3,0,1,0,45,0,39,0,17,27,21,0,30,32,1,8,0,39,1,202,27,26,0,35,0,30,0,30,0,26,26,26,26,11,0,0,20,16,0,20,16,21,0,1,0,30,0,45,26,11,0,0,42,0,15,27,0,1,0,24,21,20,21,11,2,0,43,32,1,76,0,20,0,46,21,27,16,7,32,0,2,0,12,16,33,0,3,48,6,32,0,1,0,12,16,0,13,32,0,3,17,0,5,0,184,17,6,32,0,1,32,1,77,16,33,0,4,48,0,27,32,0,3,17,0,34,0,7,26,32,0,2,32,1,77,18,17,33,0,5,48,6,32,0,5,0,45,0,16,0,41,0,45,27,0,12,0,46,21,11,2,0,43,32,0,3,0,12,0,46,17,27,16,33,0,6,48,6,34,0,5,0,30,0,12,0,41,0,45,27,26,0,35,0,8,26,0,46,21,0,46,11,2,0,43,32,0,6,27,16,0,5,0,185,17,6,32,0,1,0,42,0,24,0,36,0,25,0,39,32,0,1,0,15,16,1,203,1,204,11,2,0,43,34,0,1,0,12,16,0,12,32,0,3,17,27,16,27,27,27,33,0,7,48,6,34,0,2,0,15,16,32,1,102,32,0,7,26,34,0,6,17,0,1,11,0,34,0,7,16,17,7,32,0,1,32,1,4,16,0,5,0,186,17,6,34,0,1,32,1,104,32,1,135,11,2,0,43,32,0,2,32,1,76,18,0,13,0,47,19,27,34,0,2,17,7,32,0,1,0,12,16,0,23,0,46,17,0,5,0,187,17,6,32,0,1,32,1,10,16,33,0,1,49,6,32,0,1,0,22,16,0,51,0,42,0,13,27,0,8,0,13,0,41,0,46,27,21,16,0,5,0,188,17,6,32,0,1,0,30,32,1,6,26,16,0,35,0,8,26,0,46,17,0,5,0,189,17,6,34,0,2,0,30,0,25,0,8,0,33,0,9,0,39,0,11,27,26,21,0,33,0,7,26,0,46,21,0,6,0,7,21,0,41,32,0,1,0,22,16,27,26,16,0,33,0,29,26,34,0,1,17,7,34,0,1,32,1,106,0,46,0,45,11,2,0,37,0,47,11,1,27,21,7,32,0,1,32,1,107,34,0,5,26,32,0,2,19,33,0,6,48,0,30,0,21,0,41,0,45,27,26,16,33,0,7,48,6,32,0,4,33,0,8,48,6,1,205,0,37,1,206,27,33,0,9,48,6,1,207,1,208,11,2,0,16,34,0,4,0,46,32,1,64,11,2,0,43,0,0,0,13,0,51,21,27,16,17,33,0,10,48,6,1,209,33,0,11,48,6,1,210,33,0,12,48,6,1,211,33,0,13,48,6,34,0,1,32,0,13,34,0,6,26,34,0,2,19,7,0,24,0,25,11,2,0,43,0,20,27,33,0,6,48,6,32,0,1,32,1,107,34,0,5,26,0,34,0,7,0,42,32,0,6,27,34,0,6,0,7,0,25,21,11,2,0,43,0,24,0,13,0,45,21,27,26,0,12,0,40,32,1,11,27,21,32,0,2,19,33,0,7,48,6,0,24,0,20,20,32,1,97,0,24,0,20,0,36,0,30,0,20,26,27,20,11,3,0,43,0,12,0,42,0,23,27,0,6,0,46,21,0,8,0,45,0,42,0,21,27,21,27,33,0,8,48,6,34,0,1,32,0,8,32,0,7,0,16,0,41,0,22,0,33,0,7,26,0,46,21,27,16,17,32,1,68,34,0,4,26,34,0,2,34,0,8,34,0,7,0,16,0,45,17,19,19,32,1,81,16,7,34,0,4,33,0,6,48,6,0,45,1,212,0,37,0,32,1,213,26,27,32,0,2,19,33,0,7,48,6,32,0,1,34,0,5,34,0,2,19,33,0,8,48,6,1,214,33,0,9,48,6,34,0,1,34,0,9,1,215,11,2,0,43,32,0,8,32,1,7,16,27,16,7,32,0,2,32,1,111,32,0,1,17,0,11,16,0,8,34,0,2,17,0,7,34,0,1,17,7,32,0,2,32,1,123,16,32,1,123,0,46,17,0,5,0,193,17,6,32,0,2,0,30,32,1,123,26,16,33,0,3,48,0,35,32,1,126,26,0,45,17,33,0,4,48,6,32,0,1,32,1,123,16,32,1,125,32,0,4,17,0,5,0,194,17,6,32,0,1,32,1,77,16,0,27,32,0,4,17,32,1,127,32,0,2,0,30,32,1,77,26,18,32,1,85,18,17,33,0,5,48,6,32,0,5,32,0,3,32,1,123,0,46,17,32,1,132,32,0,3,17,0,42,32,1,125,27,32,1,117,32,1,125,0,41,0,45,27,21,16,0,35,32,1,117,26,0,46,17,0,5,0,185,17,6,0,45,11,1,0,26,34,0,5,17,0,29,32,0,3,0,31,32,1,126,26,16,32,1,133,0,45,17,17,32,1,115,34,0,3,17,33,0,6,48,6,32,0,2,0,30,32,1,129,26,16,33,0,2,49,0,30,32,1,122,26,16,0,33,32,1,127,26,32,0,6,17,33,0,7,48,6,0,32,32,0,1,26,32,1,101,34,0,1,32,1,12,34,0,4,17,0,42,0,26,27,21,33,0,8,48,6,32,0,7,0,35,32,1,119,26,0,46,17,11,1,32,0,8,16,0,42,0,29,27,33,0,9,48,6,32,0,2,0,16,0,41,0,45,27,0,40,32,1,102,32,0,9,26,27,0,34,32,1,102,0,24,26,26,32,1,119,34,0,7,32,1,131,16,32,1,133,0,46,17,0,31,32,1,119,26,16,32,1,131,16,21,0,35,0,30,0,30,32,1,126,26,26,26,20,0,30,34,0,9,26,20,11,2,0,43,0,24,0,39,32,1,122,27,32,1,122,0,46,21,27,34,0,6,17,0,1,34,0,2,0,30,0,45,26,18,34,0,8,18,17,7,32,0,2,32,1,123,16,0,33,32,1,127,26,0,46,17,33,0,3,48,6,32,0,3,32,1,125,0,45,17,0,5,0,195,17,6,32,0,1,32,1,123,16,32,1,125,34,0,3,17,0,5,0,196,17,6,34,0,1,32,1,139,0,41,32,0,2,27,32,1,129,0,39,32,1,42,27,32,1,129,32,1,77,21,0,42,0,34,32,1,11,26,27,20,0,40,32,1,139,27,34,0,2,17,7,32,0,2,32,1,123,16,32,1,124,0,46,17,0,5,0,197,17,6,34,0,1,32,1,77,16,32,1,122,0,40,32,1,125,27,32,0,2,17,0,5,0,198,17,6,34,0,2,32,1,129,16,0,30,32,1,7,26,16,0,35,32,1,117,26,0,46,17,0,5,0,199,17,7,32,0,1,32,1,77,16,32,1,138,32,0,2,17,0,30,0,35,32,1,115,26,26,16,32,1,130,16,0,30,0,32,34,0,1,26,32,1,52,0,29,0,41,34,0,2,27,21,26,16,7,32,0,1,32,1,142,32,0,2,17,6,32,0,2,32,1,129,16,33,0,2,49,6,32,0,2,32,1,140,16,32,1,128,16,0,35,32,1,126,26,0,45,17,32,1,127,32,0,1,32,1,123,16,17,33,0,3,48,6,32,0,3,32,1,120,32,0,2,17,0,35,32,1,117,26,0,46,17,0,5,0,200,17,6,34,0,1,32,1,143,34,0,3,32,1,130,16,0,24,32,1,132,0,33,32,1,140,0,39,32,1,128,27,26,21,32,0,2,19,0,26,34,0,2,19,17,7,32,0,1,32,1,142,32,0,2,17,6,32,0,2,32,1,129,16,33,0,2,49,6,32,0,1,32,1,123,16,33,0,3,48,6,32,0,2,32,0,3,0,42,32,1,120,27,32,1,117,32,1,140,21,16,0,35,32,1,117,26,0,46,17,32,1,156,16,6,34,0,1,32,1,143,34,0,3,32,1,130,16,0,24,32,1,132,0,33,32,1,140,0,39,32,1,128,27,26,21,32,0,2,19,0,26,34,0,2,19,32,1,14,16,17,7,34,0,1,32,1,154,16,7,34,0,5,6,34,0,1,34,0,4,34,0,2,19,7,32,0,1,32,1,154,16,0,24,1,216,11,2,0,43,0,45,0,24,32,1,1,0,39,32,1,148,27,20,11,2,0,43,32,1,77,0,41,0,32,32,1,158,26,27,32,1,117,32,1,77,21,27,27,34,0,1,17,7,34,0,1,32,1,1,16,7,34,0,1,32,1,154,16,7,32,0,2,0,42,32,0,1,27,0,37,34,0,2,34,0,1,20,27,7,34,0,1,33,0,3,33,0,4,33,0,5,33,0,6,12,4,48,6,32,1,150,32,1,128,20,33,0,7,48,6,34,0,6,1,217,1,218,0,32,32,1,158,26,11,2,0,43,0,24,0,39,32,0,7,27,27,11,2,0,43,0,25,0,39,34,0,7,27,27,34,0,4,17,7,34,0,1,32,1,1,16,7,34,0,1,32,1,163,16,7,34,0,1,32,1,167,16,7,34,0,2,34,0,1,16,7,34,0,1,32,1,170,16,7,34,0,2,0,35,34,0,1,26,16,7,0,24,32,1,76,0,39,32,1,157,27,34,0,1,21,0,25,0,24,21,7,32,0,1,34,0,4,32,0,2,19,33,0,6,48,6,32,0,6,34,0,5,34,0,2,19,32,1,76,34,0,1,17,32,1,157,16,6,34,0,6,7,32,0,1,32,1,76,16,32,1,123,0,47,17,32,1,156,16,6,32,0,1,0,30,32,1,123,26,16,32,1,123,0,46,17,0,35,32,1,117,26,0,46,17,32,1,157,16,6,32,0,1,32,1,155,16,33,0,3,48,6,32,0,3,0,30,32,1,7,26,16,0,35,32,1,117,26,0,46,17,32,1,157,16,6,32,0,1,0,30,32,1,133,0,41,0,50,27,26,16,32,1,155,16,32,1,121,32,0,3,17,0,35,32,1,117,26,0,46,17,32,1,157,16,6,32,0,3,0,3,16,33,0,4,48,6,0,46,32,1,125,32,0,4,17,0,35,32,1,117,26,0,46,17,32,1,157,16,6,34,0,4,32,1,128,16,32,1,132,16,33,0,5,48,6,32,0,5,0,30,0,50,26,16,32,1,155,34,0,1,0,30,32,1,122,26,16,32,1,132,16,17,0,29,34,0,5,32,1,155,34,0,3,17,32,1,32,16,17,7,32,0,2,32,1,123,16,32,1,123,0,46,17,32,1,156,16,6,32,0,2,0,30,32,1,7,26,16,0,35,32,1,117,26,0,46,17,32,1,156,16,6,34,0,2,32,1,138,16,33,0,3,48,6,32,0,1,0,30,32,1,122,26,0,40,32,1,76,27,32,0,3,17,32,1,157,16,6,34,0,1,32,1,155,0,40,0,29,0,41,32,1,32,27,27,34,0,3,17,7,32,1,123,0,41,0,46,27,32,1,118,32,1,123,0,41,0,45,27,21,33,0,3,48,6,32,0,1,32,0,3,16,32,1,157,16,6,32,0,2,34,0,3,16,32,1,156,16,6,34,0,2,32,1,122,34,0,1,17,7,32,0,1,32,1,4,16,32,1,157,16,6,32,0,1,32,1,123,16,32,1,123,0,45,17,32,1,157,16,6,34,0,1,32,1,129,16,0,16,0,45,17,7,32,0,2,32,1,123,0,40,32,1,127,27,32,0,1,17,33,0,3,48,6,32,0,3,0,46,0,42,32,1,125,27,32,1,117,32,1,125,0,41,0,45,27,21,16,32,1,157,16,6,32,0,2,0,46,32,1,122,11,2,0,43,32,0,3,27,16,33,0,4,48,6,32,0,1,32,1,122,16,32,1,125,32,0,4,17,32,1,157,16,6,32,0,1,32,1,162,32,1,136,0,41,32,0,4,27,11,2,0,43,34,0,3,27,16,32,1,76,34,0,2,17,32,1,157,16,6,34,0,1,32,1,137,34,0,4,17,7,32,0,1,32,1,122,16,32,1,123,0,47,17,32,1,157,16,6,32,0,1,32,1,162,16,32,1,76,34,0,2,19,32,1,157,16,6,34,0,1,32,1,162,0,46,17,7,32,0,1,32,1,122,16,32,1,123,0,46,17,32,1,157,16,6,34,0,1,32,1,162,16,7,0,24,0,39,32,1,76,27,32,1,120,0,45,21,32,1,157,20,0,25,32,1,166,32,1,146,34,0,1,26,26,21,7,0,24,0,39,32,1,76,27,32,1,120,0,45,21,32,1,157,20,0,25,0,45,0,39,32,1,156,27,0,37,32,1,165,32,1,146,34,0,1,26,26,27,21,7,0,24,0,39,32,1,123,27,32,1,120,0,45,21,32,1,157,20,0,25,32,1,174,32,1,146,34,0,1,26,0,24,0,41,32,1,4,0,39,32,1,157,27,27,20,26,21,7,32,1,166,32,1,146,34,0,1,26,26,7,0,24,0,39,32,1,123,27,32,1,120,0,45,21,32,1,157,20,0,25,0,24,32,0,1,32,1,133,21,0,37,32,1,122,32,1,120,0,46,21,0,44,32,1,137,0,41,0,46,27,34,0,1,32,1,137,0,41,0,50,27,21,32,1,155,32,1,162,21,27,27,21,7,34,0,1,0,32,1,219,26,11,2,0,43,32,1,123,0,41,0,32,32,1,147,26,27,27,7,32,1,146,34,0,2,26,33,0,3,48,6,32,0,3,0,41,32,0,1,27,0,37,34,0,3,27,32,1,146,34,0,1,26,20,7,34,0,1,32,1,169,32,1,146,34,0,2,26,27,7,32,0,1,32,1,168,32,0,2,27,32,1,159,34,0,1,32,1,127,16,32,1,168,34,0,2,27,27,7,34,0,1,32,1,127,16,32,1,168,34,0,2,27,7,32,1,146,34,0,1,26,0,37,32,1,146,34,0,2,26,27,7,32,1,146,34,0,1,26,0,41,34,0,2,27,7,34,0,1,0,37,32,1,158,27,7,32,1,146,32,0,2,26,32,1,146,32,0,1,26,20,0,37,34,0,1,0,32,0,45,0,39,32,1,156,27,26,1,220,11,2,0,43,0,24,0,39,32,1,150,27,27,34,0,2,19,27,7,32,0,1,1,221,34,0,5,32,1,175,34,0,1,34,0,4,32,0,2,19,17,26,34,0,2,19,7,32,1,120,32,1,139,32,0,1,21,32,1,175,20,33,1,2,49,6,34,0,1,32,1,3,11,2,7,34,0,1,32,2,2,16,7,34,0,1,32,2,2,16,7,32,0,1,0,14,0,40,32,2,13,27,32,0,2,19,0,5,0,99,17,6,34,0,1,0,34,34,0,4,26,34,0,2,19,7,32,0,2,0,14,16,33,0,5,48,6,32,0,2,0,12,16,33,0,6,48,6,32,0,1,0,14,16,33,0,7,48,6,32,0,7,0,27,32,0,6,17,32,2,13,34,0,5,17,0,5,0,100,17,6,32,0,7,0,28,34,0,6,17,0,35,0,8,26,0,46,17,33,0,8,48,6,34,0,2,0,15,16,33,0,9,48,0,22,16,33,0,10,48,6,34,0,1,0,15,16,33,0,11,48,6,0,45,0,21,32,0,10,17,0,8,32,0,8,17,0,17,0,40,0,30,0,32,34,0,11,26,0,16,0,6,0,41,0,8,0,41,34,0,8,27,27,21,34,0,4,34,0,9,0,42,0,16,27,21,26,27,34,0,10,17,0,15,34,0,7,17,7,34,0,1,32,1,2,34,0,2,19,7,34,0,1,0,30,32,1,2,0,41,0,32,34,0,2,26,27,26,16,7,34,0,2,0,30,0,32,34,0,1,26,0,42,32,1,2,27,26,16,7,34,0,1,0,30,32,1,2,26,16,7,34,0,1,32,1,2,34,0,2,19,7,34,0,1,32,2,23,32,1,2,26,34,0,2,19,7,32,2,11,0,16,0,23,21,32,2,11,32,2,26,21,33,0,3,48,6,32,0,1,0,22,0,40,32,0,3,27,32,0,2,19,33,0,4,33,0,5,12,2,48,6,34,0,1,1,222,0,40,1,223,27,34,0,2,19,33,0,6,48,6,32,0,4,34,0,6,11,2,7,34,0,2,33,0,3,48,6,34,0,1,33,0,4,48,6,1,224,32,1,6,11,2,0,43,0,12,0,41,32,1,7,27,27,33,0,5,48,6,0,45,32,0,5,16,7,34,0,1,0,12,0,41,0,45,27,0,44,34,0,2,27,20,7,0,33,34,0,1,26,7,32,1,3,0,16,32,0,1,17,34,0,4,16,0,46,0,13,34,0,1,17,0,44,1,225,34,0,5,26,27,34,0,2,19,7,32,0,2,0,12,16,0,33,0,7,26,0,46,17,33,0,3,48,0,7,32,0,1,0,12,16,17,33,0,4,48,6,34,0,3,0,13,0,45,17,0,5,0,102,17,6,32,0,4,0,13,0,45,17,0,5,0,103,17,6,32,0,2,32,2,12,0,46,17,33,0,5,48,6,32,0,2,0,22,16,33,0,6,48,6,32,0,1,32,2,8,16,33,0,1,49,6,32,0,1,32,2,12,32,0,4,17,33,0,7,48,6,32,0,1,0,14,16,0,27,34,0,4,17,33,0,8,48,0,35,0,8,26,0,46,17,33,0,9,48,6,34,0,1,0,15,0,40,1,226,1,227,11,2,0,43,32,0,6,0,20,0,45,17,27,27,34,0,2,17,0,15,34,0,8,17,7,32,0,1,0,12,16,0,13,0,46,17,0,5,0,101,17,6,32,0,1,0,22,16,33,0,3,48,6,34,0,1,32,0,3,0,39,0,17,27,1,228,11,2,0,43,32,0,3,0,13,0,47,17,27,16,7,32,0,2,0,12,16,0,33,0,7,26,0,46,17,33,0,3,48,6,32,0,3,0,13,0,45,17,0,5,0,105,17,6,32,0,1,0,12,16,0,13,32,0,3,17,0,5,0,106,17,6,32,0,2,0,22,16,33,0,4,48,6,32,0,2,32,2,12,0,46,17,33,0,5,48,0,35,0,8,26,0,46,17,33,0,6,48,6,32,0,1,0,12,16,0,33,0,7,26,34,0,3,17,33,0,7,48,6,32,0,1,0,14,16,0,27,32,0,7,17,33,0,8,48,0,35,0,8,26,0,46,17,33,0,9,48,6,34,0,1,1,229,1,230,11,2,0,43,0,45,32,2,12,0,41,34,0,7,27,32,2,13,34,0,5,21,11,2,0,43,32,0,6,0,8,32,0,4,17,0,20,0,45,17,33,0,10,48,27,27,34,0,2,17,0,15,34,0,8,17,7,0,17,0,42,0,30,0,6,26,0,41,0,30,32,0,1,0,42,0,8,27,26,27,27,33,0,3,48,6,32,0,2,32,0,3,33,1,5,50,6,34,0,2,0,7,34,0,1,17,0,6,0,46,17,0,18,0,45,17,34,0,3,33,1,7,50,7,32,0,1,0,7,32,1,3,17,0,17,16,0,30,0,6,0,41,34,0,1,27,26,16,7,34,0,1,0,5,32,1,4,21,0,25,0,24,21,7,32,1,4,0,8,32,0,1,17,0,6,34,0,2,32,2,47,34,0,1,19,19,33,1,4,49,7,32,0,2,0,12,16,0,23,0,46,17,0,5,32,1,10,17,6,32,0,2,32,1,13,16,6,32,0,2,0,15,16,33,0,2,49,0,22,16,33,0,3,48,6,32,0,1,0,12,16,0,13,32,0,3,17,0,5,32,1,11,17,6,0,45,0,20,16,33,0,4,48,6,32,0,1,0,14,16,33,0,5,48,0,27,32,0,3,17,33,0,6,48,0,34,1,231,26,34,0,2,17,6,34,0,1,0,15,34,0,5,0,28,34,0,3,17,0,26,34,0,6,0,35,0,8,26,0,46,17,11,1,17,17,0,29,32,0,4,17,7,32,0,1,0,12,16,0,13,0,46,17,0,5,32,1,9,17,6,34,0,1,32,1,6,34,0,2,19,7,34,0,2,0,12,32,1,4,17,7,32,1,3,0,6,33,1,4,50,6,34,0,1,0,6,0,46,17,7,34,0,1,0,37,34,0,2,27,7,34,0,1,0,1,0,45,21,7,34,0,1,0,1,34,0,2,23,7,32,0,2,0,36,34,0,1,32,2,66,34,0,2,19,27,7,34,0,4,33,0,6,48,6,34,0,1,33,0,7,33,0,8,33,0,9,12,3,48,6,34,0,5,32,2,4,0,21,34,0,8,21,0,44,1,232,0,39,32,1,7,27,27,16,34,0,7,34,0,2,19,33,0,10,48,6,34,0,10,34,0,9,0,44,1,233,27,16,7,0,46,33,0,3,48,6,0,45,1,234,0,35,0,18,26,0,45,21,0,6,0,46,21,11,2,0,43,32,2,4,27,33,0,4,48,6,32,0,1,32,0,4,16,33,0,5,48,6,34,0,2,32,2,11,0,40,32,2,11,27,0,32,32,2,70,26,0,15,0,40,32,2,11,27,11,2,0,43,32,2,72,27,1,235,11,3,0,43,34,0,5,0,11,0,47,17,27,34,0,1,17,7,32,0,2,33,0,3,33,0,4,12,2,48,6,1,236,0,41,34,0,2,27,33,0,5,48,6,1,237,33,0,6,48,6,1,238,0,41,0,45,27,33,0,7,48,6,34,0,1,0,32,32,0,4,26,0,16,0,45,21,34,0,7,11,2,0,43,32,1,12,0,39,32,2,4,27,27,16,7,32,1,6,34,0,1,16,7,34,0,1,0,12,0,41,32,1,4,27,0,7,0,46,21,0,44,1,239,27,16,6,32,1,5,0,16,0,46,0,6,32,1,3,17,33,1,3,49,17,7,34,0,2,33,0,5,48,6,34,0,4,33,0,6,48,6,34,0,1,0,30,1,240,26,16,7,34,0,2,33,0,3,48,6,32,1,9,0,16,32,0,1,17,33,0,4,48,6,32,1,5,0,30,0,16,0,41,34,0,1,27,26,16,33,0,5,48,6,32,0,4,0,17,16,0,30,0,8,0,41,32,0,3,27,26,16,0,33,0,29,26,32,0,5,17,33,0,6,48,6,34,0,3,0,17,16,0,30,0,25,26,32,0,6,17,0,30,0,24,26,32,1,10,0,17,16,17,0,15,16,32,2,13,34,0,5,17,0,5,0,146,17,6,32,0,6,32,2,37,16,33,0,7,48,6,32,0,6,32,1,8,0,6,26,0,45,17,0,29,32,0,7,17,0,34,0,7,26,32,0,7,0,22,16,0,17,16,17,33,0,8,48,6,34,0,8,0,30,0,24,26,32,1,12,17,0,34,0,6,26,34,0,6,0,29,32,0,7,17,0,30,0,8,26,32,1,12,17,17,33,1,12,49,6,34,0,7,0,30,0,6,0,41,32,0,4,0,42,0,8,27,27,26,32,1,11,17,33,1,11,49,6,34,0,4,0,8,33,1,10,50,7,34,0,4,0,16,34,0,1,17,0,16,34,0,2,19,7,32,1,5,0,16,0,45,17,0,28,32,1,7,17,33,0,3,48,6,32,1,5,0,30,0,28,0,41,32,1,7,27,32,2,13,32,0,3,21,26,16,0,35,0,8,26,0,46,17,0,5,0,147,17,6,32,0,3,0,35,0,8,26,16,33,0,4,48,0,17,16,0,15,34,0,3,17,33,0,5,48,6,32,0,5,0,30,0,25,26,34,0,1,17,32,1,13,34,0,5,0,30,0,6,0,41,0,8,0,41,34,0,4,27,27,26,34,0,2,19,17,7,0,32,32,2,70,26,34,0,1,11,2,0,43,34,0,4,0,7,0,46,21,0,40,0,8,0,37,0,24,27,27,27,7,32,0,1,1,241,34,0,1,34,0,4,34,0,5,11,3,26,11,2,0,43,0,24,34,0,2,20,27,7,32,1,0,0,37,34,0,1,27,7,34,0,1,0,37,32,1,0,27,7,32,1,1,34,0,2,26,33,0,3,48,6,34,0,1,32,0,3,1,242,1,243,11,3,0,43,0,32,0,51,26,0,7,0,0,21,27,16,7,32,0,1,32,1,8,16,33,0,3,48,6,34,0,1,34,0,3,34,0,2,19,7,34,0,1,32,2,1,16,7,34,0,1,0,28,0,46,17,0,30,32,2,87,0,41,0,32,34,0,2,26,27,26,16,7,32,0,1,0,19,16,33,0,5,48,0,20,0,41,32,0,2,27,0,44,34,0,4,27,16,6,34,0,5,0,17,16,0,30,32,0,1,0,6,32,0,2,19,0,42,0,6,27,26,0,30,0,45,0,42,0,20,27,0,44,0,49,27,26,20,0,30,0,13,0,41,34,0,2,27,0,44,0,49,27,26,11,2,0,43,34,0,1,0,20,0,45,17,27,16,7,34,0,1,6,0,6,0,18,0,45,21,0,17,20,0,7,0,18,0,45,21,0,17,20,0,30,0,6,26,0,24,0,39,0,20,27,21,11,2,0,43,0,20,0,41,0,45,27,27,7,32,0,2,32,2,6,16,0,5,32,1,8,17,6,32,0,2,0,13,0,45,17,33,0,3,48,6,32,0,1,0,22,16,0,6,0,18,0,45,21,0,11,11,2,0,43,32,0,3,27,32,0,2,17,33,0,4,48,6,1,244,32,0,1,26,33,0,5,48,6,0,46,33,0,6,48,6,0,24,33,0,7,48,6,32,0,1,0,12,0,20,0,46,21,0,44,1,245,0,41,32,0,2,27,27,16,6,34,0,1,0,15,16,0,28,0,27,11,2,0,43,32,0,3,0,12,32,1,2,17,27,32,0,6,0,8,34,0,4,17,17,32,1,2,0,44,0,24,0,45,0,42,0,21,27,0,44,1,246,27,0,22,0,7,34,0,2,0,39,0,19,27,21,21,27,16,32,0,7,16,7,32,0,2,0,12,16,0,23,0,46,17,0,5,32,1,7,17,6,32,0,2,0,15,16,33,0,2,49,6,32,0,2,0,30,32,2,6,26,16,0,35,0,8,26,0,46,17,0,5,32,1,8,17,6,32,0,2,0,22,16,33,0,3,48,6,32,0,1,32,2,77,16,0,22,0,42,0,21,27,0,44,1,247,27,32,0,3,17,33,0,4,48,6,1,248,33,0,5,48,6,0,45,0,20,16,33,0,6,48,6,0,46,33,0,7,48,6,1,249,33,0,8,48,6,0,45,33,0,9,48,6,34,0,2,0,34,1,250,32,1,5,1,251,26,34,0,8,0,25,21,11,2,0,43,32,1,4,27,26,32,0,4,0,27,32,0,3,17,17,33,0,10,48,6,34,0,1,0,15,0,41,32,0,4,27,1,252,11,2,0,43,32,0,6,0,12,16,0,20,0,45,17,27,16,7,32,0,1,0,13,0,45,17,0,5,0,162,17,6,32,0,1,0,23,0,46,17,0,5,0,163,17,6,34,0,2,32,2,77,16,0,28,34,0,1,0,7,0,46,17,17,32,2,13,32,1,3,17,0,5,0,164,17,7,34,0,2,0,46,0,22,11,2,0,43,0,24,0,12,0,40,0,13,27,34,0,1,21,27,16,7,34,0,2,0,17,16,0,30,34,0,1,0,1,16,26,16,7,34,0,2,0,17,16,0,30,34,0,1,0,1,16,26,16,7,32,0,1,0,12,16,0,13,32,1,3,17,0,5,0,168,17,6,32,0,2,0,30,32,2,7,26,16,0,35,0,8,26,16,0,5,0,169,17,6,32,0,1,32,2,77,16,33,0,3,48,6,32,0,2,0,34,0,7,0,6,0,46,21,26,32,0,3,0,27,32,1,3,17,17,33,0,4,48,6,32,0,4,0,30,0,13,0,41,0,45,27,26,16,0,35,0,8,26,16,0,5,0,170,17,6,32,0,3,0,28,32,1,3,17,33,0,5,48,0,35,0,8,26,0,46,17,33,0,6,48,6,1,253,33,0,7,48,6,34,0,1,1,254,34,0,7,11,2,0,43,0,25,0,35,0,8,26,32,0,4,0,35,0,8,26,32,0,6,17,21,0,20,0,45,21,27,34,0,2,17,7,32,1,7,0,30,0,32,34,0,1,26,26,16,7,32,1,7,0,30,0,6,0,41,34,0,1,0,8,32,1,5,17,27,26,16,0,33,0,29,26,32,1,6,17,7,32,2,97,0,41,0,46,27,0,40,32,0,1,32,2,67,0,34,32,0,1,26,0,37,0,30,34,0,1,26,27,27,27,7,32,0,2,0,22,0,40,0,12,27,32,0,1,19,0,5,0,171,19,6,34,0,1,32,1,6,32,1,5,26,34,0,2,19,7,34,0,1,32,1,6,32,1,5,0,41,0,32,34,0,2,26,27,26,16,7,34,0,2,32,1,6,0,32,34,0,1,26,0,42,32,1,5,27,26,16,7,32,0,1,32,2,77,16,0,28,0,46,17,33,0,3,48,6,1,255,33,0,4,48,6,32,1,5,0,32,34,0,1,26,0,15,34,0,4,21,32,2,21,0,42,32,2,101,27,11,2,0,43,0,24,0,39,32,2,18,27,0,7,0,46,21,27,34,0,3,17,7,34,0,1,32,2,97,0,46,17,0,35,32,1,5,26,34,0,2,19,7,34,0,1,0,34,0,24,0,46,11,2,0,43,0,25,27,26,32,1,4,17,0,35,0,8,26,0,46,17,33,0,3,48,6,32,0,3,0,20,0,45,17,0,5,0,177,17,6,32,1,4,0,22,16,0,17,16,0,34,0,8,26,32,1,4,17,0,35,0,6,26,0,45,17,33,0,4,48,6,32,1,3,0,16,34,0,4,17,32,2,100,16,33,0,5,48,6,0,54,0,20,32,0,5,17,0,5,0,178,17,6,0,12,0,41,0,11,27,0,5,0,179,21,0,25,0,24,21,33,0,6,48,6,32,0,3,0,9,32,1,7,17,34,0,6,0,11,0,18,11,3,0,43,32,0,5,0,11,0,47,17,27,16,33,0,7,48,6,32,1,3,0,34,0,24,32,0,7,11,2,0,43,0,25,27,26,32,1,4,17,33,1,3,49,6,34,0,7,0,8,34,0,3,17,34,0,5,0,12,0,51,17,0,44,0,20,0,41,32,1,7,27,0,44,1,256,27,27,16,7,32,1,7,0,20,0,45,17,0,5,0,180,17,6,34,0,1,0,27,1,257,0,41,0,47,0,42,0,9,27,27,0,24,0,27,0,22,0,42,0,7,27,21,0,26,0,24,21,0,25,21,11,2,0,43,0,22,0,42,0,21,27,27,32,1,8,17,7,0,24,32,1,5,32,0,1,0,16,32,0,2,19,21,33,1,5,49,6,34,0,1,0,27,34,0,2,19,7,32,0,1,0,17,16,0,30,0,6,0,41,32,1,8,27,26,16,0,24,34,0,1,0,6,33,1,8,50,17,7,32,0,1,0,15,16,32,1,3,16,0,30,34,0,1,32,2,77,16,32,2,95,16,0,15,16,0,42,0,29,27,26,16,7,32,1,4,0,28,32,1,3,17,33,0,3,48,0,35,0,8,26,0,46,17,33,0,4,48,6,32,0,4,0,17,16,0,15,34,0,3,17,0,42,0,30,0,6,0,41,0,8,0,41,34,0,4,27,27,26,27,0,33,0,29,26,34,0,1,21,7,34,0,1,0,42,0,29,27,7,34,0,1,0,41,0,32,34,0,2,26,27,7,34,0,1,7,34,0,2,6,34,0,1,7,34,0,2,0,36,34,0,1,27,7,32,0,1,32,1,10,0,30,34,0,1,26,27,7,32,0,1,32,1,10,32,2,23,34,0,1,26,27,7,0,45,33,0,2,48,6,1,258,32,0,1,26,33,0,3,48,6,34,0,1,0,34,1,259,26,32,1,7,17,0,22,0,21,0,47,21,0,44,0,26,0,41,0,45,11,1,27,27,16,33,0,4,33,0,5,12,2,48,6,32,1,8,1,260,1,261,1,262,11,4,0,43,34,0,5,0,42,0,6,0,41,34,0,4,0,8,0,47,21,27,27,27,7,1,263,0,32,34,0,2,26,26,7,0,25,34,0,1,20,7,0,45,33,0,3,48,33,0,4,48,6,32,1,8,32,2,24,1,264,26,16,6,34,0,1,11,1,33,0,5,48,6,1,265,0,41,32,1,7,27,33,0,6,48,6,32,0,3,32,0,6,32,1,6,17,33,0,7,48,6,32,0,4,0,7,16,32,0,5,34,0,6,0,41,32,2,154,27,11,2,0,43,0,20,0,41,0,45,27,27,32,1,6,17,33,0,8,48,6,32,1,8,32,2,24,0,32,34,0,7,34,0,8,11,2,26,0,16,0,45,0,42,0,20,27,21,0,16,0,19,21,26,16,7,32,1,8,0,17,16,0,35,0,24,0,39,32,1,6,32,1,7,16,27,26,34,0,1,17,7,32,0,1,32,2,159,34,0,2,27,32,2,147,34,0,1,27,7,0,24,32,2,146,32,1,5,26,34,0,2,23,1,266,32,2,146,34,0,1,26,27,7,0,24,1,267,32,1,5,26,34,0,1,21,32,2,146,34,0,2,26,20,7,34,0,2,32,2,147,34,0,1,27,7,0,24,1,268,34,0,2,26,34,0,1,21,7,34,0,1,7,32,1,5,0,17,16,0,30,0,7,0,41,32,0,1,0,22,16,0,6,0,50,17,27,26,16,0,33,0,29,26,34,0,1,17,7,32,0,1,0,34,0,12,26,32,0,2,17,0,31,0,8,26,16,0,35,0,6,26,0,45,17,33,0,3,48,6,32,0,2,0,29,0,41,0,17,27,32,0,3,17,0,35,0,8,26,0,46,17,33,0,4,48,6,34,0,3,0,21,0,41,32,1,5,27,0,44,0,32,34,0,2,34,0,1,11,2,26,0,30,0,16,26,0,20,21,0,39,1,269,27,27,16,6,32,0,4,7,32,1,4,0,6,0,41,32,0,1,27,0,40,32,2,5,27,32,1,3,17,0,12,0,41,0,45,27,0,44,34,0,1,0,6,0,46,17,0,39,32,1,5,27,27,16,7,0,32,0,45,26,0,13,34,0,4,32,3,29,34,0,1,26,34,0,2,19,21,7,34,0,1,6,32,1,9,0,17,16,0,30,0,45,26,16,7,32,0,2,32,3,9,16,33,0,3,48,6,34,0,2,0,42,0,16,27,33,0,4,48,6,32,1,5,0,35,0,8,26,0,46,17,33,0,5,48,6,32,0,5,0,12,0,46,17,0,8,0,47,17,0,6,32,0,3,17,32,0,5,32,2,4,1,270,27,16,33,0,6,48,6,0,46,0,7,32,1,6,17,0,17,16,0,30,0,8,0,41,32,0,5,27,0,39,0,6,0,41,32,0,5,27,0,42,34,0,6,27,27,26,16,0,35,0,8,26,0,46,17,0,5,0,104,17,6,34,0,3,0,24,0,44,0,8,0,41,32,0,1,0,39,32,3,9,27,27,27,16,33,0,7,48,6,34,0,1,0,42,0,16,27,33,0,8,48,6,32,1,7,32,3,28,32,1,5,17,33,0,9,33,0,10,12,2,48,6,32,0,10,0,12,0,46,17,0,8,0,47,17,0,6,34,0,7,17,34,0,10,32,2,4,1,271,27,34,0,9,17,33,0,11,48,6,34,0,11,0,41,0,8,0,41,34,0,5,27,27,33,0,12,48,6,1,272,33,0,13,48,6,32,1,9,0,17,16,0,30,0,8,0,41,32,1,7,0,35,0,8,26,0,46,17,27,34,0,13,20,26,16,7,32,0,1,32,3,12,0,46,17,0,35,0,8,26,0,46,17,33,0,3,48,0,12,0,46,17,33,0,4,48,6,32,0,1,0,15,16,33,0,1,49,6,0,46,33,0,5,48,6,0,45,33,0,6,48,6,32,0,1,0,30,0,0,0,39,1,273,27,26,16,6,32,0,4,0,8,0,47,17,0,6,32,0,5,17,33,0,7,48,6,1,274,33,0,8,48,6,0,45,33,0,9,48,33,0,10,48,6,1,275,33,0,11,48,6,32,0,1,0,45,0,45,1,276,11,2,0,43,0,30,0,12,0,41,0,11,27,26,0,35,0,8,26,0,46,21,27,11,2,0,43,32,1,3,0,12,32,0,6,17,0,8,32,0,7,0,12,0,51,17,17,27,16,33,0,12,48,6,34,0,1,34,0,8,34,0,11,11,2,0,43,34,0,12,27,16,7,34,0,1,6,32,1,9,0,17,16,0,30,32,1,10,0,8,32,1,4,17,0,21,0,41,32,1,4,27,0,24,11,2,0,43,32,2,2,27,16,26,16,7,32,1,6,32,3,29,32,0,1,0,15,16,0,42,0,16,27,0,42,32,3,74,0,7,0,46,21,0,41,32,0,2,0,15,18,0,42,0,16,27,27,27,26,16,33,0,3,48,6,34,0,1,1,277,1,278,11,2,0,43,0,15,0,39,0,22,27,0,20,0,52,21,0,40,0,8,27,27,34,0,2,17,7,32,0,1,32,2,7,34,0,2,19,0,30,0,6,26,32,1,4,0,30,34,0,1,0,42,0,8,27,26,16,17,33,1,4,49,7,34,0,1,11,1,11,0,0,26,11,2,0,43,0,25,32,3,4,20,27,32,1,6,17,33,1,6,49,7,34,0,1,32,2,8,32,1,6,27,7,34,0,1,0,15,16,33,0,3,48,0,22,16,0,6,0,50,17,0,6,33,1,3,50,6,34,0,3,0,30,32,1,4,26,16,7,1,279,33,0,3,48,6,32,3,11,32,0,3,1,280,11,2,0,43,0,24,0,39,0,35,32,3,72,26,27,27,11,2,0,43,0,24,0,16,0,45,21,32,3,4,20,27,33,0,4,48,6,34,0,2,34,0,1,11,2,32,0,4,0,45,17,33,0,5,48,6,32,1,3,0,17,16,0,30,1,281,26,16,33,0,6,48,6,34,0,6,0,30,0,16,0,41,0,46,27,26,32,3,11,0,30,0,16,0,41,0,45,27,26,21,0,32,32,3,70,26,11,2,0,43,34,0,3,0,12,32,0,5,17,27,16,7,32,0,1,32,3,8,16,33,0,1,49,6,32,0,1,0,14,16,33,0,3,48,6,34,0,1,0,15,16,33,0,4,48,0,22,16,33,0,5,48,6,32,1,3,0,30,0,21,0,41,0,70,27,26,16,0,35,32,3,117,26,0,46,17,0,5,0,139,17,6,32,1,3,0,3,32,0,5,17,33,0,6,48,6,32,1,3,0,4,32,0,6,17,0,33,0,29,26,33,1,4,50,6,0,45,33,0,7,48,6,0,32,32,1,4,26,0,16,1,282,21,33,0,8,48,6,32,3,74,0,5,0,140,21,33,0,9,48,6,34,0,6,0,34,34,0,4,0,42,0,16,27,32,0,8,0,24,1,283,34,0,8,21,11,3,0,43,0,11,0,41,0,47,27,27,26,34,0,5,0,17,16,17,0,15,34,0,3,17,7,32,0,1,0,34,0,25,0,12,32,0,1,34,0,5,16,21,0,44,34,0,4,27,26,34,0,1,0,22,16,0,17,16,17,7,34,0,1,0,15,0,39,0,32,32,2,12,26,0,16,32,0,2,23,32,1,6,34,0,0,0,41,32,0,2,0,6,0,46,19,27,27,27,0,15,0,14,21,32,1,5,11,2,0,43,32,2,12,0,22,16,0,23,34,0,2,19,27,16,7,34,0,1,33,2,4,49,0,33,0,16,26,32,2,6,17,33,2,5,49,6,0,50,33,2,3,49,7,32,1,5,33,0,3,48,6,34,0,1,32,1,6,33,1,5,50,6,34,0,3,7,34,0,4,34,0,1,34,0,2,19,7,34,0,1,33,0,3,48,6,1,284,7,34,0,1,33,0,3,48,6,1,285,7,34,0,1,0,17,16,0,30,0,32,34,0,4,0,1,16,26,26,16,7,32,0,1,32,3,12,0,46,17,33,0,3,48,0,35,0,8,26,33,1,6,50,6,0,15,0,41,34,0,3,0,26,34,0,2,0,19,18,32,2,2,0,7,0,46,17,0,44,0,24,0,7,34,0,1,0,22,16,21,0,18,0,45,21,27,18,11,1,17,27,33,1,7,49,7,32,1,6,0,8,34,0,2,19,32,1,5,16,0,33,0,26,26,0,26,11,2,0,43,32,1,3,27,34,0,1,17,7,32,0,1,0,26,34,0,1,0,22,16,0,7,34,0,2,19,0,17,0,39,0,30,0,46,26,27,16,17,7,34,0,1,0,30,0,6,26,34,0,2,0,30,34,0,4,0,42,0,8,27,26,18,19,7,32,0,1,0,46,0,42,0,12,27,0,7,0,46,21,0,44,32,1,5,32,0,2,26,0,41,0,17,27,27,32,1,7,17,32,1,5,34,0,2,0,8,32,1,7,19,26,33,1,6,50,6,0,46,33,1,7,49,6,34,0,1,0,22,16,7,32,0,2,0,8,33,1,7,50,6,34,0,2,7,34,0,1,6,0,46,33,1,9,49,7,32,1,4,0,28,32,1,3,17,33,0,3,48,0,26,33,1,10,50,6,34,0,3,0,35,0,8,26,32,1,7,17,0,12,0,41,0,46,27,0,7,0,46,21,0,44,1,286,27,16,6,32,0,1,0,15,16,0,42,0,16,27,33,0,4,48,6,32,1,9,0,24,0,44,1,287,27,34,0,1,17,6,32,1,6,0,15,32,1,10,17,0,30,32,0,4,26,16,7,0,46,0,7,32,2,3,17,1,288,16,0,33,0,29,26,32,1,3,17,0,26,32,1,6,11,1,17,0,31,0,8,26,16,32,3,57,16,33,0,3,48,6,34,0,2,0,24,0,34,1,289,26,34,0,3,21,0,35,0,30,0,6,26,26,20,0,40,0,30,0,6,26,27,32,1,4,17,0,46,0,42,0,12,27,0,7,0,46,21,0,44,0,33,0,17,0,15,32,1,5,21,0,42,0,30,0,6,26,27,26,27,32,1,6,17,0,33,0,29,26,34,0,1,0,15,16,17,7,32,1,5,0,26,34,0,2,19,0,26,32,1,4,17,0,33,0,15,26,11,0,17,7,32,0,2,0,22,16,0,20,0,45,17,0,5,0,173,17,6,32,0,2,0,22,16,0,17,16,0,34,0,20,0,41,0,45,27,0,42,0,8,27,26,34,0,2,17,7,32,2,7,0,7,34,0,1,17,0,17,16,0,30,32,2,6,0,1,16,26,16,0,26,33,2,6,50,6,32,2,7,7,34,0,1,0,22,0,42,0,21,27,0,44,0,33,0,26,26,0,42,34,0,0,27,27,34,0,2,19,7,34,0,1,6,0,45,33,1,3,49,6,32,2,13,32,2,7,0,34,0,6,26,34,0,4,17,26,33,1,2,49,7,32,3,76,0,20,32,0,1,0,18,0,45,17,21,0,45,11,2,0,16,34,0,1,0,13,0,45,17,0,8,34,0,2,19,17,7,0,45,32,1,3,16,6,34,0,1,32,2,11,32,1,2,32,2,9,34,0,2,19,26,16,7,0,45,32,1,3,16,6,34,0,2,32,2,11,0,32,34,0,1,26,0,42,32,1,2,27,26,16,7,0,45,32,1,3,16,6,34,0,1,32,2,12,32,1,2,26,34,0,2,19,7,0,25,34,0,1,34,0,4,21,7,32,0,1,32,3,6,16,0,5,0,190,17,6,32,0,1,0,11,33,1,4,50,6,34,0,1,0,18,33,1,3,50,7,34,0,1,0,17,16,0,26,32,1,5,17,0,31,34,0,2,26,16,7,34,0,1,34,0,5,16,34,0,4,34,0,2,19,7,34,0,1,32,3,164,16,7,34,0,1,32,3,164,16,7,34,0,1,0,35,32,2,3,26,16,33,0,3,33,0,4,12,2,48,6,34,0,3,33,2,4,49,6,34,0,4,0,8,33,1,4,50,7,32,1,4,0,40,34,0,1,27,7,32,1,8,0,42,34,0,1,0,41,32,1,4,27,27,7,34,0,1,0,42,32,1,12,27,33,0,3,48,6,0,46,0,42,0,21,27,0,44,1,290,27,33,0,4,48,6,0,50,32,0,4,0,46,0,6,32,2,6,17,17,0,6,0,46,17,7,32,0,1,0,13,0,46,17,0,8,33,1,5,50,6,34,0,1,0,6,33,1,6,50,7,32,1,7,32,1,3,32,3,4,1,291,34,0,1,26,27,16,33,0,3,48,6,0,24,32,2,3,11,2,0,43,0,13,0,41,32,2,3,27,27,33,0,4,48,6,0,45,0,12,32,2,3,17,0,6,32,2,3,17,0,2,0,47,17,0,18,16,33,0,5,48,0,17,16,0,30,0,24,0,6,0,46,21,0,7,34,0,5,21,0,10,0,47,21,26,16,0,35,1,292,26,32,2,3,0,17,16,17,7,34,0,1,0,30,32,1,10,0,42,0,7,27,0,7,0,41,32,1,9,27,11,2,0,16,32,3,2,17,26,16,0,4,0,41,0,3,27,16,7,32,2,3,0,8,0,47,17,0,13,32,0,1,0,35,0,11,26,16,33,1,10,49,0,7,34,0,1,0,35,0,18,26,16,33,1,9,49,17,17,7,34,0,1,6,32,2,4,32,2,9,11,2,0,30,0,17,0,30,0,8,0,41,32,2,6,27,26,20,26,16,33,0,3,33,0,4,12,2,48,6,34,0,4,0,30,1,293,26,16,7,32,0,2,32,4,33,16,32,4,57,16,33,0,3,48,6,34,0,1,32,4,32,34,0,2,0,29,32,0,3,19,17,0,15,16,0,30,0,46,0,42,0,7,27,0,18,0,45,21,26,16,0,33,0,29,26,34,0,3,17,33,0,4,48,6,0,7,0,41,0,46,27,0,8,0,41,32,2,4,0,42,0,7,27,27,0,7,0,25,21,11,2,0,16,32,3,2,17,33,0,5,48,6,32,2,9,0,17,16,0,34,0,8,0,41,32,2,6,27,0,40,32,1,3,27,34,0,5,0,25,21,26,34,0,4,17,7,34,0,0,0,45,11,2,7,34,0,2,33,0,3,48,6,34,0,1,0,30,0,15,26,16,33,0,4,48,0,16,0,45,17,0,22,16,33,0,5,48,6,0,50,33,0,6,48,6,1,294,0,42,32,1,4,27,33,0,7,48,6,1,295,7,34,0,1,32,1,5,16,33,0,3,33,0,4,12,2,48,6,34,0,3,33,1,5,49,6,34,0,4,7,0,46,0,7,34,0,1,0,6,33,1,7,50,17,7,0,46,0,7,32,0,1,17,0,17,16,0,30,0,32,32,2,4,26,0,16,0,6,0,41,34,0,1,0,7,32,1,7,17,27,21,32,1,9,32,0,2,23,26,16,6,34,0,2,7,0,45,0,32,32,1,3,34,0,1,26,26,16,32,2,3,16,7,0,45,0,32,34,0,2,32,1,3,34,0,1,27,26,16,32,2,3,16,7,32,0,1,0,17,16,32,2,5,34,0,1,26,33,2,6,50,7,0,32,34,0,2,0,1,18,26,32,1,4,11,2,0,43,0,13,0,41,0,45,27,27,33,1,4,49,7,32,0,1,0,17,16,0,30,0,7,0,41,34,0,1,27,26,16,7,34,0,1,0,17,16,0,30,0,8,0,41,34,0,2,27,26,16,7,0,47,0,9,32,0,2,19,0,11,16,33,0,3,48,0,6,32,0,1,17,33,0,4,48,32,1,3,16,33,0,5,48,6,34,0,1,34,0,4,11,2,0,16,32,0,5,17,32,1,4,32,0,3,0,8,0,47,17,0,7,34,0,2,19,0,8,34,0,5,17,0,6,34,0,3,17,17,7,34,0,4,0,42,0,16,27,0,40,34,0,1,27,7,34,0,2,33,0,3,48,0,7,16,33,0,4,48,6,0,45,33,0,5,48,33,0,6,48,33,0,7,48,6,0,51,33,0,8,48,6,32,0,1,32,2,4,0,7,0,46,17,0,44,0,30,0,8,0,41,32,2,3,27,26,27,16,0,42,0,16,27,0,40,32,1,3,27,33,0,9,48,6,32,0,9,0,7,0,46,21,0,45,0,46,0,47,11,4,33,0,10,48,6,0,6,1,296,11,2,0,16,32,0,3,0,13,0,52,17,17,33,0,11,48,6,1,297,33,0,12,48,6,1,298,1,299,34,0,12,11,3,0,43,1,300,27,33,0,13,48,6,32,0,1,0,30,34,0,1,0,42,1,301,27,26,16,7,32,1,3,0,30,34,0,1,0,42,32,2,3,27,26,16,32,4,3,16,7,32,1,4,0,30,0,16,0,41,34,0,1,27,26,16,7,0,46,0,6,33,1,6,50,6,32,1,6,32,1,7,0,41,0,32,34,0,0,26,27,0,32,32,1,3,26,11,2,0,43,0,13,0,41,32,1,5,27,27,16,33,0,3,48,6,0,45,34,0,3,16,7,32,0,1,32,1,8,0,7,0,46,17,0,44,32,1,9,0,44,1,302,27,27,0,46,0,7,34,0,1,17,17,7,34,0,2,0,6,32,1,3,17,33,1,4,49,6,34,0,1,0,6,32,1,3,17,33,1,7,49,32,2,4,16,33,1,6,49,0,6,32,1,3,17,32,2,4,16,33,1,5,49,6,32,1,7,0,13,32,4,3,17,33,1,8,49,6,32,1,6,32,1,11,16,6,32,1,7,32,1,13,32,1,4,17,7,32,0,2,0,6,0,46,17,33,1,4,49,0,12,32,1,6,17,0,8,0,47,17,0,6,33,1,8,50,6,34,0,2,7,32,0,1,0,6,0,46,17,33,1,7,49,0,12,32,1,5,17,0,6,33,1,8,50,6,34,0,1,7,34,0,1,32,1,10,0,43,32,1,8,27,34,0,2,19,7,34,0,1,0,16,32,1,7,32,1,13,32,1,4,17,17,7,0,47,33,2,8,49,6,32,2,4,33,2,7,49,6,34,0,1,33,2,4,49,7]
,[provide[0],provide[1],provide[2],provide[3],provide[4],provide[5],provide[6],provide[7],provide[8],provide[9],provide[10],runtime_0[0],provide[12],provide[13],provide[14],provide[15],provide[16],provide[17],runtime_0[1],runtime_0[2],runtime_0[3],runtime_0[4],runtime_0[5],runtime_0[6],runtime_0[7],runtime_0[8],runtime_0[9],runtime_0[10],runtime_0[11],runtime_0[12],provide[18],provide[19],runtime_0[13],runtime_0[14],runtime_0[15],runtime_0[16],provide[20],provide[21],provide[22],runtime_0[17],runtime_0[18],runtime_0[19],runtime_0[20],runtime_0[21],runtime_0[22],0,1,2,Infinity,-Infinity,-1,3,8,5,4,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','\0','˙','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','∘','○','⌾','⍟','⊘','⊸','⟜',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟⎊%"),str("´: Identity not found"),str("´: 𝕩 must be a list"),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("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("𝕨⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("/𝕩: 𝕩 must have rank 1"),str("/𝕩: 𝕩 must consist of natural numbers"),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("𝕨"),str("𝕩: "),str("𝕩 must have rank at least 1 for simple 𝕨"),str("Compound 𝕨 must have rank at most 1"),str("Length of compound 𝕨 must be at most rank of 𝕩"),str("𝕨 must be an array of numbers or list of such arrays"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("⊏"),str("⊑𝕩: 𝕩 can\'t be empty"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("𝕨⌽𝕩: 𝕨 too large"),str("⌽"),str("𝕨/𝕩: 𝕨 must consist of natural numbers"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("𝕨/𝕩: Components of 𝕨 must have rank 0 or 1"),str("/"),str("=≠≡≢"),str("Cannot modify fill with Structural Under"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),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("↓"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),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("˘: Argument lengths don\'t agree"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),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("𝕨⥊𝕩: Can\'t produce non-empty array from empty 𝕩"),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("⎉ 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 consist of integers"),str("≥: Needs two arguments"),str("≤: Needs two arguments"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most 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],[0,0,1],[0,0,2],[0,0,3],[0,0,4],[0,0,[[],[5]]],[0,0,6],[1,1,7],[2,1,8],[1,1,9],[0,0,10],[2,1,11],[0,0,12],[1,0,13],[1,1,14],[1,1,15],[0,0,16],[0,0,17],[1,0,18],[0,0,[[],[19]]],[1,1,20],[1,1,21],[1,0,22],[0,0,[[],[23]]],[0,0,24],[0,0,25],[0,0,26],[0,0,27],[0,0,28],[0,0,29],[0,0,30],[0,0,31],[0,0,32],[0,0,[[],[33]]],[0,0,34],[0,0,[[],[35]]],[1,1,36],[0,0,37],[0,0,[[],[38]]],[0,0,[[],[39]]],[0,0,40],[0,0,41],[0,0,[[],[42]]],[0,0,[[],[43]]],[0,1,44],[0,0,45],[0,0,[[],[46]]],[0,0,47],[0,0,48],[0,0,[[],[49]]],[2,1,50],[1,0,51],[1,0,52],[0,0,53],[0,0,[[],[54]]],[2,0,55],[0,0,56],[0,0,[[],[57]]],[0,0,58],[2,1,59],[0,0,60],[0,0,61],[0,0,62],[0,0,63],[0,0,[[],[64]]],[0,0,[[],[65]]],[0,0,66],[0,0,67],[0,0,68],[0,1,69],[1,1,70],[0,0,71],[0,0,72],[0,0,73],[0,0,74],[0,0,[[],[75]]],[0,0,76],[1,0,77],[1,0,78],[0,0,[[],[79]]],[1,0,80],[0,0,81],[0,0,[[],[82]]],[0,0,[[],[83]]],[0,0,[[],[84]]],[1,1,85],[2,0,86],[2,0,87],[2,0,88],[0,0,[[],[89]]],[0,0,[[],[90]]],[0,0,[[],[91]]],[0,0,[[],[92]]],[0,0,[[],[93]]],[0,0,[[],[94]]],[0,0,[[],[95]]],[1,1,96],[2,0,97],[1,1,98],[0,0,99],[0,0,100],[0,0,[[],[101]]],[0,0,102],[0,0,103],[0,0,104],[0,0,105],[0,0,[[],[106]]],[0,0,107],[0,0,[[],[108]]],[0,0,109],[2,0,110],[0,0,111],[0,0,[[],[112]]],[0,0,[[],[113]]],[0,0,114],[0,0,[[],[115]]],[0,0,116],[0,0,117],[0,0,118],[0,0,119],[0,0,120],[0,0,121],[0,0,122],[1,1,123],[0,0,[[],[124]]],[0,0,[[],[125]]],[0,0,[[],[126]]],[0,0,[[],[127]]],[0,0,[[],[128]]],[0,0,[[],[129]]],[0,0,130],[0,0,[[],[131]]],[2,0,132],[0,0,133],[0,0,134],[0,0,135],[1,0,136],[1,0,[[],[137]]],[0,0,138],[0,0,[[],[139]]],[0,0,[[],[140]]],[0,0,141],[0,0,142],[0,0,143],[0,0,144],[0,0,[[],[145]]],[0,0,[[],[146]]],[0,0,147],[2,0,148],[0,0,[[],[149]]],[0,0,150],[0,0,[[],[151]]],[0,0,[[],[152]]],[0,0,153],[1,1,154],[0,0,155],[0,0,[[],[156]]],[0,0,157],[0,0,[[],[158]]],[0,0,159],[0,0,[[],[160]]],[0,0,161],[0,0,162],[0,0,[[],[163]]],[2,0,164],[0,0,[[],[165]]],[0,0,[[],[166]]],[0,0,167],[0,0,168],[1,0,[[],[169]]],[0,0,[[],[170]]],[1,0,171],[0,0,172],[1,0,173],[2,0,[[],[174]]],[0,0,175],[0,0,176],[0,0,[[],[177]]],[0,0,178],[0,0,179],[0,0,[[],[180]]],[1,0,[[],[181]]],[1,1,182],[0,0,[[],[183]]],[0,0,[[],[184]]],[0,0,[[],[185]]],[0,0,[[],[186]]],[0,0,[[],[187]]],[0,0,[[],[188]]],[0,0,[[],[189]]],[0,0,190],[0,0,191],[1,1,192],[0,0,193],[0,0,[[],[194]]],[0,0,[[],[195]]],[0,0,196],[0,0,197],[0,0,198],[0,0,199],[0,0,200],[0,0,201],[0,0,202],[0,0,203],[0,0,204],[0,0,[[],[205]]],[0,0,206],[2,1,207],[2,1,208],[1,1,209],[1,1,210],[1,1,211],[0,0,[[],[212]]],[0,0,213],[0,0,214],[0,0,215],[0,0,[[],[216]]],[0,0,217],[0,0,[[],[218]]],[0,0,[[],[219]]],[0,0,[[],[220]]],[1,1,221],[0,0,222],[0,0,[[],[223]]],[0,0,224],[1,0,225],[0,0,226],[0,0,[[],[227]]],[0,0,228],[0,0,229],[0,0,[[],[230]]],[0,0,231],[0,0,232],[0,0,233],[0,0,234],[0,0,[[],[235]]],[0,0,236],[2,0,237],[0,0,[[],[238]]],[0,0,239],[0,0,240],[1,0,241],[0,0,242],[0,0,243],[1,0,244],[0,0,[[],[245]]],[0,0,246],[0,0,247],[1,0,248],[0,0,[[],[249]]],[0,0,[[],[250]]],[0,0,251],[0,0,252],[0,0,[[],[253]]],[0,0,254],[0,0,[[],[255]]],[0,0,256],[0,0,257],[1,0,258],[0,0,259],[0,0,260],[0,0,[[],[261]]],[0,0,262],[1,0,263],[0,0,264],[0,0,[[],[265]]],[2,0,266],[1,1,267],[1,1,268],[0,0,269],[0,0,270],[0,0,271],[0,0,272],[0,0,273],[0,0,274],[0,0,275],[0,0,276],[0,0,277],[0,0,[[],[278]]],[0,0,279],[0,0,[[],[280]]],[0,0,281],[0,0,282],[0,0,[[],[283]]],[1,1,284],[2,1,285],[0,0,286],[0,0,[[],[287]]],[0,0,288],[0,0,[[],[289]]],[0,0,290],[1,0,291],[0,0,[[],[292]]],[0,0,293],[0,0,294],[0,0,295],[0,0,296],[0,0,[[],[297]]],[0,0,[[],[298]]],[0,0,299],[0,0,300],[0,0,301],[0,0,302]]
,[[0,184],[4063,3],[4071,3],[4075,3],[4088,3],[4100,3],[4109,3],[4115,2],[4144,3],[4176,2],[4193,4],[4255,5],[4291,3],[4298,5],[4356,4],[4422,3],[4477,3],[4488,4],[4553,9],[4622,5],[4699,5],[4766,4],[4822,8],[4994,8],[5151,3],[5196,3],[5245,3],[5364,6],[5449,3],[5473,7],[5587,3],[5649,4],[5720,6],[5784,3],[5824,5],[5901,3],[5918,14],[6098,3],[6144,3],[6164,3],[6181,4],[6239,4],[6315,5],[6389,3],[6448,0],[6459,4],[6539,3],[6549,3],[6556,3],[6570,3],[6578,3],[6616,5],[6653,5],[6680,3],[6684,3],[6698,16],[6993,3],[7018,3],[7043,3],[7070,3],[7129,4],[7229,7],[7426,7],[7472,14],[7696,5],[7775,3],[7783,6],[7810,5],[7831,6],[7858,11],[8191,9],[8348,4],[8424,7],[8536,7],[8653,3],[8761,4],[8823,8],[8935,8],[9009,7],[9071,9],[9229,9],[9377,4],[9488,8],[9702,3],[9746,3],[9883,2],[9904,14],[10029,9],[10211,10],[10284,3],[10310,10],[10718,4],[10823,3],[10897,3],[10948,4],[11075,4],[11191,2],[11199,6],[11214,2],[11273,3],[11281,3],[11289,3],[11309,8],[11384,3],[11392,3],[11400,3],[11408,3],[11416,3],[11424,3],[11435,3],[11456,7],[11497,6],[11716,4],[11816,4],[11876,3],[11919,5],[12057,3],[12104,3],[12130,3],[12163,3],[12207,3],[12255,3],[12267,3],[12340,2],[12366,4],[12402,3],[12417,3],[12446,3],[12461,3],[12479,3],[12493,3],[12503,3],[12555,6],[12583,3],[12611,3],[12619,3],[12627,5],[12662,12],[12835,3],[12846,3],[12866,3],[12886,3],[12897,3],[12908,3],[12923,7],[12996,6],[13042,3],[13060,3],[13067,6],[13102,10],[13279,4],[13335,11],[13536,4],[13603,3],[13628,2],[13643,3],[13670,7],[13811,3],[13840,3],[13850,3],[13869,3],[13879,3],[13888,3],[13898,3],[13915,11],[13988,6],[14091,8],[14169,3],[14177,3],[14219,7],[14245,9],[14491,5],[14507,6],[14629,5],[14662,6],[14691,3],[14701,3],[14711,4],[14750,4],[14773,3],[14781,3],[14806,6],[14902,2],[14952,8],[15133,11],[15338,3],[15397,3],[15424,3],[15441,3],[15458,8],[15640,3],[15654,3],[15685,2],[15719,3],[15754,3],[15775,3],[15796,5],[15867,3],[15887,8],[16117,3],[16185,3],[16215,3],[16246,3],[16280,5],[16347,3],[16356,3],[16369,3],[16373,3],[16381,3],[16391,2],[16405,2],[16420,6],[16514,3],[16524,3],[16531,9],[16665,3],[16691,3],[16709,3],[16733,3],[16754,3],[16765,3],[16778,2],[16782,3],[16818,5],[16920,3],[16967,5],[16990,3],[17007,14],[17291,13],[17488,3],[17531,4],[17614,3],[17650,3],[17679,3],[17690,4],[17726,7],[17863,10],[18053,6],[18088,3],[18153,3],[18181,4],[18204,5],[18215,4],[18226,4],[18237,5],[18257,4],[18332,3],[18365,3],[18395,5],[18420,3],[18486,3],[18500,3],[18511,5],[18610,4],[18739,3],[18763,3],[18809,3],[18842,3],[18871,5],[18903,3],[18939,3],[18965,3],[18993,3],[19015,5],[19025,3],[19058,3],[19078,6],[19093,2],[19101,2],[19109,5],[19147,3],[19157,3],[19173,5],[19224,3],[19249,6],[19358,3],[19398,3],[19439,5],[19489,6],[19626,3],[19634,8],[19691,5],[19720,3],[19735,3],[19785,2],[19803,3],[19824,3],[19842,3],[19871,3],[19890,3],[19909,6],[19988,5],[20003,14],[20167,3],[20188,3],[20204,4],[20260,3],[20292,3],[20375,3],[20409,3],[20438,3],[20455,3],[20472,3]]
);
// Use high-precision modulus (⚇0)
abs_mod.prim=8; runtime[8] = runtime[60](abs_mod,0);
// Allow inverses defined in JS
let undo0 = runtime[48];
runtime[48] = f => f.inverse || undo0(f);
runtime[48].m = 1;
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_raw = run(
[1,1,7,34,0,1,33,0,3,33,0,4,33,0,5,12,3,48,6,0,58,0,0,0,87,17,33,0,6,48,6,34,0,3,32,0,4,34,0,5,32,0,6,0,21,0,93,17,0,94,0,95,0,96,0,97,0,98,0,99,0,20,0,60,0,50,11,2,17,0,43,0,33,26,0,59,17,0,100,0,58,0,25,16,0,0,0,88,17,0,61,33,0,7,48,0,25,16,0,45,0,0,26,0,102,17,0,20,16,0,42,0,21,26,0,101,17,0,62,0,0,0,87,17,0,21,0,105,17,0,21,0,104,0,24,0,59,17,17,0,21,0,103,17,0,106,11,15,0,44,0,13,26,0,11,0,51,0,22,27,0,21,21,16,33,0,8,33,0,9,12,2,48,6,32,0,9,0,49,0,0,26,0,27,0,63,21,0,53,0,42,0,44,0,22,26,26,27,16,33,0,10,33,0,11,33,0,12,33,0,13,33,0,14,33,0,15,33,0,16,33,0,17,33,0,18,33,0,19,33,0,20,33,0,21,33,0,22,33,0,23,33,0,24,12,15,48,6,0,34,0,53,0,1,27,0,12,0,9,0,15,0,52,0,63,27,21,0,34,0,52,0,64,27,21,33,0,25,48,6,32,0,13,0,34,16,33,0,26,48,6,0,65,0,1,0,53,0,22,27,16,0,0,32,0,19,17,33,0,27,48,6,32,0,19,0,34,16,0,0,0,66,17,33,0,28,48,6,0,13,0,11,0,64,21,0,42,0,30,26,0,107,21,0,53,0,21,27,33,0,29,48,6,1,2,33,0,30,48,6,1,3,32,0,8,26,33,0,31,48,6,0,110,0,30,0,52,34,0,4,0,53,0,37,27,27,16,32,0,31,16,33,0,32,48,6,32,0,20,0,34,16,33,0,33,48,0,0,0,64,17,33,0,34,48,6,0,64,0,68,0,69,0,59,0,59,0,70,0,59,0,63,11,2,0,71,0,63,0,65,0,72,11,2,0,30,16,0,8,16,11,10,0,41,34,0,9,26,0,23,0,13,21,0,53,0,42,0,44,0,20,26,26,27,16,0,21,16,0,42,0,21,26,0,67,17,33,0,35,48,6,0,2,0,49,0,6,26,20,33,0,36,48,6,32,0,36,0,52,0,13,0,50,0,25,27,27,33,0,37,48,6,32,0,36,0,52,0,13,0,50,0,25,27,0,0,0,64,21,27,33,0,38,48,6,0,18,0,30,0,10,21,0,42,0,21,26,0,30,0,21,21,0,64,21,33,0,39,48,6,1,4,33,0,40,48,6,1,5,33,0,41,48,6,1,6,33,0,42,48,6,1,7,33,0,43,48,7,34,0,1,0,11,16,0,44,1,8,26,34,0,4,17,0,21,16,7,32,1,30,32,1,29,0,52,0,108,27,0,109,0,19,11,3,26,0,40,20,33,0,2,48,6,32,0,1,0,53,0,33,27,0,53,0,17,0,57,0,18,0,30,0,13,21,0,50,34,0,2,27,27,27,0,18,0,19,21,33,0,3,48,6,32,0,1,0,31,16,33,0,4,48,6,0,19,0,31,34,0,1,0,33,32,0,4,17,21,0,6,0,64,21,0,42,0,1,26,0,64,21,0,42,0,33,26,34,0,4,21,34,0,3,0,19,21,7,34,0,2,33,0,3,33,0,4,12,2,48,6,0,89,0,14,32,0,1,17,33,0,5,48,6,0,90,0,14,32,0,1,17,33,0,6,48,0,9,0,52,0,26,0,52,0,63,0,63,11,2,27,27,16,0,30,16,33,0,7,48,6,0,91,0,14,32,0,1,17,33,0,8,48,0,30,16,33,0,9,48,6,32,0,7,32,0,9,0,24,0,59,17,32,0,5,0,30,16,11,3,0,21,16,33,0,10,48,0,31,16,33,0,11,48,6,32,0,10,0,33,32,0,11,17,33,0,10,49,6,34,0,7,0,0,0,68,17,34,0,9,0,24,0,64,17,0,64,0,21,32,1,6,0,14,32,0,1,17,17,0,30,16,0,30,0,52,32,0,5,0,49,0,0,26,16,0,21,0,63,17,0,53,0,33,0,50,0,27,0,53,0,1,27,27,27,27,16,11,3,0,21,16,0,33,34,0,11,17,33,0,12,48,6,0,19,0,34,0,59,21,0,14,0,63,21,0,57,1,9,27,33,0,13,48,6,0,30,0,52,32,0,12,0,31,32,0,10,17,0,44,0,63,26,0,21,0,64,21,32,0,13,0,13,0,53,0,21,27,21,0,23,0,13,21,16,27,0,46,0,30,26,20,0,23,32,0,1,0,13,16,21,33,0,14,48,6,34,0,10,32,0,14,16,33,0,15,48,6,34,0,12,34,0,14,16,33,0,16,48,6,32,0,16,0,10,32,0,15,17,33,0,17,48,0,49,0,13,26,0,64,17,33,0,18,48,6,32,0,18,0,11,34,0,16,17,0,9,32,0,8,0,10,32,0,6,17,17,0,47,0,10,26,0,57,1,10,27,16,6,0,92,0,14,32,0,1,17,0,9,32,0,18,17,33,0,19,48,6,34,0,6,0,9,32,0,15,17,0,27,16,0,10,32,0,19,17,0,30,16,33,0,20,48,6,32,0,20,34,0,19,0,53,0,33,27,0,2,0,87,0,1,0,92,17,21,0,1,32,0,1,0,53,0,33,27,21,16,33,0,21,48,6,32,0,8,0,9,33,0,15,50,0,26,16,0,9,32,0,8,17,33,0,22,48,0,12,33,0,18,50,6,34,0,17,0,9,34,0,8,17,0,49,0,13,26,16,0,11,0,64,0,53,0,21,27,0,51,0,2,0,52,0,49,0,0,26,27,27,0,18,21,34,0,22,0,27,16,0,12,34,0,15,17,33,0,23,48,17,0,42,0,1,26,0,64,17,0,42,0,39,26,32,0,1,17,33,0,24,48,6,32,0,18,0,30,16,33,0,25,48,6,32,0,18,0,27,0,64,17,0,30,16,0,23,0,52,0,13,27,32,0,25,17,33,0,26,48,6,32,0,25,34,0,5,0,53,0,33,27,0,2,0,1,21,32,0,26,17,0,1,33,0,26,50,6,34,0,1,0,33,32,0,25,17,32,1,31,16,33,0,27,48,6,32,1,21,32,1,25,32,0,27,17,0,26,16,0,12,32,1,20,0,34,16,0,14,32,0,27,17,17,33,0,28,48,6,32,1,28,0,14,32,0,27,17,33,0,29,48,6,32,1,23,0,34,0,51,0,42,0,1,26,0,22,0,18,21,27,32,1,20,17,32,1,25,32,0,27,17,0,11,34,0,28,17,0,10,32,0,29,17,33,0,30,48,0,11,0,52,0,27,27,16,33,0,31,48,6,32,1,22,0,47,0,0,26,16,0,0,0,59,17,0,14,32,0,27,17,33,0,32,48,6,32,1,23,0,34,16,0,14,32,0,27,17,33,0,33,48,6,32,0,32,0,12,32,0,30,17,0,18,0,30,0,10,21,0,26,0,30,0,19,21,0,64,21,0,11,0,30,21,32,0,31,17,0,47,0,10,26,0,57,1,11,27,16,6,32,0,27,0,30,32,0,31,17,0,42,0,1,26,32,1,22,0,34,16,17,0,42,0,3,0,50,0,5,27,26,32,1,7,17,0,2,32,0,29,0,30,32,0,31,17,0,8,16,17,33,0,34,48,6,32,1,22,0,34,16,0,0,32,1,7,17,0,16,32,0,27,17,0,9,32,0,30,17,0,2,32,1,7,17,0,1,33,0,27,50,6,32,0,30,0,26,16,0,12,32,0,33,17,0,47,0,10,26,0,57,1,12,27,16,6,32,0,33,0,10,0,52,0,27,27,16,0,13,33,0,31,50,6,34,0,33,0,30,32,0,31,17,0,19,0,0,0,8,0,53,0,2,27,21,0,63,0,16,32,0,34,17,0,2,0,68,17,17,33,0,35,48,0,11,0,63,17,33,0,36,48,6,32,0,36,0,8,16,0,21,0,63,17,0,33,32,0,31,0,49,0,0,26,16,17,0,9,32,0,30,17,33,0,37,48,0,12,32,0,30,17,33,0,38,48,6,32,0,30,0,2,32,0,27,17,0,21,0,52,0,63,27,0,30,32,0,37,0,21,0,63,17,0,26,0,53,0,10,27,16,0,11,32,0,32,0,21,0,63,17,17,21,0,51,32,1,41,27,32,0,26,17,33,0,39,48,6,34,0,34,0,30,32,0,36,17,0,14,0,52,0,68,27,0,53,0,9,27,0,0,0,19,21,32,0,38,0,11,0,52,0,26,27,16,0,42,0,30,26,32,0,32,17,17,33,0,40,48,6,32,0,37,0,12,32,0,31,17,0,49,0,0,26,16,0,2,32,0,32,0,12,32,0,38,17,17,33,0,41,48,0,11,0,52,0,49,0,6,26,0,27,20,27,16,33,0,42,48,6,32,0,29,0,30,32,0,42,17,0,11,32,0,35,0,30,34,0,36,17,0,14,0,64,17,17,33,0,43,48,6,32,0,31,33,0,44,48,0,9,34,0,37,17,0,10,32,0,42,17,33,0,31,49,6,32,0,29,0,30,32,0,31,17,0,8,16,0,42,0,30,26,33,0,35,50,0,30,0,52,0,11,0,52,0,63,27,27,16,0,14,0,64,17,33,0,45,48,6,32,0,43,0,21,0,63,17,0,33,32,0,41,17,0,11,0,52,32,0,42,27,0,10,0,13,0,52,32,0,29,27,21,16,0,9,32,0,32,0,12,34,0,38,17,17,0,47,0,10,26,0,57,1,13,27,16,6,34,0,42,0,11,32,0,29,17,0,30,16,32,0,27,0,53,0,33,27,0,12,32,1,22,0,34,16,21,0,11,32,0,45,21,0,53,0,19,0,47,0,10,26,20,0,57,1,14,27,27,16,6,34,0,43,0,8,16,0,2,0,52,0,49,0,0,26,27,16,0,21,0,63,17,0,42,0,1,26,0,64,17,0,33,33,0,41,50,6,32,1,8,0,33,32,0,27,17,0,39,34,0,41,17,0,39,0,68,0,21,34,0,45,17,17,0,34,0,54,0,21,0,52,32,0,4,27,27,16,33,0,46,48,6,34,0,18,0,27,16,0,49,0,0,26,16,0,33,34,0,23,0,30,16,0,21,34,0,20,17,17,0,21,34,0,29,0,12,32,0,31,17,0,30,16,0,33,0,52,0,32,27,34,0,35,17,17,33,0,47,48,6,34,0,39,34,0,21,34,0,24,11,3,0,21,34,0,46,17,33,0,48,48,6,32,0,48,0,44,0,35,26,16,33,0,49,48,0,42,0,44,0,30,0,52,0,49,0,6,26,0,27,0,59,21,0,12,0,19,21,27,26,26,33,0,48,50,6,32,0,48,0,34,0,52,0,64,27,0,54,34,0,3,27,16,33,0,48,49,6,32,1,23,32,1,25,32,0,27,17,0,10,32,0,30,17,0,8,16,33,0,50,48,6,34,0,44,0,10,32,0,50,17,0,42,0,30,26,33,0,26,50,6,34,0,30,0,26,0,53,0,12,27,16,0,10,32,0,50,17,0,42,0,30,26,33,0,25,50,6,32,0,27,0,33,0,52,34,0,47,27,0,54,32,0,48,0,44,0,13,26,16,33,0,51,48,0,27,32,1,34,17,0,49,0,0,26,16,0,0,34,0,49,17,0,21,16,0,24,0,52,0,13,27,34,0,4,17,27,16,0,30,34,0,50,0,10,32,0,31,17,17,33,0,27,49,6,32,1,13,0,34,0,53,0,1,27,0,2,32,1,25,21,32,0,27,17,0,1,33,0,27,50,6,32,1,26,0,14,32,0,27,17,0,42,0,21,26,0,13,0,21,21,0,64,17,0,30,16,0,24,0,64,17,0,24,0,59,17,33,0,52,48,0,44,0,64,26,16,0,49,0,13,26,16,33,0,53,48,6,32,0,27,0,33,32,0,53,0,1,32,0,52,17,17,0,0,0,52,32,0,53,27,0,42,0,37,26,32,1,16,0,34,16,0,0,0,69,0,65,11,2,17,21,0,10,32,1,14,0,53,32,1,25,27,21,16,0,26,0,53,0,10,27,16,0,12,34,0,53,17,0,42,0,30,26,34,0,52,17,33,0,54,48,6,32,1,26,0,13,32,0,27,17,0,33,0,52,34,0,54,27,0,54,0,44,0,64,26,27,16,0,42,1,15,26,33,0,27,50,6,34,0,51,0,23,0,68,17,0,47,0,0,26,16,0,22,32,1,34,17,32,1,25,32,0,27,17,0,10,32,1,28,0,14,32,0,27,17,17,33,0,55,48,6,0,63,0,21,32,1,35,17,0,33,32,0,27,0,5,32,1,34,17,17,0,30,0,52,34,0,55,27,0,54,34,0,40,27,16,33,0,56,48,6,32,0,27,0,15,0,52,0,0,0,52,0,69,27,27,0,0,0,65,21,0,2,0,65,0,53,0,22,27,32,1,25,0,19,21,21,32,1,19,0,34,16,17,0,0,33,0,27,50,6,32,0,27,0,14,0,2,0,58,21,0,0,0,11,21,32,1,33,17,0,1,33,0,27,50,6,34,0,27,34,0,56,34,0,48,32,0,26,32,0,25,11,5,7,1,16,33,0,3,48,6,32,1,30,32,1,29,0,52,0,116,27,0,117,32,1,8,0,53,0,33,27,0,118,11,4,26,33,0,4,48,6,32,1,20,0,47,0,25,0,53,0,0,27,26,16,0,21,0,119,0,47,0,1,26,16,0,0,32,1,22,0,34,16,17,17,0,44,32,0,1,0,53,0,14,27,26,16,33,0,5,33,0,6,33,0,7,33,0,8,33,0,9,12,5,48,6,32,1,22,0,34,16,0,11,32,0,1,17,0,10,32,0,5,17,0,8,16,0,10,32,1,28,0,14,32,0,1,17,17,32,0,2,32,0,3,32,0,1,0,53,0,30,27,0,50,34,0,4,27,27,16,6,32,0,1,0,14,0,63,17,33,0,10,48,0,10,32,0,5,17,33,0,11,48,0,10,32,0,6,17,33,0,12,48,6,32,0,11,0,10,32,0,7,17,0,8,16,33,0,13,48,6,32,0,11,0,27,16,0,12,32,0,7,17,32,0,2,32,0,3,0,120,27,16,6,32,0,12,0,10,32,0,7,17,0,9,32,0,12,0,26,0,64,17,17,32,0,2,32,0,3,0,121,27,16,6,32,0,1,0,30,32,0,12,17,0,11,0,52,0,27,27,0,10,0,14,0,52,0,63,27,21,16,0,8,16,32,0,2,0,30,34,0,12,21,32,0,3,0,122,27,16,6,32,0,5,0,27,16,0,12,32,0,7,17,0,10,32,0,10,17,0,26,0,10,34,0,5,0,26,16,0,9,32,0,8,17,21,0,9,0,27,21,0,64,17,0,12,32,0,9,0,10,34,0,8,17,17,34,0,2,34,0,3,0,123,27,16,6,32,0,13,0,9,0,52,0,8,32,1,38,0,51,0,12,27,32,1,21,0,34,16,0,13,32,0,1,17,0,11,32,0,6,17,21,0,15,0,26,21,27,16,33,0,14,48,0,9,0,52,0,49,0,0,26,32,1,36,0,1,0,19,21,0,8,21,0,16,0,73,21,27,16,33,0,15,48,6,32,1,20,0,34,16,0,0,0,64,17,0,1,34,0,1,17,0,2,32,0,15,17,0,30,32,0,6,0,8,16,17,0,42,0,33,26,0,58,0,25,16,0,21,0,74,0,64,11,2,17,0,21,0,59,17,17,33,0,16,48,6,32,0,16,0,49,0,0,0,52,0,58,0,53,0,2,27,27,0,2,0,15,0,52,0,63,27,21,26,0,63,17,0,30,34,0,16,0,15,0,63,17,0,26,0,53,0,12,27,16,17,33,0,17,48,6,34,0,7,0,27,16,0,30,34,0,13,0,27,0,53,0,12,27,16,33,0,18,48,17,0,42,0,33,26,0,64,0,59,11,2,17,0,2,33,0,17,50,6,34,0,10,0,30,34,0,11,17,33,0,19,48,6,34,0,14,0,26,0,53,0,12,27,0,30,20,0,51,0,1,0,52,34,0,6,0,26,16,32,1,38,16,0,53,0,33,27,27,0,19,0,2,0,11,21,0,1,0,52,0,27,27,21,0,1,0,1,21,27,34,0,15,17,0,30,32,0,19,17,33,0,20,48,6,32,0,19,0,8,16,0,2,32,0,17,17,0,26,16,0,30,32,0,19,17,0,42,0,1,26,34,0,20,17,33,0,21,48,0,7,16,0,4,0,58,17,33,0,22,48,6,0,64,0,75,11,2,0,33,34,0,9,0,30,34,0,18,17,17,0,2,34,0,17,17,0,30,34,0,19,17,0,30,0,52,32,0,21,0,11,0,63,17,27,0,54,0,2,27,32,0,22,17,0,30,0,52,34,0,21,0,12,0,63,17,27,0,54,0,42,0,3,26,27,34,0,22,17,7,34,0,2,33,0,3,33,0,4,33,0,5,33,0,6,33,0,7,12,5,48,6,34,0,4,0,13,16,33,0,8,48,6,1,17,33,0,9,48,6,1,18,33,0,10,48,6,32,0,1,0,13,16,0,11,0,63,17,0,40,0,128,17,6,32,1,16,32,1,25,32,0,1,17,0,2,32,0,3,0,2,0,68,17,0,1,0,59,17,17,33,0,11,48,0,49,0,0,26,16,33,0,12,48,0,31,16,33,0,13,48,6,0,59,0,14,32,0,3,17,0,33,32,0,13,17,33,0,14,48,6,32,0,1,0,33,32,0,13,17,33,0,15,48,0,30,0,52,0,63,0,53,0,11,27,27,0,42,0,1,26,0,64,21,0,17,0,57,34,0,9,27,0,30,0,52,0,63,0,53,0,12,27,27,21,32,0,11,0,33,32,0,13,17,17,6,34,0,12,0,34,32,0,13,0,34,16,17,0,15,0,63,17,0,40,0,129,17,6,32,0,15,0,30,32,0,14,17,0,14,0,52,32,1,26,27,0,9,0,52,0,27,27,0,14,0,52,32,1,16,0,34,16,27,21,16,32,0,13,0,30,32,0,14,21,32,0,10,0,130,27,16,6,34,0,14,0,21,0,64,17,0,9,0,52,0,26,0,52,0,64,27,27,16,1,19,16,6,0,67,0,14,32,0,3,17,33,0,16,48,0,10,0,52,0,26,27,16,33,0,17,48,6,32,0,11,0,0,32,0,3,17,0,15,0,63,17,0,11,32,0,16,17,0,26,16,33,0,18,48,0,12,32,1,15,0,34,16,0,14,32,0,1,17,17,0,1,33,0,3,50,6,32,0,3,0,15,0,63,17,0,11,32,0,16,17,0,27,16,0,9,34,0,18,17,0,12,32,0,3,0,71,0,53,0,15,27,0,9,0,11,0,52,0,76,27,21,16,17,0,13,0,50,0,25,27,32,0,10,0,132,27,16,6,32,1,33,32,0,8,11,2,32,1,25,32,0,1,17,0,26,16,0,12,32,0,16,17,0,13,0,50,0,25,27,32,0,10,0,133,27,16,6,0,71,0,14,32,0,3,17,0,10,0,52,0,26,27,16,33,0,19,48,0,33,0,52,32,0,13,0,33,0,52,32,0,17,0,53,0,33,27,0,31,20,27,16,27,0,54,0,27,27,16,33,0,20,48,6,32,0,20,0,10,32,0,19,17,0,8,16,33,0,21,48,6,32,1,16,0,34,16,0,0,0,64,17,0,14,32,0,1,17,33,0,22,48,6,32,1,18,0,34,16,0,14,32,0,1,17,0,2,0,68,17,0,0,32,1,27,0,34,16,0,0,0,68,17,0,14,32,0,1,17,17,0,33,32,0,22,0,8,16,32,1,37,16,17,33,0,23,48,6,0,63,33,0,24,48,6,32,0,23,0,13,16,0,25,16,33,0,25,48,6,1,20,33,0,26,48,6,32,0,21,0,8,16,0,2,32,0,23,17,32,0,26,0,134,26,16,6,32,0,17,0,10,32,0,19,17,33,0,27,48,0,33,32,0,13,17,0,31,16,0,42,0,33,26,33,0,13,50,6,32,0,3,0,13,16,0,25,16,0,33,0,52,32,0,13,27,0,54,0,27,0,52,0,13,27,27,16,33,0,28,48,6,0,59,0,14,32,0,3,17,0,10,34,0,27,17,0,33,32,0,13,17,0,21,0,64,17,0,0,0,52,0,49,0,0,26,27,16,0,31,16,0,42,0,33,26,0,8,0,31,0,53,0,42,0,33,26,27,21,0,33,0,52,0,31,27,0,18,21,32,0,13,0,21,0,59,17,17,0,24,0,59,17,0,49,0,0,26,16,0,31,16,33,0,29,48,6,32,1,16,0,34,16,0,0,0,68,17,0,68,11,2,32,1,25,32,0,1,17,0,2,32,0,11,17,0,33,32,0,29,17,33,0,30,48,0,49,0,0,26,16,33,0,31,48,0,31,16,33,0,32,48,6,32,0,32,0,42,0,33,26,33,0,29,50,6,32,0,32,0,42,0,33,26,33,0,31,50,6,32,0,32,0,42,0,33,26,33,0,30,50,6,32,0,29,0,42,0,33,26,33,0,1,50,6,32,0,29,0,42,0,33,26,33,0,16,50,6,32,0,29,0,42,0,33,26,33,0,5,50,6,32,0,29,0,42,0,33,26,33,0,6,50,6,32,0,11,0,33,32,0,29,17,0,42,0,1,26,32,0,30,17,33,0,11,49,0,49,0,0,26,16,0,31,16,33,0,13,49,6,32,0,16,0,10,0,52,0,26,27,16,0,33,32,0,13,17,0,31,16,0,42,0,33,26,33,0,13,50,6,32,0,29,0,33,32,0,13,17,33,0,33,48,6,32,0,19,0,1,32,0,20,17,0,33,32,0,33,17,0,12,0,30,0,51,0,1,27,0,11,21,0,63,17,0,42,0,3,26,0,68,17,0,0,0,64,17,33,0,34,48,6,32,1,16,0,34,16,0,0,0,65,17,0,14,32,0,1,17,0,33,32,0,13,17,0,30,16,33,0,35,48,6,0,63,0,12,32,0,30,17,33,0,36,48,6,0,63,0,11,34,0,30,17,0,30,16,33,0,37,48,6,34,0,11,0,33,32,0,13,17,0,12,32,0,13,0,53,0,30,27,0,11,20,0,51,0,22,27,0,11,21,0,63,17,0,44,0,21,26,32,0,36,0,30,16,32,0,37,11,2,17,33,0,38,48,6,32,0,19,0,33,32,0,33,17,0,31,16,33,0,39,48,0,42,0,33,26,33,0,13,50,6,32,0,29,0,33,32,0,13,17,33,0,33,49,6,32,0,13,0,31,16,33,0,40,48,6,32,1,14,0,34,16,0,14,32,0,1,17,33,0,41,48,6,32,1,14,0,34,16,0,0,0,64,17,0,14,32,0,1,17,33,0,42,48,6,32,0,42,0,10,32,0,41,17,0,11,32,0,36,0,49,0,10,26,16,17,0,13,0,50,0,25,27,32,0,10,0,135,27,16,6,32,0,42,0,10,34,0,36,17,33,0,43,48,0,49,0,0,26,16,33,0,44,48,6,0,19,32,1,39,0,50,0,8,27,32,0,43,21,33,0,45,48,6,32,0,41,32,0,45,16,33,0,46,48,6,32,0,42,0,30,32,0,43,17,33,0,47,48,0,8,16,0,21,0,64,17,33,0,48,48,6,32,0,47,0,26,0,53,0,10,27,16,0,21,0,63,17,33,0,49,48,6,32,0,46,0,24,0,9,32,0,47,21,0,11,0,24,0,52,0,1,27,21,0,64,17,32,0,43,0,30,20,32,0,10,0,136,27,16,6,32,0,46,0,24,0,59,17,0,12,32,0,47,17,0,9,0,52,0,27,27,16,32,0,43,0,30,20,32,0,10,0,137,27,16,6,34,0,42,0,30,16,0,21,32,0,37,17,0,33,34,0,47,0,26,16,0,31,16,0,31,16,17,33,0,50,48,6,32,0,41,0,10,32,0,43,17,0,33,0,52,32,0,13,0,28,16,27,0,54,32,1,37,0,53,0,42,0,33,26,27,27,34,0,41,17,33,0,51,48,0,30,16,33,0,52,48,6,32,0,1,0,33,32,0,52,17,0,35,0,1,0,18,0,50,0,13,27,21,32,1,32,17,33,0,53,48,0,14,0,63,17,33,0,54,48,6,32,0,53,0,14,0,52,0,68,27,0,9,32,0,54,0,27,0,64,17,21,0,10,0,16,0,52,0,27,27,21,16,0,11,32,0,54,17,32,0,52,32,0,10,0,138,27,16,6,32,0,53,0,27,16,0,30,34,0,54,17,33,0,55,48,6,34,0,53,0,14,0,63,17,0,42,0,30,26,33,0,52,50,6,32,0,52,0,42,0,33,26,32,0,29,17,32,0,3,0,53,0,33,27,0,2,32,0,21,0,53,0,33,27,21,16,33,0,56,48,6,32,0,56,0,14,0,59,17,33,0,57,48,0,26,0,0,0,27,0,52,0,64,27,21,16,33,0,58,48,0,14,0,68,17,33,0,59,48,6,32,0,51,0,33,32,0,52,0,30,32,0,57,17,0,0,0,64,17,17,32,0,52,0,30,32,0,57,21,32,0,10,0,139,27,16,6,32,0,56,0,15,0,68,17,33,0,60,48,0,11,32,0,59,17,0,19,0,9,0,69,0,14,32,0,56,17,21,0,26,20,0,10,0,27,21,16,33,0,61,48,6,34,0,60,0,10,32,0,57,17,0,9,32,0,61,17,32,0,52,32,0,10,0,140,27,16,6,34,0,58,0,14,0,64,17,0,9,32,0,56,0,14,0,63,17,17,0,11,32,0,61,17,33,0,62,48,0,10,32,0,61,17,0,8,16,33,0,63,48,6,32,0,57,0,30,32,0,63,17,0,14,0,52,0,27,0,52,0,64,27,27,16,32,0,52,0,30,32,0,63,21,32,0,10,0,141,27,16,6,32,0,20,0,33,32,0,29,17,0,8,16,0,2,32,0,1,17,0,33,32,0,52,17,33,0,64,48,0,31,32,0,8,0,21,32,1,27,17,0,49,0,0,26,16,17,0,42,0,1,26,0,64,17,0,7,0,69,17,33,0,65,48,6,32,0,65,0,13,0,64,17,0,9,32,0,56,0,14,0,63,17,17,0,9,32,0,59,17,33,0,66,48,0,0,33,0,62,50,0,12,32,0,63,17,33,0,67,48,6,32,0,66,0,0,33,0,56,50,6,32,0,56,0,5,0,68,17,0,42,0,1,26,0,64,17,0,2,0,69,17,0,2,32,0,67,17,0,0,32,0,56,0,14,0,69,17,0,26,16,0,0,0,67,17,0,2,34,0,61,17,17,0,0,32,0,57,0,26,16,0,11,32,0,66,17,0,0,0,64,17,0,2,32,0,62,17,17,33,0,68,48,6,32,1,27,0,34,16,0,0,32,0,68,17,0,13,34,0,64,17,0,9,32,0,65,0,14,0,63,17,17,32,0,52,32,0,10,0,142,27,16,6,32,0,56,0,14,0,63,17,0,9,32,0,59,17,0,10,32,0,57,17,0,8,16,0,2,33,0,65,50,6,32,0,57,0,12,33,0,63,50,6,32,0,63,0,42,0,30,26,33,0,56,50,6,32,0,62,0,30,32,0,57,0,27,0,64,17,17,33,0,69,48,6,32,0,48,0,26,0,11,0,19,21,0,64,17,0,11,32,0,46,0,27,16,17,0,26,0,53,0,1,27,16,0,0,0,64,17,33,0,70,48,6,32,0,70,0,30,0,52,32,0,46,27,0,54,32,0,65,0,13,0,63,17,33,0,71,48,0,0,0,64,17,0,2,32,0,62,17,0,6,32,0,59,17,0,2,0,52,0,8,27,34,0,66,17,0,27,16,0,30,32,0,57,17,27,16,33,0,70,49,6,32,0,55,0,2,16,0,11,32,0,63,17,32,0,52,32,0,10,0,138,27,16,6,32,0,70,0,44,0,63,26,16,0,30,0,52,32,0,46,27,0,54,34,0,55,0,30,32,0,63,17,27,16,33,0,72,48,6,32,0,72,0,14,0,68,17,0,2,0,68,17,0,6,33,0,70,50,6,0,63,0,21,32,0,69,17,0,33,0,52,0,49,0,0,26,27,32,0,57,17,0,12,34,0,62,17,32,0,52,32,0,10,0,143,27,16,6,0,68,0,13,32,0,65,17,0,12,34,0,67,17,32,0,52,32,0,10,0,144,27,16,6,32,0,56,0,14,0,64,17,0,10,33,0,69,50,6,32,0,51,0,33,0,52,32,0,52,27,0,54,32,0,71,0,8,16,27,16,33,0,73,48,6,34,0,52,0,30,32,0,71,17,0,42,0,33,26,32,0,40,17,33,0,74,48,6,34,0,65,0,30,32,0,71,17,0,14,0,68,17,33,0,75,48,6,32,1,27,0,34,16,0,0,0,69,17,0,14,32,0,1,17,0,9,0,69,0,14,32,0,3,17,0,33,32,0,29,17,17,33,0,76,48,6,0,14,0,52,32,0,1,0,31,32,1,27,0,34,16,0,0,0,63,0,69,0,65,0,72,11,4,17,17,0,0,34,0,76,17,27,32,0,45,20,33,0,77,48,6,32,1,27,32,1,25,32,0,1,17,0,11,32,0,51,17,0,30,16,33,0,78,48,6,0,64,32,0,77,16,33,0,79,48,6,0,69,34,0,77,0,51,0,19,0,2,0,68,21,0,6,0,18,21,27,0,68,17,33,0,80,48,0,0,0,52,0,11,0,52,0,63,27,0,10,32,0,79,21,27,16,33,0,81,48,6,32,0,79,0,30,32,0,46,17,0,11,32,0,69,17,0,11,34,0,59,0,30,34,0,63,17,17,0,10,32,0,81,0,30,32,0,46,17,0,11,32,0,56,17,17,32,0,43,0,50,0,30,27,0,21,0,63,21,0,30,32,0,46,21,32,0,10,0,145,27,16,6,32,0,81,0,30,0,52,32,0,46,27,0,54,34,0,56,27,16,33,0,81,49,0,42,0,1,26,0,64,17,0,6,33,0,80,50,6,32,0,79,0,30,0,52,32,0,46,27,0,54,0,6,0,52,34,0,69,27,27,16,33,0,79,49,6,32,0,81,0,34,16,0,11,0,63,17,32,0,1,0,50,1,21,27,0,30,20,32,0,10,0,146,27,16,6,32,0,79,0,12,32,0,49,17,0,24,0,64,17,32,0,43,0,30,20,32,0,10,0,147,27,16,6,32,0,80,0,13,0,52,0,27,27,16,0,11,32,0,48,17,0,24,0,64,17,32,0,43,0,30,20,32,0,10,0,148,27,16,6,32,0,79,0,2,0,69,17,0,0,0,63,0,68,0,69,11,3,0,33,32,0,80,17,17,33,0,82,48,6,32,0,79,0,30,34,0,46,17,0,8,16,0,2,0,69,17,0,33,34,0,57,0,49,0,0,26,16,0,27,16,17,0,1,33,0,68,50,6,32,0,3,0,33,0,52,32,0,29,0,33,32,0,37,17,27,0,54,34,0,81,0,30,32,0,48,17,0,24,0,64,17,27,16,0,2,32,0,21,17,0,42,0,1,26,32,0,19,17,33,0,3,49,6,34,0,21,0,9,34,0,22,17,33,0,83,48,6,0,63,0,11,32,0,3,17,0,42,0,21,26,0,64,17,0,33,32,0,28,17,33,0,84,48,0,27,16,0,9,32,0,83,17,33,0,85,48,6,32,0,3,0,33,32,0,85,0,8,16,32,1,37,16,17,0,2,32,0,85,17,0,0,32,0,3,17,0,19,0,15,0,68,21,0,11,32,0,84,21,0,1,0,19,21,0,6,0,19,0,14,0,69,21,0,2,34,0,84,0,0,0,64,17,21,0,42,0,21,26,0,63,21,0,33,34,0,28,21,21,16,33,0,86,48,6,32,0,86,0,33,0,0,0,6,0,64,21,0,5,0,19,21,34,0,85,0,8,16,0,49,0,0,26,16,0,53,0,19,0,1,0,33,21,27,21,0,63,0,14,32,0,86,17,0,9,32,0,83,17,0,8,16,32,1,37,16,17,0,6,33,0,86,50,6,32,0,86,0,27,16,0,2,34,0,83,17,0,0,33,0,3,50,6,32,0,23,0,14,0,64,17,0,9,32,0,86,0,13,0,63,17,17,0,10,33,0,24,50,0,8,16,0,2,33,0,23,50,6,32,0,23,0,1,32,0,23,0,14,0,63,17,0,2,32,0,86,17,17,33,0,86,49,6,0,59,0,14,32,0,3,17,0,27,0,64,17,0,9,0,76,0,14,32,0,3,17,17,0,1,33,0,3,50,6,0,63,0,14,32,0,3,17,0,27,16,0,12,0,67,0,14,32,0,3,17,17,32,0,29,0,50,0,31,27,32,0,10,0,149,27,16,6,34,0,17,0,19,0,1,0,8,0,53,0,2,27,21,33,0,3,50,6,32,1,33,0,1,32,0,1,17,33,0,87,48,6,34,0,38,0,47,1,22,26,16,6,32,0,13,0,42,0,33,26,33,0,1,50,6,34,0,51,0,33,32,0,13,17,33,0,88,48,6,32,0,33,0,42,0,33,26,33,0,3,50,6,32,0,33,0,42,0,33,26,33,0,86,50,6,34,0,19,0,12,34,0,20,17,0,33,32,0,33,17,0,30,16,0,21,34,0,39,0,31,16,0,33,32,0,35,17,17,33,0,35,49,6,32,0,3,0,70,0,53,0,15,27,0,9,0,11,0,52,0,77,27,21,16,33,0,89,48,6,0,63,0,11,32,0,3,17,0,11,32,0,89,17,33,0,90,48,6,32,0,90,0,27,16,32,1,37,16,0,42,0,33,26,32,0,86,17,33,0,91,48,0,15,0,64,17,33,0,92,48,6,32,0,86,0,1,16,0,6,0,63,17,33,0,93,48,6,32,0,91,0,1,16,0,6,0,63,17,33,0,94,48,6,32,0,13,33,0,25,49,6,34,0,33,0,42,0,33,26,33,0,24,50,6,32,0,89,0,2,32,0,94,17,32,0,26,0,150,26,16,6,0,68,0,16,32,0,3,17,0,9,0,68,0,11,32,0,91,17,17,33,0,95,48,0,11,32,0,88,17,0,30,16,0,28,16,33,0,96,48,6,0,69,0,14,32,0,3,17,33,0,97,48,0,9,32,0,95,17,0,26,16,0,10,32,0,95,17,33,0,98,48,6,0,68,0,25,16,0,37,32,0,3,17,0,10,32,0,98,17,0,16,32,0,97,17,0,2,0,68,17,0,6,32,0,93,17,0,27,0,2,34,0,97,21,0,6,0,26,21,0,68,17,0,2,32,0,95,17,32,0,26,0,151,26,16,6,32,1,26,0,14,32,0,1,17,33,0,99,48,6,32,1,16,0,34,16,0,0,0,68,17,32,1,14,0,34,16,0,0,0,64,17,11,2,0,37,32,0,1,17,33,0,100,48,6,32,1,16,0,34,16,0,0,0,67,17,0,14,32,0,1,17,33,0,101,48,32,1,37,0,51,0,11,27,32,0,100,17,0,9,32,0,99,17,33,0,102,48,6,32,0,102,0,10,32,0,101,17,0,27,16,0,2,32,0,94,17,34,0,26,0,152,26,16,6,0,63,0,14,32,0,3,17,0,11,0,52,0,10,0,52,0,27,27,27,32,0,98,17,0,26,0,53,0,9,27,16,32,0,13,32,0,10,0,153,27,16,6,0,64,0,16,34,0,86,17,0,26,16,0,9,32,1,15,0,34,16,0,0,0,68,17,0,14,32,0,1,17,17,0,11,32,0,92,17,33,0,103,48,6,32,0,103,0,10,32,0,98,17,0,8,16,0,28,0,54,32,1,36,0,1,0,18,21,0,52,0,13,0,50,0,25,27,27,27,16,33,0,104,48,6,32,0,89,0,30,16,33,0,105,48,0,0,0,52,32,0,104,0,53,0,33,27,27,16,0,0,0,64,17,33,0,106,48,6,32,0,3,0,33,32,0,105,17,0,13,0,76,17,33,0,107,48,6,32,0,3,0,33,32,0,106,17,33,0,108,48,6,32,0,91,0,33,32,0,106,17,0,6,0,63,17,0,13,32,0,108,17,0,9,32,0,107,17,32,0,13,0,33,32,0,106,21,32,0,10,0,154,27,16,6,32,0,1,0,33,32,0,105,17,0,42,0,1,26,32,1,15,0,34,16,17,0,0,32,0,103,0,33,32,0,105,17,17,0,0,34,0,108,0,15,0,63,17,17,0,0,32,0,107,17,33,0,109,48,6,32,0,74,0,21,33,0,106,50,6,32,0,1,0,44,0,63,26,16,0,33,0,52,32,0,106,27,0,54,32,0,74,0,44,0,72,26,16,0,21,32,0,109,17,27,16,0,1,0,52,0,26,27,16,33,0,110,48,6,32,0,110,0,33,32,0,40,17,0,2,0,52,0,49,0,0,26,0,14,0,63,21,0,10,0,52,0,27,0,52,0,64,27,27,20,27,16,0,49,0,0,26,16,0,27,16,33,0,110,49,0,33,32,0,13,17,33,0,111,48,0,2,16,33,0,112,48,6,32,0,110,0,14,0,72,17,33,0,113,48,0,2,0,69,17,0,1,33,0,110,50,6,32,1,15,0,34,16,0,42,0,1,26,32,1,33,17,0,14,32,0,87,17,0,11,32,0,110,17,32,0,45,16,33,0,114,48,6,32,0,24,0,33,32,0,40,17,34,0,45,16,33,0,115,48,6,32,0,29,0,33,32,0,50,17,0,21,0,63,17,0,42,0,1,26,0,64,17,1,23,16,6,32,0,115,33,0,116,48,6,32,0,48,32,1,38,0,51,0,16,27,33,0,115,50,6,0,63,0,14,32,0,70,17,0,9,32,0,115,17,0,24,0,64,17,32,0,43,0,30,20,32,0,10,0,156,0,157,11,2,0,55,0,11,0,52,34,0,116,0,24,0,64,17,27,0,47,0,10,26,20,27,27,16,6,32,0,115,0,2,0,68,17,0,6,33,0,70,50,6,32,0,70,0,14,0,68,17,0,33,0,52,0,49,0,0,26,27,32,0,100,17,33,0,117,48,6,32,0,117,0,14,0,1,0,18,21,33,0,93,50,6,34,0,117,0,14,0,1,0,18,21,33,0,94,50,6,32,1,33,0,1,32,0,1,17,32,0,8,0,53,0,11,27,0,9,0,15,0,52,0,78,27,21,16,33,0,118,48,6,32,1,33,0,0,32,0,8,17,0,16,32,0,1,17,0,9,34,0,113,0,33,32,0,13,17,17,33,0,119,48,0,30,16,33,0,120,48,6,32,1,16,32,1,25,0,11,0,34,0,0,0,69,21,0,53,0,14,27,21,32,0,1,17,0,10,32,1,17,0,34,16,0,14,32,0,1,17,0,26,16,0,12,32,0,90,17,17,0,10,34,0,119,17,0,10,34,0,118,17,0,11,0,63,0,16,32,0,3,17,0,9,32,0,112,17,0,26,16,0,11,32,0,90,17,0,11,32,0,88,17,17,33,0,121,48,6,32,0,112,0,11,34,0,121,0,10,32,0,89,17,17,32,0,13,32,0,10,0,158,27,16,6,32,0,112,0,33,32,0,105,17,0,11,0,68,0,14,34,0,109,17,0,9,34,0,111,0,33,32,0,105,17,0,13,0,65,17,17,17,32,0,13,0,33,32,0,105,21,32,0,10,0,159,27,16,6,32,0,112,0,12,0,52,0,27,27,16,0,9,32,0,3,0,15,0,63,17,17,0,9,32,0,91,0,11,0,63,17,17,0,11,32,0,88,17,32,0,13,32,0,10,0,160,27,16,6,32,0,112,0,33,32,0,105,17,33,0,122,48,0,12,33,0,107,50,6,32,0,105,0,30,34,0,122,17,33,0,123,48,6,32,0,107,0,42,0,30,26,33,0,105,50,6,32,0,74,0,44,0,64,26,16,0,21,34,0,107,17,0,42,0,30,26,33,0,106,50,6,34,0,16,0,27,16,33,0,124,48,0,30,16,33,0,125,48,6,32,0,87,32,0,8,0,53,0,11,27,0,9,0,15,0,52,0,63,27,21,16,0,11,34,0,89,0,9,32,0,112,17,0,26,16,0,33,32,0,40,17,0,10,34,0,124,17,0,10,34,0,73,17,17,0,30,16,33,0,126,48,6,32,0,110,0,33,32,0,78,17,33,0,127,48,0,11,0,63,17,33,0,128,48,6,0,68,0,68,11,2,32,1,25,34,0,110,0,33,32,0,126,17,33,0,129,48,17,33,0,130,48,6,0,67,0,11,34,0,127,17,0,9,32,0,128,17,32,0,78,32,0,10,0,161,27,16,6,32,0,44,0,33,32,0,126,17,33,0,131,48,6,32,0,87,0,33,32,0,126,17,33,0,132,48,6,32,0,7,0,13,16,0,11,32,0,132,17,0,9,32,0,131,0,14,0,63,17,17,0,9,32,0,130,17,33,0,133,48,6,32,0,7,0,33,32,0,132,0,30,32,0,133,17,17,33,0,134,48,0,14,0,63,17,32,0,126,0,30,32,0,133,21,32,0,10,0,162,27,16,6,32,0,130,0,30,0,52,34,0,133,27,0,54,34,0,134,0,15,0,63,17,27,16,33,0,130,49,6,0,63,0,15,32,0,7,17,0,30,16,33,0,135,48,0,44,0,63,26,16,33,0,136,48,6,32,0,132,0,30,32,0,130,17,33,0,137,48,0,21,32,0,135,17,0,39,32,0,82,0,13,16,0,21,32,0,131,0,30,32,0,130,17,33,0,138,48,17,0,21,32,0,136,17,33,0,139,48,17,33,0,140,48,6,32,0,32,0,33,34,0,50,17,0,42,0,1,26,0,64,17,0,21,32,0,1,0,13,16,17,0,33,32,0,138,17,0,21,34,0,32,0,30,34,0,43,17,0,21,0,59,17,0,33,34,0,131,17,0,0,32,0,129,0,14,0,64,17,17,17,33,0,141,48,6,32,0,141,0,31,16,0,33,0,52,32,0,137,0,21,32,0,132,17,33,0,142,48,0,53,0,33,27,0,31,20,27,16,33,0,143,48,6,32,0,143,0,30,0,52,0,15,0,52,32,0,130,0,13,16,27,27,16,1,24,16,6,32,0,143,0,33,34,0,137,0,44,0,59,26,16,0,21,32,0,130,17,0,33,32,0,143,17,0,49,0,0,26,16,33,0,144,48,0,31,16,17,0,30,0,52,32,0,130,0,13,16,0,53,0,11,27,27,16,33,0,143,49,6,32,0,143,0,42,0,33,26,33,0,130,50,6,32,0,143,0,42,0,33,26,33,0,126,50,6,32,0,143,0,42,0,33,26,33,0,129,50,6,34,0,144,0,11,0,63,17,0,10,0,52,0,27,27,16,0,8,16,0,47,0,0,26,16,33,0,145,48,6,34,0,132,0,33,32,0,143,0,23,32,0,145,17,17,33,0,146,48,6,32,0,7,0,13,16,0,16,32,0,146,17,32,0,126,0,23,32,0,145,21,32,0,10,32,0,146,0,53,0,30,27,0,38,20,32,1,29,0,163,21,27,16,6,32,0,129,0,11,0,63,17,33,0,147,48,0,9,0,69,0,11,34,0,129,17,17,33,0,148,48,6,34,0,31,0,33,32,0,126,17,0,33,0,52,32,0,130,32,1,37,16,0,24,32,0,145,17,27,0,21,34,0,7,0,6,0,63,17,0,1,16,33,0,149,48,0,33,32,0,146,17,21,0,1,0,19,21,16,33,0,150,48,6,32,0,150,0,11,0,63,17,0,9,32,0,148,17,32,0,126,32,0,10,0,164,27,16,6,34,0,148,32,1,39,0,24,0,64,21,0,16,0,30,21,32,0,130,17,33,0,151,48,0,33,34,0,143,0,30,32,0,130,17,0,31,16,33,0,152,48,17,0,21,34,0,136,17,0,39,34,0,139,17,33,0,153,48,6,34,0,138,0,21,34,0,149,17,0,36,0,0,32,0,82,0,53,0,33,27,21,16,0,19,0,24,0,52,0,13,27,34,0,135,21,0,33,0,52,0,31,27,34,0,152,21,0,33,32,0,130,0,24,34,0,145,17,0,49,0,0,26,0,59,17,21,0,21,0,33,0,52,34,0,146,27,21,16,33,0,154,48,6,32,0,150,0,11,0,63,17,32,1,39,0,11,34,0,151,0,21,0,64,17,21,0,33,0,52,0,49,0,0,26,27,0,18,21,32,0,130,17,0,9,32,0,130,0,26,0,64,17,0,11,32,0,147,17,17,33,0,155,48,6,32,0,87,0,33,32,0,78,17,0,0,0,69,17,0,0,32,0,79,0,2,0,69,17,0,33,32,0,44,0,33,32,0,78,17,33,0,156,48,17,17,33,0,157,48,6,34,0,156,0,2,0,72,17,0,0,32,0,157,17,0,28,0,54,0,37,27,16,0,21,33,0,155,50,6,0,64,0,1,32,0,74,17,0,42,0,33,26,32,0,13,17,0,0,0,64,17,32,0,125,32,0,78,0,21,32,0,126,17,11,3,0,30,0,69,0,68,0,69,11,3,17,0,21,16,33,0,158,48,6,34,0,128,0,21,34,0,147,17,0,12,0,2,0,68,21,0,0,0,19,21,34,0,155,17,0,0,0,79,17,33,0,159,48,6,32,0,74,0,44,0,79,26,16,32,0,74,0,44,0,63,26,16,34,0,68,0,30,34,0,71,17,32,0,125,0,44,0,80,26,16,34,0,87,0,33,34,0,125,17,34,0,159,34,0,78,0,44,0,63,26,16,0,21,34,0,150,17,34,0,157,0,21,34,0,154,17,11,8,33,0,160,48,6,32,0,98,0,8,16,0,49,0,0,26,16,32,1,36,0,1,0,19,21,32,0,90,17,0,7,0,10,0,12,21,0,68,17,0,9,32,0,92,17,33,0,161,48,6,34,0,95,0,27,16,0,10,0,64,0,14,32,0,3,17,17,33,0,162,48,0,11,32,0,112,0,11,32,0,90,17,0,10,0,52,0,26,27,16,0,10,32,0,98,17,0,10,34,0,161,17,0,10,32,0,88,17,33,0,163,48,17,0,30,16,33,0,164,48,6,34,0,162,0,10,34,0,163,17,0,12,32,0,92,17,32,0,13,32,0,10,0,165,27,16,6,0,63,0,14,32,0,3,17,0,11,32,0,98,17,0,10,0,63,0,16,32,0,3,17,0,9,34,0,92,17,17,0,8,16,0,2,0,68,17,0,6,34,0,93,17,0,26,0,68,17,0,33,32,0,164,17,33,0,165,48,0,13,0,68,17,33,0,166,48,6,32,1,26,0,11,32,0,1,17,0,11,34,0,88,17,0,30,16,33,0,167,48,0,42,0,33,26,32,0,1,17,33,0,168,48,0,9,16,0,38,16,33,0,169,48,0,27,0,1,0,19,21,0,59,17,0,30,16,0,33,34,0,168,17,33,0,170,48,6,34,0,8,0,0,32,1,33,17,33,0,171,48,0,16,32,0,1,17,0,30,16,33,0,172,48,0,21,34,0,167,17,33,0,173,48,6,32,0,1,0,33,34,0,172,17,0,0,32,0,169,0,13,16,0,42,0,1,26,34,0,171,17,17,0,21,33,0,170,50,6,34,0,40,0,33,34,0,37,17,33,0,174,48,6,0,63,0,21,32,0,102,17,0,49,0,0,26,16,0,30,0,64,0,21,32,0,101,17,17,0,24,0,64,17,0,27,0,53,0,1,27,16,0,0,34,0,90,0,26,0,64,17,0,30,34,0,101,17,0,8,16,17,0,42,0,21,26,34,0,34,17,33,0,175,48,6,0,77,0,14,32,0,3,17,0,27,16,0,10,34,0,102,17,0,10,32,0,94,0,14,0,68,17,17,0,12,34,0,99,17,0,30,16,0,21,34,0,74,0,30,0,52,0,8,27,32,0,75,17,17,33,0,176,48,6,34,0,100,0,30,16,33,0,177,48,6,32,0,166,0,0,32,0,164,17,0,0,0,52,32,0,104,0,53,0,33,27,0,2,32,0,166,21,27,16,33,0,178,48,6,32,0,178,0,30,34,0,94,0,33,32,0,164,17,33,0,179,48,0,14,0,68,17,33,0,180,48,0,2,32,0,166,0,0,0,64,17,17,17,0,21,33,0,176,50,6,32,0,180,0,8,16,33,0,180,49,6,32,0,180,0,42,0,30,26,33,0,164,50,6,32,0,180,0,42,0,30,26,33,0,178,50,6,34,0,75,0,1,16,0,21,32,0,1,0,0,32,0,103,17,0,33,34,0,105,17,0,42,0,1,26,32,1,15,0,34,16,0,0,0,64,17,17,0,6,0,63,17,17,0,0,0,81,17,33,0,181,48,6,32,0,173,32,0,173,32,0,174,32,0,174,32,0,120,32,0,35,0,30,0,68,17,32,0,106,32,0,176,0,64,0,0,32,0,123,17,0,64,0,0,32,0,123,17,34,0,104,0,33,32,0,96,17,0,6,0,64,17,0,0,32,0,96,17,34,0,178,32,0,177,11,13,0,21,16,0,42,0,33,26,32,0,13,17,0,21,34,0,158,17,33,0,182,48,0,31,16,33,0,183,48,6,34,0,173,0,44,0,63,26,16,34,0,170,32,0,174,0,44,0,64,26,16,34,0,174,0,13,16,0,25,16,0,0,0,64,17,34,0,120,0,44,0,82,26,16,34,0,175,0,22,34,0,112,0,33,34,0,35,17,0,0,0,60,17,17,0,29,16,0,20,16,34,0,181,34,0,176,0,44,0,72,26,16,32,0,123,0,44,0,83,26,16,34,0,1,0,33,0,64,0,1,34,0,123,17,17,0,42,0,1,26,32,1,33,17,34,0,3,0,33,32,0,96,17,0,0,0,84,17,34,0,91,0,33,32,0,164,17,0,11,0,63,17,0,2,0,67,17,0,0,34,0,165,0,14,0,64,17,0,6,34,0,179,17,0,2,0,68,17,0,0,34,0,166,17,0,30,34,0,180,17,17,0,0,0,85,17,32,0,114,0,0,0,86,17,33,0,184,48,0,24,0,59,17,11,13,0,21,34,0,160,17,0,21,16,0,33,32,0,183,17,33,0,185,48,6,0,19,0,42,0,33,26,32,0,13,21,0,21,0,13,0,53,0,42,0,24,0,52,0,1,27,26,27,21,33,0,186,48,6,34,0,106,0,42,0,1,26,0,64,17,34,0,96,32,0,164,11,3,0,21,16,32,0,186,32,0,5,0,13,16,0,42,0,1,26,0,64,17,0,5,34,0,182,17,0,28,0,52,0,13,0,50,0,1,27,27,32,0,177,17,17,33,0,187,48,6,32,0,5,32,0,6,11,2,0,44,0,33,0,52,0,28,0,52,32,0,177,0,13,16,27,0,33,32,0,183,21,0,42,0,21,26,0,59,21,27,26,32,0,187,34,0,103,0,10,34,0,98,17,0,8,16,0,27,16,32,1,37,16,0,33,34,0,164,17,34,0,186,34,0,187,17,11,2,17,33,0,188,48,6,32,0,70,0,13,0,64,17,0,9,32,0,79,17,0,10,33,0,49,50,0,30,16,33,0,189,48,0,42,0,33,26,34,0,70,17,33,0,190,48,0,14,0,64,17,0,0,0,64,17,33,0,191,48,0,30,16,33,0,192,48,6,34,0,190,0,11,0,64,17,0,0,34,0,72,0,33,32,0,189,17,0,2,0,68,17,17,0,5,0,67,17,33,0,193,48,6,32,0,48,0,33,32,0,189,17,33,0,194,48,0,49,0,0,26,0,59,17,33,0,195,48,6,32,0,193,0,0,34,0,191,17,0,33,0,52,0,32,0,50,0,33,0,52,32,0,195,0,53,0,33,27,0,31,20,0,30,34,0,194,21,27,27,27,16,0,6,0,68,17,33,0,196,48,6,32,0,189,0,33,32,0,192,17,0,39,32,0,196,0,49,0,0,26,16,0,21,0,63,17,0,24,0,33,34,0,195,21,0,0,34,0,193,21,0,33,0,0,0,18,0,50,0,36,27,21,34,0,192,21,0,42,0,21,26,0,23,21,0,59,17,17,0,39,0,52,0,30,27,34,0,196,17,33,0,189,49,6,34,0,80,0,30,32,0,48,17,34,0,79,0,8,16,0,30,32,0,48,17,32,0,48,0,30,16,0,30,0,52,34,0,49,0,30,34,0,48,17,27,0,54,34,0,189,27,16,11,3,33,0,197,48,6,34,0,177,0,13,0,51,0,1,27,32,0,185,17,0,16,34,0,183,17,0,21,0,64,17,0,30,16,32,0,140,0,44,0,13,26,16,0,0,34,0,82,17,34,0,140,34,0,153,11,4,33,0,198,48,6,34,0,184,0,34,0,59,17,0,21,34,0,185,17,34,0,169,34,0,197,34,0,198,34,0,188,11,5,7,11,0,0,44,0,166,0,50,0,40,27,26,11,0,0,63,0,25,16,11,4,33,0,3,48,6,34,0,2,0,13,0,11,0,67,21,0,57,0,11,0,51,0,22,27,27,16,0,41,34,0,3,26,0,24,0,13,21,0,53,0,21,27,16,33,0,4,33,0,5,33,0,6,33,0,7,12,4,48,6,34,0,1,32,1,40,34,0,5,32,0,6,11,2,17,33,0,8,48,33,0,9,33,0,10,33,0,11,33,0,12,33,0,13,12,5,48,6,34,0,9,32,1,42,34,0,10,32,0,11,0,34,16,34,0,12,34,0,13,34,0,6,0,44,0,63,26,16,0,27,34,0,7,17,11,5,17,33,0,14,33,0,15,33,0,16,33,0,17,33,0,18,12,5,48,6,34,0,14,34,0,11,0,24,0,64,17,0,21,34,0,4,0,33,34,0,15,17,11,1,17,0,21,16,34,0,16,0,12,16,0,29,16,0,43,0,11,26,16,34,0,17,0,12,16,0,29,16,0,43,0,11,26,16,34,0,18,34,0,8,11,6,7,34,0,1,34,0,2,16,7,32,0,1,0,33,0,52,32,0,2,0,30,34,0,1,19,27,0,54,0,44,0,64,26,27,16,32,1,13,34,0,2,0,42,0,33,26,18,17,7,34,0,1,0,30,16,0,34,16,0,111,11,2,0,40,16,7,34,0,1,0,21,0,63,17,0,33,0,52,0,49,0,0,26,27,32,1,31,17,0,9,32,1,32,17,0,30,16,0,112,11,2,0,40,16,7,32,1,26,0,30,34,0,1,17,0,113,11,2,0,40,16,7,32,1,26,0,30,34,0,1,17,0,114,11,2,0,40,16,7,34,0,2,0,30,34,0,1,19,0,42,0,33,26,32,1,26,19,0,115,11,2,0,40,16,7,32,0,2,0,42,0,30,26,33,1,26,50,6,32,0,2,0,42,0,30,26,33,1,25,50,6,34,0,1,0,30,34,0,2,17,7,0,47,0,10,26,0,57,34,0,1,0,11,0,51,0,22,27,34,0,2,0,53,0,30,27,21,0,40,20,27,7,0,63,0,28,0,53,0,45,0,14,26,27,0,48,1,25,26,0,19,0,50,0,44,0,63,26,27,21,0,34,0,59,21,11,2,0,55,0,13,0,11,0,63,21,0,51,0,9,27,27,33,0,3,48,6,1,26,33,0,4,48,6,0,63,32,0,4,0,125,27,0,42,0,64,34,0,4,0,126,27,26,11,2,0,55,0,13,0,51,0,12,27,27,33,0,5,48,6,34,0,1,34,0,5,0,127,11,2,0,55,0,13,0,51,0,5,27,0,11,34,0,3,21,27,34,0,2,19,0,40,16,7,0,14,0,57,0,47,0,10,26,27,0,57,34,0,1,0,11,0,51,0,22,27,34,0,2,0,53,0,30,27,0,42,0,64,0,56,0,33,27,26,0,41,32,1,6,26,0,22,32,1,5,21,21,0,29,0,50,0,9,27,20,21,0,40,20,27,7,32,1,15,0,21,0,63,17,0,30,32,0,1,17,0,13,32,2,16,0,34,16,0,0,0,67,17,17,32,1,13,0,21,0,63,21,0,30,34,0,1,21,32,1,10,0,131,27,16,7,34,0,1,0,6,33,1,24,50,0,14,0,68,17,32,1,25,32,1,10,34,0,4,27,16,7,32,2,27,32,2,25,34,0,1,17,0,9,32,1,44,0,14,0,63,17,17,7,32,1,5,0,33,0,52,32,0,1,27,0,54,32,1,5,0,33,32,0,2,19,27,16,33,1,5,49,6,32,1,6,0,33,0,52,34,0,2,27,0,54,32,1,6,0,33,34,0,1,17,27,16,33,1,6,49,7,32,1,23,0,33,32,0,1,17,0,2,0,52,0,8,27,32,1,114,17,0,6,33,1,115,50,0,14,0,68,17,32,1,29,0,50,0,31,27,0,33,34,0,1,21,32,1,10,0,155,27,16,7,32,1,141,0,33,0,52,32,0,1,27,0,13,0,52,0,27,27,20,0,51,0,10,27,32,1,142,17,0,8,16,32,1,126,0,30,0,52,32,1,130,27,0,53,0,21,27,20,0,33,34,0,1,21,32,1,10,0,162,27,16,7,32,0,1,0,27,16,0,0,34,0,2,19,0,49,0,6,26,16,0,6,34,0,1,17,7,0,36,0,14,0,18,0,50,0,13,27,21,0,42,0,30,26,0,19,21,0,0,34,0,2,21,0,42,0,33,26,32,3,8,21,0,21,0,105,21,0,21,34,0,1,21,0,21,0,124,21,7]
,[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,11,26,9,0,1,5,8,4,2,3,-3,-2,6,17,Math.PI,Infinity,-4,-5,-6,32,64,48,43,66,24,16,7,'\0','0','#','\'','\"','@',str("⋄,"),str(":;"),str("⇐←↩"),str("(){}⟨⟩"),str("‿"),str("·"),str("𝕊𝕏𝕎𝔽𝔾𝕤𝕩𝕨𝕣𝕗𝕘"),str(".¯π∞"),str("_"),str("aA"),str("•"),str("𝕨"),str(" "),str("#\'\"@"),str("s"),str("Unknown character"),str(": "),str("˜⁼"),str("Unclosed quote"),str("Words can\'t only have underscores"),str("System dot with no name"),str("𝕣 can\'t be used with other word characters"),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("Dot must be followed by a name"),str("Can\'t strand Nothing (·)"),str("Punctuation : and ; not allowed outside blocks"),str("Header-less bodies must come last"),str("At most two header-less bodies allowed"),str("Invalid Undo header syntax"),str("Only one header per body allowed"),str("Missing operand in header"),str("Invalid header structure"),str("Incorrect special name"),str("Header left argument without right"),str("Header operation must be a plain name"),str("Invalid special names for block header"),str("Special name outside of any block"),str("Only blocks with explicit arguments can have multiple bodies"),str("Block bodies must be of the same kind"),str("Dot must be preceded by a subject"),str("Nothing (·) cannot be assigned"),str("Missing operand"),str("Can\'t use Nothing (·) in lists"),str("Double subjects (missing ‿?)"),str("Role of the two sides in assignment must match"),str("Can\'t return Nothing (·)"),str("Invalid use of 𝕨 in monadic case"),str("Unreachable body"),str("Assignment target must be a name or list of targets"),str("Can\'t nest assignments (write aliases with ⇐)"),str("Can\'t use result of function/modifier assignment without parentheses"),str("Can\'t define special name"),str("Redefinition"),str("Undefined identifier"),str("Can\'t export from surrounding scope"),str("Second-level parts of a train must be functions"),str("System values not supported")]
,[[0,1,0],[0,0,1],[1,0,2],[1,1,3],[0,0,[[],[4]]],[0,0,[[],[5]]],[0,0,[[],[6]]],[0,0,[[],[7]]],[0,0,[[],[8]]],[0,0,[[],[9]]],[0,0,10],[0,0,11],[0,0,12],[0,0,13],[0,0,[[],[14]]],[0,0,[[],[15]]],[2,1,16],[0,0,17],[2,1,18],[0,0,19],[1,0,20],[0,0,21],[0,0,[[],[22]]],[0,0,23],[0,0,24],[0,0,25],[2,1,26]]
,[[0,0],[3,44],[598,5],[617,5],[736,57],[2942,23],[3767,199],[11738,19],[11981,3],[11989,3],[12029,3],[12046,3],[12085,3],[12102,3],[12119,3],[12145,3],[12181,3],[12212,6],[12344,3],[12411,3],[12461,5],[12487,3],[12509,3],[12567,3],[12620,3],[12682,3],[12707,3]]
);
let compgen = sys => {
let gl = sys.glyphs, rt = sys.runtime;
let comp = compgen_raw(list(gl));
return sys.comps = sysargs => {
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(sysargs):v)(r);
}
let rts = list([rt, system].concat(sysargs.addrt||[]));
return src => {
let s=str(src), c;
try { c=comp(s,rts); } catch(e) { if (typeof e.message!=="string") e.message.src=s; throw e; }
c.push(s); return c;
}
}
}
let sysargs = {runtime, glyphs:glyphs.map(str)};
let compile = compgen(sysargs)(sysargs);
let bqn = src => run(...compile(src));
runtime[42] = rtAssert;
// Formatter
let fmtnum = x => str(x==Infinity ? "∞" : x==-Infinity ? "¯∞"
: (""+x).replace(/-/g,"¯").replace(/\+/g,""));
let placeholder = ["array","function","1-modifier","2-modifier"].map(s => str("*"+s+"*"));
let repop = x => x.ns ? str("{"+listkeys(x).map(s=>s.join("")).join("‿")+"⇐}")
: gl[x.prim] || placeholder[type(x)-2];
let [fmt1,repr] = run(
[1,1,7,34,0,1,33,0,3,33,0,4,33,0,5,33,0,6,12,4,48,6,0,67,0,15,0,18,0,18,21,0,40,0,68,27,11,2,0,43,0,10,0,40,0,58,27,27,32,0,6,11,2,0,43,0,58,0,41,0,8,27,27,33,0,7,48,6,1,2,33,0,8,48,6,0,11,0,8,0,50,21,0,45,1,3,27,33,0,9,48,6,1,4,33,0,10,48,6,1,5,33,0,11,48,6,1,6,1,7,11,2,0,43,1,8,0,49,11,2,0,43,0,10,0,41,0,10,0,40,0,49,27,0,39,0,7,27,27,27,27,33,0,12,48,6,0,77,0,19,0,76,17,1,9,1,10,11,2,0,43,0,10,0,11,0,46,21,0,7,0,11,0,10,0,50,21,21,27,11,2,0,43,0,14,0,14,0,46,0,46,11,2,21,27,33,0,13,48,6,1,11,33,0,14,48,6,1,12,33,0,15,48,6,1,13,1,14,1,15,11,3,0,43,0,30,0,58,26,0,8,0,17,21,0,38,0,35,0,0,26,0,12,0,0,0,8,0,40,0,46,27,21,0,10,21,27,27,33,0,16,48,6,32,0,7,0,19,20,34,0,16,32,0,15,11,2,0,43,0,34,32,0,3,26,0,12,0,55,21,0,17,0,38,0,35,0,7,26,27,20,27,32,0,15,11,3,0,43,0,13,0,3,0,50,21,27,33,0,17,48,6,1,16,33,0,18,48,6,0,85,33,0,19,48,6,0,16,0,38,0,28,27,32,0,5,20,32,0,19,11,2,0,43,0,50,0,41,0,11,27,27,32,0,18,32,0,17,0,38,34,0,19,0,27,11,2,0,43,0,10,0,11,0,49,21,27,27,27,0,28,0,49,21,0,19,20,33,0,20,48,6,0,16,0,16,34,0,17,20,34,0,20,11,2,0,43,0,15,0,12,0,55,21,27,32,0,3,21,33,0,21,48,6,1,17,33,0,22,48,6,0,69,0,16,0,15,0,18,0,16,0,26,0,11,0,0,0,49,21,21,21,0,18,0,15,21,0,66,21,0,33,32,0,7,0,18,0,78,21,26,0,18,20,0,21,0,49,21,0,33,32,0,22,0,18,0,86,21,26,0,18,20,0,23,0,71,21,0,18,0,70,21,11,3,0,43,0,34,32,0,3,26,0,31,0,27,26,0,50,0,17,0,56,17,0,24,0,50,0,49,0,46,11,3,17,21,0,35,0,4,26,20,27,11,2,0,43,0,10,0,8,0,46,21,27,33,0,23,48,6,0,28,0,38,32,0,22,27,0,18,0,87,21,32,0,23,0,17,34,0,23,0,39,0,18,0,40,0,88,0,41,0,18,27,27,27,0,14,21,11,3,0,43,0,11,0,3,0,50,21,27,33,0,24,48,6,34,0,7,34,0,24,11,2,0,43,32,0,3,0,11,0,46,21,27,33,0,25,48,6,0,30,0,46,26,0,29,0,89,21,34,0,18,34,0,22,27,0,28,0,49,21,33,0,26,48,6,0,16,0,16,34,0,25,20,34,0,26,11,2,0,43,0,15,0,12,0,55,21,27,32,0,3,21,33,0,27,48,6,32,0,21,0,38,0,32,0,57,0,0,0,58,17,0,41,0,18,27,26,27,0,17,20,0,21,0,47,21,32,0,27,11,2,7,0,49,0,33,0,20,26,34,0,1,0,1,16,17,0,25,0,42,0,37,0,31,0,34,0,2,26,26,26,27,16,0,35,0,47,0,48,11,2,0,44,0,0,27,26,34,0,2,19,0,17,16,0,28,0,40,0,47,27,0,42,0,46,27,16,7,32,0,1,0,14,16,0,21,0,47,17,33,0,3,48,0,4,0,49,17,32,1,8,16,33,0,4,48,6,1,18,33,0,5,48,6,32,0,1,0,17,34,0,1,0,14,16,0,20,0,47,17,0,18,34,0,3,0,35,0,2,26,16,17,17,0,20,0,40,0,35,0,0,26,27,34,0,5,11,2,0,43,0,16,0,38,0,10,27,0,8,0,46,21,27,34,0,4,17,7,32,0,1,0,17,16,0,33,0,30,0,59,26,0,17,0,14,0,28,0,47,21,0,41,0,19,27,21,0,18,0,16,21,26,34,0,1,0,14,16,32,1,8,0,49,17,17,0,18,16,7,0,59,0,17,32,0,1,0,10,16,34,0,2,11,2,17,33,0,3,48,6,32,0,3,34,0,1,34,0,3,11,3,0,19,16,0,18,16,7,0,71,0,18,34,0,1,0,27,16,0,21,0,49,17,0,21,0,47,17,17,0,18,0,70,17,0,19,16,7,32,0,1,0,14,16,0,28,0,47,17,33,0,3,48,6,0,72,32,0,2,0,16,0,3,0,49,21,0,31,0,27,26,0,73,21,0,17,20,32,1,6,11,2,0,43,0,8,0,40,0,51,27,27,18,11,2,0,18,16,0,20,32,0,3,17,0,19,16,34,0,1,0,28,0,42,0,74,0,28,0,49,0,1,34,0,2,19,0,3,0,52,17,0,4,0,46,17,17,27,16,0,75,0,20,0,40,0,1,27,34,0,3,17,0,19,16,11,3,0,18,16,7,34,0,1,0,27,16,0,34,0,11,26,0,69,17,0,36,0,1,26,16,0,37,0,0,26,16,0,11,0,50,17,0,35,0,7,26,16,7,34,0,1,0,33,0,59,26,16,32,1,11,0,49,17,32,1,12,0,50,17,0,28,0,40,0,46,0,47,11,2,27,0,42,0,60,27,16,7,34,0,1,0,14,16,0,69,0,33,32,1,6,26,0,33,0,18,0,40,0,78,27,26,20,0,18,20,0,28,0,42,0,61,27,20,11,2,0,43,0,10,0,8,0,49,21,27,16,0,19,16,7,32,0,1,0,33,0,14,26,16,33,0,3,48,6,32,0,3,0,33,0,28,26,0,49,17,0,17,0,30,0,49,26,0,1,0,11,21,0,45,0,36,0,4,26,27,11,2,0,43,0,11,0,8,0,46,21,27,16,33,0,4,48,6,34,0,3,0,33,0,28,26,16,0,11,0,8,0,46,21,0,45,0,49,0,44,0,36,0,4,26,27,27,16,33,0,5,48,6,34,0,1,0,33,0,20,26,0,49,0,20,32,0,4,0,10,16,0,2,32,0,2,19,0,1,16,17,0,6,34,0,4,17,0,2,34,0,2,19,0,34,0,19,26,32,0,5,17,17,0,11,0,1,0,50,21,0,4,0,46,21,0,45,0,19,27,16,0,50,0,44,0,18,0,38,0,8,27,27,16,33,0,6,48,6,34,0,6,32,1,10,0,9,0,38,32,1,9,27,11,2,0,43,34,0,5,0,17,16,0,13,0,40,0,25,0,40,0,49,27,27,16,27,16,32,1,11,0,50,17,7,32,0,1,0,33,32,1,21,26,16,32,1,14,0,49,0,15,34,0,2,19,17,32,1,12,34,0,1,0,11,16,17,7,32,0,1,0,11,16,33,0,3,48,6,0,79,0,16,0,42,32,0,1,27,16,0,21,0,46,17,33,0,1,49,6,32,0,1,0,14,16,0,21,0,47,17,33,0,4,48,0,10,16,0,1,16,0,11,0,40,0,46,27,0,45,0,48,27,16,33,0,5,48,6,32,0,3,0,8,0,46,17,0,31,0,28,26,0,80,17,33,0,6,48,6,1,19,33,0,7,48,6,32,0,1,0,26,0,40,0,16,0,11,32,0,6,21,0,0,0,49,21,27,34,0,7,11,2,0,43,32,0,3,0,10,0,49,17,27,16,33,0,1,49,6,32,0,6,0,20,0,40,0,1,27,32,0,4,17,32,0,5,0,44,0,18,27,34,0,1,17,34,0,5,0,44,0,18,27,0,64,0,20,32,0,4,0,18,0,49,17,0,28,0,47,17,17,0,17,34,0,4,17,0,28,0,42,34,0,6,27,16,17,0,19,16,32,0,3,0,10,0,49,17,0,45,32,1,9,32,1,11,0,49,21,32,1,12,34,0,3,21,27,16,7,34,0,1,32,1,15,32,1,13,11,2,0,43,0,14,0,11,0,46,21,0,35,0,7,26,20,27,16,7,34,0,1,32,1,15,0,47,17,7,0,16,0,16,34,0,4,20,0,8,0,39,0,19,27,0,46,21,34,0,0,11,2,0,43,0,15,0,12,0,55,21,27,32,1,3,21,33,0,6,48,6,32,0,1,32,1,4,16,33,0,7,48,0,28,16,33,0,8,48,6,0,65,0,1,0,81,17,0,28,32,0,8,17,33,0,9,48,6,0,83,0,41,0,18,27,0,18,0,82,21,33,0,10,48,6,0,16,0,33,34,0,6,0,41,0,28,0,40,0,49,27,0,15,0,12,32,0,9,0,3,0,50,17,21,0,45,0,16,0,38,34,0,10,27,27,0,28,0,41,0,0,27,21,27,26,0,10,0,38,0,22,27,0,11,0,46,21,0,1,20,0,49,0,9,32,0,9,17,0,45,0,25,27,20,21,0,18,20,33,0,11,48,6,32,0,7,0,21,0,49,17,0,30,34,0,1,26,32,1,5,0,38,0,17,27,20,0,16,34,0,5,34,0,2,23,34,0,11,11,3,0,43,34,0,8,0,5,16,0,3,0,50,17,27,16,33,0,12,48,6,32,0,12,32,0,9,0,12,0,50,17,0,45,0,30,34,0,7,26,0,28,0,47,21,32,1,3,20,0,9,0,55,21,0,45,0,84,0,41,0,18,27,27,27,16,33,0,12,49,6,34,0,9,34,0,12,11,2,7,34,0,1,32,1,27,16,7,34,0,1,0,18,0,40,0,27,0,38,0,33,0,59,26,27,27,16,0,27,34,0,2,0,0,0,49,19,0,18,0,46,19,0,26,18,0,2,0,40,0,8,0,40,0,24,27,27,18,19,7,0,54,0,0,0,58,17,0,8,32,0,1,17,0,2,0,58,0,1,0,63,17,17,0,0,0,53,0,0,0,58,17,0,16,0,1,0,62,21,0,2,0,11,21,32,0,1,17,17,0,0,34,0,1,17,7]
,[runtime[0],runtime[1],runtime[2],runtime[6],runtime[7],runtime[8],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[28],runtime[29],runtime[30],runtime[32],runtime[35],runtime[36],runtime[42],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,7,10,'\0',' ','┐','↕','␡','␀','·','0','\"',str("@"),str("\'"),str("⟨⟩"),str("⟨"),str("⟩"),str("┌"),str("·─"),str("·╵╎┆┊"),str("┘"),str("┌┐"),str("└┘"),str("‿"),str(""),str("\'\""),str("00321111"),str("("),str(")"),str("{𝔽}"),str("*array*"),str(","),str("<"),str("⥊"),str("Can\'t represent block")]
,[[0,1,0],[0,0,1],[0,0,2],[0,0,3],[0,0,4],[0,0,[[],[5]]],[0,0,6],[0,0,[[],[7]]],[0,0,8],[0,0,9],[0,0,10],[0,0,11],[0,0,12],[0,0,13],[0,0,14],[0,0,15],[2,0,16],[0,0,17],[0,0,18],[0,0,19]]
,[[0,0],[3,28],[745,3],[811,6],[911,3],[962,4],[1001,3],[1031,4],[1154,3],[1192,3],[1231,3],[1284,7],[1514,3],[1547,8],[1789,3],[1818,3],[1828,13],[2128,3],[2136,3],[2188,3]]
)(list([type, decompose, repop, fmtnum]));
let fmt = x => unstr(fmt1(x));
let fmtErr = e => {
let r=e.kind, w=e.message, loc=[];
while (w&&w.loc||(r!=='!'&&w.sh&&w.sh[0]===2)) {
let s=w.src, 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 (k<n&&(cl=is[k]-o)<m.length) k++;
let ol=k<n; if (pair) { if (k%2) cl=m.length; else { k--; cl++; } }
let c=Array(cl).fill(0); c[j]=1;
for (let h=1;h<k;h++) c[is[h]-o+(pair?h%2:0)]=1;
if (pair) for (let h=1;h<cl;h++) c[h]^=c[h-1];
let add = ['',m.join(''),c.map(t=>t?'^':' ').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 dynsys = f => { f.dynamic=1; return f; }
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 update_state = (st,w)=>w; // Modified by Node version to handle •state
let push_state = st => st;
let copy_state = st_old => {
let st={...st_old}; st.addrt=[]; push_state(st); return st;
}
let makebqn = (proc,fn) => st => (x,w) => {
let src = proc(x,w,update_state,st);
return fn(st.comps(st)(src));
}
let makebqnfn = (e,fn) => makebqn((x,w,u,s)=>req1str(e,x,u(s,w)), fn);
let dynsys_copy = fn => dynsys(st => fn(copy_state(st)));
let rebqn = dynsys_copy(state => (x,w) => {
let req = (r,s) => { if (!r) throw Error("•ReBQN: "+s) };
req(!has(w), "𝕨 not allowed");
req(x.ns, "𝕩 must be a namespace");
let rev = getrev(x.ns.names);
let [repl,primitives] = ["repl","primitives"]
.map(s=>(i=>has(i)?x[x.ns[i]]:i)(rev[s]));
if (has(primitives)) { addprimitives(state, primitives); }
let cmp = makebqnfn("•ReBQN evaluation", r=>r)(state);
repl = has(repl) ? ["none","loose","strict"].indexOf(unstr(repl)) : 0;
req(repl>=0, "invalid value for 𝕩.repl");
return repl ? rerepl(repl,cmp,state) : ((x,w) => run(...cmp(x,w)));
});
let addprimitives = (state, p) => {
let req = (r,s) => { if (!r) throw Error("•ReBQN 𝕩.primitives: "+s) };
req(p.sh && p.sh.length===1, "Must be a list");
req(p.every(e=>e.sh&&e.sh.length===1&&e.sh[0]===2), "Must consist of glyph-primitive pairs");
let pr=glyphs.map(_=>[]), l=0, rt=pr.map(_=>[]);
p.forEach(([gl,val])=>{
req(typeof gl==="string", "Glyphs must be characters");
req(isfunc(val), "Primitives must be operations");
let k=val.m||0;
pr[k].push(gl); rt[k].push(val);
});
state.glyphs = pr.map(str);
state.runtime = list([].concat(...rt));
compgen(state);
}
let rerepl = (repl, cmp, state) => {
let rd = repl>1 ? 0 : -1;
let vars = [], names = [], redef = [];
state.addrt = [names,redef];
return (x,w) => {
names.sh=redef.sh=[names.length];
let c = cmp(x,w);
let pnames = c[5][2][0];
let newv = c[3][0][2].slice(vars.length);
names.push(...newv.map(i=>pnames[i]));
redef.push(...newv.map(i=>rd));
vars .push(...newv.map(i=>null));
c.push(vars);
return run(...c);
}
}
let primitives = dynsys(state => {
let gl=[].concat(...state.glyphs), rt=state.runtime;
return list(gl.map((g,i) => list([g,rt[i]])));
});
let trig = "cos cosh sin sinh tan tanh".split(" ");
let mathns = obj2ns(Math,
trig.concat(trig.map(n=>"a"+n),"LN10 LN2 LOG10E LOG2E cbrt expm1 hypot log10 log1p log2 round trunc atan2".split(" ")),
f=>typeof f==="function"?runtime[60](f,0):f
);
trig.map((_,i)=>{let f=mathns[i],g=mathns[i+trig.length]; f.inverse=g; g.inverse=f;});
let rand = (() => {
let reqnat = (e,x) => {
if (!isnum(x) || x<0 || x!=Math.floor(x)) throw Error("•rand."+e+" must be a natural number");
};
let randnat = n => Math.floor(n*Math.random());
let range = (x,w) => {
reqnat("Range: 𝕩", x);
let r = x ? (()=>randnat(x)) : Math.random;
return has(w) ? list(Array(w).fill().map(r)) : r();
};
let iota = x => Array(x).fill().map((_,i)=>i);
let deal_err = e => (x,w) => {
reqnat(e+": 𝕩", x);
if (!has(w)) w=x; else {
reqnat(e+": 𝕨", w); if (w>x) throw Error("•rand."+e+": 𝕨 must be less than or equal to 𝕩");
}
let r = iota(x);
for (let i=0; i<w; i++) {
let j = i + randnat(x-i);
let t=r[i]; r[i]=r[j]; r[j]=t;
}
r.length = w; return list(r);
};
let deal = deal_err("Deal");
let subset = (x,w) => {
reqnat("Subset: 𝕩", x);
if (!has(w)) return list(iota(x).filter(_=>Math.random()<0.5));
return deal_err("Subset")(x,w).sort();
};
return makens(["range", "deal", "subset"], [range, deal, subset]);
})();
let sysvals = {
bqn:dynsys_copy(makebqnfn("•BQN",r=>run(...r))), rebqn, primitives,
type, glyph, decompose, fmt:fmt1, repr, unixtime, listkeys,
js:dojs, math:mathns, rand,
listsys: dynsys(_ => list(Object.keys(sysvals).sort().map(str)))
};
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<n;i++) f(x); })/n;
}
timed.m=1;
return timed;
}
if (typeof process!=='undefined') {
let sec = t => 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.sysargs=sysargs; bqn.sysvals=sysvals;
bqn.makebqn=fn=>makebqn(fn,r=>run(...r));
bqn.makerepl=(st,repl)=>rerepl(repl, makebqn(x=>x,r=>r)(st), st);
bqn.util={has,list,str,unstr,dynsys,req1str,makens};
bqn.setexec = (u,p) => { update_state=u; push_state=p; }
module.exports=bqn;
}
|