diff options
| -rw-r--r-- | docs/bqn.js | 4 | ||||
| -rw-r--r-- | docs/spec/inferred.html | 2 | ||||
| -rw-r--r-- | spec/inferred.md | 2 | ||||
| -rw-r--r-- | src/r.bqn | 8 |
4 files changed, 8 insertions, 8 deletions
diff --git a/docs/bqn.js b/docs/bqn.js index 79fd2003..8bf787a1 100644 --- a/docs/bqn.js +++ b/docs/bqn.js @@ -199,9 +199,9 @@ let provide = [ ]; let runtime = run( - [0,1,14,0,2,14,15,1,22,0,0,11,14,15,2,22,0,1,11,14,15,3,0,22,15,4,8,22,0,2,11,14,15,5,22,0,3,11,14,15,6,22,0,4,11,14,15,7,22,0,5,11,14,15,8,22,0,6,11,14,15,9,22,0,7,11,14,15,10,22,0,8,11,14,15,11,22,0,9,11,14,0,0,0,14,0,23,19,22,0,10,11,14,0,23,0,14,21,0,7,0,13,8,3,2,21,0,0,0,0,0,14,0,24,19,8,22,0,11,11,14,0,23,0,14,21,0,7,0,13,8,0,10,0,15,21,0,7,0,23,8,19,3,2,21,0,0,0,0,0,14,0,24,19,8,22,0,12,11,14,15,12,0,17,3,2,21,0,0,21,0,10,8,22,0,13,11,14,15,13,0,22,15,14,8,22,0,14,11,14,15,15,22,0,15,11,14,21,0,10,0,9,0,24,19,21,0,9,21,0,15,8,22,0,16,11,14,21,0,4,0,15,7,22,0,17,11,14,21,0,17,0,9,0,24,19,0,22,21,0,15,8,22,0,18,11,14,0,15,0,9,0,24,19,22,0,19,11,14,15,16,0,18,21,0,19,19,0,22,0,13,8,22,0,20,11,14,15,17,0,18,21,0,18,19,0,22,0,9,21,0,5,21,0,20,21,0,5,0,9,8,8,8,22,0,21,11,14,0,9,21,0,1,3,2,21,0,0,0,15,21,0,7,0,23,8,8,22,0,22,11,14,0,24,0,16,0,18,0,23,19,3,2,21,0,0,0,14,21,0,18,0,23,19,8,22,0,23,11,14,15,18,22,0,24,11,14,21,0,24,22,0,25,11,14,0,16,21,0,8,15,19,8,22,0,26,11,14,15,20,22,0,27,11,14,15,21,15,22,3,2,21,0,0,21,0,1,21,0,5,0,14,8,0,14,0,24,19,8,22,0,28,11,14,21,0,28,22,0,29,11,14,15,23,22,0,30,11,14,15,24,22,0,31,11,14,0,15,0,9,21,0,17,19,22,0,32,11,14,0,24,0,17,0,18,0,23,19,21,0,8,0,15,0,10,0,25,19,0,9,0,24,19,15,25,3,2,21,0,0,21,0,1,21,0,5,21,0,10,8,8,8,3,2,21,0,0,21,0,1,21,0,5,0,16,8,21,0,25,0,10,7,0,24,19,21,0,18,0,23,19,8,22,0,33,11,14,21,0,32,21,0,33,21,0,4,21,0,33,7,0,9,9,3,2,21,0,0,21,0,2,21,0,5,21,0,10,8,8,15,26,3,3,21,0,0,21,0,10,21,0,6,0,8,8,8,22,0,34,11,14,15,27,22,0,35,11,14,15,28,22,0,36,11,14,0,14,21,0,18,0,23,19,21,0,9,15,29,8,22,0,37,11,14,0,14,21,0,18,0,23,19,21,0,9,15,30,8,22,0,38,11,14,15,31,22,0,39,11,14,15,32,22,0,40,11,14,15,33,22,0,41,11,14,15,34,22,0,42,11,14,15,35,22,0,43,11,14,15,36,22,0,44,11,14,15,37,22,0,45,11,14,15,38,22,0,46,11,14,15,39,22,0,47,11,14,21,0,10,21,0,6,0,14,8,0,23,3,2,21,0,1,21,0,5,21,0,10,8,0,14,3,2,0,14,21,0,6,0,14,8,0,23,3,2,0,16,21,0,6,21,0,47,0,14,7,8,21,0,25,0,10,7,0,24,19,0,23,3,2,15,40,3,5,21,0,25,15,41,7,16,22,0,48,11,14,0,23,15,42,3,2,21,0,0,21,0,10,8,22,0,49,11,14,21,0,48,0,22,21,0,49,8,22,0,50,11,14,21,0,48,0,9,0,24,19,0,22,3,0,0,16,3,2,21,0,0,21,0,10,8,8,22,0,51,11,14,21,0,10,21,0,9,0,17,21,0,5,21,0,23,8,21,0,18,0,23,19,21,0,9,15,43,8,8,22,0,52,11,14,15,44,21,0,9,15,45,15,46,3,2,21,0,0,0,24,0,20,0,14,0,14,0,24,19,7,21,0,25,0,10,7,0,24,19,0,9,0,24,19,3,2,21,0,0,0,14,0,14,0,24,19,8,8,8,22,0,53,11,14,15,47,22,0,54,11,14,21,0,54,0,59,21,0,22,21,0,8,0,14,8,0,9,0,24,19,15,48,3,3,7,22,0,55,11,14,21,0,54,0,60,0,14,21,0,7,0,23,8,0,9,0,24,19,15,49,3,3,7,22,0,56,11,14,15,50,22,0,57,11,14,15,51,22,0,58,11,14,15,52,22,0,59,11,14,15,53,22,0,60,11,14,15,54,22,0,61,11,14,15,55,22,0,62,11,14,15,56,22,0,63,11,14,21,0,31,0,11,7,22,0,64,11,14,21,0,31,0,12,7,22,0,65,11,14,21,0,4,21,0,64,21,0,8,21,0,65,8,7,0,22,0,25,21,0,64,16,21,0,8,21,0,65,8,8,22,0,66,11,14,21,0,31,15,57,0,22,21,0,22,8,7,22,0,67,11,14,21,0,31,15,58,0,22,21,0,20,8,7,22,0,68,11,14,21,0,31,15,59,0,22,0,9,21,0,5,21,0,68,21,0,5,0,9,8,8,8,7,22,0,69,11,14,21,0,31,0,10,7,0,22,21,0,43,0,23,7,8,22,0,70,11,14,21,0,31,0,10,0,9,0,8,19,7,0,22,21,0,43,0,24,7,8,22,0,71,11,14,21,0,31,0,10,0,22,21,0,19,0,9,21,0,18,19,21,0,7,0,23,8,8,7,22,0,72,11,14,21,0,31,21,0,17,0,9,0,24,19,7,0,22,21,0,15,8,22,0,73,11,14,21,0,31,0,15,0,9,0,24,19,7,0,22,21,0,52,8,22,0,74,11,14,21,0,31,0,14,0,9,0,24,19,7,0,22,21,0,23,8,22,0,75,11,14,21,0,31,0,14,7,0,22,0,14,8,22,0,76,11,14,21,0,31,21,0,17,7,0,22,21,0,3,0,23,7,0,7,0,73,19,8,22,0,77,11,14,21,0,31,0,15,7,0,22,21,0,3,0,23,7,0,7,0,74,19,8,22,0,78,11,14,21,0,31,0,8,7,22,0,79,11,14,21,0,31,0,9,7,22,0,80,11,14,21,0,80,21,0,79,0,24,19,22,0,81,11,14,21,0,79,0,23,3,2,21,0,80,0,23,3,2,21,0,72,0,24,3,2,21,0,64,0,24,3,2,21,0,65,0,24,3,2,21,0,66,0,24,3,2,21,0,70,0,24,3,2,21,0,71,0,23,3,2,21,0,81,0,24,3,2,21,0,67,0,23,3,2,21,0,68,0,31,3,2,21,0,69,0,30,3,2,21,0,73,0,23,3,2,21,0,78,0,24,3,2,21,0,76,0,24,3,2,21,0,77,0,24,3,2,21,0,74,0,23,3,2,21,0,75,0,23,3,2,3,18,21,0,25,15,60,7,21,0,4,0,23,7,0,7,0,75,19,3,1,0,18,0,23,17,17,22,0,82,11,14,15,61,22,0,83,11,14,0,17,0,22,21,0,13,8,22,0,84,11,14,15,62,22,0,85,11,14,15,63,22,0,86,11,14,15,64,22,0,87,11,14,15,65,22,0,88,11,14,15,66,22,0,89,11,14,21,0,89,22,0,90,11,14,21,0,84,21,0,6,21,0,27,8,15,67,3,2,21,0,0,21,0,76,21,0,73,0,24,19,21,0,6,21,0,71,8,8,22,0,91,11,14,21,0,29,21,0,7,21,0,36,8,22,0,92,11,14,21,0,75,21,0,76,0,23,19,21,0,80,0,24,19,21,0,63,15,68,15,69,3,2,21,0,0,21,0,2,21,0,5,21,0,10,8,8,8,22,0,93,11,14,21,0,55,0,22,21,0,41,8,22,0,94,11,14,21,0,56,0,22,21,0,42,8,22,0,95,11,14,21,0,61,0,22,21,0,85,8,22,0,96,11,14,0,23,21,0,63,21,0,40,8,0,22,21,0,39,8,22,0,97,11,14,21,0,93,0,22,21,0,36,8,22,0,98,11,14,21,0,58,0,22,21,0,58,21,0,7,21,0,60,8,8,22,0,99,11,14,21,0,59,0,22,21,0,59,21,0,7,21,0,60,8,8,22,0,100,11,14,15,70,22,0,101,11,14,15,71,22,0,102,11,14,15,72,22,0,103,11,14,15,73,22,0,104,11,14,21,0,104,15,74,3,2,21,0,0,21,0,2,21,0,5,21,0,84,21,0,5,0,20,21,0,10,7,8,8,21,0,25,21,0,71,7,9,8,22,0,105,11,14,21,0,105,21,0,7,21,0,84,21,0,1,3,2,21,0,0,21,0,10,8,8,22,0,106,11,14,15,75,22,0,107,11,14,15,76,22,0,108,11,14,15,77,22,0,109,11,14,15,78,22,0,110,11,14,21,0,87,22,0,111,11,14,21,0,88,22,0,112,11,14,21,0,110,21,0,34,7,0,22,0,23,21,0,35,21,0,34,8,8,22,0,113,11,14,21,0,110,21,0,4,21,0,34,7,7,0,22,0,24,21,0,35,21,0,4,21,0,34,7,8,8,22,0,114,11,14,15,79,22,0,115,11,14,0,6,21,0,7,21,0,47,0,24,7,8,22,0,116,11,14,15,80,22,0,117,11,14,21,0,117,21,0,1,21,0,5,0,21,21,0,79,7,8,21,0,4,21,0,80,7,0,24,19,21,0,4,21,0,29,7,21,0,4,21,0,98,21,0,5,21,0,113,21,0,5,21,0,116,8,8,7,19,7,22,0,118,11,14,15,81,22,0,119,11,14,21,0,14,21,0,5,21,0,74,8,22,0,120,11,14,21,0,91,0,22,21,0,53,8,22,0,121,11,14,21,0,103,0,22,21,0,102,8,22,0,122,11,14,21,0,115,0,24,7,0,22,21,0,118,8,22,0,123,11,14,21,0,4,21,0,115,0,23,7,7,0,22,21,0,117,21,0,1,7,8,22,0,124,11,14,15,82,22,0,125,11,14,15,83,22,0,126,11,14,15,84,22,0,127,11,14,15,85,22,0,128,11,14,21,0,127,0,22,21,0,37,8,22,0,129,11,14,21,0,113,21,0,5,21,0,113,8,21,0,29,21,0,80,21,0,1,19,21,0,4,21,0,123,7,19,22,0,130,11,14,15,86,22,0,131,11,14,0,24,21,0,63,21,0,45,8,21,0,7,21,0,16,8,0,22,21,0,44,8,22,0,132,11,14,21,0,106,0,22,21,0,84,0,18,0,23,19,8,22,0,133,11,14,15,87,22,0,134,11,14,15,88,22,0,135,11,14,15,89,22,0,136,11,14,21,0,73,21,0,123,21,0,5,21,0,133,8,21,0,5,21,0,68,21,0,97,21,0,94,3,4,19,22,0,137,11,14,21,0,136,22,0,138,11,14,21,0,83,0,22,21,0,13,8,22,0,139,11,14,21,0,46,22,0,140,11,14,21,0,131,0,22,21,0,130,8,22,0,141,11,14,21,0,119,0,22,21,0,98,21,0,7,21,0,124,8,8,22,0,142,11,14,0,7,21,0,7,0,109,8,22,0,143,11,14,0,7,21,0,7,0,110,8,22,0,144,11,14,21,0,3,0,23,7,0,7,0,111,19,22,0,145,11,14,15,90,22,0,146,11,14,15,91,22,0,147,11,14,15,92,22,0,148,11,14,15,93,22,0,149,11,14,21,0,79,21,0,4,21,0,80,7,0,22,21,0,79,8,21,0,80,21,0,80,21,0,72,21,0,4,21,0,64,7,0,22,21,0,1,8,21,0,64,21,0,64,21,0,65,21,0,31,0,4,7,21,0,66,21,0,4,21,0,65,7,0,22,21,0,4,21,0,72,7,8,21,0,70,21,0,4,21,0,64,7,0,22,21,0,70,21,0,146,21,0,1,8,8,21,0,71,21,0,2,21,0,80,0,24,19,21,0,64,21,0,4,21,0,80,7,19,0,22,21,0,71,21,0,146,21,0,1,8,8,21,0,81,21,0,81,21,0,73,0,23,21,0,5,21,0,143,8,0,22,15,94,8,21,0,1,21,0,1,21,0,2,21,0,50,21,0,5,21,0,144,8,21,0,2,21,0,1,19,0,22,21,0,1,8,21,0,121,15,95,0,22,0,23,21,0,5,21,0,143,8,8,21,0,120,15,96,0,22,15,97,8,21,0,94,0,23,21,0,5,21,0,143,8,0,22,21,0,94,21,0,146,21,0,133,21,0,7,0,29,8,8,8,21,0,95,0,23,21,0,5,21,0,143,8,0,22,21,0,95,21,0,146,21,0,133,8,8,21,0,96,0,23,21,0,5,21,0,143,8,0,22,21,0,96,21,0,146,21,0,51,8,8,21,0,97,21,0,97,21,0,7,21,0,80,8,0,22,21,0,97,8,21,0,129,21,0,128,0,22,21,0,38,8,21,0,98,0,23,21,0,5,21,0,143,8,0,22,15,98,8,21,0,122,21,0,148,0,22,21,0,147,8,3,42,21,0,149,21,0,145,8,22,0,150,11,14,15,99,22,0,151,11,14,15,100,22,0,152,11,14,15,101,21,0,6,15,102,8,22,0,153,11,14,15,103,21,0,4,21,0,79,21,0,4,21,0,80,7,0,22,0,25,21,0,8,21,0,64,8,8,21,0,80,21,0,79,0,22,0,23,21,0,5,21,0,143,8,8,21,0,72,21,0,4,21,0,64,7,0,22,21,0,66,8,21,0,64,21,0,72,0,22,0,23,21,0,5,21,0,143,8,8,21,0,65,21,0,66,0,22,0,23,21,0,5,21,0,143,8,8,21,0,66,0,4,21,0,64,9,0,22,0,23,21,0,5,21,0,143,8,8,21,0,70,21,0,4,21,0,64,7,0,22,21,0,66,8,21,0,71,21,0,2,21,0,80,0,24,19,21,0,64,21,0,4,21,0,80,7,19,0,22,21,0,81,21,0,5,21,0,66,8,21,0,81,9,8,21,0,81,21,0,3,0,24,7,21,0,80,21,0,79,19,0,22,0,23,21,0,5,21,0,143,8,8,3,18,21,0,149,21,0,145,8,21,0,47,15,104,21,0,151,15,105,21,0,62,15,106,0,21,15,107,3,10,21,0,149,21,0,3,21,0,145,7,8,7,22,0,154,11,14,0,24,0,1,21,0,132,0,23,0,29,3,2,19,21,0,50,0,32,21,0,3,3,2,19,3,2,21,0,134,0,0,21,0,78,0,27,19,8,22,0,155,11,14,15,108,21,0,152,15,109,21,0,5,21,0,153,21,0,6,15,110,21,0,140,15,111,21,0,138,21,0,3,0,23,21,0,5,21,0,143,8,7,15,112,3,2,21,0,134,21,0,1,21,0,5,21,0,11,8,8,0,22,15,113,21,0,7,15,114,15,115,21,0,1,3,2,21,0,134,21,0,2,8,21,0,2,21,0,5,21,0,155,8,19,21,0,8,21,0,3,21,0,145,7,15,116,3,2,21,0,134,21,0,1,21,0,5,21,0,155,8,8,3,16,21,0,149,21,0,3,21,0,145,7,8,7,22,0,156,11,14,15,117,22,0,157,11,14,0,1,21,0,95,21,0,7,0,24,8,21,0,1,21,0,133,21,0,5,21,0,150,8,9,21,0,3,21,0,3,0,23,7,0,7,0,112,19,7,21,0,1,21,0,25,21,0,153,7,9,21,0,157,21,0,154,21,0,156,3,6,21,0,134,21,0,2,8,21,0,133,19,9,22,0,158,11,14,15,118,21,0,158,21,0,3,0,23,7,0,7,0,113,19,3,3,21,0,98,0,27,0,24,0,25,3,3,17,21,0,134,0,0,8,22,0,159,11,14,15,119,22,0,160,11,14,21,0,79,21,0,80,21,0,72,21,0,64,21,0,65,21,0,66,21,0,68,21,0,69,21,0,67,21,0,81,21,0,70,21,0,71,21,0,73,21,0,74,21,0,75,21,0,76,21,0,78,21,0,77,21,0,50,21,0,51,21,0,2,21,0,1,21,0,139,21,0,121,21,0,120,21,0,94,21,0,95,21,0,96,21,0,100,21,0,99,21,0,97,21,0,129,21,0,98,21,0,113,21,0,114,21,0,132,21,0,133,21,0,123,21,0,141,21,0,124,21,0,142,21,0,122,0,7,21,0,3,21,0,4,21,0,62,21,0,47,21,0,151,21,0,160,21,0,25,21,0,90,0,21,21,0,5,21,0,6,21,0,7,21,0,8,21,0,140,0,22,21,0,134,21,0,112,21,0,111,21,0,138,3,62,25,21,0,1,15,120,21,0,5,0,18,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,2,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,2,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,2,21,0,2,17,17,25,21,0,1,15,121,21,1,1,21,0,4,3,2,0,18,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,17,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,14,16,0,14,0,24,17,0,7,0,35,17,14,21,0,1,22,0,5,11,21,1,23,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,2,0,22,15,122,15,123,3,2,21,1,0,21,0,6,21,1,18,0,23,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,19,16,0,20,0,9,21,1,7,0,24,0,9,21,0,6,17,8,7,16,0,20,15,124,7,16,14,21,0,8,25,21,0,2,0,9,21,0,1,21,1,23,16,17,0,19,16,0,20,21,1,3,21,0,1,7,0,18,0,8,21,1,7,21,0,2,8,19,7,16,25,21,0,2,21,1,23,16,22,0,3,11,14,21,0,1,21,1,23,16,0,8,21,0,3,17,0,19,16,0,20,21,0,2,21,1,8,0,18,8,21,1,4,21,0,1,7,0,18,21,0,3,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,3,8,8,7,16,25,21,0,1,21,1,26,0,24,17,22,0,3,11,21,1,25,0,10,7,0,24,17,22,0,4,11,14,21,0,4,0,19,16,0,17,21,0,3,17,0,20,0,8,21,1,7,0,10,21,1,7,21,0,4,8,8,21,1,4,0,18,7,21,0,1,0,17,16,19,7,21,0,2,17,25,21,0,2,0,20,21,0,1,21,1,8,0,18,8,7,16,25,15,125,22,0,2,11,14,15,126,22,0,3,11,14,21,0,3,21,0,1,7,21,1,4,21,0,3,21,1,4,21,0,1,7,7,7,3,2,21,1,0,0,14,21,1,6,21,1,19,8,8,21,0,2,21,0,1,7,3,2,21,1,0,0,14,21,1,6,0,14,8,8,25,15,127,21,0,1,7,22,0,2,11,14,21,0,1,15,128,15,129,3,2,21,1,0,21,1,10,21,1,6,21,1,19,8,8,0,22,0,20,21,0,2,7,8,21,1,30,21,0,2,7,3,3,21,1,0,21,1,10,21,1,6,0,8,8,8,25,21,0,1,21,1,33,21,0,2,17,25,21,0,1,0,16,21,1,6,21,1,107,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,25,21,1,108,21,0,1,0,17,16,21,1,8,0,18,8,21,1,8,21,1,34,21,1,7,21,0,2,0,17,16,21,1,8,0,18,8,8,8,7,7,16,22,0,4,11,14,0,23,21,1,4,21,0,4,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,38,17,14,21,0,1,21,1,23,16,22,0,6,11,14,21,0,1,21,1,26,0,24,17,21,1,25,0,10,7,0,24,17,22,0,7,11,14,21,0,1,0,17,16,22,0,8,11,14,0,23,22,0,9,11,22,0,10,11,14,21,0,8,0,23,0,20,21,1,11,7,21,1,25,0,10,7,0,24,19,3,2,21,1,0,21,0,6,21,1,18,0,26,17,0,10,0,24,0,14,21,0,7,17,17,8,16,21,1,1,21,1,9,21,0,1,21,1,8,15,130,8,8,16,0,9,0,24,17,22,0,11,11,14,21,0,1,0,20,21,0,10,21,1,8,0,9,8,0,9,21,1,7,21,0,9,8,3,2,0,18,21,0,5,17,7,0,6,21,1,7,0,5,8,9,15,131,21,0,4,7,3,2,21,1,0,21,0,11,8,16,25,21,0,1,0,14,16,0,14,0,24,17,0,7,0,39,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,0,3,21,1,18,0,23,17,21,1,9,15,132,8,16,25,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,1,26,0,24,17,22,0,4,11,21,1,25,0,10,7,0,24,17,22,0,5,11,14,21,0,3,0,19,16,0,20,21,1,3,21,0,1,0,17,16,7,0,18,0,10,21,1,7,21,0,5,8,21,1,8,0,8,8,19,7,21,0,5,0,19,16,0,17,21,0,4,17,17,25,21,0,1,0,14,16,21,1,4,0,9,7,0,24,17,22,0,3,11,14,21,0,1,0,16,16,22,0,4,11,14,21,0,4,0,18,21,0,3,17,22,0,5,11,14,21,0,3,0,19,16,0,20,21,0,4,21,1,8,0,18,8,7,16,22,0,6,11,14,21,0,6,21,1,25,0,10,7,0,24,17,0,19,16,0,17,21,0,6,17,0,20,21,1,3,21,0,1,0,17,16,7,0,18,0,10,21,1,7,21,0,5,8,21,1,8,0,8,8,19,7,21,0,5,0,19,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,41,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,1,29,21,0,3,0,19,16,0,20,0,9,21,1,7,0,24,0,9,21,0,3,17,8,7,16,17,25,21,0,2,21,1,11,16,0,7,0,42,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,3,0,11,21,0,2,17,21,1,20,16,0,10,21,0,3,17,0,9,22,0,2,13,14,21,0,1,21,1,29,21,0,3,0,19,16,0,20,21,1,1,0,15,21,0,2,0,9,21,0,3,17,19,0,10,21,0,3,19,0,9,21,1,1,19,0,8,21,0,2,19,7,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,43,17,14,21,0,1,21,1,23,16,0,8,0,24,17,0,19,16,0,20,21,0,1,21,1,8,21,1,29,21,1,7,0,19,8,8,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,44,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,3,0,8,0,24,17,0,19,16,0,20,21,0,1,21,1,8,21,1,29,21,1,7,15,133,8,8,7,16,25,21,1,29,21,1,7,21,0,1,21,1,35,21,1,34,21,1,4,21,1,34,7,3,2,0,18,21,0,1,17,8,8,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,45,17,14,21,0,1,21,1,28,0,23,21,1,18,16,17,25,21,0,2,21,1,10,16,0,7,0,46,17,14,21,0,2,0,20,21,1,11,7,16,0,17,16,21,1,25,0,10,7,0,24,17,0,7,0,47,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,2,0,20,21,1,19,21,1,7,21,0,3,8,0,10,0,15,21,1,7,21,0,3,0,9,16,8,19,7,16,0,17,16,21,1,25,0,10,7,0,24,17,0,7,0,48,17,14,21,0,1,21,1,29,21,1,7,0,20,21,1,1,21,1,19,0,23,19,0,10,21,0,3,19,0,8,21,1,1,19,7,8,21,0,2,17,25,21,0,1,0,16,16,22,0,6,11,21,1,25,0,10,7,0,24,17,22,0,7,11,0,19,16,22,0,8,11,14,21,0,1,21,0,5,21,1,6,21,0,4,8,21,0,2,17,22,0,9,11,14,21,0,8,0,17,21,0,6,17,21,0,5,16,22,0,10,11,14,15,134,0,17,3,2,0,18,21,0,10,21,1,10,16,17,22,0,11,11,14,21,0,9,21,0,11,16,22,0,9,12,14,21,0,10,21,0,11,16,22,0,10,12,14,21,0,10,0,23,21,1,35,21,1,32,8,16,22,0,12,11,14,21,1,4,21,0,10,7,0,18,21,0,12,21,1,8,0,18,8,19,21,0,7,3,2,21,1,0,0,15,21,1,7,21,0,12,21,1,23,16,8,8,22,0,13,11,14,0,23,22,0,14,11,21,0,13,16,22,0,15,11,14,21,0,8,0,20,21,0,1,0,17,16,21,1,8,0,18,8,15,135,3,2,21,1,0,15,136,8,7,16,0,17,21,0,6,17,25,21,0,1,21,1,16,21,1,6,21,1,30,21,0,4,7,0,22,0,20,21,0,4,7,8,8,21,0,2,17,25,21,0,1,21,1,47,21,1,48,7,21,0,2,17,0,17,16,21,1,25,0,10,7,0,24,17,25,21,0,2,0,18,0,24,17,21,0,1,3,2,21,1,0,21,0,2,0,18,0,23,17,8,25,21,0,1,0,17,16,0,20,21,1,49,7,16,21,1,25,0,9,0,10,0,15,19,0,9,21,1,2,19,7,0,23,17,0,8,0,24,17,25,21,0,1,0,17,16,0,18,0,23,17,21,1,51,16,22,0,3,11,14,21,0,1,0,17,16,0,20,21,1,51,21,1,50,21,0,3,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,49,17,14,21,0,3,21,1,25,0,10,7,0,24,17,0,19,16,0,17,21,0,3,17,0,20,21,1,4,21,1,13,21,1,8,0,18,8,7,7,21,0,1,17,25,21,0,1,21,1,10,16,0,7,0,54,17,14,21,0,1,0,17,16,21,1,23,16,21,1,18,0,23,17,25,0,29,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,20,21,1,23,7,16,21,1,36,16,0,20,15,137,7,16,25,21,0,1,0,17,16,22,0,3,11,21,1,23,16,22,0,4,11,14,21,0,3,0,20,21,1,51,7,16,22,0,5,11,14,21,0,5,0,18,0,23,17,21,1,23,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,5,0,20,21,1,23,0,14,21,0,6,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,50,17,14,21,0,7,21,1,17,21,0,6,17,0,7,0,51,17,14,15,138,22,0,8,11,14,21,0,1,21,1,51,16,22,0,9,11,14,0,24,22,0,10,11,14,0,23,21,1,18,16,22,0,11,11,22,0,12,11,14,21,0,7,0,19,16,21,1,47,15,139,7,21,0,9,21,1,39,16,21,0,8,0,10,7,0,24,17,21,1,39,16,17,14,21,1,47,15,140,21,0,3,0,20,0,17,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,141,3,2,21,1,0,21,0,6,21,1,18,21,0,7,17,8,21,0,12,17,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,56,21,1,27,21,0,2,17,21,1,27,0,55,17,22,0,5,11,14,0,57,22,0,6,11,14,0,58,22,0,7,11,14,15,142,25,21,0,1,21,1,22,16,22,0,5,11,21,1,18,21,1,7,21,0,2,8,21,1,9,21,0,4,8,16,14,21,0,5,0,19,16,0,20,21,0,1,0,8,21,0,2,17,21,1,8,0,8,8,7,0,20,0,23,21,1,8,21,1,18,8,21,1,9,0,30,8,7,9,0,20,0,15,21,1,7,21,0,2,8,21,1,9,0,30,8,7,3,2,21,1,0,21,0,1,21,1,18,0,23,17,8,16,25,21,0,1,14,0,8,21,1,21,0,23,19,0,19,9,0,9,21,1,21,0,23,19,0,19,9,0,20,0,8,7,21,1,1,21,1,5,21,1,18,8,19,3,2,21,1,0,21,1,18,21,1,7,0,23,8,8,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,61,17,14,21,0,2,0,14,21,1,6,0,9,8,21,0,1,17,22,0,3,11,14,21,0,3,0,15,0,23,17,0,7,0,62,17,14,21,0,3,21,1,17,0,24,17,0,7,0,63,17,14,21,0,1,21,1,26,0,24,17,22,0,4,11,14,21,0,4,21,1,23,16,0,19,16,0,20,21,1,3,21,0,2,21,1,51,16,7,0,18,21,0,3,0,9,0,24,17,21,1,8,0,8,8,19,0,14,21,0,4,21,1,8,0,18,8,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,64,17,14,21,0,4,21,1,25,0,10,7,0,24,17,25,21,0,1,21,1,57,21,0,2,17,22,0,3,11,14,21,0,2,0,24,21,1,23,3,2,21,1,0,21,1,1,0,14,21,1,6,0,15,8,21,0,1,19,8,16,0,10,21,0,3,17,22,0,4,11,14,21,0,1,21,1,23,16,0,10,21,0,3,17,0,19,16,0,20,21,0,2,21,1,13,16,21,1,8,0,18,8,21,1,3,21,0,1,0,17,16,7,0,18,21,0,4,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,4,8,8,7,16,0,17,21,0,1,21,1,51,16,17,25,21,0,1,21,1,57,21,0,2,17,22,0,3,11,14,21,0,1,21,1,23,16,0,10,21,0,3,17,22,0,4,11,14,21,0,2,0,24,21,1,23,3,2,21,1,0,21,1,1,0,14,21,1,6,0,15,8,21,0,1,19,8,16,0,10,21,0,3,17,22,0,5,11,14,21,0,5,0,9,21,0,4,17,22,0,6,11,14,21,0,4,0,19,16,0,20,21,1,3,21,0,1,0,17,16,7,0,18,21,0,5,21,1,8,0,8,8,19,21,1,3,21,0,2,21,1,13,16,7,0,18,21,0,6,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,6,8,8,7,16,0,17,21,0,1,21,1,51,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,61,17,14,21,0,1,21,1,26,0,24,17,21,1,1,21,1,25,0,10,7,0,24,19,0,19,9,21,1,8,0,17,8,16,0,20,21,0,1,0,3,16,7,16,25,21,0,1,21,1,10,16,0,7,0,65,17,14,21,0,2,0,14,16,21,1,17,0,24,17,0,7,0,66,17,14,21,0,2,21,1,13,16,22,0,2,12,21,1,23,16,22,0,3,11,14,21,0,1,21,0,3,21,1,18,0,23,17,21,1,9,15,143,8,21,0,2,17,25,21,0,1,0,29,21,1,88,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,15,144,15,145,3,2,21,1,0,21,1,2,21,1,5,21,1,50,21,1,18,21,0,2,19,8,8,25,21,0,2,21,1,64,21,0,1,17,21,1,20,16,0,10,21,0,2,17,0,9,21,0,1,17,25,21,0,2,21,0,1,3,2,0,18,21,0,1,21,1,19,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,18,21,0,1,21,1,18,21,0,2,17,17,25,21,0,1,21,0,2,0,18,0,24,17,3,2,21,1,0,15,146,21,0,2,0,18,0,23,17,7,8,25,21,0,2,21,1,76,16,21,1,77,0,24,17,0,7,0,76,17,14,21,0,2,21,1,13,16,22,0,3,11,14,21,0,3,0,20,21,1,12,7,16,21,1,81,16,22,0,4,11,21,1,25,21,1,79,7,16,22,0,5,11,14,21,0,5,21,1,77,0,24,17,0,7,0,77,17,14,21,0,1,21,1,13,16,22,0,6,11,21,1,75,16,22,0,7,11,14,21,0,3,21,1,25,21,1,72,7,15,147,3,2,21,1,0,21,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,75,21,0,8,17,21,1,9,15,148,8,16,0,17,21,0,3,17,25,15,149,22,0,3,11,14,15,150,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,0,21,1,10,8,16,25,21,0,1,21,1,5,21,1,84,8,21,1,1,21,1,5,21,1,73,8,21,1,47,0,18,7,21,1,75,21,1,8,21,1,4,21,1,67,21,1,79,0,24,19,21,1,80,21,1,2,19,7,8,19,0,24,0,23,3,2,0,22,0,25,3,1,8,19,25,21,0,1,21,1,86,21,0,5,7,21,0,2,17,22,0,6,11,21,1,74,0,23,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,151,22,0,9,11,14,21,0,1,21,0,9,21,0,6,7,21,0,2,17,25,21,0,1,21,1,86,21,0,5,7,21,1,47,21,1,80,21,1,8,21,1,68,8,21,1,80,21,1,69,0,23,19,3,2,21,1,0,21,1,1,21,1,78,0,23,19,8,7,21,1,76,21,1,6,21,1,14,8,19,21,0,2,17,22,0,6,11,14,15,152,22,0,7,11,14,21,1,1,21,1,73,9,21,0,7,21,1,1,0,20,21,1,73,7,9,3,3,21,1,0,21,1,76,21,1,8,21,1,77,8,21,1,79,0,24,19,21,1,72,0,23,21,1,8,21,1,74,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,18,21,1,7,21,1,75,21,1,4,21,1,80,7,0,24,19,8,16,17,21,1,47,21,0,4,7,21,0,2,21,0,7,21,0,6,0,18,0,23,17,17,17,21,1,74,16,25,21,0,1,21,1,76,16,21,1,78,0,24,17,0,7,0,83,17,14,21,0,1,21,1,62,21,1,73,7,16,21,1,25,21,0,4,7,21,0,2,17,25,21,0,1,21,1,51,21,1,6,21,1,14,8,21,0,2,17,22,0,3,11,14,21,0,3,0,20,21,1,75,7,16,22,0,4,11,21,1,25,21,1,69,7,0,24,17,22,0,5,11,14,21,0,4,21,1,80,21,0,5,17,21,1,77,0,24,17,21,1,25,21,1,70,7,16,0,7,0,84,17,14,21,0,3,21,1,47,21,1,29,21,1,7,0,24,21,1,80,21,0,5,17,0,19,16,21,1,8,21,1,79,8,8,7,21,0,5,21,1,81,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,25,21,1,50,7,16,0,7,0,85,17,14,21,0,3,21,1,47,0,24,21,1,1,0,18,0,23,19,3,2,21,1,0,21,1,2,8,7,21,0,4,21,1,76,21,0,5,17,17,21,1,25,21,1,79,7,16,22,0,7,11,14,21,0,1,21,1,84,21,1,6,21,1,27,8,21,0,2,17,21,1,84,21,0,6,0,18,0,23,17,21,1,27,21,0,7,3,1,17,17,25,21,0,2,21,1,12,16,0,7,0,40,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,29,21,0,1,21,1,75,16,21,1,72,21,0,3,17,0,19,16,0,21,21,1,4,15,153,21,1,9,15,154,8,7,7,16,17,25,21,0,1,21,1,75,21,1,6,21,1,76,8,21,0,2,17,0,7,0,86,17,14,21,0,1,21,1,92,21,0,2,17,25,21,0,1,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,87,17,14,21,0,1,21,1,78,0,29,17,21,1,25,21,1,70,7,16,0,7,0,88,17,14,21,0,1,0,6,21,0,1,0,5,16,22,0,5,11,17,22,0,6,11,14,0,23,22,0,7,11,14,21,0,5,0,20,21,1,96,21,1,5,0,20,15,155,7,8,21,0,4,9,7,16,25,21,0,1,21,1,76,16,21,1,76,0,24,17,0,7,0,89,17,14,21,1,101,21,1,1,7,22,0,3,11,14,21,0,1,21,0,3,0,20,15,156,7,21,1,25,0,20,0,20,21,1,27,7,7,7,3,0,21,1,73,16,21,1,73,16,19,3,2,21,1,0,21,1,50,21,1,73,0,24,19,8,16,25,21,0,1,21,1,10,16,0,7,0,90,17,14,21,0,2,21,1,50,21,1,74,0,25,19,21,1,9,21,1,16,21,1,5,21,1,14,8,8,16,22,0,2,12,14,21,0,2,21,1,76,16,21,1,76,0,24,17,0,7,0,91,17,14,21,0,2,0,20,21,1,76,7,16,21,1,25,21,1,79,7,16,22,0,3,11,14,21,0,1,21,1,76,16,21,1,78,21,0,3,17,0,7,0,92,17,14,21,0,1,21,1,51,16,21,1,94,21,0,3,17,21,1,76,21,0,2,0,20,21,1,51,7,16,21,1,53,16,17,21,1,25,21,1,70,7,16,0,7,0,93,17,14,21,0,2,0,20,21,1,84,7,16,22,0,2,12,0,20,21,1,75,7,16,22,0,4,11,14,21,0,1,21,1,26,21,0,3,17,21,1,27,21,0,4,21,1,25,21,1,72,7,16,3,1,17,21,1,4,21,1,84,7,21,0,1,17,21,1,8,21,1,29,8,22,0,5,11,14,21,0,2,0,18,21,1,7,0,23,8,21,1,101,21,0,5,7,9,0,20,21,1,101,21,1,1,7,7,21,1,72,21,0,4,21,1,97,16,21,1,99,0,24,17,0,21,21,1,72,7,16,21,1,97,16,19,21,1,25,0,20,0,20,21,1,79,7,7,7,9,0,20,21,0,5,7,9,3,2,21,1,0,21,1,75,21,1,75,0,24,19,8,16,25,21,0,2,21,1,76,16,21,1,76,0,24,17,0,7,0,94,17,14,21,0,1,21,1,51,16,22,0,3,11,21,1,75,21,1,6,21,1,76,8,21,0,2,17,0,7,0,95,17,14,21,0,2,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,96,17,14,21,0,3,21,1,73,21,1,70,21,1,80,21,1,8,21,1,77,8,19,21,0,2,17,21,1,25,21,1,70,7,16,0,7,0,97,17,14,0,23,21,1,73,21,0,2,17,21,1,72,21,0,3,17,21,1,79,21,0,2,17,22,0,2,12,14,21,0,2,21,1,75,16,21,1,81,21,1,7,21,1,96,8,16,21,1,80,16,21,1,25,21,1,1,21,1,72,21,0,3,21,1,8,0,18,8,19,21,1,79,21,0,2,21,1,8,0,18,8,19,7,0,23,17,21,1,4,0,18,7,21,0,1,21,1,84,16,17,25,21,0,2,0,20,21,0,1,21,1,8,21,1,105,8,7,16,25,21,0,1,21,1,76,21,1,7,0,23,8,21,1,25,21,1,71,7,9,21,1,6,21,1,4,21,1,80,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,23,21,0,3,3,2,15,157,3,2,21,1,0,0,23,21,1,76,21,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,158,22,0,8,11,14,21,0,4,21,1,76,21,1,7,0,23,8,21,1,9,21,0,1,8,9,21,0,8,3,2,0,18,21,0,6,21,1,75,0,24,17,17,25,21,0,1,22,0,2,11,14,21,1,73,21,1,7,0,23,8,21,1,9,15,159,8,25,21,0,2,21,1,76,16,21,1,4,21,1,80,7,0,24,17,22,0,5,11,14,21,0,5,21,1,78,0,23,17,0,7,0,98,17,14,21,0,1,21,1,76,16,21,1,78,21,0,5,17,0,7,0,99,17,14,21,0,2,21,1,26,0,24,17,22,0,6,11,21,1,25,21,1,72,7,16,22,0,7,11,14,0,23,21,1,108,21,0,2,21,1,84,16,21,1,8,0,18,8,21,1,6,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,75,16,0,24,0,24,21,1,8,21,1,80,21,1,5,21,1,96,8,8,21,1,72,21,0,7,19,0,20,21,1,79,21,1,7,21,0,7,8,21,1,8,21,0,8,8,7,9,21,1,4,21,1,78,7,0,23,19,21,1,25,21,1,70,7,9,3,2,21,1,0,21,1,73,21,1,7,0,23,8,8,16,0,7,0,100,17,14,21,0,1,21,1,76,16,21,1,4,21,1,80,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,26,21,0,9,17,22,0,10,11,14,21,0,10,21,1,107,21,0,6,17,22,0,11,11,14,21,0,11,21,1,25,21,1,108,21,0,1,21,1,84,16,21,1,8,0,18,8,21,1,8,21,0,4,21,1,7,21,0,2,21,1,84,16,21,1,8,0,18,8,8,8,7,7,16,22,0,12,11,14,21,1,4,0,23,7,21,1,78,21,0,12,21,1,7,21,1,72,21,1,7,21,0,6,21,1,25,21,1,72,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,96,16,0,20,21,0,1,21,1,51,16,21,1,8,0,18,8,7,16,21,1,25,21,1,72,7,21,1,96,9,21,1,8,21,1,84,8,16,21,1,72,21,0,10,21,1,25,21,1,72,7,16,17,0,20,15,160,21,1,7,21,0,2,21,1,75,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,90,21,1,70,7,21,1,81,9,0,21,21,1,70,7,21,1,90,21,1,79,7,9,3,2,0,18,21,0,1,17,22,0,3,11,14,15,161,25,21,0,1,21,1,76,16,21,1,78,0,24,17,0,7,0,102,17,14,21,0,1,21,1,113,16,22,0,5,11,14,21,0,1,21,1,75,16,21,1,96,16,0,20,0,24,21,1,1,21,0,1,21,1,76,21,1,73,0,24,19,21,1,9,21,1,62,21,1,73,7,8,16,21,1,29,21,0,5,17,21,1,8,0,18,8,21,1,6,21,1,51,8,0,24,21,1,8,21,1,80,8,19,3,2,21,1,0,21,1,73,21,1,7,0,23,8,8,7,16,21,0,4,21,0,5,17,21,1,29,21,0,5,21,1,116,16,17,25,21,0,2,21,1,76,16,22,0,3,11,14,21,0,1,21,1,76,16,21,1,78,21,0,3,17,0,7,0,103,17,14,21,0,1,21,0,3,21,1,112,21,1,96,8,21,0,2,21,1,51,16,17,21,0,3,21,1,112,21,1,50,8,21,0,2,17,25,21,0,2,21,1,76,16,21,1,77,0,24,17,0,7,0,104,17,14,21,0,1,21,1,51,16,21,1,75,21,1,6,21,1,78,8,21,0,2,17,0,7,0,105,17,14,21,0,2,21,1,84,16,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,0,7,0,106,17,25,21,0,1,21,1,51,16,21,1,122,21,0,2,17,0,20,21,1,25,21,1,68,7,7,16,21,1,96,16,0,20,21,1,3,21,0,1,7,21,1,106,21,1,29,21,1,7,21,0,2,8,19,7,16,25,21,0,1,21,1,125,21,0,2,17,14,21,0,2,21,1,84,16,22,0,2,12,14,21,0,2,21,1,124,16,21,1,81,16,21,1,25,21,1,79,7,16,21,1,80,21,0,1,21,1,76,16,17,22,0,3,11,14,21,0,3,21,1,73,21,0,2,17,21,1,25,21,1,70,7,16,0,7,0,107,17,14,21,0,1,21,1,126,21,0,3,21,1,96,16,21,1,1,21,1,98,21,1,4,21,1,124,21,1,5,21,1,81,8,7,19,21,0,2,17,21,1,121,21,0,2,17,17,25,21,0,1,21,1,125,21,0,2,17,14,21,0,2,21,1,84,16,22,0,2,12,14,21,0,1,21,1,76,16,22,0,3,11,14,21,0,2,21,0,3,21,1,8,21,1,73,8,21,1,70,21,1,124,19,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,126,21,0,3,21,1,96,16,21,1,1,21,1,98,21,1,4,21,1,124,21,1,5,21,1,81,8,7,19,21,0,2,17,21,1,121,21,0,2,17,21,1,116,16,17,25,21,0,1,21,1,123,21,1,7,21,0,2,8,21,1,130,21,1,8,21,1,62,21,1,120,7,8,9,21,1,84,21,1,3,0,25,7,21,1,121,21,1,75,19,19,21,1,6,21,1,123,8,21,0,2,17,25,21,0,1,15,162,21,0,5,21,1,133,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,159,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,23,22,0,7,11,22,0,8,11,14,21,0,6,0,23,21,1,111,15,163,8,16,14,21,0,1,22,0,9,11,14,15,164,22,0,10,11,14,21,0,7,21,0,10,21,1,1,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,80,16,21,0,10,21,1,1,21,1,135,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,23,21,1,111,21,1,3,21,0,11,21,0,12,3,2,7,21,1,133,0,23,21,1,8,21,1,73,8,19,21,1,133,21,1,67,19,8,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,50,21,0,1,17,21,1,144,16,14,21,0,6,25,21,0,1,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,1,21,1,121,16,22,0,3,11,14,21,0,3,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,3,0,5,16,22,0,4,11,14,0,24,21,1,78,21,0,4,17,21,1,25,21,1,70,7,16,21,1,144,16,14,21,0,4,21,1,81,16,21,1,98,16,22,0,5,11,14,21,0,5,21,1,47,0,29,7,16,21,1,121,21,0,1,21,1,47,21,1,75,7,16,21,1,98,16,17,21,1,132,21,0,5,21,1,121,21,0,3,17,21,1,113,16,17,25,21,0,2,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,2,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,121,21,1,6,21,1,132,21,1,7,21,1,113,8,8,21,0,2,21,1,122,16,17,25,0,25,21,1,64,21,0,2,21,1,75,16,17,21,1,96,16,21,1,72,0,25,17,22,0,3,11,14,21,1,3,21,0,1,3,1,21,1,121,21,0,2,21,1,132,21,0,3,21,1,79,0,24,17,17,17,7,21,1,133,21,1,73,21,1,123,21,0,2,21,1,132,21,0,3,17,19,21,1,133,9,19,25,21,0,1,21,1,10,16,21,1,144,16,14,21,0,1,21,1,76,16,21,1,76,0,23,17,21,1,144,16,14,21,0,1,21,1,133,16,25,21,0,2,21,1,76,21,1,6,21,1,80,8,21,0,1,17,22,0,3,11,14,21,0,3,0,24,21,1,8,21,1,78,8,21,1,70,21,1,78,21,1,7,0,23,8,19,16,21,1,144,16,14,21,0,2,0,24,21,1,75,3,2,21,1,134,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,75,16,21,1,78,21,0,4,17,21,1,144,16,14,21,0,1,21,1,132,21,1,94,21,1,7,21,0,4,8,3,2,21,1,134,21,0,3,8,16,21,1,50,21,0,2,17,21,1,144,16,14,21,0,1,21,1,95,21,0,4,17,25,21,0,1,21,1,75,16,21,1,76,0,25,17,21,1,144,16,14,21,0,1,21,1,132,16,21,1,50,21,0,2,17,21,1,144,16,14,21,0,1,21,1,132,0,24,17,25,21,0,1,21,1,75,16,21,1,76,0,24,17,21,1,144,16,14,21,0,1,21,1,132,16,25,21,0,1,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,1,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,95,21,1,7,0,24,8,21,1,78,21,1,95,21,1,7,0,29,8,19,21,1,25,21,1,70,7,9,16,21,1,144,16,14,21,0,1,0,5,16,25,21,0,1,21,1,16,21,1,6,0,20,21,0,4,7,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,159,16,25,21,0,2,21,1,8,21,0,1,8,0,22,21,0,2,21,0,1,9,8,25,21,1,133,21,1,7,0,24,8,21,0,1,21,1,8,15,165,8,21,1,133,21,1,7,0,23,8,19,25,21,1,1,21,1,5,21,1,50,8,21,1,73,0,23,19,21,1,143,9,21,1,2,21,1,47,21,1,135,21,0,1,7,7,19,25,21,1,1,21,1,5,21,1,50,8,21,1,73,0,23,19,21,1,143,9,21,1,2,0,23,21,1,5,21,1,143,8,0,22,21,1,151,21,1,135,21,0,1,7,7,8,19,25,21,1,1,21,1,5,21,1,76,8,21,1,73,0,23,19,21,1,143,9,21,1,2,21,1,62,21,1,135,21,0,1,7,7,19,25,0,23,21,1,5,21,1,143,8,0,22,21,1,75,21,1,73,0,24,19,21,1,138,21,1,95,21,1,7,0,24,8,21,1,47,21,1,135,21,0,1,7,7,21,1,95,21,1,7,0,29,8,19,21,1,121,21,1,132,19,8,8,25,21,1,133,21,1,7,0,24,8,21,0,1,21,1,8,15,166,8,21,1,132,21,1,7,0,23,0,25,3,2,8,19,25,21,0,2,21,1,152,21,0,1,8,25,21,1,135,21,0,2,7,22,0,3,11,14,21,0,3,21,1,7,21,0,1,8,0,22,21,0,3,8,21,1,135,21,0,1,7,9,25,21,0,1,21,1,140,21,1,135,21,0,2,7,8,25,21,0,1,21,1,80,16,21,1,138,21,0,2,8,25,21,1,135,21,0,1,7,0,22,21,1,135,21,0,2,7,8,25,21,1,135,21,0,1,7,21,1,7,21,0,2,8,25,21,0,1,0,22,21,1,145,8,25,0,23,21,1,5,21,1,143,8,0,22,21,1,1,21,1,135,21,1,4,21,0,2,7,7,21,0,1,19,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,76,21,1,7,21,1,1,3,1,21,1,133,16,8,21,1,8,21,1,70,21,1,7,21,1,155,8,8,21,1,81,9,22,0,6,11,14,21,0,5,15,167,15,168,21,1,3,21,1,145,7,3,2,21,1,134,21,1,4,21,0,6,7,8,3,2,21,1,134,21,0,6,8,21,0,3,17,25,21,1,1,21,1,50,21,1,5,21,1,144,8,21,0,1,19,21,1,2,21,1,1,19,25,21,0,1,21,1,159,16,21,1,1,15,169,3,2,21,1,134,0,23,21,1,1,21,1,5,0,1,8,21,1,132,0,23,0,34,3,2,19,21,1,51,0,33,21,1,152,3,2,19,3,2,21,1,134,21,1,51,21,1,7,21,1,3,21,1,145,7,8,21,1,70,21,1,51,19,8,8,21,0,1,17,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,82,16,25,0,24,0,9,21,1,6,17,22,1,6,12,14,21,0,1,0,18,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,18,21,0,1,17,17,22,1,8,12,25,21,0,2,0,16,16,22,0,5,11,14,21,0,2,0,14,16,0,19,16,21,2,25,0,10,21,2,7,21,0,1,0,16,16,21,2,8,0,18,8,0,14,21,0,5,21,2,8,0,18,8,19,8,7,0,24,17,0,7,0,36,17,14,21,0,5,21,2,25,0,10,7,0,24,17,0,19,16,0,20,21,0,1,0,17,16,21,2,8,0,18,8,21,0,4,21,0,2,0,17,16,21,2,8,0,18,8,19,7,16,0,17,21,0,5,17,25,21,0,2,0,16,16,22,0,5,11,14,21,0,2,0,14,16,22,0,6,11,14,21,0,1,0,16,16,22,0,7,11,14,21,0,6,0,19,16,21,2,25,0,10,21,2,7,21,0,7,21,2,8,0,18,8,0,14,21,0,5,21,2,8,0,18,8,19,8,7,0,24,17,0,7,0,37,17,14,21,0,6,0,9,21,0,1,0,14,16,17,0,19,16,21,2,25,0,10,21,2,7,0,8,21,2,7,21,0,6,8,21,2,4,0,18,7,21,0,7,19,8,7,0,24,17,22,0,8,11,14,21,0,2,0,17,16,22,0,9,11,14,21,0,1,0,17,16,22,0,10,11,14,21,0,8,0,19,21,2,6,0,20,21,2,3,21,0,10,7,0,18,0,8,21,2,7,0,10,21,2,7,21,0,8,8,8,19,21,0,4,21,0,9,21,2,8,0,18,8,19,7,8,21,0,9,21,2,23,16,17,0,17,16,0,17,21,0,7,17,25,21,0,1,21,2,31,21,0,4,7,21,0,2,17,25,21,0,1,0,20,15,170,21,0,2,7,7,16,25,21,0,2,0,20,15,171,21,0,1,7,7,16,25,21,1,6,0,10,0,25,17,0,15,21,0,1,21,2,25,21,2,20,7,16,22,1,10,12,0,9,21,0,1,21,2,25,21,2,21,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,4,0,23,7,21,2,19,0,23,21,2,108,21,1,8,21,2,8,0,18,8,21,2,6,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,1,21,1,6,3,2,21,2,0,0,15,21,2,7,21,1,6,8,8,22,0,6,11,14,0,23,0,14,21,1,6,17,0,8,21,1,6,17,0,4,0,25,17,21,2,21,16,22,0,7,11,0,19,16,0,20,21,2,1,0,8,0,24,19,0,9,21,0,7,19,0,12,0,25,19,7,16,21,2,25,15,172,7,21,1,6,0,19,16,17,25,21,0,1,0,20,21,2,12,7,16,21,2,25,0,10,7,0,24,17,0,7,0,40,17,14,0,24,0,9,21,1,3,17,22,0,3,11,14,21,2,1,0,9,21,0,3,19,21,2,4,0,18,7,21,1,3,0,19,16,0,20,0,9,21,2,7,21,0,3,8,7,16,0,21,21,2,1,21,2,4,0,18,7,21,0,1,19,0,14,0,23,19,0,10,0,9,19,0,8,21,2,1,19,7,16,19,22,0,4,11,14,21,0,1,0,21,0,8,7,16,21,2,8,0,18,8,22,0,5,11,14,0,23,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,19,16,0,20,15,173,7,16,25,21,0,1,0,9,21,1,3,17,0,19,16,0,20,0,8,21,2,7,21,0,1,8,7,16,25,21,0,1,3,1,25,21,0,1,14,21,1,9,0,18,21,1,12,0,18,21,1,14,17,17,22,0,3,11,14,21,1,14,0,8,0,24,17,22,1,14,12,21,1,13,16,22,1,15,12,14,21,0,3,25,21,0,1,0,14,21,1,15,17,25,21,0,1,0,14,21,2,7,21,1,4,8,0,9,0,24,19,21,2,9,15,174,8,16,14,21,1,5,0,18,0,24,0,8,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,20,15,175,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,18,21,0,1,17,22,0,4,11,14,21,1,5,0,20,0,18,21,2,7,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,19,16,0,20,21,2,3,21,0,5,7,0,18,0,10,21,2,7,21,0,3,8,19,7,16,22,0,6,11,14,21,0,3,0,19,16,0,20,21,2,2,7,21,0,6,17,0,20,21,2,1,7,21,1,10,0,19,16,17,0,17,16,21,2,47,0,14,7,21,0,5,17,21,2,25,0,10,7,0,24,17,0,7,0,52,17,14,21,0,6,21,2,36,16,22,0,7,11,14,21,0,7,21,2,23,16,0,19,16,0,20,21,0,6,21,1,8,0,8,7,0,23,17,21,2,29,21,0,7,17,21,2,8,0,18,8,21,2,8,0,9,8,7,16,22,0,8,11,14,21,0,8,0,20,21,2,1,7,21,1,12,17,21,2,47,0,8,7,21,0,7,0,20,21,0,6,21,2,8,0,18,8,21,2,8,0,10,8,7,21,1,12,17,17,22,1,12,12,14,21,0,7,0,20,0,8,21,2,7,21,0,4,21,2,8,0,10,8,8,7,21,1,11,17,22,1,11,12,14,21,0,4,0,10,22,1,10,13,25,21,0,4,0,18,21,0,1,17,0,18,21,0,2,17,25,21,2,29,21,2,7,21,1,7,0,9,21,1,6,17,0,19,16,0,20,0,8,21,2,7,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,18,0,23,17,21,0,3,16,22,0,4,11,14,21,1,5,0,20,21,0,3,21,2,47,0,14,7,21,0,4,19,21,2,25,0,10,7,9,7,16,21,2,25,0,10,7,0,24,17,0,7,0,53,17,14,21,0,4,21,2,25,0,10,7,16,22,0,5,11,0,19,16,0,17,21,0,4,17,22,0,6,11,14,21,0,6,0,20,21,2,2,7,21,0,1,17,21,1,13,21,0,6,0,20,0,8,21,2,7,0,10,21,2,7,21,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,14,16,21,2,17,0,24,17,0,7,21,1,6,17,14,21,0,2,21,2,13,16,22,0,2,12,14,21,0,2,0,20,21,2,11,7,16,21,2,25,0,10,7,0,24,17,0,7,21,1,7,17,14,21,0,2,21,2,23,16,22,0,3,11,14,21,0,1,21,2,51,16,21,2,23,21,2,8,21,2,19,8,21,2,9,15,176,8,21,0,3,17,22,0,4,11,14,15,177,22,0,5,11,14,0,23,21,2,18,16,22,0,6,11,14,0,24,22,0,7,11,14,15,178,22,0,8,11,14,0,23,22,0,9,11,14,21,0,3,0,19,16,0,20,21,0,2,21,2,8,0,18,8,15,179,21,1,4,15,180,7,21,0,8,21,2,2,19,3,2,21,2,0,21,1,3,8,21,0,4,21,2,8,0,18,8,19,7,16,22,0,10,11,14,21,0,1,21,2,16,16,0,17,21,2,7,21,0,4,8,15,181,3,2,21,2,0,21,0,6,0,14,16,21,2,18,0,23,17,8,16,25,21,0,1,0,14,16,0,15,21,1,3,17,0,7,0,67,17,14,21,0,2,0,20,21,2,12,7,16,21,2,25,0,10,7,16,0,7,0,68,17,14,21,0,1,21,2,51,16,22,0,3,11,14,21,1,3,0,19,16,0,20,21,0,2,21,2,8,0,18,8,0,9,21,0,3,21,2,8,0,18,8,19,0,8,0,24,19,7,16,22,0,4,11,14,21,0,4,0,20,0,15,21,2,7,0,23,8,7,16,21,2,25,0,10,7,16,0,7,0,69,17,14,21,0,3,21,2,29,21,1,3,0,9,21,2,7,21,2,23,8,21,0,3,17,0,19,16,0,20,0,8,21,2,7,21,1,3,8,7,16,17,22,0,5,11,21,2,25,0,10,7,0,24,17,22,0,6,11,14,0,24,0,9,21,1,3,17,15,182,16,21,2,27,21,0,6,3,1,17,0,21,0,10,7,16,21,2,39,16,22,0,7,11,14,21,0,2,21,2,1,21,2,47,15,183,7,21,0,7,19,21,2,25,0,20,0,8,7,7,9,21,2,6,0,20,0,8,7,8,21,0,4,17,0,24,21,2,8,0,14,8,0,9,0,24,19,21,2,9,21,2,4,0,19,0,17,21,0,5,19,21,2,8,0,20,0,8,7,8,7,8,21,0,6,17,0,20,21,0,1,0,17,16,21,2,8,0,18,8,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,70,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,14,16,21,2,17,0,24,17,0,7,0,71,17,14,21,0,1,21,2,51,16,21,2,23,21,2,6,0,15,8,21,0,2,17,0,7,0,72,17,14,21,0,2,21,2,23,16,22,0,3,11,14,21,0,2,0,17,16,21,2,8,0,18,8,22,0,4,11,14,21,0,1,21,0,3,21,2,18,0,23,17,21,2,9,15,184,8,0,23,17,25,21,0,1,21,2,76,21,0,4,17,25,21,0,1,21,2,47,21,2,1,0,24,3,2,21,2,0,21,2,2,8,7,21,1,4,17,21,2,25,21,2,72,7,16,22,0,3,11,14,21,0,3,21,2,73,0,23,17,0,7,0,78,17,14,21,1,4,21,2,75,16,0,19,16,21,2,72,21,1,4,17,21,2,25,21,2,79,7,16,22,0,4,11,14,21,1,3,0,18,21,0,4,17,21,2,137,16,22,0,5,11,14,0,32,21,2,73,21,0,5,17,0,7,0,79,17,14,21,2,76,21,2,7,21,2,68,8,0,7,0,80,19,21,2,2,21,2,1,19,22,0,6,11,14,21,0,3,21,2,64,21,1,7,17,21,0,6,21,2,68,21,2,69,3,3,21,2,0,21,0,5,21,2,68,0,25,17,8,16,22,0,7,11,14,21,1,3,21,2,47,21,2,1,21,0,7,3,2,21,2,0,21,2,2,8,7,21,1,4,17,22,1,3,12,14,21,0,7,21,2,72,21,0,3,17,21,0,5,21,2,76,0,27,17,21,2,9,21,2,73,21,2,7,21,1,7,8,21,2,9,15,185,8,8,16,25,21,1,8,0,19,16,0,20,21,2,2,7,21,2,7,0,3,8,15,186,3,2,21,2,0,21,1,7,21,2,73,0,23,17,8,21,0,1,17,25,21,0,1,21,2,12,16,0,7,0,81,17,14,21,0,1,0,19,16,25,21,0,1,21,2,76,16,21,2,76,0,24,17,0,7,0,82,17,14,21,0,1,0,20,21,1,3,7,16,21,2,25,0,20,21,2,27,21,2,7,21,2,84,8,7,7,3,0,21,2,73,16,17,25,21,1,9,21,1,7,21,2,79,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,47,21,0,5,7,21,2,2,21,2,5,0,20,21,0,1,21,2,8,21,0,5,8,7,8,21,2,1,21,2,5,0,20,21,2,1,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,0,21,2,50,21,2,6,21,2,14,8,21,2,77,21,0,4,21,2,69,0,23,17,19,21,2,71,0,23,21,2,77,21,0,4,17,21,2,70,21,1,7,17,19,21,2,83,0,25,19,21,2,25,21,2,79,21,2,7,0,25,21,2,8,21,2,72,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,51,16,21,2,29,21,0,2,0,19,16,17,22,0,3,11,14,21,0,1,21,2,26,21,0,2,17,22,0,4,11,21,2,25,21,2,72,7,16,22,0,5,11,14,21,0,3,21,2,25,21,2,72,7,16,0,19,16,0,20,21,2,1,21,2,72,21,0,5,19,21,2,79,21,0,5,0,19,16,21,2,84,21,0,4,17,19,21,2,5,0,20,21,0,1,21,2,84,16,21,2,8,0,18,8,7,8,7,16,21,2,84,21,0,3,17,25,21,0,2,21,2,76,21,1,4,17,25,21,1,3,21,2,79,22,1,4,13,14,21,0,1,21,2,79,0,24,17,25,21,0,1,14,21,1,6,0,18,21,1,7,17,21,2,1,0,24,21,2,79,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,84,16,21,1,3,16,0,20,21,0,1,21,2,51,16,21,2,96,16,21,2,84,16,21,2,8,21,2,29,8,7,16,25,21,0,1,21,2,75,21,2,6,21,2,80,8,21,0,2,17,21,2,72,16,22,0,3,11,14,21,0,1,21,2,75,21,2,6,21,2,68,8,21,0,2,17,22,0,4,11,14,21,0,1,15,187,21,2,7,21,2,75,21,2,79,21,0,4,21,2,96,16,21,2,79,0,24,17,21,2,80,16,19,8,21,2,6,15,188,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,189,21,1,7,3,2,21,2,0,21,2,76,21,2,7,21,1,6,8,8,22,0,5,11,14,0,23,21,0,5,16,25,15,190,22,0,3,11,14,0,29,21,0,3,0,24,21,2,79,21,0,1,17,17,21,2,79,0,24,17,25,21,0,2,21,2,109,21,0,1,21,2,8,21,1,13,8,7,16,25,21,0,2,21,2,76,16,21,2,4,21,2,80,7,0,24,17,22,0,3,11,14,21,0,3,21,2,78,0,23,17,0,7,0,101,17,14,21,0,1,21,2,16,16,21,2,1,21,2,5,21,0,3,21,2,112,0,23,8,8,21,2,1,21,0,3,21,2,112,21,2,73,8,3,2,21,2,0,21,0,3,21,2,73,0,23,17,8,21,2,6,0,20,21,2,51,7,8,21,1,3,9,3,2,21,2,0,21,0,2,21,2,75,16,21,2,73,0,23,17,8,15,191,3,2,21,2,0,21,2,84,21,2,5,21,2,75,8,21,2,73,0,28,19,21,2,6,21,2,70,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,11,16,0,7,0,108,17,14,21,0,1,21,2,68,21,1,8,17,22,1,8,12,14,21,0,1,21,2,69,21,1,7,17,22,1,7,12,25,21,0,1,21,2,79,0,23,17,21,2,96,16,21,2,121,21,1,9,3,1,17,0,21,21,2,2,21,2,5,21,0,4,8,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,25,21,0,1,7,16,25,21,2,1,21,2,135,21,1,4,7,21,0,2,19,25,21,2,1,21,2,135,21,2,4,21,1,4,7,7,21,0,1,19,25,21,0,1,21,2,146,21,0,2,8,21,2,152,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,9,16,22,0,4,11,14,0,23,22,0,5,11,22,0,6,11,22,0,7,11,14,0,27,22,0,8,11,14,21,0,1,0,24,0,14,21,2,7,17,0,9,0,24,17,21,3,9,0,20,0,10,21,3,7,21,2,7,8,7,8,16,21,3,8,0,18,8,21,3,6,21,1,5,8,22,0,9,11,14,21,0,9,0,23,0,24,0,25,3,4,22,0,10,11,14,0,8,15,192,3,2,0,18,21,0,3,0,15,0,28,17,17,22,0,11,11,14,15,193,22,0,12,11,14,15,194,15,195,21,0,12,3,3,21,3,0,15,196,8,22,0,13,11,14,21,0,1,0,20,21,0,1,21,3,8,15,197,8,7,16,25,21,1,6,21,1,7,0,14,21,0,1,17,21,3,9,15,198,8,16,25,21,0,1,22,2,4,12,21,3,4,0,18,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,21,0,3,25,21,0,1,21,3,27,21,0,1,21,3,23,16,0,9,21,0,2,17,0,19,21,3,5,0,20,0,24,7,8,16,17,25,21,0,1,0,20,0,8,7,21,0,2,0,20,21,0,4,21,3,8,0,10,8,7,16,17,25,21,0,1,0,24,21,3,8,0,14,8,0,9,0,24,19,21,3,9,21,1,5,21,0,2,7,21,3,7,0,19,8,8,21,1,7,17,21,1,5,21,0,2,0,10,21,1,7,17,7,22,1,6,13,14,0,24,22,1,7,12,14,21,0,1,21,3,23,16,25,21,0,2,0,10,22,1,7,13,14,21,0,2,25,0,24,22,1,9,12,25,21,1,3,0,9,21,1,4,21,3,23,16,17,0,19,16,0,20,0,8,21,3,7,21,1,3,8,21,3,4,0,18,7,21,1,4,19,7,16,22,0,3,11,21,3,27,22,1,10,13,14,21,0,3,21,3,25,0,10,7,21,1,7,17,0,14,21,3,7,0,24,8,0,9,0,24,19,21,3,9,15,199,8,16,14,21,0,1,0,17,16,21,3,8,0,18,8,22,0,4,11,14,21,1,9,21,3,1,21,3,9,15,200,8,16,14,21,1,6,0,17,21,1,10,17,0,20,21,0,4,7,16,25,21,0,1,0,19,16,0,20,0,9,21,3,7,21,0,1,8,21,3,4,0,18,7,21,1,3,19,7,16,25,21,0,1,0,19,16,0,20,0,10,21,3,7,21,0,2,8,7,16,25,21,0,1,0,24,0,9,21,1,3,17,21,3,18,21,0,2,17,21,3,9,21,3,62,21,0,0,21,3,7,21,0,2,0,8,0,24,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,80,21,0,1,17,0,19,16,0,20,21,2,6,0,3,16,7,16,21,3,27,22,2,6,13,14,21,2,7,25,21,0,1,21,3,67,21,2,7,17,0,20,21,2,6,21,3,8,0,18,8,7,16,25,21,0,2,0,20,21,0,1,21,3,8,0,18,8,7,16,25,21,0,1,21,3,76,21,0,2,17,0,21,21,3,70,7,16,21,3,25,21,3,79,7,16,22,0,3,11,14,21,0,3,21,3,96,16,0,20,21,0,2,21,3,8,0,18,8,7,16,21,3,25,21,3,72,7,16,22,0,4,11,14,21,0,3,21,3,74,21,3,7,21,1,4,8,21,3,9,21,0,2,21,0,1,3,2,21,3,8,21,3,47,0,18,7,8,21,3,5,15,201,8,8,16,14,21,0,4,25,21,1,4,21,3,79,21,3,7,21,0,1,8,21,3,6,21,2,5,8,21,1,3,17,21,3,76,21,3,7,0,23,8,21,3,9,21,0,1,21,3,79,0,24,17,21,3,5,21,1,5,8,8,16,25,21,0,1,0,24,21,3,8,21,3,74,8,21,3,9,15,202,8,21,0,2,17,25,21,0,2,21,3,114,16,21,3,97,16,22,0,3,11,14,21,0,1,21,3,113,21,0,2,21,3,29,21,0,3,17,17,21,3,4,21,3,80,7,0,24,17,21,3,69,0,23,17,21,3,4,21,3,29,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,112,21,3,50,8,21,0,2,21,3,29,21,0,4,17,17,21,2,2,21,3,9,21,3,72,21,3,7,21,3,80,21,3,7,21,0,4,8,8,21,3,79,21,3,2,19,8,21,0,2,21,3,75,16,17,25,21,0,1,21,1,8,0,9,0,24,17,21,4,9,21,1,9,0,9,0,24,19,21,4,9,15,203,8,8,0,24,0,9,21,0,1,17,17,25,21,0,2,0,8,21,1,3,17,22,1,4,12,14,21,0,1,0,8,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,8,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,15,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,8,0,24,17,22,1,4,12,0,14,21,1,6,17,0,10,0,25,17,0,8,22,1,8,13,14,21,0,2,25,21,0,1,0,8,0,24,17,22,1,7,12,0,14,21,1,5,17,0,8,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,0,21,1,8,8,21,0,2,17,25,21,0,1,0,18,21,1,7,21,1,13,21,1,4,17,17,25,0,24,0,8,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,0,19,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,3,21,0,1,0,3,16,7,21,1,4,3,2,21,4,0,0,15,21,4,7,0,23,8,8,22,1,4,12,25,21,0,1,21,4,25,21,4,80,7,16,21,4,72,16,22,2,3,12,14,21,0,1,21,4,25,21,4,68,7,16,21,4,72,21,1,4,17,22,1,4,12,25,0,25,21,4,64,21,0,2,17,21,4,68,16,22,0,3,11,21,4,79,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,0,18,21,0,5,17,21,2,3,21,0,2,21,4,67,0,25,17,21,4,72,21,0,5,17,21,4,79,21,0,3,17,17,25,21,0,1,14,0,25,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25] + [0,1,14,0,2,14,15,1,22,0,0,11,14,15,2,22,0,1,11,14,15,3,0,22,15,4,8,22,0,2,11,14,15,5,22,0,3,11,14,15,6,22,0,4,11,14,15,7,22,0,5,11,14,15,8,22,0,6,11,14,15,9,22,0,7,11,14,15,10,22,0,8,11,14,15,11,22,0,9,11,14,0,0,0,14,0,23,19,22,0,10,11,14,0,23,0,14,21,0,7,0,13,8,3,2,21,0,0,0,0,0,14,0,24,19,8,22,0,11,11,14,0,23,0,14,21,0,7,0,13,8,0,10,0,15,21,0,7,0,23,8,19,3,2,21,0,0,0,0,0,14,0,24,19,8,22,0,12,11,14,15,12,0,17,3,2,21,0,0,21,0,10,8,22,0,13,11,14,15,13,0,22,15,14,8,22,0,14,11,14,15,15,22,0,15,11,14,21,0,10,0,9,0,24,19,21,0,9,21,0,15,8,22,0,16,11,14,21,0,4,0,15,7,22,0,17,11,14,21,0,17,0,9,0,24,19,0,22,21,0,15,8,22,0,18,11,14,0,15,0,9,0,24,19,22,0,19,11,14,15,16,0,18,21,0,19,19,0,22,0,13,8,22,0,20,11,14,15,17,0,18,21,0,18,19,0,22,0,9,21,0,5,21,0,20,21,0,5,0,9,8,8,8,22,0,21,11,14,0,9,21,0,1,3,2,21,0,0,0,15,21,0,7,0,23,8,8,22,0,22,11,14,0,24,0,16,0,18,0,23,19,3,2,21,0,0,0,14,21,0,18,0,23,19,8,22,0,23,11,14,15,18,22,0,24,11,14,21,0,24,22,0,25,11,14,0,16,21,0,8,15,19,8,22,0,26,11,14,15,20,22,0,27,11,14,15,21,15,22,3,2,21,0,0,21,0,1,21,0,5,0,14,8,0,14,0,24,19,8,22,0,28,11,14,21,0,28,22,0,29,11,14,15,23,22,0,30,11,14,15,24,22,0,31,11,14,0,15,0,9,21,0,17,19,22,0,32,11,14,0,24,0,17,0,18,0,23,19,21,0,8,0,15,0,10,0,25,19,0,9,0,24,19,15,25,3,2,21,0,0,21,0,1,21,0,5,21,0,10,8,8,8,3,2,21,0,0,21,0,1,21,0,5,0,16,8,21,0,25,0,10,7,0,24,19,21,0,18,0,23,19,8,22,0,33,11,14,21,0,32,21,0,33,21,0,4,21,0,33,7,0,9,9,3,2,21,0,0,21,0,2,21,0,5,21,0,10,8,8,15,26,3,3,21,0,0,21,0,10,21,0,6,0,8,8,8,22,0,34,11,14,15,27,22,0,35,11,14,15,28,22,0,36,11,14,0,14,21,0,18,0,23,19,21,0,9,15,29,8,22,0,37,11,14,0,14,21,0,18,0,23,19,21,0,9,15,30,8,22,0,38,11,14,15,31,22,0,39,11,14,15,32,22,0,40,11,14,15,33,22,0,41,11,14,15,34,22,0,42,11,14,15,35,22,0,43,11,14,15,36,22,0,44,11,14,15,37,22,0,45,11,14,15,38,22,0,46,11,14,15,39,22,0,47,11,14,21,0,10,21,0,6,0,14,8,0,23,3,2,21,0,1,21,0,5,21,0,10,8,0,14,3,2,0,14,21,0,6,0,14,8,0,23,3,2,0,16,21,0,6,21,0,47,0,14,7,8,21,0,25,0,10,7,0,24,19,0,23,3,2,15,40,3,5,21,0,25,15,41,7,16,22,0,48,11,14,0,23,15,42,3,2,21,0,0,21,0,10,8,22,0,49,11,14,21,0,48,0,22,21,0,49,8,22,0,50,11,14,21,0,48,0,9,0,24,19,0,22,3,0,0,16,3,2,21,0,0,21,0,10,8,8,22,0,51,11,14,21,0,10,21,0,9,0,17,21,0,5,21,0,23,8,21,0,18,0,23,19,21,0,9,15,43,8,8,22,0,52,11,14,15,44,21,0,9,15,45,15,46,3,2,21,0,0,0,24,0,20,0,14,0,14,0,24,19,7,21,0,25,0,10,7,0,24,19,0,9,0,24,19,3,2,21,0,0,0,14,0,14,0,24,19,8,8,8,22,0,53,11,14,15,47,22,0,54,11,14,21,0,54,0,59,21,0,22,21,0,8,0,14,8,0,9,0,24,19,15,48,3,3,7,22,0,55,11,14,21,0,54,0,60,0,14,21,0,7,0,23,8,0,9,0,24,19,15,49,3,3,7,22,0,56,11,14,15,50,22,0,57,11,14,15,51,22,0,58,11,14,15,52,22,0,59,11,14,15,53,22,0,60,11,14,15,54,22,0,61,11,14,15,55,22,0,62,11,14,15,56,22,0,63,11,14,21,0,31,0,11,7,22,0,64,11,14,21,0,31,0,12,7,22,0,65,11,14,21,0,4,21,0,64,21,0,8,21,0,65,8,7,0,22,0,25,21,0,64,16,21,0,8,21,0,65,8,8,22,0,66,11,14,21,0,31,15,57,0,22,21,0,22,8,7,22,0,67,11,14,21,0,31,15,58,0,22,21,0,20,8,7,22,0,68,11,14,21,0,31,15,59,0,22,0,9,21,0,5,21,0,68,21,0,5,0,9,8,8,8,7,22,0,69,11,14,21,0,31,0,10,7,0,22,21,0,43,0,23,7,8,22,0,70,11,14,21,0,31,0,10,0,9,0,8,19,7,0,22,21,0,43,0,24,7,8,22,0,71,11,14,21,0,31,0,10,0,22,21,0,19,0,9,21,0,18,19,21,0,7,0,23,8,8,7,22,0,72,11,14,21,0,31,21,0,17,0,9,0,24,19,7,0,22,21,0,15,8,22,0,73,11,14,21,0,31,0,15,0,9,0,24,19,7,0,22,21,0,52,8,22,0,74,11,14,21,0,31,0,14,0,9,0,24,19,7,0,22,21,0,23,8,22,0,75,11,14,21,0,31,0,14,7,0,22,0,14,8,22,0,76,11,14,21,0,31,21,0,17,7,0,22,21,0,3,0,23,7,0,7,0,73,19,8,22,0,77,11,14,21,0,31,0,15,7,0,22,21,0,3,0,23,7,0,7,0,74,19,8,22,0,78,11,14,21,0,31,0,8,7,22,0,79,11,14,21,0,31,0,9,7,22,0,80,11,14,21,0,80,21,0,79,0,24,19,22,0,81,11,14,21,0,79,0,23,3,2,21,0,80,0,23,3,2,21,0,72,0,24,3,2,21,0,64,0,24,3,2,21,0,65,0,24,3,2,21,0,66,0,24,3,2,21,0,70,0,24,3,2,21,0,71,0,23,3,2,21,0,81,0,24,3,2,21,0,67,0,23,3,2,21,0,68,0,31,3,2,21,0,69,0,30,3,2,21,0,73,0,23,3,2,21,0,78,0,24,3,2,21,0,76,0,24,3,2,21,0,77,0,24,3,2,21,0,74,0,23,3,2,21,0,75,0,23,3,2,3,18,21,0,25,15,60,7,21,0,4,0,23,7,0,7,0,75,19,3,1,0,18,0,23,17,17,22,0,82,11,14,15,61,22,0,83,11,14,0,17,0,22,21,0,13,8,22,0,84,11,14,15,62,22,0,85,11,14,15,63,22,0,86,11,14,15,64,22,0,87,11,14,15,65,22,0,88,11,14,15,66,22,0,89,11,14,21,0,89,22,0,90,11,14,21,0,84,21,0,6,21,0,27,8,15,67,3,2,21,0,0,21,0,76,21,0,73,0,24,19,21,0,6,21,0,71,8,8,22,0,91,11,14,21,0,29,21,0,7,21,0,36,8,22,0,92,11,14,21,0,75,21,0,76,0,23,19,21,0,80,0,24,19,21,0,63,15,68,15,69,3,2,21,0,0,21,0,2,21,0,5,21,0,10,8,8,8,22,0,93,11,14,21,0,55,0,22,21,0,41,8,22,0,94,11,14,21,0,56,0,22,21,0,42,8,22,0,95,11,14,21,0,61,0,22,21,0,85,8,22,0,96,11,14,0,23,21,0,63,21,0,40,8,0,22,21,0,39,8,22,0,97,11,14,21,0,93,0,22,21,0,36,8,22,0,98,11,14,21,0,58,0,22,21,0,58,21,0,7,21,0,60,8,8,22,0,99,11,14,21,0,59,0,22,21,0,59,21,0,7,21,0,60,8,8,22,0,100,11,14,15,70,22,0,101,11,14,15,71,22,0,102,11,14,15,72,22,0,103,11,14,15,73,22,0,104,11,14,21,0,104,15,74,3,2,21,0,0,21,0,2,21,0,5,21,0,84,21,0,5,0,20,21,0,10,7,8,8,21,0,25,21,0,71,7,9,8,22,0,105,11,14,21,0,105,21,0,7,21,0,84,21,0,1,3,2,21,0,0,21,0,10,8,8,22,0,106,11,14,15,75,22,0,107,11,14,15,76,22,0,108,11,14,15,77,22,0,109,11,14,15,78,22,0,110,11,14,21,0,87,22,0,111,11,14,21,0,88,22,0,112,11,14,21,0,110,21,0,34,7,0,22,0,23,21,0,35,21,0,34,8,8,22,0,113,11,14,21,0,110,21,0,4,21,0,34,7,7,0,22,0,24,21,0,35,21,0,4,21,0,34,7,8,8,22,0,114,11,14,15,79,22,0,115,11,14,0,6,21,0,7,21,0,47,0,24,7,8,22,0,116,11,14,15,80,22,0,117,11,14,21,0,117,21,0,1,21,0,5,0,21,21,0,79,7,8,21,0,4,21,0,80,7,0,24,19,21,0,4,21,0,29,7,21,0,4,21,0,98,21,0,5,21,0,113,21,0,5,21,0,116,8,8,7,19,7,22,0,118,11,14,15,81,22,0,119,11,14,21,0,14,21,0,5,21,0,74,8,22,0,120,11,14,21,0,91,0,22,21,0,53,8,22,0,121,11,14,21,0,103,0,22,21,0,102,8,22,0,122,11,14,21,0,115,0,24,7,0,22,21,0,118,8,22,0,123,11,14,21,0,4,21,0,115,0,23,7,7,0,22,21,0,117,21,0,1,7,8,22,0,124,11,14,15,82,22,0,125,11,14,15,83,22,0,126,11,14,15,84,22,0,127,11,14,15,85,22,0,128,11,14,21,0,127,0,22,21,0,37,8,22,0,129,11,14,21,0,113,21,0,5,21,0,113,8,21,0,29,21,0,80,21,0,1,19,21,0,4,21,0,123,7,19,22,0,130,11,14,15,86,22,0,131,11,14,0,24,21,0,63,21,0,45,8,21,0,7,21,0,16,8,0,22,21,0,44,8,22,0,132,11,14,21,0,106,0,22,21,0,84,0,18,0,23,19,8,22,0,133,11,14,15,87,22,0,134,11,14,15,88,22,0,135,11,14,15,89,22,0,136,11,14,21,0,73,21,0,123,21,0,5,21,0,133,8,21,0,5,21,0,68,21,0,97,21,0,94,3,4,19,22,0,137,11,14,21,0,136,22,0,138,11,14,21,0,83,0,22,21,0,13,8,22,0,139,11,14,21,0,46,22,0,140,11,14,21,0,131,0,22,21,0,130,8,22,0,141,11,14,21,0,119,0,22,21,0,98,21,0,7,21,0,124,8,8,22,0,142,11,14,0,7,21,0,7,0,109,8,22,0,143,11,14,0,7,21,0,7,0,110,8,22,0,144,11,14,21,0,3,0,23,7,0,7,0,111,19,22,0,145,11,14,15,90,22,0,146,11,14,15,91,22,0,147,11,14,15,92,22,0,148,11,14,15,93,22,0,149,11,14,21,0,79,21,0,4,21,0,80,7,0,22,21,0,79,8,21,0,80,21,0,80,21,0,72,21,0,4,21,0,64,7,0,22,21,0,1,8,21,0,64,21,0,64,21,0,65,21,0,31,0,4,7,21,0,66,21,0,4,21,0,65,7,0,22,21,0,4,21,0,72,7,8,21,0,70,21,0,4,21,0,64,7,0,22,21,0,70,21,0,146,21,0,1,8,8,21,0,71,21,0,2,21,0,80,0,24,19,21,0,64,21,0,4,21,0,80,7,19,0,22,21,0,71,21,0,146,21,0,1,8,8,21,0,81,21,0,81,21,0,73,0,23,21,0,5,21,0,143,8,0,22,15,94,8,21,0,1,21,0,1,21,0,2,21,0,50,21,0,5,21,0,144,8,21,0,2,21,0,1,19,0,22,21,0,1,8,21,0,121,15,95,0,22,0,23,21,0,5,21,0,143,8,8,21,0,120,15,96,0,22,15,97,8,21,0,94,0,23,21,0,5,21,0,143,8,0,22,21,0,94,21,0,146,21,0,133,21,0,7,0,29,8,8,8,21,0,95,0,23,21,0,5,21,0,143,8,0,22,21,0,95,21,0,146,21,0,133,8,8,21,0,96,0,23,21,0,5,21,0,143,8,0,22,21,0,96,21,0,146,21,0,51,8,8,21,0,97,21,0,97,21,0,7,21,0,80,8,0,22,21,0,97,8,21,0,129,21,0,128,0,22,21,0,38,8,21,0,98,0,23,21,0,5,21,0,143,8,0,22,15,98,8,21,0,122,21,0,148,0,22,21,0,147,8,3,42,21,0,149,21,0,145,8,22,0,150,11,14,15,99,22,0,151,11,14,15,100,22,0,152,11,14,15,101,21,0,6,15,102,8,22,0,153,11,14,15,103,21,0,4,21,0,79,21,0,4,21,0,80,7,0,22,0,25,21,0,8,21,0,64,8,8,21,0,80,21,0,79,0,22,0,23,21,0,5,21,0,143,8,8,21,0,72,21,0,4,21,0,64,7,0,22,21,0,66,8,21,0,64,21,0,72,0,22,0,23,21,0,5,21,0,143,8,8,21,0,65,21,0,66,0,22,0,23,21,0,5,21,0,143,8,8,21,0,66,0,4,21,0,64,9,0,22,0,23,21,0,5,21,0,143,8,8,21,0,70,21,0,4,21,0,64,7,0,22,21,0,66,8,21,0,71,21,0,2,21,0,80,0,24,19,21,0,64,21,0,4,21,0,80,7,19,0,22,21,0,81,21,0,5,21,0,66,8,21,0,81,9,8,21,0,81,21,0,3,0,24,7,21,0,80,21,0,79,19,0,22,0,23,21,0,5,21,0,143,8,8,3,18,21,0,149,21,0,145,8,21,0,47,15,104,21,0,151,15,105,21,0,62,15,106,0,21,15,107,3,10,21,0,149,21,0,3,21,0,145,7,8,7,22,0,154,11,14,0,24,0,1,21,0,132,0,23,0,29,3,2,19,21,0,50,0,32,21,0,3,3,2,19,3,2,21,0,134,0,0,21,0,78,0,27,19,8,22,0,155,11,14,15,108,21,0,152,15,109,21,0,5,21,0,153,21,0,6,15,110,21,0,140,15,111,21,0,138,21,0,3,0,23,21,0,5,21,0,143,8,7,15,112,3,2,21,0,134,21,0,1,21,0,5,21,0,11,8,8,0,22,15,113,21,0,7,15,114,15,115,21,0,1,3,2,21,0,134,21,0,2,8,21,0,2,21,0,5,21,0,155,8,19,21,0,8,21,0,3,21,0,145,7,15,116,3,2,21,0,134,21,0,1,21,0,5,21,0,155,8,8,3,16,21,0,149,21,0,3,21,0,145,7,8,7,22,0,156,11,14,15,117,22,0,157,11,14,0,1,21,0,95,21,0,7,0,24,8,21,0,1,21,0,133,21,0,5,21,0,150,8,9,21,0,3,21,0,3,0,23,7,0,7,0,112,19,7,21,0,1,21,0,25,21,0,153,7,9,21,0,157,21,0,154,21,0,156,3,6,21,0,134,21,0,2,8,21,0,133,19,9,22,0,158,11,14,15,118,21,0,158,21,0,3,0,23,7,0,7,0,113,19,3,3,21,0,98,0,27,0,24,0,25,3,3,17,21,0,134,0,0,8,22,0,159,11,14,15,119,22,0,160,11,14,21,0,79,21,0,80,21,0,72,21,0,64,21,0,65,21,0,66,21,0,68,21,0,69,21,0,67,21,0,81,21,0,70,21,0,71,21,0,73,21,0,74,21,0,75,21,0,76,21,0,78,21,0,77,21,0,50,21,0,51,21,0,2,21,0,1,21,0,139,21,0,121,21,0,120,21,0,94,21,0,95,21,0,96,21,0,100,21,0,99,21,0,97,21,0,129,21,0,98,21,0,113,21,0,114,21,0,132,21,0,133,21,0,123,21,0,141,21,0,124,21,0,142,21,0,122,0,7,21,0,3,21,0,4,21,0,62,21,0,47,21,0,151,21,0,160,21,0,25,21,0,90,0,21,21,0,5,21,0,6,21,0,7,21,0,8,21,0,140,0,22,21,0,134,21,0,112,21,0,111,21,0,138,3,62,25,21,0,1,15,120,21,0,5,0,18,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,2,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,2,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,2,21,0,2,17,17,25,21,0,1,15,121,21,1,1,21,0,4,3,2,0,18,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,17,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,14,16,0,14,0,24,17,0,7,0,35,17,14,21,0,1,22,0,5,11,21,1,23,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,2,0,22,15,122,15,123,3,2,21,1,0,21,0,6,21,1,18,0,23,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,19,16,0,20,0,9,21,1,7,0,24,0,9,21,0,6,17,8,7,16,0,20,15,124,7,16,14,21,0,8,25,21,0,2,0,9,21,0,1,21,1,23,16,17,0,19,16,0,20,21,1,3,21,0,1,7,0,18,0,8,21,1,7,21,0,2,8,19,7,16,25,21,0,2,21,1,23,16,22,0,3,11,14,21,0,1,21,1,23,16,0,8,21,0,3,17,0,19,16,0,20,21,0,2,21,1,8,0,18,8,21,1,4,21,0,1,7,0,18,21,0,3,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,3,8,8,7,16,25,21,0,1,21,1,26,0,24,17,22,0,3,11,21,1,25,0,10,7,0,24,17,22,0,4,11,14,21,0,4,0,19,16,0,17,21,0,3,17,0,20,0,8,21,1,7,0,10,21,1,7,21,0,4,8,8,21,1,4,0,18,7,21,0,1,0,17,16,19,7,21,0,2,17,25,21,0,2,0,20,21,0,1,21,1,8,0,18,8,7,16,25,15,125,22,0,2,11,14,15,126,22,0,3,11,14,21,0,3,21,0,1,7,21,1,4,21,0,3,21,1,4,21,0,1,7,7,7,3,2,21,1,0,0,14,21,1,6,21,1,19,8,8,21,0,2,21,0,1,7,3,2,21,1,0,0,14,21,1,6,0,14,8,8,25,15,127,21,0,1,7,22,0,2,11,14,21,0,1,15,128,15,129,3,2,21,1,0,21,1,10,21,1,6,21,1,19,8,8,0,22,0,20,21,0,2,7,8,21,1,30,21,0,2,7,3,3,21,1,0,21,1,10,21,1,6,0,8,8,8,25,21,0,1,21,1,33,21,0,2,17,25,21,0,1,0,16,21,1,6,21,1,107,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,25,21,1,108,21,0,1,0,17,16,21,1,8,0,18,8,21,1,8,21,1,34,21,1,7,21,0,2,0,17,16,21,1,8,0,18,8,8,8,7,7,16,22,0,4,11,14,0,23,21,1,4,21,0,4,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,38,17,14,21,0,1,21,1,23,16,22,0,6,11,14,21,0,1,21,1,26,0,24,17,21,1,25,0,10,7,0,24,17,22,0,7,11,14,21,0,1,0,17,16,22,0,8,11,14,0,23,22,0,9,11,22,0,10,11,14,21,0,8,0,23,0,20,21,1,11,7,21,1,25,0,10,7,0,24,19,3,2,21,1,0,21,0,6,21,1,18,0,26,17,0,10,0,24,0,14,21,0,7,17,17,8,16,21,1,1,21,1,9,21,0,1,21,1,8,15,130,8,8,16,0,9,0,24,17,22,0,11,11,14,21,0,1,0,20,21,0,10,21,1,8,0,9,8,0,9,21,1,7,21,0,9,8,3,2,0,18,21,0,5,17,7,0,6,21,1,7,0,5,8,9,15,131,21,0,4,7,3,2,21,1,0,21,0,11,8,16,25,21,0,1,0,14,16,0,14,0,24,17,0,7,0,39,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,0,3,21,1,18,0,23,17,21,1,9,15,132,8,16,25,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,1,26,0,24,17,22,0,4,11,21,1,25,0,10,7,0,24,17,22,0,5,11,14,21,0,3,0,19,16,0,20,21,1,3,21,0,1,0,17,16,7,0,18,0,10,21,1,7,21,0,5,8,21,1,8,0,8,8,19,7,21,0,5,0,19,16,0,17,21,0,4,17,17,25,21,0,1,0,14,16,21,1,4,0,9,7,0,24,17,22,0,3,11,14,21,0,1,0,16,16,22,0,4,11,14,21,0,4,0,18,21,0,3,17,22,0,5,11,14,21,0,3,0,19,16,0,20,21,0,4,21,1,8,0,18,8,7,16,22,0,6,11,14,21,0,6,21,1,25,0,10,7,0,24,17,0,19,16,0,17,21,0,6,17,0,20,21,1,3,21,0,1,0,17,16,7,0,18,0,10,21,1,7,21,0,5,8,21,1,8,0,8,8,19,7,21,0,5,0,19,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,41,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,1,21,1,29,21,0,3,0,19,16,0,20,0,9,21,1,7,0,24,0,9,21,0,3,17,8,7,16,17,25,21,0,2,21,1,11,16,0,7,0,42,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,3,0,11,21,0,2,17,21,1,20,16,0,10,21,0,3,17,0,9,22,0,2,13,14,21,0,1,21,1,29,21,0,3,0,19,16,0,20,21,1,1,0,15,21,0,2,0,9,21,0,3,17,19,0,10,21,0,3,19,0,9,21,1,1,19,0,8,21,0,2,19,7,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,43,17,14,21,0,1,21,1,23,16,0,8,0,24,17,0,19,16,0,20,21,0,1,21,1,8,21,1,29,21,1,7,0,19,8,8,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,44,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,3,0,8,0,24,17,0,19,16,0,20,21,0,1,21,1,8,21,1,29,21,1,7,15,133,8,8,7,16,25,21,1,29,21,1,7,21,0,1,21,1,35,21,1,34,21,1,4,21,1,34,7,3,2,0,18,21,0,1,17,8,8,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,45,17,14,21,0,1,21,1,28,0,23,21,1,18,16,17,25,21,0,2,21,1,10,16,0,7,0,46,17,14,21,0,2,0,20,21,1,11,7,16,0,17,16,21,1,25,0,10,7,0,24,17,0,7,0,47,17,14,21,0,1,21,1,23,16,22,0,3,11,14,21,0,2,0,20,21,1,19,21,1,7,21,0,3,8,0,10,0,15,21,1,7,21,0,3,0,9,16,8,19,7,16,0,17,16,21,1,25,0,10,7,0,24,17,0,7,0,48,17,14,21,0,1,21,1,29,21,1,7,0,20,21,1,1,21,1,19,0,23,19,0,10,21,0,3,19,0,8,21,1,1,19,7,8,21,0,2,17,25,21,0,1,0,16,16,22,0,6,11,21,1,25,0,10,7,0,24,17,22,0,7,11,0,19,16,22,0,8,11,14,21,0,1,21,0,5,21,1,6,21,0,4,8,21,0,2,17,22,0,9,11,14,21,0,8,0,17,21,0,6,17,21,0,5,16,22,0,10,11,14,15,134,0,17,3,2,0,18,21,0,10,21,1,10,16,17,22,0,11,11,14,21,0,9,21,0,11,16,22,0,9,12,14,21,0,10,21,0,11,16,22,0,10,12,14,21,0,10,0,23,21,1,35,21,1,32,8,16,22,0,12,11,14,21,1,4,21,0,10,7,0,18,21,0,12,21,1,8,0,18,8,19,21,0,7,3,2,21,1,0,0,15,21,1,7,21,0,12,21,1,23,16,8,8,22,0,13,11,14,0,23,22,0,14,11,21,0,13,16,22,0,15,11,14,21,0,8,0,20,21,0,1,0,17,16,21,1,8,0,18,8,15,135,3,2,21,1,0,15,136,8,7,16,0,17,21,0,6,17,25,21,0,1,21,1,16,21,1,6,21,1,30,21,0,4,7,0,22,0,20,21,0,4,7,8,8,21,0,2,17,25,21,0,1,21,1,47,21,1,48,7,21,0,2,17,0,17,16,21,1,25,0,10,7,0,24,17,25,21,0,2,0,18,0,24,17,21,0,1,3,2,21,1,0,21,0,2,0,18,0,23,17,8,25,21,0,1,0,17,16,0,20,21,1,49,7,16,21,1,25,0,9,0,10,0,15,19,0,9,21,1,2,19,7,0,23,17,0,8,0,24,17,25,21,0,1,0,17,16,0,18,0,23,17,21,1,51,16,22,0,3,11,14,21,0,1,0,17,16,0,20,21,1,51,21,1,50,21,0,3,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,49,17,14,21,0,3,21,1,25,0,10,7,0,24,17,0,19,16,0,17,21,0,3,17,0,20,21,1,4,21,1,13,21,1,8,0,18,8,7,7,21,0,1,17,25,21,0,1,21,1,10,16,0,7,0,54,17,14,21,0,1,0,17,16,21,1,23,16,21,1,18,0,23,17,25,0,29,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,20,21,1,23,7,16,21,1,36,16,0,20,15,137,7,16,25,21,0,1,0,17,16,22,0,3,11,21,1,23,16,22,0,4,11,14,21,0,3,0,20,21,1,51,7,16,22,0,5,11,14,21,0,5,0,18,0,23,17,21,1,23,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,5,0,20,21,1,23,0,14,21,0,6,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,50,17,14,21,0,7,21,1,17,21,0,6,17,0,7,0,51,17,14,15,138,22,0,8,11,14,21,0,1,21,1,51,16,22,0,9,11,14,0,24,22,0,10,11,14,0,23,21,1,18,16,22,0,11,11,22,0,12,11,14,21,0,7,0,19,16,21,1,47,15,139,7,21,0,9,21,1,39,16,21,0,8,0,10,7,0,24,17,21,1,39,16,17,14,21,1,47,15,140,21,0,3,0,20,0,17,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,141,3,2,21,1,0,21,0,6,21,1,18,21,0,7,17,8,21,0,12,17,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,56,21,1,27,21,0,2,17,21,1,27,0,55,17,22,0,5,11,14,0,57,22,0,6,11,14,0,58,22,0,7,11,14,15,142,25,21,0,1,21,1,22,16,22,0,5,11,21,1,18,21,1,7,21,0,2,8,21,1,9,21,0,4,8,16,14,21,0,5,0,19,16,0,20,21,0,1,0,8,21,0,2,17,21,1,8,0,8,8,7,0,20,0,23,21,1,8,21,1,18,8,21,1,9,0,30,8,7,9,0,20,0,15,21,1,7,21,0,2,8,21,1,9,0,30,8,7,3,2,21,1,0,21,0,1,21,1,18,0,23,17,8,16,25,21,0,1,14,0,8,21,1,21,0,23,19,0,19,9,0,9,21,1,21,0,23,19,0,19,9,0,20,0,8,7,21,1,1,21,1,5,21,1,18,8,19,3,2,21,1,0,21,1,18,21,1,7,0,23,8,8,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,61,17,14,21,0,2,0,14,21,1,6,0,9,8,21,0,1,17,22,0,3,11,14,21,0,3,0,15,0,23,17,0,7,0,62,17,14,21,0,3,21,1,17,0,24,17,0,7,0,63,17,14,21,0,1,21,1,26,0,24,17,22,0,4,11,14,21,0,4,21,1,23,16,0,19,16,0,20,21,1,3,21,0,2,21,1,51,16,7,0,18,21,0,3,0,9,0,24,17,21,1,8,0,8,8,19,0,14,21,0,4,21,1,8,0,18,8,19,7,16,21,1,25,0,10,7,0,24,17,0,7,0,64,17,14,21,0,4,21,1,25,0,10,7,0,24,17,25,21,0,1,21,1,57,21,0,2,17,22,0,3,11,14,21,0,2,0,24,21,1,23,3,2,21,1,0,21,1,1,0,14,21,1,6,0,15,8,21,0,1,19,8,16,0,10,21,0,3,17,22,0,4,11,14,21,0,1,21,1,23,16,0,10,21,0,3,17,0,19,16,0,20,21,0,2,21,1,13,16,21,1,8,0,18,8,21,1,3,21,0,1,0,17,16,7,0,18,21,0,4,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,4,8,8,7,16,0,17,21,0,1,21,1,51,16,17,25,21,0,1,21,1,57,21,0,2,17,22,0,3,11,14,21,0,1,21,1,23,16,0,10,21,0,3,17,22,0,4,11,14,21,0,2,0,24,21,1,23,3,2,21,1,0,21,1,1,0,14,21,1,6,0,15,8,21,0,1,19,8,16,0,10,21,0,3,17,22,0,5,11,14,21,0,5,0,9,21,0,4,17,22,0,6,11,14,21,0,4,0,19,16,0,20,21,1,3,21,0,1,0,17,16,7,0,18,21,0,5,21,1,8,0,8,8,19,21,1,3,21,0,2,21,1,13,16,7,0,18,21,0,6,21,1,8,0,9,8,19,3,2,21,1,0,0,15,21,1,7,21,0,6,8,8,7,16,0,17,21,0,1,21,1,51,16,17,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,61,17,14,21,0,1,21,1,26,0,24,17,21,1,1,21,1,25,0,10,7,0,24,19,0,19,9,21,1,8,0,17,8,16,0,20,21,0,1,0,3,16,7,16,25,21,0,1,21,1,10,16,0,7,0,65,17,14,21,0,2,0,14,16,21,1,17,0,24,17,0,7,0,66,17,14,21,0,2,21,1,13,16,22,0,2,12,21,1,23,16,22,0,3,11,14,21,0,1,21,0,3,21,1,18,0,23,17,21,1,9,15,143,8,21,0,2,17,25,21,0,1,0,29,21,1,88,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,15,144,15,145,3,2,21,1,0,21,1,2,21,1,5,21,1,50,21,1,18,21,0,2,19,8,8,25,21,0,2,21,1,64,21,0,1,17,21,1,20,16,0,10,21,0,2,17,0,9,21,0,1,17,25,21,0,2,21,0,1,3,2,0,18,21,0,1,21,1,19,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,18,21,0,1,21,1,18,21,0,2,17,17,25,21,0,1,21,0,2,0,18,0,24,17,3,2,21,1,0,15,146,21,0,2,0,18,0,23,17,7,8,25,21,0,2,21,1,76,16,21,1,77,0,24,17,0,7,0,76,17,14,21,0,2,21,1,13,16,22,0,3,11,14,21,0,3,0,20,21,1,12,7,16,21,1,81,16,22,0,4,11,21,1,25,21,1,79,7,16,22,0,5,11,14,21,0,5,21,1,77,0,24,17,0,7,0,77,17,14,21,0,1,21,1,13,16,22,0,6,11,21,1,75,16,22,0,7,11,14,21,0,3,21,1,25,21,1,72,7,15,147,3,2,21,1,0,21,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,75,21,0,8,17,21,1,9,15,148,8,16,0,17,21,0,3,17,25,15,149,22,0,3,11,14,15,150,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,0,21,1,10,8,16,25,21,0,1,21,1,5,21,1,84,8,21,1,1,21,1,5,21,1,73,8,21,1,47,0,18,7,21,1,75,21,1,8,21,1,4,21,1,67,21,1,79,0,24,19,21,1,80,21,1,2,19,7,8,19,0,24,0,23,3,2,0,22,0,25,3,1,8,19,25,21,0,1,21,1,86,21,0,5,7,21,0,2,17,22,0,6,11,21,1,74,0,23,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,151,22,0,9,11,14,21,0,1,21,0,9,21,0,6,7,21,0,2,17,25,21,0,1,21,1,86,21,0,5,7,21,1,47,21,1,80,21,1,8,21,1,68,8,21,1,80,21,1,69,0,23,19,3,2,21,1,0,21,1,1,21,1,78,0,23,19,8,7,21,1,76,21,1,6,21,1,14,8,19,21,0,2,17,22,0,6,11,14,15,152,22,0,7,11,14,21,1,1,21,1,73,9,21,0,7,21,1,1,0,20,21,1,73,7,9,3,3,21,1,0,21,1,76,21,1,8,21,1,77,8,21,1,79,0,24,19,21,1,72,0,23,21,1,8,21,1,74,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,18,21,1,7,21,1,75,21,1,4,21,1,80,7,0,24,19,8,16,17,21,1,47,21,0,4,7,21,0,2,21,0,7,21,0,6,0,18,0,23,17,17,17,21,1,74,16,25,21,0,1,21,1,76,16,21,1,78,0,24,17,0,7,0,83,17,14,21,0,1,21,1,62,21,1,73,7,16,21,1,25,21,0,4,7,21,0,2,17,25,21,0,1,21,1,51,21,1,6,21,1,14,8,21,0,2,17,22,0,3,11,14,21,0,3,0,20,21,1,75,7,16,22,0,4,11,21,1,25,21,1,69,7,0,24,17,22,0,5,11,14,21,0,4,21,1,80,21,0,5,17,21,1,77,0,24,17,21,1,25,21,1,70,7,16,0,7,0,84,17,14,21,0,3,21,1,47,21,1,29,21,1,7,0,24,21,1,80,21,0,5,17,0,19,16,21,1,8,21,1,79,8,8,7,21,0,5,21,1,81,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,25,21,1,50,7,16,0,7,0,85,17,14,21,0,3,21,1,47,0,24,21,1,1,0,18,0,23,19,3,2,21,1,0,21,1,2,8,7,21,0,4,21,1,76,21,0,5,17,17,21,1,25,21,1,79,7,16,22,0,7,11,14,21,0,1,21,1,84,21,1,6,21,1,27,8,21,0,2,17,21,1,84,21,0,6,0,18,0,23,17,21,1,27,21,0,7,3,1,17,17,25,21,0,2,21,1,12,16,0,7,0,40,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,29,21,0,1,21,1,75,16,21,1,72,21,0,3,17,0,19,16,0,21,21,1,4,15,153,21,1,9,15,154,8,7,7,16,17,25,21,0,1,21,1,75,21,1,6,21,1,76,8,21,0,2,17,0,7,0,86,17,14,21,0,1,21,1,92,21,0,2,17,25,21,0,1,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,87,17,14,21,0,1,21,1,78,0,29,17,21,1,25,21,1,70,7,16,0,7,0,88,17,14,21,0,1,0,6,21,0,1,0,5,16,22,0,5,11,17,22,0,6,11,14,0,23,22,0,7,11,14,21,0,5,0,20,21,1,96,21,1,5,0,20,15,155,7,8,21,0,4,9,7,16,25,21,0,1,21,1,76,16,21,1,76,0,24,17,0,7,0,89,17,14,21,1,101,21,1,1,7,22,0,3,11,14,21,0,1,21,0,3,0,20,15,156,7,21,1,25,0,20,0,20,21,1,27,7,7,7,3,0,21,1,73,16,21,1,73,16,19,3,2,21,1,0,21,1,50,21,1,73,0,24,19,8,16,25,21,0,1,21,1,10,16,0,7,0,90,17,14,21,0,2,21,1,50,21,1,74,0,25,19,21,1,9,21,1,16,21,1,5,21,1,14,8,8,16,22,0,2,12,14,21,0,2,21,1,76,16,21,1,76,0,24,17,0,7,0,91,17,14,21,0,2,0,20,21,1,76,7,16,21,1,25,21,1,79,7,16,22,0,3,11,14,21,0,1,21,1,76,16,21,1,78,21,0,3,17,0,7,0,92,17,14,21,0,1,21,1,51,16,21,1,94,21,0,3,17,21,1,76,21,0,2,0,20,21,1,51,7,16,21,1,53,16,17,21,1,25,21,1,70,7,16,0,7,0,93,17,14,21,0,2,0,20,21,1,84,7,16,22,0,2,12,0,20,21,1,75,7,16,22,0,4,11,14,21,0,1,21,1,26,21,0,3,17,21,1,27,21,0,4,21,1,25,21,1,72,7,16,3,1,17,21,1,4,21,1,84,7,21,0,1,17,21,1,8,21,1,29,8,22,0,5,11,14,21,0,2,0,18,21,1,7,0,23,8,21,1,101,21,0,5,7,9,0,20,21,1,101,21,1,1,7,7,21,1,72,21,0,4,21,1,97,16,21,1,99,0,24,17,0,21,21,1,72,7,16,21,1,97,16,19,21,1,25,0,20,0,20,21,1,79,7,7,7,9,0,20,21,0,5,7,9,3,2,21,1,0,21,1,75,21,1,75,0,24,19,8,16,25,21,0,2,21,1,76,16,21,1,76,0,24,17,0,7,0,94,17,14,21,0,1,21,1,51,16,22,0,3,11,21,1,75,21,1,6,21,1,76,8,21,0,2,17,0,7,0,95,17,14,21,0,2,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,96,17,14,21,0,3,21,1,73,21,1,70,21,1,80,21,1,8,21,1,77,8,19,21,0,2,17,21,1,25,21,1,70,7,16,0,7,0,97,17,14,0,23,21,1,73,21,0,2,17,21,1,72,21,0,3,17,21,1,79,21,0,2,17,22,0,2,12,14,21,0,2,21,1,75,16,21,1,81,21,1,7,21,1,96,8,16,21,1,80,16,21,1,25,21,1,1,21,1,72,21,0,3,21,1,8,0,18,8,19,21,1,79,21,0,2,21,1,8,0,18,8,19,7,0,23,17,21,1,4,0,18,7,21,0,1,21,1,84,16,17,25,21,0,2,0,20,21,0,1,21,1,8,21,1,105,8,7,16,25,21,0,1,21,1,76,21,1,7,0,23,8,21,1,25,21,1,71,7,9,21,1,6,21,1,4,21,1,80,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,23,21,0,3,3,2,15,157,3,2,21,1,0,0,23,21,1,76,21,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,158,22,0,8,11,14,21,0,4,21,1,76,21,1,7,0,23,8,21,1,9,21,0,1,8,9,21,0,8,3,2,0,18,21,0,6,21,1,75,0,24,17,17,25,21,0,1,22,0,2,11,14,21,1,73,21,1,7,0,23,8,21,1,9,15,159,8,25,21,0,2,21,1,76,16,21,1,4,21,1,80,7,0,24,17,22,0,5,11,14,21,0,5,21,1,78,0,23,17,0,7,0,98,17,14,21,0,1,21,1,76,16,21,1,78,21,0,5,17,0,7,0,99,17,14,21,0,2,21,1,26,0,24,17,22,0,6,11,21,1,25,21,1,72,7,16,22,0,7,11,14,0,23,21,1,108,21,0,2,21,1,84,16,21,1,8,0,18,8,21,1,6,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,75,16,0,24,0,24,21,1,8,21,1,80,21,1,5,21,1,96,8,8,21,1,72,21,0,7,19,0,20,21,1,79,21,1,7,21,0,7,8,21,1,8,21,0,8,8,7,9,21,1,4,21,1,78,7,0,23,19,21,1,25,21,1,70,7,9,3,2,21,1,0,21,1,73,21,1,7,0,23,8,8,16,0,7,0,100,17,14,21,0,1,21,1,76,16,21,1,4,21,1,80,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,26,21,0,9,17,22,0,10,11,14,21,0,10,21,1,107,21,0,6,17,22,0,11,11,14,21,0,11,21,1,25,21,1,108,21,0,1,21,1,84,16,21,1,8,0,18,8,21,1,8,21,0,4,21,1,7,21,0,2,21,1,84,16,21,1,8,0,18,8,8,8,7,7,16,22,0,12,11,14,21,1,4,0,23,7,21,1,78,21,0,12,21,1,7,21,1,72,21,1,7,21,0,6,21,1,25,21,1,72,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,96,16,0,20,21,0,1,21,1,51,16,21,1,8,0,18,8,7,16,21,1,25,21,1,72,7,21,1,96,9,21,1,8,21,1,84,8,16,21,1,72,21,0,10,21,1,25,21,1,72,7,16,17,0,20,15,160,21,1,7,21,0,2,21,1,75,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,90,21,1,70,7,21,1,81,9,0,21,21,1,70,7,21,1,90,21,1,79,7,9,3,2,0,18,21,0,1,17,22,0,3,11,14,15,161,25,21,0,1,21,1,76,16,21,1,78,0,24,17,0,7,0,102,17,14,21,0,1,21,1,113,16,22,0,5,11,14,21,0,1,21,1,75,16,21,1,96,16,0,20,0,24,21,1,1,21,0,1,21,1,76,21,1,73,0,24,19,21,1,9,21,1,62,21,1,73,7,8,16,21,1,29,21,0,5,17,21,1,8,0,18,8,21,1,6,21,1,51,8,0,24,21,1,8,21,1,80,8,19,3,2,21,1,0,21,1,73,21,1,7,0,23,8,8,7,16,21,0,4,21,0,5,17,21,1,29,21,0,5,21,1,116,16,17,25,21,0,2,21,1,76,16,22,0,3,11,14,21,0,1,21,1,76,16,21,1,78,21,0,3,17,0,7,0,103,17,14,21,0,1,21,0,3,21,1,112,21,1,96,8,21,0,2,21,1,51,16,17,21,0,3,21,1,112,21,1,50,8,21,0,2,17,25,21,0,2,21,1,76,16,21,1,77,0,24,17,0,7,0,104,17,14,21,0,1,21,1,51,16,21,1,75,21,1,6,21,1,78,8,21,0,2,17,0,7,0,105,17,14,21,0,2,21,1,84,16,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,0,7,0,106,17,25,21,0,1,21,1,51,16,21,1,122,21,0,2,17,0,20,21,1,25,21,1,68,7,7,16,21,1,96,16,0,20,21,1,3,21,0,1,7,21,1,106,21,1,29,21,1,7,21,0,2,8,19,7,16,25,21,0,1,21,1,125,21,0,2,17,14,21,0,2,21,1,84,16,22,0,2,12,14,21,0,2,21,1,124,16,21,1,81,16,21,1,25,21,1,79,7,16,21,1,80,21,0,1,21,1,76,16,17,22,0,3,11,14,21,0,3,21,1,73,21,0,2,17,21,1,25,21,1,70,7,16,0,7,0,107,17,14,21,0,1,21,1,126,21,0,3,21,1,96,16,21,1,1,21,1,98,21,1,4,21,1,124,21,1,5,21,1,81,8,7,19,21,0,2,17,21,1,121,21,0,2,17,17,25,21,0,1,21,1,125,21,0,2,17,14,21,0,2,21,1,84,16,22,0,2,12,14,21,0,1,21,1,76,16,22,0,3,11,14,21,0,2,21,0,3,21,1,8,21,1,73,8,21,1,70,21,1,124,19,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,126,21,0,3,21,1,96,16,21,1,1,21,1,98,21,1,4,21,1,124,21,1,5,21,1,81,8,7,19,21,0,2,17,21,1,121,21,0,2,17,21,1,116,16,17,25,21,0,1,21,1,123,21,1,7,21,0,2,8,21,1,130,21,1,8,21,1,62,21,1,120,7,8,9,21,1,84,21,1,3,0,25,7,21,1,121,21,1,75,19,19,21,1,6,21,1,123,8,21,0,2,17,25,21,0,1,15,162,21,0,5,21,1,133,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,159,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,23,22,0,7,11,22,0,8,11,14,21,0,6,0,23,21,1,111,15,163,8,16,14,21,0,1,22,0,9,11,14,15,164,22,0,10,11,14,21,0,7,21,0,10,21,1,1,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,80,16,21,0,10,21,1,1,21,1,135,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,23,21,1,111,21,1,3,21,0,11,21,0,12,3,2,7,21,1,133,0,23,21,1,8,21,1,73,8,19,21,1,133,21,1,67,19,8,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,50,21,0,1,17,21,1,144,16,14,21,0,6,25,21,0,1,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,1,21,1,121,16,22,0,3,11,14,21,0,3,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,3,0,5,16,22,0,4,11,14,0,24,21,1,78,21,0,4,17,21,1,25,21,1,70,7,16,21,1,144,16,14,21,0,4,21,1,81,16,21,1,98,16,22,0,5,11,14,21,0,5,21,1,47,0,29,7,16,21,1,121,21,0,1,21,1,47,21,1,75,7,16,21,1,98,16,17,21,1,132,21,0,5,21,1,121,21,0,3,17,21,1,113,16,17,25,21,0,2,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,2,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,121,21,1,6,21,1,132,21,1,7,21,1,113,8,8,21,0,2,21,1,122,16,17,25,0,25,21,1,64,21,0,2,21,1,75,16,17,21,1,96,16,21,1,72,0,25,17,22,0,3,11,14,21,1,3,21,0,1,3,1,21,1,121,21,0,2,21,1,132,21,0,3,21,1,79,0,24,17,17,17,7,21,1,133,21,1,73,21,1,123,21,0,2,21,1,132,21,0,3,17,19,21,1,133,9,19,25,21,0,1,21,1,10,16,21,1,144,16,14,21,0,1,21,1,76,16,21,1,76,0,23,17,21,1,144,16,14,21,0,1,21,1,133,16,25,21,0,2,21,1,76,21,1,6,21,1,80,8,21,0,1,17,22,0,3,11,14,21,0,3,0,24,21,1,8,21,1,78,8,21,1,70,21,1,78,21,1,7,0,23,8,19,16,21,1,144,16,14,21,0,2,0,24,21,1,75,3,2,21,1,134,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,75,16,21,1,78,21,0,4,17,21,1,144,16,14,21,0,1,21,1,132,21,1,94,21,1,7,21,0,4,8,3,2,21,1,134,21,0,3,8,16,21,1,50,21,0,2,17,21,1,144,16,14,21,0,1,21,1,95,21,0,4,17,25,21,0,1,21,1,75,16,21,1,76,0,25,17,21,1,144,16,14,21,0,1,21,1,132,16,21,1,50,21,0,2,17,21,1,144,16,14,21,0,1,21,1,132,0,24,17,25,21,0,1,21,1,75,16,21,1,76,0,24,17,21,1,144,16,14,21,0,1,21,1,132,16,25,21,0,1,21,1,76,16,21,1,76,0,24,17,21,1,143,16,14,21,0,1,0,20,21,1,12,7,16,21,1,25,21,1,70,7,16,21,1,143,16,14,21,0,1,21,1,95,21,1,7,0,24,8,21,1,78,21,1,95,21,1,7,0,29,8,19,21,1,25,21,1,70,7,9,16,21,1,144,16,14,21,0,1,0,5,16,25,21,0,1,21,1,16,21,1,6,0,20,21,0,4,7,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,159,16,25,21,0,2,21,1,8,21,0,1,8,0,22,21,0,2,21,0,1,9,8,25,21,1,133,21,1,7,0,24,8,21,0,1,21,1,8,15,165,8,21,1,133,21,1,7,0,23,8,19,25,21,1,1,21,1,5,21,1,50,8,21,1,73,0,23,19,21,1,144,9,21,1,2,21,1,47,21,1,135,21,0,1,7,7,19,25,21,1,1,21,1,5,21,1,50,8,21,1,73,0,23,19,21,1,144,9,21,1,2,0,23,21,1,5,21,1,143,8,0,22,21,1,151,21,1,135,21,0,1,7,7,8,19,25,21,1,1,21,1,5,21,1,76,8,21,1,73,0,23,19,21,1,144,9,21,1,2,21,1,62,21,1,135,21,0,1,7,7,19,25,21,1,1,21,1,5,21,1,76,8,21,1,73,0,23,19,21,1,144,9,21,1,2,0,23,21,1,5,21,1,143,8,0,22,21,1,75,21,1,73,0,24,19,21,1,138,21,1,95,21,1,7,0,24,8,21,1,47,21,1,135,21,0,1,7,7,21,1,95,21,1,7,0,29,8,19,21,1,121,21,1,132,19,8,8,19,25,21,1,133,21,1,7,0,24,8,21,0,1,21,1,8,15,166,8,21,1,132,21,1,7,0,23,0,25,3,2,8,19,25,21,0,2,21,1,152,21,0,1,8,25,21,1,135,21,0,2,7,22,0,3,11,14,21,0,3,21,1,7,21,0,1,8,0,22,21,0,3,8,21,1,135,21,0,1,7,9,25,21,0,1,21,1,140,21,1,135,21,0,2,7,8,25,21,0,1,21,1,80,16,21,1,138,21,0,2,8,25,21,1,135,21,0,1,7,0,22,21,1,135,21,0,2,7,8,25,21,1,135,21,0,1,7,21,1,7,21,0,2,8,25,21,0,1,0,22,21,1,145,8,25,0,23,21,1,5,21,1,143,8,0,22,21,1,1,21,1,135,21,1,4,21,0,2,7,7,21,0,1,19,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,76,21,1,7,21,1,1,3,1,21,1,133,16,8,21,1,8,21,1,70,21,1,7,21,1,155,8,8,21,1,81,9,22,0,6,11,14,21,0,5,15,167,15,168,21,1,3,21,1,145,7,3,2,21,1,134,21,1,4,21,0,6,7,8,3,2,21,1,134,21,0,6,8,21,0,3,17,25,21,1,1,21,1,50,21,1,5,21,1,144,8,21,0,1,19,21,1,2,21,1,1,19,25,21,0,1,21,1,159,16,21,1,1,15,169,3,2,21,1,134,0,23,21,1,1,21,1,5,0,1,8,21,1,132,0,23,0,34,3,2,19,21,1,51,0,33,21,1,152,3,2,19,3,2,21,1,134,21,1,51,21,1,7,21,1,3,21,1,145,7,8,21,1,70,21,1,51,19,8,8,21,0,1,17,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,82,16,25,0,24,0,9,21,1,6,17,22,1,6,12,14,21,0,1,0,18,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,18,21,0,1,17,17,22,1,8,12,25,21,0,2,0,16,16,22,0,5,11,14,21,0,2,0,14,16,0,19,16,21,2,25,0,10,21,2,7,21,0,1,0,16,16,21,2,8,0,18,8,0,14,21,0,5,21,2,8,0,18,8,19,8,7,0,24,17,0,7,0,36,17,14,21,0,5,21,2,25,0,10,7,0,24,17,0,19,16,0,20,21,0,1,0,17,16,21,2,8,0,18,8,21,0,4,21,0,2,0,17,16,21,2,8,0,18,8,19,7,16,0,17,21,0,5,17,25,21,0,2,0,16,16,22,0,5,11,14,21,0,2,0,14,16,22,0,6,11,14,21,0,1,0,16,16,22,0,7,11,14,21,0,6,0,19,16,21,2,25,0,10,21,2,7,21,0,7,21,2,8,0,18,8,0,14,21,0,5,21,2,8,0,18,8,19,8,7,0,24,17,0,7,0,37,17,14,21,0,6,0,9,21,0,1,0,14,16,17,0,19,16,21,2,25,0,10,21,2,7,0,8,21,2,7,21,0,6,8,21,2,4,0,18,7,21,0,7,19,8,7,0,24,17,22,0,8,11,14,21,0,2,0,17,16,22,0,9,11,14,21,0,1,0,17,16,22,0,10,11,14,21,0,8,0,19,21,2,6,0,20,21,2,3,21,0,10,7,0,18,0,8,21,2,7,0,10,21,2,7,21,0,8,8,8,19,21,0,4,21,0,9,21,2,8,0,18,8,19,7,8,21,0,9,21,2,23,16,17,0,17,16,0,17,21,0,7,17,25,21,0,1,21,2,31,21,0,4,7,21,0,2,17,25,21,0,1,0,20,15,170,21,0,2,7,7,16,25,21,0,2,0,20,15,171,21,0,1,7,7,16,25,21,1,6,0,10,0,25,17,0,15,21,0,1,21,2,25,21,2,20,7,16,22,1,10,12,0,9,21,0,1,21,2,25,21,2,21,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,4,0,23,7,21,2,19,0,23,21,2,108,21,1,8,21,2,8,0,18,8,21,2,6,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,1,21,1,6,3,2,21,2,0,0,15,21,2,7,21,1,6,8,8,22,0,6,11,14,0,23,0,14,21,1,6,17,0,8,21,1,6,17,0,4,0,25,17,21,2,21,16,22,0,7,11,0,19,16,0,20,21,2,1,0,8,0,24,19,0,9,21,0,7,19,0,12,0,25,19,7,16,21,2,25,15,172,7,21,1,6,0,19,16,17,25,21,0,1,0,20,21,2,12,7,16,21,2,25,0,10,7,0,24,17,0,7,0,40,17,14,0,24,0,9,21,1,3,17,22,0,3,11,14,21,2,1,0,9,21,0,3,19,21,2,4,0,18,7,21,1,3,0,19,16,0,20,0,9,21,2,7,21,0,3,8,7,16,0,21,21,2,1,21,2,4,0,18,7,21,0,1,19,0,14,0,23,19,0,10,0,9,19,0,8,21,2,1,19,7,16,19,22,0,4,11,14,21,0,1,0,21,0,8,7,16,21,2,8,0,18,8,22,0,5,11,14,0,23,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,19,16,0,20,15,173,7,16,25,21,0,1,0,9,21,1,3,17,0,19,16,0,20,0,8,21,2,7,21,0,1,8,7,16,25,21,0,1,3,1,25,21,0,1,14,21,1,9,0,18,21,1,12,0,18,21,1,14,17,17,22,0,3,11,14,21,1,14,0,8,0,24,17,22,1,14,12,21,1,13,16,22,1,15,12,14,21,0,3,25,21,0,1,0,14,21,1,15,17,25,21,0,1,0,14,21,2,7,21,1,4,8,0,9,0,24,19,21,2,9,15,174,8,16,14,21,1,5,0,18,0,24,0,8,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,20,15,175,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,18,21,0,1,17,22,0,4,11,14,21,1,5,0,20,0,18,21,2,7,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,19,16,0,20,21,2,3,21,0,5,7,0,18,0,10,21,2,7,21,0,3,8,19,7,16,22,0,6,11,14,21,0,3,0,19,16,0,20,21,2,2,7,21,0,6,17,0,20,21,2,1,7,21,1,10,0,19,16,17,0,17,16,21,2,47,0,14,7,21,0,5,17,21,2,25,0,10,7,0,24,17,0,7,0,52,17,14,21,0,6,21,2,36,16,22,0,7,11,14,21,0,7,21,2,23,16,0,19,16,0,20,21,0,6,21,1,8,0,8,7,0,23,17,21,2,29,21,0,7,17,21,2,8,0,18,8,21,2,8,0,9,8,7,16,22,0,8,11,14,21,0,8,0,20,21,2,1,7,21,1,12,17,21,2,47,0,8,7,21,0,7,0,20,21,0,6,21,2,8,0,18,8,21,2,8,0,10,8,7,21,1,12,17,17,22,1,12,12,14,21,0,7,0,20,0,8,21,2,7,21,0,4,21,2,8,0,10,8,8,7,21,1,11,17,22,1,11,12,14,21,0,4,0,10,22,1,10,13,25,21,0,4,0,18,21,0,1,17,0,18,21,0,2,17,25,21,2,29,21,2,7,21,1,7,0,9,21,1,6,17,0,19,16,0,20,0,8,21,2,7,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,18,0,23,17,21,0,3,16,22,0,4,11,14,21,1,5,0,20,21,0,3,21,2,47,0,14,7,21,0,4,19,21,2,25,0,10,7,9,7,16,21,2,25,0,10,7,0,24,17,0,7,0,53,17,14,21,0,4,21,2,25,0,10,7,16,22,0,5,11,0,19,16,0,17,21,0,4,17,22,0,6,11,14,21,0,6,0,20,21,2,2,7,21,0,1,17,21,1,13,21,0,6,0,20,0,8,21,2,7,0,10,21,2,7,21,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,14,16,21,2,17,0,24,17,0,7,21,1,6,17,14,21,0,2,21,2,13,16,22,0,2,12,14,21,0,2,0,20,21,2,11,7,16,21,2,25,0,10,7,0,24,17,0,7,21,1,7,17,14,21,0,2,21,2,23,16,22,0,3,11,14,21,0,1,21,2,51,16,21,2,23,21,2,8,21,2,19,8,21,2,9,15,176,8,21,0,3,17,22,0,4,11,14,15,177,22,0,5,11,14,0,23,21,2,18,16,22,0,6,11,14,0,24,22,0,7,11,14,15,178,22,0,8,11,14,0,23,22,0,9,11,14,21,0,3,0,19,16,0,20,21,0,2,21,2,8,0,18,8,15,179,21,1,4,15,180,7,21,0,8,21,2,2,19,3,2,21,2,0,21,1,3,8,21,0,4,21,2,8,0,18,8,19,7,16,22,0,10,11,14,21,0,1,21,2,16,16,0,17,21,2,7,21,0,4,8,15,181,3,2,21,2,0,21,0,6,0,14,16,21,2,18,0,23,17,8,16,25,21,0,1,0,14,16,0,15,21,1,3,17,0,7,0,67,17,14,21,0,2,0,20,21,2,12,7,16,21,2,25,0,10,7,16,0,7,0,68,17,14,21,0,1,21,2,51,16,22,0,3,11,14,21,1,3,0,19,16,0,20,21,0,2,21,2,8,0,18,8,0,9,21,0,3,21,2,8,0,18,8,19,0,8,0,24,19,7,16,22,0,4,11,14,21,0,4,0,20,0,15,21,2,7,0,23,8,7,16,21,2,25,0,10,7,16,0,7,0,69,17,14,21,0,3,21,2,29,21,1,3,0,9,21,2,7,21,2,23,8,21,0,3,17,0,19,16,0,20,0,8,21,2,7,21,1,3,8,7,16,17,22,0,5,11,21,2,25,0,10,7,0,24,17,22,0,6,11,14,0,24,0,9,21,1,3,17,15,182,16,21,2,27,21,0,6,3,1,17,0,21,0,10,7,16,21,2,39,16,22,0,7,11,14,21,0,2,21,2,1,21,2,47,15,183,7,21,0,7,19,21,2,25,0,20,0,8,7,7,9,21,2,6,0,20,0,8,7,8,21,0,4,17,0,24,21,2,8,0,14,8,0,9,0,24,19,21,2,9,21,2,4,0,19,0,17,21,0,5,19,21,2,8,0,20,0,8,7,8,7,8,21,0,6,17,0,20,21,0,1,0,17,16,21,2,8,0,18,8,7,16,25,21,0,1,0,14,16,0,15,0,24,17,0,7,0,70,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,14,16,21,2,17,0,24,17,0,7,0,71,17,14,21,0,1,21,2,51,16,21,2,23,21,2,6,0,15,8,21,0,2,17,0,7,0,72,17,14,21,0,2,21,2,23,16,22,0,3,11,14,21,0,2,0,17,16,21,2,8,0,18,8,22,0,4,11,14,21,0,1,21,0,3,21,2,18,0,23,17,21,2,9,15,184,8,0,23,17,25,21,0,1,21,2,76,21,0,4,17,25,21,0,1,21,2,47,21,2,1,0,24,3,2,21,2,0,21,2,2,8,7,21,1,4,17,21,2,25,21,2,72,7,16,22,0,3,11,14,21,0,3,21,2,73,0,23,17,0,7,0,78,17,14,21,1,4,21,2,75,16,0,19,16,21,2,72,21,1,4,17,21,2,25,21,2,79,7,16,22,0,4,11,14,21,1,3,0,18,21,0,4,17,21,2,137,16,22,0,5,11,14,0,32,21,2,73,21,0,5,17,0,7,0,79,17,14,21,2,76,21,2,7,21,2,68,8,0,7,0,80,19,21,2,2,21,2,1,19,22,0,6,11,14,21,0,3,21,2,64,21,1,7,17,21,0,6,21,2,68,21,2,69,3,3,21,2,0,21,0,5,21,2,68,0,25,17,8,16,22,0,7,11,14,21,1,3,21,2,47,21,2,1,21,0,7,3,2,21,2,0,21,2,2,8,7,21,1,4,17,22,1,3,12,14,21,0,7,21,2,72,21,0,3,17,21,0,5,21,2,76,0,27,17,21,2,9,21,2,73,21,2,7,21,1,7,8,21,2,9,15,185,8,8,16,25,21,1,8,0,19,16,0,20,21,2,2,7,21,2,7,0,3,8,15,186,3,2,21,2,0,21,1,7,21,2,73,0,23,17,8,21,0,1,17,25,21,0,1,21,2,12,16,0,7,0,81,17,14,21,0,1,0,19,16,25,21,0,1,21,2,76,16,21,2,76,0,24,17,0,7,0,82,17,14,21,0,1,0,20,21,1,3,7,16,21,2,25,0,20,21,2,27,21,2,7,21,2,84,8,7,7,3,0,21,2,73,16,17,25,21,1,9,21,1,7,21,2,79,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,47,21,0,5,7,21,2,2,21,2,5,0,20,21,0,1,21,2,8,21,0,5,8,7,8,21,2,1,21,2,5,0,20,21,2,1,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,0,21,2,50,21,2,6,21,2,14,8,21,2,77,21,0,4,21,2,69,0,23,17,19,21,2,71,0,23,21,2,77,21,0,4,17,21,2,70,21,1,7,17,19,21,2,83,0,25,19,21,2,25,21,2,79,21,2,7,0,25,21,2,8,21,2,72,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,51,16,21,2,29,21,0,2,0,19,16,17,22,0,3,11,14,21,0,1,21,2,26,21,0,2,17,22,0,4,11,21,2,25,21,2,72,7,16,22,0,5,11,14,21,0,3,21,2,25,21,2,72,7,16,0,19,16,0,20,21,2,1,21,2,72,21,0,5,19,21,2,79,21,0,5,0,19,16,21,2,84,21,0,4,17,19,21,2,5,0,20,21,0,1,21,2,84,16,21,2,8,0,18,8,7,8,7,16,21,2,84,21,0,3,17,25,21,0,2,21,2,76,21,1,4,17,25,21,1,3,21,2,79,22,1,4,13,14,21,0,1,21,2,79,0,24,17,25,21,0,1,14,21,1,6,0,18,21,1,7,17,21,2,1,0,24,21,2,79,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,84,16,21,1,3,16,0,20,21,0,1,21,2,51,16,21,2,96,16,21,2,84,16,21,2,8,21,2,29,8,7,16,25,21,0,1,21,2,75,21,2,6,21,2,80,8,21,0,2,17,21,2,72,16,22,0,3,11,14,21,0,1,21,2,75,21,2,6,21,2,68,8,21,0,2,17,22,0,4,11,14,21,0,1,15,187,21,2,7,21,2,75,21,2,79,21,0,4,21,2,96,16,21,2,79,0,24,17,21,2,80,16,19,8,21,2,6,15,188,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,189,21,1,7,3,2,21,2,0,21,2,76,21,2,7,21,1,6,8,8,22,0,5,11,14,0,23,21,0,5,16,25,15,190,22,0,3,11,14,0,29,21,0,3,0,24,21,2,79,21,0,1,17,17,21,2,79,0,24,17,25,21,0,2,21,2,109,21,0,1,21,2,8,21,1,13,8,7,16,25,21,0,2,21,2,76,16,21,2,4,21,2,80,7,0,24,17,22,0,3,11,14,21,0,3,21,2,78,0,23,17,0,7,0,101,17,14,21,0,1,21,2,16,16,21,2,1,21,2,5,21,0,3,21,2,112,0,23,8,8,21,2,1,21,0,3,21,2,112,21,2,73,8,3,2,21,2,0,21,0,3,21,2,73,0,23,17,8,21,2,6,0,20,21,2,51,7,8,21,1,3,9,3,2,21,2,0,21,0,2,21,2,75,16,21,2,73,0,23,17,8,15,191,3,2,21,2,0,21,2,84,21,2,5,21,2,75,8,21,2,73,0,28,19,21,2,6,21,2,70,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,11,16,0,7,0,108,17,14,21,0,1,21,2,68,21,1,8,17,22,1,8,12,14,21,0,1,21,2,69,21,1,7,17,22,1,7,12,25,21,0,1,21,2,79,0,23,17,21,2,96,16,21,2,121,21,1,9,3,1,17,0,21,21,2,2,21,2,5,21,0,4,8,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,25,21,0,1,7,16,25,21,2,1,21,2,135,21,1,4,7,21,0,2,19,25,21,2,1,21,2,135,21,2,4,21,1,4,7,7,21,0,1,19,25,21,0,1,21,2,146,21,0,2,8,21,2,152,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,9,16,22,0,4,11,14,0,23,22,0,5,11,22,0,6,11,22,0,7,11,14,0,27,22,0,8,11,14,21,0,1,0,24,0,14,21,2,7,17,0,9,0,24,17,21,3,9,0,20,0,10,21,3,7,21,2,7,8,7,8,16,21,3,8,0,18,8,21,3,6,21,1,5,8,22,0,9,11,14,21,0,9,0,23,0,24,0,25,3,4,22,0,10,11,14,0,8,15,192,3,2,0,18,21,0,3,0,15,0,28,17,17,22,0,11,11,14,15,193,22,0,12,11,14,15,194,15,195,21,0,12,3,3,21,3,0,15,196,8,22,0,13,11,14,21,0,1,0,20,21,0,1,21,3,8,15,197,8,7,16,25,21,1,6,21,1,7,0,14,21,0,1,17,21,3,9,15,198,8,16,25,21,0,1,22,2,4,12,21,3,4,0,18,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,21,0,3,25,21,0,1,21,3,27,21,0,1,21,3,23,16,0,9,21,0,2,17,0,19,21,3,5,0,20,0,24,7,8,16,17,25,21,0,1,0,20,0,8,7,21,0,2,0,20,21,0,4,21,3,8,0,10,8,7,16,17,25,21,0,1,0,24,21,3,8,0,14,8,0,9,0,24,19,21,3,9,21,1,5,21,0,2,7,21,3,7,0,19,8,8,21,1,7,17,21,1,5,21,0,2,0,10,21,1,7,17,7,22,1,6,13,14,0,24,22,1,7,12,14,21,0,1,21,3,23,16,25,21,0,2,0,10,22,1,7,13,14,21,0,2,25,0,24,22,1,9,12,25,21,1,3,0,9,21,1,4,21,3,23,16,17,0,19,16,0,20,0,8,21,3,7,21,1,3,8,21,3,4,0,18,7,21,1,4,19,7,16,22,0,3,11,21,3,27,22,1,10,13,14,21,0,3,21,3,25,0,10,7,21,1,7,17,0,14,21,3,7,0,24,8,0,9,0,24,19,21,3,9,15,199,8,16,14,21,0,1,0,17,16,21,3,8,0,18,8,22,0,4,11,14,21,1,9,21,3,1,21,3,9,15,200,8,16,14,21,1,6,0,17,21,1,10,17,0,20,21,0,4,7,16,25,21,0,1,0,19,16,0,20,0,9,21,3,7,21,0,1,8,21,3,4,0,18,7,21,1,3,19,7,16,25,21,0,1,0,19,16,0,20,0,10,21,3,7,21,0,2,8,7,16,25,21,0,1,0,24,0,9,21,1,3,17,21,3,18,21,0,2,17,21,3,9,21,3,62,21,0,0,21,3,7,21,0,2,0,8,0,24,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,80,21,0,1,17,0,19,16,0,20,21,2,6,0,3,16,7,16,21,3,27,22,2,6,13,14,21,2,7,25,21,0,1,21,3,67,21,2,7,17,0,20,21,2,6,21,3,8,0,18,8,7,16,25,21,0,2,0,20,21,0,1,21,3,8,0,18,8,7,16,25,21,0,1,21,3,76,21,0,2,17,0,21,21,3,70,7,16,21,3,25,21,3,79,7,16,22,0,3,11,14,21,0,3,21,3,96,16,0,20,21,0,2,21,3,8,0,18,8,7,16,21,3,25,21,3,72,7,16,22,0,4,11,14,21,0,3,21,3,74,21,3,7,21,1,4,8,21,3,9,21,0,2,21,0,1,3,2,21,3,8,21,3,47,0,18,7,8,21,3,5,15,201,8,8,16,14,21,0,4,25,21,1,4,21,3,79,21,3,7,21,0,1,8,21,3,6,21,2,5,8,21,1,3,17,21,3,76,21,3,7,0,23,8,21,3,9,21,0,1,21,3,79,0,24,17,21,3,5,21,1,5,8,8,16,25,21,0,1,0,24,21,3,8,21,3,74,8,21,3,9,15,202,8,21,0,2,17,25,21,0,2,21,3,114,16,21,3,97,16,22,0,3,11,14,21,0,1,21,3,113,21,0,2,21,3,29,21,0,3,17,17,21,3,4,21,3,80,7,0,24,17,21,3,69,0,23,17,21,3,4,21,3,29,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,112,21,3,50,8,21,0,2,21,3,29,21,0,4,17,17,21,2,2,21,3,9,21,3,72,21,3,7,21,3,80,21,3,7,21,0,4,8,8,21,3,79,21,3,2,19,8,21,0,2,21,3,75,16,17,25,21,0,1,21,1,8,0,9,0,24,17,21,4,9,21,1,9,0,9,0,24,19,21,4,9,15,203,8,8,0,24,0,9,21,0,1,17,17,25,21,0,2,0,8,21,1,3,17,22,1,4,12,14,21,0,1,0,8,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,8,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,15,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,8,0,24,17,22,1,4,12,0,14,21,1,6,17,0,10,0,25,17,0,8,22,1,8,13,14,21,0,2,25,21,0,1,0,8,0,24,17,22,1,7,12,0,14,21,1,5,17,0,8,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,0,21,1,8,8,21,0,2,17,25,21,0,1,0,18,21,1,7,21,1,13,21,1,4,17,17,25,0,24,0,8,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,0,19,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,3,21,0,1,0,3,16,7,21,1,4,3,2,21,4,0,0,15,21,4,7,0,23,8,8,22,1,4,12,25,21,0,1,21,4,25,21,4,80,7,16,21,4,72,16,22,2,3,12,14,21,0,1,21,4,25,21,4,68,7,16,21,4,72,21,1,4,17,22,1,4,12,25,0,25,21,4,64,21,0,2,17,21,4,68,16,22,0,3,11,21,4,79,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,0,18,21,0,5,17,21,2,3,21,0,2,21,4,67,0,25,17,21,4,72,21,0,5,17,21,4,79,21,0,3,17,17,25,21,0,1,14,0,25,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25] ,provide.concat([0,1,2,32,3,8,-1,-Infinity,Infinity,4,5,-2,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("π¨βπ©: π© must be an array"),str("π¨βπ©: Indices in π¨ must be integers"),str("π¨βπ©: Indices out of range"),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("βΎπ©: π© 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 be an array"),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("Β΄: Identity not found"),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("Λ: π© must have rank at least 1"),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 components of π¨ must be compatible with π©"),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("βπ© 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("β: Repetition numbers in π¨ must be integers"),str("βΌ: Inverse failed"),str("βΌ: Inverse does not exist"),str("βΌ: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")]) - ,[[0,1,0,161],[2,0,3701,6],[0,0,3728,3],[0,0,3732,3],[0,0,3736,3],[1,0,3740,5],[1,0,3748,5],[2,0,3766,6],[2,0,3781,6],[2,0,3800,6],[2,0,3822,6],[2,0,3844,6],[0,0,3876,3],[0,0,3882,3],[0,0,3891,3],[0,0,3897,3],[0,0,3908,3],[0,0,3917,3],[1,0,3926,9],[0,0,4039,3],[0,0,4079,4],[0,0,4155,5],[0,0,4230,3],[1,1,4247,4],[1,1,4320,3],[0,0,4386,3],[0,0,4397,5],[2,0,4481,12],[0,0,4687,4],[0,0,4736,6],[0,0,4826,7],[0,0,4955,4],[0,0,5016,4],[0,0,5118,3],[0,0,5171,4],[1,1,5232,2],[0,0,5265,3],[0,0,5296,4],[2,0,5438,16],[1,0,5669,5],[0,0,5700,3],[0,0,5727,3],[0,0,5753,3],[0,0,5792,4],[0,0,5889,3],[0,0,5919,7],[0,0,5966,14],[1,1,6200,8],[1,0,6253,6],[1,1,6361,2],[0,0,6419,5],[0,0,6581,5],[0,0,6718,7],[0,0,6887,3],[0,0,6946,4],[1,0,7020,5],[2,1,7037,4],[0,0,7073,3],[0,0,7100,3],[0,0,7122,3],[0,0,7144,3],[0,0,7173,9],[0,0,7324,5],[1,1,7358,2],[2,0,7427,10],[2,0,7486,8],[1,0,7679,5],[0,0,7721,8],[0,0,7957,5],[0,0,8023,3],[1,0,8057,8],[0,0,8156,4],[0,0,8239,6],[0,0,8563,4],[0,0,8776,3],[0,0,8794,4],[1,0,8866,9],[1,1,8935,3],[1,0,8959,14],[1,1,9393,4],[1,0,9442,6],[0,0,9581,4],[0,0,9649,3],[0,0,9723,3],[0,0,9778,4],[0,0,9907,4],[0,0,10027,3],[2,0,10084,6],[1,1,10112,2],[2,0,10120,13],[2,0,10271,7],[0,0,10312,6],[0,0,10462,3],[2,1,10532,4],[0,0,10615,3],[0,0,10653,5],[0,0,10797,3],[0,0,10844,3],[0,0,10870,3],[1,0,10957,5],[2,0,10978,6],[0,0,10993,3],[0,0,11001,3],[1,1,11022,2],[0,0,11051,3],[0,0,11087,3],[0,0,11135,3],[0,0,11171,3],[1,1,11234,2],[0,0,11267,3],[0,0,11278,4],[0,0,11315,3],[0,0,11330,3],[0,0,11345,3],[0,0,11363,3],[0,0,11378,3],[0,0,11388,3],[0,0,11419,7],[0,0,11515,3],[1,1,11540,2],[1,1,11622,2],[1,1,11626,2],[0,0,11630,3],[0,0,11642,3],[0,0,11665,3],[1,0,11686,6],[1,0,11803,11],[1,0,12024,5],[0,0,12039,3],[0,0,12053,3],[0,0,12067,3],[1,0,12112,8],[0,0,12250,8],[0,0,12417,3],[0,0,12443,3],[0,0,12449,4],[0,0,12498,3],[0,0,12508,3],[1,0,12552,7],[0,0,12578,9],[1,0,12864,5],[0,0,12880,7],[0,0,13047,11],[0,0,13283,8],[0,0,13595,3],[0,0,13623,5],[1,0,13718,5],[0,0,13729,8],[0,0,13984,3],[0,0,14024,3],[0,0,14044,3],[1,0,14098,6],[0,0,14251,6],[0,0,14373,3],[0,0,14384,3],[0,0,14405,3],[0,0,14436,3],[0,0,14474,6],[0,0,14579,6],[0,0,14628,4],[0,0,14657,3],[0,0,14676,4],[1,1,14833,2],[0,0,14837,3],[1,0,14880,5],[0,0,14917,3],[0,0,14925,3],[0,0,14937,3],[0,0,14952,3],[0,0,14971,3],[1,0,14989,5],[1,0,15000,5],[0,0,15011,14],[0,0,15181,3],[0,0,15201,3],[0,0,15230,4],[0,0,15253,3],[1,0,15286,5],[0,0,15312,3],[0,0,15382,3],[0,1,15396,0],[0,0,15403,5],[0,0,15536,3],[0,0,15566,3],[0,0,15586,3],[0,0,15640,3],[0,0,15675,3],[0,0,15699,3],[0,0,15716,5],[0,0,15826,3],[0,0,15881,3],[0,0,15904,5],[0,0,16033,3],[0,0,16072,3],[0,0,16155,3],[0,0,16189,3],[0,0,16218,3],[0,0,16236,3],[0,0,16253,3],[0,0,16282,3],[0,0,16300,3],[0,0,16332,3],[0,0,16375,6],[0,0,16454,3]] + ,[[0,1,0,161],[2,0,3701,6],[0,0,3728,3],[0,0,3732,3],[0,0,3736,3],[1,0,3740,5],[1,0,3748,5],[2,0,3766,6],[2,0,3781,6],[2,0,3800,6],[2,0,3822,6],[2,0,3844,6],[0,0,3876,3],[0,0,3882,3],[0,0,3891,3],[0,0,3897,3],[0,0,3908,3],[0,0,3917,3],[1,0,3926,9],[0,0,4039,3],[0,0,4079,4],[0,0,4155,5],[0,0,4230,3],[1,1,4247,4],[1,1,4320,3],[0,0,4386,3],[0,0,4397,5],[2,0,4481,12],[0,0,4687,4],[0,0,4736,6],[0,0,4826,7],[0,0,4955,4],[0,0,5016,4],[0,0,5118,3],[0,0,5171,4],[1,1,5232,2],[0,0,5265,3],[0,0,5296,4],[2,0,5438,16],[1,0,5669,5],[0,0,5700,3],[0,0,5727,3],[0,0,5753,3],[0,0,5792,4],[0,0,5889,3],[0,0,5919,7],[0,0,5966,14],[1,1,6200,8],[1,0,6253,6],[1,1,6361,2],[0,0,6419,5],[0,0,6581,5],[0,0,6718,7],[0,0,6887,3],[0,0,6946,4],[1,0,7020,5],[2,1,7037,4],[0,0,7073,3],[0,0,7100,3],[0,0,7122,3],[0,0,7144,3],[0,0,7173,9],[0,0,7324,5],[1,1,7358,2],[2,0,7427,10],[2,0,7486,8],[1,0,7679,5],[0,0,7721,8],[0,0,7957,5],[0,0,8023,3],[1,0,8057,8],[0,0,8156,4],[0,0,8239,6],[0,0,8563,4],[0,0,8776,3],[0,0,8794,4],[1,0,8866,9],[1,1,8935,3],[1,0,8959,14],[1,1,9393,4],[1,0,9442,6],[0,0,9581,4],[0,0,9649,3],[0,0,9723,3],[0,0,9778,4],[0,0,9907,4],[0,0,10027,3],[2,0,10084,6],[1,1,10112,2],[2,0,10120,13],[2,0,10271,7],[0,0,10312,6],[0,0,10462,3],[2,1,10532,4],[0,0,10615,3],[0,0,10653,5],[0,0,10797,3],[0,0,10844,3],[0,0,10870,3],[1,0,10957,5],[2,0,10978,6],[0,0,10993,3],[0,0,11001,3],[1,1,11022,2],[0,0,11051,3],[0,0,11087,3],[0,0,11135,3],[0,0,11171,3],[1,1,11258,2],[0,0,11291,3],[0,0,11302,4],[0,0,11339,3],[0,0,11354,3],[0,0,11369,3],[0,0,11387,3],[0,0,11402,3],[0,0,11412,3],[0,0,11443,7],[0,0,11539,3],[1,1,11564,2],[1,1,11646,2],[1,1,11650,2],[0,0,11654,3],[0,0,11666,3],[0,0,11689,3],[1,0,11710,6],[1,0,11827,11],[1,0,12048,5],[0,0,12063,3],[0,0,12077,3],[0,0,12091,3],[1,0,12136,8],[0,0,12274,8],[0,0,12441,3],[0,0,12467,3],[0,0,12473,4],[0,0,12522,3],[0,0,12532,3],[1,0,12576,7],[0,0,12602,9],[1,0,12888,5],[0,0,12904,7],[0,0,13071,11],[0,0,13307,8],[0,0,13619,3],[0,0,13647,5],[1,0,13742,5],[0,0,13753,8],[0,0,14008,3],[0,0,14048,3],[0,0,14068,3],[1,0,14122,6],[0,0,14275,6],[0,0,14397,3],[0,0,14408,3],[0,0,14429,3],[0,0,14460,3],[0,0,14498,6],[0,0,14603,6],[0,0,14652,4],[0,0,14681,3],[0,0,14700,4],[1,1,14857,2],[0,0,14861,3],[1,0,14904,5],[0,0,14941,3],[0,0,14949,3],[0,0,14961,3],[0,0,14976,3],[0,0,14995,3],[1,0,15013,5],[1,0,15024,5],[0,0,15035,14],[0,0,15205,3],[0,0,15225,3],[0,0,15254,4],[0,0,15277,3],[1,0,15310,5],[0,0,15336,3],[0,0,15406,3],[0,1,15420,0],[0,0,15427,5],[0,0,15560,3],[0,0,15590,3],[0,0,15610,3],[0,0,15664,3],[0,0,15699,3],[0,0,15723,3],[0,0,15740,5],[0,0,15850,3],[0,0,15905,3],[0,0,15928,5],[0,0,16057,3],[0,0,16096,3],[0,0,16179,3],[0,0,16213,3],[0,0,16242,3],[0,0,16260,3],[0,0,16277,3],[0,0,16306,3],[0,0,16324,3],[0,0,16356,3],[0,0,16399,6],[0,0,16478,3]] ); // Compiler diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index e0384202..6dc72400 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -271,7 +271,7 @@ </tr> <tr> <td><code><span class='Modifier'>`</span></code></td> -<td><code><span class='Paren'>(</span><span class='Function'>ββΎ</span><span class='Number'>2</span><span class='Function'>π½</span><span class='Modifier'>βΌΛΛ</span><span class='Modifier2'>β</span><span class='Function'>ββ’</span><span class='Paren'>)</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'><β </span><span class='Paren'>)</span></code></td> +<td><code><span class='Brace'>{</span><span class='Function'>!</span><span class='Number'>0</span><span class='Function'><=</span><span class='Value'>π©</span><span class='Separator'>β</span><span class='Paren'>(</span><span class='Function'>ββΎ</span><span class='Number'>Β―1</span><span class='Modifier2'>βΈ</span><span class='Function'>βπ½</span><span class='Modifier'>βΌΒ¨</span><span class='Number'>1</span><span class='Modifier2'>βΈ</span><span class='Function'>β</span><span class='Paren'>)</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'><β </span><span class='Paren'>)</span><span class='Value'>π©</span><span class='Brace'>}</span></code></td> <td></td> </tr> <tr> diff --git a/spec/inferred.md b/spec/inferred.md index e7ebf124..614923bb 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -89,7 +89,7 @@ Inverses of other modifiers and derived functions or modifiers obtained from the | `Β¨` | `{!0<β‘π©βπ¨π½βΌΒ¨π©}` | | `β` | `{!0<β‘π©β π½βΌβπ©;}` | Monadic case only | `Λ` | `{!0<=π©βπ¨π½βΌΛπ©}` | -| `` ` `` | `(ββΎ2π½βΌΛΛβββ’)β(1<β )` | +| `` ` `` | `{!0<=π©β(ββΎΒ―1βΈβπ½βΌΒ¨1βΈβ)β(1<β )π©}` | | `FβG` | `{π¨GβΌFβΌπ©}` | | `F G` | | | `Β·F G` | | @@ -637,10 +637,10 @@ Mod1Inverse β INFΛ _lookup_ β¨ β¨, (Β¬ββΒ¬)β(-ΛΓ·1-β£) Β¬, IAβ0β(+-1Λ) β© - Β¨, {πβΌΒ¨ β£Β·IA 0<β‘ββ’} - β, {πβΌββ(IAβ0)β£Β·IA 0<β‘ββ’} - Λ, {πβΌΛ β£Β·IA 0<=ββ’} - `, {(ββΎΒ―1βΈβπβΌΒ¨1βΈβ)β(1<β )β(IAβ0)} + Β¨, {πβΌΒ¨ β£Β·IX 0<β‘ββ’} + β, {πβΌββ(IAβ0)β£Β·IX 0<β‘ββ’} + Λ, {πβΌΛ β£Β·IX 0<=ββ’} + `, {(ββΎΒ―1βΈβπβΌΒ¨1βΈβ)β(1<β )β(IAβ0)β£Β·IX 0<=ββ’} β© { 0βΈβ {ππ¨}βπ½ 1βΈβ } |