1 [2] [1, 13, 6, 11] 2569 1570 2111 745 [1, 14, 6, 11] [1, 15, 10, 11] [1, 15, 11, 13] [1, 15, 11, 14] [1, 15, 7, 11] [1, 7, 5, 12] [1, 7, 6, 11] [11, 14, 12, 15] [2, 10, 7, 11] [2, 11, 12, 15] [2, 11, 3, 15] [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] [2, 3, 7, 11] [2, 6, 5, 11] [2, 6, 5, 13] [2, 6, 7, 11] [2, 6, 7, 15] [2, 7, 10, 15] [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 [3, 7, 4, 15] [3, 7, 8, 11] [3, 8, 13, 14] [4, 11, 7, 13] [4, 12, 11, 13] [4, 12, 11, 14] [4, 12, 5, 14] [4, 12, 7, 10] [4, 15, 6, 14] [4, 5, 11, 14] [4, 5, 12, 13] [4, 5, 6, 14] [4, 6, 11, 15] [4, 7, 6, 10] [5, 11, 6, 7] [5, 11, 6, 8] [5, 11, 7, 13] [5, 11, 8, 12] 569 1995 2156 632 [6, 10, 7, 11] [6, 8, 11, 13] 3596 7663 2899 6801 [7, 10, 11, 12] [7, 13, 8, 15] [7, 8, 11, 13] [7, 9, 10, 15] [7, 9, 11, 13] [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] [2, 9, 12, 15] [2, 9, 13, 14] [3, 6, 11, 14] [3, 6, 8, 14] [4, 8, 11, 13] [4, 8, 13, 15] [4, 8, 7, 13] [5, 11, 6, 12] 441 5637 4408 5210 [6, 12, 7, 15] [7, 14, 11, 12] [8, 9, 10, 14] [8, 9, 11, 13] [8, 9, 11, 14] 15 [2] [1, 14, 7, 10] [1, 15, 2, 11] [1, 15, 8, 11] [1, 7, 3, 14] [2, 10, 7, 9] [2, 11, 4, 12] [2, 11, 7, 9] [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] [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] [4, 14, 7, 13] [4, 7, 6, 14] [5, 14, 7, 9] [6, 10, 12, 13] [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] [4, 4, 11, 13] [4, 4, 7, 13] [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 [2, 14, 8, 13] 3387 2291 164 2658 [2, 3, 7, 12] 2718 3089 2715 635 [2, 3, 8, 11] [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] [2, 8, 3, 15] [2, 8, 5, 11] [2, 8, 5, 13] [2, 8, 7, 11] 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 [1, 8, 4, 13] [2, 14, 8, 9] [2, 3, 6, 12] 735 4342 2397 2917 57 [2, 2] [2, 2, 7, 9] [2, 2, 9, 11] [7, 12, 14, 14] [7, 9, 14, 14] [8, 8, 9, 11] [8, 8, 9, 13] 61 [4, 2] [1, 4, 8, 13] [2, 8, 7, 9] [3, 12, 6, 10] [3, 12, 6, 13] 64 [2] [4, 12, 9, 10] 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] 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 [3, 14, 7, 12] [3, 7, 12, 14] 330 [2, 2] [4, 9, 10, 15] 336 [2] [4, 12, 10, 15] 373 [2, 2] [2, 8, 13, 13] 995 1227 1115 71 546 [8] [2, 9, 6, 12]