#BEGIN: [Fri Sep 15 08:43:37 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance022_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance022_graph001_01.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance022_graph001.col /benchmark/random_instance/random_instance022_graph001_01.dat
s 210 189 48 80 234 192 15 30 232 81 140 109 218 248 96 226 233 102 118 254 183 82 281 117 119 172 195 283 137 176 63 257 2 256 43 125 146 147 34 12 49 104 216 84 161 242 170 179 95 50 152 65 130 219 159 201 206 211 180 202 97 61 274 143 191 77 196 21 57 11 72 225 129 153 185 229 231 163 20 262 139 230 284 134 40 280 92 32 66 149 227 29 110 131 246 10
t 131 230 74 177 172 108 47 188 42 32 261 155 247 115 274 38 215 13 119 190 256 118 10 284 129 122 18 277 249 156 220 270 6 98 266 54 113 39 232 205 2 272 200 235 196 184 282 1 64 264 239 63 127 75 26 136 263 5 43 76 36 70 145 56 245 273 242 246 279 187 130 262 66 194 84 159 40 135 150 222 92 189 243 45 206 90 139 100 140 233 191 29 48 52 185 149
a YES
a 2 10 11 12 15 20 21 29 30 32 34 40 43 48 49 50 57 61 63 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 274 280 281 283 284
a 2 10 11 12 15 21 29 30 32 34 40 43 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 274 280 281 283 284
a 2 10 12 15 21 29 30 32 34 40 43 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 274 280 281 283 284
a 2 6 10 15 21 29 30 32 34 40 43 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 274 280 281 283 284
a 2 6 10 15 29 30 32 34 40 43 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 274 280 281 283 284
a 2 6 10 15 29 32 34 40 43 45 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 274 280 281 283 284
a 2 6 10 29 32 34 40 43 45 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 274 280 281 283 284
a 2 6 10 29 32 40 43 45 48 49 50 57 61 63 64 65 66 72 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 274 280 281 283 284
a 2 6 10 29 32 40 43 45 48 50 57 61 63 64 65 66 72 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 274 280 281 283 284
a 2 6 10 29 32 40 43 45 48 57 61 63 64 65 66 72 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 246 248 254 256 257 262 264 266 273 274 280 281 283 284
a 2 6 10 29 32 40 43 45 48 61 63 64 65 66 72 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 248 254 256 257 262 264 266 273 274 280 281 283 284
a 2 6 10 29 32 40 43 45 48 63 64 65 66 72 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 248 254 256 257 262 264 266 273 274 280 281 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 72 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 248 254 256 257 262 264 266 273 274 280 281 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 74 77 80 81 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 74 77 80 82 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 104 109 110 117 118 119 125 129 130 131 134 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 109 110 117 118 119 125 129 130 131 134 136 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 108 110 117 118 119 125 129 130 131 134 136 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 108 110 117 118 119 125 129 130 131 136 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 108 113 117 118 119 125 129 130 131 136 137 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 108 113 117 118 119 125 129 130 131 136 139 140 143 145 146 147 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 77 80 84 92 95 96 97 100 102 108 113 117 118 119 125 129 130 131 136 139 140 143 145 146 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 273 274 277 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 80 84 92 95 96 97 100 102 108 113 117 118 119 125 129 130 131 136 139 140 143 145 146 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 63 64 66 70 74 80 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 136 139 140 143 145 146 149 152 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 56 63 64 66 70 74 80 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 136 139 140 143 145 146 149 153 156 159 161 163 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 38 40 43 45 48 56 63 64 66 70 74 80 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 170 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 36 38 40 43 45 48 56 63 64 66 70 74 80 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 176 179 180 183 185 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 36 38 40 43 45 48 56 63 64 66 70 74 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 176 179 180 183 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 183 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 95 96 97 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 180 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 146 149 153 156 159 161 172 179 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 264 266 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 153 156 159 161 172 179 185 188 189 191 192 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 153 156 159 161 172 179 185 188 189 190 191 195 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 153 156 159 161 172 179 184 185 188 189 190 191 196 201 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 153 156 159 161 172 179 184 185 188 189 190 191 196 202 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 52 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 153 156 159 161 172 179 184 185 188 189 190 191 196 206 210 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 48 52 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 188 189 190 191 196 206 211 216 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 92 96 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 188 189 190 191 196 206 211 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 90 92 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 188 189 190 191 196 206 211 218 219 220 222 225 226 227 229 230 231 232 233 234 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 90 92 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 188 189 190 191 196 206 211 219 220 222 225 226 227 229 230 231 232 233 234 235 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 90 92 97 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 206 211 219 220 222 225 226 227 229 230 232 233 234 235 242 243 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 90 92 98 100 102 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 206 211 219 220 222 225 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 84 90 92 98 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 206 211 215 219 220 222 225 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 125 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 206 211 215 220 222 225 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 125 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 206 211 215 220 222 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 179 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 18 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 227 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 6 10 13 18 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 234 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 5 6 10 13 18 29 32 36 38 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 235 242 243 245 246 247 248 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 143 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 235 242 243 245 246 247 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 235 242 243 245 246 247 254 256 257 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 153 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 235 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 161 172 184 185 187 188 189 190 191 196 200 206 211 215 220 222 226 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 161 172 184 185 187 188 189 190 191 196 200 205 206 215 220 222 226 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 161 172 177 184 185 187 188 189 190 191 196 200 205 206 215 220 222 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 280 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 161 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 281 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 282 283 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 229 230 232 233 235 239 242 243 245 246 247 254 256 261 262 263 264 266 270 272 273 274 277 279 282 284
a 1 2 5 6 10 13 18 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 254 256 261 262 263 264 266 270 272 273 274 277 279 282 284
a 1 2 5 6 10 13 18 26 29 32 36 38 39 40 42 43 45 47 48 52 54 56 63 64 66 70 74 75 76 84 90 92 98 100 108 113 115 118 119 122 127 129 130 131 135 136 139 140 145 149 150 155 156 159 172 177 184 185 187 188 189 190 191 194 196 200 205 206 215 220 222 230 232 233 235 239 242 243 245 246 247 249 256 261 262 263 264 266 270 272 273 274 277 279 282 284
#END: [Fri Sep 15 09:12:37 2023]