c The zebra problem.
c
c Reference:
c
c Rina Dechter,
c Enhancement Schemes for Constraint Processing:
c Backjumping, Learning, and Cutset Decomposition",
c Artificial Intelligence,
c Volume 41, pages 273-312.
c
c Encoded in CNF by Jon Freeman, November 1994.
c I have found three solutions; there may be more.
c
c Fixed some missing zero literals and set number of
c clauses in this instance to its true number (was 1135 before).
c
p cnf 155 1160
1 2 3 0
4 5 0
-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
6 7 8 0
9 10 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
11 12 13 0
14 15 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
16 17 18 0
19 20 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
21 22 23 0
24 25 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
51 52 53 0
54 55 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
56 57 58 0
59 60 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
61 62 63 0
64 65 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
66 67 68 0
69 70 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
71 72 73 0
74 75 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
26 27 28 0
29 30 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
31 32 33 0
34 35 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
36 37 38 0
39 40 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
41 42 43 0
44 45 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
46 47 48 0
49 50 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
101 102 103 0
104 105 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
106 107 108 0
109 110 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
111 112 113 0
114 115 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
116 117 118 0
119 120 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
121 122 123 0
124 125 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
76 77 78 0
79 80 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
81 82 83 0
84 85 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
86 87 88 0
89 90 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
91 92 93 0
94 95 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
96 97 98 0
99 100 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
-1 -7 126 0
-2 -8 126 0
-3 -9 126 0
-4 -10 126 0
-1 -12 127 0
-2 -13 127 0
-3 -14 127 0
-4 -15 127 0
-1 -17 128 0
-2 -18 128 0
-3 -19 128 0
-4 -20 128 0
-1 -22 129 0
-2 -23 129 0
-3 -24 129 0
-4 -25 129 0
-6 -2 130 0
-7 -3 130 0
-8 -4 130 0
-9 -5 130 0
-6 -12 131 0
-7 -13 131 0
-8 -14 131 0
-9 -15 131 0
-6 -17 132 0
-7 -18 132 0
-8 -19 132 0
-9 -20 132 0
-6 -22 133 0
-7 -23 133 0
-8 -24 133 0
-9 -25 133 0
-11 -2 134 0
-12 -3 134 0
-13 -4 134 0
-14 -5 134 0
-11 -7 135 0
-12 -8 135 0
-13 -9 135 0
-14 -10 135 0
-11 -17 136 0
-12 -18 136 0
-13 -19 136 0
-14 -20 136 0
-11 -22 137 0
-12 -23 137 0
-13 -24 137 0
-14 -25 137 0
-16 -2 138 0
-17 -3 138 0
-18 -4 138 0
-19 -5 138 0
-16 -7 139 0
-17 -8 139 0
-18 -9 139 0
-19 -10 139 0
-16 -12 140 0
-17 -13 140 0
-18 -14 140 0
-19 -15 140 0
-16 -22 141 0
-17 -23 141 0
-18 -24 141 0
-19 -25 141 0
-21 -2 142 0
-22 -3 142 0
-23 -4 142 0
-24 -5 142 0
-21 -7 143 0
-22 -8 143 0
-23 -9 143 0
-24 -10 143 0
-21 -12 144 0
-22 -13 144 0
-23 -14 144 0
-24 -15 144 0
-21 -17 145 0
-22 -18 145 0
-23 -19 145 0
-24 -20 145 0
-1 -8 -126 0
-1 -9 -126 0
-1 -10 -126 0
-2 -6 -126 0
-2 -9 -126 0
-2 -10 -126 0
-3 -6 -126 0
-3 -7 -126 0
-3 -10 -126 0
-4 -6 -126 0
-4 -7 -126 0
-4 -8 -126 0
-5 -6 -126 0
-5 -7 -126 0
-5 -8 -126 0
-5 -9 -126 0
-1 -13 -127 0
-1 -14 -127 0
-1 -15 -127 0
-2 -11 -127 0
-2 -14 -127 0
-2 -15 -127 0
-3 -11 -127 0
-3 -12 -127 0
-3 -15 -127 0
-4 -11 -127 0
-4 -12 -127 0
-4 -13 -127 0
-5 -11 -127 0
-5 -12 -127 0
-5 -13 -127 0
-5 -14 -127 0
-1 -18 -128 0
-1 -19 -128 0
-1 -20 -128 0
-2 -16 -128 0
-2 -19 -128 0
-2 -20 -128 0
-3 -16 -128 0
-3 -17 -128 0
-3 -20 -128 0
-4 -16 -128 0
-4 -17 -128 0
-4 -18 -128 0
-5 -16 -128 0
-5 -17 -128 0
-5 -18 -128 0
-5 -19 -128 0
-1 -23 -129 0
-1 -24 -129 0
-1 -25 -129 0
-2 -21 -129 0
-2 -24 -129 0
-2 -25 -129 0
-3 -21 -129 0
-3 -22 -129 0
-3 -25 -129 0
-4 -21 -129 0
-4 -22 -129 0
-4 -23 -129 0
-5 -21 -129 0
-5 -22 -129 0
-5 -23 -129 0
-5 -24 -129 0
-6 -3 -130 0
-6 -4 -130 0
-6 -5 -130 0
-7 -1 -130 0
-7 -4 -130 0
-7 -5 -130 0
-8 -1 -130 0
-8 -2 -130 0
-8 -5 -130 0
-9 -1 -130 0
-9 -2 -130 0
-9 -3 -130 0
-10 -1 -130 0
-10 -2 -130 0
-10 -3 -130 0
-10 -4 -130 0
-6 -13 -131 0
-6 -14 -131 0
-6 -15 -131 0
-7 -11 -131 0
-7 -14 -131 0
-7 -15 -131 0
-8 -11 -131 0
-8 -12 -131 0
-8 -15 -131 0
-9 -11 -131 0
-9 -12 -131 0
-9 -13 -131 0
-10 -11 -131 0
-10 -12 -131 0
-10 -13 -131 0
-10 -14 -131 0
-6 -18 -132 0
-6 -19 -132 0
-6 -20 -132 0
-7 -16 -132 0
-7 -19 -132 0
-7 -20 -132 0
-8 -16 -132 0
-8 -17 -132 0
-8 -20 -132 0
-9 -16 -132 0
-9 -17 -132 0
-9 -18 -132 0
-10 -16 -132 0
-10 -17 -132 0
-10 -18 -132 0
-10 -19 -132 0
-6 -23 -133 0
-6 -24 -133 0
-6 -25 -133 0
-7 -21 -133 0
-7 -24 -133 0
-7 -25 -133 0
-8 -21 -133 0
-8 -22 -133 0
-8 -25 -133 0
-9 -21 -133 0
-9 -22 -133 0
-9 -23 -133 0
-10 -21 -133 0
-10 -22 -133 0
-10 -23 -133 0
-10 -24 -133 0
-11 -3 -134 0
-11 -4 -134 0
-11 -5 -134 0
-12 -1 -134 0
-12 -4 -134 0
-12 -5 -134 0
-13 -1 -134 0
-13 -2 -134 0
-13 -5 -134 0
-14 -1 -134 0
-14 -2 -134 0
-14 -3 -134 0
-15 -1 -134 0
-15 -2 -134 0
-15 -3 -134 0
-15 -4 -134 0
-11 -8 -135 0
-11 -9 -135 0
-11 -10 -135 0
-12 -6 -135 0
-12 -9 -135 0
-12 -10 -135 0
-13 -6 -135 0
-13 -7 -135 0
-13 -10 -135 0
-14 -6 -135 0
-14 -7 -135 0
-14 -8 -135 0
-15 -6 -135 0
-15 -7 -135 0
-15 -8 -135 0
-15 -9 -135 0
-11 -18 -136 0
-11 -19 -136 0
-11 -20 -136 0
-12 -16 -136 0
-12 -19 -136 0
-12 -20 -136 0
-13 -16 -136 0
-13 -17 -136 0
-13 -20 -136 0
-14 -16 -136 0
-14 -17 -136 0
-14 -18 -136 0
-15 -16 -136 0
-15 -17 -136 0
-15 -18 -136 0
-15 -19 -136 0
-11 -23 -137 0
-11 -24 -137 0
-11 -25 -137 0
-12 -21 -137 0
-12 -24 -137 0
-12 -25 -137 0
-13 -21 -137 0
-13 -22 -137 0
-13 -25 -137 0
-14 -21 -137 0
-14 -22 -137 0
-14 -23 -137 0
-15 -21 -137 0
-15 -22 -137 0
-15 -23 -137 0
-15 -24 -137 0
-16 -3 -138 0
-16 -4 -138 0
-16 -5 -138 0
-17 -1 -138 0
-17 -4 -138 0
-17 -5 -138 0
-18 -1 -138 0
-18 -2 -138 0
-18 -5 -138 0
-19 -1 -138 0
-19 -2 -138 0
-19 -3 -138 0
-20 -1 -138 0
-20 -2 -138 0
-20 -3 -138 0
-20 -4 -138 0
-16 -8 -139 0
-16 -9 -139 0
-16 -10 -139 0
-17 -6 -139 0
-17 -9 -139 0
-17 -10 -139 0
-18 -6 -139 0
-18 -7 -139 0
-18 -10 -139 0
-19 -6 -139 0
-19 -7 -139 0
-19 -8 -139 0
-20 -6 -139 0
-20 -7 -139 0
-20 -8 -139 0
-20 -9 -139 0
-16 -13 -140 0
-16 -14 -140 0
-16 -15 -140 0
-17 -11 -140 0
-17 -14 -140 0
-17 -15 -140 0
-18 -11 -140 0
-18 -12 -140 0
-18 -15 -140 0
-19 -11 -140 0
-19 -12 -140 0
-19 -13 -140 0
-20 -11 -140 0
-20 -12 -140 0
-20 -13 -140 0
-20 -14 -140 0
-16 -23 -141 0
-16 -24 -141 0
-16 -25 -141 0
-17 -21 -141 0
-17 -24 -141 0
-17 -25 -141 0
-18 -21 -141 0
-18 -22 -141 0
-18 -25 -141 0
-19 -21 -141 0
-19 -22 -141 0
-19 -23 -141 0
-20 -21 -141 0
-20 -22 -141 0
-20 -23 -141 0
-20 -24 -141 0
-21 -3 -142 0
-21 -4 -142 0
-21 -5 -142 0
-22 -1 -142 0
-22 -4 -142 0
-22 -5 -142 0
-23 -1 -142 0
-23 -2 -142 0
-23 -5 -142 0
-24 -1 -142 0
-24 -2 -142 0
-24 -3 -142 0
-25 -1 -142 0
-25 -2 -142 0
-25 -3 -142 0
-25 -4 -142 0
-21 -8 -143 0
-21 -9 -143 0
-21 -10 -143 0
-22 -6 -143 0
-22 -9 -143 0
-22 -10 -143 0
-23 -6 -143 0
-23 -7 -143 0
-23 -10 -143 0
-24 -6 -143 0
-24 -7 -143 0
-24 -8 -143 0
-25 -6 -143 0
-25 -7 -143 0
-25 -8 -143 0
-25 -9 -143 0
-21 -13 -144 0
-21 -14 -144 0
-21 -15 -144 0
-22 -11 -144 0
-22 -14 -144 0
-22 -15 -144 0
-23 -11 -144 0
-23 -12 -144 0
-23 -15 -144 0
-24 -11 -144 0
-24 -12 -144 0
-24 -13 -144 0
-25 -11 -144 0
-25 -12 -144 0
-25 -13 -144 0
-25 -14 -144 0
-21 -18 -145 0
-21 -19 -145 0
-21 -20 -145 0
-22 -16 -145 0
-22 -19 -145 0
-22 -20 -145 0
-23 -16 -145 0
-23 -17 -145 0
-23 -20 -145 0
-24 -16 -145 0
-24 -17 -145 0
-24 -18 -145 0
-25 -16 -145 0
-25 -17 -145 0
-25 -18 -145 0
-25 -19 -145 0
-126 146 0
-127 147 0
-128 148 0
-129 149 0
-131 150 0
-132 151 0
-133 152 0
-136 153 0
-137 154 0
-141 155 0
-130 146 0
-134 147 0
-138 148 0
-142 149 0
-135 150 0
-139 151 0
-143 152 0
-140 153 0
-144 154 0
-145 155 0
126 130 -146 0
127 134 -147 0
128 138 -148 0
129 142 -149 0
131 135 -150 0
132 139 -151 0
133 143 -152 0
136 140 -153 0
137 144 -154 0
141 145 -155 0
-1 -6 0
-1 -11 0
-1 -16 0
-1 -21 0
-6 -11 0
-6 -16 0
-6 -21 0
-11 -16 0
-11 -21 0
-16 -21 0
-2 -7 0
-2 -12 0
-2 -17 0
-2 -22 0
-7 -12 0
-7 -17 0
-7 -22 0
-12 -17 0
-12 -22 0
-17 -22 0
-3 -8 0
-3 -13 0
-3 -18 0
-3 -23 0
-8 -13 0
-8 -18 0
-8 -23 0
-13 -18 0
-13 -23 0
-18 -23 0
-4 -9 0
-4 -14 0
-4 -19 0
-4 -24 0
-9 -14 0
-9 -19 0
-9 -24 0
-14 -19 0
-14 -24 0
-19 -24 0
-5 -10 0
-5 -15 0
-5 -20 0
-5 -25 0
-10 -15 0
-10 -20 0
-10 -25 0
-15 -20 0
-15 -25 0
-20 -25 0
-51 -56 0
-51 -61 0
-51 -66 0
-51 -71 0
-56 -61 0
-56 -66 0
-56 -71 0
-61 -66 0
-61 -71 0
-66 -71 0
-52 -57 0
-52 -62 0
-52 -67 0
-52 -72 0
-57 -62 0
-57 -67 0
-57 -72 0
-62 -67 0
-62 -72 0
-67 -72 0
-53 -58 0
-53 -63 0
-53 -68 0
-53 -73 0
-58 -63 0
-58 -68 0
-58 -73 0
-63 -68 0
-63 -73 0
-68 -73 0
-54 -59 0
-54 -64 0
-54 -69 0
-54 -74 0
-59 -64 0
-59 -69 0
-59 -74 0
-64 -69 0
-64 -74 0
-69 -74 0
-55 -60 0
-55 -65 0
-55 -70 0
-55 -75 0
-60 -65 0
-60 -70 0
-60 -75 0
-65 -70 0
-65 -75 0
-70 -75 0
-26 -31 0
-26 -36 0
-26 -41 0
-26 -46 0
-31 -36 0
-31 -41 0
-31 -46 0
-36 -41 0
-36 -46 0
-41 -46 0
-27 -32 0
-27 -37 0
-27 -42 0
-27 -47 0
-32 -37 0
-32 -42 0
-32 -47 0
-37 -42 0
-37 -47 0
-42 -47 0
-28 -33 0
-28 -38 0
-28 -43 0
-28 -48 0
-33 -38 0
-33 -43 0
-33 -48 0
-38 -43 0
-38 -48 0
-43 -48 0
-29 -34 0
-29 -39 0
-29 -44 0
-29 -49 0
-34 -39 0
-34 -44 0
-34 -49 0
-39 -44 0
-39 -49 0
-44 -49 0
-30 -35 0
-30 -40 0
-30 -45 0
-30 -50 0
-35 -40 0
-35 -45 0
-35 -50 0
-40 -45 0
-40 -50 0
-45 -50 0
-101 -106 0
-101 -111 0
-101 -116 0
-101 -121 0
-106 -111 0
-106 -116 0
-106 -121 0
-111 -116 0
-111 -121 0
-116 -121 0
-102 -107 0
-102 -112 0
-102 -117 0
-102 -122 0
-107 -112 0
-107 -117 0
-107 -122 0
-112 -117 0
-112 -122 0
-117 -122 0
-103 -108 0
-103 -113 0
-103 -118 0
-103 -123 0
-108 -113 0
-108 -118 0
-108 -123 0
-113 -118 0
-113 -123 0
-118 -123 0
-104 -109 0
-104 -114 0
-104 -119 0
-104 -124 0
-109 -114 0
-109 -119 0
-109 -124 0
-114 -119 0
-114 -124 0
-119 -124 0
-105 -110 0
-105 -115 0
-105 -120 0
-105 -125 0
-110 -115 0
-110 -120 0
-110 -125 0
-115 -120 0
-115 -125 0
-120 -125 0
-76 -81 0
-76 -86 0
-76 -91 0
-76 -96 0
-81 -86 0
-81 -91 0
-81 -96 0
-86 -91 0
-86 -96 0
-91 -96 0
-77 -82 0
-77 -87 0
-77 -92 0
-77 -97 0
-82 -87 0
-82 -92 0
-82 -97 0
-87 -92 0
-87 -97 0
-92 -97 0
-78 -83 0
-78 -88 0
-78 -93 0
-78 -98 0
-83 -88 0
-83 -93 0
-83 -98 0
-88 -93 0
-88 -98 0
-93 -98 0
-79 -84 0
-79 -89 0
-79 -94 0
-79 -99 0
-84 -89 0
-84 -94 0
-84 -99 0
-89 -94 0
-89 -99 0
-94 -99 0
-80 -85 0
-80 -90 0
-80 -95 0
-80 -100 0
-85 -90 0
-85 -95 0
-85 -100 0
-90 -95 0
-90 -100 0
-95 -100 0
51 0
42 0
122 0
11 0
82 0
-65 0
-55 147 0
-60 150 0
-70 153 0
-75 154 0
-101 -57 0
-101 -62 0
-101 -67 0
-101 -72 0
-106 -52 0
-106 -62 0
-106 -67 0
-106 -72 0
-111 -52 0
-111 -57 0
-111 -67 0
-111 -72 0
-116 -52 0
-116 -57 0
-116 -62 0
-116 -72 0
-121 -52 0
-121 -57 0
-121 -62 0
-121 -67 0
-30 -81 0
-30 -86 0
-30 -91 0
-30 -96 0
-35 -76 0
-35 -86 0
-35 -91 0
-35 -96 0
-40 -76 0
-40 -81 0
-40 -91 0
-40 -96 0
-45 -76 0
-45 -81 0
-45 -86 0
-45 -96 0
-50 -76 0
-50 -81 0
-50 -86 0
-50 -91 0
-54 -83 0
-54 -88 0
-54 -93 0
-54 -98 0
-59 -78 0
-59 -88 0
-59 -93 0
-59 -98 0
-64 -78 0
-64 -83 0
-64 -93 0
-64 -98 0
-69 -78 0
-69 -83 0
-69 -88 0
-69 -98 0
-74 -78 0
-74 -83 0
-74 -88 0
-74 -93 0
-79 -108 0
-79 -113 0
-79 -118 0
-79 -123 0
-84 -103 0
-84 -113 0
-84 -118 0
-84 -123 0
-89 -103 0
-89 -108 0
-89 -118 0
-89 -123 0
-94 -103 0
-94 -108 0
-94 -113 0
-94 -123 0
-99 -103 0
-99 -108 0
-99 -113 0
-99 -118 0
-105 -8 0
-105 -13 0
-105 -18 0
-105 -23 0
-110 -3 0
-110 -13 0
-110 -18 0
-110 -23 0
-115 -3 0
-115 -8 0
-115 -18 0
-115 -23 0
-120 -3 0
-120 -8 0
-120 -13 0
-120 -23 0
-125 -3 0
-125 -8 0
-125 -13 0
-125 -18 0
-53 -57 126 0
-53 -62 127 0
-53 -67 128 0
-53 -72 129 0
-58 -52 130 0
-58 -62 131 0
-58 -67 132 0
-58 -72 133 0
-63 -52 134 0
-63 -57 135 0
-63 -67 136 0
-63 -72 137 0
-68 -52 138 0
-68 -57 139 0
-68 -62 140 0
-68 -72 141 0
-73 -52 142 0
-73 -57 143 0
-73 -62 144 0
-73 -67 145 0
-80 -29 0
-85 -34 0
-90 -39 0
-95 -44 0
-100 -49 0
-80 -34 146 0
-80 -39 147 0
-80 -44 148 0
-80 -49 149 0
-85 -29 146 0
-85 -39 150 0
-85 -44 151 0
-85 -49 152 0
-90 -29 147 0
-90 -34 150 0
-90 -44 153 0
-90 -49 154 0
-95 -29 148 0
-95 -34 151 0
-95 -39 153 0
-95 -49 155 0
-100 -29 149 0
-100 -34 152 0
-100 -39 154 0
-100 -44 155 0
-78 -28 0
-83 -33 0
-88 -38 0
-93 -43 0
-98 -48 0
-78 -33 146 0
-78 -38 147 0
-78 -43 148 0
-78 -48 149 0
-83 -28 146 0
-83 -38 150 0
-83 -43 151 0
-83 -48 152 0
-88 -28 147 0
-88 -33 150 0
-88 -43 153 0
-88 -48 154 0
-93 -28 148 0
-93 -33 151 0
-93 -38 153 0
-93 -48 155 0
-98 -28 149 0
-98 -33 152 0
-98 -38 154 0
-98 -43 155 0