c File: jnh15.cnf c c SOURCE: John Hooker (jh38+@andrew.cmu.edu) c c DESCRIPTION: Random Problems with hard generator (no single clauses, c hard density, and so on) c c NOTE: Part of the collection at the Forschungsinstitut fuer c anwendungsorientierte Wissensverarbeitung in Ulm Germany. c c NOTE: Updated September 7, 1993 to correct format c c c NOTE: Not satisfiable c p cnf 100 850 -26 -31 78 92 0 82 -99 0 -15 -74 0 -6 -32 47 -72 90 93 99 0 32 43 -77 0 6 7 48 -62 97 -99 0 2 14 36 45 85 0 1 -4 46 87 0 -30 -34 0 38 69 -86 0 -20 42 -65 -69 -81 0 7 10 13 -16 -60 62 -63 73 -77 -80 84 0 22 -33 -44 83 0 23 41 -46 0 -11 -50 55 59 -71 73 77 0 -14 31 -56 78 82 94 0 24 34 -43 -95 0 20 24 -27 -75 0 24 -39 50 56 59 61 -75 -91 0 -3 -10 -29 -53 -58 -71 0 35 40 -43 -56 -98 0 24 -26 -29 -50 -73 0 5 -15 62 0 9 17 81 0 55 56 -71 0 23 -32 53 69 0 14 -26 30 32 -35 43 0 24 30 -67 0 -15 -89 0 -3 14 15 -56 -60 -64 91 0 -15 28 -93 0 11 45 -50 -67 74 79 -84 94 0 31 -33 -38 42 48 59 68 0 2 -20 -33 37 49 -52 58 -64 84 0 -9 85 0 -16 -70 -90 -93 0 3 -11 -13 -57 -87 -96 0 7 -30 -34 75 86 -87 -97 -100 0 -23 36 -70 85 0 -14 -16 40 68 -78 -86 -91 0 -25 -28 -53 66 0 29 -69 73 0 -17 42 65 70 0 23 -77 0 23 -37 -52 57 0 47 89 0 -12 -24 41 0 3 41 -47 69 70 -82 0 -11 13 -33 37 -52 66 69 71 0 -35 55 75 78 79 0 -9 29 -43 65 0 -20 52 63 0 -36 -68 71 0 -8 11 31 32 84 0 -5 41 60 62 64 99 0 58 63 0 -8 -36 -49 -59 0 19 30 87 -96 0 -18 24 -60 0 14 33 34 -69 78 88 0 -10 21 -26 -45 47 52 -58 0 55 -57 -90 0 37 39 -54 56 92 0 -62 -84 -94 0 13 -57 -80 -95 0 -39 -52 74 0 15 -16 -30 40 -71 -73 -96 98 -99 0 16 25 -37 -41 77 0 10 -13 -58 89 0 11 22 25 54 0 -8 -13 100 0 79 -93 97 0 18 19 -35 39 41 62 -69 -78 -95 -100 0 10 47 62 0 -28 -53 64 65 -80 -83 0 42 45 67 -82 -91 0 42 -63 75 -76 0 28 -34 -46 -67 69 70 -72 74 75 -77 -82 0 -20 41 -62 0 3 -21 0 -5 13 14 33 48 -71 -80 92 0 19 -55 0 3 20 -48 66 -84 0 4 41 58 -98 0 1 23 37 -52 -68 -76 0 52 -56 -95 0 -17 -24 0 42 56 -67 78 0 12 44 -90 -95 0 25 32 41 43 48 59 -73 -76 86 0 7 -17 -44 52 61 0 6 -23 28 -48 -79 -88 99 100 0 6 10 -39 -71 90 -95 0 11 -23 48 -65 0 13 46 -79 -92 0 1 15 -21 24 42 -44 -94 0 29 91 0 -42 -80 100 0 62 63 -68 -82 90 -92 0 4 46 74 0 6 11 -24 28 -50 54 -86 97 0 -46 69 -84 -89 -93 0 -10 -47 71 -78 0 8 44 -47 54 89 -99 0 -5 88 90 0 13 16 -43 49 74 0 2 -12 63 0 18 -99 0 6 21 28 -33 86 87 0 -45 85 91 0 -3 -44 47 -68 -85 0 -5 -9 -58 77 82 91 0 8 13 -28 -54 65 67 -88 -90 99 0 -28 -57 0 38 66 93 0 -5 -15 -38 45 -51 82 0 39 -43 0 4 5 -40 71 74 -81 87 0 12 13 -20 -25 -31 90 0 6 -7 -44 53 -56 -80 -84 0 -21 -27 -40 67 69 86 -99 0 6 13 -14 52 -62 78 -89 0 -7 -22 -26 -31 -61 0 -24 -38 -42 -46 56 -75 -95 100 0 9 16 -27 -56 58 98 0 -26 -29 42 0 38 -43 50 51 86 -99 0 -5 25 27 40 41 57 61 -67 -91 0 20 33 36 38 -52 -69 95 0 -9 -32 -38 0 21 22 -28 49 -68 0 18 44 -57 -67 -78 0 -1 9 31 37 80 0 5 -46 -53 80 0 37 -50 -73 -92 0 -11 35 36 -47 0 9 -14 21 48 -49 -60 -75 -78 -99 0 -1 -37 -42 48 49 77 0 57 -86 89 -98 0 -46 51 80 -95 99 0 33 -55 64 -65 -68 0 -70 80 0 3 -4 21 22 33 41 -49 -56 -95 0 -17 21 -29 32 -33 67 79 0 -33 49 67 -73 0 52 -74 -78 -90 0 14 -27 44 68 0 -10 -19 51 0 -23 -25 31 79 0 -20 -26 61 0 8 9 -12 -22 37 -48 87 88 -97 0 2 57 81 98 0 11 51 -90 93 -99 0 1 -8 17 -24 48 57 -95 0 -3 6 12 -19 -22 43 -51 -68 86 0 -4 7 -10 -40 77 -81 0 -15 -55 58 -70 83 -88 0 3 42 54 -76 -85 96 -97 0 7 34 -62 64 0 5 -42 -71 -97 0 -12 -90 0 9 -23 -35 64 -70 0 -3 -17 23 30 57 -61 -80 -89 0 -57 65 0 -51 64 89 0 -2 18 33 -39 -49 56 0 -4 28 64 74 0 -5 -10 81 -82 0 -43 -94 0 -12 -88 0 14 32 84 -97 0 -8 -14 37 42 58 60 -68 -86 89 -99 0 39 44 59 -96 0 -13 99 0 12 57 -77 91 -93 0 99 -100 0 -5 8 10 -31 0 21 32 -34 -38 65 81 83 0 -5 9 -26 39 88 -93 0 -31 -66 0 -51 -63 83 -93 0 46 -82 -91 97 0 1 14 -34 -43 -50 54 -67 91 93 0 -5 -16 -33 36 -51 0 -26 -76 0 -27 47 -52 55 -94 0 9 -19 23 26 -28 -37 -63 -74 85 0 12 17 24 -73 78 -91 0 18 56 0 -21 31 49 56 57 0 8 11 18 -51 54 -67 -84 0 -5 -7 -46 100 0 -8 -13 16 30 -41 63 82 -88 0 2 8 -24 -83 0 -15 -41 56 -81 99 0 6 -8 41 52 -86 0 15 16 57 -71 0 11 23 45 54 94 0 10 -13 55 96 0 -39 -43 0 47 78 -95 0 -29 51 -74 -78 -90 0 16 19 22 -25 -69 71 -72 82 -86 -89 93 0 31 -42 -53 92 0 32 50 -55 0 3 -20 -59 64 68 -80 82 86 0 -4 -23 40 -65 87 91 0 33 43 -52 0 29 33 -36 -84 0 33 -48 59 65 68 70 -84 -100 0 -7 -12 -19 -38 -62 -67 -80 0 44 49 -52 -65 0 33 -35 -38 -59 -82 0 14 -24 71 0 18 26 90 0 64 65 -80 0 32 -41 62 78 0 23 -35 39 41 -44 52 0 33 39 -76 0 -24 -98 0 -2 -12 23 24 -65 -69 -73 100 0 3 -24 37 0 20 54 -59 -76 83 88 -93 0 40 -42 -47 51 57 68 77 0 11 -29 -42 46 58 -61 67 -73 93 0 -2 -18 94 0 -5 -25 -79 -99 0 -6 -9 12 -20 -22 -66 -96 0 16 -39 -43 84 95 -96 0 -32 45 -79 94 0 -23 -25 49 77 -87 -95 -100 0 -34 -37 -62 75 0 38 -78 82 0 -26 51 74 79 0 32 -86 0 32 -46 -61 66 0 56 98 0 -21 -33 50 0 12 50 -56 78 79 -91 0 -20 22 -42 46 -61 75 78 80 0 -44 64 84 87 88 0 -18 38 -52 74 0 -29 61 72 0 -45 -77 80 0 8 -17 20 40 41 93 0 -14 50 69 71 73 0 67 72 0 -5 -17 -45 -58 -68 0 28 39 96 0 -27 33 -69 0 23 42 43 -78 87 97 0 -19 30 -35 -54 56 61 -67 0 1 64 -66 -99 0 -3 46 48 -63 65 0 -4 -71 -93 0 22 -66 -89 0 -48 -61 83 0 -5 7 -8 0 24 -25 -39 49 -80 -82 0 25 34 -46 -50 86 0 19 -22 -67 98 0 9 20 31 34 63 0 -2 6 -17 -22 0 -4 -9 88 0 27 28 -44 48 50 71 -78 -87 0 19 56 71 0 -37 -62 73 74 -89 -92 0 51 54 76 -91 -100 0 51 -72 84 -85 0 37 -43 -55 -76 78 79 -81 83 84 -86 -91 0 -29 50 -71 0 1 12 -30 0 -14 22 23 42 57 -80 -89 0 28 -64 0 -7 12 29 -57 75 -93 0 13 50 67 0 -4 10 32 46 -61 -77 -85 0 61 -65 0 -26 -33 0 -4 51 65 -76 87 0 21 53 -99 0 34 41 50 52 57 68 -82 -85 95 0 8 9 16 -26 -53 61 70 0 -4 15 -32 37 -57 -88 -97 0 15 19 -48 -80 99 0 -1 20 -32 57 -74 0 -3 22 55 -88 0 10 24 -30 33 51 -53 0 9 38 100 0 -1 -51 -89 0 71 72 -77 -91 99 0 13 55 83 0 -2 15 20 -33 37 -59 63 -95 0 -55 78 -93 -98 0 -8 -19 -56 80 -87 0 17 53 -56 63 98 0 -14 97 99 0 22 25 -52 58 83 0 -8 11 -21 72 0 15 30 37 -42 95 96 0 -54 94 100 0 -12 -53 56 -77 -94 0 8 -14 -18 -67 86 91 100 0 17 22 -37 -63 74 76 -97 -99 0 2 -37 -66 0 47 75 0 -14 -24 -47 54 -60 91 0 48 -52 0 13 14 -49 80 83 -90 96 0 21 22 -29 -34 -40 99 0 -8 15 -16 -53 62 -65 -89 -93 0 -30 -36 -49 76 78 95 0 15 22 -23 61 -71 87 -98 0 -4 9 -16 -31 -35 -40 -70 0 7 -33 -47 -51 -55 65 -84 0 18 25 -36 -65 67 0 -8 -35 -38 51 0 47 -52 59 60 95 0 4 -14 34 36 49 50 66 70 -76 -100 0 29 42 45 47 -61 -78 0 -18 -41 -47 0 30 31 -37 58 -77 0 27 53 -66 -76 -87 0 -10 18 40 46 89 0 -1 14 -55 -62 89 0 46 -59 -82 0 -8 -20 44 45 -56 0 18 -23 30 57 -58 -69 -84 -87 0 -7 -10 -46 -51 57 58 86 0 -4 8 66 -95 98 0 -55 60 89 0 42 -64 73 -74 -77 0 -4 -79 89 0 12 -13 30 31 42 50 -58 -65 0 -26 30 -38 41 -42 76 88 0 -42 58 76 -82 0 61 -83 -87 -99 0 23 -36 53 77 0 -19 -28 60 0 -32 -34 40 88 0 -6 -29 -35 70 0 7 17 18 -21 -31 46 -57 96 97 0 2 -8 11 66 90 0 -4 20 60 -99 0 10 -17 26 -33 57 66 0 -12 15 21 -28 -31 52 -60 -77 95 0 -13 16 -19 -49 86 -90 0 5 -6 -24 -64 67 -79 92 -97 0 12 51 63 -85 -94 0 16 43 -71 73 0 -6 61 0 14 -51 -80 0 -21 -99 0 18 -32 -44 73 -79 0 -12 -26 32 39 66 -70 -89 -98 0 -66 74 0 -60 73 98 0 -11 27 42 -48 -58 65 0 -13 37 73 83 0 -3 -14 -19 90 -91 0 -6 -21 -97 0 -8 23 41 93 0 -5 -17 -23 46 51 67 69 -77 -95 98 0 8 48 53 68 0 -2 -22 0 8 -9 21 66 -86 100 0 -14 17 19 -40 0 -2 30 41 -43 -47 74 90 92 0 -14 18 -35 48 97 0 -2 -40 -75 0 6 -60 -72 92 0 2 55 -91 -100 0 10 23 -43 -52 -59 63 -76 100 0 -14 -25 -42 45 -60 0 -3 -35 -85 0 -36 56 -61 64 0 18 -28 32 35 -37 -46 -72 -83 94 0 21 26 33 -82 87 -100 0 27 65 0 -30 40 58 65 66 0 9 17 20 27 -60 63 -76 -93 0 -14 -16 -55 0 -17 -22 25 39 -50 72 91 -97 0 8 11 17 -33 -92 0 -24 -50 65 -90 0 15 -17 50 61 -95 0 3 24 25 66 -80 0 5 20 32 54 63 0 19 -22 64 0 -4 -48 -52 0 56 87 0 2 -38 60 -83 -87 -99 0 1 25 28 31 -34 -78 80 -81 91 -95 -98 0 40 -51 -62 0 41 59 -64 0 12 -29 -68 73 77 -89 91 95 0 -13 -32 49 -74 96 100 0 42 52 -61 0 38 42 -45 -93 0 -9 77 0 42 -57 68 74 77 79 -93 0 -16 -21 -28 -47 -71 -76 -89 0 53 58 -61 -74 0 42 -44 -47 -68 -91 0 23 -33 80 0 27 35 99 0 73 74 -89 0 41 -50 71 87 0 32 -44 48 50 -53 61 0 -7 42 48 -85 0 9 -33 0 -11 -21 32 33 -74 -78 -82 0 -2 12 -33 46 0 29 63 -68 -85 92 97 0 2 49 -51 -56 60 66 77 86 0 3 20 -38 -51 55 67 -70 76 -82 0 -8 -11 -27 0 -5 -14 -34 -88 0 4 -5 -15 -18 21 -29 -31 -75 0 3 25 -48 -52 93 0 -4 -9 -41 54 -88 0 -32 -34 58 86 -96 0 -43 -46 -71 84 0 47 -87 91 0 -35 60 83 88 0 41 -95 0 7 41 -55 -70 75 0 -30 -42 59 0 21 59 -65 87 88 -100 0 -29 31 -51 55 -70 84 87 89 0 -53 73 93 96 97 0 -27 47 -61 83 0 -38 70 81 0 2 -54 -86 89 0 17 -26 29 49 50 0 -23 59 78 80 82 0 76 81 0 5 -14 -26 -54 -67 -77 0 37 48 0 6 -36 42 -78 0 32 51 52 -87 96 0 -8 -28 39 -44 -63 65 70 -76 0 10 73 -75 0 -2 -12 55 57 -72 74 0 -13 -80 0 31 -75 -98 0 -57 -70 92 0 -14 16 -17 0 33 -34 -48 58 -89 -91 0 7 34 43 -55 -59 95 0 28 -31 -76 0 18 29 40 43 72 0 -11 15 -26 -31 0 -13 -18 97 0 36 37 -53 57 59 80 -87 -96 0 -1 28 65 80 0 -9 -46 -71 82 83 -98 0 60 63 85 -100 0 60 -81 93 -94 0 46 -52 -64 -85 87 88 -90 92 93 -95 -100 0 -38 59 -80 0 10 21 -39 0 -23 31 32 51 66 -89 -98 0 -2 37 -73 0 -16 21 38 -66 84 0 22 59 76 0 -13 19 41 55 -70 -86 -94 0 70 -74 0 -35 -42 0 -8 -13 60 74 -85 96 0 4 30 62 0 43 50 59 61 66 77 -91 -94 0 -6 17 18 25 -35 -62 70 79 0 8 -13 24 -41 46 -66 -97 0 24 28 -57 -89 0 -10 29 -41 66 -83 0 -12 31 64 -97 0 9 19 33 -39 42 60 -62 0 18 47 0 8 -10 -60 -98 0 80 81 -86 -100 0 22 64 92 0 -4 15 0 -2 -7 -11 24 29 -42 46 -68 72 0 -64 87 0 7 -17 -28 -65 89 -96 0 6 8 26 62 -65 72 0 31 34 -61 67 92 0 -17 20 -30 81 0 4 5 36 0 3 9 24 39 46 -51 0 -3 -63 0 9 -21 -62 65 -86 0 -6 -8 17 -23 -27 -76 95 100 0 26 31 -46 -72 83 85 0 11 -46 -75 0 56 84 0 -23 -33 -56 63 -69 100 0 5 57 -61 0 8 22 23 -58 89 92 -99 0 -2 30 31 -38 -43 -49 0 4 -17 24 -25 -62 71 -74 -98 0 -7 -39 -45 -58 85 87 0 24 31 -32 70 -80 96 0 -13 18 -25 -40 -44 -49 -79 0 16 -42 -56 -60 -64 74 -93 0 27 34 -45 -74 76 0 4 -17 -44 -47 60 0 -9 56 -61 68 69 0 13 -23 43 45 58 59 75 79 -85 0 38 51 54 56 -70 -87 0 -27 -50 -56 0 39 40 -46 67 -86 0 36 62 -75 -85 -96 0 -19 27 49 55 98 0 -10 23 -64 -71 98 0 55 -68 -91 0 -17 -29 53 54 -65 0 27 -32 39 66 -67 -78 -93 -96 0 -4 7 -16 -19 -55 -60 66 67 95 0 -13 17 75 0 -64 69 98 0 51 -73 82 -83 -86 0 -13 -88 98 0 21 -22 39 40 51 59 -67 -74 0 -35 39 -47 50 -51 85 97 0 -8 -51 67 85 -91 0 70 -92 -96 0 32 -45 62 86 0 -28 -37 69 0 -41 -43 49 97 0 5 6 -15 -38 -44 79 0 16 26 27 -30 -40 55 -66 0 -8 11 -17 20 75 99 0 -13 29 69 0 19 -26 35 -42 66 75 0 -21 24 30 -37 -40 61 -69 -86 0 1 -6 -22 25 -28 -58 95 -99 0 -3 14 -15 -33 -73 76 -88 0 21 60 72 -94 0 25 52 -80 82 0 -15 70 0 -8 23 -60 -89 0 -7 27 -41 -53 82 -88 0 -21 -35 41 48 75 -79 -98 0 7 -75 83 0 -69 82 0 -20 36 51 -57 -67 74 0 -22 46 82 92 0 -12 -23 -28 99 -100 0 -6 -61 0 2 -15 -30 0 -4 7 -17 32 50 0 -14 -26 -32 55 60 76 78 -86 0 17 57 62 77 0 9 -11 -31 0 17 -18 30 75 -95 0 1 -23 26 28 -49 0 6 -11 39 50 -52 -56 83 99 0 -23 27 -44 57 0 1 -11 -49 -84 0 -9 15 -69 -81 0 9 11 64 -100 0 19 32 -52 -61 -68 72 -85 0 -23 -34 -51 54 -69 0 -12 -44 -94 0 3 -45 65 -70 73 0 -9 27 -37 41 44 -46 -55 -81 -92 0 30 35 42 -91 96 0 36 74 0 -2 -39 49 67 74 75 0 18 26 29 36 -69 72 -85 0 -6 -23 -25 -64 0 9 -26 -31 34 48 -59 81 100 0 17 20 26 -42 0 -4 -33 -59 74 -99 0 24 -26 59 70 0 12 33 34 75 -89 0 14 29 41 63 72 0 28 -31 73 0 -13 -57 -61 0 -8 65 96 0 -4 -7 11 -47 69 -92 -96 0 10 34 37 40 -43 -87 89 -90 100 0 49 -60 -71 0 4 50 68 -73 0 5 9 21 -38 -77 82 86 -98 100 0 -22 -41 58 -83 0 -2 51 61 -70 0 47 51 -54 0 -2 -18 86 0 51 -66 77 83 86 88 0 -25 -30 -37 -56 -80 -85 -98 0 62 67 -70 -83 0 51 -53 -56 -77 -100 0 8 32 -42 89 0 36 44 0 82 83 -98 0 50 -59 80 96 0 41 -53 57 59 -62 70 0 -16 51 57 -94 0 18 -42 0 -20 -30 41 42 -83 -87 -91 0 1 6 -11 21 -42 55 0 38 72 -77 -94 0 11 58 -60 -65 69 75 86 95 0 12 29 -47 -60 64 76 -79 85 -91 0 -17 -20 -36 0 -14 -23 -43 -97 0 2 13 -14 -24 -27 30 -38 -40 -84 0 12 34 -57 -61 0 -5 -13 -18 -50 63 -97 0 -41 -43 67 95 0 -52 -55 -80 93 0 56 -96 100 0 -4 -44 69 92 97 0 16 50 -64 -79 84 0 -9 -39 -51 68 0 30 68 -74 96 97 0 2 5 6 -38 40 -60 64 -79 93 96 98 0 -62 82 0 -36 56 -70 92 0 -47 79 90 0 11 -63 -95 98 0 26 -35 38 58 59 0 -32 68 87 89 91 0 85 90 0 14 -23 -35 -63 -76 -86 0 46 57 0 5 15 -45 51 -87 0 41 60 61 -96 0 -17 -37 48 -53 -72 74 79 -85 0 19 82 -84 0 -11 -21 64 66 -81 83 0 -7 -22 -89 0 1 40 -84 0 -66 -79 0 -23 25 -26 0 4 42 -43 -57 67 -98 -100 0 16 43 52 -64 -68 0 37 -40 -85 0 27 38 49 52 81 0 6 -20 24 -35 -40 0 -5 -22 -27 0 45 46 -62 66 68 89 -96 0 -7 -10 37 74 89 0 -9 -18 -55 -80 91 92 0 2 -3 69 72 94 0 1 2 -4 -9 69 -90 0 55 -61 -73 -94 96 97 -99 0 -47 68 -89 0 -7 19 30 -48 0 -32 40 41 60 75 -98 0 -11 46 -82 0 -25 30 47 -75 93 0 -3 31 68 85 0 -22 28 50 64 -79 -95 0 79 -83 0 5 -44 -51 0 -17 -22 69 83 -94 0 -3 13 39 71 0 52 59 68 70 75 86 -100 0 -6 -15 26 27 34 -44 -71 79 88 0 17 -22 33 -50 55 -75 0 33 37 -66 -98 0 -6 -19 38 -50 75 -92 0 -21 40 73 0 18 28 42 -48 51 69 -71 0 -7 27 56 0 -9 17 -19 -69 0 1 89 90 -95 0 31 73 0 -13 24 0 -11 -16 -20 33 38 -51 55 -77 81 0 -5 -73 96 0 16 -26 -37 -74 98 0 15 17 35 71 -74 81 0 1 -32 0 40 43 -70 76 0 -26 29 -39 90 0 13 14 45 0 12 18 33 48 55 -60 0 -12 -72 0 4 9 18 -30 -71 74 -95 0 -15 -17 26 -32 -36 -85 0 35 40 -55 -81 92 94 0 20 -55 -84 0 9 65 93 0 -32 -42 -65 72 -78 0 1 -8 14 66 -70 0 17 31 32 -67 98 0 -7 -11 39 40 -47 -52 -58 0 13 -26 33 -34 -71 80 -83 0 5 -16 -48 -54 -67 94 96 0 33 40 -41 79 -89 0 -2 -22 27 -34 -49 -53 -58 -88 0 25 -51 -65 -69 -73 83 0 36 43 -54 -83 85 0 13 -26 -53 -56 69 0 -18 65 -70 77 78 0 22 -32 52 54 67 68 84 88 -94 0 47 60 63 65 -79 -96 0 -36 -59 -65 0 -5 48 49 -55 76 -95 0 7 45 71 -84 -94 0 7 -28 36 58 64 0 -19 32 -73 -80 0 64 -77 -100 0 -2 -5 -26 -38 62 63 -74 0 4 36 -41 48 75 -76 -87 0 -13 16 -25 -28 -64 -69 75 76 0 7 -22 26 84 0 -73 78 0 7 60 -82 91 -92 -95 0 -22 -97 0 6 30 -31 48 49 60 68 -76 -83 0 -44 48 -56 59 -60 94 0 -1 -5 -17 -60 76 94 -100 0 41 -54 71 95 0 6 -37 -46 78 0 -50 -52 58 0 14 15 -24 -47 -53 88 0 8 25 35 36 -39 -49 64 -75 0 -17 20 -26 29 84 0 -22 38 78 0 28 -35 44 -51 75 84 0 4 -8 -30 33 39 -46 -49 70 -78 -95 0 10 -15 -31 34 -37 -67 0 -3 -12 23 -24 -42 -82 85 -97 0 30 69 81 0 34 61 -89 91 0 -24 79 0 -17 32 -69 -98 0 -7 -16 36 -50 -62 91 -97 0 -30 -44 50 57 84 -88 0 16 -84 92 0 -78 91 0 1 -29 45 60 -66 -76 83 0 8 -9 -31 55 91 0 -21 -32 -37 0 -15 -70 0 11 -24 -39 0 -13 16 -26 41 59 0 -23 -35 -41 64 69 85 87 -95 0 26 66 71 86 0 -4 18 -20 -40 0 26 -27 39 84 0 8 10 -32 35 37 -58 0 15 -20 48 59 -61 -65 92 0 -32 36 -53 66 0 10 -20 -58 -93 0 -9 -18 24 -78 -90 0 18 20 73 0 28 41 -61 -70 -77 81 -94 0 -3 -32 -43 -60 63 -78 0 -21 -53 0 -1 12 -54 74 -79 82 0 5 -18 36 -46 50 53 -55 -64 -90 0 39 44 51 -100 0 45 83 0 -11 -48 58 76 83 84 0 27 35 38 45 -78 81 -94 0 9 -15 -32 -34 -73 0 18 -35 -40 43 57 -68 90 0 -8 26 29 35 -51 0 -13 -42 -68 83 0 33 -35 68 79 0 21 42 43 84 -98 0 23 38 50 72 81 0 37 -40 82 0 5 -22 -66 -70 0 -1 -5 -17 74 0 9 -13 -16 20 -56 78 0 19 43 46 49 -52 -96 98 -99 0 58 -69 -80 0 -7 9 13 59 77 -82 0 14 18 30 -47 -86 91 95 0 -31 -50 67 -92 0 -11 60 70 -79 0 56 60 -63 0 -11 -27 95 0 -7 60 -75 86 92 95 97 0 -34 -39 -46 -65 -89 -94 0 -9 71 76 -79 -92 0 60 -62 -65 -86 0 17 41 -51 98 0 -7 45 53 0 5 91 92 0 59 -68 89 0 -3 50 -62 66 68 -71 79 0 -25 60 66 0 27 -51 0 -29 -39 50 51 -92 -96 -100 0 -3 10 15 -20 30 -51 64 0 4 47 81 -86 0 20 67 -69 -74 78 84 95 0 21 38 -56 -69 73 85 -88 94 -100 0 -6 -26 -29 -45 0 -23 -32 -52 0 11 22 -23 -33 -36 39 -47 -49 -93 0 -6 21 43 -66 -70 0 4 -14 -22 -27 -59 72 0 -50 -52 76 0 2 -97 0 -5 9 -61 -64 -89 0 1 6 65 0 -13 -53 78 0 25 59 -73 -88 93 0 5 6 -18 -48 -60 77 0 2 5 7 39 77 -83 0 11 14 15 -47 49 -69 73 -88 0 1 -71 91 0 -45 65 -79 0 -4 7 -56 88 99 0 20 -72 0 35 -44 47 67 68 0 -41 77 96 98 100 0 94 99 0 23 -32 -44 -72 -85 -95 0 55 66 0 -5 14 24 -54 60 -96 0 50 69 70 0 -26 -46 57 -62 -81 83 88 -94 0 28 91 -93 0 -20 -30 73 75 -90 92 0 -16 -31 -98 0 10 49 -93 0 -75 -88 0 -7 -9 -32 34 -35 0 13 51 -52 -66 76 0 25 52 61 -73 -77 0 46 -49 -94 0 36 47 58 61 90 0 15 -29 33 -44 -49 0 -5 -14 -31 -36 0 54 55 -71 75 77 98 0 1 -16 -19 46 83 98 0 3 -18 -27 -64 -89 100 0 11 -12 78 81 0 -3 5 6 -8 10 11 -13 -18 78 -99 0 64 -70 -82 0 -56 77 -98 0 -7 -16 28 39 -57 0 -41 49 50 69 84 0 2 -20 55 -91 0 -34 39 56 -84 0 -4 -12 40 77 94 0 -31 37 59 73 -88 0 88 -92 0 -3 14 -53 -60 0