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
649
650
651
652
653
654
655
656
657
658
659
|
"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 42: { let p=rG(); r+="if(1!=="+p+"){if(0!=="+p+")throw Error('Predicate value must be 0 or 1');break;}"; 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 51: { let i=rG(),f=rG() ; r+=rP("set(0,"+i+",call("+f+ ",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);\nthrow Error('No matching case');\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)";
if (imm) c = "const e1=[...e2];"+cases[0];
else 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===0?0: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===0?0: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[43];
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)=>list(has(w)?[w,x]:[x]) // ⋈
,(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,97,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,46,21,33,0,4,48,6,0,0,0,13,0,47,21,33,0,5,48,6,0,46,0,12,0,42,0,11,27,11,2,0,44,0,0,0,12,0,47,21,27,33,0,6,48,6,0,46,0,12,0,42,0,11,0,40,0,19,27,27,11,2,0,44,0,0,0,12,0,47,21,27,33,0,7,48,6,32,0,5,0,45,0,20,27,33,0,8,48,6,0,31,32,0,5,26,0,36,0,8,26,0,47,21,33,0,9,48,6,1,4,0,15,11,2,0,44,32,0,4,27,33,0,10,48,6,0,14,0,43,0,29,27,33,0,11,48,6,0,35,0,12,26,0,36,0,8,26,0,47,21,33,0,12,48,6,0,4,0,42,0,31,0,47,26,27,33,0,13,48,6,1,5,33,0,14,48,6,1,6,33,0,15,48,6,1,7,33,0,16,48,6,32,0,16,0,56,26,33,0,17,48,6,0,46,0,16,0,42,0,33,0,47,26,0,7,0,22,21,27,34,0,16,0,57,26,20,11,2,0,44,0,16,0,42,0,46,27,0,12,0,48,21,27,33,0,18,48,6,1,8,33,0,19,48,6,1,9,33,0,20,48,6,0,58,0,46,0,59,0,46,0,60,0,47,0,61,0,47,0,62,0,47,0,63,0,47,0,64,0,50,0,65,0,51,0,66,0,46,0,67,0,47,0,68,0,46,0,69,0,47,0,70,0,46,0,71,0,47,11,28,32,0,20,0,98,0,40,0,5,27,27,1,10,20,33,0,21,48,6,1,11,33,0,22,48,6,1,12,33,0,23,48,6,1,13,33,0,24,48,6,0,13,0,13,0,24,0,34,0,12,26,20,0,13,0,50,0,43,0,13,27,21,21,33,0,25,48,6,32,0,25,0,7,0,34,32,0,25,26,21,33,0,26,48,6,0,47,0,15,0,16,0,46,21,0,43,0,13,0,8,0,49,21,0,7,0,47,21,1,14,11,2,0,44,0,24,0,40,32,0,4,27,27,27,11,2,0,44,0,24,0,40,0,14,27,0,36,0,8,26,0,47,21,0,20,0,46,21,27,33,0,27,48,6,1,15,33,0,28,48,6,1,16,33,0,29,48,6,32,0,26,32,0,27,0,34,32,0,27,26,0,7,20,11,2,0,44,0,25,0,40,32,0,4,27,27,1,17,11,3,0,44,32,0,4,0,41,0,6,27,27,33,0,30,48,6,1,18,33,0,31,48,6,32,0,31,0,46,26,33,0,32,48,6,34,0,31,0,47,26,33,0,33,48,6,1,19,33,0,34,48,6,1,20,33,0,35,48,6,32,0,8,0,41,1,21,27,33,0,36,48,6,1,22,33,0,37,48,6,0,30,0,42,32,0,37,27,33,0,38,48,6,1,23,33,0,39,48,6,1,24,33,0,40,48,6,32,0,35,0,24,0,32,0,6,26,0,52,21,0,34,0,30,26,0,34,32,0,38,0,40,32,0,32,0,40,32,0,13,27,27,26,21,26,33,0,41,48,6,32,0,35,0,35,0,8,26,0,32,0,18,26,20,0,35,0,7,26,0,25,21,0,42,0,22,0,40,0,17,27,27,26,33,0,42,48,6,32,0,8,0,24,0,37,1,25,27,11,2,0,44,0,12,0,20,0,46,21,27,33,0,43,48,6,1,26,0,45,0,24,0,37,1,27,27,27,33,0,44,48,6,1,28,33,0,45,48,6,1,29,33,0,46,48,6,32,0,6,0,5,0,114,21,0,115,11,2,0,12,0,42,0,11,27,0,5,0,116,21,0,117,11,2,11,2,0,31,1,30,26,16,33,0,47,33,0,48,12,2,48,6,1,31,33,0,49,48,6,32,0,8,0,43,1,32,27,33,0,50,48,6,1,33,34,0,50,11,2,0,44,0,25,0,40,0,15,27,32,0,9,20,27,33,0,51,48,6,34,0,49,32,0,51,11,2,0,44,0,25,0,40,32,0,4,27,27,33,0,52,48,6,1,34,33,0,53,48,6,1,35,33,0,54,48,6,32,0,8,0,41,32,0,53,0,129,0,15,0,31,0,0,0,12,0,47,21,26,20,0,36,0,8,26,0,47,21,0,47,0,46,0,24,0,30,1,36,21,1,37,11,6,26,27,33,0,55,48,6,0,24,0,15,0,130,0,40,0,5,27,0,16,0,42,0,46,27,11,2,0,44,0,22,0,20,0,46,21,27,20,11,2,0,44,32,0,4,27,33,0,56,48,6,1,38,33,0,57,48,6,1,39,33,0,58,48,6,0,28,0,26,0,29,21,33,0,59,48,6,0,24,0,30,0,22,0,17,20,0,43,32,0,59,27,21,32,0,59,11,2,0,44,0,24,0,40,0,12,27,0,12,0,47,21,27,33,0,60,48,6,0,24,0,37,32,0,8,0,43,32,0,53,0,134,34,0,5,0,46,0,46,0,24,0,40,0,22,27,0,20,0,46,21,0,45,0,24,34,0,60,0,22,0,43,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,40,1,41,1,42,11,3,0,44,0,25,0,40,0,12,27,0,11,0,49,21,27,33,0,62,48,6,0,24,0,37,32,0,8,0,41,34,0,53,0,138,0,15,0,40,0,31,0,0,0,12,0,47,21,26,0,36,0,8,26,0,22,0,20,0,46,21,21,27,0,47,0,47,0,24,0,30,0,22,0,43,32,0,62,27,21,34,0,62,11,6,26,27,27,33,0,63,48,6,1,43,33,0,64,48,6,0,24,1,44,11,2,0,31,1,45,26,0,26,0,24,21,16,0,31,1,46,26,16,33,0,65,48,6,1,47,0,42,34,0,65,0,30,0,47,0,47,0,49,0,53,0,46,11,5,17,32,0,15,0,139,27,27,33,0,66,48,6,1,48,33,0,67,48,6,1,49,33,0,68,48,6,1,50,33,0,69,48,6,1,51,33,0,70,48,6,0,46,0,12,0,42,0,33,32,0,70,26,27,11,2,0,44,0,0,0,12,0,53,21,27,33,0,71,48,6,0,24,32,0,4,20,0,12,0,41,0,12,27,0,14,0,41,32,0,12,27,11,3,0,36,1,52,26,16,33,0,72,48,6,1,53,33,0,73,48,6,32,0,4,0,41,0,12,27,0,46,11,2,0,24,0,40,32,0,4,27,0,12,11,2,0,12,0,41,0,12,27,0,46,11,2,0,14,0,41,32,0,12,27,0,46,11,2,1,54,11,5,0,36,1,55,26,16,33,0,74,48,6,0,46,1,56,11,2,0,44,32,0,4,27,33,0,75,48,6,32,0,74,0,38,32,0,75,27,33,0,76,48,6,32,0,74,0,7,0,47,21,0,38,0,46,0,17,16,0,14,11,2,0,44,32,0,4,27,27,33,0,77,48,6,32,0,76,0,40,0,5,27,0,25,0,24,21,33,0,78,48,6,0,15,0,40,0,1,0,37,0,24,27,0,36,32,0,78,0,37,0,24,27,26,11,2,0,44,0,22,0,20,0,46,21,27,27,33,0,79,48,6,1,57,33,0,80,48,6,32,0,4,0,45,0,26,32,0,80,1,58,27,27,33,0,81,48,6,32,0,78,0,37,32,0,8,0,41,0,15,0,41,0,26,27,1,59,11,2,0,44,0,12,0,41,0,18,27,0,20,0,47,21,27,27,27,33,0,82,48,6,1,60,33,0,83,48,6,1,61,33,0,84,48,6,32,0,4,0,5,0,150,21,0,25,1,62,34,0,80,32,0,81,32,0,84,32,0,83,11,2,0,44,0,31,0,12,0,12,0,47,21,26,0,36,0,8,26,0,47,21,27,34,0,84,11,3,0,44,0,12,0,11,0,49,21,27,27,21,33,0,85,48,6,0,24,0,24,0,24,0,36,1,63,26,20,1,64,1,65,1,66,11,6,0,44,0,25,27,33,0,86,48,6,1,67,33,0,87,48,6,1,68,33,0,88,48,6,32,0,88,0,46,26,33,0,89,48,6,34,0,88,0,47,26,33,0,90,48,6,1,69,33,0,91,48,6,32,0,78,0,38,0,24,27,0,37,1,70,27,33,0,92,48,6,32,0,78,0,38,0,24,27,0,37,1,71,27,33,0,93,48,6,32,0,7,0,5,0,166,21,33,0,94,48,6,32,0,94,0,25,0,17,21,1,72,11,2,0,44,32,0,4,27,33,0,95,48,6,1,73,33,0,96,48,6,1,74,33,0,97,48,6,1,75,33,0,98,48,6,1,76,33,0,99,48,6,0,55,0,17,16,32,0,15,0,175,27,33,0,100,48,6,1,77,33,0,101,48,6,1,78,33,0,102,48,6,1,79,33,0,103,48,6,32,0,8,0,41,1,80,27,33,0,104,48,6,1,81,33,0,105,48,6,1,82,33,0,106,48,6,1,83,33,0,107,48,6,1,84,33,0,108,48,6,1,85,33,0,109,48,6,1,86,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,34,32,0,111,0,43,32,0,112,27,26,0,38,0,49,32,0,111,16,0,43,32,0,112,27,27,33,0,113,48,6,32,0,24,1,87,0,21,0,42,0,46,27,0,20,0,42,0,46,27,11,2,0,44,0,46,0,43,0,20,27,27,0,45,0,6,27,11,2,0,44,0,19,0,41,0,21,27,27,0,38,0,19,27,26,33,0,114,48,6,32,0,24,0,20,0,45,0,25,27,0,38,0,11,27,26,33,0,115,48,6,32,0,24,0,21,0,45,0,25,27,0,38,0,7,0,40,32,0,115,0,40,0,7,27,27,27,26,33,0,116,48,6,32,0,24,0,8,26,0,38,0,30,0,42,32,0,32,27,27,33,0,117,48,6,32,0,24,0,8,0,7,0,6,21,26,0,38,0,30,0,42,32,0,33,27,27,33,0,118,48,6,32,0,24,0,8,0,38,0,21,0,7,0,20,21,0,42,0,46,27,27,26,33,0,119,48,6,32,0,24,0,23,0,7,0,47,21,26,0,38,0,20,27,33,0,120,48,6,32,0,24,0,13,0,7,0,47,21,26,0,38,32,0,81,27,33,0,121,48,6,32,0,24,0,12,0,7,0,47,21,26,0,38,0,22,27,33,0,122,48,6,32,0,24,0,12,26,0,38,0,12,27,33,0,123,48,6,32,0,24,0,23,26,0,38,0,192,0,40,0,5,27,27,33,0,124,48,6,32,0,24,0,13,26,0,38,0,193,0,40,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,47,21,33,0,128,48,6,0,15,0,38,32,0,10,27,33,0,129,48,6,34,0,96,0,38,32,0,95,27,33,0,130,48,6,34,0,61,0,38,32,0,57,27,33,0,131,48,6,34,0,63,0,38,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,88,33,0,135,48,6,34,0,89,0,38,34,0,45,27,33,0,136,48,6,34,0,90,0,38,34,0,46,27,33,0,137,48,6,34,0,105,0,38,34,0,103,27,33,0,138,48,6,32,0,34,0,47,26,0,38,34,0,41,27,33,0,139,48,6,0,34,34,0,34,0,46,26,26,0,38,34,0,35,0,24,26,27,33,0,140,48,6,1,89,0,1,0,46,21,33,0,141,48,6,1,90,33,0,142,48,6,0,24,0,37,1,91,27,33,0,143,48,6,1,92,33,0,144,48,6,1,93,33,0,145,48,6,1,94,33,0,146,48,6,1,95,33,0,147,48,6,0,47,0,16,0,42,0,33,0,49,26,32,0,127,32,0,122,21,27,32,0,77,0,33,32,0,147,26,21,11,2,0,44,0,16,0,42,0,46,27,32,0,123,0,55,21,27,33,0,148,48,6,1,96,33,0,149,48,6,0,47,0,24,1,97,0,40,32,0,18,27,20,11,2,0,44,0,0,32,0,125,0,53,21,27,33,0,150,48,6,1,98,0,41,1,99,27,33,0,151,48,6,1,100,33,0,152,48,6,1,101,0,24,0,16,0,42,0,47,27,1,102,20,0,33,0,202,0,40,0,5,27,26,0,16,0,42,0,49,27,32,0,151,0,16,0,42,0,47,27,21,34,0,152,0,16,0,42,0,49,27,1,103,0,43,1,104,27,0,16,0,42,0,47,27,21,0,16,0,42,0,49,27,1,105,0,43,1,106,27,0,30,0,42,0,47,0,53,11,2,27,21,11,6,0,44,0,25,27,0,16,0,42,0,46,27,21,20,33,0,153,48,6,1,107,34,0,153,0,203,0,40,0,5,27,11,3,32,0,132,0,53,0,47,0,49,11,3,17,0,44,0,0,27,33,0,154,48,6,34,0,82,0,38,32,0,85,27,33,0,155,48,6,0,5,0,42,0,204,27,33,0,156,48,6,0,5,0,42,0,205,27,33,0,157,48,6,0,33,0,46,26,0,5,0,206,21,33,0,158,48,6,1,108,33,0,159,48,6,1,109,33,0,160,48,6,1,110,33,0,161,48,6,0,24,0,37,34,0,55,0,38,34,0,54,27,27,33,0,162,48,6,0,58,0,34,32,0,127,26,0,38,32,0,126,27,0,59,32,0,127,0,60,0,34,32,0,111,26,0,38,32,0,119,32,0,159,0,24,27,27,0,61,32,0,111,0,62,32,0,24,0,2,26,0,73,0,34,32,0,112,26,0,38,0,34,32,0,119,26,27,0,67,0,34,32,0,111,26,0,38,32,0,117,32,0,159,0,24,27,27,0,66,0,25,32,0,127,0,47,21,32,0,111,0,34,32,0,127,26,21,0,38,32,0,118,32,0,159,0,24,27,27,0,63,32,0,128,0,68,32,0,24,1,111,26,0,74,0,46,0,40,32,0,156,27,0,38,1,112,27,0,75,0,24,0,76,32,0,76,0,40,32,0,157,27,0,25,0,24,21,0,38,0,24,27,0,56,1,113,0,38,0,46,0,40,32,0,156,27,27,0,77,1,114,0,38,1,115,27,0,78,0,46,0,40,32,0,156,27,0,38,32,0,136,32,0,159,0,16,0,42,0,52,27,27,27,0,79,0,46,0,40,32,0,156,27,0,38,32,0,137,32,0,159,0,16,0,42,0,46,27,27,27,0,80,0,46,0,40,32,0,156,27,0,38,32,0,130,32,0,159,32,0,77,27,27,0,81,32,0,131,0,42,32,0,127,27,0,38,32,0,131,27,0,82,34,0,145,0,38,34,0,44,27,0,83,0,46,0,40,32,0,156,27,0,38,34,0,40,27,0,84,34,0,161,0,38,34,0,160,27,11,44,32,0,20,32,0,158,27,33,0,163,48,6,0,58,0,34,32,0,127,26,0,38,0,49,0,43,32,0,111,27,27,0,59,32,0,126,0,38,0,46,0,40,32,0,156,27,27,0,60,0,34,32,0,111,26,0,38,32,0,113,27,0,61,32,0,119,0,38,0,46,0,40,32,0,156,27,27,0,62,32,0,113,0,38,0,46,0,40,32,0,156,27,27,0,73,0,2,32,0,111,20,0,38,0,46,0,40,32,0,156,27,27,0,67,0,34,32,0,111,26,0,38,32,0,113,27,0,66,0,25,32,0,127,0,47,21,32,0,111,0,34,32,0,127,26,21,0,38,32,0,128,0,40,32,0,113,27,32,0,128,20,27,0,63,0,33,0,47,26,32,0,127,32,0,126,21,0,38,0,46,0,40,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,85,32,0,164,0,86,1,116,0,87,1,117,0,88,1,118,0,89,1,119,0,40,1,120,27,11,10,32,0,20,0,33,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,121,0,90,34,0,151,0,91,1,122,0,92,1,123,0,93,0,33,0,46,0,40,32,0,156,27,26,1,124,1,125,11,2,0,44,32,0,125,0,42,0,46,27,27,11,2,0,44,0,24,0,40,32,0,6,27,27,0,94,1,126,0,95,1,127,1,128,0,24,11,2,0,44,0,25,27,0,25,0,40,32,0,150,27,21,0,96,1,129,11,14,34,0,20,0,33,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,38,34,0,56,27,33,0,175,48,6,1,130,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,38,32,0,10,27,33,0,179,48,6,32,0,78,0,38,0,24,27,0,37,0,27,0,40,32,0,121,27,27,33,0,180,48,6,32,0,120,0,41,34,0,78,0,37,32,0,175,0,41,0,27,27,27,27,0,38,1,131,27,33,0,181,48,6,34,0,144,0,38,34,0,43,27,33,0,182,48,6,34,0,141,0,38,32,0,42,27,33,0,183,48,6,34,0,36,0,38,32,0,132,0,42,32,0,140,27,27,33,0,184,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,34,0,181,32,0,136,32,0,137,32,0,130,34,0,134,32,0,133,32,0,131,34,0,182,32,0,132,32,0,32,32,0,33,32,0,162,32,0,175,32,0,139,34,0,183,32,0,140,34,0,184,32,0,138,0,5,0,33,0,34,32,0,174,32,0,166,32,0,165,34,0,173,34,0,171,34,0,172,0,32,0,40,0,41,0,42,0,43,32,0,169,0,38,34,0,176,34,0,178,34,0,177,32,0,168,0,39,11,64,1,132,16,7,0,46,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,0,20,0,31,0,12,0,7,0,47,21,26,34,0,1,21,0,32,0,8,26,20,0,36,0,6,26,20,7,0,33,32,1,0,0,31,32,1,14,34,0,1,26,0,34,0,16,26,34,0,2,21,26,16,26,0,16,1,133,21,7,1,134,0,12,34,0,1,32,1,14,32,1,0,26,16,21,7,0,49,0,9,32,0,1,0,22,16,17,0,17,16,0,31,0,8,0,42,0,49,27,26,16,33,0,3,48,6,32,0,1,0,30,32,0,3,17,34,0,1,0,30,34,0,3,0,31,0,6,0,42,0,47,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,15,34,0,3,27,7,0,46,34,0,1,16,7,32,0,1,0,12,16,0,12,0,47,17,0,5,0,99,17,6,34,0,1,0,33,32,0,4,26,32,1,21,20,0,36,34,0,4,26,11,2,0,44,0,47,0,38,0,22,0,20,0,46,21,27,27,34,0,2,19,7,1,135,33,0,2,48,6,1,136,33,0,3,48,6,32,0,3,32,0,1,26,0,34,34,0,3,0,34,32,0,1,26,26,26,11,2,0,44,0,12,0,41,0,21,27,27,34,0,2,34,0,1,26,11,2,0,44,0,12,0,41,0,12,27,27,7,34,0,1,1,137,0,37,1,138,1,139,11,2,0,44,32,1,4,0,41,0,21,27,27,0,38,1,140,27,27,1,141,0,37,1,142,27,11,3,0,44,32,1,4,0,41,0,6,27,27,33,0,2,48,7,34,0,1,32,1,27,34,0,2,19,7,32,0,1,0,31,0,20,0,42,0,46,27,26,0,36,0,8,26,0,47,21,0,41,0,7,27,32,0,2,19,33,0,3,48,6,34,0,1,32,0,3,0,46,11,2,1,143,11,2,0,44,0,46,0,12,34,0,3,17,27,34,0,2,19,7,34,0,4,33,0,5,48,6,0,46,0,25,32,0,2,19,33,0,6,48,6,34,0,1,33,0,7,48,6,1,144,33,0,8,48,6,34,0,8,32,0,7,0,12,0,47,17,0,45,0,33,32,0,5,26,1,145,0,38,0,24,27,34,0,2,23,27,16,7,32,0,1,0,14,0,41,32,1,28,27,32,0,2,17,33,0,3,48,6,34,0,3,0,36,32,1,29,34,0,1,0,15,16,0,43,0,16,27,0,43,32,1,30,0,42,34,0,2,0,15,16,0,43,0,16,27,27,27,26,26,16,33,0,4,48,6,0,46,0,34,34,0,4,26,16,7,32,0,1,33,0,2,48,6,32,1,30,32,1,26,0,33,0,46,26,0,13,32,1,30,21,32,1,25,11,4,34,0,1,0,45,0,31,1,146,26,27,16,33,0,3,48,6,1,147,33,0,4,48,6,1,148,0,38,1,149,27,0,1,0,46,21,7,32,0,1,33,0,2,48,6,0,36,0,8,26,0,7,0,47,21,0,32,0,8,26,0,36,0,6,26,20,11,2,0,16,34,0,1,17,33,0,3,48,6,32,1,8,0,43,1,150,27,0,1,0,46,21,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,108,17,6,32,0,1,32,1,32,16,33,0,5,48,6,32,0,1,32,1,11,0,47,17,0,36,0,8,26,0,47,17,33,0,6,48,6,32,0,6,32,1,29,32,0,1,0,15,16,0,43,0,16,27,0,41,32,1,74,0,7,0,47,21,27,26,16,33,0,7,48,6,34,0,1,0,22,16,0,17,16,0,31,0,47,0,24,32,0,5,0,31,0,8,0,42,34,0,6,27,26,16,0,43,0,16,27,0,41,34,0,7,27,0,47,0,43,0,7,27,21,11,2,0,44,0,20,0,42,0,46,27,27,26,16,34,0,4,32,0,5,17,0,30,34,0,5,32,1,13,16,17,0,1,0,46,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,46,17,0,5,0,109,17,6,0,46,0,20,16,33,0,5,48,6,32,0,1,0,14,16,33,0,6,48,0,28,32,0,4,17,0,24,0,36,0,8,26,0,47,21,0,17,20,0,43,0,15,27,16,33,0,7,48,6,34,0,6,0,29,34,0,4,17,0,35,1,151,26,32,0,2,0,14,16,17,6,32,0,7,0,31,0,20,0,31,0,6,26,32,0,5,21,0,34,0,30,26,34,0,1,0,15,16,21,32,1,74,34,0,2,21,26,16,0,1,0,46,17,7,34,0,1,0,32,0,6,26,16,0,3,16,0,28,0,42,0,33,0,47,26,0,7,0,22,21,0,18,0,46,21,27,16,0,32,0,6,26,16,0,1,0,46,17,7,32,0,1,0,12,16,0,12,0,47,17,0,5,0,110,17,6,32,0,1,0,31,32,1,7,26,16,0,36,0,8,26,0,47,17,0,5,0,111,17,6,34,0,1,32,1,37,16,7,32,0,1,0,12,16,0,12,0,47,17,32,1,156,16,6,32,0,1,0,31,32,1,7,26,16,0,36,0,8,26,0,47,17,32,1,156,16,6,32,0,1,0,22,16,0,34,0,7,26,0,47,17,0,47,0,17,0,40,0,31,0,6,0,42,0,47,27,32,0,1,0,43,0,16,27,0,41,0,13,27,0,24,21,26,27,0,36,0,8,26,0,47,21,11,2,0,44,0,13,0,42,0,46,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,11,0,47,17,33,0,4,48,0,36,0,8,26,0,47,17,33,0,5,48,6,34,0,3,0,17,16,0,31,0,8,0,42,32,0,5,27,0,43,0,6,27,26,34,0,5,0,17,16,0,15,34,0,4,17,17,0,34,0,30,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,46,17,7,32,0,1,0,12,16,0,34,0,7,26,0,47,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,28,34,0,3,17,33,0,6,48,6,32,0,6,0,36,0,8,26,0,47,17,0,17,16,0,15,34,0,6,17,0,31,0,8,0,42,32,0,5,27,0,43,0,6,27,26,34,0,5,0,17,16,17,0,34,0,30,26,34,0,1,0,15,16,17,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,112,17,6,32,0,1,0,22,16,0,6,0,47,17,0,17,16,0,31,34,0,1,0,43,0,30,0,42,0,17,27,27,26,16,0,1,0,42,0,16,0,42,0,46,27,27,16,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,113,17,6,32,0,1,0,22,16,33,0,3,48,6,32,0,3,0,6,0,47,17,0,17,16,0,31,34,0,1,0,43,0,30,0,42,1,152,27,27,26,16,0,1,0,42,0,16,0,42,32,0,3,27,27,16,7,34,0,1,33,0,3,33,0,4,12,2,48,6,1,153,33,0,5,48,6,0,24,0,40,34,0,3,27,0,25,0,6,32,0,5,0,13,0,42,0,46,27,26,20,34,0,5,0,21,26,11,2,0,44,0,13,0,42,0,46,27,27,21,7,32,0,1,0,12,16,0,12,0,47,17,0,5,0,118,17,6,34,0,2,32,1,47,32,0,1,0,22,16,17,0,34,0,16,26,34,0,1,17,7,32,0,2,0,12,18,0,12,0,47,19,0,5,0,119,19,6,32,0,1,0,14,16,33,0,3,48,0,22,0,41,0,12,27,32,0,2,19,0,5,0,120,17,6,0,46,33,0,4,48,6,34,0,3,0,35,1,154,26,34,0,2,19,6,34,0,1,0,15,16,0,16,32,0,4,17,7,34,0,2,0,31,34,0,1,0,43,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,122,0,26,34,0,2,17,0,26,0,121,17,33,0,8,48,6,0,123,0,26,32,0,8,17,33,0,9,48,6,0,124,0,26,32,0,8,17,33,0,10,48,6,0,125,0,26,32,0,8,17,33,0,11,48,6,0,126,0,26,34,0,8,17,33,0,12,48,6,0,24,0,31,34,0,5,0,31,0,0,0,12,0,47,21,26,0,15,20,0,36,0,8,26,0,47,21,11,2,0,44,32,1,4,27,26,0,15,20,0,36,0,8,26,0,47,21,0,5,34,0,12,21,11,2,0,16,34,0,4,17,33,0,13,48,6,1,155,1,156,11,2,0,44,0,25,0,40,34,0,3,27,27,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,127,17,6,32,0,1,0,22,16,0,20,0,46,17,0,5,0,128,17,6,34,0,1,0,30,0,46,0,20,16,17,7,34,0,2,0,31,32,1,48,0,42,34,0,1,0,22,16,27,26,16,7,34,0,2,0,31,32,1,48,0,42,34,0,1,27,26,16,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,131,17,6,32,0,1,0,22,16,33,0,3,48,6,34,0,1,0,30,32,0,3,0,17,16,0,31,0,7,0,42,0,47,0,7,34,0,3,17,27,26,16,17,7,32,0,2,32,1,6,18,0,5,0,132,19,6,32,0,1,0,12,0,46,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,133,17,6,34,0,3,7,32,0,2,32,1,4,0,45,0,15,0,16,0,46,21,27,16,33,0,2,49,6,32,0,2,32,1,7,16,0,5,0,135,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,32,0,34,1,157,0,45,1,158,27,26,26,16,7,32,0,2,0,22,16,0,12,34,0,1,17,0,5,0,136,17,6,32,0,2,0,31,0,12,0,42,0,11,0,40,0,19,27,27,26,16,0,36,0,8,26,0,47,17,0,5,0,135,17,6,34,0,2,32,1,37,16,7,0,33,0,46,26,0,5,0,137,21,7,34,0,1,32,1,1,16,33,0,3,48,6,32,0,3,0,16,0,46,17,0,46,0,43,0,13,27,0,33,34,0,3,26,0,47,0,24,0,29,0,47,21,0,31,34,0,0,26,20,0,36,0,8,26,0,47,21,11,2,0,44,32,1,148,27,20,11,2,0,44,0,13,0,42,0,49,27,27,16,7,34,0,1,1,159,34,0,2,21,7,0,34,34,0,1,26,7,1,160,0,24,11,2,0,36,34,0,1,26,16,7,34,0,1,34,0,2,16,7,34,0,1,1,161,0,25,32,1,64,20,0,45,1,162,27,11,2,0,44,0,25,0,40,0,0,27,0,13,0,53,21,27,34,0,2,17,7,34,0,1,32,1,8,0,41,32,0,4,32,1,67,32,1,23,32,0,4,26,0,38,0,31,34,0,4,26,27,27,27,34,0,2,19,7,34,0,1,32,1,8,0,41,32,0,4,32,1,67,0,31,34,0,4,26,27,27,34,0,2,19,7,34,0,1,7,0,46,34,0,1,11,2,0,44,34,0,2,27,7,32,0,1,32,0,5,0,41,34,0,4,27,34,0,2,19,33,0,6,48,6,32,1,57,0,36,0,24,32,1,4,20,0,45,0,15,0,43,0,16,27,27,26,32,0,1,21,0,46,0,14,0,40,0,24,0,36,0,8,26,0,47,21,0,17,20,0,43,0,15,27,27,0,1,0,72,21,11,2,0,44,32,1,4,27,20,33,0,7,48,6,1,163,33,0,8,48,6,32,1,1,0,46,0,16,0,42,0,49,27,0,12,0,33,32,0,8,26,21,11,2,0,44,0,16,0,42,0,46,27,0,12,0,55,21,27,20,33,0,9,48,6,32,0,5,32,1,87,32,0,9,17,33,0,10,48,6,0,46,32,0,8,0,52,27,33,0,11,48,6,34,0,11,34,0,10,16,0,46,32,1,70,11,2,32,1,1,0,30,0,47,0,53,11,2,21,11,2,0,44,34,0,9,27,16,33,0,12,33,0,13,12,2,48,6,0,24,0,40,32,1,71,27,0,7,0,47,21,0,45,1,164,27,33,0,14,48,6,0,24,0,37,1,165,27,33,0,15,48,6,34,0,13,34,0,14,32,0,6,17,0,33,34,0,1,26,0,43,34,0,15,27,0,33,34,0,5,26,32,1,154,20,1,166,20,11,2,0,44,32,1,71,27,16,7,34,0,1,0,35,32,1,74,26,34,0,2,19,0,15,16,0,36,0,8,26,0,47,17,7,32,0,2,0,16,0,47,17,34,0,1,11,2,0,44,34,0,2,0,16,0,46,17,27,7,34,0,1,0,15,16,0,31,32,1,75,26,16,0,36,0,18,26,0,46,17,0,6,0,47,17,7,0,1,0,43,0,24,0,37,0,33,11,0,26,0,15,32,1,77,0,41,34,0,2,27,21,27,27,32,1,79,0,24,0,37,0,25,27,34,0,1,21,11,2,0,44,0,15,0,40,0,22,27,0,20,0,46,21,27,7,32,0,1,0,15,16,0,16,0,46,17,32,1,77,16,33,0,3,48,6,32,0,1,0,15,16,0,31,32,1,77,0,46,32,1,12,11,2,0,44,0,22,0,41,0,12,27,27,32,0,3,21,0,5,0,142,21,26,16,6,32,0,3,0,36,0,8,26,0,47,17,0,17,16,0,15,34,0,3,17,0,31,0,34,0,16,26,26,34,0,1,0,31,32,1,10,26,16,17,7,32,0,1,0,12,0,41,0,18,27,32,0,2,19,0,34,0,7,26,0,47,17,33,0,3,48,6,32,0,1,32,1,77,0,41,0,27,27,32,0,2,19,33,0,4,48,6,32,0,4,0,31,0,22,0,13,32,0,3,21,26,16,0,36,0,8,26,0,47,17,0,5,0,143,17,6,32,0,4,0,31,0,29,0,42,0,33,32,0,3,26,0,7,0,22,21,27,26,16,33,0,5,48,6,32,0,5,0,36,32,1,12,26,16,0,5,0,144,17,6,34,0,4,0,31,0,47,0,24,0,16,0,46,21,11,2,0,44,0,22,0,20,34,0,3,21,27,26,16,0,36,0,6,26,0,46,17,33,0,6,48,6,34,0,1,0,15,0,41,0,26,27,34,0,2,19,0,15,34,0,5,0,16,0,46,17,0,26,34,0,6,11,1,17,17,7,0,52,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,31,0,22,26,16,32,1,37,16,0,31,1,167,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,31,32,1,77,26,16,33,0,5,48,6,32,0,5,0,16,0,46,17,0,22,16,33,0,6,48,6,32,0,1,0,12,16,33,0,7,48,6,32,0,5,0,31,0,22,0,12,32,0,6,21,26,16,0,36,0,8,26,0,47,17,0,5,0,145,17,6,32,0,7,0,23,32,0,6,17,0,5,0,146,17,6,1,168,33,0,8,48,6,34,0,1,32,1,77,16,33,0,9,48,6,0,47,33,0,10,48,6,0,46,0,20,16,33,0,11,48,33,0,12,48,6,32,0,7,0,17,16,0,35,1,169,26,32,0,9,32,1,57,16,32,0,8,0,8,26,0,47,17,32,1,57,16,17,6,0,35,1,170,34,0,3,0,31,0,15,26,16,26,26,33,0,13,48,6,32,0,11,32,0,13,1,171,11,2,0,44,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,149,17,6,34,0,1,0,35,0,8,0,42,34,0,2,0,43,0,16,27,27,0,24,11,2,0,44,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,33,32,1,70,26,33,0,0,48,6,1,172,33,0,1,48,6,0,0,0,23,0,53,21,0,45,32,0,1,32,1,71,26,27,33,0,2,48,6,1,173,33,0,3,48,6,1,174,33,0,4,48,6,1,175,33,0,5,48,6,0,151,0,24,0,152,0,46,32,0,3,0,47,27,32,0,4,20,0,153,0,47,32,0,3,0,46,27,32,0,4,20,0,154,0,47,32,0,3,0,47,27,34,0,4,20,0,155,0,47,32,0,3,0,47,27,34,0,5,20,0,156,0,47,34,0,3,0,47,27,11,12,32,1,19,16,33,0,6,33,0,7,12,2,48,6,1,176,11,1,0,26,34,0,7,32,1,38,0,42,0,31,0,22,26,27,32,0,6,17,17,32,1,15,34,0,6,32,1,83,16,27,33,0,8,48,6,1,177,33,0,9,48,6,32,1,86,0,33,32,0,0,26,11,2,0,44,0,16,0,42,0,53,0,43,0,23,27,27,0,12,0,33,32,0,0,26,21,27,33,0,10,48,6,1,178,0,43,0,24,0,16,0,47,21,34,0,9,0,25,21,32,0,2,20,0,33,32,0,0,26,1,179,34,0,10,0,16,0,42,0,46,27,21,1,180,32,0,2,20,11,2,0,44,0,24,0,40,32,1,18,27,27,0,24,0,16,0,47,21,34,0,2,20,11,4,0,44,0,24,0,16,0,46,21,0,40,0,53,0,24,0,49,11,2,0,44,0,13,0,42,0,49,27,27,11,2,0,44,0,13,0,42,0,46,27,27,27,27,27,7,32,0,1,0,7,0,47,17,33,0,2,48,6,0,157,0,158,11,2,0,16,32,0,1,17,33,0,3,48,6,0,19,0,43,0,12,27,0,7,0,47,21,0,12,0,42,0,46,27,0,7,0,47,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,159,0,26,34,0,3,17,0,26,0,121,17,33,0,6,48,6,0,160,0,26,32,0,6,17,33,0,7,48,6,0,161,0,26,34,0,6,17,33,0,8,48,6,32,1,8,0,43,0,24,0,37,1,183,1,184,11,2,0,44,0,25,0,40,32,1,4,27,27,27,27,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,162,17,6,32,0,1,32,1,11,0,47,17,33,0,3,48,6,32,0,2,0,12,0,41,0,7,27,32,0,1,19,1,185,32,0,2,19,6,32,0,3,0,36,0,8,26,34,0,1,1,186,0,38,0,47,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,28,32,0,6,0,7,32,0,5,17,17,0,26,34,0,6,0,34,32,1,10,0,43,0,28,27,26,0,38,32,0,1,0,43,34,0,5,0,20,0,46,17,0,45,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,34,32,1,10,0,43,0,29,0,42,0,7,0,42,34,0,3,27,27,27,26,0,38,32,0,1,0,43,34,0,5,0,20,0,46,17,0,45,1,188,27,27,27,34,0,2,19,0,26,34,0,4,0,29,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,47,17,0,5,0,167,17,6,32,0,1,0,31,32,1,94,26,16,6,32,0,1,11,0,0,43,0,15,27,0,31,0,17,26,0,36,0,31,0,26,0,42,0,27,27,26,26,11,0,0,20,16,21,11,2,0,44,0,24,0,36,0,8,26,0,47,21,0,20,0,46,21,27,16,0,31,0,1,0,42,0,46,27,26,16,0,1,34,0,1,0,31,0,46,26,16,17,7,32,0,2,0,12,16,0,23,0,47,17,0,5,0,168,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,46,17,0,45,0,24,0,37,1,189,27,27,34,0,2,17,7,32,0,1,32,1,77,16,0,28,32,0,2,19,33,0,3,48,6,32,0,1,32,1,11,34,0,2,19,33,0,4,48,0,36,0,8,26,0,47,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,37,0,33,32,0,3,0,36,0,8,26,0,47,17,0,17,16,0,31,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,44,0,12,0,20,0,46,21,0,41,0,6,0,42,0,8,0,42,0,49,27,27,27,27,34,0,2,19,32,1,81,16,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,173,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,44,0,47,0,38,0,22,0,20,0,46,21,27,27,34,0,2,19,7,32,0,2,0,12,16,0,23,0,47,17,0,5,0,176,17,6,34,0,2,32,1,10,16,33,0,3,48,6,32,0,3,0,31,32,1,7,0,7,0,47,21,26,16,33,0,4,48,0,36,0,6,26,0,46,17,33,0,5,48,6,32,0,5,0,23,0,47,17,0,5,0,177,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,36,0,8,26,0,47,21,1,198,11,2,0,44,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,47,17,0,45,0,24,0,37,1,199,27,27,16,0,15,32,0,3,17,7,32,0,1,0,31,32,1,6,26,16,0,36,0,8,26,0,47,17,0,5,0,182,17,6,32,0,1,0,31,0,13,0,42,0,52,27,26,16,0,36,0,8,26,0,47,17,0,5,0,183,17,6,0,3,33,0,5,48,6,32,0,1,0,25,0,38,0,46,27,0,45,0,24,1,200,0,22,0,43,0,34,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,46,33,0,8,48,6,34,0,6,0,31,1,201,0,34,0,30,26,34,0,7,21,34,0,4,20,26,16,7,32,0,1,0,12,16,0,12,0,47,17,0,5,0,184,17,6,32,1,102,0,24,26,33,0,3,48,6,34,0,1,32,0,3,0,1,0,46,0,40,0,17,27,21,0,31,32,1,8,0,40,1,202,27,26,0,36,0,31,0,31,0,26,26,26,26,11,0,0,20,16,0,20,16,21,0,1,0,31,0,46,26,11,0,0,43,0,15,27,0,1,0,24,21,20,21,11,2,0,44,32,1,76,0,20,0,47,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,185,17,6,32,0,1,32,1,77,16,33,0,4,48,0,28,32,0,3,17,0,35,0,7,26,32,0,2,32,1,77,16,17,33,0,5,48,6,32,0,5,0,46,0,16,0,42,0,46,27,0,12,0,47,21,11,2,0,44,32,0,3,0,12,0,47,17,27,16,33,0,6,48,6,34,0,5,0,31,0,12,0,42,0,46,27,26,0,36,0,8,26,0,47,21,0,47,11,2,0,44,32,0,6,27,16,0,5,0,186,17,6,32,0,1,0,43,0,24,0,37,0,25,0,40,32,0,1,0,15,16,1,203,1,204,11,2,0,44,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,187,17,6,34,0,1,32,1,104,32,1,135,11,2,0,44,32,0,2,32,1,76,16,0,13,0,49,17,27,34,0,2,17,7,32,0,1,0,12,16,0,23,0,47,17,0,5,0,188,17,6,32,0,1,32,1,10,16,33,0,1,49,6,32,0,1,0,22,16,0,53,0,43,0,13,27,0,8,0,13,0,42,0,47,27,21,16,0,5,0,189,17,6,32,0,1,0,31,32,1,6,26,16,0,36,0,8,26,0,47,17,0,5,0,190,17,6,34,0,2,0,31,0,25,0,8,0,34,0,9,0,40,0,11,27,26,21,0,34,0,7,26,0,47,21,0,6,0,7,21,0,42,32,0,1,0,22,16,27,26,16,0,34,0,30,26,34,0,1,17,7,34,0,1,32,1,106,0,47,0,46,11,2,0,38,0,49,11,1,27,21,7,32,0,1,32,1,107,34,0,5,26,32,0,2,19,33,0,6,48,0,31,0,21,0,42,0,46,27,26,16,33,0,7,48,6,32,0,4,33,0,8,48,6,1,205,0,38,1,206,27,33,0,9,48,6,1,207,1,208,11,2,0,16,34,0,4,0,47,32,1,64,11,2,0,44,0,0,0,13,0,53,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,44,0,20,27,33,0,6,48,6,32,0,1,32,1,107,34,0,5,26,0,35,0,7,0,43,32,0,6,27,34,0,6,0,7,0,25,21,11,2,0,44,0,24,0,13,0,46,21,27,26,0,12,0,41,0,27,27,21,32,0,2,19,33,0,7,48,6,0,24,0,20,20,32,1,97,0,24,0,20,0,37,0,31,0,20,26,27,20,11,3,0,44,0,12,0,43,0,23,27,0,6,0,47,21,0,8,0,46,0,43,0,21,27,21,27,33,0,8,48,6,34,0,1,32,0,8,32,0,7,0,16,0,42,0,22,0,34,0,7,26,0,47,21,27,16,17,32,1,68,34,0,4,26,34,0,2,34,0,8,34,0,7,0,16,0,46,17,19,19,32,1,81,16,7,34,0,4,33,0,6,48,6,0,46,1,212,0,38,0,33,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,44,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,47,17,0,5,0,194,17,6,32,0,2,0,31,32,1,123,26,16,33,0,3,48,0,36,32,1,126,26,0,46,17,33,0,4,48,6,32,0,1,32,1,123,16,32,1,125,32,0,4,17,0,5,0,195,17,6,32,0,1,32,1,77,16,0,28,32,0,4,17,32,1,127,32,0,2,0,31,32,1,77,26,16,32,1,85,16,17,33,0,5,48,6,32,0,5,32,0,3,32,1,123,0,47,17,32,1,132,32,0,3,17,0,43,32,1,125,27,32,1,117,32,1,125,0,42,0,46,27,21,16,0,36,32,1,117,26,0,47,17,0,5,0,186,17,6,0,46,11,1,0,26,34,0,5,17,0,30,32,0,3,0,32,32,1,126,26,16,32,1,133,0,46,17,17,32,1,115,34,0,3,17,33,0,6,48,6,32,0,2,0,31,32,1,129,26,16,33,0,2,49,0,31,32,1,122,26,16,0,34,32,1,127,26,32,0,6,17,33,0,7,48,6,0,33,32,0,1,26,32,1,101,34,0,1,32,1,11,34,0,4,17,0,43,0,26,27,21,33,0,8,48,6,32,0,7,0,36,32,1,119,26,0,47,17,11,1,32,0,8,16,0,43,0,30,27,33,0,9,48,6,32,0,2,0,16,0,42,0,46,27,0,41,32,1,102,32,0,9,26,27,0,35,32,1,102,0,24,26,26,32,1,119,34,0,7,32,1,131,16,32,1,133,0,47,17,0,32,32,1,119,26,16,32,1,131,16,21,0,36,0,31,0,31,32,1,126,26,26,26,20,0,31,34,0,9,26,20,11,2,0,44,0,24,0,40,32,1,122,27,32,1,122,0,47,21,27,34,0,6,17,0,1,34,0,2,0,31,0,46,26,16,34,0,8,16,17,7,32,0,2,32,1,123,16,0,34,32,1,127,26,0,47,17,33,0,3,48,6,32,0,3,32,1,125,0,46,17,0,5,0,196,17,6,32,0,1,32,1,123,16,32,1,125,34,0,3,17,0,5,0,197,17,6,34,0,1,32,1,139,0,42,32,0,2,27,32,1,129,0,40,32,1,42,27,32,1,129,32,1,77,21,0,43,0,35,0,27,26,27,20,0,41,32,1,139,27,34,0,2,17,7,32,0,2,32,1,123,16,32,1,124,0,47,17,0,5,0,198,17,6,34,0,1,32,1,77,16,32,1,122,0,41,32,1,125,27,32,0,2,17,0,5,0,199,17,6,34,0,2,32,1,129,16,0,31,32,1,7,26,16,0,36,32,1,117,26,0,47,17,0,5,0,200,17,7,32,0,1,32,1,77,16,32,1,138,32,0,2,17,0,31,0,36,32,1,115,26,26,16,32,1,130,16,0,31,0,33,34,0,1,26,32,1,52,0,30,0,42,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,36,32,1,126,26,0,46,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,36,32,1,117,26,0,47,17,0,5,0,201,17,6,34,0,1,32,1,143,34,0,3,32,1,130,16,0,24,32,1,132,0,34,32,1,140,0,40,32,1,128,27,26,21,32,0,2,17,0,26,34,0,2,17,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,43,32,1,120,27,32,1,117,32,1,140,21,16,0,36,32,1,117,26,0,47,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,34,32,1,140,0,40,32,1,128,27,26,21,32,0,2,17,0,26,34,0,2,17,32,1,13,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,44,0,46,0,24,32,1,1,0,40,32,1,148,27,20,11,2,0,44,32,1,77,0,42,0,33,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,43,32,0,1,27,0,38,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,33,32,1,158,26,11,2,0,44,0,24,0,40,32,0,7,27,27,11,2,0,44,0,25,0,40,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,36,34,0,1,26,16,7,0,24,32,1,76,0,40,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,49,17,32,1,156,16,6,32,0,1,0,31,32,1,123,26,16,32,1,123,0,47,17,0,36,32,1,117,26,0,47,17,32,1,157,16,6,32,0,1,32,1,155,16,33,0,3,48,6,32,0,3,0,31,32,1,7,26,16,0,36,32,1,117,26,0,47,17,32,1,157,16,6,32,0,1,0,31,32,1,133,0,42,0,52,27,26,16,32,1,155,16,32,1,121,32,0,3,17,0,36,32,1,117,26,0,47,17,32,1,157,16,6,32,0,3,0,3,16,33,0,4,48,6,0,47,32,1,125,32,0,4,17,0,36,32,1,117,26,0,47,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,31,0,52,26,16,32,1,155,34,0,1,0,31,32,1,122,26,16,32,1,132,16,17,0,30,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,47,17,32,1,156,16,6,32,0,2,0,31,32,1,7,26,16,0,36,32,1,117,26,0,47,17,32,1,156,16,6,34,0,2,32,1,138,16,33,0,3,48,6,32,0,1,0,31,32,1,122,26,0,41,32,1,76,27,32,0,3,17,32,1,157,16,6,34,0,1,32,1,155,0,41,0,30,0,42,32,1,32,27,27,34,0,3,17,7,32,1,123,0,42,0,47,27,32,1,118,32,1,123,0,42,0,46,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,46,17,32,1,157,16,6,34,0,1,32,1,129,16,0,16,0,46,17,7,32,0,2,32,1,123,0,41,32,1,127,27,32,0,1,17,33,0,3,48,6,32,0,3,0,47,0,43,32,1,125,27,32,1,117,32,1,125,0,42,0,46,27,21,16,32,1,157,16,6,32,0,2,0,47,32,1,122,11,2,0,44,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,42,32,0,4,27,11,2,0,44,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,49,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,47,17,7,32,0,1,32,1,122,16,32,1,123,0,47,17,32,1,157,16,6,34,0,1,32,1,162,16,7,0,24,0,40,32,1,76,27,32,1,120,0,46,21,32,1,157,20,0,25,32,1,166,32,1,146,34,0,1,26,26,21,7,0,24,0,40,32,1,76,27,32,1,120,0,46,21,32,1,157,20,0,25,0,46,0,40,32,1,156,27,0,38,32,1,165,32,1,146,34,0,1,26,26,27,21,7,0,24,0,40,32,1,123,27,32,1,120,0,46,21,32,1,157,20,0,25,32,1,174,32,1,146,34,0,1,26,0,24,0,42,32,1,4,0,40,32,1,157,27,27,20,26,21,7,32,1,166,32,1,146,34,0,1,26,26,7,0,24,0,40,32,1,123,27,32,1,120,0,46,21,32,1,157,20,0,25,0,24,32,0,1,32,1,133,21,0,38,32,1,122,32,1,120,0,47,21,0,45,32,1,137,0,42,0,47,27,34,0,1,32,1,137,0,42,0,52,27,21,32,1,155,32,1,162,21,27,27,21,7,34,0,1,0,33,1,219,26,11,2,0,44,32,1,123,0,42,0,33,32,1,147,26,27,27,7,32,1,146,34,0,2,26,33,0,3,48,6,32,0,3,0,42,32,0,1,27,0,38,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,38,32,1,146,34,0,2,26,27,7,32,1,146,34,0,1,26,0,42,34,0,2,27,7,34,0,1,0,38,32,1,158,27,7,32,1,146,32,0,2,26,32,1,146,32,0,1,26,20,0,38,34,0,1,0,33,0,46,0,40,32,1,156,27,26,1,220,11,2,0,44,0,24,0,40,32,1,150,27,27,34,0,2,17,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,0,1,11,1,0,1,34,0,1,17,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,41,32,2,12,27,32,0,2,19,0,5,0,100,17,6,34,0,1,0,35,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,28,32,0,6,17,32,2,12,34,0,5,17,0,5,0,101,17,6,32,0,7,0,29,34,0,6,17,0,36,0,8,26,0,47,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,46,0,21,32,0,10,17,0,8,32,0,8,17,0,17,0,41,0,31,0,33,34,0,11,26,0,16,0,6,0,42,0,8,0,42,34,0,8,27,27,21,34,0,4,34,0,9,0,43,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,31,32,1,2,0,42,0,33,34,0,2,26,27,26,16,7,34,0,2,0,31,0,33,34,0,1,26,0,43,32,1,2,27,26,16,7,34,0,1,0,31,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,0,27,0,16,0,23,21,0,27,32,2,26,21,33,0,3,48,6,32,0,1,0,22,0,41,32,0,3,27,32,0,2,19,33,0,4,33,0,5,12,2,48,6,34,0,1,1,222,0,41,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,44,0,12,0,42,32,1,7,27,27,33,0,5,48,6,0,46,32,0,5,16,7,34,0,1,0,12,0,42,0,46,27,0,45,34,0,2,27,20,7,0,34,34,0,1,26,7,32,1,3,0,16,32,0,1,17,34,0,4,16,0,47,0,13,34,0,1,17,0,45,1,225,34,0,5,26,27,34,0,2,19,7,32,0,2,0,12,16,0,34,0,7,26,0,47,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,46,17,0,5,0,103,17,6,32,0,4,0,13,0,46,17,0,5,0,104,17,6,32,0,2,32,2,11,0,47,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,11,32,0,4,17,33,0,7,48,6,32,0,1,0,14,16,0,28,34,0,4,17,33,0,8,48,0,36,0,8,26,0,47,17,33,0,9,48,6,34,0,1,0,15,0,41,1,226,1,227,11,2,0,44,32,0,6,0,20,0,46,17,27,27,34,0,2,17,0,15,34,0,8,17,7,32,0,1,0,12,16,0,13,0,47,17,0,5,0,102,17,6,32,0,1,0,22,16,33,0,3,48,6,34,0,1,32,0,3,0,40,0,17,27,1,228,11,2,0,44,32,0,3,0,13,0,49,17,27,16,7,32,0,2,0,12,16,0,34,0,7,26,0,47,17,33,0,3,48,6,32,0,3,0,13,0,46,17,0,5,0,106,17,6,32,0,1,0,12,16,0,13,32,0,3,17,0,5,0,107,17,6,32,0,2,0,22,16,33,0,4,48,6,32,0,2,32,2,11,0,47,17,33,0,5,48,0,36,0,8,26,0,47,17,33,0,6,48,6,32,0,1,0,12,16,0,34,0,7,26,34,0,3,17,33,0,7,48,6,32,0,1,0,14,16,0,28,32,0,7,17,33,0,8,48,0,36,0,8,26,0,47,17,33,0,9,48,6,34,0,1,1,229,1,230,11,2,0,44,0,46,32,2,11,0,42,34,0,7,27,32,2,12,34,0,5,21,11,2,0,44,32,0,6,0,8,32,0,4,17,0,20,0,46,17,33,0,10,48,27,27,34,0,2,17,0,15,34,0,8,17,7,0,17,0,43,0,31,0,6,26,0,42,0,31,32,0,1,0,43,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,47,17,0,18,0,46,17,34,0,3,33,1,7,50,7,32,0,1,0,7,32,1,3,17,0,17,16,0,31,0,6,0,42,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,47,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,46,0,20,16,33,0,4,48,6,32,0,1,0,14,16,33,0,5,48,0,28,32,0,3,17,33,0,6,48,0,35,1,231,26,34,0,2,17,6,34,0,1,0,15,34,0,5,0,29,34,0,3,17,0,26,34,0,6,0,36,0,8,26,0,47,17,11,1,17,17,0,30,32,0,4,17,7,32,0,1,0,12,16,0,13,0,47,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,47,17,7,34,0,1,0,38,34,0,2,27,7,34,0,1,0,1,0,46,21,7,34,0,1,0,1,34,0,2,23,7,32,0,2,0,37,34,0,1,32,2,66,34,0,2,17,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,45,1,232,0,40,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,45,1,233,27,16,7,0,47,33,0,3,48,6,0,46,1,234,0,36,0,18,26,0,46,21,0,6,0,47,21,11,2,0,44,32,2,4,27,33,0,4,48,6,32,0,1,32,0,4,16,33,0,5,48,6,34,0,2,0,27,0,41,0,27,27,0,33,32,2,70,26,0,15,0,41,0,27,27,11,2,0,44,32,2,72,27,1,235,11,3,0,44,34,0,5,0,11,0,49,17,27,34,0,1,17,7,32,0,2,33,0,3,33,0,4,12,2,48,6,1,236,0,42,34,0,2,27,33,0,5,48,6,1,237,33,0,6,48,6,1,238,0,42,0,46,27,33,0,7,48,6,34,0,1,0,33,32,0,4,26,0,16,0,46,21,34,0,7,11,2,0,44,32,1,12,0,40,32,2,4,27,27,16,7,32,1,6,34,0,1,16,7,34,0,1,0,12,0,42,32,1,4,27,0,7,0,47,21,0,45,1,239,27,16,6,32,1,5,0,16,0,47,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,31,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,31,0,16,0,42,34,0,1,27,26,16,33,0,5,48,6,32,0,4,0,17,16,0,31,0,8,0,42,32,0,3,27,26,16,0,34,0,30,26,32,0,5,17,33,0,6,48,6,34,0,3,0,17,16,0,31,0,25,26,32,0,6,17,0,31,0,24,26,32,1,10,0,17,16,17,0,15,16,32,2,12,34,0,5,17,0,5,0,147,17,6,32,0,6,32,2,37,16,33,0,7,48,6,32,0,6,32,1,8,0,6,26,0,46,17,0,30,32,0,7,17,0,35,0,7,26,32,0,7,0,22,16,0,17,16,17,33,0,8,48,6,34,0,8,0,31,0,24,26,32,1,12,17,0,35,0,6,26,34,0,6,0,30,32,0,7,17,0,31,0,8,26,32,1,12,17,17,33,1,12,49,6,34,0,7,0,31,0,6,0,42,32,0,4,0,43,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,46,17,0,29,32,1,7,17,33,0,3,48,6,32,1,5,0,31,0,29,0,42,32,1,7,27,32,2,12,32,0,3,21,26,16,0,36,0,8,26,0,47,17,0,5,0,148,17,6,32,0,3,0,36,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,31,0,25,26,34,0,1,17,32,1,13,34,0,5,0,31,0,6,0,42,0,8,0,42,34,0,4,27,27,26,34,0,2,19,17,7,0,33,32,2,70,26,34,0,1,11,2,0,44,34,0,4,0,7,0,47,21,0,41,0,8,0,38,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,44,0,24,34,0,2,20,27,7,32,1,0,0,38,34,0,1,27,7,34,0,1,0,38,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,44,0,33,0,53,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,29,0,47,17,0,31,32,2,87,0,42,0,33,34,0,2,26,27,26,16,7,0,33,34,0,1,0,16,0,47,17,26,7,32,0,1,0,19,16,33,0,5,48,0,20,0,42,32,0,2,27,0,45,34,0,4,27,16,6,34,0,5,0,17,16,0,31,32,0,1,0,6,32,0,2,17,0,43,0,6,27,26,0,31,0,46,0,43,0,20,27,0,45,0,51,27,26,20,0,31,0,13,0,42,34,0,2,27,0,45,0,51,27,26,11,2,0,44,34,0,1,0,20,0,46,17,27,16,7,34,0,1,6,0,6,0,18,0,46,21,0,17,20,0,7,0,18,0,46,21,0,17,20,0,31,0,6,26,0,24,0,40,0,20,27,21,11,2,0,44,0,20,0,42,0,46,27,27,7,32,0,2,32,2,6,16,0,5,32,1,8,17,6,32,0,2,0,13,0,46,17,33,0,3,48,6,32,0,1,0,22,16,0,6,0,18,0,46,21,0,11,11,2,0,44,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,47,33,0,6,48,6,0,24,33,0,7,48,6,32,0,1,0,12,0,20,0,47,21,0,45,1,245,0,42,32,0,2,27,27,16,6,34,0,1,0,15,16,0,29,0,28,11,2,0,44,32,0,3,0,12,32,1,2,17,27,32,0,6,0,8,34,0,4,17,17,32,1,2,0,45,0,24,0,46,0,43,0,21,27,0,45,1,246,27,0,22,0,7,34,0,2,0,40,0,19,27,21,21,27,16,32,0,7,16,7,32,0,2,0,12,16,0,23,0,47,17,0,5,32,1,7,17,6,32,0,2,0,15,16,33,0,2,49,6,32,0,2,0,31,32,2,6,26,16,0,36,0,8,26,0,47,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,43,0,21,27,0,45,1,247,27,32,0,3,17,33,0,4,48,6,1,248,33,0,5,48,6,0,46,0,20,16,33,0,6,48,6,0,47,33,0,7,48,6,1,249,33,0,8,48,6,0,46,33,0,9,48,6,34,0,2,0,35,1,250,32,1,5,1,251,26,34,0,8,0,25,21,11,2,0,44,32,1,4,27,26,32,0,4,0,28,32,0,3,17,17,33,0,10,48,6,34,0,1,0,15,0,42,32,0,4,27,1,252,11,2,0,44,32,0,6,0,12,16,0,20,0,46,17,27,16,7,32,0,1,0,13,0,46,17,0,5,0,163,17,6,32,0,1,0,23,0,47,17,0,5,0,164,17,6,34,0,2,32,2,77,16,0,29,34,0,1,0,7,0,47,17,17,32,2,12,32,1,3,17,0,5,0,165,17,7,34,0,2,0,47,0,22,11,2,0,44,0,24,0,12,0,41,0,13,27,34,0,1,21,27,16,7,34,0,2,0,17,16,0,31,34,0,1,0,1,16,26,16,7,34,0,2,0,17,16,0,31,34,0,1,0,1,16,26,16,7,32,0,1,0,12,16,0,13,32,1,3,17,0,5,0,169,17,6,32,0,2,0,31,32,2,7,26,16,0,36,0,8,26,16,0,5,0,170,17,6,32,0,1,32,2,77,16,33,0,3,48,6,32,0,2,0,35,0,7,0,6,0,47,21,26,32,0,3,0,28,32,1,3,17,17,33,0,4,48,6,32,0,4,0,31,0,13,0,42,0,46,27,26,16,0,36,0,8,26,16,0,5,0,171,17,6,32,0,3,0,29,32,1,3,17,33,0,5,48,0,36,0,8,26,0,47,17,33,0,6,48,6,1,253,33,0,7,48,6,34,0,1,1,254,34,0,7,11,2,0,44,0,25,0,36,0,8,26,32,0,4,0,36,0,8,26,32,0,6,17,21,0,20,0,46,21,27,34,0,2,17,7,32,1,7,0,31,0,33,34,0,1,26,26,16,7,32,1,7,0,31,0,6,0,42,34,0,1,0,8,32,1,5,17,27,26,16,0,34,0,30,26,32,1,6,17,7,32,2,97,0,42,0,47,27,0,41,32,0,1,32,2,67,0,35,32,0,1,26,0,38,0,31,34,0,1,26,27,27,27,7,32,0,2,0,22,0,41,0,12,27,32,0,1,19,0,5,0,172,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,42,0,33,34,0,2,26,27,26,16,7,34,0,2,32,1,6,0,33,34,0,1,26,0,43,32,1,5,27,26,16,7,32,0,1,32,2,77,16,0,29,0,47,17,33,0,3,48,6,1,255,33,0,4,48,6,32,1,5,0,33,34,0,1,26,0,15,34,0,4,21,32,2,21,0,43,32,2,101,27,11,2,0,44,0,24,0,40,32,2,17,27,0,7,0,47,21,27,34,0,3,17,7,34,0,1,32,2,97,0,47,17,0,36,32,1,5,26,34,0,2,19,7,34,0,1,0,35,0,24,0,47,11,2,0,44,0,25,27,26,32,1,4,17,0,36,0,8,26,0,47,17,33,0,3,48,6,32,0,3,0,20,0,46,17,0,5,0,178,17,6,32,1,4,0,22,16,0,17,16,0,35,0,8,26,32,1,4,17,0,36,0,6,26,0,46,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,48,0,20,32,0,5,17,0,5,0,179,17,6,0,12,0,42,0,11,27,0,5,0,180,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,44,32,0,5,0,11,0,49,17,27,16,33,0,7,48,6,32,1,3,0,35,0,24,32,0,7,11,2,0,44,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,53,17,0,45,0,20,0,42,32,1,7,27,0,45,1,256,27,27,16,7,32,1,7,0,20,0,46,17,0,5,0,181,17,6,34,0,1,0,28,1,257,0,42,0,49,0,43,0,9,27,27,0,24,0,28,0,22,0,43,0,7,27,21,0,26,0,24,21,0,25,21,11,2,0,44,0,22,0,43,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,28,34,0,2,19,7,32,0,1,0,17,16,0,31,0,6,0,42,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,31,34,0,1,32,2,77,16,32,2,95,16,0,15,16,0,43,0,30,27,26,16,7,32,1,4,0,29,32,1,3,17,33,0,3,48,0,36,0,8,26,0,47,17,33,0,4,48,6,32,0,4,0,17,16,0,15,34,0,3,17,0,43,0,31,0,6,0,42,0,8,0,42,34,0,4,27,27,26,27,0,34,0,30,26,34,0,1,21,7,34,0,1,0,43,0,30,27,7,34,0,1,0,42,0,33,34,0,2,26,27,7,34,0,1,7,34,0,2,6,34,0,1,7,34,0,2,0,37,34,0,1,27,7,32,0,1,32,1,10,0,31,34,0,1,26,27,7,32,0,1,32,1,10,32,2,23,34,0,1,26,27,7,0,46,33,0,2,48,6,1,258,32,0,1,26,33,0,3,48,6,34,0,1,0,35,1,259,26,32,1,7,17,0,22,0,21,0,49,21,0,45,0,26,0,42,0,46,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,44,34,0,5,0,43,0,6,0,42,34,0,4,0,8,0,49,21,27,27,27,7,1,263,0,33,34,0,2,26,26,7,0,25,34,0,1,20,7,0,46,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,42,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,42,32,2,154,27,11,2,0,44,0,20,0,42,0,46,27,27,32,1,6,17,33,0,8,48,6,32,1,8,32,2,24,0,33,34,0,7,34,0,8,11,2,26,0,16,0,46,0,43,0,20,27,21,0,16,0,19,21,26,16,7,32,1,8,0,17,16,0,36,0,24,0,40,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,31,0,7,0,42,32,0,1,0,22,16,0,6,0,52,17,27,26,16,0,34,0,30,26,34,0,1,17,7,32,0,1,0,35,0,12,26,32,0,2,17,0,32,0,8,26,16,0,36,0,6,26,0,46,17,33,0,3,48,6,32,0,2,0,30,0,42,0,17,27,32,0,3,17,0,36,0,8,26,0,47,17,33,0,4,48,6,34,0,3,0,21,0,42,32,1,5,27,0,45,0,33,34,0,2,34,0,1,11,2,26,0,31,0,16,26,0,20,21,0,40,1,269,27,27,16,6,32,0,4,7,32,1,4,0,6,0,42,32,0,1,27,0,41,32,2,5,27,32,1,3,17,0,12,0,42,0,46,27,0,45,34,0,1,0,6,0,47,17,0,40,32,1,5,27,27,16,7,0,33,0,46,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,31,0,46,26,16,7,32,0,2,32,3,9,16,33,0,3,48,6,34,0,2,0,43,0,16,27,33,0,4,48,6,32,1,5,0,36,0,8,26,0,47,17,33,0,5,48,6,32,0,5,0,12,0,47,17,0,8,0,49,17,0,6,32,0,3,17,32,0,5,32,2,4,1,270,27,16,33,0,6,48,6,0,47,0,7,32,1,6,17,0,17,16,0,31,0,8,0,42,32,0,5,27,0,40,0,6,0,42,32,0,5,27,0,43,34,0,6,27,27,26,16,0,36,0,8,26,0,47,17,0,5,0,105,17,6,34,0,3,0,24,0,45,0,8,0,42,32,0,1,0,40,32,3,9,27,27,27,16,33,0,7,48,6,34,0,1,0,43,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,47,17,0,8,0,49,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,42,0,8,0,42,34,0,5,27,27,33,0,12,48,6,1,272,33,0,13,48,6,32,1,9,0,17,16,0,31,0,8,0,42,32,1,7,0,36,0,8,26,0,47,17,27,34,0,13,20,26,16,7,32,0,1,32,3,11,0,47,17,0,36,0,8,26,0,47,17,33,0,3,48,0,12,0,47,17,33,0,4,48,6,32,0,1,0,15,16,33,0,1,49,6,0,47,33,0,5,48,6,0,46,33,0,6,48,6,32,0,1,0,31,0,0,0,40,1,273,27,26,16,6,32,0,4,0,8,0,49,17,0,6,32,0,5,17,33,0,7,48,6,1,274,33,0,8,48,6,0,46,33,0,9,48,33,0,10,48,6,1,275,33,0,11,48,6,32,0,1,0,46,0,46,1,276,11,2,0,44,0,31,0,12,0,42,0,11,27,26,0,36,0,8,26,0,47,21,27,11,2,0,44,32,1,3,0,12,32,0,6,17,0,8,32,0,7,0,12,0,53,17,17,27,16,33,0,12,48,6,34,0,1,34,0,8,34,0,11,11,2,0,44,34,0,12,27,16,7,34,0,1,6,32,1,9,0,17,16,0,31,32,1,10,0,8,32,1,4,17,0,21,0,42,32,1,4,27,0,24,11,2,0,44,32,2,2,27,16,26,16,7,32,1,6,32,3,29,32,0,1,0,15,16,0,43,0,16,27,0,43,32,3,74,0,7,0,47,21,0,42,32,0,2,0,15,16,0,43,0,16,27,27,27,26,16,33,0,3,48,6,34,0,1,1,277,1,278,11,2,0,44,0,15,0,40,0,22,27,0,20,0,54,21,0,41,0,8,27,27,34,0,2,17,7,32,0,1,32,2,7,34,0,2,19,0,31,0,6,26,32,1,4,0,31,34,0,1,0,43,0,8,27,26,16,17,33,1,4,49,7,34,0,1,11,1,11,0,0,26,11,2,0,44,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,52,17,0,6,33,1,3,50,6,34,0,3,0,31,32,1,4,26,16,7,1,279,33,0,3,48,6,0,27,32,0,3,1,280,11,2,0,44,0,24,0,40,0,36,32,3,72,26,27,27,11,2,0,44,0,24,0,16,0,46,21,32,3,4,20,27,33,0,4,48,6,34,0,2,34,0,1,11,2,32,0,4,0,46,17,33,0,5,48,6,32,1,3,0,17,16,0,31,1,281,26,16,33,0,6,48,6,34,0,6,0,31,0,16,0,42,0,47,27,26,0,27,0,31,0,16,0,42,0,46,27,26,21,0,33,32,3,70,26,11,2,0,44,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,31,0,21,0,42,0,72,27,26,16,0,36,32,3,117,26,0,47,17,0,5,0,140,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,34,0,30,26,33,1,4,50,6,0,46,33,0,7,48,6,0,33,32,1,4,26,0,16,1,282,21,33,0,8,48,6,32,3,74,0,5,0,141,21,33,0,9,48,6,34,0,6,0,35,34,0,4,0,43,0,16,27,32,0,8,0,24,1,283,34,0,8,21,11,3,0,44,0,11,0,42,0,49,27,27,26,34,0,5,0,17,16,17,0,15,34,0,3,17,7,32,0,1,0,35,0,25,0,12,32,0,1,34,0,5,16,21,0,45,34,0,4,27,26,34,0,1,0,22,16,0,17,16,17,7,34,0,1,0,15,0,40,0,33,32,2,12,26,0,16,32,0,2,21,32,1,6,34,0,0,0,42,32,0,2,0,6,0,47,17,27,27,27,0,15,0,14,21,32,1,5,11,2,0,44,32,2,12,0,22,16,0,23,34,0,2,17,27,16,7,34,0,1,33,2,4,49,0,34,0,16,26,32,2,6,17,33,2,5,49,6,0,52,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,31,0,33,34,0,4,0,1,16,26,26,16,7,32,0,1,32,3,11,0,47,17,33,0,3,48,0,36,0,8,26,33,1,6,50,6,0,15,0,42,34,0,3,0,26,34,0,2,0,19,16,32,2,2,0,7,0,47,17,0,45,0,24,0,7,34,0,1,0,22,16,21,0,18,0,46,21,27,16,11,1,17,27,33,1,7,49,7,32,1,6,0,8,34,0,2,19,32,1,5,16,0,34,0,26,26,0,26,11,2,0,44,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,40,0,31,0,47,26,27,16,17,7,34,0,1,0,31,0,6,26,34,0,2,0,31,34,0,4,0,43,0,8,27,26,18,19,7,32,0,1,0,47,0,43,0,12,27,0,7,0,47,21,0,45,32,1,5,32,0,2,26,0,42,0,17,27,27,32,1,7,17,32,1,5,34,0,2,0,8,32,1,7,17,26,33,1,6,50,6,0,47,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,47,33,1,9,49,7,32,1,4,0,29,32,1,3,17,33,0,3,48,0,26,33,1,10,50,6,34,0,3,0,36,0,8,26,32,1,7,17,0,12,0,42,0,47,27,0,7,0,47,21,0,45,1,286,27,16,6,32,0,1,0,15,16,0,43,0,16,27,33,0,4,48,6,32,1,9,0,24,0,45,1,287,27,34,0,1,17,6,32,1,6,0,15,32,1,10,17,0,31,32,0,4,26,16,7,0,47,0,7,32,2,3,17,1,288,16,0,34,0,30,26,32,1,3,17,0,26,32,1,6,11,1,17,0,32,0,8,26,16,32,3,57,16,33,0,3,48,6,34,0,2,0,24,0,35,1,289,26,34,0,3,21,0,36,0,31,0,6,26,26,20,0,41,0,31,0,6,26,27,32,1,4,17,0,47,0,43,0,12,27,0,7,0,47,21,0,45,0,34,0,17,0,15,32,1,5,21,0,43,0,31,0,6,26,27,26,27,32,1,6,17,0,34,0,30,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,34,0,15,26,11,0,17,7,32,0,2,0,22,16,0,20,0,46,17,0,5,0,174,17,6,32,0,2,0,22,16,0,17,16,0,35,0,20,0,42,0,46,27,0,43,0,8,27,26,34,0,2,17,7,32,2,7,0,7,34,0,1,17,0,17,16,0,31,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,43,0,21,27,0,45,0,34,0,26,26,0,43,34,0,0,27,27,34,0,2,19,7,34,0,1,6,0,46,33,1,3,49,6,32,2,13,32,2,7,0,35,0,6,26,34,0,4,17,26,33,1,2,49,7,32,3,76,0,20,32,0,1,0,18,0,46,17,21,0,46,11,2,0,16,34,0,1,0,13,0,46,17,0,8,34,0,2,19,17,7,0,46,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,46,32,1,3,16,6,34,0,2,32,2,11,0,33,34,0,1,26,0,43,32,1,2,27,26,16,7,0,46,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,191,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,32,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,36,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,41,34,0,1,27,7,32,1,8,0,43,34,0,1,0,42,32,1,4,27,27,7,34,0,1,0,43,32,1,12,27,33,0,3,48,6,0,47,0,43,0,21,27,0,45,1,290,27,33,0,4,48,6,0,52,32,0,4,0,47,0,6,32,2,6,17,17,0,6,0,47,17,7,32,0,1,0,13,0,47,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,44,0,13,0,42,32,2,3,27,27,33,0,4,48,6,0,46,0,12,32,2,3,17,0,6,32,2,3,17,0,2,0,49,17,0,18,16,33,0,5,48,0,17,16,0,31,0,24,0,6,0,47,21,0,7,34,0,5,21,0,10,0,49,21,26,16,0,36,1,292,26,32,2,3,0,17,16,17,7,34,0,1,0,31,32,1,10,0,43,0,7,27,0,7,0,42,32,1,9,27,11,2,0,16,32,3,2,17,26,16,0,4,0,42,0,3,27,16,7,32,2,3,0,8,0,49,17,0,13,32,0,1,0,36,0,11,26,16,33,1,10,49,0,7,34,0,1,0,36,0,18,26,16,33,1,9,49,17,17,7,34,0,1,6,32,2,4,32,2,9,11,2,0,31,0,17,0,31,0,8,0,42,32,2,6,27,26,20,26,16,33,0,3,33,0,4,12,2,48,6,34,0,4,0,31,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,30,32,0,3,17,17,0,15,16,0,31,0,47,0,43,0,7,27,0,18,0,46,21,26,16,0,34,0,30,26,34,0,3,17,33,0,4,48,6,0,7,0,42,0,47,27,0,8,0,42,32,2,4,0,43,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,35,0,8,0,42,32,2,6,27,0,41,32,1,3,27,34,0,5,0,25,21,26,34,0,4,17,7,34,0,0,0,46,11,2,7,34,0,2,33,0,3,48,6,34,0,1,0,31,0,15,26,16,33,0,4,48,0,16,0,46,17,0,22,16,33,0,5,48,6,0,52,33,0,6,48,6,1,294,0,43,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,47,0,7,34,0,1,0,6,33,1,7,50,17,7,0,47,0,7,32,0,1,17,0,17,16,0,31,0,33,32,2,4,26,0,16,0,6,0,42,34,0,1,0,7,32,1,7,17,27,21,32,1,9,32,0,2,21,26,16,6,34,0,2,7,0,46,0,33,32,1,3,34,0,1,26,26,16,32,2,3,16,7,0,46,0,33,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,33,34,0,2,0,1,16,26,32,1,4,11,2,0,44,0,13,0,42,0,46,27,27,33,1,4,49,7,32,0,1,0,17,16,0,31,0,7,0,42,34,0,1,27,26,16,7,34,0,1,0,17,16,0,31,0,8,0,42,34,0,2,27,26,16,7,0,49,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,49,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,43,0,16,27,0,41,34,0,1,27,7,34,0,2,33,0,3,48,0,7,16,33,0,4,48,6,0,46,33,0,5,48,33,0,6,48,33,0,7,48,6,0,53,33,0,8,48,6,32,0,1,32,2,4,0,7,0,47,17,0,45,0,31,0,8,0,42,32,2,3,27,26,27,16,0,43,0,16,27,0,41,32,1,3,27,33,0,9,48,6,32,0,9,0,7,0,47,21,0,46,0,47,0,49,11,4,33,0,10,48,6,0,6,1,296,11,2,0,16,32,0,3,0,13,0,54,17,17,33,0,11,48,6,1,297,33,0,12,48,6,1,298,1,299,34,0,12,11,3,0,44,1,300,27,33,0,13,48,6,32,0,1,0,31,34,0,1,0,43,1,301,27,26,16,7,32,1,3,0,31,34,0,1,0,43,32,2,3,27,26,16,32,4,3,16,7,32,1,4,0,31,0,16,0,42,34,0,1,27,26,16,7,0,47,0,6,33,1,6,50,6,32,1,6,32,1,7,0,42,0,33,34,0,0,26,27,0,33,32,1,3,26,11,2,0,44,0,13,0,42,32,1,5,27,27,16,33,0,3,48,6,0,46,34,0,3,16,7,32,0,1,32,1,8,0,7,0,47,17,0,45,32,1,9,0,45,1,302,27,27,0,47,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,47,17,33,1,4,49,0,12,32,1,6,17,0,8,0,49,17,0,6,33,1,8,50,6,34,0,2,7,32,0,1,0,6,0,47,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,44,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,49,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],runtime_0[13],provide[18],provide[19],runtime_0[14],runtime_0[15],runtime_0[16],runtime_0[17],provide[20],provide[21],provide[22],runtime_0[18],runtime_0[19],runtime_0[20],runtime_0[21],runtime_0[22],runtime_0[23],0,1,4,2,Infinity,-Infinity,-1,3,8,5,'∾','˙','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','\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],[1,1,5],[2,1,6],[1,1,7],[0,0,8],[2,1,9],[0,0,10],[1,0,11],[1,1,12],[1,1,13],[0,0,14],[0,0,15],[1,0,16],[0,0,[[],[17]]],[1,1,18],[1,1,19],[1,0,20],[0,0,[[],[21]]],[0,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]]],[1,1,34],[0,0,35],[0,0,[[],[36]]],[0,0,[[],[37]]],[0,0,38],[0,0,39],[0,0,[[],[40]]],[0,0,[[],[41]]],[0,1,42],[0,0,43],[0,0,[[],[44]]],[0,0,45],[0,0,46],[0,0,[[],[47]]],[2,1,48],[1,0,49],[1,0,50],[0,0,51],[0,0,[[],[52]]],[2,0,53],[0,0,54],[0,0,[[],[55]]],[0,0,56],[2,1,57],[0,0,58],[0,0,59],[0,0,60],[0,0,61],[0,0,[[],[62]]],[0,0,[[],[63]]],[0,0,64],[0,0,65],[0,0,66],[0,1,67],[1,1,68],[0,0,69],[0,0,70],[0,0,71],[0,0,72],[0,0,[[],[73]]],[0,0,74],[1,0,75],[1,0,76],[0,0,[[],[77]]],[1,0,78],[0,0,79],[0,0,[[],[80]]],[0,0,[[],[81]]],[0,0,[[],[82]]],[1,1,83],[2,0,84],[2,0,85],[2,0,86],[0,0,[[],[87]]],[0,0,[[],[88]]],[0,0,[[],[89]]],[0,0,[[],[90]]],[0,0,[[],[91]]],[0,0,[[],[92]]],[0,0,[[],[93]]],[1,1,94],[2,0,95],[1,1,96],[0,0,97],[0,0,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],[2,0,108],[0,0,109],[0,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],[1,1,121],[0,0,[[],[122]]],[0,0,[[],[123]]],[0,0,[[],[124]]],[0,0,[[],[125]]],[0,0,[[],[126]]],[0,0,[[],[127]]],[0,0,128],[0,0,[[],[129]]],[2,0,130],[0,0,131],[0,0,132],[0,0,133],[0,0,134],[1,0,135],[1,0,[[],[136]]],[0,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],[2,0,147],[0,0,[[],[148]]],[0,0,149],[0,0,[[],[150]]],[0,0,[[],[151]]],[0,0,152],[1,1,153],[0,0,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]]],[2,0,163],[0,0,[[],[164]]],[0,0,[[],[165]]],[0,0,166],[0,0,167],[1,0,[[],[168]]],[0,0,[[],[169]]],[1,0,170],[0,0,171],[1,0,172],[2,0,[[],[173]]],[0,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,185],[4088,3],[4096,3],[4100,3],[4113,3],[4125,2],[4154,3],[4186,2],[4203,4],[4265,5],[4301,3],[4308,5],[4366,4],[4432,3],[4487,3],[4498,4],[4563,9],[4632,5],[4709,5],[4776,4],[4832,8],[5004,8],[5161,3],[5206,3],[5255,3],[5374,6],[5459,3],[5483,7],[5597,3],[5659,4],[5730,6],[5794,3],[5834,5],[5911,3],[5928,14],[6108,3],[6154,3],[6174,3],[6191,4],[6249,4],[6325,5],[6399,3],[6458,0],[6469,4],[6549,3],[6559,3],[6566,3],[6580,3],[6588,3],[6626,5],[6663,5],[6690,3],[6694,3],[6708,16],[7003,3],[7028,3],[7053,3],[7080,3],[7139,4],[7239,7],[7435,7],[7481,14],[7705,5],[7784,3],[7792,6],[7819,5],[7840,6],[7867,11],[8219,9],[8376,4],[8452,7],[8564,7],[8681,3],[8788,4],[8850,8],[8962,8],[9036,7],[9098,9],[9256,9],[9404,4],[9515,8],[9729,3],[9773,3],[9910,2],[9931,14],[10056,9],[10237,10],[10310,3],[10336,10],[10744,4],[10848,3],[10922,3],[10973,4],[11100,4],[11216,2],[11224,6],[11239,2],[11298,3],[11306,3],[11314,3],[11334,8],[11409,3],[11417,3],[11425,3],[11433,3],[11441,3],[11449,3],[11460,3],[11481,7],[11522,6],[11741,4],[11841,4],[11901,3],[11944,5],[12082,3],[12129,3],[12155,3],[12188,3],[12232,3],[12280,3],[12292,3],[12365,2],[12391,4],[12427,3],[12442,3],[12471,3],[12486,3],[12504,3],[12518,3],[12528,3],[12580,6],[12608,3],[12620,3],[12648,3],[12656,3],[12664,5],[12699,12],[12872,3],[12883,3],[12903,3],[12923,3],[12934,3],[12945,3],[12960,7],[13031,6],[13077,3],[13095,3],[13102,6],[13137,10],[13314,4],[13370,11],[13571,4],[13638,3],[13663,2],[13678,3],[13705,7],[13846,3],[13875,3],[13885,3],[13904,3],[13914,3],[13923,3],[13933,3],[13950,11],[14023,6],[14123,8],[14201,3],[14209,3],[14251,7],[14277,9],[14523,5],[14539,6],[14661,5],[14694,6],[14723,3],[14733,3],[14743,4],[14782,4],[14805,3],[14813,3],[14838,3],[14850,6],[14946,2],[14996,8],[15177,11],[15382,3],[15441,3],[15468,3],[15485,3],[15502,8],[15684,3],[15698,3],[15729,2],[15763,3],[15798,3],[15819,3],[15840,5],[15911,3],[15931,8],[16161,3],[16229,3],[16259,3],[16290,3],[16324,5],[16391,3],[16400,3],[16413,3],[16417,3],[16425,3],[16435,2],[16449,2],[16464,6],[16558,3],[16568,3],[16575,9],[16709,3],[16735,3],[16753,3],[16777,3],[16798,3],[16809,3],[16822,2],[16826,3],[16862,5],[16964,3],[17011,5],[17034,3],[17051,14],[17335,13],[17532,3],[17575,4],[17658,3],[17694,3],[17723,3],[17734,4],[17770,7],[17905,10],[18095,6],[18130,3],[18195,3],[18223,4],[18246,5],[18257,4],[18268,4],[18279,5],[18299,4],[18374,3],[18407,3],[18437,5],[18462,3],[18528,3],[18542,3],[18553,5],[18652,4],[18781,3],[18805,3],[18851,3],[18884,3],[18913,5],[18945,3],[18981,3],[19007,3],[19035,3],[19057,5],[19067,3],[19100,3],[19120,6],[19135,2],[19143,2],[19151,5],[19189,3],[19199,3],[19215,5],[19266,3],[19291,6],[19400,3],[19440,3],[19481,5],[19531,6],[19668,3],[19676,8],[19733,5],[19762,3],[19777,3],[19827,2],[19845,3],[19866,3],[19884,3],[19913,3],[19932,3],[19951,6],[20030,5],[20045,14],[20209,3],[20230,3],[20246,4],[20302,3],[20334,3],[20417,3],[20451,3],[20480,3],[20497,3],[20514,3]]
);
// Use high-precision modulus (⚇0)
abs_mod.prim=8; runtime[8] = runtime[61](abs_mod,0);
// Allow inverses defined in JS
let undo0 = runtime[49];
runtime[49] = f => f.inverse || undo0(f);
runtime[49].m = 1;
let rtAssert = runtime[43] = 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[43] = 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,88,17,33,0,6,48,6,34,0,3,32,0,4,34,0,5,32,0,6,0,21,0,94,17,0,95,0,96,0,97,0,98,0,99,0,100,0,20,0,60,0,50,11,2,17,0,43,0,33,26,0,59,17,0,101,0,58,0,25,16,0,0,0,89,17,0,61,33,0,7,48,0,25,16,0,45,0,0,26,0,103,17,0,20,16,0,42,0,21,26,0,102,17,0,62,0,0,0,88,17,0,21,0,106,17,0,21,0,105,0,24,0,59,17,17,0,21,0,104,17,0,107,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,108,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,111,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,109,27,0,110,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,90,0,14,32,0,1,17,33,0,5,48,6,0,91,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,92,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,93,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,88,0,1,0,93,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,117,27,0,118,32,1,8,0,53,0,33,27,0,119,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,120,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,121,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,122,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,123,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,124,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,129,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,130,17,6,32,0,15,0,30,32,0,14,17,33,0,16,48,0,14,0,52,32,1,26,27,0,10,0,14,0,52,32,1,14,0,34,16,0,0,0,68,17,27,21,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,131,27,16,6,32,0,16,0,30,0,52,0,13,0,52,32,1,26,27,27,16,0,14,0,52,32,1,14,0,34,16,0,0,0,68,17,27,0,9,0,52,0,27,27,0,14,0,52,32,1,16,0,34,16,0,0,0,67,17,27,21,16,32,0,13,0,30,32,0,14,21,0,30,34,0,16,0,13,32,1,26,21,21,32,0,10,0,132,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,17,48,0,10,0,52,0,26,27,16,33,0,18,48,6,32,0,11,0,0,32,0,3,17,0,15,0,63,17,0,11,32,0,17,17,0,26,16,33,0,19,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,17,17,0,27,16,0,9,32,1,15,0,34,16,0,0,0,68,17,0,14,32,0,1,17,0,10,34,0,19,17,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,134,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,17,17,0,13,0,50,0,25,27,32,0,10,0,135,27,16,6,0,71,0,14,32,0,3,17,0,10,0,52,0,26,27,16,33,0,20,48,0,33,0,52,32,0,13,0,33,0,52,32,0,18,0,53,0,33,27,0,31,20,27,16,27,0,54,0,27,27,16,33,0,21,48,6,32,0,21,0,10,32,0,20,17,0,8,16,33,0,22,48,6,32,1,16,0,34,16,0,0,0,64,17,0,14,32,0,1,17,33,0,23,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,23,0,8,16,32,1,37,16,17,33,0,24,48,6,0,63,33,0,25,48,6,32,0,24,0,13,16,0,25,16,33,0,26,48,6,1,20,33,0,27,48,6,32,0,22,0,8,16,0,2,32,0,24,17,32,0,27,0,136,26,16,6,32,0,18,0,10,32,0,20,17,33,0,28,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,29,48,6,0,59,0,14,32,0,3,17,0,10,34,0,28,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,30,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,30,17,33,0,31,48,0,49,0,0,26,16,33,0,32,48,0,31,16,33,0,33,48,6,32,0,33,0,42,0,33,26,33,0,30,50,6,32,0,33,0,42,0,33,26,33,0,32,50,6,32,0,33,0,42,0,33,26,33,0,31,50,6,32,0,30,0,42,0,33,26,33,0,1,50,6,32,0,30,0,42,0,33,26,33,0,17,50,6,32,0,30,0,42,0,33,26,33,0,5,50,6,32,0,30,0,42,0,33,26,33,0,6,50,6,32,0,11,0,33,32,0,30,17,0,42,0,1,26,32,0,31,17,33,0,11,49,0,49,0,0,26,16,0,31,16,33,0,13,49,6,32,0,17,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,30,0,33,32,0,13,17,33,0,34,48,6,32,0,20,0,1,32,0,21,17,0,33,32,0,34,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,35,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,36,48,6,0,63,0,12,32,0,31,17,33,0,37,48,6,0,63,0,11,34,0,31,17,0,30,16,33,0,38,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,37,0,30,16,32,0,38,11,2,17,33,0,39,48,6,32,0,20,0,33,32,0,34,17,0,31,16,33,0,40,48,0,42,0,33,26,33,0,13,50,6,32,0,30,0,33,32,0,13,17,33,0,34,49,6,32,0,13,0,31,16,33,0,41,48,6,32,1,14,0,34,16,0,14,32,0,1,17,33,0,42,48,6,32,1,14,0,34,16,0,0,0,64,17,0,14,32,0,1,17,33,0,43,48,6,32,1,14,0,34,16,0,0,0,68,17,0,14,32,0,1,17,33,0,44,48,6,32,0,44,0,10,32,0,43,17,0,10,32,0,42,17,0,11,32,0,37,0,49,0,10,26,16,17,0,13,0,50,0,25,27,32,0,10,0,137,27,16,6,32,0,43,0,10,32,0,37,17,33,0,45,48,0,49,0,0,26,16,33,0,46,48,6,0,19,32,1,39,0,50,0,8,27,32,0,45,21,33,0,47,48,6,32,0,42,32,0,47,16,33,0,48,48,0,10,34,0,44,32,0,47,16,17,33,0,49,48,6,32,0,43,0,30,32,0,45,17,33,0,50,48,0,8,16,0,21,0,64,17,33,0,51,48,6,32,0,50,0,26,0,53,0,10,27,16,0,21,0,63,17,33,0,52,48,6,32,0,49,0,24,0,9,32,0,50,21,0,11,0,24,0,52,0,1,27,21,0,64,17,32,0,45,0,30,20,32,0,10,0,138,27,16,6,32,0,49,0,24,0,59,17,0,12,32,0,50,17,0,9,0,52,0,27,27,16,32,0,45,0,30,20,32,0,10,0,139,27,16,6,34,0,43,0,30,16,0,21,32,0,38,17,0,33,34,0,50,0,26,16,0,31,16,0,31,16,17,33,0,53,48,6,32,0,42,0,10,32,0,45,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,42,17,33,0,54,48,0,30,16,33,0,55,48,6,32,0,1,0,33,32,0,55,17,0,35,0,1,0,18,0,50,0,13,27,21,32,1,32,17,33,0,56,48,0,14,0,63,17,33,0,57,48,6,32,0,56,0,14,0,52,0,68,27,0,9,32,0,57,0,27,0,64,17,21,0,10,0,16,0,52,0,27,27,21,16,0,11,32,0,57,17,32,0,55,32,0,10,0,140,27,16,6,32,0,56,0,27,16,0,30,34,0,57,17,33,0,58,48,6,34,0,56,0,14,0,63,17,0,42,0,30,26,33,0,55,50,6,32,0,55,0,42,0,33,26,32,0,30,17,32,0,3,0,53,0,33,27,0,2,32,0,22,0,53,0,33,27,21,16,33,0,59,48,6,32,0,59,0,14,0,59,17,33,0,60,48,0,26,0,0,0,27,0,52,0,64,27,21,16,33,0,61,48,0,14,0,68,17,33,0,62,48,6,32,0,54,0,33,32,0,55,0,30,32,0,60,17,0,0,0,64,17,17,32,0,55,0,30,32,0,60,21,32,0,10,0,141,27,16,6,32,0,59,0,15,0,68,17,33,0,63,48,0,11,32,0,62,17,0,19,0,9,0,69,0,14,32,0,59,17,21,0,26,20,0,10,0,27,21,16,33,0,64,48,6,34,0,63,0,10,32,0,60,17,0,9,32,0,64,17,32,0,55,32,0,10,0,142,27,16,6,34,0,61,0,14,0,64,17,0,9,32,0,59,0,14,0,63,17,17,0,11,32,0,64,17,33,0,65,48,0,10,32,0,64,17,0,8,16,33,0,66,48,6,32,0,60,0,30,32,0,66,17,0,14,0,52,0,27,0,52,0,64,27,27,16,32,0,55,0,30,32,0,66,21,32,0,10,0,143,27,16,6,32,0,21,0,33,32,0,30,17,0,8,16,0,2,32,0,1,17,0,33,32,0,55,17,33,0,67,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,68,48,6,32,0,68,0,13,0,64,17,0,9,32,0,59,0,14,0,63,17,17,0,9,32,0,62,17,33,0,69,48,0,12,32,0,66,17,33,0,70,48,6,32,0,69,0,0,33,0,59,50,6,32,0,69,0,12,33,0,62,50,6,32,0,59,0,5,0,68,17,0,42,0,1,26,0,64,17,0,2,0,69,17,0,2,32,0,70,17,0,0,32,0,59,0,14,0,69,17,0,26,16,0,0,0,67,17,0,2,34,0,64,17,17,0,0,32,0,60,0,26,16,0,0,0,64,17,0,2,32,0,65,17,0,0,34,0,69,17,17,33,0,71,48,6,32,1,27,0,34,16,0,0,32,0,71,17,0,13,34,0,67,17,0,9,32,0,68,0,14,0,63,17,17,32,0,55,32,0,10,0,144,27,16,6,32,0,59,0,14,0,63,17,0,9,32,0,62,17,0,10,32,0,60,17,0,8,16,0,2,33,0,68,50,6,32,0,60,0,12,33,0,66,50,6,32,0,66,0,42,0,30,26,33,0,59,50,6,32,0,65,0,30,32,0,60,0,27,0,64,17,17,33,0,72,48,6,32,0,58,0,2,16,0,11,32,0,66,17,32,0,55,32,0,10,0,140,27,16,6,0,63,0,21,32,0,72,17,0,33,0,52,0,49,0,0,26,27,32,0,60,17,0,12,32,0,65,17,32,0,55,32,0,10,0,145,27,16,6,0,68,0,13,32,0,68,17,0,12,34,0,70,17,32,0,55,32,0,10,0,146,27,16,6,32,0,66,0,42,0,30,26,33,0,58,50,6,32,0,68,0,13,0,63,17,33,0,73,48,0,0,0,64,17,0,2,34,0,65,17,0,6,32,0,62,17,0,27,16,0,30,32,0,60,17,0,6,32,0,58,0,14,0,68,17,0,2,0,68,17,17,33,0,74,48,6,32,0,51,0,26,0,11,0,19,21,0,64,17,0,11,32,0,49,0,27,16,17,0,26,0,53,0,1,27,16,0,0,0,64,17,0,30,0,52,32,0,48,27,0,54,34,0,74,27,16,33,0,75,48,6,34,0,66,0,42,0,30,26,33,0,62,50,6,32,0,59,0,14,0,64,17,0,10,33,0,72,50,6,32,0,54,0,33,0,52,32,0,55,27,0,54,32,0,73,0,8,16,27,16,33,0,76,48,6,32,0,55,0,30,32,0,73,17,0,42,0,33,26,32,0,41,17,33,0,77,48,6,32,0,68,0,30,32,0,73,17,0,14,0,68,17,33,0,78,48,6,32,1,27,0,34,16,0,1,32,0,1,17,0,33,0,52,34,0,55,27,0,54,0,1,0,52,32,0,71,27,0,2,34,0,68,0,11,0,63,17,21,0,0,0,19,21,27,16,0,31,0,63,0,69,0,65,0,72,11,4,17,33,0,79,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,30,17,17,0,0,33,0,79,50,6,34,0,79,0,53,0,14,27,32,1,39,0,50,0,8,27,34,0,37,21,0,33,32,0,51,0,49,0,0,26,0,59,17,21,33,0,80,48,6,32,1,27,32,1,25,32,0,1,17,0,11,32,0,54,17,0,30,16,33,0,81,48,6,0,64,32,0,80,16,33,0,82,48,6,0,69,34,0,80,0,51,0,19,0,2,0,68,21,0,6,0,18,21,27,0,68,17,33,0,83,48,0,0,0,52,0,11,0,52,0,63,27,0,10,32,0,82,21,27,16,33,0,84,48,6,32,0,82,0,30,32,0,48,17,0,11,32,0,72,17,0,11,34,0,62,17,0,10,32,0,84,0,30,32,0,48,17,0,11,32,0,59,17,17,32,0,45,0,50,0,30,27,0,21,0,63,21,0,30,32,0,48,21,32,0,10,0,147,27,16,6,32,0,84,0,30,0,52,32,0,48,27,0,54,34,0,59,27,16,33,0,84,49,0,42,0,1,26,0,64,17,0,6,33,0,83,50,6,32,0,82,0,30,0,52,32,0,48,27,0,54,0,6,0,52,34,0,72,27,27,16,33,0,82,49,6,32,0,84,0,34,16,0,11,0,63,17,32,0,1,0,50,1,21,27,0,30,20,32,0,10,0,148,27,16,6,32,0,82,0,12,32,0,52,17,0,11,32,0,48,0,12,34,0,49,17,0,10,0,52,0,27,27,16,17,0,24,0,64,17,32,0,45,0,30,20,32,0,10,0,149,27,16,6,32,0,82,0,2,0,69,17,0,0,0,63,0,68,0,69,11,3,0,33,32,0,83,17,17,33,0,85,48,6,32,0,82,0,30,32,0,48,17,0,8,16,0,2,0,69,17,0,33,34,0,60,0,49,0,0,26,16,0,27,16,17,0,1,33,0,71,50,6,32,0,3,0,33,0,52,32,0,30,0,33,32,0,38,17,27,0,54,34,0,84,0,30,32,0,51,17,0,24,0,64,17,27,16,0,2,32,0,22,17,0,42,0,1,26,32,0,20,17,33,0,3,49,6,34,0,22,0,9,34,0,23,17,33,0,86,48,6,0,63,0,11,32,0,3,17,0,42,0,21,26,0,64,17,0,33,32,0,29,17,33,0,87,48,0,27,16,0,9,32,0,86,17,33,0,88,48,6,32,0,3,0,33,32,0,88,0,8,16,32,1,37,16,17,0,2,32,0,88,17,0,0,32,0,3,17,0,19,0,15,0,68,21,0,11,32,0,87,21,0,1,0,19,21,0,6,0,19,0,14,0,69,21,0,2,34,0,87,0,0,0,64,17,21,0,42,0,21,26,0,63,21,0,33,34,0,29,21,21,16,33,0,89,48,6,32,0,89,0,33,0,0,0,6,0,64,21,0,5,0,19,21,34,0,88,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,89,17,0,9,32,0,86,17,0,8,16,32,1,37,16,17,0,6,33,0,89,50,6,32,0,89,0,27,16,0,2,34,0,86,17,0,0,33,0,3,50,6,32,0,24,0,14,0,64,17,0,9,32,0,89,0,13,0,63,17,17,0,10,33,0,25,50,0,8,16,0,2,33,0,24,50,6,32,0,24,0,1,32,0,24,0,14,0,63,17,0,2,32,0,89,17,17,33,0,89,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,30,0,50,0,31,27,32,0,10,0,150,27,16,6,34,0,18,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,90,48,6,34,0,39,0,47,1,22,26,16,6,32,0,13,0,42,0,33,26,33,0,1,50,6,34,0,54,0,33,32,0,13,17,33,0,91,48,6,32,0,34,0,42,0,33,26,33,0,3,50,6,32,0,34,0,42,0,33,26,33,0,89,50,6,34,0,20,0,12,34,0,21,17,0,33,32,0,34,17,0,30,16,0,21,34,0,40,0,31,16,0,33,32,0,36,17,17,33,0,36,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,92,48,6,0,63,0,11,32,0,3,17,0,11,32,0,92,17,33,0,93,48,6,32,0,93,0,27,16,32,1,37,16,0,42,0,33,26,32,0,89,17,33,0,94,48,0,15,0,64,17,33,0,95,48,6,32,0,89,0,1,16,0,6,0,63,17,33,0,96,48,6,32,0,94,0,1,16,0,6,0,63,17,33,0,97,48,6,32,0,13,33,0,26,49,6,34,0,34,0,42,0,33,26,33,0,25,50,6,32,0,92,0,2,32,0,97,17,32,0,27,0,151,26,16,6,32,1,14,0,34,16,0,0,0,68,17,0,14,32,0,1,17,0,2,32,0,97,17,32,0,27,0,152,26,16,6,0,68,0,16,32,0,3,17,0,9,0,68,0,11,32,0,94,17,17,33,0,98,48,0,11,32,0,91,17,0,30,16,0,28,16,33,0,99,48,6,0,69,0,14,32,0,3,17,33,0,100,48,0,9,32,0,98,17,0,26,16,0,10,32,0,98,17,33,0,101,48,6,0,68,0,25,16,0,37,32,0,3,17,0,10,32,0,101,17,0,16,32,0,100,17,0,2,0,68,17,0,6,32,0,96,17,0,27,0,2,34,0,100,21,0,6,0,26,21,0,68,17,0,2,32,0,98,17,32,0,27,0,153,26,16,6,32,1,26,0,14,32,0,1,17,33,0,102,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,103,48,6,32,1,16,0,34,16,0,0,0,67,17,0,14,32,0,1,17,33,0,104,48,32,1,37,0,51,0,11,27,32,0,103,17,0,9,32,0,102,17,33,0,105,48,6,32,0,105,0,10,32,0,104,17,0,27,16,0,2,32,0,97,17,34,0,27,0,154,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,101,17,0,26,0,53,0,9,27,16,32,0,13,32,0,10,0,155,27,16,6,32,1,15,0,34,16,0,0,0,68,17,0,14,32,0,1,17,33,0,106,48,6,0,64,0,16,34,0,89,17,0,26,16,0,9,32,0,106,17,0,11,32,0,95,17,33,0,107,48,6,32,0,93,0,27,0,64,17,0,9,33,0,106,50,6,32,0,106,0,11,32,0,107,17,32,0,13,32,0,10,0,156,27,16,6,32,0,107,0,10,32,0,101,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,108,48,6,32,0,92,0,30,16,33,0,109,48,0,0,0,52,32,0,108,0,53,0,33,27,27,16,0,0,0,64,17,33,0,110,48,6,32,0,3,0,33,32,0,109,17,0,13,0,76,17,33,0,111,48,6,32,0,3,0,33,32,0,110,17,33,0,112,48,6,32,0,94,0,33,32,0,110,17,0,6,0,63,17,0,13,32,0,112,17,0,9,32,0,111,17,32,0,13,0,33,32,0,110,21,32,0,10,0,157,27,16,6,32,0,1,0,33,32,0,109,17,0,42,0,1,26,32,1,15,0,34,16,17,0,0,32,0,107,0,33,32,0,109,17,17,0,0,34,0,112,0,15,0,63,17,17,0,0,32,0,111,17,33,0,113,48,6,32,0,77,0,21,33,0,110,50,6,32,0,1,0,44,0,63,26,16,0,33,0,52,32,0,110,27,0,54,32,0,77,0,44,0,72,26,16,0,21,32,0,113,17,27,16,0,1,0,52,0,26,27,16,33,0,114,48,6,32,0,114,0,33,32,0,41,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,114,49,0,33,32,0,13,17,33,0,115,48,0,2,16,33,0,116,48,6,32,0,114,0,14,0,72,17,33,0,117,48,0,2,0,69,17,0,1,33,0,114,50,6,32,0,96,0,14,0,64,17,0,2,32,0,116,17,0,6,33,0,25,50,6,32,1,15,0,34,16,0,42,0,1,26,32,1,33,17,0,14,32,0,90,17,0,11,32,0,114,17,32,0,47,16,33,0,118,48,6,32,0,25,0,33,32,0,41,17,34,0,47,16,33,0,119,48,6,32,0,30,0,33,32,0,53,17,0,21,0,63,17,0,42,0,1,26,0,64,17,1,23,16,6,32,0,119,33,0,120,48,6,32,0,51,32,1,38,0,51,0,16,27,33,0,119,50,6,0,63,0,14,32,0,75,17,0,9,32,0,119,17,0,24,0,64,17,32,0,45,0,30,20,32,0,10,0,159,0,160,11,2,0,55,0,11,0,52,34,0,120,0,24,0,64,17,27,0,47,0,10,26,20,27,27,16,6,32,0,119,0,2,0,68,17,0,6,33,0,75,50,6,32,0,82,0,2,33,0,75,50,6,32,0,75,0,14,0,68,17,0,33,32,0,46,17,0,33,32,0,13,17,33,0,121,48,6,32,0,121,0,14,0,1,0,18,21,33,0,96,50,6,34,0,121,0,14,0,1,0,18,21,33,0,97,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,122,48,6,32,1,33,0,0,32,0,8,17,0,16,32,0,1,17,0,9,34,0,117,0,33,32,0,13,17,17,33,0,123,48,0,30,16,33,0,124,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,93,17,17,0,10,34,0,123,17,0,10,34,0,122,17,0,11,0,63,0,16,32,0,3,17,0,9,32,0,116,17,0,26,16,0,11,32,0,93,17,0,11,32,0,91,17,17,33,0,125,48,6,32,0,116,0,11,34,0,125,0,10,32,0,92,17,17,32,0,13,32,0,10,0,161,27,16,6,32,0,116,0,33,32,0,109,17,0,11,0,68,0,14,34,0,113,17,0,9,34,0,115,0,33,32,0,109,17,0,13,0,65,17,17,17,32,0,13,0,33,32,0,109,21,32,0,10,0,162,27,16,6,32,0,116,0,12,0,52,0,27,27,16,0,9,32,0,3,0,15,0,63,17,17,0,9,32,0,94,0,11,0,63,17,17,0,11,32,0,91,17,32,0,13,32,0,10,0,163,27,16,6,32,0,116,0,33,32,0,109,17,33,0,126,48,0,12,33,0,111,50,6,32,0,109,0,30,34,0,126,17,33,0,127,48,6,32,0,111,0,42,0,30,26,33,0,109,50,6,32,0,77,0,44,0,64,26,16,0,21,34,0,111,17,0,42,0,30,26,33,0,110,50,6,34,0,17,0,27,16,33,0,128,48,0,30,16,33,0,129,48,6,32,0,90,32,0,8,0,53,0,11,27,0,9,0,15,0,52,0,63,27,21,16,0,11,34,0,92,0,9,32,0,116,17,0,26,16,0,33,32,0,41,17,0,10,34,0,128,17,0,10,34,0,76,17,17,0,30,16,33,0,130,48,6,32,0,114,0,33,32,0,81,17,33,0,131,48,0,11,0,63,17,33,0,132,48,6,0,68,0,68,11,2,32,1,25,34,0,114,0,33,32,0,130,17,33,0,133,48,17,33,0,134,48,6,0,67,0,11,34,0,131,17,0,9,32,0,132,17,32,0,81,32,0,10,0,164,27,16,6,32,0,46,0,33,32,0,130,17,33,0,135,48,6,32,0,90,0,33,32,0,130,17,33,0,136,48,6,32,0,7,0,13,16,0,11,32,0,136,17,0,9,32,0,135,0,14,0,63,17,17,0,9,32,0,134,17,33,0,137,48,6,32,0,7,0,33,32,0,136,0,30,32,0,137,17,17,33,0,138,48,0,14,0,63,17,32,0,130,0,30,32,0,137,21,32,0,10,0,165,27,16,6,32,0,134,0,30,0,52,34,0,137,27,0,54,34,0,138,0,15,0,63,17,27,16,33,0,134,49,6,0,63,0,15,32,0,7,17,0,30,16,33,0,139,48,0,44,0,63,26,16,33,0,140,48,6,32,0,136,0,30,32,0,134,17,33,0,141,48,0,21,32,0,139,17,0,39,32,0,85,0,13,16,0,21,32,0,135,0,30,32,0,134,17,33,0,142,48,17,0,21,32,0,140,17,33,0,143,48,17,33,0,144,48,6,32,0,33,0,33,34,0,53,17,0,42,0,1,26,0,64,17,0,21,32,0,1,0,13,16,17,0,33,32,0,142,17,0,21,34,0,33,0,30,34,0,45,17,0,21,0,59,17,0,33,34,0,135,17,0,0,32,0,133,0,14,0,64,17,17,17,33,0,145,48,6,32,0,145,0,31,16,0,33,0,52,32,0,141,0,21,32,0,136,17,33,0,146,48,0,53,0,33,27,0,31,20,27,16,33,0,147,48,6,32,0,147,0,30,0,52,0,15,0,52,32,0,134,0,13,16,27,27,16,1,24,16,6,32,0,147,0,33,34,0,141,0,44,0,59,26,16,0,21,32,0,134,17,0,33,32,0,147,17,0,49,0,0,26,16,33,0,148,48,0,31,16,17,0,30,0,52,32,0,134,0,13,16,0,53,0,11,27,27,16,33,0,147,49,6,32,0,147,0,42,0,33,26,33,0,134,50,6,32,0,147,0,42,0,33,26,33,0,130,50,6,32,0,147,0,42,0,33,26,33,0,133,50,6,34,0,148,0,11,0,63,17,0,10,0,52,0,27,27,16,0,8,16,0,47,0,0,26,16,33,0,149,48,6,34,0,136,0,33,32,0,147,0,23,32,0,149,17,17,33,0,150,48,6,32,0,7,0,13,16,0,16,32,0,150,17,32,0,130,0,23,32,0,149,21,32,0,10,32,0,150,0,53,0,30,27,0,38,20,32,1,29,0,166,21,27,16,6,32,0,133,0,11,0,63,17,33,0,151,48,0,9,0,69,0,11,34,0,133,17,17,33,0,152,48,6,34,0,32,0,33,32,0,130,17,0,33,0,52,32,0,134,32,1,37,16,0,24,32,0,149,17,27,0,21,34,0,7,0,6,0,63,17,0,1,16,33,0,153,48,0,33,32,0,150,17,21,0,1,0,19,21,16,33,0,154,48,6,32,0,154,0,11,0,63,17,0,9,32,0,152,17,32,0,130,32,0,10,0,167,27,16,6,34,0,152,32,1,39,0,24,0,64,21,0,16,0,30,21,32,0,134,17,33,0,155,48,0,33,34,0,147,0,30,32,0,134,17,0,31,16,33,0,156,48,17,0,21,34,0,140,17,0,39,34,0,143,17,33,0,157,48,6,34,0,142,0,21,34,0,153,17,0,36,0,0,32,0,85,0,53,0,33,27,21,16,0,19,0,24,0,52,0,13,27,34,0,139,21,0,33,0,52,0,31,27,34,0,156,21,0,33,32,0,134,0,24,34,0,149,17,0,49,0,0,26,0,59,17,21,0,21,0,33,0,52,34,0,150,27,21,16,33,0,158,48,6,32,0,154,0,11,0,63,17,32,1,39,0,11,34,0,155,0,21,0,64,17,21,0,33,0,52,0,49,0,0,26,27,0,18,21,32,0,134,17,0,9,32,0,134,0,26,0,64,17,0,11,32,0,151,17,17,33,0,159,48,6,32,0,90,0,33,32,0,81,17,0,0,0,69,17,0,0,32,0,82,0,2,0,69,17,0,33,32,0,46,0,33,32,0,81,17,33,0,160,48,17,17,33,0,161,48,6,34,0,160,0,2,0,72,17,0,0,32,0,161,17,0,28,0,54,0,37,27,16,0,21,33,0,159,50,6,0,64,0,1,32,0,77,17,0,42,0,33,26,32,0,13,17,0,0,0,64,17,32,0,129,32,0,81,0,21,32,0,130,17,11,3,0,30,0,69,0,68,0,69,11,3,17,0,21,16,33,0,162,48,6,34,0,132,0,21,34,0,151,17,0,12,0,2,0,68,21,0,0,0,19,21,34,0,159,17,0,0,0,79,17,33,0,163,48,6,32,0,77,0,44,0,79,26,16,32,0,77,0,44,0,63,26,16,34,0,71,0,30,34,0,73,17,32,0,129,0,44,0,80,26,16,34,0,90,0,33,34,0,129,17,34,0,163,34,0,81,0,44,0,63,26,16,0,21,34,0,154,17,34,0,161,0,21,34,0,158,17,11,8,33,0,164,48,6,32,0,101,0,8,16,0,49,0,0,26,16,32,1,36,0,1,0,19,21,32,0,93,17,0,7,0,10,0,12,21,0,68,17,0,9,32,0,95,17,33,0,165,48,6,34,0,98,0,27,16,0,10,0,64,0,14,32,0,3,17,17,33,0,166,48,0,11,32,0,116,0,11,32,0,93,17,0,10,0,52,0,26,27,16,0,10,32,0,101,17,0,10,34,0,165,17,0,10,32,0,91,17,33,0,167,48,17,0,30,16,33,0,168,48,6,34,0,166,0,10,34,0,167,17,0,12,32,0,95,17,32,0,13,32,0,10,0,168,27,16,6,0,63,0,14,32,0,3,17,0,11,32,0,101,17,0,10,0,63,0,16,32,0,3,17,0,9,34,0,95,17,17,0,8,16,0,2,0,68,17,0,6,34,0,96,17,0,26,0,68,17,0,33,32,0,168,17,33,0,169,48,0,13,0,68,17,33,0,170,48,6,32,1,26,0,11,32,0,1,17,0,11,34,0,91,17,0,30,16,33,0,171,48,0,42,0,33,26,32,0,1,17,33,0,172,48,0,9,16,0,38,16,33,0,173,48,0,27,0,1,0,19,21,0,59,17,0,30,16,0,33,34,0,172,17,33,0,174,48,6,34,0,8,0,0,32,1,33,17,33,0,175,48,0,16,32,0,1,17,0,30,16,33,0,176,48,0,21,34,0,171,17,33,0,177,48,6,32,0,1,0,33,34,0,176,17,0,0,32,0,173,0,13,16,0,42,0,1,26,34,0,175,17,17,0,21,33,0,174,50,6,34,0,41,0,33,34,0,38,17,33,0,178,48,6,0,63,0,21,32,0,105,17,0,49,0,0,26,16,0,30,0,64,0,21,32,0,104,17,17,0,24,0,64,17,0,27,0,53,0,1,27,16,0,0,34,0,93,0,26,0,64,17,0,30,34,0,104,17,0,8,16,17,0,42,0,21,26,34,0,35,17,33,0,179,48,6,0,77,0,14,32,0,3,17,0,27,16,0,10,34,0,105,17,0,10,32,0,97,0,14,0,68,17,17,0,12,34,0,102,17,0,30,16,0,21,34,0,77,0,30,0,52,0,8,27,32,0,78,17,17,33,0,180,48,6,34,0,103,0,30,16,33,0,181,48,6,32,1,14,0,34,16,0,0,0,68,17,0,14,32,0,1,17,0,30,16,33,0,182,48,6,32,0,170,0,0,32,0,168,17,0,0,0,52,32,0,108,0,53,0,33,27,0,2,32,0,170,21,27,16,33,0,183,48,6,32,0,183,0,30,34,0,97,0,33,32,0,168,17,33,0,184,48,0,14,0,68,17,33,0,185,48,0,2,32,0,170,0,0,0,64,17,17,17,0,21,33,0,180,50,6,32,0,185,0,8,16,33,0,185,49,6,32,0,185,0,42,0,30,26,33,0,168,50,6,32,0,185,0,42,0,30,26,33,0,183,50,6,34,0,78,0,1,16,0,21,34,0,106,0,0,32,0,107,17,0,0,32,0,1,17,0,33,34,0,109,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,186,48,6,32,0,177,32,0,177,32,0,178,32,0,178,32,0,124,32,0,36,0,30,0,68,17,32,0,110,32,0,180,32,0,182,0,64,0,0,32,0,127,17,0,64,0,0,32,0,127,17,34,0,108,0,33,32,0,99,17,0,6,0,64,17,0,0,32,0,99,17,34,0,183,32,0,181,11,14,0,21,16,0,42,0,33,26,32,0,13,17,0,21,34,0,162,17,33,0,187,48,0,31,16,33,0,188,48,6,34,0,177,0,44,0,63,26,16,34,0,174,32,0,178,0,44,0,64,26,16,34,0,178,0,13,16,0,25,16,0,0,0,64,17,34,0,124,0,44,0,82,26,16,34,0,179,0,22,34,0,116,0,33,34,0,36,17,0,0,0,60,17,17,0,29,16,0,20,16,34,0,186,34,0,180,0,44,0,72,26,16,34,0,182,0,44,0,83,26,16,32,0,127,0,44,0,84,26,16,34,0,1,0,33,0,64,0,1,34,0,127,17,17,0,42,0,1,26,32,1,33,17,34,0,3,0,33,32,0,99,17,0,0,0,85,17,34,0,94,0,33,32,0,168,17,0,11,0,63,17,0,2,0,67,17,0,0,34,0,169,0,14,0,64,17,0,6,34,0,184,17,0,2,0,68,17,0,0,34,0,170,17,0,30,34,0,185,17,17,0,0,0,86,17,32,0,118,0,0,0,87,17,33,0,189,48,0,24,0,59,17,11,14,0,21,34,0,164,17,0,21,16,0,33,32,0,188,17,33,0,190,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,191,48,6,34,0,110,0,42,0,1,26,0,64,17,34,0,99,32,0,168,11,3,0,21,16,32,0,191,32,0,5,0,13,16,0,42,0,1,26,0,64,17,0,5,34,0,187,17,0,28,0,52,0,13,0,50,0,1,27,27,32,0,181,17,17,33,0,192,48,6,32,0,5,32,0,6,11,2,0,44,0,33,0,52,0,28,0,52,32,0,181,0,13,16,27,0,33,32,0,188,21,0,42,0,21,26,0,59,21,27,26,32,0,192,34,0,107,0,10,34,0,101,17,0,8,16,0,27,16,32,1,37,16,0,33,34,0,168,17,34,0,191,34,0,192,17,11,2,17,33,0,193,48,6,32,0,75,0,13,0,64,17,0,9,32,0,82,17,0,10,33,0,52,50,0,30,16,33,0,194,48,0,42,0,33,26,34,0,75,17,33,0,195,48,0,14,0,64,17,0,0,0,64,17,33,0,196,48,0,30,16,33,0,197,48,6,34,0,195,0,11,0,64,17,0,0,32,0,48,0,44,0,63,26,16,0,30,0,52,34,0,48,27,0,54,34,0,58,27,16,0,33,32,0,194,17,0,2,0,68,17,17,0,5,0,67,17,33,0,198,48,6,32,0,51,0,33,32,0,194,17,33,0,199,48,0,49,0,0,26,0,59,17,33,0,200,48,6,32,0,198,0,0,34,0,196,17,0,33,0,52,0,32,0,50,0,33,0,52,32,0,200,0,53,0,33,27,0,31,20,0,30,34,0,199,21,27,27,27,16,0,6,32,0,82,0,30,32,0,52,0,9,32,0,51,17,17,0,8,16,0,1,0,68,17,17,33,0,201,48,6,32,0,194,0,33,32,0,197,17,0,39,32,0,201,0,49,0,0,26,16,0,21,0,63,17,0,24,0,33,34,0,200,21,0,0,34,0,198,21,0,33,0,0,0,18,0,50,0,36,27,21,34,0,197,21,0,42,0,21,26,0,23,21,0,59,17,17,0,39,0,52,0,30,27,34,0,201,17,33,0,194,49,6,34,0,83,0,30,32,0,51,17,34,0,82,0,8,16,0,30,32,0,51,17,32,0,51,0,30,16,0,30,0,52,34,0,52,0,30,34,0,51,17,27,0,54,34,0,194,27,16,11,3,33,0,202,48,6,34,0,181,0,13,0,51,0,1,27,32,0,190,17,0,16,34,0,188,17,0,21,0,64,17,0,30,16,32,0,144,0,44,0,13,26,16,0,0,34,0,85,17,34,0,144,34,0,157,11,4,33,0,203,48,6,34,0,189,0,34,0,59,17,0,21,34,0,190,17,34,0,173,34,0,202,34,0,203,34,0,193,11,5,7,11,0,0,44,0,169,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,17,27,0,54,0,44,0,64,26,27,16,32,1,13,34,0,2,0,42,0,33,26,16,17,7,34,0,1,0,30,16,0,34,16,0,112,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,113,11,2,0,40,16,7,32,1,26,0,30,34,0,1,17,0,114,11,2,0,40,16,7,32,1,26,0,30,34,0,1,17,0,115,11,2,0,40,16,7,34,0,2,0,30,34,0,1,17,0,42,0,33,26,32,1,26,17,0,116,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,126,27,0,42,0,64,34,0,4,0,127,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,128,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,133,27,16,7,34,0,1,0,6,33,1,25,50,0,14,0,68,17,32,1,26,32,1,10,34,0,4,27,16,7,32,2,27,32,2,25,34,0,1,17,0,9,32,1,46,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,17,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,24,0,33,32,0,1,17,0,2,0,52,0,8,27,32,1,118,17,0,6,33,1,119,50,0,14,0,68,17,32,1,30,0,50,0,31,27,0,33,34,0,1,21,32,1,10,0,158,27,16,7,32,1,145,0,33,0,52,32,0,1,27,0,13,0,52,0,27,27,20,0,51,0,10,27,32,1,146,17,0,8,16,32,1,130,0,30,0,52,32,1,134,27,0,53,0,21,27,20,0,33,34,0,1,21,32,1,10,0,165,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,106,21,0,21,34,0,1,21,0,21,0,125,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[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[57],runtime[59],runtime[60],runtime[62],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,42,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("Predicates can\'t be placed inside lists"),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 : ; ? 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("Block header conflicts with other bodies"),str("Special name outside of any block"),str("Only blocks with explicit arguments can have multiple bodies"),str("Dot must be preceded by a subject"),str("Nothing (·) cannot be assigned"),str("Can\'t use Nothing (·) as predicate"),str("Missing operand"),str("Can\'t use Nothing (·) in lists"),str("Double subjects (missing ‿?)"),str("No right-hand side in non-modified assignment"),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,204],[12118,19],[12361,3],[12369,3],[12409,3],[12426,3],[12465,3],[12482,3],[12499,3],[12525,3],[12561,3],[12592,6],[12724,3],[12791,3],[12841,5],[12867,3],[12889,3],[12947,3],[13000,3],[13062,3],[13087,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[43] = 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,16,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,17,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[26],runtime[27],runtime[28],runtime[29],runtime[30],runtime[31],runtime[33],runtime[36],runtime[37],runtime[43],runtime[44],runtime[45],runtime[46],runtime[47],runtime[48],runtime[50],runtime[51],runtime[52],runtime[53],runtime[54],runtime[55],runtime[56],runtime[57],runtime[59],runtime[60],runtime[62],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 { cl=is[--k]-o+1; } }
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[61](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;
if (!has(w)) return r();
let n = 1;
if (!w.sh) reqnat("Range: 𝕨", n=w);
else {
if (w.sh.length>1) throw Error("Range: array 𝕨 must have rank at most 1");
w.map(m => {reqnat("Range: 𝕨 element", m); n*=m;});
}
return arr(Array(n).fill().map(r), w.sh?w:[n], 0);
};
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;
}
|