diff options
| -rwxr-xr-x | docs/bqn.js | 6 | ||||
| -rw-r--r-- | src/r.bqn | 5 |
2 files changed, 6 insertions, 5 deletions
diff --git a/docs/bqn.js b/docs/bqn.js index 37795825..1dfbf006 100755 --- a/docs/bqn.js +++ b/docs/bqn.js @@ -242,9 +242,9 @@ let provide = [ ]; let [runtime,setPrims] = run( - [0,80,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,22,19,22,0,14,11,14,0,22,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,15,11,14,0,22,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,22,8,19,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,23,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,23,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,23,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,22,8,8,22,0,26,11,14,0,23,0,14,0,16,0,22,19,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,27,11,14,15,21,22,0,28,11,14,31,0,28,22,0,29,11,14,15,22,22,0,30,11,14,15,23,22,0,31,11,14,15,24,0,12,0,34,21,0,30,21,0,0,7,16,19,22,0,32,11,14,0,14,21,0,12,15,25,8,22,0,33,11,14,15,26,22,0,34,11,14,21,0,5,0,20,15,27,15,28,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,23,19,8,8,22,0,35,11,14,21,0,35,22,0,36,11,14,15,29,22,0,37,11,14,15,30,22,0,38,11,14,0,13,0,7,21,0,21,19,22,0,39,11,14,0,23,0,15,0,16,0,22,19,21,0,12,0,13,0,8,0,24,19,0,7,0,23,19,15,31,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,23,19,21,0,22,0,22,19,8,22,0,40,11,14,21,0,39,21,0,40,21,0,8,21,0,40,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,32,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,41,11,14,15,33,22,0,42,11,14,15,34,22,0,43,11,14,21,0,20,21,0,5,0,20,15,35,8,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,44,11,14,15,36,21,0,13,21,0,5,0,20,15,37,8,8,22,0,45,11,14,15,38,22,0,46,11,14,15,39,22,0,47,11,14,15,40,22,0,48,11,14,15,41,22,0,49,11,14,15,42,22,0,50,11,14,15,43,22,0,51,11,14,15,44,22,0,52,11,14,21,0,17,0,1,0,16,21,0,11,0,22,8,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,9,22,0,53,11,14,15,45,22,0,54,11,14,15,46,22,0,55,11,14,15,47,22,0,56,11,14,15,48,22,0,57,11,14,0,22,0,12,21,0,11,21,0,7,21,0,57,7,8,3,2,21,0,4,0,0,0,12,0,26,19,8,22,0,58,11,14,15,49,22,0,59,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,50,7,9,15,51,15,52,15,53,3,6,21,0,4,21,0,6,8,22,0,60,11,14,15,54,22,0,61,11,14,21,0,14,21,0,10,0,12,8,0,22,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,22,3,2,0,14,21,0,10,21,0,56,0,12,7,8,21,0,29,0,8,7,0,23,19,0,22,3,2,15,55,3,5,21,0,29,15,56,7,16,22,0,62,11,14,0,22,15,57,3,2,21,0,4,21,0,14,8,22,0,63,11,14,21,0,62,0,21,21,0,63,8,22,0,64,11,14,21,0,62,0,7,0,23,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,65,11,14,21,0,64,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,66,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,66,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,8,22,0,67,11,14,15,58,22,0,68,11,14,21,0,14,21,0,13,21,0,34,21,0,68,15,59,8,8,22,0,69,11,14,15,60,22,0,70,11,14,15,61,22,0,71,11,14,21,0,14,0,5,0,103,19,21,0,6,15,62,31,0,68,21,0,69,21,0,71,31,0,70,3,2,21,0,4,0,18,0,12,0,12,0,23,19,7,21,0,29,0,8,7,0,23,19,8,31,0,71,3,3,21,0,4,0,12,21,0,24,0,24,19,8,8,19,22,0,72,11,14,15,63,22,0,73,11,14,21,0,73,0,108,21,0,26,21,0,12,0,12,8,0,7,0,23,19,15,64,3,3,7,22,0,74,11,14,31,0,73,0,109,0,12,21,0,11,0,22,8,0,7,0,23,19,15,65,3,3,7,22,0,75,11,14,15,66,22,0,76,11,14,15,67,22,0,77,11,14,15,68,22,0,78,11,14,15,69,22,0,79,11,14,15,70,22,0,80,11,14,15,71,22,0,81,11,14,15,72,22,0,82,11,14,21,0,38,0,9,7,22,0,83,11,14,21,0,38,0,10,7,22,0,84,11,14,21,0,8,21,0,83,21,0,12,21,0,84,8,7,0,21,0,24,21,0,83,16,21,0,12,21,0,84,8,8,22,0,85,11,14,21,0,38,15,73,0,21,21,0,26,8,7,22,0,86,11,14,21,0,38,15,74,0,21,21,0,24,8,7,22,0,87,11,14,21,0,38,15,75,0,21,0,7,21,0,9,21,0,87,21,0,9,0,7,8,8,8,7,22,0,88,11,14,21,0,38,0,8,7,0,21,21,0,50,0,22,7,8,22,0,89,11,14,21,0,38,0,8,0,7,0,6,19,7,0,21,31,0,50,0,23,7,8,22,0,90,11,14,21,0,38,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,22,8,8,7,22,0,91,11,14,21,0,38,21,0,21,0,7,0,23,19,7,0,21,31,0,19,8,22,0,92,11,14,21,0,38,0,13,0,7,0,23,19,7,0,21,31,0,69,8,22,0,93,11,14,21,0,38,0,12,0,7,0,23,19,7,0,21,21,0,27,8,22,0,94,11,14,21,0,38,0,12,7,0,21,0,12,8,22,0,95,11,14,21,0,38,21,0,21,7,0,21,21,0,7,0,22,7,0,5,0,121,19,8,22,0,96,11,14,21,0,38,0,13,7,0,21,21,0,7,0,22,7,0,5,0,122,19,8,22,0,97,11,14,21,0,38,0,6,7,22,0,98,11,14,21,0,38,0,7,7,22,0,99,11,14,21,0,99,21,0,98,0,23,19,22,0,100,11,14,21,0,6,21,0,95,21,0,95,21,0,94,21,0,64,21,0,65,3,4,19,21,0,29,21,0,98,7,9,21,0,13,15,76,8,22,0,101,11,14,0,29,0,17,16,21,0,31,0,123,8,22,0,102,11,14,15,77,22,0,103,11,14,0,15,0,21,21,0,17,8,22,0,104,11,14,15,78,22,0,105,11,14,15,79,22,0,106,11,14,15,80,22,0,107,11,14,15,81,22,0,108,11,14,15,82,22,0,109,11,14,15,83,22,0,110,11,14,31,0,110,22,0,111,11,14,21,0,66,0,20,21,0,104,21,0,10,21,0,34,8,15,84,3,2,21,0,4,21,0,95,21,0,92,0,23,19,21,0,10,21,0,90,8,8,8,22,0,112,11,14,21,0,36,21,0,11,21,0,43,8,22,0,113,11,14,21,0,5,0,20,21,0,94,21,0,95,0,22,19,21,0,99,0,23,19,21,0,82,15,85,15,86,3,2,21,0,4,21,0,6,21,0,9,21,0,95,8,21,0,92,0,22,19,8,8,8,22,0,114,11,14,31,0,74,0,21,31,0,48,8,22,0,115,11,14,21,0,75,0,21,31,0,49,8,22,0,116,11,14,31,0,80,0,21,31,0,105,8,22,0,117,11,14,0,22,21,0,82,31,0,47,8,0,21,21,0,46,8,22,0,118,11,14,31,0,114,0,21,21,0,43,8,22,0,119,11,14,21,0,66,0,21,21,0,5,8,0,20,21,0,77,0,21,31,0,77,21,0,11,21,0,79,8,8,8,22,0,120,11,14,21,0,66,0,21,21,0,5,8,0,20,21,0,78,0,21,31,0,78,21,0,11,31,0,79,8,8,8,22,0,121,11,14,15,87,22,0,122,11,14,15,88,22,0,123,11,14,15,89,22,0,124,11,14,15,90,22,0,125,11,14,31,0,125,15,91,3,2,21,0,4,21,0,6,21,0,9,21,0,104,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,90,7,0,22,19,8,22,0,126,11,14,21,0,126,21,0,11,21,0,104,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,127,11,14,15,92,22,0,128,11,14,15,93,22,0,129,11,14,15,94,22,0,130,11,14,15,95,22,0,131,11,14,31,0,108,22,0,132,11,14,21,0,109,22,0,133,11,14,21,0,131,21,0,41,7,0,21,0,22,21,0,42,21,0,41,8,8,22,0,134,11,14,31,0,131,21,0,8,21,0,41,7,7,0,21,0,23,21,0,42,21,0,8,21,0,41,7,8,8,22,0,135,11,14,15,96,22,0,136,11,14,0,4,21,0,11,21,0,56,0,23,7,8,22,0,137,11,14,15,97,22,0,138,11,14,21,0,138,21,0,5,21,0,9,0,19,21,0,98,7,8,21,0,8,21,0,99,7,0,23,19,21,0,8,21,0,36,7,21,0,8,21,0,119,21,0,9,21,0,134,21,0,9,21,0,137,8,8,7,19,7,22,0,139,11,14,21,0,20,21,0,10,15,98,8,22,0,140,11,14,31,0,66,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,93,8,8,22,0,141,11,14,31,0,112,0,21,21,0,72,8,22,0,142,11,14,31,0,124,0,21,31,0,123,8,22,0,143,11,14,21,0,136,0,23,7,0,21,31,0,139,8,22,0,144,11,14,21,0,8,31,0,136,0,22,7,7,0,21,31,0,138,21,0,5,7,8,22,0,145,11,14,15,99,22,0,146,11,14,21,0,5,0,20,15,100,8,22,0,147,11,14,15,101,22,0,148,11,14,15,102,22,0,149,11,14,31,0,148,0,21,31,0,44,8,22,0,150,11,14,21,0,134,21,0,9,21,0,134,8,21,0,36,21,0,99,21,0,5,19,21,0,8,21,0,144,7,19,0,1,0,22,19,22,0,151,11,14,15,103,0,1,0,22,19,22,0,152,11,14,21,0,5,0,20,0,23,31,0,82,31,0,52,8,21,0,11,21,0,20,8,0,21,31,0,51,8,8,22,0,153,11,14,21,0,127,0,21,31,0,53,8,22,0,154,11,14,15,104,22,0,155,11,14,15,105,22,0,156,11,14,15,106,22,0,157,11,14,31,0,157,22,0,158,11,14,21,0,103,0,21,21,0,17,8,22,0,159,11,14,31,0,59,22,0,160,11,14,31,0,152,0,21,21,0,151,8,22,0,161,11,14,31,0,140,0,21,21,0,119,21,0,11,21,0,145,8,8,22,0,162,11,14,15,107,22,0,163,11,14,0,35,0,22,0,36,0,22,0,37,0,23,0,38,0,23,0,39,0,23,0,40,0,23,0,41,0,32,0,42,0,30,0,43,0,22,0,44,0,23,0,45,0,22,0,46,0,23,0,47,0,22,0,48,0,23,3,28,21,0,163,21,0,7,0,22,7,0,5,0,164,19,8,15,108,9,22,0,164,11,14,0,5,21,0,11,0,165,8,22,0,165,11,14,0,5,21,0,11,0,166,8,22,0,166,11,14,21,0,7,0,22,7,0,5,0,167,19,22,0,167,11,14,15,109,22,0,168,11,14,15,110,22,0,169,11,14,15,111,22,0,170,11,14,0,35,21,0,8,21,0,99,7,0,21,21,0,98,8,0,36,21,0,99,0,37,21,0,8,21,0,83,7,0,21,21,0,5,8,0,38,21,0,83,0,39,21,0,38,0,2,7,0,49,21,0,8,21,0,84,7,0,21,21,0,8,21,0,91,7,8,0,44,21,0,8,21,0,83,7,0,21,21,0,89,21,0,168,21,0,5,8,8,0,43,21,0,6,21,0,99,0,23,19,21,0,83,21,0,8,21,0,99,7,19,0,21,21,0,90,21,0,168,21,0,5,8,8,0,40,21,0,100,0,50,0,22,21,0,9,21,0,165,8,0,21,15,112,8,0,51,21,0,5,0,52,21,0,64,21,0,9,21,0,166,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,34,15,113,0,21,0,22,21,0,9,21,0,165,8,8,0,53,15,114,0,21,15,115,8,0,54,0,22,21,0,9,21,0,165,8,0,21,21,0,115,21,0,168,21,0,154,21,0,11,0,28,8,8,8,0,55,0,22,21,0,9,21,0,165,8,0,21,21,0,116,21,0,168,21,0,154,8,8,0,56,0,22,21,0,9,21,0,165,8,0,21,21,0,117,21,0,168,21,0,65,8,8,0,57,21,0,118,21,0,11,21,0,99,8,0,21,21,0,118,8,0,58,31,0,149,0,21,31,0,45,8,0,59,0,22,21,0,9,21,0,165,8,0,21,15,116,8,0,60,31,0,170,0,21,31,0,169,8,3,42,21,0,163,21,0,167,8,22,0,171,11,14,15,117,22,0,172,11,14,15,118,22,0,173,11,14,15,119,21,0,10,15,120,8,22,0,174,11,14,0,35,21,0,8,21,0,99,7,0,21,0,24,21,0,12,21,0,83,8,8,0,36,21,0,98,0,21,0,22,21,0,9,21,0,165,8,8,0,37,21,0,8,21,0,83,7,0,21,21,0,85,8,0,38,21,0,91,0,21,0,22,21,0,9,21,0,165,8,8,0,39,21,0,85,0,21,0,22,21,0,9,21,0,165,8,8,0,49,0,2,21,0,83,9,0,21,0,22,21,0,9,21,0,165,8,8,0,44,21,0,8,21,0,83,7,0,21,21,0,85,8,0,43,21,0,6,21,0,99,0,23,19,21,0,83,21,0,8,21,0,99,7,19,0,21,21,0,100,21,0,9,21,0,85,8,21,0,100,9,8,0,40,21,0,7,0,23,7,21,0,99,21,0,98,19,0,21,0,22,21,0,9,21,0,165,8,8,3,18,21,0,163,21,0,167,8,22,0,175,11,14,15,121,0,61,21,0,175,0,62,15,122,0,63,15,123,0,64,15,124,0,65,15,125,21,0,9,15,126,8,3,10,21,0,163,21,0,7,21,0,167,7,8,7,22,0,176,11,14,0,23,15,127,21,0,153,0,22,0,28,3,2,19,21,0,64,0,31,21,0,7,3,2,19,3,2,21,0,155,0,0,21,0,97,0,26,19,8,22,0,177,11,14,15,128,15,129,0,66,21,0,174,0,67,15,130,0,68,15,131,0,69,21,0,7,0,22,21,0,9,21,0,165,8,7,15,132,15,133,3,2,21,0,155,21,0,97,21,0,11,0,22,8,8,3,2,21,0,155,21,0,5,21,0,9,21,0,15,8,8,0,70,15,134,0,71,15,135,15,136,21,0,5,3,2,21,0,155,21,0,6,8,21,0,6,21,0,9,21,0,177,8,19,0,72,15,137,3,14,31,0,163,21,0,7,21,0,167,7,8,7,7,22,0,178,11,14,15,138,22,0,179,11,14,15,139,21,0,116,21,0,11,0,23,8,21,0,5,21,0,154,21,0,9,31,0,171,8,9,21,0,7,21,0,7,0,22,7,0,5,0,168,19,7,21,0,5,21,0,29,31,0,174,7,9,31,0,179,31,0,176,31,0,178,3,6,21,0,155,21,0,6,8,21,0,154,19,9,22,0,180,11,14,15,140,31,0,180,21,0,7,0,22,7,0,5,0,169,19,3,3,21,0,119,0,26,0,23,0,24,3,3,17,21,0,155,0,0,8,22,0,181,11,14,15,141,22,0,182,11,14,0,51,0,52,0,61,0,66,0,67,0,71,0,72,0,70,0,73,3,9,0,46,0,45,0,74,3,3,0,50,0,53,0,56,0,59,0,75,0,76,0,60,3,5,0,77,0,54,0,55,0,57,0,58,0,78,0,79,3,7,3,6,21,0,56,21,0,159,7,16,15,142,16,22,0,183,11,14,21,0,98,21,0,99,21,0,91,21,0,83,31,0,84,31,0,85,21,0,87,21,0,88,21,0,86,21,0,100,21,0,89,21,0,90,21,0,92,21,0,93,21,0,94,21,0,95,21,0,97,21,0,96,21,0,64,21,0,65,21,0,6,21,0,5,31,0,159,21,0,142,21,0,141,21,0,115,21,0,116,21,0,117,31,0,121,21,0,120,21,0,118,31,0,150,21,0,119,21,0,134,21,0,135,21,0,153,21,0,154,21,0,144,31,0,161,21,0,145,31,0,162,21,0,143,0,5,21,0,7,21,0,8,21,0,81,21,0,56,21,0,172,31,0,182,21,0,29,21,0,111,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,160,0,21,21,0,155,21,0,133,21,0,132,21,0,158,3,62,15,143,16,25,0,22,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,144,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,145,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,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,23,17,0,5,0,81,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,146,15,147,3,2,21,1,4,21,0,6,21,1,22,0,22,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,6,17,8,7,16,0,18,15,148,7,16,14,21,0,8,25,21,1,22,0,18,0,12,0,7,0,23,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,30,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,149,19,25,21,0,1,21,1,2,16,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,3,8,8,7,16,25,21,0,1,21,1,33,0,23,17,22,0,3,11,21,1,29,0,8,7,0,23,17,22,0,4,11,14,21,0,4,0,17,16,0,15,31,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,31,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,150,22,0,2,11,14,15,151,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,31,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,31,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,152,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,153,15,154,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,37,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,40,21,0,2,17,25,21,0,1,0,14,21,1,10,21,1,128,8,21,0,2,17,22,0,3,11,14,31,0,3,21,1,29,21,1,129,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,41,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,22,21,1,8,31,0,4,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,84,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,33,0,23,17,21,1,29,0,8,7,0,23,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,22,22,0,9,11,22,0,10,11,14,21,0,8,0,22,0,18,21,1,15,7,21,1,29,0,8,7,0,23,19,3,2,21,1,4,21,0,6,21,1,22,0,25,17,0,8,0,23,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,155,8,8,16,0,7,0,23,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,156,21,0,4,7,3,2,21,1,4,31,0,11,8,16,0,1,0,22,17,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,85,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,15,157,8,16,0,1,0,22,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,33,0,23,17,22,0,4,11,21,1,29,0,8,7,0,23,17,22,0,5,11,14,31,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,0,15,31,0,4,17,17,25,21,0,1,21,1,14,16,21,1,166,16,14,21,0,1,0,12,16,21,1,22,0,22,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,23,17,22,0,3,11,14,21,0,1,0,14,16,22,0,4,11,14,21,0,4,0,16,21,0,3,17,22,0,5,11,14,31,0,3,0,17,16,0,18,31,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,23,17,0,17,16,0,15,31,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,87,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,36,21,0,3,0,17,16,0,18,0,7,21,1,11,0,23,0,7,31,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,88,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,22,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,36,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,31,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,89,17,14,21,0,1,21,1,27,16,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,36,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,22,8,8,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,36,21,1,11,15,158,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,36,21,1,11,21,0,1,21,1,42,21,1,41,21,1,8,21,1,41,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,91,17,14,21,0,1,21,1,27,16,21,1,22,0,22,17,0,5,0,92,17,14,21,0,1,21,1,35,0,22,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,93,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,94,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,95,17,14,21,0,1,21,1,36,21,1,11,0,18,21,1,5,21,1,23,0,22,19,0,8,31,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,22,17,0,22,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,23,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,23,8,21,1,8,0,16,7,31,0,3,19,21,0,0,9,8,7,0,23,19,3,2,21,1,4,0,13,21,1,11,0,24,8,8,16,25,21,0,1,15,159,21,1,6,21,1,54,9,21,1,13,15,160,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,26,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,55,21,1,37,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,61,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,58,8,0,7,0,23,19,21,1,13,15,161,8,22,0,9,11,14,21,1,5,0,20,15,162,8,22,0,10,11,14,31,0,8,31,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,31,0,10,8,21,1,7,21,0,5,7,21,1,181,9,15,163,9,3,2,21,1,4,21,1,58,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,31,0,4,31,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,8,25,21,1,7,21,1,57,7,22,0,5,11,14,21,1,46,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,22,0,14,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,164,22,0,7,11,14,21,1,1,0,22,0,16,21,1,11,0,24,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,22,8,0,12,0,29,19,8,9,22,0,8,11,14,15,165,22,0,9,11,14,21,0,9,0,23,7,22,0,10,11,14,31,0,9,0,22,7,22,0,11,11,14,15,166,22,0,12,11,14,15,167,22,0,13,11,14,15,168,22,0,14,11,14,0,0,21,1,21,0,26,19,21,1,13,21,0,14,21,1,58,7,8,22,0,15,11,14,31,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,31,0,11,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,22,8,21,0,12,9,21,0,10,21,1,11,0,23,8,31,0,12,9,21,0,10,21,1,11,0,23,8,31,0,13,9,31,0,10,21,1,11,0,23,8,21,0,16,15,169,15,170,3,3,21,1,4,21,1,7,0,26,7,0,7,0,0,19,8,3,7,7,0,16,21,1,183,19,15,171,21,1,5,19,22,0,17,11,14,21,1,1,21,1,75,21,1,11,0,23,8,21,1,5,0,16,0,22,19,31,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,172,21,1,12,21,1,60,8,21,1,5,0,16,0,22,19,31,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,26,21,1,5,0,24,3,2,21,1,4,0,13,21,1,11,0,24,8,8,3,2,21,1,4,0,13,21,1,11,0,22,8,8,8,8,0,16,21,1,11,0,22,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,22,21,0,7,0,28,8,3,2,21,1,29,15,173,7,16,0,22,21,1,57,3,2,21,1,1,21,1,36,0,23,0,26,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,56,21,1,62,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,23,17,25,21,0,2,0,16,0,23,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,22,17,8,25,21,0,1,0,15,16,0,18,21,1,63,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,22,17,0,6,0,23,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,65,21,1,10,21,0,2,8,19,8,8,21,1,67,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,22,19,8,25,21,0,1,0,15,16,0,16,0,22,17,21,1,65,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,65,21,1,64,21,0,3,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,97,17,14,21,0,3,21,1,29,0,8,7,0,23,17,0,17,16,0,15,31,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,28,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,27,7,16,21,1,43,16,0,18,15,174,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,65,7,16,22,0,5,11,14,21,0,5,0,16,0,22,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,98,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,99,17,14,15,175,22,0,8,11,14,21,0,1,21,1,65,16,22,0,9,11,14,0,23,22,0,10,11,14,0,22,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,56,15,176,7,21,0,9,21,1,46,16,21,0,8,0,8,7,0,23,17,21,1,46,16,17,14,21,1,56,15,177,31,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,178,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,102,17,14,31,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,31,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,105,21,1,34,31,0,2,17,21,1,34,0,104,17,22,0,5,11,14,0,106,22,0,6,11,14,0,107,22,0,7,11,14,15,179,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,31,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,22,21,1,12,21,1,22,8,21,1,13,0,30,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,30,8,7,3,2,21,1,4,21,0,1,21,1,22,0,22,17,8,16,25,21,0,1,14,0,6,21,1,25,0,22,19,0,17,9,0,7,21,1,25,0,22,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,22,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,22,17,0,5,0,111,17,14,21,0,3,21,1,21,0,23,17,0,5,0,112,17,14,21,0,1,21,1,33,0,23,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,65,16,7,0,16,31,0,3,0,7,0,23,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,113,17,14,31,0,4,21,1,29,0,8,7,0,23,17,25,21,0,1,21,1,76,21,0,2,17,22,0,3,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,31,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,4,8,8,7,16,0,15,21,0,1,21,1,65,16,17,25,21,0,1,21,1,76,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,31,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,31,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,31,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,6,8,8,7,16,0,15,21,0,1,21,1,65,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,1,21,1,33,0,23,17,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,23,17,0,5,0,114,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,21,1,5,0,20,15,180,8,8,21,0,2,17,25,21,0,1,0,28,21,1,109,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,181,15,182,3,2,21,1,4,21,1,6,21,1,9,21,1,64,21,1,22,21,0,2,19,8,8,8,25,21,0,2,21,1,83,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,22,21,0,2,16,19,8,25,21,0,2,21,1,95,16,21,1,96,0,23,17,0,5,0,124,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,100,16,22,0,4,11,21,1,29,21,1,98,7,0,22,17,22,0,5,11,14,21,0,5,21,1,96,0,23,17,0,5,0,125,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,94,16,22,0,7,11,14,21,0,3,21,1,5,21,1,29,21,1,91,7,0,23,19,15,183,3,2,21,1,4,31,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,94,21,0,8,17,21,1,13,21,1,5,0,20,15,184,8,8,16,0,15,21,0,3,17,25,15,185,22,0,3,11,14,15,186,22,0,4,11,14,21,0,1,21,0,3,31,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,95,16,21,1,96,0,23,17,0,5,0,131,17,14,21,0,1,21,1,104,16,22,0,1,12,14,21,0,1,21,1,94,16,0,26,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,23,8,19,16,0,5,0,132,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,89,7,0,23,17,0,5,0,133,17,14,21,0,1,25,21,0,1,21,1,9,21,1,106,8,21,1,5,21,1,9,21,1,92,8,21,1,56,0,16,7,21,1,94,21,1,12,21,1,8,21,1,86,21,1,98,0,23,19,21,1,99,21,1,6,19,7,8,19,0,23,0,22,3,2,0,21,0,24,3,1,8,19,25,21,0,1,21,1,107,21,0,5,7,21,0,2,17,22,0,6,11,21,1,93,0,22,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,187,22,0,9,11,14,21,0,1,21,0,9,31,0,6,7,21,0,2,17,25,21,0,1,21,1,107,21,0,5,7,21,1,56,21,1,99,21,1,12,21,1,87,8,21,1,99,21,1,88,0,22,19,3,2,21,1,4,21,1,5,21,1,97,0,22,19,8,7,21,1,95,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,188,22,0,7,11,14,21,1,5,21,1,92,9,21,0,7,21,1,5,0,18,21,1,92,7,9,3,3,21,1,4,21,1,95,21,1,12,21,1,96,8,21,1,98,0,23,19,21,1,91,0,22,21,1,12,21,1,93,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,94,21,1,8,21,1,99,7,0,23,19,8,16,17,21,1,56,21,0,4,7,21,0,2,31,0,7,31,0,6,0,16,0,22,17,17,17,21,1,93,16,25,21,0,1,21,1,95,16,21,1,97,0,23,17,0,5,0,134,17,14,21,0,4,22,0,5,11,14,15,189,22,0,6,11,14,21,0,1,31,0,6,15,190,3,2,21,1,4,0,23,0,21,21,1,94,21,1,92,0,22,19,8,8,21,0,2,17,25,21,0,1,21,1,65,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,94,7,16,22,0,4,11,21,1,29,21,1,88,7,0,23,17,22,0,5,11,14,21,0,4,21,1,99,21,0,5,17,21,1,96,0,23,17,21,1,29,21,1,89,7,0,23,17,0,5,0,136,17,14,21,0,3,21,1,56,21,1,36,21,1,11,0,23,21,1,99,21,0,5,17,0,17,16,21,1,12,21,1,98,8,8,7,21,0,5,21,1,100,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,64,7,16,0,5,0,137,17,14,31,0,3,21,1,56,0,23,21,1,5,0,16,0,22,19,3,2,21,1,4,21,1,6,8,7,31,0,4,21,1,95,31,0,5,17,17,21,1,29,21,1,98,7,0,22,17,22,0,7,11,14,21,0,1,21,1,104,21,1,10,21,1,34,8,21,0,2,17,21,1,104,31,0,6,0,16,0,22,17,21,1,34,31,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,104,0,16,0,22,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,86,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,36,21,0,1,21,1,94,16,21,1,91,21,0,3,17,0,17,16,0,19,21,1,8,15,191,21,1,13,15,192,8,7,7,16,17,25,21,0,1,21,1,94,21,1,10,21,1,95,8,21,0,2,17,0,5,0,138,17,14,21,0,1,21,1,113,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,89,7,0,23,17,0,5,0,139,17,14,21,0,1,21,1,97,0,28,17,21,1,29,21,1,89,7,0,23,17,0,5,0,140,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,22,8,21,1,13,21,1,5,15,193,21,1,94,21,1,12,21,1,8,21,1,99,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,22,22,0,8,11,14,31,0,6,0,18,21,1,117,21,1,9,0,18,15,194,7,8,21,0,4,9,7,16,25,21,0,1,21,1,95,16,21,1,95,0,23,17,0,5,0,141,17,14,21,1,122,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,22,21,1,9,21,1,117,8,19,0,18,15,195,7,21,1,29,0,18,0,18,21,1,34,7,7,7,3,0,21,1,92,16,21,1,92,16,19,0,1,0,18,0,22,7,3,0,21,1,12,21,1,104,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,64,21,1,92,0,23,19,8,16,25,21,0,1,21,1,14,16,0,5,0,142,17,14,21,0,2,21,1,64,21,1,93,0,24,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,95,16,21,1,95,0,23,17,0,5,0,143,17,14,21,0,2,0,18,21,1,95,7,16,22,0,3,11,21,1,29,21,1,98,7,0,22,17,22,0,4,11,14,21,0,1,21,1,95,16,21,1,97,21,0,4,17,0,5,0,144,17,14,21,0,1,21,1,65,16,21,1,115,21,0,4,17,21,1,99,21,0,2,0,18,21,1,65,7,16,21,1,72,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,95,0,23,17,21,1,119,21,0,3,17,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,22,8,19,16,21,1,29,21,1,89,7,0,23,17,0,5,0,145,17,14,0,22,3,1,21,1,34,31,0,5,17,21,1,36,21,0,3,0,19,21,1,98,7,16,21,1,120,0,22,17,17,21,1,87,31,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,104,7,16,22,0,2,12,0,18,21,1,94,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,103,21,0,1,21,1,33,31,0,4,17,21,1,12,21,1,34,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,91,7,0,23,17,3,1,21,0,8,16,21,1,12,21,1,36,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,22,8,21,1,10,21,1,122,21,0,9,7,8,21,1,56,21,1,122,21,1,5,7,7,21,1,91,31,0,7,21,1,118,16,21,1,120,0,23,17,0,19,21,1,91,7,16,21,1,118,16,19,21,1,29,0,18,0,18,21,1,98,7,7,7,9,0,18,31,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,94,8,21,1,94,0,23,19,8,31,0,6,17,0,1,21,0,2,0,18,0,22,7,16,31,0,8,16,17,25,21,0,2,21,1,95,16,21,1,95,0,23,17,0,5,0,146,17,14,21,0,1,21,1,65,16,22,0,3,11,21,1,94,21,1,10,21,1,95,8,21,0,2,17,0,5,0,147,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,89,7,0,23,17,0,5,0,148,17,14,21,0,3,21,1,92,21,1,89,21,1,99,21,1,12,21,1,96,8,19,21,0,2,17,21,1,29,21,1,89,7,0,23,17,0,5,0,149,17,14,0,22,21,1,92,21,0,2,17,21,1,91,21,0,3,17,21,1,98,21,0,2,17,22,0,2,12,14,21,0,2,21,1,94,16,21,1,100,21,1,11,21,1,117,8,16,21,1,99,16,21,1,29,21,1,5,21,1,91,31,0,3,21,1,12,0,16,8,19,21,1,98,21,0,2,21,1,12,0,16,8,19,7,0,22,17,21,1,8,0,16,7,21,0,1,21,1,104,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,126,8,7,16,25,21,0,1,21,1,95,21,1,11,0,22,8,21,1,29,21,1,90,7,0,22,19,21,1,10,21,1,8,21,1,99,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,22,21,0,3,3,2,15,196,3,2,21,1,4,0,22,21,1,95,31,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,197,22,0,8,11,14,21,0,4,21,1,95,21,1,11,0,22,8,21,1,13,21,0,1,8,9,31,0,8,3,2,0,16,21,0,6,21,1,94,0,23,17,17,25,21,0,1,22,0,2,11,14,21,1,92,21,1,11,0,22,8,21,1,13,15,198,8,25,21,0,2,21,1,95,16,21,1,8,21,1,99,7,0,23,17,22,0,5,11,14,21,0,5,21,1,97,0,22,17,0,5,0,150,17,14,21,0,1,21,1,95,16,21,1,97,21,0,5,17,0,5,0,151,17,14,21,0,2,21,1,33,0,23,17,22,0,6,11,21,1,29,21,1,91,7,0,23,17,22,0,7,11,14,0,22,21,1,129,21,0,2,21,1,104,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,94,16,0,23,0,23,21,1,12,21,1,99,21,1,9,21,1,117,8,8,21,1,91,21,0,7,19,0,18,21,1,98,21,1,11,31,0,7,8,21,1,12,31,0,8,8,7,9,21,1,8,21,1,97,7,0,22,19,21,1,29,21,1,89,7,0,23,19,3,2,21,1,4,21,1,92,21,1,11,0,22,8,8,16,0,5,0,152,17,14,21,0,1,21,1,95,16,21,1,8,21,1,99,7,31,0,5,17,22,0,9,11,14,21,0,1,21,1,20,16,21,1,33,21,0,9,17,22,0,10,11,14,21,0,10,21,1,128,21,0,6,17,22,0,11,11,14,31,0,11,21,1,29,21,1,129,21,0,1,21,1,104,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,21,1,104,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,8,0,22,7,21,1,97,31,0,12,21,1,11,21,1,91,21,1,11,31,0,6,21,1,29,21,1,91,7,0,23,17,8,8,19,22,0,13,11,14,31,0,9,21,1,117,16,0,18,21,0,1,21,1,65,16,21,1,12,0,16,8,7,16,21,1,5,21,1,29,21,1,91,7,0,23,19,21,1,117,9,21,1,12,21,1,104,8,16,21,1,91,31,0,10,21,1,29,21,1,91,7,0,23,17,17,0,18,15,199,21,1,11,21,0,2,21,1,94,16,8,7,16,0,1,0,22,17,25,21,0,1,22,0,2,11,14,21,1,111,21,1,89,7,21,1,100,9,0,19,21,1,89,7,21,1,111,21,1,98,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,200,0,1,0,22,19,25,21,0,1,21,1,95,16,21,1,97,0,23,17,0,5,0,155,17,14,21,0,1,21,1,134,16,22,0,5,11,14,21,0,1,21,1,94,16,21,1,117,16,0,18,0,23,21,1,5,21,0,1,21,1,95,21,1,92,0,23,19,21,1,13,21,1,81,21,1,92,7,8,16,21,1,36,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,65,8,0,23,21,1,12,21,1,99,8,19,3,2,21,1,4,21,1,92,21,1,11,0,22,8,8,7,16,21,0,4,21,0,5,17,21,1,36,31,0,5,21,1,137,16,17,0,1,0,22,17,25,21,0,2,21,1,95,16,22,0,3,11,14,21,0,1,21,1,95,16,21,1,97,21,0,3,17,0,5,0,156,17,14,21,0,1,21,0,3,21,1,133,21,1,117,21,1,11,21,0,2,21,1,65,16,21,1,87,21,0,1,21,1,65,16,21,1,115,21,1,11,21,1,99,8,21,0,3,17,21,1,98,0,23,17,17,8,8,16,31,0,3,21,1,133,21,1,64,8,21,0,2,17,0,1,0,22,17,25,21,0,2,21,1,95,16,21,1,96,0,23,17,0,5,0,157,17,14,21,0,1,21,1,65,16,21,1,94,21,1,10,21,1,97,8,21,0,2,17,0,5,0,158,17,14,21,0,2,21,1,104,16,0,18,21,1,16,7,16,21,1,29,21,1,89,7,0,23,17,0,5,0,159,17,25,21,0,1,21,1,65,16,21,1,143,21,0,2,17,0,18,21,1,29,21,1,87,7,7,16,21,1,117,16,0,18,21,1,7,21,0,1,7,21,1,127,21,1,36,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,146,21,0,2,17,14,21,0,2,21,1,104,16,22,0,2,12,14,21,0,2,21,1,145,16,21,1,100,16,21,1,29,21,1,98,7,0,22,17,21,1,99,21,0,1,21,1,95,16,17,22,0,3,11,14,21,0,3,21,1,92,21,0,2,17,21,1,29,21,1,89,7,0,23,17,0,5,0,160,17,14,21,0,1,21,1,147,31,0,3,21,1,117,16,21,1,5,21,1,119,21,1,8,21,1,145,21,1,9,21,1,100,8,7,19,21,0,2,17,21,1,142,21,0,2,17,17,25,21,0,1,21,1,146,21,0,2,17,14,21,0,2,21,1,104,16,22,0,2,12,14,21,0,1,21,1,95,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,92,8,21,1,89,21,1,145,19,16,21,1,29,21,1,89,7,0,23,17,21,1,165,16,14,21,0,1,21,1,147,31,0,3,21,1,117,16,21,1,5,21,1,119,21,1,8,21,1,145,21,1,9,21,1,100,8,7,19,21,0,2,17,21,1,142,21,0,2,17,21,1,137,16,17,25,21,0,2,21,1,95,16,21,1,8,21,1,99,7,0,23,17,22,0,3,11,14,21,0,3,21,1,97,0,22,17,0,5,0,161,17,14,21,0,1,21,1,95,16,21,1,97,31,0,3,17,0,5,0,162,17,14,21,0,1,21,1,144,21,1,11,21,0,2,8,21,1,104,21,1,9,21,1,94,21,1,92,0,22,19,21,1,13,21,1,151,21,1,12,21,1,81,21,1,141,7,8,8,8,21,1,104,21,1,7,0,24,7,21,1,142,21,1,65,19,19,9,21,1,10,21,1,144,8,21,0,2,17,25,21,0,1,15,201,21,0,5,21,1,154,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,181,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,22,22,0,7,11,22,0,8,11,14,21,0,6,0,22,21,1,132,15,202,8,16,14,0,22,15,203,0,21,21,1,7,15,204,7,8,21,0,2,17,22,0,9,11,14,21,0,1,3,1,22,0,10,11,14,15,205,21,1,11,31,0,9,8,22,0,11,11,14,21,0,7,21,0,11,21,0,4,17,22,0,12,11,14,21,0,8,21,1,99,16,21,0,10,31,0,11,21,1,11,21,1,181,8,3,2,21,1,155,21,1,92,21,1,11,0,22,8,8,21,0,4,17,22,0,13,11,14,31,0,6,0,22,21,1,132,21,1,7,31,0,12,31,0,13,3,2,7,21,1,154,0,22,21,1,12,21,1,92,8,19,21,1,154,21,1,86,19,8,16,25,0,24,21,1,83,21,0,2,21,1,94,16,17,21,1,117,16,21,1,91,0,24,17,22,0,3,11,14,21,0,1,21,1,92,16,21,1,142,21,0,2,21,1,153,21,0,3,21,1,98,0,23,17,17,17,21,1,31,21,0,2,21,1,153,31,0,3,17,8,25,0,22,21,0,1,16,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,64,21,0,1,17,21,1,166,16,14,31,0,6,25,21,0,1,21,1,64,16,21,1,95,0,24,17,21,1,165,16,14,21,0,1,0,18,21,1,95,7,16,21,1,95,0,23,17,21,1,29,21,1,89,7,0,23,17,21,1,166,16,14,21,0,1,21,1,142,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,89,7,0,23,17,21,1,166,16,14,21,0,1,21,1,56,21,1,120,7,0,28,17,21,1,142,16,21,1,93,21,0,3,17,21,1,29,21,1,89,7,0,23,17,21,1,166,16,14,21,0,3,0,3,16,22,0,4,11,14,0,23,21,1,97,21,0,4,17,21,1,29,21,1,89,7,0,23,17,21,1,166,16,14,31,0,4,21,1,100,16,21,1,119,16,22,0,5,11,14,21,0,5,21,1,56,0,28,7,16,21,1,142,21,0,1,21,1,56,21,1,94,7,16,21,1,119,16,17,21,1,153,31,0,5,21,1,142,31,0,3,17,21,1,134,16,17,25,21,0,2,21,1,95,16,21,1,95,0,23,17,21,1,165,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,89,7,0,23,17,21,1,165,16,14,21,0,2,21,1,143,16,22,0,3,11,14,21,0,1,21,1,56,21,1,94,7,21,1,10,21,1,64,8,21,0,3,17,21,1,166,16,14,21,0,1,21,1,142,21,1,10,21,1,153,21,1,11,21,1,134,8,8,31,0,3,17,25,21,0,1,21,1,14,16,21,1,166,16,14,21,0,1,21,1,95,16,21,1,95,0,22,17,21,1,166,16,14,21,0,1,21,1,154,16,25,21,0,2,21,1,95,21,1,10,21,1,99,8,21,0,1,17,22,0,3,11,14,21,0,3,0,23,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,22,8,19,16,21,1,166,16,14,21,0,2,0,23,21,1,94,3,2,21,1,155,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,94,16,21,1,97,21,0,4,17,21,1,166,16,14,21,0,1,21,1,153,21,1,115,21,1,11,21,0,4,8,3,2,21,1,155,31,0,3,8,16,21,1,64,21,0,2,17,21,1,166,16,14,21,0,1,21,1,116,31,0,4,17,25,21,0,1,21,1,94,16,21,1,95,0,24,17,21,1,166,16,14,21,0,1,21,1,153,16,21,1,64,21,0,2,17,21,1,166,16,14,21,0,1,21,1,153,0,23,17,25,21,0,1,21,1,94,16,21,1,95,0,23,17,21,1,166,16,14,21,0,1,21,1,153,16,25,21,0,1,21,1,95,16,21,1,95,0,23,17,21,1,165,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,89,7,0,23,17,21,1,165,16,14,21,0,1,21,1,116,21,1,11,0,23,8,21,1,97,21,1,116,21,1,11,0,28,8,19,21,1,29,21,1,89,7,0,23,19,16,21,1,166,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,55,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,181,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,154,21,1,11,0,23,8,21,0,1,21,1,12,15,206,8,21,1,154,21,1,11,0,22,8,19,25,21,1,5,21,1,9,21,1,64,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,56,21,1,156,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,64,8,21,1,92,0,22,19,21,1,166,9,21,1,6,0,22,21,1,9,21,1,165,8,0,21,21,1,172,21,1,156,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,95,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,81,21,1,156,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,166,8,8,9,7,19,25,21,1,56,21,1,156,21,0,1,7,7,25,21,1,5,21,1,9,21,1,95,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,5,21,0,1,21,1,120,19,0,21,21,1,94,21,1,92,0,23,19,21,1,158,21,1,116,21,1,11,0,23,8,21,0,1,21,1,116,21,1,11,0,28,8,19,21,1,142,21,1,153,19,8,8,19,25,21,0,1,21,1,1,16,25,21,1,154,21,1,11,0,23,8,21,0,1,21,1,12,15,207,8,21,1,153,21,1,11,0,22,0,24,3,2,8,19,25,21,0,1,21,1,7,15,208,7,3,2,21,1,155,21,1,95,21,1,11,21,1,7,21,1,173,7,8,8,25,21,1,156,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,31,0,3,8,21,1,156,21,0,1,7,9,25,21,0,1,21,1,160,21,1,156,21,0,2,7,8,25,21,0,1,21,1,158,21,0,2,8,21,1,168,21,0,1,21,1,99,16,21,1,158,21,0,2,8,8,25,21,0,1,21,1,99,16,21,1,158,21,0,2,8,25,21,1,156,21,0,1,7,0,21,21,1,156,21,0,2,7,8,25,21,1,156,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,167,8,25,21,1,156,21,0,2,7,21,1,156,21,0,1,7,9,0,21,21,0,1,21,1,7,0,22,21,1,9,21,1,165,8,7,15,209,3,2,21,1,155,21,1,5,21,1,9,21,1,177,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,177,21,1,100,9,22,0,6,11,14,31,0,5,15,210,15,211,21,1,7,21,1,167,7,3,2,21,1,155,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,155,21,1,6,21,1,9,31,0,6,8,8,31,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,64,21,1,9,21,1,166,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,181,16,21,1,5,15,212,3,2,21,1,155,0,22,21,1,5,21,1,9,21,1,1,8,21,1,153,0,22,0,33,3,2,19,21,1,65,0,29,21,1,173,3,2,19,3,2,21,1,155,21,1,65,21,1,11,21,1,7,21,1,167,7,8,21,1,89,21,1,65,19,8,8,21,0,1,17,25,21,0,1,21,1,56,21,1,94,7,16,21,1,94,21,1,142,21,1,119,19,16,21,1,31,21,0,1,21,1,142,16,8,25,21,1,92,21,1,144,21,0,1,19,21,1,154,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,164,16,25,0,23,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,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,82,17,14,21,0,5,21,2,29,0,8,7,0,23,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,31,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,31,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,83,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,31,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,23,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,31,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,31,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,31,0,9,21,2,27,16,17,0,15,16,0,15,31,0,7,17,25,21,0,1,21,2,38,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,213,21,0,2,7,7,16,25,21,0,2,0,18,15,214,21,0,1,7,7,16,25,21,1,6,0,8,0,24,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,22,7,21,2,23,0,22,21,2,129,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,22,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,24,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,23,19,0,7,31,0,7,19,0,10,0,24,19,7,16,21,2,29,15,215,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,23,17,0,5,0,86,17,14,0,23,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,22,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,22,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,31,0,3,21,0,5,16,0,17,16,0,18,15,216,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,101,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,56,0,12,7,8,21,2,29,0,8,7,0,23,19,3,3,21,2,29,15,217,7,16,22,0,3,11,14,15,218,22,0,4,11,14,21,2,18,21,0,4,15,219,3,2,21,2,4,21,2,5,21,2,9,21,2,29,31,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,22,19,21,2,14,9,8,22,0,5,11,14,0,22,22,0,6,11,14,21,0,1,15,220,16,14,21,0,1,21,0,2,3,2,21,0,5,0,22,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,221,7,16,22,0,8,11,14,31,0,8,31,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,57,7,8,16,25,15,222,21,2,11,21,0,2,8,22,0,3,11,14,15,223,22,0,4,11,14,15,224,21,2,11,0,22,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,22,19,0,16,0,23,19,31,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,31,0,8,19,21,2,13,15,225,21,2,9,21,1,6,8,8,16,31,0,7,21,0,2,17,22,0,10,11,14,31,0,10,31,0,9,21,2,13,15,226,8,16,25,21,0,1,15,227,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,23,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,228,25,21,0,1,22,0,3,11,14,15,229,25,21,0,2,21,0,1,16,25,21,0,1,21,2,56,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,23,19,21,2,13,15,230,8,16,14,21,1,5,0,16,0,23,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,231,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,31,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,56,0,12,7,31,0,5,17,21,2,29,0,8,7,0,23,17,0,5,0,100,17,14,21,0,6,21,2,43,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,22,17,21,2,36,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,31,0,8,0,18,21,2,5,7,21,1,12,17,21,2,56,0,6,7,21,0,7,0,18,31,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,31,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,31,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,36,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,22,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,31,0,3,21,2,56,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,23,17,0,5,0,101,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,31,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,31,0,6,0,18,0,6,21,2,11,0,8,21,2,11,31,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,23,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,65,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,232,8,21,0,3,17,22,0,4,11,14,15,233,22,0,5,11,14,0,22,21,2,22,16,22,0,6,11,14,0,23,22,0,7,11,14,15,234,22,0,8,11,14,0,22,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,235,21,1,4,15,236,7,31,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,237,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,22,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,115,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,116,17,14,21,0,1,21,2,65,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,23,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,22,8,7,16,21,2,29,0,8,7,16,0,5,0,117,17,14,21,0,3,21,2,36,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,23,17,22,0,6,11,14,0,23,0,7,21,1,3,17,15,238,16,21,2,34,21,0,6,3,1,17,0,19,0,8,7,16,21,2,46,16,22,0,7,11,14,21,0,2,21,2,5,21,2,56,15,239,7,31,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,31,0,4,17,0,23,21,2,12,0,12,8,0,7,0,23,19,21,2,13,21,2,8,0,17,0,15,31,0,5,19,21,2,12,0,18,0,6,7,8,7,8,31,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,118,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,0,119,17,14,21,0,1,21,2,65,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,120,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,22,17,21,2,13,15,240,8,0,22,17,25,21,0,1,21,2,56,21,2,5,0,23,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,91,7,0,23,17,22,0,3,11,14,21,0,3,21,2,92,0,22,17,0,5,0,126,17,14,21,1,4,21,2,94,16,0,17,16,21,2,91,21,1,4,17,21,2,29,21,2,98,7,0,22,17,22,0,4,11,14,21,1,3,0,16,31,0,4,17,21,2,102,16,22,0,5,11,14,0,31,21,2,92,21,0,5,17,0,5,0,127,17,14,21,2,95,21,2,11,21,2,87,8,0,5,0,128,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,83,21,1,7,17,31,0,6,21,2,87,21,2,88,3,3,21,2,4,21,0,5,21,2,87,0,24,17,8,16,22,0,7,11,14,21,1,3,21,2,56,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,31,0,7,21,2,91,31,0,3,17,31,0,5,21,2,95,0,26,17,21,2,13,21,2,92,21,2,11,21,1,7,8,21,2,13,15,241,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,92,8,8,15,242,3,2,21,2,4,21,1,7,21,2,92,0,22,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,129,17,14,21,0,1,0,17,16,25,21,0,1,21,2,95,16,21,2,95,0,23,17,0,5,0,130,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,34,21,2,11,21,2,104,8,7,7,3,0,21,2,92,16,17,0,1,21,0,1,0,18,0,22,7,16,17,25,21,1,9,21,1,7,21,2,98,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,56,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,31,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,64,21,2,10,21,2,18,8,21,2,96,21,0,4,21,2,88,0,22,17,19,21,2,90,0,22,21,2,96,21,0,4,17,21,2,89,21,1,7,17,19,21,2,103,0,24,19,21,2,29,21,2,98,21,2,11,0,24,21,2,12,21,2,91,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,65,16,21,2,36,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,33,21,0,2,17,22,0,4,11,21,2,29,21,2,91,7,0,23,17,22,0,5,11,14,21,0,5,0,17,16,21,2,104,31,0,4,17,22,0,6,11,14,21,0,1,15,243,0,20,21,2,7,21,0,3,21,2,29,21,2,91,7,0,23,17,0,17,16,0,18,21,2,5,21,2,91,31,0,5,19,21,2,98,21,0,6,19,21,2,8,21,2,36,7,21,0,1,21,2,104,16,19,7,16,21,2,104,31,0,3,17,7,8,16,25,21,0,1,21,2,65,16,21,2,75,0,23,17,22,0,3,11,14,15,244,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,104,31,0,4,19,21,2,164,21,2,12,21,2,103,8,3,2,21,2,4,21,2,5,21,2,9,21,2,32,21,2,9,21,2,100,8,8,8,31,0,3,17,25,21,0,1,21,2,81,21,2,92,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,95,21,1,4,17,25,21,1,3,21,2,98,22,1,4,13,14,21,0,1,21,2,98,0,23,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,115,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,23,21,2,98,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,104,16,21,1,3,16,0,18,21,0,1,21,2,65,16,21,2,117,16,21,2,104,16,21,2,12,21,2,36,8,7,16,25,21,0,1,21,2,94,21,2,10,21,2,99,8,21,0,2,17,21,2,91,16,22,0,3,11,14,21,0,1,21,2,94,21,2,10,21,2,87,8,21,0,2,17,22,0,4,11,14,21,0,1,15,245,21,2,11,21,2,94,21,2,98,21,0,4,21,2,117,16,21,2,98,0,23,17,21,2,99,16,19,8,21,2,10,15,246,8,21,0,2,17,22,0,5,11,14,31,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,247,21,1,7,3,2,21,2,4,21,2,95,21,2,11,21,1,6,8,8,22,0,5,11,14,0,22,21,0,5,16,25,15,248,22,0,3,11,14,0,28,21,0,3,0,23,21,2,98,21,0,1,17,17,21,2,98,0,23,17,25,21,0,2,21,2,130,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,2,21,2,95,16,21,2,8,21,2,99,7,0,23,17,22,0,3,11,14,21,0,3,21,2,97,0,22,17,0,5,0,153,17,14,21,0,1,21,2,95,16,21,2,97,21,0,3,17,0,5,0,154,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,133,0,22,8,8,21,2,5,21,0,3,21,2,133,21,2,92,8,3,2,21,2,4,21,0,3,21,2,92,0,22,17,8,21,2,10,0,18,21,2,65,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,94,16,21,2,92,0,22,17,8,15,249,3,2,21,2,4,21,2,104,21,2,9,21,2,94,8,21,2,92,0,27,19,21,2,10,21,2,89,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,15,16,0,5,0,163,17,14,21,0,1,21,2,87,21,1,8,17,22,1,8,12,14,21,0,1,21,2,88,21,1,7,17,22,1,7,12,25,15,250,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,21,0,1,21,2,117,16,21,2,142,21,1,10,17,0,19,21,0,2,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,173,21,0,1,8,25,21,2,5,15,251,21,0,2,7,21,0,1,19,25,21,2,5,21,2,156,21,1,4,7,21,0,2,19,15,252,21,2,156,21,0,1,7,8,25,21,2,5,15,253,21,1,4,7,21,0,1,19,21,2,156,21,0,2,7,9,25,21,0,1,21,2,168,21,0,2,8,21,2,173,21,0,1,8,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,22,22,0,5,11,22,0,6,11,22,0,7,11,14,0,26,22,0,8,11,14,21,0,1,0,23,0,12,21,2,7,17,0,7,0,23,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,22,0,23,0,24,3,4,22,0,10,11,14,0,6,15,254,3,2,0,16,21,0,3,0,13,0,27,17,17,22,0,11,11,14,15,255,22,0,12,11,14,15,256,15,257,31,0,12,3,3,21,3,4,15,258,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,259,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,260,8,16,25,0,22,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,22,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,56,0,15,7,16,22,0,4,11,0,16,0,22,17,21,3,27,16,22,0,5,11,14,0,28,22,0,6,11,14,31,0,4,21,3,12,21,3,56,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,261,25,21,0,1,15,262,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,1,7,12,14,31,0,4,25,21,0,1,21,3,14,0,7,0,23,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,23,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,22,8,7,16,22,0,5,11,14,21,0,5,0,22,21,3,42,21,3,39,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,23,19,7,16,22,0,7,11,14,21,3,7,31,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,31,0,6,21,3,27,16,8,8,22,0,8,11,14,0,22,22,0,9,11,21,0,8,16,22,0,10,11,14,31,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,263,3,2,21,3,4,15,264,8,7,16,0,15,31,0,3,17,25,21,0,1,21,3,56,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,34,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,22,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,22,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,28,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,31,0,3,25,21,0,1,21,3,34,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,23,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,23,21,3,12,0,12,8,0,7,0,23,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,23,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,23,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,34,22,1,10,13,14,31,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,23,8,0,7,0,23,19,21,3,13,15,265,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,266,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,23,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,81,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,99,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,34,22,2,6,13,14,21,2,7,25,21,0,1,21,3,86,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,92,16,7,16,25,21,0,2,21,3,94,16,21,3,92,0,22,17,0,5,0,135,17,14,21,0,2,21,3,94,16,0,17,16,21,3,92,0,22,17,21,3,91,21,0,2,17,25,21,0,2,0,18,21,0,1,21,3,12,0,16,8,7,16,25,21,0,1,21,3,95,21,0,2,17,0,19,21,3,89,7,16,21,3,29,21,3,98,7,0,22,17,22,0,3,11,14,21,0,3,21,3,117,16,0,18,21,0,2,21,3,12,0,16,8,7,16,21,3,29,21,3,91,7,0,23,17,22,0,4,11,14,31,0,3,21,3,93,21,3,11,21,1,4,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,56,0,16,7,8,21,3,9,15,267,8,8,16,14,21,0,4,25,21,1,4,21,3,98,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,21,3,95,21,3,11,0,22,8,21,3,13,21,0,1,21,3,98,0,23,17,21,3,9,21,1,5,8,8,16,25,21,0,1,0,23,21,3,12,21,3,93,8,21,3,13,15,268,8,21,0,2,17,25,21,0,2,21,3,135,16,21,3,118,16,22,0,3,11,14,21,0,1,21,3,134,21,0,2,21,3,36,21,0,3,17,17,21,3,8,21,3,99,7,0,23,17,21,3,88,0,22,17,21,3,8,21,3,36,7,31,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,133,21,3,64,8,21,0,2,21,3,36,21,0,4,17,17,21,2,2,21,3,13,21,3,91,21,3,11,21,3,99,21,3,11,31,0,4,8,8,21,3,98,21,3,6,19,8,21,0,2,21,3,94,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,3,175,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,3,175,16,25,21,0,1,21,1,8,0,7,0,23,17,21,4,13,21,1,9,0,7,0,23,19,21,4,13,15,269,8,8,0,23,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,23,17,22,1,4,12,0,12,21,1,6,17,0,8,0,24,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,23,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,23,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,0,23,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,22,31,0,3,16,25,21,0,1,14,0,23,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,22,15,270,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,22,8,8,22,1,4,12,25,21,0,1,21,4,29,21,4,99,7,16,21,4,91,16,22,2,3,12,14,21,0,1,21,4,29,21,4,87,7,16,21,4,91,21,1,4,17,22,1,4,12,25,0,24,21,4,83,21,0,2,17,21,4,87,16,22,0,3,11,21,4,98,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,31,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,2,21,4,86,0,24,17,21,4,91,31,0,5,17,21,4,98,31,0,3,17,17,25,21,0,1,14,0,24,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,23,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,271,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,62,21,2,3,17,0,5,0,96,17,25] - ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','∘','○','⌾','⍟','⊘','⊸','⟜','◶','≢','»','«','⥊','⊏','⊑',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟%"),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("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("≥: No monadic form"),str("≤: No monadic form"),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("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),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 at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")]) - ,[[0,1,0,184],[0,0,4076,3],[0,0,4084,3],[0,0,4088,3],[2,0,4101,6],[0,0,4128,3],[0,0,4132,3],[0,0,4136,3],[1,0,4140,5],[1,0,4148,5],[2,0,4166,6],[2,0,4181,6],[2,0,4200,6],[2,0,4222,6],[2,0,4244,6],[0,0,4276,3],[0,0,4288,3],[0,0,4297,3],[0,0,4303,3],[0,0,4320,3],[0,0,4329,3],[1,0,4338,9],[1,1,4451,2],[2,1,4482,3],[0,0,4516,3],[0,0,4524,3],[0,0,4564,4],[0,0,4640,5],[0,0,4715,3],[1,1,4732,4],[1,1,4805,3],[0,0,4883,3],[0,0,4894,5],[2,0,4978,12],[0,0,5189,4],[0,0,5243,6],[0,0,5333,3],[0,0,5358,7],[0,0,5487,4],[0,0,5548,4],[0,0,5661,3],[0,0,5729,4],[1,1,5806,2],[0,0,5839,3],[0,0,5889,4],[0,0,6031,4],[2,1,6132,3],[1,0,6175,5],[0,0,6213,3],[2,0,6217,11],[0,0,6348,3],[0,0,6356,6],[0,0,6383,5],[0,0,6404,6],[1,0,6431,19],[0,0,6940,3],[0,0,6967,3],[0,0,6993,3],[2,1,7032,3],[0,0,7101,4],[0,0,7198,7],[0,0,7245,14],[0,0,7479,5],[1,1,7576,8],[1,0,7629,6],[1,1,7737,2],[0,0,7795,5],[0,0,7957,5],[0,0,8094,7],[0,0,8263,3],[0,0,8322,4],[1,0,8389,5],[2,1,8406,4],[0,0,8449,3],[0,0,8476,3],[0,0,8498,3],[0,0,8520,3],[0,0,8539,9],[0,0,8704,5],[0,0,8738,3],[1,1,8835,2],[2,0,8904,10],[2,0,8963,8],[1,0,9156,7],[0,0,9223,8],[0,0,9463,5],[0,0,9553,3],[1,0,9587,9],[0,0,9742,4],[0,0,9861,10],[0,0,10325,4],[0,0,10542,3],[0,0,10560,4],[1,0,10634,9],[1,1,10703,3],[1,0,10727,14],[1,1,11184,4],[1,0,11238,6],[0,0,11382,4],[0,0,11490,3],[0,0,11566,3],[0,0,11621,4],[0,0,11754,4],[0,0,11876,4],[2,0,12010,6],[1,1,12038,2],[2,0,12046,14],[2,1,12233,4],[0,0,12303,3],[2,0,12310,7],[0,0,12351,6],[0,0,12575,4],[0,0,12681,3],[0,0,12719,5],[0,0,12863,3],[0,0,12910,3],[0,0,12936,3],[1,0,13027,5],[2,0,13055,6],[0,0,13070,3],[0,0,13078,3],[1,1,13099,2],[0,0,13128,3],[0,0,13164,3],[0,0,13212,3],[0,0,13266,3],[0,0,13278,3],[0,0,13358,3],[1,1,13366,2],[1,1,13399,2],[0,0,13429,4],[0,0,13466,3],[0,0,13481,3],[0,0,13510,3],[0,0,13525,3],[0,0,13543,3],[0,0,13558,3],[0,0,13568,3],[0,0,13625,7],[0,0,13704,3],[0,0,13712,3],[1,1,13737,2],[0,0,13820,3],[0,0,13854,3],[1,1,13882,2],[1,1,13886,2],[0,0,13890,3],[0,0,13902,3],[0,0,13925,3],[0,0,13946,3],[1,0,13954,6],[1,0,14071,11],[1,0,14292,5],[0,0,14307,3],[0,0,14321,3],[0,0,14335,3],[1,0,14380,8],[0,0,14518,8],[0,0,14685,3],[0,0,14711,3],[0,0,14721,3],[0,0,14738,9],[0,0,14921,6],[0,0,14996,3],[2,0,15004,11],[1,0,15081,5],[0,0,15112,3],[0,0,15122,3],[1,0,15132,5],[0,0,15165,4],[0,0,15176,4],[0,0,15187,3],[0,0,15195,3],[0,0,15207,3],[0,0,15215,3],[1,0,15259,7],[0,0,15285,9],[1,0,15571,5],[0,0,15587,7],[0,0,15754,11],[0,0,15996,8],[0,0,16308,3],[0,0,16336,5],[0,0,16431,8],[0,0,16690,3],[0,0,16737,3],[0,0,16757,3],[1,0,16823,6],[0,0,16976,7],[0,0,17118,5],[0,0,17198,3],[0,0,17221,3],[0,0,17232,3],[0,0,17253,3],[0,0,17285,3],[0,0,17316,3],[0,0,17354,6],[0,0,17459,6],[0,0,17508,4],[0,0,17537,3],[0,0,17556,4],[1,1,17733,2],[0,0,17737,3],[0,0,17780,3],[0,0,17791,3],[0,0,17799,3],[0,0,17821,3],[0,0,17829,3],[0,0,17841,3],[0,0,17852,3],[0,0,17866,3],[0,0,17891,3],[0,0,17913,3],[1,0,17931,5],[1,0,17942,5],[0,0,17953,14],[0,0,18123,3],[0,0,18143,3],[0,0,18158,3],[0,0,18166,8],[0,0,18237,3],[0,0,18259,5],[0,0,18288,11],[2,0,18500,6],[0,0,18539,3],[0,0,18610,3],[0,0,18642,3],[1,0,18653,5],[1,1,18664,2],[2,1,18683,3],[0,0,18705,3],[0,0,18734,4],[0,0,18757,3],[1,0,18790,5],[0,0,18816,3],[0,0,18886,3],[0,0,18900,3],[0,0,18911,5],[0,0,19047,3],[0,0,19077,3],[0,0,19097,3],[0,0,19151,3],[0,0,19186,3],[0,0,19210,3],[0,0,19225,3],[0,0,19268,3],[0,0,19285,5],[0,0,19399,3],[0,0,19454,3],[0,0,19477,5],[1,0,19606,5],[1,1,19617,2],[2,0,19625,6],[1,1,19640,2],[0,0,19648,3],[0,0,19687,3],[0,0,19770,3],[0,0,19804,3],[0,0,19833,3],[0,0,19851,3],[0,0,19868,3],[0,0,19897,4],[0,0,19958,3],[0,0,19971,4],[0,0,20003,3],[0,0,20013,3],[0,0,20031,3],[0,0,20063,3],[0,0,20106,6],[0,0,20185,3],[0,0,20212,3],[0,0,20252,3]] + [0,81,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,22,19,22,0,14,11,14,0,22,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,15,11,14,0,22,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,22,8,19,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,23,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,23,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,23,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,22,8,8,22,0,26,11,14,0,23,0,14,0,16,0,22,19,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,27,11,14,15,21,22,0,28,11,14,31,0,28,22,0,29,11,14,15,22,22,0,30,11,14,15,23,22,0,31,11,14,15,24,22,0,32,11,14,21,0,32,0,34,7,22,0,33,11,14,0,14,21,0,12,15,25,8,22,0,34,11,14,15,26,22,0,35,11,14,21,0,5,0,20,15,27,15,28,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,23,19,8,8,22,0,36,11,14,21,0,36,22,0,37,11,14,15,29,22,0,38,11,14,15,30,22,0,39,11,14,0,13,0,7,21,0,21,19,22,0,40,11,14,0,23,0,15,0,16,0,22,19,21,0,12,0,13,0,8,0,24,19,0,7,0,23,19,15,31,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,23,19,21,0,22,0,22,19,8,22,0,41,11,14,21,0,40,21,0,41,21,0,8,21,0,41,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,32,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,42,11,14,15,33,22,0,43,11,14,15,34,22,0,44,11,14,21,0,20,21,0,5,0,20,15,35,8,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,45,11,14,15,36,21,0,13,21,0,5,0,20,15,37,8,8,22,0,46,11,14,15,38,22,0,47,11,14,15,39,22,0,48,11,14,15,40,22,0,49,11,14,15,41,22,0,50,11,14,15,42,22,0,51,11,14,15,43,22,0,52,11,14,15,44,22,0,53,11,14,21,0,17,0,1,0,16,21,0,11,0,22,8,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,9,22,0,54,11,14,15,45,22,0,55,11,14,15,46,22,0,56,11,14,15,47,22,0,57,11,14,15,48,22,0,58,11,14,0,22,0,12,21,0,11,21,0,7,21,0,58,7,8,3,2,21,0,4,0,0,0,12,0,26,19,8,22,0,59,11,14,15,49,22,0,60,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,50,7,9,15,51,15,52,15,53,3,6,21,0,4,21,0,6,8,22,0,61,11,14,15,54,22,0,62,11,14,21,0,14,21,0,10,0,12,8,0,22,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,22,3,2,0,14,21,0,10,21,0,57,0,12,7,8,21,0,29,0,8,7,0,23,19,0,22,3,2,15,55,3,5,21,0,29,15,56,7,16,22,0,63,11,14,0,22,15,57,3,2,21,0,4,21,0,14,8,22,0,64,11,14,21,0,63,0,21,21,0,64,8,22,0,65,11,14,21,0,63,0,7,0,23,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,66,11,14,21,0,65,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,67,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,67,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,8,22,0,68,11,14,15,58,22,0,69,11,14,21,0,14,21,0,13,21,0,35,21,0,69,15,59,8,8,22,0,70,11,14,15,60,22,0,71,11,14,15,61,22,0,72,11,14,21,0,14,0,5,0,104,19,21,0,6,15,62,31,0,69,21,0,70,21,0,72,31,0,71,3,2,21,0,4,0,18,0,12,0,12,0,23,19,7,21,0,29,0,8,7,0,23,19,8,31,0,72,3,3,21,0,4,0,12,21,0,24,0,24,19,8,8,19,22,0,73,11,14,15,63,22,0,74,11,14,21,0,74,0,109,21,0,26,21,0,12,0,12,8,0,7,0,23,19,15,64,3,3,7,22,0,75,11,14,31,0,74,0,110,0,12,21,0,11,0,22,8,0,7,0,23,19,15,65,3,3,7,22,0,76,11,14,15,66,22,0,77,11,14,15,67,22,0,78,11,14,15,68,22,0,79,11,14,15,69,22,0,80,11,14,15,70,22,0,81,11,14,15,71,22,0,82,11,14,15,72,22,0,83,11,14,21,0,39,0,9,7,22,0,84,11,14,21,0,39,0,10,7,22,0,85,11,14,21,0,8,21,0,84,21,0,12,21,0,85,8,7,0,21,0,24,21,0,84,16,21,0,12,21,0,85,8,8,22,0,86,11,14,21,0,39,15,73,0,21,21,0,26,8,7,22,0,87,11,14,21,0,39,15,74,0,21,21,0,24,8,7,22,0,88,11,14,21,0,39,15,75,0,21,0,7,21,0,9,21,0,88,21,0,9,0,7,8,8,8,7,22,0,89,11,14,21,0,39,0,8,7,0,21,21,0,51,0,22,7,8,22,0,90,11,14,21,0,39,0,8,0,7,0,6,19,7,0,21,31,0,51,0,23,7,8,22,0,91,11,14,21,0,39,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,22,8,8,7,22,0,92,11,14,21,0,39,21,0,21,0,7,0,23,19,7,0,21,31,0,19,8,22,0,93,11,14,21,0,39,0,13,0,7,0,23,19,7,0,21,31,0,70,8,22,0,94,11,14,21,0,39,0,12,0,7,0,23,19,7,0,21,21,0,27,8,22,0,95,11,14,21,0,39,0,12,7,0,21,0,12,8,22,0,96,11,14,21,0,39,21,0,21,7,0,21,21,0,7,0,22,7,0,5,0,122,19,8,22,0,97,11,14,21,0,39,0,13,7,0,21,21,0,7,0,22,7,0,5,0,123,19,8,22,0,98,11,14,21,0,39,0,6,7,22,0,99,11,14,21,0,39,0,7,7,22,0,100,11,14,21,0,100,21,0,99,0,23,19,22,0,101,11,14,21,0,6,21,0,96,21,0,96,21,0,95,21,0,65,21,0,66,3,4,19,21,0,29,21,0,99,7,9,21,0,13,15,76,8,22,0,102,11,14,0,29,0,17,16,21,0,31,0,124,8,22,0,103,11,14,15,77,22,0,104,11,14,0,15,0,21,21,0,17,8,22,0,105,11,14,15,78,22,0,106,11,14,15,79,22,0,107,11,14,15,80,22,0,108,11,14,15,81,22,0,109,11,14,15,82,22,0,110,11,14,15,83,22,0,111,11,14,31,0,111,22,0,112,11,14,21,0,67,0,20,21,0,105,21,0,10,21,0,35,8,15,84,3,2,21,0,4,21,0,96,21,0,93,0,23,19,21,0,10,21,0,91,8,8,8,22,0,113,11,14,21,0,37,21,0,11,21,0,44,8,22,0,114,11,14,21,0,5,0,20,21,0,95,21,0,96,0,22,19,21,0,100,0,23,19,21,0,83,15,85,15,86,3,2,21,0,4,21,0,6,21,0,9,21,0,96,8,21,0,93,0,22,19,8,8,8,22,0,115,11,14,31,0,75,0,21,31,0,49,8,22,0,116,11,14,21,0,76,0,21,31,0,50,8,22,0,117,11,14,31,0,81,0,21,31,0,106,8,22,0,118,11,14,0,22,21,0,83,31,0,48,8,0,21,21,0,47,8,22,0,119,11,14,31,0,115,0,21,21,0,44,8,22,0,120,11,14,21,0,67,0,21,21,0,5,8,0,20,21,0,78,0,21,31,0,78,21,0,11,21,0,80,8,8,8,22,0,121,11,14,21,0,67,0,21,21,0,5,8,0,20,21,0,79,0,21,31,0,79,21,0,11,31,0,80,8,8,8,22,0,122,11,14,15,87,22,0,123,11,14,15,88,22,0,124,11,14,15,89,22,0,125,11,14,15,90,22,0,126,11,14,31,0,126,15,91,3,2,21,0,4,21,0,6,21,0,9,21,0,105,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,91,7,0,22,19,8,22,0,127,11,14,21,0,127,21,0,11,21,0,105,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,128,11,14,15,92,22,0,129,11,14,15,93,22,0,130,11,14,15,94,22,0,131,11,14,15,95,22,0,132,11,14,31,0,109,22,0,133,11,14,21,0,110,22,0,134,11,14,21,0,132,21,0,42,7,0,21,0,22,21,0,43,21,0,42,8,8,22,0,135,11,14,31,0,132,21,0,8,21,0,42,7,7,0,21,0,23,21,0,43,21,0,8,21,0,42,7,8,8,22,0,136,11,14,15,96,22,0,137,11,14,0,4,21,0,11,21,0,57,0,23,7,8,22,0,138,11,14,15,97,22,0,139,11,14,21,0,139,21,0,5,21,0,9,0,19,21,0,99,7,8,21,0,8,21,0,100,7,0,23,19,21,0,8,21,0,37,7,21,0,8,21,0,120,21,0,9,21,0,135,21,0,9,21,0,138,8,8,7,19,7,22,0,140,11,14,21,0,20,21,0,10,15,98,8,22,0,141,11,14,31,0,67,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,94,8,8,22,0,142,11,14,31,0,113,0,21,21,0,73,8,22,0,143,11,14,31,0,125,0,21,31,0,124,8,22,0,144,11,14,21,0,137,0,23,7,0,21,31,0,140,8,22,0,145,11,14,21,0,8,31,0,137,0,22,7,7,0,21,31,0,139,21,0,5,7,8,22,0,146,11,14,15,99,22,0,147,11,14,21,0,5,0,20,15,100,8,22,0,148,11,14,15,101,22,0,149,11,14,15,102,22,0,150,11,14,31,0,149,0,21,31,0,45,8,22,0,151,11,14,21,0,135,21,0,9,21,0,135,8,21,0,37,21,0,100,21,0,5,19,21,0,8,21,0,145,7,19,0,1,0,22,19,22,0,152,11,14,15,103,0,1,0,22,19,22,0,153,11,14,21,0,5,0,20,0,23,31,0,83,31,0,53,8,21,0,11,21,0,20,8,0,21,31,0,52,8,8,22,0,154,11,14,21,0,128,0,21,31,0,54,8,22,0,155,11,14,15,104,22,0,156,11,14,15,105,22,0,157,11,14,15,106,22,0,158,11,14,31,0,158,22,0,159,11,14,21,0,104,0,21,21,0,17,8,22,0,160,11,14,31,0,60,22,0,161,11,14,31,0,153,0,21,21,0,152,8,22,0,162,11,14,31,0,141,0,21,21,0,120,21,0,11,21,0,146,8,8,22,0,163,11,14,15,107,22,0,164,11,14,0,35,0,22,0,36,0,22,0,37,0,23,0,38,0,23,0,39,0,23,0,40,0,23,0,41,0,32,0,42,0,30,0,43,0,22,0,44,0,23,0,45,0,22,0,46,0,23,0,47,0,22,0,48,0,23,3,28,21,0,164,21,0,7,0,22,7,0,5,0,165,19,8,15,108,9,22,0,165,11,14,0,5,21,0,11,0,166,8,22,0,166,11,14,0,5,21,0,11,0,167,8,22,0,167,11,14,21,0,7,0,22,7,0,5,0,168,19,22,0,168,11,14,15,109,22,0,169,11,14,15,110,22,0,170,11,14,15,111,22,0,171,11,14,0,35,21,0,8,21,0,100,7,0,21,21,0,99,8,0,36,21,0,100,0,37,21,0,8,21,0,84,7,0,21,21,0,5,8,0,38,21,0,84,0,39,21,0,39,0,2,7,0,49,21,0,8,21,0,85,7,0,21,21,0,8,21,0,92,7,8,0,44,21,0,8,21,0,84,7,0,21,21,0,90,21,0,169,21,0,5,8,8,0,43,21,0,6,21,0,100,0,23,19,21,0,84,21,0,8,21,0,100,7,19,0,21,21,0,91,21,0,169,21,0,5,8,8,0,40,21,0,101,0,50,0,22,21,0,9,21,0,166,8,0,21,15,112,8,0,51,21,0,5,0,52,21,0,65,21,0,9,21,0,167,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,34,15,113,0,21,0,22,21,0,9,21,0,166,8,8,0,53,15,114,0,21,15,115,8,0,54,0,22,21,0,9,21,0,166,8,0,21,21,0,116,21,0,169,21,0,155,21,0,11,0,28,8,8,8,0,55,0,22,21,0,9,21,0,166,8,0,21,21,0,117,21,0,169,21,0,155,8,8,0,56,0,22,21,0,9,21,0,166,8,0,21,21,0,118,21,0,169,21,0,66,8,8,0,57,21,0,119,21,0,11,21,0,100,8,0,21,21,0,119,8,0,58,31,0,150,0,21,31,0,46,8,0,59,0,22,21,0,9,21,0,166,8,0,21,15,116,8,0,60,31,0,171,0,21,31,0,170,8,3,42,21,0,164,21,0,168,8,22,0,172,11,14,15,117,22,0,173,11,14,15,118,22,0,174,11,14,15,119,21,0,10,15,120,8,22,0,175,11,14,0,35,21,0,8,21,0,100,7,0,21,0,24,21,0,12,21,0,84,8,8,0,36,21,0,99,0,21,0,22,21,0,9,21,0,166,8,8,0,37,21,0,8,21,0,84,7,0,21,21,0,86,8,0,38,21,0,92,0,21,0,22,21,0,9,21,0,166,8,8,0,39,21,0,86,0,21,0,22,21,0,9,21,0,166,8,8,0,49,0,2,21,0,84,9,0,21,0,22,21,0,9,21,0,166,8,8,0,44,21,0,8,21,0,84,7,0,21,21,0,86,8,0,43,21,0,6,21,0,100,0,23,19,21,0,84,21,0,8,21,0,100,7,19,0,21,21,0,101,21,0,9,21,0,86,8,21,0,101,9,8,0,40,21,0,7,0,23,7,21,0,100,21,0,99,19,0,21,0,22,21,0,9,21,0,166,8,8,3,18,21,0,164,21,0,168,8,22,0,176,11,14,15,121,0,61,21,0,176,0,62,15,122,0,63,15,123,0,64,15,124,0,65,15,125,21,0,9,15,126,8,3,10,21,0,164,21,0,7,21,0,168,7,8,7,22,0,177,11,14,0,23,15,127,21,0,154,0,22,0,28,3,2,19,21,0,57,15,128,7,21,0,65,21,0,11,0,31,8,31,0,32,0,66,7,3,2,19,21,0,29,21,0,90,7,9,3,2,21,0,156,0,0,21,0,98,0,26,19,8,22,0,178,11,14,15,129,15,130,0,67,21,0,175,0,68,15,131,0,69,15,132,0,70,21,0,7,0,22,21,0,9,21,0,166,8,7,15,133,15,134,3,2,21,0,156,21,0,98,21,0,11,0,22,8,8,3,2,21,0,156,21,0,5,21,0,9,21,0,15,8,8,0,71,15,135,0,72,15,136,15,137,21,0,5,3,2,21,0,156,21,0,6,8,21,0,6,21,0,9,21,0,178,8,19,0,73,15,138,3,14,31,0,164,21,0,7,21,0,168,7,8,7,7,22,0,179,11,14,15,139,22,0,180,11,14,15,140,21,0,117,21,0,11,0,23,8,21,0,5,21,0,155,21,0,9,31,0,172,8,9,21,0,7,21,0,7,0,22,7,0,5,0,169,19,7,21,0,5,21,0,29,31,0,175,7,9,31,0,180,31,0,177,31,0,179,3,6,21,0,156,21,0,6,8,21,0,155,19,9,22,0,181,11,14,15,141,31,0,181,21,0,7,0,22,7,0,5,0,170,19,3,3,21,0,120,0,26,0,23,0,24,3,3,17,21,0,156,0,0,8,22,0,182,11,14,15,142,22,0,183,11,14,0,51,0,52,0,61,0,67,0,68,0,72,0,73,0,71,0,74,3,9,0,46,0,45,0,75,3,3,0,50,0,53,0,56,0,59,0,76,0,77,0,60,3,5,0,78,0,54,0,55,0,57,0,58,0,79,0,80,3,7,3,6,21,0,57,21,0,160,7,16,15,143,16,22,0,184,11,14,21,0,99,21,0,100,21,0,92,21,0,84,31,0,85,31,0,86,21,0,88,21,0,89,21,0,87,21,0,101,21,0,90,21,0,91,21,0,93,21,0,94,21,0,95,21,0,96,21,0,98,21,0,97,21,0,65,21,0,66,21,0,6,21,0,5,31,0,160,21,0,143,21,0,142,21,0,116,21,0,117,21,0,118,31,0,122,21,0,121,21,0,119,31,0,151,21,0,120,21,0,135,21,0,136,21,0,154,21,0,155,21,0,145,31,0,162,21,0,146,31,0,163,21,0,144,0,5,21,0,7,21,0,8,21,0,82,21,0,57,21,0,173,31,0,183,21,0,29,21,0,112,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,161,0,21,21,0,156,21,0,134,21,0,133,21,0,159,3,62,15,144,16,25,0,22,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,145,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,146,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,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,23,17,0,5,0,82,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,147,15,148,3,2,21,1,4,21,0,6,21,1,22,0,22,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,6,17,8,7,16,0,18,15,149,7,16,14,21,0,8,25,21,1,22,0,18,0,12,0,7,0,23,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,30,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,150,19,25,15,151,0,12,21,0,1,21,1,30,21,1,0,7,16,19,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,3,8,8,7,16,25,21,0,1,21,1,34,0,23,17,22,0,3,11,21,1,29,0,8,7,0,23,17,22,0,4,11,14,21,0,4,0,17,16,0,15,31,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,31,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,152,22,0,2,11,14,15,153,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,31,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,31,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,154,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,155,15,156,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,38,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,41,21,0,2,17,25,21,0,1,0,14,21,1,10,21,1,129,8,21,0,2,17,22,0,3,11,14,31,0,3,21,1,29,21,1,130,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,42,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,22,21,1,8,31,0,4,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,85,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,34,0,23,17,21,1,29,0,8,7,0,23,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,22,22,0,9,11,22,0,10,11,14,21,0,8,0,22,0,18,21,1,15,7,21,1,29,0,8,7,0,23,19,3,2,21,1,4,21,0,6,21,1,22,0,25,17,0,8,0,23,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,157,8,8,16,0,7,0,23,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,158,21,0,4,7,3,2,21,1,4,31,0,11,8,16,0,1,0,22,17,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,86,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,15,159,8,16,0,1,0,22,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,34,0,23,17,22,0,4,11,21,1,29,0,8,7,0,23,17,22,0,5,11,14,31,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,0,15,31,0,4,17,17,25,21,0,1,21,1,14,16,21,1,167,16,14,21,0,1,0,12,16,21,1,22,0,22,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,23,17,22,0,3,11,14,21,0,1,0,14,16,22,0,4,11,14,21,0,4,0,16,21,0,3,17,22,0,5,11,14,31,0,3,0,17,16,0,18,31,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,23,17,0,17,16,0,15,31,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,88,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,0,7,21,1,11,0,23,0,7,31,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,89,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,22,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,31,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,90,17,14,21,0,1,21,1,27,16,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,22,8,8,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,91,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,15,160,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,37,21,1,11,21,0,1,21,1,43,21,1,42,21,1,8,21,1,42,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,92,17,14,21,0,1,21,1,27,16,21,1,22,0,22,17,0,5,0,93,17,14,21,0,1,21,1,36,0,22,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,94,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,95,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,96,17,14,21,0,1,21,1,37,21,1,11,0,18,21,1,5,21,1,23,0,22,19,0,8,31,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,22,17,0,22,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,23,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,23,8,21,1,8,0,16,7,31,0,3,19,21,0,0,9,8,7,0,23,19,3,2,21,1,4,0,13,21,1,11,0,24,8,8,16,25,21,0,1,15,161,21,1,6,21,1,55,9,21,1,13,15,162,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,26,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,56,21,1,38,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,62,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,59,8,0,7,0,23,19,21,1,13,15,163,8,22,0,9,11,14,21,1,5,0,20,15,164,8,22,0,10,11,14,31,0,8,31,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,31,0,10,8,21,1,7,21,0,5,7,21,1,182,9,15,165,9,3,2,21,1,4,21,1,59,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,31,0,4,31,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,8,25,21,1,7,21,1,58,7,22,0,5,11,14,21,1,47,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,22,0,14,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,166,22,0,7,11,14,21,1,1,0,22,0,16,21,1,11,0,24,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,22,8,0,12,0,29,19,8,9,22,0,8,11,14,15,167,22,0,9,11,14,21,0,9,0,23,7,22,0,10,11,14,31,0,9,0,22,7,22,0,11,11,14,15,168,22,0,12,11,14,15,169,22,0,13,11,14,15,170,22,0,14,11,14,0,0,21,1,21,0,26,19,21,1,13,21,0,14,21,1,59,7,8,22,0,15,11,14,31,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,31,0,11,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,22,8,21,0,12,9,21,0,10,21,1,11,0,23,8,31,0,12,9,21,0,10,21,1,11,0,23,8,31,0,13,9,31,0,10,21,1,11,0,23,8,21,0,16,15,171,15,172,3,3,21,1,4,21,1,7,0,26,7,0,7,0,0,19,8,3,7,7,0,16,21,1,184,19,15,173,21,1,5,19,22,0,17,11,14,21,1,1,21,1,76,21,1,11,0,23,8,21,1,5,0,16,0,22,19,31,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,174,21,1,12,21,1,61,8,21,1,5,0,16,0,22,19,31,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,26,21,1,5,0,24,3,2,21,1,4,0,13,21,1,11,0,24,8,8,3,2,21,1,4,0,13,21,1,11,0,22,8,8,8,8,0,16,21,1,11,0,22,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,22,21,0,7,0,28,8,3,2,21,1,29,15,175,7,16,0,22,21,1,58,3,2,21,1,1,21,1,37,0,23,0,26,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,57,21,1,63,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,23,17,25,21,0,2,0,16,0,23,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,22,17,8,25,21,0,1,0,15,16,0,18,21,1,64,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,22,17,0,6,0,23,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,66,21,1,10,21,0,2,8,19,8,8,21,1,68,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,22,19,8,25,21,0,1,0,15,16,0,16,0,22,17,21,1,66,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,66,21,1,65,21,0,3,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,98,17,14,21,0,3,21,1,29,0,8,7,0,23,17,0,17,16,0,15,31,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,28,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,27,7,16,21,1,44,16,0,18,15,176,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,66,7,16,22,0,5,11,14,21,0,5,0,16,0,22,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,99,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,100,17,14,15,177,22,0,8,11,14,21,0,1,21,1,66,16,22,0,9,11,14,0,23,22,0,10,11,14,0,22,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,57,15,178,7,21,0,9,21,1,47,16,21,0,8,0,8,7,0,23,17,21,1,47,16,17,14,21,1,57,15,179,31,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,180,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,103,17,14,31,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,31,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,106,21,1,35,31,0,2,17,21,1,35,0,105,17,22,0,5,11,14,0,107,22,0,6,11,14,0,108,22,0,7,11,14,15,181,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,31,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,22,21,1,12,21,1,22,8,21,1,13,0,30,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,30,8,7,3,2,21,1,4,21,0,1,21,1,22,0,22,17,8,16,25,21,0,1,14,0,6,21,1,25,0,22,19,0,17,9,0,7,21,1,25,0,22,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,22,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,111,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,22,17,0,5,0,112,17,14,21,0,3,21,1,21,0,23,17,0,5,0,113,17,14,21,0,1,21,1,34,0,23,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,66,16,7,0,16,31,0,3,0,7,0,23,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,114,17,14,31,0,4,21,1,29,0,8,7,0,23,17,25,21,0,1,21,1,77,21,0,2,17,22,0,3,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,31,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,4,8,8,7,16,0,15,21,0,1,21,1,66,16,17,25,21,0,1,21,1,77,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,31,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,31,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,31,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,6,8,8,7,16,0,15,21,0,1,21,1,66,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,111,17,14,21,0,1,21,1,34,0,23,17,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,23,17,0,5,0,115,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,21,1,5,0,20,15,182,8,8,21,0,2,17,25,21,0,1,0,28,21,1,110,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,183,15,184,3,2,21,1,4,21,1,6,21,1,9,21,1,65,21,1,22,21,0,2,19,8,8,8,25,21,0,2,21,1,84,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,22,21,0,2,16,19,8,25,21,0,2,21,1,96,16,21,1,97,0,23,17,0,5,0,125,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,101,16,22,0,4,11,21,1,29,21,1,99,7,0,22,17,22,0,5,11,14,21,0,5,21,1,97,0,23,17,0,5,0,126,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,95,16,22,0,7,11,14,21,0,3,21,1,5,21,1,29,21,1,92,7,0,23,19,15,185,3,2,21,1,4,31,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,95,21,0,8,17,21,1,13,21,1,5,0,20,15,186,8,8,16,0,15,21,0,3,17,25,15,187,22,0,3,11,14,15,188,22,0,4,11,14,21,0,1,21,0,3,31,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,96,16,21,1,97,0,23,17,0,5,0,132,17,14,21,0,1,21,1,105,16,22,0,1,12,14,21,0,1,21,1,95,16,0,26,21,1,12,21,1,98,8,21,1,90,21,1,98,21,1,11,0,23,8,19,16,0,5,0,133,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,90,7,0,23,17,0,5,0,134,17,14,21,0,1,25,21,0,1,21,1,9,21,1,107,8,21,1,5,21,1,9,21,1,93,8,21,1,57,0,16,7,21,1,95,21,1,12,21,1,8,21,1,87,21,1,99,0,23,19,21,1,100,21,1,6,19,7,8,19,0,23,0,22,3,2,0,21,0,24,3,1,8,19,25,21,0,1,21,1,108,21,0,5,7,21,0,2,17,22,0,6,11,21,1,94,0,22,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,189,22,0,9,11,14,21,0,1,21,0,9,31,0,6,7,21,0,2,17,25,21,0,1,21,1,108,21,0,5,7,21,1,57,21,1,100,21,1,12,21,1,88,8,21,1,100,21,1,89,0,22,19,3,2,21,1,4,21,1,5,21,1,98,0,22,19,8,7,21,1,96,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,190,22,0,7,11,14,21,1,5,21,1,93,9,21,0,7,21,1,5,0,18,21,1,93,7,9,3,3,21,1,4,21,1,96,21,1,12,21,1,97,8,21,1,99,0,23,19,21,1,92,0,22,21,1,12,21,1,94,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,95,21,1,8,21,1,100,7,0,23,19,8,16,17,21,1,57,21,0,4,7,21,0,2,31,0,7,31,0,6,0,16,0,22,17,17,17,21,1,94,16,25,21,0,1,21,1,96,16,21,1,98,0,23,17,0,5,0,135,17,14,21,0,4,22,0,5,11,14,15,191,22,0,6,11,14,21,0,1,31,0,6,15,192,3,2,21,1,4,0,23,0,21,21,1,95,21,1,93,0,22,19,8,8,21,0,2,17,25,21,0,1,21,1,66,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,95,7,16,22,0,4,11,21,1,29,21,1,89,7,0,23,17,22,0,5,11,14,21,0,4,21,1,100,21,0,5,17,21,1,97,0,23,17,21,1,29,21,1,90,7,0,23,17,0,5,0,137,17,14,21,0,3,21,1,57,21,1,37,21,1,11,0,23,21,1,100,21,0,5,17,0,17,16,21,1,12,21,1,99,8,8,7,21,0,5,21,1,101,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,65,7,16,0,5,0,138,17,14,31,0,3,21,1,57,0,23,21,1,5,0,16,0,22,19,3,2,21,1,4,21,1,6,8,7,31,0,4,21,1,96,31,0,5,17,17,21,1,29,21,1,99,7,0,22,17,22,0,7,11,14,21,0,1,21,1,105,21,1,10,21,1,35,8,21,0,2,17,21,1,105,31,0,6,0,16,0,22,17,21,1,35,31,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,105,0,16,0,22,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,87,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,37,21,0,1,21,1,95,16,21,1,92,21,0,3,17,0,17,16,0,19,21,1,8,15,193,21,1,13,15,194,8,7,7,16,17,25,21,0,1,21,1,95,21,1,10,21,1,96,8,21,0,2,17,0,5,0,139,17,14,21,0,1,21,1,114,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,90,7,0,23,17,0,5,0,140,17,14,21,0,1,21,1,98,0,28,17,21,1,29,21,1,90,7,0,23,17,0,5,0,141,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,22,8,21,1,13,21,1,5,15,195,21,1,95,21,1,12,21,1,8,21,1,100,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,22,22,0,8,11,14,31,0,6,0,18,21,1,118,21,1,9,0,18,15,196,7,8,21,0,4,9,7,16,25,21,0,1,21,1,96,16,21,1,96,0,23,17,0,5,0,142,17,14,21,1,123,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,22,21,1,9,21,1,118,8,19,0,18,15,197,7,21,1,29,0,18,0,18,21,1,35,7,7,7,3,0,21,1,93,16,21,1,93,16,19,0,1,0,18,0,22,7,3,0,21,1,12,21,1,105,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,65,21,1,93,0,23,19,8,16,25,21,0,1,21,1,14,16,0,5,0,143,17,14,21,0,2,21,1,65,21,1,94,0,24,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,96,16,21,1,96,0,23,17,0,5,0,144,17,14,21,0,2,0,18,21,1,96,7,16,22,0,3,11,21,1,29,21,1,99,7,0,22,17,22,0,4,11,14,21,0,1,21,1,96,16,21,1,98,21,0,4,17,0,5,0,145,17,14,21,0,1,21,1,66,16,21,1,116,21,0,4,17,21,1,100,21,0,2,0,18,21,1,66,7,16,21,1,73,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,96,0,23,17,21,1,120,21,0,3,17,21,1,12,21,1,98,8,21,1,90,21,1,98,21,1,11,0,22,8,19,16,21,1,29,21,1,90,7,0,23,17,0,5,0,146,17,14,0,22,3,1,21,1,35,31,0,5,17,21,1,37,21,0,3,0,19,21,1,99,7,16,21,1,121,0,22,17,17,21,1,88,31,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,105,7,16,22,0,2,12,0,18,21,1,95,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,104,21,0,1,21,1,34,31,0,4,17,21,1,12,21,1,35,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,92,7,0,23,17,3,1,21,0,8,16,21,1,12,21,1,37,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,22,8,21,1,10,21,1,123,21,0,9,7,8,21,1,57,21,1,123,21,1,5,7,7,21,1,92,31,0,7,21,1,119,16,21,1,121,0,23,17,0,19,21,1,92,7,16,21,1,119,16,19,21,1,29,0,18,0,18,21,1,99,7,7,7,9,0,18,31,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,95,8,21,1,95,0,23,19,8,31,0,6,17,0,1,21,0,2,0,18,0,22,7,16,31,0,8,16,17,25,21,0,2,21,1,96,16,21,1,96,0,23,17,0,5,0,147,17,14,21,0,1,21,1,66,16,22,0,3,11,21,1,95,21,1,10,21,1,96,8,21,0,2,17,0,5,0,148,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,90,7,0,23,17,0,5,0,149,17,14,21,0,3,21,1,93,21,1,90,21,1,100,21,1,12,21,1,97,8,19,21,0,2,17,21,1,29,21,1,90,7,0,23,17,0,5,0,150,17,14,0,22,21,1,93,21,0,2,17,21,1,92,21,0,3,17,21,1,99,21,0,2,17,22,0,2,12,14,21,0,2,21,1,95,16,21,1,101,21,1,11,21,1,118,8,16,21,1,100,16,21,1,29,21,1,5,21,1,92,31,0,3,21,1,12,0,16,8,19,21,1,99,21,0,2,21,1,12,0,16,8,19,7,0,22,17,21,1,8,0,16,7,21,0,1,21,1,105,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,127,8,7,16,25,21,0,1,21,1,96,21,1,11,0,22,8,21,1,29,21,1,91,7,0,22,19,21,1,10,21,1,8,21,1,100,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,22,21,0,3,3,2,15,198,3,2,21,1,4,0,22,21,1,96,31,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,199,22,0,8,11,14,21,0,4,21,1,96,21,1,11,0,22,8,21,1,13,21,0,1,8,9,31,0,8,3,2,0,16,21,0,6,21,1,95,0,23,17,17,25,21,0,1,22,0,2,11,14,21,1,93,21,1,11,0,22,8,21,1,13,15,200,8,25,21,0,2,21,1,96,16,21,1,8,21,1,100,7,0,23,17,22,0,5,11,14,21,0,5,21,1,98,0,22,17,0,5,0,151,17,14,21,0,1,21,1,96,16,21,1,98,21,0,5,17,0,5,0,152,17,14,21,0,2,21,1,34,0,23,17,22,0,6,11,21,1,29,21,1,92,7,0,23,17,22,0,7,11,14,0,22,21,1,130,21,0,2,21,1,105,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,95,16,0,23,0,23,21,1,12,21,1,100,21,1,9,21,1,118,8,8,21,1,92,21,0,7,19,0,18,21,1,99,21,1,11,31,0,7,8,21,1,12,31,0,8,8,7,9,21,1,8,21,1,98,7,0,22,19,21,1,29,21,1,90,7,0,23,19,3,2,21,1,4,21,1,93,21,1,11,0,22,8,8,16,0,5,0,153,17,14,21,0,1,21,1,96,16,21,1,8,21,1,100,7,31,0,5,17,22,0,9,11,14,21,0,1,21,1,20,16,21,1,34,21,0,9,17,22,0,10,11,14,21,0,10,21,1,129,21,0,6,17,22,0,11,11,14,31,0,11,21,1,29,21,1,130,21,0,1,21,1,105,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,21,1,105,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,8,0,22,7,21,1,98,31,0,12,21,1,11,21,1,92,21,1,11,31,0,6,21,1,29,21,1,92,7,0,23,17,8,8,19,22,0,13,11,14,31,0,9,21,1,118,16,0,18,21,0,1,21,1,66,16,21,1,12,0,16,8,7,16,21,1,5,21,1,29,21,1,92,7,0,23,19,21,1,118,9,21,1,12,21,1,105,8,16,21,1,92,31,0,10,21,1,29,21,1,92,7,0,23,17,17,0,18,15,201,21,1,11,21,0,2,21,1,95,16,8,7,16,0,1,0,22,17,25,21,0,1,22,0,2,11,14,21,1,112,21,1,90,7,21,1,101,9,0,19,21,1,90,7,21,1,112,21,1,99,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,202,0,1,0,22,19,25,21,0,1,21,1,96,16,21,1,98,0,23,17,0,5,0,156,17,14,21,0,1,21,1,135,16,22,0,5,11,14,21,0,1,21,1,95,16,21,1,118,16,0,18,0,23,21,1,5,21,0,1,21,1,96,21,1,93,0,23,19,21,1,13,21,1,82,21,1,93,7,8,16,21,1,37,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,66,8,0,23,21,1,12,21,1,100,8,19,3,2,21,1,4,21,1,93,21,1,11,0,22,8,8,7,16,21,0,4,21,0,5,17,21,1,37,31,0,5,21,1,138,16,17,0,1,0,22,17,25,21,0,2,21,1,96,16,22,0,3,11,14,21,0,1,21,1,96,16,21,1,98,21,0,3,17,0,5,0,157,17,14,21,0,1,21,0,3,21,1,134,21,1,118,21,1,11,21,0,2,21,1,66,16,21,1,88,21,0,1,21,1,66,16,21,1,116,21,1,11,21,1,100,8,21,0,3,17,21,1,99,0,23,17,17,8,8,16,31,0,3,21,1,134,21,1,65,8,21,0,2,17,0,1,0,22,17,25,21,0,2,21,1,96,16,21,1,97,0,23,17,0,5,0,158,17,14,21,0,1,21,1,66,16,21,1,95,21,1,10,21,1,98,8,21,0,2,17,0,5,0,159,17,14,21,0,2,21,1,105,16,0,18,21,1,16,7,16,21,1,29,21,1,90,7,0,23,17,0,5,0,160,17,25,21,0,1,21,1,66,16,21,1,144,21,0,2,17,0,18,21,1,29,21,1,88,7,7,16,21,1,118,16,0,18,21,1,7,21,0,1,7,21,1,128,21,1,37,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,105,16,22,0,2,12,14,21,0,2,21,1,146,16,21,1,101,16,21,1,29,21,1,99,7,0,22,17,21,1,100,21,0,1,21,1,96,16,17,22,0,3,11,14,21,0,3,21,1,93,21,0,2,17,21,1,29,21,1,90,7,0,23,17,0,5,0,161,17,14,21,0,1,21,1,148,31,0,3,21,1,118,16,21,1,5,21,1,120,21,1,8,21,1,146,21,1,9,21,1,101,8,7,19,21,0,2,17,21,1,143,21,0,2,17,17,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,105,16,22,0,2,12,14,21,0,1,21,1,96,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,93,8,21,1,90,21,1,146,19,16,21,1,29,21,1,90,7,0,23,17,21,1,166,16,14,21,0,1,21,1,148,31,0,3,21,1,118,16,21,1,5,21,1,120,21,1,8,21,1,146,21,1,9,21,1,101,8,7,19,21,0,2,17,21,1,143,21,0,2,17,21,1,138,16,17,25,21,0,2,21,1,96,16,21,1,8,21,1,100,7,0,23,17,22,0,3,11,14,21,0,3,21,1,98,0,22,17,0,5,0,162,17,14,21,0,1,21,1,96,16,21,1,98,31,0,3,17,0,5,0,163,17,14,21,0,1,21,1,145,21,1,11,21,0,2,8,21,1,105,21,1,9,21,1,95,21,1,93,0,22,19,21,1,13,21,1,152,21,1,12,21,1,82,21,1,142,7,8,8,8,21,1,105,21,1,7,0,24,7,21,1,143,21,1,66,19,19,9,21,1,10,21,1,145,8,21,0,2,17,25,21,0,1,15,203,21,0,5,21,1,155,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,182,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,22,22,0,7,11,22,0,8,11,14,21,0,6,0,22,21,1,133,15,204,8,16,14,0,22,15,205,0,21,21,1,7,15,206,7,8,21,0,2,17,22,0,9,11,14,21,0,1,3,1,22,0,10,11,14,15,207,21,1,11,31,0,9,8,22,0,11,11,14,21,0,7,21,0,11,21,0,4,17,22,0,12,11,14,21,0,8,21,1,100,16,21,0,10,31,0,11,21,1,11,21,1,182,8,3,2,21,1,156,21,1,93,21,1,11,0,22,8,8,21,0,4,17,22,0,13,11,14,31,0,6,0,22,21,1,133,21,1,7,31,0,12,31,0,13,3,2,7,21,1,155,0,22,21,1,12,21,1,93,8,19,21,1,155,21,1,87,19,8,16,25,0,24,21,1,84,21,0,2,21,1,95,16,17,21,1,118,16,21,1,92,0,24,17,22,0,3,11,14,21,0,1,21,1,93,16,21,1,143,21,0,2,21,1,154,21,0,3,21,1,99,0,23,17,17,17,21,1,31,21,0,2,21,1,154,31,0,3,17,8,25,0,22,21,0,1,16,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,65,21,0,1,17,21,1,167,16,14,31,0,6,25,21,0,1,21,1,65,16,21,1,96,0,24,17,21,1,166,16,14,21,0,1,0,18,21,1,96,7,16,21,1,96,0,23,17,21,1,29,21,1,90,7,0,23,17,21,1,167,16,14,21,0,1,21,1,143,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,90,7,0,23,17,21,1,167,16,14,21,0,1,21,1,57,21,1,121,7,0,28,17,21,1,143,16,21,1,94,21,0,3,17,21,1,29,21,1,90,7,0,23,17,21,1,167,16,14,21,0,3,0,3,16,22,0,4,11,14,0,23,21,1,98,21,0,4,17,21,1,29,21,1,90,7,0,23,17,21,1,167,16,14,31,0,4,21,1,101,16,21,1,120,16,22,0,5,11,14,21,0,5,21,1,57,0,28,7,16,21,1,143,21,0,1,21,1,57,21,1,95,7,16,21,1,120,16,17,21,1,154,31,0,5,21,1,143,31,0,3,17,21,1,135,16,17,25,21,0,2,21,1,96,16,21,1,96,0,23,17,21,1,166,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,90,7,0,23,17,21,1,166,16,14,21,0,2,21,1,144,16,22,0,3,11,14,21,0,1,21,1,57,21,1,95,7,21,1,10,21,1,65,8,21,0,3,17,21,1,167,16,14,21,0,1,21,1,143,21,1,10,21,1,154,21,1,11,21,1,135,8,8,31,0,3,17,25,21,0,1,21,1,14,16,21,1,167,16,14,21,0,1,21,1,96,16,21,1,96,0,22,17,21,1,167,16,14,21,0,1,21,1,155,16,25,21,0,2,21,1,96,21,1,10,21,1,100,8,21,0,1,17,22,0,3,11,14,21,0,3,0,23,21,1,12,21,1,98,8,21,1,90,21,1,98,21,1,11,0,22,8,19,16,21,1,167,16,14,21,0,2,0,23,21,1,95,3,2,21,1,156,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,95,16,21,1,98,21,0,4,17,21,1,167,16,14,21,0,1,21,1,154,21,1,116,21,1,11,21,0,4,8,3,2,21,1,156,31,0,3,8,16,21,1,65,21,0,2,17,21,1,167,16,14,21,0,1,21,1,117,31,0,4,17,25,21,0,1,21,1,95,16,21,1,96,0,24,17,21,1,167,16,14,21,0,1,21,1,154,16,21,1,65,21,0,2,17,21,1,167,16,14,21,0,1,21,1,154,0,23,17,25,21,0,1,21,1,95,16,21,1,96,0,23,17,21,1,167,16,14,21,0,1,21,1,154,16,25,21,0,1,21,1,96,16,21,1,96,0,23,17,21,1,166,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,90,7,0,23,17,21,1,166,16,14,21,0,1,21,1,117,21,1,11,0,23,8,21,1,98,21,1,117,21,1,11,0,28,8,19,21,1,29,21,1,90,7,0,23,19,16,21,1,167,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,56,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,182,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,155,21,1,11,0,23,8,21,0,1,21,1,12,15,208,8,21,1,155,21,1,11,0,22,8,19,25,21,1,5,21,1,9,21,1,65,8,21,1,93,0,22,19,21,1,167,9,21,1,6,21,1,57,21,1,157,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,65,8,21,1,93,0,22,19,21,1,167,9,21,1,6,0,22,21,1,9,21,1,166,8,0,21,21,1,173,21,1,157,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,96,8,21,1,93,0,22,19,21,1,167,9,21,1,6,21,1,82,21,1,157,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,167,8,8,9,7,19,25,21,1,57,21,1,157,21,0,1,7,7,25,21,1,5,21,1,9,21,1,96,8,21,1,93,0,22,19,21,1,167,9,21,1,6,21,1,5,21,0,1,21,1,121,19,0,21,21,1,95,21,1,93,0,23,19,21,1,159,21,1,117,21,1,11,0,23,8,21,0,1,21,1,117,21,1,11,0,28,8,19,21,1,143,21,1,154,19,8,8,19,25,21,0,1,21,1,1,16,25,21,0,1,21,0,2,16,25,21,1,155,21,1,11,0,23,8,21,0,1,21,1,12,15,209,8,21,1,154,21,1,11,0,22,0,24,3,2,8,19,25,21,0,1,21,1,7,15,210,7,3,2,21,1,156,21,1,96,21,1,11,21,1,7,21,1,174,7,8,8,25,21,1,157,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,31,0,3,8,21,1,157,21,0,1,7,9,25,21,0,1,21,1,161,21,1,157,21,0,2,7,8,25,21,0,1,21,1,159,21,0,2,8,21,1,169,21,0,1,21,1,100,16,21,1,159,21,0,2,8,8,25,21,0,1,21,1,100,16,21,1,159,21,0,2,8,25,21,1,157,21,0,1,7,0,21,21,1,157,21,0,2,7,8,25,21,1,157,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,168,8,25,21,1,157,21,0,2,7,21,1,157,21,0,1,7,9,0,21,21,0,1,21,1,7,0,22,21,1,9,21,1,166,8,7,15,211,3,2,21,1,156,21,1,5,21,1,9,21,1,178,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,178,21,1,101,9,22,0,6,11,14,31,0,5,15,212,15,213,21,1,7,21,1,168,7,3,2,21,1,156,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,156,21,1,6,21,1,9,31,0,6,8,8,31,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,65,21,1,9,21,1,167,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,182,16,21,1,5,15,214,3,2,21,1,156,0,22,21,1,5,21,1,9,21,1,1,8,21,1,154,0,22,0,33,3,2,19,21,1,66,0,29,21,1,174,3,2,19,3,2,21,1,156,21,1,66,21,1,11,21,1,7,21,1,168,7,8,21,1,90,21,1,66,19,8,8,21,0,1,17,25,21,0,1,21,1,57,21,1,95,7,16,21,1,95,21,1,143,21,1,120,19,16,21,1,31,21,0,1,21,1,143,16,8,25,21,1,93,21,1,145,21,0,1,19,21,1,155,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,165,16,25,0,23,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,1,21,2,2,16,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,83,17,14,21,0,5,21,2,29,0,8,7,0,23,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,31,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,31,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,84,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,31,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,23,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,31,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,31,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,31,0,9,21,2,27,16,17,0,15,16,0,15,31,0,7,17,25,21,0,1,21,2,39,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,215,21,0,2,7,7,16,25,21,0,2,0,18,15,216,21,0,1,7,7,16,25,21,1,6,0,8,0,24,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,22,7,21,2,23,0,22,21,2,130,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,22,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,24,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,23,19,0,7,31,0,7,19,0,10,0,24,19,7,16,21,2,29,15,217,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,23,17,0,5,0,87,17,14,0,23,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,22,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,22,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,31,0,3,21,0,5,16,0,17,16,0,18,15,218,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,102,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,57,0,12,7,8,21,2,29,0,8,7,0,23,19,3,3,21,2,29,15,219,7,16,22,0,3,11,14,15,220,22,0,4,11,14,21,2,18,21,0,4,15,221,3,2,21,2,4,21,2,5,21,2,9,21,2,29,31,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,22,19,21,2,14,9,8,22,0,5,11,14,0,22,22,0,6,11,14,21,0,1,15,222,16,14,21,0,1,21,0,2,3,2,21,0,5,0,22,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,223,7,16,22,0,8,11,14,31,0,8,31,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,58,7,8,16,25,15,224,21,2,11,21,0,2,8,22,0,3,11,14,15,225,22,0,4,11,14,15,226,21,2,11,0,22,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,22,19,0,16,0,23,19,31,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,31,0,8,19,21,2,13,15,227,21,2,9,21,1,6,8,8,16,31,0,7,21,0,2,17,22,0,10,11,14,31,0,10,31,0,9,21,2,13,15,228,8,16,25,21,0,1,15,229,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,23,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,230,25,21,0,1,22,0,3,11,14,15,231,25,21,0,2,21,0,1,16,25,21,0,1,21,2,57,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,23,19,21,2,13,15,232,8,16,14,21,1,5,0,16,0,23,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,233,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,31,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,57,0,12,7,31,0,5,17,21,2,29,0,8,7,0,23,17,0,5,0,101,17,14,21,0,6,21,2,44,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,22,17,21,2,37,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,31,0,8,0,18,21,2,5,7,21,1,12,17,21,2,57,0,6,7,21,0,7,0,18,31,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,31,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,31,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,37,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,22,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,31,0,3,21,2,57,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,23,17,0,5,0,102,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,31,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,31,0,6,0,18,0,6,21,2,11,0,8,21,2,11,31,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,23,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,66,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,234,8,21,0,3,17,22,0,4,11,14,15,235,22,0,5,11,14,0,22,21,2,22,16,22,0,6,11,14,0,23,22,0,7,11,14,15,236,22,0,8,11,14,0,22,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,237,21,1,4,15,238,7,31,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,239,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,22,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,116,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,117,17,14,21,0,1,21,2,66,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,23,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,22,8,7,16,21,2,29,0,8,7,16,0,5,0,118,17,14,21,0,3,21,2,37,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,23,17,22,0,6,11,14,0,23,0,7,21,1,3,17,15,240,16,21,2,35,21,0,6,3,1,17,0,19,0,8,7,16,21,2,47,16,22,0,7,11,14,21,0,2,21,2,5,21,2,57,15,241,7,31,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,31,0,4,17,0,23,21,2,12,0,12,8,0,7,0,23,19,21,2,13,21,2,8,0,17,0,15,31,0,5,19,21,2,12,0,18,0,6,7,8,7,8,31,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,119,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,0,120,17,14,21,0,1,21,2,66,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,121,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,22,17,21,2,13,15,242,8,0,22,17,25,21,0,1,21,2,57,21,2,5,0,23,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,92,7,0,23,17,22,0,3,11,14,21,0,3,21,2,93,0,22,17,0,5,0,127,17,14,21,1,4,21,2,95,16,0,17,16,21,2,92,21,1,4,17,21,2,29,21,2,99,7,0,22,17,22,0,4,11,14,21,1,3,0,16,31,0,4,17,21,2,103,16,22,0,5,11,14,0,31,21,2,93,21,0,5,17,0,5,0,128,17,14,21,2,96,21,2,11,21,2,88,8,0,5,0,129,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,84,21,1,7,17,31,0,6,21,2,88,21,2,89,3,3,21,2,4,21,0,5,21,2,88,0,24,17,8,16,22,0,7,11,14,21,1,3,21,2,57,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,31,0,7,21,2,92,31,0,3,17,31,0,5,21,2,96,0,26,17,21,2,13,21,2,93,21,2,11,21,1,7,8,21,2,13,15,243,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,93,8,8,15,244,3,2,21,2,4,21,1,7,21,2,93,0,22,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,130,17,14,21,0,1,0,17,16,25,21,0,1,21,2,96,16,21,2,96,0,23,17,0,5,0,131,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,35,21,2,11,21,2,105,8,7,7,3,0,21,2,93,16,17,0,1,21,0,1,0,18,0,22,7,16,17,25,21,1,9,21,1,7,21,2,99,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,57,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,31,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,65,21,2,10,21,2,18,8,21,2,97,21,0,4,21,2,89,0,22,17,19,21,2,91,0,22,21,2,97,21,0,4,17,21,2,90,21,1,7,17,19,21,2,104,0,24,19,21,2,29,21,2,99,21,2,11,0,24,21,2,12,21,2,92,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,66,16,21,2,37,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,34,21,0,2,17,22,0,4,11,21,2,29,21,2,92,7,0,23,17,22,0,5,11,14,21,0,5,0,17,16,21,2,105,31,0,4,17,22,0,6,11,14,21,0,1,15,245,0,20,21,2,7,21,0,3,21,2,29,21,2,92,7,0,23,17,0,17,16,0,18,21,2,5,21,2,92,31,0,5,19,21,2,99,21,0,6,19,21,2,8,21,2,37,7,21,0,1,21,2,105,16,19,7,16,21,2,105,31,0,3,17,7,8,16,25,21,0,1,21,2,66,16,21,2,76,0,23,17,22,0,3,11,14,15,246,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,105,31,0,4,19,21,2,165,21,2,12,21,2,104,8,3,2,21,2,4,21,2,5,21,2,9,21,2,33,21,2,9,21,2,101,8,8,8,31,0,3,17,25,21,0,1,21,2,82,21,2,93,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,96,21,1,4,17,25,21,1,3,21,2,99,22,1,4,13,14,21,0,1,21,2,99,0,23,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,116,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,23,21,2,99,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,105,16,21,1,3,16,0,18,21,0,1,21,2,66,16,21,2,118,16,21,2,105,16,21,2,12,21,2,37,8,7,16,25,21,0,1,21,2,95,21,2,10,21,2,100,8,21,0,2,17,21,2,92,16,22,0,3,11,14,21,0,1,21,2,95,21,2,10,21,2,88,8,21,0,2,17,22,0,4,11,14,21,0,1,15,247,21,2,11,21,2,95,21,2,99,21,0,4,21,2,118,16,21,2,99,0,23,17,21,2,100,16,19,8,21,2,10,15,248,8,21,0,2,17,22,0,5,11,14,31,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,249,21,1,7,3,2,21,2,4,21,2,96,21,2,11,21,1,6,8,8,22,0,5,11,14,0,22,21,0,5,16,25,15,250,22,0,3,11,14,0,28,21,0,3,0,23,21,2,99,21,0,1,17,17,21,2,99,0,23,17,25,21,0,2,21,2,131,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,2,21,2,96,16,21,2,8,21,2,100,7,0,23,17,22,0,3,11,14,21,0,3,21,2,98,0,22,17,0,5,0,154,17,14,21,0,1,21,2,96,16,21,2,98,21,0,3,17,0,5,0,155,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,134,0,22,8,8,21,2,5,21,0,3,21,2,134,21,2,93,8,3,2,21,2,4,21,0,3,21,2,93,0,22,17,8,21,2,10,0,18,21,2,66,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,95,16,21,2,93,0,22,17,8,15,251,3,2,21,2,4,21,2,105,21,2,9,21,2,95,8,21,2,93,0,27,19,21,2,10,21,2,90,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,15,16,0,5,0,164,17,14,21,0,1,21,2,88,21,1,8,17,22,1,8,12,14,21,0,1,21,2,89,21,1,7,17,22,1,7,12,25,15,252,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,21,0,1,21,2,118,16,21,2,143,21,1,10,17,0,19,21,0,2,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,174,21,0,1,8,25,21,2,5,15,253,21,0,2,7,21,0,1,19,25,21,2,5,21,2,157,21,1,4,7,21,0,2,19,15,254,21,2,157,21,0,1,7,8,25,21,2,5,15,255,21,1,4,7,21,0,1,19,21,2,157,21,0,2,7,9,25,21,0,1,21,2,169,21,0,2,8,21,2,174,21,0,1,8,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,22,22,0,5,11,22,0,6,11,22,0,7,11,14,0,26,22,0,8,11,14,21,0,1,0,23,0,12,21,2,7,17,0,7,0,23,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,22,0,23,0,24,3,4,22,0,10,11,14,0,6,15,256,3,2,0,16,21,0,3,0,13,0,27,17,17,22,0,11,11,14,15,257,22,0,12,11,14,15,258,15,259,31,0,12,3,3,21,3,4,15,260,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,261,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,262,8,16,25,0,22,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,22,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,57,0,15,7,16,22,0,4,11,0,16,0,22,17,21,3,27,16,22,0,5,11,14,0,28,22,0,6,11,14,31,0,4,21,3,12,21,3,57,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,263,25,21,0,1,15,264,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,1,7,12,14,31,0,4,25,21,0,1,21,3,14,0,7,0,23,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,23,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,22,8,7,16,22,0,5,11,14,21,0,5,0,22,21,3,43,21,3,40,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,23,19,7,16,22,0,7,11,14,21,3,7,31,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,31,0,6,21,3,27,16,8,8,22,0,8,11,14,0,22,22,0,9,11,21,0,8,16,22,0,10,11,14,31,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,265,3,2,21,3,4,15,266,8,7,16,0,15,31,0,3,17,25,21,0,1,21,3,57,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,35,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,22,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,22,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,28,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,31,0,3,25,21,0,1,21,3,35,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,23,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,23,21,3,12,0,12,8,0,7,0,23,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,23,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,23,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,35,22,1,10,13,14,31,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,23,8,0,7,0,23,19,21,3,13,15,267,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,268,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,23,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,82,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,100,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,35,22,2,6,13,14,21,2,7,25,21,0,1,21,3,87,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,93,16,7,16,25,21,0,2,21,3,95,16,21,3,93,0,22,17,0,5,0,136,17,14,21,0,2,21,3,95,16,0,17,16,21,3,93,0,22,17,21,3,92,21,0,2,17,25,21,0,2,0,18,21,0,1,21,3,12,0,16,8,7,16,25,21,0,1,21,3,96,21,0,2,17,0,19,21,3,90,7,16,21,3,29,21,3,99,7,0,22,17,22,0,3,11,14,21,0,3,21,3,118,16,0,18,21,0,2,21,3,12,0,16,8,7,16,21,3,29,21,3,92,7,0,23,17,22,0,4,11,14,31,0,3,21,3,94,21,3,11,21,1,4,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,57,0,16,7,8,21,3,9,15,269,8,8,16,14,21,0,4,25,21,1,4,21,3,99,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,21,3,96,21,3,11,0,22,8,21,3,13,21,0,1,21,3,99,0,23,17,21,3,9,21,1,5,8,8,16,25,21,0,1,0,23,21,3,12,21,3,94,8,21,3,13,15,270,8,21,0,2,17,25,21,0,2,21,3,136,16,21,3,119,16,22,0,3,11,14,21,0,1,21,3,135,21,0,2,21,3,37,21,0,3,17,17,21,3,8,21,3,100,7,0,23,17,21,3,89,0,22,17,21,3,8,21,3,37,7,31,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,134,21,3,65,8,21,0,2,21,3,37,21,0,4,17,17,21,2,2,21,3,13,21,3,92,21,3,11,21,3,100,21,3,11,31,0,4,8,8,21,3,99,21,3,6,19,8,21,0,2,21,3,95,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,3,176,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,3,176,16,25,21,0,1,21,1,8,0,7,0,23,17,21,4,13,21,1,9,0,7,0,23,19,21,4,13,15,271,8,8,0,23,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,23,17,22,1,4,12,0,12,21,1,6,17,0,8,0,24,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,23,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,23,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,0,23,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,22,31,0,3,16,25,21,0,1,14,0,23,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,22,15,272,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,22,8,8,22,1,4,12,25,21,0,1,21,4,29,21,4,100,7,16,21,4,92,16,22,2,3,12,14,21,0,1,21,4,29,21,4,88,7,16,21,4,92,21,1,4,17,22,1,4,12,25,0,24,21,4,84,21,0,2,17,21,4,88,16,22,0,3,11,21,4,99,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,31,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,2,21,4,87,0,24,17,21,4,92,31,0,5,17,21,4,99,31,0,3,17,17,25,21,0,1,14,0,24,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,23,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,273,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,63,21,2,3,17,0,5,0,97,17,25] + ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','˙','∘','○','⌾','⍟','⊘','⊸','⟜','◶','≢','»','«','⥊','⊏','⊑',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟%"),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("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("≥: No monadic form"),str("≤: No monadic form"),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("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),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 at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")]) + ,[[0,1,0,185],[0,0,4095,3],[0,0,4103,3],[0,0,4107,3],[2,0,4120,6],[0,0,4147,3],[0,0,4151,3],[0,0,4155,3],[1,0,4159,5],[1,0,4167,5],[2,0,4185,6],[2,0,4200,6],[2,0,4219,6],[2,0,4241,6],[2,0,4263,6],[0,0,4295,3],[0,0,4307,3],[0,0,4316,3],[0,0,4322,3],[0,0,4339,3],[0,0,4348,3],[1,0,4357,9],[1,1,4470,2],[2,1,4501,3],[1,1,4535,2],[0,0,4552,3],[0,0,4592,4],[0,0,4668,5],[0,0,4743,3],[1,1,4760,4],[1,1,4833,3],[0,0,4911,3],[0,0,4922,5],[2,0,5006,12],[0,0,5217,4],[0,0,5271,6],[0,0,5361,3],[0,0,5386,7],[0,0,5515,4],[0,0,5576,4],[0,0,5689,3],[0,0,5757,4],[1,1,5834,2],[0,0,5867,3],[0,0,5917,4],[0,0,6059,4],[2,1,6160,3],[1,0,6203,5],[0,0,6241,3],[2,0,6245,11],[0,0,6376,3],[0,0,6384,6],[0,0,6411,5],[0,0,6432,6],[1,0,6459,19],[0,0,6968,3],[0,0,6995,3],[0,0,7021,3],[2,1,7060,3],[0,0,7129,4],[0,0,7226,7],[0,0,7273,14],[0,0,7507,5],[1,1,7604,8],[1,0,7657,6],[1,1,7765,2],[0,0,7823,5],[0,0,7985,5],[0,0,8122,7],[0,0,8291,3],[0,0,8350,4],[1,0,8417,5],[2,1,8434,4],[0,0,8477,3],[0,0,8504,3],[0,0,8526,3],[0,0,8548,3],[0,0,8567,9],[0,0,8732,5],[0,0,8766,3],[1,1,8863,2],[2,0,8932,10],[2,0,8991,8],[1,0,9184,7],[0,0,9251,8],[0,0,9491,5],[0,0,9581,3],[1,0,9615,9],[0,0,9770,4],[0,0,9889,10],[0,0,10353,4],[0,0,10570,3],[0,0,10588,4],[1,0,10662,9],[1,1,10731,3],[1,0,10755,14],[1,1,11212,4],[1,0,11266,6],[0,0,11410,4],[0,0,11518,3],[0,0,11594,3],[0,0,11649,4],[0,0,11782,4],[0,0,11904,4],[2,0,12038,6],[1,1,12066,2],[2,0,12074,14],[2,1,12261,4],[0,0,12331,3],[2,0,12338,7],[0,0,12379,6],[0,0,12603,4],[0,0,12709,3],[0,0,12747,5],[0,0,12891,3],[0,0,12938,3],[0,0,12964,3],[1,0,13055,5],[2,0,13083,6],[0,0,13098,3],[0,0,13106,3],[1,1,13127,2],[0,0,13156,3],[0,0,13192,3],[0,0,13240,3],[0,0,13294,3],[0,0,13306,3],[0,0,13386,3],[0,0,13394,3],[1,1,13402,2],[1,1,13435,2],[0,0,13465,4],[0,0,13502,3],[0,0,13517,3],[0,0,13546,3],[0,0,13561,3],[0,0,13579,3],[0,0,13594,3],[0,0,13604,3],[0,0,13661,7],[0,0,13740,3],[0,0,13748,3],[1,1,13773,2],[0,0,13856,3],[0,0,13890,3],[1,1,13918,2],[1,1,13922,2],[0,0,13926,3],[0,0,13938,3],[0,0,13961,3],[0,0,13982,3],[0,0,13990,3],[1,0,13998,6],[1,0,14115,11],[1,0,14336,5],[0,0,14351,3],[0,0,14365,3],[0,0,14379,3],[1,0,14424,8],[0,0,14562,8],[0,0,14729,3],[0,0,14755,3],[0,0,14765,3],[0,0,14782,9],[0,0,14965,6],[0,0,15040,3],[2,0,15048,11],[1,0,15125,5],[0,0,15156,3],[0,0,15166,3],[1,0,15176,5],[0,0,15209,4],[0,0,15220,4],[0,0,15231,3],[0,0,15239,3],[0,0,15251,3],[0,0,15259,3],[1,0,15303,7],[0,0,15329,9],[1,0,15615,5],[0,0,15631,7],[0,0,15798,11],[0,0,16040,8],[0,0,16352,3],[0,0,16380,5],[0,0,16475,8],[0,0,16734,3],[0,0,16781,3],[0,0,16801,3],[1,0,16867,6],[0,0,17020,7],[0,0,17162,5],[0,0,17242,3],[0,0,17265,3],[0,0,17276,3],[0,0,17297,3],[0,0,17329,3],[0,0,17360,3],[0,0,17398,6],[0,0,17503,6],[0,0,17552,4],[0,0,17581,3],[0,0,17600,4],[1,1,17777,2],[0,0,17781,3],[0,0,17824,3],[0,0,17835,3],[0,0,17843,3],[0,0,17865,3],[0,0,17873,3],[0,0,17885,3],[0,0,17896,3],[0,0,17910,3],[0,0,17935,3],[0,0,17957,3],[1,0,17975,5],[1,0,17986,5],[0,0,17997,14],[0,0,18167,3],[0,0,18187,3],[0,0,18202,3],[0,0,18210,8],[0,0,18281,3],[0,0,18303,5],[0,0,18332,11],[2,0,18544,6],[0,0,18583,3],[0,0,18654,3],[0,0,18686,3],[1,0,18697,5],[1,1,18708,2],[2,1,18727,3],[0,0,18749,3],[0,0,18778,4],[0,0,18801,3],[1,0,18834,5],[0,0,18860,3],[0,0,18930,3],[0,0,18944,3],[0,0,18955,5],[0,0,19091,3],[0,0,19121,3],[0,0,19141,3],[0,0,19195,3],[0,0,19230,3],[0,0,19254,3],[0,0,19269,3],[0,0,19312,3],[0,0,19329,5],[0,0,19443,3],[0,0,19498,3],[0,0,19521,5],[1,0,19650,5],[1,1,19661,2],[2,0,19669,6],[1,1,19684,2],[0,0,19692,3],[0,0,19731,3],[0,0,19814,3],[0,0,19848,3],[0,0,19877,3],[0,0,19895,3],[0,0,19912,3],[0,0,19941,4],[0,0,20002,3],[0,0,20015,4],[0,0,20047,3],[0,0,20057,3],[0,0,20075,3],[0,0,20107,3],[0,0,20150,6],[0,0,20229,3],[0,0,20256,3],[0,0,20296,3]] ); let rtAssert = runtime[42] = assertFn("!"); @@ -47,7 +47,8 @@ _qSearch ← {+´·×`𝕗(1-=)⌜<} _glyphLookup_ ← { {PrimInd𝕩} ⊑ ((𝕘⊑˜𝕗_qSearch)⌜glyphs)˙ } -IsJoin ← (glyphs _qSearch'∾') = {PrimInd𝕩} +_isGlyph ← { (glyphs _qSearch 𝕗) = {PrimInd𝕩} } +IsJoin ← '∾'_isGlyph Cell←{(𝕨⊸+⊑𝕩˙)⌜↕(≠𝕩)-𝕨}⟜≢ @@ -791,7 +792,7 @@ Mod1Inverse ← INF˙ _lookup_ ⟨ ⟩ { 0⊸⊑ {𝕏𝕨}⟜𝔽 1⊸⊑ } -IsConstant ← (3≤Type)◶⟨1 ⋄ 4‿˙ ≡ 0‿¯1⊏{Decompose𝕩}⟩ +IsConstant ← (3≤Type)◶⟨1 ⋄ ∧´ ⟨4⊸≡,'˙'_isGlyph⟩ {𝕎𝕩}¨ 0‿¯1⊏{Decompose𝕩}⟩ Mod2Inverse ← INF˙ _lookup_ ⟨ '∘', AtopInverse '○', {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)} |