#BEGIN: [Mon Sep 4 12:56:53 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #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 /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! 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 5 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 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 5 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 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 321 324 326 328 333 337 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 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 321 324 326 328 333 337 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 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 5 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 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 5 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 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 321 324 326 328 333 337 341 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 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 206 208 210 212 217 220 222 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 321 324 326 328 333 341 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 20 21 22 23 32 40 42 43 49 63 69 72 74 75 80 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 206 208 210 212 217 220 222 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 321 324 326 328 333 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 40 42 43 49 63 69 72 74 75 80 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 166 167 173 174 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 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 321 324 326 328 333 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 40 42 43 49 63 69 72 74 75 80 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 166 167 173 174 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 225 227 228 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 324 326 328 333 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 40 42 43 49 63 69 72 74 75 80 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 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 225 227 228 233 239 240 242 243 245 247 249 250 254 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 333 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 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 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 225 227 228 233 239 240 242 243 245 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 333 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 84 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 141 146 149 150 153 156 157 161 162 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 225 227 228 233 239 240 242 243 245 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 84 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 217 220 222 225 227 228 233 239 240 242 243 245 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 84 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 233 239 240 242 243 245 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 233 239 240 242 243 245 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 177 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 233 239 240 242 243 247 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 247 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 247 249 250 255 257 259 263 266 267 268 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 403 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 63 69 72 74 75 80 82 83 87 90 91 100 108 116 117 119 122 127 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 393 394 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 225 227 228 232 233 239 240 242 243 249 250 255 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 83 87 90 91 96 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 96 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 259 263 266 267 268 269 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 96 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 63 69 72 75 80 82 83 87 90 91 96 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 326 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 96 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 328 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 321 323 324 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 341 344 346 347 350 351 357 361 362 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 340 341 344 346 347 350 351 357 361 364 366 367 368 372 374 377 378 387 388 389 392 393 398 400 a 2 5 9 14 19 20 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 340 341 344 346 347 350 351 357 361 364 366 367 368 372 374 377 378 387 388 389 392 398 400 a 2 5 9 14 19 21 22 23 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 357 361 364 366 367 368 372 374 377 378 387 388 389 392 398 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 357 361 364 366 367 368 372 374 377 378 387 388 392 398 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 208 210 212 220 222 225 227 228 232 233 239 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 357 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 162 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 357 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 285 287 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 357 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 285 287 288 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 347 350 351 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 350 351 361 364 366 367 368 372 377 378 387 388 392 398 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 319 320 323 324 331 340 341 344 346 350 351 361 364 366 367 368 372 377 378 387 388 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 100 108 116 117 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 319 320 324 331 340 341 344 346 350 351 361 364 366 367 368 372 377 378 387 388 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 108 116 117 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 319 320 324 331 340 341 344 346 350 351 361 364 366 367 368 372 377 378 387 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 108 116 117 119 121 122 127 129 132 135 138 139 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 318 319 320 324 331 340 341 344 346 350 351 361 366 367 368 372 377 378 387 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 300 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 43 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 5 9 14 19 21 22 23 31 32 34 40 42 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 277 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 5 9 14 19 21 22 23 26 31 32 34 40 42 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 166 167 173 178 186 188 190 192 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 240 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 47 49 51 59 61 62 63 69 72 75 80 82 83 84 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 287 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 47 49 51 59 61 62 63 69 72 75 80 82 83 84 85 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 144 146 149 150 153 156 157 161 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 47 49 51 59 61 62 63 69 72 75 80 82 83 84 85 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 344 346 350 351 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 42 47 49 51 59 61 62 63 69 72 75 80 82 83 84 85 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 346 350 351 358 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 80 82 83 84 85 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 210 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 311 314 318 319 320 324 331 340 341 346 350 351 358 365 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 80 82 83 84 85 87 90 91 99 100 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 346 350 351 358 365 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 91 99 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 346 350 351 358 365 366 367 368 372 377 378 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 91 99 104 108 116 117 119 121 122 127 129 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 188 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 91 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 2 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 9 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 14 19 21 22 23 26 31 32 34 40 47 49 51 59 61 62 63 69 72 75 77 80 82 83 84 85 87 90 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 90 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 167 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 90 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 165 166 173 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 127 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 291 293 296 299 301 309 311 314 318 319 320 324 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 178 186 190 194 195 197 198 200 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 291 293 296 299 301 309 311 314 318 319 320 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 178 186 190 194 195 197 198 200 204 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 291 293 296 299 301 309 311 318 319 320 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 69 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 178 186 190 194 195 197 198 200 204 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 316 318 319 320 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 14 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 197 198 200 204 206 207 208 212 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 316 318 319 320 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 83 84 85 87 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 197 198 200 204 206 207 208 212 215 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 316 318 319 320 331 340 341 350 351 352 358 365 366 367 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 83 84 85 87 97 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 197 198 200 204 206 207 208 212 215 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 316 318 319 320 331 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 129 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 196 197 198 200 204 206 207 208 212 215 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 316 318 319 320 331 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 196 197 198 200 204 206 207 208 212 215 220 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 313 316 318 319 320 331 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 195 196 197 198 200 204 206 207 208 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 278 281 282 288 290 293 296 299 301 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 196 197 198 200 204 206 207 208 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 257 259 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 21 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 196 197 198 200 204 206 207 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 256 257 259 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 19 22 23 26 31 32 34 40 47 49 59 61 62 63 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 196 197 198 200 204 206 207 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 256 257 259 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 26 31 32 34 40 47 49 59 61 62 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 186 190 194 196 197 198 200 204 206 207 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 256 257 259 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 77 80 82 84 85 87 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 256 257 259 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 77 80 82 84 85 87 95 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 225 227 228 229 232 233 242 243 245 247 249 250 255 256 257 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 77 80 82 84 85 87 95 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 225 228 229 232 233 238 242 243 245 247 249 250 255 256 257 263 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 76 77 80 82 84 85 87 95 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 225 228 229 232 233 238 242 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 76 77 80 82 84 85 95 97 98 99 104 108 116 117 119 121 122 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 223 225 228 229 232 233 238 242 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 76 77 80 82 84 85 95 97 98 99 104 108 116 117 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 166 172 178 190 194 196 197 198 200 204 206 207 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 76 77 80 82 84 85 95 97 98 99 104 108 116 117 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 153 156 157 158 165 172 178 190 194 196 197 198 200 204 206 207 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 75 76 77 80 82 84 85 95 97 98 99 104 108 116 117 118 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 156 157 158 165 172 178 190 194 196 197 198 200 204 206 207 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 76 77 80 82 84 85 95 97 98 99 104 108 116 117 118 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 156 157 158 165 172 178 190 194 196 197 198 200 204 206 207 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 76 77 80 82 84 85 95 97 98 99 104 108 116 117 118 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 197 198 200 204 206 207 209 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 47 49 59 61 62 72 74 76 77 80 82 84 85 95 97 98 99 104 108 116 117 118 119 121 122 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 61 62 72 74 76 77 80 82 84 85 95 97 98 99 104 108 116 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 61 62 72 74 76 77 82 84 85 95 97 98 99 104 108 116 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 61 62 72 74 76 77 82 84 85 95 97 98 99 104 108 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 243 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 245 247 249 250 255 256 257 265 266 267 268 272 273 276 278 281 282 288 290 293 296 299 301 305 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 282 288 290 293 296 299 301 305 306 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 117 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 222 223 225 228 229 230 232 233 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 198 200 204 206 207 209 212 215 218 222 223 225 228 229 230 232 233 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 377 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 351 352 356 358 363 365 366 368 372 378 386 387 392 399 400 a 4 6 12 15 19 22 23 24 26 31 32 34 40 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 352 356 358 363 365 366 368 372 378 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 34 40 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 352 356 358 363 365 366 368 372 378 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 40 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 341 350 352 356 358 363 365 366 368 372 378 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 40 41 47 49 59 62 68 72 74 76 77 82 84 85 95 97 98 99 104 108 111 113 118 119 121 124 126 130 132 135 138 139 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 40 41 47 49 59 62 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 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 206 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 40 41 47 49 59 62 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 141 143 144 146 149 150 157 158 159 165 172 178 190 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 36 40 41 47 49 59 62 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 141 143 144 149 150 157 158 159 165 172 178 190 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 368 372 378 381 386 387 392 399 400 a 4 6 12 15 19 23 24 26 31 32 36 40 41 47 49 52 59 62 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 141 143 144 149 150 157 158 159 165 172 178 190 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 233 236 238 245 247 249 250 255 256 257 265 266 267 268 272 276 278 281 288 290 293 296 299 301 305 306 308 309 311 313 316 318 319 320 330 331 335 336 339 340 350 352 356 358 363 365 366 372 378 381 386 387 392 399 400 a 4 6 7 12 15 19 23 24 26 31 32 36 40 41 47 49 52 59 62 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 141 143 144 149 150 157 158 159 165 172 178 190 194 196 200 204 207 209 211 212 215 218 222 223 225 228 229 230 232 233 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 311 313 316 318 319 320 330 331 335 336 339 340 350 352 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 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 141 143 144 149 150 157 158 159 165 172 178 190 194 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 311 313 316 318 319 320 330 331 335 336 339 340 350 352 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 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 149 150 157 158 159 165 172 178 190 194 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 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 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 194 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 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 194 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 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: 125 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance031_graph002.col /benchmark/random_instance/random_instance031_graph002_01.dat" User time (seconds): 63.96 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.09 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): 286532 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 104731 Voluntary context switches: 24 Involuntary context switches: 232 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:57:58 2023]