Avoid testing for equality with Join (∾) in Insert (˝)

author: Marshall Lochbaum <mwlochbaum@gmail.com> 2021-04-09 11:00:55 -0400
committer: Marshall Lochbaum <mwlochbaum@gmail.com> 2021-04-09 11:00:55 -0400
commit: f64156e1e19ac824b75f7a24ebdaa9c2cad5cdd7 (patch)
tree: 6f5b10038e70c1bed15e0aaac0d00a9773ac698f /docs
parent: d22b685b0135e0e36fa02b9e0f4336c6893d0b0f (diff)
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/bqn.js b/docs/bqn.js
index dab58360..1eaa79a8 100755
--- a/docs/bqn.js
+++ b/docs/bqn.js
@@ -242,9 +242,9 @@ let provide = [
 ];
 
 let [runtime,setPrims] = run(
-  [0,80,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,22,19,22,0,14,11,14,0,22,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,15,11,14,0,22,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,22,8,19,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,23,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,23,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,23,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,22,8,8,22,0,26,11,14,0,23,0,14,0,16,0,22,19,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,27,11,14,15,21,22,0,28,11,14,21,0,28,22,0,29,11,14,15,22,22,0,30,11,14,0,14,21,0,12,15,23,8,22,0,31,11,14,15,24,22,0,32,11,14,21,0,5,0,20,15,25,15,26,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,23,19,8,8,22,0,33,11,14,21,0,33,22,0,34,11,14,15,27,22,0,35,11,14,15,28,22,0,36,11,14,0,13,0,7,21,0,21,19,22,0,37,11,14,0,23,0,15,0,16,0,22,19,21,0,12,0,13,0,8,0,24,19,0,7,0,23,19,15,29,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,23,19,21,0,22,0,22,19,8,22,0,38,11,14,21,0,37,21,0,38,21,0,8,21,0,38,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,30,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,39,11,14,15,31,22,0,40,11,14,15,32,22,0,41,11,14,21,0,20,21,0,5,0,20,15,33,8,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,42,11,14,15,34,21,0,13,21,0,5,0,20,15,35,8,8,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,15,40,22,0,48,11,14,15,41,22,0,49,11,14,15,42,22,0,50,11,14,21,0,17,0,1,0,16,21,0,11,0,22,8,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,9,22,0,51,11,14,15,43,22,0,52,11,14,15,44,22,0,53,11,14,15,45,22,0,54,11,14,15,46,22,0,55,11,14,0,22,0,12,21,0,11,21,0,7,21,0,55,7,8,3,2,21,0,4,0,0,0,12,0,26,19,8,22,0,56,11,14,15,47,22,0,57,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,48,7,9,15,49,15,50,15,51,3,6,21,0,4,21,0,6,8,22,0,58,11,14,15,52,22,0,59,11,14,21,0,14,21,0,10,0,12,8,0,22,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,22,3,2,0,14,21,0,10,21,0,54,0,12,7,8,21,0,29,0,8,7,0,23,19,0,22,3,2,15,53,3,5,21,0,29,15,54,7,16,22,0,60,11,14,0,22,15,55,3,2,21,0,4,21,0,14,8,22,0,61,11,14,21,0,60,0,21,21,0,61,8,22,0,62,11,14,21,0,60,0,7,0,23,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,63,11,14,21,0,62,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,64,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,64,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,8,22,0,65,11,14,15,56,22,0,66,11,14,21,0,14,21,0,13,21,0,32,21,0,66,15,57,8,8,22,0,67,11,14,15,58,22,0,68,11,14,15,59,22,0,69,11,14,21,0,14,0,5,0,103,19,21,0,6,15,60,21,0,66,21,0,67,21,0,69,21,0,68,3,2,21,0,4,0,18,0,12,0,12,0,23,19,7,21,0,29,0,8,7,0,23,19,8,21,0,69,3,3,21,0,4,0,12,21,0,24,0,24,19,8,8,19,22,0,70,11,14,15,61,22,0,71,11,14,21,0,71,0,108,21,0,26,21,0,12,0,12,8,0,7,0,23,19,15,62,3,3,7,22,0,72,11,14,21,0,71,0,109,0,12,21,0,11,0,22,8,0,7,0,23,19,15,63,3,3,7,22,0,73,11,14,15,64,22,0,74,11,14,15,65,22,0,75,11,14,15,66,22,0,76,11,14,15,67,22,0,77,11,14,15,68,22,0,78,11,14,15,69,22,0,79,11,14,15,70,22,0,80,11,14,21,0,36,0,9,7,22,0,81,11,14,21,0,36,0,10,7,22,0,82,11,14,21,0,8,21,0,81,21,0,12,21,0,82,8,7,0,21,0,24,21,0,81,16,21,0,12,21,0,82,8,8,22,0,83,11,14,21,0,36,15,71,0,21,21,0,26,8,7,22,0,84,11,14,21,0,36,15,72,0,21,21,0,24,8,7,22,0,85,11,14,21,0,36,15,73,0,21,0,7,21,0,9,21,0,85,21,0,9,0,7,8,8,8,7,22,0,86,11,14,21,0,36,0,8,7,0,21,21,0,48,0,22,7,8,22,0,87,11,14,21,0,36,0,8,0,7,0,6,19,7,0,21,21,0,48,0,23,7,8,22,0,88,11,14,21,0,36,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,22,8,8,7,22,0,89,11,14,21,0,36,21,0,21,0,7,0,23,19,7,0,21,21,0,19,8,22,0,90,11,14,21,0,36,0,13,0,7,0,23,19,7,0,21,21,0,67,8,22,0,91,11,14,21,0,36,0,12,0,7,0,23,19,7,0,21,21,0,27,8,22,0,92,11,14,21,0,36,0,12,7,0,21,0,12,8,22,0,93,11,14,21,0,36,21,0,21,7,0,21,21,0,7,0,22,7,0,5,0,121,19,8,22,0,94,11,14,21,0,36,0,13,7,0,21,21,0,7,0,22,7,0,5,0,122,19,8,22,0,95,11,14,21,0,36,0,6,7,22,0,96,11,14,21,0,36,0,7,7,22,0,97,11,14,21,0,97,21,0,96,0,23,19,22,0,98,11,14,21,0,6,21,0,93,21,0,93,21,0,92,21,0,62,21,0,63,3,4,19,21,0,29,21,0,96,7,9,21,0,13,15,74,8,22,0,99,11,14,0,29,0,17,16,21,0,30,0,123,8,22,0,100,11,14,15,75,22,0,101,11,14,0,15,0,21,21,0,17,8,22,0,102,11,14,15,76,22,0,103,11,14,15,77,22,0,104,11,14,15,78,22,0,105,11,14,15,79,22,0,106,11,14,15,80,22,0,107,11,14,15,81,22,0,108,11,14,21,0,108,22,0,109,11,14,21,0,64,0,20,21,0,102,21,0,10,21,0,32,8,15,82,3,2,21,0,4,21,0,93,21,0,90,0,23,19,21,0,10,21,0,88,8,8,8,22,0,110,11,14,21,0,34,21,0,11,21,0,41,8,22,0,111,11,14,21,0,5,0,20,21,0,92,21,0,93,0,22,19,21,0,97,0,23,19,21,0,80,15,83,15,84,3,2,21,0,4,21,0,6,21,0,9,21,0,93,8,21,0,90,0,22,19,8,8,8,22,0,112,11,14,21,0,72,0,21,21,0,46,8,22,0,113,11,14,21,0,73,0,21,21,0,47,8,22,0,114,11,14,21,0,78,0,21,21,0,103,8,22,0,115,11,14,0,22,21,0,80,21,0,45,8,0,21,21,0,44,8,22,0,116,11,14,21,0,112,0,21,21,0,41,8,22,0,117,11,14,21,0,64,0,21,21,0,5,8,0,20,21,0,75,0,21,21,0,75,21,0,11,21,0,77,8,8,8,22,0,118,11,14,21,0,64,0,21,21,0,5,8,0,20,21,0,76,0,21,21,0,76,21,0,11,21,0,77,8,8,8,22,0,119,11,14,15,85,22,0,120,11,14,15,86,22,0,121,11,14,15,87,22,0,122,11,14,15,88,22,0,123,11,14,21,0,123,15,89,3,2,21,0,4,21,0,6,21,0,9,21,0,102,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,88,7,9,8,22,0,124,11,14,21,0,124,21,0,11,21,0,102,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,125,11,14,15,90,22,0,126,11,14,15,91,22,0,127,11,14,15,92,22,0,128,11,14,15,93,22,0,129,11,14,21,0,106,22,0,130,11,14,21,0,107,22,0,131,11,14,21,0,129,21,0,39,7,0,21,0,22,21,0,40,21,0,39,8,8,22,0,132,11,14,21,0,129,21,0,8,21,0,39,7,7,0,21,0,23,21,0,40,21,0,8,21,0,39,7,8,8,22,0,133,11,14,15,94,22,0,134,11,14,0,4,21,0,11,21,0,54,0,23,7,8,22,0,135,11,14,15,95,22,0,136,11,14,21,0,136,21,0,5,21,0,9,0,19,21,0,96,7,8,21,0,8,21,0,97,7,0,23,19,21,0,8,21,0,34,7,21,0,8,21,0,117,21,0,9,21,0,132,21,0,9,21,0,135,8,8,7,19,7,22,0,137,11,14,21,0,20,21,0,10,15,96,8,22,0,138,11,14,21,0,64,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,91,8,8,22,0,139,11,14,21,0,110,0,21,21,0,70,8,22,0,140,11,14,21,0,122,0,21,21,0,121,8,22,0,141,11,14,21,0,134,0,23,7,0,21,21,0,137,8,22,0,142,11,14,21,0,8,21,0,134,0,22,7,7,0,21,21,0,136,21,0,5,7,8,22,0,143,11,14,15,97,22,0,144,11,14,21,0,5,0,20,15,98,8,22,0,145,11,14,15,99,22,0,146,11,14,15,100,22,0,147,11,14,21,0,146,0,21,21,0,42,8,22,0,148,11,14,21,0,132,21,0,9,21,0,132,8,21,0,34,21,0,97,21,0,5,19,21,0,8,21,0,142,7,19,0,1,0,22,19,22,0,149,11,14,15,101,0,1,0,22,19,22,0,150,11,14,21,0,5,0,20,0,23,21,0,80,21,0,50,8,21,0,11,21,0,20,8,0,21,21,0,49,8,8,22,0,151,11,14,21,0,125,0,21,21,0,51,8,22,0,152,11,14,15,102,22,0,153,11,14,15,103,22,0,154,11,14,15,104,22,0,155,11,14,21,0,140,22,0,156,11,14,21,0,155,22,0,157,11,14,21,0,101,0,21,21,0,17,8,22,0,158,11,14,21,0,57,22,0,159,11,14,21,0,150,0,21,21,0,149,8,22,0,160,11,14,21,0,138,0,21,21,0,117,21,0,11,21,0,143,8,8,22,0,161,11,14,15,105,22,0,162,11,14,0,34,0,22,0,35,0,22,0,36,0,23,0,37,0,23,0,38,0,23,0,39,0,23,0,40,0,32,0,41,0,30,0,42,0,22,0,43,0,23,0,44,0,22,0,45,0,23,0,46,0,22,0,47,0,23,3,28,21,0,162,21,0,7,0,22,7,0,5,0,164,19,8,15,106,9,22,0,163,11,14,0,5,21,0,11,0,165,8,22,0,164,11,14,0,5,21,0,11,0,166,8,22,0,165,11,14,21,0,7,0,22,7,0,5,0,167,19,22,0,166,11,14,15,107,22,0,167,11,14,15,108,22,0,168,11,14,15,109,22,0,169,11,14,0,34,21,0,8,21,0,97,7,0,21,21,0,96,8,0,35,21,0,97,0,36,21,0,8,21,0,81,7,0,21,21,0,5,8,0,37,21,0,81,0,38,21,0,36,0,2,7,0,48,21,0,8,21,0,82,7,0,21,21,0,8,21,0,89,7,8,0,43,21,0,8,21,0,81,7,0,21,21,0,87,21,0,167,21,0,5,8,8,0,42,21,0,6,21,0,97,0,23,19,21,0,81,21,0,8,21,0,97,7,19,0,21,21,0,88,21,0,167,21,0,5,8,8,0,39,21,0,98,0,49,0,22,21,0,9,21,0,164,8,0,21,15,110,8,0,50,21,0,5,0,51,21,0,62,21,0,9,21,0,165,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,52,15,111,0,21,0,22,21,0,9,21,0,164,8,8,0,53,15,112,0,21,15,113,8,0,54,0,22,21,0,9,21,0,164,8,0,21,21,0,113,21,0,167,21,0,152,21,0,11,0,28,8,8,8,0,55,0,22,21,0,9,21,0,164,8,0,21,21,0,114,21,0,167,21,0,152,8,8,0,56,0,22,21,0,9,21,0,164,8,0,21,21,0,115,21,0,167,21,0,63,8,8,0,57,21,0,116,21,0,11,21,0,97,8,0,21,21,0,116,8,0,58,21,0,147,0,21,21,0,43,8,0,59,0,22,21,0,9,21,0,164,8,0,21,15,114,8,0,60,21,0,169,0,21,21,0,168,8,3,42,21,0,162,21,0,166,8,22,0,170,11,14,15,115,22,0,171,11,14,15,116,22,0,172,11,14,15,117,21,0,10,15,118,8,22,0,173,11,14,15,119,0,61,0,34,21,0,8,21,0,97,7,0,21,0,24,21,0,12,21,0,81,8,8,0,35,21,0,96,0,21,0,22,21,0,9,21,0,164,8,8,0,36,21,0,8,21,0,81,7,0,21,21,0,83,8,0,37,21,0,89,0,21,0,22,21,0,9,21,0,164,8,8,0,38,21,0,83,0,21,0,22,21,0,9,21,0,164,8,8,0,48,0,2,21,0,81,9,0,21,0,22,21,0,9,21,0,164,8,8,0,43,21,0,8,21,0,81,7,0,21,21,0,83,8,0,42,21,0,6,21,0,97,0,23,19,21,0,81,21,0,8,21,0,97,7,19,0,21,21,0,98,21,0,9,21,0,83,8,21,0,98,9,8,0,39,21,0,7,0,23,7,21,0,97,21,0,96,19,0,21,0,22,21,0,9,21,0,164,8,8,3,18,21,0,162,21,0,166,8,0,62,15,120,0,63,15,121,0,64,15,122,0,65,15,123,21,0,9,15,124,8,3,10,21,0,162,21,0,7,21,0,166,7,8,7,22,0,174,11,14,0,23,15,125,21,0,151,0,22,0,28,3,2,19,21,0,62,0,31,21,0,7,3,2,19,3,2,21,0,153,0,0,21,0,95,0,26,19,8,22,0,175,11,14,15,126,15,127,0,66,21,0,173,0,67,15,128,0,68,15,129,0,69,21,0,7,0,22,21,0,9,21,0,164,8,7,15,130,15,131,3,2,21,0,153,21,0,95,21,0,11,0,22,8,8,3,2,21,0,153,21,0,5,21,0,9,21,0,15,8,8,0,70,15,132,0,71,15,133,15,134,21,0,5,3,2,21,0,153,21,0,6,8,21,0,6,21,0,9,21,0,175,8,19,0,72,15,135,3,14,21,0,162,21,0,7,21,0,166,7,8,7,7,22,0,176,11,14,15,136,22,0,177,11,14,15,137,21,0,114,21,0,11,0,23,8,21,0,5,21,0,152,21,0,9,21,0,170,8,9,21,0,7,21,0,7,0,22,7,0,5,0,168,19,7,21,0,5,21,0,29,21,0,173,7,9,21,0,177,21,0,174,21,0,176,3,6,21,0,153,21,0,6,8,21,0,152,19,9,22,0,178,11,14,15,138,21,0,178,21,0,7,0,22,7,0,5,0,169,19,3,3,21,0,117,0,26,0,23,0,24,3,3,17,21,0,153,0,0,8,22,0,179,11,14,15,139,22,0,180,11,14,0,50,0,51,0,61,0,66,0,67,0,71,0,72,0,70,0,73,3,9,0,45,0,44,0,74,3,3,0,49,0,53,0,56,0,59,0,75,0,76,0,60,3,5,0,77,0,54,0,55,0,57,0,58,0,78,0,79,3,7,3,6,21,0,54,21,0,158,7,16,15,140,16,22,0,181,11,14,21,0,96,21,0,97,21,0,89,21,0,81,21,0,82,21,0,83,21,0,85,21,0,86,21,0,84,21,0,98,21,0,87,21,0,88,21,0,90,21,0,91,21,0,92,21,0,93,21,0,95,21,0,94,21,0,62,21,0,63,21,0,6,21,0,5,21,0,158,21,0,140,21,0,139,21,0,113,21,0,114,21,0,115,21,0,119,21,0,118,21,0,116,21,0,148,21,0,117,21,0,132,21,0,133,21,0,151,21,0,152,21,0,142,21,0,160,21,0,143,21,0,161,21,0,141,0,5,21,0,7,21,0,8,21,0,79,21,0,54,21,0,171,21,0,180,21,0,29,21,0,109,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,159,0,21,21,0,153,21,0,131,21,0,130,21,0,157,3,62,15,141,16,25,0,22,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,142,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,143,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,81,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,144,15,145,3,2,21,1,4,21,0,6,21,1,22,0,22,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,6,17,8,7,16,0,18,15,146,7,16,14,21,0,8,25,21,1,7,21,1,0,0,18,21,1,22,0,18,0,12,0,7,0,23,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,147,19,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,3,8,8,7,16,25,21,0,1,21,1,31,0,23,17,22,0,3,11,21,1,29,0,8,7,0,23,17,22,0,4,11,14,21,0,4,0,17,16,0,15,21,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,21,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,148,22,0,2,11,14,15,149,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,21,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,21,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,150,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,151,15,152,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,35,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,38,21,0,2,17,25,21,0,1,0,14,21,1,10,21,1,126,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,29,21,1,127,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,39,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,22,21,1,8,21,0,4,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,84,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,31,0,23,17,21,1,29,0,8,7,0,23,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,22,22,0,9,11,22,0,10,11,14,21,0,8,0,22,0,18,21,1,15,7,21,1,29,0,8,7,0,23,19,3,2,21,1,4,21,0,6,21,1,22,0,25,17,0,8,0,23,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,153,8,8,16,0,7,0,23,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,154,21,0,4,7,3,2,21,1,4,21,0,11,8,16,0,1,0,22,17,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,85,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,15,155,8,16,0,1,0,22,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,31,0,23,17,22,0,4,11,21,1,29,0,8,7,0,23,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,21,0,5,0,17,16,0,15,21,0,4,17,17,25,21,0,1,21,1,14,16,21,1,165,16,14,21,0,1,0,12,16,21,1,22,0,22,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,23,17,22,0,3,11,14,21,0,1,0,14,16,22,0,4,11,14,21,0,4,0,16,21,0,3,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,23,17,0,17,16,0,15,21,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,21,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,87,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,34,21,0,3,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,88,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,22,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,34,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,21,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,89,17,14,21,0,1,21,1,27,16,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,34,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,22,8,8,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,34,21,1,11,15,156,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,34,21,1,11,21,0,1,21,1,40,21,1,39,21,1,8,21,1,39,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,91,17,14,21,0,1,21,1,27,16,21,1,22,0,22,17,0,5,0,92,17,14,21,0,1,21,1,33,0,22,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,93,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,94,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,95,17,14,21,0,1,21,1,34,21,1,11,0,18,21,1,5,21,1,23,0,22,19,0,8,21,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,22,17,0,22,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,23,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,23,8,21,1,8,0,16,7,21,0,3,19,21,0,0,9,8,7,0,23,19,3,2,21,1,4,0,13,21,1,11,0,24,8,8,16,25,21,0,1,15,157,21,1,6,21,1,52,9,21,1,13,15,158,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,26,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,53,21,1,35,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,59,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,56,8,0,7,0,23,19,21,1,13,15,159,8,22,0,9,11,14,21,1,5,0,20,15,160,8,22,0,10,11,14,21,0,8,21,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,21,0,10,8,21,1,7,21,0,5,7,21,1,179,9,15,161,9,3,2,21,1,4,21,1,56,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,0,5,21,0,4,21,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,21,0,4,21,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,0,5,21,0,4,21,0,3,8,25,21,1,7,21,1,55,7,22,0,5,11,14,21,1,44,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,22,0,14,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,162,22,0,7,11,14,21,1,1,0,22,0,16,21,1,11,0,24,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,22,8,0,12,0,29,19,8,9,22,0,8,11,14,15,163,22,0,9,11,14,21,0,9,0,23,7,22,0,10,11,14,21,0,9,0,22,7,22,0,11,11,14,15,164,22,0,12,11,14,15,165,22,0,13,11,14,15,166,22,0,14,11,14,0,0,21,1,21,0,26,19,21,1,13,21,0,14,21,1,56,7,8,22,0,15,11,14,21,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,21,0,11,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,22,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,13,9,21,0,10,21,1,11,0,23,8,21,0,16,15,167,15,168,3,3,21,1,4,21,1,7,0,26,7,0,7,0,0,19,8,3,7,7,0,16,21,1,181,19,15,169,21,1,5,19,22,0,17,11,14,21,1,1,21,1,73,21,1,11,0,23,8,21,1,5,0,16,0,22,19,21,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,170,21,1,12,21,1,58,8,21,1,5,0,16,0,22,19,21,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,26,21,1,5,0,24,3,2,21,1,4,0,13,21,1,11,0,24,8,8,3,2,21,1,4,0,13,21,1,11,0,22,8,8,8,8,0,16,21,1,11,0,22,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,22,21,0,7,0,28,8,3,2,21,1,29,15,171,7,16,0,22,21,1,55,3,2,21,1,1,21,1,34,0,23,0,26,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,54,21,1,60,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,23,17,25,21,0,2,0,16,0,23,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,22,17,8,25,21,0,1,0,15,16,0,18,21,1,61,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,22,17,0,6,0,23,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,63,21,1,10,21,0,2,8,19,8,8,21,1,65,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,22,19,8,25,21,0,1,0,15,16,0,16,0,22,17,21,1,63,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,63,21,1,62,21,0,3,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,97,17,14,21,0,3,21,1,29,0,8,7,0,23,17,0,17,16,0,15,21,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,28,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,27,7,16,21,1,41,16,0,18,15,172,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,63,7,16,22,0,5,11,14,21,0,5,0,16,0,22,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,98,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,99,17,14,15,173,22,0,8,11,14,21,0,1,21,1,63,16,22,0,9,11,14,0,23,22,0,10,11,14,0,22,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,54,15,174,7,21,0,9,21,1,44,16,21,0,8,0,8,7,0,23,17,21,1,44,16,17,14,21,1,54,15,175,21,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,176,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,102,17,14,21,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,21,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,105,21,1,32,21,0,2,17,21,1,32,0,104,17,22,0,5,11,14,0,106,22,0,6,11,14,0,107,22,0,7,11,14,15,177,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,21,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,22,21,1,12,21,1,22,8,21,1,13,0,30,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,30,8,7,3,2,21,1,4,21,0,1,21,1,22,0,22,17,8,16,25,21,0,1,14,0,6,21,1,25,0,22,19,0,17,9,0,7,21,1,25,0,22,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,22,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,22,17,0,5,0,111,17,14,21,0,3,21,1,21,0,23,17,0,5,0,112,17,14,21,0,1,21,1,31,0,23,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,63,16,7,0,16,21,0,3,0,7,0,23,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,113,17,14,21,0,4,21,1,29,0,8,7,0,23,17,25,21,0,1,21,1,74,21,0,2,17,22,0,3,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,4,8,8,7,16,0,15,21,0,1,21,1,63,16,17,25,21,0,1,21,1,74,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,21,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,21,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,6,8,8,7,16,0,15,21,0,1,21,1,63,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,1,21,1,31,0,23,17,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,23,17,0,5,0,114,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,21,1,5,0,20,15,178,8,8,21,0,2,17,25,21,0,1,0,28,21,1,107,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,179,15,180,3,2,21,1,4,21,1,6,21,1,9,21,1,62,21,1,22,21,0,2,19,8,8,8,25,21,0,2,21,1,81,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,22,21,0,2,16,19,8,25,21,0,2,21,1,93,16,21,1,94,0,23,17,0,5,0,124,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,98,16,22,0,4,11,21,1,29,21,1,96,7,16,22,0,5,11,14,21,0,5,21,1,94,0,23,17,0,5,0,125,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,92,16,22,0,7,11,14,21,0,3,21,1,29,21,1,89,7,15,181,3,2,21,1,4,21,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,92,21,0,8,17,21,1,13,21,1,5,0,20,15,182,8,8,16,0,15,21,0,3,17,25,15,183,22,0,3,11,14,15,184,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,93,16,21,1,94,0,23,17,0,5,0,131,17,14,21,0,1,21,1,102,16,22,0,1,12,14,21,0,1,21,1,92,16,0,26,21,1,12,21,1,95,8,21,1,87,21,1,95,21,1,11,0,23,8,19,16,0,5,0,132,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,87,7,16,0,5,0,133,17,14,21,0,1,25,21,0,1,21,1,9,21,1,104,8,21,1,5,21,1,9,21,1,90,8,21,1,54,0,16,7,21,1,92,21,1,12,21,1,8,21,1,84,21,1,96,0,23,19,21,1,97,21,1,6,19,7,8,19,0,23,0,22,3,2,0,21,0,24,3,1,8,19,25,21,0,1,21,1,105,21,0,5,7,21,0,2,17,22,0,6,11,21,1,91,0,22,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,185,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,105,21,0,5,7,21,1,54,21,1,97,21,1,12,21,1,85,8,21,1,97,21,1,86,0,22,19,3,2,21,1,4,21,1,5,21,1,95,0,22,19,8,7,21,1,93,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,186,22,0,7,11,14,21,1,5,21,1,90,9,21,0,7,21,1,5,0,18,21,1,90,7,9,3,3,21,1,4,21,1,93,21,1,12,21,1,94,8,21,1,96,0,23,19,21,1,89,0,22,21,1,12,21,1,91,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,92,21,1,8,21,1,97,7,0,23,19,8,16,17,21,1,54,21,0,4,7,21,0,2,21,0,7,21,0,6,0,16,0,22,17,17,17,21,1,91,16,25,21,0,1,21,1,93,16,21,1,95,0,23,17,0,5,0,134,17,14,21,0,4,22,0,5,11,14,15,187,22,0,6,11,14,21,0,1,21,0,6,15,188,3,2,21,1,4,0,23,0,21,21,1,92,21,1,90,0,22,19,8,8,21,0,2,17,25,21,0,1,21,1,63,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,92,7,16,22,0,4,11,21,1,29,21,1,86,7,0,23,17,22,0,5,11,14,21,0,4,21,1,97,21,0,5,17,21,1,94,0,23,17,21,1,29,21,1,87,7,16,0,5,0,136,17,14,21,0,3,21,1,54,21,1,34,21,1,11,0,23,21,1,97,21,0,5,17,0,17,16,21,1,12,21,1,96,8,8,7,21,0,5,21,1,98,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,62,7,16,0,5,0,137,17,14,21,0,3,21,1,54,0,23,21,1,5,0,16,0,22,19,3,2,21,1,4,21,1,6,8,7,21,0,4,21,1,93,21,0,5,17,17,21,1,29,21,1,96,7,16,22,0,7,11,14,21,0,1,21,1,102,21,1,10,21,1,32,8,21,0,2,17,21,1,102,21,0,6,0,16,0,22,17,21,1,32,21,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,102,0,16,0,22,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,86,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,34,21,0,1,21,1,92,16,21,1,89,21,0,3,17,0,17,16,0,19,21,1,8,15,189,21,1,13,15,190,8,7,7,16,17,25,21,0,1,21,1,92,21,1,10,21,1,93,8,21,0,2,17,0,5,0,138,17,14,21,0,1,21,1,111,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,87,7,16,0,5,0,139,17,14,21,0,1,21,1,95,0,28,17,21,1,29,21,1,87,7,16,0,5,0,140,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,22,8,21,1,13,21,1,5,15,191,21,1,92,21,1,12,21,1,8,21,1,97,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,22,22,0,8,11,14,21,0,6,0,18,21,1,115,21,1,9,0,18,15,192,7,8,21,0,4,9,7,16,25,21,0,1,21,1,93,16,21,1,93,0,23,17,0,5,0,141,17,14,21,1,120,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,22,21,1,9,21,1,115,8,19,0,18,15,193,7,21,1,29,0,18,0,18,21,1,32,7,7,7,3,0,21,1,90,16,21,1,90,16,19,0,1,0,18,0,22,7,3,0,21,1,12,21,1,102,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,62,21,1,90,0,23,19,8,16,25,21,0,1,21,1,14,16,0,5,0,142,17,14,21,0,2,21,1,62,21,1,91,0,24,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,93,16,21,1,93,0,23,17,0,5,0,143,17,14,21,0,2,0,18,21,1,93,7,16,22,0,3,11,21,1,29,21,1,96,7,16,22,0,4,11,14,21,0,1,21,1,93,16,21,1,95,21,0,4,17,0,5,0,144,17,14,21,0,1,21,1,63,16,21,1,113,21,0,4,17,21,1,97,21,0,2,0,18,21,1,63,7,16,21,1,70,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,93,0,23,17,21,1,117,21,0,3,17,21,1,12,21,1,95,8,21,1,87,21,1,95,21,1,11,0,22,8,19,16,21,1,29,21,1,87,7,16,0,5,0,145,17,14,0,22,3,1,21,1,32,21,0,5,17,21,1,34,21,0,3,0,19,21,1,96,7,16,21,1,118,0,22,17,17,21,1,85,21,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,102,7,16,22,0,2,12,0,18,21,1,92,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,101,21,0,1,21,1,31,21,0,4,17,21,1,12,21,1,32,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,89,7,16,3,1,21,0,8,16,21,1,12,21,1,34,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,22,8,21,1,10,21,1,120,21,0,9,7,8,21,1,54,21,1,120,21,1,5,7,7,21,1,89,21,0,7,21,1,116,16,21,1,118,0,23,17,0,19,21,1,89,7,16,21,1,116,16,19,21,1,29,0,18,0,18,21,1,96,7,7,7,9,0,18,21,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,92,8,21,1,92,0,23,19,8,21,0,6,17,0,1,21,0,2,0,18,0,22,7,16,21,0,8,16,17,25,21,0,2,21,1,93,16,21,1,93,0,23,17,0,5,0,146,17,14,21,0,1,21,1,63,16,22,0,3,11,21,1,92,21,1,10,21,1,93,8,21,0,2,17,0,5,0,147,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,87,7,16,0,5,0,148,17,14,21,0,3,21,1,90,21,1,87,21,1,97,21,1,12,21,1,94,8,19,21,0,2,17,21,1,29,21,1,87,7,16,0,5,0,149,17,14,0,22,21,1,90,21,0,2,17,21,1,89,21,0,3,17,21,1,96,21,0,2,17,22,0,2,12,14,21,0,2,21,1,92,16,21,1,98,21,1,11,21,1,115,8,16,21,1,97,16,21,1,29,21,1,5,21,1,89,21,0,3,21,1,12,0,16,8,19,21,1,96,21,0,2,21,1,12,0,16,8,19,7,0,22,17,21,1,8,0,16,7,21,0,1,21,1,102,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,124,8,7,16,25,21,0,1,21,1,93,21,1,11,0,22,8,21,1,29,21,1,88,7,9,21,1,10,21,1,8,21,1,97,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,22,21,0,3,3,2,15,194,3,2,21,1,4,0,22,21,1,93,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,195,22,0,8,11,14,21,0,4,21,1,93,21,1,11,0,22,8,21,1,13,21,0,1,8,9,21,0,8,3,2,0,16,21,0,6,21,1,92,0,23,17,17,25,21,0,1,22,0,2,11,14,21,1,90,21,1,11,0,22,8,21,1,13,15,196,8,25,21,0,2,21,1,93,16,21,1,8,21,1,97,7,0,23,17,22,0,5,11,14,21,0,5,21,1,95,0,22,17,0,5,0,150,17,14,21,0,1,21,1,93,16,21,1,95,21,0,5,17,0,5,0,151,17,14,21,0,2,21,1,31,0,23,17,22,0,6,11,21,1,29,21,1,89,7,16,22,0,7,11,14,0,22,21,1,127,21,0,2,21,1,102,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,92,16,0,23,0,23,21,1,12,21,1,97,21,1,9,21,1,115,8,8,21,1,89,21,0,7,19,0,18,21,1,96,21,1,11,21,0,7,8,21,1,12,21,0,8,8,7,9,21,1,8,21,1,95,7,0,22,19,21,1,29,21,1,87,7,9,3,2,21,1,4,21,1,90,21,1,11,0,22,8,8,16,0,5,0,152,17,14,21,0,1,21,1,93,16,21,1,8,21,1,97,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,20,16,21,1,31,21,0,9,17,22,0,10,11,14,21,0,10,21,1,126,21,0,6,17,22,0,11,11,14,21,0,11,21,1,29,21,1,127,21,0,1,21,1,102,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,21,1,102,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,8,0,22,7,21,1,95,21,0,12,21,1,11,21,1,89,21,1,11,21,0,6,21,1,29,21,1,89,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,115,16,0,18,21,0,1,21,1,63,16,21,1,12,0,16,8,7,16,21,1,29,21,1,89,7,21,1,115,9,21,1,12,21,1,102,8,16,21,1,89,21,0,10,21,1,29,21,1,89,7,16,17,0,18,15,197,21,1,11,21,0,2,21,1,92,16,8,7,16,0,1,0,22,17,25,21,0,1,22,0,2,11,14,21,1,109,21,1,87,7,21,1,98,9,0,19,21,1,87,7,21,1,109,21,1,96,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,198,0,1,0,22,19,25,21,0,1,21,1,93,16,21,1,95,0,23,17,0,5,0,155,17,14,21,0,1,21,1,132,16,22,0,5,11,14,21,0,1,21,1,92,16,21,1,115,16,0,18,0,23,21,1,5,21,0,1,21,1,93,21,1,90,0,23,19,21,1,13,21,1,79,21,1,90,7,8,16,21,1,34,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,63,8,0,23,21,1,12,21,1,97,8,19,3,2,21,1,4,21,1,90,21,1,11,0,22,8,8,7,16,21,0,4,21,0,5,17,21,1,34,21,0,5,21,1,135,16,17,0,1,0,22,17,25,21,0,2,21,1,93,16,22,0,3,11,14,21,0,1,21,1,93,16,21,1,95,21,0,3,17,0,5,0,156,17,14,21,0,1,21,0,3,21,1,131,21,1,115,21,1,11,21,0,2,21,1,63,16,21,1,85,21,0,1,21,1,63,16,21,1,113,21,1,11,21,1,97,8,21,0,3,17,21,1,96,0,23,17,17,8,8,16,21,0,3,21,1,131,21,1,62,8,21,0,2,17,0,1,0,22,17,25,21,0,2,21,1,93,16,21,1,94,0,23,17,0,5,0,157,17,14,21,0,1,21,1,63,16,21,1,92,21,1,10,21,1,95,8,21,0,2,17,0,5,0,158,17,14,21,0,2,21,1,102,16,0,18,21,1,16,7,16,21,1,29,21,1,87,7,16,0,5,0,159,17,25,21,0,1,21,1,63,16,21,1,141,21,0,2,17,0,18,21,1,29,21,1,85,7,7,16,21,1,115,16,0,18,21,1,7,21,0,1,7,21,1,125,21,1,34,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,144,21,0,2,17,14,21,0,2,21,1,102,16,22,0,2,12,14,21,0,2,21,1,143,16,21,1,98,16,21,1,29,21,1,96,7,16,21,1,97,21,0,1,21,1,93,16,17,22,0,3,11,14,21,0,3,21,1,90,21,0,2,17,21,1,29,21,1,87,7,16,0,5,0,160,17,14,21,0,1,21,1,145,21,0,3,21,1,115,16,21,1,5,21,1,117,21,1,8,21,1,143,21,1,9,21,1,98,8,7,19,21,0,2,17,21,1,140,21,0,2,17,17,25,21,0,1,21,1,144,21,0,2,17,14,21,0,2,21,1,102,16,22,0,2,12,14,21,0,1,21,1,93,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,90,8,21,1,87,21,1,143,19,16,21,1,29,21,1,87,7,16,21,1,164,16,14,21,0,1,21,1,145,21,0,3,21,1,115,16,21,1,5,21,1,117,21,1,8,21,1,143,21,1,9,21,1,98,8,7,19,21,0,2,17,21,1,140,21,0,2,17,21,1,135,16,17,25,21,0,2,21,1,93,16,21,1,8,21,1,97,7,0,23,17,22,0,3,11,14,21,0,3,21,1,95,0,22,17,0,5,0,161,17,14,21,0,1,21,1,93,16,21,1,95,21,0,3,17,0,5,0,162,17,14,21,0,1,21,1,142,21,1,11,21,0,2,8,21,1,102,21,1,9,21,1,149,21,1,12,21,1,79,21,1,139,7,8,8,21,1,102,21,1,7,0,24,7,21,1,140,21,1,63,19,19,9,21,1,10,21,1,142,8,21,0,2,17,25,21,0,1,15,199,21,0,5,21,1,152,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,179,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,22,22,0,7,11,22,0,8,11,14,21,0,6,0,22,21,1,130,15,200,8,16,14,0,22,15,201,0,21,21,1,7,15,202,7,8,21,0,2,17,22,0,9,11,14,21,0,1,3,1,22,0,10,11,14,15,203,21,1,11,21,0,9,8,22,0,11,11,14,21,0,7,21,0,11,21,0,4,17,22,0,12,11,14,21,0,8,21,1,97,16,21,0,10,21,0,11,21,1,11,21,1,179,8,3,2,21,1,153,21,1,90,21,1,11,0,22,8,8,21,0,4,17,22,0,13,11,14,21,0,6,0,22,21,1,130,21,1,7,21,0,12,21,0,13,3,2,7,21,1,152,0,22,21,1,12,21,1,90,8,19,21,1,152,21,1,84,19,8,16,25,0,24,21,1,81,21,0,2,21,1,92,16,17,21,1,115,16,21,1,89,0,24,17,22,0,3,11,14,21,0,1,21,1,90,16,21,1,140,21,0,2,21,1,151,21,0,3,21,1,96,0,23,17,17,17,21,1,30,21,0,2,21,1,151,21,0,3,17,8,25,0,22,21,0,1,16,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,62,21,0,1,17,21,1,165,16,14,21,0,6,25,21,0,1,21,1,93,16,21,1,93,0,23,17,21,1,164,16,14,21,0,1,21,1,140,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,87,7,16,21,1,164,16,14,21,0,3,0,3,16,22,0,4,11,14,0,23,21,1,95,21,0,4,17,21,1,29,21,1,87,7,16,21,1,165,16,14,21,0,4,21,1,98,16,21,1,117,16,22,0,5,11,14,21,0,5,21,1,54,0,28,7,16,21,1,140,21,0,1,21,1,54,21,1,92,7,16,21,1,117,16,17,21,1,151,21,0,5,21,1,140,21,0,3,17,21,1,132,16,17,25,21,0,2,21,1,93,16,21,1,93,0,23,17,21,1,164,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,87,7,16,21,1,164,16,14,21,0,1,21,1,140,21,1,10,21,1,151,21,1,11,21,1,132,8,8,21,0,2,21,1,141,16,17,25,21,0,1,21,1,14,16,21,1,165,16,14,21,0,1,21,1,93,16,21,1,93,0,22,17,21,1,165,16,14,21,0,1,21,1,152,16,25,21,0,2,21,1,93,21,1,10,21,1,97,8,21,0,1,17,22,0,3,11,14,21,0,3,0,23,21,1,12,21,1,95,8,21,1,87,21,1,95,21,1,11,0,22,8,19,16,21,1,165,16,14,21,0,2,0,23,21,1,92,3,2,21,1,153,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,92,16,21,1,95,21,0,4,17,21,1,165,16,14,21,0,1,21,1,151,21,1,113,21,1,11,21,0,4,8,3,2,21,1,153,21,0,3,8,16,21,1,62,21,0,2,17,21,1,165,16,14,21,0,1,21,1,114,21,0,4,17,25,21,0,1,21,1,92,16,21,1,93,0,24,17,21,1,165,16,14,21,0,1,21,1,151,16,21,1,62,21,0,2,17,21,1,165,16,14,21,0,1,21,1,151,0,23,17,25,21,0,1,21,1,92,16,21,1,93,0,23,17,21,1,165,16,14,21,0,1,21,1,151,16,25,21,0,1,21,1,93,16,21,1,93,0,23,17,21,1,164,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,87,7,16,21,1,164,16,14,21,0,1,21,1,114,21,1,11,0,23,8,21,1,95,21,1,114,21,1,11,0,28,8,19,21,1,29,21,1,87,7,9,16,21,1,165,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,53,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,179,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,152,21,1,11,0,23,8,21,0,1,21,1,12,15,204,8,21,1,152,21,1,11,0,22,8,19,25,21,1,5,21,1,9,21,1,62,8,21,1,90,0,22,19,21,1,165,9,21,1,6,21,1,54,21,1,154,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,62,8,21,1,90,0,22,19,21,1,165,9,21,1,6,0,22,21,1,9,21,1,164,8,0,21,21,1,171,21,1,154,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,93,8,21,1,90,0,22,19,21,1,165,9,21,1,6,21,1,79,21,1,154,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,165,8,8,9,7,19,25,21,1,54,21,1,154,21,0,1,7,7,25,21,1,5,21,1,9,21,1,93,8,21,1,90,0,22,19,21,1,165,9,21,1,6,21,1,5,21,0,1,21,1,118,19,0,21,21,1,92,21,1,90,0,23,19,21,1,157,21,1,114,21,1,11,0,23,8,21,0,1,21,1,114,21,1,11,0,28,8,19,21,1,140,21,1,151,19,8,8,19,25,21,0,1,21,1,1,16,25,21,1,152,21,1,11,0,23,8,21,0,1,21,1,12,15,205,8,21,1,151,21,1,11,0,22,0,24,3,2,8,19,25,21,0,1,21,1,7,15,206,7,3,2,21,1,153,21,1,93,21,1,11,21,1,7,21,1,172,7,8,8,25,21,1,154,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,21,0,3,8,21,1,154,21,0,1,7,9,25,21,0,1,21,1,159,21,1,154,21,0,2,7,8,25,21,0,1,21,1,157,21,0,2,8,21,1,167,21,0,1,21,1,97,16,21,1,157,21,0,2,8,8,25,21,0,1,21,1,97,16,21,1,157,21,0,2,8,25,21,1,154,21,0,1,7,0,21,21,1,154,21,0,2,7,8,25,21,1,154,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,166,8,25,21,1,154,21,0,2,7,21,1,154,21,0,1,7,9,0,21,21,0,1,21,1,7,0,22,21,1,9,21,1,164,8,7,15,207,3,2,21,1,153,21,1,5,21,1,9,21,1,175,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,175,21,1,98,9,22,0,6,11,14,21,0,5,15,208,15,209,21,1,7,21,1,166,7,3,2,21,1,153,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,153,21,1,6,21,1,9,21,0,6,8,8,21,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,62,21,1,9,21,1,165,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,179,16,21,1,5,15,210,3,2,21,1,153,0,22,21,1,5,21,1,9,21,1,1,8,21,1,151,0,22,0,33,3,2,19,21,1,63,0,29,21,1,172,3,2,19,3,2,21,1,153,21,1,63,21,1,11,21,1,7,21,1,166,7,8,21,1,87,21,1,63,19,8,8,21,0,1,17,25,21,0,1,21,1,54,21,1,92,7,16,21,1,92,21,1,140,21,1,117,19,16,21,1,30,21,0,1,21,1,140,16,8,25,21,1,90,21,1,142,21,0,1,19,21,1,152,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,163,16,25,0,23,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,82,17,14,21,0,5,21,2,29,0,8,7,0,23,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,21,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,83,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,21,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,23,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,21,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,21,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,21,0,9,21,2,27,16,17,0,15,16,0,15,21,0,7,17,25,21,0,1,21,2,36,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,211,21,0,2,7,7,16,25,21,0,2,0,18,15,212,21,0,1,7,7,16,25,21,1,6,0,8,0,24,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,22,7,21,2,23,0,22,21,2,127,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,22,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,24,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,23,19,0,7,21,0,7,19,0,10,0,24,19,7,16,21,2,29,15,213,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,23,17,0,5,0,86,17,14,0,23,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,22,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,22,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,17,16,0,18,15,214,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,99,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,54,0,12,7,8,21,2,29,0,8,7,0,23,19,3,3,21,2,29,15,215,7,16,22,0,3,11,14,15,216,22,0,4,11,14,21,2,18,21,0,4,15,217,3,2,21,2,4,21,2,5,21,2,9,21,2,29,21,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,22,19,21,2,14,9,8,22,0,5,11,14,0,22,22,0,6,11,14,21,0,1,15,218,16,14,21,0,1,21,0,2,3,2,21,0,5,0,22,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,219,7,16,22,0,8,11,14,21,0,8,21,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,55,7,8,16,25,15,220,21,2,11,21,0,2,8,22,0,3,11,14,15,221,22,0,4,11,14,15,222,21,2,11,0,22,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,22,19,0,16,0,23,19,21,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,21,0,8,19,21,2,13,15,223,21,2,9,21,1,6,8,8,16,21,0,7,21,0,2,17,22,0,10,11,14,21,0,10,21,0,9,21,2,13,15,224,8,16,25,21,0,1,15,225,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,23,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,226,25,21,0,1,22,0,3,11,14,15,227,25,21,0,2,21,0,1,16,25,21,0,1,21,2,54,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,23,19,21,2,13,15,228,8,16,14,21,1,5,0,16,0,23,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,229,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,21,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,54,0,12,7,21,0,5,17,21,2,29,0,8,7,0,23,17,0,5,0,100,17,14,21,0,6,21,2,41,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,22,17,21,2,34,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,21,0,8,0,18,21,2,5,7,21,1,12,17,21,2,54,0,6,7,21,0,7,0,18,21,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,21,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,21,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,34,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,22,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,21,0,3,21,2,54,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,23,17,0,5,0,101,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,21,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,21,0,6,0,18,0,6,21,2,11,0,8,21,2,11,21,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,23,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,63,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,230,8,21,0,3,17,22,0,4,11,14,15,231,22,0,5,11,14,0,22,21,2,22,16,22,0,6,11,14,0,23,22,0,7,11,14,15,232,22,0,8,11,14,0,22,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,233,21,1,4,15,234,7,21,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,235,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,22,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,115,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,116,17,14,21,0,1,21,2,63,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,23,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,22,8,7,16,21,2,29,0,8,7,16,0,5,0,117,17,14,21,0,3,21,2,34,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,23,17,22,0,6,11,14,0,23,0,7,21,1,3,17,15,236,16,21,2,32,21,0,6,3,1,17,0,19,0,8,7,16,21,2,44,16,22,0,7,11,14,21,0,2,21,2,5,21,2,54,15,237,7,21,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,21,0,4,17,0,23,21,2,12,0,12,8,0,7,0,23,19,21,2,13,21,2,8,0,17,0,15,21,0,5,19,21,2,12,0,18,0,6,7,8,7,8,21,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,118,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,0,119,17,14,21,0,1,21,2,63,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,120,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,22,17,21,2,13,15,238,8,0,22,17,25,21,0,1,21,2,54,21,2,5,0,23,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,89,7,16,22,0,3,11,14,21,0,3,21,2,90,0,22,17,0,5,0,126,17,14,21,1,4,21,2,92,16,0,17,16,21,2,89,21,1,4,17,21,2,29,21,2,96,7,16,22,0,4,11,14,21,1,3,0,16,21,0,4,17,21,2,100,16,22,0,5,11,14,0,31,21,2,90,21,0,5,17,0,5,0,127,17,14,21,2,93,21,2,11,21,2,85,8,0,5,0,128,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,81,21,1,7,17,21,0,6,21,2,85,21,2,86,3,3,21,2,4,21,0,5,21,2,85,0,24,17,8,16,22,0,7,11,14,21,1,3,21,2,54,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,21,0,7,21,2,89,21,0,3,17,21,0,5,21,2,93,0,26,17,21,2,13,21,2,90,21,2,11,21,1,7,8,21,2,13,15,239,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,90,8,8,15,240,3,2,21,2,4,21,1,7,21,2,90,0,22,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,129,17,14,21,0,1,0,17,16,25,21,0,1,21,2,93,16,21,2,93,0,23,17,0,5,0,130,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,32,21,2,11,21,2,102,8,7,7,3,0,21,2,90,16,17,0,1,21,0,1,0,18,0,22,7,16,17,25,21,1,9,21,1,7,21,2,96,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,54,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,62,21,2,10,21,2,18,8,21,2,94,21,0,4,21,2,86,0,22,17,19,21,2,88,0,22,21,2,94,21,0,4,17,21,2,87,21,1,7,17,19,21,2,101,0,24,19,21,2,29,21,2,96,21,2,11,0,24,21,2,12,21,2,89,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,63,16,21,2,34,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,31,21,0,2,17,22,0,4,11,21,2,29,21,2,89,7,16,22,0,5,11,14,21,0,5,0,17,16,21,2,102,21,0,4,17,22,0,6,11,14,21,0,1,15,241,0,20,21,2,7,21,0,3,21,2,29,21,2,89,7,16,0,17,16,0,18,21,2,5,21,2,89,21,0,5,19,21,2,96,21,0,6,19,21,2,8,21,2,34,7,21,0,1,21,2,102,16,19,7,16,21,2,102,21,0,3,17,7,8,16,25,21,0,1,21,2,63,16,21,2,73,0,23,17,22,0,3,11,14,15,242,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,102,21,0,4,19,21,2,163,21,2,12,21,2,101,8,3,2,21,2,4,21,2,92,21,2,11,21,2,7,21,2,156,7,8,8,21,0,3,17,25,21,0,1,21,2,79,21,2,90,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,93,21,1,4,17,25,21,1,3,21,2,96,22,1,4,13,14,21,0,1,21,2,96,0,23,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,113,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,23,21,2,96,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,102,16,21,1,3,16,0,18,21,0,1,21,2,63,16,21,2,115,16,21,2,102,16,21,2,12,21,2,34,8,7,16,25,21,0,1,21,2,92,21,2,10,21,2,97,8,21,0,2,17,21,2,89,16,22,0,3,11,14,21,0,1,21,2,92,21,2,10,21,2,85,8,21,0,2,17,22,0,4,11,14,21,0,1,15,243,21,2,11,21,2,92,21,2,96,21,0,4,21,2,115,16,21,2,96,0,23,17,21,2,97,16,19,8,21,2,10,15,244,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,245,21,1,7,3,2,21,2,4,21,2,93,21,2,11,21,1,6,8,8,22,0,5,11,14,0,22,21,0,5,16,25,15,246,22,0,3,11,14,0,28,21,0,3,0,23,21,2,96,21,0,1,17,17,21,2,96,0,23,17,25,21,0,2,21,2,128,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,2,21,2,93,16,21,2,8,21,2,97,7,0,23,17,22,0,3,11,14,21,0,3,21,2,95,0,22,17,0,5,0,153,17,14,21,0,1,21,2,93,16,21,2,95,21,0,3,17,0,5,0,154,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,131,0,22,8,8,21,2,5,21,0,3,21,2,131,21,2,90,8,3,2,21,2,4,21,0,3,21,2,90,0,22,17,8,21,2,10,0,18,21,2,63,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,92,16,21,2,90,0,22,17,8,15,247,3,2,21,2,4,21,2,102,21,2,9,21,2,92,8,21,2,90,0,27,19,21,2,10,21,2,87,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,15,16,0,5,0,163,17,14,21,0,1,21,2,85,21,1,8,17,22,1,8,12,14,21,0,1,21,2,86,21,1,7,17,22,1,7,12,25,15,248,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,21,0,1,21,2,115,16,21,2,140,21,1,10,17,0,19,21,0,2,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,172,21,0,1,8,25,21,2,5,21,2,154,21,2,8,21,0,2,7,7,21,0,1,19,25,21,2,5,21,2,154,21,1,4,7,21,0,2,19,15,249,21,2,154,21,0,1,7,8,25,21,2,5,21,2,154,21,2,8,21,1,4,7,7,21,0,1,19,21,2,154,21,0,2,7,9,25,21,0,1,21,2,167,21,0,2,8,21,2,172,21,0,1,8,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,22,22,0,5,11,22,0,6,11,22,0,7,11,14,0,26,22,0,8,11,14,21,0,1,0,23,0,12,21,2,7,17,0,7,0,23,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,22,0,23,0,24,3,4,22,0,10,11,14,0,6,15,250,3,2,0,16,21,0,3,0,13,0,27,17,17,22,0,11,11,14,15,251,22,0,12,11,14,15,252,15,253,21,0,12,3,3,21,3,4,15,254,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,255,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,256,8,16,25,0,22,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,22,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,54,0,15,7,16,22,0,4,11,0,16,0,22,17,21,3,27,16,22,0,5,11,14,0,28,22,0,6,11,14,21,0,4,21,3,12,21,3,54,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,257,25,21,0,1,15,258,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,21,0,3,22,1,7,12,14,21,0,4,25,21,0,1,21,3,14,0,7,0,23,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,23,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,22,8,7,16,22,0,5,11,14,21,0,5,0,22,21,3,40,21,3,37,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,23,19,7,16,22,0,7,11,14,21,3,7,21,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,21,0,6,21,3,27,16,8,8,22,0,8,11,14,0,22,22,0,9,11,21,0,8,16,22,0,10,11,14,21,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,259,3,2,21,3,4,15,260,8,7,16,0,15,21,0,3,17,25,21,0,1,21,3,54,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,32,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,22,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,22,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,28,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,21,0,3,25,21,0,1,21,3,32,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,23,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,23,21,3,12,0,12,8,0,7,0,23,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,23,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,23,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,32,22,1,10,13,14,21,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,23,8,0,7,0,23,19,21,3,13,15,261,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,262,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,23,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,79,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,97,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,32,22,2,6,13,14,21,2,7,25,21,0,1,21,3,84,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,90,16,7,16,25,21,0,2,21,3,92,16,21,3,90,0,22,17,0,5,0,135,17,14,21,0,2,21,3,92,16,0,17,16,21,3,90,0,22,17,21,3,89,21,0,2,17,25,21,0,2,0,18,21,0,1,21,3,12,0,16,8,7,16,25,21,0,1,21,3,93,21,0,2,17,0,19,21,3,87,7,16,21,3,29,21,3,96,7,16,22,0,3,11,14,21,0,3,21,3,115,16,0,18,21,0,2,21,3,12,0,16,8,7,16,21,3,29,21,3,89,7,16,22,0,4,11,14,21,0,3,21,3,91,21,3,11,21,1,4,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,54,0,16,7,8,21,3,9,15,263,8,8,16,14,21,0,4,25,21,1,4,21,3,96,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,21,3,93,21,3,11,0,22,8,21,3,13,21,0,1,21,3,96,0,23,17,21,3,9,21,1,5,8,8,16,25,21,0,1,0,23,21,3,12,21,3,91,8,21,3,13,15,264,8,21,0,2,17,25,21,0,2,21,3,133,16,21,3,116,16,22,0,3,11,14,21,0,1,21,3,132,21,0,2,21,3,34,21,0,3,17,17,21,3,8,21,3,97,7,0,23,17,21,3,86,0,22,17,21,3,8,21,3,34,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,131,21,3,62,8,21,0,2,21,3,34,21,0,4,17,17,21,2,2,21,3,13,21,3,89,21,3,11,21,3,97,21,3,11,21,0,4,8,8,21,3,96,21,3,6,19,8,21,0,2,21,3,92,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,1,8,0,7,0,23,17,21,4,13,21,1,9,0,7,0,23,19,21,4,13,15,265,8,8,0,23,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,23,17,22,1,4,12,0,12,21,1,6,17,0,8,0,24,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,23,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,23,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,0,23,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,22,21,0,3,16,25,21,0,1,14,0,23,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,22,15,266,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,22,8,8,22,1,4,12,25,21,0,1,21,4,29,21,4,97,7,16,21,4,89,16,22,2,3,12,14,21,0,1,21,4,29,21,4,85,7,16,21,4,89,21,1,4,17,22,1,4,12,25,0,24,21,4,81,21,0,2,17,21,4,85,16,22,0,3,11,21,4,96,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,2,21,4,84,0,24,17,21,4,89,21,0,5,17,21,4,96,21,0,3,17,17,25,21,0,1,14,0,24,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,23,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,267,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,60,21,2,3,17,0,5,0,96,17,25]
- ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','√','<','⊢','⊣','∾','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','∘','○','⌾','⍟','⊘','⊸','⟜','◶','≢','»','«','⥊','⊏','⊑',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟%"),str("´: 𝕩 must be a list"),str("Mapping: Equal-rank argument shapes don\'t agree"),str("Mapping: Argument shape prefixes don\'t agree"),str("⍋𝕩: 𝕩 must have rank at least 1"),str("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("≥: No monadic form"),str("≤: No monadic form"),str("∘⌊⌽↑"),str("𝕨⥊𝕩: 𝕨 must have rank at most 1"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers"),str("𝕨⥊𝕩: Can\'t compute axis length when rest of shape is empty"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑"),str("𝕨⥊𝕩: Shape must be exact when reshaping with ∘"),str("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),str("⍋ or ⍒: Rank of 𝕨 must be at least 1"),str("⍋ or ⍒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍋ or ⍒: 𝕨 must be sorted"),str("p⊐𝕩 or 𝕨∊p: p must have rank at least 1"),str("p⊐n or n∊p: Rank of n must be at least cell rank of p"),str("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must have rank at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")])
- ,[[0,1,0,182],[0,0,4047,3],[0,0,4055,3],[0,0,4059,3],[2,0,4072,6],[0,0,4099,3],[0,0,4103,3],[0,0,4107,3],[1,0,4111,5],[1,0,4119,5],[2,0,4137,6],[2,0,4152,6],[2,0,4171,6],[2,0,4193,6],[2,0,4215,6],[0,0,4247,3],[0,0,4259,3],[0,0,4268,3],[0,0,4274,3],[0,0,4291,3],[0,0,4300,3],[1,0,4309,9],[2,1,4422,3],[0,0,4479,3],[0,0,4519,4],[0,0,4595,5],[0,0,4670,3],[1,1,4687,4],[1,1,4760,3],[0,0,4838,3],[0,0,4849,5],[2,0,4933,12],[0,0,5144,4],[0,0,5198,6],[0,0,5288,3],[0,0,5313,7],[0,0,5442,4],[0,0,5503,4],[0,0,5616,3],[0,0,5684,4],[1,1,5761,2],[0,0,5794,3],[0,0,5844,4],[0,0,5986,4],[2,1,6087,3],[1,0,6130,5],[0,0,6168,3],[2,0,6172,11],[0,0,6303,3],[0,0,6311,6],[0,0,6338,5],[0,0,6359,6],[1,0,6386,19],[0,0,6895,3],[0,0,6922,3],[0,0,6948,3],[2,1,6987,3],[0,0,7056,4],[0,0,7153,7],[0,0,7200,14],[0,0,7434,5],[1,1,7531,8],[1,0,7584,6],[1,1,7692,2],[0,0,7750,5],[0,0,7912,5],[0,0,8049,7],[0,0,8218,3],[0,0,8277,4],[1,0,8344,5],[2,1,8361,4],[0,0,8404,3],[0,0,8431,3],[0,0,8453,3],[0,0,8475,3],[0,0,8494,9],[0,0,8651,5],[0,0,8685,3],[1,1,8780,2],[2,0,8849,10],[2,0,8908,8],[1,0,9101,7],[0,0,9168,8],[0,0,9404,5],[0,0,9494,3],[1,0,9528,9],[0,0,9679,4],[0,0,9798,10],[0,0,10256,4],[0,0,10469,3],[0,0,10487,4],[1,0,10559,9],[1,1,10628,3],[1,0,10652,14],[1,1,11095,4],[1,0,11149,6],[0,0,11293,4],[0,0,11401,3],[0,0,11475,3],[0,0,11530,4],[0,0,11659,4],[0,0,11779,4],[2,0,11900,6],[1,1,11928,2],[2,0,11936,14],[2,1,12123,4],[0,0,12193,3],[2,0,12200,7],[0,0,12241,6],[0,0,12391,3],[0,0,12461,3],[0,0,12499,5],[0,0,12643,3],[0,0,12690,3],[0,0,12716,3],[1,0,12803,5],[2,0,12831,6],[0,0,12846,3],[0,0,12854,3],[1,1,12875,2],[0,0,12904,3],[0,0,12940,3],[0,0,12988,3],[0,0,13042,3],[0,0,13054,3],[0,0,13134,3],[1,1,13142,2],[1,1,13175,2],[0,0,13205,4],[0,0,13242,3],[0,0,13257,3],[0,0,13286,3],[0,0,13301,3],[0,0,13319,3],[0,0,13334,3],[0,0,13344,3],[0,0,13401,7],[0,0,13480,3],[0,0,13488,3],[1,1,13513,2],[0,0,13596,3],[0,0,13630,3],[1,1,13658,2],[1,1,13662,2],[0,0,13666,3],[0,0,13678,3],[0,0,13701,3],[0,0,13722,3],[1,0,13730,6],[1,0,13847,11],[1,0,14068,5],[0,0,14083,3],[0,0,14097,3],[0,0,14111,3],[1,0,14156,8],[0,0,14294,8],[0,0,14461,3],[0,0,14487,3],[0,0,14497,3],[0,0,14514,9],[0,0,14697,6],[0,0,14772,3],[2,0,14780,11],[1,0,14857,5],[0,0,14888,3],[0,0,14898,3],[1,0,14908,5],[0,0,14941,4],[0,0,14952,4],[0,0,14963,3],[0,0,14971,3],[0,0,14983,3],[0,0,14991,3],[1,0,15035,7],[0,0,15061,9],[1,0,15347,5],[0,0,15363,7],[0,0,15530,11],[0,0,15772,8],[0,0,16084,3],[0,0,16112,5],[0,0,16207,8],[0,0,16462,3],[0,0,16509,3],[0,0,16529,3],[1,0,16595,6],[0,0,16748,7],[0,0,16886,5],[0,0,16963,3],[0,0,16986,3],[0,0,16997,3],[0,0,17018,3],[0,0,17050,3],[0,0,17081,3],[0,0,17119,6],[0,0,17224,6],[0,0,17273,4],[0,0,17302,3],[0,0,17321,4],[1,1,17498,2],[0,0,17502,3],[0,0,17545,3],[0,0,17556,3],[0,0,17564,3],[0,0,17586,3],[0,0,17594,3],[0,0,17606,3],[0,0,17617,3],[0,0,17636,3],[0,0,17661,3],[0,0,17688,3],[1,0,17706,5],[1,0,17717,5],[0,0,17728,14],[0,0,17898,3],[0,0,17918,3],[0,0,17933,3],[0,0,17941,8],[0,0,18012,3],[0,0,18034,5],[0,0,18063,11],[2,0,18275,6],[0,0,18314,3],[0,0,18385,3],[0,0,18417,3],[1,0,18428,5],[1,1,18439,2],[2,1,18458,3],[0,0,18480,3],[0,0,18509,4],[0,0,18532,3],[1,0,18565,5],[0,0,18591,3],[0,0,18661,3],[0,0,18675,3],[0,0,18686,5],[0,0,18822,3],[0,0,18852,3],[0,0,18872,3],[0,0,18926,3],[0,0,18961,3],[0,0,18985,3],[0,0,19000,3],[0,0,19043,3],[0,0,19060,5],[0,0,19170,3],[0,0,19225,3],[0,0,19248,5],[1,0,19377,5],[2,0,19388,6],[0,0,19403,3],[0,0,19442,3],[0,0,19525,3],[0,0,19559,3],[0,0,19588,3],[0,0,19606,3],[0,0,19623,3],[0,0,19652,4],[0,0,19713,3],[0,0,19726,4],[0,0,19758,3],[0,0,19768,3],[0,0,19786,3],[0,0,19818,3],[0,0,19861,6],[0,0,19940,3],[0,0,19967,3],[0,0,20007,3]]
+  [0,80,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,22,19,22,0,14,11,14,0,22,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,15,11,14,0,22,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,22,8,19,3,2,21,0,4,0,0,0,12,0,23,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,23,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,23,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,23,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,22,8,8,22,0,26,11,14,0,23,0,14,0,16,0,22,19,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,27,11,14,15,21,22,0,28,11,14,21,0,28,22,0,29,11,14,15,22,22,0,30,11,14,15,23,22,0,31,11,14,15,24,0,12,0,34,21,0,30,21,0,0,7,16,19,22,0,32,11,14,0,14,21,0,12,15,25,8,22,0,33,11,14,15,26,22,0,34,11,14,21,0,5,0,20,15,27,15,28,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,23,19,8,8,22,0,35,11,14,21,0,35,22,0,36,11,14,15,29,22,0,37,11,14,15,30,22,0,38,11,14,0,13,0,7,21,0,21,19,22,0,39,11,14,0,23,0,15,0,16,0,22,19,21,0,12,0,13,0,8,0,24,19,0,7,0,23,19,15,31,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,23,19,21,0,22,0,22,19,8,22,0,40,11,14,21,0,39,21,0,40,21,0,8,21,0,40,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,32,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,41,11,14,15,33,22,0,42,11,14,15,34,22,0,43,11,14,21,0,20,21,0,5,0,20,15,35,8,3,2,21,0,4,0,12,21,0,22,0,22,19,8,22,0,44,11,14,15,36,21,0,13,21,0,5,0,20,15,37,8,8,22,0,45,11,14,15,38,22,0,46,11,14,15,39,22,0,47,11,14,15,40,22,0,48,11,14,15,41,22,0,49,11,14,15,42,22,0,50,11,14,15,43,22,0,51,11,14,15,44,22,0,52,11,14,21,0,17,0,1,0,16,21,0,11,0,22,8,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,9,22,0,53,11,14,15,45,22,0,54,11,14,15,46,22,0,55,11,14,15,47,22,0,56,11,14,15,48,22,0,57,11,14,0,22,0,12,21,0,11,21,0,7,21,0,57,7,8,3,2,21,0,4,0,0,0,12,0,26,19,8,22,0,58,11,14,15,49,22,0,59,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,50,7,9,15,51,15,52,15,53,3,6,21,0,4,21,0,6,8,22,0,60,11,14,15,54,22,0,61,11,14,21,0,14,21,0,10,0,12,8,0,22,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,22,3,2,0,14,21,0,10,21,0,56,0,12,7,8,21,0,29,0,8,7,0,23,19,0,22,3,2,15,55,3,5,21,0,29,15,56,7,16,22,0,62,11,14,0,22,15,57,3,2,21,0,4,21,0,14,8,22,0,63,11,14,21,0,62,0,21,21,0,63,8,22,0,64,11,14,21,0,62,0,7,0,23,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,65,11,14,21,0,64,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,66,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,66,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,22,19,8,8,22,0,67,11,14,15,58,22,0,68,11,14,21,0,14,21,0,13,21,0,34,21,0,68,15,59,8,8,22,0,69,11,14,15,60,22,0,70,11,14,15,61,22,0,71,11,14,21,0,14,0,5,0,103,19,21,0,6,15,62,21,0,68,21,0,69,21,0,71,21,0,70,3,2,21,0,4,0,18,0,12,0,12,0,23,19,7,21,0,29,0,8,7,0,23,19,8,21,0,71,3,3,21,0,4,0,12,21,0,24,0,24,19,8,8,19,22,0,72,11,14,15,63,22,0,73,11,14,21,0,73,0,108,21,0,26,21,0,12,0,12,8,0,7,0,23,19,15,64,3,3,7,22,0,74,11,14,21,0,73,0,109,0,12,21,0,11,0,22,8,0,7,0,23,19,15,65,3,3,7,22,0,75,11,14,15,66,22,0,76,11,14,15,67,22,0,77,11,14,15,68,22,0,78,11,14,15,69,22,0,79,11,14,15,70,22,0,80,11,14,15,71,22,0,81,11,14,15,72,22,0,82,11,14,21,0,38,0,9,7,22,0,83,11,14,21,0,38,0,10,7,22,0,84,11,14,21,0,8,21,0,83,21,0,12,21,0,84,8,7,0,21,0,24,21,0,83,16,21,0,12,21,0,84,8,8,22,0,85,11,14,21,0,38,15,73,0,21,21,0,26,8,7,22,0,86,11,14,21,0,38,15,74,0,21,21,0,24,8,7,22,0,87,11,14,21,0,38,15,75,0,21,0,7,21,0,9,21,0,87,21,0,9,0,7,8,8,8,7,22,0,88,11,14,21,0,38,0,8,7,0,21,21,0,50,0,22,7,8,22,0,89,11,14,21,0,38,0,8,0,7,0,6,19,7,0,21,21,0,50,0,23,7,8,22,0,90,11,14,21,0,38,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,22,8,8,7,22,0,91,11,14,21,0,38,21,0,21,0,7,0,23,19,7,0,21,21,0,19,8,22,0,92,11,14,21,0,38,0,13,0,7,0,23,19,7,0,21,21,0,69,8,22,0,93,11,14,21,0,38,0,12,0,7,0,23,19,7,0,21,21,0,27,8,22,0,94,11,14,21,0,38,0,12,7,0,21,0,12,8,22,0,95,11,14,21,0,38,21,0,21,7,0,21,21,0,7,0,22,7,0,5,0,121,19,8,22,0,96,11,14,21,0,38,0,13,7,0,21,21,0,7,0,22,7,0,5,0,122,19,8,22,0,97,11,14,21,0,38,0,6,7,22,0,98,11,14,21,0,38,0,7,7,22,0,99,11,14,21,0,99,21,0,98,0,23,19,22,0,100,11,14,21,0,6,21,0,95,21,0,95,21,0,94,21,0,64,21,0,65,3,4,19,21,0,29,21,0,98,7,9,21,0,13,15,76,8,22,0,101,11,14,0,29,0,17,16,21,0,31,0,123,8,22,0,102,11,14,15,77,22,0,103,11,14,0,15,0,21,21,0,17,8,22,0,104,11,14,15,78,22,0,105,11,14,15,79,22,0,106,11,14,15,80,22,0,107,11,14,15,81,22,0,108,11,14,15,82,22,0,109,11,14,15,83,22,0,110,11,14,21,0,110,22,0,111,11,14,21,0,66,0,20,21,0,104,21,0,10,21,0,34,8,15,84,3,2,21,0,4,21,0,95,21,0,92,0,23,19,21,0,10,21,0,90,8,8,8,22,0,112,11,14,21,0,36,21,0,11,21,0,43,8,22,0,113,11,14,21,0,5,0,20,21,0,94,21,0,95,0,22,19,21,0,99,0,23,19,21,0,82,15,85,15,86,3,2,21,0,4,21,0,6,21,0,9,21,0,95,8,21,0,92,0,22,19,8,8,8,22,0,114,11,14,21,0,74,0,21,21,0,48,8,22,0,115,11,14,21,0,75,0,21,21,0,49,8,22,0,116,11,14,21,0,80,0,21,21,0,105,8,22,0,117,11,14,0,22,21,0,82,21,0,47,8,0,21,21,0,46,8,22,0,118,11,14,21,0,114,0,21,21,0,43,8,22,0,119,11,14,21,0,66,0,21,21,0,5,8,0,20,21,0,77,0,21,21,0,77,21,0,11,21,0,79,8,8,8,22,0,120,11,14,21,0,66,0,21,21,0,5,8,0,20,21,0,78,0,21,21,0,78,21,0,11,21,0,79,8,8,8,22,0,121,11,14,15,87,22,0,122,11,14,15,88,22,0,123,11,14,15,89,22,0,124,11,14,15,90,22,0,125,11,14,21,0,125,15,91,3,2,21,0,4,21,0,6,21,0,9,21,0,104,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,90,7,9,8,22,0,126,11,14,21,0,126,21,0,11,21,0,104,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,127,11,14,15,92,22,0,128,11,14,15,93,22,0,129,11,14,15,94,22,0,130,11,14,15,95,22,0,131,11,14,21,0,108,22,0,132,11,14,21,0,109,22,0,133,11,14,21,0,131,21,0,41,7,0,21,0,22,21,0,42,21,0,41,8,8,22,0,134,11,14,21,0,131,21,0,8,21,0,41,7,7,0,21,0,23,21,0,42,21,0,8,21,0,41,7,8,8,22,0,135,11,14,15,96,22,0,136,11,14,0,4,21,0,11,21,0,56,0,23,7,8,22,0,137,11,14,15,97,22,0,138,11,14,21,0,138,21,0,5,21,0,9,0,19,21,0,98,7,8,21,0,8,21,0,99,7,0,23,19,21,0,8,21,0,36,7,21,0,8,21,0,119,21,0,9,21,0,134,21,0,9,21,0,137,8,8,7,19,7,22,0,139,11,14,21,0,20,21,0,10,15,98,8,22,0,140,11,14,21,0,66,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,93,8,8,22,0,141,11,14,21,0,112,0,21,21,0,72,8,22,0,142,11,14,21,0,124,0,21,21,0,123,8,22,0,143,11,14,21,0,136,0,23,7,0,21,21,0,139,8,22,0,144,11,14,21,0,8,21,0,136,0,22,7,7,0,21,21,0,138,21,0,5,7,8,22,0,145,11,14,15,99,22,0,146,11,14,21,0,5,0,20,15,100,8,22,0,147,11,14,15,101,22,0,148,11,14,15,102,22,0,149,11,14,21,0,148,0,21,21,0,44,8,22,0,150,11,14,21,0,134,21,0,9,21,0,134,8,21,0,36,21,0,99,21,0,5,19,21,0,8,21,0,144,7,19,0,1,0,22,19,22,0,151,11,14,15,103,0,1,0,22,19,22,0,152,11,14,21,0,5,0,20,0,23,21,0,82,21,0,52,8,21,0,11,21,0,20,8,0,21,21,0,51,8,8,22,0,153,11,14,21,0,127,0,21,21,0,53,8,22,0,154,11,14,15,104,22,0,155,11,14,15,105,22,0,156,11,14,15,106,22,0,157,11,14,21,0,157,22,0,158,11,14,21,0,103,0,21,21,0,17,8,22,0,159,11,14,21,0,59,22,0,160,11,14,21,0,152,0,21,21,0,151,8,22,0,161,11,14,21,0,140,0,21,21,0,119,21,0,11,21,0,145,8,8,22,0,162,11,14,15,107,22,0,163,11,14,0,35,0,22,0,36,0,22,0,37,0,23,0,38,0,23,0,39,0,23,0,40,0,23,0,41,0,32,0,42,0,30,0,43,0,22,0,44,0,23,0,45,0,22,0,46,0,23,0,47,0,22,0,48,0,23,3,28,21,0,163,21,0,7,0,22,7,0,5,0,164,19,8,15,108,9,22,0,164,11,14,0,5,21,0,11,0,165,8,22,0,165,11,14,0,5,21,0,11,0,166,8,22,0,166,11,14,21,0,7,0,22,7,0,5,0,167,19,22,0,167,11,14,15,109,22,0,168,11,14,15,110,22,0,169,11,14,15,111,22,0,170,11,14,0,35,21,0,8,21,0,99,7,0,21,21,0,98,8,0,36,21,0,99,0,37,21,0,8,21,0,83,7,0,21,21,0,5,8,0,38,21,0,83,0,39,21,0,38,0,2,7,0,49,21,0,8,21,0,84,7,0,21,21,0,8,21,0,91,7,8,0,44,21,0,8,21,0,83,7,0,21,21,0,89,21,0,168,21,0,5,8,8,0,43,21,0,6,21,0,99,0,23,19,21,0,83,21,0,8,21,0,99,7,19,0,21,21,0,90,21,0,168,21,0,5,8,8,0,40,21,0,100,0,50,0,22,21,0,9,21,0,165,8,0,21,15,112,8,0,51,21,0,5,0,52,21,0,64,21,0,9,21,0,166,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,34,15,113,0,21,0,22,21,0,9,21,0,165,8,8,0,53,15,114,0,21,15,115,8,0,54,0,22,21,0,9,21,0,165,8,0,21,21,0,115,21,0,168,21,0,154,21,0,11,0,28,8,8,8,0,55,0,22,21,0,9,21,0,165,8,0,21,21,0,116,21,0,168,21,0,154,8,8,0,56,0,22,21,0,9,21,0,165,8,0,21,21,0,117,21,0,168,21,0,65,8,8,0,57,21,0,118,21,0,11,21,0,99,8,0,21,21,0,118,8,0,58,21,0,149,0,21,21,0,45,8,0,59,0,22,21,0,9,21,0,165,8,0,21,15,116,8,0,60,21,0,170,0,21,21,0,169,8,3,42,21,0,163,21,0,167,8,22,0,171,11,14,15,117,22,0,172,11,14,15,118,22,0,173,11,14,15,119,21,0,10,15,120,8,22,0,174,11,14,15,121,0,61,0,35,21,0,8,21,0,99,7,0,21,0,24,21,0,12,21,0,83,8,8,0,36,21,0,98,0,21,0,22,21,0,9,21,0,165,8,8,0,37,21,0,8,21,0,83,7,0,21,21,0,85,8,0,38,21,0,91,0,21,0,22,21,0,9,21,0,165,8,8,0,39,21,0,85,0,21,0,22,21,0,9,21,0,165,8,8,0,49,0,2,21,0,83,9,0,21,0,22,21,0,9,21,0,165,8,8,0,44,21,0,8,21,0,83,7,0,21,21,0,85,8,0,43,21,0,6,21,0,99,0,23,19,21,0,83,21,0,8,21,0,99,7,19,0,21,21,0,100,21,0,9,21,0,85,8,21,0,100,9,8,0,40,21,0,7,0,23,7,21,0,99,21,0,98,19,0,21,0,22,21,0,9,21,0,165,8,8,3,18,21,0,163,21,0,167,8,0,62,15,122,0,63,15,123,0,64,15,124,0,65,15,125,21,0,9,15,126,8,3,10,21,0,163,21,0,7,21,0,167,7,8,7,22,0,175,11,14,0,23,15,127,21,0,153,0,22,0,28,3,2,19,21,0,64,0,31,21,0,7,3,2,19,3,2,21,0,155,0,0,21,0,97,0,26,19,8,22,0,176,11,14,15,128,15,129,0,66,21,0,174,0,67,15,130,0,68,15,131,0,69,21,0,7,0,22,21,0,9,21,0,165,8,7,15,132,15,133,3,2,21,0,155,21,0,97,21,0,11,0,22,8,8,3,2,21,0,155,21,0,5,21,0,9,21,0,15,8,8,0,70,15,134,0,71,15,135,15,136,21,0,5,3,2,21,0,155,21,0,6,8,21,0,6,21,0,9,21,0,176,8,19,0,72,15,137,3,14,21,0,163,21,0,7,21,0,167,7,8,7,7,22,0,177,11,14,15,138,22,0,178,11,14,15,139,21,0,116,21,0,11,0,23,8,21,0,5,21,0,154,21,0,9,21,0,171,8,9,21,0,7,21,0,7,0,22,7,0,5,0,168,19,7,21,0,5,21,0,29,21,0,174,7,9,21,0,178,21,0,175,21,0,177,3,6,21,0,155,21,0,6,8,21,0,154,19,9,22,0,179,11,14,15,140,21,0,179,21,0,7,0,22,7,0,5,0,169,19,3,3,21,0,119,0,26,0,23,0,24,3,3,17,21,0,155,0,0,8,22,0,180,11,14,15,141,22,0,181,11,14,0,51,0,52,0,61,0,66,0,67,0,71,0,72,0,70,0,73,3,9,0,46,0,45,0,74,3,3,0,50,0,53,0,56,0,59,0,75,0,76,0,60,3,5,0,77,0,54,0,55,0,57,0,58,0,78,0,79,3,7,3,6,21,0,56,21,0,159,7,16,15,142,16,22,0,182,11,14,21,0,98,21,0,99,21,0,91,21,0,83,21,0,84,21,0,85,21,0,87,21,0,88,21,0,86,21,0,100,21,0,89,21,0,90,21,0,92,21,0,93,21,0,94,21,0,95,21,0,97,21,0,96,21,0,64,21,0,65,21,0,6,21,0,5,21,0,159,21,0,142,21,0,141,21,0,115,21,0,116,21,0,117,21,0,121,21,0,120,21,0,118,21,0,150,21,0,119,21,0,134,21,0,135,21,0,153,21,0,154,21,0,144,21,0,161,21,0,145,21,0,162,21,0,143,0,5,21,0,7,21,0,8,21,0,81,21,0,56,21,0,172,21,0,181,21,0,29,21,0,111,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,160,0,21,21,0,155,21,0,133,21,0,132,21,0,158,3,62,15,143,16,25,0,22,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,144,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,145,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,81,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,146,15,147,3,2,21,1,4,21,0,6,21,1,22,0,22,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,6,17,8,7,16,0,18,15,148,7,16,14,21,0,8,25,21,1,22,0,18,0,12,0,7,0,23,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,30,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,149,19,25,21,0,1,21,1,2,16,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,3,8,8,7,16,25,21,0,1,21,1,33,0,23,17,22,0,3,11,21,1,29,0,8,7,0,23,17,22,0,4,11,14,21,0,4,0,17,16,0,15,21,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,21,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,150,22,0,2,11,14,15,151,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,21,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,21,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,152,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,153,15,154,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,37,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,40,21,0,2,17,25,21,0,1,0,14,21,1,10,21,1,128,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,29,21,1,129,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,41,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,22,21,1,8,21,0,4,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,84,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,33,0,23,17,21,1,29,0,8,7,0,23,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,22,22,0,9,11,22,0,10,11,14,21,0,8,0,22,0,18,21,1,15,7,21,1,29,0,8,7,0,23,19,3,2,21,1,4,21,0,6,21,1,22,0,25,17,0,8,0,23,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,155,8,8,16,0,7,0,23,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,156,21,0,4,7,3,2,21,1,4,21,0,11,8,16,0,1,0,22,17,25,21,0,1,0,12,16,0,12,0,23,17,0,5,0,85,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,15,157,8,16,0,1,0,22,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,33,0,23,17,22,0,4,11,21,1,29,0,8,7,0,23,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,21,0,5,0,17,16,0,15,21,0,4,17,17,25,21,0,1,21,1,14,16,21,1,166,16,14,21,0,1,0,12,16,21,1,22,0,22,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,23,17,22,0,3,11,14,21,0,1,0,14,16,22,0,4,11,14,21,0,4,0,16,21,0,3,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,23,17,0,17,16,0,15,21,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,21,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,87,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,36,21,0,3,0,17,16,0,18,0,7,21,1,11,0,23,0,7,21,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,88,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,22,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,36,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,21,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,89,17,14,21,0,1,21,1,27,16,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,36,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,22,8,8,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,23,17,0,17,16,0,18,21,0,1,21,1,12,21,1,36,21,1,11,15,158,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,36,21,1,11,21,0,1,21,1,42,21,1,41,21,1,8,21,1,41,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,91,17,14,21,0,1,21,1,27,16,21,1,22,0,22,17,0,5,0,92,17,14,21,0,1,21,1,35,0,22,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,93,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,94,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,23,17,0,5,0,95,17,14,21,0,1,21,1,36,21,1,11,0,18,21,1,5,21,1,23,0,22,19,0,8,21,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,22,17,0,22,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,23,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,23,8,21,1,8,0,16,7,21,0,3,19,21,0,0,9,8,7,0,23,19,3,2,21,1,4,0,13,21,1,11,0,24,8,8,16,25,21,0,1,15,159,21,1,6,21,1,54,9,21,1,13,15,160,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,26,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,55,21,1,37,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,61,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,58,8,0,7,0,23,19,21,1,13,15,161,8,22,0,9,11,14,21,1,5,0,20,15,162,8,22,0,10,11,14,21,0,8,21,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,21,0,10,8,21,1,7,21,0,5,7,21,1,180,9,15,163,9,3,2,21,1,4,21,1,58,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,0,5,21,0,4,21,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,21,0,4,21,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,0,5,21,0,4,21,0,3,8,25,21,1,7,21,1,57,7,22,0,5,11,14,21,1,46,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,22,0,14,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,164,22,0,7,11,14,21,1,1,0,22,0,16,21,1,11,0,24,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,22,8,0,12,0,29,19,8,9,22,0,8,11,14,15,165,22,0,9,11,14,21,0,9,0,23,7,22,0,10,11,14,21,0,9,0,22,7,22,0,11,11,14,15,166,22,0,12,11,14,15,167,22,0,13,11,14,15,168,22,0,14,11,14,0,0,21,1,21,0,26,19,21,1,13,21,0,14,21,1,58,7,8,22,0,15,11,14,21,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,21,0,11,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,22,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,13,9,21,0,10,21,1,11,0,23,8,21,0,16,15,169,15,170,3,3,21,1,4,21,1,7,0,26,7,0,7,0,0,19,8,3,7,7,0,16,21,1,182,19,15,171,21,1,5,19,22,0,17,11,14,21,1,1,21,1,75,21,1,11,0,23,8,21,1,5,0,16,0,22,19,21,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,172,21,1,12,21,1,60,8,21,1,5,0,16,0,22,19,21,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,26,21,1,5,0,24,3,2,21,1,4,0,13,21,1,11,0,24,8,8,3,2,21,1,4,0,13,21,1,11,0,22,8,8,8,8,0,16,21,1,11,0,22,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,22,21,0,7,0,28,8,3,2,21,1,29,15,173,7,16,0,22,21,1,57,3,2,21,1,1,21,1,36,0,23,0,26,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,56,21,1,62,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,23,17,25,21,0,2,0,16,0,23,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,22,17,8,25,21,0,1,0,15,16,0,18,21,1,63,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,22,17,0,6,0,23,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,65,21,1,10,21,0,2,8,19,8,8,21,1,67,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,22,19,8,25,21,0,1,0,15,16,0,16,0,22,17,21,1,65,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,65,21,1,64,21,0,3,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,97,17,14,21,0,3,21,1,29,0,8,7,0,23,17,0,17,16,0,15,21,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,28,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,27,7,16,21,1,43,16,0,18,15,174,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,65,7,16,22,0,5,11,14,21,0,5,0,16,0,22,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,98,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,99,17,14,15,175,22,0,8,11,14,21,0,1,21,1,65,16,22,0,9,11,14,0,23,22,0,10,11,14,0,22,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,56,15,176,7,21,0,9,21,1,46,16,21,0,8,0,8,7,0,23,17,21,1,46,16,17,14,21,1,56,15,177,21,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,178,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,102,17,14,21,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,21,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,105,21,1,34,21,0,2,17,21,1,34,0,104,17,22,0,5,11,14,0,106,22,0,6,11,14,0,107,22,0,7,11,14,15,179,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,21,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,22,21,1,12,21,1,22,8,21,1,13,0,30,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,30,8,7,3,2,21,1,4,21,0,1,21,1,22,0,22,17,8,16,25,21,0,1,14,0,6,21,1,25,0,22,19,0,17,9,0,7,21,1,25,0,22,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,22,8,8,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,22,17,0,5,0,111,17,14,21,0,3,21,1,21,0,23,17,0,5,0,112,17,14,21,0,1,21,1,33,0,23,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,65,16,7,0,16,21,0,3,0,7,0,23,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,23,17,0,5,0,113,17,14,21,0,4,21,1,29,0,8,7,0,23,17,25,21,0,1,21,1,76,21,0,2,17,22,0,3,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,4,8,8,7,16,0,15,21,0,1,21,1,65,16,17,25,21,0,1,21,1,76,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,23,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,21,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,21,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,21,0,6,8,8,7,16,0,15,21,0,1,21,1,65,16,17,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,110,17,14,21,0,1,21,1,33,0,23,17,21,1,5,21,1,29,0,8,7,0,23,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,23,17,0,5,0,114,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,22,17,21,1,13,21,1,5,0,20,15,180,8,8,21,0,2,17,25,21,0,1,0,28,21,1,109,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,181,15,182,3,2,21,1,4,21,1,6,21,1,9,21,1,64,21,1,22,21,0,2,19,8,8,8,25,21,0,2,21,1,83,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,22,21,0,2,16,19,8,25,21,0,2,21,1,95,16,21,1,96,0,23,17,0,5,0,124,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,100,16,22,0,4,11,21,1,29,21,1,98,7,16,22,0,5,11,14,21,0,5,21,1,96,0,23,17,0,5,0,125,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,94,16,22,0,7,11,14,21,0,3,21,1,29,21,1,91,7,15,183,3,2,21,1,4,21,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,94,21,0,8,17,21,1,13,21,1,5,0,20,15,184,8,8,16,0,15,21,0,3,17,25,15,185,22,0,3,11,14,15,186,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,95,16,21,1,96,0,23,17,0,5,0,131,17,14,21,0,1,21,1,104,16,22,0,1,12,14,21,0,1,21,1,94,16,0,26,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,23,8,19,16,0,5,0,132,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,89,7,16,0,5,0,133,17,14,21,0,1,25,21,0,1,21,1,9,21,1,106,8,21,1,5,21,1,9,21,1,92,8,21,1,56,0,16,7,21,1,94,21,1,12,21,1,8,21,1,86,21,1,98,0,23,19,21,1,99,21,1,6,19,7,8,19,0,23,0,22,3,2,0,21,0,24,3,1,8,19,25,21,0,1,21,1,107,21,0,5,7,21,0,2,17,22,0,6,11,21,1,93,0,22,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,187,22,0,9,11,14,21,0,1,21,0,9,21,0,6,7,21,0,2,17,25,21,0,1,21,1,107,21,0,5,7,21,1,56,21,1,99,21,1,12,21,1,87,8,21,1,99,21,1,88,0,22,19,3,2,21,1,4,21,1,5,21,1,97,0,22,19,8,7,21,1,95,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,188,22,0,7,11,14,21,1,5,21,1,92,9,21,0,7,21,1,5,0,18,21,1,92,7,9,3,3,21,1,4,21,1,95,21,1,12,21,1,96,8,21,1,98,0,23,19,21,1,91,0,22,21,1,12,21,1,93,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,94,21,1,8,21,1,99,7,0,23,19,8,16,17,21,1,56,21,0,4,7,21,0,2,21,0,7,21,0,6,0,16,0,22,17,17,17,21,1,93,16,25,21,0,1,21,1,95,16,21,1,97,0,23,17,0,5,0,134,17,14,21,0,4,22,0,5,11,14,15,189,22,0,6,11,14,21,0,1,21,0,6,15,190,3,2,21,1,4,0,23,0,21,21,1,94,21,1,92,0,22,19,8,8,21,0,2,17,25,21,0,1,21,1,65,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,94,7,16,22,0,4,11,21,1,29,21,1,88,7,0,23,17,22,0,5,11,14,21,0,4,21,1,99,21,0,5,17,21,1,96,0,23,17,21,1,29,21,1,89,7,16,0,5,0,136,17,14,21,0,3,21,1,56,21,1,36,21,1,11,0,23,21,1,99,21,0,5,17,0,17,16,21,1,12,21,1,98,8,8,7,21,0,5,21,1,100,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,64,7,16,0,5,0,137,17,14,21,0,3,21,1,56,0,23,21,1,5,0,16,0,22,19,3,2,21,1,4,21,1,6,8,7,21,0,4,21,1,95,21,0,5,17,17,21,1,29,21,1,98,7,16,22,0,7,11,14,21,0,1,21,1,104,21,1,10,21,1,34,8,21,0,2,17,21,1,104,21,0,6,0,16,0,22,17,21,1,34,21,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,104,0,16,0,22,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,86,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,36,21,0,1,21,1,94,16,21,1,91,21,0,3,17,0,17,16,0,19,21,1,8,15,191,21,1,13,15,192,8,7,7,16,17,25,21,0,1,21,1,94,21,1,10,21,1,95,8,21,0,2,17,0,5,0,138,17,14,21,0,1,21,1,113,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,89,7,16,0,5,0,139,17,14,21,0,1,21,1,97,0,28,17,21,1,29,21,1,89,7,16,0,5,0,140,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,22,8,21,1,13,21,1,5,15,193,21,1,94,21,1,12,21,1,8,21,1,99,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,22,22,0,8,11,14,21,0,6,0,18,21,1,117,21,1,9,0,18,15,194,7,8,21,0,4,9,7,16,25,21,0,1,21,1,95,16,21,1,95,0,23,17,0,5,0,141,17,14,21,1,122,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,22,21,1,9,21,1,117,8,19,0,18,15,195,7,21,1,29,0,18,0,18,21,1,34,7,7,7,3,0,21,1,92,16,21,1,92,16,19,0,1,0,18,0,22,7,3,0,21,1,12,21,1,104,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,64,21,1,92,0,23,19,8,16,25,21,0,1,21,1,14,16,0,5,0,142,17,14,21,0,2,21,1,64,21,1,93,0,24,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,95,16,21,1,95,0,23,17,0,5,0,143,17,14,21,0,2,0,18,21,1,95,7,16,22,0,3,11,21,1,29,21,1,98,7,16,22,0,4,11,14,21,0,1,21,1,95,16,21,1,97,21,0,4,17,0,5,0,144,17,14,21,0,1,21,1,65,16,21,1,115,21,0,4,17,21,1,99,21,0,2,0,18,21,1,65,7,16,21,1,72,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,95,0,23,17,21,1,119,21,0,3,17,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,22,8,19,16,21,1,29,21,1,89,7,16,0,5,0,145,17,14,0,22,3,1,21,1,34,21,0,5,17,21,1,36,21,0,3,0,19,21,1,98,7,16,21,1,120,0,22,17,17,21,1,87,21,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,104,7,16,22,0,2,12,0,18,21,1,94,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,103,21,0,1,21,1,33,21,0,4,17,21,1,12,21,1,34,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,91,7,16,3,1,21,0,8,16,21,1,12,21,1,36,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,22,8,21,1,10,21,1,122,21,0,9,7,8,21,1,56,21,1,122,21,1,5,7,7,21,1,91,21,0,7,21,1,118,16,21,1,120,0,23,17,0,19,21,1,91,7,16,21,1,118,16,19,21,1,29,0,18,0,18,21,1,98,7,7,7,9,0,18,21,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,94,8,21,1,94,0,23,19,8,21,0,6,17,0,1,21,0,2,0,18,0,22,7,16,21,0,8,16,17,25,21,0,2,21,1,95,16,21,1,95,0,23,17,0,5,0,146,17,14,21,0,1,21,1,65,16,22,0,3,11,21,1,94,21,1,10,21,1,95,8,21,0,2,17,0,5,0,147,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,89,7,16,0,5,0,148,17,14,21,0,3,21,1,92,21,1,89,21,1,99,21,1,12,21,1,96,8,19,21,0,2,17,21,1,29,21,1,89,7,16,0,5,0,149,17,14,0,22,21,1,92,21,0,2,17,21,1,91,21,0,3,17,21,1,98,21,0,2,17,22,0,2,12,14,21,0,2,21,1,94,16,21,1,100,21,1,11,21,1,117,8,16,21,1,99,16,21,1,29,21,1,5,21,1,91,21,0,3,21,1,12,0,16,8,19,21,1,98,21,0,2,21,1,12,0,16,8,19,7,0,22,17,21,1,8,0,16,7,21,0,1,21,1,104,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,126,8,7,16,25,21,0,1,21,1,95,21,1,11,0,22,8,21,1,29,21,1,90,7,9,21,1,10,21,1,8,21,1,99,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,22,21,0,3,3,2,15,196,3,2,21,1,4,0,22,21,1,95,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,197,22,0,8,11,14,21,0,4,21,1,95,21,1,11,0,22,8,21,1,13,21,0,1,8,9,21,0,8,3,2,0,16,21,0,6,21,1,94,0,23,17,17,25,21,0,1,22,0,2,11,14,21,1,92,21,1,11,0,22,8,21,1,13,15,198,8,25,21,0,2,21,1,95,16,21,1,8,21,1,99,7,0,23,17,22,0,5,11,14,21,0,5,21,1,97,0,22,17,0,5,0,150,17,14,21,0,1,21,1,95,16,21,1,97,21,0,5,17,0,5,0,151,17,14,21,0,2,21,1,33,0,23,17,22,0,6,11,21,1,29,21,1,91,7,16,22,0,7,11,14,0,22,21,1,129,21,0,2,21,1,104,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,94,16,0,23,0,23,21,1,12,21,1,99,21,1,9,21,1,117,8,8,21,1,91,21,0,7,19,0,18,21,1,98,21,1,11,21,0,7,8,21,1,12,21,0,8,8,7,9,21,1,8,21,1,97,7,0,22,19,21,1,29,21,1,89,7,9,3,2,21,1,4,21,1,92,21,1,11,0,22,8,8,16,0,5,0,152,17,14,21,0,1,21,1,95,16,21,1,8,21,1,99,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,20,16,21,1,33,21,0,9,17,22,0,10,11,14,21,0,10,21,1,128,21,0,6,17,22,0,11,11,14,21,0,11,21,1,29,21,1,129,21,0,1,21,1,104,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,21,1,104,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,8,0,22,7,21,1,97,21,0,12,21,1,11,21,1,91,21,1,11,21,0,6,21,1,29,21,1,91,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,117,16,0,18,21,0,1,21,1,65,16,21,1,12,0,16,8,7,16,21,1,29,21,1,91,7,21,1,117,9,21,1,12,21,1,104,8,16,21,1,91,21,0,10,21,1,29,21,1,91,7,16,17,0,18,15,199,21,1,11,21,0,2,21,1,94,16,8,7,16,0,1,0,22,17,25,21,0,1,22,0,2,11,14,21,1,111,21,1,89,7,21,1,100,9,0,19,21,1,89,7,21,1,111,21,1,98,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,200,0,1,0,22,19,25,21,0,1,21,1,95,16,21,1,97,0,23,17,0,5,0,155,17,14,21,0,1,21,1,134,16,22,0,5,11,14,21,0,1,21,1,94,16,21,1,117,16,0,18,0,23,21,1,5,21,0,1,21,1,95,21,1,92,0,23,19,21,1,13,21,1,81,21,1,92,7,8,16,21,1,36,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,65,8,0,23,21,1,12,21,1,99,8,19,3,2,21,1,4,21,1,92,21,1,11,0,22,8,8,7,16,21,0,4,21,0,5,17,21,1,36,21,0,5,21,1,137,16,17,0,1,0,22,17,25,21,0,2,21,1,95,16,22,0,3,11,14,21,0,1,21,1,95,16,21,1,97,21,0,3,17,0,5,0,156,17,14,21,0,1,21,0,3,21,1,133,21,1,117,21,1,11,21,0,2,21,1,65,16,21,1,87,21,0,1,21,1,65,16,21,1,115,21,1,11,21,1,99,8,21,0,3,17,21,1,98,0,23,17,17,8,8,16,21,0,3,21,1,133,21,1,64,8,21,0,2,17,0,1,0,22,17,25,21,0,2,21,1,95,16,21,1,96,0,23,17,0,5,0,157,17,14,21,0,1,21,1,65,16,21,1,94,21,1,10,21,1,97,8,21,0,2,17,0,5,0,158,17,14,21,0,2,21,1,104,16,0,18,21,1,16,7,16,21,1,29,21,1,89,7,16,0,5,0,159,17,25,21,0,1,21,1,65,16,21,1,143,21,0,2,17,0,18,21,1,29,21,1,87,7,7,16,21,1,117,16,0,18,21,1,7,21,0,1,7,21,1,127,21,1,36,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,146,21,0,2,17,14,21,0,2,21,1,104,16,22,0,2,12,14,21,0,2,21,1,145,16,21,1,100,16,21,1,29,21,1,98,7,16,21,1,99,21,0,1,21,1,95,16,17,22,0,3,11,14,21,0,3,21,1,92,21,0,2,17,21,1,29,21,1,89,7,16,0,5,0,160,17,14,21,0,1,21,1,147,21,0,3,21,1,117,16,21,1,5,21,1,119,21,1,8,21,1,145,21,1,9,21,1,100,8,7,19,21,0,2,17,21,1,142,21,0,2,17,17,25,21,0,1,21,1,146,21,0,2,17,14,21,0,2,21,1,104,16,22,0,2,12,14,21,0,1,21,1,95,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,92,8,21,1,89,21,1,145,19,16,21,1,29,21,1,89,7,16,21,1,165,16,14,21,0,1,21,1,147,21,0,3,21,1,117,16,21,1,5,21,1,119,21,1,8,21,1,145,21,1,9,21,1,100,8,7,19,21,0,2,17,21,1,142,21,0,2,17,21,1,137,16,17,25,21,0,2,21,1,95,16,21,1,8,21,1,99,7,0,23,17,22,0,3,11,14,21,0,3,21,1,97,0,22,17,0,5,0,161,17,14,21,0,1,21,1,95,16,21,1,97,21,0,3,17,0,5,0,162,17,14,21,0,1,21,1,144,21,1,11,21,0,2,8,21,1,104,21,1,9,21,1,151,21,1,12,21,1,81,21,1,141,7,8,8,21,1,104,21,1,7,0,24,7,21,1,142,21,1,65,19,19,9,21,1,10,21,1,144,8,21,0,2,17,25,21,0,1,15,201,21,0,5,21,1,154,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,180,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,22,22,0,7,11,22,0,8,11,14,21,0,6,0,22,21,1,132,15,202,8,16,14,0,22,15,203,0,21,21,1,7,15,204,7,8,21,0,2,17,22,0,9,11,14,21,0,1,3,1,22,0,10,11,14,15,205,21,1,11,21,0,9,8,22,0,11,11,14,21,0,7,21,0,11,21,0,4,17,22,0,12,11,14,21,0,8,21,1,99,16,21,0,10,21,0,11,21,1,11,21,1,180,8,3,2,21,1,155,21,1,92,21,1,11,0,22,8,8,21,0,4,17,22,0,13,11,14,21,0,6,0,22,21,1,132,21,1,7,21,0,12,21,0,13,3,2,7,21,1,154,0,22,21,1,12,21,1,92,8,19,21,1,154,21,1,86,19,8,16,25,0,24,21,1,83,21,0,2,21,1,94,16,17,21,1,117,16,21,1,91,0,24,17,22,0,3,11,14,21,0,1,21,1,92,16,21,1,142,21,0,2,21,1,153,21,0,3,21,1,98,0,23,17,17,17,21,1,31,21,0,2,21,1,153,21,0,3,17,8,25,0,22,21,0,1,16,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,64,21,0,1,17,21,1,166,16,14,21,0,6,25,21,0,1,21,1,95,16,21,1,95,0,23,17,21,1,165,16,14,21,0,1,21,1,142,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,89,7,16,21,1,165,16,14,21,0,3,0,3,16,22,0,4,11,14,0,23,21,1,97,21,0,4,17,21,1,29,21,1,89,7,16,21,1,166,16,14,21,0,4,21,1,100,16,21,1,119,16,22,0,5,11,14,21,0,5,21,1,56,0,28,7,16,21,1,142,21,0,1,21,1,56,21,1,94,7,16,21,1,119,16,17,21,1,153,21,0,5,21,1,142,21,0,3,17,21,1,134,16,17,25,21,0,2,21,1,95,16,21,1,95,0,23,17,21,1,165,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,89,7,16,21,1,165,16,14,21,0,1,21,1,142,21,1,10,21,1,153,21,1,11,21,1,134,8,8,21,0,2,21,1,143,16,17,25,21,0,1,21,1,14,16,21,1,166,16,14,21,0,1,21,1,95,16,21,1,95,0,22,17,21,1,166,16,14,21,0,1,21,1,154,16,25,21,0,2,21,1,95,21,1,10,21,1,99,8,21,0,1,17,22,0,3,11,14,21,0,3,0,23,21,1,12,21,1,97,8,21,1,89,21,1,97,21,1,11,0,22,8,19,16,21,1,166,16,14,21,0,2,0,23,21,1,94,3,2,21,1,155,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,94,16,21,1,97,21,0,4,17,21,1,166,16,14,21,0,1,21,1,153,21,1,115,21,1,11,21,0,4,8,3,2,21,1,155,21,0,3,8,16,21,1,64,21,0,2,17,21,1,166,16,14,21,0,1,21,1,116,21,0,4,17,25,21,0,1,21,1,94,16,21,1,95,0,24,17,21,1,166,16,14,21,0,1,21,1,153,16,21,1,64,21,0,2,17,21,1,166,16,14,21,0,1,21,1,153,0,23,17,25,21,0,1,21,1,94,16,21,1,95,0,23,17,21,1,166,16,14,21,0,1,21,1,153,16,25,21,0,1,21,1,95,16,21,1,95,0,23,17,21,1,165,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,89,7,16,21,1,165,16,14,21,0,1,21,1,116,21,1,11,0,23,8,21,1,97,21,1,116,21,1,11,0,28,8,19,21,1,29,21,1,89,7,9,16,21,1,166,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,55,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,180,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,154,21,1,11,0,23,8,21,0,1,21,1,12,15,206,8,21,1,154,21,1,11,0,22,8,19,25,21,1,5,21,1,9,21,1,64,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,56,21,1,156,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,64,8,21,1,92,0,22,19,21,1,166,9,21,1,6,0,22,21,1,9,21,1,165,8,0,21,21,1,172,21,1,156,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,95,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,81,21,1,156,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,166,8,8,9,7,19,25,21,1,56,21,1,156,21,0,1,7,7,25,21,1,5,21,1,9,21,1,95,8,21,1,92,0,22,19,21,1,166,9,21,1,6,21,1,5,21,0,1,21,1,120,19,0,21,21,1,94,21,1,92,0,23,19,21,1,158,21,1,116,21,1,11,0,23,8,21,0,1,21,1,116,21,1,11,0,28,8,19,21,1,142,21,1,153,19,8,8,19,25,21,0,1,21,1,1,16,25,21,1,154,21,1,11,0,23,8,21,0,1,21,1,12,15,207,8,21,1,153,21,1,11,0,22,0,24,3,2,8,19,25,21,0,1,21,1,7,15,208,7,3,2,21,1,155,21,1,95,21,1,11,21,1,7,21,1,173,7,8,8,25,21,1,156,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,21,0,3,8,21,1,156,21,0,1,7,9,25,21,0,1,21,1,160,21,1,156,21,0,2,7,8,25,21,0,1,21,1,158,21,0,2,8,21,1,168,21,0,1,21,1,99,16,21,1,158,21,0,2,8,8,25,21,0,1,21,1,99,16,21,1,158,21,0,2,8,25,21,1,156,21,0,1,7,0,21,21,1,156,21,0,2,7,8,25,21,1,156,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,167,8,25,21,1,156,21,0,2,7,21,1,156,21,0,1,7,9,0,21,21,0,1,21,1,7,0,22,21,1,9,21,1,165,8,7,15,209,3,2,21,1,155,21,1,5,21,1,9,21,1,176,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,176,21,1,100,9,22,0,6,11,14,21,0,5,15,210,15,211,21,1,7,21,1,167,7,3,2,21,1,155,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,155,21,1,6,21,1,9,21,0,6,8,8,21,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,64,21,1,9,21,1,166,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,180,16,21,1,5,15,212,3,2,21,1,155,0,22,21,1,5,21,1,9,21,1,1,8,21,1,153,0,22,0,33,3,2,19,21,1,65,0,29,21,1,173,3,2,19,3,2,21,1,155,21,1,65,21,1,11,21,1,7,21,1,167,7,8,21,1,89,21,1,65,19,8,8,21,0,1,17,25,21,0,1,21,1,56,21,1,94,7,16,21,1,94,21,1,142,21,1,119,19,16,21,1,31,21,0,1,21,1,142,16,8,25,21,1,92,21,1,144,21,0,1,19,21,1,154,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,164,16,25,0,23,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,82,17,14,21,0,5,21,2,29,0,8,7,0,23,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,21,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,23,17,0,5,0,83,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,21,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,23,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,21,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,21,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,21,0,9,21,2,27,16,17,0,15,16,0,15,21,0,7,17,25,21,0,1,21,2,38,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,213,21,0,2,7,7,16,25,21,0,2,0,18,15,214,21,0,1,7,7,16,25,21,1,6,0,8,0,24,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,22,7,21,2,23,0,22,21,2,129,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,22,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,24,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,23,19,0,7,21,0,7,19,0,10,0,24,19,7,16,21,2,29,15,215,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,23,17,0,5,0,86,17,14,0,23,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,22,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,22,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,17,16,0,18,15,216,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,101,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,56,0,12,7,8,21,2,29,0,8,7,0,23,19,3,3,21,2,29,15,217,7,16,22,0,3,11,14,15,218,22,0,4,11,14,21,2,18,21,0,4,15,219,3,2,21,2,4,21,2,5,21,2,9,21,2,29,21,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,22,19,21,2,14,9,8,22,0,5,11,14,0,22,22,0,6,11,14,21,0,1,15,220,16,14,21,0,1,21,0,2,3,2,21,0,5,0,22,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,221,7,16,22,0,8,11,14,21,0,8,21,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,57,7,8,16,25,15,222,21,2,11,21,0,2,8,22,0,3,11,14,15,223,22,0,4,11,14,15,224,21,2,11,0,22,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,22,19,0,16,0,23,19,21,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,21,0,8,19,21,2,13,15,225,21,2,9,21,1,6,8,8,16,21,0,7,21,0,2,17,22,0,10,11,14,21,0,10,21,0,9,21,2,13,15,226,8,16,25,21,0,1,15,227,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,23,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,228,25,21,0,1,22,0,3,11,14,15,229,25,21,0,2,21,0,1,16,25,21,0,1,21,2,56,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,23,19,21,2,13,15,230,8,16,14,21,1,5,0,16,0,23,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,231,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,21,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,56,0,12,7,21,0,5,17,21,2,29,0,8,7,0,23,17,0,5,0,100,17,14,21,0,6,21,2,43,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,22,17,21,2,36,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,21,0,8,0,18,21,2,5,7,21,1,12,17,21,2,56,0,6,7,21,0,7,0,18,21,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,21,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,21,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,36,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,22,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,21,0,3,21,2,56,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,23,17,0,5,0,101,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,21,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,21,0,6,0,18,0,6,21,2,11,0,8,21,2,11,21,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,23,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,65,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,232,8,21,0,3,17,22,0,4,11,14,15,233,22,0,5,11,14,0,22,21,2,22,16,22,0,6,11,14,0,23,22,0,7,11,14,15,234,22,0,8,11,14,0,22,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,235,21,1,4,15,236,7,21,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,237,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,22,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,115,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,116,17,14,21,0,1,21,2,65,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,23,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,22,8,7,16,21,2,29,0,8,7,16,0,5,0,117,17,14,21,0,3,21,2,36,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,23,17,22,0,6,11,14,0,23,0,7,21,1,3,17,15,238,16,21,2,34,21,0,6,3,1,17,0,19,0,8,7,16,21,2,46,16,22,0,7,11,14,21,0,2,21,2,5,21,2,56,15,239,7,21,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,21,0,4,17,0,23,21,2,12,0,12,8,0,7,0,23,19,21,2,13,21,2,8,0,17,0,15,21,0,5,19,21,2,12,0,18,0,6,7,8,7,8,21,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,23,17,0,5,0,118,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,23,17,0,5,0,119,17,14,21,0,1,21,2,65,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,120,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,22,17,21,2,13,15,240,8,0,22,17,25,21,0,1,21,2,56,21,2,5,0,23,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,91,7,16,22,0,3,11,14,21,0,3,21,2,92,0,22,17,0,5,0,126,17,14,21,1,4,21,2,94,16,0,17,16,21,2,91,21,1,4,17,21,2,29,21,2,98,7,16,22,0,4,11,14,21,1,3,0,16,21,0,4,17,21,2,102,16,22,0,5,11,14,0,31,21,2,92,21,0,5,17,0,5,0,127,17,14,21,2,95,21,2,11,21,2,87,8,0,5,0,128,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,83,21,1,7,17,21,0,6,21,2,87,21,2,88,3,3,21,2,4,21,0,5,21,2,87,0,24,17,8,16,22,0,7,11,14,21,1,3,21,2,56,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,21,0,7,21,2,91,21,0,3,17,21,0,5,21,2,95,0,26,17,21,2,13,21,2,92,21,2,11,21,1,7,8,21,2,13,15,241,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,92,8,8,15,242,3,2,21,2,4,21,1,7,21,2,92,0,22,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,129,17,14,21,0,1,0,17,16,25,21,0,1,21,2,95,16,21,2,95,0,23,17,0,5,0,130,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,34,21,2,11,21,2,104,8,7,7,3,0,21,2,92,16,17,0,1,21,0,1,0,18,0,22,7,16,17,25,21,1,9,21,1,7,21,2,98,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,56,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,64,21,2,10,21,2,18,8,21,2,96,21,0,4,21,2,88,0,22,17,19,21,2,90,0,22,21,2,96,21,0,4,17,21,2,89,21,1,7,17,19,21,2,103,0,24,19,21,2,29,21,2,98,21,2,11,0,24,21,2,12,21,2,91,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,65,16,21,2,36,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,33,21,0,2,17,22,0,4,11,21,2,29,21,2,91,7,16,22,0,5,11,14,21,0,5,0,17,16,21,2,104,21,0,4,17,22,0,6,11,14,21,0,1,15,243,0,20,21,2,7,21,0,3,21,2,29,21,2,91,7,16,0,17,16,0,18,21,2,5,21,2,91,21,0,5,19,21,2,98,21,0,6,19,21,2,8,21,2,36,7,21,0,1,21,2,104,16,19,7,16,21,2,104,21,0,3,17,7,8,16,25,21,0,1,21,2,65,16,21,2,75,0,23,17,22,0,3,11,14,15,244,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,104,21,0,4,19,21,2,164,21,2,12,21,2,103,8,3,2,21,2,4,21,2,5,21,2,9,21,2,32,21,2,9,21,2,100,8,8,8,21,0,3,17,25,21,0,1,21,2,81,21,2,92,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,95,21,1,4,17,25,21,1,3,21,2,98,22,1,4,13,14,21,0,1,21,2,98,0,23,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,115,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,23,21,2,98,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,104,16,21,1,3,16,0,18,21,0,1,21,2,65,16,21,2,117,16,21,2,104,16,21,2,12,21,2,36,8,7,16,25,21,0,1,21,2,94,21,2,10,21,2,99,8,21,0,2,17,21,2,91,16,22,0,3,11,14,21,0,1,21,2,94,21,2,10,21,2,87,8,21,0,2,17,22,0,4,11,14,21,0,1,15,245,21,2,11,21,2,94,21,2,98,21,0,4,21,2,117,16,21,2,98,0,23,17,21,2,99,16,19,8,21,2,10,15,246,8,21,0,2,17,22,0,5,11,14,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,247,21,1,7,3,2,21,2,4,21,2,95,21,2,11,21,1,6,8,8,22,0,5,11,14,0,22,21,0,5,16,25,15,248,22,0,3,11,14,0,28,21,0,3,0,23,21,2,98,21,0,1,17,17,21,2,98,0,23,17,25,21,0,2,21,2,130,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,2,21,2,95,16,21,2,8,21,2,99,7,0,23,17,22,0,3,11,14,21,0,3,21,2,97,0,22,17,0,5,0,153,17,14,21,0,1,21,2,95,16,21,2,97,21,0,3,17,0,5,0,154,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,133,0,22,8,8,21,2,5,21,0,3,21,2,133,21,2,92,8,3,2,21,2,4,21,0,3,21,2,92,0,22,17,8,21,2,10,0,18,21,2,65,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,94,16,21,2,92,0,22,17,8,15,249,3,2,21,2,4,21,2,104,21,2,9,21,2,94,8,21,2,92,0,27,19,21,2,10,21,2,89,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,15,16,0,5,0,163,17,14,21,0,1,21,2,87,21,1,8,17,22,1,8,12,14,21,0,1,21,2,88,21,1,7,17,22,1,7,12,25,15,250,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,21,0,1,21,2,117,16,21,2,142,21,1,10,17,0,19,21,0,2,7,16,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,173,21,0,1,8,25,21,2,5,21,2,156,21,2,8,21,0,2,7,7,21,0,1,19,25,21,2,5,21,2,156,21,1,4,7,21,0,2,19,15,251,21,2,156,21,0,1,7,8,25,21,2,5,21,2,156,21,2,8,21,1,4,7,7,21,0,1,19,21,2,156,21,0,2,7,9,25,21,0,1,21,2,168,21,0,2,8,21,2,173,21,0,1,8,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,22,22,0,5,11,22,0,6,11,22,0,7,11,14,0,26,22,0,8,11,14,21,0,1,0,23,0,12,21,2,7,17,0,7,0,23,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,22,0,23,0,24,3,4,22,0,10,11,14,0,6,15,252,3,2,0,16,21,0,3,0,13,0,27,17,17,22,0,11,11,14,15,253,22,0,12,11,14,15,254,15,255,21,0,12,3,3,21,3,4,15,256,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,257,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,258,8,16,25,0,22,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,22,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,56,0,15,7,16,22,0,4,11,0,16,0,22,17,21,3,27,16,22,0,5,11,14,0,28,22,0,6,11,14,21,0,4,21,3,12,21,3,56,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,259,25,21,0,1,15,260,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,21,0,3,22,1,7,12,14,21,0,4,25,21,0,1,21,3,14,0,7,0,23,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,23,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,22,8,7,16,22,0,5,11,14,21,0,5,0,22,21,3,42,21,3,39,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,23,19,7,16,22,0,7,11,14,21,3,7,21,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,21,0,6,21,3,27,16,8,8,22,0,8,11,14,0,22,22,0,9,11,21,0,8,16,22,0,10,11,14,21,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,261,3,2,21,3,4,15,262,8,7,16,0,15,21,0,3,17,25,21,0,1,21,3,56,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,34,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,22,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,22,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,28,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,21,0,3,25,21,0,1,21,3,34,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,23,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,23,21,3,12,0,12,8,0,7,0,23,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,23,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,23,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,34,22,1,10,13,14,21,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,23,8,0,7,0,23,19,21,3,13,15,263,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,264,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,23,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,81,21,0,0,21,3,11,21,0,2,0,6,0,23,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,99,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,34,22,2,6,13,14,21,2,7,25,21,0,1,21,3,86,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,92,16,7,16,25,21,0,2,21,3,94,16,21,3,92,0,22,17,0,5,0,135,17,14,21,0,2,21,3,94,16,0,17,16,21,3,92,0,22,17,21,3,91,21,0,2,17,25,21,0,2,0,18,21,0,1,21,3,12,0,16,8,7,16,25,21,0,1,21,3,95,21,0,2,17,0,19,21,3,89,7,16,21,3,29,21,3,98,7,16,22,0,3,11,14,21,0,3,21,3,117,16,0,18,21,0,2,21,3,12,0,16,8,7,16,21,3,29,21,3,91,7,16,22,0,4,11,14,21,0,3,21,3,93,21,3,11,21,1,4,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,56,0,16,7,8,21,3,9,15,265,8,8,16,14,21,0,4,25,21,1,4,21,3,98,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,21,3,95,21,3,11,0,22,8,21,3,13,21,0,1,21,3,98,0,23,17,21,3,9,21,1,5,8,8,16,25,21,0,1,0,23,21,3,12,21,3,93,8,21,3,13,15,266,8,21,0,2,17,25,21,0,2,21,3,135,16,21,3,118,16,22,0,3,11,14,21,0,1,21,3,134,21,0,2,21,3,36,21,0,3,17,17,21,3,8,21,3,99,7,0,23,17,21,3,88,0,22,17,21,3,8,21,3,36,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,133,21,3,64,8,21,0,2,21,3,36,21,0,4,17,17,21,2,2,21,3,13,21,3,91,21,3,11,21,3,99,21,3,11,21,0,4,8,8,21,3,98,21,3,6,19,8,21,0,2,21,3,94,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,1,8,0,7,0,23,17,21,4,13,21,1,9,0,7,0,23,19,21,4,13,15,267,8,8,0,23,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,23,17,22,1,4,12,0,12,21,1,6,17,0,8,0,24,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,23,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,23,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,0,23,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,22,21,0,3,16,25,21,0,1,14,0,23,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,22,15,268,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,22,8,8,22,1,4,12,25,21,0,1,21,4,29,21,4,99,7,16,21,4,91,16,22,2,3,12,14,21,0,1,21,4,29,21,4,87,7,16,21,4,91,21,1,4,17,22,1,4,12,25,0,24,21,4,83,21,0,2,17,21,4,87,16,22,0,3,11,21,4,98,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,21,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,2,21,4,86,0,24,17,21,4,91,21,0,5,17,21,4,98,21,0,3,17,17,25,21,0,1,14,0,24,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,23,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,269,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,62,21,2,3,17,0,5,0,96,17,25]
+ ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','∘','○','⌾','⍟','⊘','⊸','⟜','◶','≢','»','«','⥊','⊏','⊑',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟%"),str("´: 𝕩 must be a list"),str("Mapping: Equal-rank argument shapes don\'t agree"),str("Mapping: Argument shape prefixes don\'t agree"),str("⍋𝕩: 𝕩 must have rank at least 1"),str("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("≥: No monadic form"),str("≤: No monadic form"),str("∘⌊⌽↑"),str("𝕨⥊𝕩: 𝕨 must have rank at most 1"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers"),str("𝕨⥊𝕩: Can\'t compute axis length when rest of shape is empty"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑"),str("𝕨⥊𝕩: Shape must be exact when reshaping with ∘"),str("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),str("⍋ or ⍒: Rank of 𝕨 must be at least 1"),str("⍋ or ⍒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍋ or ⍒: 𝕨 must be sorted"),str("p⊐𝕩 or 𝕨∊p: p must have rank at least 1"),str("p⊐n or n∊p: Rank of n must be at least cell rank of p"),str("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must have rank at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")])
+ ,[[0,1,0,183],[0,0,4066,3],[0,0,4074,3],[0,0,4078,3],[2,0,4091,6],[0,0,4118,3],[0,0,4122,3],[0,0,4126,3],[1,0,4130,5],[1,0,4138,5],[2,0,4156,6],[2,0,4171,6],[2,0,4190,6],[2,0,4212,6],[2,0,4234,6],[0,0,4266,3],[0,0,4278,3],[0,0,4287,3],[0,0,4293,3],[0,0,4310,3],[0,0,4319,3],[1,0,4328,9],[1,1,4441,2],[2,1,4472,3],[0,0,4506,3],[0,0,4514,3],[0,0,4554,4],[0,0,4630,5],[0,0,4705,3],[1,1,4722,4],[1,1,4795,3],[0,0,4873,3],[0,0,4884,5],[2,0,4968,12],[0,0,5179,4],[0,0,5233,6],[0,0,5323,3],[0,0,5348,7],[0,0,5477,4],[0,0,5538,4],[0,0,5651,3],[0,0,5719,4],[1,1,5796,2],[0,0,5829,3],[0,0,5879,4],[0,0,6021,4],[2,1,6122,3],[1,0,6165,5],[0,0,6203,3],[2,0,6207,11],[0,0,6338,3],[0,0,6346,6],[0,0,6373,5],[0,0,6394,6],[1,0,6421,19],[0,0,6930,3],[0,0,6957,3],[0,0,6983,3],[2,1,7022,3],[0,0,7091,4],[0,0,7188,7],[0,0,7235,14],[0,0,7469,5],[1,1,7566,8],[1,0,7619,6],[1,1,7727,2],[0,0,7785,5],[0,0,7947,5],[0,0,8084,7],[0,0,8253,3],[0,0,8312,4],[1,0,8379,5],[2,1,8396,4],[0,0,8439,3],[0,0,8466,3],[0,0,8488,3],[0,0,8510,3],[0,0,8529,9],[0,0,8686,5],[0,0,8720,3],[1,1,8815,2],[2,0,8884,10],[2,0,8943,8],[1,0,9136,7],[0,0,9203,8],[0,0,9439,5],[0,0,9529,3],[1,0,9563,9],[0,0,9714,4],[0,0,9833,10],[0,0,10291,4],[0,0,10504,3],[0,0,10522,4],[1,0,10594,9],[1,1,10663,3],[1,0,10687,14],[1,1,11130,4],[1,0,11184,6],[0,0,11328,4],[0,0,11436,3],[0,0,11510,3],[0,0,11565,4],[0,0,11694,4],[0,0,11814,4],[2,0,11935,6],[1,1,11963,2],[2,0,11971,14],[2,1,12158,4],[0,0,12228,3],[2,0,12235,7],[0,0,12276,6],[0,0,12426,3],[0,0,12496,3],[0,0,12534,5],[0,0,12678,3],[0,0,12725,3],[0,0,12751,3],[1,0,12838,5],[2,0,12866,6],[0,0,12881,3],[0,0,12889,3],[1,1,12910,2],[0,0,12939,3],[0,0,12975,3],[0,0,13023,3],[0,0,13077,3],[0,0,13089,3],[0,0,13169,3],[1,1,13177,2],[1,1,13210,2],[0,0,13240,4],[0,0,13277,3],[0,0,13292,3],[0,0,13321,3],[0,0,13336,3],[0,0,13354,3],[0,0,13369,3],[0,0,13379,3],[0,0,13436,7],[0,0,13515,3],[0,0,13523,3],[1,1,13548,2],[0,0,13631,3],[0,0,13665,3],[1,1,13693,2],[1,1,13697,2],[0,0,13701,3],[0,0,13713,3],[0,0,13736,3],[0,0,13757,3],[1,0,13765,6],[1,0,13882,11],[1,0,14103,5],[0,0,14118,3],[0,0,14132,3],[0,0,14146,3],[1,0,14191,8],[0,0,14329,8],[0,0,14496,3],[0,0,14522,3],[0,0,14532,3],[0,0,14549,9],[0,0,14732,6],[0,0,14807,3],[2,0,14815,11],[1,0,14892,5],[0,0,14923,3],[0,0,14933,3],[1,0,14943,5],[0,0,14976,4],[0,0,14987,4],[0,0,14998,3],[0,0,15006,3],[0,0,15018,3],[0,0,15026,3],[1,0,15070,7],[0,0,15096,9],[1,0,15382,5],[0,0,15398,7],[0,0,15565,11],[0,0,15807,8],[0,0,16119,3],[0,0,16147,5],[0,0,16242,8],[0,0,16497,3],[0,0,16544,3],[0,0,16564,3],[1,0,16630,6],[0,0,16783,7],[0,0,16921,5],[0,0,17001,3],[0,0,17024,3],[0,0,17035,3],[0,0,17056,3],[0,0,17088,3],[0,0,17119,3],[0,0,17157,6],[0,0,17262,6],[0,0,17311,4],[0,0,17340,3],[0,0,17359,4],[1,1,17536,2],[0,0,17540,3],[0,0,17583,3],[0,0,17594,3],[0,0,17602,3],[0,0,17624,3],[0,0,17632,3],[0,0,17644,3],[0,0,17655,3],[0,0,17674,3],[0,0,17699,3],[0,0,17726,3],[1,0,17744,5],[1,0,17755,5],[0,0,17766,14],[0,0,17936,3],[0,0,17956,3],[0,0,17971,3],[0,0,17979,8],[0,0,18050,3],[0,0,18072,5],[0,0,18101,11],[2,0,18313,6],[0,0,18352,3],[0,0,18423,3],[0,0,18455,3],[1,0,18466,5],[1,1,18477,2],[2,1,18496,3],[0,0,18518,3],[0,0,18547,4],[0,0,18570,3],[1,0,18603,5],[0,0,18629,3],[0,0,18699,3],[0,0,18713,3],[0,0,18724,5],[0,0,18860,3],[0,0,18890,3],[0,0,18910,3],[0,0,18964,3],[0,0,18999,3],[0,0,19023,3],[0,0,19038,3],[0,0,19081,3],[0,0,19098,5],[0,0,19208,3],[0,0,19263,3],[0,0,19286,5],[1,0,19415,5],[2,0,19426,6],[0,0,19441,3],[0,0,19480,3],[0,0,19563,3],[0,0,19597,3],[0,0,19626,3],[0,0,19644,3],[0,0,19661,3],[0,0,19690,4],[0,0,19751,3],[0,0,19764,4],[0,0,19796,3],[0,0,19806,3],[0,0,19824,3],[0,0,19856,3],[0,0,19899,6],[0,0,19978,3],[0,0,20005,3],[0,0,20045,3]]
 );
 
 let rtAssert = runtime[42] = assertFn("!");
author	Marshall Lochbaum <mwlochbaum@gmail.com>	2021-04-09 11:00:55 -0400
committer	Marshall Lochbaum <mwlochbaum@gmail.com>	2021-04-09 11:00:55 -0400
commit	f64156e1e19ac824b75f7a24ebdaa9c2cad5cdd7 (patch)
tree	6f5b10038e70c1bed15e0aaac0d00a9773ac698f /docs
parent	d22b685b0135e0e36fa02b9e0f4336c6893d0b0f (diff)