c FILE: aim-100-6_0-yes1-2.cnf c c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp), c and Yuichi Asahiro c c DESCRIPTION: Artifical instances from generator by source. Generators c and more information in sat/contributed/iwama. c c NOTE: Satisfiable c p cnf 100 600 13 78 83 0 13 78 86 0 -24 -83 -89 0 42 -78 86 0 26 -42 -78 0 13 -26 -42 0 13 66 -86 0 21 29 61 0 29 61 -99 0 13 29 61 0 13 29 -91 0 -61 -66 -86 0 -29 91 93 0 -23 -29 -93 0 -20 -23 -29 0 9 13 -91 0 -9 -29 -91 0 11 62 88 0 11 -62 88 0 -11 71 94 0 -11 49 -94 0 -11 49 -71 0 -13 -49 52 0 52 71 76 0 -47 51 52 0 51 71 -88 0 51 52 -88 0 -13 -51 52 0 3 9 56 0 3 9 -56 0 1 9 14 0 -1 3 92 0 9 -14 92 0 -9 68 92 0 3 -68 92 0 3 -7 92 0 3 -13 -52 0 -3 -13 -47 0 -13 -47 -60 0 -7 20 47 0 -7 13 47 0 -7 8 47 0 -7 -13 47 0 -25 57 62 0 -7 62 63 0 29 47 -63 0 -52 72 80 0 27 72 -80 0 -27 31 72 0 -3 -45 -52 0 -3 31 -72 0 -3 -66 79 0 -3 31 -79 0 7 19 48 0 -19 48 -70 0 2 -52 -70 0 -2 44 -48 0 7 28 46 0 -44 -46 59 0 7 -46 -59 0 -38 -44 -46 0 7 21 -28 0 21 -28 -89 0 7 -28 -44 0 -7 -44 -70 0 15 59 75 0 15 20 75 0 15 20 70 0 15 -20 85 0 15 -20 -85 0 -15 21 -52 0 7 12 74 0 12 17 -46 0 12 -17 -66 0 -15 -66 -74 0 55 -66 82 0 -55 -66 73 0 -15 -66 -82 0 3 -15 -73 0 -15 -66 -73 0 -3 -33 89 0 -17 -33 89 0 -21 -33 53 0 -21 -53 -89 0 18 -21 77 0 18 -21 -77 0 -18 49 87 0 49 66 -87 0 34 47 56 0 34 47 -56 0 66 69 92 0 66 69 -97 0 66 -69 92 0 33 44 96 0 -28 44 75 0 10 -15 96 0 -10 58 96 0 30 -58 96 0 -30 33 75 0 -15 72 75 0 -72 75 -96 0 72 83 -92 0 72 -83 98 0 -14 72 -92 0 -49 -72 91 0 -72 91 -92 0 -89 -92 98 0 12 -72 -92 0 -8 -49 -72 0 -49 -92 -98 0 43 -75 76 0 -43 -75 76 0 8 -43 69 0 8 -21 -97 0 -69 -75 76 0 33 -58 -76 0 19 40 -49 0 -19 67 92 0 40 41 -67 0 -19 27 -41 0 27 40 -92 0 -19 40 78 0 -19 35 78 0 27 78 -90 0 25 -35 78 0 -27 66 -78 0 -31 40 -49 0 53 -76 100 0 -48 82 100 0 -48 -82 100 0 5 -34 -76 0 -34 -48 -76 0 -26 -34 -76 0 -22 -34 -76 0 -48 -56 -76 0 5 39 -93 0 -34 -39 -93 0 5 -39 -54 0 23 56 -93 0 23 -56 69 0 23 -56 91 0 -23 -92 -93 0 -91 -92 -93 0 16 17 65 0 16 65 75 0 16 65 -75 0 6 58 65 0 -6 65 68 0 21 58 68 0 -21 58 76 0 33 68 -76 0 4 -33 68 0 -4 58 -65 0 8 -60 -75 0 38 -64 79 0 50 -64 -79 0 8 38 -50 0 6 36 -64 0 6 -36 -64 0 -6 -38 51 0 50 68 70 0 -60 -68 70 0 -6 -38 -70 0 39 -51 -64 0 -6 -39 60 0 27 -50 -64 0 -27 -50 -64 0 -59 71 93 0 12 -59 -71 0 -59 93 -99 0 -59 64 93 0 2 48 71 0 2 -59 70 0 2 39 -70 0 2 -39 58 0 -2 58 71 0 1 64 -85 0 2 -85 95 0 1 36 60 0 -2 60 95 0 -1 60 67 0 51 60 -67 0 -2 -51 95 0 -1 -85 -95 0 18 27 64 0 18 64 78 0 18 -27 -78 0 19 53 -80 0 11 19 -80 0 15 -19 84 0 -19 -71 -84 0 11 -15 -71 0 -11 48 -80 0 57 65 93 0 -57 65 79 0 -57 65 93 0 -4 40 74 0 -4 -40 74 0 59 -74 77 0 -4 59 -77 0 -37 59 -77 0 18 38 -82 0 21 -82 85 0 -3 -82 85 0 -18 -33 85 0 -18 -21 -82 0 -38 -82 85 0 41 64 -71 0 30 34 49 0 -30 38 49 0 -34 38 49 0 20 -41 47 0 20 -47 -71 0 -38 -41 88 0 20 -41 -88 0 22 57 64 0 -22 48 59 0 -22 48 -59 0 -41 -48 -71 0 28 -57 -65 0 15 54 -69 0 15 -44 54 0 14 54 -69 0 14 -65 -74 0 14 -57 -65 0 -10 28 -65 0 -10 -65 -83 0 14 -28 99 0 14 71 -99 0 14 -65 -99 0 -14 20 34 0 -20 34 85 0 -14 -34 -37 0 1 61 96 0 28 -61 82 0 28 -61 96 0 -18 39 -61 0 -18 28 -39 0 1 -28 96 0 -18 25 96 0 -18 -25 96 0 -44 -57 82 0 -57 82 -89 0 44 -55 80 0 4 -10 -65 0 4 -10 -53 0 -10 -24 -53 0 35 37 -57 0 -14 73 86 0 -14 60 -74 0 56 -60 86 0 31 -56 86 0 34 -60 86 0 -31 -34 -60 0 4 -35 -85 0 32 -35 -85 0 -32 -35 -74 0 42 86 90 0 -35 86 90 0 -42 86 -89 0 -14 -74 -86 0 12 -14 -90 0 -12 40 -74 0 -12 -40 -74 0 58 -77 97 0 10 -58 97 0 10 -77 -97 0 33 40 -63 0 5 -31 97 0 5 -26 97 0 8 49 99 0 5 -31 -49 0 8 16 -99 0 16 -63 -99 0 8 -16 -99 0 -5 -31 -63 0 -40 62 -63 0 33 -40 -62 0 8 -40 -56 0 14 26 37 0 -26 -33 37 0 -33 37 -63 0 -8 76 90 0 5 -8 90 0 -8 21 -96 0 -8 10 70 0 -10 -21 70 0 -5 34 -96 0 25 -34 -96 0 -5 31 58 0 -5 -8 -58 0 -8 -31 55 0 -31 -55 84 0 60 -84 -96 0 15 -55 -60 0 -8 -15 -60 0 -8 22 -63 0 -22 -63 -90 0 -39 63 -96 0 63 71 -96 0 91 -96 97 0 87 -96 -97 0 3 63 -71 0 63 -71 91 0 63 98 -99 0 -35 -98 -99 0 -29 55 93 0 -55 93 99 0 -29 -35 -93 0 17 50 73 0 17 -35 -50 0 17 46 -73 0 -17 29 46 0 6 16 39 0 6 -16 39 0 21 39 63 0 21 39 -70 0 -21 63 -89 0 52 77 -94 0 33 77 -94 0 33 -43 77 0 -33 -46 -94 0 1 -6 99 0 -6 27 99 0 -1 27 99 0 22 43 -62 0 -22 43 89 0 -43 -46 89 0 -27 -62 89 0 19 36 84 0 36 84 -85 0 19 -36 84 0 62 81 -84 0 81 -84 99 0 -81 -84 99 0 23 54 89 0 22 -23 89 0 -22 -23 89 0 -46 50 83 0 -29 -46 -50 0 -29 54 -83 0 -46 -56 62 0 56 74 91 0 -54 -74 91 0 52 90 -91 0 3 -52 90 0 -3 90 -91 0 -47 56 -91 0 25 70 95 0 34 -54 80 0 25 80 95 0 18 42 80 0 18 -40 80 0 -18 42 100 0 -18 42 -100 0 25 89 -95 0 32 -54 -80 0 -32 63 -80 0 29 -32 36 0 29 -36 -63 0 -29 -32 -80 0 25 -45 -80 0 42 77 94 0 42 -77 94 0 -42 50 -98 0 -27 78 -98 0 -27 -98 100 0 -78 -98 -100 0 -3 -33 -98 0 -25 51 81 0 51 -81 -90 0 51 -89 -90 0 -62 -81 -90 0 5 -19 98 0 30 43 87 0 30 -42 -43 0 13 20 87 0 -13 -30 87 0 -42 -87 90 0 19 -42 -87 0 -19 20 -87 0 -5 -22 93 0 -5 -22 -54 0 -25 30 32 0 -25 30 62 0 30 56 57 0 -25 56 -62 0 -20 -45 -90 0 -20 -47 62 0 -20 -47 83 0 -47 -62 -83 0 7 22 28 0 22 28 37 0 28 -37 -42 0 9 83 98 0 9 72 -83 0 -9 72 98 0 -20 46 -69 0 46 52 98 0 1 -69 -98 0 41 46 -69 0 -41 46 47 0 -5 -41 -47 0 -5 37 -69 0 -5 -37 -69 0 -43 69 94 0 69 71 94 0 -9 69 94 0 -43 44 -94 0 26 -43 -44 0 -26 -43 69 0 32 46 80 0 32 -39 80 0 32 -72 -80 0 32 46 -89 0 -20 32 -72 0 30 55 65 0 30 53 -65 0 -30 50 53 0 -30 36 55 0 -30 -50 55 0 -30 53 55 0 -28 38 -55 0 -28 -38 -55 0 53 -54 -55 0 45 70 87 0 22 -70 87 0 -52 -70 97 0 45 87 -97 0 -30 45 68 0 12 -30 -68 0 27 69 76 0 -27 66 76 0 66 76 -93 0 -38 66 -76 0 -38 43 82 0 43 -66 -82 0 -2 43 73 0 -2 43 -73 0 -2 7 -53 0 -2 -7 79 0 52 -53 98 0 -7 -52 -53 0 -2 -53 -98 0 -9 44 56 0 -9 44 -56 0 -9 67 -72 0 -9 -67 -87 0 2 -32 -61 0 1 38 43 0 1 -38 -87 0 -12 68 84 0 -12 35 -84 0 -12 31 -84 0 -12 68 -95 0 -68 81 -95 0 -32 53 81 0 -53 -68 -95 0 -48 -68 81 0 -68 -81 -95 0 17 -32 100 0 -17 -32 100 0 -90 -95 -100 0 -79 -87 91 0 -27 -79 -87 0 29 -79 -91 0 61 -79 -91 0 14 50 57 0 -14 50 57 0 45 53 60 0 41 -53 60 0 4 45 57 0 -4 45 -60 0 26 31 45 0 -26 45 55 0 41 45 55 0 -45 75 92 0 -45 -75 81 0 -1 -45 81 0 -1 -45 -81 0 -1 -45 -75 0 -23 -45 -81 0 22 67 74 0 -12 -22 67 0 6 -67 74 0 -6 -12 -55 0 32 74 -88 0 -32 41 74 0 -1 9 41 0 -1 -9 41 0 9 38 67 0 24 -67 90 0 24 41 -61 0 24 -41 -61 0 24 79 -90 0 6 -51 79 0 10 51 77 0 19 -51 85 0 -77 79 -100 0 10 -23 64 0 10 -23 79 0 10 24 -85 0 24 94 -100 0 24 35 -100 0 -35 -94 -100 0 4 83 -100 0 -6 24 -100 0 -4 -6 -67 0 61 62 -97 0 57 -62 -97 0 -13 -62 -97 0 -57 61 -97 0 11 61 73 0 -11 31 44 0 -31 44 54 0 -11 -44 73 0 -11 73 85 0 -11 61 -85 0 -11 -57 73 0 -23 95 97 0 -17 -67 87 0 -17 34 -44 0 10 -17 -87 0 -10 -67 83 0 -10 -17 -83 0 -26 80 97 0 -26 -41 97 0 4 25 -73 0 -16 19 -25 0 4 -16 -25 0 4 -16 17 0 -4 -16 24 0 -4 -24 37 0 -16 -24 59 0 -4 -24 -59 0 -16 -24 -73 0 23 -24 -84 0 16 84 -88 0 16 -73 -88 0 -16 84 -88 0 11 17 88 0 -17 48 88 0 54 67 98 0 11 67 78 0 23 67 -78 0 23 -67 75 0 11 59 64 0 11 -28 59 0 -59 64 -75 0 40 54 -75 0 23 -40 54 0 36 -48 -54 0 -36 49 -54 0 23 -48 -49 0 17 26 36 0 16 83 84 0 73 -81 88 0 70 -73 -81 0 -70 -73 -81 0 26 -50 94 0 26 42 -64 0 -42 -64 94 0 25 26 -94 0 -25 26 -94 0 35 82 95 0 35 82 -95 0 31 -36 82 0 -31 -36 100 0 -36 -82 83 0 -36 -83 100 0 39 -86 88 0 37 -39 88 0 -37 77 79 0 -37 -79 -83 0 12 -79 -86 0 -12 -79 -86 0 -37 77 -86 0 57 -77 -86 0 -37 -77 -86 0 50 -78 88 0 36 -50 -78 0 -36 -50 -78 0 6 -58 99 0 2 6 22 0 12 -24 74 0 2 -52 -88 0 35 37 42 0 7 -26 -93 0 -40 -51 -84 0 33 35 -51 0 -68 85 -95 0 -54 -88 -94 0 5 -49 -58 0 -24 35 48 0 -37 -51 0 38 -58 -61 0 -13 -61 95 0 18 81 95 0 -39 -58 -68 0 -40 48 -58 0