#BEGIN: [Tue Sep 26 00:59:58 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #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 /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! 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 72 73 83 85 89 90 92 96 102 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 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 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 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 121 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 309 313 314 318 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 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 121 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 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 92 96 102 103 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 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 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 92 96 102 103 108 110 113 118 119 120 121 122 123 127 132 133 134 135 137 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 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 92 96 102 103 108 110 118 119 120 121 122 123 127 132 133 134 135 137 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 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 92 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 6 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 364 a 1 3 6 8 9 12 17 19 23 24 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 317 320 325 328 335 340 341 342 346 351 354 355 358 361 364 a 1 3 6 8 9 12 17 19 23 24 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 318 320 325 328 335 340 341 342 346 351 354 355 358 361 364 a 1 3 6 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 309 313 314 318 320 325 328 335 340 341 342 346 351 354 355 358 361 364 a 1 3 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 121 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 320 325 328 335 340 341 342 346 351 354 355 358 361 364 a 1 3 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 72 73 75 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 240 241 244 247 253 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 364 a 1 3 9 12 17 19 23 24 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 75 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 364 a 1 3 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 75 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 364 a 1 3 9 12 17 19 23 25 26 28 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 75 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 31 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 31 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 8 9 12 17 19 23 26 28 31 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 8 9 12 17 19 23 26 28 31 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 8 9 12 17 19 23 26 28 31 33 37 40 41 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 364 a 1 3 8 9 12 17 19 23 26 28 31 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 364 a 1 3 8 9 12 17 19 23 26 27 28 31 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 129 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 247 253 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 346 351 354 355 358 361 364 a 1 3 8 9 12 17 19 23 26 27 28 31 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 128 129 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 240 241 244 253 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 346 351 354 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 27 28 31 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 118 119 120 122 123 127 128 129 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 253 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 346 351 354 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 27 28 31 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 253 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 346 351 354 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 41 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 253 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 346 351 354 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 241 244 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 346 351 354 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 239 241 244 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 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 239 241 244 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 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 198 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 179 185 187 189 191 194 195 197 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 346 351 355 358 361 364 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 346 351 355 358 361 a 1 3 7 8 12 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 346 351 355 356 358 361 a 1 3 7 8 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 204 206 207 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 356 358 361 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 204 206 207 211 215 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 356 358 361 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 138 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 211 215 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 358 361 a 1 3 7 8 9 12 17 19 23 26 27 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 346 351 355 358 361 a 1 3 7 8 9 12 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 346 351 355 358 361 a 1 3 7 8 9 12 15 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 355 358 361 a 1 3 7 8 9 12 15 17 19 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 222 224 226 229 232 233 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 355 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 45 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 222 224 226 229 232 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 355 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 215 222 224 226 229 232 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 355 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 222 224 226 229 232 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 355 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 222 224 226 229 232 235 237 239 241 244 253 267 268 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 222 224 226 229 232 235 237 239 241 244 253 267 271 273 274 275 276 277 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 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 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 139 145 146 147 148 153 156 160 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 134 135 137 139 145 146 147 148 153 156 160 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 49 51 52 53 54 65 68 69 70 73 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 49 51 52 53 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 314 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 49 51 52 53 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 314 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 49 51 52 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 49 51 52 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 135 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 229 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 78 83 85 89 90 92 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 211 222 224 226 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 68 69 70 73 78 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 127 128 132 133 134 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 73 78 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 15 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 73 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 73 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 244 253 256 267 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 334 335 340 341 351 354 355 357 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 244 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 309 313 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 146 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 51 52 53 54 65 67 68 69 70 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 65 67 68 69 70 83 85 89 90 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 65 67 68 69 70 83 85 89 92 93 96 102 103 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 166 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 361 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 168 169 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 256 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 168 169 170 172 173 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 318 319 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 145 147 148 153 156 160 165 168 169 170 172 173 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 318 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 147 148 153 156 160 165 168 169 170 172 173 175 177 179 185 187 189 191 194 195 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 147 148 153 156 160 165 168 169 170 172 173 175 177 179 185 187 189 191 194 197 198 199 204 206 211 222 224 226 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 147 148 153 156 160 165 168 169 170 172 173 175 177 179 181 185 187 189 191 194 197 198 199 204 206 211 224 226 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 a 1 3 7 8 9 12 17 19 20 23 24 26 28 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 147 148 153 156 160 165 168 169 170 172 173 175 177 179 181 185 187 189 191 194 197 198 199 204 206 211 224 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 120 121 122 123 128 132 133 134 137 139 147 148 153 156 160 165 168 169 170 172 173 175 177 179 181 187 189 191 194 197 198 199 204 206 211 224 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 121 122 123 128 132 133 134 137 139 147 148 153 156 159 160 165 168 169 170 172 173 175 177 179 181 187 189 191 194 197 198 199 204 206 211 224 232 235 237 239 241 244 249 253 267 268 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 103 105 108 110 111 113 118 119 121 122 123 128 132 133 134 137 139 147 148 153 156 159 160 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 211 224 232 235 237 239 241 244 249 253 267 268 270 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 108 110 111 113 118 119 121 122 123 128 132 133 134 137 139 147 148 153 156 159 160 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 211 224 232 235 237 239 241 244 249 253 267 268 270 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 108 110 111 113 118 119 121 123 128 132 133 134 137 139 147 148 153 156 159 160 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 128 132 133 134 137 139 147 148 153 156 159 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 273 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 128 132 133 134 137 139 147 148 153 156 159 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 328 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 128 132 133 134 137 139 147 148 153 156 159 165 168 169 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 272 274 275 276 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 272 274 275 276 277 279 282 284 286 292 293 294 304 309 314 315 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 272 274 275 276 277 279 282 284 292 293 294 304 309 314 315 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 54 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 267 268 270 271 272 274 275 276 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 254 267 268 270 271 272 274 275 276 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 237 239 241 244 249 253 254 267 268 270 271 272 274 275 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 147 148 153 156 159 165 168 170 172 173 175 177 179 181 189 191 194 197 198 199 204 206 208 211 224 232 235 239 241 244 249 253 254 267 268 270 271 272 274 275 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 3 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 189 191 194 197 198 199 204 206 208 211 224 232 235 239 241 244 249 253 254 267 268 270 271 272 274 275 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 134 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 189 191 194 197 198 199 204 206 208 211 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 191 194 197 198 199 204 206 208 211 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 1 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 191 194 197 198 199 206 208 211 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 81 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 191 194 197 198 199 206 208 211 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 309 314 316 318 320 325 333 334 335 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 81 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 191 194 197 198 199 206 208 211 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 43 44 45 52 53 61 65 67 68 69 70 76 81 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 44 45 52 53 61 65 67 68 69 70 76 81 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 133 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 227 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 102 105 106 108 110 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 227 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 282 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 227 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 282 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 19 20 23 24 26 27 28 31 33 37 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 102 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 194 197 198 199 206 208 211 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 172 173 175 177 181 186 189 190 194 197 198 199 206 208 211 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 171 172 173 175 177 181 186 189 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 156 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 267 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 31 33 40 44 45 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 271 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 31 33 40 44 45 46 52 53 61 65 67 68 69 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 31 33 40 44 45 46 52 53 61 65 67 68 70 74 76 81 83 85 86 89 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 31 33 40 44 45 46 52 53 61 65 67 68 70 74 76 81 83 85 86 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 29 31 33 40 44 45 46 53 61 65 67 68 70 74 76 81 83 85 86 92 93 96 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 29 31 33 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 123 124 128 132 137 139 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 198 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 17 18 19 20 22 23 24 26 27 28 29 31 33 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 123 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 18 19 20 22 23 24 26 27 28 29 31 33 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 123 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 18 19 20 22 23 24 26 27 28 29 31 33 39 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 351 354 355 358 362 a 4 7 8 9 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 341 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 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 165 168 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 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 65 67 68 70 74 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 165 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 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 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 132 137 139 141 142 147 148 151 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 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 132 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 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 279 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 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 132 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 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: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat" User time (seconds): 63.48 System time (seconds): 0.13 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.62 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): 274804 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 99212 Voluntary context switches: 20 Involuntary context switches: 132 Swaps: 0 File system inputs: 0 File system outputs: 768 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:01:01 2023]