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