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