#BEGIN: [Mon Sep 4 11:17:10 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 /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): INTERRUPTED by signal! 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 161 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 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 52 55 59 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 161 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 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 43 52 55 59 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 161 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 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 43 52 55 59 63 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 161 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 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 21 25 27 43 52 55 59 63 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 124 125 127 129 132 136 137 139 141 143 156 161 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 320 321 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 21 25 27 43 52 55 59 63 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 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 320 321 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 21 25 27 43 52 55 59 63 69 70 77 78 80 82 90 91 93 99 102 103 107 111 112 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 162 163 168 169 170 172 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 320 321 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 21 25 27 43 52 55 59 63 69 70 77 78 80 82 90 91 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 162 163 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 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 320 321 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 21 25 27 43 52 55 59 63 69 70 77 78 80 82 90 91 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 320 321 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 21 25 27 43 52 55 59 63 64 69 70 77 78 80 82 90 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 320 321 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 21 25 27 43 50 52 55 59 63 64 69 70 77 78 80 90 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 161 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 320 321 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 21 25 27 43 50 52 55 59 63 64 69 70 77 78 80 90 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 320 321 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 43 50 52 55 59 63 69 70 77 78 80 90 91 93 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 320 321 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 43 50 52 55 59 63 69 70 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 141 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 289 296 300 301 302 307 308 320 321 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 43 50 52 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 233 234 236 239 240 245 248 252 253 255 261 262 263 266 269 270 272 279 285 289 296 300 301 302 307 308 320 321 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 43 50 52 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 261 262 263 266 269 270 272 279 285 289 296 300 301 302 307 308 320 321 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 43 50 52 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 261 262 263 266 269 270 272 279 285 289 296 300 301 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 21 25 27 43 50 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 261 262 263 266 269 270 272 277 279 285 289 296 300 301 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 21 25 27 43 50 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 257 261 262 263 266 269 270 272 277 279 285 289 296 300 301 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 21 25 27 43 50 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 257 261 262 263 266 269 270 272 277 279 282 285 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 43 50 55 59 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 257 261 262 263 266 269 270 272 277 279 282 285 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 43 50 55 59 62 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 50 55 59 62 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 234 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 29 50 55 59 62 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 218 221 223 227 231 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 29 50 55 59 62 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 287 289 296 300 302 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 356 360 366 370 a 7 10 11 17 19 20 25 27 29 50 55 59 62 63 69 70 73 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 7 10 11 17 20 25 27 29 50 55 59 62 63 69 70 73 75 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 257 262 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 29 50 55 59 62 63 69 70 73 75 77 78 80 90 91 93 96 99 102 103 107 111 112 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 257 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 29 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 257 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 29 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 239 240 241 245 248 252 253 255 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 29 33 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 236 240 241 245 248 252 253 255 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 33 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 370 a 4 7 10 11 17 20 25 27 33 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 352 354 355 360 366 a 4 7 10 11 17 20 22 25 27 33 50 55 59 62 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 354 355 360 366 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 107 111 114 118 119 121 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 354 355 360 366 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 111 114 118 119 121 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 321 323 326 330 331 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 99 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 323 326 330 331 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 245 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 163 165 168 169 170 172 175 179 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 302 306 307 308 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 163 165 168 169 170 172 175 179 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 306 307 308 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 38 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 163 165 168 169 170 172 175 179 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 38 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 163 165 168 169 170 172 175 179 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 228 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 38 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 136 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 228 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 291 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 228 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 291 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 234 236 240 241 248 252 253 255 261 263 266 269 270 272 277 279 282 285 287 289 291 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 234 236 240 241 248 252 253 255 261 266 269 270 272 277 279 282 285 287 289 291 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 269 270 272 277 279 282 285 287 289 291 296 300 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 269 270 272 277 279 285 287 289 291 296 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 75 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 277 279 285 287 289 291 296 299 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 275 277 279 285 287 289 291 296 299 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 360 366 370 374 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 96 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 275 277 279 285 287 289 291 296 299 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 360 366 370 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 360 366 370 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 195 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 360 366 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 360 366 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 360 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 213 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 a 4 7 10 11 17 20 22 25 27 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 a 4 7 10 11 20 22 25 27 30 33 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 355 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 248 252 253 255 261 263 266 270 272 275 277 279 285 287 288 289 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 263 266 270 275 277 279 285 287 288 289 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 127 128 129 132 137 139 143 156 162 163 165 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 77 78 80 87 90 91 93 102 103 104 111 114 118 119 121 122 124 125 126 128 129 132 137 139 143 156 162 163 165 166 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 87 90 91 93 102 103 104 111 114 118 119 122 124 125 126 128 129 132 137 139 143 156 162 163 165 166 168 169 170 171 172 175 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 87 90 91 93 102 103 104 111 114 118 119 122 124 125 126 128 129 132 137 139 143 156 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 323 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 87 90 91 93 102 103 104 111 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 346 351 354 356 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 87 90 91 93 102 103 104 111 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 351 354 356 372 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 351 354 356 372 a 4 7 10 11 19 20 22 25 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 261 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 10 11 19 20 22 25 26 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 38 42 50 55 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 270 275 277 279 285 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 34 38 42 50 55 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 168 169 170 171 172 175 180 181 182 185 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 270 275 277 279 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 34 38 42 50 55 56 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 182 185 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 270 275 277 279 287 288 291 294 296 299 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 34 38 42 50 55 56 59 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 182 185 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 269 270 275 277 279 287 288 291 294 296 300 301 302 306 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 182 185 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 337 338 340 341 342 354 356 372 a 4 7 11 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 132 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 182 185 187 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 182 185 187 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 90 91 93 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 266 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 90 91 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 83 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 198 199 201 203 209 214 215 221 223 227 231 233 234 236 240 246 248 252 253 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 70 73 74 77 78 80 83 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 198 199 201 203 209 214 215 220 221 223 227 231 233 234 240 246 248 252 253 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 198 199 201 203 209 214 215 220 221 223 227 231 233 234 240 246 248 252 253 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 185 187 189 192 193 198 199 201 203 209 214 215 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 201 203 209 214 215 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 300 301 302 307 314 320 326 330 331 334 335 338 340 341 342 353 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 124 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 201 203 209 214 215 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 201 203 209 214 215 219 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 203 209 214 215 219 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 4 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 203 209 214 219 220 221 223 227 231 233 234 240 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 125 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 203 209 214 219 220 221 223 227 231 233 234 240 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 189 192 193 198 199 203 209 214 219 220 221 223 227 231 233 234 240 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 156 160 163 165 166 169 170 171 172 175 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 156 160 163 166 169 170 171 172 175 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 329 330 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 156 160 163 166 169 170 171 172 175 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 329 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 329 331 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 16 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 307 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 372 a 7 11 15 16 19 20 22 25 26 27 30 34 38 42 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 372 375 a 7 11 15 16 19 20 22 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 136 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 277 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 372 375 a 7 11 15 16 19 20 22 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 95 102 103 104 107 111 112 114 118 119 122 126 128 129 136 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 270 275 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 372 375 a 7 11 15 16 19 20 22 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 94 95 102 103 104 107 111 112 114 118 119 122 126 128 129 136 137 139 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 372 375 a 7 11 15 16 19 20 22 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 94 95 102 103 104 107 111 112 114 118 119 122 126 128 129 136 137 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 358 372 375 a 7 11 15 16 19 20 22 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 94 95 102 103 104 107 111 112 114 118 119 122 128 129 136 137 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 326 329 334 335 338 340 341 342 347 353 354 356 357 358 372 375 a 7 11 15 16 19 20 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 94 95 102 103 104 107 111 112 114 118 119 122 128 129 136 137 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 353 354 356 357 358 372 375 a 7 11 15 16 19 20 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 80 83 84 90 93 94 95 103 104 107 111 112 114 118 119 122 128 129 136 137 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 38 50 53 54 55 56 59 62 63 69 73 74 77 78 79 83 84 90 93 94 95 103 104 107 111 112 114 118 119 122 128 129 136 137 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 38 50 53 54 55 56 59 62 63 68 69 73 74 77 78 79 83 84 90 93 94 95 103 104 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 69 73 74 77 78 79 83 84 90 93 94 95 103 104 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 180 181 187 192 193 198 199 203 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 69 73 74 77 78 79 83 84 90 93 94 95 103 104 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 69 73 74 77 78 79 83 84 93 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 93 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 174 178 180 181 187 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 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 335 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 252 254 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 334 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 262 263 269 275 279 287 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 209 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 262 263 269 275 279 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 262 263 269 275 279 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 275 288 291 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 106 107 111 112 114 117 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 181 187 192 193 198 199 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 275 288 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 103 104 106 107 111 112 114 117 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 187 192 193 198 199 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 275 288 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 103 104 106 107 111 112 114 117 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 187 192 193 198 199 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 275 288 294 296 301 302 314 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 364 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 103 104 106 107 111 112 114 117 118 119 122 128 129 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 187 192 193 198 199 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 317 320 324 326 329 333 334 338 340 341 342 345 347 352 353 354 356 357 358 364 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 103 104 106 107 111 112 114 117 118 119 122 128 129 134 136 143 146 151 156 160 163 166 169 170 171 172 174 178 180 187 192 193 198 199 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 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 7 11 15 16 19 20 25 26 27 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 103 104 106 107 111 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 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 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 7 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 103 104 106 107 111 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 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 1 7 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 103 104 106 107 111 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 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 364 371 372 375 a 1 7 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 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 317 320 324 326 329 333 334 338 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 7 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 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 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 /benchmark/random_instance/random_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat" User time (seconds): 357.95 System time (seconds): 5.98 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.98 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): 20993364 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7424494 Voluntary context switches: 27 Involuntary context switches: 2138 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 11:23:15 2023]