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