c Pigeonhole principle formula for 12 pigeons and 11 holes c Generated with `cnfgen` c (C) 2012-2016 Massimo Lauria c https://massimolauria.github.io/cnfgen c c COMMAND LINE: cnfgen php 12 11 c p cnf 132 738 1 2 3 4 5 6 7 8 9 10 11 0 12 13 14 15 16 17 18 19 20 21 22 0 23 24 25 26 27 28 29 30 31 32 33 0 34 35 36 37 38 39 40 41 42 43 44 0 45 46 47 48 49 50 51 52 53 54 55 0 56 57 58 59 60 61 62 63 64 65 66 0 67 68 69 70 71 72 73 74 75 76 77 0 78 79 80 81 82 83 84 85 86 87 88 0 89 90 91 92 93 94 95 96 97 98 99 0 100 101 102 103 104 105 106 107 108 109 110 0 111 112 113 114 115 116 117 118 119 120 121 0 122 123 124 125 126 127 128 129 130 131 132 0 -1 -12 0 -1 -23 0 -1 -34 0 -1 -45 0 -1 -56 0 -1 -67 0 -1 -78 0 -1 -89 0 -1 -100 0 -1 -111 0 -1 -122 0 -12 -23 0 -12 -34 0 -12 -45 0 -12 -56 0 -12 -67 0 -12 -78 0 -12 -89 0 -12 -100 0 -12 -111 0 -12 -122 0 -23 -34 0 -23 -45 0 -23 -56 0 -23 -67 0 -23 -78 0 -23 -89 0 -23 -100 0 -23 -111 0 -23 -122 0 -34 -45 0 -34 -56 0 -34 -67 0 -34 -78 0 -34 -89 0 -34 -100 0 -34 -111 0 -34 -122 0 -45 -56 0 -45 -67 0 -45 -78 0 -45 -89 0 -45 -100 0 -45 -111 0 -45 -122 0 -56 -67 0 -56 -78 0 -56 -89 0 -56 -100 0 -56 -111 0 -56 -122 0 -67 -78 0 -67 -89 0 -67 -100 0 -67 -111 0 -67 -122 0 -78 -89 0 -78 -100 0 -78 -111 0 -78 -122 0 -89 -100 0 -89 -111 0 -89 -122 0 -100 -111 0 -100 -122 0 -111 -122 0 -2 -13 0 -2 -24 0 -2 -35 0 -2 -46 0 -2 -57 0 -2 -68 0 -2 -79 0 -2 -90 0 -2 -101 0 -2 -112 0 -2 -123 0 -13 -24 0 -13 -35 0 -13 -46 0 -13 -57 0 -13 -68 0 -13 -79 0 -13 -90 0 -13 -101 0 -13 -112 0 -13 -123 0 -24 -35 0 -24 -46 0 -24 -57 0 -24 -68 0 -24 -79 0 -24 -90 0 -24 -101 0 -24 -112 0 -24 -123 0 -35 -46 0 -35 -57 0 -35 -68 0 -35 -79 0 -35 -90 0 -35 -101 0 -35 -112 0 -35 -123 0 -46 -57 0 -46 -68 0 -46 -79 0 -46 -90 0 -46 -101 0 -46 -112 0 -46 -123 0 -57 -68 0 -57 -79 0 -57 -90 0 -57 -101 0 -57 -112 0 -57 -123 0 -68 -79 0 -68 -90 0 -68 -101 0 -68 -112 0 -68 -123 0 -79 -90 0 -79 -101 0 -79 -112 0 -79 -123 0 -90 -101 0 -90 -112 0 -90 -123 0 -101 -112 0 -101 -123 0 -112 -123 0 -3 -14 0 -3 -25 0 -3 -36 0 -3 -47 0 -3 -58 0 -3 -69 0 -3 -80 0 -3 -91 0 -3 -102 0 -3 -113 0 -3 -124 0 -14 -25 0 -14 -36 0 -14 -47 0 -14 -58 0 -14 -69 0 -14 -80 0 -14 -91 0 -14 -102 0 -14 -113 0 -14 -124 0 -25 -36 0 -25 -47 0 -25 -58 0 -25 -69 0 -25 -80 0 -25 -91 0 -25 -102 0 -25 -113 0 -25 -124 0 -36 -47 0 -36 -58 0 -36 -69 0 -36 -80 0 -36 -91 0 -36 -102 0 -36 -113 0 -36 -124 0 -47 -58 0 -47 -69 0 -47 -80 0 -47 -91 0 -47 -102 0 -47 -113 0 -47 -124 0 -58 -69 0 -58 -80 0 -58 -91 0 -58 -102 0 -58 -113 0 -58 -124 0 -69 -80 0 -69 -91 0 -69 -102 0 -69 -113 0 -69 -124 0 -80 -91 0 -80 -102 0 -80 -113 0 -80 -124 0 -91 -102 0 -91 -113 0 -91 -124 0 -102 -113 0 -102 -124 0 -113 -124 0 -4 -15 0 -4 -26 0 -4 -37 0 -4 -48 0 -4 -59 0 -4 -70 0 -4 -81 0 -4 -92 0 -4 -103 0 -4 -114 0 -4 -125 0 -15 -26 0 -15 -37 0 -15 -48 0 -15 -59 0 -15 -70 0 -15 -81 0 -15 -92 0 -15 -103 0 -15 -114 0 -15 -125 0 -26 -37 0 -26 -48 0 -26 -59 0 -26 -70 0 -26 -81 0 -26 -92 0 -26 -103 0 -26 -114 0 -26 -125 0 -37 -48 0 -37 -59 0 -37 -70 0 -37 -81 0 -37 -92 0 -37 -103 0 -37 -114 0 -37 -125 0 -48 -59 0 -48 -70 0 -48 -81 0 -48 -92 0 -48 -103 0 -48 -114 0 -48 -125 0 -59 -70 0 -59 -81 0 -59 -92 0 -59 -103 0 -59 -114 0 -59 -125 0 -70 -81 0 -70 -92 0 -70 -103 0 -70 -114 0 -70 -125 0 -81 -92 0 -81 -103 0 -81 -114 0 -81 -125 0 -92 -103 0 -92 -114 0 -92 -125 0 -103 -114 0 -103 -125 0 -114 -125 0 -5 -16 0 -5 -27 0 -5 -38 0 -5 -49 0 -5 -60 0 -5 -71 0 -5 -82 0 -5 -93 0 -5 -104 0 -5 -115 0 -5 -126 0 -16 -27 0 -16 -38 0 -16 -49 0 -16 -60 0 -16 -71 0 -16 -82 0 -16 -93 0 -16 -104 0 -16 -115 0 -16 -126 0 -27 -38 0 -27 -49 0 -27 -60 0 -27 -71 0 -27 -82 0 -27 -93 0 -27 -104 0 -27 -115 0 -27 -126 0 -38 -49 0 -38 -60 0 -38 -71 0 -38 -82 0 -38 -93 0 -38 -104 0 -38 -115 0 -38 -126 0 -49 -60 0 -49 -71 0 -49 -82 0 -49 -93 0 -49 -104 0 -49 -115 0 -49 -126 0 -60 -71 0 -60 -82 0 -60 -93 0 -60 -104 0 -60 -115 0 -60 -126 0 -71 -82 0 -71 -93 0 -71 -104 0 -71 -115 0 -71 -126 0 -82 -93 0 -82 -104 0 -82 -115 0 -82 -126 0 -93 -104 0 -93 -115 0 -93 -126 0 -104 -115 0 -104 -126 0 -115 -126 0 -6 -17 0 -6 -28 0 -6 -39 0 -6 -50 0 -6 -61 0 -6 -72 0 -6 -83 0 -6 -94 0 -6 -105 0 -6 -116 0 -6 -127 0 -17 -28 0 -17 -39 0 -17 -50 0 -17 -61 0 -17 -72 0 -17 -83 0 -17 -94 0 -17 -105 0 -17 -116 0 -17 -127 0 -28 -39 0 -28 -50 0 -28 -61 0 -28 -72 0 -28 -83 0 -28 -94 0 -28 -105 0 -28 -116 0 -28 -127 0 -39 -50 0 -39 -61 0 -39 -72 0 -39 -83 0 -39 -94 0 -39 -105 0 -39 -116 0 -39 -127 0 -50 -61 0 -50 -72 0 -50 -83 0 -50 -94 0 -50 -105 0 -50 -116 0 -50 -127 0 -61 -72 0 -61 -83 0 -61 -94 0 -61 -105 0 -61 -116 0 -61 -127 0 -72 -83 0 -72 -94 0 -72 -105 0 -72 -116 0 -72 -127 0 -83 -94 0 -83 -105 0 -83 -116 0 -83 -127 0 -94 -105 0 -94 -116 0 -94 -127 0 -105 -116 0 -105 -127 0 -116 -127 0 -7 -18 0 -7 -29 0 -7 -40 0 -7 -51 0 -7 -62 0 -7 -73 0 -7 -84 0 -7 -95 0 -7 -106 0 -7 -117 0 -7 -128 0 -18 -29 0 -18 -40 0 -18 -51 0 -18 -62 0 -18 -73 0 -18 -84 0 -18 -95 0 -18 -106 0 -18 -117 0 -18 -128 0 -29 -40 0 -29 -51 0 -29 -62 0 -29 -73 0 -29 -84 0 -29 -95 0 -29 -106 0 -29 -117 0 -29 -128 0 -40 -51 0 -40 -62 0 -40 -73 0 -40 -84 0 -40 -95 0 -40 -106 0 -40 -117 0 -40 -128 0 -51 -62 0 -51 -73 0 -51 -84 0 -51 -95 0 -51 -106 0 -51 -117 0 -51 -128 0 -62 -73 0 -62 -84 0 -62 -95 0 -62 -106 0 -62 -117 0 -62 -128 0 -73 -84 0 -73 -95 0 -73 -106 0 -73 -117 0 -73 -128 0 -84 -95 0 -84 -106 0 -84 -117 0 -84 -128 0 -95 -106 0 -95 -117 0 -95 -128 0 -106 -117 0 -106 -128 0 -117 -128 0 -8 -19 0 -8 -30 0 -8 -41 0 -8 -52 0 -8 -63 0 -8 -74 0 -8 -85 0 -8 -96 0 -8 -107 0 -8 -118 0 -8 -129 0 -19 -30 0 -19 -41 0 -19 -52 0 -19 -63 0 -19 -74 0 -19 -85 0 -19 -96 0 -19 -107 0 -19 -118 0 -19 -129 0 -30 -41 0 -30 -52 0 -30 -63 0 -30 -74 0 -30 -85 0 -30 -96 0 -30 -107 0 -30 -118 0 -30 -129 0 -41 -52 0 -41 -63 0 -41 -74 0 -41 -85 0 -41 -96 0 -41 -107 0 -41 -118 0 -41 -129 0 -52 -63 0 -52 -74 0 -52 -85 0 -52 -96 0 -52 -107 0 -52 -118 0 -52 -129 0 -63 -74 0 -63 -85 0 -63 -96 0 -63 -107 0 -63 -118 0 -63 -129 0 -74 -85 0 -74 -96 0 -74 -107 0 -74 -118 0 -74 -129 0 -85 -96 0 -85 -107 0 -85 -118 0 -85 -129 0 -96 -107 0 -96 -118 0 -96 -129 0 -107 -118 0 -107 -129 0 -118 -129 0 -9 -20 0 -9 -31 0 -9 -42 0 -9 -53 0 -9 -64 0 -9 -75 0 -9 -86 0 -9 -97 0 -9 -108 0 -9 -119 0 -9 -130 0 -20 -31 0 -20 -42 0 -20 -53 0 -20 -64 0 -20 -75 0 -20 -86 0 -20 -97 0 -20 -108 0 -20 -119 0 -20 -130 0 -31 -42 0 -31 -53 0 -31 -64 0 -31 -75 0 -31 -86 0 -31 -97 0 -31 -108 0 -31 -119 0 -31 -130 0 -42 -53 0 -42 -64 0 -42 -75 0 -42 -86 0 -42 -97 0 -42 -108 0 -42 -119 0 -42 -130 0 -53 -64 0 -53 -75 0 -53 -86 0 -53 -97 0 -53 -108 0 -53 -119 0 -53 -130 0 -64 -75 0 -64 -86 0 -64 -97 0 -64 -108 0 -64 -119 0 -64 -130 0 -75 -86 0 -75 -97 0 -75 -108 0 -75 -119 0 -75 -130 0 -86 -97 0 -86 -108 0 -86 -119 0 -86 -130 0 -97 -108 0 -97 -119 0 -97 -130 0 -108 -119 0 -108 -130 0 -119 -130 0 -10 -21 0 -10 -32 0 -10 -43 0 -10 -54 0 -10 -65 0 -10 -76 0 -10 -87 0 -10 -98 0 -10 -109 0 -10 -120 0 -10 -131 0 -21 -32 0 -21 -43 0 -21 -54 0 -21 -65 0 -21 -76 0 -21 -87 0 -21 -98 0 -21 -109 0 -21 -120 0 -21 -131 0 -32 -43 0 -32 -54 0 -32 -65 0 -32 -76 0 -32 -87 0 -32 -98 0 -32 -109 0 -32 -120 0 -32 -131 0 -43 -54 0 -43 -65 0 -43 -76 0 -43 -87 0 -43 -98 0 -43 -109 0 -43 -120 0 -43 -131 0 -54 -65 0 -54 -76 0 -54 -87 0 -54 -98 0 -54 -109 0 -54 -120 0 -54 -131 0 -65 -76 0 -65 -87 0 -65 -98 0 -65 -109 0 -65 -120 0 -65 -131 0 -76 -87 0 -76 -98 0 -76 -109 0 -76 -120 0 -76 -131 0 -87 -98 0 -87 -109 0 -87 -120 0 -87 -131 0 -98 -109 0 -98 -120 0 -98 -131 0 -109 -120 0 -109 -131 0 -120 -131 0 -11 -22 0 -11 -33 0 -11 -44 0 -11 -55 0 -11 -66 0 -11 -77 0 -11 -88 0 -11 -99 0 -11 -110 0 -11 -121 0 -11 -132 0 -22 -33 0 -22 -44 0 -22 -55 0 -22 -66 0 -22 -77 0 -22 -88 0 -22 -99 0 -22 -110 0 -22 -121 0 -22 -132 0 -33 -44 0 -33 -55 0 -33 -66 0 -33 -77 0 -33 -88 0 -33 -99 0 -33 -110 0 -33 -121 0 -33 -132 0 -44 -55 0 -44 -66 0 -44 -77 0 -44 -88 0 -44 -99 0 -44 -110 0 -44 -121 0 -44 -132 0 -55 -66 0 -55 -77 0 -55 -88 0 -55 -99 0 -55 -110 0 -55 -121 0 -55 -132 0 -66 -77 0 -66 -88 0 -66 -99 0 -66 -110 0 -66 -121 0 -66 -132 0 -77 -88 0 -77 -99 0 -77 -110 0 -77 -121 0 -77 -132 0 -88 -99 0 -88 -110 0 -88 -121 0 -88 -132 0 -99 -110 0 -99 -121 0 -99 -132 0 -110 -121 0 -110 -132 0 -121 -132 0