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