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