#BEGIN: [Tue Sep 26 01:02:04 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance033_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance033_graph005.col /benchmark/random_instance/random_instance033_graph005_01.dat c /benchmark/random_instance/random_instance033_graph005.col c /benchmark/random_instance/random_instance033_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! s 320 298 40 339 259 263 324 413 299 205 11 215 390 101 398 392 242 383 170 66 273 410 160 46 396 36 257 267 4 219 138 311 43 317 118 426 252 96 113 424 307 5 14 112 179 369 1 109 240 68 260 249 279 395 264 288 75 345 393 350 108 234 86 248 92 360 183 373 408 404 24 142 8 402 336 15 157 334 378 64 200 93 368 422 325 344 134 100 387 3 176 25 135 247 74 401 62 314 159 51 276 301 177 244 304 204 287 123 222 303 212 76 90 129 169 359 261 83 171 420 88 178 285 365 318 148 144 231 226 87 122 116 39 190 206 343 214 388 423 72 230 47 t 423 219 278 41 242 308 348 96 143 283 32 168 227 81 207 360 252 346 59 297 335 383 327 6 398 396 90 364 80 22 222 3 106 203 73 126 390 397 218 140 36 105 314 401 110 353 402 271 101 226 331 332 10 146 375 38 261 338 150 263 189 419 162 61 100 53 255 45 230 290 309 144 254 399 340 152 310 285 171 66 1 376 307 275 179 206 425 420 326 123 313 273 198 382 358 78 184 99 174 350 141 216 395 408 248 5 190 208 102 33 212 137 57 16 258 279 211 318 147 68 163 388 260 223 204 15 54 87 224 71 266 188 107 243 325 312 72 145 284 336 317 343 a YES a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 273 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 108 109 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 124 125 129 134 135 138 142 144 148 157 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 124 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 240 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 396 398 401 402 404 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 124 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 124 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 251 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 251 252 257 259 260 261 263 264 267 276 279 285 286 287 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 83 86 87 88 90 92 93 96 100 101 109 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 251 252 257 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 83 86 87 88 90 92 93 96 100 101 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 251 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 74 75 76 83 86 87 88 90 92 93 96 100 101 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 314 317 318 320 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 42 43 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 112 113 116 118 122 123 125 129 134 135 138 142 144 148 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 313 314 317 318 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 43 46 47 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 313 314 317 318 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 298 299 301 303 304 307 311 313 314 317 318 324 325 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 252 257 258 259 260 261 263 264 267 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 257 258 259 260 261 263 264 267 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 378 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 125 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 66 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 257 258 259 260 261 263 264 267 273 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 230 231 234 242 244 247 248 249 257 258 259 260 261 263 264 267 273 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 285 287 288 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 285 286 287 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 401 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 285 286 287 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 395 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 285 286 287 299 301 303 304 307 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 28 36 39 40 43 44 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 28 36 39 40 43 44 46 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 160 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 28 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 18 24 25 28 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 142 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 392 393 396 398 402 404 406 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 18 24 25 28 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 392 393 396 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 18 24 25 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 244 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 18 24 25 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 18 24 25 36 39 40 43 44 46 50 51 62 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 248 249 258 259 260 261 263 264 267 273 276 279 280 285 286 287 290 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 248 249 254 258 259 260 261 263 264 267 273 276 279 280 285 286 287 290 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 169 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 248 249 254 258 259 260 261 263 264 267 273 276 279 280 285 286 287 290 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 248 249 254 258 259 260 261 263 264 267 273 276 279 280 285 286 287 290 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 370 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 248 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 370 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 170 171 176 177 178 179 180 183 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 370 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 163 170 171 176 177 178 179 180 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 370 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 163 169 170 171 176 177 178 179 180 190 200 204 205 206 212 214 215 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 392 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 159 162 163 169 170 171 176 177 178 179 180 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 92 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 426 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 287 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 a 1 3 4 5 8 11 12 13 14 15 18 24 25 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 40 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 290 299 301 303 304 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 290 299 301 303 304 307 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 410 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 50 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 177 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 178 179 180 188 190 200 204 205 206 212 214 215 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 393 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 122 123 129 134 135 136 138 144 148 157 162 163 169 170 171 176 178 179 180 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 157 162 163 169 170 171 176 178 179 180 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 267 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 345 350 359 360 365 368 369 373 383 387 388 390 396 397 398 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 273 276 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 316 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 299 301 303 304 307 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 214 215 216 219 222 223 226 229 230 231 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 299 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 212 215 216 219 222 223 226 229 230 231 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 299 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 208 212 215 216 219 222 223 226 229 230 231 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 176 178 179 188 190 200 204 205 206 208 212 215 216 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 93 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 208 212 215 216 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 334 336 339 343 344 350 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 43 44 46 51 64 68 72 75 76 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 365 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 43 44 46 51 59 64 68 72 75 76 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 286 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 43 44 46 51 59 64 68 72 75 76 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 207 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 44 46 51 59 64 68 72 75 76 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 170 171 178 179 188 190 200 204 205 206 207 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 14 15 18 24 33 36 39 44 45 46 51 59 64 68 72 75 76 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 171 178 179 188 190 200 204 205 206 207 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 39 44 45 46 51 59 64 68 72 75 76 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 148 152 157 162 163 169 171 178 179 188 190 200 204 205 206 207 208 212 215 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 39 44 45 46 51 59 64 68 72 75 76 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 146 148 152 157 162 163 169 171 178 179 188 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 39 44 45 51 59 64 68 72 75 76 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 146 148 152 157 162 163 169 171 178 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 39 44 45 51 59 64 68 72 75 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 146 148 152 157 162 163 169 171 178 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 41 44 45 51 59 64 68 72 75 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 146 148 152 157 162 163 169 171 178 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 373 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 41 44 45 51 59 64 68 72 75 78 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 145 146 148 152 157 162 163 169 171 178 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 41 44 45 51 59 64 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 136 137 138 141 144 145 146 148 152 157 162 163 169 171 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 41 44 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 324 325 328 331 336 339 343 344 350 358 359 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 8 11 12 13 15 18 24 33 36 41 44 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 359 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 41 44 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 359 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 41 44 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 118 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 224 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 44 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 224 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 224 226 229 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 45 51 59 64 66 68 72 75 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 212 216 218 219 222 223 224 226 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 297 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 45 51 59 64 66 68 72 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 254 258 259 260 261 263 264 273 275 278 279 280 284 285 290 297 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 413 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 45 51 59 64 66 68 72 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 254 255 258 259 260 261 263 264 273 275 278 279 280 284 285 290 297 301 304 307 308 310 311 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 13 15 18 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 254 255 258 259 260 261 263 264 273 275 278 279 280 284 285 290 297 301 304 307 308 310 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 252 254 255 258 259 260 261 263 264 273 275 278 279 280 284 285 290 297 301 304 307 308 310 312 313 314 317 318 325 328 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 301 304 307 308 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 406 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 301 304 307 308 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 234 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 51 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 59 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 106 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 205 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 106 107 110 112 113 116 123 129 134 135 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 24 33 36 38 41 45 57 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 106 107 110 112 113 116 123 129 134 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 129 134 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 264 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 383 387 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 407 408 419 420 422 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 64 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 141 144 145 146 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 348 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 407 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 141 144 145 146 147 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 339 343 344 348 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 407 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 141 144 145 146 147 148 152 157 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 344 348 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 140 141 144 145 146 147 148 152 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 259 260 261 263 266 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 344 348 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 140 141 144 145 146 147 148 152 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 344 348 350 358 360 368 369 375 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 140 141 144 145 146 147 148 152 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 344 348 350 358 360 369 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 140 141 143 144 145 146 147 148 152 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 344 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 106 107 110 112 113 116 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 200 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 18 22 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 105 106 107 110 112 113 116 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 100 101 102 105 106 107 110 112 113 116 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 424 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 113 116 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 113 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 129 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 134 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 198 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 336 338 339 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 4 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 198 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 8 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 188 189 190 198 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 340 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 340 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 404 408 419 420 423 425 a 1 3 5 6 11 15 22 32 33 36 38 41 45 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 112 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 340 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 11 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 304 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 340 343 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 11 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 280 284 285 290 297 307 308 309 310 312 313 314 317 318 325 331 332 336 338 339 340 343 346 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 11 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 169 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 86 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 335 336 338 339 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 247 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 83 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 54 57 59 61 66 68 71 72 73 78 80 81 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 148 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 87 88 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 87 90 96 99 100 101 102 105 106 107 110 123 126 137 138 140 141 143 144 145 146 147 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 a 1 3 5 6 10 15 16 22 32 33 36 38 41 45 53 54 57 59 61 66 68 71 72 73 78 80 81 87 90 96 99 100 101 102 105 106 107 110 123 126 137 140 141 143 144 145 146 147 150 152 162 163 168 171 174 179 184 188 189 190 198 203 204 206 207 208 211 212 216 218 219 222 223 224 226 227 230 242 243 248 252 254 255 258 260 261 263 266 271 273 275 278 279 283 284 285 290 297 307 308 309 310 312 313 314 317 318 325 326 327 331 332 335 336 338 340 343 346 348 350 353 358 360 364 375 376 382 383 388 390 395 396 397 398 399 401 402 408 419 420 423 425 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance033_graph005.col /benchmark/random_instance/random_instance033_graph005_01.dat" User time (seconds): 64.29 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.41 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): 305832 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 111967 Voluntary context switches: 20 Involuntary context switches: 379 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:03:09 2023]