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