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