libmf 0.1.3 → 0.2.0

data/vendor/libmf/demo/all_one_matrix.te.txt

@@ -1,1382 +0,0 @@
-6 4293 1
-12 2075 1
-13 2450 1
-18 4209 1
-24 3433 1
-33 75 1
-33 4253 1
-45 1549 1
-49 1634 1
-50 471 1
-56 2353 1
-60 915 1
-60 3465 1
-68 3665 1
-70 3365 1
-70 4902 1
-84 3298 1
-87 355 1
-87 599 1
-87 2343 1
-94 1009 1
-94 1295 1
-94 2928 1
-94 3741 1
-100 3140 1
-103 3680 1
-106 4290 1
-106 4472 1
-106 4551 1
-114 3465 1
-118 2596 1
-124 1771 1
-124 4190 1
-138 1169 1
-138 2956 1
-138 3535 1
-138 3783 1
-138 4283 1
-141 2464 1
-145 731 1
-145 1844 1
-145 3487 1
-146 2241 1
-152 3619 1
-160 1405 1
-167 2120 1
-173 2056 1
-173 3950 1
-178 1792 1
-178 3462 1
-189 1368 1
-191 71 1
-192 417 1
-192 2107 1
-195 1209 1
-196 4785 1
-204 79 1
-211 371 1
-213 4749 1
-218 2225 1
-218 4785 1
-222 4284 1
-247 312 1
-247 314 1
-261 249 1
-261 471 1
-263 305 1
-266 128 1
-266 2880 1
-271 4253 1
-275 1591 1
-275 2963 1
-275 3069 1
-279 1361 1
-279 2107 1
-279 4467 1
-281 734 1
-281 868 1
-281 1690 1
-293 2733 1
-300 2109 1
-300 3138 1
-306 1515 1
-310 322 1
-310 823 1
-310 2257 1
-310 3232 1
-310 3927 1
-310 4900 1
-311 4395 1
-313 4448 1
-314 368 1
-316 3546 1
-323 4109 1
-328 4720 1
-330 4200 1
-342 612 1
-342 987 1
-342 1066 1
-342 2302 1
-347 4609 1
-350 1327 1
-352 1858 1
-354 329 1
-354 4214 1
-360 423 1
-360 513 1
-361 4309 1
-363 298 1
-363 752 1
-363 2163 1
-363 4467 1
-364 731 1
-364 3315 1
-365 1574 1
-365 1920 1
-365 3950 1
-368 2032 1
-368 3010 1
-376 3668 1
-378 4334 1
-388 1768 1
-389 3204 1
-398 2958 1
-402 383 1
-405 4070 1
-405 4270 1
-407 1278 1
-407 2871 1
-407 2876 1
-410 3072 1
-410 3143 1
-413 4285 1
-420 2345 1
-420 3783 1
-420 4846 1
-428 2665 1
-433 1102 1
-433 2009 1
-435 470 1
-435 1278 1
-435 1360 1
-435 1368 1
-435 3848 1
-435 4717 1
-441 2771 1
-446 366 1
-446 639 1
-446 1966 1
-449 774 1
-450 2829 1
-455 4144 1
-462 3101 1
-471 2631 1
-476 482 1
-482 4725 1
-491 3123 1
-496 3724 1
-502 708 1
-502 4466 1
-509 2119 1
-513 1165 1
-522 3318 1
-522 3558 1
-522 3967 1
-526 4596 1
-527 34 1
-527 1552 1
-527 1820 1
-527 2343 1
-546 902 1
-546 1088 1
-546 2173 1
-546 3193 1
-546 4729 1
-559 4596 1
-569 2583 1
-586 3455 1
-591 1735 1
-593 457 1
-596 3311 1
-602 2214 1
-604 2825 1
-606 3469 1
-608 3284 1
-611 4209 1
-618 298 1
-632 800 1
-635 2120 1
-637 281 1
-639 3853 1
-652 1029 1
-653 4293 1
-656 4722 1
-661 2904 1
-670 290 1
-670 752 1
-670 1265 1
-670 3140 1
-670 3878 1
-670 3927 1
-670 4451 1
-671 298 1
-674 3984 1
-675 396 1
-675 1515 1
-681 439 1
-681 2905 1
-682 305 1
-684 1171 1
-684 1563 1
-687 2444 1
-687 2959 1
-690 846 1
-690 1937 1
-690 4486 1
-709 371 1
-709 3242 1
-709 4907 1
-714 2320 1
-722 4309 1
-727 271 1
-727 1460 1
-727 2397 1
-727 4692 1
-732 4466 1
-742 2679 1
-746 654 1
-746 1269 1
-746 1482 1
-746 2428 1
-746 2665 1
-749 2909 1
-757 4784 1
-775 4341 1
-777 2472 1
-787 646 1
-790 2579 1
-808 3931 1
-811 544 1
-811 2929 1
-811 3751 1
-829 240 1
-829 4279 1
-846 349 1
-846 3805 1
-852 4332 1
-854 4375 1
-858 3820 1
-865 4099 1
-866 3931 1
-867 381 1
-867 2077 1
-869 4341 1
-870 4339 1
-873 1199 1
-879 736 1
-882 1165 1
-899 2850 1
-900 4206 1
-907 1690 1
-913 971 1
-913 1009 1
-913 3315 1
-913 4270 1
-914 4998 1
-920 4682 1
-925 4206 1
-930 3433 1
-942 4486 1
-965 2264 1
-965 2659 1
-965 2853 1
-965 4279 1
-965 4420 1
-973 305 1
-973 3727 1
-973 4692 1
-975 316 1
-975 2444 1
-976 1970 1
-985 625 1
-997 4749 1
-999 1880 1
-1011 1808 1
-1012 311 1
-1017 1595 1
-1022 2325 1
-1030 2183 1
-1035 4341 1
-1044 1965 1
-1044 3269 1
-1044 4541 1
-1044 4573 1
-1049 4285 1
-1049 4698 1
-1055 1053 1
-1055 2000 1
-1055 2345 1
-1055 2909 1
-1055 4720 1
-1062 519 1
-1062 640 1
-1064 61 1
-1064 1768 1
-1064 2685 1
-1064 4309 1
-1065 3281 1
-1075 1181 1
-1080 1591 1
-1085 3679 1
-1099 4306 1
-1100 2783 1
-1100 4022 1
-1100 4997 1
-1101 3157 1
-1105 691 1
-1105 2452 1
-1131 1298 1
-1131 1856 1
-1132 3743 1
-1136 3497 1
-1139 1653 1
-1140 2214 1
-1140 3103 1
-1140 3967 1
-1145 3741 1
-1151 3816 1
-1152 2287 1
-1163 3799 1
-1164 2733 1
-1164 3599 1
-1168 3305 1
-1168 4309 1
-1172 2470 1
-1173 682 1
-1173 1815 1
-1177 2444 1
-1179 3920 1
-1179 4362 1
-1186 2883 1
-1196 1735 1
-1201 1862 1
-1201 2120 1
-1201 2454 1
-1201 3419 1
-1201 3853 1
-1201 4035 1
-1201 4802 1
-1205 356 1
-1213 1167 1
-1213 1253 1
-1216 536 1
-1216 3078 1
-1216 3260 1
-1219 4098 1
-1228 4704 1
-1235 3756 1
-1235 4172 1
-1237 3532 1
-1237 4561 1
-1241 1771 1
-1251 736 1
-1252 3820 1
-1253 2639 1
-1253 3269 1
-1253 4565 1
-1262 1296 1
-1262 2551 1
-1262 2867 1
-1262 2883 1
-1262 4484 1
-1264 4070 1
-1279 4854 1
-1284 2679 1
-1298 947 1
-1298 1114 1
-1298 1276 1
-1298 1942 1
-1298 2474 1
-1298 3134 1
-1298 3286 1
-1304 2254 1
-1309 4259 1
-1310 1591 1
-1319 85 1
-1333 3496 1
-1334 472 1
-1335 28 1
-1335 1088 1
-1338 2662 1
-1347 544 1
-1350 3950 1
-1353 1521 1
-1353 4968 1
-1363 2384 1
-1363 2472 1
-1366 4121 1
-1367 3415 1
-1369 1735 1
-1374 1081 1
-1377 3438 1
-1377 4784 1
-1382 182 1
-1382 987 1
-1392 2794 1
-1407 3950 1
-1412 4319 1
-1417 3619 1
-1417 3925 1
-1441 4606 1
-1451 2472 1
-1452 1346 1
-1452 1710 1
-1467 1543 1
-1467 2318 1
-1481 434 1
-1481 3123 1
-1481 3986 1
-1486 2717 1
-1494 2575 1
-1497 1014 1
-1507 2320 1
-1511 4609 1
-1512 613 1
-1517 3140 1
-1526 848 1
-1526 3927 1
-1528 4408 1
-1533 3535 1
-1541 3193 1
-1550 2688 1
-1551 3194 1
-1566 3918 1
-1566 4259 1
-1578 1031 1
-1582 2905 1
-1582 3658 1
-1582 3878 1
-1583 2118 1
-1586 92 1
-1586 2825 1
-1588 108 1
-1588 3511 1
-1595 3281 1
-1595 3558 1
-1596 369 1
-1600 3493 1
-1614 290 1
-1618 18 1
-1618 4735 1
-1622 2123 1
-1625 1146 1
-1626 422 1
-1626 2273 1
-1627 612 1
-1627 939 1
-1627 3081 1
-1627 4268 1
-1633 736 1
-1633 4285 1
-1639 1310 1
-1646 202 1
-1649 2911 1
-1649 4126 1
-1652 4209 1
-1655 1952 1
-1655 1970 1
-1659 2152 1
-1659 2513 1
-1659 4902 1
-1661 818 1
-1665 61 1
-1673 2087 1
-1673 4467 1
-1688 129 1
-1688 1107 1
-1688 2402 1
-1688 2455 1
-1688 3941 1
-1696 606 1
-1706 1049 1
-1709 2737 1
-1711 2883 1
-1711 3730 1
-1715 1165 1
-1726 1029 1
-1726 1882 1
-1735 1029 1
-1736 351 1
-1736 3358 1
-1736 4228 1
-1741 4332 1
-1743 3132 1
-1744 1768 1
-1758 625 1
-1764 2271 1
-1774 3853 1
-1781 3147 1
-1799 281 1
-1801 2883 1
-1802 4078 1
-1802 4386 1
-1815 3783 1
-1818 1266 1
-1822 776 1
-1822 818 1
-1826 3197 1
-1830 437 1
-1835 818 1
-1837 371 1
-1837 4785 1
-1849 4383 1
-1851 4725 1
-1854 4606 1
-1858 1926 1
-1863 4259 1
-1869 305 1
-1869 4172 1
-1882 3072 1
-1886 352 1
-1893 581 1
-1913 930 1
-1913 1143 1
-1913 1411 1
-1913 1963 1
-1913 2061 1
-1913 2502 1
-1913 3069 1
-1913 3196 1
-1913 4020 1
-1913 4241 1
-1928 988 1
-1928 2793 1
-1928 3925 1
-1940 4762 1
-1948 291 1
-1949 1128 1
-1949 2876 1
-1960 1515 1
-1969 2987 1
-1972 202 1
-1975 1937 1
-1975 4270 1
-1990 2411 1
-1994 4510 1
-1996 746 1
-1996 2596 1
-2000 2959 1
-2000 3665 1
-2003 2666 1
-2022 121 1
-2025 595 1
-2025 3172 1
-2026 2912 1
-2031 504 1
-2031 730 1
-2033 135 1
-2033 997 1
-2036 4222 1
-2039 4609 1
-2042 3473 1
-2043 418 1
-2076 281 1
-2076 1165 1
-2076 1707 1
-2076 4125 1
-2078 2886 1
-2087 2272 1
-2087 3470 1
-2102 4386 1
-2103 2662 1
-2103 2897 1
-2115 612 1
-2115 3898 1
-2125 4290 1
-2129 60 1
-2133 1521 1
-2139 1592 1
-2139 2845 1
-2139 2905 1
-2140 2679 1
-2143 2909 1
-2148 1016 1
-2149 471 1
-2156 3898 1
-2164 2659 1
-2168 316 1
-2168 713 1
-2168 1806 1
-2178 3366 1
-2178 4403 1
-2186 1992 1
-2196 544 1
-2202 2665 1
-2206 1753 1
-2217 3937 1
-2217 4804 1
-2221 205 1
-2221 1136 1
-2222 2513 1
-2225 4698 1
-2225 4854 1
-2228 177 1
-2228 3619 1
-2240 417 1
-2240 2472 1
-2261 357 1
-2261 1165 1
-2268 939 1
-2284 2688 1
-2288 3269 1
-2301 3898 1
-2301 4912 1
-2307 319 1
-2307 1773 1
-2309 1212 1
-2309 4720 1
-2311 355 1
-2311 4031 1
-2312 1693 1
-2312 2444 1
-2312 3072 1
-2319 185 1
-2320 3920 1
-2335 508 1
-2335 556 1
-2335 4467 1
-2335 4896 1
-2341 536 1
-2342 984 1
-2343 1840 1
-2346 2470 1
-2346 2488 1
-2346 3510 1
-2346 4722 1
-2349 648 1
-2351 4902 1
-2354 4730 1
-2360 177 1
-2360 939 1
-2360 2638 1
-2360 4802 1
-2362 757 1
-2362 4968 1
-2366 1591 1
-2374 599 1
-2375 2551 1
-2375 3658 1
-2375 4837 1
-2375 4912 1
-2376 2750 1
-2378 635 1
-2382 921 1
-2382 1174 1
-2382 1298 1
-2382 2837 1
-2382 3888 1
-2382 4573 1
-2382 4804 1
-2399 880 1
-2406 366 1
-2406 2998 1
-2409 3658 1
-2410 735 1
-2416 3232 1
-2417 371 1
-2417 1970 1
-2417 2754 1
-2421 2123 1
-2421 3416 1
-2448 2620 1
-2449 3714 1
-2451 3749 1
-2455 2120 1
-2456 598 1
-2456 1625 1
-2456 2058 1
-2456 4469 1
-2456 4821 1
-2457 1260 1
-2457 2264 1
-2457 4070 1
-2462 1230 1
-2468 2679 1
-2473 4283 1
-2479 3232 1
-2485 939 1
-2489 4223 1
-2489 4765 1
-2506 1890 1
-2527 125 1
-2530 984 1
-2530 1653 1
-2530 2381 1
-2530 2807 1
-2530 4998 1
-2540 776 1
-2559 4284 1
-2561 4566 1
-2563 3593 1
-2563 4241 1
-2563 4998 1
-2565 818 1
-2569 4998 1
-2574 3465 1
-2592 4493 1
-2607 249 1
-2607 1506 1
-2609 359 1
-2611 61 1
-2616 1482 1
-2616 1487 1
-2616 2509 1
-2616 4228 1
-2633 373 1
-2633 2280 1
-2633 2626 1
-2633 2774 1
-2633 4148 1
-2634 85 1
-2634 312 1
-2634 1578 1
-2647 1339 1
-2647 2694 1
-2647 4028 1
-2647 4179 1
-2647 4200 1
-2654 4293 1
-2661 2617 1
-2662 2996 1
-2662 4643 1
-2667 1705 1
-2668 1521 1
-2668 3608 1
-2674 2737 1
-2681 2474 1
-2681 3060 1
-2683 71 1
-2683 1163 1
-2686 912 1
-2686 1882 1
-2686 4722 1
-2687 2850 1
-2692 1241 1
-2694 682 1
-2701 361 1
-2701 4024 1
-2704 1623 1
-2705 1016 1
-2708 2745 1
-2719 758 1
-2724 1263 1
-2724 2324 1
-2724 3322 1
-2727 2284 1
-2727 2773 1
-2727 2996 1
-2727 3105 1
-2727 4636 1
-2729 61 1
-2748 1029 1
-2749 3783 1
-2750 1972 1
-2764 4209 1
-2769 849 1
-2779 20 1
-2779 2555 1
-2779 2985 1
-2783 4698 1
-2787 3590 1
-2787 4067 1
-2797 1288 1
-2803 3074 1
-2810 4906 1
-2813 3140 1
-2816 482 1
-2816 2904 1
-2820 2118 1
-2820 4955 1
-2832 2470 1
-2832 4722 1
-2839 513 1
-2839 1112 1
-2839 1379 1
-2842 311 1
-2850 2271 1
-2856 1298 1
-2869 1920 1
-2872 606 1
-2872 4092 1
-2875 433 1
-2875 487 1
-2875 3624 1
-2875 4765 1
-2876 596 1
-2881 886 1
-2883 4854 1
-2884 2883 1
-2893 2214 1
-2898 1091 1
-2909 1158 1
-2911 359 1
-2912 2320 1
-2918 1882 1
-2921 2095 1
-2927 2665 1
-2931 504 1
-2931 1879 1
-2931 3470 1
-2942 621 1
-2942 3455 1
-2942 4846 1
-2960 591 1
-2960 4386 1
-2963 2783 1
-2976 640 1
-2976 1453 1
-2976 3439 1
-2977 1992 1
-2977 2241 1
-2977 3927 1
-2982 3679 1
-2990 2135 1
-3009 3123 1
-3024 1426 1
-3030 3438 1
-3030 4784 1
-3035 2642 1
-3035 2651 1
-3035 4527 1
-3037 2729 1
-3048 4253 1
-3050 257 1
-3059 818 1
-3070 3298 1
-3072 4531 1
-3075 4375 1
-3077 625 1
-3081 1904 1
-3085 2254 1
-3095 2655 1
-3099 852 1
-3099 1014 1
-3099 3755 1
-3099 3853 1
-3099 4233 1
-3102 1049 1
-3102 2680 1
-3103 401 1
-3103 1952 1
-3112 691 1
-3123 2025 1
-3124 1714 1
-3143 1463 1
-3143 1960 1
-3143 3411 1
-3143 4000 1
-3145 3619 1
-3145 3918 1
-3146 140 1
-3146 746 1
-3148 3636 1
-3151 177 1
-3151 2825 1
-3163 82 1
-3163 358 1
-3163 2240 1
-3163 2555 1
-3163 2909 1
-3169 505 1
-3169 1773 1
-3169 2826 1
-3171 1705 1
-3171 1836 1
-3171 3439 1
-3176 3140 1
-3178 1580 1
-3178 3194 1
-3178 3561 1
-3180 4729 1
-3193 953 1
-3214 1582 1
-3214 3894 1
-3236 4609 1
-3236 4729 1
-3242 2665 1
-3252 3950 1
-3254 4206 1
-3263 651 1
-3263 3140 1
-3263 3889 1
-3271 1209 1
-3273 3975 1
-3283 2120 1
-3287 528 1
-3293 657 1
-3293 3898 1
-3295 108 1
-3296 2733 1
-3313 4606 1
-3324 1754 1
-3332 4486 1
-3333 2043 1
-3342 18 1
-3352 2340 1
-3352 3167 1
-3353 3205 1
-3363 1158 1
-3363 2924 1
-3370 3925 1
-3386 4386 1
-3388 2765 1
-3388 3839 1
-3391 560 1
-3391 1615 1
-3391 3269 1
-3395 3984 1
-3397 3078 1
-3397 3897 1
-3399 1753 1
-3402 2095 1
-3414 1081 1
-3414 2284 1
-3437 752 1
-3441 2123 1
-3457 96 1
-3457 257 1
-3457 1315 1
-3457 2357 1
-3457 3724 1
-3457 4131 1
-3457 4907 1
-3469 3619 1
-3474 1504 1
-3492 1836 1
-3492 3834 1
-3492 4206 1
-3504 544 1
-3513 2886 1
-3525 3214 1
-3525 3613 1
-3526 4784 1
-3526 4837 1
-3531 1856 1
-3532 812 1
-3532 1536 1
-3534 143 1
-3534 1118 1
-3534 3281 1
-3534 3892 1
-3534 4144 1
-3534 4154 1
-3534 4331 1
-3534 4955 1
-3540 257 1
-3540 371 1
-3540 1161 1
-3540 1858 1
-3548 3741 1
-3550 4144 1
-3557 3038 1
-3560 3487 1
-3562 3365 1
-3565 752 1
-3578 1310 1
-3580 3147 1
-3581 2575 1
-3581 3242 1
-3581 4922 1
-3582 186 1
-3582 1181 1
-3582 2474 1
-3582 2851 1
-3582 3069 1
-3582 4964 1
-3583 418 1
-3598 2450 1
-3598 2538 1
-3598 3303 1
-3598 4649 1
-3603 2472 1
-3612 4259 1
-3629 3269 1
-3629 3397 1
-3630 1158 1
-3630 2924 1
-3630 4309 1
-3637 2095 1
-3637 4144 1
-3643 3078 1
-3660 536 1
-3660 2141 1
-3668 536 1
-3668 1555 1
-3668 3741 1
-3668 3853 1
-3673 4293 1
-3674 2754 1
-3676 1634 1
-3687 339 1
-3687 3416 1
-3706 141 1
-3706 4784 1
-3708 1031 1
-3708 1242 1
-3708 1753 1
-3708 2555 1
-3708 2610 1
-3708 3872 1
-3709 1427 1
-3727 493 1
-3733 1160 1
-3733 2120 1
-3737 504 1
-3737 2793 1
-3737 3419 1
-3742 880 1
-3746 648 1
-3756 4339 1
-3758 2561 1
-3761 4762 1
-3772 682 1
-3775 3740 1
-3776 2322 1
-3778 415 1
-3797 1880 1
-3799 1426 1
-3806 1138 1
-3808 912 1
-3808 4319 1
-3811 686 1
-3823 793 1
-3829 3583 1
-3829 4226 1
-3831 2771 1
-3831 3658 1
-3834 2513 1
-3834 3465 1
-3843 1102 1
-3854 4596 1
-3859 185 1
-3862 2338 1
-3863 783 1
-3868 1815 1
-3878 2693 1
-3878 4987 1
-3885 3627 1
-3885 4172 1
-3890 682 1
-3890 1920 1
-3895 1790 1
-3895 2222 1
-3901 4467 1
-3902 887 1
-3902 4100 1
-3907 825 1
-3911 190 1
-3911 1358 1
-3916 2092 1
-3927 222 1
-3928 437 1
-3928 2503 1
-3928 3286 1
-3928 3581 1
-3928 4663 1
-3938 909 1
-3941 33 1
-3946 1031 1
-3951 4209 1
-3968 713 1
-3968 992 1
-3971 3078 1
-3976 849 1
-3976 1575 1
-3976 2030 1
-3980 3239 1
-3982 1165 1
-3982 2596 1
-3986 2214 1
-3987 2860 1
-4006 2020 1
-4006 2564 1
-4006 2882 1
-4011 4606 1
-4020 2020 1
-4020 2126 1
-4033 2845 1
-4033 3216 1
-4035 1927 1
-4036 1927 1
-4036 2071 1
-4040 4907 1
-4047 4854 1
-4060 2207 1
-4060 2665 1
-4060 2998 1
-4060 4083 1
-4063 2214 1
-4063 3828 1
-4064 1992 1
-4064 4856 1
-4067 4785 1
-4070 752 1
-4085 4036 1
-4093 648 1
-4093 1525 1
-4093 2996 1
-4093 4114 1
-4097 3305 1
-4100 1426 1
-4100 1680 1
-4100 2289 1
-4100 3692 1
-4100 4327 1
-4105 888 1
-4105 4896 1
-4106 2051 1
-4121 2907 1
-4132 1508 1
-4132 4377 1
-4137 1097 1
-4137 4069 1
-4152 2271 1
-4157 2904 1
-4162 4035 1
-4162 4736 1
-4180 865 1
-4189 2963 1
-4189 4912 1
-4191 2450 1
-4196 3741 1
-4199 3132 1
-4199 3505 1
-4199 3774 1
-4199 4022 1
-4204 85 1
-4219 3494 1
-4227 1820 1
-4229 1614 1
-4229 4078 1
-4230 2963 1
-4230 3854 1
-4230 3898 1
-4233 437 1
-4233 1036 1
-4233 2267 1
-4233 4287 1
-4233 4404 1
-4244 4307 1
-4257 368 1
-4257 3072 1
-4257 4573 1
-4258 1597 1
-4261 776 1
-4264 4598 1
-4267 4784 1
-4269 3417 1
-4276 2267 1
-4279 670 1
-4285 932 1
-4285 987 1
-4285 2345 1
-4285 4720 1
-4287 1203 1
-4287 2717 1
-4287 3897 1
-4310 818 1
-4310 1591 1
-4310 2031 1
-4310 3318 1
-4328 4606 1
-4331 2472 1
-4331 2671 1
-4331 4078 1
-4331 4802 1
-4334 708 1
-4347 2349 1
-4347 3869 1
-4349 4334 1
-4354 2959 1
-4359 2222 1
-4362 476 1
-4374 504 1
-4381 1021 1
-4381 3318 1
-4383 154 1
-4383 1426 1
-4383 4784 1
-4384 1773 1
-4392 457 1
-4396 2272 1
-4396 4064 1
-4417 3134 1
-4425 2737 1
-4425 4854 1
-4426 2883 1
-4426 4854 1
-4430 2638 1
-4430 3535 1
-4434 2464 1
-4435 3741 1
-4448 381 1
-4456 28 1
-4460 581 1
-4460 3505 1
-4469 2123 1
-4469 3520 1
-4469 4100 1
-4481 1753 1
-4482 1569 1
-4483 178 1
-4484 255 1
-4486 505 1
-4486 2214 1
-4505 2242 1
-4505 3155 1
-4514 793 1
-4522 519 1
-4528 28 1
-4528 103 1
-4528 3530 1
-4528 3630 1
-4532 1226 1
-4532 1706 1
-4532 3509 1
-4534 4528 1
-4539 469 1
-4539 1230 1
-4539 4331 1
-4542 1242 1
-4542 4896 1
-4555 240 1
-4560 3889 1
-4562 417 1
-4562 3895 1
-4566 3532 1
-4577 359 1
-4577 1705 1
-4579 4293 1
-4584 4139 1
-4587 4876 1
-4588 3305 1
-4604 408 1
-4604 529 1
-4604 642 1
-4604 1803 1
-4604 2269 1
-4604 2620 1
-4604 2959 1
-4604 2987 1
-4612 1077 1
-4616 621 1
-4626 4749 1
-4627 2928 1
-4628 606 1
-4631 2928 1
-4631 4070 1
-4631 4300 1
-4631 4363 1
-4634 2450 1
-4635 2452 1
-4638 1575 1
-4643 1689 1
-4643 2125 1
-4645 1595 1
-4645 2634 1
-4645 3920 1
-4647 342 1
-4651 2627 1
-4651 3931 1
-4666 114 1
-4672 621 1
-4672 4334 1
-4676 2214 1
-4678 1107 1
-4678 3664 1
-4683 562 1
-4683 1441 1
-4692 1385 1
-4694 55 1
-4700 4121 1
-4711 472 1
-4712 1653 1
-4717 298 1
-4717 1507 1
-4717 4486 1
-4719 102 1
-4719 1426 1
-4719 4209 1
-4721 1207 1
-4721 2671 1
-4721 4078 1
-4724 4733 1
-4726 4070 1
-4728 909 1
-4730 1615 1
-4730 4375 1
-4735 2320 1
-4735 2914 1
-4735 3828 1
-4752 640 1
-4755 4846 1
-4756 4606 1
-4763 457 1
-4763 4078 1
-4769 1680 1
-4776 2355 1
-4778 1107 1
-4778 1280 1
-4778 1890 1
-4778 4182 1
-4778 4953 1
-4784 640 1
-4784 1705 1
-4784 2367 1
-4800 1991 1
-4800 3457 1
-4800 3589 1
-4800 3613 1
-4800 3714 1
-4800 4043 1
-4803 4698 1
-4811 249 1
-4815 4206 1
-4833 1571 1
-4833 3843 1
-4840 2985 1
-4841 713 1
-4843 2583 1
-4850 2272 1
-4850 3470 1
-4850 3619 1
-4854 244 1
-4854 3939 1
-4854 4341 1
-4856 298 1
-4861 2120 1
-4861 3925 1
-4865 2765 1
-4870 125 1
-4873 3469 1
-4883 72 1
-4883 746 1
-4885 1526 1
-4892 3469 1
-4895 664 1
-4897 249 1
-4904 1591 1
-4915 562 1
-4915 880 1
-4915 1441 1
-4917 4100 1
-4920 181 1
-4925 4515 1
-4925 4858 1
-4930 3147 1
-4942 3133 1
-4942 3740 1
-4945 939 1
-4946 939 1
-4946 3065 1
-4952 111 1
-4952 713 1
-4952 965 1
-4952 4611 1
-4963 865 1
-4963 1003 1
-4969 3159 1
-4977 1681 1
-4977 1710 1
-4977 4142 1
-4977 4395 1
-4989 1185 1
-4989 2325 1
-4992 2616 1
-4994 1633 1
-4998 2123 1
-4998 3138 1
-4998 3586 1
-4998 3815 1
-4999 3755 1