Fix ∧∨ identity issue by defining sorting before pervasion

1 files changed, 3 insertions, 3 deletions

diff --git a/docs/bqn.js b/docs/bqn.js
index 944897ae..fcbda1ce 100644
--- a/docs/bqn.js
+++ b/docs/bqn.js
@@ -139,9 +139,9 @@ let provide = [
 ];
 
 let runtime = run(
-  new Uint8Array([15,1,22,0,0,11,14,15,2,22,0,1,11,14,15,3,0,20,15,4,8,22,0,2,11,14,15,5,22,0,3,11,14,15,6,22,0,4,11,14,15,7,22,0,5,11,14,15,8,22,0,6,11,14,15,9,22,0,7,11,14,15,10,22,0,8,11,14,0,12,21,0,6,0,11,8,0,21,3,2,21,0,0,0,0,8,22,0,9,11,14,0,12,21,0,6,0,11,8,0,8,0,13,21,0,6,0,21,8,19,0,21,3,2,21,0,0,0,0,8,22,0,10,11,14,21,0,3,0,13,7,0,7,0,22,19,0,20,15,11,8,22,0,11,11,14,0,13,0,7,0,22,19,22,0,12,11,14,15,12,0,16,21,0,12,19,0,20,0,11,8,22,0,13,11,14,15,13,0,16,21,0,11,19,0,20,0,7,21,0,4,21,0,13,21,0,4,0,7,8,8,8,22,0,14,11,14,0,22,0,14,0,16,0,21,19,3,2,21,0,0,0,12,21,0,11,0,21,19,8,22,0,15,11,14,15,14,22,0,16,11,14,21,0,16,22,0,17,11,14,0,0,0,7,0,22,19,21,0,8,21,0,11,8,22,0,18,11,14,0,14,21,0,7,15,15,8,22,0,19,11,14,15,16,22,0,20,11,14,15,17,22,0,21,11,14,15,18,22,0,22,11,14,0,13,0,7,21,0,3,0,13,7,19,22,0,23,11,14,0,22,0,15,0,16,0,21,19,21,0,7,0,13,0,8,0,23,19,0,7,0,22,19,15,19,3,2,21,0,0,21,0,1,21,0,4,0,0,8,8,8,3,2,21,0,0,21,0,1,21,0,4,0,14,8,21,0,17,0,8,7,0,22,19,21,0,11,0,21,19,8,22,0,24,11,14,21,0,23,21,0,24,21,0,3,21,0,24,7,0,7,9,3,2,21,0,0,21,0,2,21,0,4,0,0,8,8,15,20,3,3,21,0,0,0,0,21,0,5,0,6,8,8,22,0,25,11,14,15,21,22,0,26,11,14,15,22,22,0,27,11,14,0,12,21,0,11,0,21,19,21,0,8,15,23,8,22,0,28,11,14,0,12,21,0,11,0,21,19,21,0,8,15,24,8,22,0,29,11,14,15,25,22,0,30,11,14,15,26,22,0,31,11,14,15,27,22,0,32,11,14,15,28,22,0,33,11,14,15,29,22,0,34,11,14,0,0,21,0,5,0,12,8,0,21,3,2,21,0,1,21,0,4,0,0,8,0,12,3,2,0,12,21,0,5,0,12,8,0,21,3,2,0,14,21,0,5,21,0,34,0,12,7,8,21,0,17,0,8,7,0,22,19,0,21,3,2,15,30,3,5,21,0,17,15,31,7,16,22,0,35,11,14,0,21,15,32,3,2,21,0,0,0,0,8,22,0,36,11,14,21,0,35,0,20,21,0,36,8,22,0,37,11,14,21,0,35,0,7,0,22,19,0,20,3,0,0,14,3,2,21,0,0,0,0,8,8,22,0,38,11,14,0,0,21,0,8,0,15,21,0,4,21,0,15,8,21,0,11,0,21,19,21,0,8,15,33,8,8,22,0,39,11,14,21,0,22,0,9,7,22,0,40,11,14,21,0,22,0,10,7,22,0,41,11,14,21,0,3,21,0,40,21,0,7,21,0,41,8,7,0,20,0,23,21,0,40,16,21,0,7,21,0,41,8,8,22,0,42,11,14,21,0,22,15,34,0,20,0,7,21,0,1,3,2,21,0,0,0,13,21,0,6,0,21,8,8,8,7,22,0,43,11,14,21,0,22,15,35,0,20,21,0,13,8,7,22,0,44,11,14,21,0,22,15,36,0,20,0,7,21,0,4,21,0,44,21,0,4,0,7,8,8,8,7,22,0,45,11,14,21,0,22,0,8,7,22,0,46,11,14,21,0,22,0,8,0,7,0,6,19,7,22,0,47,11,14,21,0,22,0,8,0,20,21,0,12,0,7,21,0,11,19,21,0,6,0,21,8,8,7,22,0,48,11,14,21,0,22,21,0,3,0,13,7,0,7,0,22,19,7,0,20,15,37,8,22,0,49,11,14,21,0,22,0,13,0,7,0,22,19,7,0,20,21,0,39,8,22,0,50,11,14,21,0,22,0,12,0,7,0,22,19,7,0,20,21,0,15,8,22,0,51,11,14,21,0,22,0,12,7,0,20,0,12,8,22,0,52,11,14,21,0,22,21,0,3,0,13,7,7,0,20,21,0,3,0,21,7,0,5,0,42,19,8,22,0,53,11,14,21,0,22,0,13,7,0,20,21,0,3,0,21,7,0,5,0,43,19,8,22,0,54,11,14,21,0,22,0,6,7,22,0,55,11,14,21,0,22,0,7,7,22,0,56,11,14,21,0,56,21,0,55,0,22,19,22,0,57,11,14,21,0,55,0,21,3,2,21,0,56,0,21,3,2,21,0,48,0,22,3,2,21,0,40,0,22,3,2,21,0,41,0,22,3,2,21,0,42,0,22,3,2,21,0,46,0,22,3,2,21,0,47,0,21,3,2,21,0,43,0,21,3,2,21,0,44,0,27,3,2,21,0,45,0,28,3,2,21,0,49,0,21,3,2,21,0,54,0,22,3,2,21,0,52,0,22,3,2,21,0,53,0,22,3,2,21,0,50,0,21,3,2,21,0,51,0,21,3,2,3,17,21,0,17,15,38,7,21,0,3,0,21,7,0,5,0,44,19,3,1,0,16,0,21,17,17,22,0,58,11,14,15,39,0,15,3,2,21,0,0,0,0,8,22,0,59,11,14,21,0,18,21,0,7,15,40,8,22,0,60,11,14,0,15,0,20,21,0,59,8,22,0,61,11,14,15,41,22,0,62,11,14,15,42,0,20,15,43,8,22,0,63,11,14,21,0,63,21,0,4,21,0,50,8,22,0,64,11,14,15,44,22,0,65,11,14,15,45,22,0,66,11,14,21,0,66,22,0,67,11,14,15,46,22,0,68,11,14,21,0,68,22,0,69,11,14,15,47,22,0,70,11,14,15,48,22,0,71,11,14,21,0,71,22,0,72,11,14,15,49,22,0,73,11,14,0,22,21,0,73,21,0,30,8,21,0,6,21,0,18,8,22,0,74,11,14,21,0,74,0,20,21,0,74,21,0,6,0,21,8,8,22,0,75,11,14,21,0,61,21,0,5,21,0,20,8,15,50,3,2,21,0,0,21,0,52,21,0,49,0,22,19,21,0,5,21,0,47,8,8,22,0,76,11,14,15,51,22,0,77,11,14,15,52,22,0,78,11,14,21,0,77,0,20,21,0,78,8,22,0,79,11,14,15,53,22,0,80,11,14,15,54,22,0,81,11,14,21,0,80,0,20,21,0,81,8,22,0,82,11,14,15,55,22,0,83,11,14,21,0,75,21,0,6,21,0,27,8,22,0,84,11,14,21,0,51,21,0,52,0,21,19,21,0,56,0,22,19,21,0,73,15,56,15,57,3,2,21,0,0,15,58,8,8,22,0,85,11,14,21,0,83,0,20,21,0,62,8,22,0,86,11,14,0,21,21,0,73,21,0,32,8,0,20,21,0,31,8,22,0,87,11,14,21,0,85,0,20,21,0,27,8,22,0,88,11,14,21,0,61,21,0,4,21,0,51,8,21,0,49,0,21,19,21,0,8,15,59,15,60,3,2,21,0,0,0,18,21,0,52,7,21,0,51,0,22,19,21,0,17,21,0,47,7,9,0,22,3,2,21,0,0,21,0,52,21,0,51,0,22,19,8,8,8,22,0,89,11,14,15,61,22,0,90,11,14,15,62,22,0,91,11,14,15,63,22,0,92,11,14,21,0,76,0,20,21,0,89,8,22,0,93,11,14,21,0,92,0,20,21,0,91,8,22,0,94,11,14,15,64,22,0,95,11,14,21,0,95,15,65,3,2,21,0,0,21,0,2,21,0,4,21,0,61,21,0,4,0,18,0,0,7,8,8,21,0,17,21,0,47,7,9,8,22,0,96,11,14,21,0,96,21,0,6,21,0,61,21,0,1,3,2,21,0,0,0,0,8,8,22,0,97,11,14,15,66,22,0,98,11,14,15,67,22,0,99,11,14,15,68,22,0,100,11,14,15,69,22,0,101,11,14,21,0,101,21,0,25,7,0,20,0,21,21,0,26,21,0,25,8,8,22,0,102,11,14,21,0,101,21,0,3,21,0,25,7,7,0,20,0,22,21,0,26,21,0,3,21,0,25,7,8,8,22,0,103,11,14,15,70,22,0,104,11,14,0,4,21,0,6,21,0,34,0,22,7,8,22,0,105,11,14,15,71,22,0,106,11,14,21,0,106,21,0,1,21,0,4,0,19,21,0,55,7,8,21,0,3,21,0,56,7,0,22,19,21,0,3,21,0,75,7,21,0,3,21,0,88,21,0,4,21,0,102,21,0,4,21,0,105,8,8,7,19,7,22,0,107,11,14,15,72,22,0,108,11,14,21,0,104,0,22,7,0,20,21,0,107,8,22,0,109,11,14,21,0,3,21,0,104,0,21,7,7,0,20,21,0,106,21,0,1,7,8,22,0,110,11,14,21,0,108,0,20,21,0,88,21,0,6,21,0,110,8,8,22,0,111,11,14,15,73,22,0,112,11,14,15,74,22,0,113,11,14,15,75,22,0,114,11,14,15,76,22,0,115,11,14,21,0,114,0,20,21,0,28,8,22,0,116,11,14,21,0,102,21,0,4,21,0,102,8,21,0,75,21,0,56,21,0,1,19,21,0,3,21,0,109,7,19,22,0,117,11,14,15,77,22,0,118,11,14,21,0,118,0,20,21,0,117,8,22,0,119,11,14,21,0,97,0,20,21,0,61,0,16,0,21,19,8,22,0,120,11,14,15,78,22,0,121,11,14,0,5,21,0,6,0,90,8,22,0,122,11,14,0,5,21,0,6,0,91,8,22,0,123,11,14,15,79,22,0,124,11,14,15,80,22,0,125,11,14,15,81,22,0,126,11,14,21,0,55,21,0,3,21,0,56,7,0,20,21,0,55,8,21,0,56,21,0,56,21,0,48,21,0,3,21,0,40,7,0,20,21,0,1,8,21,0,40,21,0,40,21,0,41,21,0,22,0,2,7,21,0,42,21,0,3,21,0,41,7,0,20,0,23,21,0,7,21,0,41,8,8,21,0,46,21,0,3,21,0,40,7,0,20,21,0,46,21,0,124,21,0,1,8,8,21,0,47,21,0,1,21,0,56,0,22,19,21,0,40,21,0,3,21,0,56,7,19,0,20,21,0,47,21,0,124,21,0,1,8,8,21,0,57,21,0,57,21,0,49,0,21,21,0,4,21,0,122,8,0,20,15,82,8,21,0,1,21,0,1,21,0,2,21,0,37,21,0,4,21,0,123,8,21,0,2,21,0,1,19,0,20,21,0,1,8,21,0,93,15,83,0,20,0,21,21,0,4,21,0,122,8,8,21,0,64,15,84,0,20,15,85,8,21,0,79,0,21,21,0,4,21,0,122,8,0,20,21,0,79,21,0,124,21,0,120,21,0,6,0,29,8,8,8,21,0,82,0,21,21,0,4,21,0,122,8,0,20,21,0,82,21,0,124,21,0,120,8,8,21,0,86,0,21,21,0,4,21,0,122,8,0,20,21,0,86,21,0,124,21,0,38,8,8,21,0,87,21,0,87,21,0,6,21,0,56,8,0,20,21,0,87,8,21,0,116,21,0,115,0,20,21,0,29,8,21,0,88,0,21,21,0,4,21,0,122,8,0,20,15,86,8,21,0,94,21,0,126,0,20,21,0,125,8,3,42,21,0,61,21,0,6,21,0,51,21,0,3,21,0,40,7,0,23,19,21,0,3,21,0,93,7,0,23,19,8,16,21,0,116,16,15,87,16,22,0,127,11,14,15,88,22,0,128,1,11,14,15,89,22,0,129,1,11,14,21,0,129,1,22,0,130,1,11,14,21,0,60,0,20,21,0,59,8,22,0,131,1,11,14,15,90,22,0,132,1,11,14,21,0,46,0,20,21,0,75,21,0,6,21,0,102,8,8,22,0,133,1,11,14,21,0,47,0,20,21,0,75,21,0,6,21,0,103,8,8,22,0,134,1,11,14,21,0,33,22,0,135,1,11,14,21,0,55,21,0,56,21,0,48,21,0,40,21,0,41,21,0,42,21,0,44,21,0,45,21,0,43,21,0,57,21,0,133,1,21,0,134,1,21,0,49,21,0,50,21,0,51,21,0,52,21,0,54,21,0,53,21,0,37,21,0,38,21,0,2,21,0,1,21,0,131,1,21,0,93,21,0,64,21,0,79,21,0,82,21,0,86,21,0,87,21,0,116,21,0,88,21,0,102,21,0,103,21,0,75,21,0,120,21,0,109,21,0,119,21,0,110,21,0,111,21,0,94,0,5,21,0,3,21,0,70,21,0,34,21,0,132,1,21,0,128,1,21,0,17,21,0,72,0,19,21,0,4,21,0,5,21,0,6,21,0,7,21,0,135,1,0,20,21,0,121,21,0,69,21,0,67,21,0,130,1,3,59,25,21,0,1,15,91,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,21,1,2,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,2,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,2,21,0,2,17,17,25,21,0,1,15,92,21,1,1,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,22,17,0,5,0,30,17,14,21,0,1,22,0,5,11,21,1,15,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,2,0,20,15,93,15,94,3,2,21,1,0,21,0,6,21,1,11,0,21,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,6,17,8,7,16,0,18,15,95,7,16,14,21,0,8,25,21,0,2,0,7,21,0,1,21,1,15,16,17,0,17,16,0,18,21,1,3,21,0,1,7,0,16,0,6,21,1,6,21,0,2,8,19,7,16,25,21,0,2,21,1,15,16,22,0,3,11,14,21,0,1,21,1,15,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,7,0,16,8,21,1,3,21,0,1,7,0,16,21,0,3,21,1,7,0,7,8,19,3,2,21,1,0,0,13,21,1,6,21,0,3,8,8,7,16,25,15,96,22,0,2,11,14,15,97,22,0,3,11,14,21,0,3,21,0,1,7,21,1,3,21,0,3,21,1,3,21,0,1,7,7,7,3,2,21,1,0,0,12,21,1,5,21,1,12,8,8,21,0,2,21,0,1,7,3,2,21,1,0,0,12,21,1,5,0,12,8,8,25,15,98,21,0,1,7,22,0,2,11,14,21,0,1,15,99,15,100,3,2,21,1,0,0,0,21,1,5,21,1,12,8,8,0,20,0,18,21,0,2,7,8,21,1,21,21,0,2,7,3,3,21,1,0,0,0,21,1,5,0,6,8,8,25,21,0,1,21,1,24,21,0,2,17,25,21,0,1,0,14,21,1,5,21,1,98,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,17,21,1,99,21,0,1,0,15,16,21,1,7,0,16,8,21,1,7,21,1,25,21,1,6,21,0,2,0,15,16,21,1,7,0,16,8,8,8,7,7,16,22,0,4,11,14,0,21,21,1,3,21,0,4,7,16,25,21,0,1,0,12,16,0,13,0,22,17,0,5,0,33,17,14,21,0,1,21,1,15,16,22,0,6,11,14,21,0,1,21,1,19,0,22,17,21,1,17,0,8,7,0,22,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,21,22,0,9,11,22,0,10,11,14,21,0,8,0,21,0,18,21,1,9,7,21,1,17,0,8,7,0,22,19,3,2,21,1,0,21,0,6,21,1,11,0,24,17,0,8,0,22,0,12,21,0,7,17,17,8,16,21,1,1,21,1,8,21,0,1,21,1,7,15,101,8,8,16,0,7,0,22,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,7,0,7,8,0,7,21,1,6,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,6,0,3,8,9,15,102,21,0,4,7,3,2,21,1,0,21,0,11,8,16,25,21,0,1,0,12,16,0,12,0,22,17,0,5,0,34,17,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,0,3,21,1,11,0,21,17,21,1,8,15,103,8,16,25,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,1,19,0,22,17,22,0,4,11,21,1,17,0,8,7,0,22,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,1,3,21,0,1,0,15,16,7,0,16,0,8,21,1,6,21,0,5,8,21,1,7,0,6,8,19,7,21,0,5,0,17,16,0,15,21,0,4,17,17,25,21,0,1,0,12,16,21,1,3,0,7,7,0,22,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,7,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,17,0,8,7,0,22,17,0,17,16,0,15,21,0,6,17,0,18,21,1,3,21,0,1,0,15,16,7,0,16,0,8,21,1,6,21,0,5,8,21,1,7,0,6,8,19,7,21,0,5,0,17,16,17,25,21,0,2,0,0,16,0,5,0,36,17,14,21,0,2,0,18,21,1,9,7,16,0,15,16,21,1,17,0,8,7,0,22,17,0,5,0,37,17,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,2,0,18,21,1,12,21,1,6,21,0,3,8,0,8,0,13,21,1,6,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,17,0,8,7,0,22,17,0,5,0,38,17,14,21,0,1,15,104,15,105,3,2,21,1,0,21,0,1,0,12,16,0,12,0,22,17,8,21,0,2,0,18,21,1,1,21,1,12,0,21,19,0,8,21,0,3,19,0,6,21,1,1,19,7,16,17,25,21,0,1,0,12,16,0,13,0,22,17,0,5,0,39,17,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,1,21,1,74,21,0,3,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,3,17,8,7,16,17,25,21,0,2,21,1,9,16,0,5,0,40,17,14,21,0,1,21,1,15,16,22,0,3,11,14,21,0,3,0,9,21,0,2,17,21,1,13,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,74,21,0,3,0,17,16,0,18,21,1,1,0,13,21,0,2,0,7,21,0,3,17,19,0,8,21,0,3,19,0,7,21,1,1,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,14,16,22,0,6,11,21,1,17,0,8,7,0,22,17,22,0,7,11,0,17,16,22,0,8,11,14,21,0,1,21,0,5,21,1,5,21,0,4,8,21,0,2,17,22,0,9,11,14,21,0,8,0,15,21,0,6,17,21,0,5,16,22,0,10,11,14,15,106,0,15,3,2,0,16,21,0,10,0,0,16,17,22,0,11,11,14,21,0,9,21,0,11,16,22,0,9,12,14,21,0,10,21,0,11,16,22,0,10,12,14,21,0,10,0,21,21,1,26,21,1,23,8,16,22,0,12,11,14,21,1,3,21,0,10,7,0,16,21,0,12,21,1,7,0,16,8,19,21,0,7,3,2,21,1,0,0,13,21,1,6,21,0,12,21,1,15,16,8,8,22,0,13,11,14,0,21,22,0,14,11,21,0,13,16,22,0,15,11,14,21,0,8,0,18,21,0,1,0,15,16,21,1,7,0,16,8,15,107,3,2,21,1,0,15,108,8,7,16,0,15,21,0,6,17,25,21,1,18,21,1,5,21,1,21,21,0,1,7,0,20,0,18,21,0,1,7,8,8,25,21,0,1,21,1,34,21,1,35,7,21,0,2,17,0,15,16,21,1,17,0,8,7,0,22,17,25,21,0,2,0,16,0,22,17,21,0,1,3,2,21,1,0,21,0,2,0,16,0,21,17,8,25,21,0,1,0,15,16,0,18,21,1,36,7,16,21,1,17,0,7,0,8,0,13,19,0,7,21,1,2,19,7,0,21,17,0,6,0,22,17,25,21,0,1,0,15,16,0,16,0,21,17,21,1,38,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,38,21,1,37,21,0,3,19,7,16,21,1,17,0,8,7,0,22,17,0,5,0,41,17,14,21,0,3,21,1,17,0,8,7,0,22,17,0,17,16,0,15,21,0,3,17,0,18,21,1,3,21,1,59,21,1,7,0,16,8,7,7,21,0,1,17,25,21,0,2,21,1,40,21,0,1,17,21,1,13,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,12,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,11,21,0,2,17,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,1,21,0,2,0,16,0,22,17,3,2,21,1,0,15,109,21,0,2,0,16,0,21,17,7,8,25,21,0,1,3,1,25,21,0,2,21,1,52,16,21,1,53,0,22,17,0,5,0,45,17,14,21,0,2,21,1,59,16,22,0,2,12,14,21,0,2,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,0,5,0,46,17,14,21,0,2,21,1,17,21,1,48,7,16,22,0,3,11,14,21,0,1,21,1,38,16,21,1,17,21,1,48,7,16,22,0,4,11,14,21,0,1,21,0,4,21,1,51,21,0,3,17,21,1,8,15,110,8,16,0,15,21,0,2,17,25,15,111,22,0,3,11,14,15,112,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,0,0,0,8,16,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,21,1,4,21,1,61,8,21,1,1,21,1,4,21,1,49,8,21,1,34,0,16,7,21,1,51,21,1,7,21,1,3,21,1,43,21,1,55,0,22,19,21,1,56,21,1,2,19,7,8,19,0,22,0,21,3,2,0,20,0,23,3,1,8,19,25,21,0,1,21,1,65,21,0,5,7,21,0,2,17,22,0,6,11,21,1,50,0,21,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,113,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,65,21,0,5,7,21,1,34,21,1,56,21,1,7,21,1,44,8,21,1,56,21,1,45,0,21,19,3,2,21,1,0,21,1,1,21,1,54,0,21,19,8,7,21,1,52,21,1,5,21,1,63,8,19,21,0,2,17,22,0,6,11,14,15,114,22,0,7,11,14,21,1,1,21,1,49,9,21,0,7,21,1,1,0,18,21,1,49,7,9,3,3,21,1,0,21,1,52,21,1,7,21,1,53,8,21,1,55,0,21,21,1,7,21,1,50,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,6,21,1,51,21,1,3,21,1,56,7,0,22,19,8,16,17,21,1,34,21,0,4,7,21,0,2,21,0,7,21,0,6,0,16,0,21,17,17,17,21,1,50,16,25,0,29,21,1,69,21,0,1,8,25,21,0,1,21,1,52,16,21,1,54,0,22,17,0,5,0,49,17,14,21,0,1,21,1,70,21,1,49,7,16,21,1,17,21,0,4,7,21,0,2,17,25,21,0,1,22,0,3,11,14,15,115,15,116,3,2,21,1,0,21,1,2,21,1,4,21,1,37,21,1,49,21,0,2,19,8,8,25,21,0,1,21,1,38,21,1,5,21,1,63,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,51,7,16,22,0,4,11,21,1,17,21,1,45,7,0,22,17,22,0,5,11,14,21,0,4,21,1,56,21,0,5,17,21,1,53,0,22,17,21,1,17,21,1,46,7,16,0,5,0,53,17,14,21,0,3,21,1,34,21,1,75,21,1,6,0,22,21,1,56,21,0,5,17,0,17,16,21,1,7,21,1,55,8,8,7,21,0,5,21,1,57,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,17,21,1,37,7,16,0,5,0,54,17,14,21,0,3,21,1,34,0,22,21,1,1,0,16,0,21,19,3,2,21,1,0,21,1,2,8,7,21,0,4,21,1,52,21,0,5,17,17,21,1,17,21,1,55,7,16,22,0,7,11,14,21,0,1,21,1,61,21,1,5,21,1,20,8,21,0,2,17,21,1,61,21,0,6,0,16,0,21,17,21,1,20,21,0,7,3,1,17,17,25,15,117,22,0,3,11,14,21,0,1,21,1,61,21,1,61,21,1,38,21,1,4,21,1,20,21,1,6,21,1,1,21,1,51,21,1,5,21,1,56,8,21,0,2,19,21,1,45,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,8,8,19,16,0,21,21,1,73,21,0,3,8,21,0,2,17,25,21,0,1,21,1,52,16,21,1,54,0,22,17,0,5,0,56,17,14,21,0,1,21,1,51,16,21,1,55,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,77,8,7,16,25,21,0,1,21,1,38,16,21,1,51,21,1,7,21,1,56,8,21,1,45,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,21,1,3,21,1,20,7,21,1,1,19,21,1,79,21,1,2,19,21,0,2,21,1,51,16,17,22,0,3,11,14,21,0,1,21,1,79,21,0,2,21,1,44,21,0,3,17,21,1,45,21,0,3,21,1,56,16,17,21,1,55,0,21,21,1,50,21,0,2,17,21,1,41,0,29,17,21,1,48,21,0,3,17,17,17,25,21,0,1,21,1,52,16,21,1,54,0,22,17,0,5,0,57,17,14,21,0,1,21,1,51,16,21,1,55,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,80,8,7,16,25,21,0,1,0,0,16,0,5,0,58,17,14,21,0,2,21,1,52,16,21,1,53,0,22,17,0,5,0,59,17,14,21,0,1,21,1,38,16,21,1,51,21,1,5,21,1,54,8,21,0,2,17,0,5,0,60,17,14,21,0,2,21,1,61,16,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,0,5,0,61,17,14,21,0,1,21,1,38,16,21,1,79,21,0,2,21,1,51,16,17,22,0,3,11,14,21,0,3,21,1,55,0,22,17,21,1,54,21,0,2,17,21,1,17,21,1,46,7,16,0,5,0,62,17,14,21,0,1,21,0,2,21,1,51,16,21,1,49,0,21,17,21,1,8,15,118,8,21,0,2,17,25,21,0,1,21,1,84,21,1,6,0,18,21,0,2,7,8,16,25,21,0,1,21,1,51,21,1,5,21,1,52,8,21,0,2,17,0,5,0,63,17,14,21,0,1,21,1,84,21,0,2,17,25,21,0,2,21,1,52,16,21,1,49,0,21,17,25,0,29,22,0,3,11,22,0,4,11,14,3,0,22,0,5,11,14,21,0,1,22,0,6,11,14,21,0,1,0,18,21,1,51,7,16,21,1,88,16,0,18,15,119,7,16,25,21,1,1,21,1,17,0,18,21,1,20,21,1,6,21,1,61,8,7,7,3,0,21,1,49,16,19,22,0,3,11,14,21,0,1,0,0,16,0,5,0,64,17,14,21,0,1,0,18,21,1,38,7,16,22,0,4,11,14,21,0,4,21,1,61,16,0,16,0,21,17,21,1,51,16,22,0,5,11,14,21,0,4,0,18,21,1,51,7,16,21,1,52,21,0,5,17,21,1,61,16,21,1,17,21,1,46,7,16,0,5,0,65,17,14,21,0,1,21,1,52,16,21,1,53,21,0,5,17,0,5,0,66,17,14,21,0,1,22,0,6,11,21,1,52,16,22,0,7,11,21,1,86,16,22,0,8,11,21,1,34,15,120,7,21,0,1,21,1,38,16,17,22,0,9,11,14,21,0,9,21,0,3,16,21,1,37,21,0,4,0,18,21,1,79,21,1,6,21,0,7,8,7,16,17,0,5,0,67,17,14,21,0,9,0,18,15,121,7,16,21,0,3,16,22,0,10,11,14,21,0,1,21,1,88,21,0,9,17,21,1,34,21,1,75,21,1,6,0,18,21,1,49,7,8,7,21,0,10,17,21,1,50,16,25,21,0,1,21,1,52,16,21,1,52,0,22,17,0,5,0,68,17,14,21,0,1,0,18,21,1,9,7,16,21,1,17,21,1,46,7,16,0,5,0,69,17,14,21,0,1,21,1,54,0,29,17,21,1,17,21,1,46,7,16,0,5,0,70,17,14,21,0,1,0,4,21,0,1,0,3,16,22,0,5,11,17,22,0,6,11,14,0,21,22,0,7,11,14,21,0,5,0,18,21,1,86,21,1,4,0,18,15,122,7,8,21,0,4,9,7,16,25,21,0,1,0,0,16,0,5,0,71,17,14,21,1,90,21,1,1,7,22,0,3,11,14,21,0,1,21,0,3,0,18,21,0,3,7,21,1,17,0,18,0,18,21,1,20,21,1,6,21,1,61,8,7,7,7,3,0,21,1,49,16,21,1,49,16,19,3,2,21,1,0,21,1,37,21,1,49,0,22,19,8,16,25,21,0,1,0,0,16,0,5,0,72,17,14,21,0,2,21,1,37,16,21,1,49,0,22,17,22,0,3,11,14,21,0,2,21,1,51,15,123,3,2,21,1,0,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,38,16,21,1,51,21,1,5,21,1,54,8,21,0,4,17,0,5,0,74,17,14,21,0,1,21,1,38,16,21,1,79,21,1,6,21,1,51,8,21,0,4,17,21,1,52,21,0,4,17,21,1,17,21,1,46,7,16,0,5,0,75,17,14,21,0,1,21,1,2,21,1,90,21,0,1,21,1,7,21,1,75,8,7,9,15,124,3,2,21,1,0,21,0,3,8,21,0,2,17,25,21,0,2,21,1,52,16,21,1,52,0,22,17,0,5,0,76,17,14,21,0,1,21,1,38,16,22,0,3,11,21,1,51,21,1,5,21,1,52,8,21,0,2,17,0,5,0,77,17,14,21,0,2,0,18,21,1,9,7,16,21,1,17,21,1,46,7,16,0,5,0,78,17,14,21,0,3,21,1,49,21,1,46,21,1,56,21,1,7,21,1,53,8,19,21,0,2,17,21,1,17,21,1,46,7,16,0,5,0,79,17,14,0,21,21,1,49,21,0,2,17,21,1,48,21,0,3,17,21,1,55,21,0,2,17,22,0,2,12,14,21,0,2,21,1,51,16,21,1,57,21,1,6,21,1,86,8,16,21,1,56,16,21,1,17,21,1,1,21,1,48,21,0,3,21,1,7,0,16,8,19,21,1,55,21,0,2,21,1,7,0,16,8,19,7,0,21,17,21,1,3,0,16,7,21,0,1,21,1,61,16,17,25,21,0,2,0,18,21,0,1,21,1,7,21,1,96,8,7,16,25,21,0,1,21,1,52,21,1,6,0,21,8,21,1,17,21,1,47,7,9,21,1,5,21,1,3,21,1,56,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,21,21,0,3,3,2,15,125,3,2,21,1,0,0,21,21,1,52,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,126,22,0,8,11,14,21,0,4,21,1,52,21,1,6,0,21,8,21,1,8,21,0,1,8,9,21,0,8,3,2,0,16,21,0,6,21,1,51,0,22,17,17,25,21,0,1,22,0,2,11,14,21,1,49,21,1,6,0,21,8,21,1,8,15,127,8,25,21,0,2,21,1,52,16,21,1,3,21,1,56,7,0,22,17,22,0,5,11,14,21,0,5,21,1,54,0,21,17,0,5,0,80,17,14,21,0,1,21,1,52,16,21,1,54,21,0,5,17,0,5,0,81,17,14,21,0,2,21,1,19,0,22,17,22,0,6,11,21,1,17,21,1,48,7,16,22,0,7,11,14,0,21,21,1,99,21,0,2,21,1,61,16,21,1,7,0,16,8,21,1,5,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,51,16,0,22,0,22,21,1,7,21,1,56,21,1,4,21,1,86,8,8,21,1,48,21,0,7,19,0,18,21,1,55,21,1,6,21,0,7,8,21,1,7,21,0,8,8,7,9,21,1,3,21,1,54,7,0,21,19,21,1,17,21,1,46,7,9,3,2,21,1,0,21,1,49,21,1,6,0,21,8,8,16,0,5,0,82,17,14,21,0,1,21,1,52,16,21,1,3,21,1,56,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,19,21,0,9,17,22,0,10,11,14,21,0,10,21,1,98,21,0,6,17,22,0,11,11,14,21,0,11,21,1,17,21,1,99,21,0,1,21,1,61,16,21,1,7,0,16,8,21,1,7,21,0,4,21,1,6,21,0,2,21,1,61,16,21,1,7,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,3,0,21,7,21,1,54,21,0,12,21,1,6,21,1,48,21,1,6,21,0,6,21,1,17,21,1,48,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,86,16,0,18,21,0,1,21,1,38,16,21,1,7,0,16,8,7,16,21,1,17,21,1,48,7,21,1,86,9,21,1,7,21,1,61,8,16,21,1,48,21,0,10,21,1,17,21,1,48,7,16,17,0,18,15,128,1,21,1,6,21,0,2,21,1,51,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,72,21,1,46,7,21,1,57,9,0,19,21,1,46,7,21,1,72,21,1,55,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,129,1,25,21,0,1,21,1,52,16,21,1,54,0,22,17,0,5,0,84,17,14,21,0,1,21,1,102,16,22,0,5,11,14,21,0,1,21,1,51,16,21,1,86,16,0,18,0,22,21,1,1,21,0,1,21,1,52,21,1,49,0,22,19,21,1,8,21,1,70,21,1,49,7,8,16,21,1,75,21,0,5,17,21,1,7,0,16,8,21,1,5,21,1,38,8,0,22,21,1,7,21,1,56,8,19,3,2,21,1,0,21,1,49,21,1,6,0,21,8,8,7,16,21,0,4,21,0,5,17,21,1,75,21,0,5,21,1,105,16,17,25,21,0,2,21,1,52,16,22,0,3,11,14,21,0,1,21,1,52,16,21,1,54,21,0,3,17,0,5,0,85,17,14,21,0,1,21,0,3,21,1,69,21,1,86,8,21,0,2,21,1,38,16,17,21,0,3,21,1,69,21,1,37,8,21,0,2,17,25,21,0,2,21,1,52,16,21,1,53,0,22,17,0,5,0,86,17,14,21,0,1,21,1,38,16,21,1,51,21,1,5,21,1,54,8,21,0,2,17,0,5,0,87,17,14,21,0,2,21,1,61,16,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,0,5,0,88,17,25,21,0,1,21,1,38,16,21,1,94,21,0,2,17,0,18,21,1,17,21,1,44,7,7,16,21,1,86,16,0,18,21,1,3,21,0,1,7,21,1,97,21,1,75,21,1,6,21,0,2,8,19,7,16,25,21,0,1,21,1,112,21,0,2,17,14,21,0,2,21,1,61,16,22,0,2,12,14,21,0,2,21,1,110,16,21,1,57,16,21,1,17,21,1,55,7,16,21,1,56,21,0,1,21,1,52,16,17,22,0,3,11,14,21,0,3,21,1,49,21,0,2,17,21,1,17,21,1,46,7,16,0,5,0,89,17,14,21,0,1,21,1,113,21,0,3,21,1,86,16,21,1,1,21,1,88,21,1,3,21,1,110,21,1,4,21,1,57,8,7,19,21,0,2,17,21,1,93,21,0,2,17,17,25,21,0,1,21,1,112,21,0,2,17,14,21,0,2,21,1,61,16,22,0,2,12,14,21,0,1,21,1,52,16,22,0,3,11,14,21,0,2,21,0,3,21,1,7,21,1,49,8,21,1,46,21,1,110,19,16,21,1,17,21,1,46,7,16,21,1,122,16,14,21,0,1,21,1,113,21,0,3,21,1,86,16,21,1,1,21,1,88,21,1,3,21,1,110,21,1,4,21,1,57,8,7,19,21,0,2,17,21,1,93,21,0,2,17,21,1,105,16,17,25,21,0,1,21,1,109,21,1,6,21,0,2,8,21,1,117,21,1,7,21,1,70,21,1,64,7,8,9,21,1,5,21,1,109,8,21,0,2,17,25,21,0,1,15,130,1,21,0,5,21,1,120,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,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,37,21,0,1,17,21,1,123,16,14,21,0,6,25,21,0,1,21,1,52,16,21,1,52,0,22,17,21,1,122,16,14,21,0,1,21,1,93,16,22,0,3,11,14,21,0,3,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,21,1,122,16,14,21,0,3,0,3,16,22,0,4,11,14,0,22,21,1,54,21,0,4,17,21,1,17,21,1,46,7,16,21,1,123,16,14,21,0,4,21,1,57,16,21,1,88,16,22,0,5,11,14,21,0,5,21,1,34,0,29,7,16,21,1,93,21,0,1,21,1,34,21,1,51,7,16,21,1,88,16,17,21,1,75,21,0,5,21,1,93,21,0,3,17,21,1,102,16,17,25,21,0,2,21,1,52,16,21,1,52,0,22,17,21,1,122,16,14,21,0,2,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,21,1,122,16,14,21,0,1,21,1,93,21,1,5,21,1,75,21,1,6,21,1,102,8,8,21,0,2,21,1,94,16,17,25,21,0,1,0,0,16,21,1,123,16,14,21,0,1,21,1,52,16,21,1,52,0,21,17,21,1,123,16,14,21,0,1,21,1,120,16,25,21,0,2,21,1,52,21,1,5,21,1,56,8,21,0,1,17,22,0,3,11,14,21,0,3,0,22,21,1,7,21,1,54,8,21,1,46,21,1,54,21,1,6,0,21,8,19,16,21,1,123,16,14,21,0,2,0,22,21,1,51,3,2,21,1,121,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,51,16,21,1,54,21,0,4,17,21,1,123,16,14,21,0,1,21,1,75,21,1,79,21,1,6,21,0,4,8,3,2,21,1,121,21,0,3,8,16,21,1,37,21,0,2,17,21,1,123,16,14,21,0,1,21,1,82,21,0,4,17,25,21,0,1,21,1,51,16,21,1,52,0,23,17,21,1,123,16,14,21,0,1,21,1,75,16,21,1,37,21,0,2,17,21,1,123,16,14,21,0,1,21,1,75,0,22,17,25,21,0,1,21,1,51,16,21,1,52,0,22,17,21,1,123,16,14,21,0,1,21,1,75,16,25,21,0,1,21,1,52,16,21,1,52,0,22,17,21,1,122,16,14,21,0,1,0,18,21,1,10,7,16,21,1,17,21,1,46,7,16,21,1,122,16,14,21,0,1,21,1,82,21,1,6,0,22,8,21,1,54,21,1,82,21,1,6,0,29,8,19,21,1,17,21,1,46,7,9,16,21,1,123,16,14,21,0,1,0,3,16,25,21,1,3,21,1,3,0,21,7,0,5,0,92,19,3,1,21,1,93,21,0,1,21,1,75,0,22,17,17,7,21,1,120,21,1,49,21,1,109,21,0,1,21,1,75,0,21,17,19,21,1,120,9,19,25,21,0,1,21,1,127,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,21,22,0,7,11,22,0,8,11,14,21,0,6,0,21,21,1,67,15,131,1,8,16,14,21,0,1,22,0,9,11,14,15,132,1,22,0,10,11,14,21,0,7,21,0,10,21,1,1,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,56,16,21,0,10,21,1,1,21,1,128,1,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,21,21,1,67,21,1,3,21,0,11,21,0,12,3,2,7,21,1,120,0,21,21,1,7,21,1,49,8,19,21,1,120,21,1,43,19,8,16,25,21,1,18,21,1,5,0,18,21,0,1,7,8,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,58,16,25,0,22,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,17,0,8,21,2,6,21,0,1,0,14,16,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,0,31,17,14,21,0,5,21,2,17,0,8,7,0,22,17,0,17,16,0,18,21,0,1,0,15,16,21,2,7,0,16,8,21,0,4,21,0,2,0,15,16,21,2,7,0,16,8,19,7,16,0,15,21,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,17,0,8,21,2,6,21,0,7,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,0,32,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,17,0,8,21,2,6,0,6,21,2,6,21,0,6,8,21,2,3,0,16,7,21,0,7,19,8,7,0,22,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,5,0,18,21,2,3,21,0,10,7,0,16,0,6,21,2,6,0,8,21,2,6,21,0,8,8,8,19,21,0,4,21,0,9,21,2,7,0,16,8,19,7,8,21,0,9,21,2,15,16,17,0,15,16,0,15,21,0,7,17,25,21,0,1,21,2,22,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,133,1,21,0,2,7,7,16,25,21,0,2,0,18,15,134,1,21,0,1,7,7,16,25,21,1,6,0,8,0,23,17,0,13,21,0,1,21,2,17,21,2,13,7,16,22,1,10,12,0,7,21,0,1,21,2,17,21,2,14,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,3,0,21,7,21,2,12,0,21,21,2,99,21,1,8,21,2,7,0,16,8,21,2,5,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,1,21,1,6,3,2,21,2,0,0,13,21,2,6,21,1,6,8,8,22,0,6,11,14,0,21,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,23,17,21,2,14,16,22,0,7,11,0,17,16,0,18,21,2,1,0,6,0,22,19,0,7,21,0,7,19,0,10,0,23,19,7,16,21,2,17,15,135,1,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,10,7,16,21,2,17,0,8,7,0,22,17,0,5,0,35,17,14,0,22,0,7,21,1,3,17,22,0,3,11,14,21,2,1,0,7,21,0,3,19,21,2,3,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,6,21,0,3,8,7,16,0,19,21,2,1,21,2,3,0,16,7,21,0,1,19,0,12,0,21,19,0,8,0,7,19,0,6,21,2,1,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,7,0,16,8,22,0,5,11,14,0,21,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,17,16,0,18,15,136,1,7,16,25,21,0,1,21,2,19,0,22,17,22,0,3,11,21,2,17,0,8,7,0,22,17,22,0,4,11,14,21,0,4,0,17,16,0,15,21,0,3,17,0,18,0,6,21,2,6,0,8,21,2,6,21,0,4,8,8,21,2,3,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,2,7,0,16,8,7,16,25,21,0,1,3,1,25,21,0,1,14,21,1,9,0,16,21,1,12,0,16,21,1,14,17,17,22,0,3,11,14,21,1,14,0,6,0,22,17,22,1,14,12,21,1,13,16,22,1,15,12,14,21,0,3,25,21,0,1,0,12,21,1,15,17,25,21,0,1,21,2,52,21,0,4,17,25,21,1,3,0,17,16,0,18,21,2,2,7,21,2,6,0,1,8,15,137,1,21,2,6,0,15,8,3,2,21,2,0,21,1,4,21,2,49,0,21,17,8,21,0,1,17,25,21,0,1,21,2,10,16,0,5,0,47,17,14,21,0,1,0,17,16,25,21,0,1,21,2,52,16,21,2,52,0,22,17,0,5,0,48,17,14,21,0,1,0,18,21,1,3,7,16,21,2,17,0,18,21,2,20,21,2,6,21,2,61,8,7,7,3,0,21,2,49,16,17,25,21,1,9,21,1,7,21,2,55,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,34,21,0,5,7,21,2,2,21,2,4,0,18,21,0,1,21,2,7,21,0,5,8,7,8,21,2,1,21,2,4,0,18,21,2,1,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,0,21,2,37,21,2,5,21,2,63,8,21,2,53,21,0,4,21,2,45,0,21,17,19,21,2,47,0,21,21,2,53,21,0,4,17,21,2,46,21,1,7,17,19,21,2,60,0,23,19,21,2,17,21,2,55,21,2,6,0,23,21,2,7,21,2,48,8,8,7,9,8,21,0,2,17,25,21,0,2,0,17,16,0,18,21,0,1,21,2,38,16,21,2,7,0,16,8,7,16,22,0,3,11,14,21,0,1,21,2,19,21,0,2,17,22,0,4,11,21,2,17,21,2,48,7,16,22,0,5,11,14,21,0,3,21,2,17,21,2,48,7,16,0,17,16,0,18,21,2,1,21,2,48,21,0,5,19,21,2,55,21,0,5,0,17,16,21,2,61,21,0,4,17,19,21,2,4,0,18,21,0,1,21,2,61,16,21,2,7,0,16,8,7,8,7,16,21,2,61,21,0,3,17,25,21,0,1,21,2,52,16,21,2,54,0,22,17,0,5,0,50,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,21,2,52,16,21,2,53,0,22,17,0,5,0,51,17,14,21,0,1,21,2,38,16,21,2,51,21,2,5,21,2,54,8,21,0,2,17,0,5,0,52,17,14,21,0,2,21,2,51,16,22,0,3,11,14,21,0,2,21,2,61,16,21,2,7,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,49,0,21,17,21,2,8,15,138,1,8,0,21,17,25,21,0,2,21,2,9,16,0,5,0,55,17,14,21,0,1,21,2,51,16,22,0,3,11,14,0,21,21,2,49,21,0,2,17,22,0,4,11,14,21,0,2,21,2,43,16,22,0,5,11,21,2,44,21,0,3,17,22,0,6,11,14,21,0,5,3,1,22,0,7,11,14,0,22,22,0,8,11,14,21,0,6,0,17,16,21,0,4,21,2,8,21,2,55,8,21,0,6,21,2,56,21,0,3,17,17,21,0,1,21,2,52,16,21,2,51,0,22,17,21,2,8,15,139,1,8,21,0,1,17,22,0,9,11,14,21,0,9,0,18,21,0,1,21,2,61,16,21,2,7,0,16,8,7,16,21,0,5,21,2,49,21,0,3,17,21,2,8,15,140,1,21,0,1,7,8,16,21,2,61,21,0,7,17,25,21,0,2,21,2,61,16,21,2,1,21,2,62,21,2,5,0,18,21,2,55,7,8,21,2,57,19,21,1,3,17,21,2,34,21,0,1,21,2,7,21,2,75,21,2,6,0,18,21,2,49,7,8,8,7,16,21,2,50,21,2,61,21,2,38,21,2,4,21,0,1,21,2,38,16,21,2,82,21,2,6,21,2,51,8,21,0,2,17,21,2,7,21,2,20,8,8,19,16,25,21,0,1,21,2,51,21,2,6,21,1,4,8,21,2,8,15,141,1,8,16,14,21,1,5,0,16,0,22,21,2,55,21,1,3,17,22,1,3,12,17,25,21,0,2,21,2,86,16,0,18,21,2,48,21,2,6,21,0,1,21,2,52,21,1,8,17,8,21,2,3,21,2,95,7,21,1,6,19,21,2,38,21,2,7,0,16,8,21,0,1,19,7,16,25,21,0,1,21,2,79,16,0,18,21,2,17,21,2,55,7,7,16,22,0,3,11,14,21,0,3,21,2,82,0,29,17,21,2,88,21,0,1,17,21,2,56,21,0,3,21,2,87,16,0,16,0,21,17,21,2,86,16,17,25,21,0,1,14,21,1,6,0,16,21,1,7,17,21,2,1,0,22,21,2,55,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,52,16,21,2,52,0,22,17,0,5,0,73,17,14,21,0,1,0,18,21,2,51,7,16,25,21,0,2,0,18,21,2,90,21,2,1,7,7,16,21,2,48,21,1,4,21,2,82,0,22,17,21,2,87,16,21,2,20,0,22,3,1,17,0,19,21,2,48,7,16,21,2,87,16,17,21,2,17,0,18,0,18,21,2,55,7,7,7,16,0,18,21,0,1,21,2,19,21,1,4,21,2,51,16,17,21,2,20,21,1,4,21,2,17,21,2,48,7,16,3,1,17,21,2,3,21,2,61,7,21,0,1,17,21,2,7,21,2,75,8,7,16,25,21,0,1,21,2,51,21,2,5,21,2,56,8,21,0,2,17,21,2,48,16,22,0,3,11,14,21,0,1,21,2,51,21,2,5,21,2,44,8,21,0,2,17,22,0,4,11,14,21,0,1,15,142,1,21,2,6,21,2,51,21,2,55,21,0,4,21,2,86,16,21,2,55,0,22,17,21,2,56,16,19,8,21,2,5,15,143,1,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,144,1,21,1,7,3,2,21,2,0,21,2,52,21,2,6,21,1,6,8,8,22,0,5,11,14,0,21,21,0,5,16,25,15,145,1,22,0,3,11,14,0,29,21,0,3,0,22,21,2,55,21,0,1,17,17,21,2,55,0,22,17,25,21,0,2,21,2,100,21,0,1,21,2,7,21,1,13,8,7,16,25,21,0,2,21,2,52,16,21,2,3,21,2,56,7,0,22,17,22,0,3,11,14,21,0,3,21,2,54,0,21,17,0,5,0,83,17,14,21,0,1,21,2,18,16,21,2,1,21,2,4,21,0,3,21,2,69,0,21,8,8,21,2,1,21,0,3,21,2,69,21,2,49,8,3,2,21,2,0,21,0,3,21,2,49,0,21,17,8,21,2,5,0,18,21,2,38,7,8,21,1,3,9,3,2,21,2,0,21,0,2,21,2,51,16,21,2,49,0,21,17,8,15,146,1,3,2,21,2,0,21,2,61,21,2,4,21,2,51,8,21,2,49,0,26,19,21,2,5,21,2,46,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,9,16,0,5,0,93,17,14,21,0,1,21,2,44,21,1,8,17,22,1,8,12,14,21,0,1,21,2,45,21,1,7,17,22,1,7,12,25,21,0,1,21,2,55,0,21,17,21,2,86,16,21,2,93,21,1,9,3,1,17,0,19,21,2,2,21,2,4,21,0,4,8,7,16,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,21,22,0,5,11,22,0,6,11,22,0,7,11,14,0,25,22,0,8,11,14,21,0,1,0,22,0,12,21,2,7,17,0,7,0,22,17,21,3,8,0,18,0,8,21,3,6,21,2,7,8,7,8,16,21,3,7,0,16,8,21,3,5,21,1,5,8,22,0,9,11,14,21,0,9,0,21,0,22,0,23,3,4,22,0,10,11,14,0,6,15,147,1,3,2,0,16,21,0,3,0,13,0,26,17,17,22,0,11,11,14,15,148,1,22,0,12,11,14,15,149,1,15,150,1,21,0,12,3,3,21,3,0,15,151,1,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,7,15,152,1,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,8,15,153,1,8,16,25,21,0,1,21,3,43,21,2,4,17,0,18,21,0,2,21,3,7,0,16,8,7,16,25,21,0,1,0,22,21,3,56,21,1,3,17,21,3,49,21,0,2,17,21,3,8,21,3,70,21,0,0,21,3,6,21,0,2,21,3,55,0,22,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,0,2,21,3,19,0,22,17,22,0,3,11,21,3,20,22,1,7,13,14,21,0,3,21,3,17,21,3,48,7,16,22,1,8,12,21,3,1,21,3,4,0,17,8,0,18,21,3,55,7,21,3,48,19,21,0,1,17,25,21,1,6,21,3,56,21,1,5,17,21,3,48,21,1,8,17,0,17,16,0,18,21,0,4,0,1,16,21,3,61,16,0,16,0,21,17,7,16,21,3,20,21,3,3,21,3,20,7,3,2,21,3,0,21,1,4,8,21,0,1,21,3,61,16,17,25,21,0,1,22,2,4,12,21,3,3,0,16,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,0,2,0,18,21,0,1,21,3,7,0,16,8,7,16,25,21,0,1,21,3,52,21,0,2,17,0,19,21,3,46,7,16,21,3,17,21,3,55,7,16,22,0,3,11,14,21,0,3,21,3,86,16,0,18,21,0,2,21,3,7,0,16,8,7,16,21,3,17,21,3,48,7,16,22,0,4,11,14,21,0,3,21,3,50,21,3,6,21,1,4,8,21,3,8,21,0,2,21,0,1,3,2,21,3,7,21,3,34,0,16,7,8,21,3,4,15,154,1,8,8,16,14,21,0,4,25,21,1,4,21,3,55,21,3,6,21,0,1,8,21,3,5,21,2,5,8,21,1,3,17,21,3,52,21,3,6,0,21,8,21,3,8,21,0,1,21,3,55,0,22,17,21,3,4,21,1,5,8,8,16,25,21,0,1,0,22,21,3,7,21,3,50,8,21,3,8,15,155,1,8,21,0,2,17,25,21,0,2,21,3,103,16,21,3,87,16,22,0,3,11,14,21,0,1,21,3,102,21,0,2,21,3,75,21,0,3,17,17,21,3,3,21,3,56,7,0,22,17,21,3,45,0,21,17,21,3,3,21,3,75,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,69,21,3,37,8,21,0,2,21,3,75,21,0,4,17,17,21,2,2,21,3,8,21,3,48,21,3,6,21,3,56,21,3,6,21,0,4,8,8,21,3,55,21,3,2,19,8,21,0,2,21,3,51,16,17,25,21,0,1,21,1,8,0,7,0,22,17,21,4,8,21,1,9,0,7,0,22,19,21,4,8,15,156,1,8,8,0,22,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,22,17,22,1,4,12,0,12,21,1,6,17,0,8,0,23,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,22,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,0,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,22,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,21,4,17,21,4,56,7,16,21,4,48,16,22,2,3,12,14,21,0,1,21,4,17,21,4,44,7,16,21,4,48,21,1,4,17,22,1,4,12,25,0,23,21,4,40,21,0,2,17,21,4,44,16,22,0,3,11,21,4,55,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,43,0,23,17,21,4,48,21,0,5,17,21,4,55,21,0,3,17,17,25,21,0,1,14,0,23,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25])
- ,provide.concat([0,1,2,32,3,8,Infinity,-Infinity,-1,str("Argument to fold must be a list"),str("Equal-rank argument shapes don't agree"),str("Argument shape prefixes don't agree"),str("Grade argument must have rank at least 1"),str("Replication argument in Indices or Replicate must have rank 1"),str("Amounts to replicate must be natural numbers"),str("Right argument to Select must be an array"),str("Indices in Select must be integers"),str("Select indices out of range"),str("Reverse argument must have rank at least 1"),str("Amount to rotate must be an integer"),str("Elements in Merge argument must have matching shapes"),str("No monadic form: ≥"),str("No monadic form: ≤"),str("Identity not found"),str("Shape argument to Reshape must have rank at most 1"),str("Shape in Reshape must consist of natural numbers"),str("Range argument must consist of natural numbers"),str("Range argument must be a number or list"),str("Insert argument must have rank at least 1"),str("First-axis function right argument must have rank at least 1"),str("Left argument must have rank at most 1"),str("Left argument length must be at most right argument rank"),str("Rank of joined arguments must differ by at most 1"),str("Cell shapes of joined arguments must match"),str("Left argument to Take or Drop must be an integer"),str("Prefixes argument must have rank at least 1"),str("Suffixes argument must have rank at least 1"),str("Windows right argument must be an array"),str("Windows left argument must have rank at most 1"),str("Windows left argument length must be at most right argument rank"),str("Windows left argument must consist of natural numbers"),str("Window length must be at most axis length plus one"),str("Replicate argument lengths must match"),str("Join argument must be an array"),str("Join argument elements must all have the same rank"),str("Join argument element rank must be at least argument rank"),str("Join argument element shapes must be compatible"),str("Grouping argument must be a list"),str("Grouping argument must consist of integers"),str("Grouping argument values cannot be less than ¯1"),str("Group Indices argument must be an array"),str("Group right argument must be an array"),str("Group left argument must consist of lists"),str("Group left argument length must be at most right argument rank"),str("Group argument lengths must be compatible"),str("Indices in compound Pick must be lists"),str("Pick index length must match right argument rank"),str("Pick indices must consist of integers"),str("Pick index out of range"),str("Bins argument must have rank at least 1"),str("Bins right argument rank is too small"),str("Bins left argument must be sorted"),str("Search principal argument must have rank at least 1"),str("Unique mask argument must have rank at least 1"),str("Find left argument rank cannot exceed right argument rank"),str("Left argument to Reorder Axes must have rank at most 1"),str("Reorder Axes left argument length must not exceed right argument rank"),str("Reorder Axes left argument must consist of natural numbers"),str("No such axis in Reorder Axes"),str("Inverse failed"),str("Inverse does not exist"),str("Inverse not found"),str("Repetition numbers must be integers")])
- ,[[0,1,0,136],[2,0,2908,6],[0,0,2935,3],[0,0,2939,3],[0,0,2943,3],[1,0,2947,5],[2,0,2965,6],[2,0,2980,6],[2,0,2999,6],[2,0,3021,6],[2,0,3043,6],[0,0,3075,3],[0,0,3086,3],[0,0,3095,3],[1,0,3104,9],[0,0,3217,3],[0,0,3257,4],[1,1,3333,4],[1,1,3406,3],[0,0,3470,3],[0,0,3481,5],[2,0,3565,12],[0,0,3771,4],[0,0,3820,6],[0,0,3910,7],[0,0,4039,4],[0,0,4195,4],[0,0,4256,4],[2,0,4358,16],[1,1,4588,2],[0,0,4612,3],[0,0,4639,3],[0,0,4665,3],[0,0,4704,4],[0,0,4801,3],[0,0,4828,3],[0,0,4850,3],[0,0,4872,3],[0,0,4883,3],[0,0,4912,3],[0,0,4918,5],[0,0,5036,5],[0,0,5069,3],[0,0,5078,3],[1,1,5084,2],[2,0,5153,10],[2,0,5212,8],[1,1,5399,2],[1,0,5409,5],[2,1,5451,4],[0,0,5487,8],[0,0,5723,4],[0,0,5804,3],[0,0,5854,4],[0,0,5975,3],[0,0,6025,4],[0,0,6191,3],[0,0,6209,3],[0,0,6243,3],[0,0,6257,7],[0,0,6304,11],[1,0,6569,8],[0,0,6687,4],[0,0,6771,5],[0,0,6930,4],[0,0,7143,3],[0,0,7161,4],[1,0,7233,9],[1,1,7302,3],[1,0,7326,14],[1,1,7761,4],[1,0,7811,6],[0,0,7950,4],[0,0,8018,3],[0,0,8092,3],[0,0,8147,4],[0,0,8276,4],[0,0,8396,3],[2,0,8436,6],[2,0,8465,7],[0,0,8506,6],[0,0,8656,3],[0,0,8726,3],[0,0,8763,5],[0,0,8907,3],[0,0,8954,3],[0,0,8980,3],[0,0,9067,3],[1,1,9122,2],[2,0,9130,13],[1,1,9284,2],[1,1,9298,2],[1,1,9302,2],[0,0,9306,3],[0,0,9318,3],[0,0,9341,3],[1,0,9362,6],[1,0,9479,11],[1,0,9700,5],[0,0,9715,3],[0,0,9730,3],[0,0,9745,3],[1,0,9790,8],[0,0,9929,8],[0,0,10097,5],[0,0,10172,3],[0,0,10189,3],[0,0,10195,4],[0,0,10244,3],[1,0,10254,5],[0,0,10265,3],[0,0,10312,3],[0,0,10332,3],[1,0,10386,6],[0,0,10539,6],[0,0,10667,3],[0,0,10697,5],[0,0,10796,10],[0,0,10981,3],[0,0,11081,3],[0,0,11123,3],[0,0,11176,4],[0,0,11236,3],[0,0,11267,3],[0,0,11297,3],[0,0,11415,6],[0,0,11522,6],[0,0,11572,4],[0,0,11602,3],[0,0,11621,4],[1,1,11779,2],[0,0,11783,3],[1,0,11826,5],[1,0,11863,5],[1,0,11874,5],[0,0,11885,14],[0,0,12061,3],[0,0,12082,3],[0,0,12106,3],[0,0,12162,4],[1,0,12222,5],[0,0,12289,3],[0,0,12318,3],[0,0,12335,5],[0,0,12446,3],[0,0,12501,3],[0,0,12525,5],[0,0,12654,3],[0,0,12694,3],[0,0,12777,3],[0,0,12811,3],[0,0,12840,3],[0,0,12858,3],[0,0,12875,3],[0,0,12904,3],[0,0,12947,6],[0,0,13026,3]]
+  new Uint8Array([15,1,22,0,0,11,14,15,2,22,0,1,11,14,15,3,0,20,15,4,8,22,0,2,11,14,15,5,22,0,3,11,14,15,6,22,0,4,11,14,15,7,22,0,5,11,14,15,8,22,0,6,11,14,15,9,22,0,7,11,14,15,10,22,0,8,11,14,0,12,21,0,6,0,11,8,0,21,3,2,21,0,0,0,0,8,22,0,9,11,14,0,12,21,0,6,0,11,8,0,8,0,13,21,0,6,0,21,8,19,0,21,3,2,21,0,0,0,0,8,22,0,10,11,14,21,0,3,0,13,7,22,0,11,11,14,21,0,11,0,7,0,22,19,0,20,15,11,8,22,0,12,11,14,0,13,0,7,0,22,19,22,0,13,11,14,15,12,0,16,21,0,13,19,0,20,0,11,8,22,0,14,11,14,15,13,0,16,21,0,12,19,0,20,0,7,21,0,4,21,0,14,21,0,4,0,7,8,8,8,22,0,15,11,14,0,22,0,14,0,16,0,21,19,3,2,21,0,0,0,12,21,0,12,0,21,19,8,22,0,16,11,14,15,14,22,0,17,11,14,21,0,17,22,0,18,11,14,0,0,0,7,0,22,19,21,0,8,21,0,12,8,22,0,19,11,14,0,14,21,0,7,15,15,8,22,0,20,11,14,15,16,22,0,21,11,14,15,17,22,0,22,11,14,15,18,22,0,23,11,14,0,13,0,7,21,0,11,19,22,0,24,11,14,0,22,0,15,0,16,0,21,19,21,0,7,0,13,0,8,0,23,19,0,7,0,22,19,15,19,3,2,21,0,0,21,0,1,21,0,4,0,0,8,8,8,3,2,21,0,0,21,0,1,21,0,4,0,14,8,21,0,18,0,8,7,0,22,19,21,0,12,0,21,19,8,22,0,25,11,14,21,0,24,21,0,25,21,0,3,21,0,25,7,0,7,9,3,2,21,0,0,21,0,2,21,0,4,0,0,8,8,15,20,3,3,21,0,0,0,0,21,0,5,0,6,8,8,22,0,26,11,14,15,21,22,0,27,11,14,15,22,22,0,28,11,14,0,12,21,0,12,0,21,19,21,0,8,15,23,8,22,0,29,11,14,0,12,21,0,12,0,21,19,21,0,8,15,24,8,22,0,30,11,14,15,25,22,0,31,11,14,15,26,22,0,32,11,14,15,27,22,0,33,11,14,15,28,22,0,34,11,14,15,29,22,0,35,11,14,0,0,21,0,5,0,12,8,0,21,3,2,21,0,1,21,0,4,0,0,8,0,12,3,2,0,12,21,0,5,0,12,8,0,21,3,2,0,14,21,0,5,21,0,35,0,12,7,8,21,0,18,0,8,7,0,22,19,0,21,3,2,15,30,3,5,21,0,18,15,31,7,16,22,0,36,11,14,0,21,15,32,3,2,21,0,0,0,0,8,22,0,37,11,14,21,0,36,0,20,21,0,37,8,22,0,38,11,14,21,0,36,0,7,0,22,19,0,20,3,0,0,14,3,2,21,0,0,0,0,8,8,22,0,39,11,14,15,33,22,0,40,11,14,15,34,22,0,41,11,14,0,22,21,0,41,21,0,31,8,21,0,6,21,0,19,8,22,0,42,11,14,21,0,42,0,20,21,0,42,21,0,6,0,21,8,8,22,0,43,11,14,0,0,21,0,8,0,15,21,0,4,21,0,16,8,21,0,12,0,21,19,21,0,8,15,35,8,8,22,0,44,11,14,15,36,22,0,45,11,14,21,0,23,0,9,7,22,0,46,11,14,21,0,23,0,10,7,22,0,47,11,14,21,0,3,21,0,46,21,0,7,21,0,47,8,7,0,20,0,23,21,0,46,16,21,0,7,21,0,47,8,8,22,0,48,11,14,21,0,23,15,37,0,20,0,7,21,0,1,3,2,21,0,0,0,13,21,0,6,0,21,8,8,8,7,22,0,49,11,14,21,0,23,15,38,0,20,21,0,14,8,7,22,0,50,11,14,21,0,23,15,39,0,20,0,7,21,0,4,21,0,50,21,0,4,0,7,8,8,8,7,22,0,51,11,14,21,0,23,0,8,7,0,20,21,0,45,0,21,7,8,22,0,52,11,14,21,0,23,0,8,0,7,0,6,19,7,0,20,21,0,45,0,22,7,8,22,0,53,11,14,21,0,23,0,8,0,20,21,0,13,0,7,21,0,12,19,21,0,6,0,21,8,8,7,22,0,54,11,14,21,0,23,21,0,11,0,7,0,22,19,7,0,20,15,40,8,22,0,55,11,14,21,0,23,0,13,0,7,0,22,19,7,0,20,21,0,44,8,22,0,56,11,14,21,0,23,0,12,0,7,0,22,19,7,0,20,21,0,16,8,22,0,57,11,14,21,0,23,0,12,7,0,20,0,12,8,22,0,58,11,14,21,0,23,21,0,11,7,0,20,21,0,3,0,21,7,0,5,0,45,19,8,22,0,59,11,14,21,0,23,0,13,7,0,20,21,0,3,0,21,7,0,5,0,46,19,8,22,0,60,11,14,21,0,23,0,6,7,22,0,61,11,14,21,0,23,0,7,7,22,0,62,11,14,21,0,62,21,0,61,0,22,19,22,0,63,11,14,21,0,61,0,21,3,2,21,0,62,0,21,3,2,21,0,54,0,22,3,2,21,0,46,0,22,3,2,21,0,47,0,22,3,2,21,0,48,0,22,3,2,21,0,52,0,22,3,2,21,0,53,0,21,3,2,21,0,49,0,21,3,2,21,0,50,0,28,3,2,21,0,51,0,29,3,2,21,0,55,0,21,3,2,21,0,60,0,22,3,2,21,0,58,0,22,3,2,21,0,59,0,22,3,2,21,0,56,0,21,3,2,21,0,57,0,21,3,2,3,17,21,0,18,15,41,7,21,0,3,0,21,7,0,5,0,47,19,3,1,0,16,0,21,17,17,22,0,64,11,14,15,42,0,15,3,2,21,0,0,0,0,8,22,0,65,11,14,21,0,19,21,0,7,15,43,8,22,0,66,11,14,0,15,0,20,21,0,65,8,22,0,67,11,14,15,44,22,0,68,11,14,15,45,0,20,15,46,8,22,0,69,11,14,21,0,69,21,0,4,21,0,56,8,22,0,70,11,14,15,47,22,0,71,11,14,15,48,22,0,72,11,14,21,0,72,22,0,73,11,14,15,49,22,0,74,11,14,21,0,74,22,0,75,11,14,15,50,22,0,76,11,14,21,0,76,22,0,77,11,14,21,0,67,21,0,5,21,0,21,8,15,51,3,2,21,0,0,21,0,58,21,0,55,0,22,19,21,0,5,21,0,53,8,8,22,0,78,11,14,15,52,22,0,79,11,14,15,53,22,0,80,11,14,21,0,79,0,20,21,0,80,8,22,0,81,11,14,15,54,22,0,82,11,14,15,55,22,0,83,11,14,21,0,82,0,20,21,0,83,8,22,0,84,11,14,15,56,22,0,85,11,14,21,0,43,21,0,6,21,0,28,8,22,0,86,11,14,21,0,57,21,0,58,0,21,19,21,0,62,0,22,19,21,0,41,15,57,15,58,3,2,21,0,0,15,59,8,8,22,0,87,11,14,21,0,85,0,20,21,0,68,8,22,0,88,11,14,0,21,21,0,41,21,0,33,8,0,20,21,0,32,8,22,0,89,11,14,21,0,87,0,20,21,0,28,8,22,0,90,11,14,21,0,67,21,0,4,21,0,57,8,21,0,55,0,21,19,21,0,8,15,60,15,61,3,2,21,0,0,0,18,21,0,58,7,21,0,57,0,22,19,21,0,18,21,0,53,7,9,0,22,3,2,21,0,0,21,0,58,21,0,57,0,22,19,8,8,8,22,0,91,11,14,15,62,22,0,92,11,14,15,63,22,0,93,11,14,15,64,22,0,94,11,14,21,0,78,0,20,21,0,91,8,22,0,95,11,14,21,0,94,0,20,21,0,93,8,22,0,96,11,14,15,65,22,0,97,11,14,21,0,97,15,66,3,2,21,0,0,21,0,2,21,0,4,21,0,67,21,0,4,0,18,0,0,7,8,8,21,0,18,21,0,53,7,9,8,22,0,98,11,14,21,0,98,21,0,6,21,0,67,21,0,1,3,2,21,0,0,0,0,8,8,22,0,99,11,14,15,67,22,0,100,11,14,15,68,22,0,101,11,14,15,69,22,0,102,11,14,15,70,22,0,103,11,14,21,0,103,21,0,26,7,0,20,0,21,21,0,27,21,0,26,8,8,22,0,104,11,14,21,0,103,21,0,3,21,0,26,7,7,0,20,0,22,21,0,27,21,0,3,21,0,26,7,8,8,22,0,105,11,14,15,71,22,0,106,11,14,0,4,21,0,6,21,0,35,0,22,7,8,22,0,107,11,14,15,72,22,0,108,11,14,21,0,108,21,0,1,21,0,4,0,19,21,0,61,7,8,21,0,3,21,0,62,7,0,22,19,21,0,3,21,0,43,7,21,0,3,21,0,90,21,0,4,21,0,104,21,0,4,21,0,107,8,8,7,19,7,22,0,109,11,14,15,73,22,0,110,11,14,21,0,106,0,22,7,0,20,21,0,109,8,22,0,111,11,14,21,0,3,21,0,106,0,21,7,7,0,20,21,0,108,21,0,1,7,8,22,0,112,11,14,21,0,110,0,20,21,0,90,21,0,6,21,0,112,8,8,22,0,113,11,14,15,74,22,0,114,11,14,15,75,22,0,115,11,14,15,76,22,0,116,11,14,15,77,22,0,117,11,14,21,0,116,0,20,21,0,29,8,22,0,118,11,14,21,0,104,21,0,4,21,0,104,8,21,0,43,21,0,62,21,0,1,19,21,0,3,21,0,111,7,19,22,0,119,11,14,15,78,22,0,120,11,14,21,0,120,0,20,21,0,119,8,22,0,121,11,14,21,0,99,0,20,21,0,67,0,16,0,21,19,8,22,0,122,11,14,15,79,22,0,123,11,14,0,5,21,0,6,0,90,8,22,0,124,11,14,0,5,21,0,6,0,91,8,22,0,125,11,14,15,80,22,0,126,11,14,15,81,22,0,127,11,14,15,82,22,0,128,1,11,14,21,0,61,21,0,3,21,0,62,7,0,20,21,0,61,8,21,0,62,21,0,62,21,0,54,21,0,3,21,0,46,7,0,20,21,0,1,8,21,0,46,21,0,46,21,0,47,21,0,23,0,2,7,21,0,48,21,0,3,21,0,47,7,0,20,0,23,21,0,7,21,0,47,8,8,21,0,52,21,0,3,21,0,46,7,0,20,21,0,52,21,0,126,21,0,1,8,8,21,0,53,21,0,1,21,0,62,0,22,19,21,0,46,21,0,3,21,0,62,7,19,0,20,21,0,53,21,0,126,21,0,1,8,8,21,0,63,21,0,63,21,0,55,0,21,21,0,4,21,0,124,8,0,20,15,83,8,21,0,1,21,0,1,21,0,2,21,0,38,21,0,4,21,0,125,8,21,0,2,21,0,1,19,0,20,21,0,1,8,21,0,95,15,84,0,20,0,21,21,0,4,21,0,124,8,8,21,0,70,15,85,0,20,15,86,8,21,0,81,0,21,21,0,4,21,0,124,8,0,20,21,0,81,21,0,126,21,0,122,21,0,6,0,27,8,8,8,21,0,84,0,21,21,0,4,21,0,124,8,0,20,21,0,84,21,0,126,21,0,122,8,8,21,0,88,0,21,21,0,4,21,0,124,8,0,20,21,0,88,21,0,126,21,0,39,8,8,21,0,89,21,0,89,21,0,6,21,0,62,8,0,20,21,0,89,8,21,0,118,21,0,117,0,20,21,0,30,8,21,0,90,0,21,21,0,4,21,0,124,8,0,20,15,87,8,21,0,96,21,0,128,1,0,20,21,0,127,8,3,42,21,0,67,21,0,6,21,0,57,21,0,3,21,0,46,7,0,23,19,21,0,3,21,0,95,7,0,23,19,8,16,21,0,118,16,15,88,16,22,0,129,1,11,14,15,89,22,0,130,1,11,14,15,90,22,0,131,1,11,14,21,0,131,1,22,0,132,1,11,14,21,0,66,0,20,21,0,65,8,22,0,133,1,11,14,15,91,22,0,134,1,11,14,21,0,34,22,0,135,1,11,14,21,0,61,21,0,62,21,0,54,21,0,46,21,0,47,21,0,48,21,0,50,21,0,51,21,0,49,21,0,63,21,0,52,21,0,53,21,0,55,21,0,56,21,0,57,21,0,58,21,0,60,21,0,59,21,0,38,21,0,39,21,0,2,21,0,1,21,0,133,1,21,0,95,21,0,70,21,0,81,21,0,84,21,0,88,21,0,89,21,0,118,21,0,90,21,0,104,21,0,105,21,0,43,21,0,122,21,0,111,21,0,121,21,0,112,21,0,113,21,0,96,0,5,21,0,3,21,0,40,21,0,35,21,0,134,1,21,0,130,1,21,0,18,21,0,77,0,19,21,0,4,21,0,5,21,0,6,21,0,7,21,0,135,1,0,20,21,0,123,21,0,75,21,0,73,21,0,132,1,3,59,25,21,0,1,15,92,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,21,1,2,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,2,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,2,21,0,2,17,17,25,21,0,1,15,93,21,1,1,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,22,17,0,5,0,30,17,14,21,0,1,22,0,5,11,21,1,16,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,2,0,20,15,94,15,95,3,2,21,1,0,21,0,6,21,1,12,0,21,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,6,17,8,7,16,0,18,15,96,7,16,14,21,0,8,25,21,0,2,0,7,21,0,1,21,1,16,16,17,0,17,16,0,18,21,1,3,21,0,1,7,0,16,0,6,21,1,6,21,0,2,8,19,7,16,25,21,0,2,21,1,16,16,22,0,3,11,14,21,0,1,21,1,16,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,7,0,16,8,21,1,3,21,0,1,7,0,16,21,0,3,21,1,7,0,7,8,19,3,2,21,1,0,0,13,21,1,6,21,0,3,8,8,7,16,25,15,97,22,0,2,11,14,15,98,22,0,3,11,14,21,0,3,21,0,1,7,21,1,3,21,0,3,21,1,3,21,0,1,7,7,7,3,2,21,1,0,0,12,21,1,5,21,1,13,8,8,21,0,2,21,0,1,7,3,2,21,1,0,0,12,21,1,5,0,12,8,8,25,15,99,21,0,1,7,22,0,2,11,14,21,0,1,15,100,15,101,3,2,21,1,0,0,0,21,1,5,21,1,13,8,8,0,20,0,18,21,0,2,7,8,21,1,22,21,0,2,7,3,3,21,1,0,0,0,21,1,5,0,6,8,8,25,21,0,1,21,1,25,21,0,2,17,25,21,0,1,0,14,21,1,5,21,1,100,8,21,0,2,17,22,0,3,11,14,21,0,3,21,1,18,21,1,101,21,0,1,0,15,16,21,1,7,0,16,8,21,1,7,21,1,26,21,1,6,21,0,2,0,15,16,21,1,7,0,16,8,8,8,7,7,16,22,0,4,11,14,0,21,21,1,3,21,0,4,7,16,25,21,0,1,0,12,16,0,13,0,22,17,0,5,0,33,17,14,21,0,1,21,1,16,16,22,0,6,11,14,21,0,1,21,1,20,0,22,17,21,1,18,0,8,7,0,22,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,21,22,0,9,11,22,0,10,11,14,21,0,8,0,21,0,18,21,1,9,7,21,1,18,0,8,7,0,22,19,3,2,21,1,0,21,0,6,21,1,12,0,24,17,0,8,0,22,0,12,21,0,7,17,17,8,16,21,1,1,21,1,8,21,0,1,21,1,7,15,102,8,8,16,0,7,0,22,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,7,0,7,8,0,7,21,1,6,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,6,0,3,8,9,15,103,21,0,4,7,3,2,21,1,0,21,0,11,8,16,25,21,0,1,0,12,16,0,12,0,22,17,0,5,0,34,17,14,21,0,1,21,1,16,16,22,0,3,11,14,21,0,1,21,0,3,21,1,12,0,21,17,21,1,8,15,104,8,16,25,21,0,1,21,1,16,16,22,0,3,11,14,21,0,1,21,1,20,0,22,17,22,0,4,11,21,1,18,0,8,7,0,22,17,22,0,5,11,14,21,0,3,0,17,16,0,18,21,1,3,21,0,1,0,15,16,7,0,16,0,8,21,1,6,21,0,5,8,21,1,7,0,6,8,19,7,21,0,5,0,17,16,0,15,21,0,4,17,17,25,21,0,1,0,12,16,21,1,3,0,7,7,0,22,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,7,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,18,0,8,7,0,22,17,0,17,16,0,15,21,0,6,17,0,18,21,1,3,21,0,1,0,15,16,7,0,16,0,8,21,1,6,21,0,5,8,21,1,7,0,6,8,19,7,21,0,5,0,17,16,17,25,21,0,2,0,0,16,0,5,0,36,17,14,21,0,2,0,18,21,1,9,7,16,0,15,16,21,1,18,0,8,7,0,22,17,0,5,0,37,17,14,21,0,1,21,1,16,16,22,0,3,11,14,21,0,2,0,18,21,1,13,21,1,6,21,0,3,8,0,8,0,13,21,1,6,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,18,0,8,7,0,22,17,0,5,0,38,17,14,21,0,1,15,105,15,106,3,2,21,1,0,21,0,1,0,12,16,0,12,0,22,17,8,21,0,2,0,18,21,1,1,21,1,13,0,21,19,0,8,21,0,3,19,0,6,21,1,1,19,7,16,17,25,21,0,1,0,12,16,0,13,0,22,17,0,5,0,39,17,14,21,0,1,21,1,16,16,22,0,3,11,14,21,0,1,21,1,42,21,0,3,0,17,16,0,18,0,7,21,1,6,0,22,0,7,21,0,3,17,8,7,16,17,25,21,0,2,21,1,9,16,0,5,0,40,17,14,21,0,1,21,1,16,16,22,0,3,11,14,21,0,3,0,9,21,0,2,17,21,1,14,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,42,21,0,3,0,17,16,0,18,21,1,1,0,13,21,0,2,0,7,21,0,3,17,19,0,8,21,0,3,19,0,7,21,1,1,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,14,16,22,0,6,11,21,1,18,0,8,7,0,22,17,22,0,7,11,0,17,16,22,0,8,11,14,21,0,1,21,0,5,21,1,5,21,0,4,8,21,0,2,17,22,0,9,11,14,21,0,8,0,15,21,0,6,17,21,0,5,16,22,0,10,11,14,15,107,0,15,3,2,0,16,21,0,10,0,0,16,17,22,0,11,11,14,21,0,9,21,0,11,16,22,0,9,12,14,21,0,10,21,0,11,16,22,0,10,12,14,21,0,10,0,21,21,1,27,21,1,24,8,16,22,0,12,11,14,21,1,3,21,0,10,7,0,16,21,0,12,21,1,7,0,16,8,19,21,0,7,3,2,21,1,0,0,13,21,1,6,21,0,12,21,1,16,16,8,8,22,0,13,11,14,0,21,22,0,14,11,21,0,13,16,22,0,15,11,14,21,0,8,0,18,21,0,1,0,15,16,21,1,7,0,16,8,15,108,3,2,21,1,0,15,109,8,7,16,0,15,21,0,6,17,25,21,1,19,21,1,5,21,1,22,21,0,1,7,0,20,0,18,21,0,1,7,8,8,25,21,0,1,21,1,35,21,1,36,7,21,0,2,17,0,15,16,21,1,18,0,8,7,0,22,17,25,21,0,2,0,16,0,22,17,21,0,1,3,2,21,1,0,21,0,2,0,16,0,21,17,8,25,21,0,1,0,15,16,0,18,21,1,37,7,16,21,1,18,0,7,0,8,0,13,19,0,7,21,1,2,19,7,0,21,17,0,6,0,22,17,25,0,27,21,1,74,21,0,1,8,25,21,0,1,22,0,3,11,14,15,110,15,111,3,2,21,1,0,21,1,2,21,1,4,21,1,38,21,1,12,21,0,2,19,8,8,25,21,0,1,0,15,16,0,16,0,21,17,21,1,39,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,39,21,1,38,21,0,3,19,7,16,21,1,18,0,8,7,0,22,17,0,5,0,44,17,14,21,0,3,21,1,18,0,8,7,0,22,17,0,17,16,0,15,21,0,3,17,0,18,21,1,3,21,1,65,21,1,7,0,16,8,7,7,21,0,1,17,25,21,1,42,21,1,6,21,0,1,21,1,27,21,1,26,21,1,3,21,1,26,7,3,2,0,16,21,0,1,17,8,8,25,21,0,2,21,1,46,21,0,1,17,21,1,14,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,13,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,12,21,0,2,17,17,25,21,0,1,3,1,0,15,3,0,17,25,21,0,1,21,0,2,0,16,0,22,17,3,2,21,1,0,15,112,21,0,2,0,16,0,21,17,7,8,25,21,0,1,3,1,25,21,0,2,21,1,58,16,21,1,59,0,22,17,0,5,0,48,17,14,21,0,2,21,1,65,16,22,0,2,12,14,21,0,2,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,0,5,0,49,17,14,21,0,2,21,1,18,21,1,54,7,16,22,0,3,11,14,21,0,1,21,1,39,16,21,1,18,21,1,54,7,16,22,0,4,11,14,21,0,1,21,0,4,21,1,57,21,0,3,17,21,1,8,15,113,8,16,0,15,21,0,2,17,25,15,114,22,0,3,11,14,15,115,22,0,4,11,14,21,0,1,21,0,3,21,0,4,3,2,21,1,0,0,0,8,16,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,21,1,4,21,1,67,8,21,1,1,21,1,4,21,1,55,8,21,1,35,0,16,7,21,1,57,21,1,7,21,1,3,21,1,49,21,1,61,0,22,19,21,1,62,21,1,2,19,7,8,19,0,22,0,21,3,2,0,20,0,23,3,1,8,19,25,21,0,1,21,1,71,21,0,5,7,21,0,2,17,22,0,6,11,21,1,56,0,21,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,116,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,71,21,0,5,7,21,1,35,21,1,62,21,1,7,21,1,50,8,21,1,62,21,1,51,0,21,19,3,2,21,1,0,21,1,1,21,1,60,0,21,19,8,7,21,1,58,21,1,5,21,1,69,8,19,21,0,2,17,22,0,6,11,14,15,117,22,0,7,11,14,21,1,1,21,1,55,9,21,0,7,21,1,1,0,18,21,1,55,7,9,3,3,21,1,0,21,1,58,21,1,7,21,1,59,8,21,1,61,0,21,21,1,7,21,1,56,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,6,21,1,57,21,1,3,21,1,62,7,0,22,19,8,16,17,21,1,35,21,0,4,7,21,0,2,21,0,7,21,0,6,0,16,0,21,17,17,17,21,1,56,16,25,21,0,1,21,1,58,16,21,1,60,0,22,17,0,5,0,52,17,14,21,0,1,21,1,40,21,1,55,7,16,21,1,18,21,0,4,7,21,0,2,17,25,21,0,1,21,1,39,21,1,5,21,1,69,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,57,7,16,22,0,4,11,21,1,18,21,1,51,7,0,22,17,22,0,5,11,14,21,0,4,21,1,62,21,0,5,17,21,1,59,0,22,17,21,1,18,21,1,52,7,16,0,5,0,53,17,14,21,0,3,21,1,35,21,1,43,21,1,6,0,22,21,1,62,21,0,5,17,0,17,16,21,1,7,21,1,61,8,8,7,21,0,5,21,1,63,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,18,21,1,38,7,16,0,5,0,54,17,14,21,0,3,21,1,35,0,22,21,1,1,0,16,0,21,19,3,2,21,1,0,21,1,2,8,7,21,0,4,21,1,58,21,0,5,17,17,21,1,18,21,1,61,7,16,22,0,7,11,14,21,0,1,21,1,67,21,1,5,21,1,21,8,21,0,2,17,21,1,67,21,0,6,0,16,0,21,17,21,1,21,21,0,7,3,1,17,17,25,15,118,22,0,3,11,14,21,0,1,21,1,67,21,1,67,21,1,39,21,1,4,21,1,21,21,1,6,21,1,1,21,1,57,21,1,5,21,1,62,8,21,0,2,19,21,1,51,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,8,8,19,16,0,21,21,1,41,21,0,3,8,21,0,2,17,25,21,0,1,21,1,58,16,21,1,60,0,22,17,0,5,0,56,17,14,21,0,1,21,1,57,16,21,1,61,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,79,8,7,16,25,21,0,1,21,1,39,16,21,1,57,21,1,7,21,1,62,8,21,1,51,0,21,19,0,17,21,1,4,0,18,0,22,7,8,9,21,1,3,21,1,21,7,21,1,1,19,21,1,81,21,1,2,19,21,0,2,21,1,57,16,17,22,0,3,11,14,21,0,1,21,1,81,21,0,2,21,1,50,21,0,3,17,21,1,51,21,0,3,21,1,62,16,17,21,1,61,0,21,21,1,56,21,0,2,17,21,1,47,0,27,17,21,1,54,21,0,3,17,17,17,25,21,0,1,21,1,58,16,21,1,60,0,22,17,0,5,0,57,17,14,21,0,1,21,1,57,16,21,1,61,0,22,17,0,17,16,0,18,21,0,1,21,1,7,21,1,82,8,7,16,25,21,0,1,0,0,16,0,5,0,58,17,14,21,0,2,21,1,58,16,21,1,59,0,22,17,0,5,0,59,17,14,21,0,1,21,1,39,16,21,1,57,21,1,5,21,1,60,8,21,0,2,17,0,5,0,60,17,14,21,0,2,21,1,67,16,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,0,5,0,61,17,14,21,0,1,21,1,39,16,21,1,81,21,0,2,21,1,57,16,17,22,0,3,11,14,21,0,3,21,1,61,0,22,17,21,1,60,21,0,2,17,21,1,18,21,1,52,7,16,0,5,0,62,17,14,21,0,1,21,0,2,21,1,57,16,21,1,55,0,21,17,21,1,8,15,119,8,21,0,2,17,25,21,0,1,21,1,86,21,1,6,0,18,21,0,2,7,8,16,25,21,0,1,21,1,57,21,1,5,21,1,58,8,21,0,2,17,0,5,0,63,17,14,21,0,1,21,1,86,21,0,2,17,25,21,0,2,21,1,58,16,21,1,55,0,21,17,25,0,27,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,57,7,16,21,1,90,16,0,18,15,120,7,16,25,21,1,1,21,1,18,0,18,21,1,21,21,1,6,21,1,67,8,7,7,3,0,21,1,55,16,19,22,0,3,11,14,21,0,1,0,0,16,0,5,0,64,17,14,21,0,1,0,18,21,1,39,7,16,22,0,4,11,14,21,0,4,21,1,67,16,0,16,0,21,17,21,1,57,16,22,0,5,11,14,21,0,4,0,18,21,1,57,7,16,21,1,58,21,0,5,17,21,1,67,16,21,1,18,21,1,52,7,16,0,5,0,65,17,14,21,0,1,21,1,58,16,21,1,59,21,0,5,17,0,5,0,66,17,14,21,0,1,22,0,6,11,21,1,58,16,22,0,7,11,21,1,88,16,22,0,8,11,21,1,35,15,121,7,21,0,1,21,1,39,16,17,22,0,9,11,14,21,0,9,21,0,3,16,21,1,38,21,0,4,0,18,21,1,81,21,1,6,21,0,7,8,7,16,17,0,5,0,67,17,14,21,0,9,0,18,15,122,7,16,21,0,3,16,22,0,10,11,14,21,0,1,21,1,90,21,0,9,17,21,1,35,21,1,43,21,1,6,0,18,21,1,55,7,8,7,21,0,10,17,21,1,56,16,25,21,0,1,21,1,58,16,21,1,58,0,22,17,0,5,0,68,17,14,21,0,1,0,18,21,1,9,7,16,21,1,18,21,1,52,7,16,0,5,0,69,17,14,21,0,1,21,1,60,0,27,17,21,1,18,21,1,52,7,16,0,5,0,70,17,14,21,0,1,0,4,21,0,1,0,3,16,22,0,5,11,17,22,0,6,11,14,0,21,22,0,7,11,14,21,0,5,0,18,21,1,88,21,1,4,0,18,15,123,7,8,21,0,4,9,7,16,25,21,0,1,0,0,16,0,5,0,71,17,14,21,1,92,21,1,1,7,22,0,3,11,14,21,0,1,21,0,3,0,18,21,0,3,7,21,1,18,0,18,0,18,21,1,21,21,1,6,21,1,67,8,7,7,7,3,0,21,1,55,16,21,1,55,16,19,3,2,21,1,0,21,1,38,21,1,55,0,22,19,8,16,25,21,0,1,0,0,16,0,5,0,72,17,14,21,0,2,21,1,38,16,21,1,55,0,22,17,22,0,3,11,14,21,0,2,21,1,57,15,124,3,2,21,1,0,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,39,16,21,1,57,21,1,5,21,1,60,8,21,0,4,17,0,5,0,74,17,14,21,0,1,21,1,39,16,21,1,81,21,1,6,21,1,57,8,21,0,4,17,21,1,58,21,0,4,17,21,1,18,21,1,52,7,16,0,5,0,75,17,14,21,0,1,21,1,2,21,1,92,21,0,1,21,1,7,21,1,43,8,7,9,15,125,3,2,21,1,0,21,0,3,8,21,0,2,17,25,21,0,2,21,1,58,16,21,1,58,0,22,17,0,5,0,76,17,14,21,0,1,21,1,39,16,22,0,3,11,21,1,57,21,1,5,21,1,58,8,21,0,2,17,0,5,0,77,17,14,21,0,2,0,18,21,1,9,7,16,21,1,18,21,1,52,7,16,0,5,0,78,17,14,21,0,3,21,1,55,21,1,52,21,1,62,21,1,7,21,1,59,8,19,21,0,2,17,21,1,18,21,1,52,7,16,0,5,0,79,17,14,0,21,21,1,55,21,0,2,17,21,1,54,21,0,3,17,21,1,61,21,0,2,17,22,0,2,12,14,21,0,2,21,1,57,16,21,1,63,21,1,6,21,1,88,8,16,21,1,62,16,21,1,18,21,1,1,21,1,54,21,0,3,21,1,7,0,16,8,19,21,1,61,21,0,2,21,1,7,0,16,8,19,7,0,21,17,21,1,3,0,16,7,21,0,1,21,1,67,16,17,25,21,0,2,0,18,21,0,1,21,1,7,21,1,98,8,7,16,25,21,0,1,21,1,58,21,1,6,0,21,8,21,1,18,21,1,53,7,9,21,1,5,21,1,3,21,1,62,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,21,21,0,3,3,2,15,126,3,2,21,1,0,0,21,21,1,58,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,127,22,0,8,11,14,21,0,4,21,1,58,21,1,6,0,21,8,21,1,8,21,0,1,8,9,21,0,8,3,2,0,16,21,0,6,21,1,57,0,22,17,17,25,21,0,1,22,0,2,11,14,21,1,55,21,1,6,0,21,8,21,1,8,15,128,1,8,25,21,0,2,21,1,58,16,21,1,3,21,1,62,7,0,22,17,22,0,5,11,14,21,0,5,21,1,60,0,21,17,0,5,0,80,17,14,21,0,1,21,1,58,16,21,1,60,21,0,5,17,0,5,0,81,17,14,21,0,2,21,1,20,0,22,17,22,0,6,11,21,1,18,21,1,54,7,16,22,0,7,11,14,0,21,21,1,101,21,0,2,21,1,67,16,21,1,7,0,16,8,21,1,5,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,57,16,0,22,0,22,21,1,7,21,1,62,21,1,4,21,1,88,8,8,21,1,54,21,0,7,19,0,18,21,1,61,21,1,6,21,0,7,8,21,1,7,21,0,8,8,7,9,21,1,3,21,1,60,7,0,21,19,21,1,18,21,1,52,7,9,3,2,21,1,0,21,1,55,21,1,6,0,21,8,8,16,0,5,0,82,17,14,21,0,1,21,1,58,16,21,1,3,21,1,62,7,21,0,5,17,22,0,9,11,14,21,0,1,21,1,20,21,0,9,17,22,0,10,11,14,21,0,10,21,1,100,21,0,6,17,22,0,11,11,14,21,0,11,21,1,18,21,1,101,21,0,1,21,1,67,16,21,1,7,0,16,8,21,1,7,21,0,4,21,1,6,21,0,2,21,1,67,16,21,1,7,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,3,0,21,7,21,1,60,21,0,12,21,1,6,21,1,54,21,1,6,21,0,6,21,1,18,21,1,54,7,16,8,8,19,22,0,13,11,14,21,0,9,21,1,88,16,0,18,21,0,1,21,1,39,16,21,1,7,0,16,8,7,16,21,1,18,21,1,54,7,21,1,88,9,21,1,7,21,1,67,8,16,21,1,54,21,0,10,21,1,18,21,1,54,7,16,17,0,18,15,129,1,21,1,6,21,0,2,21,1,57,16,8,7,16,25,21,0,1,22,0,2,11,14,21,1,77,21,1,52,7,21,1,63,9,0,19,21,1,52,7,21,1,77,21,1,61,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,130,1,25,21,0,1,21,1,58,16,21,1,60,0,22,17,0,5,0,84,17,14,21,0,1,21,1,104,16,22,0,5,11,14,21,0,1,21,1,57,16,21,1,88,16,0,18,0,22,21,1,1,21,0,1,21,1,58,21,1,55,0,22,19,21,1,8,21,1,40,21,1,55,7,8,16,21,1,43,21,0,5,17,21,1,7,0,16,8,21,1,5,21,1,39,8,0,22,21,1,7,21,1,62,8,19,3,2,21,1,0,21,1,55,21,1,6,0,21,8,8,7,16,21,0,4,21,0,5,17,21,1,43,21,0,5,21,1,107,16,17,25,21,0,2,21,1,58,16,22,0,3,11,14,21,0,1,21,1,58,16,21,1,60,21,0,3,17,0,5,0,85,17,14,21,0,1,21,0,3,21,1,75,21,1,88,8,21,0,2,21,1,39,16,17,21,0,3,21,1,75,21,1,38,8,21,0,2,17,25,21,0,2,21,1,58,16,21,1,59,0,22,17,0,5,0,86,17,14,21,0,1,21,1,39,16,21,1,57,21,1,5,21,1,60,8,21,0,2,17,0,5,0,87,17,14,21,0,2,21,1,67,16,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,0,5,0,88,17,25,21,0,1,21,1,39,16,21,1,96,21,0,2,17,0,18,21,1,18,21,1,50,7,7,16,21,1,88,16,0,18,21,1,3,21,0,1,7,21,1,99,21,1,43,21,1,6,21,0,2,8,19,7,16,25,21,0,1,21,1,114,21,0,2,17,14,21,0,2,21,1,67,16,22,0,2,12,14,21,0,2,21,1,112,16,21,1,63,16,21,1,18,21,1,61,7,16,21,1,62,21,0,1,21,1,58,16,17,22,0,3,11,14,21,0,3,21,1,55,21,0,2,17,21,1,18,21,1,52,7,16,0,5,0,89,17,14,21,0,1,21,1,115,21,0,3,21,1,88,16,21,1,1,21,1,90,21,1,3,21,1,112,21,1,4,21,1,63,8,7,19,21,0,2,17,21,1,95,21,0,2,17,17,25,21,0,1,21,1,114,21,0,2,17,14,21,0,2,21,1,67,16,22,0,2,12,14,21,0,1,21,1,58,16,22,0,3,11,14,21,0,2,21,0,3,21,1,7,21,1,55,8,21,1,52,21,1,112,19,16,21,1,18,21,1,52,7,16,21,1,124,16,14,21,0,1,21,1,115,21,0,3,21,1,88,16,21,1,1,21,1,90,21,1,3,21,1,112,21,1,4,21,1,63,8,7,19,21,0,2,17,21,1,95,21,0,2,17,21,1,107,16,17,25,21,0,1,21,1,111,21,1,6,21,0,2,8,21,1,119,21,1,7,21,1,40,21,1,70,7,8,9,21,1,5,21,1,111,8,21,0,2,17,25,21,0,1,15,131,1,21,0,5,21,1,122,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,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,38,21,0,1,17,21,1,125,16,14,21,0,6,25,21,0,1,21,1,58,16,21,1,58,0,22,17,21,1,124,16,14,21,0,1,21,1,95,16,22,0,3,11,14,21,0,3,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,21,1,124,16,14,21,0,3,0,3,16,22,0,4,11,14,0,22,21,1,60,21,0,4,17,21,1,18,21,1,52,7,16,21,1,125,16,14,21,0,4,21,1,63,16,21,1,90,16,22,0,5,11,14,21,0,5,21,1,35,0,27,7,16,21,1,95,21,0,1,21,1,35,21,1,57,7,16,21,1,90,16,17,21,1,43,21,0,5,21,1,95,21,0,3,17,21,1,104,16,17,25,21,0,2,21,1,58,16,21,1,58,0,22,17,21,1,124,16,14,21,0,2,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,21,1,124,16,14,21,0,1,21,1,95,21,1,5,21,1,43,21,1,6,21,1,104,8,8,21,0,2,21,1,96,16,17,25,21,0,1,0,0,16,21,1,125,16,14,21,0,1,21,1,58,16,21,1,58,0,21,17,21,1,125,16,14,21,0,1,21,1,122,16,25,21,0,2,21,1,58,21,1,5,21,1,62,8,21,0,1,17,22,0,3,11,14,21,0,3,0,22,21,1,7,21,1,60,8,21,1,52,21,1,60,21,1,6,0,21,8,19,16,21,1,125,16,14,21,0,2,0,22,21,1,57,3,2,21,1,123,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,57,16,21,1,60,21,0,4,17,21,1,125,16,14,21,0,1,21,1,43,21,1,81,21,1,6,21,0,4,8,3,2,21,1,123,21,0,3,8,16,21,1,38,21,0,2,17,21,1,125,16,14,21,0,1,21,1,84,21,0,4,17,25,21,0,1,21,1,57,16,21,1,58,0,23,17,21,1,125,16,14,21,0,1,21,1,43,16,21,1,38,21,0,2,17,21,1,125,16,14,21,0,1,21,1,43,0,22,17,25,21,0,1,21,1,57,16,21,1,58,0,22,17,21,1,125,16,14,21,0,1,21,1,43,16,25,21,0,1,21,1,58,16,21,1,58,0,22,17,21,1,124,16,14,21,0,1,0,18,21,1,10,7,16,21,1,18,21,1,52,7,16,21,1,124,16,14,21,0,1,21,1,84,21,1,6,0,22,8,21,1,60,21,1,84,21,1,6,0,27,8,19,21,1,18,21,1,52,7,9,16,21,1,125,16,14,21,0,1,0,3,16,25,21,1,3,21,1,3,0,21,7,0,5,0,92,19,3,1,21,1,95,21,0,1,21,1,43,0,22,17,17,7,21,1,122,21,1,55,21,1,111,21,0,1,21,1,43,0,21,17,19,21,1,122,9,19,25,21,0,1,21,1,129,1,16,25,21,0,1,21,0,5,21,0,2,17,22,0,6,11,14,0,21,22,0,7,11,22,0,8,11,14,21,0,6,0,21,21,1,73,15,132,1,8,16,14,21,0,1,22,0,9,11,14,15,133,1,22,0,10,11,14,21,0,7,21,0,10,21,1,1,21,0,4,21,0,2,19,7,16,22,0,11,11,14,21,0,8,21,1,62,16,21,0,10,21,1,1,21,1,130,1,21,0,4,7,21,0,2,19,7,16,22,0,12,11,14,21,0,6,0,21,21,1,73,21,1,3,21,0,11,21,0,12,3,2,7,21,1,122,0,21,21,1,7,21,1,55,8,19,21,1,122,21,1,49,19,8,16,25,21,1,19,21,1,5,0,18,21,0,1,7,8,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,64,16,25,0,22,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,18,0,8,21,2,6,21,0,1,0,14,16,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,0,31,17,14,21,0,5,21,2,18,0,8,7,0,22,17,0,17,16,0,18,21,0,1,0,15,16,21,2,7,0,16,8,21,0,4,21,0,2,0,15,16,21,2,7,0,16,8,19,7,16,0,15,21,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,18,0,8,21,2,6,21,0,7,21,2,7,0,16,8,0,12,21,0,5,21,2,7,0,16,8,19,8,7,0,22,17,0,5,0,32,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,18,0,8,21,2,6,0,6,21,2,6,21,0,6,8,21,2,3,0,16,7,21,0,7,19,8,7,0,22,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,5,0,18,21,2,3,21,0,10,7,0,16,0,6,21,2,6,0,8,21,2,6,21,0,8,8,8,19,21,0,4,21,0,9,21,2,7,0,16,8,19,7,8,21,0,9,21,2,16,16,17,0,15,16,0,15,21,0,7,17,25,21,0,1,21,2,23,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,134,1,21,0,2,7,7,16,25,21,0,2,0,18,15,135,1,21,0,1,7,7,16,25,21,1,6,0,8,0,23,17,0,13,21,0,1,21,2,18,21,2,14,7,16,22,1,10,12,0,7,21,0,1,21,2,18,21,2,15,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,3,0,21,7,21,2,13,0,21,21,2,101,21,1,8,21,2,7,0,16,8,21,2,5,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,1,21,1,6,3,2,21,2,0,0,13,21,2,6,21,1,6,8,8,22,0,6,11,14,0,21,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,23,17,21,2,15,16,22,0,7,11,0,17,16,0,18,21,2,1,0,6,0,22,19,0,7,21,0,7,19,0,10,0,23,19,7,16,21,2,18,15,136,1,7,21,1,6,0,17,16,17,25,21,0,1,0,18,21,2,10,7,16,21,2,18,0,8,7,0,22,17,0,5,0,35,17,14,0,22,0,7,21,1,3,17,22,0,3,11,14,21,2,1,0,7,21,0,3,19,21,2,3,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,6,21,0,3,8,7,16,0,19,21,2,1,21,2,3,0,16,7,21,0,1,19,0,12,0,21,19,0,8,0,7,19,0,6,21,2,1,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,7,0,16,8,22,0,5,11,14,0,21,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,21,0,3,21,0,5,16,0,17,16,0,18,15,137,1,7,16,25,21,0,1,21,2,20,0,22,17,22,0,3,11,21,2,18,0,8,7,0,22,17,22,0,4,11,14,21,0,4,0,17,16,0,15,21,0,3,17,0,18,0,6,21,2,6,0,8,21,2,6,21,0,4,8,8,21,2,3,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,2,7,0,16,8,7,16,25,21,0,1,3,1,25,21,0,1,14,21,1,9,0,16,21,1,12,0,16,21,1,14,17,17,22,0,3,11,14,21,1,14,0,6,0,22,17,22,1,14,12,21,1,13,16,22,1,15,12,14,21,0,3,25,21,0,1,0,12,21,1,15,17,25,21,0,1,0,12,16,0,13,0,22,17,0,5,0,41,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,11,0,22,17,0,5,0,42,17,14,21,0,1,21,2,39,16,21,2,16,21,2,5,0,13,8,21,0,2,17,0,5,0,43,17,14,21,0,2,21,2,16,16,22,0,3,11,14,21,0,2,0,15,16,21,2,7,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,12,0,21,17,21,2,8,15,138,1,8,0,21,17,25,21,0,1,21,2,58,21,0,4,17,25,21,1,3,0,17,16,0,18,21,2,2,7,21,2,6,0,1,8,15,139,1,21,2,6,0,15,8,3,2,21,2,0,21,1,4,21,2,55,0,21,17,8,21,0,1,17,25,21,0,1,21,2,10,16,0,5,0,50,17,14,21,0,1,0,17,16,25,21,0,1,21,2,58,16,21,2,58,0,22,17,0,5,0,51,17,14,21,0,1,0,18,21,1,3,7,16,21,2,18,0,18,21,2,21,21,2,6,21,2,67,8,7,7,3,0,21,2,55,16,17,25,21,1,9,21,1,7,21,2,61,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,35,21,0,5,7,21,2,2,21,2,4,0,18,21,0,1,21,2,7,21,0,5,8,7,8,21,2,1,21,2,4,0,18,21,2,1,21,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,0,21,2,38,21,2,5,21,2,69,8,21,2,59,21,0,4,21,2,51,0,21,17,19,21,2,53,0,21,21,2,59,21,0,4,17,21,2,52,21,1,7,17,19,21,2,66,0,23,19,21,2,18,21,2,61,21,2,6,0,23,21,2,7,21,2,54,8,8,7,9,8,21,0,2,17,25,21,0,2,0,17,16,0,18,21,0,1,21,2,39,16,21,2,7,0,16,8,7,16,22,0,3,11,14,21,0,1,21,2,20,21,0,2,17,22,0,4,11,21,2,18,21,2,54,7,16,22,0,5,11,14,21,0,3,21,2,18,21,2,54,7,16,0,17,16,0,18,21,2,1,21,2,54,21,0,5,19,21,2,61,21,0,5,0,17,16,21,2,67,21,0,4,17,19,21,2,4,0,18,21,0,1,21,2,67,16,21,2,7,0,16,8,7,8,7,16,21,2,67,21,0,3,17,25,21,0,2,21,2,9,16,0,5,0,55,17,14,21,0,1,21,2,57,16,22,0,3,11,14,0,21,21,2,55,21,0,2,17,22,0,4,11,14,21,0,2,21,2,49,16,22,0,5,11,21,2,50,21,0,3,17,22,0,6,11,14,21,0,5,3,1,22,0,7,11,14,0,22,22,0,8,11,14,21,0,6,0,17,16,21,0,4,21,2,8,21,2,61,8,21,0,6,21,2,62,21,0,3,17,17,21,0,1,21,2,58,16,21,2,57,0,22,17,21,2,8,15,140,1,8,21,0,1,17,22,0,9,11,14,21,0,9,0,18,21,0,1,21,2,67,16,21,2,7,0,16,8,7,16,21,0,5,21,2,55,21,0,3,17,21,2,8,15,141,1,21,0,1,7,8,16,21,2,67,21,0,7,17,25,21,0,2,21,2,67,16,21,2,1,21,2,68,21,2,5,0,18,21,2,61,7,8,21,2,63,19,21,1,3,17,21,2,35,21,0,1,21,2,7,21,2,43,21,2,6,0,18,21,2,55,7,8,8,7,16,21,2,56,21,2,67,21,2,39,21,2,4,21,0,1,21,2,39,16,21,2,84,21,2,6,21,2,57,8,21,0,2,17,21,2,7,21,2,21,8,8,19,16,25,21,0,1,21,2,57,21,2,6,21,1,4,8,21,2,8,15,142,1,8,16,14,21,1,5,0,16,0,22,21,2,61,21,1,3,17,22,1,3,12,17,25,21,0,2,21,2,88,16,0,18,21,2,54,21,2,6,21,0,1,21,2,58,21,1,8,17,8,21,2,3,21,2,97,7,21,1,6,19,21,2,39,21,2,7,0,16,8,21,0,1,19,7,16,25,21,0,1,21,2,81,16,0,18,21,2,18,21,2,61,7,7,16,22,0,3,11,14,21,0,3,21,2,84,0,27,17,21,2,90,21,0,1,17,21,2,62,21,0,3,21,2,89,16,0,16,0,21,17,21,2,88,16,17,25,21,0,1,14,21,1,6,0,16,21,1,7,17,21,2,1,0,22,21,2,61,21,1,7,17,22,1,7,12,17,25,21,0,1,21,2,58,16,21,2,58,0,22,17,0,5,0,73,17,14,21,0,1,0,18,21,2,57,7,16,25,21,0,2,0,18,21,2,92,21,2,1,7,7,16,21,2,54,21,1,4,21,2,84,0,22,17,21,2,89,16,21,2,21,0,22,3,1,17,0,19,21,2,54,7,16,21,2,89,16,17,21,2,18,0,18,0,18,21,2,61,7,7,7,16,0,18,21,0,1,21,2,20,21,1,4,21,2,57,16,17,21,2,21,21,1,4,21,2,18,21,2,54,7,16,3,1,17,21,2,3,21,2,67,7,21,0,1,17,21,2,7,21,2,43,8,7,16,25,21,0,1,21,2,57,21,2,5,21,2,62,8,21,0,2,17,21,2,54,16,22,0,3,11,14,21,0,1,21,2,57,21,2,5,21,2,50,8,21,0,2,17,22,0,4,11,14,21,0,1,15,143,1,21,2,6,21,2,57,21,2,61,21,0,4,21,2,88,16,21,2,61,0,22,17,21,2,62,16,19,8,21,2,5,15,144,1,8,21,0,2,17,22,0,5,11,14,21,0,5,21,0,3,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,145,1,21,1,7,3,2,21,2,0,21,2,58,21,2,6,21,1,6,8,8,22,0,5,11,14,0,21,21,0,5,16,25,15,146,1,22,0,3,11,14,0,27,21,0,3,0,22,21,2,61,21,0,1,17,17,21,2,61,0,22,17,25,21,0,2,21,2,102,21,0,1,21,2,7,21,1,13,8,7,16,25,21,0,2,21,2,58,16,21,2,3,21,2,62,7,0,22,17,22,0,3,11,14,21,0,3,21,2,60,0,21,17,0,5,0,83,17,14,21,0,1,21,2,19,16,21,2,1,21,2,4,21,0,3,21,2,75,0,21,8,8,21,2,1,21,0,3,21,2,75,21,2,55,8,3,2,21,2,0,21,0,3,21,2,55,0,21,17,8,21,2,5,0,18,21,2,39,7,8,21,1,3,9,3,2,21,2,0,21,0,2,21,2,57,16,21,2,55,0,21,17,8,15,147,1,3,2,21,2,0,21,2,67,21,2,4,21,2,57,8,21,2,55,0,26,19,21,2,5,21,2,52,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,2,9,16,0,5,0,93,17,14,21,0,1,21,2,50,21,1,8,17,22,1,8,12,14,21,0,1,21,2,51,21,1,7,17,22,1,7,12,25,21,0,1,21,2,61,0,21,17,21,2,88,16,21,2,95,21,1,9,3,1,17,0,19,21,2,2,21,2,4,21,0,4,8,7,16,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,21,22,0,5,11,22,0,6,11,22,0,7,11,14,0,25,22,0,8,11,14,21,0,1,0,22,0,12,21,2,7,17,0,7,0,22,17,21,3,8,0,18,0,8,21,3,6,21,2,7,8,7,8,16,21,3,7,0,16,8,21,3,5,21,1,5,8,22,0,9,11,14,21,0,9,0,21,0,22,0,23,3,4,22,0,10,11,14,0,6,15,148,1,3,2,0,16,21,0,3,0,13,0,26,17,17,22,0,11,11,14,15,149,1,22,0,12,11,14,15,150,1,15,151,1,21,0,12,3,3,21,3,0,15,152,1,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,7,15,153,1,8,7,16,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,8,15,154,1,8,16,25,21,0,1,0,22,0,7,21,1,3,17,21,3,12,21,0,2,17,21,3,8,21,3,40,21,0,0,21,3,6,21,0,2,0,6,0,22,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,0,1,21,3,49,21,2,4,17,0,18,21,0,2,21,3,7,0,16,8,7,16,25,21,0,2,21,3,20,0,22,17,22,0,3,11,21,3,21,22,1,7,13,14,21,0,3,21,3,18,21,3,54,7,16,22,1,8,12,21,3,1,21,3,4,0,17,8,0,18,21,3,61,7,21,3,54,19,21,0,1,17,25,21,1,6,21,3,62,21,1,5,17,21,3,54,21,1,8,17,0,17,16,0,18,21,0,4,0,1,16,21,3,67,16,0,16,0,21,17,7,16,21,3,21,21,3,3,21,3,21,7,3,2,21,3,0,21,1,4,8,21,0,1,21,3,67,16,17,25,21,0,1,22,2,4,12,21,3,3,0,16,7,21,2,6,17,22,2,5,12,14,0,27,22,2,3,12,25,21,0,2,0,18,21,0,1,21,3,7,0,16,8,7,16,25,21,0,1,21,3,58,21,0,2,17,0,19,21,3,52,7,16,21,3,18,21,3,61,7,16,22,0,3,11,14,21,0,3,21,3,88,16,0,18,21,0,2,21,3,7,0,16,8,7,16,21,3,18,21,3,54,7,16,22,0,4,11,14,21,0,3,21,3,56,21,3,6,21,1,4,8,21,3,8,21,0,2,21,0,1,3,2,21,3,7,21,3,35,0,16,7,8,21,3,4,15,155,1,8,8,16,14,21,0,4,25,21,1,4,21,3,61,21,3,6,21,0,1,8,21,3,5,21,2,5,8,21,1,3,17,21,3,58,21,3,6,0,21,8,21,3,8,21,0,1,21,3,61,0,22,17,21,3,4,21,1,5,8,8,16,25,21,0,1,0,22,21,3,7,21,3,56,8,21,3,8,15,156,1,8,21,0,2,17,25,21,0,2,21,3,105,16,21,3,89,16,22,0,3,11,14,21,0,1,21,3,104,21,0,2,21,3,43,21,0,3,17,17,21,3,3,21,3,62,7,0,22,17,21,3,51,0,21,17,21,3,3,21,3,43,7,21,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,75,21,3,38,8,21,0,2,21,3,43,21,0,4,17,17,21,2,2,21,3,8,21,3,54,21,3,6,21,3,62,21,3,6,21,0,4,8,8,21,3,61,21,3,2,19,8,21,0,2,21,3,57,16,17,25,21,0,1,21,1,8,0,7,0,22,17,21,4,8,21,1,9,0,7,0,22,19,21,4,8,15,157,1,8,8,0,22,0,7,21,0,1,17,17,25,21,0,2,0,6,21,1,3,17,22,1,4,12,14,21,0,1,0,6,21,1,3,17,22,1,7,12,21,2,6,16,22,1,6,12,0,6,21,1,3,17,21,2,6,16,22,1,5,12,14,21,1,7,0,13,21,3,6,17,22,1,8,12,14,21,1,6,21,1,11,16,14,21,1,7,21,1,13,21,1,4,17,25,21,0,2,0,6,0,22,17,22,1,4,12,0,12,21,1,6,17,0,8,0,23,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,22,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,0,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,22,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,21,0,1,21,4,18,21,4,62,7,16,21,4,54,16,22,2,3,12,14,21,0,1,21,4,18,21,4,50,7,16,21,4,54,21,1,4,17,22,1,4,12,25,0,23,21,4,46,21,0,2,17,21,4,50,16,22,0,3,11,21,4,61,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,49,0,23,17,21,4,54,21,0,5,17,21,4,61,21,0,3,17,17,25,21,0,1,14,0,23,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25])
+ ,provide.concat([0,1,2,32,3,8,-1,Infinity,-Infinity,str("Argument to fold must be a list"),str("Equal-rank argument shapes don't agree"),str("Argument shape prefixes don't agree"),str("Grade argument must have rank at least 1"),str("Replication argument in Indices or Replicate must have rank 1"),str("Amounts to replicate must be natural numbers"),str("Right argument to Select must be an array"),str("Indices in Select must be integers"),str("Select indices out of range"),str("Reverse argument must have rank at least 1"),str("Amount to rotate must be an integer"),str("First-axis function right argument must have rank at least 1"),str("Left argument must have rank at most 1"),str("Left argument length must be at most right argument rank"),str("Elements in Merge argument must have matching shapes"),str("No monadic form: ≥"),str("No monadic form: ≤"),str("Identity not found"),str("Shape argument to Reshape must have rank at most 1"),str("Shape in Reshape must consist of natural numbers"),str("Range argument must consist of natural numbers"),str("Range argument must be a number or list"),str("Insert argument must have rank at least 1"),str("Rank of joined arguments must differ by at most 1"),str("Cell shapes of joined arguments must match"),str("Left argument to Take or Drop must be an integer"),str("Prefixes argument must have rank at least 1"),str("Suffixes argument must have rank at least 1"),str("Windows right argument must be an array"),str("Windows left argument must have rank at most 1"),str("Windows left argument length must be at most right argument rank"),str("Windows left argument must consist of natural numbers"),str("Window length must be at most axis length plus one"),str("Replicate argument lengths must match"),str("Join argument must be an array"),str("Join argument elements must all have the same rank"),str("Join argument element rank must be at least argument rank"),str("Join argument element shapes must be compatible"),str("Grouping argument must be a list"),str("Grouping argument must consist of integers"),str("Grouping argument values cannot be less than ¯1"),str("Group Indices argument must be an array"),str("Group right argument must be an array"),str("Group left argument must consist of lists"),str("Group left argument length must be at most right argument rank"),str("Group argument lengths must be compatible"),str("Indices in compound Pick must be lists"),str("Pick index length must match right argument rank"),str("Pick indices must consist of integers"),str("Pick index out of range"),str("Bins argument must have rank at least 1"),str("Bins right argument rank is too small"),str("Bins left argument must be sorted"),str("Search principal argument must have rank at least 1"),str("Unique mask argument must have rank at least 1"),str("Find left argument rank cannot exceed right argument rank"),str("Left argument to Reorder Axes must have rank at most 1"),str("Reorder Axes left argument length must not exceed right argument rank"),str("Reorder Axes left argument must consist of natural numbers"),str("No such axis in Reorder Axes"),str("Inverse failed"),str("Inverse does not exist"),str("Inverse not found"),str("Repetition numbers must be integers")])
+ ,[[0,1,0,136],[2,0,2889,6],[0,0,2916,3],[0,0,2920,3],[0,0,2924,3],[1,0,2928,5],[2,0,2946,6],[2,0,2961,6],[2,0,2980,6],[2,0,3002,6],[2,0,3024,6],[0,0,3056,3],[0,0,3067,3],[0,0,3076,3],[1,0,3085,9],[0,0,3198,3],[0,0,3238,4],[1,1,3314,4],[1,1,3387,3],[0,0,3451,3],[0,0,3462,5],[2,0,3546,12],[0,0,3752,4],[0,0,3801,6],[0,0,3891,7],[0,0,4020,4],[0,0,4176,4],[0,0,4237,4],[2,0,4339,16],[1,1,4569,2],[0,0,4593,3],[0,0,4620,3],[0,0,4646,3],[1,1,4685,2],[2,1,4695,4],[0,0,4731,4],[1,1,4828,2],[0,0,4861,3],[0,0,4888,3],[0,0,4910,3],[0,0,4932,3],[0,0,4943,3],[0,0,4972,3],[0,0,4978,5],[0,0,5096,5],[0,0,5129,3],[0,0,5138,3],[1,1,5144,2],[2,0,5213,10],[2,0,5272,8],[1,0,5459,5],[0,0,5501,8],[0,0,5737,4],[0,0,5818,3],[0,0,5868,4],[0,0,5989,3],[0,0,6039,4],[0,0,6205,3],[0,0,6223,3],[0,0,6257,3],[0,0,6271,7],[0,0,6318,11],[1,0,6583,8],[0,0,6701,4],[0,0,6785,5],[0,0,6944,4],[0,0,7157,3],[0,0,7175,4],[1,0,7247,9],[1,1,7316,3],[1,0,7341,14],[1,1,7776,4],[1,0,7826,6],[0,0,7965,4],[0,0,8033,3],[0,0,8107,3],[0,0,8162,4],[0,0,8291,4],[0,0,8411,3],[2,0,8451,6],[2,0,8480,7],[0,0,8521,6],[0,0,8671,3],[0,0,8741,3],[0,0,8778,5],[0,0,8922,3],[0,0,8969,3],[0,0,8995,3],[0,0,9082,3],[1,1,9137,2],[2,0,9146,13],[1,1,9300,2],[1,1,9314,2],[1,1,9318,2],[0,0,9322,3],[0,0,9334,3],[0,0,9357,3],[1,0,9378,6],[1,0,9495,11],[1,0,9716,5],[0,0,9731,3],[0,0,9746,3],[0,0,9761,3],[1,0,9806,8],[0,0,9945,8],[0,0,10113,5],[0,0,10188,3],[0,0,10205,3],[0,0,10211,4],[0,0,10260,3],[0,0,10270,3],[0,0,10298,5],[1,0,10394,5],[0,0,10405,3],[0,0,10452,3],[0,0,10472,3],[1,0,10526,6],[0,0,10679,6],[0,0,10807,10],[0,0,10992,3],[0,0,11092,3],[0,0,11134,3],[0,0,11187,4],[0,0,11247,3],[0,0,11278,3],[0,0,11308,3],[0,0,11426,6],[0,0,11533,6],[0,0,11583,4],[0,0,11613,3],[0,0,11632,4],[1,1,11790,2],[0,0,11794,3],[1,0,11837,5],[1,0,11874,5],[1,0,11885,5],[0,0,11896,14],[0,0,12072,3],[0,0,12093,3],[0,0,12147,3],[0,0,12171,4],[1,0,12231,5],[0,0,12298,3],[0,0,12327,3],[0,0,12344,5],[0,0,12455,3],[0,0,12510,3],[0,0,12534,5],[0,0,12663,3],[0,0,12703,3],[0,0,12786,3],[0,0,12820,3],[0,0,12849,3],[0,0,12867,3],[0,0,12884,3],[0,0,12913,3],[0,0,12956,6],[0,0,13035,3]]
 );
 runtime.map((r,i) => {
   let prims = "+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟";