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