p cnf 147 915
-1 25 0
-25 26 0
-2 -25 27 0
-27 28 0
-3 -27 29 0
-29 30 0
-4 -29 31 0
-31 32 0
-5 -31 33 0
-33 34 0
-6 -33 35 0
-35 36 0
-7 -35 37 0
-37 38 0
-8 -37 0
-2 26 0
-26 39 0
-3 -26 28 0
-28 40 0
-4 -28 30 0
-30 41 0
-5 -30 32 0
-32 42 0
-6 -32 34 0
-34 43 0
-7 -34 36 0
-36 44 0
-8 -36 38 0
-38 45 0
-9 -38 0
-3 39 0
-39 46 0
-4 -39 40 0
-40 47 0
-5 -40 41 0
-41 48 0
-6 -41 42 0
-42 49 0
-7 -42 43 0
-43 50 0
-8 -43 44 0
-44 51 0
-9 -44 45 0
-45 52 0
-10 -45 0
-4 46 0
-46 53 0
-5 -46 47 0
-47 54 0
-6 -47 48 0
-48 55 0
-7 -48 49 0
-49 56 0
-8 -49 50 0
-50 57 0
-9 -50 51 0
-51 58 0
-10 -51 52 0
-52 59 0
-11 -52 0
-5 53 0
-53 60 0
-6 -53 54 0
-54 61 0
-7 -54 55 0
-55 62 0
-8 -55 56 0
-56 63 0
-9 -56 57 0
-57 64 0
-10 -57 58 0
-58 65 0
-11 -58 59 0
-59 66 0
-12 -59 0
-6 60 0
-60 67 0
-7 -60 61 0
-61 68 0
-8 -61 62 0
-62 69 0
-9 -62 63 0
-63 70 0
-10 -63 64 0
-64 71 0
-11 -64 65 0
-65 72 0
-12 -65 66 0
-66 73 0
-13 -66 0
-7 67 0
-67 74 0
-8 -67 68 0
-68 75 0
-9 -68 69 0
-69 76 0
-10 -69 70 0
-70 77 0
-11 -70 71 0
-71 78 0
-12 -71 72 0
-72 79 0
-13 -72 73 0
-73 80 0
-14 -73 0
-8 74 0
-74 81 0
-9 -74 75 0
-75 82 0
-10 -75 76 0
-76 83 0
-11 -76 77 0
-77 84 0
-12 -77 78 0
-78 85 0
-13 -78 79 0
-79 86 0
-14 -79 80 0
-80 87 0
-15 -80 0
-9 81 0
-81 88 0
-10 -81 82 0
-82 89 0
-11 -82 83 0
-83 90 0
-12 -83 84 0
-84 91 0
-13 -84 85 0
-85 92 0
-14 -85 86 0
-86 93 0
-15 -86 87 0
-87 94 0
-16 -87 0
-10 88 0
-88 95 0
-11 -88 89 0
-89 96 0
-12 -89 90 0
-90 97 0
-13 -90 91 0
-91 98 0
-14 -91 92 0
-92 99 0
-15 -92 93 0
-93 100 0
-16 -93 94 0
-94 101 0
-17 -94 0
-11 95 0
-95 102 0
-12 -95 96 0
-96 103 0
-13 -96 97 0
-97 104 0
-14 -97 98 0
-98 105 0
-15 -98 99 0
-99 106 0
-16 -99 100 0
-100 107 0
-17 -100 101 0
-101 108 0
-18 -101 0
-12 102 0
-102 109 0
-13 -102 103 0
-103 110 0
-14 -103 104 0
-104 111 0
-15 -104 105 0
-105 112 0
-16 -105 106 0
-106 113 0
-17 -106 107 0
-107 114 0
-18 -107 108 0
-108 115 0
-19 -108 0
-13 109 0
-109 116 0
-14 -109 110 0
-110 117 0
-15 -110 111 0
-111 118 0
-16 -111 112 0
-112 119 0
-17 -112 113 0
-113 120 0
-18 -113 114 0
-114 121 0
-19 -114 115 0
-115 122 0
-20 -115 0
-14 116 0
-116 123 0
-15 -116 117 0
-117 124 0
-16 -117 118 0
-118 125 0
-17 -118 119 0
-119 126 0
-18 -119 120 0
-120 127 0
-19 -120 121 0
-121 128 0
-20 -121 122 0
-122 129 0
-21 -122 0
-15 123 0
-123 130 0
-16 -123 124 0
-124 131 0
-17 -124 125 0
-125 132 0
-18 -125 126 0
-126 133 0
-19 -126 127 0
-127 134 0
-20 -127 128 0
-128 135 0
-21 -128 129 0
-129 136 0
-22 -129 0
-16 130 0
-130 137 0
-17 -130 131 0
-131 138 0
-18 -131 132 0
-132 139 0
-19 -132 133 0
-133 140 0
-20 -133 134 0
-134 141 0
-21 -134 135 0
-135 142 0
-22 -135 136 0
-136 143 0
-23 -136 0
-17 137 0
-18 -137 138 0
-19 -138 139 0
-20 -139 140 0
-21 -140 141 0
-22 -141 142 0
-23 -142 143 0
-24 -143 0
-144 1 0
-144 -13 0
-144 2 0
-144 12 0
-145 1 0
-145 -2 0
-145 12 0
-145 13 0
-146 13 0
-146 -1 0
-146 18 0
-146 20 0
-147 13 0
-147 -18 0
-147 1 0
-147 20 0
144 145 146 147 0
2 5 6 8 11 12 15 16 19 21 22 23 0
2 3 6 8 9 12 15 16 17 19 22 23 0
1 3 6 7 9 12 16 17 20 22 23 24 0
1 3 4 7 9 10 16 17 18 20 23 24 0
1 2 4 7 8 10 13 17 18 21 23 24 0
2 4 5 8 10 11 13 17 18 19 21 24 0
2 3 5 8 9 11 13 14 18 19 22 24 0
3 5 6 9 11 12 13 14 18 19 20 22 0
3 4 6 9 10 12 13 14 15 19 20 23 0
1 4 6 7 10 12 14 15 19 20 21 23 0
1 4 5 7 10 11 14 15 16 20 21 24 0
1 2 5 7 8 11 15 16 20 21 22 24 0
2 5 6 8 11 12 13 15 16 17 21 22 0
2 3 6 8 9 12 13 16 17 21 22 23 0
1 3 6 7 9 12 14 16 17 18 22 23 0
1 3 4 7 9 10 14 17 18 22 23 24 0
1 2 4 7 8 10 15 17 18 19 23 24 0
2 4 5 8 10 11 13 15 18 19 23 24 0
2 3 5 8 9 11 13 16 18 19 20 24 0
3 5 6 9 11 12 13 14 16 19 20 24 0
3 4 6 9 10 12 13 14 17 19 20 21 0
1 4 6 7 10 12 13 14 15 17 20 21 0
1 4 5 7 10 11 14 15 18 20 21 22 0
1 2 5 7 8 11 14 15 16 18 21 22 0
2 5 6 8 10 12 15 16 19 21 23 24 0
2 4 6 8 9 12 14 15 17 19 22 23 0
1 3 6 7 9 11 13 16 17 20 22 24 0
1 3 5 7 9 10 15 16 18 20 23 24 0
2 4 7 8 10 12 13 14 17 18 21 23 0
2 4 6 8 10 11 13 16 17 19 21 24 0
1 3 5 8 9 11 14 15 18 19 22 24 0
3 5 7 9 11 12 13 14 17 18 20 22 0
2 4 6 9 10 12 13 15 16 19 20 23 0
1 4 6 8 10 12 14 15 18 19 21 23 0
1 3 5 7 10 11 14 16 17 20 21 24 0
1 2 5 7 9 11 15 16 19 20 22 24 0
2 4 6 8 11 12 13 15 17 18 21 22 0
2 3 6 8 10 12 13 16 17 20 21 23 0
1 3 5 7 9 12 14 16 18 19 22 23 0
1 3 4 7 9 11 14 17 18 21 22 24 0
1 2 4 6 8 10 15 17 19 20 23 24 0
2 4 5 8 10 12 13 15 18 19 22 23 0
2 3 5 7 9 11 13 16 18 20 21 24 0
1 3 5 6 9 11 14 16 19 20 23 24 0
3 4 6 8 10 12 13 14 17 19 21 22 0
2 4 6 7 10 12 13 15 17 20 21 24 0
1 4 5 7 9 11 14 15 18 20 22 23 0
1 3 5 7 8 11 13 14 16 18 21 22 0
2 5 7 8 11 12 15 16 21 22 24 0
2 3 6 7 9 12 14 16 17 22 23 0
1 3 6 8 9 12 13 16 17 22 23 0
1 3 4 7 8 10 15 17 18 23 24 0
1 2 4 7 9 10 14 17 18 23 24 0
2 4 5 8 9 11 13 16 18 19 24 0
2 3 5 8 10 11 13 15 18 19 24 0
3 5 6 9 10 12 13 14 17 19 20 0
3 4 6 9 11 12 13 14 16 19 20 0
1 4 6 7 10 11 14 15 18 20 21 0
1 4 5 7 10 12 14 15 17 20 21 0
2 5 7 8 11 12 15 16 19 21 22 0
1 2 5 6 8 11 15 16 18 21 22 0
1 3 6 8 9 12 16 17 20 22 23 0
2 3 6 7 9 12 16 17 19 22 23 0
1 2 4 7 9 10 17 18 21 23 24 0
1 3 4 7 8 10 17 18 20 23 24 0
2 3 5 8 10 11 13 18 19 22 24 0
2 4 5 8 9 11 13 18 19 21 24 0
3 4 6 9 11 12 13 14 19 20 23 0
3 5 6 9 10 12 13 14 19 20 22 0
1 4 5 7 10 12 14 15 20 21 24 0
1 4 6 7 10 11 14 15 20 21 23 0
1 2 5 6 8 11 13 15 16 21 22 0
2 5 7 8 10 11 12 15 16 21 24 0
2 3 4 6 7 9 12 14 17 22 23 0
1 3 6 8 9 11 12 13 16 17 22 0
1 3 4 5 7 8 10 15 18 23 24 0
1 2 4 7 9 10 12 14 17 18 23 0
2 4 5 6 8 9 11 13 16 19 24 0
1 2 3 5 8 10 11 15 18 19 24 0
3 5 6 7 9 10 12 13 14 17 20 0
2 3 4 6 9 11 12 13 16 19 20 0
1 4 6 7 8 10 11 14 15 18 21 0
1 3 4 5 7 10 12 14 17 20 21 0
2 5 7 8 9 11 12 15 16 19 22 0
1 2 4 5 6 8 11 15 18 21 22 0
1 3 6 8 9 10 12 16 17 20 23 0
2 3 5 6 7 9 12 16 19 22 23 0
1 2 4 7 9 10 11 17 18 21 24 0
1 3 4 6 7 8 10 17 20 23 24 0
2 3 5 8 10 11 12 13 18 19 22 0
2 4 5 7 8 9 11 13 18 21 24 0
1 3 4 6 9 11 12 14 19 20 23 0
3 5 6 8 9 10 12 13 14 19 22 0
1 2 4 5 7 10 12 15 20 21 24 0
1 4 6 7 9 10 11 14 15 20 23 0
1 2 3 5 6 8 11 13 16 21 22 0
2 5 7 8 10 11 12 14 15 16 24 0
2 3 4 6 7 9 12 14 22 23 24 0
1 3 6 8 9 11 12 13 15 16 17 0
1 3 4 5 7 8 10 13 15 23 24 0
1 2 4 7 9 10 12 14 16 17 18 0
2 4 5 6 8 9 11 13 14 16 24 0
1 2 3 5 8 10 11 15 17 18 19 0
3 5 6 7 9 10 12 13 14 15 17 0
2 3 4 6 9 11 12 16 18 19 20 0
1 4 6 7 8 10 11 14 15 16 18 0
1 3 4 5 7 10 12 17 19 20 21 0
2 5 7 8 9 11 12 15 16 17 19 0
1 2 4 5 6 8 11 18 20 21 22 0
1 3 6 8 9 10 12 16 17 18 20 0
2 3 5 6 7 9 12 19 21 22 23 0
1 2 4 7 9 10 11 17 18 19 21 0
1 3 4 6 7 8 10 20 22 23 24 0
2 3 5 8 10 11 12 18 19 20 22 0
2 4 5 7 8 9 11 13 21 23 24 0
1 3 4 6 9 11 12 19 20 21 23 0
3 5 6 8 9 10 12 13 14 22 24 0
1 2 4 5 7 10 12 20 21 22 24 0
1 4 6 7 9 10 11 13 14 15 23 0
1 2 3 5 6 8 11 13 21 22 23 0
2 3 5 7 8 9 10 12 14 15 24 0
2 4 5 6 7 9 11 12 14 23 24 0
1 3 4 6 8 9 10 11 13 15 16 0
1 3 5 6 7 8 10 12 13 15 24 0
2 4 5 7 9 10 11 12 14 16 17 0
1 2 4 6 7 8 9 11 13 14 16 0
1 3 5 6 8 10 11 12 15 17 18 0
2 3 5 7 8 9 10 12 14 15 17 0
1 2 4 6 7 9 11 12 16 18 19 0
1 3 4 6 8 9 10 11 15 16 18 0
1 2 3 5 7 8 10 12 17 19 20 0
2 4 5 7 9 10 11 12 16 17 19 0
1 2 3 4 6 8 9 11 18 20 21 0
1 3 5 6 8 10 11 12 17 18 20 0
2 3 4 5 7 9 10 12 19 21 22 0
1 2 4 6 7 9 11 12 18 19 21 0
1 3 4 5 6 8 10 11 20 22 23 0
1 2 3 5 7 8 10 12 19 20 22 0
2 4 5 6 7 9 11 12 21 23 24 0
1 2 3 4 6 8 9 11 20 21 23 0
1 3 5 6 7 8 10 12 13 22 24 0
2 3 4 5 7 9 10 12 21 22 24 0
1 2 4 6 7 8 9 11 13 14 23 0
1 3 4 5 6 8 10 11 13 22 23 0
2 4 5 7 9 11 12 16 21 24 0
2 3 5 7 9 10 12 14 17 22 0
1 3 5 6 8 10 12 13 17 22 0
1 3 4 6 8 10 11 15 18 23 0
1 2 4 6 7 9 11 14 18 23 0
2 4 5 7 9 11 12 16 19 24 0
2 3 5 7 8 10 12 15 19 24 0
1 3 5 6 8 10 12 13 17 20 0
1 3 4 6 8 9 11 13 16 20 0
1 2 4 6 7 9 11 14 18 21 0
2 4 5 7 9 10 12 14 17 21 0
2 3 5 7 8 10 12 15 19 22 0
1 3 5 6 8 10 11 15 18 22 0
1 3 4 6 8 9 11 16 20 23 0
2 4 6 7 9 11 12 16 19 23 0
2 4 5 7 9 10 12 17 21 24 0
1 3 5 7 8 10 12 17 20 24 0
1 3 5 6 8 10 11 13 18 22 0
1 2 4 6 8 9 11 13 18 21 0
2 4 6 7 9 11 12 14 19 23 0
2 3 5 7 9 10 12 14 19 22 0
1 3 5 7 8 10 12 15 20 24 0
1 3 4 6 8 10 11 15 20 23 0
1 2 4 6 8 9 11 13 16 21 0
3 5 6 7 9 10 14 21 22 23 0
4 5 7 8 9 11 15 16 17 24 0
4 6 7 8 10 11 15 22 23 24 0
5 6 8 9 10 12 13 16 17 18 0
5 7 8 9 11 12 13 16 23 24 0
1 6 7 9 10 11 14 17 18 19 0
1 6 8 9 10 12 13 14 17 24 0
2 7 8 10 11 12 15 18 19 20 0
1 2 7 9 10 11 13 14 15 18 0
1 3 8 9 11 12 16 19 20 21 0
2 3 8 10 11 12 14 15 16 19 0
1 2 4 9 10 12 17 20 21 22 0
1 3 4 9 11 12 15 16 17 20 0
1 2 3 5 10 11 18 21 22 23 0
1 2 4 5 10 12 16 17 18 21 0
2 3 4 6 11 12 19 22 23 24 0
1 2 3 5 6 11 17 18 19 22 0
1 3 4 5 7 12 13 20 23 24 0
2 3 4 6 7 12 18 19 20 23 0
1 2 4 5 6 8 13 14 21 24 0
1 3 4 5 7 8 19 20 21 24 0
2 3 5 6 7 9 13 14 15 22 0
2 4 5 6 8 9 13 20 21 22 0
3 4 6 7 8 10 14 15 16 23 0
3 4 5 7 8 9 14 15 21 22 0
5 6 7 9 10 11 16 17 23 24 0
4 5 6 8 9 10 15 16 22 23 0
6 7 8 10 11 12 13 17 18 24 0
1 7 8 9 11 12 13 14 18 19 0
1 2 8 9 10 12 14 15 19 20 0
1 2 3 9 10 11 15 16 20 21 0
2 3 4 10 11 12 16 17 21 22 0
1 3 4 5 11 12 17 18 22 23 0
1 2 4 5 6 12 18 19 23 24 0
1 2 3 5 6 7 13 19 20 24 0
2 3 4 6 7 8 13 14 20 21 0
2 6 8 11 12 15 17 21 22 23 0
2 3 6 8 12 15 16 17 21 23 0
1 3 7 9 12 16 18 22 23 24 0
1 3 4 7 9 16 17 18 22 24 0
1 2 4 8 10 13 17 19 23 24 0
2 4 5 8 10 13 17 18 19 23 0
2 3 5 9 11 13 14 18 20 24 0
3 5 6 9 11 14 18 19 20 24 0
3 4 6 10 12 13 14 15 19 21 0
4 6 7 10 12 13 15 19 20 21 0
1 4 5 7 11 14 15 16 20 22 0
1 5 7 8 11 14 16 20 21 22 0
2 5 6 8 12 15 16 17 21 23 0
2 6 8 9 12 15 17 21 22 23 0
1 3 6 7 9 16 17 18 22 24 0
1 3 7 9 10 16 18 22 23 24 0
2 4 7 8 10 13 17 18 19 23 0
2 4 8 10 11 13 17 19 23 24 0
3 5 8 9 11 14 18 19 20 24 0
3 5 9 11 12 13 14 18 20 24 0
4 6 9 10 12 13 15 19 20 21 0
1 4 6 10 12 13 14 15 19 21 0
1 5 7 10 11 14 16 20 21 22 0
1 2 5 7 11 14 15 16 20 22 0
2 4 6 8 10 12 15 19 23 0
1 3 5 7 9 11 16 20 24 0
2 4 6 8 10 12 13 17 21 0
1 3 5 7 9 11 14 18 22 0
3 4 5 7 9 14 17 19 21 22 0
5 7 9 10 11 16 17 19 21 24 0
4 5 6 8 10 15 18 20 22 23 0
6 8 10 11 12 13 17 18 20 22 0
5 6 7 9 11 16 19 21 23 24 0
1 7 9 11 12 14 18 19 21 23 0
6 7 8 10 12 13 17 20 22 24 0
1 2 8 10 12 15 19 20 22 24 0
1 7 8 9 11 13 14 18 21 23 0
1 2 3 9 11 13 16 20 21 23 0
2 8 9 10 12 14 15 19 22 24 0
2 3 4 10 12 14 17 21 22 24 0
1 3 9 10 11 13 15 16 20 23 0
1 3 4 5 11 13 15 18 22 23 0
2 4 10 11 12 14 16 17 21 24 0
2 4 5 6 12 14 16 19 23 24 0
1 3 5 11 12 13 15 17 18 22 0
1 3 5 6 7 13 15 17 20 24 0
1 2 4 6 12 14 16 18 19 23 0
2 4 6 7 8 13 14 16 18 21 0
1 2 3 5 7 15 17 19 20 24 0
3 5 7 8 9 14 15 17 19 22 0
2 3 4 6 8 13 16 18 20 21 0
4 6 8 9 10 15 16 18 20 23 0
3 5 7 9 11 14 16 22 24 0
4 6 8 10 12 13 15 17 23 0
1 5 7 9 11 14 16 18 24 0
2 6 8 10 12 13 15 17 19 0
1 3 7 9 11 14 16 18 20 0
2 4 8 10 12 15 17 19 21 0
1 3 5 9 11 16 18 20 22 0
2 4 6 10 12 17 19 21 23 0
1 3 5 7 11 18 20 22 24 0
2 4 6 8 12 13 19 21 23 0
1 3 5 7 9 14 20 22 24 0
2 4 6 8 10 13 15 21 23 0
3 4 5 7 8 14 15 17 19 21 0
6 7 9 10 11 17 19 21 23 24 0
4 5 6 8 9 15 16 18 20 22 0
7 8 10 11 12 13 18 20 22 24 0
5 6 7 9 10 16 17 19 21 23 0
1 8 9 11 12 13 14 19 21 23 0
6 7 8 10 11 17 18 20 22 24 0
1 2 9 10 12 14 15 20 22 24 0
7 8 9 11 12 13 18 19 21 23 0
1 2 3 10 11 13 15 16 21 23 0
1 8 9 10 12 14 19 20 22 24 0
2 3 4 11 12 14 16 17 22 24 0
1 2 9 10 11 13 15 20 21 23 0
1 3 4 5 12 13 15 17 18 23 0
2 3 10 11 12 14 16 21 22 24 0
1 2 4 5 6 14 16 18 19 24 0
1 3 4 11 12 13 15 17 22 23 0
2 3 5 6 7 13 15 17 19 20 0
1 2 4 5 12 14 16 18 23 24 0
3 4 6 7 8 14 16 18 20 21 0
1 2 3 5 6 13 15 17 19 24 0
4 5 7 8 9 15 17 19 21 22 0
2 3 4 6 7 13 14 16 18 20 0
5 6 8 9 10 16 18 20 22 23 0
3 5 7 8 10 11 14 15 16 24 0
3 4 6 7 9 11 14 22 23 24 0
4 6 8 9 11 12 13 15 16 17 0
4 5 7 8 10 12 13 15 23 24 0
1 5 7 9 10 12 14 16 17 18 0
1 5 6 8 9 11 13 14 16 24 0
1 2 6 8 10 11 15 17 18 19 0
2 6 7 9 10 12 13 14 15 17 0
2 3 7 9 11 12 16 18 19 20 0
1 3 7 8 10 11 14 15 16 18 0
1 3 4 8 10 12 17 19 20 21 0
2 4 8 9 11 12 15 16 17 19 0
1 2 4 5 9 11 18 20 21 22 0
1 3 5 9 10 12 16 17 18 20 0
2 3 5 6 10 12 19 21 22 23 0
1 2 4 6 10 11 17 18 19 21 0
1 3 4 6 7 11 20 22 23 24 0
2 3 5 7 11 12 18 19 20 22 0
2 4 5 7 8 12 13 21 23 24 0
1 3 4 6 8 12 19 20 21 23 0
1 3 5 6 8 9 13 14 22 24 0
1 2 4 5 7 9 20 21 22 24 0
2 4 6 7 9 10 13 14 15 23 0
2 3 5 6 8 10 13 21 22 23 0
4 5 7 8 11 15 16 19 21 22 24 0
3 6 7 9 10 14 16 17 19 22 23 0
5 6 8 9 12 13 16 17 20 22 23 0
4 7 8 10 11 15 17 18 20 23 24 0
1 6 7 9 10 14 17 18 21 23 24 0
5 8 9 11 12 13 16 18 19 21 24 0
2 7 8 10 11 13 15 18 19 22 24 0
1 6 9 10 12 13 14 17 19 20 22 0
3 8 9 11 12 13 14 16 19 20 23 0
1 2 7 10 11 14 15 18 20 21 23 0
1 4 9 10 12 14 15 17 20 21 24 0
2 3 8 11 12 15 16 19 21 22 24 0
1 2 5 10 11 13 15 16 18 21 22 0
1 3 4 9 12 13 16 17 20 22 23 0
2 3 6 11 12 14 16 17 19 22 23 0
1 2 4 5 10 14 17 18 21 23 24 0
1 3 4 7 12 15 17 18 20 23 24 0
2 3 5 6 11 13 15 18 19 22 24 0
1 2 4 5 8 13 16 18 19 21 24 0
3 4 6 7 12 13 14 16 19 20 23 0
2 3 5 6 9 13 14 17 19 20 22 0
1 4 5 7 8 14 15 17 20 21 24 0
3 4 6 7 10 14 15 18 20 21 23 0
2 5 6 8 9 13 15 16 18 21 22 0
3 5 6 8 10 11 14 15 21 23 24 0
3 4 6 8 9 11 14 15 17 23 24 0
4 6 7 9 11 12 13 15 16 22 24 0
4 5 7 9 10 12 13 15 16 18 24 0
1 5 7 8 10 12 13 14 16 17 23 0
1 5 6 8 10 11 13 14 16 17 19 0
1 2 6 8 9 11 14 15 17 18 24 0
2 6 7 9 11 12 14 15 17 18 20 0
2 3 7 9 10 12 13 15 16 18 19 0
1 3 7 8 10 12 15 16 18 19 21 0
1 3 4 8 10 11 14 16 17 19 20 0
1 2 4 8 9 11 16 17 19 20 22 0
2 4 5 9 11 12 15 17 18 20 21 0
2 3 5 9 10 12 17 18 20 21 23 0
1 3 5 6 10 12 16 18 19 21 22 0
1 3 4 6 10 11 18 19 21 22 24 0
1 2 4 6 7 11 17 19 20 22 23 0
2 4 5 7 11 12 13 19 20 22 23 0
2 3 5 7 8 12 18 20 21 23 24 0
1 3 5 6 8 12 14 20 21 23 24 0
1 3 4 6 8 9 13 19 21 22 24 0
1 2 4 6 7 9 13 15 21 22 24 0
2 4 5 7 9 10 13 14 20 22 23 0
2 3 5 7 8 10 13 14 16 22 23 0
3 6 8 11 14 15 16 17 21 22 23 24 0
4 7 9 12 13 15 16 17 18 22 23 24 0
1 5 8 10 13 14 16 17 18 19 23 24 0
2 6 9 11 13 14 15 17 18 19 20 24 0
3 7 10 12 13 14 15 16 18 19 20 21 0
1 4 8 11 14 15 16 17 19 20 21 22 0
2 5 9 12 15 16 17 18 20 21 22 23 0
1 3 6 10 16 17 18 19 21 22 23 24 0
2 4 7 11 13 17 18 19 20 22 23 24 0
3 5 8 12 13 14 18 19 20 21 23 24 0
1 4 6 9 13 14 15 19 20 21 22 24 0
2 5 7 10 13 14 15 16 20 21 22 23 0
4 6 8 10 15 17 19 21 23 0
5 7 9 11 16 18 20 22 24 0
6 8 10 12 13 17 19 21 23 0
1 7 9 11 14 18 20 22 24 0
2 8 10 12 13 15 19 21 23 0
1 3 9 11 14 16 20 22 24 0
2 4 10 12 13 15 17 21 23 0
1 3 5 11 14 16 18 22 24 0
2 4 6 12 13 15 17 19 23 0
1 3 5 7 14 16 18 20 24 0
2 4 6 8 13 15 17 19 21 0
3 5 7 9 14 16 18 20 22 0
3 6 11 14 16 17 19 22 23 24 0
3 8 11 14 15 16 19 21 22 24 0
4 7 12 13 15 17 18 20 23 24 0
4 9 12 13 15 16 17 20 22 23 0
1 5 8 13 14 16 18 19 21 24 0
1 5 10 14 16 17 18 21 23 24 0
2 6 9 13 14 15 17 19 20 22 0
2 6 11 13 15 17 18 19 22 24 0
3 7 10 14 15 16 18 20 21 23 0
3 7 12 13 14 16 18 19 20 23 0
4 8 11 15 16 17 19 21 22 24 0
1 4 8 14 15 17 19 20 21 24 0
5 9 12 13 16 17 18 20 22 23 0
2 5 9 13 15 16 18 20 21 22 0
1 6 10 14 17 18 19 21 23 24 0
3 6 10 14 16 17 19 21 22 23 0
2 7 11 13 15 18 19 20 22 24 0
4 7 11 15 17 18 20 22 23 24 0
3 8 12 13 14 16 19 20 21 23 0
5 8 12 13 16 18 19 21 23 24 0
1 4 9 14 15 17 20 21 22 24 0
1 6 9 13 14 17 19 20 22 24 0
2 5 10 13 15 16 18 21 22 23 0
2 7 10 13 14 15 18 20 21 23 0
5 6 10 11 16 17 19 21 23 24 0
3 4 8 9 14 15 17 19 21 22 0
6 7 11 12 13 17 18 20 22 24 0
4 5 9 10 15 16 18 20 22 23 0
1 7 8 12 13 14 18 19 21 23 0
1 2 8 9 14 15 19 20 22 24 0
2 3 9 10 13 15 16 20 21 23 0
3 4 10 11 14 16 17 21 22 24 0
4 5 11 12 13 15 17 18 22 23 0
1 5 6 12 14 16 18 19 23 24 0
1 2 6 7 13 15 17 19 20 24 0
2 3 7 8 13 14 16 18 20 21 0
3 5 6 10 11 14 19 21 22 23 24 0
3 4 8 9 11 14 15 16 17 19 24 0
4 6 7 11 12 13 15 20 22 23 24 0
4 5 9 10 12 13 15 16 17 18 20 0
1 5 7 8 12 13 14 16 21 23 24 0
1 5 6 10 11 14 16 17 18 19 21 0
1 2 6 8 9 13 14 15 17 22 24 0
2 6 7 11 12 15 17 18 19 20 22 0
2 3 7 9 10 13 14 15 16 18 23 0
1 3 7 8 12 16 18 19 20 21 23 0
3 4 8 10 11 14 15 16 17 19 24 0
1 2 4 8 9 17 19 20 21 22 24 0
4 5 9 11 12 13 15 16 17 18 20 0
2 3 5 9 10 13 18 20 21 22 23 0
1 5 6 10 12 14 16 17 18 19 21 0
3 4 6 10 11 14 19 21 22 23 24 0
1 2 6 7 11 15 17 18 19 20 22 0
4 5 7 11 12 13 15 20 22 23 24 0
2 3 7 8 12 16 18 19 20 21 23 0
1 5 6 8 12 13 14 16 21 23 24 0
1 3 4 8 9 17 19 20 21 22 24 0
1 2 6 7 9 13 14 15 17 22 24 0
2 4 5 9 10 13 18 20 21 22 23 0
2 3 7 8 10 13 14 15 16 18 23 0
2 5 6 8 11 12 14 15 16 21 22 23 24 0
2 3 6 8 9 12 14 15 16 17 22 23 24 0
1 3 6 7 9 12 13 15 16 17 22 23 24 0
1 3 4 7 9 10 13 15 16 17 18 23 24 0
1 2 4 7 8 10 13 14 16 17 18 23 24 0
2 4 5 8 10 11 13 14 16 17 18 19 24 0
2 3 5 8 9 11 13 14 15 17 18 19 24 0
3 5 6 9 11 12 13 14 15 17 18 19 20 0
3 4 6 9 10 12 13 14 15 16 18 19 20 0
1 4 6 7 10 12 14 15 16 18 19 20 21 0
1 4 5 7 10 11 14 15 16 17 19 20 21 0
1 2 5 7 8 11 15 16 17 19 20 21 22 0
2 5 6 8 11 12 15 16 17 18 20 21 22 0
2 3 6 8 9 12 16 17 18 20 21 22 23 0
1 3 6 7 9 12 16 17 18 19 21 22 23 0
1 3 4 7 9 10 17 18 19 21 22 23 24 0
1 2 4 7 8 10 17 18 19 20 22 23 24 0
2 4 5 8 10 11 13 18 19 20 22 23 24 0
2 3 5 8 9 11 13 18 19 20 21 23 24 0
3 5 6 9 11 12 13 14 19 20 21 23 24 0
3 4 6 9 10 12 13 14 19 20 21 22 24 0
1 4 6 7 10 12 13 14 15 20 21 22 24 0
1 4 5 7 10 11 13 14 15 20 21 22 23 0
1 2 5 7 8 11 13 14 15 16 21 22 23 0
2 3 5 6 8 9 11 12 15 17 21 23 0
1 3 4 6 7 9 10 12 16 18 22 24 0
1 2 4 5 7 8 10 11 13 17 19 23 0
2 3 5 6 8 9 11 12 14 18 20 24 0
1 3 4 6 7 9 10 12 13 15 19 21 0
1 2 4 5 7 8 10 11 14 16 20 22 0
3 5 8 10 14 17 18 19 20 21 23 0
4 6 9 11 15 17 18 19 20 21 24 0
4 6 9 11 15 18 19 20 21 22 24 0
5 7 10 12 13 16 18 19 20 21 22 0
5 7 10 12 13 16 19 20 21 22 23 0
1 6 8 11 14 17 19 20 21 22 23 0
1 6 8 11 14 17 20 21 22 23 24 0
2 7 9 12 15 18 20 21 22 23 24 0
2 7 9 12 13 15 18 21 22 23 24 0
1 3 8 10 13 16 19 21 22 23 24 0
1 3 8 10 13 14 16 19 22 23 24 0
2 4 9 11 13 14 17 20 22 23 24 0
2 4 9 11 13 14 15 17 20 23 24 0
3 5 10 12 13 14 15 18 21 23 24 0
3 5 10 12 13 14 15 16 18 21 24 0
1 4 6 11 13 14 15 16 19 22 24 0
1 4 6 11 13 14 15 16 17 19 22 0
2 5 7 12 13 14 15 16 17 20 23 0
2 5 7 12 14 15 16 17 18 20 23 0
1 3 6 8 14 15 16 17 18 21 24 0
1 3 6 8 15 16 17 18 19 21 24 0
2 4 7 9 13 15 16 17 18 19 22 0
2 4 7 9 13 16 17 18 19 20 22 0
3 5 8 10 14 16 17 18 19 20 23 0
3 6 7 14 15 16 17 18 19 20 0
7 8 11 18 19 20 21 22 23 24 0
4 7 8 15 16 17 18 19 20 21 0
8 9 12 13 19 20 21 22 23 24 0
5 8 9 16 17 18 19 20 21 22 0
1 9 10 13 14 20 21 22 23 24 0
6 9 10 17 18 19 20 21 22 23 0
2 10 11 13 14 15 21 22 23 24 0
7 10 11 18 19 20 21 22 23 24 0
3 11 12 13 14 15 16 22 23 24 0
8 11 12 13 19 20 21 22 23 24 0
1 4 12 13 14 15 16 17 23 24 0
1 9 12 13 14 20 21 22 23 24 0
1 2 5 13 14 15 16 17 18 24 0
1 2 10 13 14 15 21 22 23 24 0
2 3 6 13 14 15 16 17 18 19 0
2 3 11 13 14 15 16 22 23 24 0
3 4 7 14 15 16 17 18 19 20 0
3 4 12 13 14 15 16 17 23 24 0
4 5 8 15 16 17 18 19 20 21 0
1 4 5 13 14 15 16 17 18 24 0
5 6 9 16 17 18 19 20 21 22 0
2 5 6 13 14 15 16 17 18 19 0
6 7 10 17 18 19 20 21 22 23 0
3 4 7 9 10 14 17 18 19 20 23 0
4 5 7 10 11 15 18 19 20 21 24 0
4 5 8 10 11 15 18 19 20 21 24 0
5 6 8 11 12 13 16 19 20 21 22 0
5 6 9 11 12 13 16 19 20 21 22 0
1 6 7 9 12 14 17 20 21 22 23 0
1 6 7 10 12 14 17 20 21 22 23 0
1 2 7 8 10 15 18 21 22 23 24 0
1 2 7 8 11 15 18 21 22 23 24 0
2 3 8 9 11 13 16 19 22 23 24 0
2 3 8 9 12 13 16 19 22 23 24 0
3 4 9 10 12 13 14 17 20 23 24 0
1 3 4 9 10 13 14 17 20 23 24 0
1 4 5 10 11 13 14 15 18 21 24 0
2 4 5 10 11 13 14 15 18 21 24 0
2 5 6 11 12 13 14 15 16 19 22 0
3 5 6 11 12 13 14 15 16 19 22 0
1 3 6 7 12 14 15 16 17 20 23 0
1 4 6 7 12 14 15 16 17 20 23 0
1 2 4 7 8 15 16 17 18 21 24 0
1 2 5 7 8 15 16 17 18 21 24 0
2 3 5 8 9 13 16 17 18 19 22 0
2 3 6 8 9 13 16 17 18 19 22 0
3 4 6 9 10 14 17 18 19 20 23 0
3 4 7 10 11 14 17 18 20 21 24 0
4 5 8 11 12 13 15 18 19 21 22 0
1 5 6 9 12 14 16 19 20 22 23 0
1 2 6 7 10 15 17 20 21 23 24 0
2 3 7 8 11 13 16 18 21 22 24 0
3 4 8 9 12 13 14 17 19 22 23 0
1 4 5 9 10 14 15 18 20 23 24 0
2 5 6 10 11 13 15 16 19 21 24 0
3 6 7 11 12 13 14 16 17 20 22 0
1 4 7 8 12 14 15 17 18 21 23 0
1 2 5 8 9 15 16 18 19 22 24 0
2 3 6 9 10 13 16 17 19 20 23 0
3 4 6 8 11 14 18 20 21 22 24 0
3 6 8 10 11 14 16 17 18 20 24 0
4 5 7 9 12 13 15 19 21 22 23 0
4 7 9 11 12 13 15 17 18 19 21 0
1 5 6 8 10 14 16 20 22 23 24 0
1 5 8 10 12 14 16 18 19 20 22 0
2 6 7 9 11 13 15 17 21 23 24 0
1 2 6 9 11 15 17 19 20 21 23 0
3 7 8 10 12 13 14 16 18 22 24 0
2 3 7 10 12 16 18 20 21 22 24 0
1 4 8 9 11 13 14 15 17 19 23 0
1 3 4 8 11 13 17 19 21 22 23 0
2 5 9 10 12 14 15 16 18 20 24 0
2 4 5 9 12 14 18 20 22 23 24 0
1 3 6 10 11 13 15 16 17 19 21 0
1 3 5 6 10 13 15 19 21 23 24 0
2 4 7 11 12 14 16 17 18 20 22 0
2 4 6 7 11 13 14 16 20 22 24 0
1 3 5 8 12 15 17 18 19 21 23 0
3 5 7 8 12 13 14 15 17 21 23 0
1 2 4 6 9 16 18 19 20 22 24 0
1 4 6 8 9 14 15 16 18 22 24 0
2 3 5 7 10 13 17 19 20 21 23 0
2 5 7 9 10 13 15 16 17 19 23 0
3 5 8 10 11 14 16 18 19 20 22 24 0
3 4 6 9 11 14 16 18 19 20 22 24 0
4 6 9 11 12 13 15 17 19 20 21 23 0
4 5 7 10 12 13 15 17 19 20 21 23 0
1 5 7 10 12 14 16 18 20 21 22 24 0
1 5 6 8 11 14 16 18 20 21 22 24 0
1 2 6 8 11 13 15 17 19 21 22 23 0
2 6 7 9 12 13 15 17 19 21 22 23 0
2 3 7 9 12 14 16 18 20 22 23 24 0
1 3 7 8 10 14 16 18 20 22 23 24 0
1 3 4 8 10 13 15 17 19 21 23 24 0
2 4 8 9 11 13 15 17 19 21 23 24 0
2 4 5 9 11 13 14 16 18 20 22 24 0
3 5 9 10 12 13 14 16 18 20 22 24 0
3 5 6 10 12 13 14 15 17 19 21 23 0
1 4 6 10 11 13 14 15 17 19 21 23 0
1 4 6 7 11 14 15 16 18 20 22 24 0
2 5 7 11 12 14 15 16 18 20 22 24 0
2 5 7 8 12 13 15 16 17 19 21 23 0
1 3 6 8 12 13 15 16 17 19 21 23 0
1 3 6 8 9 14 16 17 18 20 22 24 0
1 2 4 7 9 14 16 17 18 20 22 24 0
2 4 7 9 10 13 15 17 18 19 21 23 0
2 3 5 8 10 13 15 17 18 19 21 23 0
3 7 11 14 16 18 20 22 24 0
4 8 12 13 15 17 19 21 23 0
1 5 9 14 16 18 20 22 24 0
2 6 10 13 15 17 19 21 23 0
3 6 8 9 11 14 15 16 17 18 20 24 0
3 5 6 8 11 14 18 20 21 22 23 24 0
4 7 9 10 12 13 15 16 17 18 19 21 0
4 6 7 9 12 13 15 19 21 22 23 24 0
1 5 8 10 11 14 16 17 18 19 20 22 0
1 5 7 8 10 13 14 16 20 22 23 24 0
2 6 9 11 12 15 17 18 19 20 21 23 0
2 6 8 9 11 13 14 15 17 21 23 24 0
1 3 7 10 12 16 18 19 20 21 22 24 0
3 7 9 10 12 13 14 15 16 18 22 24 0
1 2 4 8 11 13 17 19 20 21 22 23 0
1 4 8 10 11 13 14 15 16 17 19 23 0
2 3 5 9 12 14 18 20 21 22 23 24 0
2 5 9 11 12 14 15 16 17 18 20 24 0
1 3 4 6 10 13 15 19 21 22 23 24 0
1 3 6 10 12 13 15 16 17 18 19 21 0
2 4 5 7 11 13 14 16 20 22 23 24 0
1 2 4 7 11 14 16 17 18 19 20 22 0
3 5 6 8 12 13 14 15 17 21 23 24 0
2 3 5 8 12 15 17 18 19 20 21 23 0
1 4 6 7 9 13 14 15 16 18 22 24 0
1 3 4 6 9 16 18 19 20 21 22 24 0
2 5 7 8 10 13 14 15 16 17 19 23 0
2 4 5 7 10 13 17 19 20 21 22 23 0
3 5 9 11 14 18 20 21 23 24 0
3 5 9 11 14 15 17 18 20 24 0
4 6 10 12 13 15 19 21 22 24 0
4 6 10 12 13 15 16 18 19 21 0
1 5 7 11 13 14 16 20 22 23 0
1 5 7 11 14 16 17 19 20 22 0
2 6 8 12 14 15 17 21 23 24 0
2 6 8 12 15 17 18 20 21 23 0
1 3 7 9 13 15 16 18 22 24 0
1 3 7 9 16 18 19 21 22 24 0
2 4 8 10 13 14 16 17 19 23 0
2 4 8 10 13 17 19 20 22 23 0