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