608a1bea8d
wai/ops-conformance/, in integer-operators §14.1's format, written by `wai-ops vectors gen`: - vectors/<operator>.jsonl: one-operator graph vectors for every graph operator: random cases over several magnitudes, and the coverage classes of §14.1: bound-attaining inputs, rounding ties at every mode and the shifts the class names, geometry, the i32 limits and one past them, check and scalar ranges at their ends and one past, every run-time shape refusal, and the distinguishing cases (per-term igdn floors, leaky floors, softmax rows, elu(0), a half mean in layernorm_c, ε = 2^64 − 1, exp at n = 62 and 63). - stage/<operator>.jsonl: E1–E13. E1 under every mode, with each strict refusal alone and in each pair one symbol can give, under both end rules; E8 with zero tails, short streams, and escapes at bounds of 128 and 255. - graphs/: the phase form against conv_transpose (the generator checks the two outputs agree), a state carried across three decodes, a refusal at each load check (steps 1–7) and at each run step, and every lowering on a small set. - certificates/<capability>/<set digest>/<role>.whg1: the lowered graphs of every committed set and of the small sets, with certificates/index.json. Every vector's `profiles` is the profiles its graph meets under §7 and §8.3, from the generator's own tagger; a case that meets neither is not written (its load refusal is a D2b vector). The certifier must agree with every tag. `wai-ops vectors verify` recomputes every vector file, re-lowers every set and regenerates the corpus, and requires every byte to match. It passes natively, as the same binary built for wasm32-wasip2 under wasmtime, and through wai-ops/node, the recomputation as a wasm32-unknown-unknown module run by Node. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
32 KiB
JSON
1 line
32 KiB
JSON
{"conv1.weight":{"dims":[2,160,1,1],"v":[29,-32,82,44,82,12,95,25,123,-72,-15,97,-88,10,-70,-24,-63,101,72,100,-58,36,-56,-3,62,70,-41,-104,84,44,-29,-27,-44,74,2,18,126,-27,-128,12,125,51,-38,-114,85,-93,128,-102,95,54,-4,35,123,66,16,-9,94,81,-17,81,120,-84,25,-72,36,-52,-47,123,64,57,-107,8,-13,-40,-34,98,70,90,32,78,104,-85,11,-105,28,63,-17,-62,-54,63,25,-71,-76,-14,127,-11,82,-75,-99,80,33,120,114,-77,-16,81,-64,-20,88,89,96,28,112,-9,-68,7,106,128,-118,-76,54,19,-43,-43,-103,-73,55,-116,-32,121,108,71,-51,-27,15,-67,-38,104,-60,-62,-96,103,23,-106,70,-88,-126,-9,119,-81,-4,-101,72,117,99,-42,-24,8,37,58,103,-64,-124,-69,22,89,95,-20,85,-51,-24,80,9,-55,114,-83,-124,-112,78,-108,33,-57,40,38,-57,-1,-123,8,103,-9,64,-4,6,97,8,19,60,-50,45,106,-10,94,-80,96,69,106,20,4,99,-114,49,-31,24,20,124,128,87,-23,-88,71,-119,48,-47,-99,47,-7,75,120,33,-88,107,97,52,32,29,-115,-67,78,-21,27,51,-43,29,-54,-126,19,-58,33,-90,4,108,-110,-81,-126,-86,34,-124,98,57,46,15,90,-117,52,-99,-28,-106,77,69,-1,-11,36,126,70,52,-27,48,122,-15,-87,-34,-58,13,99,-103,-22,-75,49,-2,-20,-38,-78,71,-48,-49,-15,-83,-28,111,-84,71,-63,80,-30,119,56,22,-68,30,106,30,8,4,-1,23,-35,15,-68,25,121]},"conv1.bias":{"dims":[2],"v":[7,8]},"onnx::Pow_85":{"dims":[1,2,1,1],"v":[4,3]},"depthwise.weight":{"dims":[2,2,3,3],"v":[-121,-24,33,-39,-112,-15,124,5,-11,-43,-86,-73,116,-39,59,122,-120,86,48,101,-41,-76,-39,8,88,116,29,2,67,-5,113,4,116,99,112,38]},"depthwise.bias":{"dims":[2],"v":[-26268,-25357]},"onnx::Pow_91":{"dims":[1,2,1,1],"v":[8,10]},"pointwise.weight":{"dims":[2560,2,1,1],"v":[-14,-52,-78,87,-114,89,20,-116,-4,-57,-3,98,13,125,-33,-111,115,-111,124,46,-75,5,65,63,-9,85,4,-94,-108,61,35,16,-56,-67,60,-19,-28,-93,-22,84,11,95,-68,-88,73,-128,61,-119,-121,-126,123,27,49,60,-108,60,37,61,-60,-80,49,-115,-50,126,60,11,-108,117,29,44,98,-85,13,-57,-91,-72,122,-24,39,-114,-5,27,-122,-38,-17,114,16,26,-101,17,-27,51,-8,-74,33,24,13,50,19,-15,-28,-48,92,-46,-15,-68,-77,-21,-30,11,-83,-24,63,-121,78,93,60,119,60,-72,128,53,-33,-39,-68,-45,-27,75,-57,124,-109,-50,120,-81,102,-111,9,52,81,-120,-45,63,120,-48,26,17,42,-3,-16,-122,-51,26,2,-128,-77,-30,44,-84,40,22,-99,-103,91,21,117,-90,-34,113,-20,105,35,-15,-18,-101,75,117,-3,-93,-78,-11,99,-84,79,-64,2,-110,-127,-57,-45,-29,33,-114,93,49,-66,10,-68,-15,103,-48,83,86,-106,23,85,8,-22,-96,-47,33,-49,68,98,104,-82,-57,-61,-17,52,-96,-117,128,-118,-94,58,1,74,32,26,87,-35,-119,57,-71,-114,-12,20,-14,86,22,-32,-75,48,-13,8,105,-124,96,17,-107,-58,63,-84,14,79,-58,67,-20,128,24,-123,82,109,41,-13,-21,71,69,-100,104,-12,-114,-49,122,58,58,26,15,116,-39,-79,128,-64,42,73,-60,126,-42,47,8,30,52,-12,113,-13,-99,67,25,-65,122,76,-16,22,86,-66,24,32,-115,-77,12,81,29,-127,-46,-23,3,-66,8,-80,-62,-109,-55,-40,-124,-114,72,0,39,-37,-123,-94,-121,-29,50,-100,-93,104,-53,-59,112,74,57,-54,-93,97,30,-104,100,1,91,87,20,19,-45,3,62,-50,72,55,-27,78,-40,73,-25,56,19,10,102,91,64,-32,8,-58,-25,-74,123,-99,-120,-103,-51,110,-45,-21,-52,-80,-80,45,18,-105,61,38,65,-107,128,-2,-6,-21,-22,10,36,-85,7,-124,36,77,-68,60,-23,122,101,-35,-19,80,-112,71,-61,-70,104,-121,28,-53,-114,-120,-2,-31,83,52,123,-8,-44,21,-66,114,-77,-119,81,96,-112,48,-84,87,32,-123,73,108,-92,-128,81,-89,112,-103,-71,-65,-48,-55,46,104,123,-26,105,-124,-99,-66,11,-18,41,71,71,-13,-72,-104,83,68,86,22,-91,-93,-46,-46,76,26,93,37,32,8,-67,-86,27,-58,-101,-84,-119,10,77,120,93,87,116,43,-91,-93,59,-57,114,37,-76,-99,124,-95,11,110,53,-83,6,-78,-74,-64,77,93,-115,-114,-61,29,-56,82,51,-34,-89,107,44,106,54,-40,65,116,19,108,-16,-101,25,-52,40,-22,27,-80,-40,-62,120,60,2,-92,120,109,-82,59,-47,-32,-64,56,-69,-125,29,-65,-98,-28,-128,78,-104,-114,-48,99,-103,-118,96,-40,-49,51,48,-88,92,112,107,21,-7,-85,22,109,-48,-21,69,-109,-123,54,-113,-103,-124,-26,-104,-14,-105,-17,11,43,-87,125,-107,-54,-5,17,-51,83,16,53,116,86,-32,-90,53,127,-41,103,69,18,115,121,-95,-36,116,13,-2,-36,113,0,-78,-23,23,-13,-46,-101,-27,-23,-101,66,45,-43,-7,88,-18,79,26,70,-18,5,83,-44,47,4,82,20,93,60,-112,-106,-27,-91,-75,-3,-47,70,-33,50,68,-66,78,2,-59,106,92,78,-81,67,-116,13,-24,75,-52,102,-128,14,57,-23,3,120,64,-111,78,103,-57,-114,0,-120,116,-15,70,93,-105,54,26,105,-43,46,65,89,91,77,75,-79,-32,-57,-127,10,-95,59,97,1,-15,62,100,-126,-69,-104,-15,-36,-37,-73,76,31,4,-117,69,-49,-42,-120,-83,60,-51,104,17,48,4,70,90,89,87,81,108,31,-63,15,127,34,-32,44,33,9,-92,-22,91,-13,27,43,50,-90,28,30,70,-102,102,55,-92,-53,6,-35,66,-6,57,72,-55,-126,20,-101,-107,-64,84,17,-22,79,6,-71,15,-31,60,23,115,117,-115,-101,56,31,7,5,-11,86,-36,107,-125,-111,-4,49,95,47,63,24,-33,31,92,-91,-37,-104,4,51,-69,-67,-89,43,19,-76,96,21,-62,-96,-66,108,-16,-16,-85,-19,-53,67,97,1,-120,60,115,55,41,-12,-1,114,10,-37,-117,-105,107,118,9,94,-78,-8,-41,50,-59,-90,-92,57,1,52,32,-96,-120,83,115,-68,-10,121,-120,108,125,-128,118,-99,38,-33,7,-15,61,107,-40,-124,-14,-23,119,-82,34,100,97,-38,36,-124,-30,-39,-105,-22,35,-66,45,-69,-35,44,-3,26,80,-29,-23,41,-99,-35,-22,-35,-97,30,-66,98,-113,-49,-94,-121,-11,5,51,-96,-40,-3,-7,-79,86,-119,-27,-16,120,-66,30,89,-126,-123,12,1,29,11,-120,98,32,-50,-56,-89,-100,-118,68,-85,-5,124,120,84,82,-118,122,-93,71,84,-48,-41,-39,20,65,-80,-43,76,114,-84,38,-56,-97,48,-114,46,97,-53,-125,-11,54,-43,102,-29,64,44,58,-20,101,88,123,98,-64,115,-14,-30,97,-76,-108,-6,-86,41,-67,29,112,-71,-109,-109,5,51,83,-91,7,127,-120,-53,121,90,105,40,-10,90,49,-30,49,21,-13,-19,16,-2,103,25,69,17,-54,-53,-8,-40,-103,-29,111,92,6,-81,-20,101,63,-49,-3,80,6,-70,-21,38,-89,-33,41,-91,-56,86,114,-79,92,20,-60,-90,-100,122,-32,4,27,13,-4,67,-76,-17,120,-22,-103,-35,-108,1,-123,-47,46,-24,14,-75,-40,93,-84,54,-120,88,-102,97,69,-69,-49,60,-118,79,38,-40,1,35,-16,-65,15,-14,63,-53,-93,127,32,-71,117,-111,83,-122,-72,122,-58,91,-12,110,96,49,-107,92,47,-64,-115,-103,86,-78,85,0,122,9,-58,-36,8,22,106,-77,39,85,-56,98,-23,-28,5,52,-4,-33,-4,-1,-30,-109,57,-26,-123,61,113,25,-50,5,67,69,90,48,-50,-98,-80,-59,88,10,106,-19,-13,-100,40,117,-122,41,-98,123,-62,80,76,121,-5,-124,33,-90,-115,-11,28,106,-115,67,34,-96,97,25,126,99,-53,-38,-40,-34,112,81,30,-104,-8,-42,-43,118,16,-57,126,-60,100,2,-116,25,104,52,110,66,46,-103,-128,-100,-1,-113,101,-22,13,11,-28,34,31,-95,-13,-77,-50,124,34,14,-73,-59,-108,46,-58,-116,76,-15,-102,-35,23,112,-21,-57,1,59,-126,18,56,95,117,35,33,-90,-17,-70,2,59,-51,-35,82,83,83,-39,14,-117,-19,103,-84,-18,-91,-30,49,83,10,13,87,-67,-35,-28,-61,-104,-33,27,-86,-120,-3,95,-38,-18,20,-105,-115,-4,-116,-24,110,-89,118,115,-72,49,-73,-99,-92,68,-44,-96,20,-45,-75,-19,-62,-71,78,61,-68,49,-15,50,46,42,-39,-98,-75,-46,-79,-6,-70,107,18,114,98,-43,-106,-85,-101,108,-110,0,-1,119,-108,-83,51,83,125,-102,78,-80,38,-19,-65,46,-109,-40,-94,-60,48,6,30,95,-19,-33,90,69,-126,-51,128,-90,-3,-103,23,33,-122,43,-31,20,-65,-122,-47,-3,-26,-122,-111,88,55,-36,-111,53,41,111,-21,-5,0,105,0,62,67,53,75,-126,96,-52,-28,-2,-79,-19,80,-106,-78,-49,-23,33,-40,124,-43,-76,81,-100,-66,59,42,10,16,-104,-57,-112,-14,104,27,-12,35,115,-86,-50,21,9,-92,29,-98,-115,-97,-105,27,114,30,45,-56,70,11,90,-100,-31,45,6,31,-112,-21,-1,94,-120,105,25,57,-17,67,-117,26,-108,102,-98,-14,4,92,-31,34,-20,-44,100,118,-104,62,5,-100,-11,7,96,-36,-70,-88,-114,47,50,60,33,18,46,-36,67,70,-63,17,-85,-82,97,73,9,-63,125,-61,26,-39,-26,-88,-43,86,22,-92,116,-42,17,19,123,62,-2,17,-81,20,-45,59,-99,66,-116,-13,88,-45,19,96,109,106,94,47,-107,62,107,83,-70,76,-21,78,76,-62,-122,14,-1,21,-86,59,64,22,-58,-123,-18,-19,14,-120,-48,24,107,-15,26,-96,-25,-128,-40,-24,-58,105,0,33,122,120,116,-14,13,42,123,-89,58,37,-74,-59,-15,-83,-55,-122,105,109,-23,-80,-9,81,-36,-125,-77,50,80,-32,-27,-126,-56,61,112,-47,125,-5,89,62,57,11,4,-37,-78,61,-71,10,2,-42,77,5,-57,-17,18,-70,-26,-34,-57,-43,98,117,26,92,-111,104,-14,-28,-78,69,49,35,106,-45,-56,68,76,3,-33,53,-39,-61,-26,-123,-16,115,38,21,47,0,81,9,67,-68,60,-98,128,-89,-27,-103,-9,114,-31,-14,125,-88,-31,-36,112,106,-18,-69,93,56,13,-5,-95,-86,-36,-84,56,18,-115,-125,89,-79,69,44,78,94,-82,20,-106,-6,102,98,-92,65,18,90,-59,-109,106,16,-40,-114,-20,111,-16,-47,120,109,65,-4,-97,71,-4,85,-96,49,60,46,61,27,-64,-35,-80,101,11,-51,26,4,123,-43,-120,69,-78,-81,-17,-41,-37,127,126,89,-11,-54,-6,-91,81,-1,26,-75,69,-1,-37,56,-45,88,41,-62,-4,111,58,126,92,102,-116,57,64,116,120,-115,-85,-100,-57,-53,102,-107,-106,60,87,46,45,88,-78,127,-27,-102,112,56,-29,69,106,74,-108,-43,-93,-55,-19,-126,55,-93,-47,-98,10,13,-63,-75,-50,-56,61,84,122,-126,15,-47,80,-61,77,-41,10,-113,-51,63,34,95,-3,-14,-88,81,51,36,-103,-27,36,-88,-104,100,-64,-14,125,-90,-6,31,25,61,-75,14,91,99,65,67,100,93,90,-126,73,86,-44,-83,-58,-86,-108,17,-54,104,22,53,-92,65,41,110,22,103,4,-37,14,-34,-126,-19,87,109,-4,-63,28,18,76,-101,64,47,-31,-98,117,-49,49,114,84,68,-14,-44,112,-50,-100,58,111,-5,31,-112,-58,89,72,-81,95,34,-91,-76,11,54,-55,34,124,-26,52,48,-26,51,-123,-71,-83,18,-127,29,99,99,-108,-36,91,-11,1,92,56,-96,-60,-127,-61,51,107,-55,-108,115,-28,-76,76,-32,126,43,15,-55,-71,63,34,109,-73,-45,-24,-115,67,-100,22,126,116,-37,87,128,99,-13,5,70,-10,88,-128,-21,60,-51,37,-90,-61,-12,-115,107,-100,-51,123,-108,83,117,61,109,-122,7,-17,34,-98,-107,-43,-80,-15,32,-54,-4,-99,128,88,109,59,109,14,8,-17,64,-5,41,18,45,-75,44,-60,-56,-126,55,-115,64,-43,66,-111,-87,126,-92,45,126,-99,107,32,-22,-83,-51,-28,-76,106,74,12,107,76,117,-61,-17,52,-65,98,-102,-83,-3,-119,41,55,-101,67,94,90,-103,26,1,-81,-114,75,-76,-12,11,39,94,-108,-62,47,-103,-112,-127,57,-56,-114,10,106,-100,23,-63,-106,120,-25,95,124,112,-3,-117,-65,46,-27,101,3,43,-72,79,-86,-79,104,-61,28,68,78,-19,100,-108,108,-8,-42,122,-95,-14,-125,82,-101,57,5,123,86,-65,25,-4,-83,13,67,-112,-5,57,93,-5,-17,123,15,99,86,-6,-110,-28,-74,-81,120,24,64,-56,-85,104,114,9,-3,76,-65,-59,48,36,-101,35,-82,21,-59,95,5,-35,107,53,-70,-106,80,29,-58,17,-22,12,109,-113,-82,8,-74,-122,-15,-124,10,85,-96,4,-5,-119,58,34,-30,69,67,112,109,-101,-44,-91,-75,110,-54,-56,-96,-55,-79,-90,-123,-128,-122,-75,1,-18,-62,-30,53,-38,-82,65,-4,-102,-113,-25,-53,-87,21,117,84,-113,36,-125,123,40,-39,103,-55,-99,72,-83,-48,-44,-76,-53,36,-9,-47,-82,48,10,-58,85,58,88,-25,20,-63,9,-66,98,77,-1,-97,66,-91,105,104,-28,-32,44,-116,81,74,111,44,-61,-104,-31,40,40,-86,-77,24,6,80,13,2,28,-123,89,-80,-127,88,39,85,-84,22,-117,-118,11,89,50,34,31,123,-51,-122,-34,-67,27,-81,-118,-73,-66,-113,107,-21,57,79,97,-6,-26,128,42,17,52,-119,-127,-67,65,-38,104,18,30,-108,12,-21,100,-47,54,69,-121,104,38,-86,-51,90,-4,-51,-74,54,-41,48,-65,-89,-98,-99,-58,68,44,70,0,-108,-99,107,-13,-116,26,-128,-10,90,127,-8,-85,18,71,49,-81,-99,-105,-128,53,-12,93,-101,16,6,-62,8,-99,-88,-105,-70,12,54,42,97,112,115,-125,-18,13,-30,-14,-93,-123,-105,-38,-68,118,125,-52,-59,-59,57,-81,85,-2,78,-112,-38,93,37,6,-123,-6,-77,-23,-71,29,67,77,111,-107,33,-74,80,110,-5,-15,-68,-89,26,104,-70,-10,119,-84,95,-111,5,73,20,-35,25,-96,-17,69,75,11,95,-8,-93,-68,-21,49,-88,-67,-90,21,-24,-23,50,46,-18,-92,34,112,-21,8,123,127,16,-107,92,86,41,-116,-9,-82,-27,-34,75,3,-91,10,-36,-17,97,102,85,24,99,102,-117,-85,65,87,126,11,77,-83,73,43,-100,-24,-87,124,70,-107,53,56,82,-128,55,-22,30,-100,66,73,-76,113,-128,-33,-4,-7,98,-102,-64,-66,57,-26,74,-48,-44,-122,-69,-78,92,63,-49,-85,64,-94,-112,-64,-101,-1,91,-56,-40,75,-73,-6,41,73,34,-18,90,-33,-77,-124,-108,-86,77,-74,-126,-20,-76,-4,64,-37,42,-37,-18,-36,30,30,33,-87,122,-39,-79,101,26,128,-67,-85,22,-35,25,7,73,23,45,41,99,-96,45,59,-54,-60,-34,113,29,-58,-45,-64,-34,102,15,121,-70,104,72,93,-53,45,-41,-122,-89,-77,128,-95,26,96,-39,53,-4,67,106,75,-38,68,83,0,14,-10,71,-24,-59,-91,-1,7,38,76,-21,43,-35,-11,58,-88,69,-47,-65,-95,23,13,-9,-73,38,120,62,14,-105,85,-13,59,123,109,-108,-72,-128,-14,36,26,-30,22,38,-3,-63,104,-98,39,-97,12,-93,-90,7,-93,-9,-73,-120,-94,-91,0,117,61,-113,-122,-121,-68,-80,119,55,-71,-112,-49,55,88,-106,-30,41,-91,-28,-31,-44,-47,-2,-72,13,-122,-64,127,-52,-12,-17,14,108,-106,86,-54,-19,-128,-33,-70,-104,54,-104,27,119,-29,76,-124,48,-60,-62,-125,17,9,49,-24,32,-44,98,65,-83,110,107,-12,91,27,-29,19,-85,115,-118,22,112,-125,52,-41,-64,-52,48,-91,83,-43,-35,-48,40,59,80,-71,-47,3,65,89,-1,-63,-33,-38,-54,97,-78,-85,14,116,-66,-80,36,72,88,-1,-40,-59,-85,69,-124,-69,-101,114,115,49,-45,100,-70,68,41,-28,123,-3,117,37,-42,66,-33,18,-59,-62,111,-97,-40,-90,-39,-113,47,109,22,53,-8,19,-73,-60,80,-70,78,-108,63,-114,-86,55,-70,-71,-65,3,-27,83,-31,98,-123,75,-45,46,-44,99,-56,75,46,77,-116,51,79,-99,-4,111,70,-93,87,-48,47,-72,13,-82,100,104,-11,36,38,52,90,117,45,-120,6,-41,-99,-111,-30,82,-122,78,24,60,-73,92,-120,1,-24,-63,58,4,61,102,-64,-29,111,107,42,9,-7,16,57,9,60,-65,114,-92,19,-94,-52,95,-22,-121,30,63,-116,-16,-105,120,-23,54,106,-34,-123,-41,-77,25,-105,22,119,45,-128,103,7,-94,-94,-116,-122,-106,82,92,95,-121,-54,55,-64,34,37,127,69,43,-92,-110,61,-65,-36,109,-93,-6,105,6,-64,-43,-88,44,9,124,-121,99,18,117,98,-49,-43,27,-3,95,94,-78,43,25,-13,73,65,-23,123,102,33,70,-48,-64,106,-27,-44,79,111,80,-87,-35,-34,76,-90,-3,-7,11,-43,60,-86,31,74,43,-47,-72,-86,-80,48,-31,-20,-73,72,59,-62,125,-104,69,85,100,-71,6,-39,-95,-69,8,-80,93,-89,-118,74,-12,-116,86,-101,-67,89,-126,40,43,12,33,-62,-72,-33,-75,-121,-11,-32,-78,-75,128,-120,74,70,-115,118,35,-4,110,-68,48,-6,83,27,-1,94,-87,-96,110,-35,16,108,-71,73,103,-103,12,4,-123,-124,-106,-115,122,-73,72,-85,128,53,47,21,118,19,125,126,-79,-35,-30,-72,-36,-54,-59,-97,-49,105,-64,89,-92,-21,63,29,-29,-106,-47,-39,-37,68,126,28,77,-118,-50,-122,120,104,-69,70,-30,-106,-37,4,98,117,120,93,-79,96,4,122,75,2,54,-65,16,42,127,22,-85,19,-68,34,-33,-105,-111,-48,63,-115,16,-117,126,-20,70,73,-3,25,50,117,26,50,-117,35,30,-73,-127,-32,-122,100,128,-83,-54,-23,-11,-106,-113,-98,93,40,49,-110,58,123,106,-86,47,123,-91,82,45,27,-18,2,-39,124,-122,-77,50,6,121,-7,37,86,113,86,25,-32,53,-71,-5,98,-49,42,-25,73,-52,98,97,116,122,-113,-113,58,-10,94,3,71,-102,72,91,115,56,69,-128,44,74,-62,40,55,23,60,64,-58,-87,-35,89,116,84,60,-42,-60,-91,-77,51,-57,67,-27,-12,70,97,-74,29,92,-127,-99,38,-37,-19,97,-9,82,-111,70,86,-1,26,27,-9,14,90,71,93,-19,12,96,76,-15,39,-19,2,-7,-54,30,117,-31,86,45,-2,-74,124,-6,76,-100,5,81,-102,-31,-96,122,-15,59,1,-74,-45,-27,-90,-76,-57,84,-57,45,10,-65,-16,4,88,120,-72,-39,-33,-83,-2,21,34,-106,-18,-127,-101,-54,-58,73,-96,14,-101,-78,18,72,-30,7,-63,100,29,108,-36,69,-99,127,103,-29,59,-73,52,-112,99,-96,94,-39,-115,-86,45,-32,-110,-5,85,102,-120,-94,89,17,-125,-121,-101,-72,14,21,-74,94,72,77,124,-81,-121,88,-100,70,59,-43,-18,101,106,58,61,-48,-9,-74,58,-29,81,-116,109,-82,59,-71,-103,-51,-59,-104,105,-113,-69,118,48,109,-79,98,-128,62,-76,9,-64,127,-43,-12,-128,17,47,29,64,-122,-34,29,-94,-76,4,35,10,-126,-82,-86,-67,-106,-33,47,83,20,-97,68,62,70,-103,-127,47,-14,-6,2,22,56,50,-2,16,111,32,-7,107,69,-9,28,-8,55,40,-124,44,15,-90,-101,-59,85,123,2,-50,-33,-75,-38,8,103,84,-101,-13,-28,-79,-88,-26,45,28,31,-66,-18,-44,49,-46,-88,-7,43,-108,76,-99,-23,39,-9,62,-89,68,16,1,124,-78,-73,-84,-88,-28,-12,-33,67,118,-121,-114,-45,-102,-8,-94,-21,-6,31,94,89,125,8,-115,68,41,-23,-46,-25,34,93,18,-33,62,-3,88,-99,-52,66,-28,65,45,-91,117,-98,-74,-112,39,-9,-72,81,87,81,2,6,-70,-126,-53,118,124,21,75,49,45,-89,-61,42,92,-124,-94,15,45,-9,22,-51,-1,70,53,125,65,-95,67,106,-8,-43,-36,128,-19,-121,116,109,-81,67,89,-74,25,-67,-46,-9,-114,-2,34,119,60,-48,51,67,75,-110,-56,-66,-95,125,55,121,84,-104,-116,-55,6,83,-48,78,17,-1,-28,128,-53,-60,42,-85,-113,51,120,-35,70,44,-40,41,3,40,127,119,-36,75,9,35,-15,7,-109,-50,-110,-127,51,-101,44,13,-96,110,39,-98,-46,-21,28,101,25,94,-101,-88,76,-57,-76,49,90,70,-45,104,61,56,55,-40,-123,123,-3,-9,-103,-124,-89,21,-25,49,-2,-59,-63,29,-90,-127,8,43,103,21,30,-38,72,62,75,-49,103,-95,-68,-83,-116,12,-1,-122,85,81,60,90,61,-123,81,8,71,7,-56,99,-30,1,71,-89,21,-124,77,-77,24,-71,-121,27,-128,-25,-96,-125,44,-4,37,-126,50,-51,-12,106,-40,43,-100,-103,122,-76,23,-30,-101,-40,-68,3,41,-97,-41,-3,64,52,36,-113,127,95,-112,-67,-57,-24,-77,-70,-56,-40,-7,-58,21,-45,104,-27,17,94,-36,25,11,105,34,-95,-81,-91,121,68,-100,43,-63,-11,-41,100,-41,-41,123,68,116,15,93,26,-53,-89,-21,-20,-23,121,11,16,-10,5,-49,-52,-34,-38,33,20,-124,-62,-11,111,34,-7,-80,110,35,39,105,57,123,71,43,111,120,-25,71,105,30,-111,-49,-61,-118,84,51,127,-103,84,62,-74,76,-51,124,-24,-71,-73,-35,102,47,-115,-15,90,123,41,-21,-34,-16,59,-21,101,106,-124,-51,-33,-112,-59,-102,-104,1,32,-69,30,-15,-73,-108,16,-82,127,-71,-11,-87,42,108,-80,-37,-16,-79,54,24,-25,76,48,-69,95,120,-82,40,124,-105,-73,-99,89,-65,-80,98,128,19,74,11,118,84,-60,73,-41,0,20,-25,29,-81,-60,126,126,10,53,-90,-28,-110,-84,-100,-128,97,34,27,-22,24,108,-11,-78,-39,86,125,87,84,-8,-124,-49,22,-27,11,67,-21,60,-47,125,-50,-71,-45,-87,88,-15,95,46,-58,4,111,-27,-103,-89,-56,-93,52,60,-99,-128,21,106,-19,-28,-75,-88,77,-32,-24,-113,42,-57,-9,-15,-79,-63,-45,-60,53,-15,-34,4,-42,-67,-48,-72,96,47,-118,98,83,-85,-46,-15,-19,94,100,-20,89,-110,-21,-32,71,8,-116,-98,52,53,-14,17,29,9,43,-38,79,92,-94,86,-6,-63,103,-33,-106,-99,-66,114,-56,57,-121,-11,-108,0,-62,100,-21,-49,48,12,86,63,35,79,57,5,-32,-48,-61,-101,-74,-112,21,120,-46,124,-69,95,119,-73,-81,-52,21,-57,-86,93,16,-95,125,100,108,126,-104,-51,14,123,100,-22,-123,60,-106,23,-65,-38,61,-11,52,-14,81,40,-112,106,23,-58,-36,-64,23,-60,2,-70,-89,40,-83,-20,51,99,95,103,1,55,-54,68,0,-103,17,-19,-106,-8,121,-33,-38,-11,-96,-114,-74,-29,-82,-57,76,34,-75,-69,-20,1,-82,53,18,-37,96,75,101,-30,102,-54,-116,-115,46,-114,-56,-86,3,89,0,-12,-49,92,16,-39,-28,93,32,-56,-23,31,-33,-17,42,-50,108,-87,-106,-93,33,34,74,-78,-88,-30,59,21,-69,77,-121,-3,17,2,4,-17,81,-22,2,-106,41,57,12,74,68,111,29,103,-104,39,63,69,49,60,-57,108,66,92,-114,-24,123,17,127,-113,-107,103,-38,15,116,31,-39,76,41,123,-78,61,-58,3,-82,-64,-62,-108,73,-78,-104,36,-83,-83,-95,13,-105,105,-75,-72,-103,30,76,14,125,-66,-45,-71,87,-39,101,-66,-17,121,125,-24,-93,11,32,93,-20,26,122,90,24,-91,88,35,44,41,-81,-55,38,-29,59,113,-107,-12,-50,56,-86,126,-77,98,-19,-87,96,67,-82,-116,36,26,-89,93,124,-58,69,-3,-20,-45,-106,63,41,-19,112,-50,-73,-18,100,-98,32,-59,-78,10,-94,12,-64,-85,113,-13,-85,66,60,-66,-59,43,128,52,50,-22,-77,-87,111,-101,-30,-9,-105,88,30,77,125,20,12,-52,-96,-73,-13,106,-122,-101,42,-100,-17,-58,-50,11,-91,12,-49,106,-31,-103,-34,19,117,77,-94,-19,89,36,73,68,11,-59,61,102,50,-20,-79,-13,-114,-57,-32,-78,94,-23,-60,84,-125,19,124,-64,-115,-118,-73,24,-67,-119,67,-21,-80,83,95,-65,97,118,-59,0,-79,-101,-62,-78,-64,-56,-14,-52,-62,-70,-101,10,-1,-10,-22,-10,-82,-22,-92,34,-12,111,-85,51,3,-100,50,103,-91,103,-50,57,-33,6,-73,-65,36,-88,-84,87,-65,-49,58,33,86,96,-43,-43,62,61,43,27,-66,-80,-123,107,20,-71,13,-27,45,54,36,62,-119,11,61,-56,-93,-88,5,27,42,35,-115,-103,-81,127,97,100,-89,87,-128,49,-108,-38,-7,34,7,70,-102,88,10,-114,104,83,-16,-107,-75,-43,18,87,-44,31,31,-74,-75,11,-13,59,47,-75,25,-85,-15,114,39,45,95,-78,14,83,-86,95,41,108,106,-60,-18,-115,-23,-3,-93,-17,120,-36,20,-99,-63,-21,-15,1,16,54,20,96,82,-39,-9,-16,-18,59,10,-83,4,1,-10,110,-87,-125,-76,-16,5,81,88,-114,21,101,-96,8,10,11,-8,80,-71,-101,95,-105,2,-11,-9,-16,59,-59,65,-23,42,15,-126,-121,-45,-100,-7,-119,4,99,-34,123,-48,119,-89,-54,-37,13,84,-23,66,-5,-24,-36,112,10,108,-113,-86,-21,-44,77,-36,68,80,-110,67,20,62,121,64,101,-108,-39,-58,-1,31,-102,119,-103,16,89,114,92,-12,-52,-49,52,116,47,-101,49,65,33,-120,44,58,-128,23,19,-6,85,-111,65,15,-71,-52,-2,-48,-24,-27,-52,-62,56,26,13,69,-94,90,114,-52,31,64,-11,39,25,-118,54,-89,34,86,21,1,60,-26,108,-113,-29,51,24,-19,-18,-20,-84,-86,68,-12,72,-16,64,-8,-27,-23,-65,32,-89,21,57,-60,-78,84,-128,54,-112,50,50,-87,-80,34,-35,-88,-85,20,-127,55,-69,-87,73,26,55,-117,16,3,-112,-120,119,102,-12,28,125,0,-89,99,120,-57,75,-115,110,-70,6,58,-60,17,-55,-97,-54,-107,-25,-113,3,-7,-74,-23,109,-17,-38,4,89,-111,-75,66,34,101,43,-36,-72,-8,112,41,-51,33,126,-118,-73,-109,50,106,-92,-2,99,35,-26,-43,64,10,125,13,70,-16,127,-52,67,23,30,105,-104,-79,-67,15,-86,124,126,106,-122,51,-97,41,-126,-59,-76,38,-49,47,-35,69,-5,-75,-124,119,-55,1,-120,-18,-109,-15,-55,58,-36,-117,116,77,112,50,0,2,28,41,-41,-44,24,-32,-95,-32,-79,-74,-115,-51,5,-24,13,-8,-92,-106,75,95,-8,-75,-109,-126,-65,-127,-51,-67,-8,-20,29,-32,-63,19,58,-24,-109,-30,112,-82,-104,70,13,-17,-124,-45,-3,-110,128,-75,-11,107,30,10,-63,-32,84,8,-83,111,105,114,-84,114,-26,-25,-11,49,-48,121,-14,114,17,-23,80,97,58,-13,106,-67,-97,-8]},"pointwise.bias":{"dims":[2560],"v":[7,41,37,63,4,49,40,39,58,26,11,60,6,64,39,57,25,23,18,20,44,33,50,52,49,31,15,44,1,52,19,20,58,55,40,11,10,24,18,1,3,34,60,16,54,29,24,32,22,29,6,56,24,52,22,13,11,58,28,12,60,52,29,52,31,53,27,34,60,17,9,3,48,42,9,62,55,47,51,2,12,60,61,63,7,1,26,55,8,44,9,28,51,57,60,33,43,36,32,23,30,61,13,45,57,10,28,42,12,58,59,23,14,46,58,47,61,49,62,25,41,28,9,60,58,1,20,47,5,39,10,54,10,52,29,18,45,59,8,63,16,46,3,61,34,50,9,58,42,16,23,24,34,22,11,17,44,4,15,18,16,41,60,44,6,29,34,41,19,33,4,17,25,11,16,43,29,7,49,20,36,13,49,22,48,9,20,53,46,15,42,58,23,35,42,46,25,19,37,47,23,33,6,16,13,64,24,26,3,8,59,33,40,28,17,20,55,53,25,1,21,27,62,54,43,38,14,1,23,10,18,24,24,48,12,49,11,26,37,35,12,13,11,11,36,16,36,60,54,33,22,6,37,29,31,2,20,24,41,38,53,20,46,23,40,44,1,27,45,25,22,21,12,63,33,32,56,31,56,45,17,37,59,48,16,16,48,47,25,26,2,5,6,28,3,51,60,10,54,10,62,20,64,25,19,64,24,6,62,3,64,12,3,44,31,21,46,43,47,35,46,43,18,64,31,34,30,48,6,50,19,15,21,57,30,16,49,10,50,22,1,4,43,53,15,36,62,44,47,8,2,43,3,32,24,64,1,10,37,59,63,48,10,29,61,45,41,57,1,11,29,44,20,39,56,10,42,62,41,11,34,52,62,27,1,53,16,52,47,42,9,40,6,29,57,12,45,27,33,60,62,54,64,1,46,20,8,26,59,13,4,7,31,7,21,23,41,32,58,9,33,27,32,43,17,26,40,29,26,53,8,31,58,44,40,20,6,7,8,63,33,59,42,15,40,48,10,12,2,22,29,55,35,43,13,8,16,52,59,42,20,23,31,12,3,16,3,46,54,28,10,32,4,35,50,29,63,56,40,64,19,49,53,34,64,55,47,57,57,63,32,6,29,8,59,42,60,18,9,60,9,30,17,36,27,7,57,42,57,28,8,8,45,7,59,58,24,41,62,6,7,24,49,4,12,24,25,59,18,10,50,39,28,10,49,36,63,30,63,35,48,48,36,51,35,42,35,54,62,22,45,51,23,39,52,36,24,16,5,41,40,1,41,48,57,35,61,39,53,43,10,20,35,18,1,32,23,32,25,10,31,50,8,56,50,49,2,57,55,27,61,44,50,55,3,33,60,48,12,43,19,44,21,55,64,58,50,64,47,64,53,33,7,19,13,51,47,13,46,15,16,47,15,7,6,22,63,4,58,51,38,12,22,10,10,43,62,31,45,62,52,57,28,18,32,52,28,10,18,44,9,62,33,59,12,45,29,6,18,40,52,11,53,52,52,22,63,3,15,63,4,27,62,17,26,49,34,33,8,32,26,45,54,14,21,27,53,61,39,6,63,39,3,27,33,35,43,54,20,45,7,64,20,31,51,23,59,59,36,52,60,1,14,35,23,34,63,61,27,54,32,58,36,41,8,31,31,14,8,39,20,42,7,58,60,29,31,25,9,23,60,18,63,51,42,30,52,53,8,55,9,46,27,43,20,45,14,61,39,31,44,34,62,45,41,61,56,33,18,14,20,24,62,37,56,55,58,52,25,13,50,28,49,36,26,54,37,58,4,19,60,29,11,29,60,45,63,30,25,3,38,3,49,57,1,46,12,2,25,64,62,58,61,26,15,58,9,44,58,59,41,32,32,30,55,7,55,41,31,38,25,51,13,5,56,47,17,34,58,20,54,60,11,51,39,35,19,8,13,47,53,45,32,44,8,43,6,27,2,22,25,60,2,26,37,4,42,41,2,41,43,34,54,49,30,45,7,28,33,2,25,11,13,27,21,38,41,24,29,16,36,2,28,20,52,1,39,25,31,53,9,42,63,6,58,33,61,35,43,34,18,20,52,8,60,18,39,50,54,18,46,34,44,35,52,27,54,43,10,7,41,55,34,55,63,61,51,18,54,39,53,5,52,24,9,29,6,36,26,4,55,36,62,39,7,42,61,24,2,63,44,56,54,29,14,5,4,6,14,18,10,13,32,20,35,35,18,24,40,39,27,45,56,30,10,45,36,27,16,53,23,42,37,45,39,15,15,58,28,23,31,40,15,44,52,10,10,55,22,54,47,23,46,51,12,53,35,63,42,23,50,55,43,27,4,52,48,54,39,61,8,34,1,12,49,17,64,24,57,46,6,42,41,47,32,3,20,29,62,42,35,38,48,3,19,41,8,27,30,33,54,6,28,17,44,32,32,20,3,24,8,26,11,56,27,44,11,53,13,62,21,62,22,16,54,42,26,13,45,11,50,62,19,32,4,64,5,30,51,64,18,58,5,35,28,9,30,5,25,10,34,40,40,57,58,57,1,15,26,11,33,6,24,40,10,44,57,48,32,46,29,20,23,9,24,61,16,42,54,38,59,54,3,49,42,16,42,39,31,21,61,2,1,51,45,16,46,29,4,57,4,14,37,25,49,62,59,42,3,1,25,18,55,3,25,57,44,63,26,9,27,54,30,64,44,41,19,33,63,8,21,9,43,48,23,6,10,54,63,60,25,46,46,46,47,39,35,56,54,56,32,34,60,9,51,26,64,50,37,59,49,56,41,38,6,19,32,41,32,29,47,30,17,62,44,11,12,46,34,35,35,21,54,17,30,58,16,61,28,23,32,41,5,18,59,7,8,40,11,63,5,52,60,29,17,51,19,48,9,23,45,64,15,40,30,50,4,53,54,19,39,61,10,27,14,29,7,5,58,22,33,6,10,62,27,60,10,12,45,59,61,32,19,25,50,64,37,44,9,14,53,28,60,5,37,50,32,53,8,20,62,55,64,24,52,16,49,1,48,58,12,21,40,61,31,53,43,36,41,24,26,1,53,38,2,28,2,10,11,34,5,7,43,21,3,62,49,20,36,37,54,25,34,5,15,41,52,61,52,50,8,57,62,12,17,15,18,52,40,25,26,18,42,62,7,6,61,26,11,57,43,58,45,30,28,55,16,51,40,5,21,29,16,25,45,33,60,9,55,60,2,18,56,22,56,26,23,49,61,41,46,7,35,47,5,59,17,32,18,35,24,63,48,60,51,49,32,24,54,44,62,59,10,10,41,44,16,57,45,35,39,48,29,57,37,20,15,42,47,27,13,56,52,19,53,29,59,7,10,2,28,25,47,3,63,10,6,64,2,2,6,55,33,43,58,9,33,32,7,1,47,46,45,22,27,58,16,35,54,45,17,49,6,42,21,35,63,13,50,59,24,8,26,4,15,47,27,27,6,3,60,14,22,46,37,34,21,52,12,46,19,48,43,23,53,47,43,47,46,16,35,10,45,31,54,45,35,48,30,59,53,19,10,59,1,12,37,1,58,42,32,11,10,9,30,28,51,15,48,41,2,2,61,39,23,41,61,61,18,54,15,30,60,29,45,30,53,8,64,6,16,56,4,2,44,23,50,53,14,13,20,28,33,32,63,47,19,30,3,50,59,23,26,3,37,10,49,23,57,30,49,56,8,13,61,28,30,58,42,33,48,47,52,54,64,35,34,28,52,43,63,22,42,3,6,52,31,36,59,36,11,53,52,37,6,61,15,45,53,9,40,42,27,51,48,10,31,61,27,6,14,50,20,35,32,60,48,55,62,63,44,43,38,64,21,11,27,61,52,21,56,25,62,29,55,30,20,52,48,43,54,6,24,12,37,1,13,51,34,24,2,36,7,24,37,22,37,22,41,42,5,30,59,23,4,43,36,20,40,57,10,44,19,58,11,60,35,59,29,52,42,31,59,45,30,56,31,14,25,27,51,48,61,1,7,20,19,53,32,21,14,60,8,22,24,60,1,21,43,23,37,3,5,44,9,10,6,35,44,63,45,2,15,24,20,31,15,21,3,25,34,21,35,50,56,9,42,29,47,39,49,32,17,6,27,60,14,1,32,63,13,6,47,45,57,15,48,12,50,12,9,2,29,9,45,55,11,26,20,5,18,14,23,24,64,50,44,53,54,29,29,57,13,36,55,3,58,1,63,29,30,26,33,19,30,52,16,46,42,5,29,28,7,41,6,3,58,23,61,52,34,1,28,23,40,62,10,39,53,60,55,18,45,35,44,28,15,40,4,9,28,57,56,59,31,38,26,12,55,3,26,38,37,5,40,47,24,13,58,45,8,62,34,60,1,64,61,64,15,51,16,8,56,15,40,23,17,22,14,44,45,26,31,20,46,31,2,64,63,35,13,10,46,59,40,22,1,55,50,10,22,5,50,56,48,54,1,44,1,48,59,44,45,62,23,16,55,32,62,64,18,28,36,15,57,47,29,13,38,13,54,55,38,1,33,47,38,18,49,25,10,9,54,25,21,63,25,53,39,54,8,34,17,9,45,4,50,28,31,61,45,64,3,38,25,60,47,14,17,54,26,33,9,47,60,58,25,15,56,15,3,10,27,6,3,55,53,63,43,36,26,31,1,45,26,44,23,20,43,57,6,21,61,24,52,39,22,30,52,4,28,12,1,50,64,9,50,21,52,5,34,64,7,25,54,45,5,10,28,35,45,58,55,27,46,32,52,46,64,6,18,36,47,62,52,44,58,16,59,12,26,35,4,60,17,49,3,62,30,44,8,64,24,26,59,7,39,14,48,54,44,29,54,14,28,55,42,33,18,23,63,63,16,43,22,24,59,51,40,57,51,58,11,12,4,52,45,56,24,9,20,22,16,9,31,24,27,48,9,3,40,42,1,15,28,49,46,14,35,47,12,64,62,43,50,29,51,17,60,3,7,45,41,7,59,32,2,17,52,30,33,55,27,11,43,33,19,39,46,4,35,9,58,30,3,31,41,59,45,1,13,2,20,51,58,21,48,43,22,35,18,49,7,35,25,4,22,2,4,51,23,24,5,46,36,32,49,6,11,7,4,54,26,48,60,15,45,60,62,54,62,43,48,4,60,13,24,24,6,26,42,62,55,25,29,51,16,4,18,58,63,25,7,22,34,37,36,38,47,28,53,50,57,32,3,38,25,61,60,51,50,30,61,32,35,60,1,26,12,26,47,26,39,30,51,8,3,4,5,34,23,49,53,29,60,55,8,44,51,17,17,62,15,18,12,17,8,58,3,31,26,56,30,53,6,48,1,2,31,34,63,27,64,2,16,47,57,46,56,22,4,47,10,63,11,54,52,36,26,3,44,62,14,7,51,32,44,47,39,32,23,35,63,60,60,49,33,20,23,29,26,1,5,34,49,54,45,62,15,21,64,58,54,58,9,7,24,13,19,6,7,13,13,55,27,36,37,35,16,53,1,48,34,62,59,53,4,39,62,2,48,38,6,56,42,38,36,32,64,37,11,45,60,61,28,58,17,11,33,54,45,9,37,57,56,15,41,31,55,22,61,57,30,9,51,40,29,20,47,59,42,14,45,4,5,6,19,30,19,38,5,9,1,23,42,5,1,40,47,37,9,5,30,32,17,17,1,13,47,21,32,61,17,8,22,12,24,48,43,2,45,9,18,3,54,44,44,25,40,11,19,59,1,27,1,64,47,25,22,55,17,8,30,28,10,17,40,5,59,9,63,57,31,14,4,7,46,9,24,47,44,60,12,37,44,6,33,30,28,48,64,50,46,54,5,29,18,32,43,36]},"onnx::Pow_97":{"dims":[1,2560,1,1],"v":[5,5,1,7,1,6,4,1,7,7,5,2,3,4,1,2,3,7,7,6,7,5,3,4,2,4,4,1,7,5,1,2,1,7,6,4,1,4,5,1,7,3,3,6,4,6,3,3,2,5,2,4,5,3,2,1,1,5,4,1,6,1,3,3,7,6,4,6,2,3,7,3,4,2,5,2,5,4,4,5,5,7,3,3,7,7,2,6,4,4,5,1,2,4,4,1,4,7,6,4,6,5,7,1,6,2,3,1,2,1,5,6,5,4,5,1,1,6,7,2,4,5,5,6,6,2,4,4,7,7,2,1,2,6,4,5,2,2,4,2,6,1,6,2,6,1,1,6,3,3,5,5,3,6,4,7,6,2,1,7,7,3,6,2,7,1,4,2,6,5,7,4,6,3,6,1,3,7,1,7,1,6,5,5,6,2,7,6,2,3,5,2,5,1,3,4,1,6,6,7,4,3,3,5,1,7,6,2,5,2,1,7,7,7,7,7,3,5,4,3,7,7,5,7,3,4,7,4,5,5,1,1,4,1,2,6,7,1,1,5,1,7,1,5,2,2,3,1,5,2,3,3,3,7,2,6,7,6,1,3,3,2,6,7,7,5,6,4,2,2,6,7,3,1,1,2,5,6,7,7,1,5,5,7,7,5,7,6,2,7,1,1,4,4,4,7,4,3,5,7,3,4,2,7,4,1,5,4,6,1,6,6,1,7,4,5,6,6,3,4,7,3,5,3,6,7,1,3,1,5,7,5,2,5,2,3,6,5,2,7,2,6,1,7,5,3,7,5,5,2,6,5,3,5,5,7,2,6,2,4,1,1,6,7,1,1,2,5,5,6,1,5,4,7,1,3,7,1,5,5,4,1,6,5,4,1,6,7,5,4,3,6,6,3,7,2,5,2,5,1,6,6,5,7,6,4,7,2,1,3,4,2,7,3,2,2,2,3,3,4,2,6,7,1,2,7,2,4,1,6,5,1,5,7,2,5,6,3,6,2,5,4,5,4,3,6,7,3,3,2,7,6,3,5,7,6,2,4,3,4,7,1,3,5,3,5,4,3,1,5,2,5,1,5,7,2,4,7,1,2,6,6,2,4,2,3,6,6,5,7,6,3,6,7,1,4,2,1,2,5,6,6,6,6,3,3,6,5,7,6,2,2,6,7,3,7,4,1,1,4,7,1,6,5,1,3,2,1,6,4,7,4,2,1,6,2,1,5,4,2,7,3,7,7,2,4,4,1,5,6,7,4,4,6,1,3,5,2,1,5,3,5,4,7,7,6,5,4,7,4,6,1,6,6,7,1,4,6,2,3,4,5,2,6,2,2,3,4,1,4,4,4,6,5,1,7,5,6,7,4,5,4,2,3,3,6,2,6,1,2,7,7,6,3,5,1,5,7,1,6,3,4,7,6,7,3,4,1,1,6,5,3,1,3,5,2,4,6,6,4,6,1,1,5,3,2,3,2,4,1,4,7,5,2,6,5,3,6,3,6,2,5,3,6,5,7,2,4,7,3,4,1,5,4,1,7,3,7,7,6,4,2,6,2,3,5,4,3,4,3,2,4,4,4,5,1,2,4,4,7,1,6,5,1,6,1,7,7,4,7,1,4,7,3,5,5,2,3,1,5,7,4,5,4,2,1,4,3,5,5,3,4,1,3,5,1,6,6,4,6,1,1,5,2,1,7,3,1,6,3,5,3,4,5,7,1,1,2,1,1,4,7,3,1,4,2,6,6,5,5,3,5,1,5,7,2,1,3,3,6,2,2,4,7,1,3,1,2,3,2,4,7,5,5,3,2,6,4,4,5,6,3,7,4,3,2,4,4,2,7,3,7,1,4,2,6,3,1,4,4,1,5,3,4,6,2,7,1,7,4,6,1,2,2,3,2,2,4,6,7,7,5,2,7,3,5,3,4,2,1,2,5,5,2,6,2,1,1,1,5,6,5,2,5,1,4,2,7,1,5,4,4,1,4,3,4,4,6,7,7,3,5,1,6,5,5,7,3,2,2,1,2,6,4,6,7,1,5,4,4,6,5,3,2,5,5,2,1,7,4,7,2,5,6,6,1,2,4,2,2,3,7,2,1,2,3,2,3,5,3,4,5,4,1,2,1,5,7,2,3,6,3,3,6,3,6,4,2,2,5,3,1,1,7,3,1,2,1,7,5,1,7,3,1,4,2,7,5,2,7,2,6,3,4,1,6,4,2,5,7,6,3,1,3,4,7,1,5,4,5,7,4,5,7,2,7,7,6,4,5,5,2,1,1,5,1,3,1,2,3,4,2,2,1,4,1,4,7,3,2,7,1,5,5,6,3,1,4,2,5,2,2,3,7,7,7,6,7,7,2,4,4,6,5,5,3,2,1,7,6,1,4,7,6,2,4,1,3,3,5,2,5,6,2,2,5,4,6,7,6,4,2,1,7,7,1,7,1,3,1,5,4,2,1,6,3,2,6,2,1,1,7,6,5,3,5,6,6,5,1,6,7,1,6,7,4,1,2,4,4,2,1,1,6,4,4,1,2,3,4,3,1,7,6,5,7,6,1,2,6,5,1,7,7,2,2,7,2,3,7,7,7,2,5,4,6,3,3,5,3,6,5,5,2,6,2,3,3,7,7,2,3,4,6,4,3,2,3,3,7,5,3,6,6,1,3,3,5,1,2,7,2,7,5,1,4,2,5,4,1,2,4,4,3,3,5,4,3,4,1,7,7,6,5,2,4,7,3,1,3,5,1,6,6,7,3,5,3,5,2,2,7,3,4,2,3,4,2,6,4,3,4,3,5,3,7,7,3,4,3,7,4,5,2,5,1,6,1,7,3,3,1,3,3,1,6,7,7,6,1,6,2,3,7,2,7,5,1,2,6,6,2,4,6,5,5,1,3,3,2,7,2,5,7,1,1,5,3,1,1,2,1,7,3,2,6,6,1,5,1,3,3,2,6,2,1,6,6,1,6,5,4,6,7,5,5,6,5,5,5,4,6,7,4,1,1,6,2,5,6,3,6,4,1,5,5,2,5,4,4,1,7,3,7,7,2,7,7,5,7,5,5,1,6,6,2,7,7,2,4,2,5,5,1,3,2,7,3,2,5,5,5,7,7,4,2,3,5,7,3,2,2,2,4,2,2,2,7,5,6,3,5,2,6,1,7,1,7,6,5,2,1,3,2,1,3,2,5,1,7,3,6,4,3,7,4,7,1,2,7,3,2,1,3,1,7,7,7,1,3,3,7,7,5,6,4,6,3,4,2,4,3,5,3,7,7,3,5,7,3,2,4,5,1,7,3,4,4,6,1,5,6,7,2,6,2,1,6,2,5,2,2,2,1,7,3,6,1,3,4,3,1,3,7,7,2,5,5,4,7,1,7,6,4,7,6,7,2,6,3,4,7,5,1,3,5,6,2,6,7,3,3,1,7,5,6,7,1,2,2,4,4,4,3,1,1,3,3,6,7,3,2,4,6,4,1,6,1,3,6,6,6,5,5,7,5,2,3,4,2,7,3,4,7,3,5,7,5,5,2,6,2,5,6,6,2,3,5,5,2,1,1,3,7,2,7,4,5,4,1,7,7,7,5,3,7,4,6,3,5,4,6,5,3,1,4,3,5,5,3,2,5,6,1,4,3,2,4,1,4,6,7,7,3,6,5,7,3,1,7,2,3,6,7,4,6,2,6,4,2,5,7,2,7,7,6,1,1,2,3,1,5,4,1,2,3,3,5,7,5,4,1,1,5,6,5,1,2,1,3,1,6,4,1,2,1,1,2,2,2,3,3,5,1,7,2,5,5,3,4,7,2,1,1,2,1,3,1,7,6,7,5,1,5,1,3,4,3,1,1,4,4,6,4,4,4,2,3,2,6,6,7,7,5,2,6,7,7,3,3,5,1,3,5,3,3,3,3,5,6,6,3,4,3,3,1,7,6,3,5,6,6,4,6,5,2,2,5,2,7,2,1,6,4,6,4,3,7,2,3,1,1,4,1,1,7,3,3,3,1,3,7,6,1,4,6,2,5,6,6,3,5,3,7,2,7,4,3,6,7,2,4,1,3,3,5,3,4,7,4,7,6,7,1,5,2,6,5,5,2,3,1,1,2,1,2,5,5,4,6,6,3,4,2,1,1,7,4,2,3,2,1,3,6,1,3,2,3,1,5,7,6,5,3,4,5,2,5,1,3,1,1,6,7,6,2,5,3,1,7,6,2,5,3,4,7,5,3,2,2,1,4,1,6,3,3,3,1,1,3,3,7,3,3,4,3,3,3,7,4,3,3,6,1,5,7,4,6,3,2,1,4,5,2,1,6,6,5,3,5,4,5,1,6,3,3,2,5,1,4,7,7,4,3,7,6,7,6,7,5,5,2,4,3,4,3,7,6,2,5,3,1,6,3,4,5,4,4,5,1,2,6,1,2,7,5,1,6,7,4,6,1,7,1,2,6,2,7,6,6,5,5,5,7,5,4,7,4,7,2,6,3,5,2,7,7,5,4,5,4,3,2,3,2,6,6,5,6,4,5,2,3,1,6,7,2,7,6,4,3,3,7,6,6,7,5,1,3,3,1,3,4,5,2,3,6,4,1,6,4,4,1,5,5,5,7,6,3,7,4,7,7,2,1,5,6,2,4,5,7,7,3,2,3,5,6,6,1,7,7,4,2,6,7,4,4,1,6,4,2,6,6,1,6,3,5,2,1,4,2,3,4,6,6,5,5,3,2,2,7,6,6,3,3,3,2,1,7,6,3,7,1,5,2,5,6,7,7,7,5,2,2,7,6,6,2,5,3,4,3,2,6,5,2,3,4,6,5,6,1,4,5,5,7,6,5,5,4,6,7,1,5,7,5,1,1,3,2,2,4,5,3,5,7,7,4,6,2,5,1,7,3,4,4,2,1,7,4,6,6,2,5,1,1,6,2,1,6,7,1,7,4,2,6,5,6,7,1,4,3,3,7,6,7,5,5,7,7,4,1,3,4,5,6,7,3,7,4,3,5,1,6,2,5,7,3,7,5,6,1,6,5,6,2,4,4,6,6,2,1,7,7,3,6,5,4,7,4,2,5,1,3,6,7,5,1,4,2,2,4,4,4,7,7,4,5,1,1,2,1,5,2,1,5,5,3,4,2,6,6,1,5,3,7,1,5,5,6,1,5,2,5,7,2,6,1,1,4,4,2,7,3,6,1,5,5,6,3,1,2,2,1,5,3,4,4,4,1,4,2,2,3,4,7,5,4,1,5,1,3,7,2,3,4,4,1,1,5,4,1,4,6,1,5,6,5,2,2,6,1,2,5,5,7,1,3,6,3,7,3,6,7,2,6,3,5,6,5,5,6,4,5,1,4,3,3,3,5,4,2,2,3,3,2,5,2,5,7,5,7,1,7,6,6,5,4,1,2,3,6,1,3,4,2,1,5,1,6,3,3,1,1,1,7,6,5,2,7,3,2,6,6,6,5,5,6,1,6,7,6,5,1,2,3,4,6,3,3,7,6,1,4,2,5,2,2,5,5,1,7,3,4,4,6,6,4,3,2,1,3,5,6,4,6,4,1,3,3,2,6,3,2,1,6,6,3,7,7,2,5,4,1,1,7,4,2,6,3,5,1,5,3,3,4,3,6,4,1,5,6,4,4,4,5,4,4,7,2,7,6,4,3,6,6,7,6,4,3,3,4,4,5,4,3,3,3,6,1,3,1,4,5,5,7,7,6,3,6,2,2,1,4,1,7,1,7,3,1,2,2,3,3,5,5,2,3,2,4,1,1,3,4,6,4,1,7,1,3,5,3]}}
|