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