c File: jnh219.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 800 32 -76 -99 0 11 -76 -86 97 98 0 28 -33 -50 57 62 -67 77 -98 0 14 -16 -21 25 31 42 51 94 0 -3 -16 20 32 -35 41 -47 67 0 68 85 0 -53 -73 -76 -92 0 -40 -70 -79 -99 0 -13 -17 58 69 -70 -80 -83 86 -94 -96 0 -6 19 -53 68 90 0 23 51 -61 -69 -74 0 -44 -97 -99 0 -8 -11 -36 49 0 12 -52 56 0 25 48 53 0 6 -60 -100 0 6 -20 -35 40 0 30 72 0 -7 24 0 24 -30 52 53 -65 -95 0 -16 20 -35 49 52 54 86 0 -18 38 58 61 62 -94 96 0 12 -26 48 0 -3 35 46 -92 0 -19 -51 54 0 14 15 67 0 24 43 45 47 82 -91 94 0 41 46 -88 0 -19 -32 -42 0 2 13 70 -79 -91 0 -1 7 -43 0 16 17 -52 61 71 0 4 -9 -28 30 35 -41 97 0 38 -40 -73 -93 0 20 22 -37 39 75 0 -45 -67 -77 0 -40 -63 -78 0 -22 -35 57 96 0 -13 23 -54 -56 -79 81 -82 0 8 -20 -24 60 98 -99 0 -41 72 99 0 5 8 37 93 -96 0 83 94 0 62 -76 80 -91 -96 0 1 2 -18 22 24 45 -52 -61 -78 -83 0 30 45 0 -11 -36 47 48 -63 -66 93 0 25 28 50 -65 -74 0 25 -46 58 -59 0 11 -17 -29 -50 52 53 -55 57 58 -60 -65 0 -3 24 -45 0 16 31 -54 -63 75 86 0 2 -38 -88 96 97 0 3 -31 49 -67 0 24 41 -81 86 0 6 20 -35 -51 -59 87 0 35 -39 -78 84 0 25 39 -50 61 -100 0 27 -73 -78 0 8 15 24 26 31 42 -56 -59 69 95 0 -27 35 44 0 -6 11 -31 -62 -71 82 83 90 -100 0 -22 -54 73 -78 89 0 -6 31 -48 89 93 0 29 -62 -75 94 0 -4 7 25 -27 -77 96 0 12 74 84 98 0 -25 -63 83 0 45 46 -51 -65 73 -75 0 29 57 0 -7 11 -33 37 -69 80 0 -29 52 -67 -72 -76 89 94 0 -30 54 -61 0 27 -30 37 72 -82 -93 0 71 73 91 0 -26 32 57 -88 0 46 96 99 0 1 -82 85 -95 0 4 11 -16 69 70 0 -28 68 74 89 0 -27 30 -51 -68 0 -41 60 65 74 -86 0 -11 -37 48 50 -71 -73 82 -88 -92 0 -11 -40 91 96 0 21 49 76 0 -21 28 -34 65 0 22 -26 -88 -98 0 -23 54 57 -64 70 0 -3 -8 -14 73 87 88 0 -27 36 -39 -63 -67 95 96 0 -4 -10 -23 50 52 69 -82 89 -90 0 35 -45 61 -72 0 -5 -9 -14 -44 89 96 -97 0 -7 -21 -25 -29 39 -58 -78 83 -90 0 -10 -39 41 81 0 -9 -12 25 92 99 0 21 -26 33 34 69 -82 0 8 10 23 24 40 44 -50 -74 0 3 16 19 21 -35 -52 78 -88 0 -15 -21 0 4 5 -11 32 -51 -92 0 1 27 -40 -50 -61 0 14 20 63 0 -29 -36 63 -84 92 0 20 -33 -56 -75 88 0 18 19 -30 0 4 31 -32 -43 -58 -61 -82 -94 0 -20 -25 31 32 60 92 -97 0 40 -69 72 -81 -84 0 -29 34 63 -78 82 0 16 -38 47 -48 -51 0 -53 63 0 4 5 16 24 -32 -39 -78 0 4 -12 15 -16 50 62 86 -87 0 -16 32 50 -56 -100 0 35 -57 -61 -73 0 -10 27 51 0 -2 34 97 0 -6 -8 14 62 -93 0 -3 -9 44 0 -5 20 -31 70 71 -80 0 40 64 81 91 92 -95 0 34 -73 76 -82 85 0 -7 31 40 -78 94 0 84 -91 100 0 -2 -5 26 -34 -51 69 0 -23 60 -64 -86 89 95 0 -38 41 -53 66 -71 -87 90 -93 0 25 37 -59 -68 79 -80 -98 0 17 -45 47 86 0 35 90 0 -25 -54 -80 0 -73 88 0 -6 -18 47 -53 -95 0 6 13 40 -44 -63 -72 92 0 -40 48 -86 -100 0 -34 47 72 0 1 16 -22 -32 39 0 11 47 57 -85 0 64 -65 -87 0 -26 -77 -88 -93 0 15 67 -80 -95 0 20 25 41 43 -51 -69 72 -82 97 0 22 27 42 -79 -91 -97 0 40 -60 74 -76 -96 0 82 -83 95 0 4 15 -17 -21 48 64 66 -88 91 93 0 -9 22 71 -76 0 -14 -49 -88 92 0 -34 -46 66 -76 0 29 -65 -74 80 0 -17 -26 -33 37 -50 74 76 0 -16 19 -34 84 97 0 -9 -59 -88 -99 0 -10 30 -35 38 -77 0 -2 6 9 -11 -20 -46 -57 68 0 7 -56 61 -74 92 0 1 39 95 100 0 -4 14 32 39 40 0 1 -34 37 -50 -67 0 -29 83 91 94 0 13 -24 46 65 -71 -88 -90 0 74 -91 -96 99 0 -7 -66 0 -24 39 -64 82 85 91 0 24 35 -69 -98 0 40 -54 89 -91 0 6 28 37 77 98 99 0 38 79 94 0 -27 93 -96 0 -22 -26 0 30 61 -78 0 -12 34 -57 -61 -73 0 2 5 -8 -52 54 -55 65 -69 -72 76 0 14 -25 -36 75 99 0 15 33 -38 0 -3 -42 47 51 -63 65 69 0 -6 23 -48 70 74 86 0 16 26 -35 -87 0 12 16 -19 -67 0 16 -31 42 48 51 53 -67 -83 0 -2 -21 -45 -50 -63 0 27 32 -35 -48 -90 -95 0 16 -18 -21 -42 -65 0 -7 54 0 1 9 73 97 0 47 48 -63 0 15 -24 45 61 0 6 -18 22 24 -27 35 0 16 22 -59 0 -7 -81 0 6 7 -48 -52 -56 83 0 -7 20 -85 -95 0 3 37 -42 -59 66 71 -76 86 0 23 -25 -30 34 40 51 60 0 -12 -25 29 41 -44 50 -56 76 0 -1 77 94 0 -8 -62 -82 -85 0 -3 -5 -49 -79 -88 0 -22 -26 67 78 -79 -89 -92 95 0 -15 28 -62 77 99 0 -6 -8 32 60 -70 -78 -83 0 -17 -20 -45 58 0 21 -61 65 0 -9 34 57 62 0 15 -69 0 15 -29 -44 49 0 39 81 0 -4 -16 33 0 33 -39 61 62 -74 0 -3 5 -25 29 -44 58 61 63 95 0 -27 47 67 70 71 0 -1 21 -35 57 0 -12 44 55 0 -28 -60 63 0 3 23 24 76 0 33 52 54 56 91 -100 0 50 55 -97 0 -28 -41 -51 0 11 22 79 -88 -100 0 -10 16 -52 0 6 25 26 -61 70 80 0 -2 13 -18 -37 39 44 -50 0 47 -49 -82 0 29 31 -46 48 84 0 -54 -76 -86 0 5 -49 -72 -87 0 -31 -44 66 0 7 -8 -22 32 -63 -65 -88 90 -91 0 8 17 -29 -33 69 0 2 -5 -50 81 0 3 14 17 46 0 -5 92 0 71 -85 89 -100 0 10 11 -27 31 33 54 -61 -70 -87 -92 0 2 39 54 0 -20 -45 56 57 -72 -75 0 34 37 59 -74 -83 0 34 -55 67 -68 0 20 -26 -38 -59 61 62 -64 66 67 -69 -74 0 -12 33 -54 0 5 6 25 40 -63 -72 84 95 0 11 -47 -97 0 12 -40 58 -76 0 33 50 -90 95 0 15 29 -44 -60 -68 96 0 44 -48 -87 93 0 -9 -16 0 34 48 -59 70 0 4 36 -82 -87 0 17 24 33 35 40 51 -65 -68 78 0 -9 -36 44 53 0 -15 20 -40 -71 -80 91 92 99 0 2 -31 -63 82 -87 98 0 3 -15 40 -57 98 0 5 38 -71 -84 0 7 -13 16 34 -36 -86 0 21 83 93 0 -34 -72 92 0 54 55 -60 -74 82 -84 0 38 66 0 3 -16 20 -42 46 -78 89 0 -38 61 -76 -81 -85 98 0 -2 -39 63 -70 0 36 -39 46 81 -91 0 80 82 100 0 5 8 -35 41 66 -97 0 -4 55 0 10 -91 94 0 13 20 -25 78 79 0 -37 77 83 98 0 -36 39 -60 -77 0 -1 -50 69 74 83 -95 0 5 -20 -46 57 59 -80 -82 91 -97 0 -20 -49 100 0 30 58 85 0 -7 -30 37 -43 74 0 31 -35 -97 0 -32 63 66 -73 79 0 4 5 -12 -17 -23 82 96 97 0 -36 45 -48 -72 -76 0 -13 -19 -32 59 61 78 -91 98 -99 0 5 -6 44 -54 70 -81 0 -14 -18 -23 -53 98 0 -16 -30 -34 -38 48 -67 -87 92 -99 0 1 8 -19 -48 50 90 0 -18 -21 34 0 30 -35 42 43 78 -91 0 17 19 32 33 49 53 -59 -83 0 12 25 28 30 -44 -61 87 -97 0 -1 -24 -30 0 13 14 -20 41 -60 0 10 36 -49 -59 -70 0 1 23 29 72 0 -38 -45 72 -93 0 29 -42 -65 -84 97 0 -3 27 28 -39 0 1 -6 13 40 -41 -52 -67 -70 -91 0 -29 -34 40 41 69 0 49 -78 81 -90 -93 0 -38 43 72 -87 91 0 25 -47 56 -57 -60 0 -62 72 0 13 14 25 33 -41 -48 -87 0 -9 13 -21 24 -25 59 71 95 -96 0 -25 41 59 -65 0 44 -66 -70 -82 0 6 -19 36 60 0 -2 -11 43 0 -15 -17 23 71 0 -12 -18 53 0 1 -4 -14 29 -40 79 80 -89 0 49 73 90 100 0 3 43 -82 85 -91 94 0 9 -16 40 49 -87 0 93 -100 0 4 -11 -14 35 -43 -60 78 0 -2 -32 69 -73 -95 98 0 -7 -47 50 -62 75 -80 -96 99 0 34 46 -68 -77 88 -89 0 26 -54 56 95 0 44 99 0 -34 -63 -89 0 -4 -82 97 0 1 -15 -27 56 -62 0 -9 15 22 49 -53 -72 -81 0 -49 57 -95 0 -43 56 81 0 10 25 -31 -41 48 0 20 56 66 -94 0 -2 73 -74 -96 0 -35 -86 -97 0 -4 -80 0 6 24 76 -89 0 -6 29 34 50 52 -60 -78 81 -91 0 31 36 51 -88 -100 0 -5 91 0 4 49 -69 83 -85 0 91 -92 0 2 -23 0 13 24 -26 -30 57 73 75 -97 100 0 1 -18 31 80 -85 0 -23 -58 -97 0 -43 -55 75 -85 0 38 -74 -83 89 0 6 -26 -35 -42 46 -59 83 85 0 -8 -25 28 -43 93 0 -18 -68 -97 0 -19 39 -44 47 -86 0 1 -11 15 18 -20 -29 -55 -66 77 0 4 9 16 -65 70 -83 0 10 48 0 -13 23 41 48 49 0 3 10 -43 46 -59 -76 0 -38 92 100 0 -5 8 22 -33 55 74 -80 -97 -99 0 83 -100 0 -16 -75 0 -7 -33 48 -73 91 94 100 0 33 44 -78 0 7 8 49 -63 98 -100 0 3 15 37 46 86 0 2 -5 47 88 0 -31 -35 0 39 70 -87 0 -21 43 -66 -70 -82 0 8 11 14 -17 -61 63 -64 74 -78 -81 85 0 23 -34 -45 84 0 24 42 -47 0 -12 -51 56 60 -72 74 78 0 -15 32 -57 79 83 95 0 25 35 -44 -96 0 21 25 -28 -76 0 25 -40 51 57 60 62 -76 -92 0 -4 -11 -30 -54 -59 -72 0 36 41 -44 -57 -99 0 25 -27 -30 -51 -74 0 6 -16 63 0 10 18 82 0 56 57 -72 0 24 -33 54 70 0 15 -27 31 33 -36 44 0 25 31 -68 0 -16 -90 0 -4 15 16 -57 -61 -65 92 0 -16 29 -94 0 12 46 -51 -68 75 80 -85 95 0 32 -34 -39 43 49 60 69 0 3 -21 -34 38 50 -53 59 -65 85 0 -10 86 0 -17 -71 -91 -94 0 -1 4 -12 -14 -58 -88 -97 0 8 -31 -35 76 87 -88 -98 0 -24 37 -71 86 0 -15 -17 41 69 -79 -87 -92 0 -26 -29 -54 67 0 30 -70 74 0 -18 43 66 71 0 24 -78 0 24 -38 -53 58 0 48 90 0 -13 -25 42 0 4 42 -48 70 71 -83 0 -12 14 -34 38 -53 67 70 72 0 -36 56 76 79 80 0 -10 30 -44 66 0 -21 53 64 0 -37 -69 72 0 -9 12 32 33 85 0 -6 42 61 63 65 100 0 59 64 0 -9 -37 -50 -60 0 20 31 88 -97 0 -19 25 -61 0 15 34 35 -70 79 89 0 -11 22 -27 -46 48 53 -59 0 56 -58 -91 0 38 40 -55 57 93 0 -63 -85 -95 0 14 -58 -81 -96 0 -40 -53 75 0 16 -17 -31 41 -72 -74 -97 99 -100 0 17 26 -38 -42 78 0 11 -14 -59 90 0 1 12 23 26 55 0 -9 -14 0 -1 80 -94 98 0 19 20 -36 40 42 63 -70 -79 -96 0 11 48 63 0 -29 -54 65 66 -81 -84 0 43 46 68 -83 -92 0 43 -64 76 -77 0 29 -35 -47 -68 70 71 -73 75 76 -78 -83 0 -21 42 -63 0 4 -22 0 -6 14 15 34 49 -72 -81 93 0 20 -56 0 4 21 -49 67 -85 0 5 42 59 -99 0 2 24 38 -53 -69 -77 0 53 -57 -96 0 -18 -25 0 43 57 -68 79 0 13 45 -91 -96 0 26 33 42 44 49 60 -74 -77 87 0 1 8 -18 -45 53 62 0 7 -24 29 -49 -80 -89 100 0 7 11 -40 -72 91 -96 0 12 -24 49 -66 0 14 47 -80 -93 0 2 16 -22 25 43 -45 -95 0 1 30 92 0 -43 -81 0 63 64 -69 -83 91 -93 0 5 47 75 0 7 12 -25 29 -51 55 -87 98 0 -47 70 -85 -90 -94 0 -11 -48 72 -79 0 9 45 -48 55 90 -100 0 -6 89 91 0 14 17 -44 50 75 0 3 -13 64 0 19 -100 0 7 22 29 -34 87 88 0 -46 86 92 0 -4 -45 48 -69 -86 0 -6 -10 -59 78 83 92 0 9 14 -29 -55 66 68 -89 -91 100 0 -29 -58 0 39 67 94 0 -6 -16 -39 46 -52 83 0 40 -44 0 5 6 -41 72 75 -82 88 0 13 14 -21 -26 -32 91 0 7 -8 -45 54 -57 -81 -85 0 -22 -28 -41 68 70 87 -100 0 7 14 -15 53 -63 79 -90 0 1 -8 -23 -27 -32 -62 0 -25 -39 -43 -47 57 -76 -96 0 10 17 -28 -57 59 99 0 -27 -30 43 0 39 -44 51 52 87 -100 0 -6 26 28 41 42 58 62 -68 -92 0 21 34 37 39 -53 -70 96 0 -10 -33 -39 0 22 23 -29 50 -69 0 19 45 -58 -68 -79 0 -2 10 32 38 81 0 6 -47 -54 81 0 38 -51 -74 -93 0 -12 36 37 -48 0 10 -15 22 49 -50 -61 -76 -79 -100 0 -2 -38 -43 49 50 78 0 58 -87 90 -99 0 -47 52 81 -96 100 0 34 -56 65 -66 -69 0 -71 81 0 4 -5 22 23 34 42 -50 -57 -96 0 -18 22 -30 33 -34 68 80 0 -34 50 68 -74 0 53 -75 -79 -91 0 15 -28 45 69 0 -11 -20 52 0 -24 -26 32 80 0 -21 -27 62 0 9 10 -13 -23 38 -49 88 89 -98 0 3 58 82 99 0 12 52 -91 94 -100 0 2 -9 18 -25 49 58 -96 0 -4 7 13 -20 -23 44 -52 -69 87 0 -5 8 -11 -41 78 -82 0 -16 -56 59 -71 84 -89 0 4 43 55 -77 -86 97 -98 0 8 35 -63 65 0 6 -43 -72 -98 0 -13 -91 0 10 -24 -36 65 -71 0 -4 -18 24 31 58 -62 -81 -90 0 -58 66 0 -52 65 90 0 -3 19 34 -40 -50 57 0 -5 29 65 75 0 -6 -11 82 -83 0 -44 -95 0 -13 -89 0 15 33 85 -98 0 -9 -15 38 43 59 61 -69 -87 90 -100 0 40 45 60 -97 0 -14 100 0 -1 13 58 -78 92 -94 0 -6 9 11 -32 0 22 33 -35 -39 66 82 84 0 -6 10 -27 40 89 -94 0 -32 -67 0 -52 -64 84 -94 0 47 -83 -92 98 0 2 15 -35 -44 -51 55 -68 92 94 0 -6 -17 -34 37 -52 0 -27 -77 0 -28 48 -53 56 -95 0 10 -20 24 27 -29 -38 -64 -75 86 0 13 18 25 -74 79 -92 0 19 57 0 -22 32 50 57 58 0 1 9 12 19 -52 55 -68 -85 0 -6 -8 -47 0 -9 -14 17 31 -42 64 83 -89 0 3 9 -25 -84 0 -16 -42 57 -82 100 0 7 -9 42 53 -87 0 16 17 58 -72 0 12 24 46 55 95 0 11 -14 56 97 0 -40 -44 0 48 79 -96 0 -30 52 -75 -79 -91 0 17 20 23 -26 -70 72 -73 83 -87 -90 94 0 32 -43 -54 93 0 33 51 -56 0 4 -21 -60 65 69 -81 83 87 0 -5 -24 41 -66 88 92 0 34 44 -53 0 30 34 -37 -85 0 -1 69 0 34 -49 60 66 69 71 -85 0 -8 -13 -20 -39 -63 -68 -81 0 45 50 -53 -66 0 34 -36 -39 -60 -83 0 15 -25 72 0 19 27 91 0 65 66 -81 0 33 -42 63 79 0 24 -36 40 42 -45 53 0 34 40 -77 0 1 -25 -99 0 -3 -13 24 25 -66 -70 -74 0 4 -25 38 0 21 55 -60 -77 84 89 -94 0 41 -43 -48 52 58 69 78 0 12 -30 -43 47 59 -62 68 -74 94 0 -3 -19 95 0 -6 -26 -80 -100 0 -7 -10 13 -21 -23 -67 -97 0 17 -40 -44 85 96 -97 0 -1 -33 46 -80 95 0 -24 -26 50 78 -88 -96 0 -35 -38 -63 76 0 39 -79 83 0 -27 52 75 80 0 33 -87 0 33 -47 -62 67 0 57 99 0 -22 -34 51 0 13 51 -57 79 80 -92 0 -21 23 -43 47 -62 76 79 81 0 -45 65 85 88 89 0 -19 39 -53 75 0 -30 62 73 0 -46 -78 81 0 9 -18 21 41 42 94 0 -15 51 70 72 74 0 68 73 0 -6 -18 -46 -59 -69 0 29 40 97 0 -28 34 -70 0 24 43 44 -79 88 98 0 -20 31 -36 -55 57 62 -68 0 2 65 -67 -100 0 -4 47 49 -64 66 0 -5 -72 -94 0 23 -67 -90 0 -49 -62 84 0 -6 8 -9 0 25 -26 -40 50 -81 -83 0 26 35 -47 -51 87 0 20 -23 -68 99 0 10 21 32 35 64 0 -3 7 -18 -23 0 -5 -10 89 0 28 29 -45 49 51 72 -79 -88 0 20 57 72 0 -1 -38 -63 74 75 -90 -93 0 52 55 77 -92 0 52 -73 85 -86 0 38 -44 -56 -77 79 80 -82 84 85 -87 -92 0 -30 51 -72 0 2 13 -31 0 -15 23 24 43 58 -81 -90 0 29 -65 0 -8 13 30 -58 76 -94 0 14 51 68 0 -5 11 33 47 -62 -78 -86 0 62 -66 0 -27 -34 0 -5 52 66 -77 88 0 22 54 -100 0 35 42 51 53 58 69 -83 -86 96 0 9 10 17 -27 -54 62 71 0 -5 16 -33 38 -58 -89 -98 0 16 20 -49 -81 100 0 -2 21 -33 58 -75 0 -4 23 56 -89 0 1 11 25 -31 34 52 -54 0 10 39 0 -2 -52 -90 0 72 73 -78 -92 100 0 14 56 84 0 -3 16 21 -34 38 -60 64 -96 0 -56 79 -94 -99 0 -9 -20 -57 81 -88 0 18 54 -57 64 99 0 -15 98 100 0 23 26 -53 59 84 0 -9 12 -22 73 0 1 16 31 38 -43 96 97 0 -55 95 0 1 -13 -54 57 -78 -95 0 9 -15 -19 -68 87 92 0 18 23 -38 -64 75 77 -98 -100 0 3 -38 -67 0 48 76 0 -15 -25 -48 55 -61 92 0 49 -53 0 14 15 -50 81 84 -91 97 0 22 23 -30 -35 -41 100 0 -9 16 -17 -54 63 -66 -90 -94 0 -31 -37 -50 77 79 96 0 16 23 -24 62 -72 88 -99 0 -5 10 -17 -32 -36 -41 -71 0 8 -34 -48 -52 -56 66 -85 0 19 26 -37 -66 68 0 -9 -36 -39 52 0 -1 48 -53 60 61 96 0 5 -15 35 37 50 51 67 71 -77 0 30 43 46 48 -62 -79 0 -19 -42 -48 0 31 32 -38 59 -78 0 28 54 -67 -77 -88 0 -11 19 41 47 90 0 -2 15 -56 -63 90 0 47 -60 -83 0 -9 -21 45 46 -57 0 19 -24 31 58 -59 -70 -85 -88 0 -8 -11 -47 -52 58 59 87 0 -5 9 67 -96 99 0 -56 61 90 0 43 -65 74 -75 -78 0 -5 -80 90 0 13 -14 31 32 43 51 -59 -66 0 -27 31 -39 42 -43 77 89 0 -43 59 77 -83 0 62 -84 -88 -100 0 24 -37 54 78 0 -20 -29 61 0 -33 -35 41 89 0 -7 -30 -36 71 0 8 18 19 -22 -32 47 -58 97 98 0 3 -9 12 67 91 0 -5 21 61 -100 0 11 -18 27 -34 58 67 0 -13 16 22 -29 -32 53 -61 -78 96 0 -14 17 -20 -50 87 -91 0 6 -7 -25 -65 68 -80 93 -98 0 13 52 64 -86 -95 0 17 44 -72 74 0 -7 62 0 15 -52 -81 0 -22 -100 0 19 -33 -45 74 -80 0 -13 -27 33 40 67 -71 -90 -99 0 -67 75 0 -61 74 99 0 -12 28 43 -49 -59 66 0 -14 38 74 84 0 -4 -15 -20 91 -92 0 -7 -22 -98 0 -9 24 42 94 0 -6 -18 -24 47 52 68 70 -78 -96 99 0 9 49 54 69 0 1 -3 -23 0 9 -10 22 67 -87 0 -15 18 20 -41 0 -3 31 42 -44 -48 75 91 93 0 -15 19 -36 49 98 0 -3 -41 -76 0 -1 7 -61 -73 93 0 1 3 56 -92 0 11 24 -44 -53 -60 64 -77 0 -15 -26 -43 46 -61 0 -4 -36 -86 0 -37 57 -62 65 0 -1 19 -29 33 36 -38 -47 -73 -84 95 0 22 27 34 -83 88 0 28 66 0 -31 41 59 66 67 0 10 18 21 28 -61 64 -77 -94 0 -15 -17 -56 0 1 -18 -23 26 40 -51 73 92 -98 0 9 12 18 -34 -93 0 -25 -51 66 -91 0 16 -18 51 62 -96 0 4 25 26 67 -81 0 6 21 33 55 64 0 20 -23 65 0 -5 -49 -53 0 57 88 0 3 -39 61 -84 -88 -100 0 2 26 29 32 -35 -79 81 -82 92 -96 -99 0 41 -52 -63 0 42 60 -65 0 1 13 -30 -69 74 78 -90 92 96 0 -14 -33 50 -75 97 0 43 53 -62 0 39 43 -46 -94 0 -10 78 0 43 -58 69 75 78 80 -94 0 -17 -22 -29 -48 -72 -77 -90 0 54 59 -62 -75 0 43 -45 -48 -69 -92 0 24 -34 81 0 28 36 100 0 74 75 -90 0 42 -51 72 88 0 33 -45 49 51 -54 62 0 -8 43 49 -86 0 10 -34 0 -12 -22 33 34 -75 -79 -83 0 -3 13 -34 47 0 30 64 -69 -86 93 98 0 3 50 -52 -57 61 67 78 87 0 4 21 -39 -52 56 68 -71 77 -83 0 -9 -12 -28 0 -6 -15 -35 -89 0 5 -6 -16 -19 22 -30 -32 -76 0 4 26 -49 -53 94 0 -5 -10 -42 55 -89 0 -33 -35 59 87 -97 0 -44 -47 -72 85 0 48 -88 92 0 -36 61 84 89 0 42 -96 0 8 42 -56 -71 76 0 -1 -31 -43 60 0 22 60 -66 88 89 0 -30 32 -52 56 -71 85 88 90 0 -54 74 94 97 98 0 -28 48 -62 84 0 -39 71 82 0 3 -55 -87 90 0 18 -27 30 50 51 0 -24 60 79 81 83 0 77 82 0 6 -15 -27 -55 -68 -78 0 38 49 0 7 -37 43 -79 0 33 52 53 -88 97 0 -9 -29 40 -45 -64 66 71 -77 0 11 74 -76 0 -3 -13 56 58 -73 75 0 -14 -81 0