#BEGIN: [Mon Sep 4 12:14:41 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance028_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat c /benchmark/random_instance/random_instance028_graph005.col c /benchmark/random_instance/random_instance028_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.007 seconds s 112 351 155 213 200 2 363 238 151 231 224 256 302 303 278 334 1 196 307 358 293 323 27 236 175 308 78 243 7 198 97 116 45 149 129 335 251 75 212 14 128 177 38 55 36 11 339 63 172 142 5 287 266 277 239 205 273 102 168 105 136 44 276 315 264 237 260 346 352 89 13 220 332 240 59 289 301 50 139 274 311 261 255 132 270 245 26 138 324 269 317 154 186 19 228 167 119 65 159 176 66 322 106 169 326 145 343 10 305 48 130 291 69 364 286 279 184 56 320 t 105 65 220 58 354 210 196 338 5 251 78 71 361 92 258 125 188 104 77 267 14 199 287 69 263 284 241 242 7 30 54 225 46 181 3 201 102 290 48 50 326 17 132 352 283 107 278 198 36 134 277 39 113 62 215 343 298 234 141 261 25 79 229 319 169 140 270 231 56 279 218 144 246 126 118 254 276 315 332 139 18 10 204 317 291 138 148 150 136 310 63 182 335 35 186 175 19 214 90 273 89 325 119 286 324 303 348 59 130 133 143 16 85 174 212 47 1 330 145 a YES a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 172 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 161 167 168 169 172 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 161 167 168 169 172 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 274 276 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 172 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 276 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 172 173 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 276 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 172 173 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 233 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 276 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 173 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 233 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 276 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 173 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 233 236 237 238 239 240 243 245 246 251 255 260 261 264 266 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 173 175 176 177 184 186 195 196 198 200 205 212 213 220 224 228 231 233 236 237 238 239 240 243 245 246 251 255 260 261 264 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 173 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 251 255 260 261 264 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 173 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 266 269 270 273 276 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 364 a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 a 1 2 5 10 11 13 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 a 1 2 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 351 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 351 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 130 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 351 364 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 351 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 351 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 351 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 351 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 351 358 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 351 352 358 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 78 97 102 105 106 112 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 351 352 358 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 351 352 358 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 352 358 364 a 1 2 4 5 10 11 14 19 26 27 36 38 45 48 50 55 56 59 65 66 68 69 73 74 75 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 202 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 358 364 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 358 364 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 352 358 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 352 358 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 346 351 352 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 343 346 351 352 a 1 2 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 128 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 343 346 351 a 1 2 3 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 343 346 351 a 1 2 3 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 343 346 a 1 2 3 4 5 10 11 14 19 26 27 36 38 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 a 1 2 3 4 5 10 11 14 19 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 225 227 228 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 a 1 2 3 4 5 10 11 14 19 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 a 1 2 3 4 5 10 11 14 19 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 335 a 1 2 3 4 5 10 11 14 19 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 334 364 a 1 2 3 4 5 10 11 14 19 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 358 364 a 1 2 3 4 5 10 11 14 19 21 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 358 a 1 2 3 4 5 10 11 14 19 21 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 287 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 358 a 1 2 3 4 5 10 11 14 19 21 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 358 a 1 2 3 4 5 10 11 14 19 21 22 26 27 36 44 45 48 50 52 55 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 358 a 1 2 3 4 5 11 14 19 21 22 26 27 36 44 45 48 50 52 55 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 241 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 358 a 1 2 3 4 5 11 14 19 21 22 26 27 36 44 45 48 50 52 55 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 358 a 1 2 3 4 5 11 14 19 21 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 358 a 1 2 3 4 5 11 14 19 21 22 26 27 36 44 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 243 245 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 358 a 1 2 3 4 5 11 14 19 21 22 26 27 36 44 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 243 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 358 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 236 238 239 240 243 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 358 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 142 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 243 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 352 358 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 352 358 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 265 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 352 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 68 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 335 337 343 352 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 73 74 75 78 89 97 102 105 106 116 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 326 332 335 337 343 352 a 1 2 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 73 74 75 78 89 97 102 105 106 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 337 343 352 a 1 3 4 5 11 14 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 236 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 337 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 337 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 125 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 238 239 240 241 243 246 255 260 261 264 266 269 270 273 274 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 125 129 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 164 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 238 239 240 241 243 246 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 233 238 239 240 241 243 246 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 311 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 73 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 243 246 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 18 19 22 26 27 36 44 45 48 50 52 55 56 59 65 66 69 71 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 243 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 27 36 44 48 50 52 55 56 59 65 66 69 71 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 243 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 59 65 66 69 71 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 182 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 243 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 58 59 65 69 71 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 182 184 185 186 194 195 196 198 200 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 243 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 58 59 65 69 71 74 75 78 89 97 102 105 106 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 182 184 185 186 194 195 196 198 200 201 205 210 212 213 220 224 225 227 228 229 231 233 238 239 240 241 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 58 59 65 69 71 74 75 78 89 97 102 105 106 113 119 121 125 129 130 132 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 182 184 185 186 194 195 196 198 200 201 205 210 212 213 220 224 225 227 228 229 231 233 238 239 241 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 58 59 65 69 71 74 75 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 22 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 242 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 322 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 242 246 251 255 260 261 264 266 267 269 270 273 276 278 279 286 289 291 293 302 305 307 308 315 317 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 156 159 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 242 246 251 260 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 302 305 307 308 315 317 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 159 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 238 239 241 242 246 251 260 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 260 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 172 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 97 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 319 320 323 324 325 326 332 335 343 352 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 174 175 176 177 182 184 185 186 194 195 196 198 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 319 320 323 324 325 326 332 335 343 352 354 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 174 175 176 177 182 184 185 186 194 195 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 291 293 298 302 305 307 308 315 317 319 320 324 325 326 332 335 343 352 354 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 155 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 307 308 315 317 319 320 324 325 326 332 335 343 352 354 a 1 3 4 5 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 307 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 36 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 307 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 129 130 132 133 136 137 138 139 140 141 145 149 151 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 145 149 151 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 220 224 225 227 228 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 213 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 352 354 361 a 1 3 5 7 11 14 16 17 18 19 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 185 186 194 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 185 186 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 261 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 186 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 261 263 264 266 267 269 270 273 276 278 279 286 287 289 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 170 174 175 176 177 182 184 186 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 55 56 58 59 65 69 71 74 78 89 102 105 106 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 161 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 55 56 58 59 63 65 69 71 74 78 89 102 105 106 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 56 58 59 63 65 69 71 74 78 89 102 105 106 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 44 48 50 52 56 58 59 63 65 69 71 74 77 78 89 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 11 14 16 17 18 19 25 26 35 36 39 46 48 50 52 56 58 59 63 65 69 71 74 77 78 89 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 35 36 39 46 48 50 52 56 58 59 63 65 69 71 74 77 78 89 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 238 239 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 35 36 39 46 48 50 52 56 58 59 63 65 69 71 74 77 78 79 89 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 238 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 35 36 39 46 48 50 52 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 266 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 52 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 154 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 149 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 278 279 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 121 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 176 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 184 186 196 198 199 200 201 210 212 214 215 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 320 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 184 186 196 198 199 200 201 210 212 214 215 218 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 184 186 188 196 198 199 201 210 212 214 215 218 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 269 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 184 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 233 234 241 242 246 251 258 261 263 264 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 184 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 234 241 242 246 251 258 261 263 264 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 137 138 139 140 141 143 144 145 167 168 169 174 175 177 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 234 241 242 246 251 254 258 261 263 264 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 167 168 169 174 175 177 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 234 241 242 246 251 254 258 261 263 264 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 167 168 169 174 175 177 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 168 169 174 175 177 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 227 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 168 169 174 175 177 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 26 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 310 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 74 77 78 79 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 310 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 302 303 305 308 310 315 317 319 324 325 326 330 332 335 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 298 302 303 305 308 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 105 107 113 118 119 125 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 224 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 305 308 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 105 107 113 118 119 125 126 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 305 308 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 136 138 139 140 141 143 144 145 150 168 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 305 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 305 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat" User time (seconds): 548.97 System time (seconds): 3.22 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.42 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 7928236 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2736687 Voluntary context switches: 20568 Involuntary context switches: 1159 Swaps: 0 File system inputs: 0 File system outputs: 776 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:20:46 2023]