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