c File: flat50_3_0.col
c
c SOURCE: Joseph Culberson (joe@cs.ualberta.ca)
c DESCRIPTION: Quasi-random coloring problem
c              generated with flatness = 0
c                             probability = 0.139
c                             known coloring = 3
c                             random seed = 2000
c              Creation Date:  Tue Jun  9 12:23:12 1998
c Maximum degree = 8 Minimum degree = 0
c p edge 50 115
c cnf created by edge2cnf
p cnf 150 545
-1 -2 0
-1 -3 0
-2 -3 0
1 2 3 0
-4 -5 0
-4 -6 0
-5 -6 0
4 5 6 0
-7 -8 0
-7 -9 0
-8 -9 0
7 8 9 0
-10 -11 0
-10 -12 0
-11 -12 0
10 11 12 0
-13 -14 0
-13 -15 0
-14 -15 0
13 14 15 0
-16 -17 0
-16 -18 0
-17 -18 0
16 17 18 0
-19 -20 0
-19 -21 0
-20 -21 0
19 20 21 0
-22 -23 0
-22 -24 0
-23 -24 0
22 23 24 0
-25 -26 0
-25 -27 0
-26 -27 0
25 26 27 0
-28 -29 0
-28 -30 0
-29 -30 0
28 29 30 0
-31 -32 0
-31 -33 0
-32 -33 0
31 32 33 0
-34 -35 0
-34 -36 0
-35 -36 0
34 35 36 0
-37 -38 0
-37 -39 0
-38 -39 0
37 38 39 0
-40 -41 0
-40 -42 0
-41 -42 0
40 41 42 0
-43 -44 0
-43 -45 0
-44 -45 0
43 44 45 0
-46 -47 0
-46 -48 0
-47 -48 0
46 47 48 0
-49 -50 0
-49 -51 0
-50 -51 0
49 50 51 0
-52 -53 0
-52 -54 0
-53 -54 0
52 53 54 0
-55 -56 0
-55 -57 0
-56 -57 0
55 56 57 0
-58 -59 0
-58 -60 0
-59 -60 0
58 59 60 0
-61 -62 0
-61 -63 0
-62 -63 0
61 62 63 0
-64 -65 0
-64 -66 0
-65 -66 0
64 65 66 0
-67 -68 0
-67 -69 0
-68 -69 0
67 68 69 0
-70 -71 0
-70 -72 0
-71 -72 0
70 71 72 0
-73 -74 0
-73 -75 0
-74 -75 0
73 74 75 0
-76 -77 0
-76 -78 0
-77 -78 0
76 77 78 0
-79 -80 0
-79 -81 0
-80 -81 0
79 80 81 0
-82 -83 0
-82 -84 0
-83 -84 0
82 83 84 0
-85 -86 0
-85 -87 0
-86 -87 0
85 86 87 0
-88 -89 0
-88 -90 0
-89 -90 0
88 89 90 0
-91 -92 0
-91 -93 0
-92 -93 0
91 92 93 0
-94 -95 0
-94 -96 0
-95 -96 0
94 95 96 0
-97 -98 0
-97 -99 0
-98 -99 0
97 98 99 0
-100 -101 0
-100 -102 0
-101 -102 0
100 101 102 0
-103 -104 0
-103 -105 0
-104 -105 0
103 104 105 0
-106 -107 0
-106 -108 0
-107 -108 0
106 107 108 0
-109 -110 0
-109 -111 0
-110 -111 0
109 110 111 0
-112 -113 0
-112 -114 0
-113 -114 0
112 113 114 0
-115 -116 0
-115 -117 0
-116 -117 0
115 116 117 0
-118 -119 0
-118 -120 0
-119 -120 0
118 119 120 0
-121 -122 0
-121 -123 0
-122 -123 0
121 122 123 0
-124 -125 0
-124 -126 0
-125 -126 0
124 125 126 0
-127 -128 0
-127 -129 0
-128 -129 0
127 128 129 0
-130 -131 0
-130 -132 0
-131 -132 0
130 131 132 0
-133 -134 0
-133 -135 0
-134 -135 0
133 134 135 0
-136 -137 0
-136 -138 0
-137 -138 0
136 137 138 0
-139 -140 0
-139 -141 0
-140 -141 0
139 140 141 0
-142 -143 0
-142 -144 0
-143 -144 0
142 143 144 0
-145 -146 0
-145 -147 0
-146 -147 0
145 146 147 0
-148 -149 0
-148 -150 0
-149 -150 0
148 149 150 0
-52 -1 0
-53 -2 0
-54 -3 0
-61 -1 0
-62 -2 0
-63 -3 0
-70 -1 0
-71 -2 0
-72 -3 0
-73 -1 0
-74 -2 0
-75 -3 0
-109 -1 0
-110 -2 0
-111 -3 0
-130 -1 0
-131 -2 0
-132 -3 0
-139 -1 0
-140 -2 0
-141 -3 0
-64 -4 0
-65 -5 0
-66 -6 0
-67 -4 0
-68 -5 0
-69 -6 0
-100 -4 0
-101 -5 0
-102 -6 0
-106 -4 0
-107 -5 0
-108 -6 0
-136 -4 0
-137 -5 0
-138 -6 0
-109 -7 0
-110 -8 0
-111 -9 0
-118 -7 0
-119 -8 0
-120 -9 0
-133 -7 0
-134 -8 0
-135 -9 0
-145 -7 0
-146 -8 0
-147 -9 0
-82 -10 0
-83 -11 0
-84 -12 0
-88 -10 0
-89 -11 0
-90 -12 0
-91 -10 0
-92 -11 0
-93 -12 0
-103 -10 0
-104 -11 0
-105 -12 0
-91 -13 0
-92 -14 0
-93 -15 0
-112 -13 0
-113 -14 0
-114 -15 0
-64 -16 0
-65 -17 0
-66 -18 0
-85 -16 0
-86 -17 0
-87 -18 0
-124 -16 0
-125 -17 0
-126 -18 0
-130 -16 0
-131 -17 0
-132 -18 0
-70 -19 0
-71 -20 0
-72 -21 0
-79 -19 0
-80 -20 0
-81 -21 0
-82 -19 0
-83 -20 0
-84 -21 0
-85 -19 0
-86 -20 0
-87 -21 0
-136 -19 0
-137 -20 0
-138 -21 0
-52 -22 0
-53 -23 0
-54 -24 0
-118 -22 0
-119 -23 0
-120 -24 0
-127 -22 0
-128 -23 0
-129 -24 0
-145 -22 0
-146 -23 0
-147 -24 0
-142 -28 0
-143 -29 0
-144 -30 0
-73 -31 0
-74 -32 0
-75 -33 0
-82 -31 0
-83 -32 0
-84 -33 0
-94 -31 0
-95 -32 0
-96 -33 0
-112 -31 0
-113 -32 0
-114 -33 0
-124 -31 0
-125 -32 0
-126 -33 0
-133 -31 0
-134 -32 0
-135 -33 0
-61 -34 0
-62 -35 0
-63 -36 0
-64 -34 0
-65 -35 0
-66 -36 0
-79 -34 0
-80 -35 0
-81 -36 0
-82 -34 0
-83 -35 0
-84 -36 0
-103 -34 0
-104 -35 0
-105 -36 0
-142 -34 0
-143 -35 0
-144 -36 0
-52 -37 0
-53 -38 0
-54 -39 0
-100 -37 0
-101 -38 0
-102 -39 0
-118 -37 0
-119 -38 0
-120 -39 0
-136 -37 0
-137 -38 0
-138 -39 0
-139 -37 0
-140 -38 0
-141 -39 0
-58 -40 0
-59 -41 0
-60 -42 0
-76 -40 0
-77 -41 0
-78 -42 0
-79 -40 0
-80 -41 0
-81 -42 0
-91 -40 0
-92 -41 0
-93 -42 0
-124 -40 0
-125 -41 0
-126 -42 0
-55 -43 0
-56 -44 0
-57 -45 0
-58 -43 0
-59 -44 0
-60 -45 0
-91 -43 0
-92 -44 0
-93 -45 0
-97 -43 0
-98 -44 0
-99 -45 0
-124 -43 0
-125 -44 0
-126 -45 0
-127 -43 0
-128 -44 0
-129 -45 0
-148 -43 0
-149 -44 0
-150 -45 0
-64 -46 0
-65 -47 0
-66 -48 0
-73 -46 0
-74 -47 0
-75 -48 0
-94 -46 0
-95 -47 0
-96 -48 0
-109 -46 0
-110 -47 0
-111 -48 0
-130 -46 0
-131 -47 0
-132 -48 0
-142 -46 0
-143 -47 0
-144 -48 0
-97 -49 0
-98 -50 0
-99 -51 0
-100 -49 0
-101 -50 0
-102 -51 0
-109 -49 0
-110 -50 0
-111 -51 0
-115 -49 0
-116 -50 0
-117 -51 0
-118 -49 0
-119 -50 0
-120 -51 0
-133 -49 0
-134 -50 0
-135 -51 0
-145 -52 0
-146 -53 0
-147 -54 0
-109 -55 0
-110 -56 0
-111 -57 0
-124 -55 0
-125 -56 0
-126 -57 0
-136 -55 0
-137 -56 0
-138 -57 0
-139 -55 0
-140 -56 0
-141 -57 0
-112 -58 0
-113 -59 0
-114 -60 0
-121 -58 0
-122 -59 0
-123 -60 0
-145 -58 0
-146 -59 0
-147 -60 0
-139 -61 0
-140 -62 0
-141 -63 0
-124 -67 0
-125 -68 0
-126 -69 0
-115 -70 0
-116 -71 0
-117 -72 0
-112 -73 0
-113 -74 0
-114 -75 0
-142 -73 0
-143 -74 0
-144 -75 0
-115 -76 0
-116 -77 0
-117 -78 0
-139 -76 0
-140 -77 0
-141 -78 0
-106 -79 0
-107 -80 0
-108 -81 0
-121 -79 0
-122 -80 0
-123 -81 0
-142 -82 0
-143 -83 0
-144 -84 0
-148 -82 0
-149 -83 0
-150 -84 0
-109 -85 0
-110 -86 0
-111 -87 0
-112 -85 0
-113 -86 0
-114 -87 0
-127 -85 0
-128 -86 0
-129 -87 0
-142 -85 0
-143 -86 0
-144 -87 0
-106 -88 0
-107 -89 0
-108 -90 0
-124 -88 0
-125 -89 0
-126 -90 0
-130 -88 0
-131 -89 0
-132 -90 0
-136 -88 0
-137 -89 0
-138 -90 0
-103 -91 0
-104 -92 0
-105 -93 0
-136 -91 0
-137 -92 0
-138 -93 0
-145 -91 0
-146 -92 0
-147 -93 0
-106 -94 0
-107 -95 0
-108 -96 0
-103 -97 0
-104 -98 0
-105 -99 0
-112 -97 0
-113 -98 0
-114 -99 0
-136 -97 0
-137 -98 0
-138 -99 0
-148 -97 0
-149 -98 0
-150 -99 0
-124 -100 0
-125 -101 0
-126 -102 0
-133 -100 0
-134 -101 0
-135 -102 0
-145 -100 0
-146 -101 0
-147 -102 0