einstein.cnf

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