#BEGIN: [Tue Sep 26 01:52:50 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance030_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph003_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_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat c /benchmark/random_instance/random_instance030_graph003.col c /benchmark/random_instance/random_instance030_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.006 seconds s 260 61 235 313 126 199 71 77 330 147 267 388 76 19 368 171 105 95 353 325 152 24 383 198 279 244 99 132 8 342 158 85 156 16 387 333 57 141 301 138 179 225 74 205 309 237 86 358 94 172 222 287 136 115 192 161 249 123 202 219 312 193 113 44 88 151 216 144 390 149 174 55 40 114 361 332 196 175 116 320 359 375 29 318 327 127 263 129 326 328 221 331 343 20 52 13 334 33 209 10 145 168 297 239 273 42 363 134 336 314 23 349 371 254 218 348 191 335 280 91 291 100 46 214 187 364 1 163 340 307 164 135 t 224 23 303 142 160 125 333 280 26 343 323 61 192 29 113 203 33 300 35 129 139 86 326 232 257 183 154 236 274 104 143 40 276 88 51 43 48 386 211 134 324 97 344 45 209 213 338 334 179 153 38 73 294 234 47 172 52 68 190 218 69 144 230 356 376 119 363 109 46 243 347 283 93 219 195 94 34 159 312 18 265 304 67 110 11 181 307 126 221 198 241 194 330 296 20 383 285 248 22 57 188 135 64 361 182 284 149 266 329 137 8 331 77 49 278 272 189 212 65 336 315 152 7 163 208 141 121 310 309 91 58 206 a YES a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 267 273 279 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 233 235 237 239 244 249 254 260 263 267 273 279 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 99 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 233 235 237 239 244 249 254 260 263 267 273 279 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 99 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 267 273 279 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 99 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 263 267 273 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 99 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 233 235 237 239 244 249 254 260 263 267 273 279 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 226 233 235 237 239 244 249 254 260 263 267 273 279 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 17 19 20 23 24 29 33 40 42 44 46 52 55 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 216 217 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 390 a 1 8 10 13 16 17 19 20 23 24 29 33 37 40 42 44 46 52 55 61 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 216 217 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 216 217 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 267 273 280 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 183 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 17 20 23 24 29 33 34 37 40 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 183 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 183 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 183 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 183 186 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 174 175 186 187 191 193 196 198 199 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 175 186 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 378 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 95 100 105 107 113 114 115 116 123 126 127 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 24 29 33 34 37 40 42 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 214 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 375 376 383 386 387 388 a 1 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 359 361 363 364 368 371 376 383 386 387 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 342 343 348 352 353 358 361 363 364 368 371 376 383 386 387 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 301 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 343 348 352 353 358 361 363 364 368 371 376 383 386 387 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 387 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 207 209 215 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 207 209 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 104 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 207 209 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 307 309 312 313 314 315 318 320 326 327 328 330 331 332 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 104 105 107 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 207 209 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 332 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 207 209 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 205 206 209 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 388 a 1 7 8 10 13 17 18 20 23 24 29 33 34 37 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 17 18 20 23 24 29 33 34 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 191 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 191 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 191 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 313 314 315 318 320 326 328 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 52 55 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 313 314 315 318 320 326 328 329 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 52 55 58 61 67 71 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 340 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 52 55 58 61 67 71 73 76 77 85 86 88 94 95 100 104 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 76 77 85 86 88 94 95 100 104 105 107 113 114 115 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 216 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 76 77 85 86 88 94 95 100 104 105 107 113 114 115 123 125 126 127 129 132 134 135 136 138 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 76 77 85 86 88 94 95 100 104 105 107 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 76 77 85 86 88 91 94 95 100 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 77 85 86 88 91 94 95 100 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 158 161 163 164 168 171 172 175 187 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 77 85 86 88 91 94 95 100 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 335 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 195 196 198 199 201 202 206 209 211 217 218 219 221 222 225 226 232 233 234 235 237 239 241 244 248 249 254 260 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 42 44 45 46 49 52 55 58 61 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 195 196 198 199 201 202 206 209 211 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 254 260 266 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 13 18 20 23 24 29 33 34 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 195 196 198 199 201 202 206 209 211 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 254 260 266 273 274 280 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 24 29 33 34 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 195 196 198 199 201 202 206 209 211 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 254 260 266 273 274 280 283 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 254 260 266 273 274 280 283 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 280 283 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 192 193 194 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 280 283 285 286 291 296 304 307 309 312 314 315 318 320 324 326 328 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 127 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 192 193 194 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 280 283 285 286 291 296 304 307 309 310 312 314 315 318 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 192 193 194 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 314 315 318 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 190 192 193 194 195 196 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 314 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 190 192 193 194 195 198 199 201 202 206 209 211 213 217 218 219 221 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 314 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 105 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 190 192 193 194 195 198 199 201 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 187 189 190 192 193 194 195 198 199 201 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 44 45 46 49 52 55 58 61 64 67 71 73 77 85 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 183 187 189 190 192 193 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 58 61 64 67 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 183 187 189 190 192 193 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 58 61 64 67 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 171 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 147 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 68 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 249 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 68 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 132 134 135 136 141 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 115 123 125 126 129 134 135 136 141 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 199 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 236 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 225 226 232 233 234 235 236 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 225 226 232 234 235 236 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 156 163 164 168 172 175 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 244 248 257 260 265 266 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 163 164 168 172 175 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 244 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 163 164 168 172 175 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 244 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 163 164 168 172 175 181 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 348 352 353 356 358 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 163 164 168 172 175 181 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 348 352 353 356 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 348 352 353 356 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 123 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 352 353 356 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 188 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 226 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 352 353 356 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 188 189 190 192 194 195 198 202 206 209 211 213 217 218 219 221 224 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 368 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 71 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 181 183 187 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 286 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 187 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 235 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 29 33 34 35 38 40 43 44 45 46 48 49 51 52 55 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 187 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 187 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 248 257 260 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 243 248 257 260 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 119 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 183 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 119 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 206 209 211 212 213 217 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 104 109 113 114 119 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 353 356 361 363 364 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 97 104 109 113 114 119 121 125 126 129 134 135 136 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 356 361 363 364 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 97 104 109 113 114 119 121 125 126 129 134 135 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 343 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 95 97 104 109 113 114 119 121 125 126 129 134 135 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 114 119 121 125 126 129 134 135 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 237 239 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 143 144 149 151 152 153 154 163 164 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 239 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 143 144 149 151 152 153 154 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 209 211 212 213 218 219 221 224 230 232 234 236 239 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 143 144 149 151 152 153 154 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 142 143 144 149 152 153 154 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 352 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 142 143 144 149 152 153 154 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 273 274 276 278 280 283 285 291 296 300 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 142 143 144 149 152 153 154 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 285 291 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 139 141 142 143 144 149 152 153 154 160 163 172 175 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 285 291 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 179 181 182 183 188 189 190 192 194 195 198 202 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 285 291 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 285 291 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 364 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat" User time (seconds): 545.31 System time (seconds): 3.13 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.74 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): 11661376 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3872500 Voluntary context switches: 6410 Involuntary context switches: 2450 Swaps: 0 File system inputs: 0 File system outputs: 848 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:58:54 2023]