#BEGIN: [Mon Sep  4 12:22:39 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance032_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance032_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat
c /benchmark/random_instance/random_instance032_graph004.col
c /benchmark/random_instance/random_instance032_graph004_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.001 seconds
s 363 358 72 2 218 335 250 90 156 186 189 404 343 125 403 273 227 237 179 331 191 371 205 59 78 409 352 112 230 154 172 402 34 180 201 324 236 76 107 102 161 359 226 54 62 379 308 122 124 274 19 254 139 267 322 195 220 98 53 260 202 87 339 31 361 350 301 118 17 188 399 235 248 197 336 334 266 55 99 415 213 65 12 83 41 120 397 288 372 258 378 271 398 256 176 94 318 410 293 138 257 149 63 281 196 86 346 312 337 268 109 5 194 73 251 290 407 277 126 249 181 383 209 210 323 242 374 389 330 61
t 144 3 6 61 196 381 357 226 55 372 167 405 110 58 214 13 155 288 56 316 73 380 401 298 9 97 52 21 281 285 251 185 256 361 59 247 342 137 314 333 166 156 328 89 31 414 87 65 360 330 205 338 366 203 252 23 152 402 174 329 413 98 340 88 211 146 356 189 395 80 164 34 346 215 30 258 305 242 262 216 304 46 344 2 377 109 126 403 64 311 179 268 183 390 317 39 245 332 138 243 120 107 206 277 299 44 150 112 263 323 369 68 321 157 17 60 406 224 125 364 33 292 303 273 260 389 18 290 363 12
a YES
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 228 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 154 156 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 218 220 226 227 228 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 226 227 228 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 140 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 140 148 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 122 124 125 126 138 139 140 148 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 122 124 125 126 138 139 140 148 149 154 156 160 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 121 122 124 125 126 138 139 140 148 149 154 156 160 161 172 176 179 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 121 122 124 125 126 138 139 140 148 154 156 160 161 172 176 179 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 121 122 124 125 126 138 139 140 148 154 156 160 161 172 176 179 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 397 398 399 401 402 403 407 409 410
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 121 122 124 125 126 138 139 140 148 154 156 159 160 161 172 176 179 181 186 188 189 191 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 121 122 124 125 126 138 139 140 148 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 122 124 125 126 138 139 140 148 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 67 72 73 76 78 83 85 86 90 94 98 99 102 107 109 112 120 124 125 126 138 139 140 148 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 228 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 67 72 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 153 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 153 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 138 139 140 148 149 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 230 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 348 350 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 348 350 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410 415
a 2 5 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 255 256 257 258 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 5 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 235 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 4 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409 410
a 2 4 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 363 371 372 374 378 379 383 389 396 398 399 401 402 403 407 409
a 2 4 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 371 372 374 378 379 383 389 396 398 399 401 402 403 409
a 2 4 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 371 372 374 378 379 383 389 396 399 401 402 403 409 410
a 2 4 5 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 207 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 399 401 402 403 409 410
a 2 4 5 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 186 188 189 191 194 195 196 197 201 202 205 207 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 399 401 402 403 409 410
a 2 4 5 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 124 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 194 195 196 197 201 202 205 207 209 210 213 220 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 399 401 402 403 409 410
a 2 4 5 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 194 195 196 197 201 202 205 207 209 210 213 220 224 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 399 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 194 195 196 197 201 202 205 207 209 210 213 220 224 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 399 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 194 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 318 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 194 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 322 324 330 331 334 335 336 337 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 293 301 308 312 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 271 273 274 277 281 285 288 290 301 308 312 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 301 308 312 317 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 409 410
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 301 308 312 317 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 379 383 389 396 398 401 402 403 406 409
a 2 4 12 15 17 19 31 34 41 53 54 55 59 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 153 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 331 334 335 336 337 338 339 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 334 335 336 337 338 339 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 334 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 250 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 59 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 251 254 255 256 257 258 259 260 266 267 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 94 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 172 174 176 179 181 188 189 191 195 196 197 201 202 205 207 209 210 213 215 220 224 227 236 237 242 248 249 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 249 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 358 359 361 363 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 359 361 363 364 372 374 378 383 389 396 398 401 402 403 406 409
a 2 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 343 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 254 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 324 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 255 256 257 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 85 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 383 389 390 398 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 202 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 322 330 335 336 337 338 342 348 352 359 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 112 120 121 125 126 134 138 139 140 144 148 149 154 156 159 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 259 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 201 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 9 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 66 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 9 12 15 17 19 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 220 224 226 227 236 237 242 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 9 12 15 17 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 220 224 226 227 236 237 242 243 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 372 374 378 380 383 389 390 401 402 403 406 409
a 2 3 4 6 9 12 15 17 30 31 34 41 52 53 54 55 58 59 60 61 62 63 64 65 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 220 224 226 227 236 237 242 243 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 41 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 220 224 226 227 236 237 242 243 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 323 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 41 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 86 87 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 181 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 236 237 242 243 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 321 323 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 41 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 86 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 236 237 242 243 248 251 255 256 258 260 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 321 323 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 86 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 236 237 242 243 248 251 255 256 258 260 262 266 268 273 274 277 281 285 288 290 299 301 308 312 314 317 321 323 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 86 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 236 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 335 336 337 338 342 348 352 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 236 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 4 6 9 12 15 17 23 30 31 34 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 6 9 12 15 17 21 23 30 31 34 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 378 380 383 389 390 401 402 403 406
a 2 3 6 9 12 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 139 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 380 383 389 390 401 402 403 406
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 149 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 380 383 389 390 401 402 403 406
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 99 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 227 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 369 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 308 312 314 317 321 323 328 330 333 335 336 337 338 342 348 352 356 359 360 361 363 364 366 369 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 160 161 166 167 172 174 176 179 183 188 189 191 195 196 197 203 205 209 210 213 215 224 226 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 160 161 166 167 174 176 179 183 185 188 189 191 195 196 197 203 205 209 210 213 215 224 226 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 154 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 213 215 224 226 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 76 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 213 215 224 226 237 242 243 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 213 215 224 226 237 242 243 245 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 301 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 150 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 213 215 224 226 237 242 243 245 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 148 150 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 255 256 258 260 262 266 268 273 277 281 285 288 290 299 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 134 138 140 144 150 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 252 255 256 258 260 262 266 268 273 277 281 285 288 290 299 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 138 140 144 150 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 252 255 256 258 260 262 266 268 273 277 281 285 288 290 299 304 308 312 314 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 138 140 144 150 156 157 160 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 252 256 258 260 262 266 268 273 277 281 285 288 290 299 304 308 312 314 316 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 108 109 110 112 120 121 125 126 138 140 144 150 156 157 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 312 314 316 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 53 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 109 110 112 120 121 125 126 138 140 144 150 156 157 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 54 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 109 110 112 120 121 125 126 138 140 144 150 156 157 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 214 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 72 73 80 83 87 88 90 98 102 107 109 110 112 120 121 125 126 138 140 144 146 150 156 157 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 214 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 72 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 138 140 144 146 150 156 157 161 166 167 174 176 179 183 185 188 189 191 196 197 203 205 209 210 214 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 72 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 156 157 161 166 167 174 179 183 185 188 189 191 196 197 203 205 209 210 214 215 224 226 237 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 72 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 156 157 161 166 167 174 179 183 185 188 189 191 196 197 203 205 209 210 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 336 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 72 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 156 157 161 166 167 174 179 183 185 188 189 191 196 197 203 205 209 210 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 63 64 65 67 68 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 155 156 157 161 166 167 174 179 183 185 188 189 191 196 197 203 205 209 210 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 155 156 157 161 166 167 174 179 183 185 188 189 191 196 197 203 205 206 209 210 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 210 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 308 311 312 314 316 317 321 323 328 329 330 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 395 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 337 338 342 346 352 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 395 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 337 338 342 346 356 359 360 361 363 364 366 369 372 374 377 380 383 389 390 395 401 402 403 406 413
a 2 3 6 9 12 13 15 17 21 23 30 31 34 44 52 55 58 59 60 61 64 65 67 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 337 338 342 346 356 359 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 34 44 52 55 56 58 59 60 61 64 65 67 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 337 338 342 346 356 359 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 337 338 342 346 356 359 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 140 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 359 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 359 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 102 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 166 167 174 179 183 185 189 191 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 191 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 312 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 191 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 314 316 317 321 323 328 329 330 332 333 335 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 90 98 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 304 311 314 316 317 321 323 328 329 330 332 333 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 121 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 303 304 311 314 316 317 321 323 328 329 330 332 333 338 342 346 356 357 360 361 363 364 366 369 372 374 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 266 268 273 277 281 285 288 290 292 299 303 304 311 314 316 317 321 323 328 329 330 332 333 338 340 342 346 356 357 360 361 363 364 366 369 372 374 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 311 314 316 317 321 323 328 329 330 332 333 338 340 342 346 356 357 360 361 363 364 366 369 372 374 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 209 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 197 203 205 206 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 161 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414
a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414
c Step: 128
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat"
	User time (seconds): 546.06
	System time (seconds): 5.28
	Percent of CPU this job got: 151%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.94
	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): 11757420
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 4033064
	Voluntary context switches: 686021
	Involuntary context switches: 2668
	Swaps: 0
	File system inputs: 0
	File system outputs: 840
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 12:28:45 2023]