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
20 KiB
JSON
1 line
20 KiB
JSON
{"conv1.weight":{"dims":[2,96,1,1],"v":[-80,100,-17,-22,18,-125,58,43,126,-109,63,-13,-63,-112,-109,103,126,47,-33,120,46,-3,84,33,102,-38,51,16,-9,121,37,-102,82,72,86,-9,97,43,-127,-45,-108,-2,-71,16,95,32,72,-19,-91,16,15,-105,-69,87,-27,-55,116,-23,-115,96,122,2,-4,15,44,-21,-99,-57,-114,-60,22,-102,-13,-23,-46,-10,41,-70,10,-11,13,31,12,-105,-3,-21,25,-25,-61,45,124,91,74,-14,-35,-95,5,-112,60,39,-84,-87,-14,-110,-123,15,109,-6,-47,108,10,-41,34,-87,29,-79,-82,-22,-104,-23,-63,-113,90,-51,-89,-82,50,12,-22,5,-44,85,2,-7,-38,-1,-9,-26,84,-68,-84,1,-39,97,33,20,55,10,55,0,86,32,73,-100,87,-53,-95,51,-121,79,-119,97,76,-59,111,-3,85,-2,-81,58,-46,-46,-100,-92,121,-119,7,-128,62,90,93,35,67,-84,-91,-53,-21,40,91,82,-52,-32]},"conv1.bias":{"dims":[2],"v":[4,5]},"onnx::Pow_85":{"dims":[1,2,1,1],"v":[3,3]},"depthwise.weight":{"dims":[2,2,3,3],"v":[95,-100,31,109,-124,-59,-48,36,106,-47,-93,78,-108,86,43,112,-100,-68,-36,-36,-107,65,-76,-9,74,33,77,45,-102,103,-63,9,12,-122,121,24]},"depthwise.bias":{"dims":[2],"v":[522,-37082]},"onnx::Pow_91":{"dims":[1,2,1,1],"v":[11,10]},"pointwise.weight":{"dims":[1536,2,1,1],"v":[63,-17,-5,-100,-94,56,115,-19,1,93,30,1,-74,17,72,-85,-119,59,-58,-106,-42,-94,2,60,61,-48,124,-60,44,-54,-64,-125,-123,-68,-51,-83,-93,21,48,31,37,56,-99,119,19,75,86,-68,51,-91,-83,-50,-123,-62,-32,-71,-102,-29,-51,-113,53,124,127,115,-84,89,-85,128,-18,92,-68,-84,-69,-38,113,22,30,128,-113,-101,79,-47,89,1,84,-75,-81,-76,7,-96,-79,-14,-76,107,-11,-16,-24,81,-94,127,87,-66,30,67,82,117,-20,81,85,-52,92,101,-18,-69,-115,1,0,-7,-50,56,-13,96,-98,-128,-119,-47,113,38,-101,-68,44,19,-33,-82,-48,-104,-78,-77,56,97,-73,-45,19,-1,101,-24,-67,67,-89,92,80,62,-10,-21,-15,122,-124,61,-116,17,110,-10,-81,1,-120,93,7,-67,-43,-80,80,-127,49,-106,-109,109,38,-42,92,35,-40,51,43,30,-118,-99,125,104,-77,-68,-9,125,56,-114,39,15,58,-47,30,-119,53,62,61,36,53,55,-47,117,43,-89,104,-126,-56,-120,-42,-67,2,-51,92,-1,-23,-61,93,-53,29,105,-73,59,11,21,123,43,115,-120,6,24,-96,-21,117,-8,96,58,-35,-113,-116,-98,58,87,-27,-21,85,-5,-24,57,-85,30,113,-61,19,94,109,69,-93,-112,-9,37,82,2,-33,-99,62,60,-55,104,96,-73,-125,-27,39,-112,77,104,-112,122,71,-103,-94,-85,121,-13,126,-112,3,-25,-101,-105,40,43,-63,24,-121,95,-100,-12,55,107,-121,-82,104,-106,-11,-57,0,78,-108,118,-97,-108,-78,-72,-120,-111,-98,109,-57,36,-42,-55,-6,119,-69,59,-123,14,-78,36,25,126,-21,114,56,75,56,57,22,34,100,51,58,-67,100,87,-21,-68,-58,47,119,-6,-119,8,-115,-56,59,-1,49,-38,74,-5,-9,36,-12,45,26,9,-4,12,50,54,52,56,109,42,-118,122,94,35,123,97,-79,84,44,-48,-63,127,84,87,29,29,-32,-75,15,-36,-56,49,-77,108,-32,88,-74,-40,-21,-96,-52,-127,67,95,19,-25,17,-39,-71,-60,99,44,114,-121,125,-86,15,-92,-9,16,-99,37,-47,-83,-8,8,60,-122,-14,92,-13,-29,-5,24,42,89,-20,102,-95,-74,-40,112,35,117,-34,14,-23,-72,113,60,-86,-115,87,55,-72,76,57,71,94,-29,-96,-86,-10,-14,-108,109,-28,-11,112,57,20,-107,-105,94,33,23,-62,-102,-46,-118,29,118,39,60,52,2,88,-96,38,-48,-65,108,0,50,-125,-113,-63,98,106,73,-56,-108,36,16,-17,94,-81,-82,-70,0,-37,108,73,-83,-69,118,54,83,127,37,25,-34,38,79,-105,-34,-63,-21,-30,-4,-19,-122,-93,-124,86,60,-52,-108,17,111,-91,39,47,92,102,-84,78,-79,112,-75,-93,-114,-48,-68,-72,28,-55,26,-39,81,114,-115,27,-32,81,-23,-115,49,-34,13,-39,-112,14,-39,-25,-115,23,-35,37,116,-12,59,-51,-67,-43,27,121,-46,114,-64,-32,-6,75,-26,21,-19,-127,43,-18,-66,53,51,126,-17,-70,29,57,-110,-106,-22,38,-23,3,-5,-58,-28,1,-49,-25,38,32,-77,55,115,17,28,-61,-9,-42,84,30,-97,-88,96,-77,-88,-52,15,126,-100,60,81,-78,61,42,44,42,98,-73,-54,22,-111,22,-47,13,110,-63,37,128,98,57,-110,-103,-49,-102,-93,-49,-108,-45,-86,114,98,-96,-76,76,-18,-119,5,108,-101,124,24,-50,98,95,-83,-95,-86,-81,87,73,-61,-79,-19,-35,16,51,-19,0,89,-58,-79,53,62,-4,60,125,9,-92,68,123,-100,-40,-2,-74,41,28,40,88,104,11,-31,-44,119,109,17,-95,-121,-104,-87,31,95,45,-111,42,27,44,101,-68,71,18,-51,50,25,109,-17,-71,42,-39,-23,117,-86,46,-102,-88,-50,24,-27,-17,-50,-47,-41,-74,120,55,-53,13,-18,-65,50,-41,-69,99,53,-74,32,30,-35,-9,51,-100,-100,29,69,3,-64,-113,-91,3,-2,87,76,102,-72,-11,22,32,84,-30,120,-56,-53,54,107,64,-38,-16,-65,-72,-12,-31,33,115,119,120,-80,-128,97,-123,-1,-105,28,-67,-66,123,-109,-18,-60,33,123,105,113,-4,-40,83,4,-101,-73,-89,48,-107,-71,-105,-13,-46,-122,125,119,124,-16,104,-77,119,-7,80,-76,-96,73,-9,-63,44,75,40,86,-19,22,-10,-89,-19,-124,-26,-11,-69,53,-113,-125,-108,13,37,-82,35,95,33,-15,-63,100,-12,-96,28,-40,39,-76,80,111,-85,-85,-75,-70,23,59,3,-106,67,111,21,55,53,-78,-70,59,-21,-79,-117,-117,124,-53,-23,-8,21,-5,24,23,12,89,-87,107,-9,-49,-123,-95,62,111,62,113,119,-54,30,68,103,71,51,-56,-52,95,-92,-85,31,25,-128,0,85,-47,108,118,-98,70,19,80,91,-114,-83,126,-102,4,-107,-97,-95,64,65,-28,-62,-80,-17,28,13,-36,15,47,-51,-85,55,91,-51,-101,-74,96,58,-115,27,-70,-123,-108,85,-24,-63,71,-109,-32,49,3,109,100,-25,46,-37,-106,-29,103,53,-45,127,49,49,46,-29,-6,48,3,-48,50,3,44,112,71,69,3,-79,49,91,16,-54,-11,-61,47,-61,-42,-87,63,-37,-16,18,32,87,17,81,21,39,7,123,16,40,27,-30,-95,25,40,17,54,113,39,59,10,123,93,-57,-123,-123,-42,-3,-12,-48,79,-9,-119,-84,-58,-98,63,-116,122,-77,53,-89,46,-64,-71,15,50,-106,123,-71,-27,-89,-56,105,-3,67,126,-41,-32,125,119,61,-100,-86,93,-36,-109,-101,78,49,-71,6,28,-48,-28,-12,58,38,-35,58,-107,-40,25,42,37,69,40,85,-4,-84,-104,-125,9,-62,88,-123,-9,-30,-50,-44,-18,57,-101,-45,-55,-109,-60,115,105,57,-6,27,-9,-60,108,-20,26,-83,59,-124,-67,74,-120,124,94,-73,102,-11,20,-8,52,-13,-118,28,104,-2,117,-48,-70,-126,56,7,-18,31,15,-18,-72,-123,2,78,116,-16,-64,18,18,-114,79,16,-51,-88,60,61,-49,-106,69,39,73,-38,127,126,-57,-47,4,42,26,-81,40,59,-1,91,-66,-87,53,125,49,-25,-51,12,-109,-33,-110,100,126,-2,-67,-85,-40,-4,76,23,50,-54,-113,104,-105,83,70,51,-49,-88,-95,97,102,-52,10,-120,-51,29,41,125,1,-41,95,103,-127,43,4,-6,60,-24,-70,28,-114,-97,-1,63,78,-1,128,23,-87,22,-16,80,-57,-121,123,-41,-54,50,106,-49,-38,-83,-99,103,-71,63,8,14,-109,104,34,-110,-18,-97,-93,87,-100,-26,126,125,-108,-14,-17,90,-96,108,30,53,-87,-76,90,-37,-85,26,50,-46,40,-41,37,-124,-96,58,-30,-15,-77,42,71,-6,113,-72,-117,28,-120,33,-11,27,-83,92,51,49,-47,-88,-116,70,-17,-66,-44,-115,-98,-104,-25,-31,122,20,-3,-54,90,63,45,10,-110,70,39,-127,-4,-83,-23,-56,-91,-20,-78,84,-122,1,-2,88,123,75,108,-40,43,-120,-36,-101,105,83,-55,-89,81,63,118,-54,30,-98,-1,99,-42,93,65,100,-97,55,34,70,71,-102,-73,33,-60,-100,-40,127,125,74,-91,-62,95,-55,-87,19,-32,8,-81,38,-103,-48,63,-29,73,97,16,-65,-74,117,-98,49,14,32,-17,72,4,-23,116,-32,43,-56,28,-28,-27,-46,-90,-50,127,-128,-15,81,52,66,116,-64,-53,-58,119,-83,-69,43,77,72,-27,96,-71,-76,-13,-12,75,33,-66,-109,63,107,-63,118,-68,58,102,-39,-36,11,33,-75,-75,-90,85,-63,-99,70,-25,11,-102,-105,95,40,110,90,-48,81,-105,53,108,-105,12,26,-46,105,-91,-106,25,123,70,-29,44,-37,-4,85,-85,-48,-47,-107,-15,-6,60,104,-100,17,-107,-108,20,122,-115,-122,-37,54,-53,24,-64,9,40,117,-65,-87,9,1,-51,3,16,12,59,-78,16,-81,98,33,66,-112,-25,-28,-20,-49,55,102,46,-100,-25,-64,111,-115,-62,102,-32,124,51,118,-126,38,109,26,-43,97,-62,51,-92,-70,42,-39,-37,125,21,-67,-69,77,-65,65,106,12,-75,24,-84,-74,104,18,-93,-32,-2,54,-21,-52,-62,43,-9,114,2,30,103,55,99,-27,37,-104,-68,-80,-5,-45,-78,127,-63,-126,57,-52,101,69,50,-22,3,95,15,-1,87,-47,30,-98,82,-91,-127,49,-7,-57,48,48,69,107,79,98,33,-37,-100,-9,-13,6,-65,-87,94,-104,17,52,40,-23,14,30,-99,-112,16,123,121,23,17,-119,-107,-6,-55,-70,-100,-88,43,-75,31,97,-32,70,8,-66,-87,7,-83,-102,119,-69,-42,25,118,17,116,-89,-16,90,66,-62,-110,9,-88,-22,16,-78,-11,116,29,126,25,31,34,84,34,-29,-35,-123,73,111,74,113,15,-49,112,-97,-67,74,-45,33,-66,-73,86,8,-17,88,-68,28,-4,-71,3,-6,-67,9,-56,36,113,-10,-117,-100,-54,68,63,101,-8,12,-90,-68,115,-115,-77,-116,-37,-58,31,105,-9,-117,-34,39,91,69,-99,-23,124,60,-68,-33,-18,109,-102,111,97,-6,38,-93,-22,19,-12,115,59,125,-11,-26,-33,3,-117,-9,-56,46,17,15,99,81,-34,-41,-25,118,66,-94,-123,-58,-124,91,-115,48,-82,-80,62,-99,121,54,-54,43,42,-112,128,-95,-71,92,-20,97,90,97,22,63,-105,-2,-74,-81,10,-86,-36,-65,-124,15,-77,27,33,-61,-51,-23,-56,-45,-13,-72,35,-90,-58,-26,62,-99,-75,47,-46,-91,123,16,26,-120,19,-125,120,-17,28,128,98,-104,56,58,28,1,-127,80,-41,-115,54,-41,7,69,108,-64,-27,32,77,95,128,25,-99,93,19,-83,-100,29,11,-30,-83,82,-70,28,53,36,122,18,-35,116,63,-11,-88,-72,-24,-90,62,40,43,-66,113,127,-102,120,-124,-103,25,-105,94,-2,23,41,18,24,-122,-77,63,62,-9,41,-17,101,12,21,66,-43,55,126,75,-87,2,86,-111,-33,-107,5,-104,-10,41,-69,-91,-24,98,125,119,93,-83,-32,98,-18,-46,-33,128,-69,72,73,61,-25,-111,128,-99,55,-82,-77,-77,-2,-65,66,71,-27,-122,-16,-51,-84,-111,50,101,-72,-100,126,120,101,58,-47,-61,-29,117,47,-123,83,65,-73,-39,117,-118,40,71,-110,19,36,25,123,26,-46,51,-31,125,78,-94,-74,-54,-4,1,14,70,76,109,-12,108,13,-45,-51,44,91,70,-70,-76,58,103,53,-22,14,70,-75,-115,53,-121,80,70,59,41,-101,-5,6,4,-118,-13,23,89,-54,59,-59,-17,118,119,-67,81,-25,-69,40,26,28,-97,-16,40,-34,111,21,24,61,57,-44,5,-40,53,-47,88,-88,-100,35,-71,-63,16,108,-68,-5,-24,22,-64,69,-106,40,-68,68,77,-118,39,-69,55,-128,-32,110,14,-93,-39,60,47,79,101,41,-128,101,-125,61,-26,-18,-126,-42,-124,65,87,69,-78,-16,-50,-3,100,34,6,113,97,38,92,74,-111,-126,-81,-94,-84,-121,120,116,-101,-128,-123,13,-122,-42,109,47,-72,-102,97,-80,120,-68,77,5,-11,-77,17,83,35,-4,-75,-50,-87,-118,-124,3,-116,-14,-68,89,-106,29,79,-71,95,-46,-101,81,-54,94,98,32,52,42,46,30,-20,-67,-3,83,73,-75,-3,-48,21,94,-84,46,-123,-65,-42,26,-80,-58,-72,90,-111,-61,-106,113,-121,-52,-93,110,-115,-77,18,-30,73,52,126,127,-62,-16,93,-90,-82,105,-34,-108,4,28,103,-17,93,0,-90,-30,93,-112,63,119,102,-108,23,-27,-103,89,108,-98,56,-64,-12,-114,-75,8,31,68,-54,-35,56,-47,127,-53,86,-64,59,-91,19,123,-22,-95,128,-91,45,-54,119,-29,-14,86,113,-40,-52,-83,-77,80,126,36,2,-121,19,6,116,-47,-98,4,-89,66,54,78,-29,92,-71,-4,-32,35,57,-42,-125,109,15,-35,-17,-83,104,33,-119,14,-79,78,91,-1,76,14,15,58,-117,-98,-74,34,-44,-91,-66,-37,-66,-88,101,-63,-119,35,-32,-27,-114,-28,-27,-99,43,90,97,-30,2,-2,111,53,-40,-97,-49,-2,-62,-14,-43,39,23,10,48,-42,-111,53,84,95,-109,-17,23,-67,-48,-96,-52,20,-29,-108,-109,20,-60,116,41,116,-45,-114,-64,-32,4,-50,6,0,-111,42,57,60,121,-3,-84,-76,-22,44,-124,69,110,-45,-50,-31,108,-26,55,-99,-34,-118,90,72,-74,-57,73,46,-111,-34,0,50,-10,-41,76,-92,-107,-21,117,35,50,67,-51,126,80,-101,-52,-13,99,-40,-100,-53,67,-101,-80,117,-90,-69,114,-46,110,-95,-42,48,-47,-108,-35,-72,-111,-122,-92,4,12,12,-10,-4,-78,-60,-106,95,41,9,75,-80,-28,121,87,124,49,56,38,-102,-67,9,23,-87,108,-46,45,3,-65,-57,1,-11,-65,23,-3,-78,54,21,96,77,105,96,-44,-105,-88,17,120,34,120,118,-64,-66,-111,26,102,97,118,30,-73,93,4,-24,-73,82,58,115,9,2,-115,-97,121,-52,62,23,-30,-91,108,-17,127,12,-14,34,26,122,94,-103,-96,-4,-29,-38,10,120,73,127,-118,75,18,-44,122,40,46,-63,-14,87,126,-29,-102,17,51,-39,53,111,-98,128,-36,-85,70,53,-60,-15,-29,-56,32,39,74,-115,112,97,120,-98,-54,-68,-82,-103,-87,116,21,-48,77,31,9,77,51,41,2,-106,-52,-125,-56,-79,94,-112,-24,6,-18,-109,-74,-50,-94,114,-21,61,115,-126,-115,-97,-9,-40,25,86,-13,119,-23,-19,-24,-8,-42,87,-56,-82,28,59,-82,112,-15,37,-92,-66,122,15,98,-77,-110,-75,42,-95,20,24,-40,-35,34,-80,86,30,-12,-82,20,116,67,104,43,60,102,87,-123,123,90,-127,9,8,-87,37,10,-98,-34,55,-73,76,-121,117,49,16,33,12,102,-56,14,46,106,40,-92,17,-91,93,45,-97,2,-28,-43,86,-91,-100,3,-119,96,101,-89,-122,8,-68,-15,-63,22,8,105,-91,-46,125,-98,-101,-56,93,45,6,-44,117,-122,-48,-93,-112,-80,29,93,128,114,25,-22,-35,127,37,-121,-29,-104,-63,-53,8,-38,94,-37,-100,-30,30,-30,91,-76,-4,-90,-114,40,-77,43,-69,25,124,81,-116,-60,-38,-48,67,66,4,-81,-9,114,-87,-5,127,-19,27,65,59,28,-42,95,78,-75,-108,28,-6,124,-12,-75,-2,113,-35,-57,116,-62,124,-47,-21,-73,-63,-123,17,-25,-14,26,-41,11,88,-37,54,-105,2,-79,-38,-119,-107,69,108,-65,-57,62,46,-13,-110,11,-65,67,-19,85,-111,113,0,102,16,-106,118,-56,-94,-11,-51,-28,-27,74,-71,-118,16,-49,-95,-63,-59,125,-93,91,-123,-98,22,-82,8,99,47,-52,-13,53,-50,-65,-8,89,-91,71,-26,72,93,124,-15,-59,35,2,-46,-47,-32,59,-80,-40,108,21,109,-40,113,-117,-2,-34,-89,-19,-12,-54,-126,86,97,-39,22,-23,-6,89,-90,-90,-11,120,99,16,-13,-34,27,77,-54,30,-127,-89,-70,55,64,-4,73,30,-102,61,57,53,-105,-87,-12,7,-31,-87,-12,30,97,0,-89,-37,-6,103,-118,23,71,124,-113,-94,62,113,-97,73,-27,52,11,45,-99,-97,74,46,-98,-62,-117,-71,29,76,-97,16,9,-27,60,75,42,73,78,-72,-86,76,43,-95,-75,69]},"pointwise.bias":{"dims":[1536],"v":[60,19,45,50,32,16,44,45,34,59,52,4,2,39,41,43,30,28,60,34,5,17,3,10,60,47,63,62,2,46,45,58,1,37,9,35,38,18,17,7,39,62,5,59,39,46,9,30,56,17,26,37,61,24,20,3,44,47,8,12,32,51,25,52,57,20,48,19,46,12,31,29,4,46,31,10,34,35,26,2,61,49,25,7,26,31,4,27,34,12,25,36,32,6,8,53,17,62,14,46,31,33,15,28,47,51,32,44,31,35,10,51,26,29,62,1,25,41,8,9,58,50,1,31,31,19,53,32,27,22,11,9,41,54,1,57,2,52,38,61,31,47,19,20,21,21,46,9,50,36,6,28,21,28,33,45,42,8,15,28,28,61,51,3,33,52,27,13,51,5,42,10,24,45,39,61,13,55,11,30,61,49,57,53,30,26,28,30,21,33,52,47,60,42,32,21,56,25,45,2,61,52,24,50,28,62,55,3,14,27,22,32,21,63,19,54,44,56,57,24,17,40,33,33,23,61,16,6,19,59,40,52,49,43,53,48,1,33,64,53,8,37,62,36,47,25,31,38,58,38,5,52,8,54,58,49,15,8,61,35,60,23,30,4,34,32,21,27,59,61,62,6,28,33,25,24,29,34,1,35,8,3,54,52,24,61,27,19,5,11,37,8,37,37,56,41,36,50,17,61,51,39,50,15,11,37,58,13,12,55,48,49,32,2,6,32,33,49,16,20,55,37,33,37,22,61,44,24,64,15,38,30,62,37,54,41,43,31,10,56,61,59,58,41,13,50,11,31,9,55,53,54,58,23,18,26,54,19,53,5,2,37,18,23,54,20,10,21,44,15,15,2,40,52,2,58,52,50,21,21,13,49,2,31,41,6,52,32,24,29,47,63,61,50,12,45,16,62,35,2,18,44,34,43,24,58,58,2,33,25,33,57,62,54,30,4,38,42,2,5,18,7,2,34,42,13,17,25,53,47,11,34,14,63,42,19,23,16,1,45,54,61,43,58,26,48,12,12,24,26,28,40,42,58,28,63,40,50,25,49,39,47,63,8,50,3,35,19,27,53,42,15,1,53,53,62,62,44,21,42,39,11,18,52,42,27,44,25,59,10,12,49,55,6,63,3,59,16,13,7,44,63,21,2,49,53,3,10,59,60,28,23,14,5,56,30,56,64,58,36,32,30,34,48,43,23,13,63,18,40,17,41,5,7,26,14,12,39,56,49,41,56,37,3,62,18,4,17,39,55,43,51,7,46,51,58,43,63,42,40,53,14,59,18,21,57,15,11,57,30,36,53,38,32,2,22,44,25,38,61,60,21,11,18,63,22,1,20,17,41,27,27,48,44,55,16,20,16,29,55,19,22,28,6,48,54,8,47,14,21,62,3,48,27,2,8,21,48,8,49,20,2,35,12,28,30,20,31,16,2,16,42,16,20,51,4,10,22,34,8,25,56,10,4,33,42,53,9,32,48,56,13,59,4,4,43,12,3,56,18,10,33,26,25,61,3,7,33,63,32,2,59,38,36,29,13,29,52,5,60,2,63,57,63,57,60,47,25,46,11,11,54,16,62,21,51,14,12,62,59,29,15,15,33,55,51,64,22,22,54,30,32,52,7,29,11,9,44,34,38,58,55,16,53,17,54,26,62,38,6,47,28,23,20,48,54,53,58,33,64,46,25,52,52,6,27,21,1,57,7,18,58,47,5,1,20,45,16,41,54,13,40,32,24,37,13,23,37,43,7,24,10,1,18,7,28,43,40,31,35,18,13,11,55,50,62,1,60,11,13,44,41,38,46,25,53,11,3,33,9,56,31,58,62,38,28,1,40,46,31,62,57,16,51,38,55,47,12,17,44,49,62,54,32,63,51,23,26,60,36,41,5,5,64,4,2,51,24,12,41,19,26,55,51,25,62,44,13,11,12,58,42,3,28,30,61,24,32,58,36,34,49,63,14,16,27,54,18,43,3,28,44,1,4,33,7,62,59,57,30,11,61,22,9,2,55,23,3,45,42,48,27,3,14,19,40,51,33,5,62,25,35,22,45,14,59,54,44,38,45,8,40,52,42,31,48,44,15,4,33,5,13,36,36,51,56,35,10,64,5,26,62,15,36,17,53,33,18,20,15,3,15,59,59,53,5,56,5,1,44,18,9,26,3,46,6,61,55,17,64,52,6,33,31,50,35,45,60,55,20,9,9,16,2,1,18,41,24,40,53,60,43,46,59,59,5,30,24,2,14,7,18,5,55,55,35,48,23,10,43,50,54,44,48,14,15,32,22,12,42,41,7,61,62,34,42,37,8,58,37,1,1,53,11,58,44,60,25,29,12,5,39,3,10,49,51,53,34,16,15,17,4,4,26,52,41,46,28,47,7,7,11,43,3,2,32,23,24,58,21,35,38,58,61,30,48,61,53,13,44,63,20,33,29,57,18,41,31,64,45,33,45,44,39,61,30,20,3,9,54,62,15,39,57,58,1,24,51,45,33,12,1,8,40,11,11,43,20,58,60,58,24,1,48,23,8,44,21,44,31,38,47,62,55,25,18,18,20,58,48,46,17,51,15,63,37,35,5,41,64,9,51,56,51,57,57,50,47,55,27,23,38,30,49,56,21,10,41,36,52,54,43,30,41,20,43,58,47,43,3,58,2,46,34,37,58,15,42,55,64,40,6,14,12,30,59,35,44,13,23,60,54,63,52,6,57,11,31,45,17,30,40,32,27,57,33,49,45,61,3,41,5,36,13,42,59,18,21,32,24,31,26,16,45,12,16,14,62,41,41,14,49,59,50,32,31,4,51,43,47,2,45,19,61,43,40,37,42,11,42,34,19,34,5,49,9,46,47,10,47,15,37,27,14,29,49,28,36,33,28,29,24,28,22,64,39,43,3,44,8,12,46,38,8,3,56,62,27,21,45,35,21,25,13,53,39,14,22,27,28,28,50,52,12,58,33,45,3,57,31,4,48,37,23,62,46,54,42,1,11,10,10,32,23,21,27,32,60,17,28,63,26,57,60,30,59,38,45,43,48,54,5,33,21,50,35,58,46,9,31,48,10,4,44,48,1,40,43,12,23,28,3,42,4,50,44,51,13,12,33,7,26,40,50,41,41,58,24,36,10,52,21,42,50,58,2,40,43,26,4,56,47,5,52,43,61,39,11,36,33,4,21,44,56,33,47,10,52,22,64,1,55,61,20,34,49,52,1,35,10,38,14,34,13,56,31,1,22,39,64,15,8,13,27,35,56,64,64,59,42,32,22,54,34,56,53,24,9,7,61,60,10,31,28,26,50,43,45,13,8,48,28,63,3,42,52,58,34,20,15,27,40,32,8,37,22,51,43,5,47,16,60,42,8,52,33,13,33,8,28,61,6,59,36,14,51,26,1,63,2,10,8,26,46,46,30,12,53,40,1,32,32,27,9,24,39,33,19,47,19,46,55,61,22,61,49,36,6,13,29,60,8,47,53,17,23]},"onnx::Pow_97":{"dims":[1,1536,1,1],"v":[7,2,3,3,5,7,7,2,5,2,7,2,4,4,1,3,6,7,1,4,2,7,5,2,7,2,3,1,3,2,7,1,4,1,6,2,7,6,3,3,1,2,3,7,2,4,2,5,6,3,7,4,2,6,4,3,2,2,3,7,4,7,2,2,7,1,4,6,3,1,6,4,7,5,3,6,6,3,3,7,2,7,6,7,4,4,5,2,2,5,3,5,5,5,7,2,3,4,1,7,3,1,1,6,2,3,2,6,4,5,6,2,2,4,6,6,2,1,7,3,6,7,6,5,6,1,2,7,3,2,1,1,2,7,2,2,3,5,7,3,7,6,3,1,1,7,1,5,2,4,6,2,7,2,4,3,6,4,1,7,6,5,5,1,5,3,4,2,5,7,5,6,3,6,5,3,2,5,6,4,7,7,1,3,3,3,5,6,6,5,6,3,4,5,3,1,5,6,4,4,5,2,5,5,3,5,3,5,6,5,6,1,6,3,6,2,1,2,2,6,5,5,2,2,2,1,5,7,6,1,4,3,5,2,7,1,4,6,2,6,6,2,1,3,3,5,2,2,5,1,6,3,1,7,6,5,6,4,1,7,1,4,7,2,6,7,3,1,3,7,7,4,7,6,5,1,3,3,3,2,1,4,6,2,4,5,2,7,4,4,1,7,4,3,4,5,3,3,1,3,6,1,5,6,1,4,4,1,7,7,3,6,7,5,4,4,2,6,1,5,3,1,6,2,3,5,4,5,2,5,2,4,3,3,5,1,7,1,7,6,1,3,1,5,3,4,5,4,6,5,3,3,6,4,3,5,4,6,2,5,5,4,4,7,3,7,5,6,4,5,5,1,7,4,4,6,6,4,7,5,6,4,4,4,3,2,7,1,3,6,1,7,4,4,7,2,6,7,5,4,3,7,6,7,4,5,2,1,6,5,4,1,2,1,6,3,2,6,2,5,2,1,6,1,5,7,2,6,1,3,6,6,1,6,1,1,1,4,6,7,1,7,4,5,6,2,6,3,1,2,4,3,5,5,4,6,1,4,2,5,2,3,4,3,1,3,2,4,5,7,1,4,3,2,4,1,4,7,5,5,7,1,2,2,2,4,1,3,3,5,5,6,5,1,6,1,7,4,5,6,5,7,1,2,4,7,6,6,4,1,6,1,2,5,4,5,3,1,7,7,7,3,5,5,6,4,3,2,7,7,7,3,5,2,6,6,4,1,5,5,7,2,7,3,1,2,3,3,2,7,7,6,6,1,3,6,3,6,4,4,3,3,1,4,2,3,5,1,4,6,5,5,4,3,3,5,2,5,7,3,4,7,6,1,3,3,1,4,6,2,3,7,1,5,4,5,6,2,5,5,1,7,1,5,2,1,5,6,1,7,1,1,4,3,2,2,7,4,7,2,5,7,1,2,2,1,1,2,1,7,7,3,5,7,5,2,1,2,1,1,7,7,7,1,7,2,3,7,7,6,1,5,2,1,6,1,2,7,6,3,5,5,2,2,3,2,3,4,7,4,7,3,6,2,2,5,3,6,3,1,4,1,3,6,1,3,6,3,6,6,7,4,5,7,6,7,5,3,5,2,2,6,7,5,6,7,4,4,5,6,7,4,1,3,7,6,7,5,7,3,4,4,4,7,5,7,2,3,6,7,2,6,6,3,6,7,7,1,4,5,4,7,6,7,7,4,7,5,4,3,6,3,7,7,4,2,1,7,6,7,3,2,4,6,3,4,4,2,4,5,2,2,6,3,5,2,7,5,4,2,5,1,7,7,2,3,1,5,7,7,1,1,5,1,3,2,4,3,1,5,1,6,2,2,3,4,3,4,6,4,7,4,5,1,5,2,7,4,7,1,3,4,4,2,4,5,7,3,7,2,2,5,5,1,7,3,1,6,5,3,4,4,3,5,3,5,7,5,4,3,1,1,5,4,1,2,4,1,4,7,4,2,1,3,3,4,6,2,2,1,7,5,7,2,3,3,2,5,7,2,7,7,3,2,6,7,5,1,5,1,3,4,4,1,3,6,4,3,7,1,5,1,4,7,7,4,5,1,2,1,2,4,6,1,2,1,4,3,2,2,7,2,5,4,1,4,1,3,1,4,1,1,5,2,5,2,2,4,1,5,4,5,2,2,7,6,6,6,5,5,3,7,2,5,4,1,2,3,2,4,2,7,4,2,7,2,6,4,7,6,3,7,2,2,2,1,5,4,2,2,6,7,2,5,1,1,6,4,2,5,6,6,2,2,2,5,2,7,5,3,6,3,1,3,3,1,2,5,3,3,4,7,6,2,1,2,4,3,2,5,4,4,5,5,6,3,5,1,1,1,1,4,2,5,7,1,4,5,5,4,3,6,4,1,4,6,2,2,7,6,1,7,4,4,5,3,5,2,5,2,2,7,1,5,1,1,3,6,4,1,4,5,2,4,6,1,4,1,4,2,1,1,4,6,6,5,7,2,7,7,2,7,4,1,2,5,3,2,7,6,3,4,7,7,4,1,5,3,3,6,4,6,7,3,4,1,3,7,6,6,2,1,3,5,1,2,1,2,4,1,3,6,3,4,6,4,4,4,5,5,7,7,6,2,7,7,7,7,7,3,1,6,2,2,2,6,1,4,2,1,4,1,2,4,5,3,4,1,5,5,5,3,6,2,7,3,5,6,3,4,7,5,2,2,6,2,7,5,3,6,4,3,1,7,2,1,3,6,5,4,7,1,1,1,2,3,3,3,3,7,3,3,1,2,5,2,3,4,2,2,1,7,5,3,6,7,2,3,1,4,3,2,5,6,4,4,4,7,7,1,6,7,4,2,3,3,6,5,7,6,1,7,3,5,7,5,1,2,4,7,6,1,7,3,5,1,3,6,2,4,4,1,3,3,7,7,4,3,4,6,1,2,6,7,6,5,7,5,3,5,5,5,5,3,1,1,5,2,3,7,3,5,7,1,7,2,2,1,6,3,3,5,5,1,1,3,5,2,7,7,5,1,6,6,2,6,7,4,2,5,4,7,6,6,4,1,3,1,5,6,2,4,2,3,6,3,5,2,4,1,2,3,7,1,2,2,4,7,5,5,5,2,3,7,4,5,4,7,4,1,4,7,2,1,1,1,6,3,7,3,6,2,5,1,6,1,1,5,1,1,3,7,5,7,6,4,2,1,6,1,2,7,3,7,5,6,6,2,7,3,3,7,5,1,7,1,2,6,7,5,2,6,1,4,3,1,7,4,7,6,6,4,3,3,3,4,5,3,5,6,4,5,4,7,3,5,1,2,7,6,7,6,7,7,5,2,7,7,1,2,2,5,2,2,5,1,4,1,2,2,2,2,5,5,4,4,5,1,1,7,6,5,2,7,4,2,2,1,5,2,2,3,2,7,5,5,6,7,6,7,5,7,5,3,7,6,5,5,2,1,6,6,1,1,1,2,3,2,4,7,6,4,3,7,5,4,6,3,5,3,7,3,7,2,5,7]}}
|