c atoms constraints 216 90
[BEGIN qdpllexp_20.qdimacs ]
[FORMULA 217 90 e 1 0 a 2 0 e 3 4 5 6 0 a 7 0 e 8 9 10 11 0 a 12 0 e 13 14 15 16 0 a 17 0 e 18 19 20 21 0 a 22 0 e 23 24 25 26 0 a 27 0 e 28 29 30 31 0 a 32 0 e 33 34 35 36 0 a 37 0 e 38 39 40 41 0 a 42 0 e 43 44 45 46 0 a 47 0 e 48 49 50 51 0 a 52 0 e 53 54 55 56 0 a 57 0 e 58 59 60 61 0 a 62 0 e 63 64 65 66 0 a 67 0 e 68 69 70 71 0 a 72 0 e 73 74 75 76 0 a 77 0 e 78 79 80 81 0 a 82 0 e 83 84 85 86 0 a 87 0 e 88 89 90 91 0 a 92 0 e 93 94 95 96 0 a 97 0 e 98 99 100 101 0 a 102 0 e 103 104 105 106 0 a 107 0 e 108 109 110 111 0 0 0 108 1 0 109 1 0 110 -1 0 111 -1 0 -4 -3 2 0 -6 -5 -2 0 -9 -8 3 -7 0 -9 -8 4 7 0 -11 -10 5 -7 0 -11 -10 6 7 0 -14 -13 8 12 0 -14 -13 9 -12 0 -16 -15 10 12 0 -16 -15 11 -12 0 -19 -18 13 17 0 -19 -18 14 -17 0 -21 -20 15 17 0 -21 -20 16 -17 0 -24 -23 18 22 0 -24 -23 19 -22 0 -26 -25 20 22 0 -26 -25 21 -22 0 -29 -28 23 27 0 -29 -28 24 -27 0 -31 -30 25 27 0 -31 -30 26 -27 0 -34 -33 28 32 0 -34 -33 29 -32 0 -36 -35 30 32 0 -36 -35 31 -32 0 -39 -38 33 37 0 -39 -38 34 -37 0 -41 -40 35 37 0 -41 -40 36 -37 0 -44 -43 38 42 0 -44 -43 39 -42 0 -46 -45 40 42 0 -46 -45 41 -42 0 -49 -48 43 47 0 -49 -48 44 -47 0 -51 -50 45 47 0 -51 -50 46 -47 0 -54 -53 48 52 0 -54 -53 49 -52 0 -56 -55 50 52 0 -56 -55 51 -52 0 -59 -58 53 57 0 -59 -58 54 -57 0 -61 -60 55 57 0 -61 -60 56 -57 0 -64 -63 58 62 0 -64 -63 59 -62 0 -66 -65 60 62 0 -66 -65 61 -62 0 -69 -68 63 67 0 -69 -68 64 -67 0 -71 -70 65 67 0 -71 -70 66 -67 0 -74 -73 68 72 0 -74 -73 69 -72 0 -76 -75 70 72 0 -76 -75 71 -72 0 -79 -78 73 77 0 -79 -78 74 -77 0 -81 -80 75 77 0 -81 -80 76 -77 0 -84 -83 78 82 0 -84 -83 79 -82 0 -86 -85 80 82 0 -86 -85 81 -82 0 -89 -88 83 87 0 -89 -88 84 -87 0 -91 -90 85 87 0 -91 -90 86 -87 0 -94 -93 88 92 0 -94 -93 89 -92 0 -96 -95 90 92 0 -96 -95 91 -92 0 -99 -98 93 97 0 -99 -98 94 -97 0 -101 -100 95 97 0 -101 -100 96 -97 0 -104 -103 98 102 0 -104 -103 99 -102 0 -106 -105 100 102 0 -106 -105 101 -102 0 -109 -108 103 107 0 -109 -108 104 -107 0 -111 -110 105 107 0 -111 -110 106 -107 0 ]
[NOGOOD 91 91 -1 0 6 -6 -5 -2 0 9 5 0 10 6 0 13 10 0 14 11 0 18 16 0 17 15 0 22 21 0 21 20 0 26 26 0 25 25 0 30 31 0 29 30 0 34 36 0 33 35 0 38 41 0 37 40 0 42 46 0 41 45 0 46 51 0 45 50 0 50 56 0 49 55 0 54 61 0 53 60 0 58 66 0 57 65 0 62 71 0 61 70 0 66 76 0 65 75 0 70 81 0 69 80 0 74 86 0 73 85 0 78 91 0 77 90 0 82 96 0 81 95 0 86 101 0 85 100 0 90 106 0 89 105 0 4 111 0 3 110 0 ]
[NOGOOD 0 0 0 5 -4 -3 2 0 7 3 0 8 4 0 11 8 0 12 9 0 16 14 0 15 13 0 20 19 0 19 18 0 24 24 0 23 23 0 28 29 0 27 28 0 32 34 0 31 33 0 36 39 0 35 38 0 40 44 0 39 43 0 44 49 0 43 48 0 48 54 0 47 53 0 52 59 0 51 58 0 56 64 0 55 63 0 60 69 0 59 68 0 64 74 0 63 73 0 68 79 0 67 78 0 72 84 0 71 83 0 76 89 0 75 88 0 80 94 0 79 93 0 84 99 0 83 98 0 88 104 0 87 103 0 2 109 0 1 108 0 91 1 0 ]
[END qdpllexp_20.qdimacs ]
s cnf 0