1 [2] [1, 13, 6, 11] 2569 1570 2111 745 [1, 14, 6, 11] [1, 15, 10, 11] 33027 50285 55430 22246 [1, 15, 11, 13] [1, 15, 11, 14] [1, 15, 7, 11] 2903019 391311 1780640 549424 [1, 7, 5, 12] [1, 7, 6, 11] 50699 7640 32419 4145 [11, 14, 12, 15] [2, 10, 7, 11] 5742991 2277664 4262801 1865875 [2, 11, 12, 15] [2, 11, 3, 15] 18201 7308 7171 11281 [2, 11, 6, 10] [2, 12, 7, 11] [2, 13, 5, 11] [2, 13, 6, 10] [2, 14, 10, 15] [2, 14, 12, 15] 1899 465 268 1154 [2, 14, 5, 12] [2, 14, 6, 13] [2, 15, 7, 11] 814137 381238 641189 183115 [2, 3, 7, 11] 479727 314300 210007 324245 [2, 6, 5, 11] [2, 6, 5, 13] [2, 6, 7, 11] 887643 344188 643897 324877 [2, 6, 7, 15] [2, 7, 10, 15] 3615 18355 3253 15167 [2, 7, 11, 12] [3, 13, 10, 15] [3, 13, 7, 8] [3, 13, 8, 11] 2233 544 1355 1451 [3, 13, 8, 14] [3, 15, 8, 11] 2567 3892 339 4245 [3, 4, 5, 14] 3405 3838 3839 1907 56825 15064 19469 38503 683435 763534 276881 613601 [3, 7, 4, 15] [3, 7, 8, 11] [3, 8, 13, 14] [4, 11, 7, 13] 873483 1115876 1281143 448499 [4, 12, 11, 13] [4, 12, 11, 14] 3902789 1356045 1015370 2875318 [4, 12, 5, 14] 142891 880825 176618 847432 [4, 12, 7, 10] [4, 15, 6, 14] [4, 5, 11, 14] 394427 1355547 1112545 308333 [4, 5, 12, 13] [4, 5, 6, 14] 112525 220510 202663 113721 [4, 6, 11, 15] [4, 7, 6, 10] 33692 38898 9673 38125 [5, 11, 6, 7] 1545359 3316097 187414 3732530 [5, 11, 6, 8] [5, 11, 7, 13] [5, 11, 8, 12] 569 1995 2156 632 [6, 10, 7, 11] 54113 64965 64930 55604 [6, 8, 11, 13] 3596 7663 2899 6801 [7, 10, 11, 12] 248911 22210 221045 84493 [7, 13, 8, 15] [7, 8, 11, 13] [7, 9, 10, 15] 429335 116865 391868 125402 490300 115345 444017 184637 [7, 9, 11, 13] 3094925 7817089 6049224 6224852 [7, 9, 12, 13] [7, 9, 12, 15] [8, 11, 13, 14] 48 1635 1103 1435 [8, 12, 11, 13] [8, 15, 11, 13] [9, 10, 11, 14] [9, 10, 12, 13] [9, 11, 12, 15] [9, 11, 13, 14] [9, 13, 10, 15] 6 [2, 2] [4, 9, 11, 14] 7 [2] [4, 13, 7, 9] [4, 13, 9, 11] [4, 15, 7, 9] 14 [2] [1, 2, 5, 12] [1, 2, 6, 11] 5215 1874 2853 2403 [1, 2, 7, 10] [1, 8, 10, 15] [1, 8, 11, 14] [1, 8, 6, 11] [2, 14, 3, 6] [2, 5, 6, 12] [2, 7, 6, 12] 41943 16890 31205 17281 527799 362670 377845 336583 [2, 9, 12, 15] 3625719 1832215 1639331 2213957 [2, 9, 13, 14] 16747 10235 11847 253 [3, 6, 11, 14] [3, 6, 8, 14] [4, 8, 11, 13] 23746 5375 17711 11083 118358 4535 1109 88151 [4, 8, 13, 15] [4, 8, 7, 13] [5, 11, 6, 12] 441 5637 4408 5210 [6, 12, 7, 15] [7, 14, 11, 12] 13467 10834 8039 13315 [8, 9, 10, 14] [8, 9, 11, 13] [8, 9, 11, 14] 15 [2] [1, 14, 7, 10] [1, 15, 2, 11] 16747 242669 12700 262234 591731 113243 404020 284218 136427 38287 44200 76208 [1, 15, 8, 11] 109243 12833 3800 60028 818273 174547 356770 417008 [1, 7, 3, 14] 439019 332152 108087 305495 [2, 10, 7, 9] [2, 11, 4, 12] [2, 11, 7, 9] 2957980 1748992 468557 2308737 [2, 14, 3, 7] [2, 14, 5, 7] [2, 14, 6, 7] [2, 14, 7, 10] [2, 14, 7, 12] [2, 14, 7, 13] [2, 14, 9, 10] 959575 602221 165566 770822 [2, 14, 9, 13] [2, 5, 4, 12] 1304 4126 4075 2327 [2, 7, 11, 14] [3, 13, 4, 6] [3, 4, 8, 11] [4, 12, 6, 7] 93671 28107 84754 30230 [4, 14, 7, 13] [4, 7, 6, 14] [5, 14, 7, 9] 1943732 493862 984595 1643257 [6, 10, 12, 13] 27215 22985 26664 5998 240525 27011 12314 198262 [6, 14, 7, 15] [6, 7, 10, 12] 1595 814 113 1367 935 2858 1165 2479 [6, 7, 8, 14] [7, 11, 13, 14] [7, 13, 14, 15] [7, 8, 10, 14] [7, 9, 10, 14] [7, 9, 13, 14] [7, 9, 8, 11] 17 [2, 2] [2, 2, 7, 11] [4, 11, 10, 10] 148879 53538 119731 14529 148879 53538 14529 119731 [4, 4, 11, 13] 224865 2639719 2049201 376219 1668661 1272265 324881 1335627 [4, 4, 7, 13] 24881 25128 18145 20661 25128 24881 18145 20661 [4, 6, 11, 11] [7, 7, 11, 12] [8, 8, 10, 15] [8, 8, 11, 13] 6529 8580 155 8169 [8, 8, 11, 14] 18 [2] [1, 12, 3, 14] [1, 14, 4, 13] [2, 11, 8, 10] 1767 862 1337 165 2107 3126 11 3231 11313 4822 4073 7773 [2, 14, 8, 13] 3387 2291 164 2658 [2, 3, 7, 12] 2718 3089 2715 635 [2, 3, 8, 11] 1216988 924293 384555 873425 [3, 13, 12, 14] [3, 14, 4, 12] [3, 4, 11, 12] [3, 7, 11, 12] 25 [4, 2] [1, 4, 3, 14] [1, 4, 6, 11] [2, 8, 11, 13] [2, 8, 11, 15] 759389 135099 358775 424157 [2, 8, 3, 15] [2, 8, 5, 11] 4428912 3335126 1099539 3552505 1315404 988742 1272177 470035 1311878 1614416 1415335 1382675 [2, 8, 5, 13] [2, 8, 7, 11] 32445 20922 13597 23767 37 [2, 2] [2, 14, 4, 9] 38 [2] [1, 14, 8, 9] [2, 9, 4, 14] [4, 8, 7, 9] [4, 8, 9, 11] [4, 8, 9, 15] 41 [2, 2] [1, 9, 4, 13] 3955 3086 687 3005 42 [2, 2, 2] [4, 4, 7, 9] [4, 4, 9, 11] 56 [4] [1, 2, 8, 11] 3213 587 1857 1015 24167 2763 14231 5875 64307 28629 38887 10825 [1, 8, 4, 13] 3730667 1735542 2189289 1913815 [2, 14, 8, 9] [2, 3, 6, 12] 735 4342 2397 2917 160887 451082 377235 135455 57 [2, 2] [2, 2, 7, 9] [2, 2, 9, 11] [7, 12, 14, 14] [7, 9, 14, 14] 89855 66941 82130 7552 89855 66941 7552 82130 [8, 8, 9, 11] [8, 8, 9, 13] 61 [4, 2] [1, 4, 8, 13] 7957 41635 9527 30969 [2, 8, 7, 9] [3, 12, 6, 10] [3, 12, 6, 13] 64 [2] [4, 12, 9, 10] 99071 356615 88962 373160 72 [4] [4, 6, 9, 13] 135 [2, 2] [2, 4, 9, 9] 142 [4, 2, 2] [1, 4, 8, 9] 172 [2] [4, 14, 7, 9] [4, 7, 9, 14] 228 [2, 2, 2] [4, 9, 8, 8] 241 [2] [7, 8, 9, 14] 5145 18832 11843 15623 260 [2] [1, 1, 6, 12] [2, 4, 11, 11] [3, 6, 11, 11] [3, 6, 8, 8] [6, 12, 11, 11] 263 [] [2, 14, 7, 8] 3367 1275 954 2450 9137 3555 5058 6170 27607 53755 2962 61980 [3, 14, 7, 12] 14333 132 10041 8245 51001 13458 18333 35915 150715 37776 99567 92761 [3, 7, 12, 14] 695827 2215287 1896995 998025 1116485 269121 345539 754095 330 [2, 2] [4, 9, 10, 15] 336 [2] [4, 12, 10, 15] 373 [2, 2] [2, 8, 13, 13] 995 1227 1115 71 277575 326921 117017 296755 336725 198409 232205 70143 546 [8] [2, 9, 6, 12]