#BEGIN: [Tue Sep 26 01:49:58 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-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 --ulimit cpu=1800 -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.003 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 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 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 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 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 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 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 8 9 11 14 30 31 38 40 41 43 45 46 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 210 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 8 9 11 14 30 31 38 40 41 43 45 46 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 193 195 196 198 202 203 205 210 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 8 9 11 14 15 30 31 38 40 41 43 45 46 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 193 195 196 198 202 203 205 210 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 8 9 11 14 15 30 31 38 40 41 43 45 46 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 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 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 8 9 11 14 15 26 30 31 38 40 41 43 45 46 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 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 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 205 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 130 133 134 140 144 145 147 148 150 152 156 162 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 205 206 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 206 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 144 145 147 148 150 152 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 206 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 284 288 293 299 306 308 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 205 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 30 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 285 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 285 288 293 299 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 140 143 144 145 147 148 150 152 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 140 143 144 145 147 148 150 152 156 165 168 175 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 349 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 156 165 168 175 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 41 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 81 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 11 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 120 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 156 165 168 175 177 179 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 223 224 225 226 231 233 235 238 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 224 225 226 231 233 235 238 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 224 225 226 231 233 235 238 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 156 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 374 377 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 374 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 358 365 374 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 365 369 374 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 365 369 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 365 369 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 365 369 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 154 165 168 175 177 179 181 182 185 189 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 a 4 8 9 11 14 15 26 29 31 38 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 185 189 193 195 196 198 202 203 210 212 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 123 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 369 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 365 a 4 8 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 374 a 4 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 91 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 374 a 4 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 358 374 a 4 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 327 329 330 331 335 337 338 340 341 342 343 345 346 355 357 374 a 4 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 327 329 331 335 337 338 340 341 342 343 345 346 355 357 374 a 4 9 11 14 15 26 29 31 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 327 329 331 335 337 340 341 342 343 345 346 355 357 374 a 4 9 11 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 345 346 355 357 374 a 4 9 11 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 112 113 117 121 124 125 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 346 355 357 374 a 4 9 11 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 112 113 117 121 124 126 127 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 303 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 346 355 357 374 a 4 9 11 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 303 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 346 355 357 374 a 4 11 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 145 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 303 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 346 355 357 371 374 a 4 11 13 14 15 26 29 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 303 306 308 309 312 314 317 320 329 331 335 337 340 341 342 343 346 355 357 371 374 a 4 11 13 14 15 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 a 11 13 14 15 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 278 279 281 285 288 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 134 139 140 143 144 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 279 281 285 288 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 139 140 143 144 147 148 150 152 154 165 168 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 279 281 285 288 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 154 165 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 279 281 285 288 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 154 165 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 277 279 281 285 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 154 165 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 101 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 165 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 290 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 175 177 179 181 182 185 189 193 195 196 198 202 203 210 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 290 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 210 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 290 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 290 293 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 241 243 244 245 247 251 253 254 256 257 263 264 272 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 243 244 245 247 251 253 254 256 257 263 264 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 212 215 218 219 220 221 224 225 226 227 230 231 233 235 238 239 240 243 244 247 251 253 254 256 257 263 264 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 143 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 130 133 137 139 140 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 133 137 139 140 144 147 148 150 152 163 165 174 175 177 179 182 185 189 193 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 133 137 139 140 144 147 148 150 152 163 165 174 175 177 179 182 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 320 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 124 126 129 133 137 139 140 144 147 148 150 152 157 163 165 174 175 177 179 182 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 340 341 343 346 355 357 359 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 144 147 148 150 152 157 163 165 174 175 177 179 182 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 340 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 144 147 148 152 157 163 165 166 174 175 177 179 182 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 340 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 144 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 41 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 57 58 59 63 72 75 78 79 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 247 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 57 58 59 63 72 75 78 79 81 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 129 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 59 63 72 75 78 79 81 83 85 86 87 89 94 95 96 98 102 106 109 112 113 117 120 121 126 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 59 63 72 75 78 79 81 83 85 86 87 89 94 95 96 98 102 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 303 306 308 309 312 314 317 329 331 335 337 341 343 346 355 357 359 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 59 63 72 75 78 79 81 83 85 86 87 89 94 95 96 98 102 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 165 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 346 355 359 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 59 63 72 75 78 79 80 81 83 85 86 87 89 94 95 96 98 102 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 346 355 359 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 72 75 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 166 174 175 177 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 346 355 359 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 72 75 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 166 174 177 178 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 346 355 359 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 166 174 177 178 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 346 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 106 109 112 113 120 121 126 133 137 139 140 147 148 152 157 163 166 174 177 178 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 148 152 157 163 166 174 177 178 179 182 183 185 189 195 196 198 202 203 206 212 215 218 219 220 221 224 225 226 227 230 231 233 235 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 312 314 317 329 331 335 337 341 343 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 148 152 157 163 166 174 177 178 179 182 183 185 189 195 196 198 202 203 206 212 214 215 218 219 220 221 224 225 226 227 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 312 314 317 329 331 335 337 341 343 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 148 152 157 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 212 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 314 317 329 331 335 337 341 343 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 57 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 212 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 314 317 329 331 335 337 341 343 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 212 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 314 317 329 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 314 317 329 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 11 13 14 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 58 63 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 313 314 317 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 58 63 64 75 77 78 79 80 81 83 85 86 87 89 94 95 96 98 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 313 314 317 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 54 56 58 63 64 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 313 314 317 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 53 54 56 58 63 64 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 313 317 331 335 337 341 343 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 53 54 56 58 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 312 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 53 54 56 58 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 202 203 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 253 254 256 257 263 264 265 270 272 274 279 281 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 29 30 31 37 38 40 43 45 46 53 54 56 58 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 202 203 206 214 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 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 60 63 64 74 75 77 78 79 80 81 83 85 86 87 89 94 95 96 102 104 109 112 113 120 121 126 133 135 137 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 202 203 206 214 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 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 30 31 37 38 40 43 45 46 53 54 56 58 60 63 64 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 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 201 202 203 206 214 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 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 a 10 11 13 15 25 26 28 30 31 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 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 201 202 203 206 214 215 218 219 220 221 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 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 25 26 28 30 31 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 139 140 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 201 202 206 214 215 218 219 220 221 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 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 25 26 28 30 31 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 147 152 156 157 161 163 166 174 178 179 182 183 185 189 195 196 198 200 201 202 206 214 215 218 219 220 221 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 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 25 26 28 30 31 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 147 152 156 157 161 163 166 174 178 179 182 183 185 189 190 195 198 200 201 202 206 214 215 218 219 220 221 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 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 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 147 152 156 157 161 163 166 174 178 179 183 185 189 190 195 198 200 201 202 206 214 215 218 219 220 221 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 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 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 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 198 200 201 202 206 214 215 218 219 220 221 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 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 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 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 198 200 201 202 206 214 215 218 219 220 221 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 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 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 253 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): 546.35 System time (seconds): 2.28 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.03 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): 7393948 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2552987 Voluntary context switches: 6714 Involuntary context switches: 2462 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:56:02 2023]