#BEGIN: [Mon Sep 4 12:16:35 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance029_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat c /benchmark/random_instance/random_instance029_graph005.col c /benchmark/random_instance/random_instance029_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 21 370 185 213 214 266 252 285 25 179 330 263 320 156 352 308 218 172 121 360 139 248 78 132 233 302 70 129 99 326 137 318 59 301 124 43 236 127 221 77 90 175 227 323 27 93 42 103 91 169 55 201 223 337 170 17 122 112 296 356 230 261 141 107 240 80 52 354 11 174 102 163 288 351 269 366 270 289 239 231 143 331 234 19 279 118 50 111 168 162 125 189 374 338 319 300 20 340 262 307 355 341 255 7 198 342 253 182 272 335 181 215 192 10 119 209 t 62 74 45 220 146 255 193 357 30 294 54 50 333 371 362 151 240 263 316 244 166 219 174 352 217 55 117 163 340 191 356 94 11 342 353 78 128 160 223 19 288 249 301 214 320 103 345 34 364 169 202 1 246 26 98 375 248 104 79 317 314 77 56 262 68 63 107 347 83 53 326 84 59 372 112 329 234 73 221 76 106 187 172 284 198 136 296 171 178 143 231 134 269 243 129 324 199 233 16 25 216 302 12 254 334 156 15 211 20 354 358 114 95 118 180 258 a YES a 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 270 272 279 285 288 289 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 160 161 162 163 168 169 170 172 174 175 179 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 161 162 163 168 169 170 172 174 175 179 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 294 296 299 300 301 302 307 308 318 319 320 323 327 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 327 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 327 330 331 335 337 338 340 341 342 351 352 354 355 360 366 370 374 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 327 330 331 335 337 338 340 341 342 351 352 354 355 360 366 370 374 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 360 366 370 374 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 370 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 174 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 327 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 370 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 327 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 370 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 175 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 334 335 337 338 340 341 342 346 351 352 354 355 356 360 370 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 334 335 337 338 340 341 342 346 351 352 354 355 356 360 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 318 319 320 323 326 330 331 334 335 337 338 340 341 342 346 351 352 354 355 356 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 a 4 7 10 11 17 19 20 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 372 a 4 7 10 11 17 19 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 352 354 355 356 372 a 4 7 10 11 17 19 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 352 354 355 356 a 4 7 10 11 17 19 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 355 356 374 a 4 7 10 11 17 19 25 27 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 356 360 374 a 4 7 10 11 17 19 25 27 40 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 360 374 a 4 7 10 11 17 19 25 27 40 42 43 50 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 227 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 360 372 374 a 4 7 10 11 17 19 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 185 189 192 198 201 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 248 252 253 255 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 360 372 374 a 4 7 10 11 17 19 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 360 372 374 a 4 7 10 11 17 19 20 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 360 372 a 4 7 10 11 17 19 20 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 356 360 372 a 4 7 10 11 17 19 20 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 356 360 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 341 342 351 354 356 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 337 338 340 341 342 351 354 356 366 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 337 338 340 341 351 354 356 366 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 337 338 340 341 351 354 356 366 370 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 337 338 340 351 354 356 366 370 a 4 7 10 11 17 19 20 22 25 27 40 42 43 52 55 59 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 351 354 356 370 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 351 354 356 370 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 323 326 327 330 331 334 335 337 338 340 351 354 356 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 288 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 356 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 356 369 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 230 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 369 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 248 252 253 255 256 261 263 266 270 272 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 369 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 107 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 369 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 171 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 369 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 369 370 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 90 91 93 96 102 103 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 354 370 372 374 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 370 372 374 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 111 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 356 370 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 168 169 170 175 181 182 189 192 198 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 169 170 175 181 182 189 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 327 329 330 331 334 335 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 42 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 169 170 175 181 182 189 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 329 330 331 334 335 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 169 170 175 181 182 189 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 311 318 319 320 326 329 330 331 334 335 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 156 160 162 163 169 170 172 175 181 182 189 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 318 319 320 326 329 330 331 334 335 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 170 172 175 181 182 189 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 318 319 320 326 329 330 331 334 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 182 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 318 319 320 326 329 330 331 334 337 338 340 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 182 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 300 301 302 307 308 318 319 320 326 329 331 334 337 338 340 342 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 182 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 301 302 307 308 318 319 320 326 329 331 334 337 338 340 342 347 351 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 182 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 263 266 270 275 279 285 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 224 227 231 233 234 236 239 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 17 19 20 22 27 40 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 227 231 233 234 236 239 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 17 19 20 22 26 27 40 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 96 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 17 19 20 22 26 27 40 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 19 20 22 26 27 30 40 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 102 103 104 107 112 118 119 120 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 19 20 22 26 27 30 40 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 102 103 104 107 112 118 119 120 121 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 19 20 22 26 27 30 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 121 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 354 356 366 370 372 a 4 7 10 11 19 20 26 27 30 43 50 52 55 59 67 69 70 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 121 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 352 354 356 366 370 372 a 4 7 10 11 19 20 26 27 30 43 50 52 55 59 67 69 70 74 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 215 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 352 354 356 366 370 372 a 4 7 10 11 19 20 26 27 30 43 50 52 55 59 67 69 70 74 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 261 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 352 354 356 366 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 59 62 67 69 70 74 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 331 334 337 338 340 342 347 351 352 354 356 366 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 221 223 227 231 233 234 236 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 334 337 338 340 342 347 351 352 354 356 366 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 84 90 91 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 334 337 338 340 342 347 351 352 354 356 366 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 318 319 320 326 329 334 337 338 340 342 347 351 352 354 356 366 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 308 317 318 319 320 326 329 334 337 338 340 342 347 351 352 354 356 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 270 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 347 351 352 354 356 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 127 129 132 137 139 141 143 156 160 162 163 169 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 347 351 352 354 356 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 347 351 352 354 356 370 372 375 a 4 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 347 352 354 356 357 370 372 375 a 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 80 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 347 352 354 356 357 370 372 375 a 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 370 372 375 a 7 10 11 19 20 26 27 30 43 50 52 55 56 59 62 67 69 70 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 19 20 26 30 43 50 52 55 56 59 62 67 69 70 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 19 20 25 26 30 43 50 52 55 56 59 62 69 70 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 137 139 141 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 19 20 25 26 30 43 50 52 55 56 59 62 69 70 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 134 137 141 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 19 20 25 26 30 43 50 52 55 56 59 62 69 70 73 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 132 134 137 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 55 56 59 62 69 70 73 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 134 137 143 156 160 162 163 166 169 171 172 175 181 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 337 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 55 56 59 62 69 70 73 74 77 78 83 84 90 93 102 103 104 107 112 114 118 119 120 122 125 129 134 137 143 156 160 162 163 166 169 171 172 175 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 120 122 125 129 134 137 143 156 160 162 163 166 169 171 172 175 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 120 122 125 129 134 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 120 122 129 134 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 372 375 a 1 7 10 11 15 19 20 25 26 30 43 50 52 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 372 375 a 1 7 11 15 19 20 25 26 30 43 50 52 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 201 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 43 50 52 53 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 204 209 211 213 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 43 50 52 53 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 213 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 289 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 213 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 291 294 296 299 301 302 317 318 319 320 324 326 329 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 279 285 288 291 294 296 299 301 302 317 318 319 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 285 288 291 294 296 299 301 302 314 317 318 319 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 275 285 288 291 294 296 299 301 302 314 317 318 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 318 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 98 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 218 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 318 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 98 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 175 180 181 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 318 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 94 98 102 103 104 107 112 114 118 119 122 129 134 136 137 143 156 160 163 166 169 171 172 180 181 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 318 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 52 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 156 160 163 166 169 171 172 180 181 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 70 73 74 77 78 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 181 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 70 73 74 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 255 256 262 263 266 269 275 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 70 73 74 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 73 74 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 372 375 a 1 7 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 372 375 a 1 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 102 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 372 375 a 1 11 15 16 19 20 25 26 30 34 43 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 202 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 103 104 107 112 114 118 119 122 128 129 134 136 137 143 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 202 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 69 73 74 76 77 78 79 83 84 90 94 98 103 104 107 112 114 118 119 122 128 129 134 136 137 143 146 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 69 73 74 76 77 78 79 83 84 90 94 98 103 104 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 180 187 189 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 90 94 98 103 104 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 180 187 189 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 98 103 104 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 180 187 189 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 98 103 104 106 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 266 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 98 103 104 106 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 269 285 288 291 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 269 285 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 252 254 255 256 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 371 372 375 a 1 11 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 256 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 1 11 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 192 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 1 11 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 119 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 284 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat" User time (seconds): 532.16 System time (seconds): 13.32 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.56 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): 24328280 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9059726 Voluntary context switches: 2610160 Involuntary context switches: 2216 Swaps: 0 File system inputs: 0 File system outputs: 760 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:22:39 2023]