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