#BEGIN: [Thu Aug 31 09:13:21 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap06a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/wap06a.col /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat c /benchmark/2022benchmark/benchmark/color04/wap06a.col c /benchmark/2022benchmark/benchmark/color04/wap06a_02.dat TIMEOUT 1800 c send SIGTERM to CID e28bbf727a4e8ccd2df6520d533a7c18e085a6616d95a8d5fc731f338f1de650 s 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 t 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a YES a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 121 127 128 131 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 920 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 915 916 918 920 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 918 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 918 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 87 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 918 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 113 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 292 334 364 370 909 914 915 916 918 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 113 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 925 928 929 934 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 113 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 113 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 88 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 940 942 944 945 947 a 18 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 72 79 82 83 84 85 86 90 94 99 100 101 102 110 111 112 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 18 31 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 13 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 925 928 929 940 942 944 945 947 a 13 18 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 13 18 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 165 166 167 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 49 58 61 72 79 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 37 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 110 111 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 37 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 288 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 18 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 521 909 914 915 916 918 920 922 925 928 929 940 942 944 945 947 a 11 13 47 49 58 61 72 79 82 83 84 85 86 89 90 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 521 909 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 47 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 47 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 165 166 168 170 171 173 174 183 185 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 47 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 946 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 332 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 946 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 145 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 332 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 332 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 521 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 521 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 11 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 72 79 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 147 148 159 160 161 166 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 148 159 160 161 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 166 167 168 170 171 174 183 185 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 288 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 947 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 a 13 37 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 941 942 944 945 a 13 37 49 58 61 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 941 942 944 945 a 13 37 49 58 61 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 946 a 9 37 49 58 61 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 946 a 9 37 49 58 61 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 946 a 37 49 58 61 64 80 82 83 84 85 86 89 90 91 94 99 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 946 a 49 58 61 64 80 82 83 84 85 86 89 90 91 94 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 914 915 918 920 922 925 928 929 934 940 942 944 945 946 a 49 58 61 64 80 82 83 84 85 86 89 90 91 94 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 9 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 a 9 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 9 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 49 58 61 64 80 82 83 84 85 86 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 311 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 946 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 174 176 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 187 189 190 192 193 194 199 200 207 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 57 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 58 61 64 80 82 83 84 85 86 89 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 58 61 64 80 82 83 84 85 86 87 90 91 99 100 101 102 109 110 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 58 61 64 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 934 940 942 944 945 947 a 31 49 58 61 64 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 934 940 941 942 944 945 a 31 49 58 61 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 134 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 941 942 944 945 a 31 49 58 61 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 941 942 944 945 a 31 49 58 61 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 167 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 168 170 171 173 174 176 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 94 99 100 101 102 110 111 121 127 128 131 132 133 135 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 94 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 94 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 168 170 171 173 174 183 185 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 94 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 92 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 364 370 459 521 589 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 91 92 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 58 61 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 909 915 918 920 922 925 928 929 934 940 942 944 945 946 a 31 33 49 57 58 61 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 909 915 918 920 922 925 928 934 940 942 944 945 946 a 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 909 915 918 920 922 925 928 934 940 942 944 945 946 a 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 521 909 915 918 922 925 928 934 940 942 944 945 946 a 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 909 915 918 922 925 928 934 940 942 944 945 946 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 909 915 918 922 925 928 934 940 942 944 945 946 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 110 111 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 909 915 918 922 925 928 934 940 942 944 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 909 915 918 922 925 928 934 940 942 944 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 557 909 915 918 922 925 928 934 940 944 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 185 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 557 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 184 188 189 190 191 193 194 199 200 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 557 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 332 334 364 370 459 557 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 57 58 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 165 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 147 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 228 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 79 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 121 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 364 370 459 557 589 909 915 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 171 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 364 370 557 589 909 915 916 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 341 364 370 557 589 909 915 916 917 918 922 925 928 934 940 945 a 24 31 33 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 341 364 370 557 589 909 915 916 917 918 922 925 928 934 940 945 a 24 31 33 37 49 50 57 60 64 80 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 341 364 370 557 589 909 915 916 917 918 922 925 928 934 940 945 a 24 31 33 37 49 50 57 60 64 80 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 254 256 258 276 332 341 364 370 557 589 909 915 916 917 918 922 925 928 934 945 a 24 31 33 37 49 50 57 60 64 80 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 253 256 258 276 332 341 364 370 557 589 909 915 916 917 918 922 925 928 934 945 a 24 31 33 37 49 50 57 60 64 80 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 243 248 253 256 258 276 332 341 364 370 557 589 908 909 916 917 918 922 925 928 934 945 a 24 31 33 37 49 50 57 60 64 80 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 248 253 256 258 276 328 332 341 364 370 557 589 908 909 916 917 918 922 925 928 934 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 248 253 256 258 276 328 332 341 364 370 557 589 908 909 916 917 918 922 925 928 934 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 242 248 253 256 258 328 332 341 364 370 557 589 908 909 916 917 918 922 925 928 934 941 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 159 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 87 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 c Step: 141 #END: [Thu Aug 31 09:43:22 2023]