diff options
| author | Jeremy Johnson <jeremy.johnson@arm.com> | 2022-06-17 13:06:07 +0100 |
|---|---|---|
| committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2022-06-17 13:06:07 +0100 |
| commit | 8e8683119f76463973cd7e84cfd8e966451074ba (patch) | |
| tree | 1e8d2ac2878fdcb97996166d079a0ba9c0684940 /operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0 | |
| parent | 9faada17a2a70bd86b1755490eb3acf65654ceaf (diff) | |
| download | conformance_tests-8e8683119f76463973cd7e84cfd8e966451074ba.tar.gz | |
Updating COND_IF_BINARY tests for v0.30.0 release
Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I2c09e55b4d6f040c187586ff320dd863183b6ebd
Diffstat (limited to 'operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0')
5 files changed, 20856 insertions, 0 deletions
diff --git a/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/Conformance-result-0.json b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/Conformance-result-0.json new file mode 100644 index 000000000..4402925ee --- /dev/null +++ b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/Conformance-result-0.json @@ -0,0 +1,6875 @@ +{ + "type": "int32", + "data": [ + [ + [ + [ + [ + -40739, + -3839 + ] + ], + [ + [ + 5173, + 17205 + ] + ], + [ + [ + 18173, + 28515 + ] + ], + [ + [ + -27556, + 9515 + ] + ], + [ + [ + -2765, + -26646 + ] + ], + [ + [ + 15165, + 18970 + ] + ], + [ + [ + -3979, + 7108 + ] + ], + [ + [ + 46939, + -13499 + ] + ], + [ + [ + 32077, + -57102 + ] + ], + [ + [ + 52951, + -4330 + ] + ], + [ + [ + 25847, + 18062 + ] + ], + [ + [ + -32824, + 13037 + ] + ], + [ + [ + 43472, + -21810 + ] + ], + [ + [ + 5371, + 33059 + ] + ], + [ + [ + 16283, + -1166 + ] + ], + [ + [ + 17867, + -12946 + ] + ], + [ + [ + -7723, + 32976 + ] + ] + ], + [ + [ + [ + 34023, + -39875 + ] + ], + [ + [ + 6239, + 31083 + ] + ], + [ + [ + -3080, + -10211 + ] + ], + [ + [ + -33814, + -4851 + ] + ], + [ + [ + -13473, + -30586 + ] + ], + [ + [ + -56922, + 36309 + ] + ], + [ + [ + 3343, + 37459 + ] + ], + [ + [ + 29013, + 1938 + ] + ], + [ + [ + 2978, + -39764 + ] + ], + [ + [ + 12878, + -1608 + ] + ], + [ + [ + 18077, + -55655 + ] + ], + [ + [ + 18294, + 680 + ] + ], + [ + [ + 11371, + -12846 + ] + ], + [ + [ + 445, + 42511 + ] + ], + [ + [ + 2671, + 53345 + ] + ], + [ + [ + 6749, + -13632 + ] + ], + [ + [ + 40958, + 19854 + ] + ] + ], + [ + [ + [ + -28422, + 27312 + ] + ], + [ + [ + 37289, + 12384 + ] + ], + [ + [ + 24650, + -20080 + ] + ], + [ + [ + -10763, + -19590 + ] + ], + [ + [ + 15163, + 12587 + ] + ], + [ + [ + 14839, + 1150 + ] + ], + [ + [ + 12686, + -25295 + ] + ], + [ + [ + -11896, + 43560 + ] + ], + [ + [ + 39546, + 36268 + ] + ], + [ + [ + 2101, + -35942 + ] + ], + [ + [ + 32731, + 598 + ] + ], + [ + [ + -7729, + 17421 + ] + ], + [ + [ + 25356, + -28294 + ] + ], + [ + [ + 56010, + 12817 + ] + ], + [ + [ + -12048, + 18876 + ] + ], + [ + [ + 5974, + -39194 + ] + ], + [ + [ + 16069, + -3771 + ] + ] + ], + [ + [ + [ + 31300, + -48822 + ] + ], + [ + [ + 39018, + 18530 + ] + ], + [ + [ + 15831, + -5598 + ] + ], + [ + [ + -15911, + 15760 + ] + ], + [ + [ + -2100, + 27055 + ] + ], + [ + [ + 9441, + 15711 + ] + ], + [ + [ + -7851, + 23617 + ] + ], + [ + [ + -40069, + -40088 + ] + ], + [ + [ + -46948, + -287 + ] + ], + [ + [ + -20979, + 38170 + ] + ], + [ + [ + 20787, + 19320 + ] + ], + [ + [ + 45403, + 25552 + ] + ], + [ + [ + 2311, + -3809 + ] + ], + [ + [ + 33651, + 15480 + ] + ], + [ + [ + -8768, + -28627 + ] + ], + [ + [ + -50013, + 27656 + ] + ], + [ + [ + -12637, + -22911 + ] + ] + ], + [ + [ + [ + 27739, + -27388 + ] + ], + [ + [ + -37381, + 2870 + ] + ], + [ + [ + 52370, + -43286 + ] + ], + [ + [ + -44331, + -37163 + ] + ], + [ + [ + 2422, + -1275 + ] + ], + [ + [ + -27512, + 2729 + ] + ], + [ + [ + 13404, + -10650 + ] + ], + [ + [ + 25069, + -24556 + ] + ], + [ + [ + -1896, + 295 + ] + ], + [ + [ + 11954, + -4771 + ] + ], + [ + [ + 7852, + -615 + ] + ], + [ + [ + -15788, + 15269 + ] + ], + [ + [ + 40118, + -10763 + ] + ], + [ + [ + 2500, + -19933 + ] + ], + [ + [ + -3026, + 51606 + ] + ], + [ + [ + -13716, + 7701 + ] + ], + [ + [ + -39103, + -37935 + ] + ] + ], + [ + [ + [ + -17425, + -25962 + ] + ], + [ + [ + 9986, + 30289 + ] + ], + [ + [ + 26763, + 2832 + ] + ], + [ + [ + 30048, + -39101 + ] + ], + [ + [ + 52220, + -21336 + ] + ], + [ + [ + 38635, + -26799 + ] + ], + [ + [ + 22255, + 20379 + ] + ], + [ + [ + -16972, + 11499 + ] + ], + [ + [ + 2225, + -9234 + ] + ], + [ + [ + 4998, + -868 + ] + ], + [ + [ + 15286, + 4338 + ] + ], + [ + [ + -2109, + -20634 + ] + ], + [ + [ + 7563, + 1414 + ] + ], + [ + [ + -1293, + 7664 + ] + ], + [ + [ + 21595, + 49127 + ] + ], + [ + [ + -15196, + 922 + ] + ], + [ + [ + -18250, + 3501 + ] + ] + ], + [ + [ + [ + -21020, + 6155 + ] + ], + [ + [ + -4955, + 5171 + ] + ], + [ + [ + 11041, + 20237 + ] + ], + [ + [ + -37283, + 15781 + ] + ], + [ + [ + -3373, + -31862 + ] + ], + [ + [ + 17187, + 13943 + ] + ], + [ + [ + -17092, + -7784 + ] + ], + [ + [ + -1775, + 20763 + ] + ], + [ + [ + -22042, + 17058 + ] + ], + [ + [ + 26402, + -31271 + ] + ], + [ + [ + 45523, + 6021 + ] + ], + [ + [ + -5484, + 31461 + ] + ], + [ + [ + 8662, + -1980 + ] + ], + [ + [ + 23498, + 28435 + ] + ], + [ + [ + -32894, + 38167 + ] + ], + [ + [ + 27195, + 38323 + ] + ], + [ + [ + 770, + -28062 + ] + ] + ], + [ + [ + [ + 8413, + 20114 + ] + ], + [ + [ + -13343, + 14637 + ] + ], + [ + [ + -9805, + 38966 + ] + ], + [ + [ + 6789, + -17886 + ] + ], + [ + [ + 27212, + 9896 + ] + ], + [ + [ + -9336, + -37281 + ] + ], + [ + [ + -15679, + 18914 + ] + ], + [ + [ + -40167, + -36602 + ] + ], + [ + [ + 41175, + -51455 + ] + ], + [ + [ + -1424, + 234 + ] + ], + [ + [ + -37878, + 31473 + ] + ], + [ + [ + 48668, + 3621 + ] + ], + [ + [ + -10475, + 20024 + ] + ], + [ + [ + 38165, + 30087 + ] + ], + [ + [ + 16245, + -33129 + ] + ], + [ + [ + -22949, + -10705 + ] + ], + [ + [ + 12539, + -52232 + ] + ] + ], + [ + [ + [ + -35422, + 28345 + ] + ], + [ + [ + 18017, + -33710 + ] + ], + [ + [ + 1606, + 48402 + ] + ], + [ + [ + -9504, + -20876 + ] + ], + [ + [ + 13993, + 10664 + ] + ], + [ + [ + 13285, + -30012 + ] + ], + [ + [ + 23252, + 23656 + ] + ], + [ + [ + -49463, + -15366 + ] + ], + [ + [ + -25080, + 19867 + ] + ], + [ + [ + 410, + -46639 + ] + ], + [ + [ + 41140, + -10949 + ] + ], + [ + [ + 928, + 1769 + ] + ], + [ + [ + 36700, + -34863 + ] + ], + [ + [ + -44036, + -23535 + ] + ], + [ + [ + -28941, + 28099 + ] + ], + [ + [ + -51439, + 20408 + ] + ], + [ + [ + 4761, + 799 + ] + ] + ], + [ + [ + [ + -23096, + 15267 + ] + ], + [ + [ + 6477, + -5547 + ] + ], + [ + [ + -20702, + 37287 + ] + ], + [ + [ + -44542, + -38333 + ] + ], + [ + [ + 13947, + 4593 + ] + ], + [ + [ + 10020, + 24139 + ] + ], + [ + [ + 17829, + 23592 + ] + ], + [ + [ + -7799, + -21220 + ] + ], + [ + [ + -12191, + 18537 + ] + ], + [ + [ + 39066, + -45649 + ] + ], + [ + [ + -37067, + -58679 + ] + ], + [ + [ + -38617, + 10706 + ] + ], + [ + [ + -14820, + 2730 + ] + ], + [ + [ + 2558, + 24822 + ] + ], + [ + [ + -33376, + 15749 + ] + ], + [ + [ + 37980, + -9481 + ] + ], + [ + [ + -5799, + 19277 + ] + ] + ], + [ + [ + [ + 18639, + -17268 + ] + ], + [ + [ + 16518, + 12736 + ] + ], + [ + [ + -4241, + -5883 + ] + ], + [ + [ + 60350, + 36533 + ] + ], + [ + [ + -23032, + 4585 + ] + ], + [ + [ + 14907, + -7940 + ] + ], + [ + [ + -13228, + -18875 + ] + ], + [ + [ + 58, + 39537 + ] + ], + [ + [ + -46643, + 44376 + ] + ], + [ + [ + -45191, + 12185 + ] + ], + [ + [ + 5733, + 8863 + ] + ], + [ + [ + -20252, + 41682 + ] + ], + [ + [ + -26884, + -20181 + ] + ], + [ + [ + -32841, + -40080 + ] + ], + [ + [ + -10443, + 11444 + ] + ], + [ + [ + 15138, + -478 + ] + ], + [ + [ + -38149, + 21043 + ] + ] + ], + [ + [ + [ + 15055, + -55775 + ] + ], + [ + [ + -7247, + 23220 + ] + ], + [ + [ + 18093, + -43348 + ] + ], + [ + [ + -60032, + 23451 + ] + ], + [ + [ + -2042, + 15490 + ] + ], + [ + [ + -38319, + 5520 + ] + ], + [ + [ + -56888, + 9876 + ] + ], + [ + [ + -1410, + -26830 + ] + ], + [ + [ + 43482, + 10010 + ] + ], + [ + [ + 2073, + -9442 + ] + ], + [ + [ + 37283, + 1469 + ] + ], + [ + [ + -12759, + -19660 + ] + ], + [ + [ + 5074, + -10186 + ] + ], + [ + [ + 35773, + 50590 + ] + ], + [ + [ + -16214, + 12136 + ] + ], + [ + [ + -28637, + 11143 + ] + ], + [ + [ + -29288, + -48160 + ] + ] + ], + [ + [ + [ + -3539, + -23535 + ] + ], + [ + [ + -44343, + -21982 + ] + ], + [ + [ + 14486, + -9078 + ] + ], + [ + [ + -42866, + 33887 + ] + ], + [ + [ + 35034, + -42800 + ] + ], + [ + [ + 9619, + 638 + ] + ], + [ + [ + 46704, + 10340 + ] + ], + [ + [ + 34437, + -25185 + ] + ], + [ + [ + 22304, + -50057 + ] + ], + [ + [ + 4747, + -3376 + ] + ], + [ + [ + -54159, + 34589 + ] + ], + [ + [ + -55490, + 9484 + ] + ], + [ + [ + -8926, + -48961 + ] + ], + [ + [ + -9554, + -16430 + ] + ], + [ + [ + 29491, + 54162 + ] + ], + [ + [ + -20241, + -27092 + ] + ], + [ + [ + 30656, + -11850 + ] + ] + ], + [ + [ + [ + -7356, + -4969 + ] + ], + [ + [ + -8500, + -20924 + ] + ], + [ + [ + -27242, + 22833 + ] + ], + [ + [ + -25497, + -9079 + ] + ], + [ + [ + 1661, + 36361 + ] + ], + [ + [ + 24339, + -25740 + ] + ], + [ + [ + 30682, + 28626 + ] + ], + [ + [ + -48038, + -10536 + ] + ], + [ + [ + 40605, + -47960 + ] + ], + [ + [ + 42888, + -9441 + ] + ], + [ + [ + 2800, + 7558 + ] + ], + [ + [ + -47448, + 6022 + ] + ], + [ + [ + 6548, + 37492 + ] + ], + [ + [ + -49711, + 27038 + ] + ], + [ + [ + 15194, + 22327 + ] + ], + [ + [ + -101, + -14598 + ] + ], + [ + [ + 3575, + 40722 + ] + ] + ], + [ + [ + [ + 14440, + -42631 + ] + ], + [ + [ + 36043, + -17537 + ] + ], + [ + [ + -32937, + 13809 + ] + ], + [ + [ + 7480, + 49593 + ] + ], + [ + [ + -7747, + -15013 + ] + ], + [ + [ + -41078, + 558 + ] + ], + [ + [ + -10902, + 25669 + ] + ], + [ + [ + 31843, + 47718 + ] + ], + [ + [ + 11739, + 27174 + ] + ], + [ + [ + -13265, + 4485 + ] + ], + [ + [ + -4380, + 18178 + ] + ], + [ + [ + 27160, + -34173 + ] + ], + [ + [ + -5572, + 16183 + ] + ], + [ + [ + 48366, + 3835 + ] + ], + [ + [ + -9230, + -34113 + ] + ], + [ + [ + 18733, + 10951 + ] + ], + [ + [ + -20568, + -27198 + ] + ] + ], + [ + [ + [ + 251, + -8218 + ] + ], + [ + [ + -2838, + 11949 + ] + ], + [ + [ + 39278, + -21217 + ] + ], + [ + [ + 49013, + -23889 + ] + ], + [ + [ + 7274, + 36604 + ] + ], + [ + [ + 10053, + -25456 + ] + ], + [ + [ + -11603, + -11067 + ] + ], + [ + [ + -10473, + -42491 + ] + ], + [ + [ + 17213, + 6781 + ] + ], + [ + [ + 46650, + 14101 + ] + ], + [ + [ + 3503, + -8928 + ] + ], + [ + [ + -24001, + -40519 + ] + ], + [ + [ + 12367, + 7111 + ] + ], + [ + [ + 9482, + -53765 + ] + ], + [ + [ + -14515, + -53499 + ] + ], + [ + [ + -13276, + -4070 + ] + ], + [ + [ + -5758, + 7525 + ] + ] + ], + [ + [ + [ + 54150, + -51205 + ] + ], + [ + [ + -33272, + 28534 + ] + ], + [ + [ + -13512, + 9556 + ] + ], + [ + [ + 48096, + -34218 + ] + ], + [ + [ + -2819, + -16349 + ] + ], + [ + [ + 18123, + 7031 + ] + ], + [ + [ + -3724, + 28180 + ] + ], + [ + [ + -12879, + 51643 + ] + ], + [ + [ + 23879, + -60639 + ] + ], + [ + [ + 13389, + -8465 + ] + ], + [ + [ + 6412, + 3105 + ] + ], + [ + [ + -18709, + -2403 + ] + ], + [ + [ + 29140, + -25765 + ] + ], + [ + [ + 49083, + 21101 + ] + ], + [ + [ + -25668, + -53612 + ] + ], + [ + [ + -7892, + -21904 + ] + ], + [ + [ + 25233, + -20072 + ] + ] + ], + [ + [ + [ + 50239, + -57293 + ] + ], + [ + [ + -34459, + -570 + ] + ], + [ + [ + -16726, + -58420 + ] + ], + [ + [ + -14567, + 52292 + ] + ], + [ + [ + -15304, + -45657 + ] + ], + [ + [ + 35189, + 19523 + ] + ], + [ + [ + 27043, + 23538 + ] + ], + [ + [ + -47546, + 5286 + ] + ], + [ + [ + 6892, + -11127 + ] + ], + [ + [ + 9268, + 4891 + ] + ], + [ + [ + -8940, + 10456 + ] + ], + [ + [ + 10461, + 21142 + ] + ], + [ + [ + -8095, + -16501 + ] + ], + [ + [ + 35791, + 11434 + ] + ], + [ + [ + 8402, + 8043 + ] + ], + [ + [ + 55896, + 50319 + ] + ], + [ + [ + 7199, + 25256 + ] + ] + ], + [ + [ + [ + 14152, + -25872 + ] + ], + [ + [ + -2511, + 12681 + ] + ], + [ + [ + 3681, + -43531 + ] + ], + [ + [ + -50727, + -30963 + ] + ], + [ + [ + 22731, + 29013 + ] + ], + [ + [ + -9837, + 16998 + ] + ], + [ + [ + -16789, + 1753 + ] + ], + [ + [ + 3643, + -39860 + ] + ], + [ + [ + -20526, + 9678 + ] + ], + [ + [ + 23161, + -12338 + ] + ], + [ + [ + -15098, + -36485 + ] + ], + [ + [ + -45103, + -19101 + ] + ], + [ + [ + 12767, + 3966 + ] + ], + [ + [ + 15057, + 58966 + ] + ], + [ + [ + 20677, + 49987 + ] + ], + [ + [ + -5159, + 27366 + ] + ], + [ + [ + 40756, + 8732 + ] + ] + ], + [ + [ + [ + 20441, + -2171 + ] + ], + [ + [ + 39069, + -4187 + ] + ], + [ + [ + 14971, + 7560 + ] + ], + [ + [ + -29998, + 11692 + ] + ], + [ + [ + -15948, + 21683 + ] + ], + [ + [ + 16963, + -10989 + ] + ], + [ + [ + -51809, + -21603 + ] + ], + [ + [ + -31141, + -8471 + ] + ], + [ + [ + -38648, + -48919 + ] + ], + [ + [ + 30793, + 22734 + ] + ], + [ + [ + 25633, + 50472 + ] + ], + [ + [ + 29294, + -6149 + ] + ], + [ + [ + 35740, + 11569 + ] + ], + [ + [ + 1003, + -55744 + ] + ], + [ + [ + -14911, + 22768 + ] + ], + [ + [ + 16725, + -44976 + ] + ], + [ + [ + 26187, + 25917 + ] + ] + ], + [ + [ + [ + 19687, + -2975 + ] + ], + [ + [ + 22511, + 41822 + ] + ], + [ + [ + -1062, + 9679 + ] + ], + [ + [ + 15238, + -5189 + ] + ], + [ + [ + 18553, + 22798 + ] + ], + [ + [ + 12365, + 37124 + ] + ], + [ + [ + 10731, + 14688 + ] + ], + [ + [ + -53251, + 5538 + ] + ], + [ + [ + 442, + -22714 + ] + ], + [ + [ + -46719, + -6085 + ] + ], + [ + [ + -19767, + 33349 + ] + ], + [ + [ + -27599, + -21388 + ] + ], + [ + [ + -26328, + 2975 + ] + ], + [ + [ + -1548, + 4210 + ] + ], + [ + [ + -30200, + 1921 + ] + ], + [ + [ + 26370, + -30945 + ] + ], + [ + [ + 41206, + 18196 + ] + ] + ], + [ + [ + [ + 26707, + 21057 + ] + ], + [ + [ + -26478, + 4613 + ] + ], + [ + [ + -48339, + 34915 + ] + ], + [ + [ + -38981, + 22169 + ] + ], + [ + [ + 39616, + -7094 + ] + ], + [ + [ + 4344, + -34112 + ] + ], + [ + [ + 7213, + 2417 + ] + ], + [ + [ + -7188, + -21203 + ] + ], + [ + [ + 46628, + -3303 + ] + ], + [ + [ + 28000, + -8024 + ] + ], + [ + [ + -4888, + 12823 + ] + ], + [ + [ + 875, + 17912 + ] + ], + [ + [ + -4120, + 4991 + ] + ], + [ + [ + 6388, + 7494 + ] + ], + [ + [ + -7413, + -33504 + ] + ], + [ + [ + -7089, + -4193 + ] + ], + [ + [ + 4990, + -21200 + ] + ] + ] + ], + [ + [ + [ + [ + 7859, + -45784 + ] + ], + [ + [ + 12503, + -31672 + ] + ], + [ + [ + -14116, + 38565 + ] + ], + [ + [ + 7867, + -14721 + ] + ], + [ + [ + -2657, + -18909 + ] + ], + [ + [ + -52561, + -15133 + ] + ], + [ + [ + -34662, + 11932 + ] + ], + [ + [ + 22937, + 33492 + ] + ], + [ + [ + -17584, + -2086 + ] + ], + [ + [ + 15948, + -1730 + ] + ], + [ + [ + 6180, + -23607 + ] + ], + [ + [ + 10622, + 34532 + ] + ], + [ + [ + -34573, + 32917 + ] + ], + [ + [ + 16277, + 13500 + ] + ], + [ + [ + 4858, + -831 + ] + ], + [ + [ + -7593, + 42726 + ] + ], + [ + [ + 33030, + 672 + ] + ] + ], + [ + [ + [ + 612, + -40983 + ] + ], + [ + [ + 16617, + -20082 + ] + ], + [ + [ + -45880, + 27100 + ] + ], + [ + [ + -1226, + -6450 + ] + ], + [ + [ + -266, + -32881 + ] + ], + [ + [ + -5233, + 43973 + ] + ], + [ + [ + 9739, + 6402 + ] + ], + [ + [ + 37562, + 10959 + ] + ], + [ + [ + -830, + -5707 + ] + ], + [ + [ + -11597, + -38069 + ] + ], + [ + [ + -13900, + 10348 + ] + ], + [ + [ + 37274, + 4793 + ] + ], + [ + [ + -19094, + -4233 + ] + ], + [ + [ + -23616, + 41900 + ] + ], + [ + [ + -48720, + 26267 + ] + ], + [ + [ + -7714, + 8945 + ] + ], + [ + [ + 25488, + 36927 + ] + ] + ], + [ + [ + [ + -13444, + -13232 + ] + ], + [ + [ + 18567, + 57136 + ] + ], + [ + [ + -44769, + 7566 + ] + ], + [ + [ + -45400, + -3598 + ] + ], + [ + [ + 31082, + 1344 + ] + ], + [ + [ + 16903, + 27257 + ] + ], + [ + [ + 40841, + -49362 + ] + ], + [ + [ + -21998, + -33238 + ] + ], + [ + [ + 22562, + -44043 + ] + ], + [ + [ + 42484, + 21531 + ] + ], + [ + [ + 24182, + -40787 + ] + ], + [ + [ + -17188, + 43902 + ] + ], + [ + [ + -3324, + 19363 + ] + ], + [ + [ + 47694, + -9188 + ] + ], + [ + [ + -14803, + -30282 + ] + ], + [ + [ + -12258, + -22309 + ] + ], + [ + [ + 6614, + 23920 + ] + ] + ], + [ + [ + [ + 4598, + 3257 + ] + ], + [ + [ + 51675, + -4935 + ] + ], + [ + [ + 6832, + 37788 + ] + ], + [ + [ + -7905, + -4828 + ] + ], + [ + [ + 42907, + 23733 + ] + ], + [ + [ + 17511, + 40949 + ] + ], + [ + [ + -48511, + 26400 + ] + ], + [ + [ + -3583, + 30286 + ] + ], + [ + [ + 18381, + 4903 + ] + ], + [ + [ + 25396, + -58317 + ] + ], + [ + [ + 5980, + -19409 + ] + ], + [ + [ + -33732, + -33953 + ] + ], + [ + [ + 44152, + -23767 + ] + ], + [ + [ + -5490, + -16623 + ] + ], + [ + [ + 5030, + 1081 + ] + ], + [ + [ + -23268, + -2533 + ] + ], + [ + [ + -25140, + -49374 + ] + ] + ], + [ + [ + [ + 20254, + -3724 + ] + ], + [ + [ + -20038, + -17556 + ] + ], + [ + [ + -48789, + 12426 + ] + ], + [ + [ + -40010, + 45489 + ] + ], + [ + [ + -3807, + 32965 + ] + ], + [ + [ + 18399, + 7683 + ] + ], + [ + [ + 1139, + -23125 + ] + ], + [ + [ + -24979, + 3155 + ] + ], + [ + [ + -49748, + -33411 + ] + ], + [ + [ + -27747, + 3115 + ] + ], + [ + [ + -34772, + 39382 + ] + ], + [ + [ + -19750, + -3411 + ] + ], + [ + [ + 11428, + -45959 + ] + ], + [ + [ + 45978, + -43535 + ] + ], + [ + [ + -25832, + -969 + ] + ], + [ + [ + -4980, + -27155 + ] + ], + [ + [ + 27818, + -6935 + ] + ] + ], + [ + [ + [ + 6170, + 21106 + ] + ], + [ + [ + 48791, + 11190 + ] + ], + [ + [ + -19822, + -8058 + ] + ], + [ + [ + -37612, + 22264 + ] + ], + [ + [ + -5745, + -41777 + ] + ], + [ + [ + -883, + 15294 + ] + ], + [ + [ + -29951, + 9357 + ] + ], + [ + [ + -23403, + 23130 + ] + ], + [ + [ + 14893, + 50514 + ] + ], + [ + [ + -4302, + -3063 + ] + ], + [ + [ + -18682, + 29518 + ] + ], + [ + [ + 4030, + -35734 + ] + ], + [ + [ + 9710, + 4672 + ] + ], + [ + [ + 4583, + -46851 + ] + ], + [ + [ + 63587, + -35863 + ] + ], + [ + [ + 18147, + 5646 + ] + ], + [ + [ + -42367, + 8470 + ] + ] + ], + [ + [ + [ + 25496, + -25171 + ] + ], + [ + [ + -12685, + 22693 + ] + ], + [ + [ + -34115, + -18262 + ] + ], + [ + [ + 13242, + 17810 + ] + ], + [ + [ + -9566, + -17624 + ] + ], + [ + [ + -10427, + -39115 + ] + ], + [ + [ + 34661, + 23138 + ] + ], + [ + [ + -23512, + 2676 + ] + ], + [ + [ + 37896, + -60847 + ] + ], + [ + [ + -17236, + 10080 + ] + ], + [ + [ + 30928, + 2895 + ] + ], + [ + [ + -54924, + -13561 + ] + ], + [ + [ + -39603, + 20934 + ] + ], + [ + [ + -27836, + -13764 + ] + ], + [ + [ + -1218, + -4577 + ] + ], + [ + [ + -2083, + 17670 + ] + ], + [ + [ + -9878, + -11973 + ] + ] + ], + [ + [ + [ + -14707, + 6759 + ] + ], + [ + [ + -28201, + 51323 + ] + ], + [ + [ + -15027, + -1444 + ] + ], + [ + [ + -10914, + -36874 + ] + ], + [ + [ + -23153, + 38494 + ] + ], + [ + [ + 20810, + 10005 + ] + ], + [ + [ + 4208, + -405 + ] + ], + [ + [ + 5205, + -4800 + ] + ], + [ + [ + -13717, + 52256 + ] + ], + [ + [ + -790, + 34460 + ] + ], + [ + [ + 33545, + -15954 + ] + ], + [ + [ + 37824, + 9747 + ] + ], + [ + [ + 2109, + 40045 + ] + ], + [ + [ + 4792, + 7795 + ] + ], + [ + [ + -2954, + 28006 + ] + ], + [ + [ + -3367, + 965 + ] + ], + [ + [ + -45836, + -48887 + ] + ] + ], + [ + [ + [ + -30834, + -37368 + ] + ], + [ + [ + 8517, + 9934 + ] + ], + [ + [ + 45064, + -60780 + ] + ], + [ + [ + -5713, + -8600 + ] + ], + [ + [ + -5721, + -4537 + ] + ], + [ + [ + 16019, + -49175 + ] + ], + [ + [ + 43205, + 4458 + ] + ], + [ + [ + -60717, + 844 + ] + ], + [ + [ + 53465, + -48489 + ] + ], + [ + [ + -34920, + 47801 + ] + ], + [ + [ + 19144, + 25448 + ] + ], + [ + [ + 18625, + 11252 + ] + ], + [ + [ + 35089, + -2081 + ] + ], + [ + [ + -10755, + 8979 + ] + ], + [ + [ + 28211, + -11126 + ] + ], + [ + [ + 20714, + -28255 + ] + ], + [ + [ + 19005, + 3331 + ] + ] + ], + [ + [ + [ + -30294, + 12631 + ] + ], + [ + [ + -12243, + 33166 + ] + ], + [ + [ + -11592, + 2414 + ] + ], + [ + [ + 42733, + 28373 + ] + ], + [ + [ + -8624, + 37380 + ] + ], + [ + [ + 47806, + -36435 + ] + ], + [ + [ + 27016, + 15653 + ] + ], + [ + [ + -39081, + -14022 + ] + ], + [ + [ + 17832, + -41787 + ] + ], + [ + [ + 8159, + 8251 + ] + ], + [ + [ + 13822, + 8430 + ] + ], + [ + [ + 41055, + 259 + ] + ], + [ + [ + -24174, + 12915 + ] + ], + [ + [ + 31910, + 13515 + ] + ], + [ + [ + 52248, + 22613 + ] + ], + [ + [ + -12599, + -5133 + ] + ], + [ + [ + 12281, + 9131 + ] + ] + ], + [ + [ + [ + 26397, + -46320 + ] + ], + [ + [ + 28208, + 14456 + ] + ], + [ + [ + 20967, + 22416 + ] + ], + [ + [ + -34713, + -51601 + ] + ], + [ + [ + 19267, + 29461 + ] + ], + [ + [ + -3784, + -12133 + ] + ], + [ + [ + -3798, + -19048 + ] + ], + [ + [ + 20736, + 1467 + ] + ], + [ + [ + 12097, + -39316 + ] + ], + [ + [ + 5575, + -2059 + ] + ], + [ + [ + 54708, + -44808 + ] + ], + [ + [ + -22488, + -13655 + ] + ], + [ + [ + 8903, + -38313 + ] + ], + [ + [ + 464, + -2442 + ] + ], + [ + [ + 726, + -10376 + ] + ], + [ + [ + 44363, + -21444 + ] + ], + [ + [ + -9656, + -43597 + ] + ] + ], + [ + [ + [ + -23074, + -2896 + ] + ], + [ + [ + 27327, + 47562 + ] + ], + [ + [ + -8694, + 26166 + ] + ], + [ + [ + 16220, + 9586 + ] + ], + [ + [ + -17405, + 10809 + ] + ], + [ + [ + 18960, + 11813 + ] + ], + [ + [ + -15982, + -22085 + ] + ], + [ + [ + -7024, + -27543 + ] + ], + [ + [ + -14244, + -24486 + ] + ], + [ + [ + 5440, + 6012 + ] + ], + [ + [ + 10295, + 7075 + ] + ], + [ + [ + 2727, + -12806 + ] + ], + [ + [ + 18244, + 16091 + ] + ], + [ + [ + -7051, + 43482 + ] + ], + [ + [ + 2157, + -19034 + ] + ], + [ + [ + -1502, + -3347 + ] + ], + [ + [ + 19466, + -8829 + ] + ] + ], + [ + [ + [ + -45484, + -4429 + ] + ], + [ + [ + 14907, + -42179 + ] + ], + [ + [ + 12494, + 9619 + ] + ], + [ + [ + 32272, + -7000 + ] + ], + [ + [ + -9326, + -24180 + ] + ], + [ + [ + -3218, + -38540 + ] + ], + [ + [ + 50863, + 53971 + ] + ], + [ + [ + 2070, + 14317 + ] + ], + [ + [ + -14684, + -45746 + ] + ], + [ + [ + -5818, + 3592 + ] + ], + [ + [ + -13114, + -39072 + ] + ], + [ + [ + -22379, + -23460 + ] + ], + [ + [ + -137, + -3441 + ] + ], + [ + [ + 13812, + -28530 + ] + ], + [ + [ + -23573, + 407 + ] + ], + [ + [ + -7019, + -11254 + ] + ], + [ + [ + 23530, + -21597 + ] + ] + ], + [ + [ + [ + 11805, + -21518 + ] + ], + [ + [ + -8117, + 2920 + ] + ], + [ + [ + -26805, + -12834 + ] + ], + [ + [ + -15367, + 62741 + ] + ], + [ + [ + 22761, + 26227 + ] + ], + [ + [ + -2546, + -15363 + ] + ], + [ + [ + 43551, + 12970 + ] + ], + [ + [ + 2979, + 26721 + ] + ], + [ + [ + 2669, + 43613 + ] + ], + [ + [ + -10992, + 40301 + ] + ], + [ + [ + -12771, + -5446 + ] + ], + [ + [ + -18985, + 54782 + ] + ], + [ + [ + -50269, + -18503 + ] + ], + [ + [ + 5947, + -13942 + ] + ], + [ + [ + -3807, + 25507 + ] + ], + [ + [ + 18994, + -12884 + ] + ], + [ + [ + 27701, + 25985 + ] + ] + ], + [ + [ + [ + -7073, + 6763 + ] + ], + [ + [ + -7605, + 15631 + ] + ], + [ + [ + -38060, + -39156 + ] + ], + [ + [ + 34310, + 33937 + ] + ], + [ + [ + 27702, + 14332 + ] + ], + [ + [ + 14907, + -28363 + ] + ], + [ + [ + -52058, + -7985 + ] + ], + [ + [ + -32620, + -12439 + ] + ], + [ + [ + 6590, + 49162 + ] + ], + [ + [ + 40819, + -30725 + ] + ], + [ + [ + 28341, + 18057 + ] + ], + [ + [ + 49276, + -11180 + ] + ], + [ + [ + -3035, + 15330 + ] + ], + [ + [ + -44965, + -7866 + ] + ], + [ + [ + -1887, + 20811 + ] + ], + [ + [ + 34519, + -23902 + ] + ], + [ + [ + 10537, + -5569 + ] + ] + ], + [ + [ + [ + 15071, + 39356 + ] + ], + [ + [ + 16304, + 2402 + ] + ], + [ + [ + -25737, + 709 + ] + ], + [ + [ + 11812, + -20487 + ] + ], + [ + [ + -60051, + -13494 + ] + ], + [ + [ + 54044, + -6051 + ] + ], + [ + [ + 6938, + -56562 + ] + ], + [ + [ + 49936, + -14915 + ] + ], + [ + [ + 5549, + -13673 + ] + ], + [ + [ + -11075, + 28938 + ] + ], + [ + [ + -53724, + 45634 + ] + ], + [ + [ + 29419, + 34581 + ] + ], + [ + [ + 17057, + 46587 + ] + ], + [ + [ + 12741, + -4663 + ] + ], + [ + [ + 34563, + 10697 + ] + ], + [ + [ + 2663, + -24113 + ] + ], + [ + [ + 9565, + 51385 + ] + ] + ], + [ + [ + [ + 27108, + -8392 + ] + ], + [ + [ + 27774, + -20488 + ] + ], + [ + [ + -30927, + 6360 + ] + ], + [ + [ + 29202, + -48812 + ] + ], + [ + [ + 47343, + -15044 + ] + ], + [ + [ + 19038, + 882 + ] + ], + [ + [ + 19863, + 2172 + ] + ], + [ + [ + -12147, + -18642 + ] + ], + [ + [ + -34328, + 9177 + ] + ], + [ + [ + 7185, + -6512 + ] + ], + [ + [ + 4918, + 33245 + ] + ], + [ + [ + 48148, + -11057 + ] + ], + [ + [ + 42035, + 27565 + ] + ], + [ + [ + 1852, + -26191 + ] + ], + [ + [ + -43703, + 925 + ] + ], + [ + [ + 8371, + 48040 + ] + ], + [ + [ + 7281, + -3850 + ] + ] + ], + [ + [ + [ + -7877, + -49627 + ] + ], + [ + [ + -922, + 768 + ] + ], + [ + [ + -32968, + 2071 + ] + ], + [ + [ + -14480, + -3210 + ] + ], + [ + [ + -22799, + 60358 + ] + ], + [ + [ + -15946, + -30714 + ] + ], + [ + [ + 37275, + 6571 + ] + ], + [ + [ + -14319, + -5230 + ] + ], + [ + [ + -21828, + -7473 + ] + ], + [ + [ + -30396, + 5753 + ] + ], + [ + [ + 48768, + 26598 + ] + ], + [ + [ + -16396, + 1728 + ] + ], + [ + [ + -12348, + 6720 + ] + ], + [ + [ + 10262, + 23660 + ] + ], + [ + [ + -4263, + -8189 + ] + ], + [ + [ + -6633, + -31193 + ] + ], + [ + [ + -3415, + -16919 + ] + ] + ], + [ + [ + [ + -55202, + -4451 + ] + ], + [ + [ + 1535, + -32215 + ] + ], + [ + [ + -4103, + -43063 + ] + ], + [ + [ + -16892, + -15028 + ] + ], + [ + [ + 23184, + 36731 + ] + ], + [ + [ + 8482, + -6786 + ] + ], + [ + [ + 26101, + 744 + ] + ], + [ + [ + 29637, + 57180 + ] + ], + [ + [ + -2212, + 34707 + ] + ], + [ + [ + 11302, + 6547 + ] + ], + [ + [ + 9699, + -30040 + ] + ], + [ + [ + -27804, + 43249 + ] + ], + [ + [ + -30088, + -38971 + ] + ], + [ + [ + 6331, + -14448 + ] + ], + [ + [ + 55950, + 9742 + ] + ], + [ + [ + -42921, + 3735 + ] + ], + [ + [ + 29064, + 15933 + ] + ] + ], + [ + [ + [ + 8715, + -1898 + ] + ], + [ + [ + -6655, + -17992 + ] + ], + [ + [ + -59295, + -12611 + ] + ], + [ + [ + -6840, + -18828 + ] + ], + [ + [ + -22437, + -18318 + ] + ], + [ + [ + -53824, + -38146 + ] + ], + [ + [ + 14878, + 52591 + ] + ], + [ + [ + -26761, + -15234 + ] + ], + [ + [ + -39845, + 5236 + ] + ], + [ + [ + -17304, + -8501 + ] + ], + [ + [ + 16393, + 19026 + ] + ], + [ + [ + 5081, + -1961 + ] + ], + [ + [ + -7022, + -31847 + ] + ], + [ + [ + 28627, + 35660 + ] + ], + [ + [ + 4, + 32356 + ] + ], + [ + [ + -11162, + 39173 + ] + ], + [ + [ + 34573, + 52911 + ] + ] + ], + [ + [ + [ + -20976, + 51578 + ] + ], + [ + [ + -11528, + -16172 + ] + ], + [ + [ + -12798, + -13571 + ] + ], + [ + [ + -14372, + -41391 + ] + ], + [ + [ + -18503, + 40683 + ] + ], + [ + [ + 6780, + 25255 + ] + ], + [ + [ + -12845, + 23491 + ] + ], + [ + [ + 54336, + -33299 + ] + ], + [ + [ + -54207, + -8620 + ] + ], + [ + [ + 35148, + 21832 + ] + ], + [ + [ + 35653, + -14630 + ] + ], + [ + [ + -6661, + -39353 + ] + ], + [ + [ + -16831, + -10891 + ] + ], + [ + [ + 18517, + -45489 + ] + ], + [ + [ + 54497, + 14709 + ] + ], + [ + [ + 908, + -25539 + ] + ], + [ + [ + -10114, + -12297 + ] + ] + ], + [ + [ + [ + -7136, + -46212 + ] + ], + [ + [ + 23586, + -48374 + ] + ], + [ + [ + 18060, + -40261 + ] + ], + [ + [ + -1932, + -10710 + ] + ], + [ + [ + 11288, + 26955 + ] + ], + [ + [ + 6520, + -2845 + ] + ], + [ + [ + 19328, + 2569 + ] + ], + [ + [ + -9718, + -12342 + ] + ], + [ + [ + -34095, + -37809 + ] + ], + [ + [ + 9349, + -64790 + ] + ], + [ + [ + 11838, + -27178 + ] + ], + [ + [ + 4842, + 14663 + ] + ], + [ + [ + -36645, + -56279 + ] + ], + [ + [ + -19064, + -27837 + ] + ], + [ + [ + -3120, + 18720 + ] + ], + [ + [ + -22930, + -12809 + ] + ], + [ + [ + -16910, + -26313 + ] + ] + ] + ], + [ + [ + [ + [ + 21384, + 31286 + ] + ], + [ + [ + -30897, + 26306 + ] + ], + [ + [ + 18885, + -47531 + ] + ], + [ + [ + -14415, + -43422 + ] + ], + [ + [ + -21093, + -43491 + ] + ], + [ + [ + 21780, + -20879 + ] + ], + [ + [ + -6375, + 27141 + ] + ], + [ + [ + 19373, + -6069 + ] + ], + [ + [ + 7016, + -14191 + ] + ], + [ + [ + 10897, + 24222 + ] + ], + [ + [ + 20200, + -29945 + ] + ], + [ + [ + -5304, + -11528 + ] + ], + [ + [ + 29584, + 19873 + ] + ], + [ + [ + -31930, + -39237 + ] + ], + [ + [ + -13379, + -18755 + ] + ], + [ + [ + -6885, + -12614 + ] + ], + [ + [ + -33226, + 51878 + ] + ] + ], + [ + [ + [ + -22300, + -11761 + ] + ], + [ + [ + 26247, + -43398 + ] + ], + [ + [ + -11065, + -27197 + ] + ], + [ + [ + 6372, + -7683 + ] + ], + [ + [ + 39416, + -9122 + ] + ], + [ + [ + -33369, + -20469 + ] + ], + [ + [ + -5766, + 35917 + ] + ], + [ + [ + -48849, + 17946 + ] + ], + [ + [ + 37713, + 44069 + ] + ], + [ + [ + 15645, + -42673 + ] + ], + [ + [ + -40050, + 37902 + ] + ], + [ + [ + -10092, + 36318 + ] + ], + [ + [ + 29341, + 7065 + ] + ], + [ + [ + -1732, + 12531 + ] + ], + [ + [ + 12453, + 54642 + ] + ], + [ + [ + 17622, + -38963 + ] + ], + [ + [ + 9560, + 50030 + ] + ] + ], + [ + [ + [ + 2490, + -9968 + ] + ], + [ + [ + 48455, + 10403 + ] + ], + [ + [ + 15372, + 35507 + ] + ], + [ + [ + -19871, + 18988 + ] + ], + [ + [ + 18498, + 682 + ] + ], + [ + [ + -31344, + -37661 + ] + ], + [ + [ + 27657, + 51656 + ] + ], + [ + [ + -28521, + 27664 + ] + ], + [ + [ + -19500, + -45059 + ] + ], + [ + [ + 11683, + -8878 + ] + ], + [ + [ + -3014, + 10984 + ] + ], + [ + [ + -4856, + -8172 + ] + ], + [ + [ + 3513, + -41297 + ] + ], + [ + [ + 38989, + -24795 + ] + ], + [ + [ + 12246, + -38037 + ] + ], + [ + [ + -16881, + -51620 + ] + ], + [ + [ + -13899, + 15147 + ] + ] + ], + [ + [ + [ + 18724, + 26727 + ] + ], + [ + [ + -40596, + 17128 + ] + ], + [ + [ + 3560, + -2787 + ] + ], + [ + [ + -40386, + 43621 + ] + ], + [ + [ + -38395, + 35905 + ] + ], + [ + [ + 8615, + -14823 + ] + ], + [ + [ + 19293, + -37204 + ] + ], + [ + [ + 20393, + 44214 + ] + ], + [ + [ + -17378, + -17448 + ] + ], + [ + [ + 16426, + -8960 + ] + ], + [ + [ + -8278, + 24993 + ] + ], + [ + [ + -24025, + -50636 + ] + ], + [ + [ + 26353, + -52032 + ] + ], + [ + [ + 21741, + 18440 + ] + ], + [ + [ + 34863, + 31578 + ] + ], + [ + [ + -31231, + -22814 + ] + ], + [ + [ + -3156, + 19261 + ] + ] + ], + [ + [ + [ + -39568, + 41603 + ] + ], + [ + [ + 15518, + 32352 + ] + ], + [ + [ + -45834, + 26096 + ] + ], + [ + [ + -25744, + -11908 + ] + ], + [ + [ + 36651, + -23817 + ] + ], + [ + [ + 23854, + 27387 + ] + ], + [ + [ + -502, + -34711 + ] + ], + [ + [ + -14675, + -17174 + ] + ], + [ + [ + 35437, + 41609 + ] + ], + [ + [ + -27448, + -59730 + ] + ], + [ + [ + -31502, + 37870 + ] + ], + [ + [ + -9658, + -45461 + ] + ], + [ + [ + 21564, + -5114 + ] + ], + [ + [ + 21611, + 15835 + ] + ], + [ + [ + -16605, + -9978 + ] + ], + [ + [ + -34734, + -27307 + ] + ], + [ + [ + 21566, + -33406 + ] + ] + ], + [ + [ + [ + 34015, + -19208 + ] + ], + [ + [ + 22363, + 11498 + ] + ], + [ + [ + -1719, + 32032 + ] + ], + [ + [ + 13171, + -5988 + ] + ], + [ + [ + 43069, + 24222 + ] + ], + [ + [ + -51671, + -12810 + ] + ], + [ + [ + 29048, + 6378 + ] + ], + [ + [ + 19953, + -36659 + ] + ], + [ + [ + -30579, + 42103 + ] + ], + [ + [ + -19938, + -14388 + ] + ], + [ + [ + -18405, + 21820 + ] + ], + [ + [ + 15505, + -41661 + ] + ], + [ + [ + 38588, + 2666 + ] + ], + [ + [ + 8754, + -5076 + ] + ], + [ + [ + -36879, + 11321 + ] + ], + [ + [ + -4977, + -10672 + ] + ], + [ + [ + -37239, + -518 + ] + ] + ], + [ + [ + [ + 8845, + -36352 + ] + ], + [ + [ + 43164, + -11105 + ] + ], + [ + [ + -3282, + 44838 + ] + ], + [ + [ + 39749, + 45417 + ] + ], + [ + [ + -31749, + -16500 + ] + ], + [ + [ + -16415, + -30984 + ] + ], + [ + [ + 23524, + -43 + ] + ], + [ + [ + 35817, + 43458 + ] + ], + [ + [ + -19725, + -31491 + ] + ], + [ + [ + -15969, + 9098 + ] + ], + [ + [ + -7277, + -7209 + ] + ], + [ + [ + -8685, + 32075 + ] + ], + [ + [ + -3663, + 10768 + ] + ], + [ + [ + 30951, + -23379 + ] + ], + [ + [ + 20990, + -10045 + ] + ], + [ + [ + 44804, + 13831 + ] + ], + [ + [ + 3636, + -7978 + ] + ] + ], + [ + [ + [ + 20898, + 42435 + ] + ], + [ + [ + 3408, + 751 + ] + ], + [ + [ + -43756, + -30789 + ] + ], + [ + [ + -27959, + 26468 + ] + ], + [ + [ + 9547, + -3153 + ] + ], + [ + [ + -13422, + 33025 + ] + ], + [ + [ + 15306, + -24683 + ] + ], + [ + [ + 43564, + 28455 + ] + ], + [ + [ + 27512, + 36210 + ] + ], + [ + [ + 39531, + -29561 + ] + ], + [ + [ + -6856, + -13169 + ] + ], + [ + [ + 2005, + -15335 + ] + ], + [ + [ + 35135, + 8821 + ] + ], + [ + [ + -27281, + -35641 + ] + ], + [ + [ + -15809, + -3213 + ] + ], + [ + [ + 25303, + 53706 + ] + ], + [ + [ + 9913, + -27358 + ] + ] + ], + [ + [ + [ + -40750, + -19171 + ] + ], + [ + [ + 3619, + 15438 + ] + ], + [ + [ + 6024, + 15822 + ] + ], + [ + [ + 38131, + -36466 + ] + ], + [ + [ + 13078, + 7569 + ] + ], + [ + [ + -15371, + 26081 + ] + ], + [ + [ + -26736, + 13087 + ] + ], + [ + [ + -12209, + 33674 + ] + ], + [ + [ + 2440, + -11191 + ] + ], + [ + [ + -22512, + -27718 + ] + ], + [ + [ + 13370, + 31055 + ] + ], + [ + [ + 10386, + 55639 + ] + ], + [ + [ + -22386, + -22038 + ] + ], + [ + [ + 11267, + -11247 + ] + ], + [ + [ + 42398, + -30511 + ] + ], + [ + [ + -18406, + 27089 + ] + ], + [ + [ + -23349, + 29796 + ] + ] + ], + [ + [ + [ + 161, + 730 + ] + ], + [ + [ + -13621, + -26960 + ] + ], + [ + [ + -20653, + 5730 + ] + ], + [ + [ + -44233, + 9767 + ] + ], + [ + [ + 15655, + 18002 + ] + ], + [ + [ + -11364, + -2289 + ] + ], + [ + [ + 44455, + -31642 + ] + ], + [ + [ + 5839, + 15113 + ] + ], + [ + [ + -32572, + -14441 + ] + ], + [ + [ + -29086, + 27524 + ] + ], + [ + [ + -36219, + 29847 + ] + ], + [ + [ + 2271, + 52518 + ] + ], + [ + [ + 530, + 13222 + ] + ], + [ + [ + -14420, + 2619 + ] + ], + [ + [ + 1980, + 60996 + ] + ], + [ + [ + -25645, + -34705 + ] + ], + [ + [ + 10682, + -41029 + ] + ] + ], + [ + [ + [ + 2450, + 1288 + ] + ], + [ + [ + -35869, + -15379 + ] + ], + [ + [ + -5015, + -35087 + ] + ], + [ + [ + 35846, + -5463 + ] + ], + [ + [ + -15738, + -23872 + ] + ], + [ + [ + -21926, + 32769 + ] + ], + [ + [ + 10128, + -18326 + ] + ], + [ + [ + -57543, + -19250 + ] + ], + [ + [ + -5363, + 890 + ] + ], + [ + [ + -45027, + 33794 + ] + ], + [ + [ + 18555, + -26439 + ] + ], + [ + [ + 21886, + 47114 + ] + ], + [ + [ + 43383, + -10255 + ] + ], + [ + [ + 48825, + -30894 + ] + ], + [ + [ + 21153, + 5305 + ] + ], + [ + [ + 7068, + 18364 + ] + ], + [ + [ + -7939, + -13481 + ] + ] + ], + [ + [ + [ + -16248, + -17568 + ] + ], + [ + [ + 38322, + 53124 + ] + ], + [ + [ + 13172, + 4518 + ] + ], + [ + [ + -32315, + -3230 + ] + ], + [ + [ + -16949, + -10841 + ] + ], + [ + [ + -26467, + -15698 + ] + ], + [ + [ + 8649, + 49530 + ] + ], + [ + [ + 4583, + -16001 + ] + ], + [ + [ + 42094, + -33852 + ] + ], + [ + [ + -43835, + -3445 + ] + ], + [ + [ + -52544, + -47571 + ] + ], + [ + [ + -6222, + 29583 + ] + ], + [ + [ + -48943, + 22728 + ] + ], + [ + [ + -9944, + 986 + ] + ], + [ + [ + 38257, + -7139 + ] + ], + [ + [ + 26606, + 16473 + ] + ], + [ + [ + 20082, + -39785 + ] + ] + ], + [ + [ + [ + -34706, + -9509 + ] + ], + [ + [ + -2166, + -24214 + ] + ], + [ + [ + -57365, + -2392 + ] + ], + [ + [ + -9991, + 45974 + ] + ], + [ + [ + -46118, + 31192 + ] + ], + [ + [ + 8431, + 31889 + ] + ], + [ + [ + -7929, + 6473 + ] + ], + [ + [ + -7307, + 21598 + ] + ], + [ + [ + -21042, + -9402 + ] + ], + [ + [ + 23797, + 16596 + ] + ], + [ + [ + -9540, + -35590 + ] + ], + [ + [ + -852, + -9032 + ] + ], + [ + [ + -21234, + 39127 + ] + ], + [ + [ + -20389, + 8728 + ] + ], + [ + [ + 34789, + 15496 + ] + ], + [ + [ + -20547, + -19853 + ] + ], + [ + [ + -18382, + 12656 + ] + ] + ], + [ + [ + [ + 56280, + -42265 + ] + ], + [ + [ + 7123, + -20891 + ] + ], + [ + [ + 39879, + -12044 + ] + ], + [ + [ + 22163, + -51193 + ] + ], + [ + [ + -17835, + 37631 + ] + ], + [ + [ + -48469, + 18517 + ] + ], + [ + [ + 22995, + 7440 + ] + ], + [ + [ + -31568, + 22353 + ] + ], + [ + [ + 1206, + 10615 + ] + ], + [ + [ + -9818, + -14105 + ] + ], + [ + [ + 20740, + 3702 + ] + ], + [ + [ + 35587, + 11906 + ] + ], + [ + [ + -50066, + -7773 + ] + ], + [ + [ + 38705, + 8853 + ] + ], + [ + [ + 14407, + -15834 + ] + ], + [ + [ + 27744, + -36747 + ] + ], + [ + [ + 9412, + -4728 + ] + ] + ], + [ + [ + [ + 12663, + -10 + ] + ], + [ + [ + 2123, + -7389 + ] + ], + [ + [ + 53742, + -11585 + ] + ], + [ + [ + -50352, + 17118 + ] + ], + [ + [ + -8151, + 29150 + ] + ], + [ + [ + -25906, + 9026 + ] + ], + [ + [ + 18982, + 51086 + ] + ], + [ + [ + 49406, + -46905 + ] + ], + [ + [ + -25854, + 43202 + ] + ], + [ + [ + 17840, + 26112 + ] + ], + [ + [ + -43094, + 34784 + ] + ], + [ + [ + -360, + -15593 + ] + ], + [ + [ + 14222, + 47151 + ] + ], + [ + [ + -35643, + 16258 + ] + ], + [ + [ + 34462, + -14240 + ] + ], + [ + [ + 8163, + 17388 + ] + ], + [ + [ + -7509, + -16357 + ] + ] + ], + [ + [ + [ + 1039, + -15260 + ] + ], + [ + [ + -12621, + 19220 + ] + ], + [ + [ + 10162, + 4260 + ] + ], + [ + [ + -11390, + 54534 + ] + ], + [ + [ + 2844, + 19265 + ] + ], + [ + [ + 12320, + 34345 + ] + ], + [ + [ + 28054, + -19369 + ] + ], + [ + [ + -19438, + -21683 + ] + ], + [ + [ + 20121, + -21550 + ] + ], + [ + [ + 1831, + -2060 + ] + ], + [ + [ + -12120, + 27410 + ] + ], + [ + [ + -26722, + 1844 + ] + ], + [ + [ + 34240, + -39105 + ] + ], + [ + [ + 1487, + -5680 + ] + ], + [ + [ + 16565, + 113 + ] + ], + [ + [ + 6864, + -56049 + ] + ], + [ + [ + 53617, + 1002 + ] + ] + ], + [ + [ + [ + 10999, + 8233 + ] + ], + [ + [ + 2106, + -3721 + ] + ], + [ + [ + -31889, + 44784 + ] + ], + [ + [ + 25219, + -26072 + ] + ], + [ + [ + 16917, + 37071 + ] + ], + [ + [ + -49465, + -45337 + ] + ], + [ + [ + -5526, + 11629 + ] + ], + [ + [ + 44447, + 17896 + ] + ], + [ + [ + 30025, + 5393 + ] + ], + [ + [ + 17092, + 24181 + ] + ], + [ + [ + 14780, + -13655 + ] + ], + [ + [ + -38647, + -5206 + ] + ], + [ + [ + -13978, + -6126 + ] + ], + [ + [ + 13480, + 3291 + ] + ], + [ + [ + -1153, + 21065 + ] + ], + [ + [ + -36862, + 24324 + ] + ], + [ + [ + -37758, + -4706 + ] + ] + ], + [ + [ + [ + -10176, + 23966 + ] + ], + [ + [ + -12771, + -535 + ] + ], + [ + [ + -13374, + -9137 + ] + ], + [ + [ + -9435, + -19727 + ] + ], + [ + [ + -34446, + 15885 + ] + ], + [ + [ + 5441, + -14673 + ] + ], + [ + [ + 35911, + 25727 + ] + ], + [ + [ + -36443, + -57277 + ] + ], + [ + [ + -1927, + -6516 + ] + ], + [ + [ + 3148, + -8520 + ] + ], + [ + [ + -37879, + 18064 + ] + ], + [ + [ + 58181, + 29025 + ] + ], + [ + [ + 18581, + -701 + ] + ], + [ + [ + 35307, + 10825 + ] + ], + [ + [ + 8025, + -1471 + ] + ], + [ + [ + 6841, + -5032 + ] + ], + [ + [ + 10322, + -27993 + ] + ] + ], + [ + [ + [ + -17739, + -8513 + ] + ], + [ + [ + -13252, + -9776 + ] + ], + [ + [ + -3320, + 42835 + ] + ], + [ + [ + 4724, + -50282 + ] + ], + [ + [ + 62455, + -15902 + ] + ], + [ + [ + 3221, + -17446 + ] + ], + [ + [ + 12506, + 7522 + ] + ], + [ + [ + 27287, + 30668 + ] + ], + [ + [ + -11866, + -17784 + ] + ], + [ + [ + -16425, + 29852 + ] + ], + [ + [ + -10656, + -32620 + ] + ], + [ + [ + 27176, + 25688 + ] + ], + [ + [ + 13301, + 8928 + ] + ], + [ + [ + 17980, + -16002 + ] + ], + [ + [ + -25925, + -6026 + ] + ], + [ + [ + 12189, + -10735 + ] + ], + [ + [ + 20808, + 10097 + ] + ] + ], + [ + [ + [ + 46021, + 36135 + ] + ], + [ + [ + 1679, + -10087 + ] + ], + [ + [ + -274, + 7867 + ] + ], + [ + [ + 54727, + 51541 + ] + ], + [ + [ + -11844, + -12454 + ] + ], + [ + [ + 36814, + 18743 + ] + ], + [ + [ + 41605, + -11344 + ] + ], + [ + [ + 4178, + 33655 + ] + ], + [ + [ + 27076, + -39514 + ] + ], + [ + [ + 35908, + -42632 + ] + ], + [ + [ + 9442, + 47624 + ] + ], + [ + [ + 45470, + 39362 + ] + ], + [ + [ + 12808, + 16757 + ] + ], + [ + [ + 39495, + 17049 + ] + ], + [ + [ + -30808, + 19814 + ] + ], + [ + [ + 34455, + 39871 + ] + ], + [ + [ + -31438, + 43152 + ] + ] + ], + [ + [ + [ + -40389, + -34023 + ] + ], + [ + [ + -9029, + 73 + ] + ], + [ + [ + 25255, + -41439 + ] + ], + [ + [ + 22874, + 10646 + ] + ], + [ + [ + -8983, + -41487 + ] + ], + [ + [ + -40342, + 11144 + ] + ], + [ + [ + -28605, + 30929 + ] + ], + [ + [ + -14545, + -34056 + ] + ], + [ + [ + -24143, + -47752 + ] + ], + [ + [ + 20519, + 32856 + ] + ], + [ + [ + -2327, + 33122 + ] + ], + [ + [ + -7329, + -18661 + ] + ], + [ + [ + -24342, + -26782 + ] + ], + [ + [ + -17600, + 9574 + ] + ], + [ + [ + -6331, + -6610 + ] + ], + [ + [ + -47492, + 38396 + ] + ], + [ + [ + -15933, + -37155 + ] + ] + ], + [ + [ + [ + 5733, + 46345 + ] + ], + [ + [ + 908, + 5043 + ] + ], + [ + [ + -75, + -17279 + ] + ], + [ + [ + 22810, + 43227 + ] + ], + [ + [ + -19789, + -30335 + ] + ], + [ + [ + 32779, + 3929 + ] + ], + [ + [ + -50640, + -34541 + ] + ], + [ + [ + -31958, + -8444 + ] + ], + [ + [ + 31164, + 3711 + ] + ], + [ + [ + -13012, + 55336 + ] + ], + [ + [ + -14279, + -16419 + ] + ], + [ + [ + -16, + -15096 + ] + ], + [ + [ + -18402, + 16617 + ] + ], + [ + [ + -14284, + -1719 + ] + ], + [ + [ + -23562, + 54016 + ] + ], + [ + [ + -16074, + 19306 + ] + ], + [ + [ + -5950, + -9353 + ] + ] + ] + ] + ] +}
\ No newline at end of file diff --git a/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/desc.json b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/desc.json new file mode 100644 index 000000000..be172ba86 --- /dev/null +++ b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/desc.json @@ -0,0 +1,22 @@ +{ + "tosa_file": "test.json", + "ifm_name": [ + "input-0", + "input-1" + ], + "ifm_file": [ + "input-0.npy", + "input-1.npy" + ], + "ofm_name": [ + "result-0" + ], + "ofm_file": [ + "result-0.npy" + ], + "expected_return_code": 0, + "expected_failure": false, + "expected_result_file": [ + "Conformance-result-0.npy" + ] +}
\ No newline at end of file diff --git a/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-0.json b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-0.json new file mode 100644 index 000000000..74fe6e721 --- /dev/null +++ b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-0.json @@ -0,0 +1,6875 @@ +{ + "type": "int32", + "data": [ + [ + [ + [ + [ + -26919, + 17953 + ] + ], + [ + [ + 10129, + -4006 + ] + ], + [ + [ + -4390, + 23501 + ] + ], + [ + [ + -27136, + 12934 + ] + ], + [ + [ + -19565, + -26596 + ] + ], + [ + [ + 1735, + 31170 + ] + ], + [ + [ + 15450, + 17114 + ] + ], + [ + [ + 14252, + 18747 + ] + ], + [ + [ + 866, + -24372 + ] + ], + [ + [ + 22265, + -3252 + ] + ], + [ + [ + 23, + -8468 + ] + ], + [ + [ + -20805, + 27968 + ] + ], + [ + [ + 18452, + 9428 + ] + ], + [ + [ + -6396, + 21152 + ] + ], + [ + [ + 2977, + -3709 + ] + ], + [ + [ + -3247, + -17876 + ] + ], + [ + [ + -26730, + 3577 + ] + ] + ], + [ + [ + [ + 25420, + -28586 + ] + ], + [ + [ + 23480, + 21471 + ] + ], + [ + [ + -14631, + 8628 + ] + ], + [ + [ + -21940, + 16914 + ] + ], + [ + [ + 13141, + -9534 + ] + ], + [ + [ + -28317, + 30847 + ] + ], + [ + [ + -3560, + 25763 + ] + ], + [ + [ + 11660, + 18244 + ] + ], + [ + [ + 17032, + -20013 + ] + ], + [ + [ + -8920, + -2181 + ] + ], + [ + [ + -145, + -29898 + ] + ], + [ + [ + 3051, + -22657 + ] + ], + [ + [ + 15949, + 11996 + ] + ], + [ + [ + 27690, + 16040 + ] + ], + [ + [ + -8740, + 30638 + ] + ], + [ + [ + -5843, + -11415 + ] + ], + [ + [ + 26577, + -8490 + ] + ] + ], + [ + [ + [ + -27765, + -1996 + ] + ], + [ + [ + 19377, + -20351 + ] + ], + [ + [ + -2429, + -24254 + ] + ], + [ + [ + 12221, + -1593 + ] + ], + [ + [ + -11129, + -17898 + ] + ], + [ + [ + 4227, + 11128 + ] + ], + [ + [ + 28855, + -4119 + ] + ], + [ + [ + -22238, + 21802 + ] + ], + [ + [ + 8504, + 13124 + ] + ], + [ + [ + -26397, + -12297 + ] + ], + [ + [ + 17553, + 21774 + ] + ], + [ + [ + -4246, + 19973 + ] + ], + [ + [ + 22393, + -7375 + ] + ], + [ + [ + 26089, + -13873 + ] + ], + [ + [ + -17069, + 11960 + ] + ], + [ + [ + 8962, + -23610 + ] + ], + [ + [ + 21806, + -19667 + ] + ] + ], + [ + [ + [ + 19981, + -32286 + ] + ], + [ + [ + 19453, + 18803 + ] + ], + [ + [ + 18373, + 10803 + ] + ], + [ + [ + -1864, + 13445 + ] + ], + [ + [ + -14607, + 18397 + ] + ], + [ + [ + 3646, + -2693 + ] + ], + [ + [ + 367, + 4505 + ] + ], + [ + [ + -30326, + -23607 + ] + ], + [ + [ + -16681, + -25263 + ] + ], + [ + [ + -3958, + 11036 + ] + ], + [ + [ + 10120, + -1895 + ] + ], + [ + [ + 23270, + 4275 + ] + ], + [ + [ + -27578, + 17366 + ] + ], + [ + [ + 4889, + 8828 + ] + ], + [ + [ + 4284, + 3511 + ] + ], + [ + [ + -26833, + 3880 + ] + ], + [ + [ + 19327, + -12849 + ] + ] + ], + [ + [ + [ + 6739, + -30749 + ] + ], + [ + [ + -9995, + -4148 + ] + ], + [ + [ + 31636, + -18705 + ] + ], + [ + [ + -14645, + -5995 + ] + ], + [ + [ + 32287, + 23160 + ] + ], + [ + [ + -30495, + -17437 + ] + ], + [ + [ + 21081, + -28948 + ] + ], + [ + [ + 23309, + -14328 + ] + ], + [ + [ + 27371, + -13528 + ] + ], + [ + [ + -4305, + 10611 + ] + ], + [ + [ + -24493, + 3737 + ] + ], + [ + [ + 328, + 18605 + ] + ], + [ + [ + 32512, + 10768 + ] + ], + [ + [ + -5952, + -6136 + ] + ], + [ + [ + -5377, + 20579 + ] + ], + [ + [ + -11717, + -21826 + ] + ], + [ + [ + -10860, + -31280 + ] + ] + ], + [ + [ + [ + -25812, + -26867 + ] + ], + [ + [ + 17796, + 14572 + ] + ], + [ + [ + 12895, + -2499 + ] + ], + [ + [ + 14225, + -22199 + ] + ], + [ + [ + 26255, + 68 + ] + ], + [ + [ + 28708, + -22787 + ] + ], + [ + [ + -175, + 12866 + ] + ], + [ + [ + -287, + -3529 + ] + ], + [ + [ + -21875, + -7798 + ] + ], + [ + [ + -17121, + -13009 + ] + ], + [ + [ + 12039, + 8538 + ] + ], + [ + [ + 7025, + -9057 + ] + ], + [ + [ + 30126, + -27024 + ] + ], + [ + [ + -10316, + -25035 + ] + ], + [ + [ + -10555, + 30270 + ] + ], + [ + [ + -8765, + 26776 + ] + ], + [ + [ + -324, + 13088 + ] + ] + ], + [ + [ + [ + -2791, + -15344 + ] + ], + [ + [ + 17316, + 30747 + ] + ], + [ + [ + -15498, + 18268 + ] + ], + [ + [ + -15654, + 14214 + ] + ], + [ + [ + 18940, + -3319 + ] + ], + [ + [ + 15526, + -14927 + ] + ], + [ + [ + -27575, + -26451 + ] + ], + [ + [ + -3472, + 26384 + ] + ], + [ + [ + -24408, + -2899 + ] + ], + [ + [ + 13371, + -19506 + ] + ], + [ + [ + 14523, + -12717 + ] + ], + [ + [ + 20228, + 5191 + ] + ], + [ + [ + 3074, + -21184 + ] + ], + [ + [ + -2412, + 23371 + ] + ], + [ + [ + -31489, + 16942 + ] + ], + [ + [ + -475, + 14382 + ] + ], + [ + [ + 10701, + -4451 + ] + ] + ], + [ + [ + [ + -12540, + 8343 + ] + ], + [ + [ + -23579, + 5511 + ] + ], + [ + [ + -26563, + 9820 + ] + ], + [ + [ + 8437, + -27234 + ] + ], + [ + [ + 16874, + -5518 + ] + ], + [ + [ + 18801, + -30041 + ] + ], + [ + [ + -21008, + -394 + ] + ], + [ + [ + -20433, + -11151 + ] + ], + [ + [ + 10525, + -23297 + ] + ], + [ + [ + 11645, + -25992 + ] + ], + [ + [ + -21288, + 5743 + ] + ], + [ + [ + 19233, + -21589 + ] + ], + [ + [ + -13108, + 27860 + ] + ], + [ + [ + 32091, + 5312 + ] + ], + [ + [ + -3471, + -10036 + ] + ], + [ + [ + 7369, + 5958 + ] + ], + [ + [ + -13452, + -31274 + ] + ] + ], + [ + [ + [ + -22840, + 30052 + ] + ], + [ + [ + -5364, + -1160 + ] + ], + [ + [ + -2156, + 18529 + ] + ], + [ + [ + -28512, + -27347 + ] + ], + [ + [ + -14691, + -875 + ] + ], + [ + [ + 11214, + -610 + ] + ], + [ + [ + -3856, + 28693 + ] + ], + [ + [ + -22216, + 4700 + ] + ], + [ + [ + 2768, + -1738 + ] + ], + [ + [ + 20158, + -15272 + ] + ], + [ + [ + 29738, + -11039 + ] + ], + [ + [ + 2949, + 1354 + ] + ], + [ + [ + 22923, + -4004 + ] + ], + [ + [ + -14120, + -31352 + ] + ], + [ + [ + -8934, + 21383 + ] + ], + [ + [ + -32119, + 25962 + ] + ], + [ + [ + 2806, + -23577 + ] + ] + ], + [ + [ + [ + -12965, + 3541 + ] + ], + [ + [ + -12079, + -25653 + ] + ], + [ + [ + 10878, + 11287 + ] + ], + [ + [ + -24978, + -14338 + ] + ], + [ + [ + -16786, + 10447 + ] + ], + [ + [ + 15092, + 14876 + ] + ], + [ + [ + 28754, + 17606 + ] + ], + [ + [ + -11752, + -25708 + ] + ], + [ + [ + 7513, + 27263 + ] + ], + [ + [ + 31139, + -17681 + ] + ], + [ + [ + -17272, + -30317 + ] + ], + [ + [ + -23511, + 3594 + ] + ], + [ + [ + 3067, + -8460 + ] + ], + [ + [ + -12455, + 21613 + ] + ], + [ + [ + -2620, + 20201 + ] + ], + [ + [ + 30357, + -11984 + ] + ], + [ + [ + -19482, + 29681 + ] + ] + ], + [ + [ + [ + 8836, + -13703 + ] + ], + [ + [ + 7986, + 986 + ] + ], + [ + [ + 26576, + -15994 + ] + ], + [ + [ + 32203, + 28576 + ] + ], + [ + [ + -20926, + -21981 + ] + ], + [ + [ + 2172, + -29825 + ] + ], + [ + [ + -13186, + -4254 + ] + ], + [ + [ + 30760, + 32268 + ] + ], + [ + [ + -22837, + 25668 + ] + ], + [ + [ + -26809, + 16292 + ] + ], + [ + [ + 22652, + 25610 + ] + ], + [ + [ + -18127, + 25784 + ] + ], + [ + [ + -25168, + 1235 + ] + ], + [ + [ + -1996, + -12064 + ] + ], + [ + [ + -31319, + 17826 + ] + ], + [ + [ + -10776, + 10594 + ] + ], + [ + [ + -5884, + -8280 + ] + ] + ], + [ + [ + [ + 25316, + -26578 + ] + ], + [ + [ + 15506, + 16173 + ] + ], + [ + [ + -7865, + -15568 + ] + ], + [ + [ + -32421, + 28626 + ] + ], + [ + [ + 29342, + -16976 + ] + ], + [ + [ + -30677, + -24723 + ] + ], + [ + [ + -28335, + 21699 + ] + ], + [ + [ + 25684, + -22723 + ] + ], + [ + [ + 16170, + -21020 + ] + ], + [ + [ + -8703, + 6513 + ] + ], + [ + [ + 14413, + 24547 + ] + ], + [ + [ + -29833, + -19895 + ] + ], + [ + [ + -14385, + -12431 + ] + ], + [ + [ + 32638, + 18180 + ] + ], + [ + [ + -11770, + 30921 + ] + ], + [ + [ + -46, + 48 + ] + ], + [ + [ + -4346, + -23338 + ] + ] + ], + [ + [ + [ + 28467, + -31855 + ] + ], + [ + [ + -21347, + -17718 + ] + ], + [ + [ + -14464, + -24129 + ] + ], + [ + [ + -31591, + 11643 + ] + ], + [ + [ + 30756, + -24784 + ] + ], + [ + [ + -13335, + 414 + ] + ], + [ + [ + 28016, + 12731 + ] + ], + [ + [ + 17444, + 5316 + ] + ], + [ + [ + -5438, + -19676 + ] + ], + [ + [ + 23875, + 19931 + ] + ], + [ + [ + -31123, + 14116 + ] + ], + [ + [ + -27238, + 15662 + ] + ], + [ + [ + 21361, + -24179 + ] + ], + [ + [ + -4337, + -24658 + ] + ], + [ + [ + 4409, + 28020 + ] + ], + [ + [ + -27469, + -6713 + ] + ], + [ + [ + 31006, + -13046 + ] + ] + ], + [ + [ + [ + -24104, + -749 + ] + ], + [ + [ + 548, + 10673 + ] + ], + [ + [ + -12207, + 29859 + ] + ], + [ + [ + 1377, + -13996 + ] + ], + [ + [ + 30165, + 27840 + ] + ], + [ + [ + -55, + -31139 + ] + ], + [ + [ + 6352, + 3617 + ] + ], + [ + [ + -23056, + 8780 + ] + ], + [ + [ + 22334, + -25828 + ] + ], + [ + [ + 14635, + -23571 + ] + ], + [ + [ + 16307, + -5301 + ] + ], + [ + [ + -32342, + 30554 + ] + ], + [ + [ + -21891, + 6294 + ] + ], + [ + [ + -20876, + 28378 + ] + ], + [ + [ + 15618, + 19946 + ] + ], + [ + [ + -4452, + -2138 + ] + ], + [ + [ + 8801, + 18662 + ] + ] + ], + [ + [ + [ + 22739, + -31600 + ] + ], + [ + [ + 10719, + -25616 + ] + ], + [ + [ + -13899, + 21589 + ] + ], + [ + [ + -16351, + 19452 + ] + ], + [ + [ + -2425, + -17522 + ] + ], + [ + [ + -10863, + 2016 + ] + ], + [ + [ + 17376, + 6947 + ] + ], + [ + [ + 28391, + 24100 + ] + ], + [ + [ + 16603, + 6757 + ] + ], + [ + [ + -13773, + -5730 + ] + ], + [ + [ + -24977, + -8246 + ] + ], + [ + [ + 27949, + -4858 + ] + ], + [ + [ + -25315, + 9956 + ] + ], + [ + [ + 30317, + 24083 + ] + ], + [ + [ + -14807, + -3022 + ] + ], + [ + [ + 2032, + -16526 + ] + ], + [ + [ + -15160, + -17259 + ] + ] + ], + [ + [ + [ + 32412, + 16122 + ] + ], + [ + [ + 22338, + 20746 + ] + ], + [ + [ + 30090, + -25869 + ] + ], + [ + [ + 25010, + -28406 + ] + ], + [ + [ + -1611, + 6188 + ] + ], + [ + [ + -9316, + -23189 + ] + ], + [ + [ + -20166, + 21277 + ] + ], + [ + [ + -11881, + -12430 + ] + ], + [ + [ + 27745, + -23340 + ] + ], + [ + [ + 27214, + 27588 + ] + ], + [ + [ + 6459, + -21920 + ] + ], + [ + [ + -22554, + -14109 + ] + ], + [ + [ + 5073, + -22701 + ] + ], + [ + [ + -2907, + -25200 + ] + ], + [ + [ + 2640, + -31383 + ] + ], + [ + [ + 13699, + -29138 + ] + ], + [ + [ + -20001, + -21323 + ] + ] + ], + [ + [ + [ + 21692, + -29270 + ] + ], + [ + [ + -4637, + 5973 + ] + ], + [ + [ + 1048, + 11843 + ] + ], + [ + [ + 19864, + -6972 + ] + ], + [ + [ + 21510, + -11929 + ] + ], + [ + [ + 31747, + 296 + ] + ], + [ + [ + 15467, + 24576 + ] + ], + [ + [ + 19179, + 23011 + ] + ], + [ + [ + 2392, + -29919 + ] + ], + [ + [ + -454, + -20874 + ] + ], + [ + [ + 25501, + -17253 + ] + ], + [ + [ + -17822, + -16425 + ] + ], + [ + [ + 9343, + 4668 + ] + ], + [ + [ + 29415, + -5488 + ] + ], + [ + [ + -14269, + -29541 + ] + ], + [ + [ + -32305, + -8283 + ] + ], + [ + [ + 27906, + 1556 + ] + ] + ], + [ + [ + [ + 25791, + -26105 + ] + ], + [ + [ + -26653, + 21853 + ] + ], + [ + [ + -25773, + -29363 + ] + ], + [ + [ + -6286, + 27842 + ] + ], + [ + [ + 12411, + -26273 + ] + ], + [ + [ + 22094, + 22516 + ] + ], + [ + [ + 19706, + 26388 + ] + ], + [ + [ + -17048, + 31429 + ] + ], + [ + [ + -11751, + 19793 + ] + ], + [ + [ + 5201, + 18315 + ] + ], + [ + [ + 8376, + 9337 + ] + ], + [ + [ + 7620, + 18284 + ] + ], + [ + [ + 15665, + -23950 + ] + ], + [ + [ + 21368, + 2363 + ] + ], + [ + [ + -11595, + 932 + ] + ], + [ + [ + 30604, + 23433 + ] + ], + [ + [ + 21869, + -2438 + ] + ] + ], + [ + [ + [ + 18621, + -7531 + ] + ], + [ + [ + 12200, + 9146 + ] + ], + [ + [ + -16398, + -15306 + ] + ], + [ + [ + -28762, + -23609 + ] + ], + [ + [ + -4351, + -1450 + ] + ], + [ + [ + -21947, + -5447 + ] + ], + [ + [ + 6827, + -17527 + ] + ], + [ + [ + -10602, + -8683 + ] + ], + [ + [ + 331, + -8757 + ] + ], + [ + [ + 15528, + -11306 + ] + ], + [ + [ + -4333, + -7900 + ] + ], + [ + [ + -20781, + 12172 + ] + ], + [ + [ + -17338, + -13312 + ] + ], + [ + [ + 19185, + 29416 + ] + ], + [ + [ + 11196, + 27285 + ] + ], + [ + [ + 23212, + -1252 + ] + ], + [ + [ + 17713, + -11249 + ] + ] + ], + [ + [ + [ + -2589, + 2322 + ] + ], + [ + [ + 30178, + 22843 + ] + ], + [ + [ + -705, + 9999 + ] + ], + [ + [ + -19507, + 19948 + ] + ], + [ + [ + 3475, + 2144 + ] + ], + [ + [ + 17451, + 8710 + ] + ], + [ + [ + -28019, + -13884 + ] + ], + [ + [ + -21187, + 15393 + ] + ], + [ + [ + -30465, + -19504 + ] + ], + [ + [ + 6386, + 12766 + ] + ], + [ + [ + 216, + 23640 + ] + ], + [ + [ + 27455, + -24111 + ] + ], + [ + [ + 29655, + 7495 + ] + ], + [ + [ + 8927, + -26536 + ] + ], + [ + [ + 7986, + 14792 + ] + ], + [ + [ + 5294, + -27231 + ] + ], + [ + [ + 1522, + 28569 + ] + ] + ], + [ + [ + [ + 14641, + -23763 + ] + ], + [ + [ + 30142, + 30073 + ] + ], + [ + [ + -21667, + 19718 + ] + ], + [ + [ + -6114, + 6139 + ] + ], + [ + [ + -3593, + 18522 + ] + ], + [ + [ + 32549, + 19340 + ] + ], + [ + [ + 28270, + 29230 + ] + ], + [ + [ + -26863, + -16163 + ] + ], + [ + [ + 14539, + 5903 + ] + ], + [ + [ + -29482, + -26539 + ] + ], + [ + [ + 1346, + 7613 + ] + ], + [ + [ + -21777, + -21543 + ] + ], + [ + [ + -24292, + 4256 + ] + ], + [ + [ + -32254, + 4746 + ] + ], + [ + [ + -1578, + -2230 + ] + ], + [ + [ + 11749, + 1483 + ] + ], + [ + [ + 14925, + 17296 + ] + ] + ], + [ + [ + [ + 27532, + 19611 + ] + ], + [ + [ + 1160, + -515 + ] + ], + [ + [ + -17321, + 6526 + ] + ], + [ + [ + -23650, + 28261 + ] + ], + [ + [ + 22612, + -24922 + ] + ], + [ + [ + 18740, + -25094 + ] + ], + [ + [ + 14498, + -27020 + ] + ], + [ + [ + -774, + 10345 + ] + ], + [ + [ + 14995, + -5335 + ] + ], + [ + [ + 27631, + 17977 + ] + ], + [ + [ + -19120, + 11221 + ] + ], + [ + [ + 15108, + -10903 + ] + ], + [ + [ + 15612, + 26107 + ] + ], + [ + [ + 20782, + 17205 + ] + ], + [ + [ + 8814, + -15039 + ] + ], + [ + [ + 19347, + -8901 + ] + ], + [ + [ + 2110, + -12161 + ] + ] + ] + ], + [ + [ + [ + [ + -12255, + -22439 + ] + ], + [ + [ + 30231, + -23083 + ] + ], + [ + [ + -27115, + 28582 + ] + ], + [ + [ + 3605, + -4070 + ] + ], + [ + [ + 15564, + -7647 + ] + ], + [ + [ + -24385, + 15052 + ] + ], + [ + [ + -21234, + 3472 + ] + ], + [ + [ + 29429, + 28582 + ] + ], + [ + [ + -9124, + 18369 + ] + ], + [ + [ + 7384, + -1353 + ] + ], + [ + [ + -23598, + -8103 + ] + ], + [ + [ + 9956, + 31891 + ] + ], + [ + [ + -32448, + 14271 + ] + ], + [ + [ + 22697, + 29569 + ] + ], + [ + [ + -4994, + -25004 + ] + ], + [ + [ + -15010, + 22972 + ] + ], + [ + [ + 24768, + 8983 + ] + ] + ], + [ + [ + [ + -24725, + -24778 + ] + ], + [ + [ + -1431, + 5784 + ] + ], + [ + [ + -30647, + 12196 + ] + ], + [ + [ + 2917, + -31962 + ] + ], + [ + [ + -26498, + -2994 + ] + ], + [ + [ + 14587, + 21325 + ] + ], + [ + [ + -4503, + -13412 + ] + ], + [ + [ + 30691, + -2717 + ] + ], + [ + [ + -12099, + -3781 + ] + ], + [ + [ + -31976, + -12981 + ] + ], + [ + [ + 1019, + 27423 + ] + ], + [ + [ + 15612, + 18434 + ] + ], + [ + [ + 2942, + -25521 + ] + ], + [ + [ + -7149, + 32573 + ] + ], + [ + [ + -29874, + 24851 + ] + ], + [ + [ + 12091, + -14162 + ] + ], + [ + [ + 18218, + 22078 + ] + ] + ], + [ + [ + [ + -29936, + -25794 + ] + ], + [ + [ + 10862, + 32709 + ] + ], + [ + [ + -31198, + 10858 + ] + ], + [ + [ + -23821, + 9838 + ] + ], + [ + [ + 8081, + -26841 + ] + ], + [ + [ + 11844, + 26019 + ] + ], + [ + [ + 23818, + -30868 + ] + ], + [ + [ + -16652, + -16986 + ] + ], + [ + [ + -3062, + -23395 + ] + ], + [ + [ + 23222, + 18138 + ] + ], + [ + [ + 20208, + -19779 + ] + ], + [ + [ + -31813, + 26911 + ] + ], + [ + [ + -13835, + 10241 + ] + ], + [ + [ + 26832, + -30399 + ] + ], + [ + [ + -32410, + -32413 + ] + ], + [ + [ + -22524, + -29383 + ] + ], + [ + [ + 20970, + 6941 + ] + ] + ], + [ + [ + [ + 31460, + 19757 + ] + ], + [ + [ + 30355, + -17135 + ] + ], + [ + [ + -13907, + 22898 + ] + ], + [ + [ + -16720, + -29018 + ] + ], + [ + [ + 11084, + 19723 + ] + ], + [ + [ + 30683, + 28036 + ] + ], + [ + [ + -24889, + 17832 + ] + ], + [ + [ + 22683, + 12984 + ] + ], + [ + [ + 20958, + 22149 + ] + ], + [ + [ + -3503, + -30137 + ] + ], + [ + [ + -2871, + -19545 + ] + ], + [ + [ + -25315, + -24582 + ] + ], + [ + [ + 12935, + 296 + ] + ], + [ + [ + 2610, + 16068 + ] + ], + [ + [ + 3163, + 8520 + ] + ], + [ + [ + -27131, + 23011 + ] + ], + [ + [ + -3357, + -22596 + ] + ] + ], + [ + [ + [ + 20534, + 15376 + ] + ], + [ + [ + -29293, + -20117 + ] + ], + [ + [ + -31736, + -15024 + ] + ], + [ + [ + -26216, + 13756 + ] + ], + [ + [ + 1478, + 31470 + ] + ], + [ + [ + 16346, + 7310 + ] + ], + [ + [ + 610, + -29197 + ] + ], + [ + [ + -28168, + 7622 + ] + ], + [ + [ + -32482, + -29993 + ] + ], + [ + [ + -18407, + 25175 + ] + ], + [ + [ + -2692, + 13734 + ] + ], + [ + [ + -5796, + -21422 + ] + ], + [ + [ + -8444, + -26757 + ] + ], + [ + [ + 17711, + -20740 + ] + ], + [ + [ + -8102, + 31459 + ] + ], + [ + [ + 6026, + -2716 + ] + ], + [ + [ + 2818, + 18617 + ] + ] + ], + [ + [ + [ + -16091, + 8939 + ] + ], + [ + [ + 24424, + 4745 + ] + ], + [ + [ + -3504, + -23257 + ] + ], + [ + [ + -16497, + 29230 + ] + ], + [ + [ + 2704, + -13020 + ] + ], + [ + [ + -5350, + 5112 + ] + ], + [ + [ + 2460, + 13092 + ] + ], + [ + [ + -15893, + 9780 + ] + ], + [ + [ + -3757, + 28874 + ] + ], + [ + [ + -22419, + -23040 + ] + ], + [ + [ + -2513, + 547 + ] + ], + [ + [ + 12509, + -6290 + ] + ], + [ + [ + 27113, + -1693 + ] + ], + [ + [ + -24292, + -24955 + ] + ], + [ + [ + 31025, + -23980 + ] + ], + [ + [ + 29350, + -14545 + ] + ], + [ + [ + -26647, + -12799 + ] + ] + ], + [ + [ + [ + 7516, + -4725 + ] + ], + [ + [ + 18715, + 7273 + ] + ], + [ + [ + -6503, + 8823 + ] + ], + [ + [ + 30897, + -5780 + ] + ], + [ + [ + -22712, + -5978 + ] + ], + [ + [ + 22289, + -18506 + ] + ], + [ + [ + 29435, + 5787 + ] + ], + [ + [ + 6656, + -11991 + ] + ], + [ + [ + 27555, + -30405 + ] + ], + [ + [ + -13195, + -5348 + ] + ], + [ + [ + -1490, + -1696 + ] + ], + [ + [ + -23074, + -17984 + ] + ], + [ + [ + -26527, + 4748 + ] + ], + [ + [ + -9774, + 4310 + ] + ], + [ + [ + 5879, + 13238 + ] + ], + [ + [ + 3082, + 9695 + ] + ], + [ + [ + 5711, + 9989 + ] + ] + ], + [ + [ + [ + 7644, + -12045 + ] + ], + [ + [ + -16628, + 18837 + ] + ], + [ + [ + -10309, + 3220 + ] + ], + [ + [ + -19860, + -4495 + ] + ], + [ + [ + 1944, + 8258 + ] + ], + [ + [ + 1728, + -9132 + ] + ], + [ + [ + 30262, + 834 + ] + ], + [ + [ + 20204, + 15512 + ] + ], + [ + [ + 3821, + 25323 + ] + ], + [ + [ + -24362, + 27594 + ] + ], + [ + [ + 22952, + 238 + ] + ], + [ + [ + 15295, + 1328 + ] + ], + [ + [ + -15155, + 19652 + ] + ], + [ + [ + -16652, + -12161 + ] + ], + [ + [ + 1264, + 22110 + ] + ], + [ + [ + -7608, + -384 + ] + ], + [ + [ + -30038, + -25176 + ] + ] + ], + [ + [ + [ + -29102, + -28046 + ] + ], + [ + [ + 24151, + 22412 + ] + ], + [ + [ + 21095, + -29127 + ] + ], + [ + [ + -27680, + -14378 + ] + ], + [ + [ + 4279, + -10871 + ] + ], + [ + [ + -816, + -21431 + ] + ], + [ + [ + 15124, + -12197 + ] + ], + [ + [ + -28408, + 15905 + ] + ], + [ + [ + 26397, + -31806 + ] + ], + [ + [ + -4151, + 21441 + ] + ], + [ + [ + 13511, + 23366 + ] + ], + [ + [ + -5557, + -8372 + ] + ], + [ + [ + 13708, + -22701 + ] + ], + [ + [ + -17078, + 6608 + ] + ], + [ + [ + 11039, + -24926 + ] + ], + [ + [ + 544, + -8853 + ] + ], + [ + [ + 114, + 30043 + ] + ] + ], + [ + [ + [ + -27748, + 32470 + ] + ], + [ + [ + -3305, + 17832 + ] + ], + [ + [ + -4950, + -12389 + ] + ], + [ + [ + 17734, + 12298 + ] + ], + [ + [ + -23328, + 13461 + ] + ], + [ + [ + 16585, + -7351 + ] + ], + [ + [ + 27895, + 9233 + ] + ], + [ + [ + -10904, + -32065 + ] + ], + [ + [ + 11466, + -19068 + ] + ], + [ + [ + 16811, + 1644 + ] + ], + [ + [ + -2181, + -22037 + ] + ], + [ + [ + 13861, + -21896 + ] + ], + [ + [ + -5391, + 22040 + ] + ], + [ + [ + 27549, + 32055 + ] + ], + [ + [ + 30016, + 3668 + ] + ], + [ + [ + -19630, + 22221 + ] + ], + [ + [ + 19767, + 32133 + ] + ] + ], + [ + [ + [ + 9892, + -23489 + ] + ], + [ + [ + 190, + -3392 + ] + ], + [ + [ + 22475, + -7041 + ] + ], + [ + [ + -11234, + -27522 + ] + ], + [ + [ + 21984, + 16733 + ] + ], + [ + [ + -30067, + -4340 + ] + ], + [ + [ + -1330, + -2011 + ] + ], + [ + [ + 27455, + -22894 + ] + ], + [ + [ + -12692, + -20911 + ] + ], + [ + [ + -16772, + 26679 + ] + ], + [ + [ + 28883, + -29842 + ] + ], + [ + [ + 8656, + -17508 + ] + ], + [ + [ + -20149, + -13628 + ] + ], + [ + [ + -20029, + -643 + ] + ], + [ + [ + 32480, + 5665 + ] + ], + [ + [ + 14630, + -440 + ] + ], + [ + [ + -31857, + -27256 + ] + ] + ], + [ + [ + [ + -15148, + -16800 + ] + ], + [ + [ + 22320, + 22517 + ] + ], + [ + [ + 23207, + 9017 + ] + ], + [ + [ + 3681, + 9774 + ] + ], + [ + [ + -6108, + 11154 + ] + ], + [ + [ + 19296, + 17229 + ] + ], + [ + [ + 7459, + -28960 + ] + ], + [ + [ + 14742, + -8742 + ] + ], + [ + [ + 15968, + 2590 + ] + ], + [ + [ + 24981, + -10587 + ] + ], + [ + [ + 28271, + 22575 + ] + ], + [ + [ + -11069, + -1143 + ] + ], + [ + [ + 2054, + 17604 + ] + ], + [ + [ + 12396, + 23069 + ] + ], + [ + [ + -8529, + 314 + ] + ], + [ + [ + -4531, + 26840 + ] + ], + [ + [ + -12781, + 5709 + ] + ] + ], + [ + [ + [ + -24893, + 22955 + ] + ], + [ + [ + -7588, + -10448 + ] + ], + [ + [ + 5434, + -78 + ] + ], + [ + [ + 22804, + 2058 + ] + ], + [ + [ + 1113, + -25889 + ] + ], + [ + [ + -31331, + -6649 + ] + ], + [ + [ + 32650, + 27350 + ] + ], + [ + [ + 8452, + 8574 + ] + ], + [ + [ + -7111, + -21135 + ] + ], + [ + [ + -32208, + -10561 + ] + ], + [ + [ + -12028, + -20212 + ] + ], + [ + [ + -15784, + -31142 + ] + ], + [ + [ + 7075, + 28014 + ] + ], + [ + [ + 12504, + -3395 + ] + ], + [ + [ + -5226, + -12614 + ] + ], + [ + [ + -23436, + 6453 + ] + ], + [ + [ + 4359, + -32289 + ] + ] + ], + [ + [ + [ + -5537, + -14548 + ] + ], + [ + [ + -21609, + 13306 + ] + ], + [ + [ + 1692, + 8766 + ] + ], + [ + [ + 13990, + 31575 + ] + ], + [ + [ + 19841, + 7887 + ] + ], + [ + [ + 24839, + -1475 + ] + ], + [ + [ + 31769, + 17133 + ] + ], + [ + [ + 9888, + 26432 + ] + ], + [ + [ + 988, + 14463 + ] + ], + [ + [ + -14108, + 30357 + ] + ], + [ + [ + 8085, + 18481 + ] + ], + [ + [ + -2574, + 24038 + ] + ], + [ + [ + -27907, + -25291 + ] + ], + [ + [ + 466, + 15231 + ] + ], + [ + [ + 20264, + -3927 + ] + ], + [ + [ + 9808, + 3480 + ] + ], + [ + [ + 30246, + 10099 + ] + ] + ], + [ + [ + [ + -5450, + 30789 + ] + ], + [ + [ + -25740, + 31757 + ] + ], + [ + [ + -22675, + -13879 + ] + ], + [ + [ + 21067, + 15319 + ] + ], + [ + [ + 30825, + 16382 + ] + ], + [ + [ + 8978, + -10061 + ] + ], + [ + [ + -32460, + -24651 + ] + ], + [ + [ + -13253, + -30085 + ] + ], + [ + [ + 536, + 18175 + ] + ], + [ + [ + 30359, + -676 + ] + ], + [ + [ + 24576, + 31820 + ] + ], + [ + [ + 23581, + -2296 + ] + ], + [ + [ + -11452, + 31320 + ] + ], + [ + [ + -16915, + -5795 + ] + ], + [ + [ + -27917, + 19246 + ] + ], + [ + [ + 9819, + -27210 + ] + ], + [ + [ + -18224, + 3634 + ] + ] + ], + [ + [ + [ + 2648, + 19795 + ] + ], + [ + [ + -15330, + 27833 + ] + ], + [ + [ + -3639, + 21140 + ] + ], + [ + [ + -17146, + -30346 + ] + ], + [ + [ + -29161, + -8343 + ] + ], + [ + [ + 29697, + -29577 + ] + ], + [ + [ + -8587, + -25607 + ] + ], + [ + [ + 28283, + 11488 + ] + ], + [ + [ + 17215, + 13976 + ] + ], + [ + [ + 10290, + 17938 + ] + ], + [ + [ + -32236, + 23950 + ] + ], + [ + [ + 15719, + 15691 + ] + ], + [ + [ + -6984, + 19717 + ] + ], + [ + [ + -7746, + -29560 + ] + ], + [ + [ + 26726, + -17398 + ] + ], + [ + [ + -26090, + 7988 + ] + ], + [ + [ + -17456, + 23470 + ] + ] + ], + [ + [ + [ + -3687, + -32474 + ] + ], + [ + [ + 29603, + 958 + ] + ], + [ + [ + -15534, + 11618 + ] + ], + [ + [ + 2006, + -30828 + ] + ], + [ + [ + 17016, + -6465 + ] + ], + [ + [ + 13095, + 25928 + ] + ], + [ + [ + 7249, + 11246 + ] + ], + [ + [ + -16080, + -17193 + ] + ], + [ + [ + -5571, + 23119 + ] + ], + [ + [ + 1585, + -9960 + ] + ], + [ + [ + 18324, + 23156 + ] + ], + [ + [ + 26380, + -13177 + ] + ], + [ + [ + 13738, + 5919 + ] + ], + [ + [ + -3345, + -6755 + ] + ], + [ + [ + -25261, + -14758 + ] + ], + [ + [ + 3254, + 25333 + ] + ], + [ + [ + 24008, + -20474 + ] + ] + ], + [ + [ + [ + 11752, + -27210 + ] + ], + [ + [ + 11469, + -10360 + ] + ], + [ + [ + -3287, + 14263 + ] + ], + [ + [ + -4923, + 20147 + ] + ], + [ + [ + 2200, + 32685 + ] + ], + [ + [ + 9059, + -13346 + ] + ], + [ + [ + 18041, + -6034 + ] + ], + [ + [ + 2239, + -23802 + ] + ], + [ + [ + -24947, + 4906 + ] + ], + [ + [ + -20534, + 32609 + ] + ], + [ + [ + 23309, + 13164 + ] + ], + [ + [ + 15381, + 6239 + ] + ], + [ + [ + -28817, + -7054 + ] + ], + [ + [ + -276, + 27217 + ] + ], + [ + [ + -18384, + -203 + ] + ], + [ + [ + -10220, + -23963 + ] + ], + [ + [ + -26017, + -8823 + ] + ] + ], + [ + [ + [ + -27367, + -28367 + ] + ], + [ + [ + -9774, + -19532 + ] + ], + [ + [ + 3591, + -31611 + ] + ], + [ + [ + -12989, + -3062 + ] + ], + [ + [ + 30352, + 8817 + ] + ], + [ + [ + 24950, + -10270 + ] + ], + [ + [ + -3296, + -5218 + ] + ], + [ + [ + 25388, + 30094 + ] + ], + [ + [ + 30299, + 16512 + ] + ], + [ + [ + 203, + 2677 + ] + ], + [ + [ + 31490, + -14121 + ] + ], + [ + [ + -10047, + 26017 + ] + ], + [ + [ + -7450, + -17361 + ] + ], + [ + [ + 3962, + -11447 + ] + ], + [ + [ + 25616, + 26808 + ] + ], + [ + [ + -12714, + 1936 + ] + ], + [ + [ + 31718, + 15880 + ] + ] + ], + [ + [ + [ + -18637, + 5947 + ] + ], + [ + [ + 7857, + 10055 + ] + ], + [ + [ + -31129, + -13148 + ] + ], + [ + [ + 23239, + -16950 + ] + ], + [ + [ + -13128, + -11634 + ] + ], + [ + [ + -21143, + -22581 + ] + ], + [ + [ + -10026, + 24531 + ] + ], + [ + [ + -32668, + -14206 + ] + ], + [ + [ + -28795, + 4029 + ] + ], + [ + [ + -16345, + 19134 + ] + ], + [ + [ + 5571, + 18600 + ] + ], + [ + [ + 8841, + -4038 + ] + ], + [ + [ + 23656, + -1557 + ] + ], + [ + [ + 29486, + 32420 + ] + ], + [ + [ + 5834, + 11442 + ] + ], + [ + [ + -16013, + 20620 + ] + ], + [ + [ + 11245, + 26381 + ] + ] + ], + [ + [ + [ + -15270, + 18847 + ] + ], + [ + [ + -1949, + -20633 + ] + ], + [ + [ + -21549, + 4074 + ] + ], + [ + [ + -11833, + -26091 + ] + ], + [ + [ + -4775, + 10021 + ] + ], + [ + [ + -11866, + 29841 + ] + ], + [ + [ + 18320, + 834 + ] + ], + [ + [ + 28485, + -4393 + ] + ], + [ + [ + -23615, + -30420 + ] + ], + [ + [ + 28706, + 30131 + ] + ], + [ + [ + 15679, + -26018 + ] + ], + [ + [ + -13524, + -30076 + ] + ], + [ + [ + -29410, + -16642 + ] + ], + [ + [ + 4727, + -28474 + ] + ], + [ + [ + 31758, + -2942 + ] + ], + [ + [ + -15477, + 1054 + ] + ], + [ + [ + 19015, + -12284 + ] + ] + ], + [ + [ + [ + -29655, + -29429 + ] + ], + [ + [ + 23067, + -25455 + ] + ], + [ + [ + 8884, + -7570 + ] + ], + [ + [ + 18187, + -28802 + ] + ], + [ + [ + 26069, + 12988 + ] + ], + [ + [ + -3325, + -19201 + ] + ], + [ + [ + 31269, + -12972 + ] + ], + [ + [ + -622, + -6939 + ] + ], + [ + [ + -17659, + -5466 + ] + ], + [ + [ + -22841, + -32660 + ] + ], + [ + [ + -13764, + -25424 + ] + ], + [ + [ + -5586, + 23774 + ] + ], + [ + [ + -22114, + -32688 + ] + ], + [ + [ + -25488, + 535 + ] + ], + [ + [ + -14757, + -688 + ] + ], + [ + [ + -30852, + -10939 + ] + ], + [ + [ + -5890, + -4501 + ] + ] + ] + ], + [ + [ + [ + [ + 3352, + 18388 + ] + ], + [ + [ + -2148, + 22361 + ] + ], + [ + [ + 1948, + -15706 + ] + ], + [ + [ + -17760, + -11634 + ] + ], + [ + [ + 6387, + -16877 + ] + ], + [ + [ + 27143, + -1320 + ] + ], + [ + [ + 23807, + 12010 + ] + ], + [ + [ + -10922, + -17810 + ] + ], + [ + [ + 15987, + -11093 + ] + ], + [ + [ + -16590, + 28205 + ] + ], + [ + [ + -1139, + -29585 + ] + ], + [ + [ + -343, + -2572 + ] + ], + [ + [ + 23853, + 13864 + ] + ], + [ + [ + -20228, + -22908 + ] + ], + [ + [ + 6789, + -29664 + ] + ], + [ + [ + -11861, + -23711 + ] + ], + [ + [ + -31421, + 27447 + ] + ] + ], + [ + [ + [ + -26882, + -32162 + ] + ], + [ + [ + 28370, + -20427 + ] + ], + [ + [ + 20745, + -30718 + ] + ], + [ + [ + -22705, + -25518 + ] + ], + [ + [ + 13517, + 7874 + ] + ], + [ + [ + -1606, + -16932 + ] + ], + [ + [ + -26945, + 4535 + ] + ], + [ + [ + -17648, + 5911 + ] + ], + [ + [ + 12285, + 22900 + ] + ], + [ + [ + -395, + -32458 + ] + ], + [ + [ + -14375, + 23158 + ] + ], + [ + [ + 2179, + 7806 + ] + ], + [ + [ + -2765, + -22103 + ] + ], + [ + [ + 25998, + 17887 + ] + ], + [ + [ + 32452, + 23297 + ] + ], + [ + [ + -13689, + -16105 + ] + ], + [ + [ + -16484, + 27446 + ] + ] + ], + [ + [ + [ + 3731, + -2985 + ] + ], + [ + [ + 30687, + 6778 + ] + ], + [ + [ + 26832, + 31761 + ] + ], + [ + [ + -27562, + -9075 + ] + ], + [ + [ + 15344, + 20523 + ] + ], + [ + [ + -23037, + -11902 + ] + ], + [ + [ + 3157, + 19609 + ] + ], + [ + [ + -25365, + 6601 + ] + ], + [ + [ + -13341, + -18589 + ] + ], + [ + [ + 1009, + -5635 + ] + ], + [ + [ + 8893, + -11952 + ] + ], + [ + [ + 21186, + -27650 + ] + ], + [ + [ + 23716, + -30813 + ] + ], + [ + [ + 15459, + -10062 + ] + ], + [ + [ + -7646, + -31521 + ] + ], + [ + [ + 13244, + -21923 + ] + ], + [ + [ + 10430, + 14757 + ] + ] + ], + [ + [ + [ + 22625, + 13637 + ] + ], + [ + [ + -13009, + 15635 + ] + ], + [ + [ + 21361, + -11984 + ] + ], + [ + [ + -24630, + 25560 + ] + ], + [ + [ + -23073, + 6149 + ] + ], + [ + [ + -17284, + -24509 + ] + ], + [ + [ + 18115, + -23350 + ] + ], + [ + [ + 11155, + 12654 + ] + ], + [ + [ + -28821, + -21434 + ] + ], + [ + [ + 19291, + 477 + ] + ], + [ + [ + -24816, + 32228 + ] + ], + [ + [ + -15402, + -32506 + ] + ], + [ + [ + 27798, + -31682 + ] + ], + [ + [ + 3496, + 32314 + ] + ], + [ + [ + 5099, + 5546 + ] + ], + [ + [ + -7329, + -24451 + ] + ], + [ + [ + 4763, + 26037 + ] + ] + ], + [ + [ + [ + -26798, + 24928 + ] + ], + [ + [ + -5568, + 2372 + ] + ], + [ + [ + -21929, + 7981 + ] + ], + [ + [ + -20818, + -14865 + ] + ], + [ + [ + 14523, + -29458 + ] + ], + [ + [ + -3462, + 6197 + ] + ], + [ + [ + -24116, + -13451 + ] + ], + [ + [ + -10257, + 10723 + ] + ], + [ + [ + 31241, + 22036 + ] + ], + [ + [ + -20332, + -31578 + ] + ], + [ + [ + -29366, + 6272 + ] + ], + [ + [ + -22528, + -17611 + ] + ], + [ + [ + 22766, + 24503 + ] + ], + [ + [ + 22218, + -16144 + ] + ], + [ + [ + 7843, + 7259 + ] + ], + [ + [ + -20628, + 3508 + ] + ], + [ + [ + 1655, + -6805 + ] + ] + ], + [ + [ + [ + 16492, + 11640 + ] + ], + [ + [ + 2140, + 14796 + ] + ], + [ + [ + 17243, + 4386 + ] + ], + [ + [ + -15226, + 16935 + ] + ], + [ + [ + 14261, + 31681 + ] + ], + [ + [ + -22952, + -5291 + ] + ], + [ + [ + 27802, + 955 + ] + ], + [ + [ + 29007, + -31951 + ] + ], + [ + [ + -30464, + 19400 + ] + ], + [ + [ + -9278, + 1325 + ] + ], + [ + [ + -4718, + -6032 + ] + ], + [ + [ + 28801, + -26603 + ] + ], + [ + [ + 17840, + 25536 + ] + ], + [ + [ + 10316, + -6881 + ] + ], + [ + [ + -22282, + 11965 + ] + ], + [ + [ + -2045, + -22979 + ] + ], + [ + [ + -9198, + 30248 + ] + ] + ], + [ + [ + [ + -15376, + -21074 + ] + ], + [ + [ + 11925, + -19691 + ] + ], + [ + [ + 27519, + 23526 + ] + ], + [ + [ + 31688, + 27039 + ] + ], + [ + [ + -16793, + -18865 + ] + ], + [ + [ + -10313, + -1980 + ] + ], + [ + [ + 24903, + 15302 + ] + ], + [ + [ + 9465, + 24796 + ] + ], + [ + [ + 9560, + -7927 + ] + ], + [ + [ + -5702, + 1115 + ] + ], + [ + [ + -26951, + 15841 + ] + ], + [ + [ + 10012, + 15147 + ] + ], + [ + [ + 2224, + 18544 + ] + ], + [ + [ + 29474, + 4583 + ] + ], + [ + [ + -3645, + -25912 + ] + ], + [ + [ + 18263, + 26474 + ] + ], + [ + [ + 13073, + 23958 + ] + ] + ], + [ + [ + [ + 23671, + 19536 + ] + ], + [ + [ + 188, + -26224 + ] + ], + [ + [ + -32556, + -19373 + ] + ], + [ + [ + -4521, + 15964 + ] + ], + [ + [ + -2897, + -31252 + ] + ], + [ + [ + -18983, + 31406 + ] + ], + [ + [ + 31983, + -8052 + ] + ], + [ + [ + 19987, + 14372 + ] + ], + [ + [ + 28263, + 25399 + ] + ], + [ + [ + 8437, + -6906 + ] + ], + [ + [ + 8300, + -11854 + ] + ], + [ + [ + -9956, + 7126 + ] + ], + [ + [ + 4679, + 5307 + ] + ], + [ + [ + -7558, + -5955 + ] + ], + [ + [ + -32101, + 6669 + ] + ], + [ + [ + 4966, + 28533 + ] + ], + [ + [ + 280, + -2121 + ] + ] + ], + [ + [ + [ + -28333, + -19875 + ] + ], + [ + [ + -10615, + -8048 + ] + ], + [ + [ + -9000, + -6940 + ] + ], + [ + [ + 17623, + -24176 + ] + ], + [ + [ + -10994, + -22095 + ] + ], + [ + [ + -12597, + 12095 + ] + ], + [ + [ + -29704, + -10520 + ] + ], + [ + [ + -31216, + 29812 + ] + ], + [ + [ + 14893, + -16804 + ] + ], + [ + [ + -19779, + -26285 + ] + ], + [ + [ + -1778, + 16613 + ] + ], + [ + [ + 5518, + 24971 + ] + ], + [ + [ + -10236, + -14542 + ] + ], + [ + [ + -1439, + -19524 + ] + ], + [ + [ + 31171, + -20594 + ] + ], + [ + [ + -1385, + 1442 + ] + ], + [ + [ + -29030, + -2070 + ] + ] + ], + [ + [ + [ + -2969, + -15766 + ] + ], + [ + [ + -24382, + -29808 + ] + ], + [ + [ + -32206, + -1213 + ] + ], + [ + [ + -26881, + 30102 + ] + ], + [ + [ + -16729, + 9995 + ] + ], + [ + [ + 11369, + -295 + ] + ], + [ + [ + 25140, + -25514 + ] + ], + [ + [ + -17431, + -16225 + ] + ], + [ + [ + -23894, + -13450 + ] + ], + [ + [ + -12276, + 17354 + ] + ], + [ + [ + -13001, + 24688 + ] + ], + [ + [ + 17869, + 26322 + ] + ], + [ + [ + -25872, + 31756 + ] + ], + [ + [ + 7468, + 31612 + ] + ], + [ + [ + -9514, + 29687 + ] + ], + [ + [ + 5806, + -28062 + ] + ], + [ + [ + -5891, + -23738 + ] + ] + ], + [ + [ + [ + 28919, + -12815 + ] + ], + [ + [ + -18196, + 3466 + ] + ], + [ + [ + -4905, + -26413 + ] + ], + [ + [ + 20741, + 22662 + ] + ], + [ + [ + 15922, + 7651 + ] + ], + [ + [ + -6386, + 2776 + ] + ], + [ + [ + 1376, + -21935 + ] + ], + [ + [ + -27407, + -16171 + ] + ], + [ + [ + -2993, + -22262 + ] + ], + [ + [ + -25778, + 23064 + ] + ], + [ + [ + -8193, + 5519 + ] + ], + [ + [ + 1574, + 15409 + ] + ], + [ + [ + 15716, + -13368 + ] + ], + [ + [ + 22800, + -8438 + ] + ], + [ + [ + 21968, + -6236 + ] + ], + [ + [ + -25494, + 17040 + ] + ], + [ + [ + -30792, + 17848 + ] + ] + ], + [ + [ + [ + -29940, + -19215 + ] + ], + [ + [ + 6774, + 28936 + ] + ], + [ + [ + -5999, + -24861 + ] + ], + [ + [ + -17505, + 25960 + ] + ], + [ + [ + 14859, + -26189 + ] + ], + [ + [ + -7544, + -15432 + ] + ], + [ + [ + -21114, + 22706 + ] + ], + [ + [ + 7714, + -21005 + ] + ], + [ + [ + 9875, + -5665 + ] + ], + [ + [ + -28740, + -3287 + ] + ], + [ + [ + -20629, + -16695 + ] + ], + [ + [ + 24838, + 13778 + ] + ], + [ + [ + -23981, + 23025 + ] + ], + [ + [ + 4869, + 24548 + ] + ], + [ + [ + 16192, + -10531 + ] + ], + [ + [ + 2285, + 2021 + ] + ], + [ + [ + 14414, + -16489 + ] + ] + ], + [ + [ + [ + -10939, + -16726 + ] + ], + [ + [ + -13360, + -22201 + ] + ], + [ + [ + -30373, + 28837 + ] + ], + [ + [ + -27898, + 25427 + ] + ], + [ + [ + -32567, + 18176 + ] + ], + [ + [ + -11246, + 1157 + ] + ], + [ + [ + -14273, + -616 + ] + ], + [ + [ + -3175, + 1949 + ] + ], + [ + [ + -6994, + 2396 + ] + ], + [ + [ + 21329, + -4289 + ] + ], + [ + [ + -9085, + -24134 + ] + ], + [ + [ + -9194, + -24533 + ] + ], + [ + [ + -20808, + 29638 + ] + ], + [ + [ + -26909, + -1178 + ] + ], + [ + [ + 21908, + 29701 + ] + ], + [ + [ + -23153, + -22048 + ] + ], + [ + [ + -8350, + 3566 + ] + ] + ], + [ + [ + [ + 30133, + -19156 + ] + ], + [ + [ + -21995, + -16176 + ] + ], + [ + [ + 24531, + -30799 + ] + ], + [ + [ + -7856, + -24973 + ] + ], + [ + [ + -22475, + 27318 + ] + ], + [ + [ + -32660, + -11697 + ] + ], + [ + [ + 27225, + 7086 + ] + ], + [ + [ + -28066, + -2293 + ] + ], + [ + [ + 30863, + -6525 + ] + ], + [ + [ + 1876, + 2089 + ] + ], + [ + [ + 10515, + -20498 + ] + ], + [ + [ + 22261, + 32021 + ] + ], + [ + [ + -23426, + 20860 + ] + ], + [ + [ + 20768, + 15834 + ] + ], + [ + [ + -8463, + -2048 + ] + ], + [ + [ + 22230, + -22750 + ] + ], + [ + [ + 21544, + 27568 + ] + ] + ], + [ + [ + [ + 11918, + -10395 + ] + ], + [ + [ + 3876, + -29485 + ] + ], + [ + [ + 28298, + -10329 + ] + ], + [ + [ + -29027, + 19297 + ] + ], + [ + [ + 10325, + 8041 + ] + ], + [ + [ + -29223, + 16438 + ] + ], + [ + [ + 8999, + 19243 + ] + ], + [ + [ + 21451, + -18878 + ] + ], + [ + [ + -18964, + 27773 + ] + ], + [ + [ + 2033, + -4064 + ] + ], + [ + [ + -13946, + 9110 + ] + ], + [ + [ + 16643, + -32617 + ] + ], + [ + [ + 3449, + 32333 + ] + ], + [ + [ + -14376, + -14360 + ] + ], + [ + [ + 24781, + -28701 + ] + ], + [ + [ + -6717, + -2736 + ] + ], + [ + [ + 19521, + -24312 + ] + ] + ], + [ + [ + [ + -4322, + -22786 + ] + ], + [ + [ + 18850, + 8669 + ] + ], + [ + [ + -214, + -7018 + ] + ], + [ + [ + -22730, + 27646 + ] + ], + [ + [ + 9677, + -11852 + ] + ], + [ + [ + -5641, + 14822 + ] + ], + [ + [ + 14389, + -2550 + ] + ], + [ + [ + -12918, + 10482 + ] + ], + [ + [ + 10369, + 6533 + ] + ], + [ + [ + -27994, + -1784 + ] + ], + [ + [ + 7465, + 29495 + ] + ], + [ + [ + 1675, + -10308 + ] + ], + [ + [ + 3656, + -21153 + ] + ], + [ + [ + -26825, + 11671 + ] + ], + [ + [ + 31862, + 22675 + ] + ], + [ + [ + 5482, + -30130 + ] + ], + [ + [ + 31979, + -3301 + ] + ] + ], + [ + [ + [ + -13785, + 25722 + ] + ], + [ + [ + 16148, + 16359 + ] + ], + [ + [ + -14566, + 32231 + ] + ], + [ + [ + -3089, + 2058 + ] + ], + [ + [ + 16446, + 10485 + ] + ], + [ + [ + -21477, + -12945 + ] + ], + [ + [ + -9098, + 29329 + ] + ], + [ + [ + 14057, + -8760 + ] + ], + [ + [ + 15382, + 15631 + ] + ], + [ + [ + -6933, + -6348 + ] + ], + [ + [ + 25840, + 4051 + ] + ], + [ + [ + -22970, + 14403 + ] + ], + [ + [ + 5869, + 585 + ] + ], + [ + [ + 14752, + 26678 + ] + ], + [ + [ + -11113, + -5289 + ] + ], + [ + [ + -20350, + 9638 + ] + ], + [ + [ + -6376, + -10331 + ] + ] + ], + [ + [ + [ + 12879, + -6020 + ] + ], + [ + [ + -2336, + -3929 + ] + ], + [ + [ + -15825, + -24524 + ] + ], + [ + [ + 21445, + -26757 + ] + ], + [ + [ + -11477, + 10976 + ] + ], + [ + [ + -24164, + 10192 + ] + ], + [ + [ + 15274, + 10676 + ] + ], + [ + [ + -12778, + -31473 + ] + ], + [ + [ + 25385, + -11368 + ] + ], + [ + [ + 19988, + -19805 + ] + ], + [ + [ + -22125, + 18228 + ] + ], + [ + [ + 28818, + 23634 + ] + ], + [ + [ + 16465, + -16602 + ] + ], + [ + [ + 27080, + 11000 + ] + ], + [ + [ + -21486, + -24291 + ] + ], + [ + [ + 24324, + -14736 + ] + ], + [ + [ + 17425, + -23682 + ] + ] + ], + [ + [ + [ + -14383, + -14188 + ] + ], + [ + [ + -14346, + 11451 + ] + ], + [ + [ + 27157, + 26891 + ] + ], + [ + [ + 15830, + -19496 + ] + ], + [ + [ + 30184, + 2757 + ] + ], + [ + [ + 3012, + 13198 + ] + ], + [ + [ + 17635, + 29682 + ] + ], + [ + [ + 5398, + 7212 + ] + ], + [ + [ + 16090, + -16050 + ] + ], + [ + [ + -12602, + 8223 + ] + ], + [ + [ + -28566, + -11765 + ] + ], + [ + [ + 14286, + 31203 + ] + ], + [ + [ + 1277, + -6575 + ] + ], + [ + [ + -3908, + 12152 + ] + ], + [ + [ + 2914, + -31246 + ] + ], + [ + [ + 2571, + -6550 + ] + ], + [ + [ + 13159, + 24583 + ] + ] + ], + [ + [ + [ + 30307, + 7223 + ] + ], + [ + [ + -9008, + -3674 + ] + ], + [ + [ + -21204, + 28569 + ] + ], + [ + [ + 22761, + 23198 + ] + ], + [ + [ + -11265, + -11652 + ] + ], + [ + [ + 23371, + 2919 + ] + ], + [ + [ + 13412, + -667 + ] + ], + [ + [ + -3751, + 8664 + ] + ], + [ + [ + 20511, + -10872 + ] + ], + [ + [ + 20260, + -16764 + ] + ], + [ + [ + -6369, + 27044 + ] + ], + [ + [ + 29783, + 27779 + ] + ], + [ + [ + -12056, + 22500 + ] + ], + [ + [ + 28579, + 31339 + ] + ], + [ + [ + -31399, + 16055 + ] + ], + [ + [ + 32554, + 17345 + ] + ], + [ + [ + -17487, + 17209 + ] + ] + ], + [ + [ + [ + -25871, + -1271 + ] + ], + [ + [ + 8272, + -2854 + ] + ], + [ + [ + 13096, + -17025 + ] + ], + [ + [ + 6961, + 9490 + ] + ], + [ + [ + 8768, + -13808 + ] + ], + [ + [ + -12755, + -15873 + ] + ], + [ + [ + -2505, + 5633 + ] + ], + [ + [ + -9009, + -5900 + ] + ], + [ + [ + -13998, + -18426 + ] + ], + [ + [ + 10317, + 20713 + ] + ], + [ + [ + -13717, + 23630 + ] + ], + [ + [ + 4651, + -21778 + ] + ], + [ + [ + -8782, + -32277 + ] + ], + [ + [ + -30201, + -10740 + ] + ], + [ + [ + -2985, + 19497 + ] + ], + [ + [ + -23967, + 22228 + ] + ], + [ + [ + -17399, + -23703 + ] + ] + ], + [ + [ + [ + 13100, + 17978 + ] + ], + [ + [ + 6875, + -25186 + ] + ], + [ + [ + -25209, + -7205 + ] + ], + [ + [ + -3238, + 32676 + ] + ], + [ + [ + -13994, + -20147 + ] + ], + [ + [ + 29222, + -22678 + ] + ], + [ + [ + -31038, + -5060 + ] + ], + [ + [ + -6483, + 7842 + ] + ], + [ + [ + 24755, + 28370 + ] + ], + [ + [ + -13787, + 31511 + ] + ], + [ + [ + 8694, + -28205 + ] + ], + [ + [ + 28734, + -23725 + ] + ], + [ + [ + 5806, + 19053 + ] + ], + [ + [ + -16421, + -15032 + ] + ], + [ + [ + -1562, + 25221 + ] + ], + [ + [ + -18114, + 10712 + ] + ], + [ + [ + -3107, + -25439 + ] + ] + ] + ] + ] +}
\ No newline at end of file diff --git a/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-1.json b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-1.json new file mode 100644 index 000000000..c53e5b5ce --- /dev/null +++ b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/input-1.json @@ -0,0 +1,6875 @@ +{ + "type": "int32", + "data": [ + [ + [ + [ + [ + 13820, + 21792 + ] + ], + [ + [ + 4956, + -21211 + ] + ], + [ + [ + -22563, + -5014 + ] + ], + [ + [ + 420, + 3419 + ] + ], + [ + [ + -16800, + 50 + ] + ], + [ + [ + -13430, + 12200 + ] + ], + [ + [ + 19429, + 10006 + ] + ], + [ + [ + -32687, + 32246 + ] + ], + [ + [ + -31211, + 32730 + ] + ], + [ + [ + -30686, + 1078 + ] + ], + [ + [ + -25824, + -26530 + ] + ], + [ + [ + 12019, + 14931 + ] + ], + [ + [ + -25020, + 31238 + ] + ], + [ + [ + -11767, + -11907 + ] + ], + [ + [ + -13306, + -2543 + ] + ], + [ + [ + -21114, + -4930 + ] + ], + [ + [ + -19007, + -29399 + ] + ] + ], + [ + [ + [ + -8603, + 11289 + ] + ], + [ + [ + 17241, + -9612 + ] + ], + [ + [ + -11551, + 18839 + ] + ], + [ + [ + 11874, + 21765 + ] + ], + [ + [ + 26614, + 21052 + ] + ], + [ + [ + 28605, + -5462 + ] + ], + [ + [ + -6903, + -11696 + ] + ], + [ + [ + -17353, + 16306 + ] + ], + [ + [ + 14054, + 19751 + ] + ], + [ + [ + -21798, + -573 + ] + ], + [ + [ + -18222, + 25757 + ] + ], + [ + [ + -15243, + -23337 + ] + ], + [ + [ + 4578, + 24842 + ] + ], + [ + [ + 27245, + -26471 + ] + ], + [ + [ + -11411, + -22707 + ] + ], + [ + [ + -12592, + 2217 + ] + ], + [ + [ + -14381, + -28344 + ] + ] + ], + [ + [ + [ + 657, + -29308 + ] + ], + [ + [ + -17912, + -32735 + ] + ], + [ + [ + -27079, + -4174 + ] + ], + [ + [ + 22984, + 17997 + ] + ], + [ + [ + -26292, + -30485 + ] + ], + [ + [ + -10612, + 9978 + ] + ], + [ + [ + 16169, + 21176 + ] + ], + [ + [ + -10342, + -21758 + ] + ], + [ + [ + -31042, + -23144 + ] + ], + [ + [ + -28498, + 23645 + ] + ], + [ + [ + -15178, + 21176 + ] + ], + [ + [ + 3483, + 2552 + ] + ], + [ + [ + -2963, + 20919 + ] + ], + [ + [ + -29921, + -26690 + ] + ], + [ + [ + -5021, + -6916 + ] + ], + [ + [ + 2988, + 15584 + ] + ], + [ + [ + 5737, + -15896 + ] + ] + ], + [ + [ + [ + -11319, + 16536 + ] + ], + [ + [ + -19565, + 273 + ] + ], + [ + [ + 2542, + 16401 + ] + ], + [ + [ + 14047, + -2315 + ] + ], + [ + [ + -12507, + -8658 + ] + ], + [ + [ + -5795, + -18404 + ] + ], + [ + [ + 8218, + -19112 + ] + ], + [ + [ + 9743, + 16481 + ] + ], + [ + [ + 30267, + -24976 + ] + ], + [ + [ + 17021, + -27134 + ] + ], + [ + [ + -10667, + -21215 + ] + ], + [ + [ + -22133, + -21277 + ] + ], + [ + [ + -29889, + 21175 + ] + ], + [ + [ + -28762, + -6652 + ] + ], + [ + [ + 13052, + 32138 + ] + ], + [ + [ + 23180, + -23776 + ] + ], + [ + [ + 31964, + 10062 + ] + ] + ], + [ + [ + [ + -21000, + -3361 + ] + ], + [ + [ + 27386, + -7018 + ] + ], + [ + [ + -20734, + 24581 + ] + ], + [ + [ + 29686, + 31168 + ] + ], + [ + [ + 29865, + 24435 + ] + ], + [ + [ + -2983, + -20166 + ] + ], + [ + [ + 7677, + -18298 + ] + ], + [ + [ + -1760, + 10228 + ] + ], + [ + [ + 29267, + -13823 + ] + ], + [ + [ + -16259, + 15382 + ] + ], + [ + [ + -32345, + 4352 + ] + ], + [ + [ + 16116, + 3336 + ] + ], + [ + [ + -7606, + 21531 + ] + ], + [ + [ + -8452, + 13797 + ] + ], + [ + [ + -2351, + -31027 + ] + ], + [ + [ + 1999, + -29527 + ] + ], + [ + [ + 28243, + 6655 + ] + ] + ], + [ + [ + [ + -8387, + -905 + ] + ], + [ + [ + 7810, + -15717 + ] + ], + [ + [ + -13868, + -5331 + ] + ], + [ + [ + -15823, + 16902 + ] + ], + [ + [ + -25965, + 21404 + ] + ], + [ + [ + -9927, + 4012 + ] + ], + [ + [ + -22430, + -7513 + ] + ], + [ + [ + 16685, + -15028 + ] + ], + [ + [ + -24100, + 1436 + ] + ], + [ + [ + -22119, + -12141 + ] + ], + [ + [ + -3247, + 4200 + ] + ], + [ + [ + 9134, + 11577 + ] + ], + [ + [ + 22563, + -28438 + ] + ], + [ + [ + -9023, + -32699 + ] + ], + [ + [ + -32150, + -18857 + ] + ], + [ + [ + 6431, + 25854 + ] + ], + [ + [ + 17926, + 9587 + ] + ] + ], + [ + [ + [ + 18229, + -21499 + ] + ], + [ + [ + 22271, + 25576 + ] + ], + [ + [ + -26539, + -1969 + ] + ], + [ + [ + 21629, + -1567 + ] + ], + [ + [ + 22313, + 28543 + ] + ], + [ + [ + -1661, + -28870 + ] + ], + [ + [ + -10483, + -18667 + ] + ], + [ + [ + -1697, + 5621 + ] + ], + [ + [ + -2366, + -19957 + ] + ], + [ + [ + -13031, + 11765 + ] + ], + [ + [ + -31000, + -18738 + ] + ], + [ + [ + 25712, + -26270 + ] + ], + [ + [ + -5588, + -19204 + ] + ], + [ + [ + -25910, + -5064 + ] + ], + [ + [ + 1405, + -21225 + ] + ], + [ + [ + -27670, + -23941 + ] + ], + [ + [ + 9931, + 23611 + ] + ] + ], + [ + [ + [ + -20953, + -11771 + ] + ], + [ + [ + -10236, + -9126 + ] + ], + [ + [ + -16758, + -29146 + ] + ], + [ + [ + 1648, + -9348 + ] + ], + [ + [ + -10338, + -15414 + ] + ], + [ + [ + 28137, + 7240 + ] + ], + [ + [ + -5329, + -19308 + ] + ], + [ + [ + 19734, + 25451 + ] + ], + [ + [ + -30650, + 28158 + ] + ], + [ + [ + 13069, + -26226 + ] + ], + [ + [ + 16590, + -25730 + ] + ], + [ + [ + -29435, + -25210 + ] + ], + [ + [ + -2633, + 7836 + ] + ], + [ + [ + -6074, + -24775 + ] + ], + [ + [ + -19716, + 23093 + ] + ], + [ + [ + 30318, + 16663 + ] + ], + [ + [ + -25991, + 20958 + ] + ] + ], + [ + [ + [ + 12582, + 1707 + ] + ], + [ + [ + -23381, + 32550 + ] + ], + [ + [ + -3762, + -29873 + ] + ], + [ + [ + -19008, + -6471 + ] + ], + [ + [ + -28684, + -11539 + ] + ], + [ + [ + -2071, + 29402 + ] + ], + [ + [ + -27108, + 5037 + ] + ], + [ + [ + 27247, + 20066 + ] + ], + [ + [ + 27848, + -21605 + ] + ], + [ + [ + 19748, + 31367 + ] + ], + [ + [ + -11402, + -90 + ] + ], + [ + [ + 2021, + -415 + ] + ], + [ + [ + -13777, + 30859 + ] + ], + [ + [ + 29916, + -7817 + ] + ], + [ + [ + 20007, + -6716 + ] + ], + [ + [ + 19320, + 5554 + ] + ], + [ + [ + -1955, + -24376 + ] + ] + ], + [ + [ + [ + 10131, + -11726 + ] + ], + [ + [ + -18556, + -20106 + ] + ], + [ + [ + 31580, + -26000 + ] + ], + [ + [ + 19564, + 23995 + ] + ], + [ + [ + -30733, + 5854 + ] + ], + [ + [ + 5072, + -9263 + ] + ], + [ + [ + 10925, + -5986 + ] + ], + [ + [ + -3953, + -4488 + ] + ], + [ + [ + 19704, + 8726 + ] + ], + [ + [ + -7927, + 27968 + ] + ], + [ + [ + 19795, + 28362 + ] + ], + [ + [ + 15106, + -7112 + ] + ], + [ + [ + 17887, + -11190 + ] + ], + [ + [ + -15013, + -3209 + ] + ], + [ + [ + 30756, + 4452 + ] + ], + [ + [ + -7623, + -2503 + ] + ], + [ + [ + -13683, + 10404 + ] + ] + ], + [ + [ + [ + -9803, + 3565 + ] + ], + [ + [ + -8532, + -11750 + ] + ], + [ + [ + 30817, + -10111 + ] + ], + [ + [ + -28147, + -7957 + ] + ], + [ + [ + 2106, + -26566 + ] + ], + [ + [ + -12735, + -21885 + ] + ], + [ + [ + 42, + 14621 + ] + ], + [ + [ + 30702, + -7269 + ] + ], + [ + [ + 23806, + -18708 + ] + ], + [ + [ + 18382, + 4107 + ] + ], + [ + [ + 16919, + 16747 + ] + ], + [ + [ + 2125, + -15898 + ] + ], + [ + [ + 1716, + 21416 + ] + ], + [ + [ + 30845, + 28016 + ] + ], + [ + [ + -20876, + 6382 + ] + ], + [ + [ + -25914, + 11072 + ] + ], + [ + [ + 32265, + -29323 + ] + ] + ], + [ + [ + [ + 10261, + 29197 + ] + ], + [ + [ + 22753, + -7047 + ] + ], + [ + [ + -25958, + 27780 + ] + ], + [ + [ + 27611, + 5175 + ] + ], + [ + [ + 31384, + -32466 + ] + ], + [ + [ + 7642, + -30243 + ] + ], + [ + [ + 28553, + 11823 + ] + ], + [ + [ + 27094, + 4107 + ] + ], + [ + [ + -27312, + -31030 + ] + ], + [ + [ + -10776, + 15955 + ] + ], + [ + [ + -22870, + 23078 + ] + ], + [ + [ + -17074, + -235 + ] + ], + [ + [ + -19459, + -2245 + ] + ], + [ + [ + -3135, + -32410 + ] + ], + [ + [ + 4444, + 18785 + ] + ], + [ + [ + 28591, + -11095 + ] + ], + [ + [ + 24942, + 24822 + ] + ] + ], + [ + [ + [ + 32006, + -8320 + ] + ], + [ + [ + 22996, + 4264 + ] + ], + [ + [ + -28950, + -15051 + ] + ], + [ + [ + 11275, + -22244 + ] + ], + [ + [ + -4278, + 18016 + ] + ], + [ + [ + -22954, + -224 + ] + ], + [ + [ + -18688, + 2391 + ] + ], + [ + [ + -16993, + 30501 + ] + ], + [ + [ + -27742, + 30381 + ] + ], + [ + [ + 19128, + 23307 + ] + ], + [ + [ + 23036, + -20473 + ] + ], + [ + [ + 28252, + 6178 + ] + ], + [ + [ + 30287, + 24782 + ] + ], + [ + [ + 5217, + -8228 + ] + ], + [ + [ + -25082, + -26142 + ] + ], + [ + [ + -7228, + 20379 + ] + ], + [ + [ + 350, + -1196 + ] + ] + ], + [ + [ + [ + -16748, + 4220 + ] + ], + [ + [ + 9048, + 31597 + ] + ], + [ + [ + 15035, + 7026 + ] + ], + [ + [ + 26874, + -4917 + ] + ], + [ + [ + 28504, + -8521 + ] + ], + [ + [ + -24394, + -5399 + ] + ], + [ + [ + -24330, + -25009 + ] + ], + [ + [ + 24982, + 19316 + ] + ], + [ + [ + -18271, + 22132 + ] + ], + [ + [ + -28253, + -14130 + ] + ], + [ + [ + 13507, + -12859 + ] + ], + [ + [ + 15106, + 24532 + ] + ], + [ + [ + -28439, + -31198 + ] + ], + [ + [ + 28835, + 1340 + ] + ], + [ + [ + 424, + -2381 + ] + ], + [ + [ + -4351, + 12460 + ] + ], + [ + [ + 5226, + -22060 + ] + ] + ], + [ + [ + [ + 8299, + 11031 + ] + ], + [ + [ + -25324, + -8079 + ] + ], + [ + [ + 19038, + 7780 + ] + ], + [ + [ + -23831, + -30141 + ] + ], + [ + [ + 5322, + -2509 + ] + ], + [ + [ + 30215, + 1458 + ] + ], + [ + [ + 28278, + -18722 + ] + ], + [ + [ + -3452, + -23618 + ] + ], + [ + [ + 4864, + -20417 + ] + ], + [ + [ + -508, + -10215 + ] + ], + [ + [ + -20597, + -26424 + ] + ], + [ + [ + 789, + 29315 + ] + ], + [ + [ + -19743, + -6227 + ] + ], + [ + [ + -18049, + 20248 + ] + ], + [ + [ + -5577, + 31091 + ] + ], + [ + [ + -16701, + -27477 + ] + ], + [ + [ + 5408, + 9939 + ] + ] + ], + [ + [ + [ + 32161, + 24340 + ] + ], + [ + [ + 25176, + 8797 + ] + ], + [ + [ + -9188, + -4652 + ] + ], + [ + [ + -24003, + -4517 + ] + ], + [ + [ + -8885, + -30416 + ] + ], + [ + [ + -19369, + 2267 + ] + ], + [ + [ + -8563, + 32344 + ] + ], + [ + [ + -1408, + 30061 + ] + ], + [ + [ + 10532, + -30121 + ] + ], + [ + [ + -19436, + 13487 + ] + ], + [ + [ + 2956, + -12992 + ] + ], + [ + [ + 1447, + 26410 + ] + ], + [ + [ + -7294, + -29812 + ] + ], + [ + [ + -12389, + 28565 + ] + ], + [ + [ + 17155, + 22116 + ] + ], + [ + [ + 26975, + -25068 + ] + ], + [ + [ + -14243, + -28848 + ] + ] + ], + [ + [ + [ + -32458, + 21935 + ] + ], + [ + [ + 28635, + -22561 + ] + ], + [ + [ + 14560, + 2287 + ] + ], + [ + [ + -28232, + 27246 + ] + ], + [ + [ + 24329, + 4420 + ] + ], + [ + [ + 13624, + -6735 + ] + ], + [ + [ + 19191, + -3604 + ] + ], + [ + [ + 32058, + -28632 + ] + ], + [ + [ + -21487, + 30720 + ] + ], + [ + [ + -13843, + -12409 + ] + ], + [ + [ + 19089, + -20358 + ] + ], + [ + [ + 887, + -14022 + ] + ], + [ + [ + -19797, + 30433 + ] + ], + [ + [ + -19668, + -26589 + ] + ], + [ + [ + 11399, + 24071 + ] + ], + [ + [ + -24413, + 13621 + ] + ], + [ + [ + 2673, + 21628 + ] + ] + ], + [ + [ + [ + -24448, + 31188 + ] + ], + [ + [ + 7806, + 22423 + ] + ], + [ + [ + -9047, + 29057 + ] + ], + [ + [ + 8281, + -24450 + ] + ], + [ + [ + 27715, + 19384 + ] + ], + [ + [ + -13095, + 2993 + ] + ], + [ + [ + -7337, + 2850 + ] + ], + [ + [ + 30498, + 26143 + ] + ], + [ + [ + -18643, + 30920 + ] + ], + [ + [ + -4067, + 13424 + ] + ], + [ + [ + 17316, + -1119 + ] + ], + [ + [ + -2841, + -2858 + ] + ], + [ + [ + 23760, + -7449 + ] + ], + [ + [ + -14423, + -9071 + ] + ], + [ + [ + -19997, + -7111 + ] + ], + [ + [ + -25292, + -26886 + ] + ], + [ + [ + 14670, + -27694 + ] + ] + ], + [ + [ + [ + 4469, + 18341 + ] + ], + [ + [ + 14711, + -3535 + ] + ], + [ + [ + -20079, + 28225 + ] + ], + [ + [ + 21965, + 7354 + ] + ], + [ + [ + -27082, + -30463 + ] + ], + [ + [ + -12110, + -22445 + ] + ], + [ + [ + 23616, + -19280 + ] + ], + [ + [ + -14245, + 31177 + ] + ], + [ + [ + 20857, + -18435 + ] + ], + [ + [ + -7633, + 1032 + ] + ], + [ + [ + 10765, + 28585 + ] + ], + [ + [ + 24322, + 31273 + ] + ], + [ + [ + -30105, + -17278 + ] + ], + [ + [ + 4128, + -29550 + ] + ], + [ + [ + -9481, + -22702 + ] + ], + [ + [ + 28371, + -28618 + ] + ], + [ + [ + -23043, + -19981 + ] + ] + ], + [ + [ + [ + -23030, + 4493 + ] + ], + [ + [ + -8891, + 27030 + ] + ], + [ + [ + -15676, + 2439 + ] + ], + [ + [ + 10491, + 8256 + ] + ], + [ + [ + 19423, + -19539 + ] + ], + [ + [ + 488, + 19699 + ] + ], + [ + [ + 23790, + 7719 + ] + ], + [ + [ + 9954, + 23864 + ] + ], + [ + [ + 8183, + 29415 + ] + ], + [ + [ + -24407, + -9968 + ] + ], + [ + [ + -25417, + -26832 + ] + ], + [ + [ + -1839, + -17962 + ] + ], + [ + [ + -6085, + -4074 + ] + ], + [ + [ + 7924, + 29208 + ] + ], + [ + [ + 22897, + -7976 + ] + ], + [ + [ + -11431, + 17745 + ] + ], + [ + [ + -24665, + 2652 + ] + ] + ], + [ + [ + [ + -5046, + -20788 + ] + ], + [ + [ + 7631, + -11749 + ] + ], + [ + [ + -20605, + 10039 + ] + ], + [ + [ + -21352, + 11328 + ] + ], + [ + [ + -22146, + -4276 + ] + ], + [ + [ + 20184, + -17784 + ] + ], + [ + [ + 17539, + 14542 + ] + ], + [ + [ + 26388, + -21701 + ] + ], + [ + [ + 14097, + 28617 + ] + ], + [ + [ + 17237, + -20454 + ] + ], + [ + [ + 21113, + -25736 + ] + ], + [ + [ + 5822, + -155 + ] + ], + [ + [ + 2036, + 1281 + ] + ], + [ + [ + -30706, + 536 + ] + ], + [ + [ + 28622, + -4151 + ] + ], + [ + [ + -14621, + 32428 + ] + ], + [ + [ + -26281, + -900 + ] + ] + ], + [ + [ + [ + 825, + -1446 + ] + ], + [ + [ + 27638, + -5128 + ] + ], + [ + [ + 31018, + -28389 + ] + ], + [ + [ + 15331, + 6092 + ] + ], + [ + [ + -17004, + -17828 + ] + ], + [ + [ + 14396, + 9018 + ] + ], + [ + [ + 7285, + -29437 + ] + ], + [ + [ + 6414, + 31548 + ] + ], + [ + [ + -31633, + -2032 + ] + ], + [ + [ + -369, + 26001 + ] + ], + [ + [ + -14232, + -1602 + ] + ], + [ + [ + 14233, + -28815 + ] + ], + [ + [ + 19732, + 21116 + ] + ], + [ + [ + 14394, + 9711 + ] + ], + [ + [ + 16227, + 18465 + ] + ], + [ + [ + 26436, + -4708 + ] + ], + [ + [ + -2880, + 9039 + ] + ] + ] + ], + [ + [ + [ + [ + -20114, + 23345 + ] + ], + [ + [ + 17728, + 8589 + ] + ], + [ + [ + -12999, + -9983 + ] + ], + [ + [ + -4262, + 10651 + ] + ], + [ + [ + 18221, + 11262 + ] + ], + [ + [ + 28176, + 30185 + ] + ], + [ + [ + 13428, + -8460 + ] + ], + [ + [ + 6492, + -4910 + ] + ], + [ + [ + 8460, + 20455 + ] + ], + [ + [ + -8564, + 377 + ] + ], + [ + [ + -29778, + 15504 + ] + ], + [ + [ + -666, + -2641 + ] + ], + [ + [ + 2125, + -18646 + ] + ], + [ + [ + 6420, + 16069 + ] + ], + [ + [ + -9852, + -24173 + ] + ], + [ + [ + -7417, + -19754 + ] + ], + [ + [ + -8262, + 8311 + ] + ] + ], + [ + [ + [ + -25337, + 16205 + ] + ], + [ + [ + -18048, + 25866 + ] + ], + [ + [ + 15233, + -14904 + ] + ], + [ + [ + 4143, + -25512 + ] + ], + [ + [ + -26232, + 29887 + ] + ], + [ + [ + 19820, + -22648 + ] + ], + [ + [ + -14242, + -19814 + ] + ], + [ + [ + -6871, + -13676 + ] + ], + [ + [ + -11269, + 1926 + ] + ], + [ + [ + -20379, + 25088 + ] + ], + [ + [ + 14919, + 17075 + ] + ], + [ + [ + -21662, + 13641 + ] + ], + [ + [ + 22036, + -21288 + ] + ], + [ + [ + 16467, + -9327 + ] + ], + [ + [ + 18846, + -1416 + ] + ], + [ + [ + 19805, + -23107 + ] + ], + [ + [ + -7270, + -14849 + ] + ] + ], + [ + [ + [ + -16492, + -12562 + ] + ], + [ + [ + -7705, + -24427 + ] + ], + [ + [ + 13571, + 3292 + ] + ], + [ + [ + 21579, + 13436 + ] + ], + [ + [ + -23001, + -28185 + ] + ], + [ + [ + -5059, + -1238 + ] + ], + [ + [ + -17023, + 18494 + ] + ], + [ + [ + 5346, + 16252 + ] + ], + [ + [ + -25624, + 20648 + ] + ], + [ + [ + -19262, + -3393 + ] + ], + [ + [ + -3974, + 21008 + ] + ], + [ + [ + -14625, + -16991 + ] + ], + [ + [ + -10511, + -9122 + ] + ], + [ + [ + -20862, + -21211 + ] + ], + [ + [ + -17607, + -2131 + ] + ], + [ + [ + -10266, + -7074 + ] + ], + [ + [ + 14356, + -16979 + ] + ] + ], + [ + [ + [ + 26862, + 16500 + ] + ], + [ + [ + -21320, + -12200 + ] + ], + [ + [ + -20739, + -14890 + ] + ], + [ + [ + -8815, + -24190 + ] + ], + [ + [ + -31823, + -4010 + ] + ], + [ + [ + 13172, + -12913 + ] + ], + [ + [ + 23622, + -8568 + ] + ], + [ + [ + 26266, + -17302 + ] + ], + [ + [ + 2577, + 17246 + ] + ], + [ + [ + -28899, + 28180 + ] + ], + [ + [ + -8851, + -136 + ] + ], + [ + [ + 8417, + 9371 + ] + ], + [ + [ + -31217, + 24063 + ] + ], + [ + [ + 8100, + 32691 + ] + ], + [ + [ + -1867, + 7439 + ] + ], + [ + [ + -3863, + 25544 + ] + ], + [ + [ + 21783, + 26778 + ] + ] + ], + [ + [ + [ + 280, + 19100 + ] + ], + [ + [ + -9255, + -2561 + ] + ], + [ + [ + 17053, + -27450 + ] + ], + [ + [ + 13794, + -31733 + ] + ], + [ + [ + 5285, + -1495 + ] + ], + [ + [ + -2053, + -373 + ] + ], + [ + [ + -529, + -6072 + ] + ], + [ + [ + -3189, + 4467 + ] + ], + [ + [ + 17266, + 3418 + ] + ], + [ + [ + 9340, + 22060 + ] + ], + [ + [ + 32080, + -25648 + ] + ], + [ + [ + 13954, + -18011 + ] + ], + [ + [ + -19872, + 19202 + ] + ], + [ + [ + -28267, + 22795 + ] + ], + [ + [ + 17730, + 32428 + ] + ], + [ + [ + 11006, + 24439 + ] + ], + [ + [ + -25000, + 25552 + ] + ] + ], + [ + [ + [ + -22261, + -12167 + ] + ], + [ + [ + -24367, + -6445 + ] + ], + [ + [ + 16318, + -15199 + ] + ], + [ + [ + 21115, + 6966 + ] + ], + [ + [ + 8449, + 28757 + ] + ], + [ + [ + -4467, + -10182 + ] + ], + [ + [ + 32411, + 3735 + ] + ], + [ + [ + 7510, + -13350 + ] + ], + [ + [ + -18650, + -21640 + ] + ], + [ + [ + -18117, + -19977 + ] + ], + [ + [ + 16169, + -28971 + ] + ], + [ + [ + 8479, + 29444 + ] + ], + [ + [ + 17403, + -6365 + ] + ], + [ + [ + -28875, + 21896 + ] + ], + [ + [ + -32562, + 11883 + ] + ], + [ + [ + 11203, + -20191 + ] + ], + [ + [ + 15720, + -21269 + ] + ] + ], + [ + [ + [ + -17980, + 20446 + ] + ], + [ + [ + 31400, + -15420 + ] + ], + [ + [ + 27612, + 27085 + ] + ], + [ + [ + 17655, + -23590 + ] + ], + [ + [ + -13146, + 11646 + ] + ], + [ + [ + 32716, + 20609 + ] + ], + [ + [ + -5226, + -17351 + ] + ], + [ + [ + 30168, + -14667 + ] + ], + [ + [ + -10341, + 30442 + ] + ], + [ + [ + 4041, + -15428 + ] + ], + [ + [ + -32418, + -4591 + ] + ], + [ + [ + 31850, + -4423 + ] + ], + [ + [ + 13076, + -16186 + ] + ], + [ + [ + 18062, + 18074 + ] + ], + [ + [ + 7097, + 17815 + ] + ], + [ + [ + 5165, + -7975 + ] + ], + [ + [ + 15589, + 21962 + ] + ] + ], + [ + [ + [ + 22351, + -18804 + ] + ], + [ + [ + 11573, + -32486 + ] + ], + [ + [ + 4718, + 4664 + ] + ], + [ + [ + -8946, + 32379 + ] + ], + [ + [ + 25097, + -30236 + ] + ], + [ + [ + -19082, + -19137 + ] + ], + [ + [ + 26054, + 1239 + ] + ], + [ + [ + 14999, + 20312 + ] + ], + [ + [ + 17538, + -26933 + ] + ], + [ + [ + -23572, + -6866 + ] + ], + [ + [ + -10593, + 16192 + ] + ], + [ + [ + -22529, + -8419 + ] + ], + [ + [ + -17264, + -20393 + ] + ], + [ + [ + -21444, + -19956 + ] + ], + [ + [ + 4218, + -5896 + ] + ], + [ + [ + -4241, + -1349 + ] + ], + [ + [ + 15798, + 23711 + ] + ] + ], + [ + [ + [ + 1732, + 9322 + ] + ], + [ + [ + 15634, + 12478 + ] + ], + [ + [ + -23969, + 31653 + ] + ], + [ + [ + -21967, + -5778 + ] + ], + [ + [ + 10000, + -6334 + ] + ], + [ + [ + -16835, + 27744 + ] + ], + [ + [ + -28081, + -16655 + ] + ], + [ + [ + 32309, + 15061 + ] + ], + [ + [ + -27068, + 16683 + ] + ], + [ + [ + 30769, + -26360 + ] + ], + [ + [ + -5633, + -2082 + ] + ], + [ + [ + -24182, + -19624 + ] + ], + [ + [ + -21381, + -20620 + ] + ], + [ + [ + -6323, + -2371 + ] + ], + [ + [ + -17172, + -13800 + ] + ], + [ + [ + -20170, + 19402 + ] + ], + [ + [ + -18891, + 26712 + ] + ] + ], + [ + [ + [ + 2546, + 19839 + ] + ], + [ + [ + 8938, + -15334 + ] + ], + [ + [ + 6642, + -14803 + ] + ], + [ + [ + -24999, + -16075 + ] + ], + [ + [ + -14704, + -23919 + ] + ], + [ + [ + -31221, + 29084 + ] + ], + [ + [ + 879, + -6420 + ] + ], + [ + [ + 28177, + -18043 + ] + ], + [ + [ + -6366, + 22719 + ] + ], + [ + [ + 8652, + -6607 + ] + ], + [ + [ + -16003, + -30467 + ] + ], + [ + [ + -27194, + -22155 + ] + ], + [ + [ + 18783, + 9125 + ] + ], + [ + [ + -4361, + 18540 + ] + ], + [ + [ + -22232, + -18945 + ] + ], + [ + [ + -7031, + 27354 + ] + ], + [ + [ + 7486, + 23002 + ] + ] + ], + [ + [ + [ + -16505, + 22831 + ] + ], + [ + [ + -28018, + -17848 + ] + ], + [ + [ + 1508, + -29457 + ] + ], + [ + [ + 23479, + 24079 + ] + ], + [ + [ + 2717, + -12728 + ] + ], + [ + [ + -26283, + 7793 + ] + ], + [ + [ + 2468, + 17037 + ] + ], + [ + [ + 6719, + -24361 + ] + ], + [ + [ + -24789, + 18405 + ] + ], + [ + [ + -22347, + 28738 + ] + ], + [ + [ + -25825, + 14966 + ] + ], + [ + [ + 31144, + -3853 + ] + ], + [ + [ + -29052, + 24685 + ] + ], + [ + [ + -20493, + 1799 + ] + ], + [ + [ + 31754, + 16041 + ] + ], + [ + [ + -29733, + 21004 + ] + ], + [ + [ + -22201, + 16341 + ] + ] + ], + [ + [ + [ + 7926, + -13904 + ] + ], + [ + [ + -5007, + -25045 + ] + ], + [ + [ + 31901, + -17149 + ] + ], + [ + [ + -12539, + 188 + ] + ], + [ + [ + 11297, + 345 + ] + ], + [ + [ + 336, + 5416 + ] + ], + [ + [ + 23441, + -6875 + ] + ], + [ + [ + 21766, + 18801 + ] + ], + [ + [ + 30212, + 27076 + ] + ], + [ + [ + 19541, + -16599 + ] + ], + [ + [ + 17976, + 15500 + ] + ], + [ + [ + -13796, + 11663 + ] + ], + [ + [ + -16190, + 1513 + ] + ], + [ + [ + 19447, + -20413 + ] + ], + [ + [ + -10686, + 19348 + ] + ], + [ + [ + -3029, + 30187 + ] + ], + [ + [ + -32247, + 14538 + ] + ] + ], + [ + [ + [ + 20591, + 27384 + ] + ], + [ + [ + -22495, + 31731 + ] + ], + [ + [ + -7060, + -9697 + ] + ], + [ + [ + -9468, + 9058 + ] + ], + [ + [ + 10439, + -1709 + ] + ], + [ + [ + -28113, + 31891 + ] + ], + [ + [ + -18213, + -26621 + ] + ], + [ + [ + 6382, + -5743 + ] + ], + [ + [ + 7573, + 24611 + ] + ], + [ + [ + -26390, + -14153 + ] + ], + [ + [ + 1086, + 18860 + ] + ], + [ + [ + 6595, + -7682 + ] + ], + [ + [ + 7212, + 31455 + ] + ], + [ + [ + -1308, + 25135 + ] + ], + [ + [ + 18347, + -13021 + ] + ], + [ + [ + -16417, + 17707 + ] + ], + [ + [ + -19171, + -10692 + ] + ] + ], + [ + [ + [ + -17342, + 6970 + ] + ], + [ + [ + -13492, + 10386 + ] + ], + [ + [ + 28497, + 21600 + ] + ], + [ + [ + 29357, + -31166 + ] + ], + [ + [ + -2920, + -18340 + ] + ], + [ + [ + 27385, + 13888 + ] + ], + [ + [ + -11782, + 4163 + ] + ], + [ + [ + 6909, + -289 + ] + ], + [ + [ + -1681, + -29150 + ] + ], + [ + [ + -3116, + -9944 + ] + ], + [ + [ + 20856, + 23927 + ] + ], + [ + [ + 16411, + -30744 + ] + ], + [ + [ + 22362, + -6788 + ] + ], + [ + [ + -5481, + 29173 + ] + ], + [ + [ + 24071, + -29434 + ] + ], + [ + [ + -9186, + 16364 + ] + ], + [ + [ + 2545, + -15886 + ] + ] + ], + [ + [ + [ + 1623, + 24026 + ] + ], + [ + [ + -18135, + 16126 + ] + ], + [ + [ + 15385, + 25277 + ] + ], + [ + [ + -13243, + -18618 + ] + ], + [ + [ + 3123, + 2050 + ] + ], + [ + [ + -5929, + 18302 + ] + ], + [ + [ + 19598, + -16666 + ] + ], + [ + [ + 19367, + -17646 + ] + ], + [ + [ + -6054, + -30987 + ] + ], + [ + [ + -10460, + 30049 + ] + ], + [ + [ + -3765, + 13763 + ] + ], + [ + [ + -25695, + 8884 + ] + ], + [ + [ + -8417, + 15990 + ] + ], + [ + [ + 28050, + 2071 + ] + ], + [ + [ + -26030, + -1565 + ] + ], + [ + [ + -24700, + -3308 + ] + ], + [ + [ + -28761, + 9203 + ] + ] + ], + [ + [ + [ + -12423, + -19561 + ] + ], + [ + [ + -31634, + 25431 + ] + ], + [ + [ + 22098, + 20431 + ] + ], + [ + [ + -28958, + -9859 + ] + ], + [ + [ + 30890, + 5151 + ] + ], + [ + [ + -24347, + -23526 + ] + ], + [ + [ + -15525, + 30955 + ] + ], + [ + [ + -21653, + 26403 + ] + ], + [ + [ + 11666, + 27649 + ] + ], + [ + [ + 21365, + -11000 + ] + ], + [ + [ + 21488, + -21684 + ] + ], + [ + [ + -13700, + -18890 + ] + ], + [ + [ + -24041, + -26870 + ] + ], + [ + [ + -20487, + -24897 + ] + ], + [ + [ + -7837, + -28095 + ] + ], + [ + [ + -28753, + 32101 + ] + ], + [ + [ + -27021, + -27915 + ] + ] + ], + [ + [ + [ + -30795, + -24082 + ] + ], + [ + [ + 1829, + 21446 + ] + ], + [ + [ + 15393, + 5258 + ] + ], + [ + [ + -27196, + 17984 + ] + ], + [ + [ + -30327, + 8579 + ] + ], + [ + [ + -5943, + 25046 + ] + ], + [ + [ + -12614, + 9074 + ] + ], + [ + [ + -3933, + 1449 + ] + ], + [ + [ + 28757, + 13942 + ] + ], + [ + [ + -5600, + -3448 + ] + ], + [ + [ + 13406, + -10089 + ] + ], + [ + [ + -21768, + -2120 + ] + ], + [ + [ + -28297, + -21646 + ] + ], + [ + [ + -5197, + 19436 + ] + ], + [ + [ + 18442, + -15683 + ] + ], + [ + [ + -5117, + -22707 + ] + ], + [ + [ + 16727, + -16624 + ] + ] + ], + [ + [ + [ + 19629, + 22417 + ] + ], + [ + [ + 12391, + -11128 + ] + ], + [ + [ + 29681, + 12192 + ] + ], + [ + [ + 9557, + 23357 + ] + ], + [ + [ + 24999, + -27673 + ] + ], + [ + [ + 25005, + 17368 + ] + ], + [ + [ + -19234, + -12605 + ] + ], + [ + [ + 16558, + -18572 + ] + ], + [ + [ + -3119, + 12379 + ] + ], + [ + [ + 9862, + 26856 + ] + ], + [ + [ + -25459, + -13434 + ] + ], + [ + [ + 31777, + 4511 + ] + ], + [ + [ + -16469, + -13774 + ] + ], + [ + [ + -10538, + 3557 + ] + ], + [ + [ + -14121, + 7986 + ] + ], + [ + [ + -3587, + 7230 + ] + ], + [ + [ + -22602, + 8096 + ] + ] + ], + [ + [ + [ + 27835, + -23916 + ] + ], + [ + [ + -11309, + 12683 + ] + ], + [ + [ + 7694, + 11452 + ] + ], + [ + [ + 3903, + 11966 + ] + ], + [ + [ + 7168, + -27914 + ] + ], + [ + [ + 16468, + -3484 + ] + ], + [ + [ + -29397, + -5962 + ] + ], + [ + [ + -4249, + -27086 + ] + ], + [ + [ + 32511, + -18195 + ] + ], + [ + [ + -11099, + -3870 + ] + ], + [ + [ + 21791, + 15919 + ] + ], + [ + [ + 17757, + -17232 + ] + ], + [ + [ + 22638, + 21610 + ] + ], + [ + [ + -2369, + 3001 + ] + ], + [ + [ + -30334, + 17066 + ] + ], + [ + [ + 30207, + -1799 + ] + ], + [ + [ + 2654, + -53 + ] + ] + ], + [ + [ + [ + -27352, + 7845 + ] + ], + [ + [ + 14512, + 28047 + ] + ], + [ + [ + 28166, + -537 + ] + ], + [ + [ + 30079, + 1878 + ] + ], + [ + [ + 9309, + 6684 + ] + ], + [ + [ + 32681, + 15565 + ] + ], + [ + [ + -24904, + -28060 + ] + ], + [ + [ + -5907, + 1028 + ] + ], + [ + [ + 11050, + -1207 + ] + ], + [ + [ + 959, + 27635 + ] + ], + [ + [ + -10822, + -426 + ] + ], + [ + [ + 3760, + -2077 + ] + ], + [ + [ + 30678, + 30290 + ] + ], + [ + [ + 859, + -3240 + ] + ], + [ + [ + 5830, + -20914 + ] + ], + [ + [ + -4851, + -18553 + ] + ], + [ + [ + -23328, + -26530 + ] + ] + ], + [ + [ + [ + 5706, + -32731 + ] + ], + [ + [ + 9579, + -4461 + ] + ], + [ + [ + -8751, + 17645 + ] + ], + [ + [ + 2539, + 15300 + ] + ], + [ + [ + 13728, + -30662 + ] + ], + [ + [ + -18646, + 4586 + ] + ], + [ + [ + 31165, + -22657 + ] + ], + [ + [ + -25851, + 28906 + ] + ], + [ + [ + 30592, + -21800 + ] + ], + [ + [ + -6442, + 8299 + ] + ], + [ + [ + -19974, + -11388 + ] + ], + [ + [ + -6863, + 9277 + ] + ], + [ + [ + -12579, + -5751 + ] + ], + [ + [ + -13790, + 17015 + ] + ], + [ + [ + -22739, + -17651 + ] + ], + [ + [ + -16385, + 26593 + ] + ], + [ + [ + 29129, + 13 + ] + ] + ], + [ + [ + [ + -22519, + 16783 + ] + ], + [ + [ + -519, + 22919 + ] + ], + [ + [ + -9176, + 32691 + ] + ], + [ + [ + 20119, + -18092 + ] + ], + [ + [ + 14781, + -13967 + ] + ], + [ + [ + -9845, + -16356 + ] + ], + [ + [ + 11941, + -15541 + ] + ], + [ + [ + 9096, + 5403 + ] + ], + [ + [ + 16436, + 32343 + ] + ], + [ + [ + -32190, + 32130 + ] + ], + [ + [ + -25602, + 1754 + ] + ], + [ + [ + -10428, + 9111 + ] + ], + [ + [ + 14531, + 23591 + ] + ], + [ + [ + -6424, + 28372 + ] + ], + [ + [ + -11637, + -19408 + ] + ], + [ + [ + -7922, + 1870 + ] + ], + [ + [ + 11020, + 21812 + ] + ] + ] + ], + [ + [ + [ + [ + -18032, + -12898 + ] + ], + [ + [ + 28749, + -3945 + ] + ], + [ + [ + -16937, + 31825 + ] + ], + [ + [ + -3345, + 31788 + ] + ], + [ + [ + 27480, + 26614 + ] + ], + [ + [ + 5363, + 19559 + ] + ], + [ + [ + 30182, + -15131 + ] + ], + [ + [ + -30295, + -11741 + ] + ], + [ + [ + 8971, + 3098 + ] + ], + [ + [ + -27487, + 3983 + ] + ], + [ + [ + -21339, + 360 + ] + ], + [ + [ + 4961, + 8956 + ] + ], + [ + [ + -5731, + -6009 + ] + ], + [ + [ + 11702, + 16329 + ] + ], + [ + [ + 20168, + -10909 + ] + ], + [ + [ + -4976, + -11097 + ] + ], + [ + [ + 1805, + -24431 + ] + ] + ], + [ + [ + [ + -4582, + -20401 + ] + ], + [ + [ + 2123, + 22971 + ] + ], + [ + [ + 31810, + -3521 + ] + ], + [ + [ + -29077, + -17835 + ] + ], + [ + [ + -25899, + 16996 + ] + ], + [ + [ + 31763, + 3537 + ] + ], + [ + [ + -21179, + -31382 + ] + ], + [ + [ + 31201, + -12035 + ] + ], + [ + [ + -25428, + -21169 + ] + ], + [ + [ + -16040, + 10215 + ] + ], + [ + [ + 25675, + -14744 + ] + ], + [ + [ + 12271, + -28512 + ] + ], + [ + [ + -32106, + -29168 + ] + ], + [ + [ + 27730, + 5356 + ] + ], + [ + [ + 19999, + -31345 + ] + ], + [ + [ + -31311, + 22858 + ] + ], + [ + [ + -26044, + -22584 + ] + ] + ], + [ + [ + [ + 1241, + 6983 + ] + ], + [ + [ + -17768, + -3625 + ] + ], + [ + [ + 11460, + -3746 + ] + ], + [ + [ + -7691, + -28063 + ] + ], + [ + [ + -3154, + 19841 + ] + ], + [ + [ + 8307, + 25759 + ] + ], + [ + [ + -24500, + -32047 + ] + ], + [ + [ + 3156, + -21063 + ] + ], + [ + [ + 6159, + 26470 + ] + ], + [ + [ + -10674, + 3243 + ] + ], + [ + [ + 11907, + -22936 + ] + ], + [ + [ + 26042, + -19478 + ] + ], + [ + [ + 20203, + 10484 + ] + ], + [ + [ + -23530, + 14733 + ] + ], + [ + [ + -19892, + 6516 + ] + ], + [ + [ + 30125, + 29697 + ] + ], + [ + [ + 24329, + -390 + ] + ] + ], + [ + [ + [ + 3901, + -13090 + ] + ], + [ + [ + 27587, + -1493 + ] + ], + [ + [ + 17801, + -9197 + ] + ], + [ + [ + 15756, + -18061 + ] + ], + [ + [ + 15322, + -29756 + ] + ], + [ + [ + -25899, + -9686 + ] + ], + [ + [ + -1178, + 13854 + ] + ], + [ + [ + -9238, + -31560 + ] + ], + [ + [ + -11443, + -3986 + ] + ], + [ + [ + 2865, + 9437 + ] + ], + [ + [ + -16538, + 7235 + ] + ], + [ + [ + 8623, + 18130 + ] + ], + [ + [ + 1445, + 20350 + ] + ], + [ + [ + -18245, + 13874 + ] + ], + [ + [ + -29764, + -26032 + ] + ], + [ + [ + 23902, + -1637 + ] + ], + [ + [ + 7919, + 6776 + ] + ] + ], + [ + [ + [ + 12770, + -16675 + ] + ], + [ + [ + -21086, + -29980 + ] + ], + [ + [ + 23905, + -18115 + ] + ], + [ + [ + 4926, + -2957 + ] + ], + [ + [ + -22128, + -5641 + ] + ], + [ + [ + -27316, + -21190 + ] + ], + [ + [ + -23614, + 21260 + ] + ], + [ + [ + 4418, + 27897 + ] + ], + [ + [ + -4196, + -19573 + ] + ], + [ + [ + 7116, + 28152 + ] + ], + [ + [ + 2136, + -31598 + ] + ], + [ + [ + -12870, + 27850 + ] + ], + [ + [ + 1202, + 29617 + ] + ], + [ + [ + 607, + -31979 + ] + ], + [ + [ + 24448, + 17237 + ] + ], + [ + [ + 14106, + 30815 + ] + ], + [ + [ + -19911, + 26601 + ] + ] + ], + [ + [ + [ + -17523, + 30848 + ] + ], + [ + [ + -20223, + 3298 + ] + ], + [ + [ + 18962, + -27646 + ] + ], + [ + [ + -28397, + 22923 + ] + ], + [ + [ + -28808, + 7459 + ] + ], + [ + [ + 28719, + 7519 + ] + ], + [ + [ + -1246, + -5423 + ] + ], + [ + [ + 9054, + 4708 + ] + ], + [ + [ + 115, + -22703 + ] + ], + [ + [ + 10660, + 15713 + ] + ], + [ + [ + 13687, + -27852 + ] + ], + [ + [ + 13296, + 15058 + ] + ], + [ + [ + -20748, + 22870 + ] + ], + [ + [ + 1562, + -1805 + ] + ], + [ + [ + 14597, + 644 + ] + ], + [ + [ + 2932, + -12307 + ] + ], + [ + [ + 28041, + 30766 + ] + ] + ], + [ + [ + [ + -24221, + 15278 + ] + ], + [ + [ + -31239, + -8586 + ] + ], + [ + [ + 30801, + -21312 + ] + ], + [ + [ + -8061, + -18378 + ] + ], + [ + [ + 14956, + -2365 + ] + ], + [ + [ + 6102, + 29004 + ] + ], + [ + [ + 1379, + 15345 + ] + ], + [ + [ + -26352, + -18662 + ] + ], + [ + [ + 29285, + 23564 + ] + ], + [ + [ + 10267, + -7983 + ] + ], + [ + [ + -19674, + 23050 + ] + ], + [ + [ + 18697, + -16928 + ] + ], + [ + [ + 5887, + 7776 + ] + ], + [ + [ + -1477, + 27962 + ] + ], + [ + [ + -24635, + -15867 + ] + ], + [ + [ + -26541, + 12643 + ] + ], + [ + [ + 9437, + 31936 + ] + ] + ], + [ + [ + [ + 2773, + -22899 + ] + ], + [ + [ + -3220, + -26975 + ] + ], + [ + [ + 11200, + 11416 + ] + ], + [ + [ + 23438, + -10504 + ] + ], + [ + [ + -12444, + -28099 + ] + ], + [ + [ + -5561, + -1619 + ] + ], + [ + [ + 16677, + 16631 + ] + ], + [ + [ + -23577, + -14083 + ] + ], + [ + [ + 751, + -10811 + ] + ], + [ + [ + -31094, + 22655 + ] + ], + [ + [ + 15156, + 1315 + ] + ], + [ + [ + -11961, + 22461 + ] + ], + [ + [ + -30456, + -3514 + ] + ], + [ + [ + 19723, + 29686 + ] + ], + [ + [ + -16292, + 9882 + ] + ], + [ + [ + -20337, + -25173 + ] + ], + [ + [ + -9633, + 25237 + ] + ] + ], + [ + [ + [ + 12417, + -704 + ] + ], + [ + [ + -14234, + -23486 + ] + ], + [ + [ + -15024, + -22762 + ] + ], + [ + [ + -20508, + 12290 + ] + ], + [ + [ + -24072, + -29664 + ] + ], + [ + [ + 2774, + -13986 + ] + ], + [ + [ + -2968, + -23607 + ] + ], + [ + [ + -19007, + -3862 + ] + ], + [ + [ + 12453, + -5613 + ] + ], + [ + [ + 2733, + 1433 + ] + ], + [ + [ + -15148, + -14442 + ] + ], + [ + [ + -4868, + -30668 + ] + ], + [ + [ + 12150, + 7496 + ] + ], + [ + [ + -12706, + -8277 + ] + ], + [ + [ + -11227, + 9917 + ] + ], + [ + [ + 17021, + -25647 + ] + ], + [ + [ + -5681, + -31866 + ] + ] + ], + [ + [ + [ + -3130, + -16496 + ] + ], + [ + [ + -10761, + -2848 + ] + ], + [ + [ + -11553, + -6943 + ] + ], + [ + [ + 17352, + 20335 + ] + ], + [ + [ + -32384, + -8007 + ] + ], + [ + [ + 22733, + 1994 + ] + ], + [ + [ + -19315, + 6128 + ] + ], + [ + [ + -23270, + -31338 + ] + ], + [ + [ + 8678, + 991 + ] + ], + [ + [ + 16810, + -10170 + ] + ], + [ + [ + 23218, + -5159 + ] + ], + [ + [ + 15598, + -26196 + ] + ], + [ + [ + -26402, + 18534 + ] + ], + [ + [ + 21888, + 28993 + ] + ], + [ + [ + -11494, + -31309 + ] + ], + [ + [ + 31451, + 6643 + ] + ], + [ + [ + -16573, + 17291 + ] + ] + ], + [ + [ + [ + 26469, + -14103 + ] + ], + [ + [ + 17673, + 18845 + ] + ], + [ + [ + 110, + 8674 + ] + ], + [ + [ + -15105, + 28125 + ] + ], + [ + [ + 31660, + 31523 + ] + ], + [ + [ + 15540, + -29993 + ] + ], + [ + [ + -8752, + -3609 + ] + ], + [ + [ + 30136, + 3079 + ] + ], + [ + [ + 2370, + -23152 + ] + ], + [ + [ + 19249, + -10730 + ] + ], + [ + [ + -26748, + 31958 + ] + ], + [ + [ + -20312, + -31705 + ] + ], + [ + [ + -27667, + -3113 + ] + ], + [ + [ + -26025, + 22456 + ] + ], + [ + [ + 815, + -11541 + ] + ], + [ + [ + -32562, + -1324 + ] + ], + [ + [ + -22853, + 31329 + ] + ] + ], + [ + [ + [ + -13692, + -1647 + ] + ], + [ + [ + -31548, + -24188 + ] + ], + [ + [ + -19171, + -29379 + ] + ], + [ + [ + 14810, + 29190 + ] + ], + [ + [ + 31808, + -15348 + ] + ], + [ + [ + 18923, + 266 + ] + ], + [ + [ + -29763, + -26824 + ] + ], + [ + [ + 3131, + -5004 + ] + ], + [ + [ + -32219, + 28187 + ] + ], + [ + [ + 15095, + 158 + ] + ], + [ + [ + 31915, + 30876 + ] + ], + [ + [ + 31060, + -15805 + ] + ], + [ + [ + 24962, + 297 + ] + ], + [ + [ + 14813, + 23562 + ] + ], + [ + [ + -22065, + -3392 + ] + ], + [ + [ + -24321, + -14452 + ] + ], + [ + [ + -5668, + 23296 + ] + ] + ], + [ + [ + [ + 23767, + -7217 + ] + ], + [ + [ + -11194, + 2013 + ] + ], + [ + [ + 26992, + 31229 + ] + ], + [ + [ + -17907, + -20547 + ] + ], + [ + [ + 13551, + -13016 + ] + ], + [ + [ + -19677, + -30732 + ] + ], + [ + [ + -6344, + -7089 + ] + ], + [ + [ + 4132, + -19649 + ] + ], + [ + [ + 14048, + 11798 + ] + ], + [ + [ + -2468, + -20885 + ] + ], + [ + [ + 455, + 11456 + ] + ], + [ + [ + -8342, + -15501 + ] + ], + [ + [ + 426, + -9489 + ] + ], + [ + [ + -6520, + -9906 + ] + ], + [ + [ + -12881, + 14205 + ] + ], + [ + [ + -2606, + -2195 + ] + ], + [ + [ + 10032, + -9090 + ] + ] + ], + [ + [ + [ + -26147, + 23109 + ] + ], + [ + [ + -29118, + 4715 + ] + ], + [ + [ + -15348, + -18755 + ] + ], + [ + [ + -30019, + 26220 + ] + ], + [ + [ + -4640, + -10313 + ] + ], + [ + [ + 15809, + -30214 + ] + ], + [ + [ + 4230, + -354 + ] + ], + [ + [ + 3502, + -24646 + ] + ], + [ + [ + 29657, + -17140 + ] + ], + [ + [ + 11694, + 16194 + ] + ], + [ + [ + -10225, + -24200 + ] + ], + [ + [ + -13326, + 20115 + ] + ], + [ + [ + 26640, + 28633 + ] + ], + [ + [ + -17937, + 6981 + ] + ], + [ + [ + -22870, + 13786 + ] + ], + [ + [ + -5514, + 13997 + ] + ], + [ + [ + 12132, + 32296 + ] + ] + ], + [ + [ + [ + -745, + -10385 + ] + ], + [ + [ + 1753, + -22096 + ] + ], + [ + [ + -25444, + 1256 + ] + ], + [ + [ + 21325, + 2179 + ] + ], + [ + [ + 18476, + -21109 + ] + ], + [ + [ + -3317, + 7412 + ] + ], + [ + [ + -9983, + -31843 + ] + ], + [ + [ + -27955, + 28027 + ] + ], + [ + [ + 6890, + -15429 + ] + ], + [ + [ + -15807, + -30176 + ] + ], + [ + [ + 29148, + -25674 + ] + ], + [ + [ + 17003, + -17024 + ] + ], + [ + [ + -10773, + -14818 + ] + ], + [ + [ + 21267, + -30618 + ] + ], + [ + [ + -9681, + -14461 + ] + ], + [ + [ + -14880, + -20124 + ] + ], + [ + [ + 27030, + -7955 + ] + ] + ], + [ + [ + [ + -5361, + -7526 + ] + ], + [ + [ + 31471, + -10551 + ] + ], + [ + [ + -10376, + -11278 + ] + ], + [ + [ + -11340, + -26888 + ] + ], + [ + [ + 6833, + -31117 + ] + ], + [ + [ + -17961, + -19523 + ] + ], + [ + [ + -13665, + 16819 + ] + ], + [ + [ + 6520, + 32165 + ] + ], + [ + [ + -9752, + 28083 + ] + ], + [ + [ + -29825, + 276 + ] + ], + [ + [ + 19585, + 2085 + ] + ], + [ + [ + 28397, + -12152 + ] + ], + [ + [ + -30584, + 17952 + ] + ], + [ + [ + -28312, + 17351 + ] + ], + [ + [ + 15297, + 22562 + ] + ], + [ + [ + -1382, + 25919 + ] + ], + [ + [ + -21638, + -4303 + ] + ] + ], + [ + [ + [ + -24784, + 17489 + ] + ], + [ + [ + 14042, + 20080 + ] + ], + [ + [ + 17323, + -12553 + ] + ], + [ + [ + -28308, + 28130 + ] + ], + [ + [ + -471, + -26586 + ] + ], + [ + [ + 27988, + 32392 + ] + ], + [ + [ + -3572, + 17700 + ] + ], + [ + [ + -30390, + -26656 + ] + ], + [ + [ + -14643, + 10238 + ] + ], + [ + [ + -24025, + -30529 + ] + ], + [ + [ + 11060, + 17706 + ] + ], + [ + [ + 15677, + 19609 + ] + ], + [ + [ + 19847, + 6711 + ] + ], + [ + [ + 1272, + 23387 + ] + ], + [ + [ + -9960, + -26354 + ] + ], + [ + [ + 16512, + -14686 + ] + ], + [ + [ + 31382, + -5625 + ] + ] + ], + [ + [ + [ + 23055, + -29986 + ] + ], + [ + [ + 10435, + -3394 + ] + ], + [ + [ + -2451, + -15387 + ] + ], + [ + [ + 30880, + -7030 + ] + ], + [ + [ + 22969, + -4909 + ] + ], + [ + [ + -29605, + 24865 + ] + ], + [ + [ + -20637, + -15051 + ] + ], + [ + [ + 23665, + 25804 + ] + ], + [ + [ + 27312, + -4852 + ] + ], + [ + [ + 16840, + -11285 + ] + ], + [ + [ + 15754, + 164 + ] + ], + [ + [ + -29363, + -5391 + ] + ], + [ + [ + -2116, + -15901 + ] + ], + [ + [ + -8227, + 175 + ] + ], + [ + [ + -29511, + -22820 + ] + ], + [ + [ + 17483, + -9704 + ] + ], + [ + [ + 7103, + 4311 + ] + ] + ], + [ + [ + [ + 3356, + -5675 + ] + ], + [ + [ + -1094, + 21227 + ] + ], + [ + [ + 30477, + -15944 + ] + ], + [ + [ + 11106, + 30786 + ] + ], + [ + [ + -32271, + 18659 + ] + ], + [ + [ + -209, + 30644 + ] + ], + [ + [ + 5129, + 22160 + ] + ], + [ + [ + -21889, + -23456 + ] + ], + [ + [ + 27956, + 1734 + ] + ], + [ + [ + 3823, + -21629 + ] + ], + [ + [ + -17910, + 20855 + ] + ], + [ + [ + -12890, + 5515 + ] + ], + [ + [ + -12024, + -15503 + ] + ], + [ + [ + -21888, + 28154 + ] + ], + [ + [ + 28839, + -25220 + ] + ], + [ + [ + -9618, + 4185 + ] + ], + [ + [ + -7649, + 14486 + ] + ] + ], + [ + [ + [ + -15714, + -28912 + ] + ], + [ + [ + -10687, + 6413 + ] + ], + [ + [ + -20930, + 20702 + ] + ], + [ + [ + -31966, + -28343 + ] + ], + [ + [ + 579, + 802 + ] + ], + [ + [ + -13443, + -15824 + ] + ], + [ + [ + -28193, + 10677 + ] + ], + [ + [ + -7929, + -24991 + ] + ], + [ + [ + -6565, + 28642 + ] + ], + [ + [ + -15648, + 25868 + ] + ], + [ + [ + -15811, + -20580 + ] + ], + [ + [ + -15687, + -11583 + ] + ], + [ + [ + -24864, + 5743 + ] + ], + [ + [ + -10916, + 14290 + ] + ], + [ + [ + -591, + -3759 + ] + ], + [ + [ + -1901, + -22526 + ] + ], + [ + [ + 13951, + -25943 + ] + ] + ], + [ + [ + [ + 14518, + 32752 + ] + ], + [ + [ + 17301, + -2927 + ] + ], + [ + [ + -12159, + 24414 + ] + ], + [ + [ + -15913, + -1156 + ] + ], + [ + [ + 17751, + 27679 + ] + ], + [ + [ + 27587, + -27017 + ] + ], + [ + [ + 26100, + -25296 + ] + ], + [ + [ + 5536, + 28156 + ] + ], + [ + [ + 10145, + 29326 + ] + ], + [ + [ + -10202, + -12143 + ] + ], + [ + [ + -11390, + -9492 + ] + ], + [ + [ + 11980, + -3117 + ] + ], + [ + [ + 15560, + -5495 + ] + ], + [ + [ + -12601, + -20314 + ] + ], + [ + [ + 3346, + 26107 + ] + ], + [ + [ + 23525, + -16168 + ] + ], + [ + [ + -1466, + 13452 + ] + ] + ], + [ + [ + [ + 7367, + -28367 + ] + ], + [ + [ + 5967, + -30229 + ] + ], + [ + [ + -25134, + 10074 + ] + ], + [ + [ + -26048, + -10551 + ] + ], + [ + [ + 5795, + 10188 + ] + ], + [ + [ + -3557, + -26607 + ] + ], + [ + [ + 19602, + 29481 + ] + ], + [ + [ + 25475, + 16286 + ] + ], + [ + [ + -6409, + 24659 + ] + ], + [ + [ + -775, + -23825 + ] + ], + [ + [ + 22973, + -11786 + ] + ], + [ + [ + 28750, + -8629 + ] + ], + [ + [ + 24208, + 2436 + ] + ], + [ + [ + -2137, + -13313 + ] + ], + [ + [ + 22000, + -28795 + ] + ], + [ + [ + -2040, + -8594 + ] + ], + [ + [ + 2843, + -16086 + ] + ] + ] + ] + ] +}
\ No newline at end of file diff --git a/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/test.json b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/test.json new file mode 100644 index 000000000..f0190c1fb --- /dev/null +++ b/operators/control_flow/cond_if_binary/cond_if_binary_3x22x17x1x2_i32_cond0/test.json @@ -0,0 +1,209 @@ +{ + version: { + _major: 0, + _minor: 30, + _patch: 0, + _draft: false + }, + blocks: [ + { + name: "main", + operators: [ + { + op: "CONST", + attribute_type: "NONE", + inputs: [ + + ], + outputs: [ + "const-2" + ] + }, + { + op: "COND_IF", + attribute_type: "CondIfAttribute", + attribute: { + then_branch: "THEN_BLOCK", + else_branch: "ELSE_BLOCK" + }, + inputs: [ + "const-2", + "input-0", + "input-1" + ], + outputs: [ + "result-0" + ] + } + ], + tensors: [ + { + name: "input-0", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "input-1", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "const-2", + shape: [ + + ], + type: "BOOL", + data: [ + 0 + ] + }, + { + name: "result-0", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + } + ], + inputs: [ + "input-0", + "input-1" + ], + outputs: [ + "result-0" + ] + }, + { + name: "THEN_BLOCK", + operators: [ + { + op: "ADD", + attribute_type: "NONE", + inputs: [ + "input-0", + "input-1" + ], + outputs: [ + "result-1" + ] + } + ], + tensors: [ + { + name: "input-0", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "input-1", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "result-1", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + } + ], + inputs: [ + "input-0", + "input-1" + ], + outputs: [ + "result-1" + ] + }, + { + name: "ELSE_BLOCK", + operators: [ + { + op: "SUB", + attribute_type: "NONE", + inputs: [ + "input-0", + "input-1" + ], + outputs: [ + "result-2" + ] + } + ], + tensors: [ + { + name: "input-0", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "input-1", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + }, + { + name: "result-2", + shape: [ + 3, + 22, + 17, + 1, + 2 + ], + type: "INT32" + } + ], + inputs: [ + "input-0", + "input-1" + ], + outputs: [ + "result-2" + ] + } + ] +} |