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