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