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