#BEGIN: [Mon Sep 4 12:20:48 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance031_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance031_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_instance031_graph005.col /benchmark/random_instance/random_instance031_graph005_01.dat c /benchmark/random_instance/random_instance031_graph005.col c /benchmark/random_instance/random_instance031_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.001 seconds s 362 199 299 49 258 181 185 13 330 292 70 36 3 66 235 126 334 233 130 139 352 194 107 142 177 337 55 401 214 118 172 174 105 87 193 24 25 6 188 263 350 63 116 111 165 57 381 92 369 141 305 252 191 113 77 136 244 20 76 59 402 385 373 104 354 10 326 234 151 226 281 313 128 131 336 248 166 307 67 282 2 341 182 96 256 318 137 264 170 273 209 33 274 110 217 91 164 272 393 68 30 353 80 268 370 53 302 45 403 187 387 232 347 5 400 119 184 325 26 144 127 306 190 153 304 173 251 99 56 t 274 16 178 67 56 142 52 197 234 133 149 148 382 307 172 332 143 144 37 399 203 183 123 272 354 385 24 76 126 327 356 117 219 366 194 286 79 156 187 322 377 171 335 29 316 73 134 44 121 83 321 21 15 101 34 200 4 81 224 27 264 237 25 214 55 345 227 340 247 20 402 269 387 184 180 32 331 384 115 268 361 113 306 88 61 60 63 397 33 325 305 131 174 1 35 389 248 82 114 337 253 110 230 318 42 313 365 369 175 258 213 302 233 223 290 241 295 259 222 255 201 367 120 22 364 54 64 30 243 a YES a 2 3 5 6 10 13 20 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 164 165 166 170 172 173 174 177 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 281 282 292 299 302 304 305 306 307 313 318 325 326 330 334 336 337 341 347 350 352 353 354 362 369 370 373 381 385 387 393 400 401 402 403 a 2 3 5 6 10 13 20 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 177 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 281 282 292 299 302 304 305 306 307 313 318 325 326 330 334 336 337 341 347 350 352 353 354 362 369 370 381 385 387 393 400 401 402 403 a 2 3 5 6 10 13 20 22 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 177 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 337 341 347 350 352 353 354 362 369 370 381 385 387 393 400 401 402 403 a 2 3 5 6 9 10 13 20 22 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 337 341 347 350 352 353 354 362 369 370 381 385 387 393 400 401 402 403 a 2 3 5 6 9 10 13 20 22 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 337 341 347 350 352 353 362 369 370 381 385 387 393 400 401 402 403 a 2 3 5 6 9 10 13 20 22 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 362 369 370 381 385 387 393 396 400 401 402 403 a 2 3 5 6 9 10 20 22 24 25 26 30 33 36 45 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 362 369 370 381 385 387 393 396 400 401 402 403 a 2 3 5 6 9 10 20 22 24 25 26 30 33 36 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 362 369 370 381 385 387 393 396 400 401 402 403 a 2 3 5 6 9 10 20 22 24 25 26 30 33 36 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 174 181 182 184 185 187 188 190 191 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 55 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 347 350 352 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 131 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 344 347 350 352 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 304 305 306 307 313 318 325 326 334 336 341 344 347 350 352 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 92 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 325 326 334 336 341 344 347 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 226 232 233 234 235 244 248 251 252 256 258 263 264 268 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 325 326 334 336 341 344 347 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 325 326 334 336 341 344 347 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 322 325 326 336 341 344 347 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 25 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 230 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 322 325 326 336 341 344 347 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 230 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 292 299 302 303 304 305 306 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 87 91 96 99 104 105 107 110 111 113 116 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 9 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 196 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 367 369 370 381 385 387 388 393 396 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 63 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 196 199 209 214 217 220 226 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 369 370 381 385 387 388 393 396 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 126 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 196 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 369 370 381 385 387 388 393 396 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 87 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 196 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 369 370 381 385 387 388 393 396 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 196 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 369 370 381 385 387 388 393 396 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 199 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 344 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 133 136 137 139 140 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 344 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 344 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 128 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 177 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 170 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 127 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 366 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 151 153 159 160 164 165 166 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 347 348 350 353 366 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 170 172 173 177 178 181 182 184 185 187 188 190 191 192 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 170 172 173 174 177 178 181 182 184 185 187 188 190 191 193 194 199 208 209 214 217 220 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 385 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 170 172 173 174 177 178 181 182 184 185 187 188 190 191 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 61 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 170 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 280 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 387 388 393 396 400 401 402 403 a 2 3 5 6 10 15 20 24 26 30 33 36 47 49 53 55 56 57 59 61 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 153 159 160 164 165 166 170 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 387 388 393 396 397 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 61 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 170 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 387 388 393 396 397 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 61 66 67 68 70 76 77 80 84 91 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 369 370 381 385 387 388 393 396 397 400 401 402 403 a 2 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 61 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 396 397 400 401 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 396 397 400 401 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 208 209 214 217 220 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 397 400 401 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 397 400 401 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 341 347 348 350 353 366 369 370 381 385 387 388 393 397 400 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 185 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 369 370 381 385 387 388 393 397 400 402 403 a 3 5 6 10 15 20 22 24 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 282 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 369 370 381 382 385 387 388 393 397 400 402 403 a 3 5 6 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 283 287 292 299 302 303 304 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 369 370 381 382 385 387 388 393 397 400 402 403 a 3 5 6 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 369 370 377 381 382 385 387 388 393 397 400 402 403 a 3 5 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 281 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 370 377 381 382 385 387 388 393 397 400 402 403 a 3 5 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 99 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 370 377 381 382 385 387 388 393 397 400 402 403 a 3 5 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 193 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 272 273 274 275 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 370 377 381 382 385 387 388 393 397 399 400 402 403 a 3 5 10 15 20 22 24 25 26 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 104 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 370 377 381 382 385 387 388 393 397 399 400 402 403 a 3 5 10 15 20 22 24 25 26 29 30 33 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 370 377 381 382 385 387 388 393 397 399 400 402 403 a 3 5 10 15 20 22 24 25 26 29 30 33 35 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 283 287 292 299 302 303 305 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 3 5 10 15 20 22 24 25 26 29 30 33 35 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 347 350 353 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 3 5 10 15 20 22 24 25 26 29 30 33 35 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 364 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 36 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 356 364 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 84 96 105 107 110 111 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 356 364 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 84 96 105 107 110 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 275 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 84 96 105 107 110 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 244 248 251 252 256 258 263 264 267 268 272 273 274 287 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 84 96 105 107 110 113 118 119 120 130 131 133 136 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 130 131 133 137 139 141 142 144 148 159 160 164 165 166 172 173 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 47 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 130 131 133 137 139 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 126 130 131 133 137 139 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 190 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 126 130 131 133 137 139 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 220 223 224 226 232 233 234 235 241 244 248 251 252 256 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 84 96 105 107 110 113 118 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 232 233 234 235 241 244 248 251 252 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 403 a 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 107 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 232 233 234 235 241 244 248 251 252 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 403 a 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 107 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 232 233 234 235 241 244 248 251 252 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 107 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 232 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 57 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 107 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 107 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 59 60 61 63 66 67 68 70 76 77 79 80 81 82 84 96 105 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 10 15 20 22 24 25 26 29 30 33 35 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 105 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 165 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 10 15 20 22 24 25 26 29 30 33 35 42 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 105 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 20 22 24 25 26 29 30 33 35 42 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 101 105 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 263 264 267 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 20 22 24 25 26 29 30 33 35 42 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 101 105 110 113 119 120 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 259 263 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 20 22 24 25 26 29 30 33 35 42 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 101 105 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 241 244 248 251 253 258 259 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 20 22 24 25 26 29 30 33 35 42 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 188 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 20 22 24 25 26 29 30 33 35 42 44 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 84 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 393 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 350 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 59 60 61 63 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 244 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 160 164 166 172 174 177 178 181 182 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 164 166 172 174 177 178 181 182 183 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 388 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 119 120 121 126 130 131 133 137 141 142 144 148 159 164 166 172 174 177 178 180 181 182 183 184 187 194 197 199 209 214 217 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 117 119 120 121 126 130 131 133 137 141 142 144 148 159 164 166 172 174 177 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 137 141 142 144 148 159 164 166 172 174 177 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 70 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 137 141 142 144 148 159 164 166 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 68 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 144 148 159 164 166 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 144 148 159 164 166 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 144 148 159 164 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 299 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 49 53 54 55 56 60 61 63 64 66 67 76 79 80 81 82 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 143 144 148 159 164 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 53 54 55 56 60 61 63 64 66 67 76 79 80 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 143 144 148 159 164 172 174 178 180 181 182 183 184 187 194 197 199 209 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 53 54 55 56 60 61 63 64 66 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 141 142 143 144 148 159 164 172 174 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 66 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 172 174 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 226 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 66 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 381 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 66 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 258 259 264 268 269 272 273 274 286 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 336 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 326 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 181 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 5 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 119 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 126 131 133 134 137 142 143 144 148 159 164 171 172 174 175 178 180 182 183 184 187 194 197 199 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 126 131 133 134 137 142 143 144 148 164 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 137 142 143 144 148 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 341 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 29 30 32 33 34 35 42 44 52 53 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 235 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 237 241 247 248 251 253 255 258 259 264 268 269 272 273 274 286 290 292 295 302 303 305 306 307 313 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 237 241 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 303 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 223 224 230 233 234 237 241 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 400 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 209 213 214 219 220 222 223 224 230 233 234 237 241 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 156 171 172 174 175 178 180 182 183 184 187 194 197 199 200 213 214 219 220 222 223 224 230 233 234 237 241 243 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 199 200 213 214 219 220 222 223 224 230 233 234 237 241 243 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 199 200 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 251 253 255 258 259 264 268 269 272 274 286 290 292 295 302 305 306 307 313 316 318 321 322 325 331 332 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 251 253 255 258 259 264 268 269 272 274 286 290 295 302 305 306 307 313 316 318 321 322 325 327 331 332 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 73 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 253 255 258 259 264 268 269 272 274 286 290 295 302 305 306 307 313 316 318 321 322 325 327 331 332 335 337 340 345 353 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 42 44 52 54 55 56 60 61 63 64 67 73 76 79 81 82 83 88 96 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 203 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 253 255 258 259 264 268 269 272 274 286 290 295 302 305 306 307 313 316 318 321 322 325 327 331 332 335 337 340 345 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 26 27 29 30 32 33 34 35 37 42 44 52 54 55 56 60 61 63 64 67 73 76 79 81 82 83 88 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 203 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 253 255 258 259 264 268 269 272 274 286 290 295 302 305 306 307 313 316 318 321 322 325 327 331 332 335 337 340 345 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 a 1 4 15 16 20 21 22 24 25 27 29 30 32 33 34 35 37 42 44 52 54 55 56 60 61 63 64 67 73 76 79 81 82 83 88 101 110 113 114 115 117 120 121 123 126 131 133 134 142 143 144 148 149 156 171 172 174 175 178 180 183 184 187 194 197 200 201 203 213 214 219 222 223 224 227 230 233 234 237 241 243 247 248 253 255 258 259 264 268 269 272 274 286 290 295 302 305 306 307 313 316 318 321 322 325 327 331 332 335 337 340 345 354 356 361 364 365 366 367 369 377 382 384 385 387 389 397 399 402 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance031_graph005.col /benchmark/random_instance/random_instance031_graph005_01.dat" User time (seconds): 554.91 System time (seconds): 5.86 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.98 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 11709972 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 3884501 Voluntary context switches: 253010 Involuntary context switches: 1584 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:26:56 2023]