final commit

src/cosmos_predictions.csv

@@ -0,0 +1,751 @@
+,predictions,permutation
+0,[0 2 3 1 3 3 2 3 2 3 3 2 3 3 0 3],"[4103 3317  523  450 1917 1215 1065 2236 1329 3705 4594 5754 1473 4497
+ 2422 1250]"
+1,[2 2 0 2 3 3 2 2 2 3 3 3 0 0 0 3],"[3749 5955 2599  482  933  880 5522 4156 3031 3910 5036  156 1525 5641
+  878 2477]"
+2,[2 0 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[5667 2315 1736 5978 1555 2674 1388 1794 2000 2836 1358 5885 3696 5130
+ 1328 2255]"
+3,[2 2 3 2 3 2 2 2 2 3 3 3 3 0 0 3],"[3322 1764 5222 2883 2294 2763  732 4039 2792 2060 5456  696   13 4214
+ 3371  268]"
+4,[2 0 3 3 3 2 2 2 2 2 3 3 3 0 0 3],"[4043 3515  240 3225 1005  314 5059 5780 5060   40 3291 1013 2468 5477
+  607 4611]"
+5,[1 2 3 2 3 2 2 2 2 2 3 3 3 0 0 3],"[4887 2821  108  633 4710 5105 4890 4016 4602 4367 5811 2592 4619 2860
+  256 3629]"
+6,[2 2 3 2 3 2 2 2 3 3 3 3 3 0 0 3],"[4463 5400  747 1669 5994 3064 2402 1861 3117 3312 2399  967 4130 2414
+ 2037  151]"
+7,[2 0 3 3 3 2 2 2 3 3 3 3 3 0 0 3],"[5912 2337 1106 5670 2258  440 4352 5854 3702 2472  998 5727  189 2022
+ 4088 4483]"
+8,[0 2 0 1 3 2 2 3 3 2 3 0 3 0 0 3],"[1129 3352 2174 4275 1032  571 3433 1581 4952 1246 3066 3925 4584 1753
+ 1782 3624]"
+9,[2 0 3 2 3 3 0 0 2 2 3 3 3 0 0 2],"[2815 1734 5636 5113 5294  932 2856 2195 4472 3796    2 5491 4112 2421
+ 2920 4094]"
+10,[1 2 3 3 3 3 2 2 2 3 3 3 0 1 0 3],"[5013 4386 4346 2651 2625 2797  554  480 5161 4179 2854 5956 5214 4263
+  785 5770]"
+11,[2 2 3 2 3 3 2 3 2 3 3 3 3 0 0 3],"[3363  862 5899 2332 1666 2268  280  342  839  621 2133 4305 4104 2031
+  961 3333]"
+12,[1 0 0 2 3 2 2 2 2 3 3 3 3 0 0 3],"[ 514 2755 1279 1280 3941  768 4215 2949 1323 5997  414 5559  740 3572
+ 4746 5437]"
+13,[0 2 3 3 3 3 2 2 3 3 3 3 0 0 0 1],"[5622  376 5611 4069  686  569 5281 5017 3774  842  326   44 2381 3144
+ 2810  119]"
+14,[1 2 3 2 3 0 2 2 2 3 3 3 0 0 0 3],"[2040 5496 2518 4035 3072 4726 2353 5101  359  730 2986 2604 1688  955
+ 3206 2172]"
+15,[1 2 3 2 3 3 2 3 3 2 3 3 3 0 0 3],"[5233 1604 3377 2250 4916 3573 5228 5705 4229 4927 1309 2479  173 3466
+ 4743 4657]"
+16,[1 0 3 2 3 3 2 3 2 3 3 3 3 0 0 3],"[3091 1081 3410 1239 3242 2632 1872 3336 4838  553  818 2884 1682 4223
+ 1919 5045]"
+17,[2 2 3 3 3 2 2 0 2 3 3 3 3 0 0 3],"[3320 3129 1854 4064 2996 3583 5367 5425 4261 2055 2519 3473 4134 4506
+ 4089 5415]"
+18,[0 3 3 2 3 2 2 3 3 2 3 3 3 0 0 3],"[5700 4438 5676 2272 2257 4152 2902 5638  546  311  386 1866 2723 2365
+ 3107 2703]"
+19,[0 2 3 2 3 3 2 2 3 2 3 3 3 2 0 1],"[5154 4587 4293 3849 2916 1703 5157 3614 2440 2866 3922 3723  735  165
+  642 4989]"
+20,[2 2 3 3 3 1 2 2 3 3 3 3 3 0 0 3],"[4961 4846 4761 4033 1624 3067 3775 3637 1401 2239 4561 2152 4573 5024
+  681 5353]"
+21,[1 0 3 2 3 3 2 2 2 3 3 3 3 2 0 3],"[5442  562 5484 4034 5482 4654 1843   33 1272 5506 3419 5236 4792 2536
+ 5879 5386]"
+22,[1 2 0 2 3 3 2 2 2 3 3 3 3 3 0 3],"[1730 2943 2566 3089 1016 2368 3097 2952 2508 3987 4044 4173 2050 2695
+ 1798  683]"
+23,[1 2 0 2 3 3 0 2 2 3 3 3 3 0 0 3],"[4495 5747 4759 4977 3701  987 4532 2014 1271  401 5235 2879  454  863
+ 1238 4178]"
+24,[2 3 3 2 3 1 2 3 3 3 3 3 3 0 0 3],"[1090 5798 3012 1800  228 3861 5709  810   81  725 5751 2712 2970 5971
+ 1494 3997]"
+25,[2 2 3 2 3 3 2 2 2 3 3 0 3 0 0 3],"[4323 5643 2112 4427 4086 3442 5977 1382 1054 4053 4733 5229 1633 4493
+ 2631 2551]"
+26,[2 0 0 2 3 3 2 2 0 2 3 3 3 0 0 3],"[4521 2188 5487 3372 2271 3450 2359  921  796 4981 4061 3151 5225  627
+ 2939 1316]"
+27,[1 2 3 2 3 1 2 3 3 3 3 3 3 0 0 1],"[5564 1282 1397 4968 3534  498 3416 1460 4330 2461 3757 1812 5922   87
+ 2980 4074]"
+28,[2 2 0 3 3 2 2 0 2 2 3 3 3 0 0 3],"[ 664 4350  484 1677 2747 1021 4946 2923 5131  940 1533 2012 4436 5907
+ 1737 4614]"
+29,[2 2 3 2 3 2 2 0 0 2 3 3 3 0 0 3],"[3887 4192  950 4647   31 4962 3548 2694 2253 5535 5608  792 5182 2274
+ 3971 4855]"
+30,[2 2 0 2 3 2 2 2 3 3 3 3 0 3 0 3],"[4672 4077 3839  929  145  881 5874  406 4736 1046 5276 5140 3453 5497
+ 1402 4052]"
+31,[2 2 3 3 0 2 0 2 3 2 3 3 3 3 0 3],"[ 864  512  200  669 3904 1431 2295 5831 5633 2770 2340  630 1521  172
+ 1628 5096]"
+32,[1 2 3 2 3 2 0 2 2 3 3 3 0 0 0 3],"[3986 4143 1121 4756 5202  628 2467 4093 1456 5178 3332  418 1939 3237
+ 5450 3270]"
+33,[1 2 3 3 3 3 2 2 3 2 3 3 3 0 0 3],"[3323  494 1126 5712 2193  352 4171 4934 1506 3594  114  638 3350 4721
+ 5985 5160]"
+34,[2 2 0 3 3 3 2 2 2 2 3 3 3 0 0 3],"[3536 2417 5146 2886 4020 3193 1269 4891  789 4383 4553  609  233 4760
+ 2979 4467]"
+35,[2 2 3 3 3 2 0 2 2 3 3 0 0 0 0 3],"[2211 1974  612  566 4203  949 1364  701 5731  690 1610 4433 2431 2901
+ 1979 4120]"
+36,[2 0 0 2 3 3 2 2 2 2 3 3 3 0 0 3],"[2995 2231 5365   58  720 5797 4425 5835 3929  463 3695 2788 2586  866
+ 1615 1617]"
+37,[0 0 3 2 3 3 0 3 2 3 3 3 3 2 0 1],"[ 646 2005 5112 4847 3870  477  715 3615  447 3876 2241 5048 5821 2885
+ 2660 2697]"
+38,[2 3 3 3 0 3 2 2 0 3 3 3 3 0 0 3],"[ 363  375 5382 1214  728 2128 2297 5201 5647  513  371  743 4536 3455
+ 5717 3845]"
+39,[1 0 3 2 3 2 2 3 3 3 3 3 3 0 0 1],"[2808 5067 4673 1838 1626 5516 3589 5138 2229 5472 1859  432 5127  755
+ 1235 2275]"
+40,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[ 952 1741 3329 5903 5454 1560 1950 4900 4843 3324 1619 2443 3693 4451
+ 3342 1107]"
+41,[2 3 3 2 3 2 2 3 3 2 3 3 0 3 3 3],"[1831 2166 5199 4490 1762 4605 3397 2277 3520 4693 3512 3338 1375 5299
+ 4004 4992]"
+42,[1 2 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[3822 1914 1654 4025 5232 3277 2840  708 3893  161 5327 4978 2181 4301
+  993  223]"
+43,[1 2 0 2 3 2 2 3 3 3 3 3 3 0 0 3],"[4601 4193 1799 2803  279  622 1372   30 3296 4065 3667 2733 5575  238
+ 5548 1017]"
+44,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[ 826 4149 1330 1499 1947 5702  858  657 5181 3010 2369 5682 2848 4720
+ 1719 3728]"
+45,[2 0 3 2 3 2 2 2 2 2 3 3 3 0 0 3],"[5218 1729 4355 5851 4845  104 3368  629 5176 1373 3559 2373 4019 3073
+ 4132 5392]"
+46,[2 2 3 2 3 2 2 2 3 2 3 3 3 0 0 3],"[1314 2177 2532 2515 5824 1995 4482  253 2016 2579  344 4799 4789 4055
+ 3674 2105]"
+47,[2 2 0 2 3 3 2 2 3 3 3 3 3 0 0 3],"[3070  710 1416 2121 5718  568 2546 4751 4534 4432 4740 2199 1962 4820
+ 5917 1632]"
+48,[2 2 3 3 3 2 2 2 2 3 3 3 0 3 0 3],"[3976 1873 2657 2202 2142 4514 1216 5999  928 5183 3588 1992 4802 4875
+ 2362 5429]"
+49,[2 0 3 2 0 3 2 2 0 3 3 3 3 0 0 3],"[5786 3886 3946  990 2669 3055 1208  425 5000 5760 1576 1127 1300 4585
+ 2975 4876]"
+50,[2 2 3 1 3 3 2 2 0 2 3 3 3 0 0 3],"[2404 2656 2197 4995  722 4537 4714 4446 2487 2652  325 1505 5740 2897
+ 1497 3081]"
+51,[2 0 0 2 3 3 2 0 1 2 3 3 3 0 0 3],"[ 719 1978 1847   62  129 3740  511 3243 4165 4294 3766 4469 5358 4480
+ 1111 2304]"
+52,[2 0 0 2 3 3 2 2 2 2 3 3 3 0 0 3],"[4643 5283 2328 2089 1501 2603  306  541 2395 4314 5401 1145 5627 5902
+ 3182  248]"
+53,[2 0 3 2 3 2 2 2 2 2 3 3 3 0 0 3],"[3634   35 2911  834 1104 2300 5701 2389  636 1790 2493 2642   66  585
+ 4139 2662]"
+54,[2 2 3 2 3 3 2 2 2 2 3 3 3 3 0 3],"[5282 4752 4212 2990 1417 3477 5037 5049 4375  680 1894  684 2092 1868
+ 1584 1985]"
+55,[2 2 3 2 3 2 2 3 2 2 3 0 3 0 0 3],"[ 691 1570  153  518 3095 5068  343 2179 4971 1819 4583 5426 5243 1637
+ 1564 3122]"
+56,[2 2 3 2 3 0 2 2 2 2 3 3 3 3 0 3],"[4748  576 2442 4790 2555 4164 5065 4831   97   20  937 2407 4836 2127
+ 5394 1339]"
+57,[1 2 3 1 3 3 2 2 1 3 3 3 3 0 0 3],"[4445 4444 4719  107 2382 1490  713 1882 1472 2394 1510  506 2161 4905
+ 5875 2644]"
+58,[0 2 3 3 3 3 2 2 3 3 3 3 0 0 0 1],"[4864  751 1772 5166 3804 5406 5612 3743 4251 2961 2759 3041 4742 1761
+ 1960 3204]"
+59,[2 0 3 2 3 2 2 3 3 2 3 3 3 3 0 1],"[3409 3741 2757 5674  736 1537 5089 4979 4716 5876 2017 2360 3818 2708
+ 2067 5082]"
+60,[1 0 0 2 3 3 2 2 1 2 3 3 3 3 0 1],"[1114 1193 4409 4626  113 2243   90 1333 3983 3268 4544  812  533  889
+ 1694 4568]"
+61,[0 0 3 3 3 3 2 2 3 3 3 3 3 0 0 3],"[4222 2281 3245 3663 3715 3311 1817 3445  986 4782  604 3677 5866 5613
+   36 5083]"
+62,[2 0 3 2 3 1 2 2 2 3 3 3 3 0 0 3],"[5158 2387 5544 4593  429 5837  586  602 2160 2319 4897  890 5004 2405
+  327 1152]"
+63,[1 2 2 2 3 2 2 0 2 3 3 3 3 0 0 1],"[4159 2046 3836 4910 1040 3052 3484  591 5620 3885 4620 3853  416 2494
+  549 2944]"
+64,[2 2 3 2 0 3 2 0 2 3 3 3 3 0 0 3],"[1948 1987  372 4871 2325 4699 2140 5424 1586 4517 1349 5972 2020 2441
+ 4898 5742]"
+65,[1 2 0 2 3 2 2 3 2 3 3 3 3 0 0 3],"[2863 2696 5519 3502 1441 4861 5211 2259 1605  169 3938 1749  428 4618
+ 5391 4932]"
+66,[1 2 0 2 0 3 2 2 3 3 3 3 3 0 0 3],"[2956  787 4455  291 5172 5515 3121  313 3659 4513 1629 4461 3905 2704
+  611 2892]"
+67,[2 0 2 2 3 3 2 0 0 2 3 3 3 0 0 3],"[1060  487 2622 2567 2021 5895 5906 3545 4206 5312 3865 1424  402  252
+ 1415 2444]"
+68,[2 0 3 2 3 0 2 2 2 2 0 0 3 0 0 3],"[ 218 1964 4087 4922 1400 2134  442 4011  203 5536 4001 1789 3006 4158
+ 1971 1410]"
+69,[2 2 3 2 3 0 2 0 2 2 3 3 3 0 0 3],"[2522  138 1862 4950  393 4368 3682 3344 4948 2811 1115 3485  345 5981
+ 4764 2735]"
+70,[2 2 0 3 0 3 2 2 2 3 3 0 3 0 0 1],"[1951 2528  522 3577  917 2686 2464 1579 4270 3408 5859 5545  752 2572
+ 5307  904]"
+71,[1 0 3 2 3 2 1 2 2 1 3 3 3 0 0 3],"[2343  821 1690 3351 1785 4570 1528 4170 1815 2512 2915 5992 2378  109
+ 2930 1834]"
+72,[2 2 3 2 3 3 1 2 2 2 3 3 3 0 0 3],"[5642 2283 5008 1635 2024 2237 4511 2445 5010 1165 2760 2048 2413  534
+ 4267 1311]"
+73,[2 2 3 2 3 3 2 2 1 3 3 3 3 0 0 3],"[ 969 1502 3571 4026 1492   98 5684 5390 5588 3235 5830 2837 3153 5348
+ 2151   89]"
+74,[2 3 3 3 3 3 2 2 2 2 3 0 3 0 0 1],"[2278 1100  456 4175 1768 2767 1925 4554 4804 4519 1197 5625 2835 2691
+  905 4548]"
+75,[1 0 2 2 3 3 2 2 2 3 3 3 0 0 0 3],"[4319 4753  497 3613 4441 2905 2718 4169 3159 5592 2423 4306 3040 3202
+   18 3544]"
+76,[1 2 3 2 3 2 2 2 2 3 3 3 3 2 0 3],"[2514 5256 3192 4575  316  374 4372 4342 5206  915 2267  530 5014 2458
+  663 5063]"
+77,[1 2 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[2447 1940  245 4199 1034 2251 5827 5087 4327 4262 2313 1157 2087 1059
+  637 4562]"
+78,[1 0 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[5566  906 5918 5725  592 4329 2009 2561  879 1890  105 3579  220  802
+ 4737 3810]"
+79,[2 2 3 2 3 3 2 1 3 2 3 3 3 0 0 3],"[3385  215  285 5132 2859 5451 5026 3004 4464 3539 2220 3328 4321 2114
+ 1023 3962]"
+80,[2 2 0 2 3 3 2 2 2 3 3 3 3 0 0 1],"[2088 1332 3798 5609 3435 1740 1342 3767 2035 1326 2844 3387 5864 5710
+ 3807 3269]"
+81,[2 2 3 2 3 3 2 2 2 3 3 0 3 0 0 3],"[1689 1718 1674 1481 3396 4299 3951 1403  753 2495 2183 4219 3215 1110
+ 5467 4974]"
+82,[1 0 0 3 3 1 2 0 3 2 3 3 3 3 0 3],"[4830 5237 5258 5867 4060 1195 3230 3201 3170  476 3670 2597  437  767
+ 4837  925]"
+83,[2 2 0 2 3 2 2 0 2 3 3 0 3 0 0 3],"[2529  697 1343 5509 1754 1277 2658 3755 3496 4045  292 2929 5459 1224
+ 2992 2960]"
+84,[2 2 2 2 3 3 2 2 2 2 3 0 3 0 0 3],"[4590 5521  264  577 2601 4571 5267  897 2072 1621 1990 2918 1846  848
+  578 5251]"
+85,[2 0 3 3 3 3 2 3 2 3 3 3 3 0 0 1],"[2488 4394 1285 4612 5107 5168 3648 3708  589 4586 2001 4859  148 5894
+  277 2456]"
+86,[2 2 0 2 3 3 2 2 2 3 3 3 0 0 0 1],"[1811  716 5023 5381 3401 3825 3190 3995 4563   10 3678 5979 3806 3784
+ 3403 1651]"
+87,[2 2 3 2 3 2 2 2 0 3 3 3 3 0 0 3],"[5221 2511 2430 5790 4388 2113 2227 5669  178 4057 4591  144 5028  647
+  624 3805]"
+88,[0 2 3 2 3 3 0 2 0 3 3 3 0 0 0 3],"[1321 4832 4885  759 2655 5409 3700 4567  784 2030 3742 1284 5457   42
+ 4627 3832]"
+89,[2 0 0 2 0 0 0 2 2 3 3 3 0 0 0 3],"[ 721 2921   57  483  645 3358  357 4788 1262 5075 2617  433 2350 4677
+ 4964 3139]"
+90,[1 2 3 2 3 3 2 3 0 3 3 3 0 2 0 3],"[4907 4288 3558 2661  117 1552  868 2474 1286 2396 4309 1827 4501 1052
+ 4558 3079]"
+91,[2 0 3 3 0 2 2 0 3 3 3 3 3 0 0 3],"[ 504  692  561  886 5150 3782 2218 4155 5473 1684 1118 4430 1886 3327
+ 3975  613]"
+92,[1 2 1 2 3 2 2 3 3 3 3 2 3 0 0 3],"[ 293 5656 5304 4921 4285 5929 1667 4868 2766 1652 3267 1057 5213 5143
+ 2034 2349]"
+93,[0 2 3 2 3 3 2 2 0 2 3 0 3 0 0 3],"[1970 2744  267 5671 1675 5914 3605 3115 5310 5624 5081 5989  790  166
+ 4681  424]"
+94,[2 2 0 2 3 3 2 0 2 3 3 3 3 0 0 1],"[5103 4460 3752 3965 1042 3801 5845 3200 2073 4411 3127 1419  527 4440
+ 3113 5475]"
+95,[2 2 3 2 3 3 2 0 2 0 3 3 3 0 0 3],"[1348 1131 2367 1722   47  916 5529 3895 3398 3821 2150 3874 3510 5295
+ 5435 1769]"
+96,[1 0 3 2 3 3 2 2 2 2 3 3 0 0 0 1],"[2339  850 4426 4406 1994 5990 1474  452 3281 3411 4928  695  270 1117
+  250 3437]"
+97,[0 0 3 2 3 3 2 0 0 2 3 3 3 0 0 3],"[5842 3840 3652  283 3054 4696 5573  415 5292 4925 5116 4291   84 1426
+  508 1513]"
+98,[0 3 3 2 3 2 2 2 3 3 3 3 3 3 0 3],"[1673 5672  593  366 3769 2242 1418 1631 1627 3285 3831 5758 4369 4462
+ 2989 4162]"
+99,[2 0 3 2 3 2 2 2 3 2 3 3 3 0 0 1],"[ 654 3088 4186  781 1138 4227 4645 4079 2489 3150 5349 5356 5628 4899
+ 2846 5230]"
+100,[1 2 3 2 3 3 2 2 2 2 3 3 0 0 0 3],"[1544 4850 4766 4588 3272 5748 1912 2941 5766 5692 4097 2013 5147 2707
+ 1526 5777]"
+101,[1 0 3 2 3 0 2 2 3 3 3 3 3 0 0 3],"[2320 1096 2530 1848  783 5833 3241 4904 3492 5571 1650  776 1225 5175
+ 4912 4138]"
+102,[1 2 3 2 0 3 2 2 2 2 3 3 0 0 0 3],"[ 457 1050   26 1336 4046 2663 3552 4237 4965 3549 1179 4651 1830 1038
+  558  443]"
+103,[2 0 3 2 3 1 2 2 0 1 3 3 0 0 0 3],"[5184 2310 1900  811 1770 4683 4098 5086 5986  945 1068 2148  358  167
+  948  470]"
+104,[1 0 3 2 0 2 2 2 2 2 3 3 3 1 0 3],"[1242 5595  542 3627 4500 2908 4566 4209 5606 4853 1889 1392 2081 2136
+ 5274 3165]"
+105,[2 2 3 3 1 3 2 2 2 3 3 3 3 0 0 1],"[2316  935 1276 2736 1696 5961 3934 3478 2352 4205 3862 2649 1796 5779
+ 3205 3348]"
+106,[2 2 2 2 3 2 0 2 2 3 3 3 3 3 0 1],"[5856  795 1923 4225 4488 4600 4902  804 4147  944 1011 2968 2914 5139
+ 1683 5252]"
+107,[2 0 0 2 3 2 2 2 3 3 3 3 3 0 0 1],"[2293 4473 3632  128 3213  805 4361 2223 3595 2436 1327 5942 2851 5325
+ 3706 3186]"
+108,[2 0 0 2 3 3 2 2 0 3 3 0 3 3 0 3],"[ 601 5370 5072  623  229 4183  575 2054 4154 2729 4787 3103 1423 5968
+ 1009 4848]"
+109,[2 0 3 2 3 2 2 2 2 2 3 3 3 0 0 1],"[3834 5441  580 5002   50 5743 4633 1137 4631 2051 4176   14 5850 3058
+ 4772 1687]"
+110,[2 2 3 1 3 3 2 2 2 3 0 3 3 0 0 3],"[1969 2647 5142 2618 4913  111 3289 2004 1571 1422 3220 1945 3171 5822
+ 3140  225]"
+111,[2 2 3 2 3 2 2 2 2 2 3 3 3 0 0 3],"[1103 1181 1399 1997 5983   95 4770 3744 4880 2326 2507 5261 2814 1865
+ 5021  435]"
+112,[1 2 3 2 3 2 2 0 3 2 3 3 3 0 0 3],"[3388 1469 5115  360 3475 4641 3525 4316 1871  441 1132 2115 5944 1823
+  661 3035]"
+113,[1 3 3 2 3 3 2 3 2 2 3 3 3 0 0 3],"[5737 3181  242 4416 2244 3019 5818  677 5265 2321 1829 2791 4106  798
+ 5820  603]"
+114,[2 2 0 2 3 2 2 2 1 3 3 3 3 0 0 3],"[3924 4552  323 2388 4010  550 3811 2624 5345 3169 1596  656 5852 4755
+ 4028 5838]"
+115,[2 0 0 2 3 2 2 3 3 2 3 3 3 2 0 3],"[2124 1378  149 1845 3940  182 3541 1379 3191 2084 3680 4182 4732 2492
+ 4484 1352]"
+116,[1 2 3 2 3 2 2 3 0 3 3 3 3 0 0 1],"[1807 3176 2433 3809 3768 3488 3689 3039 4157   78 5958 3568 4208 1554
+ 1267 2877]"
+117,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[3232 3866 1206 3112 3850 4257 2832 1386  793  396 3119 1438 5973 1903
+ 4268  100]"
+118,[2 2 3 1 3 3 2 2 3 2 3 3 3 0 0 3],"[ 507  676 3421 2173 2962 2314 5736 5308 4404 2678 3500 5735 1169  679
+ 3890 2951]"
+119,[2 1 3 2 3 3 2 0 0 3 3 3 3 0 0 3],"[4126 1875 5883 3909  685   75  794 4783 3911  199 1212   67 2318 3014
+ 4671 4128]"
+120,[1 2 3 2 3 2 2 3 2 3 3 3 3 0 0 3],"[3697 5050 2531 1966  837 2233  560 3482 1911 5759 3414 3754  884 1641
+  968 4882]"
+121,[1 2 3 2 0 3 2 2 2 2 3 0 0 2 0 3],"[5555 1625 3465 4235 2785  334   43  823 5204  347 2450 1715 2675  631
+ 1196 4454]"
+122,[1 2 3 2 3 2 2 3 0 2 3 3 3 0 0 3],"[3399 2769 1245 2208 4731  122 1447 5617 3132 2627 5290 2732 4310 1739
+ 5722 2484]"
+123,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[4520 2635 5485 4457 1774  409 3530 3373 2256 4581 2549 2498 4867 4244
+ 4780 5387]"
+124,[2 0 0 2 3 3 2 0 2 3 3 3 0 1 0 3],"[2668  947 5626 2855 5190 1710 4821  395 2171 4082 1491 3992 1556 4036
+ 3124 1251]"
+125,[1 2 3 2 3 3 2 2 3 3 3 3 3 0 0 3],"[1030 4707 5423 5492 5062  177 2090  420 1858 4862 2969 5715 1679 2039
+ 5849 1080]"
+126,[2 2 0 3 3 2 2 2 3 3 3 3 3 0 0 1],"[4145 1538 3331  297 4303 5741 3265 5302 5540 3456 5677 5215 2554  855
+  957 5629]"
+127,[2 0 3 2 3 2 2 0 2 3 0 3 3 0 0 3],"[4917 2838 4078  853 5470  579 5264 2715  231 2333  649  382 1480 2641
+ 5657 1439]"
+128,[1 2 0 2 3 0 2 2 2 2 3 3 3 3 0 3],"[2041 4167  869 5590 3928 2047  772  774  412 5543 1249 2303 1221 5569
+ 2506  678]"
+129,[1 2 3 2 3 3 0 0 1 3 3 0 3 3 0 3],"[1274 5896 1816 2143 1577 2357 5542 5269 1535 3100 2953  704 2640 1093
+ 1368 3028]"
+130,[2 2 3 2 3 3 0 2 2 2 3 0 3 0 0 3],"[4692  176  599 3343 5598 3439  934 2978 1467 2282 5114 5165 1671 4606
+  255 3000]"
+131,[2 0 3 2 3 2 0 3 2 3 3 3 0 0 0 3],"[1645 1425 2894 5306 3424 3029 5152 4903 5901 3049 3827 3673  486 5436
+ 1201 1051]"
+132,[1 2 3 2 3 1 2 2 2 3 3 3 3 0 0 3],"[2379    0 5296  532 4623 4224 5364 2889 5446 4135 1024 1661 1784 5893
+ 3252 2938]"
+133,[1 2 3 2 3 3 2 2 2 3 3 3 3 0 0 1],"[2709 3640 1139 1371 2420 3383 4795 1713 3979 3688 1156 4304 5987   85
+ 1437 3249]"
+134,[2 2 0 2 3 3 2 3 3 2 0 0 0 0 0 3],"[5847 1943 5935 1934  152 4776 4148 4377 3713 1325 3815   92 3330 3547
+ 5872 3223]"
+135,[2 3 2 2 3 2 2 0 2 3 3 0 3 3 0 3],"[ 856 4002 5703 2619 3585 2782 2370  383 3760 2880 5678 2463  662 5794
+ 3147 1335]"
+136,[1 3 3 2 3 3 2 2 3 3 3 3 0 0 0 3],"[2687  922 5976  667 5720  278  846  829 4895 2794  632 5090 2342 4779
+    6  411]"
+137,[1 2 3 2 0 1 2 2 2 3 3 3 3 0 0 3],"[2850 5523 3528  134 1516 2351 5129 4778 2500 2578 2459  999 1095 3294
+ 4351 1607]"
+138,[1 2 0 3 0 3 2 2 3 3 3 3 3 3 0 1],"[5582 1814 5728 3027 5836  910 4727 3747 2636 1387 3923 3935 4523 2768
+ 1791 4603]"
+139,[1 2 3 2 3 2 2 2 3 2 3 3 3 0 0 1],"[ 757 4659 3172  247 4403  381 1158 1295 5550 1600 2323 5804 3867 5293
+ 3681 3557]"
+140,[1 2 3 2 3 2 2 2 3 3 3 3 3 0 0 3],"[1244 4870 1705  791 4615 3307  845 3218 3418 4185  346 1082 2591  249
+ 4127 1508]"
+141,[1 2 0 2 0 2 0 2 2 3 3 0 0 0 0 1],"[4380 1541 4249 3920 3162 2974 2802 4027 1408 2998 3676 2874 2740 1558
+  966  958]"
+142,[0 0 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[ 106 5889 4477 1965 2448 2571 4941  606 1229  102 2397 2910   63 1237
+ 5808 5291]"
+143,[1 2 3 3 3 0 0 3 3 3 3 3 3 0 0 3],"[ 833 4599 2839 3658 2620  336 1394 3999  538 1317 5263 4856 2608 3354
+ 4172 1844]"
+144,[2 2 3 3 0 3 2 0 2 3 3 3 3 1 0 3],"[3612 3608 3942 2451 5337 5335 2491 2327 5278 4503  324 5194 4911  908
+ 3179 1442]"
+145,[2 3 3 2 3 3 2 2 3 2 3 3 3 0 0 3],"[ 859 2247 1522 5637 2775 2291 4592 3711  320 3625 2548  874  139 5648
+ 3315 1476]"
+146,[2 2 3 3 3 3 2 2 3 2 3 3 3 0 0 3],"[3816 1566 3783  771  183 4392 3276 2289  610 4622 2977 2184 3422 5708
+ 3177 5653]"
+147,[1 0 3 2 3 3 0 3 3 2 3 3 3 3 3 3],"[2665 5597 4982 5890 5936 5056 5587 4476 4794 1266 2616   27 3101 2690
+ 3431 1810]"
+148,[2 2 3 2 3 3 2 2 2 3 3 3 3 3 3 3],"[5210 3657 4953 3357 1582 4236 2159 5828 5388 3531 1878  473 1897 4339
+ 3829  529]"
+149,[2 0 3 2 3 3 1 3 2 2 3 3 3 0 0 1],"[ 338 2135 2348 3495 4308  639 2830 4287 5576 3400 5962 5984 3334 5531
+ 4290 2363]"
+150,[2 0 3 1 3 2 2 2 2 1 3 3 3 0 0 3],"[5772 3864 5279  187 5216 4525 1496 4189 2614 3590 4545  444  289 3718
+ 3214 4116]"
+151,[1 2 0 3 3 3 2 2 2 3 3 0 3 0 0 0],"[4418 2764 3451 1294 5209 1160 4003 1029 4365 5568 4417 4516 3591 4811
+ 5254 4181]"
+152,[2 2 0 2 3 0 0 3 2 2 3 3 3 3 0 1],"[1852 5071 1509  723   64 3932 4604  367 3074 3244 2418 5616 3057 4105
+  983 3423]"
+153,[2 0 3 2 3 3 2 2 2 2 3 0 3 0 0 3],"[2331 1247 2082 3355  239 2380 1735 2485 5375 2778 4625 5753 2344 4075
+ 2206 5249]"
+154,[0 0 0 2 3 2 2 2 3 3 3 0 0 0 0 3],"[5015 2737 5607 5493 1961 5948 5911 1407 1642 2032 5479 5589  368 4817
+ 5289 5203]"
+155,[1 2 3 3 3 2 2 2 2 3 3 3 3 0 0 3],"[4997 2383 2496 1594 3916 2079 4919 2106  902 3360  706 1037 5941  830
+ 2245 2287]"
+156,[2 2 3 3 3 2 2 3 0 3 3 3 3 0 0 1],"[4650 5602 1395 2680  666  388 5878 3581 4272  702 4690 1412 3921 1806
+ 2306 5323]"
+157,[1 2 3 2 0 3 2 2 2 3 3 3 0 0 0 3],"[  39  209  524 3927 4345 2805 2104 3764 2610 3321  901 3943 1574 4265
+ 5061 4852]"
+158,[2 2 3 2 3 2 2 2 3 3 3 3 3 0 0 3],"[1726  241 2731 2058 4072 4915  158 5092 4800 1172 3053 2971  339 1072
+ 2553 3892]"
+159,[2 3 0 2 3 3 2 3 0 3 3 3 3 0 0 3],"[ 526  540 4191 4884 3576 4685 3778 2721 1863 1539 1466 3952 2582  458
+  509 3790]"
+160,[1 2 3 2 3 3 2 2 1 3 3 3 0 0 0 3],"[1913 1084 2748  379  770 4793 1489 2439  310  594 5439 5982 5969 4344
+ 3114 5397]"
+161,[1 2 3 3 3 2 0 2 2 3 3 3 3 0 0 3],"[1409 1144 2891 4056 1787 3626 4119 4688 2309 4067 1290  170 5898 1094
+ 2988 1374]"
+162,[2 2 3 3 3 3 2 0 3 3 3 0 3 0 0 3],"[3788 4729 1482 1982  436 4250  222 1421 2052  422 4331 5257  221 3374
+ 4180 5136]"
+163,[2 0 3 1 3 3 2 2 2 2 3 3 3 0 0 3],"[1952 4419  312  191 1658  975 4140 1464 4216 3069 3020 3256 3167 1184
+ 4709 3619]"
+164,[1 3 0 2 3 3 2 0 2 2 3 0 3 0 0 3],"[3102 4326 5342 2292 4238 5938  234 4374 5596 3197 1306 4468 5498 2913
+ 1484 5266]"
+165,[1 2 3 2 3 3 2 3 2 2 3 3 0 0 0 3],"[5416 2547 3364   69 2465 2999  970 5750  266  597 5744 2276 2217 3823
+ 1310 3912]"
+166,[1 0 3 3 3 0 2 2 2 3 3 3 3 0 0 3],"[1695 3282 5286 3042 3310 2002   99 3266 3639 3092  197 3824 2562 1707
+ 3441  614]"
+167,[1 0 3 3 3 2 2 1 2 3 3 3 3 0 0 1],"[1899 2375 3898 4998 1014 2490 3516 5433 2057 4560 3781  981   29  870
+  644 3208]"
+168,[2 2 0 3 3 2 2 2 2 2 3 3 0 2 0 3],"[2457  468 2263 2774  136 1542 3008 3582 2499 3346 3972 3318 2334 1561
+ 1219 1724]"
+169,[2 2 3 2 3 2 2 0 2 1 3 3 0 3 0 3],"[1440 5042 2595 2584 1498 5880 2725 5447 1074 2947 2681 4144 5538 2550
+ 3195 4872]"
+170,[0 0 3 2 3 1 0 3 3 3 3 3 3 0 0 3],"[5022  709 4402 1647 4029 1130 1575 3443 5524 4652 2783 3036 4470 5887
+ 1996 5379]"
+171,[1 3 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[ 353 5077 4050 4754 4161 2372 5452  274 3954 1963  184  559 4901 3578
+ 1355 1745]"
+172,[1 0 2 3 3 3 2 2 2 3 3 3 0 0 0 3],"[2305 3533 3123  946 3402 5553 4210 4254 1341 3982 5771 5858 3034  650
+ 3725 1063]"
+173,[1 2 3 2 3 2 2 2 0 2 3 3 0 0 0 1],"[3945 4271 2587  750 1757 5916 2098 4814 4866 5494 5362 1709 4781 2646
+ 5631 5339]"
+174,[1 2 0 2 0 2 2 0 2 3 3 3 3 0 0 0],"[4684 3937 2137 4198 4613 3141 2336 1530 5925 1999 5125  712 2807 1228
+ 2156 3246]"
+175,[2 0 3 3 3 3 1 2 2 3 3 3 3 0 0 3],"[1725 4739 2895 5094 4070 5713 3118  854 1315 5300  900 2819 2776 2711
+ 2934 3491]"
+176,[2 2 3 2 3 1 2 2 3 3 3 3 0 0 0 3],"[1108 2984  769 3002 2780  341 3686 5900 4230 1362 4597 4865 2038 2409
+ 5832 4058]"
+177,[2 0 3 2 3 3 2 3 3 3 3 3 3 0 0 3],"[3899  246 2164 2948 4648 2868 1503  467  588 5499  865 3391 2147 3483
+ 1824 2214]"
+178,[2 0 3 2 3 2 2 3 2 3 3 0 3 0 0 3],"[3194 4220 2867 3685 1620 2809 2075 1495 4842 3284 5764 5322 1173 4522
+ 4194 5315]"
+179,[2 2 3 2 3 3 2 0 3 2 3 3 3 0 0 3],"[   1 4146 5318 1956 5117 3748 2564 1500 1293  155 3063 5041 5974 1123
+ 3003   38]"
+180,[1 2 3 2 3 3 2 0 2 2 3 3 3 3 0 3],"[ 174 2317  943 1808 1056 5756 4434 1079 1109 5148 5789 4529 3362 4266
+ 2643   55]"
+181,[1 0 0 2 3 3 2 2 3 2 3 3 3 0 0 3],"[4334 5242 3337 2925 1270 4040 4540 3687   82 5411 4420 3229 1559 2476
+  112 1981]"
+182,[2 2 0 2 3 2 2 2 2 3 3 3 0 0 0 3],"[1044 1646 3306 1750 4439  960 5960 1231 4565 4200 5857  365 4421  298
+ 4541 4580]"
+183,[0 2 0 3 3 3 2 2 2 3 3 3 3 3 0 1],"[4213 4276  243 5664 1777  857 5537 1616 1975 3366 5933 2888  965 2598
+ 5187 3762]"
+184,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[2630 3143 2701 4715 4131  860 2966 1446 1162 5998 2210 3880 3981 4196
+ 3642 1804]"
+185,[2 3 3 2 3 2 2 2 2 2 3 3 3 0 0 1],"[ 919 5685 5793 5846 3593 3275 4284 5930 4825 5840  977 1765 5016 2059
+ 5253 5966]"
+186,[2 0 3 2 3 2 2 3 3 3 3 3 3 0 0 3],"[3378 5763 1453 4610 3833 3703 5690 3699 1001 1141 1901 4670 1954 1792
+ 2777  746]"
+187,[1 2 3 2 3 2 2 2 2 3 3 3 3 3 0 3],"[ 893  150 5462 1120 4241 3592 4938 5338 2219 4121 3672 3022 3649 1805
+ 4160  528]"
+188,[2 2 0 3 3 1 2 2 2 2 3 0 0 0 0 3],"[ 674 2722 3436 3998 1935 4559 4062  973 2650  471 4349 3736 4286 3566
+  202 1879]"
+189,[2 3 0 2 3 2 0 2 2 3 3 3 3 0 0 3],"[5244 3417 3535 3654 4256 3264  399 5844 1712 5453  992  356 4465 2716
+ 2545 5919]"
+190,[2 0 3 3 3 2 0 2 2 2 3 3 0 3 0 2],"[ 159  939 5192 3948 3467  838 1070 5601 4041 4674 5298  510 1337 2967
+ 5860  475]"
+191,[1 2 3 2 3 2 2 2 2 2 3 3 3 0 0 3],"[4986  953 2878 2377 2648 5380 3646 3157 5331 3105 2190 5352 3247 3509
+ 3772 4335]"
+192,[1 2 0 2 0 3 0 2 3 3 3 0 3 1 0 1],"[2724 4930 5817  407 5586 1347  380 1548  300  658 4510  705 4695 1436
+ 3287 3209]"
+193,[0 2 0 2 3 2 2 3 2 3 3 3 3 0 0 1],"[4722 2818   60 2469 3915 5328 5248 1802  659 4624 5486 4556 3919 2991
+ 3301 4576]"
+194,[1 2 3 3 3 3 2 2 2 2 3 3 3 0 0 3],"[3404 4655 2611 2194 5007  963 5932 1041  137 4697 3996 4939 3758  544
+ 5660 2101]"
+195,[2 2 0 2 3 3 2 2 2 2 3 3 3 3 0 3],"[  94 2717  991  777 2609 5825 4888 4598  302 1240 2155 1587 1813 2213
+ 3188 5273]"
+196,[2 0 0 2 3 3 2 0 3 2 3 3 3 0 0 3],"[1308 3980 2932 4332 1656 3180 4539 4933 4991 4509 4071 4543  531 2018
+ 4700 4502]"
+197,[2 0 3 2 0 2 2 2 0 3 3 3 3 0 0 3],"[5170 3684  337 3888 4068 5869 2080 5683 5198 4582 2254 3745 4459 4638
+ 5504 4734]"
+198,[2 3 0 2 3 3 2 0 3 2 3 3 3 0 0 1],"[1404 1529 1232 5417 4279 1000 1851  101 5796 3026 2517 2425 5350   61
+  590 3653]"
+199,[2 0 3 2 3 3 2 0 2 2 3 0 3 0 0 3],"[4530 5145 5963  648 1655  801 1820 3988 3763 2074  651 2078 2222 5650
+ 3156 4785]"
+200,[2 3 3 3 3 1 2 2 2 3 3 3 3 0 0 3],"[1573 2462 1055 2434 3501 2845 5001 3290 3452 3511  694 1721 4942 3415
+ 5910 3857]"
+201,[1 2 3 2 3 2 2 2 2 3 3 3 0 0 0 3],"[3656 1076 4273 4494 3645 2215 3459 5085 1135 3255 2801 2435 5259 3733
+  259  545]"
+202,[1 0 3 1 3 3 0 2 2 3 3 3 3 0 0 3],"[1097 2945 2410 2478 2354 4844 4030  448 1660 2790 1444 3902 4245 1217
+ 2538 1091]"
+203,[2 2 3 2 0 2 2 3 0 3 3 0 0 0 0 1],"[3308 3106 3259 3726 5418 1075 3025  979 3730 1828 5044 4118 4738 4008
+ 5805 1907]"
+204,[1 2 3 3 3 3 2 2 0 2 3 3 3 0 0 1],"[2094 2613 5541  962  688 5995 5733 4059 2976 1381 5923 1678 3603 1047
+ 2076   21]"
+205,[1 2 3 2 3 2 2 2 2 3 3 3 3 0 0 3],"[3884 5920  340 3553 1478 4204 2899 4551 1033 2366 5913 5814 3299 2825
+ 4312 4435]"
+206,[2 2 3 2 3 1 0 2 2 3 3 3 3 0 0 3],"[3527 3814  520 3873 1430 2973  806 5732 1213 5853 5369 1077 4248  419
+ 4125 2887]"
+207,[2 2 3 3 3 3 2 2 3 2 3 3 3 0 0 3],"[2122 3795 3427 3359 1853 4807 3051 4985 3099   83 2919 1485 1876 1370
+ 1307 3739]"
+208,[2 0 0 2 3 0 2 0 2 3 3 3 3 0 0 1],"[4920 2612 1256 1434 1849 2393 2580 2773 3077  665 1904 2751 3236 3694
+ 3056 4906]"
+209,[2 2 3 2 3 3 2 0 2 2 3 3 3 0 3 3],"[5402 2225 5478 2355 5819  123 3335 4407 2569 5414  766 5104 5196  551
+ 1253 1902]"
+210,[1 2 3 2 3 2 2 2 3 3 3 3 3 3 0 3],"[4400  157 3628 3859 5865 3045 2864 5073 5706 4111 1720 2163   32 3015
+ 3489 3977]"
+211,[1 3 3 2 3 3 0 2 3 1 3 3 3 0 0 1],"[ 849 3016 1259 1930  689 1004 4038 3692 3956  309 5739 1435 4328 1190
+ 2371 3300]"
+212,[0 3 0 1 3 3 2 0 0 3 3 3 0 0 0 3],"[1572 1092 1194 3444  731 5419 1170 1019 1524 5662 4042 1906 3901 5341
+ 3345 5861]"
+213,[2 0 3 3 3 3 2 2 3 2 3 3 3 0 0 3],"[4735 1458 4337 2749 1405  714  775 5810   74  408 4000 4063   16 2132
+ 5343 3446]"
+214,[2 2 3 2 0 3 2 2 3 3 3 3 3 0 0 3],"[1296 4137 2812 4084  563 4471  971 2581 3046 4959 5052 2997 1788  180
+ 2273 1583]"
+215,[2 2 3 3 0 2 2 3 2 3 3 3 3 3 0 3],"[3292 3984 5663 4810 5680  942 3907 5098  485 3096 3933 4616 4896  822
+  275  286]"
+216,[1 3 3 3 3 2 2 2 3 3 3 3 3 0 0 3],"[4730 3261 1143 5937  332 3519 1972 3251 3661 4682 1697 1454 3429 5223
+ 1612 5465]"
+217,[1 2 3 2 3 2 2 2 2 2 0 3 3 0 0 3],"[4124 2286 4110 2796 4422 2068 5787   45 2946 2727 3635 3493  807 3257
+ 3620 5549]"
+218,[1 0 3 3 3 3 2 2 2 3 3 3 3 0 2 3],"[5646 1182 1031 2710 5193 5888  115 3326 3152 2568 4944  693 3882 2504
+ 3800 4348]"
+219,[2 2 0 2 3 3 2 2 2 3 3 0 3 3 0 1],"[2684 2191  308 2798 1883 3863 4313 2754 5689 4839 2497 1727 2585 4642
+ 4381 2108]"
+220,[2 0 0 2 3 2 2 2 2 3 3 3 3 0 0 3],"[1099 5610  410  503 3430 4634  982 3722 3325 2424  564 5277 5357 5730
+ 4546 4662]"
+221,[2 2 0 3 3 3 0 2 2 3 3 3 3 0 0 3],"[ 205 4833 2406 4973 4317 5774 5940 1344 1662 1751 1391 5928 2563 3714
+ 5800 3570]"
+222,[2 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[ 464 5546 1188  931 2957 1523 4393 1209 1706 1377 5408 2234 1743 2285
+  319 3596]"
+223,[2 0 3 3 3 2 2 0 0 3 3 3 0 0 0 1],"[2573 5696 1390 5681 4713 4085 4675 3522  198 5093 5366 5698 5320 1175
+ 2935 1744]"
+224,[2 0 0 2 3 3 2 2 2 2 3 3 3 0 0 3],"[2510 3791 3622 3166 3253 2455 5803 3274 2146 5534 1102 5374 5043 4295
+ 2192 2299]"
+225,[2 2 0 2 3 3 0 2 2 3 3 3 3 0 0 3],"[ 814 5882 2753 5474  976 3978 4994 3604 5784 1630 4447 1959 2828  941
+ 5224 5724]"
+226,[2 0 3 2 3 2 2 2 0 3 3 3 3 3 0 3],"[1779 2849 5159 2596 3083  803 4908 5371 1877 1243 3563 4607 1606 4757
+ 3060 4526]"
+227,[2 0 3 2 3 2 2 2 3 2 3 3 3 0 0 3],"[4725 2570  290 2626 1350 1723 1452 1088   37 1420 1177 4315 3538 3480
+ 1049 4538]"
+228,[1 0 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[ 734 4815 3523 2119 4424 4358 5691  788   52  143 3297 5654 4508 4664
+ 1622 1553]"
+229,[2 2 3 2 3 3 0 2 2 2 3 3 3 0 0 3],"[3305 3759 2664 2745 4397 5407 2653 1254 2170 2189   68 2501 2347 5870
+ 5344 3356]"
+230,[1 0 3 3 3 3 1 2 3 2 3 3 0 0 0 3],"[2726 3280 3248 4017 2056  875 2730 1211 4809  502 2917 5029 4228 5034
+ 4873 4083]"
+231,[1 2 3 3 3 2 2 2 1 3 3 3 3 0 0 3],"[1363 3638  328 3820 1659 5156 3974 1345 2066 3599  208  852 1273 2131
+ 5395 2036]"
+232,[2 2 0 2 3 2 2 2 2 3 3 0 0 0 0 3],"[5461 4937  423 5231 2426 1061 1841 3068  565 4102 1986 4773 1927 4429
+ 1546 5511]"
+233,[2 2 0 2 3 2 2 2 2 3 3 3 3 0 0 3],"[2116 2900 2408  911 1167 1275  892  831 5297  595 5721   17 4037 4666
+ 2428  827]"
+234,[1 0 3 1 3 3 2 2 2 3 3 3 3 0 0 1],"[4686 5791 5507 1668 1487 5031 4669 3458 3838 1891 2903 1895 1973  451
+ 5207  163]"
+235,[2 2 3 2 0 3 2 0 3 3 3 3 0 0 0 3],"[5445 1427 4151  294 4242 5458  196 3043  364  779 3071  495 5600 4829
+   70 4485]"
+236,[2 3 0 3 3 3 2 2 2 2 3 3 3 0 0 3],"[1803 2524  431 4988  445 5311 2890  835 1991 4123  130 2095  417 4133
+ 2069 4528]"
+237,[2 2 3 3 3 3 2 2 2 3 3 3 3 3 0 1],"[3302 1663 5287 3379 5430  303 4177 3314 1593 2503 5686 2606 2639 5761
+ 2419 5336]"
+238,[2 2 0 2 3 2 2 2 3 3 3 3 3 0 0 1],"[5658 3989 5271 1755 4818 2542 2523  536 1887 3871 2466 1043 5996 2356
+ 3207 5040]"
+239,[2 0 3 2 3 3 2 2 3 3 3 3 3 0 0 3],"[4984 2437 4382 3738 4918 5801 2103 3240 3349  179 2937 4954 2125 1693
+  972 5640]"
+240,[2 3 0 2 3 3 2 2 3 3 3 0 3 0 3 3],"[3698 2398 4823  926 5802 4835  373 5332 5144 3233 3908 1367 4577 5697
+  912  354]"
+241,[1 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[1699 4877 1064 2262 5939 4190 2824 5655 2719 2023 1191 5118  671 5123
+ 1463 3897]"
+242,[2 2 0 2 3 3 2 2 2 3 3 3 0 2 0 3],"[1020 2198 4166  211   46 3198 5347 3254 4395 3278  492 4499 3847 3298
+ 5745 1428]"
+243,[2 0 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[3111 1534  496 2955 2602  127 3050 1976 4322  389 4889 2800 3575 3168
+ 2817 3660]"
+244,[2 2 3 2 3 3 2 2 2 3 0 3 3 3 0 3],"[2483  717 1433 5064 3994 5288 2994 4340 5489 5420 3128 3382 5574 1708
+ 3370 3211]"
+245,[0 2 2 2 3 3 2 2 2 2 3 3 3 3 0 3],"[ 557 1369 1928  978 3973  980 2077 5376 5481 5563 2026 5834 2600 2516
+ 2876 3420]"
+246,[2 0 0 2 3 1 2 2 2 3 3 3 3 0 0 3],"[5572 2270 3606 2693 3341 4414 4718 1860 1265 4808 3846 5862 5884  288
+ 2139 4031]"
+247,[1 2 3 1 0 3 2 2 2 3 3 3 3 0 0 3],"[5197 4091 3164  619 2799 1083 3135 3650 5547 5868 4505 1255 5520 5738
+ 1263 5614]"
+248,[2 0 3 2 3 3 2 3 3 3 3 3 3 0 0 2],"[ 488 3756 3881 4706 2280 5924 5500 3799 4302 3917  377 1450 4150 5141
+  573 2762]"
+249,[1 3 0 2 3 2 2 2 2 3 3 3 3 0 0 3],"[1562  641 2238 4816 5240 3032 4081 3108 3263  232  361 2540  670 4076
+ 4283 1148]"
+250,[2 0 3 2 3 3 2 3 2 3 3 3 3 0 0 3],"[3555 1486 5556 1892 5934 4869 2324 4195  226  782 2928 5841 4354 4012
+ 3380 2677]"
+251,[2 0 3 2 0 2 2 2 3 3 3 3 3 0 0 1],"[2588 5185 4769 1199 5151 5070 4878 4617 3931 2453 5788 3556  258 4387
+ 2746 1665]"
+252,[1 2 3 2 3 3 2 3 3 2 3 3 3 0 0 3],"[5630  655 4115 2543  841 5247 5560 3939 1226 3217 1809 1236 1010 1150
+ 4786  844]"
+253,[1 0 3 3 3 3 2 3 3 3 3 3 3 0 0 3],"[5239  816 4777 1597 4428 1672 1008 4073 1268 3914  185  491  885 3017
+ 3961 1639]"
+254,[1 2 0 2 3 3 2 2 2 3 3 3 3 0 0 3],"[1429 2358 3304 3447 3457 5644 5954 5483 3109 4264 4297 2539 4564 3851
+ 4762 5816]"
+255,[1 2 3 3 3 3 2 2 0 2 3 3 3 0 0 1],"[1842 3601 4851 3365 4318 2983  640 4936 1568 2432 2734 3817 4924 4356
+ 5605 1527]"
+256,[2 0 3 2 0 2 2 3 2 3 3 3 3 0 0 3],"[5533 5384 5518  160 1850 5405 5512 3878 2475 1260 1299 1018 1832 5262
+  335 4857]"
+257,[0 2 3 2 3 2 2 2 0 3 3 3 0 0 0 3],"[3808 1839  988 4015 1691  318 5792  899 2906 3734 2574 2933 2843 3826
+ 3468  876]"
+258,[2 2 0 2 3 2 2 2 1 3 3 3 0 0 0 3],"[5346   19  188 1351  711 2509 1926 5455 1448 4956 2950 5799 3438  552
+ 4767 1354]"
+259,[1 0 3 2 3 3 2 2 0 2 3 3 3 0 0 1],"[5403  762 4914 2875 5396 1507 2820   54 4481 2279 5066 1640 5567 3309
+ 2149  394]"
+260,[2 3 3 2 3 2 2 2 2 3 3 3 3 0 0 1],"[3610 5033 1758 3580 1493 5422 5227 4109  797 3894 2390 5005 3080 2882
+ 1514 4935]"
+261,[2 2 3 2 3 3 2 2 2 2 3 0 3 2 0 1],"[2739 2958  996 1223 2898 3877 4639 1910 5219 4879 2834 5109 5480 3005
+  413  430]"
+262,[2 2 3 1 3 3 2 2 1 3 3 3 3 1 0 3],"[1340  446 4578 4401 5164  724 3771 4723 5363  349 4909 2053 2427 5552
+ 1414 1261]"
+263,[1 2 3 2 3 2 2 3 3 3 3 3 3 0 0 3],"[1338  582  384    8 5551  505 4452 4478 4274 5069 4678 1053 1292 4827
+ 3918  453]"
+264,[1 2 3 2 3 3 2 2 3 3 3 3 3 0 0 3],"[2180  263 3082 1089 2006  907 1933 3675 2260  877 3777 3900 3146 2927
+ 5806  556]"
+265,[1 2 3 1 3 3 2 2 2 3 3 3 0 3 0 1],"[1146  214  461 4574 2556 4701 4412 2361 5707 1998 2230 3392 3131 4054
+ 1989 3843]"
+266,[2 3 3 2 3 3 0 3 2 3 3 3 3 0 0 3],"[4589  605  703 1543 1318 5877 3384 5460 4886 1540 3098  351 2454 1187
+  296 1133]"
+267,[2 2 3 2 3 3 0 3 2 3 3 3 3 0 0 3],"[ 466 1591 5517 4635 5554  615 1733  587 5505 2296 2964 5812 5270 4803
+  634 4108]"
+268,[1 0 3 2 3 2 2 2 2 3 3 3 0 2 0 3],"[5873 5469 5149  687 1738 5038 2391 3286 3187 3203  460 1716 1380 4656
+  210 5305]"
+269,[2 0 2 2 3 3 0 3 2 3 3 3 3 0 0 3],"[5775 3587 3434 1601 3957 5119  918  763 1983 2111 4307  808 5027 1773
+ 4359  405]"
+270,[2 2 3 2 3 1 2 2 2 3 3 3 3 0 0 2],"[5980 2029 5699 4398 2010 4637 3574 1953 5773 5704 4489 5427  761 2728
+ 4771 3517]"
+271,[1 2 3 2 3 3 2 2 3 3 3 3 0 3 0 1],"[ 598 1936 5639 2374 3773 2341 1567 2364 3219 4996  738 2158  515 1305
+ 5220 4211]"
+272,[2 0 3 1 3 3 2 2 2 3 3 3 0 0 0 3],"[3007 5074 1227  742 2544 3636 3926 5039 1780  175 1728 3936  168 1731
+ 4980 2178]"
+273,[2 2 3 2 3 3 2 3 2 3 3 3 3 0 3 1],"[5155  984 3955 4629 1112 2931 5947 4051 3896 3231 1551 3607 1590 1748
+ 3770 1122]"
+274,[2 2 3 3 3 2 2 3 1 3 3 3 3 0 0 3],"[ 219  287 4129 1470 2102 4389  164 3463 5679 1742 1760 2470 5991  299
+ 2965 1545]"
+275,[2 0 3 2 0 2 2 2 2 3 3 3 3 0 0 3],"[2679 5539 2109 3621  207 1958  927 2857 3966 3712 3651 4379 3340 5829
+ 2786  333]"
+276,[1 2 3 2 3 2 2 2 2 3 3 3 3 3 0 3],"[3841 1331 1835  284 5319 5488 5809 5495 1281 2482 4630 2714 1602 4854
+ 1929  924]"
+277,[2 2 3 3 3 2 2 2 2 3 3 3 3 0 0 3],"[1614 2141 2590 3641 3393 4202 2853  186 4689 2070 2165 4768 5993 3234
+ 4608  726]"
+278,[2 2 0 2 3 3 2 0 3 3 3 3 3 3 0 3],"[ 489  392 3130 1818 2793 5250 1549 2196 4336  555 3303 3076 5091 4437
+ 1941 3021]"
+279,[1 3 3 2 3 3 2 2 3 3 3 3 3 0 0 3],"[1027 4096   48 5953 2185 3727 5795  317 4114 4649 1039 5047 5959  478
+ 4967 3030]"
+280,[2 2 3 2 3 3 0 2 2 3 3 3 3 0 0 3],"[1483  131 2558 4557 1389 2011 2144 3618 5510 4955 5080 1186 5020 4240
+ 3569 5749]"
+281,[1 2 0 2 0 3 2 2 2 3 3 0 3 3 0 3],"[1178  116 5268 3226  570 3991  891 1763 3529 2329 3155 2873 1855  567
+ 1909 3969]"
+282,[2 0 3 2 3 2 2 2 2 3 3 3 3 0 0 1],"[1980  543 5618 5314 4797 5272 1732 1685 1411 5719 5757  547 2981 2099
+ 5326 4113]"
+283,[2 2 3 2 3 3 2 2 3 2 3 0 3 0 0 3],"[ 913 2593 3313 1881 5785 4708 5532 2623 2096 4107 2560 1198 1648 2985
+  301 3737]"
+284,[2 2 0 2 3 3 2 2 3 3 3 3 3 3 0 2],"[1098 5558 3958 5212 4572  535 2673 4449 4993 2187 4691 4744 3136 2311
+ 3546 2742]"
+285,[2 2 0 2 3 2 2 0 2 3 3 3 3 0 0 1],"[2062 4542 1786 2130 3047 4533 3184 3472 4975 5711 3724 5943  387 2779
+ 4621 2502]"
+286,[2 2 3 2 3 2 2 2 2 3 3 0 3 0 0 3],"[1778 5668 2535  765 2200   41 4298  281 2683   91 3075 4163 2594 5621
+ 2308 1015]"
+287,[2 0 3 2 3 3 2 2 2 2 3 3 3 3 0 1],"[3142 2400 5514  126 1536  260 1638 2645  121 1701 3196 3454 3514 2249
+ 2987 1759]"
+288,[1 3 0 3 3 1 2 3 3 2 3 3 3 0 0 3],"[4806 5716 2671 1159 3633 5583 4247 2027 2376  472 3903 3507 3848 1822
+ 1767 4646]"
+289,[2 0 3 2 0 2 2 0 2 2 3 3 3 3 0 3],"[5180   73 4013 1613 3562 4100 1896 5926  537  516 3735 4636 4547 5012
+ 3173 1036]"
+290,[0 2 3 2 3 3 2 2 2 3 3 3 3 2 0 3],"[ 438 5570 3347  427 5173 3369  800 3413 2228  882 1161 5051 5815  903
+  304 5632]"
+291,[2 0 3 2 0 3 2 0 2 3 3 3 3 3 0 3],"[ 914 3537 4385 3125 3406  490 3432 2120  756 5226 2520 5807  421 3683
+    5 5659]"
+292,[1 2 3 3 3 2 2 2 3 3 3 3 3 0 0 3],"[ 273 1319 2607 1119 2761 5508 2288  699 5372    3  355 1698  825  938
+ 2963 2688]"
+293,[2 0 3 3 3 2 2 3 3 2 3 3 0 0 0 3],"[5776 2403 4260 3210 3765 2126 5468 1984 4168 4531 3797  964 3854  909
+ 4705  643]"
+294,[2 2 3 2 3 3 2 3 3 3 3 3 3 0 0 1],"[1136 3474 4347 5513 2235 4969 1163 2589 2085   25 1836  780 3960  474
+  391 3425]"
+295,[2 0 3 1 3 3 2 3 2 3 3 3 3 0 0 3],"[2822 2264 1874 4391 1398 3470  135 2203 5316  378 5377 5471 2167 5188
+ 3175 1692]"
+296,[0 0 3 2 3 3 2 2 3 2 3 0 0 3 0 3],"[3662  154 3018 3178  481 2162 4951 2893 1218 2699 3963  898 1771 1202
+ 2335 4741]"
+297,[0 2 3 2 3 3 2 3 3 3 3 3 3 0 0 3],"[2750 1598 4863 2110 2471  244 5950 3564 5957  254 2829 4765 5673 1592
+ 1880  668]"
+298,[2 2 3 2 3 3 2 3 2 3 3 3 3 0 0 3],"[4410  974 2481  235 1360 1946 1066 3666 4243 5025 3792 1608 3789 3664
+ 1301  994]"
+299,[2 0 3 2 3 2 2 2 3 3 3 3 3 2 0 3],"[ 330 1022 5135 3532 2804 2795 4362 3709 1932 5580 4504 5562  216 1747
+ 2565 5463]"
+300,[1 2 0 2 3 3 0 2 2 3 3 3 0 0 0 3],"[2513  224 3149 3776 3319 3647  362 4812  539 2045 4234 2019  455 5058
+ 5174 5309]"
+301,[1 2 3 3 3 3 2 2 2 3 3 3 3 0 0 3],"[ 305 2071 5313 2629 3560 2415 3490 1766 4378  584 3611 5095 1864 4456
+ 2224 5333]"
+302,[2 3 3 2 3 2 2 2 3 3 3 3 3 0 0 3],"[2942  871 4201 3889 1837 4801 5321 3819 2384 1949 5434 2138 5464 4796
+ 1922 4491]"
+303,[1 0 0 2 3 3 2 3 2 3 3 3 3 0 0 1],"[5714 2940 2752  954  574 1885 4066 5651 3813  894 4239 5527 4791 5526
+  315 4960]"
+304,[1 3 3 2 3 3 2 3 3 3 3 3 3 0 0 3],"[4300  608 4945 5108 3134 5781 3944 1977 5171 1775 5354 2685 3630 1312
+ 4749 1653]"
+305,[2 2 0 3 3 3 0 2 2 2 3 3 3 3 0 1],"[2226 3631 1128 1298 4679 5099  204 5102 4408 5398 4048 3669  744 5501
+ 3389 2605]"
+306,[1 3 3 2 3 2 0 2 3 3 3 3 3 0 0 3],"[ 985  181 5952 1479 1916  462 1519 3550 2266 1432 5097 4983 3110  195
+ 1067 1073]"
+307,[2 3 3 3 3 3 0 3 2 3 3 3 0 0 0 1],"[3554  262 3785 4687 3609 3216 3448  449 1888 5133 2416 4535 2044 2123
+ 1222 2025]"
+308,[2 2 0 2 3 3 2 3 2 2 3 3 0 0 0 3],"[3228 2826 1680 4253 1125  748 3498 5619 3561 2042  583 3513   86 2429
+ 5528 4006]"
+309,[2 2 3 2 3 3 2 2 0 3 3 3 3 0 0 1],"[5839 2065 2284 2841  385 5581 3855 2043 1396 1200  920 1153  400  434
+ 2176  212]"
+310,[2 2 3 2 3 3 2 0 2 3 3 3 3 0 0 3],"[2659 3390  162 4458 1942 4049 3104 1988 2881 1793 5604 1147 2007 4390
+ 3883 4849]"
+311,[2 2 3 2 3 2 2 3 2 1 3 3 0 0 0 3],"[ 110  700 5440 5908 4370 4527 3394 1589 5100 3891 1176 3065  193 4943
+ 5762 2330]"
+312,[0 0 3 1 3 2 2 2 3 3 3 3 3 0 0 1],"[1062 5615 2705 1580 2033 1149 4376 1717 2689 5591 5734 3293 3339 5688
+ 4661  217]"
+313,[1 0 0 2 3 3 2 2 2 2 3 3 3 0 0 3],"[2831 3753 2240 2392 1781 1826  147 5019 1142 3120  773 2015 4047  739
+ 5053 3499]"
+314,[2 0 0 2 3 2 2 2 2 3 3 3 3 0 0 3],"[ 459 1334 5892  923 3090 3460 1893 2787  439 3868 2615  350 4207 5594
+ 3078 1704]"
+315,[2 2 0 1 3 2 2 2 2 3 3 3 3 0 0 3],"[2049  257 3949 4282 5124 4668 4644 1833 2452  141  896 4658 5200 1383
+ 3238  754]"
+316,[1 0 3 2 3 3 2 0 3 3 3 0 3 0 0 3],"[ 213 3518 5634 3719 2248 5234 3085  682 4280 5525 3842 4496  820 3780
+ 1302  672]"
+317,[2 2 0 2 3 3 2 2 3 3 3 3 3 0 0 3],"[4929 3227 4860 2534 5768 1210 3679 5079 2003 5915 1278 4841 3279 4609
+ 4153 1756]"
+318,[2 2 0 2 3 2 2 3 3 3 3 3 0 0 0 3],"[4702 1183 3950 1241 2401 2633 4524 4221 1795 3367 2232 1155 4947  867
+ 3985 3879]"
+319,[2 0 0 2 3 3 0 3 2 3 3 3 3 0 0 3],"[4819  652 4453 4663  581 2638 4090 3750 5011 3835 4881 4694 3930 5189
+  519 3543]"
+320,[2 0 3 2 3 1 2 3 2 2 3 3 3 0 0 3],"[3461 1840 5967 5163 1356 1938 3462 3189 2870 4704 5359 5946 5404 5120
+ 5645 2473]"
+321,[2 2 3 2 3 0 2 2 3 3 3 3 3 0 0 3],"[5255  936 1461  307 3508 4966 5988 1801 3751 4492 1406 5891 1920 3732
+ 4117   72]"
+322,[2 0 3 3 3 3 2 3 3 3 3 3 3 1 0 3],"[5134 2153 1609 4507 3009 4246 2063 1681 5931 3524 4515 5603 5009 2872
+ 5881 3258]"
+323,[1 0 3 2 3 3 2 2 2 3 3 3 3 0 3 3],"[5412 4174 4963 2758 2290 1711 4763 3222 3542  618 5186 2412  888 1825
+ 1185   59]"
+324,[2 0 0 2 0 3 2 0 2 3 3 3 3 0 0 3],"[2698 5238  813 5964 1588  809 4555 2346 3487 1234 2692  237 2852 1366
+ 5767  718]"
+325,[0 2 3 3 3 3 2 2 2 3 3 3 3 3 0 1],"[2634 1174 1257 2168 1180 2460 1297 4990 3856 5695 5191 5593 2269 1924
+ 3993 2541]"
+326,[2 2 0 2 3 3 2 2 3 3 3 3 3 0 0 3],"[2486    4 4217 1870 5030 3376 4024 2301 5945 2157 3779 5351 4357 4431
+ 4999  596]"
+327,[2 2 3 2 3 3 2 2 3 2 3 3 0 0 0 1],"[2385 4828   22 4450 5032  132 4232 3479 4717 3273 4122 1488 2982 5970
+  625 5443]"
+328,[0 0 3 2 0 3 2 0 2 3 3 3 3 0 0 3],"[1071 2713 1455 5106  190   34 4371  572 5084 1714 2252 5693 2993  956
+ 1264   96]"
+329,[2 2 0 2 3 3 2 2 3 3 3 3 3 0 0 3],"[1376 3428 1451  832 5599 1643  617  201 4834 3731 1025 5449 2806 5195
+ 4712  265]"
+330,[2 2 3 2 3 2 2 2 2 2 3 0 3 0 0 1],"[3526 4972 2216 5329 1134 2781 4353 1867 4423 3093  282 2756 4498 3059
+ 2676 1585]"
+331,[2 0 3 2 0 2 2 2 2 3 3 3 3 0 0 3],"[4475  397 5871 3794 4095  698 5003 3665 1357 4343 3970 1116 3584   65
+ 3623 4676]"
+332,[2 2 3 1 3 3 2 0 2 3 3 3 3 0 0 2],"[1002 4443   71 3038 4258 2771 2064 4101 5843 1752 3464 5577 4255  819
+ 5726 2175]"
+333,[0 3 3 2 0 2 2 0 3 3 3 3 3 0 0 3],"[1365 1857 4680 4021 1517  883 2312 1504 1955 2386 5340 5848 3707 1531
+ 2557 1475]"
+334,[2 2 3 2 0 3 2 2 3 3 3 3 0 0 0 3],"[3271 2302 4338 5578 1532  548 4479  828 3860 2833 5208 3959 2527 1477
+ 3721 5280]"
+335,[2 0 0 2 3 2 2 0 3 2 3 3 0 0 0 3],"[5413 2922 3361 3521 5241 2654  251 4569 4628 2552 4957 1058 2169 1361
+ 2207 3262]"
+336,[1 2 3 2 3 3 2 2 3 3 3 3 3 0 0 3],"[5245 4023 1288 5018  321 1700 3598 2827 2521  733 4405  525 3964 5694
+ 5088 2298]"
+337,[2 2 3 2 3 3 2 2 2 3 3 3 0 0 0 2],"[4747 4320 1676  469 2201 5246 5723 2702 3094 1384 1471 1915 5054 1565
+ 3497  799]"
+338,[1 0 0 3 3 2 2 0 0 2 3 3 3 3 0 3],"[5285 5561 3407 5769 1702 4366 5813 2720 1207 3486  626 2959 1908  824
+  465 1413]"
+339,[2 2 0 2 3 3 2 3 0 3 3 3 3 2 0 3],"[5126 3852 5330 1353 1636 5128 2083 5385 2682 1313 2154 2842 3504 3644
+ 5949 1595]"
+340,[2 0 0 3 3 2 2 2 3 2 3 3 3 0 0 3],"[ 521 1166 5399 3668 4292  959 3061 4360 3260 4711 3600 2505 1563 3953
+ 5432 4466]"
+341,[0 2 3 2 3 3 2 2 2 2 3 0 3 0 0 1],"[2823  390 2204  673 5623 1283 2972 3126 2912 5035 1105  133 2107 3013
+ 1511 1003]"
+342,[1 2 0 2 3 2 2 2 3 2 3 3 0 0 0 3],"[ 764 5006 4724 3872 4487 4296 4858  493    7  194 4399 5502 2784 5055
+ 5284 1649]"
+343,[1 2 0 1 0 3 2 2 2 3 3 0 3 0 0 3],"[1918 2182 4142 5167  635 4218 2246 1449 5965 2129  331 4518  369 2449
+ 4775 1944]"
+344,[1 2 3 2 3 2 2 2 2 3 3 3 3 0 0 3],"[3716 5334 4341  737 4325 5503 2480 4883 5378 5373 4750   15  236 2526
+ 1035 2091]"
+345,[1 2 3 3 3 3 2 2 2 3 3 3 3 3 0 3],"[5661 1921 3617 3138  675 4269 1465 1459 5303 1578 4022   88 3158  729
+ 3145  146]"
+346,[1 2 0 3 3 3 2 2 3 3 3 3 3 2 0 3],"[3906  227 3048 4141 5584  272 1205  103 5057 5438 2307 3481 5301 3154
+ 1168  125]"
+347,[2 2 3 2 3 2 2 2 2 3 3 0 3 0 0 1],"[3148  500  261 1550  403 1151 3869 5579  398 1204 3086 5665 1993 3968
+ 3062  997]"
+348,[1 3 0 2 0 2 2 2 2 2 3 3 3 3 0 3],"[ 600  269 5855 2869 1393 1623  951 3084  840 5909 5324   12 4259 3828
+ 2637 3375]"
+349,[2 0 0 2 3 3 2 3 2 2 3 3 3 0 0 1],"[4324 1291 4018 1028 2577 4014  741 5162  660 5783 4486  271 5927 4798
+ 3353 5490]"
+350,[2 0 3 2 3 3 2 0 2 3 3 3 3 3 0 3],"[2858 2670 5275  989 4653 4805 5169 4512 3221 1512 4728 5217 1468   11
+ 2533 2086]"
+351,[2 3 3 2 3 3 2 3 3 3 3 0 3 0 0 3],"[5444 2265 3746 4281 1611 4970   76 5383 5111  124 3567 2706 3494 5153
+ 1884 1006]"
+352,[1 3 0 2 3 3 2 2 2 3 3 3 0 0 0 3],"[5897 3503 3133 5122 4448 1869 2583  140 5746 5975 5428 5179 1618  847
+ 2700 1520]"
+353,[2 3 3 2 3 2 2 2 3 3 3 3 3 0 0 3],"[1443 1898 1252 5687 1045 4987 1359 5565 4099   28  370 5177 3137 3033
+ 1322 2008]"
+354,[0 0 0 2 3 1 2 2 3 2 3 3 3 0 0 3],"[2954 5076 1518 1515   93 5675  616 3395 1557 1937 4226 4940 5205  815
+ 2221 3812]"
+355,[2 2 3 2 3 3 2 2 3 2 3 3 3 0 0 3],"[1324 3024 2100 2322 5782 3616 1203 3858 3381  620 3875 3597 3717 2847
+ 4233 4874]"
+356,[1 0 2 3 3 2 0 0 2 2 3 3 3 0 0 3],"[ 851 5137 2907 1140 1124 3023 4277 3506 2904 2446 4703 5110 1385   53
+   80 4005]"
+357,[2 2 3 2 3 2 0 2 2 3 3 3 3 0 0 3],"[2667 1007 4032 5752 5466   77 3449  206  329 3476  836 3426 4976 2205
+  727 2525]"
+358,[2 0 3 2 3 3 2 3 3 2 3 3 3 0 0 1],"[3239 4596 2926 4813  653 3990 2209 4784 2861 1258 5360 4442  749 1569
+ 3913 5886]"
+359,[1 2 3 2 3 3 2 2 3 3 3 3 0 0 0 3],"[1746 3671 3001 4289 1346 5431 2743 5755  499 4660 3786 1026 3551 4188
+ 2666 3185]"
+360,[1 2 3 2 3 3 2 2 2 2 3 3 3 0 0 3],"[1957  861 1085 2117 5921  707 4333 3540 5530 1303 4363 4893 5729 3037
+ 1192 2438]"
+361,[2 2 0 2 3 3 1 2 1 1 3 3 3 0 0 3],"[ 276  322 1776  501 1644 4550 1164 3405 5823 1664 2862 2028 4092 1069
+ 2789 3283]"
+362,[2 2 2 3 3 3 2 0 3 3 3 3 3 0 0 3],"[5765 1905  995 3505 4415 4197 4758 5904 4892 5557 4774 4824 2816 1686
+ 1931 5368]"
+363,[2 2 3 3 3 2 2 3 3 2 3 3 3 0 0 3],"[5421 1087 4840 5863 4136 3224 5389 5121 3844 2559 3602 5649 3011 3174
+ 2575 1304]"
+364,[1 0 0 2 3 3 2 2 3 2 3 3 3 0 0 3],"[3160  758 1457 1086 2345 4364 4949 2212  348 1078 3643  786 1233 2411
+ 4894 1670]"
+365,[0 0 3 2 0 3 0 2 2 2 3 3 3 0 0 3],"[3163 4958 4187 1797 3830 2118  745 5635 2936 1634  872  171   56 3087
+ 3250 3729]"
+366,[1 2 3 2 3 3 2 0 3 3 3 3 3 2 0 3],"[ 404 2576 5778 4007 1445 2061  778 1189 2772 4667 4579 2924 2865  118
+ 5476 1320]"
+367,[2 2 0 2 0 2 0 0 0 3 3 3 3 0 0 3],"[3655 4826 3044 5666 2909 1248 4549 5361 4923 1821  426 1599 5905  479
+ 5826 1012]"
+368,[2 3 3 2 3 3 2 0 2 2 3 3 0 0 0 3],"[4080 4373 4474 4278 4665 3199 2537 5585 5046 1048 3471   51 1547  817
+ 5951 4931]"
+369,[2 2 3 2 3 1 2 0 3 2 3 3 3 0 0 3],"[1289 3704 4184 4311  120 4384 3316 1657 2628 4822 3710 4926  517  930
+ 3183 1968]"
+370,[2 2 0 2 3 1 2 0 3 1 3 3 3 0 0 3],"[3440   23 2261 1220 2621 1783  895  843 5393 4396 3565    9 4252 4009
+ 3161 3586]"
+371,[1 2 0 2 3 3 2 2 2 3 3 3 3 0 0 1],"[4413 3295 5317 5652 3116 2186 3469 4231 2813 5355 3802 2145 4640  230
+ 3690 3720]"
+372,[1 2 3 2 3 1 2 2 3 3 3 3 3 0 0 3],"[  79 2738 3803 2093 2338 3288 3761  142 3787 2765 1154 3967 4632 1230
+ 1856  295]"
+373,[1 2 3 2 3 3 2 2 2 3 3 3 3 0 0 3],"[4745 1462 3386   24  760 2871 5260 3412 2896 3691  192 5410 4595 1287
+ 2672 5078]"
+374,[2 2 3 3 3 3 2 2 2 3 3 3 3 0 0 3],"[1101 3793 1113 1967 1171 3212 1603   49 2741 2097 4698  887  873 5448
+ 3837 3947]"

src/testcosmos.py

@@ -25,7 +25,7 @@ def preprocess(example):
 
 test_dataset=dataset['test'].map(preprocess)
 
-len_test_dataset=100
+len_test_dataset=6000
 
 test_dataset=test_dataset.select(range(len_test_dataset))
 
@@ -76,4 +76,4 @@ for idx,batch in enumerate(glue_test_data_loader(input_rng, test_dataset, total_
     restored_output.append(final_output)
 
 finall=pd.DataFrame({'predictions':restored_output,'permutation':list1})
-finall.to_csv('./cosmos_predictions.csv')
+finall.to_csv('./cosmos_predictions.csv')