#BEGIN: [Thu Aug 31 16:31:48 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/anna.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/anna_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/anna.col /benchmark/2022benchmark/benchmark/color04/anna_02.dat c /benchmark/2022benchmark/benchmark/color04/anna.col c /benchmark/2022benchmark/benchmark/color04/anna_02.dat TIMEOUT 1800 c send SIGTERM to CID e00072f7506b138b3a19b38e3b5c60a36a32968bcd685680012b4d5872f43d93 s 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 t 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a YES a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 41 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 79 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 71 75 76 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 46 47 48 55 56 58 59 62 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 80 82 87 88 90 91 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 130 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 80 82 87 88 90 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 130 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 41 42 43 44 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 80 81 82 87 88 90 93 94 96 101 102 103 104 105 107 108 110 111 112 113 114 117 119 121 124 125 128 129 130 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 41 42 43 44 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 119 121 124 125 128 129 130 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 119 121 124 125 128 129 130 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 52 55 56 58 59 62 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 79 80 81 82 87 88 90 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 29 31 33 34 37 38 39 41 42 43 44 46 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 51 52 55 56 58 59 62 63 65 66 67 69 71 75 80 81 82 87 88 90 93 96 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 50 51 52 55 56 58 59 62 63 65 66 67 69 71 75 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 55 56 58 59 63 65 66 67 69 71 75 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 132 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 55 56 58 59 63 65 66 67 69 71 75 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 43 44 46 47 48 50 52 55 56 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 55 56 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 101 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 40 41 42 43 44 46 47 48 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 96 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 41 42 43 44 46 47 48 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 96 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 137 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 96 102 103 104 105 107 108 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 96 102 103 104 105 107 108 110 111 112 113 114 115 117 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 96 102 103 104 105 107 108 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 102 103 104 105 107 108 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 96 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 46 47 48 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 131 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 131 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 58 59 63 65 66 67 69 70 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 65 66 67 69 71 75 79 80 81 82 87 88 90 92 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 56 57 58 59 65 66 67 69 71 75 80 81 82 87 88 90 92 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 55 56 57 58 59 65 66 67 69 71 75 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 51 52 55 56 57 58 59 65 66 67 69 71 75 79 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 52 55 56 57 58 59 63 65 66 67 69 71 75 79 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 50 52 55 56 57 58 59 63 65 66 67 69 71 75 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 93 102 103 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 57 58 59 63 65 66 67 69 71 75 76 79 80 81 82 87 88 90 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 57 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 55 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 52 55 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 52 55 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 105 107 108 109 110 111 112 113 114 115 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 52 55 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 49 52 55 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 96 102 103 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 55 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 94 96 102 103 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 55 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 96 102 103 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 12 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 56 57 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 96 102 103 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 56 57 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 96 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 56 57 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 94 96 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 94 96 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 49 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 92 94 96 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 92 94 96 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 92 94 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 90 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 65 66 67 68 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 70 71 75 76 80 81 82 87 88 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 69 70 71 75 76 80 81 82 87 88 92 93 94 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 35 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 49 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 82 87 88 90 91 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 82 87 88 90 91 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 131 134 a 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 60 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 68 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 92 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 124 125 128 129 130 131 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 130 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 82 87 88 90 91 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 125 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 93 94 101 102 103 104 105 107 108 109 110 111 112 113 114 118 119 121 123 124 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 94 101 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 123 124 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 60 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 118 119 121 123 124 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 46 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 128 129 131 132 134 a 1 2 3 4 5 6 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 128 129 130 131 132 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 29 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 69 71 75 76 80 81 82 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 27 28 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 a 1 2 3 4 5 6 8 9 10 11 14 15 17 19 22 23 24 25 26 28 30 31 33 34 37 38 39 40 41 42 43 44 47 48 50 52 56 58 59 63 65 66 67 71 75 76 80 81 82 86 87 88 90 101 102 103 104 105 107 108 109 110 111 112 113 114 115 117 118 119 121 123 124 125 128 129 130 131 134 c Step: 132 #END: [Thu Aug 31 17:01:48 2023]