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