Use runtime Match instead of === to compare functions component-wise

author: Marshall Lochbaum <mwlochbaum@gmail.com> 2021-04-24 18:22:02 -0400
committer: Marshall Lochbaum <mwlochbaum@gmail.com> 2021-04-24 18:23:31 -0400
commit: 09231a35b513400bfd0b4f04dd0aba3a96f21daa (patch)
tree: 383f1085fe821ac288a0477db283e523a3a96c5f /docs
parent: 96f50367f934165b010156bec3fcec79afdacb86 (diff)
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/bqn.js b/docs/bqn.js
index 54b58f6d..72592ca1 100644
--- a/docs/bqn.js
+++ b/docs/bqn.js
@@ -147,7 +147,7 @@ let equals = (x,w) => {
   let a,b;
   if (typeof(w)!=="function" || !(a=w.repr)) return x===w;
   if (typeof(x)!=="function" || !(b=x.repr)) return false;
-  b=b(); return a().every((e,i)=>e===b[i]);
+  b=b(); return a().every((e,i)=>call(runtime[18],e,b[i]));  // ≡
 }
 let table = f => setrepr(()=>[4,f,table], (x,w) => !has(w)
   ? arr(x.map(e=>call(f,e)),x.sh)
@@ -244,9 +244,9 @@ let provide = [
 ];
 
 let [runtime,setPrims] = run(
-  [0,82,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,23,19,22,0,14,11,14,0,23,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,15,11,14,0,23,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,23,8,19,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,24,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,24,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,24,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,23,8,8,22,0,26,11,14,0,24,0,14,0,16,0,23,19,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,27,11,14,15,21,22,0,28,11,14,31,0,28,22,0,29,11,14,15,22,22,0,30,11,14,15,23,22,0,31,11,14,15,24,22,0,32,11,14,21,0,32,0,35,7,22,0,33,11,14,0,14,21,0,12,15,25,8,22,0,34,11,14,15,26,22,0,35,11,14,21,0,5,0,20,15,27,15,28,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,24,19,8,8,22,0,36,11,14,21,0,36,22,0,37,11,14,15,29,22,0,38,11,14,15,30,22,0,39,11,14,0,13,0,7,21,0,21,19,22,0,40,11,14,0,24,0,15,0,16,0,23,19,21,0,12,0,13,0,8,0,25,19,0,7,0,24,19,15,31,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,24,19,21,0,22,0,23,19,8,22,0,41,11,14,15,32,22,0,42,11,14,15,33,22,0,43,11,14,21,0,40,21,0,41,21,0,8,21,0,41,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,34,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,44,11,14,15,35,22,0,45,11,14,15,36,22,0,46,11,14,15,37,22,0,47,11,14,21,0,47,21,0,44,7,0,21,0,23,21,0,45,21,0,44,8,8,22,0,48,11,14,31,0,47,21,0,8,21,0,44,7,7,0,21,0,24,21,0,45,21,0,8,21,0,44,7,8,8,22,0,49,11,14,15,38,22,0,50,11,14,21,0,20,21,0,5,0,20,15,39,8,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,51,11,14,15,40,21,0,13,21,0,5,0,20,15,41,8,8,22,0,52,11,14,15,42,22,0,53,11,14,15,43,22,0,54,11,14,15,44,22,0,55,11,14,15,45,22,0,56,11,14,15,46,22,0,57,11,14,15,47,22,0,58,11,14,15,48,22,0,59,11,14,21,0,17,0,1,0,16,21,0,11,0,23,8,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,9,22,0,60,11,14,15,49,22,0,61,11,14,15,50,22,0,62,11,14,15,51,22,0,63,11,14,15,52,22,0,64,11,14,0,23,0,12,21,0,11,21,0,7,21,0,64,7,8,3,2,21,0,4,0,0,0,12,0,27,19,8,22,0,65,11,14,15,53,22,0,66,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,54,7,9,15,55,15,56,15,57,3,6,21,0,4,21,0,6,8,22,0,67,11,14,15,58,22,0,68,11,14,21,0,14,21,0,10,0,12,8,0,23,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,23,3,2,0,14,21,0,10,21,0,63,0,12,7,8,21,0,29,0,8,7,0,24,19,0,23,3,2,15,59,3,5,21,0,29,15,60,7,16,22,0,69,11,14,0,23,15,61,3,2,21,0,4,21,0,14,8,22,0,70,11,14,21,0,69,0,21,21,0,70,8,22,0,71,11,14,21,0,69,0,7,0,24,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,72,11,14,21,0,71,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,73,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,73,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,8,22,0,74,11,14,15,62,22,0,75,11,14,21,0,14,21,0,13,21,0,35,21,0,75,15,63,8,8,22,0,76,11,14,15,64,22,0,77,11,14,15,65,22,0,78,11,14,21,0,14,0,5,0,108,19,21,0,6,15,66,31,0,75,21,0,76,21,0,78,31,0,77,3,2,21,0,4,0,18,0,12,0,12,0,24,19,7,21,0,29,0,8,7,0,24,19,8,31,0,78,3,3,21,0,4,0,12,21,0,24,0,25,19,8,8,19,22,0,79,11,14,15,67,22,0,80,11,14,21,0,80,0,113,21,0,26,21,0,12,0,12,8,0,7,0,24,19,15,68,3,3,7,22,0,81,11,14,31,0,80,0,114,0,12,21,0,11,0,23,8,0,7,0,24,19,15,69,3,3,7,22,0,82,11,14,15,70,22,0,83,11,14,15,71,22,0,84,11,14,15,72,22,0,85,11,14,15,73,22,0,86,11,14,15,74,22,0,87,11,14,15,75,22,0,88,11,14,15,76,22,0,89,11,14,0,4,21,0,11,21,0,63,0,24,7,8,22,0,90,11,14,15,77,22,0,91,11,14,21,0,91,21,0,5,0,19,0,6,7,0,29,19,21,0,8,21,0,37,7,21,0,8,21,0,37,21,0,11,21,0,50,8,21,0,9,21,0,48,21,0,9,21,0,90,8,8,7,19,7,22,0,92,11,14,21,0,39,0,9,7,22,0,93,11,14,21,0,39,0,10,7,22,0,94,11,14,21,0,8,21,0,93,21,0,12,21,0,94,8,7,0,21,0,25,21,0,93,16,21,0,12,21,0,94,8,8,22,0,95,11,14,21,0,39,15,78,0,21,21,0,26,8,7,22,0,96,11,14,21,0,39,15,79,0,21,21,0,24,8,7,22,0,97,11,14,21,0,39,15,80,0,21,0,7,21,0,9,21,0,97,21,0,9,0,7,8,8,8,7,22,0,98,11,14,21,0,39,0,8,7,0,21,21,0,57,0,23,7,8,22,0,99,11,14,21,0,39,0,8,0,7,0,6,19,7,0,21,31,0,57,0,24,7,8,22,0,100,11,14,21,0,39,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,23,8,8,7,22,0,101,11,14,21,0,39,21,0,21,0,7,0,24,19,7,0,21,31,0,19,8,22,0,102,11,14,21,0,39,0,13,0,7,0,24,19,7,0,21,31,0,76,8,22,0,103,11,14,21,0,39,0,12,0,7,0,24,19,7,0,21,21,0,27,8,22,0,104,11,14,21,0,39,0,12,7,0,21,0,12,8,22,0,105,11,14,21,0,39,21,0,21,7,0,21,21,0,7,0,23,7,0,5,0,127,19,8,22,0,106,11,14,21,0,39,0,13,7,0,21,21,0,7,0,23,7,0,5,0,128,19,8,22,0,107,11,14,21,0,39,0,6,7,22,0,108,11,14,21,0,39,0,7,7,22,0,109,11,14,21,0,109,21,0,108,0,24,19,22,0,110,11,14,21,0,6,21,0,105,21,0,105,21,0,104,21,0,71,21,0,72,3,4,19,21,0,29,21,0,108,7,9,21,0,13,15,81,8,22,0,111,11,14,0,30,0,17,16,21,0,31,0,129,8,22,0,112,11,14,15,82,22,0,113,11,14,0,15,0,21,21,0,17,8,22,0,114,11,14,15,83,22,0,115,11,14,15,84,22,0,116,11,14,15,85,22,0,117,11,14,15,86,22,0,118,11,14,15,87,22,0,119,11,14,15,88,22,0,120,11,14,31,0,120,22,0,121,11,14,21,0,73,0,20,21,0,114,21,0,10,21,0,35,8,15,89,3,2,21,0,4,21,0,105,21,0,102,0,24,19,21,0,10,21,0,100,8,8,8,22,0,122,11,14,21,0,37,21,0,11,21,0,50,8,22,0,123,11,14,21,0,5,0,20,21,0,104,21,0,105,0,23,19,21,0,109,0,24,19,21,0,89,15,90,15,91,3,2,21,0,4,21,0,6,21,0,9,21,0,105,8,21,0,102,0,23,19,8,8,8,22,0,124,11,14,31,0,81,0,21,31,0,55,8,22,0,125,11,14,21,0,82,0,21,31,0,56,8,22,0,126,11,14,31,0,87,0,21,31,0,115,8,22,0,127,11,14,0,23,21,0,89,31,0,54,8,0,21,21,0,53,8,22,0,128,11,14,31,0,124,0,21,21,0,50,8,22,0,129,11,14,21,0,73,0,21,21,0,5,8,0,20,21,0,84,0,21,31,0,84,21,0,11,21,0,86,8,8,8,22,0,130,11,14,21,0,73,0,21,21,0,5,8,0,20,21,0,85,0,21,31,0,85,21,0,11,31,0,86,8,8,8,22,0,131,11,14,15,92,22,0,132,11,14,15,93,22,0,133,11,14,15,94,22,0,134,11,14,15,95,22,0,135,11,14,31,0,135,15,96,3,2,21,0,4,21,0,6,21,0,9,21,0,114,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,100,7,0,23,19,8,22,0,136,11,14,21,0,136,21,0,11,21,0,114,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,137,11,14,31,0,118,22,0,138,11,14,21,0,119,22,0,139,11,14,15,97,22,0,140,11,14,21,0,20,21,0,10,15,98,8,22,0,141,11,14,31,0,73,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,103,8,8,22,0,142,11,14,31,0,122,0,21,21,0,79,8,22,0,143,11,14,31,0,134,0,21,31,0,133,8,22,0,144,11,14,21,0,140,0,24,7,0,21,31,0,92,8,22,0,145,11,14,21,0,8,31,0,140,0,23,7,7,0,21,31,0,91,21,0,5,7,8,22,0,146,11,14,15,99,22,0,147,11,14,21,0,5,0,20,15,100,8,22,0,148,11,14,15,101,22,0,149,11,14,15,102,22,0,150,11,14,31,0,149,0,21,31,0,51,8,22,0,151,11,14,21,0,48,21,0,9,21,0,48,8,21,0,37,21,0,109,21,0,5,19,21,0,8,21,0,145,7,19,0,1,0,23,19,22,0,152,11,14,15,103,0,1,0,23,19,22,0,153,11,14,21,0,5,0,20,0,24,31,0,89,31,0,59,8,21,0,11,21,0,20,8,0,21,31,0,58,8,8,22,0,154,11,14,21,0,137,0,21,31,0,60,8,22,0,155,11,14,15,104,22,0,156,11,14,15,105,22,0,157,11,14,15,106,22,0,158,11,14,31,0,158,22,0,159,11,14,21,0,113,0,21,21,0,17,8,22,0,160,11,14,31,0,66,22,0,161,11,14,31,0,153,0,21,21,0,152,8,22,0,162,11,14,31,0,141,0,21,21,0,129,21,0,11,21,0,146,8,8,22,0,163,11,14,15,107,22,0,164,11,14,0,36,0,23,0,37,0,23,0,38,0,24,0,39,0,24,0,40,0,24,0,41,0,24,0,42,0,33,0,43,0,31,0,44,0,23,0,45,0,24,0,46,0,23,0,47,0,24,0,48,0,23,0,49,0,24,3,28,21,0,164,21,0,7,0,23,7,0,5,0,166,19,8,15,108,9,22,0,165,11,14,0,5,21,0,11,0,167,8,22,0,166,11,14,0,5,21,0,11,0,168,8,22,0,167,11,14,21,0,7,0,23,7,0,5,0,169,19,22,0,168,11,14,15,109,22,0,169,11,14,15,110,22,0,170,11,14,15,111,22,0,171,11,14,0,36,21,0,8,21,0,109,7,0,21,21,0,108,8,0,37,21,0,109,0,38,21,0,8,21,0,93,7,0,21,21,0,101,21,0,169,21,0,5,8,8,0,39,21,0,93,0,40,21,0,39,0,2,7,0,50,21,0,8,21,0,94,7,0,21,21,0,8,21,0,101,7,8,0,45,21,0,8,21,0,93,7,0,21,21,0,99,21,0,169,21,0,5,8,8,0,44,21,0,6,21,0,109,0,24,19,21,0,93,21,0,8,21,0,109,7,19,0,21,21,0,100,21,0,169,21,0,5,8,8,0,41,21,0,110,0,51,0,23,21,0,9,21,0,166,8,0,21,15,112,8,0,52,21,0,5,0,53,21,0,71,21,0,9,21,0,167,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,35,15,113,0,21,0,23,21,0,9,21,0,166,8,8,0,54,15,114,0,21,15,115,8,0,55,0,23,21,0,9,21,0,166,8,0,21,21,0,125,21,0,169,21,0,155,21,0,11,0,29,8,8,8,0,56,0,23,21,0,9,21,0,166,8,0,21,21,0,126,21,0,169,21,0,155,8,8,0,57,0,23,21,0,9,21,0,166,8,0,21,21,0,127,21,0,169,21,0,72,8,8,0,58,21,0,128,21,0,11,21,0,109,8,0,21,21,0,128,8,0,59,31,0,150,0,21,31,0,52,8,0,60,0,23,21,0,9,21,0,166,8,0,21,15,116,8,0,61,31,0,171,0,21,31,0,170,8,3,42,21,0,164,21,0,168,8,22,0,172,11,14,15,117,22,0,173,11,14,15,118,22,0,174,11,14,15,119,21,0,10,15,120,8,22,0,175,11,14,0,36,21,0,8,21,0,109,7,0,21,0,25,21,0,12,21,0,93,8,8,0,37,21,0,108,0,21,0,23,21,0,9,21,0,166,8,8,0,38,21,0,8,21,0,93,7,0,21,21,0,95,8,0,39,21,0,101,0,21,0,23,21,0,9,21,0,166,8,8,0,40,21,0,95,0,21,0,23,21,0,9,21,0,166,8,8,0,50,0,2,21,0,93,9,0,21,0,23,21,0,9,21,0,166,8,8,0,45,21,0,8,21,0,93,7,0,21,21,0,95,8,0,44,21,0,6,21,0,109,0,24,19,21,0,93,21,0,8,21,0,109,7,19,0,21,21,0,110,21,0,9,21,0,95,8,21,0,110,9,8,0,41,21,0,7,0,24,7,21,0,109,21,0,108,19,0,21,0,23,21,0,9,21,0,166,8,8,3,18,21,0,164,21,0,168,8,22,0,176,11,14,15,121,0,62,21,0,176,0,63,15,122,0,64,15,123,0,65,15,124,0,66,15,125,21,0,9,15,126,8,3,10,21,0,164,21,0,7,21,0,168,7,8,7,22,0,177,11,14,0,24,15,127,21,0,154,0,23,0,29,3,2,19,21,0,63,15,128,7,21,0,71,21,0,11,0,32,8,31,0,32,0,67,7,3,2,19,21,0,29,21,0,99,7,9,3,2,21,0,156,0,0,21,0,107,0,27,19,8,22,0,178,11,14,15,129,15,130,0,68,21,0,175,0,69,15,131,0,70,15,132,0,71,21,0,7,0,23,21,0,9,21,0,166,8,7,15,133,15,134,3,2,21,0,156,21,0,107,21,0,11,0,23,8,8,3,2,21,0,156,21,0,5,21,0,9,21,0,15,8,8,0,72,15,135,0,73,15,136,15,137,21,0,5,3,2,21,0,156,21,0,6,8,21,0,6,21,0,9,21,0,178,8,19,0,74,15,138,3,14,31,0,164,21,0,7,21,0,168,7,8,7,7,22,0,179,11,14,15,139,22,0,180,11,14,15,140,21,0,126,21,0,11,0,24,8,21,0,5,21,0,155,21,0,9,31,0,172,8,9,21,0,7,21,0,7,0,23,7,0,5,0,170,19,7,21,0,5,21,0,29,31,0,175,7,9,31,0,180,31,0,177,31,0,179,3,6,21,0,156,21,0,6,8,21,0,155,19,9,22,0,181,11,14,15,141,31,0,181,21,0,7,0,23,7,0,5,0,171,19,3,3,21,0,129,0,27,0,24,0,25,3,3,17,21,0,156,0,0,8,22,0,182,11,14,15,142,22,0,183,11,14,0,52,0,53,0,62,0,68,0,69,0,73,0,74,0,72,0,75,3,9,0,47,0,46,0,76,3,3,0,51,0,54,0,57,0,60,0,77,0,78,0,61,3,5,0,79,0,55,0,56,0,58,0,59,0,80,0,81,3,7,3,6,21,0,63,21,0,160,7,16,15,143,16,22,0,184,11,14,21,0,108,21,0,109,21,0,101,21,0,93,31,0,94,31,0,95,21,0,97,21,0,98,21,0,96,21,0,110,21,0,99,21,0,100,21,0,102,21,0,103,21,0,104,21,0,105,21,0,107,21,0,106,21,0,71,21,0,72,21,0,6,21,0,5,31,0,160,21,0,143,21,0,142,21,0,125,21,0,126,21,0,127,31,0,131,21,0,130,21,0,128,31,0,151,21,0,129,21,0,48,21,0,49,21,0,154,21,0,155,21,0,145,31,0,162,21,0,146,31,0,163,21,0,144,0,5,21,0,7,21,0,8,21,0,88,21,0,63,21,0,173,31,0,183,21,0,29,21,0,121,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,161,0,21,21,0,156,21,0,139,31,0,138,21,0,159,0,22,3,63,15,144,16,25,0,23,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,145,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,146,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,83,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,147,15,148,3,2,21,1,4,21,0,6,21,1,22,0,23,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,24,0,7,21,0,6,17,8,7,16,0,18,15,149,7,16,14,21,0,8,25,21,1,22,0,18,0,12,0,7,0,24,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,30,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,150,19,25,15,151,0,12,21,0,1,21,1,30,21,1,0,7,16,19,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,3,8,8,7,16,25,21,0,1,21,1,34,0,24,17,22,0,3,11,21,1,29,0,8,7,0,24,17,22,0,4,11,14,21,0,4,0,17,16,0,15,31,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,31,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,152,22,0,2,11,14,15,153,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,31,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,31,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,154,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,155,15,156,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,38,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,41,21,0,2,17,25,21,0,1,0,18,21,1,22,21,1,11,0,23,8,7,21,1,29,0,8,7,0,24,19,21,1,10,0,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,23,21,0,3,3,2,15,157,3,2,21,1,4,0,23,0,12,31,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,158,22,0,8,11,14,21,0,4,0,12,21,1,11,0,23,8,21,1,13,21,0,1,8,9,31,0,8,3,2,0,16,21,0,6,0,12,0,24,17,0,7,0,24,17,17,25,21,0,1,0,14,21,1,10,21,1,42,8,21,0,2,17,22,0,3,11,14,31,0,3,21,1,29,21,1,43,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,44,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,23,21,1,8,31,0,4,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,86,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,34,0,24,17,21,1,29,0,8,7,0,24,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,23,22,0,9,11,22,0,10,11,14,21,0,8,0,23,0,18,21,1,15,7,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,0,6,21,1,22,0,26,17,0,8,0,24,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,159,8,8,16,0,7,0,24,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,160,21,0,4,7,3,2,21,1,4,31,0,11,8,16,0,1,0,23,17,25,21,0,1,22,0,2,11,14,21,1,22,21,1,11,0,23,8,21,1,13,15,161,8,25,21,0,2,0,12,16,21,1,8,0,7,7,0,24,17,22,0,5,11,14,21,0,5,0,13,0,23,17,0,5,0,87,17,14,21,0,1,0,12,16,0,13,21,0,5,17,0,5,0,88,17,14,21,0,1,21,1,20,16,22,0,1,12,14,21,0,2,21,1,34,0,24,17,22,0,6,11,21,1,29,0,8,7,0,24,17,22,0,7,11,14,0,23,21,1,43,21,0,2,0,15,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,27,16,0,24,0,24,21,1,12,0,7,21,1,9,0,17,8,8,0,18,0,8,21,1,11,21,0,7,8,21,1,9,0,6,21,1,11,31,0,7,8,21,1,12,21,1,7,0,23,7,0,13,31,0,8,19,8,8,7,9,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,16,0,5,0,89,17,14,21,0,1,0,12,16,21,1,8,0,7,7,31,0,5,17,22,0,9,11,14,21,0,1,21,1,34,21,0,9,17,22,0,10,11,14,21,0,10,21,1,42,21,0,6,17,22,0,11,11,14,31,0,11,21,1,29,21,1,43,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,7,0,23,7,0,13,31,0,12,21,1,11,0,8,21,1,11,31,0,6,21,1,29,0,8,7,0,24,17,8,8,19,22,0,13,11,14,31,0,9,0,17,16,0,18,21,0,1,0,14,16,21,1,12,0,16,8,7,16,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,0,8,21,1,11,31,0,10,21,1,29,0,8,7,0,24,17,8,7,16,0,18,15,162,21,1,11,21,0,2,21,1,27,16,8,7,16,0,1,0,23,17,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,15,163,8,16,0,1,0,23,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,34,0,24,17,22,0,4,11,21,1,29,0,8,7,0,24,17,22,0,5,11,14,31,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,0,15,31,0,4,17,17,25,21,0,1,21,1,14,16,21,1,167,16,14,21,0,1,0,12,16,21,1,22,0,23,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,24,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,31,0,3,0,17,16,0,18,31,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,92,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,0,7,21,1,11,0,24,0,7,31,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,93,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,23,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,31,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,94,17,14,21,0,1,21,1,27,16,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,23,8,8,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,95,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,15,164,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,37,21,1,11,21,0,1,21,1,45,21,1,44,21,1,8,21,1,44,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,96,17,14,21,0,1,21,1,27,16,21,1,22,0,23,17,0,5,0,97,17,14,21,0,1,21,1,36,0,23,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,98,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,24,17,0,5,0,99,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,24,17,0,5,0,100,17,14,21,0,1,21,1,37,21,1,11,0,18,21,1,5,21,1,23,0,23,19,0,8,31,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,23,17,0,23,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,24,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,24,8,21,1,8,0,16,7,31,0,3,19,21,0,0,9,8,7,0,24,19,3,2,21,1,4,0,13,21,1,11,0,25,8,8,16,25,21,0,1,15,165,21,1,6,21,1,61,9,21,1,13,15,166,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,27,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,62,21,1,38,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,68,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,65,8,0,7,0,24,19,21,1,13,15,167,8,22,0,9,11,14,21,1,5,0,20,15,168,8,22,0,10,11,14,31,0,8,31,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,31,0,10,8,21,1,7,21,0,5,7,21,1,182,9,15,169,9,3,2,21,1,4,21,1,65,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,31,0,4,31,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,8,25,21,1,7,21,1,64,7,22,0,5,11,14,21,1,53,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,23,0,14,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,170,22,0,7,11,14,21,1,1,0,23,0,16,21,1,11,0,25,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,23,8,0,12,0,30,19,8,9,22,0,8,11,14,15,171,22,0,9,11,14,21,0,9,0,24,7,22,0,10,11,14,31,0,9,0,23,7,22,0,11,11,14,15,172,22,0,12,11,14,15,173,22,0,13,11,14,15,174,22,0,14,11,14,0,0,21,1,21,0,27,19,21,1,13,21,0,14,21,1,65,7,8,22,0,15,11,14,31,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,31,0,11,21,1,11,0,24,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,24,8,31,0,12,9,21,0,10,21,1,11,0,24,8,31,0,13,9,31,0,10,21,1,11,0,24,8,21,0,16,15,175,15,176,3,3,21,1,4,21,1,7,0,27,7,0,7,0,0,19,8,3,7,7,0,16,21,1,184,19,15,177,21,1,5,19,22,0,17,11,14,21,1,1,21,1,82,21,1,11,0,24,8,21,1,5,0,16,0,23,19,31,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,178,21,1,12,21,1,67,8,21,1,5,0,16,0,23,19,31,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,27,21,1,5,0,25,3,2,21,1,4,0,13,21,1,11,0,25,8,8,3,2,21,1,4,0,13,21,1,11,0,23,8,8,8,8,0,16,21,1,11,0,23,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,23,21,0,7,0,29,8,3,2,21,1,29,15,179,7,16,0,23,21,1,64,3,2,21,1,1,21,1,37,0,24,0,27,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,63,21,1,69,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,24,17,25,21,0,2,0,16,0,24,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,23,17,8,25,21,0,1,0,15,16,0,18,21,1,70,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,23,17,0,6,0,24,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,72,21,1,10,21,0,2,8,19,8,8,21,1,74,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,23,19,8,25,21,0,1,0,15,16,0,16,0,23,17,21,1,72,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,72,21,1,71,21,0,3,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,102,17,14,21,0,3,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,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,27,7,16,21,1,50,16,0,18,15,180,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,72,7,16,22,0,5,11,14,21,0,5,0,16,0,23,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,103,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,104,17,14,15,181,22,0,8,11,14,21,0,1,21,1,72,16,22,0,9,11,14,0,24,22,0,10,11,14,0,23,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,63,15,182,7,21,0,9,21,1,53,16,21,0,8,0,8,7,0,24,17,21,1,53,16,17,14,21,1,63,15,183,31,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,184,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,107,17,14,31,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,31,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,110,21,1,35,31,0,2,17,21,1,35,0,109,17,22,0,5,11,14,0,111,22,0,6,11,14,0,112,22,0,7,11,14,15,185,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,31,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,23,21,1,12,21,1,22,8,21,1,13,0,31,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,31,8,7,3,2,21,1,4,21,0,1,21,1,22,0,23,17,8,16,25,21,0,1,14,0,6,21,1,25,0,23,19,0,17,9,0,7,21,1,25,0,23,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,115,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,23,17,0,5,0,116,17,14,21,0,3,21,1,21,0,24,17,0,5,0,117,17,14,21,0,1,21,1,34,0,24,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,72,16,7,0,16,31,0,3,0,7,0,24,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,118,17,14,31,0,4,21,1,29,0,8,7,0,24,17,25,21,0,1,21,1,83,21,0,2,17,22,0,3,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,31,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,4,8,8,7,16,0,15,21,0,1,21,1,72,16,17,25,21,0,1,21,1,83,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,31,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,31,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,31,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,6,8,8,7,16,0,15,21,0,1,21,1,72,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,115,17,14,21,0,1,21,1,34,0,24,17,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,24,17,0,5,0,119,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,21,1,5,0,20,15,186,8,8,21,0,2,17,25,21,0,1,0,29,21,1,119,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,187,15,188,3,2,21,1,4,21,1,6,21,1,9,21,1,71,21,1,22,21,0,2,19,8,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,126,17,14,21,0,1,21,1,48,16,22,0,5,11,14,21,0,1,21,1,27,16,0,17,16,0,18,0,24,21,1,5,21,0,1,0,12,21,1,22,0,24,19,21,1,13,21,1,88,21,1,22,7,8,16,21,1,37,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,72,8,0,24,21,1,12,0,7,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,7,16,21,0,4,21,0,5,17,21,1,37,31,0,5,21,1,90,16,17,0,1,0,23,17,25,21,0,2,21,1,93,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,23,21,0,2,16,19,8,25,21,0,2,21,1,105,16,21,1,106,0,24,17,0,5,0,130,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,110,16,22,0,4,11,21,1,29,21,1,108,7,0,23,17,22,0,5,11,14,21,0,5,21,1,106,0,24,17,0,5,0,131,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,104,16,22,0,7,11,14,21,0,3,21,1,5,21,1,29,21,1,101,7,0,24,19,15,189,3,2,21,1,4,31,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,104,21,0,8,17,21,1,13,21,1,5,0,20,15,190,8,8,16,0,15,21,0,3,17,25,15,191,22,0,3,11,14,15,192,22,0,4,11,14,21,0,1,21,0,3,31,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,105,16,21,1,106,0,24,17,0,5,0,137,17,14,21,0,1,21,1,114,16,22,0,1,12,14,21,0,1,21,1,104,16,0,27,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,24,8,19,16,0,5,0,138,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,139,17,14,21,0,1,25,21,0,1,21,1,9,21,1,116,8,21,1,5,21,1,9,21,1,102,8,21,1,63,0,16,7,21,1,104,21,1,12,21,1,8,21,1,96,21,1,108,0,24,19,21,1,109,21,1,6,19,7,8,19,0,24,0,23,3,2,0,21,0,25,3,1,8,19,25,21,0,1,21,1,117,21,0,5,7,21,0,2,17,22,0,6,11,21,1,103,0,23,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,193,22,0,9,11,14,21,0,1,21,0,9,31,0,6,7,21,0,2,17,25,21,0,1,21,1,117,21,0,5,7,21,1,63,21,1,109,21,1,12,21,1,97,8,21,1,109,21,1,98,0,23,19,3,2,21,1,4,21,1,5,21,1,107,0,23,19,8,7,21,1,105,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,194,22,0,7,11,14,21,1,5,21,1,102,9,21,0,7,21,1,5,0,18,21,1,102,7,9,3,3,21,1,4,21,1,105,21,1,12,21,1,106,8,21,1,108,0,24,19,21,1,101,0,23,21,1,12,21,1,103,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,104,21,1,8,21,1,109,7,0,24,19,8,16,17,21,1,63,21,0,4,7,21,0,2,31,0,7,31,0,6,0,16,0,23,17,17,17,21,1,103,16,25,21,0,1,21,1,105,16,21,1,107,0,24,17,0,5,0,140,17,14,21,0,4,22,0,5,11,14,15,195,22,0,6,11,14,21,0,1,31,0,6,15,196,3,2,21,1,4,0,24,0,21,21,1,104,21,1,102,0,23,19,8,8,21,0,2,17,25,21,0,1,21,1,72,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,104,7,16,22,0,4,11,21,1,29,21,1,98,7,0,24,17,22,0,5,11,14,21,0,4,21,1,109,21,0,5,17,21,1,106,0,24,17,21,1,29,21,1,99,7,0,24,17,0,5,0,142,17,14,21,0,3,21,1,63,21,1,37,21,1,11,0,24,21,1,109,21,0,5,17,0,17,16,21,1,12,21,1,108,8,8,7,21,0,5,21,1,110,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,71,7,16,0,5,0,143,17,14,31,0,3,21,1,63,0,24,21,1,5,0,16,0,23,19,3,2,21,1,4,21,1,6,8,7,31,0,4,21,1,105,31,0,5,17,17,21,1,29,21,1,108,7,0,23,17,22,0,7,11,14,21,0,1,21,1,114,21,1,10,21,1,35,8,21,0,2,17,21,1,114,31,0,6,0,16,0,23,17,21,1,35,31,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,114,0,16,0,23,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,91,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,37,21,0,1,21,1,104,16,21,1,101,21,0,3,17,0,17,16,0,19,21,1,8,15,197,21,1,13,15,198,8,7,7,16,17,25,21,0,1,21,1,104,21,1,10,21,1,105,8,21,0,2,17,0,5,0,144,17,14,21,0,1,21,1,123,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,145,17,14,21,0,1,21,1,107,0,29,17,21,1,29,21,1,99,7,0,24,17,0,5,0,146,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,23,8,21,1,13,21,1,5,15,199,21,1,104,21,1,12,21,1,8,21,1,109,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,23,22,0,8,11,14,31,0,6,0,18,21,1,127,21,1,9,0,18,15,200,7,8,21,0,4,9,7,16,25,21,0,1,21,1,105,16,21,1,105,0,24,17,0,5,0,147,17,14,21,1,132,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,23,21,1,9,21,1,127,8,19,0,18,15,201,7,21,1,29,0,18,0,18,21,1,35,7,7,7,3,0,21,1,102,16,21,1,102,16,19,0,1,0,18,0,23,7,3,0,21,1,12,21,1,114,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,71,21,1,102,0,24,19,8,16,25,21,0,1,21,1,14,16,0,5,0,148,17,14,21,0,2,21,1,71,21,1,103,0,25,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,105,16,21,1,105,0,24,17,0,5,0,149,17,14,21,0,2,0,18,21,1,105,7,16,22,0,3,11,21,1,29,21,1,108,7,0,23,17,22,0,4,11,14,21,0,1,21,1,105,16,21,1,107,21,0,4,17,0,5,0,150,17,14,21,0,1,21,1,72,16,21,1,125,21,0,4,17,21,1,109,21,0,2,0,18,21,1,72,7,16,21,1,79,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,105,0,24,17,21,1,129,21,0,3,17,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,23,8,19,16,21,1,29,21,1,99,7,0,24,17,0,5,0,151,17,14,0,23,3,1,21,1,35,31,0,5,17,21,1,37,21,0,3,0,19,21,1,108,7,16,21,1,130,0,23,17,17,21,1,97,31,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,114,7,16,22,0,2,12,0,18,21,1,104,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,113,21,0,1,21,1,34,31,0,4,17,21,1,12,21,1,35,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,101,7,0,24,17,3,1,21,0,8,16,21,1,12,21,1,37,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,23,8,21,1,10,21,1,132,21,0,9,7,8,21,1,63,21,1,132,21,1,5,7,7,21,1,101,31,0,7,21,1,128,16,21,1,130,0,24,17,0,19,21,1,101,7,16,21,1,128,16,19,21,1,29,0,18,0,18,21,1,108,7,7,7,9,0,18,31,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,104,8,21,1,104,0,24,19,8,31,0,6,17,0,1,21,0,2,0,18,0,23,7,16,31,0,8,16,17,25,21,0,2,21,1,105,16,21,1,105,0,24,17,0,5,0,152,17,14,21,0,1,21,1,72,16,22,0,3,11,21,1,104,21,1,10,21,1,105,8,21,0,2,17,0,5,0,153,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,154,17,14,21,0,3,21,1,102,21,1,99,21,1,109,21,1,12,21,1,106,8,19,21,0,2,17,21,1,29,21,1,99,7,0,24,17,0,5,0,155,17,14,0,23,21,1,102,21,0,2,17,21,1,101,21,0,3,17,21,1,108,21,0,2,17,22,0,2,12,14,21,0,2,21,1,104,16,21,1,110,21,1,11,21,1,127,8,16,21,1,109,16,21,1,29,21,1,5,21,1,101,31,0,3,21,1,12,0,16,8,19,21,1,108,21,0,2,21,1,12,0,16,8,19,7,0,23,17,21,1,8,0,16,7,21,0,1,21,1,114,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,136,8,7,16,25,21,0,1,22,0,2,11,14,21,1,121,21,1,99,7,21,1,110,9,0,19,21,1,99,7,21,1,121,21,1,108,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,202,0,1,0,23,19,25,21,0,2,21,1,105,16,22,0,3,11,14,21,0,1,21,1,105,16,21,1,107,21,0,3,17,0,5,0,158,17,14,21,0,1,21,0,3,21,1,139,21,1,127,21,1,11,21,0,2,21,1,72,16,21,1,97,21,0,1,21,1,72,16,21,1,125,21,1,11,21,1,109,8,21,0,3,17,21,1,108,0,24,17,17,8,8,16,31,0,3,21,1,139,21,1,71,8,21,0,2,17,0,1,0,23,17,25,21,0,2,21,1,105,16,21,1,106,0,24,17,0,5,0,159,17,14,21,0,1,21,1,72,16,21,1,104,21,1,10,21,1,107,8,21,0,2,17,0,5,0,160,17,14,21,0,2,21,1,114,16,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,161,17,25,21,0,1,21,1,72,16,21,1,144,21,0,2,17,0,18,21,1,29,21,1,97,7,7,16,21,1,127,16,0,18,21,1,7,21,0,1,7,21,1,137,21,1,37,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,114,16,22,0,2,12,14,21,0,2,21,1,146,16,21,1,110,16,21,1,29,21,1,108,7,0,23,17,21,1,109,21,0,1,21,1,105,16,17,22,0,3,11,14,21,0,3,21,1,102,21,0,2,17,21,1,29,21,1,99,7,0,24,17,0,5,0,162,17,14,21,0,1,21,1,148,31,0,3,21,1,127,16,21,1,5,21,1,129,21,1,8,21,1,146,21,1,9,21,1,110,8,7,19,21,0,2,17,21,1,143,21,0,2,17,17,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,114,16,22,0,2,12,14,21,0,1,21,1,105,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,102,8,21,1,99,21,1,146,19,16,21,1,29,21,1,99,7,0,24,17,21,1,166,16,14,21,0,1,21,1,148,31,0,3,21,1,127,16,21,1,5,21,1,129,21,1,8,21,1,146,21,1,9,21,1,110,8,7,19,21,0,2,17,21,1,143,21,0,2,17,21,1,90,16,17,25,21,0,2,21,1,105,16,21,1,8,21,1,109,7,0,24,17,22,0,3,11,14,21,0,3,21,1,107,0,23,17,0,5,0,163,17,14,21,0,1,21,1,105,16,21,1,107,31,0,3,17,0,5,0,164,17,14,21,0,1,21,1,145,21,1,11,21,0,2,8,21,1,114,21,1,9,21,1,104,21,1,102,0,23,19,21,1,13,21,1,152,21,1,12,21,1,88,21,1,142,7,8,8,8,21,1,114,21,1,7,0,25,7,21,1,143,21,1,72,19,19,9,21,1,10,21,1,145,8,21,0,2,17,25,21,0,1,15,203,21,0,5,21,1,155,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,182,16,25,21,0,4,22,0,6,11,14,0,23,15,204,0,21,21,1,7,15,205,7,8,21,0,2,17,22,0,7,11,14,21,0,1,21,0,5,21,0,2,17,22,0,8,11,14,15,206,22,0,9,11,14,21,0,1,31,0,9,15,207,3,2,21,1,156,21,0,8,21,1,16,16,8,16,25,0,25,21,1,93,21,0,2,21,1,104,16,17,21,1,127,16,21,1,101,0,25,17,22,0,3,11,14,21,0,1,21,1,102,16,21,1,143,21,0,2,21,1,154,21,0,3,21,1,108,0,24,17,17,17,21,1,31,21,0,2,21,1,154,31,0,3,17,8,25,0,23,21,0,1,16,25,21,0,1,21,0,4,21,0,2,17,22,0,6,11,14,21,0,6,21,0,5,21,0,2,17,21,1,71,21,0,1,17,21,1,167,16,14,31,0,6,25,21,0,1,21,1,71,16,21,1,105,0,25,17,21,1,166,16,14,21,0,1,0,18,21,1,105,7,16,21,1,105,0,24,17,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,1,21,1,143,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,1,21,1,63,21,1,130,7,0,29,17,21,1,143,16,21,1,103,21,0,3,17,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,3,0,3,16,22,0,4,11,14,0,24,21,1,107,21,0,4,17,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,31,0,4,21,1,110,16,21,1,129,16,22,0,5,11,14,21,0,5,21,1,63,0,29,7,16,21,1,143,21,0,1,21,1,63,21,1,104,7,16,21,1,129,16,17,21,1,154,31,0,5,21,1,143,31,0,3,17,21,1,48,16,17,25,21,0,2,21,1,105,16,21,1,105,0,24,17,21,1,166,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,166,16,14,21,0,2,21,1,144,16,22,0,3,11,14,21,0,1,21,1,63,21,1,104,7,21,1,10,21,1,71,8,21,0,3,17,21,1,167,16,14,21,0,1,21,1,143,21,1,10,21,1,154,21,1,11,21,1,48,8,8,31,0,3,17,25,21,0,1,21,1,14,16,21,1,167,16,14,21,0,1,21,1,105,16,21,1,105,0,23,17,21,1,167,16,14,21,0,1,21,1,155,16,25,21,0,2,21,1,105,21,1,10,21,1,109,8,21,0,1,17,22,0,3,11,14,21,0,3,0,24,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,23,8,19,16,21,1,167,16,14,21,0,2,0,24,21,1,104,3,2,21,1,156,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,104,16,21,1,107,21,0,4,17,21,1,167,16,14,21,0,1,21,1,154,21,1,125,21,1,11,21,0,4,8,3,2,21,1,156,31,0,3,8,16,21,1,71,21,0,2,17,21,1,167,16,14,21,0,1,21,1,126,31,0,4,17,25,21,0,1,21,1,104,16,21,1,105,0,25,17,21,1,167,16,14,21,0,1,21,1,154,16,21,1,71,21,0,2,17,21,1,167,16,14,21,0,1,21,1,154,0,24,17,25,21,0,1,21,1,104,16,21,1,105,0,24,17,21,1,167,16,14,21,0,1,21,1,154,16,25,21,0,1,21,1,105,16,21,1,105,0,24,17,21,1,166,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,166,16,14,21,0,1,21,1,126,21,1,11,0,24,8,21,1,107,21,1,126,21,1,11,0,29,8,19,21,1,29,21,1,99,7,0,24,19,16,21,1,167,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,62,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,182,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,155,21,1,11,0,24,8,21,0,1,21,1,12,15,208,8,21,1,155,21,1,11,0,23,8,19,25,21,1,5,21,1,9,21,1,71,8,21,1,102,0,23,19,21,1,167,9,21,1,6,21,1,63,21,1,157,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,71,8,21,1,102,0,23,19,21,1,167,9,21,1,6,0,23,21,1,9,21,1,166,8,0,21,21,1,173,21,1,157,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,105,8,21,1,102,0,23,19,21,1,167,9,21,1,6,21,1,88,21,1,157,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,167,8,8,9,7,19,25,21,1,63,21,1,157,21,0,1,7,7,25,21,1,5,21,1,9,21,1,105,8,21,1,102,0,23,19,21,1,167,9,21,1,6,21,1,5,21,0,1,21,1,130,19,0,21,21,1,104,21,1,102,0,24,19,21,1,159,21,1,126,21,1,11,0,24,8,21,0,1,21,1,126,21,1,11,0,29,8,19,21,1,143,21,1,154,19,8,8,19,25,21,0,1,21,1,1,16,25,21,0,1,21,0,2,16,25,21,1,155,21,1,11,0,24,8,21,0,1,21,1,12,15,209,8,21,1,154,21,1,11,0,23,0,25,3,2,8,19,25,21,0,1,21,1,7,15,210,7,3,2,21,1,156,21,1,105,21,1,11,21,1,7,21,1,174,7,8,8,25,21,1,157,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,31,0,3,8,21,1,157,21,0,1,7,9,25,21,0,1,21,1,161,21,1,157,21,0,2,7,8,25,21,0,1,21,1,159,21,0,2,8,21,1,169,21,0,1,21,1,109,16,21,1,159,21,0,2,8,8,25,21,0,1,21,1,109,16,21,1,159,21,0,2,8,25,21,1,157,21,0,1,7,0,21,21,1,157,21,0,2,7,8,25,21,1,157,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,168,8,25,21,1,157,21,0,2,7,21,1,157,21,0,1,7,9,0,21,21,0,1,21,1,7,0,23,21,1,9,21,1,166,8,7,15,211,3,2,21,1,156,21,1,5,21,1,9,21,1,178,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,178,21,1,110,9,22,0,6,11,14,31,0,5,15,212,15,213,21,1,7,21,1,168,7,3,2,21,1,156,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,156,21,1,6,21,1,9,31,0,6,8,8,31,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,71,21,1,9,21,1,167,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,182,16,21,1,5,15,214,3,2,21,1,156,0,23,21,1,5,21,1,9,21,1,1,8,21,1,154,0,23,0,34,3,2,19,21,1,72,0,30,21,1,174,3,2,19,3,2,21,1,156,21,1,72,21,1,11,21,1,7,21,1,168,7,8,21,1,99,21,1,72,19,8,8,21,0,1,17,25,21,0,1,21,1,63,21,1,104,7,16,21,1,104,21,1,143,21,1,129,19,16,21,1,31,21,0,1,21,1,143,16,8,25,21,1,102,21,1,145,21,0,1,19,21,1,155,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,165,16,25,0,24,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,1,21,2,2,16,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,84,17,14,21,0,5,21,2,29,0,8,7,0,24,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,31,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,31,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,85,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,31,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,24,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,31,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,31,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,31,0,9,21,2,27,16,17,0,15,16,0,15,31,0,7,17,25,21,0,1,21,2,39,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,215,21,0,2,7,7,16,25,21,0,2,0,18,15,216,21,0,1,7,7,16,25,21,2,18,0,16,21,2,21,19,21,2,18,21,2,40,19,22,0,3,11,14,21,0,1,21,2,27,21,2,10,21,0,3,8,21,0,2,17,22,0,4,22,0,5,4,2,11,14,21,0,1,21,2,37,21,2,11,21,2,27,21,2,63,0,6,7,21,0,5,0,17,16,0,18,0,6,21,2,11,0,24,8,0,7,9,7,16,19,8,21,2,10,15,217,8,21,0,2,17,22,0,6,11,14,31,0,6,21,0,4,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,218,21,1,7,3,2,21,2,4,0,12,21,2,11,21,1,6,8,8,22,0,5,11,14,0,23,21,0,5,16,25,21,1,6,0,8,0,25,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,23,7,21,2,23,0,23,21,2,43,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,23,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,25,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,24,19,0,7,31,0,7,19,0,10,0,25,19,7,16,21,2,29,15,219,7,21,1,6,0,17,16,17,25,15,220,22,0,3,11,14,0,29,21,0,3,0,24,0,6,21,0,1,17,17,0,6,0,24,17,25,21,0,2,21,2,46,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,24,17,0,5,0,91,17,14,0,24,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,23,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,23,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,31,0,3,21,0,5,16,0,17,16,0,18,15,221,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,111,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,63,0,12,7,8,21,2,29,0,8,7,0,24,19,3,3,21,2,29,15,222,7,16,22,0,3,11,14,15,223,22,0,4,11,14,21,2,18,21,0,4,15,224,3,2,21,2,4,21,2,5,21,2,9,21,2,29,31,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,23,19,21,2,14,9,8,22,0,5,11,14,0,23,22,0,6,11,14,21,0,1,15,225,16,14,21,0,1,21,0,2,3,2,21,0,5,0,23,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,226,7,16,22,0,8,11,14,31,0,8,31,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,64,7,8,16,25,15,227,21,2,11,21,0,2,8,22,0,3,11,14,15,228,22,0,4,11,14,15,229,21,2,11,0,23,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,23,19,0,16,0,24,19,31,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,31,0,8,19,21,2,13,15,230,21,2,9,21,1,6,8,8,16,31,0,7,21,0,2,17,22,0,10,11,14,31,0,10,31,0,9,21,2,13,15,231,8,16,25,21,0,1,15,232,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,24,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,233,25,21,0,1,22,0,3,11,14,15,234,25,21,0,2,21,0,1,16,25,21,0,1,21,2,63,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,24,19,21,2,13,15,235,8,16,14,21,1,5,0,16,0,24,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,236,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,31,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,63,0,12,7,31,0,5,17,21,2,29,0,8,7,0,24,17,0,5,0,105,17,14,21,0,6,21,2,50,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,23,17,21,2,37,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,31,0,8,0,18,21,2,5,7,21,1,12,17,21,2,63,0,6,7,21,0,7,0,18,31,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,31,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,31,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,37,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,23,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,31,0,3,21,2,63,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,24,17,0,5,0,106,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,31,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,31,0,6,0,18,0,6,21,2,11,0,8,21,2,11,31,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,24,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,72,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,237,8,21,0,3,17,22,0,4,11,14,15,238,22,0,5,11,14,0,23,21,2,22,16,22,0,6,11,14,0,24,22,0,7,11,14,15,239,22,0,8,11,14,0,23,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,240,21,1,4,15,241,7,31,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,242,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,23,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,120,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,121,17,14,21,0,1,21,2,72,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,24,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,23,8,7,16,21,2,29,0,8,7,16,0,5,0,122,17,14,21,0,3,21,2,37,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,24,17,22,0,6,11,14,0,24,0,7,21,1,3,17,15,243,16,21,2,35,21,0,6,3,1,17,0,19,0,8,7,16,21,2,53,16,22,0,7,11,14,21,0,2,21,2,5,21,2,63,15,244,7,31,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,31,0,4,17,0,24,21,2,12,0,12,8,0,7,0,24,19,21,2,13,21,2,8,0,17,0,15,31,0,5,19,21,2,12,0,18,0,6,7,8,7,8,31,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,123,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,0,124,17,14,21,0,1,21,2,72,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,125,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,23,17,21,2,13,15,245,8,0,23,17,25,21,0,1,21,2,63,21,2,5,0,24,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,101,7,0,24,17,22,0,3,11,14,21,0,3,21,2,102,0,23,17,0,5,0,132,17,14,21,1,4,21,2,104,16,0,17,16,21,2,101,21,1,4,17,21,2,29,21,2,108,7,0,23,17,22,0,4,11,14,21,1,3,0,16,31,0,4,17,21,2,112,16,22,0,5,11,14,0,32,21,2,102,21,0,5,17,0,5,0,133,17,14,21,2,105,21,2,11,21,2,97,8,0,5,0,134,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,93,21,1,7,17,31,0,6,21,2,97,21,2,98,3,3,21,2,4,21,0,5,21,2,97,0,25,17,8,16,22,0,7,11,14,21,1,3,21,2,63,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,31,0,7,21,2,101,31,0,3,17,31,0,5,21,2,105,0,27,17,21,2,13,21,2,102,21,2,11,21,1,7,8,21,2,13,15,246,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,102,8,8,15,247,3,2,21,2,4,21,1,7,21,2,102,0,23,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,135,17,14,21,0,1,0,17,16,25,21,0,1,21,2,105,16,21,2,105,0,24,17,0,5,0,136,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,35,21,2,11,21,2,114,8,7,7,3,0,21,2,102,16,17,0,1,21,0,1,0,18,0,23,7,16,17,25,21,1,9,21,1,7,21,2,108,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,63,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,31,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,71,21,2,10,21,2,18,8,21,2,106,21,0,4,21,2,98,0,23,17,19,21,2,100,0,23,21,2,106,21,0,4,17,21,2,99,21,1,7,17,19,21,2,113,0,25,19,21,2,29,21,2,108,21,2,11,0,25,21,2,12,21,2,101,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,72,16,21,2,37,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,34,21,0,2,17,22,0,4,11,21,2,29,21,2,101,7,0,24,17,22,0,5,11,14,21,0,5,0,17,16,21,2,114,31,0,4,17,22,0,6,11,14,21,0,1,15,248,0,20,21,2,7,21,0,3,21,2,29,21,2,101,7,0,24,17,0,17,16,0,18,21,2,5,21,2,101,31,0,5,19,21,2,108,21,0,6,19,21,2,8,21,2,37,7,21,0,1,21,2,114,16,19,7,16,21,2,114,31,0,3,17,7,8,16,25,21,0,1,21,2,72,16,21,2,82,0,24,17,22,0,3,11,14,15,249,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,114,31,0,4,19,21,2,165,21,2,12,21,2,113,8,3,2,21,2,4,21,2,5,21,2,9,21,2,33,21,2,9,21,2,110,8,8,8,31,0,3,17,25,21,0,1,21,2,88,21,2,102,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,105,21,1,4,17,25,21,1,3,21,2,108,22,1,4,13,14,21,0,1,21,2,108,0,24,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,125,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,24,21,2,108,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,114,16,21,1,3,16,0,18,21,0,1,21,2,72,16,21,2,127,16,21,2,114,16,21,2,12,21,2,37,8,7,16,25,21,0,2,21,2,105,16,21,2,8,21,2,109,7,0,24,17,22,0,3,11,14,21,0,3,21,2,107,0,23,17,0,5,0,156,17,14,21,0,1,21,2,105,16,21,2,107,21,0,3,17,0,5,0,157,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,139,0,23,8,8,21,2,5,21,0,3,21,2,139,21,2,102,8,3,2,21,2,4,21,0,3,21,2,102,0,23,17,8,21,2,10,0,18,21,2,72,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,104,16,21,2,102,0,23,17,8,15,250,3,2,21,2,4,21,2,114,21,2,9,21,2,104,8,21,2,102,0,28,19,21,2,10,21,2,99,8,8,21,0,2,17,25,21,0,1,25,15,251,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,0,23,22,0,3,11,22,0,4,11,14,21,1,8,21,2,39,15,252,7,16,14,21,0,1,3,1,22,0,5,11,14,15,253,21,2,11,21,1,7,8,22,0,6,11,14,21,0,3,21,0,6,21,1,6,17,22,0,7,11,14,21,0,4,21,2,109,16,21,0,5,31,0,6,21,2,11,21,2,182,8,3,2,21,2,156,21,2,102,21,2,11,0,23,8,8,21,1,6,17,22,0,8,11,14,21,1,8,21,2,39,21,2,7,31,0,7,31,0,8,3,2,7,21,2,155,0,23,21,2,12,21,2,102,8,19,21,2,155,21,2,96,19,7,16,25,21,1,8,21,2,127,16,21,2,29,21,2,5,21,2,9,21,1,6,21,1,7,16,8,7,21,0,1,17,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,174,21,0,1,8,25,21,2,5,15,254,21,0,2,7,21,0,1,19,25,21,2,5,21,2,157,21,1,4,7,21,0,2,19,15,255,21,2,157,21,0,1,7,8,25,21,2,5,15,256,21,1,4,7,21,0,1,19,21,2,157,21,0,2,7,9,25,21,0,1,21,2,169,21,0,2,8,21,2,174,21,0,1,8,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,1,21,3,63,0,12,7,21,0,2,17,0,19,0,8,7,16,21,3,29,0,6,7,0,23,17,22,0,3,11,14,21,0,2,21,3,37,21,3,11,0,17,8,21,0,3,17,21,3,29,0,8,7,0,24,17,22,0,4,11,14,31,0,3,21,3,23,21,3,11,21,1,5,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,63,0,16,7,8,21,3,9,15,257,8,8,16,14,21,0,4,25,21,1,4,0,6,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,0,12,21,3,11,0,23,8,21,3,13,21,0,1,0,6,0,24,17,21,3,9,21,1,5,8,8,16,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,23,22,0,5,11,22,0,6,11,22,0,7,11,14,0,27,22,0,8,11,14,21,0,1,0,24,0,12,21,2,7,17,0,7,0,24,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,23,0,24,0,25,3,4,22,0,10,11,14,0,6,15,258,3,2,0,16,21,0,3,0,13,0,28,17,17,22,0,11,11,14,15,259,22,0,12,11,14,15,260,15,261,31,0,12,3,3,21,3,4,15,262,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,263,8,7,16,25,21,0,1,0,24,21,3,12,21,3,23,8,21,3,13,15,264,8,21,0,2,17,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,265,8,16,25,0,23,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,23,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,63,0,15,7,16,22,0,4,11,0,16,0,23,17,21,3,27,16,22,0,5,11,14,0,29,22,0,6,11,14,31,0,4,21,3,12,21,3,63,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,266,25,21,0,1,15,267,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,1,7,12,14,31,0,4,25,21,0,1,21,3,14,0,7,0,24,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,24,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,23,8,7,16,22,0,5,11,14,21,0,5,0,23,21,3,45,21,3,40,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,24,19,7,16,22,0,7,11,14,21,3,7,31,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,31,0,6,21,3,27,16,8,8,22,0,8,11,14,0,23,22,0,9,11,21,0,8,16,22,0,10,11,14,31,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,268,3,2,21,3,4,15,269,8,7,16,0,15,31,0,3,17,25,21,0,1,21,3,63,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,35,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,23,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,23,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,31,0,3,25,21,0,1,21,3,35,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,24,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,24,21,3,12,0,12,8,0,7,0,24,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,24,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,24,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,35,22,1,10,13,14,31,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,24,8,0,7,0,24,19,21,3,13,15,270,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,271,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,24,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,88,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,109,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,35,22,2,6,13,14,21,2,7,25,21,0,1,21,3,96,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,102,16,7,16,25,21,0,2,21,3,104,16,21,3,102,0,23,17,0,5,0,141,17,14,21,0,2,21,3,104,16,0,17,16,21,3,102,0,23,17,21,3,101,21,0,2,17,25,21,0,2,21,3,49,16,21,3,128,16,22,0,3,11,14,21,0,1,21,3,48,21,0,2,21,3,37,21,0,3,17,17,21,3,8,21,3,109,7,0,24,17,21,3,98,0,23,17,21,3,8,21,3,37,7,31,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,139,21,3,71,8,21,0,2,21,3,37,21,0,4,17,17,21,2,2,21,3,13,21,3,101,21,3,11,21,3,109,21,3,11,31,0,4,8,8,21,3,108,21,3,6,19,8,21,0,2,21,3,104,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,3,15,16,0,5,0,165,17,14,21,0,1,21,3,97,21,1,4,17,22,1,4,12,14,21,0,1,21,3,98,21,1,3,17,22,1,3,12,25,21,0,1,21,3,127,16,21,3,143,21,1,5,17,0,19,21,0,2,7,16,25,21,0,1,21,3,176,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,3,176,16,25,21,0,1,21,4,29,21,2,3,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,2,4,12,14,31,0,4,0,8,22,1,4,13,25,21,0,1,21,1,8,0,7,0,24,17,21,4,13,21,1,9,0,7,0,24,19,21,4,13,15,272,8,8,0,24,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,24,17,22,1,4,12,0,12,21,1,6,17,0,8,0,25,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,24,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,25,0,9,21,0,2,17,21,4,24,16,22,0,3,11,0,6,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,31,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,3,0,8,0,25,17,0,7,21,0,2,17,0,8,31,0,5,17,0,6,31,0,3,17,17,25,0,24,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,0,24,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,23,31,0,3,16,25,21,0,1,14,0,24,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,23,15,273,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,23,8,8,22,1,4,12,25,21,0,1,14,0,25,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,24,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,274,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,69,21,2,3,17,0,5,0,101,17,25]
- ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','√','<','⊢','⊣','≍','↑','↓','↕','⌽','⍉','/','⊔','˜','¨','⌜','˘','`','˙','∘','○','⌾','⍟','⊘','⊸','⟜','◶','≢','»','«','⥊','⊏','⊑',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟⎊%"),str("´: 𝕩 must be a list"),str("Mapping: Equal-rank argument shapes don\'t agree"),str("Mapping: Argument shape prefixes don\'t agree"),str("⍋𝕩: 𝕩 must have rank at least 1"),str("⍋ or ⍒: Rank of 𝕨 must be at least 1"),str("⍋ or ⍒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍋ or ⍒: 𝕨 must be sorted"),str("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("≥: No monadic form"),str("≤: No monadic form"),str("∘⌊⌽↑"),str("𝕨⥊𝕩: 𝕨 must have rank at most 1"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers"),str("𝕨⥊𝕩: Can\'t compute axis length when rest of shape is empty"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑"),str("𝕨⥊𝕩: Shape must be exact when reshaping with ∘"),str("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),str("p⊐𝕩 or 𝕨∊p: p must have rank at least 1"),str("p⊐n or n∊p: Rank of n must be at least cell rank of p"),str("⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must have rank at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨𝔾𝕩 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")])
- ,[[0,1,0,185],[0,0,4099,3],[0,0,4107,3],[0,0,4111,3],[2,0,4124,6],[0,0,4151,3],[0,0,4155,3],[0,0,4159,3],[1,0,4163,5],[1,0,4171,5],[2,0,4189,6],[2,0,4204,6],[2,0,4223,6],[2,0,4245,6],[2,0,4267,6],[0,0,4299,3],[0,0,4311,3],[0,0,4320,3],[0,0,4326,3],[0,0,4343,3],[0,0,4352,3],[1,0,4361,9],[1,1,4474,2],[2,1,4505,3],[1,1,4539,2],[0,0,4556,3],[0,0,4596,4],[0,0,4672,5],[0,0,4747,3],[1,1,4764,4],[1,1,4837,3],[0,0,4915,3],[0,0,4926,4],[1,0,4996,9],[0,0,5068,5],[2,0,5152,12],[1,1,5363,3],[1,0,5387,14],[0,0,5839,4],[0,0,5893,6],[0,0,5983,3],[0,0,6008,7],[0,0,6137,4],[0,0,6198,4],[0,0,6311,3],[0,0,6379,4],[1,1,6456,2],[0,0,6489,3],[0,0,6539,4],[0,0,6681,4],[2,1,6782,3],[1,0,6825,5],[0,0,6863,3],[2,0,6867,11],[0,0,6998,3],[0,0,7006,6],[0,0,7033,5],[0,0,7054,6],[1,0,7081,19],[0,0,7590,3],[0,0,7617,3],[0,0,7643,3],[2,1,7682,3],[0,0,7751,4],[0,0,7848,7],[0,0,7895,14],[0,0,8129,5],[1,1,8226,8],[1,0,8279,6],[1,1,8387,2],[0,0,8445,5],[0,0,8607,5],[0,0,8744,7],[0,0,8913,3],[0,0,8972,4],[1,0,9039,5],[2,1,9056,4],[1,0,9099,6],[0,0,9238,3],[0,0,9265,3],[0,0,9287,3],[0,0,9309,3],[0,0,9328,9],[0,0,9493,5],[0,0,9527,3],[1,1,9624,2],[2,0,9693,10],[2,0,9752,8],[1,0,9945,7],[0,0,10012,8],[0,0,10252,5],[0,0,10342,3],[1,0,10376,9],[0,0,10531,4],[0,0,10650,10],[0,0,11114,4],[0,0,11331,3],[1,1,11349,4],[0,0,11403,4],[0,0,11511,3],[0,0,11587,3],[0,0,11642,4],[0,0,11775,4],[0,0,11897,4],[2,0,12031,6],[1,1,12059,2],[2,0,12067,10],[2,1,12142,4],[0,0,12212,3],[2,0,12219,7],[0,0,12260,6],[0,0,12484,4],[0,0,12590,3],[0,0,12628,5],[0,0,12772,3],[0,0,12819,3],[0,0,12845,3],[1,0,12936,5],[2,0,12964,6],[0,0,12979,3],[0,0,12987,3],[1,1,13008,2],[0,0,13037,3],[0,0,13073,3],[0,0,13121,3],[0,0,13175,3],[0,0,13187,3],[0,0,13267,3],[0,0,13275,3],[1,1,13283,2],[1,1,13316,2],[0,0,13346,4],[0,0,13383,3],[0,0,13398,3],[0,0,13427,3],[0,0,13442,3],[0,0,13460,3],[0,0,13475,3],[0,0,13485,3],[0,0,13542,7],[0,0,13621,3],[0,0,13629,3],[1,1,13654,2],[0,0,13737,3],[0,0,13771,3],[1,1,13799,2],[1,1,13803,2],[0,0,13807,3],[0,0,13819,3],[0,0,13842,3],[0,0,13863,3],[0,0,13871,3],[1,0,13879,6],[1,0,13996,11],[1,0,14217,5],[0,0,14232,3],[0,0,14246,3],[0,0,14260,7],[0,0,14373,6],[0,0,14421,3],[1,0,14466,8],[0,0,14604,4],[0,0,14631,3],[0,0,14650,8],[0,0,14817,3],[0,0,14843,3],[0,0,14853,3],[0,0,14870,9],[0,0,15053,6],[0,0,15128,3],[2,0,15136,11],[1,0,15213,5],[0,0,15244,3],[0,0,15254,3],[1,0,15264,5],[0,0,15297,4],[0,0,15308,4],[0,0,15319,3],[0,0,15327,3],[0,0,15339,3],[0,0,15347,3],[1,0,15391,7],[0,0,15417,9],[1,0,15703,5],[0,0,15719,7],[0,0,15886,11],[0,0,16128,8],[0,0,16440,3],[0,0,16468,5],[0,0,16563,8],[0,0,16822,3],[0,0,16869,3],[0,0,16889,3],[1,0,16955,6],[0,0,17108,7],[0,0,17250,5],[0,0,17330,3],[0,0,17353,3],[0,0,17364,3],[0,0,17385,3],[0,0,17417,3],[0,0,17448,3],[0,0,17486,4],[1,1,17663,2],[0,0,17667,3],[0,0,17678,3],[0,0,17686,9],[0,0,17832,3],[0,0,17862,3],[0,0,17870,3],[0,0,17882,3],[0,0,17893,3],[0,0,17907,3],[0,0,17932,3],[0,0,17954,3],[1,0,17972,5],[1,0,17983,5],[0,0,17994,5],[0,0,18104,3],[0,0,18156,14],[0,0,18326,3],[0,0,18349,3],[0,0,18369,3],[0,0,18384,3],[0,0,18392,8],[0,0,18463,3],[0,0,18485,5],[0,0,18514,11],[2,0,18726,6],[0,0,18765,3],[0,0,18836,3],[0,0,18868,3],[1,0,18879,5],[1,1,18890,2],[2,1,18909,3],[0,0,18931,3],[0,0,18960,4],[0,0,18983,3],[1,0,19016,5],[0,0,19042,3],[0,0,19112,3],[0,0,19126,3],[0,0,19137,5],[0,0,19273,3],[0,0,19303,3],[0,0,19323,3],[0,0,19377,3],[0,0,19412,3],[0,0,19436,3],[0,0,19451,3],[0,0,19494,5],[1,0,19623,5],[0,0,19634,3],[0,0,19677,3],[1,1,19699,2],[2,0,19707,6],[1,1,19722,2],[0,0,19730,5],[0,0,19769,3],[0,0,19808,3],[0,0,19891,3],[0,0,19925,3],[0,0,19954,3],[0,0,19972,3],[0,0,19989,6],[0,0,20069,3],[0,0,20098,4],[0,0,20159,3],[0,0,20172,4],[0,0,20204,3],[0,0,20214,3],[0,0,20232,3],[0,0,20264,3],[0,0,20291,3],[0,0,20331,3]]
+  [0,82,22,0,0,11,14,15,1,22,0,1,11,14,15,2,22,0,2,11,14,15,3,22,0,3,11,14,15,4,22,0,4,11,14,15,5,22,0,5,11,14,15,6,0,21,15,7,8,22,0,6,11,14,15,8,22,0,7,11,14,15,9,22,0,8,11,14,15,10,22,0,9,11,14,15,11,22,0,10,11,14,15,12,22,0,11,11,14,15,13,22,0,12,11,14,15,14,22,0,13,11,14,0,0,0,12,0,23,19,22,0,14,11,14,0,23,0,12,21,0,11,0,11,8,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,15,11,14,0,23,0,12,21,0,11,0,11,8,0,8,0,13,21,0,11,0,23,8,19,3,2,21,0,4,0,0,0,12,0,24,19,8,22,0,16,11,14,15,15,0,15,3,2,21,0,4,21,0,14,8,22,0,17,11,14,15,16,0,21,15,17,8,22,0,18,11,14,15,18,22,0,19,11,14,21,0,14,0,7,0,24,19,21,0,13,21,0,19,8,22,0,20,11,14,21,0,8,0,13,7,22,0,21,11,14,21,0,21,0,7,0,24,19,0,21,21,0,19,8,22,0,22,11,14,0,13,0,7,0,24,19,22,0,23,11,14,15,19,0,16,21,0,23,19,0,21,0,11,8,22,0,24,11,14,15,20,0,16,21,0,22,19,0,21,0,7,21,0,9,21,0,24,21,0,9,0,7,8,8,8,22,0,25,11,14,0,7,21,0,5,3,2,21,0,4,0,13,21,0,11,0,23,8,8,22,0,26,11,14,0,24,0,14,0,16,0,23,19,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,27,11,14,15,21,22,0,28,11,14,31,0,28,22,0,29,11,14,15,22,22,0,30,11,14,15,23,22,0,31,11,14,15,24,22,0,32,11,14,21,0,32,0,35,7,22,0,33,11,14,0,14,21,0,12,15,25,8,22,0,34,11,14,15,26,22,0,35,11,14,21,0,5,0,20,15,27,15,28,3,2,21,0,4,21,0,5,21,0,9,0,12,8,0,12,0,24,19,8,8,22,0,36,11,14,21,0,36,22,0,37,11,14,15,29,22,0,38,11,14,15,30,22,0,39,11,14,0,13,0,7,21,0,21,19,22,0,40,11,14,0,24,0,15,0,16,0,23,19,21,0,12,0,13,0,8,0,25,19,0,7,0,24,19,15,31,3,2,21,0,4,21,0,5,21,0,9,21,0,14,8,8,8,3,2,21,0,4,21,0,5,21,0,9,0,14,8,21,0,29,0,8,7,0,24,19,21,0,22,0,23,19,8,22,0,41,11,14,15,32,22,0,42,11,14,15,33,22,0,43,11,14,21,0,40,21,0,41,21,0,8,21,0,41,7,0,7,9,3,2,21,0,4,21,0,6,21,0,9,21,0,14,8,8,15,34,3,3,21,0,4,21,0,14,21,0,10,0,6,8,8,22,0,44,11,14,15,35,22,0,45,11,14,15,36,22,0,46,11,14,15,37,22,0,47,11,14,21,0,47,21,0,44,7,0,21,0,23,21,0,45,21,0,44,8,8,22,0,48,11,14,31,0,47,21,0,8,21,0,44,7,7,0,21,0,24,21,0,45,21,0,8,21,0,44,7,8,8,22,0,49,11,14,15,38,22,0,50,11,14,21,0,20,21,0,5,0,20,15,39,8,3,2,21,0,4,0,12,21,0,22,0,23,19,8,22,0,51,11,14,15,40,21,0,13,21,0,5,0,20,15,41,8,8,22,0,52,11,14,15,42,22,0,53,11,14,15,43,22,0,54,11,14,15,44,22,0,55,11,14,15,45,22,0,56,11,14,15,46,22,0,57,11,14,15,47,22,0,58,11,14,15,48,22,0,59,11,14,21,0,17,0,1,0,16,21,0,11,0,23,8,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,9,22,0,60,11,14,15,49,22,0,61,11,14,15,50,22,0,62,11,14,15,51,22,0,63,11,14,15,52,22,0,64,11,14,0,23,0,12,21,0,11,21,0,7,21,0,64,7,8,3,2,21,0,4,0,0,0,12,0,27,19,8,22,0,65,11,14,15,53,22,0,66,11,14,21,0,5,21,0,5,21,0,5,21,0,29,15,54,7,9,15,55,15,56,15,57,3,6,21,0,4,21,0,6,8,22,0,67,11,14,15,58,22,0,68,11,14,21,0,14,21,0,10,0,12,8,0,23,3,2,21,0,5,21,0,9,21,0,14,8,0,12,3,2,0,12,21,0,10,0,12,8,0,23,3,2,0,14,21,0,10,21,0,63,0,12,7,8,21,0,29,0,8,7,0,24,19,0,23,3,2,15,59,3,5,21,0,29,15,60,7,16,22,0,69,11,14,0,23,15,61,3,2,21,0,4,21,0,14,8,22,0,70,11,14,21,0,69,0,21,21,0,70,8,22,0,71,11,14,21,0,69,0,7,0,24,19,0,21,3,0,0,14,3,2,21,0,4,21,0,14,8,8,22,0,72,11,14,21,0,71,21,0,9,0,5,8,21,0,6,21,0,5,19,22,0,73,11,14,0,15,21,0,9,0,1,0,20,21,0,5,8,21,0,29,21,0,73,0,20,21,0,5,8,7,3,2,21,0,4,21,0,27,21,0,22,0,23,19,8,8,22,0,74,11,14,15,62,22,0,75,11,14,21,0,14,21,0,13,21,0,35,21,0,75,15,63,8,8,22,0,76,11,14,15,64,22,0,77,11,14,15,65,22,0,78,11,14,21,0,14,0,5,0,108,19,21,0,6,15,66,31,0,75,21,0,76,21,0,78,31,0,77,3,2,21,0,4,0,18,0,12,0,12,0,24,19,7,21,0,29,0,8,7,0,24,19,8,31,0,78,3,3,21,0,4,0,12,21,0,24,0,25,19,8,8,19,22,0,79,11,14,15,67,22,0,80,11,14,21,0,80,0,113,21,0,26,21,0,12,0,12,8,0,7,0,24,19,15,68,3,3,7,22,0,81,11,14,31,0,80,0,114,0,12,21,0,11,0,23,8,0,7,0,24,19,15,69,3,3,7,22,0,82,11,14,15,70,22,0,83,11,14,15,71,22,0,84,11,14,15,72,22,0,85,11,14,15,73,22,0,86,11,14,15,74,22,0,87,11,14,15,75,22,0,88,11,14,15,76,22,0,89,11,14,0,4,21,0,11,21,0,63,0,24,7,8,22,0,90,11,14,15,77,22,0,91,11,14,21,0,91,21,0,5,0,19,0,6,7,0,29,19,21,0,8,21,0,37,7,21,0,8,21,0,37,21,0,11,21,0,50,8,21,0,9,21,0,48,21,0,9,21,0,90,8,8,7,19,7,22,0,92,11,14,21,0,39,0,9,7,22,0,93,11,14,21,0,39,0,10,7,22,0,94,11,14,21,0,8,21,0,93,21,0,12,21,0,94,8,7,0,21,0,25,21,0,93,16,21,0,12,21,0,94,8,8,22,0,95,11,14,21,0,39,15,78,0,21,21,0,26,8,7,22,0,96,11,14,21,0,39,15,79,0,21,21,0,24,8,7,22,0,97,11,14,21,0,39,15,80,0,21,0,7,21,0,9,21,0,97,21,0,9,0,7,8,8,8,7,22,0,98,11,14,21,0,39,0,8,7,0,21,21,0,57,0,23,7,8,22,0,99,11,14,21,0,39,0,8,0,7,0,6,19,7,0,21,31,0,57,0,24,7,8,22,0,100,11,14,21,0,39,0,8,0,21,21,0,23,0,7,21,0,22,19,21,0,11,0,23,8,8,7,22,0,101,11,14,21,0,39,21,0,21,0,7,0,24,19,7,0,21,31,0,19,8,22,0,102,11,14,21,0,39,0,13,0,7,0,24,19,7,0,21,31,0,76,8,22,0,103,11,14,21,0,39,0,12,0,7,0,24,19,7,0,21,21,0,27,8,22,0,104,11,14,21,0,39,0,12,7,0,21,0,12,8,22,0,105,11,14,21,0,39,21,0,21,7,0,21,21,0,7,0,23,7,0,5,0,127,19,8,22,0,106,11,14,21,0,39,0,13,7,0,21,21,0,7,0,23,7,0,5,0,128,19,8,22,0,107,11,14,21,0,39,0,6,7,22,0,108,11,14,21,0,39,0,7,7,22,0,109,11,14,21,0,109,21,0,108,0,24,19,22,0,110,11,14,21,0,6,21,0,105,21,0,105,21,0,104,21,0,71,21,0,72,3,4,19,21,0,29,21,0,108,7,9,21,0,13,15,81,8,22,0,111,11,14,0,30,0,17,16,21,0,31,0,129,8,22,0,112,11,14,15,82,22,0,113,11,14,0,15,0,21,21,0,17,8,22,0,114,11,14,15,83,22,0,115,11,14,15,84,22,0,116,11,14,15,85,22,0,117,11,14,15,86,22,0,118,11,14,15,87,22,0,119,11,14,15,88,22,0,120,11,14,31,0,120,22,0,121,11,14,21,0,73,0,20,21,0,114,21,0,10,21,0,35,8,15,89,3,2,21,0,4,21,0,105,21,0,102,0,24,19,21,0,10,21,0,100,8,8,8,22,0,122,11,14,21,0,37,21,0,11,21,0,50,8,22,0,123,11,14,21,0,5,0,20,21,0,104,21,0,105,0,23,19,21,0,109,0,24,19,21,0,89,15,90,15,91,3,2,21,0,4,21,0,6,21,0,9,21,0,105,8,21,0,102,0,23,19,8,8,8,22,0,124,11,14,31,0,81,0,21,31,0,55,8,22,0,125,11,14,21,0,82,0,21,31,0,56,8,22,0,126,11,14,31,0,87,0,21,31,0,115,8,22,0,127,11,14,0,23,21,0,89,31,0,54,8,0,21,21,0,53,8,22,0,128,11,14,31,0,124,0,21,21,0,50,8,22,0,129,11,14,21,0,73,0,21,21,0,5,8,0,20,21,0,84,0,21,31,0,84,21,0,11,21,0,86,8,8,8,22,0,130,11,14,21,0,73,0,21,21,0,5,8,0,20,21,0,85,0,21,31,0,85,21,0,11,31,0,86,8,8,8,22,0,131,11,14,15,92,22,0,132,11,14,15,93,22,0,133,11,14,15,94,22,0,134,11,14,15,95,22,0,135,11,14,31,0,135,15,96,3,2,21,0,4,21,0,6,21,0,9,21,0,114,21,0,9,0,18,21,0,14,7,8,8,21,0,29,21,0,100,7,0,23,19,8,22,0,136,11,14,21,0,136,21,0,11,21,0,114,21,0,5,3,2,21,0,4,21,0,14,8,8,22,0,137,11,14,31,0,118,22,0,138,11,14,21,0,119,22,0,139,11,14,15,97,22,0,140,11,14,21,0,20,21,0,10,15,98,8,22,0,141,11,14,31,0,73,0,21,21,0,5,8,0,20,21,0,18,21,0,9,21,0,103,8,8,22,0,142,11,14,31,0,122,0,21,21,0,79,8,22,0,143,11,14,31,0,134,0,21,31,0,133,8,22,0,144,11,14,21,0,140,0,24,7,0,21,31,0,92,8,22,0,145,11,14,21,0,8,31,0,140,0,23,7,7,0,21,31,0,91,21,0,5,7,8,22,0,146,11,14,15,99,22,0,147,11,14,21,0,5,0,20,15,100,8,22,0,148,11,14,15,101,22,0,149,11,14,15,102,22,0,150,11,14,31,0,149,0,21,31,0,51,8,22,0,151,11,14,21,0,48,21,0,9,21,0,48,8,21,0,37,21,0,109,21,0,5,19,21,0,8,21,0,145,7,19,0,1,0,23,19,22,0,152,11,14,15,103,0,1,0,23,19,22,0,153,11,14,21,0,5,0,20,0,24,31,0,89,31,0,59,8,21,0,11,21,0,20,8,0,21,31,0,58,8,8,22,0,154,11,14,21,0,137,0,21,31,0,60,8,22,0,155,11,14,15,104,22,0,156,11,14,15,105,22,0,157,11,14,15,106,22,0,158,11,14,31,0,158,22,0,159,11,14,21,0,113,0,21,21,0,17,8,22,0,160,11,14,31,0,66,22,0,161,11,14,31,0,153,0,21,21,0,152,8,22,0,162,11,14,31,0,141,0,21,21,0,129,21,0,11,21,0,146,8,8,22,0,163,11,14,15,107,22,0,164,11,14,0,36,0,23,0,37,0,23,0,38,0,24,0,39,0,24,0,40,0,24,0,41,0,24,0,42,0,33,0,43,0,31,0,44,0,23,0,45,0,24,0,46,0,23,0,47,0,24,0,48,0,23,0,49,0,24,3,28,21,0,164,21,0,7,0,23,7,0,5,0,166,19,8,15,108,9,22,0,165,11,14,0,50,0,51,0,52,0,53,0,54,0,55,0,56,0,57,0,58,3,9,0,47,0,46,0,59,3,3,0,60,0,61,0,62,0,63,0,64,0,65,0,66,3,5,0,67,0,68,0,69,0,70,0,71,0,72,0,73,3,7,3,6,0,18,21,0,160,7,16,15,109,16,22,0,166,11,14,0,5,21,0,11,0,167,8,22,0,167,11,14,0,5,21,0,11,0,168,8,22,0,168,11,14,21,0,7,0,23,7,0,5,0,169,19,22,0,169,11,14,15,110,22,0,170,11,14,15,111,22,0,171,11,14,15,112,22,0,172,11,14,0,36,21,0,8,21,0,109,7,0,21,21,0,108,8,0,37,21,0,109,0,38,21,0,8,21,0,93,7,0,21,21,0,101,21,0,170,21,0,5,8,8,0,39,21,0,93,0,40,21,0,39,0,2,7,0,74,21,0,8,21,0,94,7,0,21,21,0,8,21,0,101,7,8,0,45,21,0,8,21,0,93,7,0,21,21,0,99,21,0,170,21,0,5,8,8,0,44,21,0,6,21,0,109,0,24,19,21,0,93,21,0,8,21,0,109,7,19,0,21,21,0,100,21,0,170,21,0,5,8,8,0,41,21,0,110,0,60,0,23,21,0,9,21,0,167,8,0,21,15,113,8,0,50,21,0,5,0,51,21,0,71,21,0,9,21,0,168,8,21,0,6,21,0,5,19,0,21,21,0,5,8,0,35,15,114,0,21,0,23,21,0,9,21,0,167,8,8,0,61,15,115,0,21,15,116,8,0,68,0,23,21,0,9,21,0,167,8,0,21,21,0,125,21,0,170,21,0,155,21,0,11,0,29,8,8,8,0,69,0,23,21,0,9,21,0,167,8,0,21,21,0,126,21,0,170,21,0,155,8,8,0,62,0,23,21,0,9,21,0,167,8,0,21,21,0,127,21,0,170,21,0,72,8,8,0,70,21,0,128,21,0,11,21,0,109,8,0,21,21,0,128,8,0,71,31,0,150,0,21,31,0,52,8,0,63,0,23,21,0,9,21,0,167,8,0,21,15,117,8,0,66,31,0,172,0,21,31,0,171,8,3,42,21,0,164,21,0,169,8,22,0,173,11,14,15,118,22,0,174,11,14,15,119,22,0,175,11,14,15,120,21,0,10,15,121,8,22,0,176,11,14,0,36,21,0,8,21,0,109,7,0,21,0,25,21,0,12,21,0,93,8,8,0,37,21,0,108,0,21,0,23,21,0,9,21,0,167,8,8,0,38,21,0,8,21,0,93,7,0,21,21,0,95,8,0,39,21,0,101,0,21,0,23,21,0,9,21,0,167,8,8,0,40,21,0,95,0,21,0,23,21,0,9,21,0,167,8,8,0,74,0,2,21,0,93,9,0,21,0,23,21,0,9,21,0,167,8,8,0,45,21,0,8,21,0,93,7,0,21,21,0,95,8,0,44,21,0,6,21,0,109,0,24,19,21,0,93,21,0,8,21,0,109,7,19,0,21,21,0,110,21,0,9,21,0,95,8,21,0,110,9,8,0,41,21,0,7,0,24,7,21,0,109,21,0,108,19,0,21,0,23,21,0,9,21,0,167,8,8,3,18,21,0,164,21,0,169,8,22,0,177,11,14,15,122,0,52,21,0,177,0,75,15,123,0,76,15,124,0,77,15,125,0,78,15,126,21,0,9,15,127,8,3,10,21,0,164,21,0,7,21,0,169,7,8,7,22,0,178,11,14,0,24,15,128,21,0,154,0,23,0,29,3,2,19,21,0,63,15,129,7,21,0,71,21,0,11,0,32,8,31,0,32,0,79,7,3,2,19,21,0,29,21,0,99,7,9,3,2,21,0,156,0,0,21,0,107,0,27,19,8,22,0,179,11,14,15,130,15,131,0,53,21,0,176,0,54,15,132,0,80,15,133,0,81,21,0,7,0,23,21,0,9,21,0,167,8,7,15,134,15,135,3,2,21,0,156,21,0,107,21,0,11,0,23,8,8,3,2,21,0,156,21,0,5,21,0,9,21,0,15,8,8,0,57,15,136,0,55,15,137,15,138,21,0,5,3,2,21,0,156,21,0,6,8,21,0,6,21,0,9,21,0,179,8,19,0,56,15,139,3,14,31,0,164,21,0,7,21,0,169,7,8,7,7,22,0,180,11,14,15,140,22,0,181,11,14,15,141,21,0,126,21,0,11,0,24,8,21,0,5,21,0,155,21,0,9,31,0,173,8,9,21,0,7,21,0,7,0,23,7,0,5,0,170,19,7,21,0,5,21,0,29,31,0,176,7,9,31,0,181,31,0,178,31,0,180,3,6,21,0,156,21,0,6,8,21,0,155,19,9,22,0,182,11,14,15,142,31,0,182,21,0,7,0,23,7,0,5,0,171,19,3,3,21,0,129,0,27,0,24,0,25,3,3,17,21,0,156,0,0,8,22,0,183,11,14,15,143,22,0,184,11,14,21,0,108,21,0,109,21,0,101,21,0,93,31,0,94,31,0,95,21,0,97,21,0,98,21,0,96,21,0,110,21,0,99,21,0,100,21,0,102,21,0,103,21,0,104,21,0,105,21,0,107,21,0,106,21,0,71,21,0,72,21,0,6,21,0,5,31,0,160,21,0,143,21,0,142,21,0,125,21,0,126,21,0,127,31,0,131,21,0,130,21,0,128,31,0,151,21,0,129,21,0,48,21,0,49,21,0,154,21,0,155,21,0,145,31,0,162,21,0,146,31,0,163,21,0,144,0,5,21,0,7,21,0,8,21,0,88,21,0,63,21,0,174,31,0,184,21,0,29,21,0,121,0,19,21,0,9,21,0,10,21,0,11,21,0,12,21,0,161,0,21,21,0,156,21,0,139,31,0,138,21,0,159,0,22,3,63,15,144,16,25,0,23,21,0,1,3,2,25,21,0,1,25,21,0,1,22,1,1,22,1,2,4,2,12,25,21,0,1,15,145,21,0,5,0,16,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,25,21,0,2,25,21,0,1,25,21,0,1,14,21,0,4,25,21,0,1,21,1,6,21,0,2,17,21,0,4,21,0,1,17,25,21,0,1,21,0,5,21,0,2,17,21,0,4,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,21,0,5,16,17,25,21,0,1,21,0,5,21,0,1,21,1,6,21,0,2,17,21,0,4,16,17,25,21,0,1,21,0,5,16,21,0,4,21,0,1,21,1,6,21,0,2,17,17,25,21,0,1,15,146,21,1,5,21,0,4,3,2,0,16,21,0,1,21,0,5,21,0,2,17,17,7,21,0,2,17,25,21,0,1,3,1,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,1,3,1,25,21,0,1,3,1,0,15,3,0,17,0,1,21,0,1,17,25,21,0,2,21,0,1,3,2,25,21,0,2,21,0,1,3,2,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,83,17,14,21,0,1,22,0,5,11,21,1,27,16,22,0,6,11,14,21,0,4,22,0,7,11,14,21,0,1,21,1,6,0,21,15,147,15,148,3,2,21,1,4,21,0,6,21,1,22,0,23,17,8,8,21,0,2,17,22,0,8,11,14,21,0,6,0,17,16,0,18,0,7,21,1,11,0,24,0,7,21,0,6,17,8,7,16,0,18,15,149,7,16,14,21,0,8,25,21,1,22,0,18,0,12,0,7,0,24,19,7,21,0,1,19,0,19,0,8,7,9,21,1,29,0,6,7,9,25,21,1,7,21,1,0,0,18,21,1,30,21,0,1,7,21,1,8,0,16,7,21,0,2,19,7,16,7,0,16,15,150,19,25,15,151,0,12,21,0,1,21,1,30,21,1,0,7,16,19,25,21,0,2,0,7,21,0,1,21,1,27,16,17,0,17,16,0,18,21,1,7,21,0,1,7,0,16,0,6,21,1,11,21,0,2,8,19,7,16,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,0,6,21,0,3,17,0,17,16,0,18,21,0,2,21,1,12,0,16,8,21,1,8,21,0,1,7,0,16,21,0,3,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,3,8,8,7,16,25,21,0,1,21,1,34,0,24,17,22,0,3,11,21,1,29,0,8,7,0,24,17,22,0,4,11,14,21,0,4,0,17,16,0,15,31,0,3,17,0,18,0,6,21,1,11,0,8,21,1,11,31,0,4,8,8,21,1,8,0,16,7,21,0,1,0,15,16,19,7,21,0,2,17,25,21,0,2,0,18,21,0,1,21,1,12,0,16,8,7,16,25,15,152,22,0,2,11,14,15,153,22,0,3,11,14,21,0,3,21,0,1,7,21,1,8,31,0,3,21,1,8,21,0,1,7,7,7,3,2,21,1,4,0,12,21,1,10,21,1,23,8,8,31,0,2,21,0,1,7,3,2,21,1,4,0,12,21,1,10,0,12,8,8,25,15,154,21,0,1,7,22,0,2,11,14,21,0,1,21,0,2,0,20,15,155,15,156,3,2,21,1,4,21,1,14,21,1,10,21,1,23,8,8,0,21,0,18,21,0,2,7,8,8,21,0,2,0,20,21,1,38,21,0,2,7,8,3,3,21,1,4,21,1,14,21,1,10,0,6,8,8,25,21,0,1,21,1,41,21,0,2,17,25,21,0,1,0,18,21,1,22,21,1,11,0,23,8,7,21,1,29,0,8,7,0,24,19,21,1,10,0,7,8,21,0,2,17,22,0,3,11,14,21,0,1,0,23,21,0,3,3,2,15,157,3,2,21,1,4,0,23,0,12,31,0,3,17,8,21,0,2,17,25,21,0,4,22,0,5,11,14,21,0,2,22,0,6,11,14,21,0,1,22,0,7,11,14,15,158,22,0,8,11,14,21,0,4,0,12,21,1,11,0,23,8,21,1,13,21,0,1,8,9,31,0,8,3,2,0,16,21,0,6,0,12,0,24,17,0,7,0,24,17,17,25,21,0,1,0,14,21,1,10,21,1,42,8,21,0,2,17,22,0,3,11,14,31,0,3,21,1,29,21,1,43,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,1,44,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,4,11,14,0,23,21,1,8,31,0,4,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,86,17,14,21,0,1,21,1,27,16,22,0,6,11,14,21,0,1,21,1,34,0,24,17,21,1,29,0,8,7,0,24,17,22,0,7,11,14,21,0,1,0,15,16,22,0,8,11,14,0,23,22,0,9,11,22,0,10,11,14,21,0,8,0,23,0,18,21,1,15,7,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,0,6,21,1,22,0,26,17,0,8,0,24,0,12,21,0,7,17,17,8,16,21,1,5,21,1,13,21,0,1,21,1,12,15,159,8,8,16,0,7,0,24,17,22,0,11,11,14,21,0,1,0,18,21,0,10,21,1,12,0,7,8,0,7,21,1,11,21,0,9,8,3,2,0,16,21,0,5,17,7,0,4,21,1,11,0,3,8,9,15,160,21,0,4,7,3,2,21,1,4,31,0,11,8,16,0,1,0,23,17,25,21,0,1,22,0,2,11,14,21,1,22,21,1,11,0,23,8,21,1,13,15,161,8,25,21,0,2,0,12,16,21,1,8,0,7,7,0,24,17,22,0,5,11,14,21,0,5,0,13,0,23,17,0,5,0,87,17,14,21,0,1,0,12,16,0,13,21,0,5,17,0,5,0,88,17,14,21,0,1,21,1,20,16,22,0,1,12,14,21,0,2,21,1,34,0,24,17,22,0,6,11,21,1,29,0,8,7,0,24,17,22,0,7,11,14,0,23,21,1,43,21,0,2,0,15,16,21,1,12,0,16,8,21,1,10,21,0,4,8,7,21,0,7,17,22,0,8,11,14,21,0,2,21,1,27,16,0,24,0,24,21,1,12,0,7,21,1,9,0,17,8,8,0,18,0,8,21,1,11,21,0,7,8,21,1,9,0,6,21,1,11,31,0,7,8,21,1,12,21,1,7,0,23,7,0,13,31,0,8,19,8,8,7,9,21,1,29,0,8,7,0,24,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,16,0,5,0,89,17,14,21,0,1,0,12,16,21,1,8,0,7,7,31,0,5,17,22,0,9,11,14,21,0,1,21,1,34,21,0,9,17,22,0,10,11,14,21,0,10,21,1,42,21,0,6,17,22,0,11,11,14,31,0,11,21,1,29,21,1,43,21,0,1,0,15,16,21,1,12,0,16,8,21,1,12,21,0,4,21,1,11,21,0,2,0,15,16,21,1,12,0,16,8,8,8,7,7,16,22,0,12,11,14,21,1,7,0,23,7,0,13,31,0,12,21,1,11,0,8,21,1,11,31,0,6,21,1,29,0,8,7,0,24,17,8,8,19,22,0,13,11,14,31,0,9,0,17,16,0,18,21,0,1,0,14,16,21,1,12,0,16,8,7,16,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,0,8,21,1,11,31,0,10,21,1,29,0,8,7,0,24,17,8,7,16,0,18,15,162,21,1,11,21,0,2,21,1,27,16,8,7,16,0,1,0,23,17,25,21,0,1,0,12,16,0,12,0,24,17,0,5,0,90,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,15,163,8,16,0,1,0,23,17,25,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,34,0,24,17,22,0,4,11,21,1,29,0,8,7,0,24,17,22,0,5,11,14,31,0,3,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,0,15,31,0,4,17,17,25,21,0,1,21,1,14,16,21,1,168,16,14,21,0,1,0,12,16,21,1,22,0,23,17,25,21,0,1,0,12,16,21,1,8,0,7,7,0,24,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,31,0,3,0,17,16,0,18,31,0,4,21,1,12,0,16,8,7,16,22,0,6,11,14,21,0,6,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,6,17,0,18,21,1,7,21,0,1,0,15,16,7,0,16,0,8,21,1,11,21,0,5,8,21,1,12,0,6,8,19,7,31,0,5,0,17,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,92,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,0,7,21,1,11,0,24,0,7,31,0,3,17,8,7,16,17,25,21,0,2,21,1,15,16,0,5,0,93,17,14,21,0,1,21,1,27,16,22,0,3,11,14,0,23,0,12,21,0,3,17,0,6,21,0,3,17,0,9,21,0,2,17,21,1,24,16,0,8,21,0,3,17,0,7,22,0,2,13,14,21,0,1,21,1,37,21,0,3,0,17,16,0,18,21,1,5,0,13,21,0,2,0,7,21,0,3,17,19,0,8,31,0,3,19,0,7,21,1,5,19,0,6,21,0,2,19,7,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,94,17,14,21,0,1,21,1,27,16,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,0,17,8,8,7,16,0,1,21,1,11,0,16,21,1,11,0,23,8,8,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,95,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,3,0,6,0,24,17,0,17,16,0,18,21,0,1,21,1,12,21,1,37,21,1,11,15,164,8,8,7,16,0,1,21,1,11,0,16,21,1,11,21,0,3,8,8,16,25,21,1,37,21,1,11,21,0,1,21,1,45,21,1,44,21,1,8,21,1,44,7,3,2,0,16,21,0,1,17,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,96,17,14,21,0,1,21,1,27,16,21,1,22,0,23,17,0,5,0,97,17,14,21,0,1,21,1,36,0,23,21,1,22,16,17,25,21,0,2,21,1,14,16,0,5,0,98,17,14,21,0,2,0,18,21,1,15,7,16,0,15,16,21,1,29,0,8,7,0,24,17,0,5,0,99,17,14,21,0,1,21,1,27,16,22,0,3,11,14,21,0,2,0,18,21,1,23,21,1,11,21,0,3,8,0,8,0,13,21,1,11,21,0,3,0,7,16,8,19,7,16,0,15,16,21,1,29,0,8,7,0,24,17,0,5,0,100,17,14,21,0,1,21,1,37,21,1,11,0,18,21,1,5,21,1,23,0,23,19,0,8,31,0,3,19,0,6,21,1,5,19,7,8,21,0,2,17,25,21,0,1,21,1,1,16,22,0,3,11,14,21,0,3,0,16,0,23,17,0,23,21,1,12,0,13,8,21,0,3,21,1,9,21,1,27,8,21,1,8,0,7,7,0,24,19,0,17,9,21,1,29,0,8,21,1,11,0,6,21,1,11,0,24,8,21,1,8,0,16,7,31,0,3,19,21,0,0,9,8,7,0,24,19,3,2,21,1,4,0,13,21,1,11,0,25,8,8,16,25,21,0,1,15,165,21,1,6,21,1,61,9,21,1,13,15,166,8,3,2,21,1,4,21,1,6,21,1,9,0,0,8,0,13,0,27,19,8,21,0,2,17,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,62,21,1,38,21,0,4,7,0,21,0,18,21,0,4,7,8,8,8,21,0,2,17,25,21,0,1,25,21,0,1,21,0,5,21,1,10,21,0,4,8,21,0,2,17,22,0,6,11,14,21,0,1,21,1,68,21,0,5,7,16,22,0,7,22,0,8,4,2,11,14,21,1,5,21,1,9,21,1,65,8,0,7,0,24,19,21,1,13,15,167,8,22,0,9,11,14,21,1,5,0,20,15,168,8,22,0,10,11,14,31,0,8,31,0,9,21,0,6,17,21,1,7,21,0,1,7,21,1,12,31,0,10,8,21,1,7,21,0,5,7,21,1,183,9,15,169,9,3,2,21,1,4,21,1,65,8,16,25,21,0,1,21,0,2,9,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,19,25,21,0,1,22,0,3,22,0,4,4,2,11,14,31,0,4,31,0,3,7,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,31,0,5,31,0,4,31,0,3,8,25,21,1,7,21,1,64,7,22,0,5,11,14,21,1,53,21,1,29,21,1,5,21,1,14,9,21,1,13,0,15,21,1,12,0,16,8,8,7,21,0,1,19,0,23,0,14,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,9,3,2,21,1,4,21,1,14,8,9,22,0,6,11,14,15,170,22,0,7,11,14,21,1,1,0,23,0,16,21,1,11,0,25,8,0,12,21,1,7,21,0,7,7,19,3,2,21,1,4,0,16,21,1,11,0,23,8,0,12,0,30,19,8,9,22,0,8,11,14,15,171,22,0,9,11,14,21,0,9,0,24,7,22,0,10,11,14,31,0,9,0,23,7,22,0,11,11,14,15,172,22,0,12,11,14,15,173,22,0,13,11,14,15,174,22,0,14,11,14,0,0,21,1,21,0,27,19,21,1,13,21,0,14,21,1,65,7,8,22,0,15,11,14,31,0,14,21,0,8,7,22,0,16,11,14,21,1,7,21,1,5,31,0,11,21,1,11,0,24,8,21,0,12,9,21,0,10,21,1,11,0,23,8,21,0,12,9,21,0,10,21,1,11,0,24,8,31,0,12,9,21,0,10,21,1,11,0,24,8,31,0,13,9,31,0,10,21,1,11,0,24,8,21,0,16,15,175,15,176,3,3,21,1,4,21,1,7,0,27,7,0,7,0,0,19,8,3,7,7,0,16,21,1,166,19,15,177,21,1,5,19,22,0,17,11,14,21,1,1,21,1,82,21,1,11,0,24,8,21,1,5,0,16,0,23,19,31,0,17,9,21,0,15,9,21,1,7,21,0,5,7,15,178,21,1,12,21,1,67,8,21,1,5,0,16,0,23,19,31,0,15,9,3,4,21,1,4,21,1,6,21,1,9,0,27,21,1,5,0,25,3,2,21,1,4,0,13,21,1,11,0,25,8,8,3,2,21,1,4,0,13,21,1,11,0,23,8,8,8,8,0,16,21,1,11,0,23,8,19,9,22,0,18,11,14,21,0,4,21,0,18,16,0,23,21,0,7,0,29,8,3,2,21,1,29,15,179,7,16,0,23,21,1,64,3,2,21,1,1,21,1,37,0,24,0,27,3,2,19,3,2,21,1,4,21,0,8,8,16,25,21,0,1,21,1,63,21,1,69,7,21,0,2,17,0,15,16,21,1,29,0,8,7,0,24,17,25,21,0,2,0,16,0,24,17,21,0,1,3,2,21,1,4,21,0,2,0,16,0,23,17,8,25,21,0,1,0,15,16,0,18,21,1,70,7,16,21,1,29,0,7,0,8,0,13,19,0,7,21,1,6,19,7,0,23,17,0,6,0,24,17,25,0,1,21,1,12,21,1,5,0,20,21,1,7,3,0,7,0,15,21,1,72,21,1,10,21,0,2,8,19,8,8,21,1,74,21,1,5,0,20,21,1,6,8,21,0,1,19,3,2,21,1,4,0,15,21,1,9,21,1,27,8,21,1,22,0,23,19,8,25,21,0,1,0,15,16,0,16,0,23,17,21,1,72,16,22,0,3,11,14,21,0,1,0,15,16,0,18,21,1,72,21,1,71,21,0,3,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,102,17,14,21,0,3,21,1,29,0,8,7,0,24,17,0,17,16,0,15,31,0,3,17,0,18,21,1,8,21,1,17,21,1,12,0,16,8,7,7,21,0,1,17,25,0,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,27,7,16,21,1,50,16,0,18,15,180,7,16,25,21,0,1,0,15,16,22,0,3,11,21,1,27,16,22,0,4,11,14,21,0,3,0,18,21,1,72,7,16,22,0,5,11,14,21,0,5,0,16,0,23,17,21,1,27,16,22,0,6,11,14,21,0,1,0,12,16,22,0,7,11,14,21,0,5,0,18,21,1,27,0,12,21,0,6,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,103,17,14,21,0,7,21,1,21,21,0,6,17,0,5,0,104,17,14,15,181,22,0,8,11,14,21,0,1,21,1,72,16,22,0,9,11,14,0,24,22,0,10,11,14,0,23,21,1,22,16,22,0,11,11,22,0,12,11,14,21,0,7,0,17,16,21,1,63,15,182,7,21,0,9,21,1,53,16,21,0,8,0,8,7,0,24,17,21,1,53,16,17,14,21,1,63,15,183,31,0,3,0,18,0,15,7,16,7,7,22,0,13,11,14,21,0,11,21,0,13,15,184,3,2,21,1,4,21,0,6,21,1,22,21,0,7,17,8,21,0,12,17,25,21,0,2,21,1,27,16,22,0,3,11,14,21,0,1,21,1,27,16,22,0,4,11,14,21,0,3,21,1,21,21,0,4,17,0,5,0,107,17,14,31,0,4,0,17,16,0,18,21,0,1,21,1,12,0,16,8,21,1,12,0,8,21,1,11,21,0,2,21,1,12,0,16,8,8,21,1,5,3,2,21,1,4,21,1,6,0,13,31,0,3,19,8,8,7,16,25,21,0,1,22,0,2,22,0,3,22,0,4,4,3,11,14,0,110,21,1,35,31,0,2,17,21,1,35,0,109,17,22,0,5,11,14,0,111,22,0,6,11,14,0,112,22,0,7,11,14,15,185,25,21,0,1,21,1,26,16,22,0,5,11,21,1,22,21,1,11,21,0,2,8,21,1,13,21,0,4,8,16,14,31,0,5,0,17,16,0,18,21,0,1,0,6,21,0,2,17,21,1,12,0,6,8,7,0,18,0,23,21,1,12,21,1,22,8,21,1,13,0,31,8,7,9,0,18,0,13,21,1,11,21,0,2,8,21,1,13,0,31,8,7,3,2,21,1,4,21,0,1,21,1,22,0,23,17,8,16,25,21,0,1,14,0,6,21,1,25,0,23,19,0,17,9,0,7,21,1,25,0,23,19,0,17,9,0,18,0,6,7,21,1,5,21,1,9,21,1,22,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,115,17,14,21,0,2,0,12,21,1,10,0,7,8,21,0,1,17,22,0,3,11,14,21,0,3,0,13,0,23,17,0,5,0,116,17,14,21,0,3,21,1,21,0,24,17,0,5,0,117,17,14,21,0,1,21,1,34,0,24,17,22,0,4,11,14,21,0,4,21,1,27,16,0,17,16,0,18,21,1,7,21,0,2,21,1,72,16,7,0,16,31,0,3,0,7,0,24,17,21,1,12,0,6,8,19,0,12,21,0,4,21,1,12,0,16,8,19,7,16,21,1,29,0,8,7,0,24,17,0,5,0,118,17,14,31,0,4,21,1,29,0,8,7,0,24,17,25,21,0,1,21,1,83,21,0,2,17,22,0,3,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,21,0,3,17,22,0,4,11,14,21,0,1,21,1,27,16,0,8,31,0,3,17,0,17,16,0,18,21,0,2,21,1,17,16,21,1,12,0,16,8,21,1,7,21,0,1,0,15,16,7,0,16,21,0,4,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,4,8,8,7,16,0,15,21,0,1,21,1,72,16,17,25,21,0,1,21,1,83,21,0,2,17,22,0,3,11,14,21,0,1,21,1,27,16,0,8,21,0,3,17,22,0,4,11,14,21,0,2,0,24,21,1,27,3,2,21,1,4,21,1,5,0,12,21,1,10,0,13,8,21,0,1,19,8,16,0,8,31,0,3,17,22,0,5,11,14,21,0,5,0,7,21,0,4,17,22,0,6,11,14,31,0,4,0,17,16,0,18,21,1,7,21,0,1,0,15,16,7,0,16,31,0,5,21,1,12,0,6,8,19,21,1,7,21,0,2,21,1,17,16,7,0,16,21,0,6,21,1,12,0,7,8,19,3,2,21,1,4,0,13,21,1,11,31,0,6,8,8,7,16,0,15,21,0,1,21,1,72,16,17,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,115,17,14,21,0,1,21,1,34,0,24,17,21,1,5,21,1,29,0,8,7,0,24,19,0,17,9,21,1,12,0,15,8,16,0,18,21,0,1,0,1,16,7,16,25,21,0,2,0,12,16,21,1,21,0,24,17,0,5,0,119,17,14,21,0,2,21,1,17,16,22,0,2,12,21,1,27,16,22,0,3,11,14,21,0,1,21,0,3,21,1,22,0,23,17,21,1,13,21,1,5,0,20,15,186,8,8,21,0,2,17,25,21,0,1,0,29,21,1,119,21,0,4,8,21,0,2,17,25,21,0,1,22,0,3,11,14,21,1,20,21,1,12,15,187,15,188,3,2,21,1,4,21,1,6,21,1,9,21,1,71,21,1,22,21,0,2,19,8,8,8,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,126,17,14,21,0,1,21,1,48,16,22,0,5,11,14,21,0,1,21,1,27,16,0,17,16,0,18,0,24,21,1,5,21,0,1,0,12,21,1,22,0,24,19,21,1,13,21,1,88,21,1,22,7,8,16,21,1,37,21,0,5,17,21,1,12,0,16,8,21,1,10,21,1,72,8,0,24,21,1,12,0,7,8,19,3,2,21,1,4,21,1,22,21,1,11,0,23,8,8,7,16,21,0,4,21,0,5,17,21,1,37,31,0,5,21,1,90,16,17,0,1,0,23,17,25,21,0,2,21,1,93,21,0,1,17,21,1,24,16,0,8,21,0,2,17,0,7,21,0,1,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,23,21,0,2,17,17,25,21,0,2,21,0,1,3,2,0,16,21,0,1,21,1,22,21,0,2,17,17,25,21,0,1,0,21,21,0,1,0,1,0,23,21,0,2,16,19,8,25,21,0,2,21,1,105,16,21,1,106,0,24,17,0,5,0,130,17,14,21,0,2,21,1,17,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,110,16,22,0,4,11,21,1,29,21,1,108,7,0,23,17,22,0,5,11,14,21,0,5,21,1,106,0,24,17,0,5,0,131,17,14,21,0,1,21,1,17,16,22,0,6,11,21,1,104,16,22,0,7,11,14,21,0,3,21,1,5,21,1,29,21,1,101,7,0,24,19,15,189,3,2,21,1,4,31,0,5,8,16,22,0,8,11,14,21,0,6,21,0,7,21,1,104,21,0,8,17,21,1,13,21,1,5,0,20,15,190,8,8,16,0,15,21,0,3,17,25,15,191,22,0,3,11,14,15,192,22,0,4,11,14,21,0,1,21,0,3,31,0,4,3,2,21,1,4,21,1,14,8,16,25,21,0,1,21,1,105,16,21,1,106,0,24,17,0,5,0,137,17,14,21,0,1,21,1,114,16,22,0,1,12,14,21,0,1,21,1,104,16,0,27,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,24,8,19,16,0,5,0,138,17,14,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,139,17,14,21,0,1,25,21,0,1,21,1,9,21,1,116,8,21,1,5,21,1,9,21,1,102,8,21,1,63,0,16,7,21,1,104,21,1,12,21,1,8,21,1,96,21,1,108,0,24,19,21,1,109,21,1,6,19,7,8,19,0,24,0,23,3,2,0,21,0,25,3,1,8,19,25,21,0,1,21,1,117,21,0,5,7,21,0,2,17,22,0,6,11,21,1,103,0,23,17,22,0,7,11,14,21,0,4,22,0,8,11,14,15,193,22,0,9,11,14,21,0,1,21,0,9,31,0,6,7,21,0,2,17,25,21,0,1,21,1,117,21,0,5,7,21,1,63,21,1,109,21,1,12,21,1,97,8,21,1,109,21,1,98,0,23,19,3,2,21,1,4,21,1,5,21,1,107,0,23,19,8,7,21,1,105,21,1,10,21,1,18,8,19,21,0,2,17,22,0,6,11,14,15,194,22,0,7,11,14,21,1,5,21,1,102,9,21,0,7,21,1,5,0,18,21,1,102,7,9,3,3,21,1,4,21,1,105,21,1,12,21,1,106,8,21,1,108,0,24,19,21,1,101,0,23,21,1,12,21,1,103,8,19,8,22,0,7,12,14,21,0,1,21,0,7,21,0,6,0,16,21,1,11,21,1,104,21,1,8,21,1,109,7,0,24,19,8,16,17,21,1,63,21,0,4,7,21,0,2,31,0,7,31,0,6,0,16,0,23,17,17,17,21,1,103,16,25,21,0,1,21,1,105,16,21,1,107,0,24,17,0,5,0,140,17,14,21,0,4,22,0,5,11,14,15,195,22,0,6,11,14,21,0,1,31,0,6,15,196,3,2,21,1,4,0,24,0,21,21,1,104,21,1,102,0,23,19,8,8,21,0,2,17,25,21,0,1,21,1,72,21,1,10,21,1,18,8,21,0,2,17,22,0,3,11,14,21,0,3,0,18,21,1,104,7,16,22,0,4,11,21,1,29,21,1,98,7,0,24,17,22,0,5,11,14,21,0,4,21,1,109,21,0,5,17,21,1,106,0,24,17,21,1,29,21,1,99,7,0,24,17,0,5,0,142,17,14,21,0,3,21,1,63,21,1,37,21,1,11,0,24,21,1,109,21,0,5,17,0,17,16,21,1,12,21,1,108,8,8,7,21,0,5,21,1,110,21,0,4,17,17,22,0,6,11,14,21,0,6,21,1,29,21,1,71,7,16,0,5,0,143,17,14,31,0,3,21,1,63,0,24,21,1,5,0,16,0,23,19,3,2,21,1,4,21,1,6,8,7,31,0,4,21,1,105,31,0,5,17,17,21,1,29,21,1,108,7,0,23,17,22,0,7,11,14,21,0,1,21,1,114,21,1,10,21,1,35,8,21,0,2,17,21,1,114,31,0,6,0,16,0,23,17,21,1,35,31,0,7,3,1,17,17,25,21,0,2,21,1,14,21,1,13,21,1,114,0,16,0,23,19,8,16,22,0,2,12,14,21,0,2,21,1,16,16,0,5,0,91,17,14,21,0,2,22,0,3,11,22,0,4,11,14,21,0,1,21,1,37,21,0,1,21,1,104,16,21,1,101,21,0,3,17,0,17,16,0,19,21,1,8,15,197,21,1,13,15,198,8,7,7,16,17,25,21,0,1,21,1,104,21,1,10,21,1,105,8,21,0,2,17,0,5,0,144,17,14,21,0,1,21,1,123,21,0,2,17,25,21,0,1,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,145,17,14,21,0,1,21,1,107,0,29,17,21,1,29,21,1,99,7,0,24,17,0,5,0,146,17,14,0,3,22,0,5,11,14,21,0,1,21,1,6,0,21,0,23,8,21,1,13,21,1,5,15,199,21,1,104,21,1,12,21,1,8,21,1,109,7,8,19,8,21,0,2,17,22,0,1,12,14,21,0,1,0,4,21,0,1,21,0,5,16,22,0,6,11,17,22,0,7,11,14,0,23,22,0,8,11,14,31,0,6,0,18,21,1,127,21,1,9,0,18,15,200,7,8,21,0,4,9,7,16,25,21,0,1,21,1,105,16,21,1,105,0,24,17,0,5,0,147,17,14,21,1,132,21,1,5,7,22,0,3,11,14,21,0,1,21,0,3,0,1,0,23,21,1,9,21,1,127,8,19,0,18,15,201,7,21,1,29,0,18,0,18,21,1,35,7,7,7,3,0,21,1,102,16,21,1,102,16,19,0,1,0,18,0,23,7,3,0,21,1,12,21,1,114,8,0,1,21,1,5,19,9,19,3,2,21,1,4,21,1,71,21,1,102,0,24,19,8,16,25,21,0,1,21,1,14,16,0,5,0,148,17,14,21,0,2,21,1,71,21,1,103,0,25,19,21,1,13,21,1,20,21,1,9,21,1,18,8,8,16,22,0,2,12,14,21,0,2,21,1,105,16,21,1,105,0,24,17,0,5,0,149,17,14,21,0,2,0,18,21,1,105,7,16,22,0,3,11,21,1,29,21,1,108,7,0,23,17,22,0,4,11,14,21,0,1,21,1,105,16,21,1,107,21,0,4,17,0,5,0,150,17,14,21,0,1,21,1,72,16,21,1,125,21,0,4,17,21,1,109,21,0,2,0,18,21,1,72,7,16,21,1,79,16,17,22,0,5,11,14,21,0,5,21,0,3,21,1,105,0,24,17,21,1,129,21,0,3,17,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,23,8,19,16,21,1,29,21,1,99,7,0,24,17,0,5,0,151,17,14,0,23,3,1,21,1,35,31,0,5,17,21,1,37,21,0,3,0,19,21,1,108,7,16,21,1,130,0,23,17,17,21,1,97,31,0,3,17,22,0,6,11,14,21,0,2,0,18,21,1,114,7,16,22,0,2,12,0,18,21,1,104,7,16,22,0,7,11,14,21,1,7,21,0,1,7,21,1,113,21,0,1,21,1,34,31,0,4,17,21,1,12,21,1,35,8,19,22,0,8,11,14,21,0,7,21,1,29,21,1,101,7,0,24,17,3,1,21,0,8,16,21,1,12,21,1,37,8,22,0,9,11,14,21,0,2,0,16,21,1,11,0,23,8,21,1,10,21,1,132,21,0,9,7,8,21,1,63,21,1,132,21,1,5,7,7,21,1,101,31,0,7,21,1,128,16,21,1,130,0,24,17,0,19,21,1,101,7,16,21,1,128,16,19,21,1,29,0,18,0,18,21,1,108,7,7,7,9,0,18,31,0,9,7,9,3,2,21,1,4,21,1,5,21,1,9,21,1,104,8,21,1,104,0,24,19,8,31,0,6,17,0,1,21,0,2,0,18,0,23,7,16,31,0,8,16,17,25,21,0,2,21,1,105,16,21,1,105,0,24,17,0,5,0,152,17,14,21,0,1,21,1,72,16,22,0,3,11,21,1,104,21,1,10,21,1,105,8,21,0,2,17,0,5,0,153,17,14,21,0,2,0,18,21,1,15,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,154,17,14,21,0,3,21,1,102,21,1,99,21,1,109,21,1,12,21,1,106,8,19,21,0,2,17,21,1,29,21,1,99,7,0,24,17,0,5,0,155,17,14,0,23,21,1,102,21,0,2,17,21,1,101,21,0,3,17,21,1,108,21,0,2,17,22,0,2,12,14,21,0,2,21,1,104,16,21,1,110,21,1,11,21,1,127,8,16,21,1,109,16,21,1,29,21,1,5,21,1,101,31,0,3,21,1,12,0,16,8,19,21,1,108,21,0,2,21,1,12,0,16,8,19,7,0,23,17,21,1,8,0,16,7,21,0,1,21,1,114,16,17,25,21,0,2,0,18,21,0,1,21,1,12,21,1,136,8,7,16,25,21,0,1,22,0,2,11,14,21,1,121,21,1,99,7,21,1,110,9,0,19,21,1,99,7,21,1,121,21,1,108,7,9,3,2,0,16,21,0,1,17,22,0,3,11,14,15,202,0,1,0,23,19,25,21,0,2,21,1,105,16,22,0,3,11,14,21,0,1,21,1,105,16,21,1,107,21,0,3,17,0,5,0,158,17,14,21,0,1,21,0,3,21,1,139,21,1,127,21,1,11,21,0,2,21,1,72,16,21,1,97,21,0,1,21,1,72,16,21,1,125,21,1,11,21,1,109,8,21,0,3,17,21,1,108,0,24,17,17,8,8,16,31,0,3,21,1,139,21,1,71,8,21,0,2,17,0,1,0,23,17,25,21,0,2,21,1,105,16,21,1,106,0,24,17,0,5,0,159,17,14,21,0,1,21,1,72,16,21,1,104,21,1,10,21,1,107,8,21,0,2,17,0,5,0,160,17,14,21,0,2,21,1,114,16,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,0,5,0,161,17,25,21,0,1,21,1,72,16,21,1,144,21,0,2,17,0,18,21,1,29,21,1,97,7,7,16,21,1,127,16,0,18,21,1,7,21,0,1,7,21,1,137,21,1,37,21,1,11,21,0,2,8,19,7,16,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,114,16,22,0,2,12,14,21,0,2,21,1,146,16,21,1,110,16,21,1,29,21,1,108,7,0,23,17,21,1,109,21,0,1,21,1,105,16,17,22,0,3,11,14,21,0,3,21,1,102,21,0,2,17,21,1,29,21,1,99,7,0,24,17,0,5,0,162,17,14,21,0,1,21,1,148,31,0,3,21,1,127,16,21,1,5,21,1,129,21,1,8,21,1,146,21,1,9,21,1,110,8,7,19,21,0,2,17,21,1,143,21,0,2,17,17,25,21,0,1,21,1,147,21,0,2,17,14,21,0,2,21,1,114,16,22,0,2,12,14,21,0,1,21,1,105,16,22,0,3,11,14,21,0,2,21,0,3,21,1,12,21,1,102,8,21,1,99,21,1,146,19,16,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,1,21,1,148,31,0,3,21,1,127,16,21,1,5,21,1,129,21,1,8,21,1,146,21,1,9,21,1,110,8,7,19,21,0,2,17,21,1,143,21,0,2,17,21,1,90,16,17,25,21,0,2,21,1,105,16,21,1,8,21,1,109,7,0,24,17,22,0,3,11,14,21,0,3,21,1,107,0,23,17,0,5,0,163,17,14,21,0,1,21,1,105,16,21,1,107,31,0,3,17,0,5,0,164,17,14,21,0,1,21,1,145,21,1,11,21,0,2,8,21,1,114,21,1,9,21,1,104,21,1,102,0,23,19,21,1,13,21,1,152,21,1,12,21,1,88,21,1,142,7,8,8,8,21,1,114,21,1,7,0,25,7,21,1,143,21,1,72,19,19,9,21,1,10,21,1,145,8,21,0,2,17,25,21,0,1,15,203,21,0,5,21,1,155,21,0,1,21,0,4,21,0,2,17,17,7,21,0,2,17,25,21,0,1,21,1,183,16,25,21,0,4,22,0,6,11,14,0,23,15,204,0,21,21,1,7,15,205,7,8,21,0,2,17,22,0,7,11,14,21,0,1,21,0,5,21,0,2,17,22,0,8,11,14,15,206,22,0,9,11,14,21,0,1,31,0,9,15,207,3,2,21,1,156,21,0,8,21,1,16,16,8,16,25,0,25,21,1,93,21,0,2,21,1,104,16,17,21,1,127,16,21,1,101,0,25,17,22,0,3,11,14,21,0,1,21,1,102,16,21,1,143,21,0,2,21,1,154,21,0,3,21,1,108,0,24,17,17,17,21,1,31,21,0,2,21,1,154,31,0,3,17,8,25,0,23,21,0,1,16,25,21,0,1,0,18,21,1,104,7,16,21,1,104,21,1,143,21,1,129,19,16,21,1,31,21,0,1,21,1,143,16,8,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,71,21,0,1,17,21,1,168,16,14,31,0,6,25,21,0,1,21,1,71,16,21,1,105,0,25,17,21,1,167,16,14,21,0,1,0,18,21,1,105,7,16,21,1,105,0,24,17,21,1,29,21,1,99,7,0,24,17,21,1,168,16,14,21,0,1,21,1,143,16,22,0,3,11,14,21,0,3,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,168,16,14,21,0,1,21,1,63,21,1,130,7,0,29,17,21,1,143,16,21,1,103,21,0,3,17,21,1,29,21,1,99,7,0,24,17,21,1,168,16,14,21,0,3,0,3,16,22,0,4,11,14,0,24,21,1,107,21,0,4,17,21,1,29,21,1,99,7,0,24,17,21,1,168,16,14,31,0,4,21,1,110,16,21,1,129,16,22,0,5,11,14,21,0,5,21,1,63,0,29,7,16,21,1,143,21,0,1,21,1,63,21,1,104,7,16,21,1,129,16,17,21,1,154,31,0,5,21,1,143,31,0,3,17,21,1,48,16,17,25,21,0,2,21,1,105,16,21,1,105,0,24,17,21,1,167,16,14,21,0,2,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,2,21,1,144,16,22,0,3,11,14,21,0,1,21,1,63,21,1,104,7,21,1,10,21,1,71,8,21,0,3,17,21,1,168,16,14,21,0,1,21,1,143,21,1,10,21,1,154,21,1,11,21,1,48,8,8,31,0,3,17,25,21,0,1,21,1,14,16,21,1,168,16,14,21,0,1,21,1,105,16,21,1,105,0,23,17,21,1,168,16,14,21,0,1,21,1,155,16,25,21,0,2,21,1,105,21,1,10,21,1,109,8,21,0,1,17,22,0,3,11,14,21,0,3,0,24,21,1,12,21,1,107,8,21,1,99,21,1,107,21,1,11,0,23,8,19,16,21,1,168,16,14,21,0,2,0,24,21,1,104,3,2,21,1,156,21,0,3,8,16,22,0,4,11,14,21,0,1,21,1,104,16,21,1,107,21,0,4,17,21,1,168,16,14,21,0,1,21,1,154,21,1,125,21,1,11,21,0,4,8,3,2,21,1,156,31,0,3,8,16,21,1,71,21,0,2,17,21,1,168,16,14,21,0,1,21,1,126,31,0,4,17,25,21,0,1,21,1,104,16,21,1,105,0,25,17,21,1,168,16,14,21,0,1,21,1,154,16,21,1,71,21,0,2,17,21,1,168,16,14,21,0,1,21,1,154,0,24,17,25,21,0,1,21,1,104,16,21,1,105,0,24,17,21,1,168,16,14,21,0,1,21,1,154,16,25,21,0,1,21,1,105,16,21,1,105,0,24,17,21,1,167,16,14,21,0,1,0,18,21,1,16,7,16,21,1,29,21,1,99,7,0,24,17,21,1,167,16,14,21,0,1,21,1,126,21,1,11,0,24,8,21,1,107,21,1,126,21,1,11,0,29,8,19,21,1,29,21,1,99,7,0,24,19,16,21,1,168,16,14,21,0,1,0,3,16,25,21,0,1,21,1,20,21,1,10,21,0,4,21,1,62,0,18,21,0,4,7,8,8,21,0,2,17,25,21,0,5,14,21,0,1,21,0,4,21,0,2,17,25,21,0,1,21,1,183,16,25,21,0,2,21,1,12,21,0,1,8,0,21,21,0,2,21,0,1,9,8,25,21,1,155,21,1,11,0,24,8,21,0,1,21,1,12,15,208,8,21,1,155,21,1,11,0,23,8,19,25,21,1,5,21,1,9,21,1,71,8,21,1,102,0,23,19,21,1,168,9,21,1,6,21,1,63,21,1,157,21,0,1,7,7,19,25,21,1,5,21,1,9,21,1,71,8,21,1,102,0,23,19,21,1,168,9,21,1,6,0,23,21,1,9,21,1,167,8,0,21,21,1,174,21,1,157,21,0,1,7,7,8,19,25,21,1,5,21,1,9,21,1,105,8,21,1,102,0,23,19,21,1,168,9,21,1,6,21,1,88,21,1,157,21,0,1,7,21,1,5,21,1,11,21,1,14,21,1,9,21,1,168,8,8,9,7,19,25,21,1,63,21,1,157,21,0,1,7,7,25,21,1,5,21,1,9,21,1,105,8,21,1,102,0,23,19,21,1,168,9,21,1,6,21,1,5,21,0,1,21,1,130,19,0,21,21,1,104,21,1,102,0,24,19,21,1,159,21,1,126,21,1,11,0,24,8,21,0,1,21,1,126,21,1,11,0,29,8,19,21,1,143,21,1,154,19,8,8,19,25,21,0,1,21,1,1,16,25,21,0,1,21,0,2,16,25,21,1,155,21,1,11,0,24,8,21,0,1,21,1,12,15,209,8,21,1,154,21,1,11,0,23,0,25,3,2,8,19,25,21,0,1,21,1,7,15,210,7,3,2,21,1,156,21,1,105,21,1,11,21,1,7,21,1,175,7,8,8,25,21,1,157,21,0,2,7,22,0,3,11,14,21,0,3,21,1,11,21,0,1,8,0,21,31,0,3,8,21,1,157,21,0,1,7,9,25,21,0,1,21,1,161,21,1,157,21,0,2,7,8,25,21,0,1,21,1,159,21,0,2,8,21,1,170,21,0,1,21,1,109,16,21,1,159,21,0,2,8,8,25,21,0,1,21,1,109,16,21,1,159,21,0,2,8,25,21,1,157,21,0,1,7,0,21,21,1,157,21,0,2,7,8,25,21,1,157,21,0,1,7,21,1,11,21,0,2,8,25,21,0,1,0,21,21,1,169,8,25,21,1,157,21,0,2,7,21,1,157,21,0,1,7,9,0,21,21,0,1,21,1,7,0,23,21,1,9,21,1,167,8,7,15,211,3,2,21,1,156,21,1,5,21,1,9,21,1,179,8,8,21,0,2,17,8,25,21,0,1,22,0,3,22,0,4,22,0,5,4,3,11,14,21,1,179,21,1,110,9,22,0,6,11,14,31,0,5,15,212,15,213,21,1,7,21,1,169,7,3,2,21,1,156,21,1,5,21,1,9,21,0,6,8,8,3,2,21,1,156,21,1,6,21,1,9,31,0,6,8,8,31,0,3,17,25,21,0,1,21,1,1,16,25,21,1,5,21,1,71,21,1,9,21,1,168,8,21,0,1,19,21,1,6,21,1,5,19,25,21,0,1,21,1,183,16,21,1,5,15,214,3,2,21,1,156,0,23,21,1,5,21,1,9,21,1,1,8,21,1,154,0,23,0,34,3,2,19,21,1,72,0,30,21,1,175,3,2,19,3,2,21,1,156,21,1,72,21,1,11,21,1,7,21,1,169,7,8,21,1,99,21,1,72,19,8,8,21,0,1,17,25,21,1,102,21,1,145,21,0,1,19,21,1,155,9,22,1,2,12,14,21,0,1,21,1,3,3,2,25,21,0,1,25,21,0,1,25,21,0,1,14,21,1,7,21,2,165,16,25,0,24,0,7,21,1,6,17,22,1,6,12,14,21,0,1,0,16,21,1,6,17,25,21,1,8,21,1,7,21,1,5,0,16,21,0,1,17,17,22,1,8,12,25,21,0,1,21,2,2,16,25,21,0,1,21,2,2,16,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,0,17,16,21,2,29,0,8,21,2,11,21,0,1,0,14,16,21,2,12,0,16,8,0,12,21,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,84,17,14,21,0,5,21,2,29,0,8,7,0,24,17,0,17,16,0,18,21,0,1,0,15,16,21,2,12,0,16,8,21,0,4,21,0,2,0,15,16,21,2,12,0,16,8,19,7,16,0,15,31,0,5,17,25,21,0,2,0,14,16,22,0,5,11,14,21,0,2,0,12,16,22,0,6,11,14,21,0,1,0,14,16,22,0,7,11,14,21,0,6,0,17,16,21,2,29,0,8,21,2,11,21,0,7,21,2,12,0,16,8,0,12,31,0,5,21,2,12,0,16,8,19,8,7,0,24,17,0,5,0,85,17,14,21,0,6,0,7,21,0,1,0,12,16,17,0,17,16,21,2,29,0,8,21,2,11,0,6,21,2,11,31,0,6,8,21,2,8,0,16,7,21,0,7,19,8,7,0,24,17,22,0,8,11,14,21,0,2,0,15,16,22,0,9,11,14,21,0,1,0,15,16,22,0,10,11,14,21,0,8,0,17,21,2,10,0,18,21,2,7,31,0,10,7,0,16,0,6,21,2,11,0,8,21,2,11,31,0,8,8,8,19,21,0,4,21,0,9,21,2,12,0,16,8,19,7,8,31,0,9,21,2,27,16,17,0,15,16,0,15,31,0,7,17,25,21,0,1,21,2,39,21,0,4,7,21,0,2,17,25,21,0,1,0,18,15,215,21,0,2,7,7,16,25,21,0,2,0,18,15,216,21,0,1,7,7,16,25,21,2,18,0,16,21,2,21,19,21,2,18,21,2,40,19,22,0,3,11,14,21,0,1,21,2,27,21,2,10,21,0,3,8,21,0,2,17,22,0,4,22,0,5,4,2,11,14,21,0,1,21,2,37,21,2,11,21,2,27,21,2,63,0,6,7,21,0,5,0,17,16,0,18,0,6,21,2,11,0,24,8,0,7,9,7,16,19,8,21,2,10,15,217,8,21,0,2,17,22,0,6,11,14,31,0,6,21,0,4,3,2,25,21,0,2,22,0,3,11,14,21,0,1,22,0,4,11,14,15,218,21,1,7,3,2,21,2,4,0,12,21,2,11,21,1,6,8,8,22,0,5,11,14,0,23,21,0,5,16,25,21,1,6,0,8,0,25,17,0,13,21,0,1,21,2,29,21,2,24,7,16,22,1,10,12,0,7,21,0,1,21,2,29,21,2,25,7,16,22,1,9,12,17,17,25,21,0,1,14,21,2,8,0,23,7,21,2,23,0,23,21,2,43,21,1,8,21,2,12,0,16,8,21,2,10,21,0,4,8,7,21,1,7,17,19,22,0,5,11,14,21,2,5,21,1,6,3,2,21,2,4,0,13,21,2,11,21,1,6,8,8,22,0,6,11,14,0,23,0,12,21,1,6,17,0,6,21,1,6,17,0,2,0,25,17,21,2,25,16,22,0,7,11,0,17,16,0,18,21,2,5,0,6,0,24,19,0,7,31,0,7,19,0,10,0,25,19,7,16,21,2,29,15,219,7,21,1,6,0,17,16,17,25,15,220,22,0,3,11,14,0,29,21,0,3,0,24,0,6,21,0,1,17,17,0,6,0,24,17,25,21,0,2,21,2,46,21,0,1,21,2,12,21,1,13,8,7,16,25,21,0,1,0,18,21,2,16,7,16,21,2,29,0,8,7,0,24,17,0,5,0,91,17,14,0,24,0,7,21,1,3,17,22,0,3,11,14,21,2,5,0,7,21,0,3,19,21,2,8,0,16,7,21,1,3,0,17,16,0,18,0,7,21,2,11,21,0,3,8,7,16,0,19,21,2,5,21,2,8,0,16,7,21,0,1,19,0,12,0,23,19,0,8,0,7,19,0,6,21,2,5,19,7,16,19,22,0,4,11,14,21,0,1,0,19,0,6,7,16,21,2,12,0,16,8,22,0,5,11,14,0,23,21,0,4,16,22,0,6,11,21,0,5,16,22,0,7,11,14,31,0,3,21,0,5,16,0,17,16,0,18,15,221,7,16,25,21,0,1,0,7,21,1,3,17,0,17,16,0,18,0,6,21,2,11,21,0,1,8,7,16,25,21,0,1,0,1,21,0,2,19,25,21,0,2,0,20,21,0,1,21,2,111,21,0,2,17,8,25,21,2,5,21,2,14,9,0,12,21,2,10,0,12,8,0,14,21,2,10,21,2,63,0,12,7,8,21,2,29,0,8,7,0,24,19,3,3,21,2,29,15,222,7,16,22,0,3,11,14,15,223,22,0,4,11,14,21,2,18,21,0,4,15,224,3,2,21,2,4,21,2,5,21,2,9,21,2,29,31,0,3,7,8,8,3,2,21,2,4,21,2,5,0,16,0,23,19,21,2,14,9,8,22,0,5,11,14,0,23,22,0,6,11,14,21,0,1,15,225,16,14,21,0,1,21,0,2,3,2,21,0,5,0,23,17,22,0,7,11,14,21,0,6,0,17,16,0,18,15,226,7,16,22,0,8,11,14,31,0,8,31,0,4,0,12,21,0,7,17,21,2,13,21,2,7,21,2,64,7,8,16,25,15,227,21,2,11,21,0,2,8,22,0,3,11,14,15,228,22,0,4,11,14,15,229,21,2,11,0,23,8,22,0,5,11,14,21,0,1,21,2,7,21,0,2,7,0,16,0,23,19,0,16,0,24,19,31,0,5,3,2,21,2,4,21,1,7,21,2,9,21,2,14,8,8,16,25,21,1,6,21,0,1,16,25,21,0,4,22,0,6,11,14,21,0,1,22,0,7,22,0,8,22,0,9,4,3,11,14,21,0,5,21,2,14,21,2,23,31,0,8,19,21,2,13,15,230,21,2,9,21,1,6,8,8,16,31,0,7,21,0,2,17,22,0,10,11,14,31,0,10,31,0,9,21,2,13,15,231,8,16,25,21,0,1,15,232,21,0,1,21,0,2,21,0,4,3,3,7,3,2,21,2,4,21,2,5,21,1,8,9,8,25,21,1,5,0,21,21,0,1,8,25,21,0,1,0,21,21,1,5,8,25,21,1,5,21,0,1,3,2,21,2,4,21,0,4,0,7,0,24,19,21,2,10,0,8,0,21,21,2,5,8,8,8,25,21,0,1,22,0,3,11,14,15,233,25,21,0,1,22,0,3,11,14,15,234,25,21,0,2,21,0,1,16,25,21,0,1,21,2,63,21,1,18,7,16,25,21,0,1,21,0,2,16,25,21,0,1,0,12,21,2,11,21,1,4,8,0,7,0,24,19,21,2,13,15,235,8,16,14,21,1,5,0,16,0,24,0,6,21,1,3,17,22,1,3,12,17,25,21,0,2,22,0,5,11,14,21,0,4,22,0,6,11,14,21,0,1,0,18,15,236,7,16,25,21,0,2,22,0,3,11,14,21,1,9,0,16,21,0,1,17,22,0,4,11,14,21,1,5,0,18,0,16,21,2,11,21,0,1,8,7,16,22,0,5,11,14,21,0,4,0,17,16,0,18,21,2,7,21,0,5,7,0,16,0,8,21,2,11,21,0,3,8,19,7,16,22,0,6,11,14,31,0,3,0,17,16,0,18,21,2,6,7,21,0,6,17,0,18,21,2,5,7,21,1,10,0,17,16,17,0,15,16,21,2,63,0,12,7,31,0,5,17,21,2,29,0,8,7,0,24,17,0,5,0,105,17,14,21,0,6,21,2,50,16,22,0,7,11,14,21,0,7,21,2,27,16,0,17,16,0,18,21,0,6,21,1,8,0,6,7,0,23,17,21,2,37,21,0,7,17,21,2,12,0,16,8,21,2,12,0,7,8,7,16,22,0,8,11,14,31,0,8,0,18,21,2,5,7,21,1,12,17,21,2,63,0,6,7,21,0,7,0,18,31,0,6,21,2,12,0,16,8,21,2,12,0,8,8,7,21,1,12,17,17,22,1,12,12,14,31,0,7,0,18,0,6,21,2,11,21,0,4,21,2,12,0,8,8,8,7,21,1,11,17,22,1,11,12,14,31,0,4,0,8,22,1,10,13,25,21,0,4,0,16,21,0,1,17,0,16,21,0,2,17,25,21,2,37,21,2,11,21,1,7,0,7,21,1,6,17,0,17,16,0,18,0,6,21,2,11,21,1,7,8,7,16,8,22,0,3,11,14,21,1,5,0,16,0,23,17,21,0,3,16,22,0,4,11,14,21,1,5,0,18,31,0,3,21,2,63,0,12,7,21,0,4,19,21,2,29,0,8,7,9,7,16,21,2,29,0,8,7,0,24,17,0,5,0,106,17,14,21,0,4,21,2,29,0,8,7,16,22,0,5,11,0,17,16,0,15,31,0,4,17,22,0,6,11,14,21,0,6,0,18,21,2,6,7,21,0,1,17,21,1,13,31,0,6,0,18,0,6,21,2,11,0,8,21,2,11,31,0,5,8,8,7,21,0,2,17,17,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,21,1,6,17,14,21,0,2,21,2,17,16,22,0,2,12,14,21,0,2,0,18,21,2,15,7,16,21,2,29,0,8,7,0,24,17,0,5,21,1,7,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,1,21,2,72,16,21,2,27,21,2,12,21,2,23,8,21,2,13,15,237,8,21,0,3,17,22,0,4,11,14,15,238,22,0,5,11,14,0,23,21,2,22,16,22,0,6,11,14,0,24,22,0,7,11,14,15,239,22,0,8,11,14,0,23,22,0,9,11,14,21,0,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,15,240,21,1,4,15,241,7,31,0,8,21,2,6,19,3,2,21,2,4,21,1,3,8,21,0,4,21,2,12,0,16,8,19,7,16,22,0,10,11,14,21,0,1,21,2,20,16,21,2,5,0,20,0,15,21,2,11,21,0,4,8,15,242,3,2,21,2,4,21,0,6,0,12,16,21,2,22,0,23,17,8,8,16,25,21,0,1,0,12,16,0,13,21,1,3,17,0,5,0,120,17,14,21,0,2,0,18,21,2,16,7,16,21,2,29,0,8,7,16,0,5,0,121,17,14,21,0,1,21,2,72,16,22,0,3,11,14,21,1,3,0,17,16,0,18,21,0,2,21,2,12,0,16,8,0,7,21,0,3,21,2,12,0,16,8,19,0,6,0,24,19,7,16,22,0,4,11,14,21,0,4,0,18,0,13,21,2,11,0,23,8,7,16,21,2,29,0,8,7,16,0,5,0,122,17,14,21,0,3,21,2,37,21,1,3,0,7,21,2,11,21,2,27,8,21,0,3,17,0,17,16,0,18,0,6,21,2,11,21,1,3,8,7,16,17,22,0,5,11,21,2,29,0,8,7,0,24,17,22,0,6,11,14,0,24,0,7,21,1,3,17,15,243,16,21,2,35,21,0,6,3,1,17,0,19,0,8,7,16,21,2,53,16,22,0,7,11,14,21,0,2,21,2,5,21,2,63,15,244,7,31,0,7,19,21,2,29,0,18,0,6,7,7,9,21,2,10,0,18,0,6,7,8,31,0,4,17,0,24,21,2,12,0,12,8,0,7,0,24,19,21,2,13,21,2,8,0,17,0,15,31,0,5,19,21,2,12,0,18,0,6,7,8,7,8,31,0,6,17,0,18,21,0,1,0,15,16,21,2,12,0,16,8,7,16,25,21,0,1,0,12,16,0,13,0,24,17,0,5,0,123,17,14,21,0,1,21,1,3,21,0,2,17,25,21,0,2,0,12,16,21,2,21,0,24,17,0,5,0,124,17,14,21,0,1,21,2,72,16,21,2,27,21,2,10,0,13,8,21,0,2,17,0,5,0,125,17,14,21,0,2,21,2,27,16,22,0,3,11,14,21,0,2,0,15,16,21,2,12,0,16,8,22,0,4,11,14,21,0,1,21,0,3,21,2,22,0,23,17,21,2,13,15,245,8,0,23,17,25,21,0,1,21,2,63,21,2,5,0,24,3,2,21,2,4,21,2,6,8,7,21,1,4,17,21,2,29,21,2,101,7,0,24,17,22,0,3,11,14,21,0,3,21,2,102,0,23,17,0,5,0,132,17,14,21,1,4,21,2,104,16,0,17,16,21,2,101,21,1,4,17,21,2,29,21,2,108,7,0,23,17,22,0,4,11,14,21,1,3,0,16,31,0,4,17,21,2,112,16,22,0,5,11,14,0,32,21,2,102,21,0,5,17,0,5,0,133,17,14,21,2,105,21,2,11,21,2,97,8,0,5,0,134,19,21,2,6,21,2,5,19,22,0,6,11,14,21,0,3,21,2,93,21,1,7,17,31,0,6,21,2,97,21,2,98,3,3,21,2,4,21,0,5,21,2,97,0,25,17,8,16,22,0,7,11,14,21,1,3,21,2,63,21,2,5,21,0,7,3,2,21,2,4,21,2,6,8,7,21,1,4,17,22,1,3,12,14,31,0,7,21,2,101,31,0,3,17,31,0,5,21,2,105,0,27,17,21,2,13,21,2,102,21,2,11,21,1,7,8,21,2,13,15,246,8,8,16,25,21,1,8,0,17,16,0,18,21,2,6,7,21,2,11,0,1,21,2,9,21,2,102,8,8,15,247,3,2,21,2,4,21,1,7,21,2,102,0,23,17,8,21,0,1,17,25,21,0,1,21,2,16,16,0,5,0,135,17,14,21,0,1,0,17,16,25,21,0,1,21,2,105,16,21,2,105,0,24,17,0,5,0,136,17,14,21,0,1,0,18,21,1,3,7,16,21,2,29,0,18,21,2,35,21,2,11,21,2,114,8,7,7,3,0,21,2,102,16,17,0,1,21,0,1,0,18,0,23,7,16,17,25,21,1,9,21,1,7,21,2,108,21,0,4,17,7,22,0,5,11,14,21,0,1,21,2,63,21,0,5,7,21,2,6,21,2,9,0,18,21,0,1,21,2,12,21,0,5,8,7,8,21,2,5,21,2,9,0,18,21,2,5,31,0,5,21,0,2,19,7,8,21,1,8,3,4,21,2,4,21,2,71,21,2,10,21,2,18,8,21,2,106,21,0,4,21,2,98,0,23,17,19,21,2,100,0,23,21,2,106,21,0,4,17,21,2,99,21,1,7,17,19,21,2,113,0,25,19,21,2,29,21,2,108,21,2,11,0,25,21,2,12,21,2,101,8,8,7,9,8,21,0,2,17,25,21,0,1,21,2,72,16,21,2,37,21,0,2,0,17,16,17,22,0,3,11,14,21,0,1,21,2,34,21,0,2,17,22,0,4,11,21,2,29,21,2,101,7,0,24,17,22,0,5,11,14,21,0,5,0,17,16,21,2,114,31,0,4,17,22,0,6,11,14,21,0,1,15,248,0,20,21,2,7,21,0,3,21,2,29,21,2,101,7,0,24,17,0,17,16,0,18,21,2,5,21,2,101,31,0,5,19,21,2,108,21,0,6,19,21,2,8,21,2,37,7,21,0,1,21,2,114,16,19,7,16,21,2,114,31,0,3,17,7,8,16,25,21,0,1,21,2,72,16,21,2,82,0,24,17,22,0,3,11,14,15,249,22,0,4,11,14,21,1,5,21,2,7,21,0,1,7,21,2,114,31,0,4,19,21,2,165,21,2,12,21,2,113,8,3,2,21,2,4,21,2,5,21,2,9,21,2,33,21,2,9,21,2,110,8,8,8,31,0,3,17,25,21,0,1,21,2,88,21,2,102,7,16,21,2,29,21,1,5,7,21,0,2,17,25,21,0,2,21,2,105,21,1,4,17,25,21,1,3,21,2,108,22,1,4,13,14,21,0,1,21,2,108,0,24,17,25,21,2,5,21,1,5,21,0,1,0,16,21,0,2,17,19,22,1,5,12,14,21,0,1,21,2,125,21,0,2,17,25,21,0,1,14,21,1,7,0,16,21,1,8,17,21,2,5,0,24,21,2,108,21,1,8,17,22,1,8,12,17,25,21,0,1,21,2,114,16,21,1,3,16,0,18,21,0,1,21,2,72,16,21,2,127,16,21,2,114,16,21,2,12,21,2,37,8,7,16,25,21,0,2,21,2,105,16,21,2,8,21,2,109,7,0,24,17,22,0,3,11,14,21,0,3,21,2,107,0,23,17,0,5,0,156,17,14,21,0,1,21,2,105,16,21,2,107,21,0,3,17,0,5,0,157,17,14,21,0,1,21,2,20,16,21,2,5,21,2,9,21,0,3,21,2,139,0,23,8,8,21,2,5,21,0,3,21,2,139,21,2,102,8,3,2,21,2,4,21,0,3,21,2,102,0,23,17,8,21,2,10,0,18,21,2,72,7,8,21,1,3,9,3,2,21,2,4,21,0,2,21,2,104,16,21,2,102,0,23,17,8,15,250,3,2,21,2,4,21,2,114,21,2,9,21,2,104,8,21,2,102,0,28,19,21,2,10,21,2,99,8,8,21,0,2,17,25,21,0,1,25,15,251,21,2,7,21,0,2,7,7,25,21,2,6,21,0,1,9,25,0,23,22,0,3,11,22,0,4,11,14,21,1,8,21,2,39,15,252,7,16,14,21,0,1,3,1,22,0,5,11,14,15,253,21,2,11,21,1,7,8,22,0,6,11,14,21,0,3,21,0,6,21,1,6,17,22,0,7,11,14,21,0,4,21,2,109,16,21,0,5,31,0,6,21,2,11,21,2,183,8,3,2,21,2,156,21,2,102,21,2,11,0,23,8,8,21,1,6,17,22,0,8,11,14,21,1,8,21,2,39,21,2,7,31,0,7,31,0,8,3,2,7,21,2,155,0,23,21,2,12,21,2,102,8,19,21,2,155,21,2,96,19,7,16,25,21,1,8,21,2,127,16,21,2,29,21,2,5,21,2,9,21,1,6,21,1,7,16,8,7,21,0,1,17,25,21,0,2,21,0,1,16,25,21,0,2,21,2,29,21,0,1,7,16,25,21,0,2,21,2,175,21,0,1,8,25,21,2,5,15,254,21,0,2,7,21,0,1,19,25,21,2,5,21,2,157,21,1,4,7,21,0,2,19,15,255,21,2,157,21,0,1,7,8,25,21,2,5,15,256,21,1,4,7,21,0,1,19,21,2,157,21,0,2,7,9,25,21,0,1,21,2,170,21,0,2,8,21,2,175,21,0,1,8,25,21,0,1,21,2,2,21,0,4,17,25,21,0,4,21,2,2,21,0,1,17,25,21,0,1,21,3,63,0,12,7,21,0,2,17,0,19,0,8,7,16,21,3,29,0,6,7,0,23,17,22,0,3,11,14,21,0,2,21,3,37,21,3,11,0,17,8,21,0,3,17,21,3,29,0,8,7,0,24,17,22,0,4,11,14,31,0,3,21,3,23,21,3,11,21,1,5,8,21,3,13,21,0,2,21,0,1,3,2,21,3,12,21,3,63,0,16,7,8,21,3,9,15,257,8,8,16,14,21,0,4,25,21,1,4,0,6,21,3,11,21,0,1,8,21,3,10,21,2,5,8,21,1,3,17,0,12,21,3,11,0,23,8,21,3,13,21,0,1,0,6,0,24,17,21,3,9,21,1,5,8,8,16,25,21,0,2,22,0,3,11,0,7,16,22,0,4,11,14,0,23,22,0,5,11,22,0,6,11,22,0,7,11,14,0,27,22,0,8,11,14,21,0,1,0,24,0,12,21,2,7,17,0,7,0,24,17,21,3,13,0,18,0,8,21,3,11,21,2,7,8,7,8,16,21,3,12,0,16,8,21,3,10,21,1,5,8,22,0,9,11,14,21,0,9,0,23,0,24,0,25,3,4,22,0,10,11,14,0,6,15,258,3,2,0,16,21,0,3,0,13,0,28,17,17,22,0,11,11,14,15,259,22,0,12,11,14,15,260,15,261,31,0,12,3,3,21,3,4,15,262,8,22,0,13,11,14,21,0,1,0,18,21,0,1,21,3,12,15,263,8,7,16,25,21,0,1,0,24,21,3,12,21,3,23,8,21,3,13,15,264,8,21,0,2,17,25,21,1,6,21,1,7,0,12,21,0,1,17,21,3,13,15,265,8,16,25,0,23,21,0,1,3,2,21,3,4,21,0,2,8,25,21,0,0,0,23,3,2,25,21,0,2,22,0,3,11,14,21,0,1,21,3,63,0,15,7,16,22,0,4,11,0,16,0,23,17,21,3,27,16,22,0,5,11,14,0,29,22,0,6,11,14,31,0,4,21,3,12,21,3,63,0,16,7,8,21,3,12,21,1,5,8,22,0,7,11,14,15,266,25,21,0,1,15,267,0,18,21,0,0,7,3,2,21,3,4,21,3,14,8,16,25,21,0,1,21,1,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,1,7,12,14,31,0,4,25,21,0,1,21,3,14,0,7,0,24,19,21,3,13,21,3,22,8,16,22,0,1,12,14,21,0,1,0,14,16,22,0,3,11,21,3,29,0,8,7,0,24,17,22,0,4,11,14,21,0,2,0,18,0,16,21,3,11,0,23,8,7,16,22,0,5,11,14,21,0,5,0,23,21,3,45,21,3,40,8,16,22,0,6,11,14,21,0,6,0,18,21,0,2,21,3,12,0,16,8,0,16,0,24,19,7,16,22,0,7,11,14,21,3,7,31,0,5,7,0,16,21,0,6,21,3,12,0,16,8,19,21,0,4,3,2,21,3,4,0,13,21,3,11,31,0,6,21,3,27,16,8,8,22,0,8,11,14,0,23,22,0,9,11,21,0,8,16,22,0,10,11,14,31,0,4,0,17,16,0,18,21,0,1,0,15,16,21,3,12,0,16,8,15,268,3,2,21,3,4,15,269,8,7,16,0,15,31,0,3,17,25,21,0,1,21,3,63,21,3,6,0,12,21,0,1,21,0,5,16,19,21,3,13,21,0,4,8,7,21,0,1,21,3,27,16,0,17,16,17,25,21,0,1,0,15,21,3,9,21,3,7,21,2,7,7,0,16,21,0,2,19,21,1,4,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,8,8,0,15,0,14,19,21,1,3,3,2,21,3,4,21,2,7,21,3,27,16,21,3,21,21,0,2,17,8,16,25,21,0,1,3,1,3,0,21,3,35,3,2,21,3,4,21,3,6,21,3,14,9,8,21,1,6,17,22,1,6,12,25,21,0,1,21,2,7,21,1,6,8,25,21,0,4,21,0,1,21,0,2,17,25,0,23,21,3,7,21,1,3,21,0,1,7,7,16,21,2,16,16,25,0,23,21,3,7,21,0,2,21,1,3,21,0,1,8,7,16,21,2,16,16,25,21,0,1,22,2,4,12,21,3,8,0,16,7,21,2,6,17,22,2,5,12,14,0,29,22,2,3,12,25,21,1,5,22,0,3,11,14,21,0,1,21,1,6,22,1,5,13,14,31,0,3,25,21,0,1,21,3,35,21,0,1,21,3,27,16,0,7,21,0,2,17,0,17,21,3,9,0,18,0,24,7,8,16,17,25,21,0,1,0,18,0,6,7,21,0,2,0,18,21,0,4,21,3,12,0,8,8,7,16,17,25,21,0,1,0,24,21,3,12,0,12,8,0,7,0,24,19,21,3,13,21,1,5,21,0,2,7,21,3,11,0,17,8,8,21,1,7,17,21,1,5,21,0,2,0,8,21,1,7,17,7,22,1,6,13,14,0,24,22,1,7,12,14,21,0,1,21,3,27,16,25,21,0,2,0,8,22,1,7,13,14,21,0,2,25,21,0,1,14,0,24,22,1,9,12,25,21,1,3,0,7,21,1,4,21,3,27,16,17,0,17,16,0,18,0,6,21,3,11,21,1,3,8,21,3,8,0,16,7,21,1,4,19,7,16,22,0,3,11,21,3,35,22,1,10,13,14,31,0,3,21,3,29,0,8,7,21,1,7,17,0,12,21,3,11,0,24,8,0,7,0,24,19,21,3,13,15,270,8,16,14,21,0,1,0,15,16,21,3,12,0,16,8,22,0,4,11,14,21,1,9,21,3,5,21,3,13,15,271,8,21,0,1,17,14,21,1,6,0,15,21,1,10,17,0,18,21,0,4,7,16,25,21,0,1,0,17,16,0,18,0,7,21,3,11,21,0,1,8,21,3,8,0,16,7,21,1,3,19,7,16,25,21,0,1,0,17,16,0,18,0,8,21,3,11,21,0,2,8,7,16,25,21,0,1,0,24,0,7,21,1,3,17,21,3,22,21,0,2,17,21,3,13,21,3,88,21,0,0,21,3,11,21,0,2,0,6,0,24,17,8,7,8,16,21,2,3,21,0,2,21,1,4,16,17,25,21,2,7,21,3,109,21,0,1,17,0,17,16,0,18,21,2,6,0,1,16,7,16,21,3,35,22,2,6,13,14,21,2,7,25,21,0,1,21,3,96,21,2,7,17,0,18,21,2,6,21,3,12,0,16,8,7,16,25,21,1,6,0,18,21,0,1,21,3,102,16,7,16,25,21,0,2,21,3,104,16,21,3,102,0,23,17,0,5,0,141,17,14,21,0,2,21,3,104,16,0,17,16,21,3,102,0,23,17,21,3,101,21,0,2,17,25,21,0,2,21,3,49,16,21,3,128,16,22,0,3,11,14,21,0,1,21,3,48,21,0,2,21,3,37,21,0,3,17,17,21,3,8,21,3,109,7,0,24,17,21,3,98,0,23,17,21,3,8,21,3,37,7,31,0,3,17,22,0,4,11,14,21,0,1,21,1,3,21,3,139,21,3,71,8,21,0,2,21,3,37,21,0,4,17,17,21,2,2,21,3,13,21,3,101,21,3,11,21,3,109,21,3,11,31,0,4,8,8,21,3,108,21,3,6,19,8,21,0,2,21,3,104,16,17,25,21,3,6,21,0,1,21,0,4,19,25,21,0,1,21,3,15,16,0,5,0,165,17,14,21,0,1,21,3,97,21,1,4,17,22,1,4,12,14,21,0,1,21,3,98,21,1,3,17,22,1,3,12,25,21,0,1,21,3,127,16,21,3,143,21,1,5,17,0,19,21,0,2,7,16,25,21,0,1,21,3,177,16,25,21,0,1,21,0,5,16,21,0,4,21,0,2,17,25,21,0,1,21,3,177,16,25,21,0,1,21,4,29,21,2,3,7,16,22,0,3,22,0,4,4,2,11,14,31,0,3,22,2,4,12,14,31,0,4,0,8,22,1,4,13,25,21,0,1,21,1,8,0,7,0,24,17,21,4,13,21,1,9,0,7,0,24,19,21,4,13,15,272,8,8,0,24,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,24,17,22,1,4,12,0,12,21,1,6,17,0,8,0,25,17,0,6,22,1,8,13,14,21,0,2,25,21,0,1,0,6,0,24,17,22,1,7,12,0,12,21,1,5,17,0,6,22,1,8,13,14,21,0,1,25,21,0,1,21,1,10,21,4,4,21,1,8,8,21,0,2,17,25,21,0,1,0,16,21,1,7,21,1,13,21,1,4,17,17,25,0,25,0,9,21,0,2,17,21,4,24,16,22,0,3,11,0,6,21,0,1,17,22,0,4,11,21,3,2,16,22,0,5,11,14,21,0,1,31,0,4,3,2,0,16,21,0,5,17,21,2,3,21,0,3,0,8,0,25,17,0,7,21,0,2,17,0,8,31,0,5,17,0,6,31,0,3,17,17,25,0,24,0,6,21,0,1,17,21,2,4,16,22,2,6,12,21,2,5,16,22,2,7,12,14,21,2,6,25,0,24,0,6,22,1,6,13,14,21,1,6,21,1,7,21,4,11,21,4,7,21,0,0,7,8,21,4,7,21,1,3,7,3,2,21,4,4,0,13,21,4,11,21,1,5,8,8,16,22,0,3,11,14,0,23,31,0,3,16,25,21,0,1,14,0,24,0,6,22,2,6,13,25,21,0,1,14,21,1,7,0,16,21,1,9,17,22,0,3,11,14,0,23,15,273,16,22,1,10,12,14,21,0,3,25,21,0,1,0,12,21,1,10,17,25,21,0,1,0,17,16,21,2,5,21,0,1,7,22,2,6,13,25,21,4,7,21,0,2,0,1,16,7,21,1,4,3,2,21,4,4,0,13,21,4,11,0,23,8,8,22,1,4,12,25,21,0,1,14,0,25,22,2,8,12,14,21,2,4,22,2,7,12,14,21,0,1,22,2,4,12,25,21,2,9,0,6,0,24,17,22,2,9,12,21,2,8,16,21,5,5,0,12,21,2,10,19,21,5,13,15,274,21,5,9,21,0,0,8,8,16,25,21,0,1,14,21,3,7,0,16,21,3,9,17,21,6,69,21,2,3,17,0,5,0,101,17,25]
+ ,provide.concat([0,1,2,32,3,8,-1,5,-Infinity,4,Infinity,-2,'∾','+','-','×','÷','⋆','¬','⌊','⌈','∨','∧','≠','=','>','≥','⊢','⊣','˜','∘','○','⊸','⟜','⊘','◶','≢','<','≍','↕','/','»','«','⊔','⥊','↑','↓','⌽','⍉','⊏','⊑','√','¨','⌜','˘','`','˙','⌾','⍟',str("+-×÷⋆√⌊⌈|¬∧∨<>≠=≤≥≡≢⊣⊢⥊∾≍↑↓↕«»⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔!˙˜˘¨⌜⁼´˝`∘○⊸⟜⌾⊘◶⎉⚇⍟⎊%"),str("´: 𝕩 must be a list"),str("Mapping: Equal-rank argument shapes don\'t agree"),str("Mapping: Argument shape prefixes don\'t agree"),str("⍋𝕩: 𝕩 must have rank at least 1"),str("⍋ or ⍒: Rank of 𝕨 must be at least 1"),str("⍋ or ⍒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍋ or ⍒: 𝕨 must be sorted"),str("/: Replication argument must have rank 1"),str("/: Amounts to replicate must be natural numbers"),str("⌽𝕩: 𝕩 must have rank at least 1"),str("𝕨⌽𝕩: 𝕨 must consist of integers"),str("↑𝕩: 𝕩 must have rank at least 1"),str("↓𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 must have rank at least 1"),str("⊏𝕩: 𝕩 cannot have length 0"),str("𝕨⊏𝕩: 𝕨 must be an array"),str("𝕨⊏𝕩: Indices in 𝕨 must be integers"),str("𝕨⊏𝕩: Indices out of range"),str("⌾: Incompatible result elements in structural Under"),str(">𝕩: Elements of 𝕩 must have matching shapes"),str("∾𝕩: Elements of 𝕩 must all have the same rank"),str("∾𝕩: 𝕩 element rank must be at least argument rank"),str("∾𝕩: 𝕩 element shapes must be compatible"),str("∾𝕩: 𝕩 element trailing shapes must match"),str("∾𝕩: empty 𝕩 fill rank must be at least argument rank"),str("∾𝕩: 𝕩 must be an array"),str("𝕨"),str("𝕩: 𝕨 must "),str("have rank at most 1"),str("consist of integers"),str("↑"),str("↓"),str("« or »: 𝕩 must have rank at least 1"),str("« or »: 𝕨 must not have higher rank than 𝕩"),str("« or »: Rank of 𝕨 must be at least rank of 𝕩 minus 1"),str("« or »: 𝕨 must share 𝕩\'s major cell shape"),str("𝕨↕𝕩: 𝕨 must have rank at most 1"),str("𝕨↕𝕩: Length of 𝕨 must be at most rank of 𝕩"),str("𝕨↕𝕩: 𝕨 must consist of natural numbers"),str("𝕨↕𝕩: Window length 𝕨 must be at most axis length plus one"),str("First-axis primitive: 𝕩 must have rank at least 1"),str("Multi-axis primitive: 𝕨 must have rank at most 1"),str("Multi-axis primitive: Length of 𝕨 must be at most rank of 𝕩"),str("∊𝕩 or ⊐𝕩: 𝕩 must have rank at least 1"),str("≥: No monadic form"),str("≤: No monadic form"),str("∘⌊⌽↑"),str("𝕨⥊𝕩: 𝕨 must have rank at most 1"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers"),str("𝕨⥊𝕩: Can\'t compute axis length when rest of shape is empty"),str("𝕨⥊𝕩: 𝕨 must consist of natural numbers or ∘ ⌊ ⌽ ↑"),str("𝕨⥊𝕩: Shape must be exact when reshaping with ∘"),str("↕𝕩: 𝕩 must consist of natural numbers"),str("↕𝕩: 𝕩 must be a number or list"),str("⎉ or ⚇: 𝔽 result must have rank at most 1"),str("⎉ or ⚇: 𝔽 result must have 1 to 3 elements"),str("⎉ or ⚇: 𝔽 result must consist of integers"),str("˝: 𝕩 must have rank at least 1"),str("˝: Identity does not exist"),str("𝕨∾𝕩: Rank of 𝕨 and 𝕩 must differ by at most 1"),str("𝕨∾𝕩: Cell shapes of 𝕨 and 𝕩 must match"),str("𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩"),str("⊔: Grouping argument must consist of integers"),str("⊔: Grouping argument values cannot be less than ¯1"),str("⊔𝕩: 𝕩 must be a list"),str("𝕨⊔𝕩: 𝕩 must be an array"),str("𝕨⊔𝕩: Compound 𝕨 must be a list"),str("𝕨⊔𝕩: Total rank of 𝕨 must be at most rank of 𝕩"),str("𝕨⊔𝕩: Lengths of 𝕨 must equal to 𝕩, or one more only in a rank-1 component"),str("𝕨⊑𝕩: Indices in compound 𝕨 must be lists"),str("𝕨⊑𝕩: Index length in 𝕨 must match rank of 𝕩"),str("𝕨⊑𝕩: Indices in 𝕨 must consist of integers"),str("𝕨⊑𝕩: Index out of range"),str("p⊐𝕩 or 𝕨∊p: p must have rank at least 1"),str("p⊐n or n∊p: Rank of n must be at least cell rank of p"),str("⍷𝕩: Rank of 𝕨 cannot exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must have rank at most 1"),str("𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩"),str("𝕨⍉𝕩: 𝕨 must consist of natural numbers"),str("𝕨⍉𝕩: Skipped result axis"),str("⊒: Rank of 𝕨 must be at least 1"),str("⊒: Rank of 𝕩 must be at least cell rank of 𝕨"),str("⍟: Repetition numbers in 𝕨𝔾𝕩 must be integers"),str("´: Identity not found"),str("⁼: Inverse failed"),str("⁼: Inverse does not exist"),str("⁼: Inverse not found"),str("Cannot currently invert blocks"),str("Cannot invert modifier")])
+ ,[[0,1,0,185],[0,0,4098,3],[0,0,4106,3],[0,0,4110,3],[2,0,4123,6],[0,0,4150,3],[0,0,4154,3],[0,0,4158,3],[1,0,4162,5],[1,0,4170,5],[2,0,4188,6],[2,0,4203,6],[2,0,4222,6],[2,0,4244,6],[2,0,4266,6],[0,0,4298,3],[0,0,4310,3],[0,0,4319,3],[0,0,4325,3],[0,0,4342,3],[0,0,4351,3],[1,0,4360,9],[1,1,4473,2],[2,1,4504,3],[1,1,4538,2],[0,0,4555,3],[0,0,4595,4],[0,0,4671,5],[0,0,4746,3],[1,1,4763,4],[1,1,4836,3],[0,0,4914,3],[0,0,4925,4],[1,0,4995,9],[0,0,5067,5],[2,0,5151,12],[1,1,5362,3],[1,0,5386,14],[0,0,5838,4],[0,0,5892,6],[0,0,5982,3],[0,0,6007,7],[0,0,6136,4],[0,0,6197,4],[0,0,6310,3],[0,0,6378,4],[1,1,6455,2],[0,0,6488,3],[0,0,6538,4],[0,0,6680,4],[2,1,6781,3],[1,0,6824,5],[0,0,6862,3],[2,0,6866,11],[0,0,6997,3],[0,0,7005,6],[0,0,7032,5],[0,0,7053,6],[1,0,7080,19],[0,0,7589,3],[0,0,7616,3],[0,0,7642,3],[2,1,7681,3],[0,0,7750,4],[0,0,7847,7],[0,0,7894,14],[0,0,8128,5],[1,1,8225,8],[1,0,8278,6],[1,1,8386,2],[0,0,8444,5],[0,0,8606,5],[0,0,8743,7],[0,0,8912,3],[0,0,8971,4],[1,0,9038,5],[2,1,9055,4],[1,0,9098,6],[0,0,9237,3],[0,0,9264,3],[0,0,9286,3],[0,0,9308,3],[0,0,9327,9],[0,0,9492,5],[0,0,9526,3],[1,1,9623,2],[2,0,9692,10],[2,0,9751,8],[1,0,9944,7],[0,0,10011,8],[0,0,10251,5],[0,0,10341,3],[1,0,10375,9],[0,0,10530,4],[0,0,10649,10],[0,0,11113,4],[0,0,11330,3],[1,1,11348,4],[0,0,11402,4],[0,0,11510,3],[0,0,11586,3],[0,0,11641,4],[0,0,11774,4],[0,0,11896,4],[2,0,12030,6],[1,1,12058,2],[2,0,12066,10],[2,1,12141,4],[0,0,12211,3],[0,0,12218,3],[2,0,12251,7],[0,0,12292,6],[0,0,12516,4],[0,0,12622,3],[0,0,12660,5],[0,0,12804,3],[0,0,12851,3],[0,0,12877,3],[1,0,12968,5],[2,0,12996,6],[0,0,13011,3],[0,0,13019,3],[1,1,13040,2],[0,0,13069,3],[0,0,13105,3],[0,0,13153,3],[0,0,13207,3],[0,0,13219,3],[0,0,13299,3],[0,0,13307,3],[1,1,13315,2],[1,1,13348,2],[0,0,13378,4],[0,0,13415,3],[0,0,13430,3],[0,0,13459,3],[0,0,13474,3],[0,0,13492,3],[0,0,13507,3],[0,0,13517,3],[0,0,13574,7],[0,0,13653,3],[0,0,13661,3],[1,1,13686,2],[0,0,13769,3],[1,1,13797,2],[1,1,13801,2],[0,0,13805,3],[0,0,13817,3],[0,0,13840,3],[0,0,13861,3],[0,0,13869,3],[1,0,13877,6],[1,0,13994,11],[1,0,14215,5],[0,0,14230,3],[0,0,14244,3],[0,0,14258,7],[0,0,14371,6],[0,0,14419,3],[1,0,14464,8],[0,0,14602,4],[0,0,14629,3],[0,0,14648,8],[0,0,14815,3],[0,0,14841,3],[0,0,14851,3],[0,0,14868,9],[0,0,15051,6],[0,0,15126,3],[2,0,15134,11],[1,0,15211,5],[0,0,15242,3],[0,0,15252,3],[1,0,15262,5],[0,0,15295,4],[0,0,15306,4],[0,0,15317,3],[0,0,15325,3],[0,0,15337,3],[0,0,15345,3],[1,0,15389,7],[0,0,15415,9],[1,0,15701,5],[0,0,15717,7],[0,0,15884,11],[0,0,16126,8],[0,0,16438,3],[0,0,16466,5],[0,0,16561,8],[0,0,16820,3],[0,0,16867,3],[0,0,16887,3],[1,0,16953,6],[0,0,17106,7],[0,0,17248,5],[0,0,17328,3],[0,0,17351,3],[0,0,17362,3],[0,0,17383,3],[0,0,17415,3],[0,0,17446,3],[0,0,17484,4],[1,1,17661,2],[0,0,17665,3],[0,0,17676,3],[0,0,17684,9],[0,0,17830,3],[0,0,17860,3],[0,0,17868,3],[0,0,17880,3],[0,0,17891,3],[0,0,17905,3],[0,0,17930,3],[0,0,17952,3],[1,0,17970,5],[1,0,17981,5],[0,0,17992,5],[0,0,18102,3],[0,0,18154,14],[0,0,18324,3],[0,0,18347,3],[0,0,18367,3],[0,0,18382,3],[0,0,18390,8],[0,0,18461,3],[0,0,18483,5],[0,0,18512,11],[2,0,18724,6],[0,0,18763,3],[0,0,18834,3],[0,0,18866,3],[1,0,18877,5],[1,1,18888,2],[2,1,18907,3],[0,0,18929,3],[0,0,18958,4],[0,0,18981,3],[1,0,19014,5],[0,0,19040,3],[0,0,19110,3],[0,0,19124,3],[0,0,19135,5],[0,0,19271,3],[0,0,19301,3],[0,0,19321,3],[0,0,19375,3],[0,0,19410,3],[0,0,19434,3],[0,0,19449,3],[0,0,19492,5],[1,0,19621,5],[0,0,19632,3],[0,0,19675,3],[1,1,19697,2],[2,0,19705,6],[1,1,19720,2],[0,0,19728,5],[0,0,19767,3],[0,0,19806,3],[0,0,19889,3],[0,0,19923,3],[0,0,19952,3],[0,0,19970,3],[0,0,19987,6],[0,0,20067,3],[0,0,20096,4],[0,0,20157,3],[0,0,20170,4],[0,0,20202,3],[0,0,20212,3],[0,0,20230,3],[0,0,20262,3],[0,0,20289,3],[0,0,20329,3]]
 );
 
 let rtAssert = runtime[42] = assertFn("!");
author	Marshall Lochbaum <mwlochbaum@gmail.com>	2021-04-24 18:22:02 -0400
committer	Marshall Lochbaum <mwlochbaum@gmail.com>	2021-04-24 18:23:31 -0400
commit	09231a35b513400bfd0b4f04dd0aba3a96f21daa (patch)
tree	383f1085fe821ac288a0477db283e523a3a96c5f /docs
parent	96f50367f934165b010156bec3fcec79afdacb86 (diff)