aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--bqn.js18
-rwxr-xr-xsrc/cjs.bqn17
-rwxr-xr-xsrc/pr.bqn16
3 files changed, 27 insertions, 24 deletions
diff --git a/bqn.js b/bqn.js
index e76889dc..1f4eeddc 100644
--- a/bqn.js
+++ b/bqn.js
@@ -113,11 +113,7 @@ let group_ord = (x,w) => { // ∾⊔x assuming w=group_len(x)
return list(r);
}
-let runtime = run(
- new Uint8Array([15,1,25,21,0,1,22,0,3,22,0,4,22,0,5,22,0,6,22,0,7,22,0,8,22,0,9,22,0,10,22,0,11,22,0,12,22,0,13,22,0,14,22,0,15,22,0,16,22,0,17,22,0,18,22,0,19,22,0,20,22,0,21,22,0,22,22,0,23,4,21,11,14,15,2,22,0,24,11,14,15,3,22,0,25,11,14,15,4,21,0,23,15,5,8,22,0,26,11,14,15,6,22,0,27,11,14,15,7,22,0,28,11,14,15,8,22,0,29,11,14,15,9,22,0,30,11,14,15,10,22,0,31,11,14,15,11,22,0,32,11,14,21,0,15,21,0,30,21,0,14,8,0,0,3,2,21,0,24,21,0,3,8,22,0,33,11,14,21,0,15,21,0,30,21,0,14,8,21,0,11,21,0,16,21,0,30,0,0,8,19,0,0,3,2,21,0,24,21,0,3,8,22,0,34,11,14,21,0,27,21,0,16,7,21,0,10,0,1,19,21,0,23,15,12,8,22,0,35,11,14,21,0,16,21,0,10,0,1,19,22,0,36,11,14,15,13,21,0,19,21,0,36,19,21,0,23,21,0,14,8,22,0,37,11,14,15,14,21,0,19,21,0,35,19,21,0,23,21,0,10,21,0,28,21,0,37,21,0,28,21,0,10,8,8,8,22,0,38,11,14,0,1,21,0,17,21,0,19,0,0,19,3,2,21,0,24,21,0,15,21,0,35,0,0,19,8,22,0,39,11,14,15,15,22,0,40,11,14,21,0,40,22,0,41,11,14,21,0,3,21,0,10,0,1,19,21,0,32,21,0,35,8,22,0,42,11,14,21,0,17,21,0,31,15,16,8,22,0,43,11,14,15,17,22,0,44,11,14,15,18,22,0,45,11,14,15,19,22,0,46,11,14,21,0,16,21,0,10,21,0,27,21,0,16,7,19,22,0,47,11,14,0,1,21,0,18,21,0,19,0,0,19,21,0,31,21,0,16,21,0,11,0,2,19,21,0,10,0,1,19,15,20,3,2,21,0,24,21,0,25,21,0,28,21,0,3,8,8,8,3,2,21,0,24,21,0,25,21,0,28,21,0,17,8,21,0,41,21,0,11,7,0,1,19,21,0,35,0,0,19,8,22,0,48,11,14,21,0,47,21,0,48,21,0,27,21,0,48,7,21,0,10,9,3,2,21,0,24,21,0,26,21,0,28,21,0,3,8,8,15,21,3,3,21,0,24,21,0,3,21,0,29,21,0,9,8,8,22,0,49,11,14,15,22,22,0,50,11,14,15,23,22,0,51,11,14,21,0,15,21,0,35,0,0,19,21,0,32,15,24,8,22,0,52,11,14,15,25,22,0,53,11,14,15,26,22,0,54,11,14,15,27,22,0,55,11,14,15,28,22,0,56,11,14,15,29,22,0,57,11,14,21,0,3,21,0,29,21,0,15,8,0,0,3,2,21,0,25,21,0,28,21,0,3,8,21,0,15,3,2,21,0,15,21,0,29,21,0,15,8,0,0,3,2,21,0,17,21,0,29,21,0,57,21,0,15,7,8,21,0,41,21,0,11,7,0,1,19,0,0,3,2,15,30,3,5,21,0,41,15,31,7,16,22,0,58,11,14,0,0,15,32,3,2,21,0,24,21,0,3,8,22,0,59,11,14,21,0,58,21,0,23,21,0,59,8,22,0,60,11,14,21,0,58,21,0,10,0,1,19,21,0,23,3,0,21,0,17,3,2,21,0,24,21,0,3,8,8,22,0,61,11,14,21,0,3,21,0,32,21,0,18,21,0,28,21,0,39,8,21,0,35,0,0,19,21,0,32,15,33,8,8,22,0,62,11,14,21,0,46,21,0,12,7,22,0,63,11,14,21,0,46,21,0,13,7,22,0,64,11,14,21,0,27,21,0,63,21,0,31,21,0,64,8,7,21,0,23,0,2,21,0,63,16,21,0,31,21,0,64,8,8,22,0,65,11,14,21,0,46,15,34,21,0,23,21,0,10,21,0,25,3,2,21,0,24,21,0,16,21,0,30,0,0,8,8,8,7,22,0,66,11,14,21,0,46,15,35,21,0,23,21,0,37,8,7,22,0,67,11,14,21,0,46,15,36,21,0,23,21,0,10,21,0,28,21,0,67,21,0,28,21,0,10,8,8,8,7,22,0,68,11,14,21,0,46,21,0,11,7,22,0,69,11,14,21,0,46,21,0,11,21,0,10,21,0,9,19,7,22,0,70,11,14,21,0,46,21,0,11,21,0,23,21,0,36,21,0,10,21,0,35,19,21,0,30,0,0,8,8,7,22,0,71,11,14,21,0,46,21,0,27,21,0,16,7,21,0,10,0,1,19,7,21,0,23,15,37,8,22,0,72,11,14,21,0,46,21,0,16,21,0,10,0,1,19,7,21,0,23,21,0,62,8,22,0,73,11,14,21,0,46,21,0,15,21,0,10,0,1,19,7,21,0,23,21,0,39,8,22,0,74,11,14,21,0,46,21,0,15,7,21,0,23,21,0,15,8,22,0,75,11,14,21,0,46,21,0,27,21,0,16,7,7,21,0,23,0,0,21,0,28,21,0,8,8,8,22,0,76,11,14,21,0,46,21,0,16,7,21,0,23,0,0,21,0,28,21,0,8,8,8,22,0,77,11,14,21,0,46,21,0,9,7,22,0,78,11,14,21,0,46,21,0,10,7,22,0,79,11,14,21,0,79,21,0,78,0,1,19,22,0,80,11,14,21,0,78,0,0,3,2,21,0,79,0,0,3,2,21,0,71,0,1,3,2,21,0,63,0,1,3,2,21,0,64,0,1,3,2,21,0,65,0,1,3,2,21,0,69,0,1,3,2,21,0,70,0,0,3,2,21,0,66,0,0,3,2,21,0,67,0,6,3,2,21,0,68,0,7,3,2,21,0,72,0,0,3,2,21,0,77,0,1,3,2,21,0,75,0,1,3,2,21,0,76,0,1,3,2,21,0,73,0,0,3,2,21,0,74,0,0,3,2,3,17,21,0,41,15,38,7,0,0,21,0,28,21,0,8,8,3,1,21,0,19,0,0,17,17,22,0,81,11,14,15,39,21,0,18,3,2,21,0,24,21,0,3,8,22,0,82,11,14,21,0,42,21,0,31,15,40,8,22,0,83,11,14,21,0,18,21,0,23,21,0,82,8,22,0,84,11,14,15,41,22,0,85,11,14,15,42,21,0,23,15,43,8,22,0,86,11,14,21,0,86,21,0,28,21,0,73,8,22,0,87,11,14,15,44,22,0,88,11,14,15,45,22,0,89,11,14,21,0,89,22,0,90,11,14,15,46,22,0,91,11,14,21,0,91,22,0,92,11,14,15,47,22,0,93,11,14,15,48,22,0,94,11,14,21,0,94,22,0,95,11,14,15,49,22,0,96,11,14,0,1,21,0,96,21,0,53,8,21,0,30,21,0,42,8,22,0,97,11,14,21,0,97,21,0,23,21,0,97,21,0,30,0,0,8,8,22,0,98,11,14,21,0,84,21,0,29,21,0,44,8,15,50,3,2,21,0,24,21,0,75,21,0,72,0,1,19,21,0,29,21,0,70,8,8,22,0,99,11,14,15,51,22,0,100,11,14,15,52,22,0,101,11,14,21,0,100,21,0,23,21,0,101,8,22,0,102,11,14,15,53,22,0,103,11,14,15,54,22,0,104,11,14,21,0,103,21,0,23,21,0,104,8,22,0,105,11,14,15,55,22,0,106,11,14,21,0,98,21,0,30,21,0,51,8,22,0,107,11,14,21,0,74,21,0,75,0,0,19,21,0,79,0,1,19,21,0,96,15,56,15,57,3,2,21,0,24,15,58,8,8,22,0,108,11,14,21,0,106,21,0,23,21,0,85,8,22,0,109,11,14,0,0,21,0,96,21,0,55,8,21,0,23,21,0,54,8,22,0,110,11,14,21,0,108,21,0,23,21,0,51,8,22,0,111,11,14,21,0,84,21,0,28,21,0,74,8,21,0,72,0,0,19,21,0,32,15,59,15,60,3,2,21,0,24,21,0,21,21,0,75,7,21,0,74,0,1,19,21,0,41,21,0,70,7,9,0,1,3,2,21,0,24,21,0,75,21,0,74,0,1,19,8,8,8,22,0,112,11,14,15,61,22,0,113,11,14,15,62,22,0,114,11,14,15,63,22,0,115,11,14,21,0,99,21,0,23,21,0,112,8,22,0,116,11,14,21,0,115,21,0,23,21,0,114,8,22,0,117,11,14,15,64,22,0,118,11,14,21,0,118,15,65,3,2,21,0,24,21,0,26,21,0,28,21,0,84,21,0,28,21,0,21,21,0,3,7,8,8,21,0,41,21,0,70,7,9,8,22,0,119,11,14,21,0,119,21,0,30,21,0,84,21,0,25,3,2,21,0,24,21,0,3,8,8,22,0,120,11,14,15,66,22,0,121,11,14,15,67,22,0,122,11,14,15,68,22,0,123,11,14,15,69,22,0,124,11,14,21,0,124,21,0,49,7,21,0,23,0,0,21,0,50,21,0,49,8,8,22,0,125,11,14,21,0,124,21,0,27,21,0,49,7,7,21,0,23,0,1,21,0,50,21,0,27,21,0,49,7,8,8,22,0,126,11,14,15,70,22,0,127,11,14,15,71,22,0,128,1,11,14,15,72,22,0,129,1,11,14,21,0,127,0,1,7,21,0,23,0,0,21,0,28,21,0,8,8,8,22,0,130,1,11,14,21,0,27,21,0,127,0,0,7,7,21,0,23,21,0,128,1,8,22,0,131,1,11,14,21,0,129,1,21,0,23,21,0,111,21,0,30,21,0,131,1,8,8,22,0,132,1,11,14,15,73,22,0,133,1,11,14,21,0,133,1,21,0,23,21,0,52,8,22,0,134,1,11,14,21,0,125,21,0,28,21,0,125,8,21,0,98,21,0,79,21,0,25,19,21,0,27,21,0,130,1,7,19,22,0,135,1,11,14,15,74,22,0,136,1,11,14,21,0,136,1,21,0,23,21,0,135,1,8,22,0,137,1,11,14,21,0,120,21,0,23,21,0,84,21,0,19,0,0,19,8,22,0,138,1,11,14,15,75,22,0,139,1,11,14,21,0,78,21,0,27,21,0,79,7,21,0,23,21,0,78,8,21,0,79,21,0,79,21,0,71,21,0,27,21,0,63,7,21,0,23,21,0,25,8,21,0,63,21,0,63,21,0,64,21,0,46,21,0,5,7,21,0,65,21,0,27,21,0,64,7,21,0,23,0,2,21,0,31,21,0,64,8,8,21,0,69,21,0,27,21,0,63,7,21,0,23,21,0,25,8,21,0,70,21,0,25,21,0,79,0,1,19,21,0,63,21,0,27,21,0,79,7,19,21,0,23,21,0,25,8,21,0,72,0,0,21,0,28,21,0,8,8,21,0,23,15,76,8,21,0,111,0,0,21,0,28,21,0,8,8,21,0,23,15,77,8,3,20,21,0,84,21,0,30,21,0,74,21,0,27,21,0,63,7,0,2,19,21,0,27,21,0,116,7,0,2,19,8,16,21,0,134,1,16,15,78,16,22,0,140,1,11,14,15,79,22,0,141,1,11,14,15,80,22,0,142,1,11,14,21,0,142,1,22,0,143,1,11,14,21,0,83,21,0,23,21,0,82,8,22,0,144,1,11,14,15,81,22,0,145,1,11,14,21,0,69,21,0,23,21,0,98,21,0,30,21,0,125,8,8,22,0,146,1,11,14,21,0,70,21,0,23,21,0,98,21,0,30,21,0,126,8,8,22,0,147,1,11,14,21,0,56,22,0,148,1,11,14,21,0,78,21,0,79,21,0,71,21,0,63,21,0,64,21,0,65,21,0,67,21,0,68,21,0,66,21,0,80,21,0,146,1,21,0,147,1,21,0,72,21,0,73,21,0,74,21,0,75,21,0,77,21,0,76,21,0,60,21,0,61,21,0,26,21,0,25,21,0,144,1,21,0,116,21,0,87,21,0,102,21,0,105,21,0,109,21,0,110,21,0,134,1,21,0,111,21,0,125,21,0,126,21,0,98,21,0,138,1,21,0,130,1,21,0,137,1,21,0,131,1,21,0,132,1,21,0,117,21,0,8,21,0,27,21,0,93,21,0,57,21,0,145,1,21,0,141,1,21,0,41,21,0,95,21,0,22,21,0,28,21,0,29,21,0,30,21,0,31,21,0,148,1,21,0,23,21,0,139,1,21,0,92,21,0,90,21,0,143,1,3,59,25,21,0,1,15,82,21,0,5,21,1,19,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,21,1,26,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,26,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,26,21,0,2,17,17,25,21,0,1,15,83,21,1,25,21,0,4,3,2,21,1,19,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,21,1,18,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,21,1,15,16,21,1,15,0,1,17,21,1,8,16,14,21,0,1,22,0,5,11,21,1,39,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,26,21,1,23,15,84,15,85,3,2,21,1,24,21,0,6,21,1,35,0,0,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,21,1,20,16,21,1,21,21,1,10,21,1,30,0,1,21,1,10,21,0,6,17,8,7,16,21,1,21,15,86,7,16,14,21,0,8,25,21,0,2,21,1,10,21,0,1,21,1,39,16,17,21,1,20,16,21,1,21,21,1,27,21,0,1,7,21,1,19,21,1,9,21,1,30,21,0,2,8,19,7,16,25,21,0,2,21,1,39,16,22,0,3,11,14,21,0,1,21,1,39,16,21,1,9,21,0,3,17,21,1,20,16,21,1,21,21,0,2,21,1,31,21,1,19,8,21,1,27,21,0,1,7,21,1,19,21,0,3,21,1,31,21,1,10,8,19,3,2,21,1,24,21,1,16,21,1,30,21,0,3,8,8,7,16,25,15,87,22,0,2,11,14,15,88,22,0,3,11,14,21,0,3,21,0,1,7,21,1,27,21,0,3,21,1,27,21,0,1,7,7,7,3,2,21,1,24,21,1,15,21,1,29,21,1,36,8,8,21,0,2,21,0,1,7,3,2,21,1,24,21,1,15,21,1,29,21,1,15,8,8,25,15,89,21,0,1,7,22,0,2,11,14,21,0,1,15,90,15,91,3,2,21,1,24,21,1,3,21,1,29,21,1,36,8,8,21,1,23,21,1,21,21,0,2,7,8,21,1,45,21,0,2,7,3,3,21,1,24,21,1,3,21,1,29,21,1,9,8,8,25,21,0,1,21,1,48,21,0,2,17,25,21,0,1,21,1,17,21,1,29,21,1,121,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,41,21,1,122,21,0,1,21,1,18,16,21,1,31,21,1,19,8,21,1,31,21,1,49,21,1,30,21,0,2,21,1,18,16,21,1,31,21,1,19,8,8,8,7,7,16,22,0,4,11,14,0,0,21,1,27,21,0,4,7,16,25,21,0,1,21,1,15,16,21,1,16,0,1,17,21,1,8,16,14,21,0,1,21,1,39,16,22,0,6,11,14,21,0,1,21,1,43,0,1,17,21,1,41,21,1,11,7,0,1,17,22,0,7,11,14,21,0,1,21,1,18,16,22,0,8,11,14,0,0,22,0,9,11,22,0,10,11,14,21,0,8,0,0,21,1,21,21,1,33,7,21,1,41,21,1,11,7,0,1,19,3,2,21,1,24,21,0,6,21,1,35,0,3,17,21,1,11,0,1,21,1,15,21,0,7,17,17,8,16,21,1,25,21,1,32,21,0,1,21,1,31,15,92,8,8,16,21,1,10,0,1,17,22,0,11,11,14,21,0,1,21,1,21,21,0,10,21,1,31,21,1,10,8,21,1,10,21,1,30,21,0,9,8,3,2,21,1,19,21,0,5,17,7,21,1,7,21,1,30,21,1,6,8,9,15,93,21,0,4,7,3,2,21,1,24,21,0,11,8,16,25,21,0,1,21,1,15,16,21,1,15,0,1,17,21,1,8,16,14,21,0,1,21,1,39,16,22,0,3,11,14,21,0,1,21,0,3,21,1,35,0,0,17,21,1,32,15,94,8,16,25,21,0,1,21,1,39,16,22,0,3,11,14,21,0,1,21,1,43,0,1,17,22,0,4,11,21,1,41,21,1,11,7,0,1,17,22,0,5,11,14,21,0,3,21,1,20,16,21,1,21,21,1,27,21,0,1,21,1,18,16,7,21,1,19,21,1,11,21,1,30,21,0,5,8,21,1,31,21,1,9,8,19,7,21,0,5,21,1,20,16,21,1,18,21,0,4,17,17,25,21,0,2,21,1,3,16,21,1,8,16,14,21,0,2,21,1,21,21,1,33,7,16,21,1,18,16,21,1,41,21,1,11,7,0,1,17,21,1,8,16,14,21,0,1,21,1,39,16,22,0,3,11,14,21,0,2,21,1,21,21,1,36,21,1,30,21,0,3,8,21,1,11,21,1,16,21,1,30,21,0,3,21,1,10,16,8,19,7,16,21,1,18,16,21,1,41,21,1,11,7,0,1,17,21,1,8,16,14,21,0,1,15,95,15,96,3,2,21,1,24,21,0,1,21,1,15,16,21,1,15,0,1,17,8,21,0,2,21,1,21,21,1,25,21,1,36,0,0,19,21,1,11,21,0,3,19,21,1,9,21,1,25,19,7,16,17,25,21,0,1,21,1,15,16,21,1,16,0,1,17,21,1,8,16,14,21,0,1,21,1,39,16,22,0,3,11,14,21,0,1,21,1,97,21,0,3,21,1,20,16,21,1,21,21,1,10,21,1,30,0,1,21,1,10,21,0,3,17,8,7,16,17,25,21,0,2,21,1,33,16,21,1,8,16,14,21,0,1,21,1,39,16,22,0,3,11,14,21,0,3,21,1,12,21,0,2,17,21,1,37,16,21,1,11,21,0,3,17,21,1,10,22,0,2,13,14,21,0,1,21,1,97,21,0,3,21,1,20,16,21,1,21,21,1,25,21,1,16,21,0,2,21,1,10,21,0,3,17,19,21,1,11,21,0,3,19,21,1,10,21,1,25,19,21,1,9,21,0,2,19,7,16,17,25,21,0,1,21,1,17,16,22,0,6,11,21,1,41,21,1,11,7,0,1,17,22,0,7,11,21,1,20,16,22,0,8,11,14,21,0,1,21,0,5,21,1,29,21,0,4,8,21,0,2,17,21,1,18,16,22,0,9,11,14,21,0,8,21,1,18,21,0,6,17,21,0,5,16,21,1,18,16,22,0,10,11,0,0,21,1,50,21,1,47,8,16,22,0,11,11,14,21,1,27,21,0,10,7,21,1,19,21,0,11,21,1,31,21,1,19,8,19,21,0,7,3,2,21,1,24,21,1,16,21,1,30,21,0,11,21,1,39,16,8,8,22,0,12,11,14,0,0,22,0,13,11,21,0,12,16,22,0,14,11,14,21,0,8,21,1,21,21,0,1,21,1,18,16,21,1,31,21,1,19,8,15,97,3,2,21,1,24,15,98,8,7,16,21,1,18,21,0,6,17,25,21,1,42,21,1,29,21,1,45,21,0,1,7,21,1,23,21,1,21,21,0,1,7,8,8,25,21,0,1,21,1,57,21,1,58,7,21,0,2,17,21,1,18,16,21,1,41,21,1,11,7,0,1,17,25,21,0,2,21,1,19,0,1,17,21,0,1,3,2,21,1,24,21,0,2,21,1,19,0,0,17,8,25,21,0,1,21,1,18,16,21,1,21,21,1,59,7,16,21,1,41,21,1,10,21,1,11,21,1,16,19,21,1,10,21,1,26,19,7,0,0,17,21,1,9,0,1,17,25,21,0,1,21,1,18,16,21,1,19,0,0,17,21,1,61,16,22,0,3,11,14,21,0,1,21,1,18,16,21,1,21,21,1,61,21,1,60,21,0,3,19,7,16,21,1,41,21,1,11,7,0,1,17,21,1,8,16,14,21,0,3,21,1,41,21,1,11,7,0,1,17,21,1,20,16,21,1,18,21,0,3,17,21,1,21,21,1,27,21,1,82,21,1,31,21,1,19,8,7,7,21,0,1,17,25,21,0,2,21,1,63,21,0,1,17,21,1,37,16,21,1,11,21,0,2,17,21,1,10,21,0,1,17,25,21,0,2,21,0,1,3,2,21,1,19,21,0,1,21,1,36,21,0,2,17,17,25,21,0,2,21,0,1,3,2,21,1,19,21,0,1,21,1,35,21,0,2,17,17,25,21,0,1,3,1,21,1,18,3,0,17,25,21,0,1,21,0,2,21,1,19,0,1,17,3,2,21,1,24,15,99,21,0,2,21,1,19,0,0,17,7,8,25,21,0,1,3,1,25,21,0,2,21,1,75,16,21,1,76,0,1,17,21,1,8,16,14,21,0,2,21,1,82,16,22,0,2,12,14,21,0,2,21,1,21,21,1,34,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,2,21,1,41,21,1,71,7,16,22,0,3,11,14,21,0,1,21,1,61,16,21,1,41,21,1,71,7,16,22,0,4,11,14,21,0,1,21,0,4,21,1,74,21,0,3,17,21,1,32,15,100,8,16,21,1,18,21,0,2,17,25,15,101,22,0,3,11,14,15,102,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,24,21,1,3,8,16,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,21,1,28,21,1,84,8,21,1,25,21,1,28,21,1,72,8,21,1,57,21,1,19,7,21,1,74,21,1,31,21,1,27,21,1,66,21,1,78,0,1,19,21,1,79,21,1,26,19,7,8,19,0,1,0,0,3,2,21,1,23,0,2,3,1,8,19,25,21,0,1,21,1,88,21,0,5,7,21,0,2,17,22,0,6,11,21,1,73,0,0,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,103,22,0,9,11,14,21,0,1,21,0,9,21,0,6,7,21,0,2,17,25,21,0,1,21,1,88,21,0,5,7,21,1,57,21,1,79,21,1,31,21,1,67,8,21,1,79,21,1,68,0,0,19,3,2,21,1,24,21,1,25,21,1,77,0,0,19,8,7,21,1,75,21,1,29,21,1,86,8,19,21,0,2,17,22,0,6,11,14,15,104,22,0,7,11,14,21,1,25,21,1,72,9,21,0,7,21,1,25,21,1,21,21,1,72,7,9,3,3,21,1,24,21,1,75,21,1,31,21,1,76,8,21,1,78,0,0,21,1,31,21,1,73,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,21,1,19,21,1,30,21,1,74,21,1,27,21,1,79,7,0,1,19,8,16,17,21,1,57,21,0,4,7,21,0,2,21,0,7,21,0,6,21,1,19,0,0,17,17,17,21,1,73,16,25,0,8,21,1,92,21,0,1,8,25,21,0,1,21,1,75,16,21,1,77,0,1,17,21,1,8,16,14,21,0,1,21,1,93,21,1,72,7,16,21,1,41,21,0,4,7,21,0,2,17,25,21,0,1,22,0,3,11,14,15,105,15,106,3,2,21,1,24,21,1,26,21,1,28,21,1,60,21,1,72,21,0,2,19,8,8,25,21,0,1,21,1,61,21,1,29,21,1,86,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,21,21,1,74,7,16,22,0,4,11,21,1,41,21,1,68,7,0,1,17,22,0,5,11,14,21,0,4,21,1,79,21,0,5,17,21,1,76,0,1,17,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,3,21,1,57,21,1,98,21,1,30,0,1,21,1,79,21,0,5,17,21,1,20,16,21,1,31,21,1,78,8,8,7,21,0,5,21,1,80,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,41,21,1,60,7,16,21,1,8,16,14,21,0,3,21,1,57,0,1,21,1,25,21,1,19,0,0,19,3,2,21,1,24,21,1,26,8,7,21,0,4,21,1,75,21,0,5,17,17,21,1,41,21,1,78,7,16,22,0,7,11,14,21,0,1,21,1,84,21,1,29,21,1,44,8,21,0,2,17,21,1,84,21,0,6,21,1,19,0,0,17,21,1,44,21,0,7,3,1,17,17,25,15,107,22,0,3,11,14,21,0,1,21,1,84,21,1,84,21,1,61,21,1,28,21,1,44,21,1,30,21,1,25,21,1,74,21,1,29,21,1,79,8,21,0,2,19,21,1,68,0,0,19,21,1,20,21,1,28,21,1,21,0,1,7,8,9,8,8,19,16,0,0,21,1,96,21,0,3,8,21,0,2,17,25,21,0,1,21,1,75,16,21,1,77,0,1,17,21,1,8,16,14,21,0,1,21,1,74,16,21,1,78,0,1,17,21,1,20,16,21,1,21,21,0,1,21,1,31,21,1,100,8,7,16,25,21,0,1,21,1,61,16,21,1,74,21,1,31,21,1,79,8,21,1,68,0,0,19,21,1,20,21,1,28,21,1,21,0,1,7,8,9,21,1,27,21,1,44,7,21,1,25,19,21,1,102,21,1,26,19,21,0,2,21,1,74,16,17,22,0,3,11,14,21,0,1,21,1,102,21,0,2,21,1,67,21,0,3,17,21,1,68,21,0,3,21,1,79,16,17,21,1,78,0,0,21,1,73,21,0,2,17,21,1,64,0,8,17,21,1,71,21,0,3,17,17,17,25,21,0,1,21,1,75,16,21,1,77,0,1,17,21,1,8,16,14,21,0,1,21,1,74,16,21,1,78,0,1,17,21,1,20,16,21,1,21,21,0,1,21,1,31,21,1,103,8,7,16,25,21,0,1,21,1,3,16,21,1,8,16,14,21,0,2,21,1,75,16,21,1,76,0,1,17,21,1,8,16,14,21,0,1,21,1,61,16,21,1,74,21,1,29,21,1,77,8,21,0,2,17,21,1,8,16,14,21,0,2,21,1,84,16,21,1,21,21,1,34,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,61,16,21,1,102,21,0,2,21,1,74,16,17,22,0,3,11,14,21,0,3,21,1,78,0,1,17,21,1,77,21,0,2,17,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,0,2,21,1,74,16,21,1,72,0,0,17,21,1,32,15,108,8,21,0,2,17,25,21,0,1,21,1,107,21,1,30,21,1,21,21,0,2,7,8,16,25,21,0,1,21,1,74,21,1,29,21,1,75,8,21,0,2,17,21,1,8,16,14,21,0,1,21,1,107,21,0,2,17,25,21,0,2,21,1,75,16,21,1,72,0,0,17,25,0,8,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,21,1,21,21,1,74,7,16,21,1,111,16,21,1,21,15,109,7,16,25,21,1,25,21,1,41,21,1,21,21,1,44,21,1,30,21,1,84,8,7,7,3,0,21,1,72,16,19,22,0,3,11,14,21,0,1,21,1,3,16,21,1,8,16,14,21,0,1,21,1,21,21,1,61,7,16,22,0,4,11,14,21,0,4,21,1,84,16,21,1,19,0,0,17,21,1,74,16,22,0,5,11,14,21,0,4,21,1,21,21,1,74,7,16,21,1,75,21,0,5,17,21,1,84,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,75,16,21,1,76,21,0,5,17,21,1,8,16,14,21,0,1,22,0,6,11,21,1,75,16,22,0,7,11,21,1,109,16,22,0,8,11,21,1,57,15,110,7,21,0,1,21,1,61,16,17,22,0,9,11,14,21,0,9,21,0,3,16,21,1,60,21,0,4,21,1,21,21,1,102,21,1,30,21,0,7,8,7,16,17,21,1,8,16,14,21,0,9,21,1,21,15,111,7,16,21,0,3,16,22,0,10,11,14,21,0,1,21,1,111,21,0,9,17,21,1,57,21,1,98,21,1,30,21,1,21,21,1,72,7,8,7,21,0,10,17,21,1,73,16,25,21,0,1,21,1,75,16,21,1,75,0,1,17,21,1,8,16,14,21,0,1,21,1,21,21,1,33,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,77,0,8,17,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,7,21,0,1,21,1,6,16,22,0,5,11,17,22,0,6,11,14,0,0,22,0,7,11,14,21,0,5,21,1,21,21,1,109,21,1,28,21,1,21,15,112,7,8,21,0,4,9,7,16,25,21,0,1,21,1,3,16,21,1,8,16,14,21,1,113,21,1,25,7,22,0,3,11,14,21,0,1,21,0,3,21,1,21,21,0,3,7,21,1,41,21,1,21,21,1,21,21,1,44,21,1,30,21,1,84,8,7,7,7,3,0,21,1,72,16,21,1,72,16,19,3,2,21,1,24,21,1,60,21,1,72,0,1,19,8,16,25,21,0,1,21,1,3,16,21,1,8,16,14,21,0,2,21,1,60,16,21,1,72,0,1,17,22,0,3,11,14,21,0,2,21,1,74,15,113,3,2,21,1,24,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,61,16,21,1,74,21,1,29,21,1,77,8,21,0,4,17,21,1,8,16,14,21,0,1,21,1,61,16,21,1,102,21,1,30,21,1,74,8,21,0,4,17,21,1,75,21,0,4,17,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,26,21,1,113,21,0,1,21,1,31,21,1,98,8,7,9,15,114,3,2,21,1,24,21,0,3,8,21,0,2,17,25,21,0,2,21,1,75,16,21,1,75,0,1,17,21,1,8,16,14,21,0,1,21,1,61,16,22,0,3,11,21,1,74,21,1,29,21,1,75,8,21,0,2,17,21,1,8,16,14,21,0,2,21,1,21,21,1,33,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,3,21,1,72,21,1,69,21,1,79,21,1,31,21,1,76,8,19,21,0,2,17,21,1,41,21,1,69,7,16,21,1,8,16,14,0,0,21,1,72,21,0,2,17,21,1,71,21,0,3,17,21,1,78,21,0,2,17,22,0,2,12,14,21,0,2,21,1,74,16,21,1,80,21,1,30,21,1,109,8,16,21,1,79,16,21,1,41,21,1,25,21,1,71,21,0,3,21,1,31,21,1,19,8,19,21,1,78,21,0,2,21,1,31,21,1,19,8,19,7,0,0,17,21,1,27,21,1,19,7,21,0,1,21,1,84,16,17,25,21,0,2,21,1,21,21,0,1,21,1,31,21,1,119,8,7,16,25,21,0,1,21,1,75,21,1,30,0,0,8,21,1,41,21,1,70,7,9,21,1,29,21,1,27,21,1,79,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,0,21,0,3,3,2,15,115,3,2,21,1,24,0,0,21,1,75,21,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,116,22,0,8,11,14,21,0,4,21,1,75,21,1,30,0,0,8,21,1,32,21,0,1,8,9,21,0,8,3,2,21,1,19,21,0,6,21,1,74,0,1,17,17,25,21,0,1,22,0,2,11,14,21,1,72,21,1,30,0,0,8,21,1,32,15,117,8,25,21,0,2,21,1,75,16,21,1,27,21,1,79,7,0,1,17,22,0,5,11,14,21,0,5,21,1,77,0,0,17,21,1,8,16,14,21,0,1,21,1,75,16,21,1,77,21,0,5,17,21,1,8,16,14,21,0,2,21,1,43,0,1,17,22,0,6,11,21,1,41,21,1,71,7,16,22,0,7,11,14,0,0,21,1,122,21,0,2,21,1,84,16,21,1,31,21,1,19,8,21,1,29,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,74,16,0,1,0,1,21,1,31,21,1,79,21,1,28,21,1,109,8,8,21,1,71,21,0,7,19,21,1,21,21,1,78,21,1,30,21,0,7,8,21,1,31,21,0,8,8,7,9,21,1,27,21,1,77,7,0,0,19,21,1,41,21,1,69,7,9,3,2,21,1,24,21,1,72,21,1,30,0,0,8,8,16,21,1,8,16,14,21,0,1,21,1,75,16,21,1,27,21,1,79,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,43,21,0,9,17,22,0,10,11,14,21,0,10,21,1,121,21,0,6,17,22,0,11,11,14,21,0,11,21,1,41,21,1,122,21,0,1,21,1,84,16,21,1,31,21,1,19,8,21,1,31,21,0,4,21,1,30,21,0,2,21,1,84,16,21,1,31,21,1,19,8,8,8,7,7,16,22,0,12,11,14,21,1,27,0,0,7,21,1,77,21,0,12,21,1,30,21,1,71,21,1,30,21,0,6,21,1,41,21,1,71,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,109,16,21,1,21,21,0,1,21,1,61,16,21,1,31,21,1,19,8,7,16,21,1,41,21,1,71,7,21,1,109,9,21,1,31,21,1,84,8,16,21,1,71,21,0,10,21,1,41,21,1,71,7,16,17,21,1,21,15,118,21,1,30,21,0,2,21,1,74,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,95,21,1,69,7,21,1,80,9,21,1,22,21,1,69,7,21,1,95,21,1,78,7,9,3,2,21,1,19,21,0,1,17,22,0,3,11,14,15,119,25,21,0,1,21,1,75,16,21,1,77,0,1,17,21,1,8,16,14,21,0,1,21,1,125,16,22,0,3,11,14,21,0,1,21,1,74,16,21,1,109,16,21,1,21,0,1,21,1,25,21,0,1,21,1,75,21,1,72,0,1,19,21,1,32,21,1,93,21,1,72,7,8,16,21,1,98,21,0,3,17,21,1,31,21,1,19,8,21,1,29,21,1,61,8,0,1,21,1,31,21,1,79,8,19,3,2,21,1,24,21,1,72,21,1,30,0,0,8,8,7,16,21,1,98,21,0,3,21,1,7,21,1,30,21,1,57,0,1,7,8,16,17,25,21,0,2,21,1,75,16,22,0,3,11,14,21,0,1,21,1,75,16,21,1,77,21,0,3,17,21,1,8,16,14,21,0,1,21,0,3,21,1,92,21,1,109,8,21,0,2,21,1,61,16,17,21,0,3,21,1,92,21,1,60,8,21,0,2,17,25,21,0,1,21,1,60,21,1,75,0,0,19,21,1,32,21,1,72,8,16,22,0,1,12,14,21,0,2,21,1,75,16,21,1,76,0,1,17,21,1,8,16,14,21,0,2,21,1,84,16,22,0,2,12,14,21,0,1,21,1,61,16,21,1,74,21,1,29,21,1,77,8,21,0,2,17,21,1,8,16,14,21,0,2,21,1,84,16,21,1,21,21,1,34,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,2,21,1,131,1,16,21,1,80,16,21,1,41,21,1,78,7,16,21,1,79,21,0,1,21,1,75,16,17,22,0,3,11,14,21,0,3,21,1,72,21,0,2,17,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,3,21,1,109,16,21,1,25,21,1,111,21,1,27,21,1,131,1,21,1,28,21,1,80,8,7,19,21,0,2,17,21,1,116,21,0,2,17,22,0,2,12,14,21,0,1,21,1,61,16,21,1,117,21,0,2,17,21,1,21,21,1,41,21,1,67,7,7,16,21,1,109,16,21,1,21,21,1,27,21,0,1,7,21,1,120,21,1,98,21,1,30,21,0,2,8,19,7,16,25,21,0,1,21,1,130,1,21,1,30,21,0,2,8,21,1,135,1,21,1,31,21,1,93,21,1,87,7,8,9,21,1,29,21,1,130,1,8,21,0,2,17,25,21,0,1,15,120,21,0,5,21,1,138,1,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,3,16,21,1,8,16,14,21,0,1,21,1,75,16,21,1,75,0,0,17,21,1,8,16,14,21,0,1,21,1,138,1,16,25,21,0,1,21,1,75,16,21,1,75,0,1,17,21,1,8,16,14,21,0,1,21,1,21,21,1,34,7,16,21,1,41,21,1,69,7,16,21,1,8,16,14,21,0,1,21,1,105,21,1,30,0,1,8,21,1,77,21,1,105,21,1,30,0,8,8,19,21,1,41,21,1,69,7,9,16,21,1,8,16,14,21,0,1,21,1,6,16,25,21,1,27,0,0,21,1,28,21,1,8,8,3,1,21,1,116,21,0,1,21,1,98,0,1,17,17,7,21,1,138,1,21,1,72,21,1,130,1,21,0,1,21,1,98,0,0,17,19,21,1,138,1,9,19,25,21,0,1,21,1,140,1,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,0,22,0,7,11,22,0,8,11,14,21,0,6,0,0,21,1,90,15,121,8,16,14,21,0,1,22,0,9,11,14,15,122,22,0,10,11,14,21,0,7,21,0,10,21,1,25,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,79,16,21,0,10,21,1,25,21,1,141,1,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,0,21,1,90,21,1,27,21,0,11,21,0,12,3,2,7,21,1,138,1,0,0,21,1,31,21,1,72,8,19,21,1,138,1,21,1,66,19,8,16,25,21,1,42,21,1,29,21,1,21,21,0,1,7,8,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,81,16,25,0,1,21,2,10,21,1,6,17,22,1,6,12,14,21,0,1,21,2,19,21,1,6,17,25,21,1,8,21,1,7,21,1,5,21,2,19,21,0,1,17,17,22,1,8,12,25,21,0,2,21,2,17,16,22,0,5,11,14,21,0,2,21,2,15,16,21,2,20,16,21,2,41,21,2,11,21,2,30,21,0,1,21,2,17,16,21,2,31,21,2,19,8,21,2,15,21,0,5,21,2,31,21,2,19,8,19,8,7,0,1,17,21,2,8,16,14,21,0,5,21,2,41,21,2,11,7,0,1,17,21,2,20,16,21,2,21,21,0,1,21,2,18,16,21,2,31,21,2,19,8,21,0,4,21,0,2,21,2,18,16,21,2,31,21,2,19,8,19,7,16,21,2,18,21,0,5,17,25,21,0,2,21,2,17,16,22,0,5,11,14,21,0,2,21,2,15,16,22,0,6,11,14,21,0,1,21,2,17,16,22,0,7,11,14,21,0,6,21,2,20,16,21,2,41,21,2,11,21,2,30,21,0,7,21,2,31,21,2,19,8,21,2,15,21,0,5,21,2,31,21,2,19,8,19,8,7,0,1,17,21,2,8,16,14,21,0,6,21,2,10,21,0,1,21,2,15,16,17,21,2,20,16,21,2,41,21,2,11,21,2,30,21,2,9,21,2,30,21,0,6,8,21,2,27,21,2,19,7,21,0,7,19,8,7,0,1,17,22,0,8,11,14,21,0,2,21,2,18,16,22,0,9,11,14,21,0,1,21,2,18,16,22,0,10,11,14,21,0,8,21,2,20,21,2,29,21,2,21,21,2,27,21,0,10,7,21,2,19,21,2,9,21,2,30,21,2,11,21,2,30,21,0,8,8,8,19,21,0,4,21,0,9,21,2,31,21,2,19,8,19,7,8,21,0,9,21,2,39,16,17,21,2,18,16,21,2,18,21,0,7,17,25,21,0,1,21,2,46,21,0,4,7,21,0,2,17,25,21,0,1,21,2,21,15,123,21,0,2,7,7,16,25,21,0,2,21,2,21,15,124,21,0,1,7,7,16,25,21,1,6,21,2,11,0,2,17,21,2,16,21,0,1,21,2,41,21,2,37,7,16,22,1,10,12,21,2,10,21,0,1,21,2,41,21,2,38,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,27,0,0,7,21,2,36,0,0,21,2,122,21,1,8,21,2,31,21,2,19,8,21,2,29,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,25,21,1,6,3,2,21,2,24,21,2,16,21,2,30,21,1,6,8,8,22,0,6,11,14,0,0,21,2,15,21,1,6,17,21,2,9,21,1,6,17,21,2,5,0,2,17,21,2,38,16,22,0,7,11,21,2,20,16,21,2,21,21,2,25,21,2,9,0,1,19,21,2,10,21,0,7,19,21,2,13,0,2,19,7,16,21,2,41,15,125,7,21,1,6,21,2,20,16,17,25,21,0,1,21,2,21,21,2,34,7,16,21,2,41,21,2,11,7,0,1,17,21,2,8,16,14,0,1,21,2,10,21,1,3,17,22,0,3,11,14,21,2,25,21,2,10,21,0,3,19,21,2,27,21,2,19,7,21,1,3,21,2,20,16,21,2,21,21,2,10,21,2,30,21,0,3,8,7,16,21,2,22,21,2,25,21,2,27,21,2,19,7,21,0,1,19,21,2,15,0,0,19,21,2,11,21,2,10,19,21,2,9,21,2,25,19,7,16,19,22,0,4,11,14,21,0,1,21,2,22,21,2,9,7,16,21,2,31,21,2,19,8,22,0,5,11,14,0,0,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,21,2,20,16,21,2,21,15,126,7,16,25,21,0,1,21,2,43,0,1,17,22,0,3,11,21,2,41,21,2,11,7,0,1,17,22,0,4,11,14,21,0,4,21,2,20,16,21,2,18,21,0,3,17,21,2,21,21,2,9,21,2,30,21,2,11,21,2,30,21,0,4,8,8,21,2,27,21,2,19,7,21,0,1,21,2,18,16,19,7,21,0,2,17,25,21,0,2,21,2,21,21,0,1,21,2,31,21,2,19,8,7,16,25,21,0,1,14,21,1,9,21,2,19,21,1,11,21,2,19,21,1,13,17,17,22,0,3,11,14,21,1,13,21,2,9,0,1,17,22,1,13,12,21,1,12,16,22,1,14,12,14,21,0,3,25,21,0,1,21,2,15,21,1,14,17,25,21,0,1,21,2,75,21,0,4,17,25,21,1,3,21,2,20,16,21,2,21,21,2,26,7,21,2,30,21,2,4,8,15,127,21,2,30,21,2,18,8,3,2,21,2,24,21,1,4,21,2,72,0,0,17,8,21,0,1,17,25,21,0,1,21,2,34,16,21,2,8,16,14,21,0,1,21,2,20,16,25,21,0,1,21,2,75,16,21,2,75,0,1,17,21,2,8,16,14,21,0,1,21,2,21,21,1,3,7,16,21,2,41,21,2,21,21,2,44,21,2,30,21,2,84,8,7,7,3,0,21,2,72,16,17,25,21,1,9,21,1,7,21,2,78,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,57,21,0,5,7,21,2,26,21,2,28,21,2,21,21,0,1,21,2,31,21,0,5,8,7,8,21,2,25,21,2,28,21,2,21,21,2,25,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,24,21,2,60,21,2,29,21,2,86,8,21,2,76,21,0,4,21,2,68,0,0,17,19,21,2,70,0,0,21,2,76,21,0,4,17,21,2,69,21,1,7,17,19,21,2,83,0,2,19,21,2,41,21,2,78,21,2,30,0,2,21,2,31,21,2,71,8,8,7,9,8,21,0,2,17,25,21,0,2,21,2,20,16,21,2,21,21,0,1,21,2,61,16,21,2,31,21,2,19,8,7,16,22,0,3,11,14,21,0,1,21,2,43,21,0,2,17,22,0,4,11,21,2,41,21,2,71,7,16,22,0,5,11,14,21,0,3,21,2,41,21,2,71,7,16,21,2,20,16,21,2,21,21,2,25,21,2,71,21,0,5,19,21,2,78,21,0,5,21,2,20,16,21,2,84,21,0,4,17,19,21,2,28,21,2,21,21,0,1,21,2,84,16,21,2,31,21,2,19,8,7,8,7,16,21,2,84,21,0,3,17,25,21,0,1,21,2,75,16,21,2,77,0,1,17,21,2,8,16,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,21,2,75,16,21,2,76,0,1,17,21,2,8,16,14,21,0,1,21,2,61,16,21,2,74,21,2,29,21,2,77,8,21,0,2,17,21,2,8,16,14,21,0,2,21,2,74,16,22,0,3,11,14,21,0,2,21,2,84,16,21,2,31,21,2,19,8,22,0,4,11,14,21,0,1,21,0,3,21,2,72,0,0,17,21,2,32,15,128,1,8,0,0,17,25,21,0,2,21,2,33,16,21,2,8,16,14,21,0,1,21,2,74,16,22,0,3,11,14,0,0,21,2,72,21,0,2,17,22,0,4,11,14,21,0,2,21,2,66,16,22,0,5,11,21,2,67,21,0,3,17,22,0,6,11,14,21,0,5,3,1,22,0,7,11,14,0,1,22,0,8,11,14,21,0,6,21,2,20,16,21,0,4,21,2,32,21,2,78,8,21,0,6,21,2,79,21,0,3,17,17,21,0,1,21,2,75,16,21,2,74,0,1,17,21,2,32,15,129,1,8,21,0,1,17,22,0,9,11,14,21,0,9,21,2,21,21,0,1,21,2,84,16,21,2,31,21,2,19,8,7,16,21,0,5,21,2,72,21,0,3,17,21,2,32,15,130,1,21,0,1,7,8,16,21,2,84,21,0,7,17,25,21,0,2,21,2,84,16,21,2,25,21,2,85,21,2,29,21,2,21,21,2,78,7,8,21,2,80,19,21,1,3,17,21,2,57,21,0,1,21,2,31,21,2,98,21,2,30,21,2,21,21,2,72,7,8,8,7,16,21,2,73,21,2,84,21,2,61,21,2,28,21,0,1,21,2,61,16,21,2,105,21,2,30,21,2,74,8,21,0,2,17,21,2,31,21,2,44,8,8,19,16,25,21,0,1,21,2,74,21,2,30,21,1,4,8,21,2,32,15,131,1,8,16,14,21,1,5,21,2,19,0,1,21,2,78,21,1,3,17,22,1,3,12,17,25,21,0,2,21,2,109,16,21,2,21,21,2,71,21,2,30,21,0,1,21,2,75,21,1,8,17,8,21,2,27,21,2,118,7,21,1,6,19,21,2,61,21,2,31,21,2,19,8,21,0,1,19,7,16,25,21,0,1,21,2,102,16,21,2,21,21,2,41,21,2,78,7,7,16,22,0,3,11,14,21,0,3,21,2,105,0,8,17,21,2,111,21,0,1,17,21,2,79,21,0,3,21,2,110,16,21,2,19,0,0,17,21,2,109,16,17,25,21,0,1,14,21,1,6,21,2,19,21,1,7,17,21,2,25,0,1,21,2,78,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,75,16,21,2,75,0,1,17,21,2,8,16,14,21,0,1,21,2,21,21,2,74,7,16,25,21,0,2,21,2,21,21,2,113,21,2,25,7,7,16,21,2,71,21,1,4,21,2,105,0,1,17,21,2,110,16,21,2,44,0,1,3,1,17,21,2,22,21,2,71,7,16,21,2,110,16,17,21,2,41,21,2,21,21,2,21,21,2,78,7,7,7,16,21,2,21,21,0,1,21,2,43,21,1,4,21,2,74,16,17,21,2,44,21,1,4,21,2,41,21,2,71,7,16,3,1,17,21,2,27,21,2,84,7,21,0,1,17,21,2,31,21,2,98,8,7,16,25,21,0,1,21,2,74,21,2,29,21,2,79,8,21,0,2,17,21,2,71,16,22,0,3,11,14,21,0,1,21,2,74,21,2,29,21,2,67,8,21,0,2,17,22,0,4,11,14,21,0,1,15,132,1,21,2,30,21,2,74,21,2,78,21,0,4,21,2,109,16,21,2,78,0,1,17,21,2,79,16,19,8,21,2,29,15,133,1,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,134,1,21,1,7,3,2,21,2,24,21,2,75,21,2,30,21,1,6,8,8,22,0,5,11,14,0,0,21,0,5,16,25,15,135,1,22,0,3,11,14,0,8,21,0,3,0,1,21,2,78,21,0,1,17,17,21,2,78,0,1,17,25,21,0,2,21,2,123,21,0,1,21,2,31,21,1,13,8,7,16,25,21,0,2,21,2,75,16,21,2,27,21,2,79,7,0,1,17,22,0,3,11,14,21,0,3,21,2,77,0,0,17,21,2,8,16,14,21,0,1,21,2,42,16,21,2,25,21,2,28,21,0,3,21,2,92,0,0,8,8,21,2,25,21,0,3,21,2,92,21,2,72,8,3,2,21,2,24,21,0,3,21,2,72,0,0,17,8,21,2,29,21,2,21,21,2,61,7,8,21,1,3,9,3,2,21,2,24,21,0,2,21,2,74,16,21,2,72,0,0,17,8,15,136,1,3,2,21,2,24,21,2,84,21,2,28,21,2,74,8,21,2,72,0,5,19,21,2,29,21,2,69,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,33,16,21,2,8,16,14,21,0,1,21,2,67,21,1,8,17,22,1,8,12,14,21,0,1,21,2,68,21,1,7,17,22,1,7,12,25,21,0,1,21,2,78,0,0,17,21,2,109,16,21,2,116,21,1,9,3,1,17,21,2,22,21,2,26,21,2,28,21,0,4,8,7,16,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,21,3,10,16,22,0,4,11,14,0,0,22,0,5,11,22,0,6,11,22,0,7,11,14,0,4,22,0,8,11,14,21,0,1,0,1,21,3,15,21,2,7,17,21,3,10,0,1,17,21,3,32,21,3,21,21,3,11,21,3,30,21,2,7,8,7,8,16,21,3,31,21,3,19,8,21,3,29,21,1,5,8,22,0,9,11,14,21,0,9,0,0,0,1,0,2,3,4,22,0,10,11,14,21,3,9,15,137,1,3,2,21,3,19,21,0,3,21,3,16,0,5,17,17,22,0,11,11,14,15,138,1,22,0,12,11,14,15,139,1,15,140,1,21,0,12,3,3,21,3,24,15,141,1,8,22,0,13,11,14,21,0,1,21,3,21,21,0,1,21,3,31,15,142,1,8,7,16,25,21,1,6,21,1,7,21,3,15,21,0,1,17,21,3,32,15,143,1,8,16,25,21,0,1,21,3,66,21,2,4,17,21,3,21,21,0,2,21,3,31,21,3,19,8,7,16,25,21,0,1,0,1,21,3,79,21,1,3,17,21,3,72,21,0,2,17,21,3,32,21,3,93,21,0,0,21,3,30,21,0,2,21,3,78,0,1,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,0,2,21,3,43,0,1,17,22,0,3,11,21,3,44,22,1,7,13,14,21,0,3,21,3,41,21,3,71,7,16,22,1,8,12,21,3,25,21,3,28,21,3,20,8,21,3,21,21,3,78,7,21,3,71,19,21,0,1,17,25,21,1,6,21,3,79,21,1,5,17,21,3,71,21,1,8,17,21,3,20,16,21,3,21,21,0,4,21,3,4,16,21,3,84,16,21,3,19,0,0,17,7,16,21,3,44,21,3,27,21,3,44,7,3,2,21,3,24,21,1,4,8,21,0,1,21,3,84,16,17,25,21,0,1,22,2,4,12,21,3,27,21,3,19,7,21,2,6,17,22,2,5,12,14,0,8,22,2,3,12,25,21,0,2,21,3,21,21,0,1,21,3,31,21,3,19,8,7,16,25,21,0,1,21,3,75,21,0,2,17,21,3,22,21,3,69,7,16,21,3,41,21,3,78,7,16,22,0,3,11,14,21,0,3,21,3,109,16,21,3,21,21,0,2,21,3,31,21,3,19,8,7,16,21,3,41,21,3,71,7,16,22,0,4,11,14,21,0,3,21,3,73,21,3,30,21,1,4,8,21,3,32,21,0,2,21,0,1,3,2,21,3,31,21,3,57,21,3,19,7,8,21,3,28,15,144,1,8,8,16,14,21,0,4,25,21,1,4,21,3,78,21,3,30,21,0,1,8,21,3,29,21,2,5,8,21,1,3,17,21,3,75,21,3,30,0,0,8,21,3,32,21,0,1,21,3,78,0,1,17,21,3,28,21,1,5,8,8,16,25,21,0,1,0,1,21,3,31,21,3,73,8,21,3,32,15,145,1,8,21,0,2,17,25,21,0,2,21,3,126,16,21,3,110,16,22,0,3,11,14,21,0,1,21,3,125,21,0,2,21,3,98,21,0,3,17,17,21,3,27,21,3,79,7,0,1,17,21,3,68,0,0,17,21,3,27,21,3,98,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,92,21,3,60,8,21,0,2,21,3,98,21,0,4,17,17,21,2,2,21,3,32,21,3,71,21,3,30,21,3,79,21,3,30,21,0,4,8,8,21,3,78,21,3,26,19,8,21,0,2,21,3,74,16,17,25,21,0,1,21,1,8,21,4,10,0,1,17,21,4,32,21,1,9,21,4,10,0,1,19,21,4,32,15,146,1,8,8,0,1,21,4,10,21,0,1,17,17,25,21,0,2,21,4,9,21,1,3,17,22,1,4,12,14,21,0,1,21,4,9,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,21,4,9,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,21,4,16,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,21,4,9,0,1,17,22,1,4,12,21,4,15,21,1,6,17,21,4,11,0,2,17,21,4,9,22,1,8,13,14,21,0,2,25,21,0,1,21,4,9,0,1,17,22,1,7,12,21,4,15,21,1,5,17,21,4,9,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,24,21,1,8,8,21,0,2,17,25,21,0,1,21,4,19,21,1,7,21,1,13,21,1,4,17,17,25,0,1,21,4,9,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,21,4,41,21,4,79,7,16,21,4,71,16,22,2,3,12,14,21,0,1,21,4,41,21,4,67,7,16,21,4,71,21,1,4,17,22,1,4,12,25,0,2,21,4,63,21,0,2,17,21,4,67,16,22,0,3,11,21,4,78,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,21,4,19,21,0,5,17,21,2,3,21,0,2,21,4,66,0,2,17,21,4,71,21,0,5,17,21,4,78,21,0,3,17,17,25,21,0,1,14,0,2,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25])
- ,[0,1,2,32,3,8,Infinity,-Infinity,-1]
- ,[[0,1,0,0],[0,0,3,149],[2,0,2773,6],[0,0,2801,3],[0,0,2805,3],[0,0,2809,3],[1,0,2813,5],[2,0,2831,6],[2,0,2846,6],[2,0,2865,6],[2,0,2887,6],[2,0,2909,6],[0,0,2942,3],[0,0,2954,3],[0,0,2963,3],[1,0,2972,9],[0,0,3092,3],[0,0,3137,4],[1,1,3220,4],[1,1,3296,3],[0,0,3365,3],[0,0,3376,5],[2,0,3465,12],[0,0,3685,4],[0,0,3735,6],[0,0,3834,4],[0,0,4002,4],[0,0,4068,4],[2,0,4179,15],[1,1,4380,2],[0,0,4406,3],[0,0,4435,3],[0,0,4463,3],[0,0,4509,4],[0,0,4615,3],[0,0,4644,3],[0,0,4667,3],[0,0,4690,3],[0,0,4702,3],[0,0,4733,3],[0,0,4739,5],[0,0,4857,5],[0,0,4891,3],[0,0,4900,3],[1,1,4906,2],[2,0,4977,10],[2,0,5036,8],[1,1,5226,2],[1,0,5236,5],[2,1,5277,4],[0,0,5313,8],[0,0,5551,4],[0,0,5634,3],[0,0,5685,4],[0,0,5808,3],[0,0,5859,4],[0,0,6022,3],[0,0,6041,3],[0,0,6074,3],[0,0,6088,7],[0,0,6137,11],[1,0,6406,8],[0,0,6526,4],[0,0,6613,5],[0,0,6770,4],[0,0,6983,3],[0,0,7002,4],[1,0,7074,9],[1,1,7144,3],[1,0,7168,14],[1,1,7606,4],[0,0,7657,4],[0,0,7800,4],[0,0,7867,4],[0,0,8137,3],[2,0,8180,6],[0,0,8209,3],[0,0,8248,3],[0,0,8337,3],[1,1,8393,2],[2,0,8402,13],[1,1,8556,2],[1,1,8571,2],[1,1,8575,2],[0,0,8579,3],[0,0,8591,3],[0,0,8616,3],[1,0,8638,6],[1,0,8770,11],[1,0,9014,5],[0,0,9029,3],[0,0,9044,3],[0,0,9059,3],[1,0,9107,8],[0,0,9256,8],[0,0,9441,5],[0,0,9524,3],[0,0,9543,4],[0,0,9595,3],[1,0,9606,5],[0,0,9617,3],[0,0,9667,3],[0,0,9687,3],[1,0,9742,6],[0,0,9897,6],[0,0,10033,3],[0,0,10062,5],[0,0,10160,10],[0,0,10347,3],[0,0,10449,3],[0,0,10492,3],[0,0,10547,4],[0,0,10609,3],[0,0,10641,3],[0,0,10671,3],[0,0,10794,6],[0,0,10901,6],[0,0,10951,4],[0,0,10981,3],[0,0,11000,4],[1,1,11158,2],[0,0,11162,3],[1,0,11204,5],[1,0,11242,5],[1,0,11253,5],[0,0,11264,14],[0,0,11450,3],[0,0,11472,3],[0,0,11498,3],[0,0,11554,4],[1,0,11616,5],[0,0,11687,3],[0,0,11717,3],[0,0,11736,5],[0,0,11851,3],[0,0,11906,3],[0,0,11930,5],[0,0,12059,3],[0,0,12102,3],[0,0,12189,3],[0,0,12227,3],[0,0,12259,3],[0,0,12277,3],[0,0,12295,3],[0,0,12325,3],[0,0,12368,6],[0,0,12448,3]]
-)(list([
+let provide = [
(x,w) => x.sh?1:0 // IsArray
,(x,w) => 0 // Type
,(x,w) => has(w)?Math.log(x)/Math.log(w):Math.log(x) // Log
@@ -133,13 +129,19 @@ let runtime = run(
,(x,w) => has(w)?+(x===w):x.sh?x.sh.length:0 // =
,lesseq // ≤
,(x,w) => list(x.sh) // ≢
- ,(x,w) => arr(x.slice(),has(w)?w:[x.length]) // ⥊
+ ,(x,w) => arr(x.slice(),has(w)?w:[x.length]) // ⥊
,(x,w) => x[w] // ⊑
- ,(x,w) => list(Array(x).fill(undefined).map((_,i)=>i)) // ↕
+ ,(x,w) => list(Array(x).fill().map((_,i)=>i)) // ↕
,table // ⌜
,scan // `
,m2((f,g)=>(x,w)=>has(w)?call(g,x,w):call(f,x,w)) // ⊘
-]));
+];
+
+let runtime = run(
+ new Uint8Array([15,1,22,0,0,11,14,15,2,22,0,1,11,14,15,3,0,20,15,4,8,22,0,2,11,14,15,5,22,0,3,11,14,15,6,22,0,4,11,14,15,7,22,0,5,11,14,15,8,22,0,6,11,14,15,9,22,0,7,11,14,15,10,22,0,8,11,14,0,12,21,0,6,0,11,8,0,21,3,2,21,0,0,0,0,8,22,0,9,11,14,0,12,21,0,6,0,11,8,0,8,0,13,21,0,6,0,21,8,19,0,21,3,2,21,0,0,0,0,8,22,0,10,11,14,21,0,3,0,13,7,0,7,0,22,19,0,20,15,11,8,22,0,11,11,14,0,13,0,7,0,22,19,22,0,12,11,14,15,12,0,16,21,0,12,19,0,20,0,11,8,22,0,13,11,14,15,13,0,16,21,0,11,19,0,20,0,7,21,0,4,21,0,13,21,0,4,0,7,8,8,8,22,0,14,11,14,0,22,0,14,0,16,0,21,19,3,2,21,0,0,0,12,21,0,11,0,21,19,8,22,0,15,11,14,15,14,22,0,16,11,14,21,0,16,22,0,17,11,14,0,0,0,7,0,22,19,21,0,8,21,0,11,8,22,0,18,11,14,0,14,21,0,7,15,15,8,22,0,19,11,14,15,16,22,0,20,11,14,15,17,22,0,21,11,14,15,18,22,0,22,11,14,0,13,0,7,21,0,3,0,13,7,19,22,0,23,11,14,0,22,0,15,0,16,0,21,19,21,0,7,0,13,0,8,0,23,19,0,7,0,22,19,15,19,3,2,21,0,0,21,0,1,21,0,4,0,0,8,8,8,3,2,21,0,0,21,0,1,21,0,4,0,14,8,21,0,17,0,8,7,0,22,19,21,0,11,0,21,19,8,22,0,24,11,14,21,0,23,21,0,24,21,0,3,21,0,24,7,0,7,9,3,2,21,0,0,21,0,2,21,0,4,0,0,8,8,15,20,3,3,21,0,0,0,0,21,0,5,0,6,8,8,22,0,25,11,14,15,21,22,0,26,11,14,15,22,22,0,27,11,14,0,12,21,0,11,0,21,19,21,0,8,15,23,8,22,0,28,11,14,15,24,22,0,29,11,14,15,25,22,0,30,11,14,15,26,22,0,31,11,14,15,27,22,0,32,11,14,15,28,22,0,33,11,14,0,0,21,0,5,0,12,8,0,21,3,2,21,0,1,21,0,4,0,0,8,0,12,3,2,0,12,21,0,5,0,12,8,0,21,3,2,0,14,21,0,5,21,0,33,0,12,7,8,21,0,17,0,8,7,0,22,19,0,21,3,2,15,29,3,5,21,0,17,15,30,7,16,22,0,34,11,14,0,21,15,31,3,2,21,0,0,0,0,8,22,0,35,11,14,21,0,34,0,20,21,0,35,8,22,0,36,11,14,21,0,34,0,7,0,22,19,0,20,3,0,0,14,3,2,21,0,0,0,0,8,8,22,0,37,11,14,0,0,21,0,8,0,15,21,0,4,21,0,15,8,21,0,11,0,21,19,21,0,8,15,32,8,8,22,0,38,11,14,21,0,22,0,9,7,22,0,39,11,14,21,0,22,0,10,7,22,0,40,11,14,21,0,3,21,0,39,21,0,7,21,0,40,8,7,0,20,0,23,21,0,39,16,21,0,7,21,0,40,8,8,22,0,41,11,14,21,0,22,15,33,0,20,0,7,21,0,1,3,2,21,0,0,0,13,21,0,6,0,21,8,8,8,7,22,0,42,11,14,21,0,22,15,34,0,20,21,0,13,8,7,22,0,43,11,14,21,0,22,15,35,0,20,0,7,21,0,4,21,0,43,21,0,4,0,7,8,8,8,7,22,0,44,11,14,21,0,22,0,8,7,22,0,45,11,14,21,0,22,0,8,0,7,0,6,19,7,22,0,46,11,14,21,0,22,0,8,0,20,21,0,12,0,7,21,0,11,19,21,0,6,0,21,8,8,7,22,0,47,11,14,21,0,22,21,0,3,0,13,7,0,7,0,22,19,7,0,20,15,36,8,22,0,48,11,14,21,0,22,0,13,0,7,0,22,19,7,0,20,21,0,38,8,22,0,49,11,14,21,0,22,0,12,0,7,0,22,19,7,0,20,21,0,15,8,22,0,50,11,14,21,0,22,0,12,7,0,20,0,12,8,22,0,51,11,14,21,0,22,21,0,3,0,13,7,7,0,20,0,21,21,0,4,0,5,8,8,22,0,52,11,14,21,0,22,0,13,7,0,20,0,21,21,0,4,0,5,8,8,22,0,53,11,14,21,0,22,0,6,7,22,0,54,11,14,21,0,22,0,7,7,22,0,55,11,14,21,0,55,21,0,54,0,22,19,22,0,56,11,14,21,0,54,0,21,3,2,21,0,55,0,21,3,2,21,0,47,0,22,3,2,21,0,39,0,22,3,2,21,0,40,0,22,3,2,21,0,41,0,22,3,2,21,0,45,0,22,3,2,21,0,46,0,21,3,2,21,0,42,0,21,3,2,21,0,43,0,27,3,2,21,0,44,0,28,3,2,21,0,48,0,21,3,2,21,0,53,0,22,3,2,21,0,51,0,22,3,2,21,0,52,0,22,3,2,21,0,49,0,21,3,2,21,0,50,0,21,3,2,3,17,21,0,17,15,37,7,0,21,21,0,4,0,5,8,3,1,0,16,0,21,17,17,22,0,57,11,14,15,38,0,15,3,2,21,0,0,0,0,8,22,0,58,11,14,21,0,18,21,0,7,15,39,8,22,0,59,11,14,0,15,0,20,21,0,58,8,22,0,60,11,14,15,40,22,0,61,11,14,15,41,0,20,15,42,8,22,0,62,11,14,21,0,62,21,0,4,21,0,49,8,22,0,63,11,14,15,43,22,0,64,11,14,15,44,22,0,65,11,14,21,0,65,22,0,66,11,14,15,45,22,0,67,11,14,21,0,67,22,0,68,11,14,15,46,22,0,69,11,14,15,47,22,0,70,11,14,21,0,70,22,0,71,11,14,15,48,22,0,72,11,14,0,22,21,0,72,21,0,29,8,21,0,6,21,0,18,8,22,0,73,11,14,21,0,73,0,20,21,0,73,21,0,6,0,21,8,8,22,0,74,11,14,21,0,60,21,0,5,21,0,20,8,15,49,3,2,21,0,0,21,0,51,21,0,48,0,22,19,21,0,5,21,0,46,8,8,22,0,75,11,14,15,50,22,0,76,11,14,15,51,22,0,77,11,14,21,0,76,0,20,21,0,77,8,22,0,78,11,14,15,52,22,0,79,11,14,15,53,22,0,80,11,14,21,0,79,0,20,21,0,80,8,22,0,81,11,14,15,54,22,0,82,11,14,21,0,74,21,0,6,21,0,27,8,22,0,83,11,14,21,0,50,21,0,51,0,21,19,21,0,55,0,22,19,21,0,72,15,55,15,56,3,2,21,0,0,15,57,8,8,22,0,84,11,14,21,0,82,0,20,21,0,61,8,22,0,85,11,14,0,21,21,0,72,21,0,31,8,0,20,21,0,30,8,22,0,86,11,14,21,0,84,0,20,21,0,27,8,22,0,87,11,14,21,0,60,21,0,4,21,0,50,8,21,0,48,0,21,19,21,0,8,15,58,15,59,3,2,21,0,0,0,18,21,0,51,7,21,0,50,0,22,19,21,0,17,21,0,46,7,9,0,22,3,2,21,0,0,21,0,51,21,0,50,0,22,19,8,8,8,22,0,88,11,14,15,60,22,0,89,11,14,15,61,22,0,90,11,14,15,62,22,0,91,11,14,21,0,75,0,20,21,0,88,8,22,0,92,11,14,21,0,91,0,20,21,0,90,8,22,0,93,11,14,15,63,22,0,94,11,14,21,0,94,15,64,3,2,21,0,0,21,0,2,21,0,4,21,0,60,21,0,4,0,18,0,0,7,8,8,21,0,17,21,0,46,7,9,8,22,0,95,11,14,21,0,95,21,0,6,21,0,60,21,0,1,3,2,21,0,0,0,0,8,8,22,0,96,11,14,15,65,22,0,97,11,14,15,66,22,0,98,11,14,15,67,22,0,99,11,14,15,68,22,0,100,11,14,21,0,100,21,0,25,7,0,20,0,21,21,0,26,21,0,25,8,8,22,0,101,11,14,21,0,100,21,0,3,21,0,25,7,7,0,20,0,22,21,0,26,21,0,3,21,0,25,7,8,8,22,0,102,11,14,15,69,22,0,103,11,14,15,70,22,0,104,11,14,15,71,22,0,105,11,14,21,0,103,0,22,7,0,20,0,21,21,0,4,0,5,8,8,22,0,106,11,14,21,0,3,21,0,103,0,21,7,7,0,20,21,0,104,8,22,0,107,11,14,21,0,105,0,20,21,0,87,21,0,6,21,0,107,8,8,22,0,108,11,14,15,72,22,0,109,11,14,21,0,109,0,20,21,0,28,8,22,0,110,11,14,21,0,101,21,0,4,21,0,101,8,21,0,74,21,0,55,21,0,1,19,21,0,3,21,0,106,7,19,22,0,111,11,14,15,73,22,0,112,11,14,21,0,112,0,20,21,0,111,8,22,0,113,11,14,21,0,96,0,20,21,0,60,0,16,0,21,19,8,22,0,114,11,14,15,74,22,0,115,11,14,21,0,54,21,0,3,21,0,55,7,0,20,21,0,54,8,21,0,55,21,0,55,21,0,47,21,0,3,21,0,39,7,0,20,21,0,1,8,21,0,39,21,0,39,21,0,40,21,0,22,0,2,7,21,0,41,21,0,3,21,0,40,7,0,20,0,23,21,0,7,21,0,40,8,8,21,0,45,21,0,3,21,0,39,7,0,20,21,0,1,8,21,0,46,21,0,1,21,0,55,0,22,19,21,0,39,21,0,3,21,0,55,7,19,0,20,21,0,1,8,21,0,48,0,21,21,0,4,0,5,8,0,20,15,75,8,21,0,87,0,21,21,0,4,0,5,8,0,20,15,76,8,3,20,21,0,60,21,0,6,21,0,50,21,0,3,21,0,39,7,0,23,19,21,0,3,21,0,92,7,0,23,19,8,16,21,0,110,16,15,77,16,22,0,116,11,14,15,78,22,0,117,11,14,15,79,22,0,118,11,14,21,0,118,22,0,119,11,14,21,0,59,0,20,21,0,58,8,22,0,120,11,14,15,80,22,0,121,11,14,21,0,45,0,20,21,0,74,21,0,6,21,0,101,8,8,22,0,122,11,14,21,0,46,0,20,21,0,74,21,0,6,21,0,102,8,8,22,0,123,11,14,21,0,32,22,0,124,11,14,21,0,54,21,0,55,21,0,47,21,0,39,21,0,40,21,0,41,21,0,43,21,0,44,21,0,42,21,0,56,21,0,122,21,0,123,21,0,48,21,0,49,21,0,50,21,0,51,21,0,53,21,0,52,21,0,36,21,0,37,21,0,2,21,0,1,21,0,120,21,0,92,21,0,63,21,0,78,21,0,81,21,0,85,21,0,86,21,0,110,21,0,87,21,0,101,21,0,102,21,0,74,21,0,114,21,0,106,21,0,113,21,0,107,21,0,108,21,0,93,0,5,21,0,3,21,0,69,21,0,33,21,0,121,21,0,117,21,0,17,21,0,71,0,19,21,0,4,21,0,5,21,0,6,21,0,7,21,0,124,0,20,21,0,115,21,0,68,21,0,66,21,0,119,3,59,25,21,0,1,15,81,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,21,1,2,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,2,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,2,21,0,2,17,17,25,21,0,1,15,82,21,1,1,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,22,17,0,5,16,14,21,0,1,22,0,5,11,21,1,15,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,2,0,20,15,83,15,84,3,2,21,1,0,21,0,6,21,1,11,0,21,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,6,17,8,7,16,0,18,15,85,7,16,14,21,0,8,25,21,0,2,0,7,21,0,1,21,1,15,16,17,0,17,16,0,18,21,1,3,21,0,1,7,0,16,0,6,21,1,6,21,0,2,8,19,7,16,25,21,0,2,21,1,15,16,22,0,3,11,14,21,0,1,21,1,15,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,7,0,16,8,21,1,3,21,0,1,7,0,16,21,0,3,21,1,7,0,7,8,19,3,2,21,1,0,0,13,21,1,6,21,0,3,8,8,7,16,25,15,86,22,0,2,11,14,15,87,22,0,3,11,14,21,0,3,21,0,1,7,21,1,3,21,0,3,21,1,3,21,0,1,7,7,7,3,2,21,1,0,0,12,21,1,5,21,1,12,8,8,21,0,2,21,0,1,7,3,2,21,1,0,0,12,21,1,5,0,12,8,8,25,15,88,21,0,1,7,22,0,2,11,14,21,0,1,15,89,15,90,3,2,21,1,0,0,0,21,1,5,21,1,12,8,8,0,20,0,18,21,0,2,7,8,21,1,21,21,0,2,7,3,3,21,1,0,0,0,21,1,5,0,6,8,8,25,21,0,1,21,1,24,21,0,2,17,25,21,0,1,0,14,21,1,5,21,1,97,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,17,21,1,98,21,0,1,0,15,16,21,1,7,0,16,8,21,1,7,21,1,25,21,1,6,21,0,2,0,15,16,21,1,7,0,16,8,8,8,7,7,16,22,0,4,11,14,0,21,21,1,3,21,0,4,7,16,25,21,0,1,0,12,16,0,13,0,22,17,0,5,16,14,21,0,1,21,1,15,16,22,0,6,11,14,21,0,1,21,1,19,0,22,17,21,1,17,0,8,7,0,22,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,21,22,0,9,11,22,0,10,11,14,21,0,8,0,21,0,18,21,1,9,7,21,1,17,0,8,7,0,22,19,3,2,21,1,0,21,0,6,21,1,11,0,24,17,0,8,0,22,0,12,21,0,7,17,17,8,16,21,1,1,21,1,8,21,0,1,21,1,7,15,91,8,8,16,0,7,0,22,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,7,0,7,8,0,7,21,1,6,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,6,0,3,8,9,15,92,21,0,4,7,3,2,21,1,0,21,0,11,8,16,25,21,0,1,0,12,16,0,12,0,22,17,0,5,16,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,0,3,21,1,11,0,21,17,21,1,8,15,93,8,16,25,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,1,19,0,22,17,22,0,4,11,21,1,17,0,8,7,0,22,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,1,3,21,0,1,0,15,16,7,0,16,0,8,21,1,6,21,0,5,8,21,1,7,0,6,8,19,7,21,0,5,0,17,16,0,15,21,0,4,17,17,25,21,0,2,0,0,16,0,5,16,14,21,0,2,0,18,21,1,9,7,16,0,15,16,21,1,17,0,8,7,0,22,17,0,5,16,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,2,0,18,21,1,12,21,1,6,21,0,3,8,0,8,0,13,21,1,6,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,17,0,8,7,0,22,17,0,5,16,14,21,0,1,15,94,15,95,3,2,21,1,0,21,0,1,0,12,16,0,12,0,22,17,8,21,0,2,0,18,21,1,1,21,1,12,0,21,19,0,8,21,0,3,19,0,6,21,1,1,19,7,16,17,25,21,0,1,0,12,16,0,13,0,22,17,0,5,16,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,1,73,21,0,3,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,3,17,8,7,16,17,25,21,0,2,21,1,9,16,0,5,16,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,3,0,9,21,0,2,17,21,1,13,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,73,21,0,3,0,17,16,0,18,21,1,1,0,13,21,0,2,0,7,21,0,3,17,19,0,8,21,0,3,19,0,7,21,1,1,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,14,16,22,0,6,11,21,1,17,0,8,7,0,22,17,22,0,7,11,0,17,16,22,0,8,11,14,21,0,1,21,0,5,21,1,5,21,0,4,8,21,0,2,17,0,15,16,22,0,9,11,14,21,0,8,0,15,21,0,6,17,21,0,5,16,0,15,16,22,0,10,11,0,21,21,1,26,21,1,23,8,16,22,0,11,11,14,21,1,3,21,0,10,7,0,16,21,0,11,21,1,7,0,16,8,19,21,0,7,3,2,21,1,0,0,13,21,1,6,21,0,11,21,1,15,16,8,8,22,0,12,11,14,0,21,22,0,13,11,21,0,12,16,22,0,14,11,14,21,0,8,0,18,21,0,1,0,15,16,21,1,7,0,16,8,15,96,3,2,21,1,0,15,97,8,7,16,0,15,21,0,6,17,25,21,1,18,21,1,5,21,1,21,21,0,1,7,0,20,0,18,21,0,1,7,8,8,25,21,0,1,21,1,33,21,1,34,7,21,0,2,17,0,15,16,21,1,17,0,8,7,0,22,17,25,21,0,2,0,16,0,22,17,21,0,1,3,2,21,1,0,21,0,2,0,16,0,21,17,8,25,21,0,1,0,15,16,0,18,21,1,35,7,16,21,1,17,0,7,0,8,0,13,19,0,7,21,1,2,19,7,0,21,17,0,6,0,22,17,25,21,0,1,0,15,16,0,16,0,21,17,21,1,37,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,37,21,1,36,21,0,3,19,7,16,21,1,17,0,8,7,0,22,17,0,5,16,14,21,0,3,21,1,17,0,8,7,0,22,17,0,17,16,0,15,21,0,3,17,0,18,21,1,3,21,1,58,21,1,7,0,16,8,7,7,21,0,1,17,25,21,0,2,21,1,39,21,0,1,17,21,1,13,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,12,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,11,21,0,2,17,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,1,21,0,2,0,16,0,22,17,3,2,21,1,0,15,98,21,0,2,0,16,0,21,17,7,8,25,21,0,1,3,1,25,21,0,2,21,1,51,16,21,1,52,0,22,17,0,5,16,14,21,0,2,21,1,58,16,22,0,2,12,14,21,0,2,0,18,21,1,10,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,2,21,1,17,21,1,47,7,16,22,0,3,11,14,21,0,1,21,1,37,16,21,1,17,21,1,47,7,16,22,0,4,11,14,21,0,1,21,0,4,21,1,50,21,0,3,17,21,1,8,15,99,8,16,0,15,21,0,2,17,25,15,100,22,0,3,11,14,15,101,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,0,0,0,8,16,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,21,1,4,21,1,60,8,21,1,1,21,1,4,21,1,48,8,21,1,33,0,16,7,21,1,50,21,1,7,21,1,3,21,1,42,21,1,54,0,22,19,21,1,55,21,1,2,19,7,8,19,0,22,0,21,3,2,0,20,0,23,3,1,8,19,25,21,0,1,21,1,64,21,0,5,7,21,0,2,17,22,0,6,11,21,1,49,0,21,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,102,22,0,9,11,14,21,0,1,21,0,9,21,0,6,7,21,0,2,17,25,21,0,1,21,1,64,21,0,5,7,21,1,33,21,1,55,21,1,7,21,1,43,8,21,1,55,21,1,44,0,21,19,3,2,21,1,0,21,1,1,21,1,53,0,21,19,8,7,21,1,51,21,1,5,21,1,62,8,19,21,0,2,17,22,0,6,11,14,15,103,22,0,7,11,14,21,1,1,21,1,48,9,21,0,7,21,1,1,0,18,21,1,48,7,9,3,3,21,1,0,21,1,51,21,1,7,21,1,52,8,21,1,54,0,21,21,1,7,21,1,49,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,6,21,1,50,21,1,3,21,1,55,7,0,22,19,8,16,17,21,1,33,21,0,4,7,21,0,2,21,0,7,21,0,6,0,16,0,21,17,17,17,21,1,49,16,25,0,29,21,1,68,21,0,1,8,25,21,0,1,21,1,51,16,21,1,53,0,22,17,0,5,16,14,21,0,1,21,1,69,21,1,48,7,16,21,1,17,21,0,4,7,21,0,2,17,25,21,0,1,22,0,3,11,14,15,104,15,105,3,2,21,1,0,21,1,2,21,1,4,21,1,36,21,1,48,21,0,2,19,8,8,25,21,0,1,21,1,37,21,1,5,21,1,62,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,50,7,16,22,0,4,11,21,1,17,21,1,44,7,0,22,17,22,0,5,11,14,21,0,4,21,1,55,21,0,5,17,21,1,52,0,22,17,21,1,17,21,1,45,7,16,0,5,16,14,21,0,3,21,1,33,21,1,74,21,1,6,0,22,21,1,55,21,0,5,17,0,17,16,21,1,7,21,1,54,8,8,7,21,0,5,21,1,56,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,17,21,1,36,7,16,0,5,16,14,21,0,3,21,1,33,0,22,21,1,1,0,16,0,21,19,3,2,21,1,0,21,1,2,8,7,21,0,4,21,1,51,21,0,5,17,17,21,1,17,21,1,54,7,16,22,0,7,11,14,21,0,1,21,1,60,21,1,5,21,1,20,8,21,0,2,17,21,1,60,21,0,6,0,16,0,21,17,21,1,20,21,0,7,3,1,17,17,25,15,106,22,0,3,11,14,21,0,1,21,1,60,21,1,60,21,1,37,21,1,4,21,1,20,21,1,6,21,1,1,21,1,50,21,1,5,21,1,55,8,21,0,2,19,21,1,44,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,8,8,19,16,0,21,21,1,72,21,0,3,8,21,0,2,17,25,21,0,1,21,1,51,16,21,1,53,0,22,17,0,5,16,14,21,0,1,21,1,50,16,21,1,54,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,76,8,7,16,25,21,0,1,21,1,37,16,21,1,50,21,1,7,21,1,55,8,21,1,44,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,21,1,3,21,1,20,7,21,1,1,19,21,1,78,21,1,2,19,21,0,2,21,1,50,16,17,22,0,3,11,14,21,0,1,21,1,78,21,0,2,21,1,43,21,0,3,17,21,1,44,21,0,3,21,1,55,16,17,21,1,54,0,21,21,1,49,21,0,2,17,21,1,40,0,29,17,21,1,47,21,0,3,17,17,17,25,21,0,1,21,1,51,16,21,1,53,0,22,17,0,5,16,14,21,0,1,21,1,50,16,21,1,54,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,79,8,7,16,25,21,0,1,0,0,16,0,5,16,14,21,0,2,21,1,51,16,21,1,52,0,22,17,0,5,16,14,21,0,1,21,1,37,16,21,1,50,21,1,5,21,1,53,8,21,0,2,17,0,5,16,14,21,0,2,21,1,60,16,0,18,21,1,10,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,1,37,16,21,1,78,21,0,2,21,1,50,16,17,22,0,3,11,14,21,0,3,21,1,54,0,22,17,21,1,53,21,0,2,17,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,0,2,21,1,50,16,21,1,48,0,21,17,21,1,8,15,107,8,21,0,2,17,25,21,0,1,21,1,83,21,1,6,0,18,21,0,2,7,8,16,25,21,0,1,21,1,50,21,1,5,21,1,51,8,21,0,2,17,0,5,16,14,21,0,1,21,1,83,21,0,2,17,25,21,0,2,21,1,51,16,21,1,48,0,21,17,25,0,29,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,50,7,16,21,1,87,16,0,18,15,108,7,16,25,21,1,1,21,1,17,0,18,21,1,20,21,1,6,21,1,60,8,7,7,3,0,21,1,48,16,19,22,0,3,11,14,21,0,1,0,0,16,0,5,16,14,21,0,1,0,18,21,1,37,7,16,22,0,4,11,14,21,0,4,21,1,60,16,0,16,0,21,17,21,1,50,16,22,0,5,11,14,21,0,4,0,18,21,1,50,7,16,21,1,51,21,0,5,17,21,1,60,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,1,51,16,21,1,52,21,0,5,17,0,5,16,14,21,0,1,22,0,6,11,21,1,51,16,22,0,7,11,21,1,85,16,22,0,8,11,21,1,33,15,109,7,21,0,1,21,1,37,16,17,22,0,9,11,14,21,0,9,21,0,3,16,21,1,36,21,0,4,0,18,21,1,78,21,1,6,21,0,7,8,7,16,17,0,5,16,14,21,0,9,0,18,15,110,7,16,21,0,3,16,22,0,10,11,14,21,0,1,21,1,87,21,0,9,17,21,1,33,21,1,74,21,1,6,0,18,21,1,48,7,8,7,21,0,10,17,21,1,49,16,25,21,0,1,21,1,51,16,21,1,51,0,22,17,0,5,16,14,21,0,1,0,18,21,1,9,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,1,53,0,29,17,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,0,4,21,0,1,0,3,16,22,0,5,11,17,22,0,6,11,14,0,21,22,0,7,11,14,21,0,5,0,18,21,1,85,21,1,4,0,18,15,111,7,8,21,0,4,9,7,16,25,21,0,1,0,0,16,0,5,16,14,21,1,89,21,1,1,7,22,0,3,11,14,21,0,1,21,0,3,0,18,21,0,3,7,21,1,17,0,18,0,18,21,1,20,21,1,6,21,1,60,8,7,7,7,3,0,21,1,48,16,21,1,48,16,19,3,2,21,1,0,21,1,36,21,1,48,0,22,19,8,16,25,21,0,1,0,0,16,0,5,16,14,21,0,2,21,1,36,16,21,1,48,0,22,17,22,0,3,11,14,21,0,2,21,1,50,15,112,3,2,21,1,0,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,37,16,21,1,50,21,1,5,21,1,53,8,21,0,4,17,0,5,16,14,21,0,1,21,1,37,16,21,1,78,21,1,6,21,1,50,8,21,0,4,17,21,1,51,21,0,4,17,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,1,2,21,1,89,21,0,1,21,1,7,21,1,74,8,7,9,15,113,3,2,21,1,0,21,0,3,8,21,0,2,17,25,21,0,2,21,1,51,16,21,1,51,0,22,17,0,5,16,14,21,0,1,21,1,37,16,22,0,3,11,21,1,50,21,1,5,21,1,51,8,21,0,2,17,0,5,16,14,21,0,2,0,18,21,1,9,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,3,21,1,48,21,1,45,21,1,55,21,1,7,21,1,52,8,19,21,0,2,17,21,1,17,21,1,45,7,16,0,5,16,14,0,21,21,1,48,21,0,2,17,21,1,47,21,0,3,17,21,1,54,21,0,2,17,22,0,2,12,14,21,0,2,21,1,50,16,21,1,56,21,1,6,21,1,85,8,16,21,1,55,16,21,1,17,21,1,1,21,1,47,21,0,3,21,1,7,0,16,8,19,21,1,54,21,0,2,21,1,7,0,16,8,19,7,0,21,17,21,1,3,0,16,7,21,0,1,21,1,60,16,17,25,21,0,2,0,18,21,0,1,21,1,7,21,1,95,8,7,16,25,21,0,1,21,1,51,21,1,6,0,21,8,21,1,17,21,1,46,7,9,21,1,5,21,1,3,21,1,55,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,21,21,0,3,3,2,15,114,3,2,21,1,0,0,21,21,1,51,21,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,115,22,0,8,11,14,21,0,4,21,1,51,21,1,6,0,21,8,21,1,8,21,0,1,8,9,21,0,8,3,2,0,16,21,0,6,21,1,50,0,22,17,17,25,21,0,1,22,0,2,11,14,21,1,48,21,1,6,0,21,8,21,1,8,15,116,8,25,21,0,2,21,1,51,16,21,1,3,21,1,55,7,0,22,17,22,0,5,11,14,21,0,5,21,1,53,0,21,17,0,5,16,14,21,0,1,21,1,51,16,21,1,53,21,0,5,17,0,5,16,14,21,0,2,21,1,19,0,22,17,22,0,6,11,21,1,17,21,1,47,7,16,22,0,7,11,14,0,21,21,1,98,21,0,2,21,1,60,16,21,1,7,0,16,8,21,1,5,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,50,16,0,22,0,22,21,1,7,21,1,55,21,1,4,21,1,85,8,8,21,1,47,21,0,7,19,0,18,21,1,54,21,1,6,21,0,7,8,21,1,7,21,0,8,8,7,9,21,1,3,21,1,53,7,0,21,19,21,1,17,21,1,45,7,9,3,2,21,1,0,21,1,48,21,1,6,0,21,8,8,16,0,5,16,14,21,0,1,21,1,51,16,21,1,3,21,1,55,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,19,21,0,9,17,22,0,10,11,14,21,0,10,21,1,97,21,0,6,17,22,0,11,11,14,21,0,11,21,1,17,21,1,98,21,0,1,21,1,60,16,21,1,7,0,16,8,21,1,7,21,0,4,21,1,6,21,0,2,21,1,60,16,21,1,7,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,3,0,21,7,21,1,53,21,0,12,21,1,6,21,1,47,21,1,6,21,0,6,21,1,17,21,1,47,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,85,16,0,18,21,0,1,21,1,37,16,21,1,7,0,16,8,7,16,21,1,17,21,1,47,7,21,1,85,9,21,1,7,21,1,60,8,16,21,1,47,21,0,10,21,1,17,21,1,47,7,16,17,0,18,15,117,21,1,6,21,0,2,21,1,50,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,71,21,1,45,7,21,1,56,9,0,19,21,1,45,7,21,1,71,21,1,54,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,118,25,21,0,1,21,1,51,16,21,1,53,0,22,17,0,5,16,14,21,0,1,21,1,101,16,22,0,3,11,14,21,0,1,21,1,50,16,21,1,85,16,0,18,0,22,21,1,1,21,0,1,21,1,51,21,1,48,0,22,19,21,1,8,21,1,69,21,1,48,7,8,16,21,1,74,21,0,3,17,21,1,7,0,16,8,21,1,5,21,1,37,8,0,22,21,1,7,21,1,55,8,19,3,2,21,1,0,21,1,48,21,1,6,0,21,8,8,7,16,21,1,74,21,0,3,0,4,21,1,6,21,1,33,0,22,7,8,16,17,25,21,0,2,21,1,51,16,22,0,3,11,14,21,0,1,21,1,51,16,21,1,53,21,0,3,17,0,5,16,14,21,0,1,21,0,3,21,1,68,21,1,85,8,21,0,2,21,1,37,16,17,21,0,3,21,1,68,21,1,36,8,21,0,2,17,25,21,0,1,21,1,36,21,1,51,0,21,19,21,1,8,21,1,48,8,16,22,0,1,12,14,21,0,2,21,1,51,16,21,1,52,0,22,17,0,5,16,14,21,0,2,21,1,60,16,22,0,2,12,14,21,0,1,21,1,37,16,21,1,50,21,1,5,21,1,53,8,21,0,2,17,0,5,16,14,21,0,2,21,1,60,16,0,18,21,1,10,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,2,21,1,107,16,21,1,56,16,21,1,17,21,1,54,7,16,21,1,55,21,0,1,21,1,51,16,17,22,0,3,11,14,21,0,3,21,1,48,21,0,2,17,21,1,17,21,1,45,7,16,0,5,16,14,21,0,3,21,1,85,16,21,1,1,21,1,87,21,1,3,21,1,107,21,1,4,21,1,56,8,7,19,21,0,2,17,21,1,92,21,0,2,17,22,0,2,12,14,21,0,1,21,1,37,16,21,1,93,21,0,2,17,0,18,21,1,17,21,1,43,7,7,16,21,1,85,16,0,18,21,1,3,21,0,1,7,21,1,96,21,1,74,21,1,6,21,0,2,8,19,7,16,25,21,0,1,21,1,106,21,1,6,21,0,2,8,21,1,111,21,1,7,21,1,69,21,1,63,7,8,9,21,1,5,21,1,106,8,21,0,2,17,25,21,0,1,15,119,21,0,5,21,1,114,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,0,0,16,0,5,16,14,21,0,1,21,1,51,16,21,1,51,0,21,17,0,5,16,14,21,0,1,21,1,114,16,25,21,0,1,21,1,51,16,21,1,51,0,22,17,0,5,16,14,21,0,1,0,18,21,1,10,7,16,21,1,17,21,1,45,7,16,0,5,16,14,21,0,1,21,1,81,21,1,6,0,22,8,21,1,53,21,1,81,21,1,6,0,29,8,19,21,1,17,21,1,45,7,9,16,0,5,16,14,21,0,1,0,3,16,25,21,1,3,0,21,21,1,4,0,5,8,3,1,21,1,92,21,0,1,21,1,74,0,22,17,17,7,21,1,114,21,1,48,21,1,106,21,0,1,21,1,74,0,21,17,19,21,1,114,9,19,25,21,0,1,21,1,116,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,21,22,0,7,11,22,0,8,11,14,21,0,6,0,21,21,1,66,15,120,8,16,14,21,0,1,22,0,9,11,14,15,121,22,0,10,11,14,21,0,7,21,0,10,21,1,1,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,55,16,21,0,10,21,1,1,21,1,117,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,21,21,1,66,21,1,3,21,0,11,21,0,12,3,2,7,21,1,114,0,21,21,1,7,21,1,48,8,19,21,1,114,21,1,42,19,8,16,25,21,1,18,21,1,5,0,18,21,0,1,7,8,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,57,16,25,0,22,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,17,0,8,21,2,6,21,0,1,0,14,16,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,16,14,21,0,5,21,2,17,0,8,7,0,22,17,0,17,16,0,18,21,0,1,0,15,16,21,2,7,0,16,8,21,0,4,21,0,2,0,15,16,21,2,7,0,16,8,19,7,16,0,15,21,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,17,0,8,21,2,6,21,0,7,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,16,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,17,0,8,21,2,6,0,6,21,2,6,21,0,6,8,21,2,3,0,16,7,21,0,7,19,8,7,0,22,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,5,0,18,21,2,3,21,0,10,7,0,16,0,6,21,2,6,0,8,21,2,6,21,0,8,8,8,19,21,0,4,21,0,9,21,2,7,0,16,8,19,7,8,21,0,9,21,2,15,16,17,0,15,16,0,15,21,0,7,17,25,21,0,1,21,2,22,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,122,21,0,2,7,7,16,25,21,0,2,0,18,15,123,21,0,1,7,7,16,25,21,1,6,0,8,0,23,17,0,13,21,0,1,21,2,17,21,2,13,7,16,22,1,10,12,0,7,21,0,1,21,2,17,21,2,14,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,3,0,21,7,21,2,12,0,21,21,2,98,21,1,8,21,2,7,0,16,8,21,2,5,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,1,21,1,6,3,2,21,2,0,0,13,21,2,6,21,1,6,8,8,22,0,6,11,14,0,21,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,23,17,21,2,14,16,22,0,7,11,0,17,16,0,18,21,2,1,0,6,0,22,19,0,7,21,0,7,19,0,10,0,23,19,7,16,21,2,17,15,124,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,10,7,16,21,2,17,0,8,7,0,22,17,0,5,16,14,0,22,0,7,21,1,3,17,22,0,3,11,14,21,2,1,0,7,21,0,3,19,21,2,3,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,6,21,0,3,8,7,16,0,19,21,2,1,21,2,3,0,16,7,21,0,1,19,0,12,0,21,19,0,8,0,7,19,0,6,21,2,1,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,7,0,16,8,22,0,5,11,14,0,21,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,17,16,0,18,15,125,7,16,25,21,0,1,21,2,19,0,22,17,22,0,3,11,21,2,17,0,8,7,0,22,17,22,0,4,11,14,21,0,4,0,17,16,0,15,21,0,3,17,0,18,0,6,21,2,6,0,8,21,2,6,21,0,4,8,8,21,2,3,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,2,7,0,16,8,7,16,25,21,0,1,14,21,1,9,0,16,21,1,11,0,16,21,1,13,17,17,22,0,3,11,14,21,1,13,0,6,0,22,17,22,1,13,12,21,1,12,16,22,1,14,12,14,21,0,3,25,21,0,1,0,12,21,1,14,17,25,21,0,1,21,2,51,21,0,4,17,25,21,1,3,0,17,16,0,18,21,2,2,7,21,2,6,0,1,8,15,126,21,2,6,0,15,8,3,2,21,2,0,21,1,4,21,2,48,0,21,17,8,21,0,1,17,25,21,0,1,21,2,10,16,0,5,16,14,21,0,1,0,17,16,25,21,0,1,21,2,51,16,21,2,51,0,22,17,0,5,16,14,21,0,1,0,18,21,1,3,7,16,21,2,17,0,18,21,2,20,21,2,6,21,2,60,8,7,7,3,0,21,2,48,16,17,25,21,1,9,21,1,7,21,2,54,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,33,21,0,5,7,21,2,2,21,2,4,0,18,21,0,1,21,2,7,21,0,5,8,7,8,21,2,1,21,2,4,0,18,21,2,1,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,0,21,2,36,21,2,5,21,2,62,8,21,2,52,21,0,4,21,2,44,0,21,17,19,21,2,46,0,21,21,2,52,21,0,4,17,21,2,45,21,1,7,17,19,21,2,59,0,23,19,21,2,17,21,2,54,21,2,6,0,23,21,2,7,21,2,47,8,8,7,9,8,21,0,2,17,25,21,0,2,0,17,16,0,18,21,0,1,21,2,37,16,21,2,7,0,16,8,7,16,22,0,3,11,14,21,0,1,21,2,19,21,0,2,17,22,0,4,11,21,2,17,21,2,47,7,16,22,0,5,11,14,21,0,3,21,2,17,21,2,47,7,16,0,17,16,0,18,21,2,1,21,2,47,21,0,5,19,21,2,54,21,0,5,0,17,16,21,2,60,21,0,4,17,19,21,2,4,0,18,21,0,1,21,2,60,16,21,2,7,0,16,8,7,8,7,16,21,2,60,21,0,3,17,25,21,0,1,21,2,51,16,21,2,53,0,22,17,0,5,16,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,21,2,51,16,21,2,52,0,22,17,0,5,16,14,21,0,1,21,2,37,16,21,2,50,21,2,5,21,2,53,8,21,0,2,17,0,5,16,14,21,0,2,21,2,50,16,22,0,3,11,14,21,0,2,21,2,60,16,21,2,7,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,48,0,21,17,21,2,8,15,127,8,0,21,17,25,21,0,2,21,2,9,16,0,5,16,14,21,0,1,21,2,50,16,22,0,3,11,14,0,21,21,2,48,21,0,2,17,22,0,4,11,14,21,0,2,21,2,42,16,22,0,5,11,21,2,43,21,0,3,17,22,0,6,11,14,21,0,5,3,1,22,0,7,11,14,0,22,22,0,8,11,14,21,0,6,0,17,16,21,0,4,21,2,8,21,2,54,8,21,0,6,21,2,55,21,0,3,17,17,21,0,1,21,2,51,16,21,2,50,0,22,17,21,2,8,15,128,1,8,21,0,1,17,22,0,9,11,14,21,0,9,0,18,21,0,1,21,2,60,16,21,2,7,0,16,8,7,16,21,0,5,21,2,48,21,0,3,17,21,2,8,15,129,1,21,0,1,7,8,16,21,2,60,21,0,7,17,25,21,0,2,21,2,60,16,21,2,1,21,2,61,21,2,5,0,18,21,2,54,7,8,21,2,56,19,21,1,3,17,21,2,33,21,0,1,21,2,7,21,2,74,21,2,6,0,18,21,2,48,7,8,8,7,16,21,2,49,21,2,60,21,2,37,21,2,4,21,0,1,21,2,37,16,21,2,81,21,2,6,21,2,50,8,21,0,2,17,21,2,7,21,2,20,8,8,19,16,25,21,0,1,21,2,50,21,2,6,21,1,4,8,21,2,8,15,130,1,8,16,14,21,1,5,0,16,0,22,21,2,54,21,1,3,17,22,1,3,12,17,25,21,0,2,21,2,85,16,0,18,21,2,47,21,2,6,21,0,1,21,2,51,21,1,8,17,8,21,2,3,21,2,94,7,21,1,6,19,21,2,37,21,2,7,0,16,8,21,0,1,19,7,16,25,21,0,1,21,2,78,16,0,18,21,2,17,21,2,54,7,7,16,22,0,3,11,14,21,0,3,21,2,81,0,29,17,21,2,87,21,0,1,17,21,2,55,21,0,3,21,2,86,16,0,16,0,21,17,21,2,85,16,17,25,21,0,1,14,21,1,6,0,16,21,1,7,17,21,2,1,0,22,21,2,54,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,51,16,21,2,51,0,22,17,0,5,16,14,21,0,1,0,18,21,2,50,7,16,25,21,0,2,0,18,21,2,89,21,2,1,7,7,16,21,2,47,21,1,4,21,2,81,0,22,17,21,2,86,16,21,2,20,0,22,3,1,17,0,19,21,2,47,7,16,21,2,86,16,17,21,2,17,0,18,0,18,21,2,54,7,7,7,16,0,18,21,0,1,21,2,19,21,1,4,21,2,50,16,17,21,2,20,21,1,4,21,2,17,21,2,47,7,16,3,1,17,21,2,3,21,2,60,7,21,0,1,17,21,2,7,21,2,74,8,7,16,25,21,0,1,21,2,50,21,2,5,21,2,55,8,21,0,2,17,21,2,47,16,22,0,3,11,14,21,0,1,21,2,50,21,2,5,21,2,43,8,21,0,2,17,22,0,4,11,14,21,0,1,15,131,1,21,2,6,21,2,50,21,2,54,21,0,4,21,2,85,16,21,2,54,0,22,17,21,2,55,16,19,8,21,2,5,15,132,1,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,133,1,21,1,7,3,2,21,2,0,21,2,51,21,2,6,21,1,6,8,8,22,0,5,11,14,0,21,21,0,5,16,25,15,134,1,22,0,3,11,14,0,29,21,0,3,0,22,21,2,54,21,0,1,17,17,21,2,54,0,22,17,25,21,0,2,21,2,99,21,0,1,21,2,7,21,1,13,8,7,16,25,21,0,2,21,2,51,16,21,2,3,21,2,55,7,0,22,17,22,0,3,11,14,21,0,3,21,2,53,0,21,17,0,5,16,14,21,0,1,21,2,18,16,21,2,1,21,2,4,21,0,3,21,2,68,0,21,8,8,21,2,1,21,0,3,21,2,68,21,2,48,8,3,2,21,2,0,21,0,3,21,2,48,0,21,17,8,21,2,5,0,18,21,2,37,7,8,21,1,3,9,3,2,21,2,0,21,0,2,21,2,50,16,21,2,48,0,21,17,8,15,135,1,3,2,21,2,0,21,2,60,21,2,4,21,2,50,8,21,2,48,0,26,19,21,2,5,21,2,45,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,9,16,0,5,16,14,21,0,1,21,2,43,21,1,8,17,22,1,8,12,14,21,0,1,21,2,44,21,1,7,17,22,1,7,12,25,21,0,1,21,2,54,0,21,17,21,2,85,16,21,2,92,21,1,9,3,1,17,0,19,21,2,2,21,2,4,21,0,4,8,7,16,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,21,22,0,5,11,22,0,6,11,22,0,7,11,14,0,25,22,0,8,11,14,21,0,1,0,22,0,12,21,2,7,17,0,7,0,22,17,21,3,8,0,18,0,8,21,3,6,21,2,7,8,7,8,16,21,3,7,0,16,8,21,3,5,21,1,5,8,22,0,9,11,14,21,0,9,0,21,0,22,0,23,3,4,22,0,10,11,14,0,6,15,136,1,3,2,0,16,21,0,3,0,13,0,26,17,17,22,0,11,11,14,15,137,1,22,0,12,11,14,15,138,1,15,139,1,21,0,12,3,3,21,3,0,15,140,1,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,7,15,141,1,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,8,15,142,1,8,16,25,21,0,1,21,3,42,21,2,4,17,0,18,21,0,2,21,3,7,0,16,8,7,16,25,21,0,1,0,22,21,3,55,21,1,3,17,21,3,48,21,0,2,17,21,3,8,21,3,69,21,0,0,21,3,6,21,0,2,21,3,54,0,22,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,0,2,21,3,19,0,22,17,22,0,3,11,21,3,20,22,1,7,13,14,21,0,3,21,3,17,21,3,47,7,16,22,1,8,12,21,3,1,21,3,4,0,17,8,0,18,21,3,54,7,21,3,47,19,21,0,1,17,25,21,1,6,21,3,55,21,1,5,17,21,3,47,21,1,8,17,0,17,16,0,18,21,0,4,0,1,16,21,3,60,16,0,16,0,21,17,7,16,21,3,20,21,3,3,21,3,20,7,3,2,21,3,0,21,1,4,8,21,0,1,21,3,60,16,17,25,21,0,1,22,2,4,12,21,3,3,0,16,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,0,2,0,18,21,0,1,21,3,7,0,16,8,7,16,25,21,0,1,21,3,51,21,0,2,17,0,19,21,3,45,7,16,21,3,17,21,3,54,7,16,22,0,3,11,14,21,0,3,21,3,85,16,0,18,21,0,2,21,3,7,0,16,8,7,16,21,3,17,21,3,47,7,16,22,0,4,11,14,21,0,3,21,3,49,21,3,6,21,1,4,8,21,3,8,21,0,2,21,0,1,3,2,21,3,7,21,3,33,0,16,7,8,21,3,4,15,143,1,8,8,16,14,21,0,4,25,21,1,4,21,3,54,21,3,6,21,0,1,8,21,3,5,21,2,5,8,21,1,3,17,21,3,51,21,3,6,0,21,8,21,3,8,21,0,1,21,3,54,0,22,17,21,3,4,21,1,5,8,8,16,25,21,0,1,0,22,21,3,7,21,3,49,8,21,3,8,15,144,1,8,21,0,2,17,25,21,0,2,21,3,102,16,21,3,86,16,22,0,3,11,14,21,0,1,21,3,101,21,0,2,21,3,74,21,0,3,17,17,21,3,3,21,3,55,7,0,22,17,21,3,44,0,21,17,21,3,3,21,3,74,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,68,21,3,36,8,21,0,2,21,3,74,21,0,4,17,17,21,2,2,21,3,8,21,3,47,21,3,6,21,3,55,21,3,6,21,0,4,8,8,21,3,54,21,3,2,19,8,21,0,2,21,3,50,16,17,25,21,0,1,21,1,8,0,7,0,22,17,21,4,8,21,1,9,0,7,0,22,19,21,4,8,15,145,1,8,8,0,22,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,22,17,22,1,4,12,0,12,21,1,6,17,0,8,0,23,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,22,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,0,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,22,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,21,4,17,21,4,55,7,16,21,4,47,16,22,2,3,12,14,21,0,1,21,4,17,21,4,43,7,16,21,4,47,21,1,4,17,22,1,4,12,25,0,23,21,4,39,21,0,2,17,21,4,43,16,22,0,3,11,21,4,54,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,2,21,4,42,0,23,17,21,4,47,21,0,5,17,21,4,54,21,0,3,17,17,25,21,0,1,14,0,23,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25])
+ ,provide.concat([0,1,2,32,3,8,Infinity,-Infinity,-1])
+ ,[[0,1,0,125],[2,0,2514,6],[0,0,2541,3],[0,0,2545,3],[0,0,2549,3],[1,0,2553,5],[2,0,2571,6],[2,0,2586,6],[2,0,2605,6],[2,0,2627,6],[2,0,2649,6],[0,0,2681,3],[0,0,2692,3],[0,0,2701,3],[1,0,2710,9],[0,0,2821,3],[0,0,2861,4],[1,1,2937,4],[1,1,3010,3],[0,0,3074,3],[0,0,3085,5],[2,0,3169,12],[0,0,3373,4],[0,0,3420,6],[0,0,3510,4],[0,0,3660,4],[0,0,3719,4],[2,0,3819,15],[1,1,4007,2],[0,0,4031,3],[0,0,4058,3],[0,0,4084,3],[0,0,4123,4],[0,0,4218,3],[0,0,4245,3],[0,0,4267,3],[0,0,4289,3],[0,0,4300,3],[0,0,4329,3],[0,0,4335,5],[0,0,4449,5],[0,0,4482,3],[0,0,4491,3],[1,1,4497,2],[2,0,4566,10],[2,0,4625,8],[1,1,4812,2],[1,0,4822,5],[2,1,4862,4],[0,0,4898,8],[0,0,5130,4],[0,0,5211,3],[0,0,5259,4],[0,0,5380,3],[0,0,5428,4],[0,0,5584,3],[0,0,5602,3],[0,0,5634,3],[0,0,5648,7],[0,0,5695,11],[1,0,5952,8],[0,0,6064,4],[0,0,6146,5],[0,0,6299,4],[0,0,6504,3],[0,0,6522,4],[1,0,6594,9],[1,1,6663,3],[1,0,6687,14],[1,1,7115,4],[0,0,7164,4],[0,0,7303,4],[0,0,7369,4],[0,0,7630,3],[2,0,7670,6],[0,0,7698,3],[0,0,7733,3],[0,0,7817,3],[1,1,7869,2],[2,0,7877,13],[1,1,8028,2],[1,1,8042,2],[1,1,8046,2],[0,0,8050,3],[0,0,8062,3],[0,0,8085,3],[1,0,8106,6],[1,0,8221,11],[1,0,8440,5],[0,0,8455,3],[0,0,8469,3],[0,0,8483,3],[1,0,8528,8],[0,0,8666,8],[0,0,8831,5],[0,0,8906,3],[0,0,8923,4],[0,0,8972,3],[1,0,8982,5],[0,0,8993,3],[0,0,9039,3],[0,0,9057,3],[1,0,9109,6],[0,0,9262,6],[0,0,9390,3],[0,0,9418,5],[0,0,9512,10],[0,0,9695,3],[0,0,9795,3],[0,0,9837,3],[0,0,9890,4],[0,0,9950,3],[0,0,9981,3],[0,0,10009,3],[0,0,10127,6],[0,0,10234,6],[0,0,10284,4],[0,0,10314,3],[0,0,10333,4],[1,1,10489,2],[0,0,10493,3],[1,0,10534,5],[1,0,10571,5],[1,0,10582,5],[0,0,10593,14],[0,0,10769,3],[0,0,10790,3],[0,0,10814,3],[0,0,10870,4],[1,0,10930,5],[0,0,10997,3],[0,0,11026,3],[0,0,11043,5],[0,0,11154,3],[0,0,11209,3],[0,0,11233,5],[0,0,11362,3],[0,0,11402,3],[0,0,11485,3],[0,0,11519,3],[0,0,11548,3],[0,0,11566,3],[0,0,11583,3],[0,0,11612,3],[0,0,11655,6],[0,0,11734,3]]
+);
// Compiler
let compile = run(
diff --git a/src/cjs.bqn b/src/cjs.bqn
index 8796df9a..6ed5c5ae 100755
--- a/src/cjs.bqn
+++ b/src/cjs.bqn
@@ -1,17 +1,18 @@
#! /usr/bin/env dbqn
compile ← ⟨•path∾"../c.bqn"⋄"DGenFn"⟩ •EX •path∾"../dzref"
-Symcomp ← ((<"runtime["∾⍕∾"]"˜)¨↕59)⊸Compile
+Comp ← ((<"runtime["∾⍕∾"]"˜)¨↕59)⊸Compile
FP ← ∞⊸=◶⟨⍕,"Infinity"⟩
Str ← "str("""∾∾⟜""")"
Char ← "'"(∾∾⊣)(⟨"\t","\n","\'"⟩∾<)⊑˜("'"∾˜•UCS 9‿10)⊑∘⊐⊢
-Fmt ← ≡◶⟨(⊑⍋)∘(∾⟜∞)◶⟨0⊸≤◶⟨"-"∾FP∘|,FP⟩,Char⟩⋄Str⋄⊑⟩
+Fconst ← ≡◶⟨(⊑⍋)∘(∾⟜∞)◶⟨0⊸≤◶⟨"-"∾FP∘|,FP⟩,Char⟩⋄Str⋄⊑⟩
L ← "["∾"]"∾˜1↓·∾","⊸∾⟜⍕¨
-G ← ⟨L∾⟜25,L Fmt¨,L⟨⊑"fmd"⊸⊐,⊢,⊢,≠⟩⊸(L{𝕎𝕩}¨)¨⟩ {𝕎𝕩}¨ 0‿1‿3 ⊏ Symcomp
-Gen ← L G
-GenLong ← ∾ (1‿2/⟨" new Uint8Array("∾∾⟜")"⋄((•UCS 10)∾" ,")⊸∾⟩) {𝕎𝕩}¨ G
+J ← ∾∾⟜(•UCS 10)¨
+Fout ← ⟨L∾⟜25,L Fconst¨,L⟨⊑"fmd"⊸⊐,⊢,⊢,≠⟩⊸(L{𝕎𝕩}¨)¨⟩ {𝕎𝕩}¨ 0‿1‿3 ⊏ ⊢
+Frun ← ("provide.concat("∾∾⟜")")⌾(1⊸⊑) Fout
+Long ← ∾ (1‿2/⟨" new Uint8Array("∾∾⟜")"⋄((•UCS 10)∾" ,")⊸∾⟩) {𝕎𝕩}¨ ⊢
• ← (⊑"r"‿"c"⊐⊏)◶⟨
- {𝕩⋄GenLong •EX •path∾"pr.bqn"}
- {𝕩⋄GenLong ∾∾⟜(•UCS 10)¨ •LNS •path∾"c.bqn"}
- ∾·∾⟜(•UCS 10)¨ Gen¨
+ {𝕩⋄Long Frun {𝕩⊸↓⌾(1⊸⊑)Comp𝕨}´ •EX •path∾"pr.bqn"}
+ {𝕩⋄Long Fout Comp J •LNS •path∾"c.bqn"}
+ J L∘Fout∘Comp¨
⟩ •args
diff --git a/src/pr.bqn b/src/pr.bqn
index d9ae5ef4..a93bd4eb 100755
--- a/src/pr.bqn
+++ b/src/pr.bqn
@@ -24,11 +24,15 @@ Inc ← {
}
# Required functionality passed in as an argument
-pnam ← ⟨"IsArray","Type","Log","GroupLen","GroupOrd"⟩∾names⊏˜chr⊐"!+-×÷⋆⌊=≤≢⥊⊑↕⌜`⊘"
+def ← ⟨"IsArray","Type","Log","GroupLen","GroupOrd"⟩
+keep ← "!+-×÷⋆⌊=≤≢⥊⊑↕⌜`⊘"
+ki ← chr⊐keep
+kt ← (+`nc)(∾((≠def)∾¯1↓⊣)+⊔⟜⊒∘⍋)ki
+names ↩ (⥊¨kt⊏chr)⌾(ki⊸⊏)names
E_isdef ← (3≤≠)◶⟨0,∧´⟨chr," ","←↩"⟩∊˜¨3⊸↑⟩
-E_proc ← {
+E_proc ← ({𝕨∘𝕩}´ {𝕨•_R_𝕩}⟜⥊¨⟜(≠↑chr˜) def)∘{
l←≠chr
q←≠`𝕩∊"""'" ⋄ f←¬∨`q¬⊸∧𝕩='#'
∾ (((l×f/q)+chr⊸⊐) (≥⟜l)◶⟨⊑⟜names,⥊∘⊢⟩¨ ⊢) f/𝕩
@@ -39,9 +43,5 @@ E_redef ← { # handles [fmd] [←↩]
(E_proc 1↑𝕩) ∾ "←" ∾ tail
}
-ref ← ∾ ∾⟜(•UCS 10)¨ ∾⟨
- ⟨"{"⟩
- ⟨"←𝕩"∾˜"⟨"∾"⟩"∾˜1↓∾","⊸∾¨pnam⟩
- E_isdef◶E_proc‿E_redef¨ impl∾<"⟨"∾"⟩"∾˜1↓⥊","⊸∾˘∾chrs
- ⟨"}"⟩
-⟩
+ref ← ∾∾⟜(•UCS 10)¨ E_isdef◶E_proc‿E_redef¨ impl∾<"⟨"∾"⟩"∾˜1↓⥊","⊸∾˘chr
+⟨ref, def+○≠keep⟩
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 09:27:53 +0000