Identity for ¬ is 1

1 files changed, 2 insertions, 2 deletions

diff --git a/docs/bqn.js b/docs/bqn.js
index fcbda1ce..4ee7ac79 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,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])
+  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,63,0,22,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,18,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]]
+ ,[[0,1,0,136],[2,0,2896,6],[0,0,2923,3],[0,0,2927,3],[0,0,2931,3],[1,0,2935,5],[2,0,2953,6],[2,0,2968,6],[2,0,2987,6],[2,0,3009,6],[2,0,3031,6],[0,0,3063,3],[0,0,3074,3],[0,0,3083,3],[1,0,3092,9],[0,0,3205,3],[0,0,3245,4],[1,1,3321,4],[1,1,3394,3],[0,0,3458,3],[0,0,3469,5],[2,0,3553,12],[0,0,3759,4],[0,0,3808,6],[0,0,3898,7],[0,0,4027,4],[0,0,4183,4],[0,0,4244,4],[2,0,4346,16],[1,1,4576,2],[0,0,4600,3],[0,0,4627,3],[0,0,4653,3],[1,1,4692,2],[2,1,4702,4],[0,0,4738,4],[1,1,4835,2],[0,0,4868,3],[0,0,4895,3],[0,0,4917,3],[0,0,4939,3],[0,0,4950,3],[0,0,4979,3],[0,0,4985,5],[0,0,5103,5],[0,0,5136,3],[0,0,5145,3],[1,1,5151,2],[2,0,5220,10],[2,0,5279,8],[1,0,5466,5],[0,0,5508,8],[0,0,5744,4],[0,0,5825,3],[0,0,5875,4],[0,0,5996,3],[0,0,6046,4],[0,0,6212,3],[0,0,6230,3],[0,0,6264,3],[0,0,6278,7],[0,0,6325,11],[1,0,6590,8],[0,0,6708,4],[0,0,6792,5],[0,0,6951,4],[0,0,7164,3],[0,0,7182,4],[1,0,7254,9],[1,1,7323,3],[1,0,7348,14],[1,1,7783,4],[1,0,7833,6],[0,0,7972,4],[0,0,8040,3],[0,0,8114,3],[0,0,8169,4],[0,0,8298,4],[0,0,8418,3],[2,0,8458,6],[2,0,8487,7],[0,0,8528,6],[0,0,8678,3],[0,0,8748,3],[0,0,8785,5],[0,0,8929,3],[0,0,8976,3],[0,0,9002,3],[0,0,9089,3],[1,1,9144,2],[2,0,9153,13],[1,1,9307,2],[1,1,9321,2],[1,1,9325,2],[0,0,9329,3],[0,0,9341,3],[0,0,9364,3],[1,0,9385,6],[1,0,9502,11],[1,0,9723,5],[0,0,9738,3],[0,0,9753,3],[0,0,9768,3],[1,0,9813,8],[0,0,9952,8],[0,0,10120,5],[0,0,10195,3],[0,0,10212,3],[0,0,10218,4],[0,0,10267,3],[0,0,10277,3],[0,0,10305,5],[1,0,10401,5],[0,0,10412,3],[0,0,10459,3],[0,0,10479,3],[1,0,10533,6],[0,0,10686,6],[0,0,10814,10],[0,0,10999,3],[0,0,11099,3],[0,0,11141,3],[0,0,11194,4],[0,0,11254,3],[0,0,11285,3],[0,0,11315,3],[0,0,11433,6],[0,0,11540,6],[0,0,11590,4],[0,0,11620,3],[0,0,11639,4],[1,1,11797,2],[0,0,11801,3],[1,0,11844,5],[1,0,11881,5],[1,0,11892,5],[0,0,11903,14],[0,0,12079,3],[0,0,12100,3],[0,0,12154,3],[0,0,12178,4],[1,0,12238,5],[0,0,12305,3],[0,0,12334,3],[0,0,12351,5],[0,0,12462,3],[0,0,12517,3],[0,0,12541,5],[0,0,12670,3],[0,0,12710,3],[0,0,12793,3],[0,0,12827,3],[0,0,12856,3],[0,0,12874,3],[0,0,12891,3],[0,0,12920,3],[0,0,12963,6],[0,0,13042,3]]
 );
 runtime.map((r,i) => {
   let prims = "+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟";