#BEGIN: [Mon Sep 4 14:45:01 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance031_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat c /benchmark/random_instance/random_instance031_graph002.col c /benchmark/random_instance/random_instance031_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.015 seconds s 300 291 247 217 324 249 314 285 146 210 188 246 178 83 161 2 174 320 156 240 268 72 378 337 328 84 32 43 138 301 367 278 225 141 374 91 42 90 398 40 9 22 245 228 341 117 362 8 139 82 195 254 394 263 200 173 119 277 167 311 177 377 227 287 198 293 27 23 361 157 75 233 150 74 389 20 266 243 116 242 333 282 220 149 267 388 190 186 400 135 127 364 250 255 197 208 69 326 366 372 206 108 368 100 272 49 192 296 153 257 239 387 122 162 403 340 129 63 351 350 212 281 21 259 344 194 132 t 6 15 150 74 335 306 266 157 76 141 65 29 238 211 97 119 31 49 339 4 232 140 130 272 19 278 26 59 158 178 144 62 143 281 365 305 95 350 132 165 124 336 229 360 209 204 318 223 135 301 320 236 68 193 139 293 36 111 72 215 230 118 121 247 299 41 32 12 222 52 319 104 268 159 363 245 352 23 47 190 308 276 196 372 309 358 84 82 77 218 386 387 267 290 98 99 340 378 113 331 24 366 108 250 356 313 381 207 172 400 288 85 316 255 330 392 256 249 212 228 296 399 225 265 126 7 200 a YES a 2 8 9 20 21 22 23 27 32 40 42 43 49 63 69 72 74 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 51 63 69 72 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 20 21 22 23 27 32 40 42 43 49 51 63 69 70 72 75 82 83 84 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 10 20 21 22 23 27 32 40 42 43 49 51 63 69 70 72 75 82 83 84 90 91 100 108 116 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 245 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 320 324 326 328 333 337 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 10 20 21 22 23 27 32 40 42 43 49 51 63 69 70 72 75 82 83 84 90 91 100 108 116 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 177 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 320 324 326 328 333 337 338 340 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 10 20 21 22 23 27 32 40 42 43 49 51 63 69 70 72 75 82 83 84 90 91 100 108 116 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 8 9 10 20 21 22 23 27 32 40 42 43 49 51 63 69 72 75 82 83 84 90 91 100 108 116 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 178 186 188 190 192 194 195 197 198 200 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 63 69 72 75 82 83 84 90 91 100 108 116 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 173 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 301 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 58 69 72 75 82 83 84 90 91 100 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 58 69 72 75 82 83 84 90 91 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 387 388 394 398 400 403 a 2 5 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 398 400 403 a 2 5 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 400 403 a 2 5 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 400 403 a 2 5 8 9 10 20 21 22 23 27 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 403 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 246 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 320 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 135 138 139 141 146 149 150 153 156 157 161 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 135 138 139 141 146 149 150 153 156 157 161 162 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 116 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 174 178 186 188 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 174 178 186 188 189 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 400 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 113 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 378 386 387 388 394 398 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 210 212 217 220 225 227 228 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 398 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 398 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 398 399 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 69 72 75 82 83 84 90 91 108 119 122 123 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 63 69 72 75 82 83 84 90 91 108 119 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 9 10 20 21 22 23 27 31 32 40 42 43 49 50 51 58 63 69 75 82 83 84 90 91 108 119 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 399 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 309 311 314 316 323 324 326 328 333 337 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 129 132 135 138 139 141 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 309 311 314 316 323 324 326 328 333 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 309 311 314 316 323 324 326 328 333 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 400 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 309 311 314 316 323 324 326 328 333 338 340 341 343 344 350 351 361 362 364 366 367 368 372 377 378 386 387 388 394 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 301 309 311 314 316 323 324 326 328 333 338 340 341 343 344 351 361 362 364 366 367 368 372 377 378 386 387 388 394 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 282 285 287 288 291 293 296 299 300 301 309 311 314 316 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 388 394 a 2 5 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 75 82 83 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 388 394 a 2 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 72 75 82 83 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 388 394 a 2 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 72 75 82 83 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 388 a 2 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 388 a 2 8 9 10 14 20 21 22 23 27 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 320 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 259 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 320 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 311 314 316 319 320 323 324 326 328 333 338 340 341 343 344 361 362 364 366 367 368 372 377 378 386 387 392 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 341 343 344 350 361 362 364 366 367 368 372 377 378 386 387 392 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 225 227 228 230 233 239 240 242 243 247 249 250 254 255 257 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 240 242 243 247 249 250 255 257 260 263 265 266 267 268 272 277 278 281 285 287 288 291 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 240 242 243 247 249 250 255 257 260 263 265 266 267 268 272 277 278 281 285 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 9 10 14 20 21 22 23 31 32 40 42 43 49 50 51 59 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 240 242 243 247 249 250 255 257 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 14 20 21 22 23 31 32 40 42 43 49 50 51 59 62 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 240 242 243 247 249 250 255 257 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 14 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 257 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 14 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 326 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 319 320 323 324 328 333 338 340 343 344 350 361 362 364 366 367 368 372 377 378 381 386 387 392 400 a 2 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 51 59 62 63 69 72 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 338 340 343 344 350 361 362 366 367 368 372 377 378 381 386 387 392 400 a 2 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 233 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 338 340 343 344 350 361 362 366 367 368 372 377 378 381 386 387 392 400 a 2 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 338 340 343 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 2 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 220 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 338 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 2 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 338 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 2 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 222 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 161 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 222 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 195 196 197 198 200 206 207 208 212 215 217 222 223 225 227 228 230 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 195 196 197 200 206 207 208 212 215 217 222 223 225 227 228 230 236 239 242 243 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 195 196 197 200 206 207 208 212 215 217 222 223 225 227 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 195 196 197 200 206 207 208 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 306 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 21 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 196 197 200 206 207 208 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 8 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 149 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 196 197 200 206 207 208 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 8 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 69 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 150 153 157 158 162 167 170 178 186 188 189 190 192 193 194 196 197 200 206 207 208 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 8 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 208 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 8 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 129 132 135 138 139 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 8 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 132 135 138 139 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 256 260 263 265 266 267 268 272 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 132 135 138 139 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 217 222 223 225 228 230 236 239 242 247 249 250 255 256 260 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 132 135 138 139 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 236 239 242 247 249 250 255 256 260 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 132 135 138 139 143 144 146 150 153 157 158 162 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 132 135 138 139 141 143 144 146 150 153 157 158 167 170 172 178 186 188 189 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 130 132 135 138 139 141 143 144 146 150 153 157 158 167 170 172 178 186 189 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 130 132 135 138 139 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 277 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 130 132 135 138 139 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 314 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 10 15 19 20 22 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 130 132 135 138 139 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 10 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 127 130 132 135 138 139 140 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 212 215 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 10 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 130 132 135 138 139 140 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 212 215 218 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 119 121 122 130 132 135 138 139 140 141 143 144 146 150 153 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 167 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 324 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 263 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 333 335 340 344 350 358 361 362 363 366 367 368 372 377 378 381 386 387 392 399 400 a 4 6 15 19 20 23 31 32 40 42 43 47 49 50 59 62 63 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 362 363 366 368 372 377 378 381 386 387 392 399 400 a 4 6 12 15 19 20 23 31 32 40 42 43 47 49 50 59 62 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 362 363 366 368 372 377 378 381 386 387 392 399 400 a 4 6 12 15 19 20 23 31 32 40 42 43 47 49 50 59 62 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 126 130 132 135 138 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 362 363 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 20 23 29 31 32 40 42 43 47 49 50 59 62 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 362 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 50 59 62 65 72 74 75 76 77 82 84 90 91 99 108 111 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 362 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 50 59 62 65 72 74 75 76 77 82 84 90 91 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 192 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 50 59 62 65 68 72 74 75 76 77 82 84 90 91 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 193 194 196 197 200 206 207 209 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 333 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 186 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 323 328 330 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 287 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 239 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 206 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 336 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 42 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 336 339 340 344 350 358 361 363 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 43 47 49 59 62 65 68 72 74 75 76 77 82 84 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 336 339 340 344 350 358 361 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 300 301 305 306 308 309 313 316 318 319 320 328 330 335 336 339 340 344 350 358 361 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 328 330 331 335 336 339 340 344 350 358 361 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 95 97 98 99 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 242 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 358 361 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 95 97 98 99 104 108 111 113 118 119 121 122 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 358 361 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 95 97 98 99 104 108 111 113 118 119 121 122 124 126 130 132 135 139 140 141 143 144 146 150 157 158 170 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 95 97 98 99 104 108 111 113 118 119 121 122 124 126 130 132 135 139 140 141 143 144 146 150 157 158 165 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 91 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 146 150 157 158 165 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 146 150 157 158 165 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 40 47 49 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 40 47 49 52 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 194 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 40 41 47 49 52 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 344 350 356 358 360 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 75 76 77 82 84 85 90 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 356 358 360 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 75 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 197 200 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 360 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 165 172 178 190 193 196 197 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 360 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 29 31 32 36 41 47 49 52 59 62 65 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 139 140 141 143 144 150 157 158 159 165 172 178 190 193 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 236 238 245 247 249 250 255 256 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 360 363 365 366 372 378 381 386 387 392 399 400 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat" User time (seconds): 546.64 System time (seconds): 5.32 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.86 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 11629868 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3862509 Voluntary context switches: 1238274 Involuntary context switches: 2270 Swaps: 0 File system inputs: 0 File system outputs: 824 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:51:07 2023]