#BEGIN: [Tue Sep 26 02:52:49 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance029_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance029_graph002.col /benchmark/random_instance/random_instance029_graph002_01.dat c /benchmark/random_instance/random_instance029_graph002.col c /benchmark/random_instance/random_instance029_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 358 338 331 314 284 38 145 289 231 143 95 301 144 330 355 165 205 272 134 329 365 57 185 193 40 343 156 223 263 299 106 179 45 23 4 58 150 243 91 253 168 219 337 163 239 31 203 152 215 277 175 59 30 41 121 202 327 43 266 182 52 126 320 92 334 257 79 11 148 198 177 140 195 72 341 335 98 293 9 162 279 238 226 375 224 46 125 214 377 349 120 127 113 63 130 281 241 75 256 147 251 86 94 278 244 245 308 218 225 117 133 78 196 81 317 374 14 123 221 357 369 306 112 346 102 t 359 80 344 77 53 243 170 183 102 109 104 95 374 372 263 185 155 166 135 362 270 254 375 156 86 11 231 251 140 313 56 264 10 331 64 215 163 37 147 174 189 87 299 230 85 214 257 225 236 157 15 220 355 306 261 78 83 195 226 200 228 5 178 240 96 335 40 120 81 303 30 272 75 190 221 38 309 341 26 219 79 233 265 201 32 43 337 179 13 161 66 256 366 141 58 202 31 279 239 296 63 274 317 46 45 133 121 137 74 218 28 290 112 113 227 244 285 89 308 21 206 60 371 126 25 a YES a 4 9 11 14 23 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 4 8 9 11 14 23 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 4 8 9 11 14 23 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 377 a 4 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 377 a 4 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 4 8 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 4 8 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 9 11 14 15 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 9 11 14 15 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 278 279 281 288 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 9 11 14 15 30 31 38 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 278 279 281 288 293 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 30 31 38 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 278 279 281 288 293 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 278 279 281 288 293 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 374 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 365 369 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 369 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 345 346 349 355 357 358 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 377 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 369 a 4 8 9 11 14 15 25 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 369 374 a 4 8 9 11 14 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 369 374 a 4 8 9 11 14 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 369 a 4 8 9 11 14 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 363 369 a 4 8 9 11 14 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 281 288 293 294 299 301 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 363 369 377 a 4 8 9 11 14 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 363 369 377 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 363 369 377 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 346 349 355 357 358 363 369 374 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 363 374 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 363 377 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 152 154 156 161 162 163 165 168 175 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 363 369 377 a 4 8 11 15 25 26 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 266 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 363 369 377 a 4 8 11 15 25 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 363 369 377 a 4 8 11 15 25 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 369 377 a 4 8 11 15 25 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 369 a 4 8 11 15 25 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 369 a 4 8 9 11 15 25 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 358 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 294 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 369 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 369 374 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 369 374 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 357 358 369 374 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 357 358 374 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 358 374 377 a 4 8 9 11 15 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 358 374 377 a 4 8 9 11 15 21 25 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 358 374 377 a 4 8 9 11 15 21 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 182 185 193 195 196 198 202 203 205 218 219 221 223 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 182 185 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 309 312 314 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 182 185 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 309 312 314 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 358 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 162 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 288 293 306 308 309 312 314 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 314 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 377 a 4 8 9 11 15 26 31 38 40 41 43 45 46 52 54 57 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 377 a 4 8 9 11 15 26 30 31 38 40 41 43 45 46 52 54 57 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 a 4 8 9 11 15 26 30 31 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 106 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 a 4 8 9 11 15 21 26 30 31 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 327 329 330 331 335 337 338 339 340 341 343 345 346 355 374 a 4 8 9 11 15 21 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 345 346 355 374 a 4 8 9 11 13 15 21 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 147 148 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 345 346 355 374 a 4 8 9 11 13 15 21 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 123 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 344 345 346 355 374 a 4 8 9 11 13 15 21 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 201 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 278 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 344 345 346 355 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 201 202 203 205 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 344 345 346 355 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 161 163 165 168 175 177 182 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 339 340 341 343 344 346 355 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 161 163 165 168 175 177 179 182 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 320 329 330 331 335 337 338 340 341 343 344 346 355 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 175 177 179 182 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 329 330 331 335 337 338 340 341 343 344 346 355 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 329 330 331 335 337 338 340 341 343 344 346 355 371 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 125 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 306 308 309 312 316 317 329 330 331 335 337 340 341 343 344 346 355 371 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 277 279 280 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 340 341 343 344 346 355 371 374 a 4 8 9 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 340 341 343 344 346 355 371 374 a 4 8 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 86 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 340 341 343 344 346 355 371 374 a 4 8 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 72 74 75 78 79 81 86 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 134 139 140 143 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 86 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 134 135 139 140 143 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 86 89 91 92 94 95 98 102 112 113 117 120 124 126 127 129 130 133 135 139 140 143 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 86 89 91 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 143 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 86 89 91 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 206 215 218 219 221 224 225 226 227 231 233 238 239 241 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 86 89 91 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 206 215 218 219 221 224 225 226 227 231 233 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 330 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 89 91 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 206 215 218 219 221 224 225 226 227 231 233 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 41 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 206 215 218 219 221 224 225 226 227 230 231 233 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 205 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 331 335 337 341 343 344 346 355 371 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 168 174 175 177 179 185 189 193 195 196 198 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 87 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 174 175 177 179 185 189 193 195 196 198 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 312 316 317 329 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 63 74 75 78 79 81 85 86 87 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 174 175 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 316 317 329 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 152 154 156 157 161 163 165 174 175 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 316 317 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 112 113 117 120 124 126 127 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 165 174 175 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 316 317 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 109 112 113 117 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 165 174 175 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 316 317 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 52 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 109 112 113 117 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 165 174 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 346 355 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 109 112 113 117 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 165 174 177 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 346 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 109 112 113 117 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 346 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 81 85 86 87 89 92 94 95 102 109 112 113 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 346 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 102 109 112 113 120 124 126 129 130 133 135 139 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 102 109 112 113 120 124 126 129 130 133 135 137 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 343 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 102 109 112 113 120 124 126 129 130 133 135 137 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 203 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 130 133 135 137 140 144 147 150 154 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 130 133 135 137 140 144 147 150 155 156 157 161 163 174 177 178 179 185 189 193 195 196 198 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 272 274 277 279 281 285 288 290 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 130 133 135 137 140 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 198 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 277 279 281 285 288 290 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 198 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 277 279 281 285 288 290 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 198 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 277 279 281 285 290 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 277 279 281 285 290 293 303 306 308 309 313 316 317 331 335 337 341 344 355 362 371 372 374 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 277 279 281 285 290 293 303 306 308 309 313 317 331 335 337 341 344 355 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 144 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 293 303 306 308 309 313 317 331 335 337 341 344 355 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 293 303 306 308 309 313 317 331 335 337 341 344 355 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 30 31 37 38 40 43 45 46 53 54 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 150 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 92 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 174 177 178 179 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 238 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 245 251 252 253 254 256 257 263 264 265 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 245 251 253 254 256 257 263 264 265 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 4 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 177 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 253 254 256 257 261 263 264 265 270 272 274 279 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 253 254 256 257 261 263 264 265 270 272 274 279 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 109 112 113 120 124 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 109 112 113 120 126 129 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 109 112 113 120 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 195 196 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 59 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 109 112 113 120 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 8 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 200 201 202 206 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 224 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 54 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance029_graph002.col /benchmark/random_instance/random_instance029_graph002_01.dat" User time (seconds): 547.63 System time (seconds): 2.18 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.11 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): 7563108 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2609590 Voluntary context switches: 6164 Involuntary context switches: 2534 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:58:53 2023]