#BEGIN: [Tue Sep 26 02:09:18 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /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! 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 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 217 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 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 217 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 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 217 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 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 217 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 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 217 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 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 217 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 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 217 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 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 217 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 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 187 191 192 193 196 198 199 202 205 209 214 216 217 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 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 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 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 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 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 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 383 387 388 390 a 1 8 10 13 16 17 20 23 24 29 33 40 42 44 46 52 55 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 187 191 193 196 198 199 202 205 209 214 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 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 17 20 23 24 29 33 40 42 44 46 52 55 61 67 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 187 191 193 196 198 199 202 205 209 214 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 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 20 23 24 29 33 40 42 44 46 52 55 61 67 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 187 191 192 193 196 198 199 202 205 209 214 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 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 20 23 24 29 33 40 42 44 46 52 55 61 67 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 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 20 23 24 29 33 34 40 42 44 46 52 55 61 67 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 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 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 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 77 85 86 88 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 155 156 158 161 163 164 168 171 172 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 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 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 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 155 156 158 161 163 164 168 171 172 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 221 222 225 226 232 233 234 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 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 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 155 156 158 161 164 168 171 172 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 267 273 280 286 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 353 358 359 361 363 364 368 371 375 383 387 388 a 1 8 10 13 16 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 155 156 158 161 164 168 171 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 267 273 280 286 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 353 358 359 361 363 364 368 371 375 376 383 387 388 a 1 8 10 13 16 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 155 156 158 161 164 168 171 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 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 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 138 141 144 145 147 149 151 152 155 156 158 161 163 164 168 171 175 187 191 192 193 196 198 199 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 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 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 138 141 144 145 147 149 151 152 155 156 158 161 163 164 168 171 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 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 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 85 86 88 95 100 105 107 113 114 115 116 123 126 127 129 132 134 135 138 141 144 145 147 149 151 152 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 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 20 23 24 29 33 34 37 40 42 44 46 52 55 61 67 71 74 76 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 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 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 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 155 156 158 161 163 164 168 171 172 174 175 187 191 192 193 196 198 199 202 205 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 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 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 155 156 161 163 164 168 171 172 174 175 187 189 191 192 193 196 198 199 202 205 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 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 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 155 156 161 163 164 168 171 172 174 175 187 189 191 192 193 196 198 199 202 205 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 244 249 254 260 263 273 280 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 a 1 8 10 13 16 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 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 199 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 387 a 1 8 10 13 16 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 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 199 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 388 a 1 8 10 13 16 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 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 388 a 1 8 10 13 16 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 388 a 1 8 10 13 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 a 1 8 10 13 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 387 a 1 8 10 13 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 387 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 387 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 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 140 141 144 145 147 149 151 152 155 156 161 163 164 168 171 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 207 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 207 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 191 192 193 196 198 201 202 205 207 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 383 388 a 1 8 10 13 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 191 192 193 196 198 201 202 205 207 209 214 216 217 218 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 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 191 192 193 196 198 201 202 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 283 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 375 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 196 198 201 202 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 283 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 194 196 198 201 202 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 283 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 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 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 283 284 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 263 273 280 283 284 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 283 284 285 286 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 191 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 283 284 285 286 291 296 297 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 49 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 283 284 285 286 291 296 297 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 49 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 222 225 226 232 233 234 235 237 239 241 244 249 254 260 273 280 283 284 285 286 296 297 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 20 23 24 29 33 34 37 40 42 44 45 46 47 49 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 237 239 241 244 249 254 260 266 273 280 283 284 285 286 296 297 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 18 20 23 24 29 33 34 37 40 42 44 45 46 47 49 52 55 61 67 71 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 237 239 241 244 249 254 260 266 273 280 283 284 285 286 296 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 237 239 241 244 249 254 260 266 273 280 283 284 285 286 296 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 359 361 363 368 371 376 383 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 115 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 237 239 241 244 249 254 260 266 273 280 283 284 285 286 296 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 237 239 241 244 249 254 260 266 273 280 283 284 285 286 296 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 301 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 116 123 125 126 127 129 132 134 135 136 138 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 100 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 304 307 309 312 313 314 318 320 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 304 307 309 312 313 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 348 353 358 361 363 368 371 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 304 307 309 312 313 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 348 353 356 358 361 363 368 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 58 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 348 353 356 358 361 363 368 376 383 386 a 1 7 8 10 15 16 18 20 23 24 29 33 34 40 42 44 45 46 47 49 52 55 58 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 216 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 74 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 88 95 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 213 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 325 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 88 95 104 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 207 209 213 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 168 171 172 175 187 189 192 193 194 195 196 198 201 205 206 209 213 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 127 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 171 172 175 187 189 192 193 194 195 196 198 201 205 206 209 213 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 171 172 175 187 189 192 193 194 195 196 198 201 205 206 209 213 214 217 218 221 225 226 232 233 234 235 236 237 239 241 244 248 254 260 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 155 156 161 163 164 171 172 175 187 189 192 193 194 195 196 198 201 205 206 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 244 248 254 260 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 1 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 187 189 192 193 194 195 196 198 201 205 206 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 244 248 254 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 244 248 254 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 7 8 10 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 105 107 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 107 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 353 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 273 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 340 342 343 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 187 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 65 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 155 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 65 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 358 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 42 44 45 46 47 49 52 55 58 61 65 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 58 61 64 65 67 71 73 76 77 85 86 88 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 237 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 58 61 64 65 67 71 73 76 77 85 86 88 94 95 104 107 110 113 114 116 119 123 125 126 129 132 134 135 136 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 58 61 64 65 67 71 73 76 77 85 86 88 94 95 104 107 110 113 116 119 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 58 61 64 65 67 73 76 77 85 86 88 94 95 104 107 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 213 217 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 368 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 58 61 64 65 67 73 76 77 85 86 88 94 95 104 107 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 217 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 57 58 61 64 65 67 73 76 77 85 86 88 94 95 104 107 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 44 45 46 47 49 52 55 57 58 61 64 65 67 73 76 77 85 86 88 91 94 95 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 15 16 18 20 23 29 33 34 35 40 43 44 45 46 47 49 52 55 57 58 61 64 65 67 73 76 77 86 88 91 94 95 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 15 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 94 95 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 94 95 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 156 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 94 95 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 230 232 233 234 235 236 239 241 243 248 254 265 266 276 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 94 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 230 232 233 234 235 236 239 241 243 248 254 265 266 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 340 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 93 94 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 225 226 230 232 233 234 235 236 239 241 243 248 254 265 266 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 76 77 86 88 91 93 94 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 226 230 232 233 234 235 236 239 241 243 248 254 265 266 272 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 205 206 208 209 212 213 218 219 221 226 230 232 233 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 233 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 318 320 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 132 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 16 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 139 140 141 143 144 145 147 149 152 153 161 163 164 171 172 175 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 139 140 141 143 144 145 147 149 152 153 154 161 163 164 171 172 182 189 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 139 140 141 143 144 147 149 152 153 154 161 163 164 171 172 182 189 190 192 193 194 195 196 198 201 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 139 140 141 143 144 147 149 152 153 154 161 163 164 171 172 182 183 189 190 192 193 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 116 119 121 123 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 164 171 172 182 183 189 190 192 193 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 119 121 123 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 164 171 172 182 183 189 190 192 193 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 119 121 123 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 171 172 182 183 189 190 192 193 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 171 172 182 183 188 189 190 192 193 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 171 172 182 183 188 189 190 192 194 195 196 198 206 208 209 211 212 213 218 219 221 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 314 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 171 172 182 183 188 189 190 192 194 195 196 198 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 136 137 139 140 141 143 144 147 149 152 153 154 163 172 182 183 188 189 190 192 194 195 196 198 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 140 141 143 144 147 149 152 153 154 163 172 182 183 188 189 190 192 194 195 196 198 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 140 141 143 144 147 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 69 73 77 86 88 91 93 94 97 104 110 113 119 121 125 126 129 134 135 137 139 141 143 144 147 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 110 113 119 121 125 126 129 134 135 137 139 141 143 144 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 239 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 254 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 320 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 286 294 296 303 304 307 309 310 312 315 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 286 294 296 300 303 304 307 309 310 312 315 323 324 326 328 329 330 331 333 334 336 338 342 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 182 183 188 189 190 192 194 195 196 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 286 294 296 300 303 304 307 309 310 312 315 323 324 326 328 329 330 331 333 334 336 338 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 286 294 296 300 303 304 307 309 310 312 315 323 324 326 328 329 330 331 333 334 336 338 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 226 230 232 234 235 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 286 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 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 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 235 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 286 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 a 7 8 11 18 20 22 23 26 29 33 34 35 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 235 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 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 /benchmark/random_instance/random_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat" User time (seconds): 63.55 System time (seconds): 0.14 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.71 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): 293308 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 106190 Voluntary context switches: 24 Involuntary context switches: 326 Swaps: 0 File system inputs: 0 File system outputs: 832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:10:23 2023]