libmf 0.1.0

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

@@ -0,0 +1,1382 @@
+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