#BEGIN: [Tue Sep 26 01:48:29 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance028_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat c /benchmark/random_instance/random_instance028_graph002.col c /benchmark/random_instance/random_instance028_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 198 185 12 335 342 274 122 139 102 320 229 232 65 108 187 165 69 282 148 120 25 233 83 247 179 43 222 160 276 72 279 134 45 253 241 54 85 147 137 113 172 313 191 197 340 44 90 309 341 207 175 92 52 146 355 286 354 292 1 194 37 119 33 271 273 53 9 166 358 26 28 325 103 156 96 346 49 132 153 277 168 70 23 189 244 40 267 319 235 318 133 275 268 118 328 283 226 89 17 351 19 284 361 204 314 195 73 170 135 224 110 237 123 127 145 293 68 177 3 206 t 75 97 241 121 277 268 105 316 311 220 294 337 128 113 339 29 284 190 199 67 348 172 137 7 124 119 171 118 86 96 227 4 46 177 39 142 33 186 45 320 12 216 355 76 108 147 275 153 285 197 325 93 334 8 111 18 352 173 224 81 232 318 16 40 249 70 64 253 68 341 26 194 281 297 92 208 159 244 354 74 314 20 24 178 274 106 65 151 235 31 27 335 293 206 239 181 23 351 85 61 44 292 170 304 213 254 261 358 141 19 231 53 263 270 333 175 148 22 362 272 a YES a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 87 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 79 83 87 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 79 83 87 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 79 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 34 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 34 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 103 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 34 37 40 43 44 45 49 52 53 54 61 65 68 69 70 73 83 85 89 90 92 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 34 37 40 43 44 45 49 52 54 61 65 68 69 70 73 83 85 89 90 92 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 33 34 37 40 43 44 49 52 54 61 65 68 69 70 73 83 85 89 90 92 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 52 54 61 65 68 69 70 73 83 85 89 90 92 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 52 54 61 65 68 69 70 83 85 89 90 92 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 52 54 61 65 68 69 70 83 85 89 90 92 96 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 52 53 54 61 65 68 69 70 83 85 89 90 92 96 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 52 53 54 61 65 68 69 70 83 85 89 90 92 96 103 105 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 92 96 103 105 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 92 96 103 105 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 92 96 103 105 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 168 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 49 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 113 118 119 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 113 118 119 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 185 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 51 52 53 54 61 68 69 70 83 85 89 90 96 102 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 358 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 118 119 120 121 122 123 127 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 351 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 87 89 90 96 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 318 320 325 328 330 331 334 335 340 341 342 346 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 87 89 90 96 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 34 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 354 355 361 a 1 3 9 12 17 19 23 25 26 28 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 355 361 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 361 a 1 3 9 12 19 23 25 26 28 31 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 346 361 a 1 3 9 12 19 23 25 26 28 31 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 330 331 334 335 340 341 342 346 355 a 1 3 9 12 19 23 25 26 28 31 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 361 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 44 51 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 361 a 1 3 9 12 17 19 23 25 26 28 30 31 32 33 37 40 44 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 189 191 194 195 198 204 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 361 a 1 3 9 12 17 19 23 25 26 28 30 31 32 33 37 40 44 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 189 191 194 195 198 204 205 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 361 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 189 191 194 195 198 204 205 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 361 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 205 206 211 215 219 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 48 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 198 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 a 1 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 48 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 356 358 a 3 9 12 17 19 23 25 26 28 31 32 33 37 40 43 44 48 52 53 54 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 356 358 361 a 3 9 12 17 19 23 25 26 28 31 32 33 37 40 44 48 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 356 358 361 a 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 356 358 361 a 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 356 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 356 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 207 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 356 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 207 211 215 219 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 286 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 187 189 191 194 195 204 205 206 207 211 215 219 224 226 227 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 175 177 179 181 187 189 191 194 195 204 205 206 207 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 271 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 271 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 340 341 342 346 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 271 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 341 342 346 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 271 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 341 342 351 355 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 139 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 341 342 351 355 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 241 244 253 267 268 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 341 342 351 355 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 253 267 268 273 274 275 277 279 282 283 284 292 293 309 310 313 314 315 318 320 325 328 331 334 335 341 351 355 358 a 1 3 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 273 274 275 277 279 282 283 284 292 293 309 310 314 315 318 320 325 328 331 334 335 341 351 355 358 a 1 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 273 274 275 277 279 282 283 284 292 293 297 309 310 314 315 318 320 325 328 331 334 335 341 351 355 358 a 1 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 187 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 331 334 335 341 348 351 355 358 a 1 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 270 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 331 334 335 341 348 351 355 358 a 1 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 133 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 270 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 1 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 74 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 160 165 170 172 173 175 177 179 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 237 239 241 244 249 253 267 268 270 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 1 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 74 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 179 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 239 241 244 249 253 267 268 270 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 1 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 74 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 282 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 1 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 74 75 76 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 57 61 65 68 69 70 74 75 76 81 83 85 89 90 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 226 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 124 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 309 310 314 315 318 320 325 328 334 335 341 348 351 355 358 a 7 8 9 12 17 19 23 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 124 127 128 129 132 134 135 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 310 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 9 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 124 127 128 129 132 134 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 191 194 195 204 205 206 211 215 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 310 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 9 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 124 127 128 129 132 134 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 195 204 205 206 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 310 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 122 123 124 127 128 129 132 134 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 195 204 205 206 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 310 311 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 123 124 127 128 129 132 134 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 195 204 205 206 208 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 297 310 311 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 123 124 127 128 129 132 134 137 138 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 283 284 292 293 294 297 310 311 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 123 124 127 128 129 132 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 315 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 118 119 121 123 124 127 128 129 132 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 215 216 219 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 111 118 119 121 123 124 127 128 129 132 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 215 216 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 355 358 a 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 111 118 119 121 123 124 127 128 129 132 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 a 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 111 118 119 121 123 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 229 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 a 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 103 105 108 110 111 118 119 121 123 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 51 52 53 54 61 65 68 69 70 74 75 76 81 83 85 89 90 93 96 102 105 108 110 111 118 119 121 123 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 32 33 37 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 90 93 96 102 105 108 110 111 118 119 121 123 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 32 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 90 93 96 102 105 108 110 111 118 119 121 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 32 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 90 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 138 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 32 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 90 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 90 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 197 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 273 274 275 277 284 292 293 294 297 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 155 156 159 160 165 170 172 173 175 177 181 189 194 197 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 273 274 275 277 284 292 293 294 297 304 310 311 314 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 156 159 160 165 170 172 173 175 177 181 189 194 197 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 273 274 275 277 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 156 159 160 165 170 172 173 175 177 181 189 194 197 204 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 146 147 148 153 156 159 160 165 170 172 173 175 177 181 189 194 197 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 147 148 153 156 159 160 165 170 172 173 175 177 181 189 194 197 199 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 108 111 118 119 121 124 127 128 129 134 137 142 145 147 148 153 159 160 165 170 172 173 175 177 181 189 194 197 199 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 118 119 121 124 127 128 129 134 137 142 145 147 148 153 159 165 170 172 173 175 177 181 189 194 197 199 205 206 208 211 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 118 119 121 124 127 128 129 134 137 142 145 147 148 153 159 165 170 172 173 175 177 181 189 194 197 199 205 206 208 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 181 189 194 197 199 205 206 208 216 220 224 227 231 232 233 235 239 241 244 249 253 261 263 267 268 270 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 17 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 181 189 194 197 199 205 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 69 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 194 197 199 205 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 354 355 358 362 a 4 7 8 12 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 194 197 199 205 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 352 354 355 358 362 a 4 7 8 12 19 22 23 24 26 27 28 31 33 37 39 40 44 45 48 52 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 194 197 199 205 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 352 354 355 358 362 a 4 7 8 12 19 22 23 24 26 27 28 29 31 33 37 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 194 197 199 205 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 352 354 355 358 362 a 4 7 8 12 19 20 22 23 24 26 27 28 29 31 33 37 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 352 354 355 358 362 a 4 7 8 12 19 20 22 23 24 26 27 28 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 189 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 341 348 351 352 354 355 358 362 a 4 7 8 12 19 20 22 23 24 26 27 28 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 172 173 175 177 178 181 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 328 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 19 20 22 23 24 26 27 28 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 134 137 142 145 147 148 153 159 165 170 171 172 173 175 177 178 181 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 19 20 22 23 24 26 27 28 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 137 142 145 147 148 153 159 165 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 19 20 22 23 24 26 27 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 137 142 145 147 148 153 159 165 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 267 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 19 20 22 23 24 26 27 29 31 33 39 40 44 45 48 53 54 61 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 137 141 142 145 147 148 153 159 165 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 19 20 22 23 24 26 27 29 31 33 39 40 44 45 48 53 54 61 64 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 48 53 61 64 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 127 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 48 53 61 64 65 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 310 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 48 53 61 64 65 67 68 70 74 75 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 48 53 61 64 65 67 68 70 74 75 76 81 83 85 86 92 93 96 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 48 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat" User time (seconds): 546.56 System time (seconds): 4.42 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.75 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): 11443780 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 58 Minor (reclaiming a frame) page faults: 4006685 Voluntary context switches: 138697 Involuntary context switches: 1313 Swaps: 0 File system inputs: 10688 File system outputs: 784 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:54:34 2023]