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
58 KiB
JSON
1 line
58 KiB
JSON
{"pmf":[[60,63,64,69],[65,61,63,67],[75,68,65,48],[66,65,61,64],[63,65,59,69],[62,62,64,68],[66,63,62,65],[65,66,65,60],[65,68,59,64],[68,67,59,62],[63,68,66,59],[75,62,63,56],[48,69,68,71],[63,53,69,71],[60,68,60,68],[56,61,67,72],[69,69,51,67],[65,52,78,61],[62,60,77,57],[60,62,72,62],[50,72,66,68],[62,79,60,55],[66,69,53,68],[59,65,69,63],[68,72,56,60],[55,68,59,74],[70,68,57,61],[67,72,59,58],[57,67,63,69],[73,70,61,52],[52,87,54,63],[61,67,68,60]],"bounds":[248,118,19,186,100,18,32,193,63,144,166,52,92,46,68,107,46,200,223,91,98,26,129,7,53,125,111,10,121,246,173,130],"per_channel":16,"cdfs_y":[2,4,25,27,27,28,30,37,40,42,46,46,49,50,51,60,62,63,73,74,77,81,86,86,87,89,95,98,100,103,106,106,114,115,117,120,120,120,124,128,131,131,136,138,139,153,158,158,160,163,165,165,170,171,186,187,188,192,211,212,213,217,234,0,2,7,10,12,14,15,18,21,21,23,27,27,33,35,36,38,39,49,49,54,55,57,57,60,64,65,65,65,72,80,81,91,100,102,102,106,116,120,135,137,144,147,150,153,165,166,166,170,183,189,191,192,195,197,198,227,229,229,234,235,241,250,0,1,3,3,6,14,17,19,19,22,29,33,35,38,40,46,46,48,48,58,58,59,66,79,84,88,90,100,105,107,108,108,111,118,128,136,141,148,148,151,157,158,159,161,168,169,170,180,187,196,200,203,208,211,221,223,227,227,229,236,241,246,254,2,6,8,11,18,26,27,30,34,36,40,48,49,51,52,54,57,63,66,74,74,77,79,81,83,83,84,92,106,109,113,118,129,132,133,146,159,159,165,172,174,175,176,180,189,191,192,193,199,199,201,201,203,213,230,238,239,239,241,245,250,253,255,0,14,15,15,19,24,25,27,29,32,49,53,59,65,68,74,74,79,86,88,94,95,101,106,106,112,116,118,119,127,128,133,139,140,141,143,151,152,160,163,169,170,170,171,181,194,195,197,200,205,211,217,217,218,223,225,228,239,244,244,247,250,251,0,1,8,13,19,20,24,43,45,55,55,59,63,66,66,67,75,78,79,82,94,97,99,99,102,116,118,123,124,126,130,132,136,138,143,145,150,153,157,158,158,166,170,175,185,186,187,190,191,198,198,203,205,217,217,222,226,227,233,234,247,247,253,3,6,12,18,23,25,29,30,37,41,48,49,55,60,60,61,63,65,68,79,87,88,91,91,94,99,100,109,111,111,112,112,126,129,133,133,146,153,154,161,171,175,175,180,188,190,190,192,193,196,198,201,208,211,215,216,224,224,226,236,237,237,239,3,3,4,12,18,21,24,34,35,35,38,39,51,55,61,62,62,63,67,71,75,78,79,79,84,85,91,92,96,98,104,105,106,112,120,123,130,138,139,139,146,148,150,163,172,186,192,193,204,207,208,214,222,228,230,236,236,236,240,242,245,245,254,3,11,13,14,18,19,22,24,32,40,42,52,54,55,57,57,60,65,68,72,72,73,74,80,82,88,88,97,98,108,120,128,132,137,137,139,141,142,144,145,149,152,173,174,175,176,181,181,185,186,187,190,192,195,196,200,208,208,217,220,237,253,253,7,7,10,16,17,25,31,32,35,39,49,55,56,62,67,70,71,75,76,86,89,98,100,112,121,124,125,128,133,134,138,141,142,164,165,165,168,171,172,173,174,175,177,178,180,194,199,199,201,201,201,204,205,208,211,225,229,236,238,238,239,252,253,3,12,12,13,25,31,41,42,42,59,70,76,77,80,80,84,85,87,96,98,99,107,124,124,132,132,134,136,139,149,150,152,154,155,158,158,158,161,163,175,177,184,186,189,190,195,196,202,207,210,216,220,224,231,233,235,236,237,237,245,248,250,252,4,4,8,12,17,21,28,28,32,33,35,39,40,42,45,54,55,62,63,63,71,73,75,88,91,97,99,117,118,119,123,127,128,128,130,133,136,138,138,138,144,149,150,153,157,159,162,167,173,174,175,186,189,198,211,214,223,223,227,233,236,241,247,5,17,21,21,23,36,40,41,43,43,55,57,59,67,68,70,81,82,83,90,92,108,120,121,122,123,124,127,127,127,130,133,135,135,140,143,143,145,145,156,161,165,172,174,177,178,181,189,191,196,197,199,200,210,212,213,216,222,226,228,231,233,248,1,5,8,16,18,23,27,32,35,36,38,44,51,56,60,64,66,69,76,81,95,97,103,105,105,108,113,114,122,123,133,135,135,137,139,139,140,141,142,152,154,165,169,174,175,192,195,209,210,212,213,215,222,225,228,230,231,233,238,244,248,253,254,5,11,15,16,16,17,36,38,40,45,46,46,46,51,54,59,61,62,71,73,74,81,86,91,92,103,112,120,121,123,124,125,127,129,130,135,136,137,137,145,159,161,174,185,199,201,207,209,210,211,213,213,222,225,230,235,238,240,243,245,249,251,253,4,4,5,17,19,36,38,40,42,42,46,46,49,61,63,66,70,81,85,87,93,94,97,102,105,106,107,110,138,149,153,157,159,162,166,167,168,176,178,187,187,187,188,192,195,196,200,207,209,210,221,224,226,229,230,231,237,245,248,250,250,252,254,0,1,5,7,9,10,11,12,13,14,22,29,30,35,43,47,48,54,54,57,57,57,59,60,69,73,74,76,76,81,82,95,100,103,105,111,120,120,120,122,122,130,132,132,133,133,151,159,164,168,170,172,176,176,176,183,185,187,194,197,220,241,242,5,5,7,25,27,29,32,36,37,39,40,49,50,52,60,64,78,88,93,95,97,102,110,110,118,122,123,123,124,126,126,126,139,140,141,143,152,154,158,164,165,167,185,187,187,192,194,194,196,198,203,206,209,210,226,229,233,235,242,243,245,250,253,1,2,10,10,20,25,31,40,40,43,44,48,52,68,68,71,73,76,76,93,93,95,98,116,119,121,124,130,130,131,133,134,137,137,146,155,158,174,178,180,180,181,183,185,189,195,196,196,205,206,206,207,209,218,219,226,231,234,236,239,241,242,253,0,2,3,5,8,9,12,12,14,15,16,17,19,24,27,27,34,42,45,60,61,69,71,71,77,81,84,84,87,90,96,97,104,118,119,121,126,126,127,129,133,154,168,186,189,193,201,202,208,209,226,226,229,233,236,238,243,246,248,250,250,252,253,4,9,11,14,15,16,26,28,30,33,39,41,43,51,52,53,55,63,66,67,76,80,83,87,93,97,98,108,109,120,122,125,130,131,147,147,149,165,170,172,174,174,178,180,180,184,184,194,199,203,203,203,208,211,217,221,225,236,238,246,247,249,254,4,22,28,36,39,39,47,51,57,64,68,71,73,81,84,92,96,100,104,108,109,115,117,119,132,134,137,138,139,146,148,149,155,158,161,162,168,169,173,173,190,194,203,205,211,211,213,214,214,215,215,219,234,237,239,241,241,243,244,246,248,249,251,1,8,8,12,19,29,32,32,40,48,50,62,68,68,77,78,78,78,81,93,97,97,102,105,105,113,114,119,123,123,123,123,123,130,135,136,136,137,138,148,150,150,154,155,167,181,189,191,199,201,206,207,211,212,218,218,222,222,224,231,240,246,247,9,9,10,18,34,37,42,47,49,51,52,52,57,58,71,72,74,83,90,95,102,103,116,118,119,124,130,130,135,136,137,138,144,149,151,166,166,169,179,180,181,186,188,191,192,194,196,201,212,213,218,221,223,223,229,231,233,240,246,248,249,250,253,5,6,20,22,24,25,26,27,30,38,40,48,51,52,60,61,61,65,65,67,70,70,73,84,85,104,109,120,131,131,132,136,140,143,147,153,155,156,157,163,165,166,167,168,169,171,172,177,190,191,192,192,194,215,216,233,234,237,238,238,250,252,253,2,3,5,7,14,14,22,22,27,41,48,53,63,68,70,74,79,81,89,90,95,95,98,99,99,102,103,120,124,126,128,131,137,142,146,147,157,163,171,173,176,178,179,184,190,191,197,200,204,207,207,212,213,215,218,218,228,231,233,233,238,239,243,3,5,8,20,32,32,43,45,56,57,57,63,65,72,76,77,77,79,89,94,101,104,107,109,111,120,126,132,132,134,140,140,144,145,147,148,149,151,155,157,158,181,185,191,196,197,197,202,204,212,214,214,225,227,233,234,236,238,244,249,250,252,253,0,0,5,15,16,17,21,27,31,31,32,37,39,47,54,55,57,65,68,71,73,80,84,85,86,97,99,101,102,103,105,111,116,120,122,122,124,127,135,135,139,141,142,146,153,162,162,164,174,183,184,187,198,198,210,212,216,217,228,230,234,238,249,6,7,14,15,20,22,23,25,25,28,29,29,33,53,53,56,71,71,77,80,83,84,85,90,95,101,104,115,121,122,124,125,132,137,138,139,145,146,147,148,151,152,159,169,175,182,187,187,190,190,192,192,197,198,204,209,236,238,240,243,243,245,250,1,1,4,6,8,16,48,50,52,58,59,63,65,65,66,66,74,76,77,80,82,86,94,102,103,110,114,127,127,129,130,139,143,143,144,153,153,160,162,165,165,166,177,179,180,189,191,193,194,200,201,201,204,210,210,212,219,221,224,228,235,235,253,1,6,9,12,16,19,20,22,36,38,38,40,42,44,51,58,60,66,69,70,71,77,79,81,81,83,84,92,96,99,105,106,116,117,118,120,124,128,140,146,161,162,165,172,174,177,182,183,186,195,196,202,204,205,213,227,228,237,240,243,243,249,250,6,9,19,27,29,33,39,42,43,58,58,62,63,63,63,74,80,84,85,86,90,91,91,92,93,95,102,102,108,108,110,116,118,120,125,128,129,129,131,132,133,140,142,151,153,162,170,177,178,178,182,182,186,193,206,211,216,219,222,224,226,229,235,3,16,19,20,33,35,42,45,46,48,49,54,57,63,72,88,88,90,91,93,97,98,104,111,112,117,121,124,126,126,138,142,142,146,148,153,158,165,167,168,172,173,179,181,184,186,187,188,195,201,202,203,203,206,211,219,220,230,237,243,244,248,254,2,2,9,11,16,17,27,30,52,54,57,64,66,66,66,68,73,74,75,76,78,82,86,88,93,94,99,106,106,108,108,113,114,123,131,132,139,142,144,147,147,148,149,153,156,161,170,183,194,195,198,205,210,211,215,216,220,221,224,237,238,242,245,0,2,4,6,13,15,18,19,25,32,36,45,50,57,62,65,65,76,78,79,79,91,94,95,95,96,100,109,110,111,113,117,133,136,142,143,151,159,165,169,170,172,174,177,178,184,186,188,189,208,209,215,228,231,232,234,236,237,241,242,247,248,251,2,2,5,6,7,10,12,18,19,20,22,22,23,25,25,33,34,41,41,46,52,53,67,77,77,80,82,92,93,98,98,104,105,109,126,130,130,132,133,134,138,138,152,154,156,160,163,170,186,193,196,199,211,214,219,219,230,230,239,244,245,252,252,2,5,8,19,27,33,50,52,59,59,64,65,65,71,74,76,77,78,78,79,82,84,86,96,96,97,99,100,102,109,114,116,117,118,126,129,129,130,141,142,148,166,178,178,186,189,193,194,195,206,216,218,230,235,238,243,244,244,247,251,253,253,254,10,15,17,18,26,29,33,33,36,45,56,63,73,82,83,85,90,101,102,106,108,118,123,124,125,130,131,140,148,149,153,153,154,154,154,156,158,160,162,163,165,168,177,189,189,191,192,202,207,208,210,217,224,225,233,234,238,242,244,249,253,253,253,1,8,9,11,14,15,17,18,19,21,21,24,27,30,44,48,79,79,86,95,97,97,106,108,109,110,111,114,115,118,119,125,127,133,134,150,159,164,171,173,174,187,188,190,190,191,191,200,207,207,210,214,215,216,217,221,222,225,230,240,242,248,248,4,5,10,10,14,14,15,17,20,23,24,39,49,53,68,68,69,71,73,76,82,95,100,103,108,129,130,136,141,144,144,145,145,147,148,149,156,165,178,179,179,181,185,189,195,200,207,207,207,209,211,220,223,237,239,243,243,245,249,249,250,252,253,3,6,8,9,16,17,26,30,35,41,44,47,56,56,73,73,74,74,84,86,89,97,98,102,105,110,115,123,128,134,135,137,138,139,142,144,149,157,160,169,185,186,188,188,189,189,190,202,209,216,218,219,223,226,226,229,231,231,234,235,250,251,254,1,1,1,1,4,5,5,5,5,6,20,41,50,52,61,63,64,67,70,72,72,85,88,92,102,107,107,112,116,117,127,127,130,130,131,132,139,144,145,153,166,170,175,176,178,179,186,189,193,206,214,215,227,228,229,230,232,238,238,241,243,249,255,6,9,18,20,20,25,26,29,32,36,38,40,44,52,64,66,69,70,71,73,76,82,83,92,96,98,98,98,102,104,105,108,114,117,119,126,127,131,133,133,138,142,150,157,157,168,189,190,193,195,203,204,205,206,210,217,227,227,228,232,237,248,255,0,3,14,14,16,17,23,23,28,34,44,58,59,60,61,64,70,71,76,89,92,92,95,101,102,110,124,132,145,146,146,147,150,151,154,159,163,174,178,183,185,185,192,194,199,200,202,208,208,213,213,216,216,222,223,226,229,236,237,239,242,246,251,0,2,14,14,23,29,36,36,37,37,41,44,44,45,56,57,58,63,71,73,73,79,81,85,88,89,96,101,101,114,133,136,141,149,153,153,157,159,161,173,179,180,185,185,188,199,203,204,206,211,219,220,225,230,231,232,233,234,250,251,252,252,254,0,3,5,15,21,22,23,39,46,55,61,64,77,78,81,82,82,93,102,119,128,134,136,138,138,139,142,144,148,149,151,160,162,170,181,182,182,184,187,193,193,195,196,196,202,205,205,207,209,216,216,216,218,221,223,225,227,235,238,240,246,251,255,0,3,11,16,20,26,28,39,41,45,54,57,58,58,60,72,76,76,77,78,87,92,94,97,100,102,103,104,105,112,114,116,120,124,139,147,151,151,155,158,161,170,187,187,193,204,209,211,213,216,219,219,223,224,227,229,231,231,235,238,247,251,254,14,18,20,21,22,28,29,31,36,50,52,54,61,64,76,80,82,84,87,90,94,100,113,113,131,132,133,139,142,149,151,153,168,169,177,178,179,183,185,190,193,193,196,203,205,205,205,216,217,219,221,223,229,230,230,231,235,240,242,243,245,249,251,1,3,4,5,14,17,17,22,22,23,25,28,31,35,38,40,42,48,59,63,67,68,73,77,77,83,93,94,98,103,106,113,117,127,127,127,132,132,135,137,140,149,150,153,159,166,167,169,175,177,178,178,195,195,198,211,212,215,223,233,242,253,254,2,5,6,7,9,12,15,17,22,38,39,40,42,42,44,54,59,60,61,64,70,72,79,80,82,84,85,94,95,96,97,115,134,134,137,140,147,156,162,162,165,168,172,172,172,173,174,182,182,189,193,194,195,198,212,214,229,232,234,239,243,248,252,0,4,10,30,32,39,44,46,47,50,56,57,60,69,69,69,71,71,87,87,90,90,91,97,111,113,119,124,125,125,128,140,148,151,169,170,170,171,172,175,180,181,186,187,196,198,204,206,207,208,209,214,214,215,222,231,233,237,243,248,250,250,255,1,3,3,6,7,7,11,13,23,27,28,41,41,44,46,46,55,60,60,76,78,94,96,99,105,107,109,113,124,125,126,143,144,157,159,162,175,178,185,186,187,192,194,194,196,198,198,202,205,207,215,217,230,231,233,238,241,242,243,248,249,249,255,2,4,4,4,6,6,6,12,12,14,35,39,42,46,47,47,60,60,62,65,78,84,88,96,99,101,107,109,111,113,113,119,121,124,125,131,132,142,143,148,153,153,155,157,157,158,159,161,163,168,168,180,189,200,210,218,219,225,226,229,235,240,254,0,5,6,7,9,11,12,18,18,19,20,25,25,37,42,46,48,49,50,53,60,61,69,74,76,85,88,89,106,112,113,117,118,120,123,132,142,143,144,145,153,159,167,168,173,174,176,179,185,193,193,196,205,215,216,222,230,232,242,248,251,255,255,1,5,12,20,22,25,33,40,44,49,55,60,68,69,71,74,78,87,92,92,95,95,97,98,98,103,103,106,124,127,130,131,133,135,136,141,145,148,148,151,153,154,162,164,179,181,191,198,205,218,221,223,223,225,229,233,234,234,237,244,248,252,253,2,2,8,10,19,19,23,26,30,38,51,51,51,57,60,62,64,70,73,79,80,80,80,95,96,98,112,116,121,125,132,134,138,139,143,145,146,147,153,159,160,168,173,176,177,180,193,194,197,198,204,204,205,220,227,229,231,241,243,244,249,249,249,0,6,7,8,9,28,32,33,44,46,51,52,53,54,58,60,62,65,69,69,84,91,92,94,94,100,101,105,108,112,113,116,124,124,133,136,138,146,150,151,152,152,154,162,165,168,177,177,195,197,203,208,209,210,217,217,225,233,233,243,251,251,251,0,1,14,16,19,22,23,25,31,35,43,43,44,45,47,48,52,55,55,58,58,58,62,63,64,65,66,67,67,84,97,100,103,106,111,129,140,152,156,157,160,162,162,171,173,180,181,181,184,185,190,210,222,227,228,228,230,235,241,244,244,253,254,2,3,4,6,7,14,28,29,32,38,38,48,50,50,56,57,60,60,61,62,64,65,69,71,75,93,94,96,97,107,109,111,118,121,121,132,137,139,164,165,166,170,177,190,190,194,195,196,199,199,212,213,213,213,215,215,221,225,225,226,232,242,255,2,3,3,13,13,13,14,18,28,42,48,49,54,56,56,59,59,59,60,66,67,73,82,85,90,92,94,107,116,120,123,131,133,135,135,143,145,146,152,156,159,165,169,172,184,187,192,193,195,200,205,210,220,224,231,233,240,246,246,250,251,253,254,0,5,6,12,14,16,16,22,24,28,42,43,43,45,53,66,77,83,87,87,88,92,93,94,96,115,127,138,138,147,149,149,149,149,150,157,168,170,176,180,182,185,193,193,193,195,202,203,206,207,211,217,219,221,224,225,228,234,243,244,247,253,255,1,1,4,13,21,22,22,26,26,29,33,33,36,44,49,56,80,83,84,87,93,93,95,98,102,111,114,115,117,120,121,129,132,133,134,137,137,138,158,163,164,166,166,183,186,189,189,190,199,200,202,204,209,217,218,219,225,233,236,244,249,254,254,1,9,15,21,22,27,34,34,40,48,55,58,58,60,62,63,64,68,72,75,80,81,87,87,89,94,118,122,125,130,140,142,143,162,168,168,168,169,169,174,176,184,186,188,194,199,203,203,213,216,217,223,225,233,233,233,239,246,248,248,252,253,255,0,1,4,7,13,15,19,20,21,25,37,37,43,47,52,54,56,58,63,69,77,78,79,81,87,91,93,94,96,104,113,121,130,134,137,137,138,141,142,143,145,148,163,165,167,172,176,176,180,193,205,213,214,215,220,226,229,229,232,239,242,245,250,0,1,7,9,13,14,17,24,24,29,29,36,38,39,45,50,50,54,64,67,67,77,79,79,82,89,92,94,104,107,114,114,114,123,124,125,129,131,135,138,155,155,155,172,174,183,186,190,190,191,192,196,198,199,204,210,222,225,227,232,238,249,251,2,9,14,15,17,18,18,28,30,31,34,35,43,44,46,47,48,49,49,57,63,70,74,75,76,77,85,90,90,98,102,111,112,117,122,127,127,133,136,139,139,141,147,149,161,164,164,173,174,181,185,193,206,213,213,218,218,224,229,233,245,251,253,2,12,15,16,21,28,30,31,36,38,45,45,60,62,64,71,75,75,77,78,88,89,116,117,118,120,121,122,123,123,129,132,132,133,141,141,144,147,148,148,148,151,160,171,174,184,186,188,189,191,192,196,199,201,203,206,209,210,215,220,233,240,246,2,3,4,6,6,9,11,16,21,25,27,29,34,43,52,60,61,66,66,68,72,75,80,88,104,105,111,118,120,124,126,127,129,130,131,144,144,150,151,151,162,162,162,169,181,188,193,202,208,213,215,215,216,216,221,223,223,225,230,230,235,239,254,0,4,14,15,19,21,21,22,25,31,35,42,42,45,48,56,70,72,75,76,82,82,84,96,97,101,109,111,114,120,120,121,121,123,126,126,127,155,156,159,161,167,167,180,189,206,212,213,214,214,223,223,224,225,226,227,229,236,240,247,248,253,254,14,22,26,35,41,43,44,44,45,50,51,61,62,65,66,80,83,85,87,92,97,101,101,104,105,107,111,111,111,117,137,138,141,142,144,147,150,156,159,165,167,170,172,172,177,188,189,192,197,197,200,205,207,209,214,216,220,221,226,236,248,249,255,0,1,6,7,10,13,27,33,33,35,38,44,45,47,51,58,68,69,77,77,78,78,81,87,88,89,96,98,99,99,102,104,104,109,110,111,113,123,132,142,142,147,149,149,153,159,169,175,175,188,189,193,198,200,201,207,217,219,223,242,249,249,253,13,15,16,24,26,28,29,37,38,42,44,51,52,53,53,56,59,62,73,80,84,92,93,93,100,105,107,116,116,116,119,147,159,164,165,166,168,171,171,174,174,185,186,194,195,195,200,204,209,210,213,214,214,215,219,219,222,224,237,238,247,255,255,6,20,21,22,22,25,27,28,34,36,40,45,47,49,66,67,69,75,77,78,82,83,85,90,93,107,112,113,116,127,130,130,130,134,135,136,140,148,158,159,161,163,164,166,170,177,181,187,188,189,193,196,209,213,213,214,232,233,234,239,247,247,255,6,20,23,27,29,35,36,36,38,40,55,57,60,61,67,68,73,75,78,80,83,84,85,94,99,100,102,119,121,122,127,129,131,132,135,139,139,153,158,159,159,163,168,171,174,188,194,196,204,204,213,219,228,231,234,238,238,239,241,247,252,253,254,6,7,7,9,15,24,31,39,40,44,45,53,66,67,69,74,75,76,77,90,94,95,98,99,99,107,107,111,123,127,129,129,145,146,149,150,154,155,159,159,161,163,164,167,172,184,185,187,188,193,204,207,208,211,223,236,236,236,237,240,242,248,250,2,7,14,26,30,33,35,36,38,41,41,41,43,50,57,65,68,70,71,73,79,81,83,88,89,100,113,118,120,122,126,128,135,140,140,143,147,152,153,156,157,157,162,163,173,186,188,189,189,191,192,197,202,202,207,222,227,229,230,230,247,249,249,3,5,15,22,29,38,39,40,44,47,50,54,67,67,71,71,71,83,84,85,88,89,96,100,101,104,108,109,110,117,122,124,129,137,139,140,142,143,148,166,167,174,174,175,176,183,191,194,199,200,203,203,206,212,221,224,228,233,235,238,243,247,248,11,15,15,17,27,29,31,32,42,45,45,46,47,51,57,60,66,70,72,73,76,77,83,95,97,100,101,101,104,115,123,132,136,136,141,144,147,149,152,159,160,161,164,169,172,174,175,179,185,186,191,192,194,204,216,217,223,238,241,242,247,248,248,2,2,7,11,12,16,16,17,19,23,26,27,35,38,41,50,63,70,75,76,77,84,85,87,88,96,100,109,112,113,115,120,121,124,129,130,135,135,147,157,157,162,165,165,172,188,188,189,193,198,204,208,209,213,213,230,236,243,247,250,251,253,253,14,18,25,30,32,33,33,35,36,43,45,46,54,59,59,63,65,66,69,75,78,89,94,98,98,102,107,114,117,121,126,126,133,133,136,154,155,156,158,158,171,176,177,177,179,189,192,192,199,211,228,228,229,230,234,238,239,241,245,245,252,252,255,6,14,16,16,21,28,34,36,36,43,49,49,53,53,69,72,75,85,98,99,108,108,111,113,113,113,117,117,124,126,127,129,132,136,136,145,151,151,155,155,159,166,170,170,171,173,180,181,181,183,196,200,211,213,222,223,224,237,238,241,242,245,252,0,3,3,13,21,22,25,26,31,31,31,34,43,45,45,48,49,49,53,57,59,59,65,66,67,80,84,87,90,92,96,99,101,102,114,128,133,145,146,150,172,185,197,201,205,205,205,210,213,215,221,228,230,230,230,238,238,241,245,248,251,251,253,5,5,9,12,18,19,22,28,34,40,41,44,47,48,51,59,59,63,64,74,78,89,91,93,94,97,99,118,121,130,132,139,143,145,146,147,150,153,160,181,189,201,204,215,217,217,220,223,225,231,232,234,235,244,245,245,245,246,248,249,250,252,253,0,1,4,7,8,9,13,19,19,37,37,41,51,59,65,73,80,81,81,82,89,94,95,101,109,109,109,112,113,114,116,116,118,119,120,133,133,134,135,137,141,143,152,152,160,162,182,183,188,190,192,197,207,211,212,224,226,228,229,231,232,240,243,2,11,12,22,23,28,31,32,34,37,37,37,38,41,48,49,51,62,64,65,65,79,81,83,85,98,98,100,101,104,110,110,126,128,131,135,135,148,153,159,160,164,165,168,179,179,180,182,198,203,204,213,214,217,219,226,228,229,233,238,244,253,254,0,4,9,17,18,21,28,29,31,35,37,38,39,53,55,59,66,81,84,84,87,91,91,94,99,104,113,113,115,122,123,128,140,151,154,155,156,158,166,168,171,171,171,175,179,184,188,203,207,212,216,230,230,232,237,246,247,247,247,248,248,254,255,1,2,5,7,12,13,39,45,54,65,66,71,75,76,79,79,81,82,84,85,92,93,97,102,103,105,112,116,116,117,118,119,126,128,129,133,135,136,149,151,152,165,166,173,177,180,180,186,190,191,197,203,205,214,216,219,226,229,243,249,250,251,252,15,16,17,24,24,31,45,45,50,52,57,62,63,72,73,73,84,86,88,97,98,99,103,104,104,106,114,127,129,131,137,138,143,147,150,151,152,153,169,169,171,181,184,186,190,191,193,194,198,200,200,206,209,211,211,217,217,217,219,231,236,245,247,3,7,10,10,21,22,27,29,40,42,50,52,54,54,58,59,61,68,68,76,76,78,83,104,104,116,117,118,118,120,122,123,123,127,130,137,143,145,146,150,152,159,159,164,172,172,176,185,190,207,211,211,211,220,227,228,232,233,240,241,246,255,255,1,1,3,9,21,22,25,25,26,29,31,32,36,41,42,44,46,49,61,71,73,80,81,99,102,110,134,140,143,144,152,158,162,165,168,169,171,174,177,178,180,189,189,190,201,202,202,204,211,212,212,220,225,226,228,238,238,239,240,241,245,246,255,7,15,20,28,33,35,38,43,46,50,59,59,65,68,71,72,76,82,86,88,88,91,102,105,107,117,120,120,127,128,130,132,133,133,137,139,140,144,145,146,148,160,168,172,173,179,180,183,190,192,193,195,202,212,220,222,226,227,231,235,236,239,252,6,6,7,9,14,19,23,24,26,30,37,38,39,41,43,45,49,50,54,64,64,67,75,75,82,86,94,96,97,98,100,104,113,115,115,124,127,134,136,139,143,150,162,166,170,171,178,186,195,197,200,207,212,214,216,216,224,230,232,239,241,248,251,5,8,18,29,30,45,47,50,58,59,59,60,62,74,79,85,94,100,100,102,106,112,116,118,121,121,128,138,138,141,148,154,158,161,172,173,173,180,187,188,190,190,193,203,205,208,210,211,218,219,224,225,225,227,228,230,232,233,237,238,246,247,255,1,11,20,20,27,29,39,41,42,44,47,49,56,61,63,65,66,66,68,69,76,76,77,87,93,97,100,104,113,117,117,117,120,122,126,126,149,156,161,162,163,165,167,168,173,178,188,200,211,219,223,223,231,235,242,244,245,246,248,251,254,254,255,0,0,2,3,5,7,13,29,38,40,41,58,59,60,64,68,68,69,81,85,95,101,103,110,113,117,117,121,124,126,127,128,130,139,139,143,148,151,157,158,160,165,166,174,175,176,176,178,182,183,184,197,201,213,222,225,227,232,232,248,248,249,253,8,8,15,16,18,19,27,35,38,38,40,44,56,58,61,66,73,77,82,83,86,96,100,103,104,109,109,114,115,118,124,128,138,145,146,149,156,157,162,164,166,175,192,194,198,203,204,204,205,209,210,212,213,218,220,222,241,245,245,245,248,251,255,0,5,6,11,13,14,21,25,27,29,34,35,36,40,46,47,47,52,54,57,60,63,64,73,75,83,84,93,94,100,101,105,112,114,116,126,130,131,132,144,151,152,153,155,163,169,172,174,182,187,187,187,191,192,193,201,205,210,223,225,236,247,248,1,2,7,9,18,21,26,29,42,46,56,65,65,67,68,74,83,84,91,101,106,111,120,125,127,133,139,139,139,139,145,153,156,156,163,165,167,167,181,186,186,196,197,199,202,202,205,206,209,210,214,216,217,220,225,226,226,227,234,236,245,245,253,6,8,8,11,14,14,18,25,25,26,26,28,29,30,34,41,46,47,53,60,62,74,81,83,84,87,88,89,91,103,109,109,124,127,130,132,136,139,140,148,149,150,155,160,162,166,168,168,172,173,173,178,181,191,195,198,207,208,230,233,240,241,251,2,4,5,11,14,20,24,27,31,33,35,35,36,48,50,51,52,63,66,80,84,87,90,95,96,97,98,102,105,112,114,115,119,122,122,123,130,138,143,144,145,148,149,153,158,163,175,178,184,189,192,196,201,201,209,219,220,226,227,231,236,242,249,2,3,6,10,16,20,21,25,30,31,37,38,39,42,45,51,51,54,57,59,70,73,79,80,82,85,93,94,95,99,104,108,120,128,128,138,143,146,148,160,161,162,164,167,170,172,178,178,182,183,188,191,192,195,199,215,216,219,235,237,237,242,243,0,10,15,21,30,30,35,40,44,48,50,51,68,69,71,73,74,77,77,86,90,91,95,97,100,105,106,111,112,115,117,124,137,137,139,146,153,155,157,161,164,167,170,173,174,181,193,194,195,201,207,207,215,219,221,221,225,225,228,232,240,242,253,3,3,11,14,21,28,32,36,37,41,52,53,54,56,64,71,85,88,94,95,98,100,104,106,111,111,114,115,117,117,118,128,133,134,138,142,147,148,150,152,153,157,166,166,175,176,198,200,201,210,229,230,231,234,237,240,240,244,244,246,252,253,253,5,5,6,8,9,13,17,27,28,33,39,41,42,49,55,61,66,69,74,74,77,78,78,87,87,88,95,96,100,104,104,109,111,115,125,129,137,142,148,151,162,169,179,180,188,197,199,206,208,210,213,217,222,223,235,239,241,243,249,250,250,251,255,3,4,18,19,22,26,29,30,31,46,52,53,60,60,69,74,82,82,93,101,103,110,111,112,112,119,124,126,134,138,141,154,159,160,162,163,163,166,173,174,174,177,180,186,188,191,198,201,206,209,210,212,213,214,214,218,222,232,237,237,246,248,254,12,12,24,26,26,27,31,35,46,56,57,61,67,68,74,75,78,83,86,89,98,99,100,101,101,102,107,110,113,116,123,125,125,128,129,138,139,142,148,152,158,164,168,175,178,180,182,188,192,197,209,214,216,221,222,229,236,239,240,245,247,247,252,2,4,7,17,23,24,42,46,52,53,56,57,57,69,74,77,82,82,84,86,95,106,109,109,112,115,120,125,126,126,137,149,150,159,166,167,169,171,173,183,183,186,186,190,192,194,194,195,196,206,208,209,211,214,214,215,219,227,238,251,251,253,254,3,8,11,16,20,20,35,44,50,50,52,53,58,60,65,80,84,84,91,93,99,102,104,105,108,113,114,116,117,120,124,128,132,135,146,148,150,151,153,157,162,181,183,186,187,188,188,190,195,197,199,201,203,203,203,208,210,212,214,229,240,243,255,2,2,6,9,11,14,21,28,31,32,33,38,38,39,46,46,53,53,54,57,59,60,65,65,67,74,75,81,85,86,99,100,109,110,119,137,138,140,141,145,156,164,171,176,179,187,188,190,192,193,201,204,212,216,219,219,223,224,225,227,233,244,248,2,3,6,9,10,31,32,45,47,50,50,61,67,68,77,88,94,96,97,99,99,101,103,107,109,109,111,112,114,115,124,134,144,153,154,157,158,159,160,165,171,173,176,179,192,192,194,195,198,203,205,216,217,218,218,222,230,231,241,245,247,247,249,6,10,14,16,16,18,18,19,21,24,30,40,55,72,75,76,85,88,89,100,101,104,105,107,115,125,135,136,138,138,144,149,168,169,170,185,187,190,199,201,201,206,208,209,210,213,213,218,219,220,225,230,231,237,237,238,240,240,241,244,247,254,255,0,0,1,3,6,23,28,30,30,30,36,49,54,55,61,67,68,72,76,80,85,86,88,91,93,99,111,118,121,130,133,136,138,139,144,144,144,145,145,150,152,171,181,183,186,193,194,205,205,209,216,216,219,226,229,229,233,239,242,244,247,248,253,1,1,5,10,13,15,28,30,33,37,44,52,65,66,71,75,80,85,87,89,91,97,97,103,110,110,110,112,112,113,116,119,132,139,140,142,146,154,158,169,171,174,177,185,186,186,188,189,194,197,200,209,210,211,215,218,220,225,231,233,241,242,245,0,2,4,5,12,14,31,36,38,38,39,47,47,51,56,58,59,68,71,79,85,92,93,96,100,102,103,103,104,106,107,107,111,118,125,141,142,147,156,161,162,164,167,176,176,179,184,187,189,192,198,201,221,226,227,228,232,236,241,241,242,246,249,18,19,22,24,27,29,31,32,43,45,46,46,48,49,68,69,79,81,86,87,88,90,100,108,110,112,116,130,132,146,151,155,156,157,161,162,163,163,164,165,169,171,181,182,190,191,192,196,200,202,204,204,204,210,212,215,215,238,245,245,250,251,254,0,0,5,7,9,15,30,36,38,39,39,60,61,62,63,70,72,74,77,81,81,86,95,96,105,107,107,114,119,122,127,128,128,138,158,163,165,169,170,172,174,179,179,184,190,191,194,195,195,198,206,211,211,212,214,223,228,230,231,235,241,244,247,1,4,7,16,17,22,27,42,49,50,60,66,71,71,74,75,76,77,79,80,81,86,96,98,100,103,111,115,119,120,125,127,134,137,143,161,164,165,172,176,179,180,181,182,183,186,186,197,199,199,200,202,213,220,220,225,230,240,243,245,246,252,254,0,1,2,2,10,20,24,35,37,45,49,49,51,53,56,58,59,67,69,72,74,74,77,78,79,80,82,86,87,93,93,94,104,116,124,138,145,164,167,170,175,176,178,186,191,195,197,201,201,202,208,223,224,227,229,231,231,232,235,236,248,249,254,3,7,22,32,33,37,42,43,44,46,48,51,52,60,64,65,73,74,83,96,103,112,113,123,125,128,130,132,133,135,141,148,149,154,156,165,167,171,177,179,186,188,188,201,203,204,205,206,208,211,212,213,214,214,217,220,230,231,232,237,239,247,251,4,5,15,19,22,23,29,29,31,37,40,40,43,43,44,51,65,72,76,77,79,85,86,89,91,99,103,107,114,119,121,135,136,137,147,155,158,165,175,178,179,187,191,198,200,207,208,213,214,220,229,232,232,234,237,239,239,240,240,241,247,250,255,0,6,7,15,16,20,20,34,37,50,50,51,60,62,63,73,73,74,81,87,99,104,107,109,111,112,113,113,116,121,129,131,133,137,141,142,142,145,145,149,160,160,169,174,174,191,192,196,197,197,197,197,201,204,218,218,223,224,230,240,244,249,254,0,4,6,9,13,16,18,20,21,31,37,38,45,47,47,48,66,68,69,70,72,74,75,76,77,77,80,90,97,100,104,108,111,113,114,117,119,124,127,127,127,140,140,144,163,167,168,174,184,185,186,187,189,195,199,199,205,225,233,235,236,238,242,0,0,2,7,10,10,19,33,33,41,49,50,54,56,58,60,62,67,68,74,87,92,97,99,107,114,115,127,127,128,136,138,143,149,151,154,155,158,159,165,165,166,167,169,172,174,178,180,182,192,196,208,213,217,234,238,240,240,241,241,243,247,252,0,3,5,9,20,21,21,26,27,46,47,49,49,56,58,62,67,70,73,74,75,77,81,83,88,89,90,91,99,101,102,111,112,116,116,126,128,130,142,147,161,163,172,173,174,181,182,186,205,210,212,214,217,221,224,230,235,238,239,240,246,250,251,12,13,13,13,20,27,27,27,28,28,29,38,41,47,62,67,68,68,68,70,72,75,78,78,82,83,84,86,94,96,99,101,103,110,117,123,124,125,127,130,142,148,150,151,153,162,162,173,176,189,200,201,202,204,207,225,229,234,234,243,245,251,254,8,15,16,18,25,43,45,51,53,63,64,64,65,69,72,72,74,76,79,79,82,83,97,99,100,104,112,120,121,121,133,142,143,151,152,156,159,160,161,176,179,179,180,191,192,192,193,198,201,204,210,210,217,219,219,221,221,223,230,231,238,240,252,31,34,35,37,41,41,41,43,48,52,52,53,58,59,65,67,73,79,81,83,85,87,93,96,102,103,109,109,110,116,118,123,124,128,136,136,140,141,142,155,159,161,162,167,186,186,190,191,198,200,204,211,211,213,216,218,221,222,223,229,230,247,251,14,20,24,25,27,29,35,46,47,49,59,63,68,70,75,79,79,82,87,87,98,100,101,108,109,110,111,114,117,120,121,135,136,136,140,143,150,156,166,167,172,174,178,194,194,196,199,204,206,208,215,215,216,219,223,231,232,236,238,243,244,244,249,2,10,15,20,22,24,26,28,28,29,32,35,47,47,50,59,61,83,85,86,89,99,105,107,108,109,112,119,126,130,131,136,138,139,143,143,147,148,149,156,157,160,160,165,172,175,178,179,182,186,188,189,193,199,210,217,219,223,223,232,248,252,252,2,4,9,20,25,27,30,32,32,35,38,40,45,45,47,55,65,70,71,75,85,87,88,93,96,98,111,112,112,115,117,119,119,132,147,160,161,173,175,176,176,177,179,187,189,193,195,195,206,207,209,214,214,216,217,227,230,235,238,238,239,243,255,0,2,9,10,20,40,45,49,50,53,59,60,67,71,74,75,79,91,91,92,96,97,103,110,116,128,130,133,136,140,142,144,144,149,155,156,157,158,164,168,173,176,185,185,189,193,195,202,205,209,211,214,218,228,230,234,237,239,239,250,252,252,254,2,3,5,5,9,10,12,17,18,23,27,29,32,33,36,39,43,49,50,60,65,72,81,81,85,86,91,97,100,104,105,111,120,132,142,144,147,158,162,165,171,173,178,183,184,187,195,196,199,202,203,203,203,205,211,211,213,219,230,239,239,243,253,0,3,7,10,11,15,16,19,22,27,34,36,46,49,53,58,64,71,75,82,87,90,96,98,100,102,106,107,113,113,122,124,137,139,149,149,151,152,155,158,161,163,164,169,172,175,184,190,195,206,210,213,214,215,215,218,236,237,241,246,248,252,254,0,5,8,10,16,18,20,30,33,38,44,45,46,47,52,53,56,56,56,57,62,75,77,78,81,83,85,87,87,91,93,102,118,122,131,134,134,138,141,145,148,153,154,165,170,172,172,173,190,200,207,208,209,212,215,219,224,226,228,251,252,252,254,0,3,12,16,23,25,25,28,36,43,44,48,50,53,54,56,56,58,59,64,74,81,84,90,99,100,102,119,124,128,129,130,134,136,137,138,141,148,157,163,168,169,178,183,185,189,194,197,198,199,199,202,202,203,207,215,219,220,228,228,235,247,250,3,4,6,11,14,32,35,46,49,50,51,53,53,55,56,62,71,71,74,76,80,80,82,85,102,107,108,113,116,117,118,121,124,124,147,148,152,156,156,157,160,166,167,168,168,170,174,180,197,199,200,208,208,209,211,223,225,228,241,241,248,249,253,0,4,4,14,18,21,21,30,32,40,42,42,43,44,46,46,47,55,64,65,67,68,70,80,85,91,92,92,95,101,103,103,108,108,109,110,113,122,129,130,136,143,149,154,160,161,162,163,168,172,180,204,207,207,208,222,226,228,234,235,245,247,250,3,6,6,9,11,20,24,26,26,26,33,34,35,35,36,40,40,44,57,58,59,66,70,75,75,82,83,98,99,109,110,116,121,129,129,131,133,152,153,153,161,162,164,170,175,177,177,187,196,206,208,208,209,223,233,236,241,245,247,249,251,252,253,11,16,22,26,28,29,40,43,48,48,50,60,62,69,72,75,77,77,87,90,91,91,92,97,106,107,107,121,128,129,139,141,148,149,155,156,156,160,163,165,167,171,177,181,181,186,186,187,193,196,197,199,206,207,210,211,211,217,220,223,225,254,255,1,1,3,4,8,13,16,20,26,32,32,37,40,45,48,51,52,55,74,75,83,83,94,96,97,98,99,101,114,120,121,125,128,130,134,140,141,143,160,164,170,170,172,181,190,192,202,202,204,209,214,220,222,229,232,234,235,236,243,248,251,251,253,18,21,21,27,34,35,36,40,44,45,46,48,49,51,55,59,62,64,70,70,77,78,84,85,89,91,96,97,107,108,111,113,114,114,143,147,149,153,154,157,162,162,164,167,168,169,171,175,176,179,183,192,193,203,205,207,213,213,229,231,242,244,249,1,2,7,7,10,12,12,15,16,23,23,23,29,29,36,40,41,41,45,51,54,58,58,59,66,69,72,73,79,80,85,87,90,117,118,119,125,130,136,139,150,155,166,168,175,180,182,182,183,188,188,201,202,203,203,219,219,220,222,225,228,239,253,2,6,6,7,14,23,31,33,49,58,58,61,66,67,70,71,78,79,82,86,92,92,92,98,102,102,105,107,111,111,119,119,120,122,129,129,133,133,136,138,151,152,152,153,166,173,179,184,197,205,206,207,210,211,215,222,222,232,235,240,242,248,253,1,5,10,11,16,18,20,25,25,31,41,45,60,69,71,72,73,76,81,85,85,86,88,90,95,99,99,104,113,116,116,124,125,128,128,136,142,143,157,158,160,164,167,173,178,182,182,188,194,197,198,204,208,211,225,226,228,229,231,235,236,244,255,6,11,12,17,27,32,36,38,40,43,43,45,48,49,50,59,65,68,74,74,75,85,86,88,90,92,94,96,106,106,108,109,115,117,122,122,127,132,134,143,152,162,175,179,179,182,184,195,195,206,207,208,209,219,223,223,226,228,228,237,240,243,248,1,2,5,5,6,6,8,10,11,17,25,35,38,43,44,46,53,56,60,62,64,70,82,83,85,91,99,106,107,108,113,128,134,135,136,137,138,140,145,148,148,150,156,166,175,175,177,189,190,199,200,211,213,215,222,222,225,225,235,238,244,246,254,2,6,17,18,23,24,27,43,44,45,47,48,56,60,61,63,66,69,73,73,77,83,84,90,91,93,102,102,112,113,115,116,118,121,125,128,130,136,139,140,153,153,153,154,160,164,166,175,179,184,186,192,192,194,198,201,202,233,241,246,251,251,252,0,1,1,4,23,28,32,36,37,39,42,48,65,70,70,73,77,84,86,96,99,100,104,104,109,112,121,123,123,125,125,134,144,145,146,155,162,172,174,175,175,180,181,182,187,190,195,197,201,201,203,205,213,226,227,229,238,242,242,246,248,249,252,1,5,7,7,7,13,16,17,17,22,28,28,37,38,39,42,44,48,49,53,54,57,59,73,79,80,93,97,102,112,113,114,115,115,126,132,144,146,155,157,167,171,180,183,189,189,191,194,195,195,198,203,211,214,215,216,219,223,223,231,233,246,247,8,11,15,19,28,30,31,33,40,42,45,53,57,58,66,68,71,73,73,85,89,93,93,97,102,109,112,117,122,123,126,133,136,137,144,144,148,150,153,155,156,157,160,173,173,174,179,183,184,191,191,191,194,198,200,214,216,224,226,232,237,244,246,2,2,3,16,19,36,37,39,43,43,44,44,47,49,62,63,73,74,79,92,95,100,102,103,112,134,136,140,140,158,159,165,165,166,166,171,178,180,180,181,184,185,185,192,192,195,200,205,206,209,209,213,217,217,217,221,226,226,226,232,237,243,253,2,21,22,28,52,54,55,63,66,68,75,77,77,82,82,91,91,92,95,100,100,103,105,107,107,107,111,114,117,125,126,127,129,139,141,142,150,151,160,165,172,179,182,187,191,193,197,199,201,203,218,218,218,230,233,234,236,237,239,243,246,251,253,6,9,10,13,13,16,19,28,30,32,46,52,55,59,64,69,69,76,77,77,90,99,100,100,114,116,118,118,121,122,124,127,129,142,150,151,165,169,174,176,177,182,182,189,191,192,202,209,211,211,211,215,218,223,226,227,227,231,233,238,248,250,250,0,1,6,20,21,39,40,42,54,55,56,58,58,60,65,66,68,71,73,73,76,85,86,89,93,100,106,113,114,120,122,131,132,135,135,137,144,150,151,152,154,155,155,156,162,167,171,172,172,173,186,189,193,198,212,215,215,227,227,228,231,237,243,4,4,5,7,13,18,21,22,22,22,25,26,43,46,54,56,63,63,68,81,90,90,93,95,106,107,110,117,119,122,130,138,148,152,153,154,161,165,169,173,179,181,186,188,192,194,199,202,206,206,208,209,212,217,219,222,225,229,231,233,248,249,253,10,12,24,27,30,34,38,41,59,60,61,67,68,68,75,83,83,85,91,91,92,93,101,107,109,112,119,121,128,129,131,132,136,138,143,155,156,157,159,161,169,170,174,177,178,179,186,200,203,204,206,210,211,224,227,235,235,238,244,246,247,249,249,6,9,19,19,26,28,36,38,40,40,47,49,52,52,54,65,69,70,76,78,84,84,84,85,86,90,90,94,97,99,102,107,108,118,130,136,137,145,146,149,150,156,157,159,168,169,177,180,180,180,187,189,202,203,206,220,221,224,226,226,235,238,251,1,2,2,2,5,16,20,26,29,32,32,37,40,41,54,56,80,82,82,82,86,88,100,123,123,124,136,142,143,150,150,160,160,163,165,168,170,173,176,180,182,184,195,197,198,207,210,210,212,213,213,215,226,229,229,235,235,244,245,246,251,252,252,1,9,11,12,23,27,27,29,37,37,38,44,56,57,57,60,66,74,79,79,81,84,85,85,91,95,106,108,110,120,121,121,123,134,137,146,157,158,165,166,170,171,171,172,180,182,182,187,191,195,199,208,215,225,225,230,231,234,238,238,241,246,251,0,7,13,13,25,27,33,35,43,60,69,69,69,79,80,81,82,95,95,97,102,105,107,110,112,126,128,130,133,133,135,137,137,138,138,139,140,147,152,158,162,165,167,176,179,181,182,183,185,187,188,189,193,197,198,206,207,217,222,227,230,238,250],"cdfs_uv":[1,4,5,15,27,28,29,30,30,38,43,48,52,56,59,63,64,66,71,80,83,85,97,98,99,103,107,116,116,117,123,126,127,132,143,150,151,161,168,175,177,179,180,187,190,192,194,196,204,204,208,211,228,228,236,238,240,243,248,248,248,250,254,3,8,11,21,21,23,25,27,31,31,33,37,43,45,46,48,61,61,62,90,97,99,107,110,112,114,118,126,134,144,150,153,161,164,167,169,171,174,178,179,183,184,188,190,193,196,200,200,209,213,213,216,217,219,219,221,229,230,237,247,249,254,255,1,1,2,3,3,4,13,13,14,15,22,27,38,42,45,57,62,63,64,66,66,73,78,85,87,88,96,97,100,101,107,108,112,120,125,129,130,137,140,142,142,148,154,154,166,183,193,197,198,209,210,211,212,212,220,221,224,225,229,231,234,239,248,1,3,5,7,21,24,28,30,30,33,33,35,35,45,47,49,55,59,64,73,76,80,102,104,105,108,109,110,111,118,119,122,130,130,135,136,137,139,151,155,168,169,175,178,186,187,191,196,196,201,204,207,215,216,221,224,225,226,231,231,237,242,244,3,9,15,16,16,22,22,28,30,34,34,44,45,47,52,54,57,71,73,79,84,84,87,88,91,104,105,109,109,111,116,121,121,123,124,127,128,133,138,145,153,154,155,164,167,174,177,178,183,186,186,187,197,208,211,215,216,222,229,230,240,244,245,0,10,18,30,35,36,38,45,46,50,51,59,61,70,70,73,79,89,90,102,104,108,109,112,115,117,127,134,139,141,143,143,144,155,159,161,167,170,171,174,179,180,182,182,189,194,196,198,207,209,209,210,216,217,223,224,225,230,233,237,244,248,249,0,5,6,7,14,16,18,23,25,25,27,36,36,37,39,41,42,61,62,66,72,76,76,79,83,90,92,98,101,101,107,107,111,116,123,124,135,136,140,143,153,160,162,165,168,176,178,181,182,189,212,213,216,228,228,234,236,242,248,250,252,252,253,7,8,10,11,13,14,44,45,45,47,50,53,53,65,69,72,76,76,85,89,92,97,98,98,106,106,107,112,113,117,119,121,122,124,127,135,139,141,147,150,156,163,165,175,175,177,180,187,193,196,198,199,202,206,206,208,225,225,227,235,236,238,245,8,10,11,14,17,17,26,41,42,46,52,61,61,66,78,80,89,90,91,98,101,104,107,109,118,118,120,128,135,135,136,136,145,147,148,149,152,174,184,187,197,198,201,204,206,206,211,213,216,217,219,222,228,232,240,243,244,246,248,251,254,254,255,5,5,5,12,14,34,37,38,47,53,54,59,69,75,80,80,82,84,87,93,94,97,98,105,108,113,127,132,138,141,145,146,151,152,152,154,154,161,161,162,162,173,180,186,194,196,197,198,198,213,217,219,228,229,232,233,233,234,234,235,236,250,250,13,15,22,28,29,29,36,39,64,65,70,71,73,78,81,82,84,84,85,87,89,90,92,93,106,107,113,120,123,126,127,128,128,133,134,135,140,147,155,162,165,166,174,187,189,190,198,204,206,209,209,219,220,228,235,240,241,241,242,245,246,249,254,4,4,8,19,20,21,22,30,32,37,38,50,51,53,58,59,67,70,71,71,73,77,81,86,97,98,111,111,116,121,122,126,128,130,137,141,142,147,150,155,157,159,159,165,181,190,190,192,192,195,219,222,222,229,229,237,238,240,241,247,250,252,253,0,2,3,9,12,13,15,20,21,24,29,30,39,41,51,53,60,62,64,70,79,86,93,94,95,100,101,102,104,114,120,124,125,133,136,138,144,147,153,157,162,167,175,179,179,185,188,194,195,209,212,216,220,223,224,225,231,237,238,245,249,250,255,8,8,11,16,18,22,27,27,36,42,51,53,55,55,58,58,58,71,72,74,82,92,93,98,101,106,114,115,120,121,128,137,145,146,148,149,156,158,166,179,179,180,181,182,192,194,198,199,200,204,211,219,220,222,222,224,227,230,234,241,241,242,243,0,4,5,23,23,27,29,33,40,41,42,45,51,61,64,68,71,75,75,79,80,86,87,94,97,98,101,105,109,116,124,124,126,128,133,139,143,147,154,161,165,171,172,174,178,184,189,190,196,200,202,209,215,228,230,234,236,238,239,243,243,254,255,2,6,12,16,18,23,27,36,50,50,53,65,68,69,79,85,87,92,93,99,101,101,102,103,105,112,115,115,117,130,142,145,147,149,156,159,160,164,169,172,175,176,179,180,191,193,203,204,210,216,219,222,227,232,238,239,240,241,242,242,244,253,254,2,9,13,14,19,27,28,28,28,33,34,36,40,41,43,46,51,54,58,66,66,81,86,89,91,94,96,101,109,117,122,123,127,130,131,135,136,141,142,143,147,148,151,160,162,166,170,182,183,184,188,189,195,199,200,208,221,223,225,226,236,241,246,1,7,15,16,21,21,23,25,25,28,35,43,44,46,52,57,58,60,66,67,76,77,78,82,84,103,103,105,105,107,107,108,114,122,123,141,143,148,150,154,155,156,156,156,159,160,162,163,179,186,191,194,194,206,220,225,228,234,239,240,241,244,253,3,11,17,23,26,26,26,27,34,40,40,46,46,52,53,53,54,55,62,67,69,76,76,77,81,82,83,83,89,91,92,96,98,98,100,106,108,109,124,126,132,134,136,138,140,145,148,160,166,177,184,188,193,195,216,219,220,222,234,238,242,246,251,1,1,2,3,12,20,23,30,31,37,47,50,53,53,53,58,64,64,68,71,84,92,96,98,99,104,104,109,112,116,120,124,128,131,132,138,143,152,157,164,171,178,181,189,189,190,193,194,197,198,206,208,209,214,226,231,239,243,245,246,246,250,254,0,2,14,15,17,21,25,29,29,29,30,36,37,41,51,51,61,64,64,73,76,86,87,93,94,94,96,115,116,119,119,122,125,133,139,141,143,146,151,154,155,172,176,178,186,188,191,191,199,204,205,211,216,217,220,233,236,238,239,241,251,252,252,0,0,12,20,29,38,42,46,49,53,55,59,60,60,63,65,70,73,76,79,79,92,93,96,98,105,109,112,126,128,131,131,132,132,153,154,160,165,166,166,176,176,180,182,197,202,203,204,204,207,214,215,219,221,222,224,232,232,238,239,241,241,254,4,6,12,12,13,14,17,21,26,48,51,58,60,70,71,73,75,77,82,84,87,87,90,95,97,107,109,113,122,123,125,129,131,132,139,143,154,161,162,164,167,173,175,177,178,185,189,198,199,200,205,208,211,219,220,224,225,231,235,235,242,250,252,0,5,16,18,20,24,26,28,33,36,50,50,51,60,62,62,63,64,65,68,68,68,71,75,82,82,86,87,97,101,101,108,109,116,120,130,130,131,133,141,147,152,160,162,176,177,178,182,194,197,199,199,201,206,208,212,215,218,228,232,241,245,254,0,5,13,13,13,15,34,35,36,37,41,43,43,44,44,45,49,49,54,55,60,68,73,83,85,87,89,94,96,105,115,117,117,122,122,130,131,140,143,153,160,160,169,176,189,190,191,192,192,195,196,196,197,200,204,211,218,225,225,236,236,242,245,0,1,2,5,9,17,18,20,23,24,24,27,28,29,33,37,43,44,49,51,54,55,55,56,66,67,75,81,86,96,105,116,117,119,125,136,159,160,162,163,171,177,179,180,184,187,190,195,200,200,202,205,207,214,214,228,235,237,245,245,245,246,253,1,5,6,8,11,13,17,21,22,26,32,33,37,39,49,60,66,70,71,78,79,90,101,102,104,105,111,113,115,118,119,123,126,127,130,132,134,137,156,158,171,176,184,186,187,197,200,203,204,208,211,213,216,219,224,226,227,229,229,232,244,245,253,3,3,24,34,35,41,44,48,48,49,52,55,56,56,60,60,61,66,67,68,71,74,75,76,90,95,100,100,106,110,111,112,114,117,123,124,128,134,141,145,148,159,161,171,179,185,199,199,200,205,210,220,223,226,230,234,235,235,239,241,245,249,252,1,3,6,16,20,20,22,23,25,26,33,44,53,56,59,76,76,86,86,95,102,102,114,123,131,131,140,143,145,150,151,154,155,156,158,161,162,165,173,178,183,184,187,189,192,193,196,197,197,198,199,212,215,215,216,219,220,223,226,231,240,249,252,14,16,19,20,21,22,39,46,48,52,78,83,90,91,92,93,99,106,115,118,124,128,129,130,133,133,138,139,142,146,146,149,149,151,151,153,157,161,161,164,167,169,173,180,183,186,188,195,195,198,206,208,208,211,212,218,223,231,242,243,244,247,255,7,7,11,22,30,33,40,44,44,51,53,54,57,58,58,70,73,78,83,84,92,93,94,95,99,102,102,118,121,122,129,130,135,141,141,146,147,148,150,152,160,170,175,184,189,193,193,194,197,202,203,205,207,214,225,232,236,241,243,245,247,253,254,4,4,8,9,10,16,17,19,19,21,25,38,40,42,44,44,48,49,52,53,57,75,79,81,83,84,87,87,88,91,91,96,98,98,100,103,103,104,105,116,116,130,135,138,145,147,152,155,155,169,174,174,176,191,200,202,209,210,211,217,220,253,253,2,2,5,6,12,13,14,16,17,17,18,19,22,24,35,46,46,58,59,60,61,66,66,72,75,80,85,88,94,95,96,99,102,107,117,123,123,127,133,137,142,143,144,164,165,171,180,182,185,190,192,193,203,206,212,215,216,219,222,231,234,241,255,5,7,10,11,11,24,30,32,33,42,44,58,61,62,64,72,76,85,99,99,100,102,104,106,107,115,116,116,119,121,122,124,126,134,146,148,150,152,156,157,157,176,181,182,182,184,186,204,205,213,215,217,219,219,221,223,227,228,233,238,243,248,253,5,7,13,15,17,18,19,23,24,24,29,39,40,43,45,48,49,56,56,60,62,68,77,80,80,81,83,99,100,109,109,111,119,126,129,130,131,134,135,135,141,147,150,151,153,160,165,175,179,184,187,197,199,206,208,210,223,226,226,227,228,243,253,6,6,12,16,19,21,23,25,37,41,42,57,58,59,62,63,68,73,74,75,85,85,96,104,113,116,125,126,133,139,141,143,145,155,157,158,158,162,167,171,173,189,191,195,195,196,197,203,207,214,221,223,225,229,238,242,247,247,247,248,252,253,253,3,11,23,42,46,53,55,64,80,80,92,95,96,101,101,106,109,110,111,111,112,113,115,115,117,118,120,120,122,128,133,133,153,158,161,165,165,168,172,176,186,187,189,190,190,193,193,203,204,205,208,222,226,228,231,236,239,240,244,247,248,252,253,0,1,4,4,9,19,24,28,30,30,31,33,38,39,41,46,50,53,66,70,76,76,83,85,86,87,90,91,116,122,125,133,133,137,138,141,142,150,155,158,167,169,170,172,182,187,190,196,197,202,205,207,208,212,212,214,215,217,222,233,243,245,252,18,18,21,22,27,27,29,30,30,31,34,34,35,42,58,62,62,66,68,70,72,80,83,87,89,94,101,102,104,104,110,115,116,124,125,154,156,156,160,161,168,173,173,175,178,178,183,185,186,187,188,192,194,196,218,226,228,247,248,248,249,252,254,0,1,2,9,17,20,32,32,35,40,41,42,49,51,52,57,63,72,74,75,76,82,84,91,92,104,116,118,121,125,126,132,134,138,143,145,148,150,157,167,167,169,179,186,187,188,189,192,195,204,204,206,208,209,209,212,220,220,227,229,243,251,253,0,2,7,10,21,23,24,35,44,54,61,62,62,65,66,68,76,77,77,78,94,95,96,100,100,101,103,105,108,115,116,117,119,126,132,137,138,149,150,156,157,158,158,162,162,166,168,172,180,186,187,189,204,207,209,213,222,224,239,248,249,253,254,8,12,20,22,22,24,25,25,29,35,39,44,46,46,51,52,55,66,70,71,71,79,89,94,95,108,109,112,115,122,127,127,129,131,133,136,144,147,151,151,153,161,164,171,177,179,197,199,199,204,205,218,224,227,228,235,243,246,249,251,253,254,255,0,13,14,15,20,26,29,29,31,42,42,45,51,64,73,75,89,93,95,101,105,108,110,123,126,130,134,135,138,142,145,145,159,160,162,163,164,165,165,166,168,177,185,190,191,194,197,198,201,207,208,225,226,226,228,229,232,235,236,239,249,250,253,0,4,11,11,23,25,26,32,32,33,43,46,49,51,63,64,70,71,72,75,78,90,94,102,104,104,105,107,108,110,113,114,128,131,134,146,146,150,151,152,156,161,163,166,171,174,181,181,191,192,195,200,212,218,220,224,224,231,239,245,248,253,254,0,5,9,10,11,17,20,22,24,25,32,41,41,41,46,49,51,59,59,61,66,74,74,83,93,97,100,121,128,129,130,138,141,142,142,143,146,150,155,159,164,166,174,178,178,178,180,187,187,196,206,207,207,208,213,218,224,234,235,236,239,253,253,2,3,10,15,25,25,33,41,54,57,65,75,75,80,82,85,87,91,93,96,98,99,102,105,106,107,118,120,123,124,125,131,134,135,137,145,147,149,152,159,166,171,181,195,200,200,201,206,208,209,211,215,215,216,216,219,221,222,228,232,236,240,250,8,17,19,22,23,28,29,29,31,34,35,36,39,41,43,45,56,61,71,74,75,88,109,121,122,123,126,132,133,139,139,146,150,158,161,166,167,173,174,178,178,180,183,184,188,188,196,200,205,209,213,214,215,217,221,226,233,234,236,240,244,251,254,0,1,8,19,20,42,42,42,47,50,50,50,51,54,61,64,67,74,74,76,81,84,85,92,112,114,122,122,133,140,142,142,151,154,156,161,170,171,174,176,176,177,186,189,200,202,207,209,219,219,219,226,230,235,237,238,241,241,246,250,250,253,254,2,6,10,10,13,15,26,27,28,29,33,42,43,45,45,46,51,53,62,67,69,76,92,93,101,113,121,123,124,128,128,133,137,152,155,159,171,172,173,176,185,189,195,197,198,205,216,218,220,221,221,226,226,228,231,233,234,238,243,245,246,250,253,14,15,16,29,29,33,34,34,41,45,46,51,53,55,57,59,72,79,91,92,93,93,97,97,101,105,106,106,110,112,116,118,120,125,132,139,148,151,163,166,180,181,183,185,188,192,195,197,204,205,206,206,211,211,212,228,229,238,241,241,242,245,254,1,2,2,2,5,9,11,12,25,30,31,36,50,61,62,64,74,78,83,89,91,92,101,105,116,119,120,127,131,143,144,147,150,150,153,155,158,163,175,178,180,182,182,184,185,191,194,198,201,201,202,208,215,217,223,225,226,233,239,241,245,249,255,1,13,16,20,33,34,36,39,41,41,43,46,48,50,55,61,63,64,72,75,77,79,87,89,91,92,95,98,99,99,102,105,109,110,114,126,128,129,137,138,145,145,155,157,158,159,177,179,182,193,195,198,199,203,210,212,214,217,220,223,238,244,245,0,1,3,13,15,15,17,22,24,33,36,42,53,54,57,57,58,62,63,71,82,87,89,102,111,114,115,121,121,125,128,136,139,145,151,156,161,168,170,171,172,173,174,179,179,182,184,191,192,199,201,203,226,226,228,230,230,231,236,244,244,248,251,0,8,8,10,15,19,22,23,27,28,32,32,33,42,42,45,49,50,53,55,57,57,62,73,77,78,96,97,98,100,109,112,115,119,119,122,123,138,141,141,147,153,153,161,168,169,171,172,195,201,205,208,213,215,218,219,227,231,241,242,246,250,251,2,9,24,27,39,41,47,68,69,71,72,75,78,79,81,87,88,97,98,103,106,110,110,114,122,125,125,125,129,132,134,145,148,151,153,156,157,159,164,164,170,172,172,174,176,186,195,199,200,200,201,204,210,210,217,219,220,237,240,240,240,250,254,5,11,14,19,25,33,39,41,42,43,44,48,59,66,68,70,71,72,75,76,78,78,82,84,85,87,89,89,93,93,101,107,116,116,116,136,137,139,144,145,151,151,152,155,162,166,169,169,171,183,186,189,194,200,204,219,227,227,235,239,241,242,255,0,17,20,21,23,30,32,32,34,35,42,47,48,48,59,64,74,76,77,81,83,90,93,100,101,109,109,109,114,116,120,121,122,129,147,152,154,164,165,169,172,173,183,185,187,187,188,193,195,197,200,202,202,205,211,211,221,222,224,228,244,245,247,0,3,5,6,9,19,19,25,31,32,34,42,48,56,58,62,68,72,85,89,93,123,124,127,129,148,149,158,162,167,170,171,178,183,185,186,187,187,189,191,193,197,199,199,199,202,202,204,208,209,210,210,212,213,223,224,229,232,233,235,242,250,252,3,12,15,17,21,24,36,39,42,43,44,45,58,64,66,68,69,69,75,75,77,78,84,85,89,92,93,99,100,109,109,111,112,140,142,144,147,150,158,164,165,179,182,191,197,197,200,206,208,210,214,220,223,226,237,239,241,247,247,249,250,251,252,11,13,15,18,23,25,27,29,32,34,35,38,44,47,50,53,55,60,61,79,79,82,83,84,84,94,98,108,113,121,124,125,125,125,127,139,146,151,153,154,165,167,169,172,180,181,199,201,207,213,214,215,218,219,221,230,234,236,238,244,251,251,252,2,5,6,8,9,10,12,13,16,16,37,40,41,48,54,54,57,59,61,62,71,73,74,75,84,99,105,107,121,121,123,126,133,144,149,150,169,172,176,179,180,181,183,187,188,190,195,201,205,212,213,217,218,219,226,227,231,234,236,242,246,248,253,1,1,7,8,10,16,20,25,31,31,33,43,44,49,49,61,63,63,64,66,69,74,78,88,90,94,106,113,114,122,127,128,129,130,138,141,143,150,152,155,162,166,177,180,192,192,195,200,201,203,205,205,209,230,232,237,238,240,240,249,249,250,250,0,2,3,3,4,23,32,34,34,41,45,48,53,54,58,62,73,75,78,80,85,94,100,115,118,123,124,125,126,132,133,135,137,137,143,145,148,154,157,163,165,167,171,174,177,187,190,191,192,193,197,204,209,213,229,229,231,233,236,243,250,255,255,9,22,25,27,34,35,39,43,50,53,58,63,68,70,73,78,78,79,80,83,88,91,95,103,107,110,110,112,116,117,122,139,142,145,146,147,150,153,159,161,162,170,171,174,182,186,189,194,195,197,198,202,215,221,226,232,237,239,247,252,253,253,254,1,4,19,19,27,31,31,38,39,46,62,66,74,78,79,86,92,96,98,100,108,112,118,120,122,123,124,128,132,132,134,135,142,146,154,158,160,168,175,176,176,177,185,187,187,188,196,204,205,214,215,216,217,218,225,227,227,234,234,243,249,251,255,8,8,11,23,24,27,30,38,42,43,48,55,64,64,69,70,76,83,85,88,92,92,94,96,98,103,105,115,116,122,122,125,131,137,138,139,141,152,169,184,185,188,189,191,192,192,193,194,195,196,197,207,207,211,214,214,217,224,229,234,242,248,249,0,2,5,5,12,14,14,17,29,33,33,40,43,46,46,47,54,55,59,71,71,73,83,90,93,95,98,100,106,106,108,110,115,117,132,139,141,147,148,150,157,159,172,181,201,210,211,212,214,219,224,225,226,229,230,232,236,237,237,242,243,249,249,0,1,6,8,14,16,21,21,32,39,39,41,61,62,82,85,87,91,91,99,99,106,106,106,113,115,116,120,121,121,126,127,127,132,133,134,136,137,140,140,149,154,156,157,161,167,174,180,189,197,200,204,211,211,221,222,226,227,241,242,245,248,248,0,5,20,22,24,25,26,26,27,28,29,31,35,44,48,50,53,56,65,70,75,87,87,92,96,96,99,103,117,120,129,132,139,146,150,150,153,163,180,181,195,196,198,198,200,201,202,203,204,205,208,211,212,218,223,224,234,236,236,238,241,242,248,0,5,10,13,14,16,16,25,25,29,37,38,42,46,54,55,56,61,62,63,63,66,72,95,97,98,103,113,118,132,135,137,137,137,138,141,142,147,151,168,168,168,169,170,175,175,188,191,192,193,196,199,200,201,210,220,226,237,237,239,240,250,252,2,4,5,11,12,13,15,22,22,23,25,27,36,37,41,42,45,48,50,51,67,68,75,80,83,92,97,99,105,108,111,115,117,119,124,130,132,147,157,159,162,164,167,171,172,173,181,183,192,193,197,200,202,204,205,216,218,218,228,238,240,254,254,0,1,2,5,10,13,27,32,33,35,39,42,47,54,55,56,59,62,63,63,74,77,79,80,90,90,93,93,107,118,121,127,131,132,132,144,146,155,160,167,171,174,177,182,184,186,191,194,196,198,199,208,211,216,219,228,228,241,244,246,246,253,254,2,5,7,21,22,28,30,49,52,52,52,57,61,62,62,72,74,77,78,80,90,104,113,114,115,119,124,124,124,134,140,147,148,151,151,154,159,159,162,177,180,183,183,188,194,195,198,199,201,203,207,207,211,213,213,217,231,231,232,236,238,248,255,0,12,13,16,19,31,31,45,47,48,60,62,65,68,72,75,76,76,84,86,87,88,89,90,92,93,96,99,100,100,101,103,109,115,116,116,119,124,134,135,139,162,162,165,168,169,180,180,184,189,192,194,194,200,203,215,216,229,232,233,234,234,244,7,7,14,17,20,30,33,34,43,45,48,53,70,70,72,76,78,85,87,89,99,100,100,103,115,118,121,122,124,133,137,138,139,142,144,152,161,161,164,165,166,168,178,180,181,184,185,193,195,196,196,197,199,203,207,211,215,223,226,228,229,230,234,7,15,19,19,22,24,24,26,26,27,28,36,50,59,65,65,69,70,72,75,75,76,81,81,82,83,92,104,108,114,115,116,118,121,131,135,139,140,143,153,156,161,162,165,173,173,174,182,188,188,190,194,203,206,217,218,234,241,248,250,250,253,255,2,3,4,4,5,5,8,9,9,11,15,15,17,25,28,31,43,57,62,65,69,91,93,94,94,102,104,107,122,133,136,141,142,145,150,153,160,167,169,171,186,188,190,193,196,196,199,202,202,203,204,204,213,220,223,226,228,231,238,240,243,246,250,2,2,5,5,8,9,10,21,26,31,37,41,41,43,45,53,59,69,75,77,84,86,87,89,91,99,108,112,114,119,129,130,135,139,144,149,161,169,176,184,187,188,190,191,193,193,194,196,209,214,218,222,222,224,225,229,229,233,233,234,238,248,255,0,10,14,15,15,20,20,27,28,29,35,35,41,45,47,48,54,55,60,63,64,65,69,72,75,76,78,91,103,105,109,109,111,114,116,129,131,132,151,157,157,160,164,164,166,171,182,184,186,187,195,204,208,209,213,219,220,220,225,227,234,239,253,13,22,23,24,24,30,36,42,42,47,49,49,50,56,66,67,67,69,70,75,76,78,81,84,85,85,92,100,102,111,113,120,124,130,134,135,139,152,153,157,165,173,176,182,188,195,198,201,204,208,215,219,222,228,234,234,240,241,241,245,248,249,253,1,1,4,9,12,14,19,19,19,33,39,41,44,44,47,54,55,58,65,66,69,73,81,82,83,88,91,94,98,106,107,110,121,125,127,130,135,140,153,158,163,165,171,171,171,171,176,190,193,198,200,201,204,205,206,214,238,241,242,244,253,254,255,2,3,4,4,9,10,12,19,19,33,34,40,41,44,54,64,65,66,72,75,81,82,82,105,106,107,114,116,121,127,127,128,131,132,134,138,139,140,143,149,153,165,170,173,174,176,178,178,179,183,185,186,193,194,218,221,224,225,228,243,244,250,253,4,6,7,12,16,23,25,26,26,30,36,42,46,47,50,50,51,53,58,63,87,88,91,94,109,118,119,122,124,131,137,143,143,144,146,148,150,150,165,165,172,174,175,178,178,187,190,202,203,209,211,212,216,220,220,227,230,236,240,242,243,244,254,5,11,15,22,32,33,46,47,48,50,55,58,62,67,74,75,76,79,96,100,100,105,106,111,113,114,124,127,130,136,138,142,143,146,157,159,160,161,169,177,192,193,193,194,194,201,208,210,211,212,213,217,217,224,226,229,234,237,248,249,250,253,255,1,2,8,10,13,19,22,26,33,37,39,46,48,56,58,64,64,66,74,76,86,87,90,95,100,101,102,106,108,108,112,114,114,125,140,141,143,150,157,159,159,163,170,171,172,177,180,184,186,188,189,189,192,195,197,212,228,237,240,240,241,245,248,1,11,18,24,29,35,39,39,40,43,45,46,51,52,61,69,70,70,73,74,81,86,90,95,103,106,108,117,122,131,139,153,154,161,164,165,166,167,168,175,181,185,185,190,190,190,200,212,213,218,220,221,223,233,235,238,239,241,244,248,249,255,255,0,6,15,23,27,30,31,33,34,36,39,43,48,48,51,57,61,69,70,74,76,80,84,86,94,100,106,106,107,114,119,119,120,138,141,143,146,147,150,162,163,167,171,179,180,182,183,183,188,188,191,191,206,207,211,221,224,224,232,235,238,248,249,3,5,5,10,16,21,21,26,26,31,38,55,56,59,64,76,79,79,83,83,88,89,93,97,103,109,117,125,131,133,134,139,140,140,142,145,155,165,165,167,173,176,182,188,190,196,198,199,203,210,211,219,220,220,222,225,235,235,239,242,244,244,255,10,13,15,19,19,25,26,27,32,38,40,40,51,56,62,63,63,63,68,71,82,85,89,91,99,105,105,110,112,113,117,119,121,129,131,141,146,151,154,154,175,178,185,190,192,192,193,193,195,200,209,214,216,226,227,230,232,233,238,243,248,251,255,1,3,11,11,12,14,14,17,18,23,23,24,25,26,30,32,33,34,40,44,45,46,52,52,56,71,74,81,85,89,92,105,109,112,114,115,119,119,137,143,145,147,149,150,154,154,172,182,191,194,194,196,199,200,203,209,215,235,237,238,242,242,253,1,11,13,15,16,25,25,29,32,32,36,47,48,49,52,56,58,59,65,66,70,71,83,84,96,103,115,118,119,124,125,130,141,142,150,154,154,155,156,162,164,168,171,172,174,174,177,183,185,191,194,196,211,213,217,226,231,233,234,239,244,246,248,10,12,14,23,27,29,37,40,44,44,49,49,67,69,69,69,79,83,84,88,93,98,104,107,109,110,115,120,125,126,128,133,139,144,149,161,161,162,164,164,166,175,177,180,183,187,195,201,201,202,206,211,213,214,222,231,233,241,245,246,251,251,251,3,5,10,10,11,13,22,23,25,27,30,31,39,41,43,53,56,63,70,71,76,91,91,94,96,102,103,103,104,120,126,128,131,132,133,143,145,146,149,149,150,151,163,166,172,178,179,180,189,190,196,201,205,208,208,212,221,228,231,238,239,247,251,21,32,39,40,43,44,49,50,51,51,53,54,56,57,70,72,74,77,82,84,91,91,91,92,99,100,101,103,104,108,118,119,121,128,132,151,151,152,155,155,156,158,159,162,168,175,187,189,193,197,197,200,207,214,218,222,222,229,231,231,246,250,254,3,4,9,14,15,17,20,22,23,37,37,40,46,54,54,66,69,74,82,87,88,92,98,98,115,116,116,120,120,131,138,143,146,146,149,149,149,154,158,162,162,168,173,180,182,198,199,203,203,220,225,225,225,231,234,236,237,238,249,251,252,252,255,4,4,5,8,10,11,13,17,24,27,30,37,43,43,43,46,53,60,64,70,77,83,86,91,95,105,109,114,127,128,132,137,138,144,150,162,162,163,163,167,167,168,169,177,179,190,191,196,203,203,205,207,224,224,227,227,229,230,236,239,245,251,255],"gain_y":[-148,-484,-656,-612,-615,-157,-68,3,-569,-117,-19,-8,-353,-161,-294,-596,-181,-106,-315,-368,-56,-271,-149,-52,-108,-281,-602,-111,-45,-623,-14,-26,-456,-25,-416,-449,-584,-425,-205,-484,-29,-346,-85,-614,-678,-31,-563,-660,-123,-432,-199,-144,-596,-659,-556,-686,-578,-180,-221,-563,-329,-363,-292,-419,-10,-302,-208,-672,-411,-641,-686,-48,-71,-313,-318,-167,-56,-539,-116,-12,-484,-662,-580,-124,-47,-572,-593,-210,-684,-618,1,-453,-140,4,-268,-301,-357,-77,-686,-414,-523,-134,-401,-249,-409,-264,-150,-63,-622,-349,-540,-331,-286,-233,-522,-3,-455,-410,-171,-211,-432,-171,-94,-529,-47,-470,-174,-149,-663,-197,-31,-292,-398,-200,-60,-291,-178,-347,-213,-193,-337,-672,-491,-259,-680,-445,-574,-631,-253,-323,-344,-345,-685,-456,-133,-159,-138,-556,-341,-542],"gain_uv":[-125,-406,-198,-53,-66,-301,-571,-193,-456,-213,-475,-571,-327,-27,-140,-135,-299,-583,-370,-431,-76,-218,-271,-107,-80,-103,-681,-617,-225,-100,-63,-237,-363,-130,-465,-286,-140,-476,-532,-583,-513,-223,-650,-123,-503,-324,-231,-609,-221,-684,-606,-102,-104,-608,-594,-376,-561,-677,-520,-230,-11,-431,-288,-637,-119,-275,-318,-629,-360,-430,-626,-672,-384,-292,-523,-114,-564,-199,-326,-487,-436,-605,-452,-335,-569,-579,-81,-395,-597,-193,-424,-602,-6,-97,-590,-470],"float_member":[0.5,1.25e2,-2.0]}
|