#BEGIN: [Sun Sep 10 23:02:29 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance023_graph001_01.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat
s 243 295 206 270 51 137 253 177 292 7 12 48 157 18 207 150 219 27 245 43 162 249 120 73 244 263 265 108 278 78 294 33 256 251 11 68 60 130 83 235 257 239 30 180 210 90 195 25 208 44 1 164 211 107 13 127 55 218 144 224 259 151 53 91 173 296 230 66 248 254 264 4 132 160 116 227 228 37 2 163 76 274 201 152 22 181 187 203 183 297 271 153 159 288 21 186 247
t 88 296 252 96 137 213 233 102 15 209 18 100 68 294 90 41 224 71 272 237 92 8 153 217 251 220 130 45 17 250 285 168 299 172 254 81 156 280 72 43 247 3 26 211 259 287 198 33 50 270 180 200 103 86 176 125 46 94 82 275 47 274 98 271 114 230 187 28 22 1 36 104 235 154 42 291 228 159 91 13 19 186 135 256 61 52 196 140 51 248 215 35 4 40 160 80 232
a YES
a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297
a 1 2 4 11 12 13 18 21 22 25 27 30 33 37 43 44 46 48 51 53 55 60 66 68 73 76 78 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297
a 1 2 4 11 12 13 18 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 73 76 78 83 90 91 107 108 114 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297
a 1 2 4 11 12 13 18 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 76 78 83 90 91 107 108 114 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 292 294 295 296 297
a 1 2 4 8 11 12 13 18 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 78 83 90 91 107 108 114 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 292 294 295 296 297
a 1 2 4 8 11 12 13 18 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 78 90 91 107 108 114 116 120 127 130 132 135 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 292 294 295 296 297
a 1 2 4 8 11 12 13 18 19 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 78 90 91 107 108 114 116 127 130 132 135 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 292 294 295 296 297
a 1 2 4 8 11 12 13 18 19 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 78 90 91 107 108 114 116 127 130 132 135 137 144 150 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 2 4 8 11 12 13 15 18 19 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 78 90 91 107 108 114 116 127 130 132 135 137 144 150 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 2 4 8 11 12 13 15 18 19 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 71 78 90 91 107 108 114 116 127 130 132 135 137 144 150 153 157 159 160 162 163 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 30 33 37 43 46 48 51 53 55 60 66 68 71 72 78 90 91 107 108 114 116 127 130 132 135 137 144 150 153 157 159 160 162 163 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 33 37 43 46 48 51 53 55 60 66 68 71 72 78 90 91 107 108 114 116 127 130 132 135 137 144 150 153 157 159 160 162 163 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 232 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 33 37 43 46 48 51 53 55 60 66 68 71 72 78 90 91 107 108 114 116 127 130 132 135 137 144 150 153 157 159 160 162 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 218 219 224 227 228 230 232 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 33 37 43 46 48 51 53 55 60 66 68 71 72 78 90 91 107 108 114 116 127 130 132 135 137 144 153 157 159 160 162 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 90 91 108 114 116 127 130 132 135 137 144 153 157 159 160 162 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 28 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 90 91 108 114 116 127 130 132 135 137 153 157 159 160 162 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 25 27 28 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 90 91 108 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 215 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 27 28 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 90 91 108 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 210 211 215 217 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 11 12 13 15 18 19 21 22 27 28 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 81 90 91 108 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 211 215 217 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 12 13 15 18 19 21 22 27 28 33 37 40 43 46 48 51 53 55 60 66 68 71 72 78 81 86 90 91 108 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 211 215 217 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 12 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 53 55 60 66 68 71 72 78 81 86 90 91 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 211 215 217 218 219 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 280 288 291 292 294 295 296 297
a 1 4 8 12 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 53 55 60 66 68 71 72 78 81 86 90 91 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 211 215 217 218 224 227 228 230 232 233 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 12 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 211 215 217 218 224 227 228 230 232 233 235 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 203 206 207 208 209 211 215 217 218 224 227 228 230 232 233 235 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 200 203 206 208 209 211 215 217 218 224 227 228 230 232 233 235 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 102 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 200 203 206 209 211 215 217 218 224 227 228 230 232 233 235 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 41 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 102 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 200 203 206 209 211 215 217 218 224 228 230 232 233 235 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 41 43 46 48 51 52 53 55 60 66 68 71 72 78 81 86 90 91 96 102 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 200 203 206 209 211 215 217 218 224 228 230 232 233 235 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 81 86 90 91 96 102 114 116 127 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 198 200 203 206 209 211 215 217 218 224 228 230 232 233 235 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 81 86 90 91 96 102 114 116 130 132 135 137 153 157 159 160 163 173 177 180 181 183 186 187 195 196 198 200 203 206 209 211 215 217 218 224 228 230 232 233 235 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 81 86 90 91 96 102 114 116 130 132 135 137 140 153 157 159 160 163 173 177 180 181 183 186 187 195 196 198 200 206 209 211 215 217 218 224 228 230 232 233 235 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 81 86 90 91 96 102 114 116 130 132 135 137 140 153 156 157 159 160 163 173 177 180 181 183 186 187 195 196 198 200 206 209 211 215 217 218 224 228 230 232 233 235 244 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 80 81 86 90 91 96 102 114 116 130 132 135 137 140 153 156 157 159 160 163 173 177 180 181 183 186 187 195 196 198 200 206 209 211 215 217 218 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 80 81 86 90 91 92 96 102 114 116 130 132 135 137 140 153 156 157 159 160 163 173 177 180 183 186 187 195 196 198 200 206 209 211 215 217 218 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 80 81 86 90 91 92 96 102 114 116 125 130 132 135 137 140 153 156 157 159 160 163 173 177 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 60 66 68 71 72 78 80 81 86 90 91 92 94 96 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 177 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 36 37 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 177 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 37 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 244 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 37 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 247 248 251 253 254 256 257 259 263 264 265 270 271 274 275 278 280 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 37 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 247 248 251 254 256 257 259 263 264 265 270 271 274 275 278 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 215 217 224 228 230 232 233 235 247 248 251 254 256 257 259 263 264 265 270 271 272 274 275 278 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 40 41 43 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 264 265 270 271 272 274 275 278 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 278 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 21 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 78 80 81 86 88 90 91 92 94 96 98 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 132 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 173 180 183 186 187 195 196 198 200 206 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 288 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 51 52 53 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 51 52 53 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 157 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 116 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 270 271 272 274 275 280 285 287 291 292 294 295 296 297
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 270 271 272 274 275 280 285 287 291 292 294 295 296 297 299
a 1 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 295 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 114 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 250 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 250 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 237 247 248 250 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 104 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 237 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 297 299
a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 104 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 237 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 299
#END: [Sun Sep 10 23:31:28 2023]