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