c this is a comment
c Yparxoun 16 perioxes kai 4 xrwmata
c Oi metablhtes exoun thn morfh [1-16]1, [1-16]2, [1-16]3, [1-16]4 
c H metablhth x1 einai alithhs an h perioxh x exei to xrwma 1
c H metablhth x2 einai alithhs an h perioxh x exei to xrwma 2
c H metablhth x3 einai alithhs an h perioxh x exei to xrwma 3
c H metablhth x3 einai alithhs an h perioxh x exei to xrwma 3
p cnf 164 1000
c Sthn pragmatikothta yparxoun 16*4 = 64 metablhtes
c Gia symbatothta me ton symbolismo kai me to arxeio DIMACS dhlwnoume 164
c 164 einai h "teleutaia" metablhth me to symbolismo pou exoume
c Kathe perioxh prepei na exei toulaxiston ena xrwma
11 12 13 14 0
21 22 23 24 0
31 32 33 34 0
41 42 43 44 0
51 52 53 54 0
61 62 63 64 0
71 72 73 74 0
81 82 83 84 0
91 92 93 94 0
101 102 103 104 0
111 112 113 114 0
121 122 123 124 0
131 132 133 134 0
141 142 143 144 0
151 152 153 154 0
161 162 163 164 0
c H perioxh 1 den mporei na exei to idio xrwma me tis perioxes 2,3,4,13,15,16
-11  -21 0
-11  -31 0
-11  -41 0
-11  -131 0
-11  -151 0
-11  -161 0
-12  -22 0
-12  -32 0
-12  -42 0
-12  -132 0
-12  -152 0
-12  -162 0
-13  -23 0
-13  -33 0
-13  -43 0
-13  -133 0
-13  -153 0
-13  -163 0
-14  -24 0
-14  -34 0
-14  -44 0
-14  -134 0
-14  -154 0
-14  -164 0
c H perioxh 2 den mporei na exei to idio xrwma me tis perioxes 1,3,5,8,9,14,15,16
-21  -31 0
-21  -51 0
-21  -81 0
-21  -91 0
-21  -141 0
-21  -151 0
-21  -161 0
-22  -32 0
-22  -52 0
-22  -82 0
-22  -92 0
-22  -142 0
-22  -152 0
-22  -162 0
-23  -33 0
-23  -53 0
-23  -83 0
-23  -93 0
-23  -143 0
-23  -153 0
-23  -163 0
-24  -34 0
-24  -54 0
-24  -84 0
-24  -94 0
-24  -144 0
-24  -154 0
-24  -164 0
c H perioxh 3 den mporei na exei to idio xrwma me tis perioxes 1,2,3,4,5,6
-31  -41 0
-31  -51 0
-31  -61 0
-32  -42 0
-32  -52 0
-32  -62 0
-33  -43 0
-33  -53 0
-33  -63 0
-34  -44 0
-34  -54 0
-34  -64 0
c H perioxh 4 den mporei na exei to idio xrwma me tis perioxes 1,3,6,13
-41  -61 0
-41  -131 0
-42  -62 0
-42  -132 0
-43  -63 0
-43  -133 0
-44  -64 0
-44  -134 0
c H perioxh 5 den mporei na exei to idio xrwma me tis perioxes 2,3,6,7,9,10
-51  -61 0
-51  -71 0
-51  -91 0
-51  -101 0
-52  -62 0
-52  -72 0
-52  -92 0
-52  -102 0
-53  -63 0
-53  -73 0
-53  -93 0
-53  -103 0
-54  -64 0
-54  -74 0
-54  -94 0
-54  -104 0
c H perioxh 6 den mporei na exei to idio xrwma me tis perioxes 3,4,5,7,11,13
-61  -71 0
-61  -111 0
-61  -131 0
-62  -72 0
-62  -112 0
-62  -132 0
-63  -73 0
-63  -113 0
-63  -133 0
-64  -74 0
-64  -114 0
-64  -134 0
c H perioxh 7 den mporei na exei to idio xrwma me tis perioxes 5,6,10,11
-71  -101 0
-71  -111 0
-72  -102 0
-72  -112 0
-73  -103 0
-73  -113 0
-74  -104 0
-74  -114 0
c H perioxh 8 den mporei na exei to idio xrwma me tis perioxes 2,9,14
-81  -91 0
-81  -141 0
-82  -92 0
-82  -142 0
-83  -93 0
-83  -143 0
-84  -94 0
-84  -144 0
c H perioxh 9 den mporei na exei to idio xrwma me tis perioxes 2,5,8,10,12,14
-91  -101 0
-91  -121 0
-91  -141 0
-92  -102 0
-92  -122 0
-92  -142 0
-93  -103 0
-93  -123 0
-93  -143 0
-94  -104 0
-94  -124 0
-94  -144 0
c H perioxh 10 den mporei na exei to idio xrwma me tis perioxes 5,7,9,11,12
-101 -111 0
-101 -121 0
-102 -112 0
-102 -122 0
-103 -113 0
-103 -123 0
-104 -114 0
-104 -124 0
c H perioxh 11 den mporei na exei to idio xrwma me tis perioxes 6,7,10,12,13
-111 -121 0
-111 -131 0
-112 -122 0
-112 -132 0
-113 -123 0
-113 -133 0
-114 -124 0
-114 -134 0
c H perioxh 12 den mporei na exei to idio xrwma me tis perioxes 9,10,11,13,14,15
-121 -131 0
-121 -141 0
-121 -151 0
-122 -132 0
-122 -142 0
-122 -152 0
-123 -133 0
-123 -143 0
-123 -153 0
-124 -134 0
-124 -144 0
-124 -154 0
c H perioxh 13 den mporei na exei to idio xrwma me tis perioxes 1,4,6,11,12,15
-131 -151 0
-132 -152 0
-133 -153 0
-134 -154 0
c H perioxh 14 den mporei na exei to idio xrwma me tis perioxes 2,8,9,12,15
-141 -151 0
-142 -152 0
-143 -153 0
-144 -154 0
c H perioxh 15 den mporei na exei to idio xrwma me tis perioxes 1,2,12,13,14,16
-151 -161 0
-152 -162 0
-153 -163 0
-154 -164 0
c H perioxh 16 den mporei na exei to idio xrwma me tis perioxes 1,2,15