#BEGIN: [Mon Sep 25 21:10:49 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance025_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph001_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat s 39 161 239 91 28 169 307 201 223 319 281 175 202 158 96 293 128 191 55 48 84 163 92 269 20 208 266 138 106 136 149 246 262 273 237 322 221 249 12 34 119 308 4 244 179 289 7 21 3 220 280 274 6 311 172 76 277 323 302 89 110 174 130 207 11 144 62 118 94 228 292 243 193 178 81 103 59 225 97 80 8 13 187 287 35 297 29 251 185 318 160 258 31 301 85 176 181 298 151 45 19 71 195 306 99 147 t 55 20 6 257 49 113 25 129 322 182 87 290 163 1 269 214 41 261 99 14 292 142 44 155 144 307 217 221 321 170 318 185 33 279 235 282 164 27 154 68 208 23 153 67 141 272 53 60 276 255 236 169 286 63 274 157 43 304 36 180 121 112 140 227 251 62 137 76 75 7 309 173 13 94 101 191 308 88 56 47 222 81 152 85 29 147 136 17 108 72 187 59 247 149 177 131 24 42 135 246 161 313 124 114 111 45 a YES a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 91 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 4 6 7 11 12 13 19 20 21 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 91 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 4 6 7 11 12 13 19 20 21 23 25 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 91 94 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 4 6 7 11 12 13 19 20 21 23 25 28 29 31 34 35 39 45 55 59 62 63 71 76 80 81 85 91 94 97 99 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 28 29 31 34 35 39 45 53 55 59 62 63 71 76 80 81 85 91 94 97 99 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 28 29 31 34 39 45 53 55 59 62 63 71 76 80 81 85 91 94 97 99 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 28 29 31 34 39 45 49 53 55 59 62 63 71 76 80 81 85 91 94 97 99 106 118 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 28 29 31 34 39 45 49 53 55 59 62 63 71 76 80 81 85 91 94 97 99 106 114 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 114 119 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 113 114 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 113 114 128 130 136 138 144 147 149 151 158 161 163 164 169 172 173 174 175 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 113 114 128 130 136 138 144 147 149 151 152 158 161 163 164 169 172 173 174 176 177 178 179 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 113 114 128 130 136 138 144 147 149 151 152 158 161 163 164 169 172 173 174 176 177 179 180 181 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 220 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 42 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 244 246 249 251 258 262 266 269 273 274 277 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 29 31 34 39 42 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 249 251 258 262 266 269 273 274 277 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 277 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 80 81 85 91 94 97 99 106 112 113 114 128 130 136 138 144 147 149 151 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 19 20 21 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 80 81 85 91 94 97 99 101 106 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 80 81 85 91 94 97 99 101 106 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 279 280 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 176 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 273 274 279 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 177 179 180 185 187 191 195 201 202 207 208 221 222 225 228 237 239 246 251 258 262 266 269 272 273 274 279 281 282 286 287 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 11 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 262 266 269 272 273 274 279 281 282 286 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 12 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 262 266 269 272 273 274 276 279 281 282 286 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 174 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 262 266 269 272 273 274 276 279 281 282 286 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 266 269 272 273 274 276 279 281 282 286 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 19 20 23 25 27 29 31 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 293 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 19 20 23 25 27 29 31 33 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 155 158 161 163 164 169 172 173 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 31 33 34 39 42 45 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 34 39 42 45 47 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 130 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 34 39 42 45 47 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 239 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 34 39 41 42 45 47 49 53 55 59 62 63 67 71 75 76 81 85 87 91 94 97 99 101 106 108 111 112 113 114 121 128 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 246 251 258 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 34 39 41 42 45 47 49 53 55 59 62 63 67 71 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 246 251 261 262 269 272 273 274 276 279 281 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 34 39 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 246 251 261 262 269 272 273 274 276 279 282 286 289 290 292 297 298 301 302 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 39 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 246 251 261 262 269 272 273 274 276 279 282 286 289 290 292 297 298 301 302 304 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 39 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 202 207 208 221 222 225 227 228 237 246 251 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 302 304 306 307 308 311 313 318 319 322 323 a 6 7 13 14 20 23 25 27 29 33 39 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 237 246 251 257 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 302 304 306 307 308 311 313 318 319 322 323 a 6 7 13 14 17 20 23 25 27 29 33 39 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 237 246 251 257 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 304 306 307 308 311 313 318 319 322 323 a 6 7 13 14 17 20 23 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 237 246 251 257 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 304 306 307 308 311 313 318 319 322 323 a 6 7 13 14 17 20 23 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 71 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 237 246 251 255 257 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 319 322 323 a 6 7 13 14 17 20 23 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 273 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 319 322 323 a 6 7 13 14 17 20 23 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 319 321 322 323 a 6 7 13 14 17 20 23 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 91 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 6 7 13 14 17 20 23 24 25 27 29 33 41 42 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 97 99 101 106 108 111 112 113 114 121 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 106 108 111 112 113 114 121 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 179 180 182 185 187 191 195 201 207 208 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 195 201 207 208 217 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 207 208 217 221 222 225 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 207 208 217 221 222 227 228 235 237 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 207 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 41 42 43 44 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 298 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 289 290 292 301 304 306 307 308 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 172 173 177 180 182 185 187 191 201 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 290 292 301 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 173 177 180 182 185 187 191 201 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 290 292 301 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 173 177 180 182 185 187 191 208 214 217 221 222 227 228 235 246 251 255 257 261 262 269 272 274 276 279 282 286 290 292 301 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 173 177 180 182 185 187 191 208 214 217 221 222 227 228 235 246 251 255 257 261 269 272 274 276 279 282 286 290 292 301 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 173 177 180 182 185 187 191 208 214 217 221 222 227 228 235 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 128 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 306 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 323 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 131 135 136 137 138 140 141 144 147 149 152 153 154 155 157 158 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 158 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 #END: [Mon Sep 25 21:39:49 2023]