diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:22:37 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:22:37 -0500 |
| commit | c7764d31ac245d2307cd873020a3e0b0a355610f (patch) | |
| tree | a71dfd5b466d782b5322ad6ac3d6abe9341a4ee6 /docs | |
| parent | 15959e10ef4034664fa6a52edf2ede9ba437d9ad (diff) | |
Have to check the result of π½βΌ, not just apply it, to validate π½βΌβΌ result
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/bqn.js | 4 | ||||
| -rw-r--r-- | docs/spec/inferred.html | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/docs/bqn.js b/docs/bqn.js index 39b24790..beed9eec 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,57,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,58,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,71,19,8,22,0,77,11,14,21,0,31,0,15,7,0,22,21,0,3,0,23,7,0,7,0,72,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,73,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,107,8,22,0,143,11,14,0,7,21,0,7,0,108,8,22,0,144,11,14,21,0,3,0,23,7,0,7,0,109,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,110,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,111,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,33,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,36,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,37,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,39,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,40,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,41,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,42,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,43,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,44,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,45,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,46,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,47,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,52,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,48,17,14,21,0,7,21,1,17,21,0,6,17,0,7,0,49,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,54,21,1,27,21,0,2,17,21,1,27,0,53,17,22,0,5,11,14,0,55,22,0,6,11,14,0,56,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,59,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,60,17,14,21,0,3,21,1,17,0,24,17,0,7,0,61,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,62,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,59,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,63,17,14,21,0,2,0,14,16,21,1,17,0,24,17,0,7,0,64,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,74,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,75,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,81,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,82,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,83,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,38,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,84,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,85,17,14,21,0,1,21,1,78,0,29,17,21,1,25,21,1,70,7,16,0,7,0,86,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,87,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,88,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,89,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,90,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,91,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,92,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,93,17,14,21,0,2,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,94,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,95,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,96,17,14,21,0,1,21,1,76,16,21,1,78,21,0,5,17,0,7,0,97,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,98,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,100,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,101,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,102,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,103,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,104,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,105,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,1,21,1,1,21,1,7,21,0,2,8,9,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,1,7,7,21,0,2,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,21,1,75,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,34,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,35,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,38,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,50,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,51,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,65,17,14,21,0,2,0,20,21,2,12,7,16,21,2,25,0,10,7,16,0,7,0,66,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,67,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,68,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,69,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,70,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,76,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,77,17,14,21,2,76,21,2,7,21,2,68,8,0,7,0,78,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,79,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,80,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,99,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,106,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,2,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,57,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,58,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,71,19,8,22,0,77,11,14,21,0,31,0,15,7,0,22,21,0,3,0,23,7,0,7,0,72,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,73,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,107,8,22,0,143,11,14,0,7,21,0,7,0,108,8,22,0,144,11,14,21,0,3,0,23,7,0,7,0,109,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,110,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,111,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,33,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,36,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,37,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,39,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,40,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,41,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,42,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,43,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,44,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,45,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,46,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,47,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,52,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,48,17,14,21,0,7,21,1,17,21,0,6,17,0,7,0,49,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,54,21,1,27,21,0,2,17,21,1,27,0,53,17,22,0,5,11,14,0,55,22,0,6,11,14,0,56,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,59,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,60,17,14,21,0,3,21,1,17,0,24,17,0,7,0,61,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,62,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,59,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,63,17,14,21,0,2,0,14,16,21,1,17,0,24,17,0,7,0,64,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,74,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,75,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,81,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,82,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,83,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,38,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,84,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,85,17,14,21,0,1,21,1,78,0,29,17,21,1,25,21,1,70,7,16,0,7,0,86,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,87,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,88,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,89,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,90,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,91,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,92,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,93,17,14,21,0,2,0,20,21,1,11,7,16,21,1,25,21,1,70,7,16,0,7,0,94,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,95,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,96,17,14,21,0,1,21,1,76,16,21,1,78,21,0,5,17,0,7,0,97,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,98,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,100,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,101,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,102,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,103,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,104,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,105,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,146,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,1,7,7,21,0,2,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,21,1,75,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,34,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,35,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,38,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,50,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,51,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,65,17,14,21,0,2,0,20,21,2,12,7,16,21,2,25,0,10,7,16,0,7,0,66,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,67,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,68,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,69,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,70,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,76,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,77,17,14,21,2,76,21,2,7,21,2,68,8,0,7,0,78,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,79,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,80,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,99,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,106,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,2,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,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,11282,4],[0,0,11319,3],[0,0,11334,3],[0,0,11349,3],[0,0,11367,3],[0,0,11382,3],[0,0,11392,3],[0,0,11423,7],[0,0,11519,3],[1,1,11544,2],[1,1,11570,2],[1,1,11574,2],[0,0,11578,3],[0,0,11590,3],[0,0,11613,3],[1,0,11634,6],[1,0,11751,11],[1,0,11972,5],[0,0,11987,3],[0,0,12001,3],[0,0,12015,3],[1,0,12060,8],[0,0,12198,8],[0,0,12365,3],[0,0,12391,3],[0,0,12397,4],[0,0,12446,3],[0,0,12456,3],[1,0,12500,7],[0,0,12526,9],[1,0,12812,5],[0,0,12828,7],[0,0,12995,11],[0,0,13231,8],[0,0,13543,3],[0,0,13571,5],[1,0,13666,5],[0,0,13677,8],[0,0,13932,3],[0,0,13972,3],[0,0,13992,3],[1,0,14046,6],[0,0,14199,6],[0,0,14321,3],[0,0,14332,3],[0,0,14353,3],[0,0,14384,3],[0,0,14422,6],[0,0,14527,6],[0,0,14576,4],[0,0,14605,3],[0,0,14624,4],[1,1,14781,2],[0,0,14785,3],[1,0,14828,5],[0,0,14865,3],[0,0,14873,3],[0,0,14885,3],[0,0,14900,3],[0,0,14919,3],[1,0,14930,5],[1,0,14941,5],[0,0,14952,14],[0,0,15122,3],[0,0,15142,3],[0,0,15171,4],[0,0,15194,3],[1,0,15227,5],[0,0,15253,3],[0,0,15323,3],[0,1,15337,0],[0,0,15344,5],[0,0,15477,3],[0,0,15507,3],[0,0,15527,3],[0,0,15581,3],[0,0,15616,3],[0,0,15640,3],[0,0,15657,5],[0,0,15767,3],[0,0,15822,3],[0,0,15845,5],[0,0,15974,3],[0,0,16013,3],[0,0,16096,3],[0,0,16130,3],[0,0,16159,3],[0,0,16177,3],[0,0,16194,3],[0,0,16223,3],[0,0,16241,3],[0,0,16273,3],[0,0,16316,6],[0,0,16395,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,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,11566,2],[1,1,11570,2],[0,0,11574,3],[0,0,11586,3],[0,0,11609,3],[1,0,11630,6],[1,0,11747,11],[1,0,11968,5],[0,0,11983,3],[0,0,11997,3],[0,0,12011,3],[1,0,12056,8],[0,0,12194,8],[0,0,12361,3],[0,0,12387,3],[0,0,12393,4],[0,0,12442,3],[0,0,12452,3],[1,0,12496,7],[0,0,12522,9],[1,0,12808,5],[0,0,12824,7],[0,0,12991,11],[0,0,13227,8],[0,0,13539,3],[0,0,13567,5],[1,0,13662,5],[0,0,13673,8],[0,0,13928,3],[0,0,13968,3],[0,0,13988,3],[1,0,14042,6],[0,0,14195,6],[0,0,14317,3],[0,0,14328,3],[0,0,14349,3],[0,0,14380,3],[0,0,14418,6],[0,0,14523,6],[0,0,14572,4],[0,0,14601,3],[0,0,14620,4],[1,1,14777,2],[0,0,14781,3],[1,0,14824,5],[0,0,14861,3],[0,0,14869,3],[0,0,14881,3],[0,0,14896,3],[0,0,14915,3],[1,0,14926,5],[1,0,14937,5],[0,0,14948,14],[0,0,15118,3],[0,0,15138,3],[0,0,15167,4],[0,0,15190,3],[1,0,15223,5],[0,0,15249,3],[0,0,15319,3],[0,1,15333,0],[0,0,15340,5],[0,0,15473,3],[0,0,15503,3],[0,0,15523,3],[0,0,15577,3],[0,0,15612,3],[0,0,15636,3],[0,0,15653,5],[0,0,15763,3],[0,0,15818,3],[0,0,15841,5],[0,0,15970,3],[0,0,16009,3],[0,0,16092,3],[0,0,16126,3],[0,0,16155,3],[0,0,16173,3],[0,0,16190,3],[0,0,16219,3],[0,0,16237,3],[0,0,16269,3],[0,0,16312,6],[0,0,16391,3]] ); // Compiler diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 3733016f..902cb6a8 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -296,7 +296,7 @@ </tr> <tr> <td><code><span class='Modifier'>βΌ</span></code></td> -<td><code><span class='Brace'>{</span><span class='Function'>π½</span><span class='Modifier'>βΌ</span><span class='Modifier2'>βΈ</span><span class='Function'>β’</span><span class='Modifier2'>β</span><span class='Function'>π½</span><span class='Brace'>}</span></code></td> +<td><code><span class='Brace'>{</span><span class='Value'>r</span><span class='Gets'>β</span><span class='Function'>π½</span><span class='Value'>π©</span><span class='Separator'>β</span><span class='Function'>!</span><span class='Value'>π©</span><span class='Function'>β‘π½</span><span class='Modifier'>βΌ</span><span class='Value'>r</span><span class='Separator'>β</span><span class='Value'>r</span><span class='Brace'>}</span></code></td> <td></td> </tr> <tr> |