#BEGIN: [Mon Sep 4 13:40:20 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance029_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance029_graph003.col /benchmark/random_instance/random_instance029_graph003_01.dat c /benchmark/random_instance/random_instance029_graph003.col c /benchmark/random_instance/random_instance029_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 238 140 188 253 49 44 20 342 217 274 259 131 103 152 189 133 283 264 322 115 305 167 163 136 179 75 369 282 252 318 230 211 196 315 249 317 17 121 18 23 30 376 122 316 126 128 224 145 209 85 147 92 160 138 214 33 132 109 172 232 359 151 236 245 12 280 227 77 62 251 98 159 87 215 256 41 341 365 260 88 247 263 374 135 102 123 149 19 331 246 193 257 101 194 302 51 368 36 46 290 79 176 326 67 340 113 213 54 225 116 8 344 181 297 293 3 78 200 208 182 31 296 351 t 184 274 148 233 351 301 260 242 64 273 196 183 51 131 85 317 120 376 244 333 101 245 98 83 150 337 109 197 195 335 171 61 79 266 151 100 239 271 169 201 323 316 75 347 91 306 218 309 268 180 105 27 265 60 325 97 175 96 4 345 220 24 11 138 194 292 262 41 253 139 190 248 211 310 70 164 92 297 261 357 367 162 320 21 278 334 223 330 35 114 103 213 187 172 177 370 160 116 348 71 300 247 259 200 42 318 14 192 205 331 99 174 352 17 293 344 366 208 154 89 104 3 365 a YES a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 172 176 179 181 182 188 189 193 194 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 305 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 188 189 193 194 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 305 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 331 340 341 342 344 351 359 365 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 247 249 251 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 368 369 374 376 a 3 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 251 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 8 12 15 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 163 167 176 179 181 182 188 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 251 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 15 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 163 167 176 179 181 182 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 251 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 15 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 225 227 230 232 236 238 245 246 249 252 253 256 257 259 260 263 264 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 341 342 344 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 341 342 344 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 341 342 344 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 342 344 346 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 331 342 344 346 351 359 366 368 369 374 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 331 342 344 346 351 359 366 368 369 374 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 331 341 342 344 346 351 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 341 342 344 346 351 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 286 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 369 374 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 374 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 374 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 280 282 283 290 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 282 283 290 293 296 297 302 315 316 317 318 322 326 329 331 340 341 342 344 346 351 359 366 368 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 256 257 259 260 263 264 273 274 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 359 366 368 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 359 366 368 369 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 163 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 282 283 290 293 296 297 315 316 317 318 322 326 329 331 340 341 342 344 346 351 352 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 85 87 88 91 92 98 101 102 103 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 282 283 290 293 296 297 315 316 317 318 322 326 329 331 340 341 342 344 346 351 352 359 366 368 369 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 282 283 290 293 296 297 315 316 317 318 322 326 329 331 340 341 342 344 346 351 352 359 366 368 369 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 331 340 341 342 344 346 351 352 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 331 340 341 342 344 346 351 352 359 366 368 a 3 4 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 115 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 368 a 3 4 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 368 a 3 4 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 368 369 a 3 4 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 351 352 359 366 368 369 376 a 3 4 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 54 62 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 351 352 359 366 368 369 376 a 3 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 54 62 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 351 352 359 366 368 369 376 a 3 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 54 62 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 368 376 a 3 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 376 a 3 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 366 a 3 8 12 17 18 19 20 23 30 31 33 36 38 41 44 46 49 51 54 62 65 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 67 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 67 75 77 78 79 83 87 88 91 92 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 314 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 352 359 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 352 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 340 341 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 322 326 329 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 230 232 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 326 329 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 232 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 46 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 119 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 38 41 42 44 49 51 54 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 320 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 315 316 317 318 320 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 20 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 164 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 316 317 318 320 326 329 334 335 340 342 344 346 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 164 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 316 317 318 320 326 329 334 335 340 342 344 346 347 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 149 151 152 154 159 160 164 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 282 283 290 293 296 297 302 316 317 318 320 326 329 334 335 340 342 344 347 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 148 149 151 152 154 159 160 164 167 176 179 181 182 187 189 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 283 290 293 296 297 302 316 317 318 320 326 329 334 335 340 342 344 347 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 148 149 151 152 154 159 160 164 167 176 179 181 182 187 193 194 195 196 200 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 280 283 290 293 296 297 302 316 317 318 320 326 329 331 334 335 340 342 344 347 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 77 78 79 83 87 88 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 148 149 151 152 154 159 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 326 329 331 334 335 340 342 344 347 351 352 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 78 79 83 87 88 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 136 138 140 145 147 148 149 151 152 154 159 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 326 329 331 334 335 340 342 344 347 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 108 109 113 116 121 122 123 126 128 131 132 133 135 138 140 145 147 148 149 151 152 154 159 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 326 329 331 334 335 340 342 344 347 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 140 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 326 329 331 334 335 340 342 344 347 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 140 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 329 331 334 335 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 215 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 329 331 334 335 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 236 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 329 330 331 334 335 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 237 238 244 245 246 249 252 253 257 259 260 263 264 273 274 283 290 293 296 297 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 152 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 237 238 244 245 246 249 252 253 257 259 260 263 264 266 273 274 283 293 296 297 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 154 160 164 167 176 179 181 182 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 237 238 244 245 246 249 252 253 257 259 260 263 264 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 149 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 237 238 244 245 246 249 252 253 257 259 260 263 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 221 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 263 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 376 a 3 8 12 17 18 19 23 30 31 33 41 42 44 49 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 263 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 31 33 41 42 44 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 123 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 263 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 31 33 41 42 44 51 54 60 62 65 71 75 78 79 83 87 88 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 302 316 317 318 320 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 31 33 41 42 44 51 54 60 62 65 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 302 316 317 318 320 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 31 33 41 42 44 51 54 60 62 65 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 177 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 33 35 41 42 44 51 54 60 62 65 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 177 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 33 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 116 121 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 177 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 33 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 114 116 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 167 176 177 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 33 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 113 114 116 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 176 177 179 181 182 184 187 193 194 195 196 200 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 33 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 114 116 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 176 177 179 181 182 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 114 116 122 126 128 131 132 133 135 138 145 147 148 151 154 160 164 176 177 179 180 181 182 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 23 30 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 108 109 114 116 122 128 131 132 133 135 138 145 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 21 23 30 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 145 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 21 23 30 35 41 42 44 51 54 60 62 70 71 75 78 79 83 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 21 23 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 340 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 18 19 21 23 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 278 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 342 344 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 23 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 147 148 151 154 160 164 176 177 179 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 278 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 23 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 273 274 278 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 246 248 249 252 253 257 259 260 261 263 266 271 273 274 278 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 35 41 42 44 51 54 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 249 252 253 257 259 260 261 263 266 271 273 274 278 283 293 296 297 300 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 249 252 253 257 259 260 261 263 266 271 273 274 278 283 293 296 297 300 301 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 263 266 271 273 274 278 283 293 296 297 300 301 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 102 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 263 265 266 271 273 274 278 293 296 297 300 301 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 19 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 263 265 266 271 273 274 278 293 296 297 300 301 316 317 318 320 323 325 329 330 331 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 98 100 101 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 263 265 266 271 273 274 278 293 296 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 296 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 200 201 205 208 209 211 213 214 217 218 220 223 224 227 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 122 128 131 132 133 135 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 122 128 131 132 133 138 139 147 148 151 154 160 162 164 176 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 122 128 131 132 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 128 131 132 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 233 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 44 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 233 237 238 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 217 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 376 a 3 4 8 12 17 21 27 35 41 42 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 209 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 99 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 181 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 62 70 71 75 78 79 83 85 87 89 91 92 96 98 99 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 70 71 75 78 79 83 85 87 89 91 92 96 98 99 100 101 103 104 105 109 114 116 128 131 133 138 139 147 148 151 154 160 162 164 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 70 71 75 78 79 83 85 87 89 91 92 96 98 99 100 101 103 104 105 109 114 116 128 131 138 139 147 148 151 154 160 162 164 171 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 252 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 70 71 75 78 79 83 85 87 89 91 92 96 98 99 100 101 103 104 105 109 114 116 128 131 138 139 147 148 151 154 160 162 164 171 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 8 12 17 21 27 35 41 42 51 60 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 237 238 239 242 244 245 247 248 253 257 259 260 261 265 266 271 273 274 278 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 238 239 242 244 245 247 248 253 257 259 260 261 265 266 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 329 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 238 239 242 244 245 247 248 253 257 259 260 261 265 266 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 193 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 239 242 244 245 247 248 253 257 259 260 261 262 265 266 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 147 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 239 242 244 245 247 248 253 257 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 12 14 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 239 242 244 245 247 248 253 257 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 27 35 41 42 51 60 61 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 214 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 27 35 41 42 51 60 61 64 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 342 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 78 79 83 85 87 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 171 172 174 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 78 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 171 172 174 175 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 182 183 184 187 190 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 224 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 12 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 a 3 4 11 14 17 21 24 27 35 41 42 51 60 61 64 70 71 75 79 83 85 89 91 92 96 97 98 99 100 101 103 104 105 109 114 116 120 131 138 139 148 150 151 154 160 162 164 169 171 172 174 175 177 180 183 184 187 190 192 194 195 196 197 200 201 205 208 211 213 218 220 223 233 239 242 244 245 247 248 253 259 260 261 262 265 266 268 271 273 274 278 292 293 297 300 301 306 309 310 316 317 318 320 323 325 330 331 333 334 335 337 344 345 347 348 351 352 357 365 366 367 370 376 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance029_graph003.col /benchmark/random_instance/random_instance029_graph003_01.dat" User time (seconds): 359.36 System time (seconds): 4.04 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.42 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): 14938160 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5154744 Voluntary context switches: 26 Involuntary context switches: 1962 Swaps: 0 File system inputs: 0 File system outputs: 800 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:46:24 2023]