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