#BEGIN: [Sun Sep 10 23:00:56 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance022_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance022_graph002_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_instance022_graph002.col /benchmark/random_instance/random_instance022_graph002_01.dat s 22 65 135 127 206 74 208 111 129 132 260 153 125 258 15 62 86 263 251 104 45 248 215 99 1 213 98 91 122 164 241 120 7 203 116 107 282 23 81 70 94 199 136 27 194 204 133 210 67 14 4 276 114 235 103 24 117 238 83 137 147 167 56 19 50 13 84 254 166 9 96 53 71 38 198 5 224 35 6 226 170 17 141 220 109 20 221 118 80 95 102 59 242 227 149 t 97 58 159 188 175 280 194 279 36 122 65 115 18 205 86 80 53 104 211 141 261 283 197 251 174 170 121 19 153 257 9 137 118 114 212 271 209 227 148 68 270 258 230 239 55 203 226 92 169 3 215 147 219 24 273 210 116 241 103 178 236 111 54 4 161 128 130 51 136 91 176 250 67 49 117 93 95 142 158 106 75 242 149 132 42 14 81 195 90 185 221 39 160 101 268 a YES a 1 4 5 6 7 9 13 14 15 17 19 20 22 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 164 166 167 170 194 198 199 203 204 206 208 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 276 282 a 1 4 5 6 9 13 14 15 17 19 20 22 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 276 282 a 1 4 5 6 9 14 15 17 19 20 22 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 276 282 a 1 4 5 6 9 14 15 17 19 22 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 282 a 1 4 5 6 9 14 15 17 19 23 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 282 a 1 4 5 6 9 14 15 17 19 24 27 35 38 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 1 4 5 6 9 14 15 17 19 24 27 35 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 92 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 4 5 6 9 14 15 17 19 24 27 35 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 92 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 4 5 6 9 14 15 19 24 27 35 45 50 53 56 59 62 65 67 70 71 74 80 81 83 84 86 91 92 93 94 95 96 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 4 5 6 9 14 15 19 24 27 35 45 50 53 56 59 62 65 67 71 74 80 81 83 84 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 4 5 6 9 14 15 19 24 27 35 45 50 53 56 59 62 65 67 71 74 80 81 84 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 185 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 271 276 279 282 a 4 5 9 14 15 19 24 27 35 45 50 53 56 59 62 65 67 71 74 80 81 84 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 185 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 5 9 14 15 19 24 27 35 50 53 56 59 62 65 67 71 74 80 81 84 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 185 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 5 9 14 15 19 24 27 35 50 53 56 62 65 67 71 74 80 81 84 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 5 9 14 15 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 15 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 96 97 98 99 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 97 98 99 101 102 103 104 106 107 109 111 114 116 117 118 120 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 120 121 122 125 127 128 129 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 27 35 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 125 127 128 129 130 132 133 135 136 137 141 147 149 153 159 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 35 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 125 127 128 129 130 132 133 135 136 137 141 147 149 153 159 160 164 166 167 170 176 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 50 53 56 58 62 65 67 71 74 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 125 127 128 129 130 132 133 135 136 137 141 147 149 153 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 50 53 56 58 62 65 67 74 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 125 127 128 129 130 132 133 135 136 137 141 147 149 153 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 50 53 56 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 125 127 128 129 130 132 133 135 136 137 141 147 149 153 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 250 251 254 258 260 263 270 271 276 279 282 a 4 9 14 19 24 50 53 56 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 127 128 129 130 132 133 135 136 137 141 147 149 153 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 50 53 56 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 128 129 130 132 133 135 136 137 141 147 149 153 158 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 53 56 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 128 129 130 132 133 135 136 137 141 142 147 149 153 158 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 53 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 102 103 104 106 107 109 111 114 116 117 118 121 122 128 129 130 132 133 135 136 137 141 142 147 149 153 158 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 51 53 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 107 109 111 114 116 117 118 121 122 128 129 130 132 133 135 136 137 141 142 147 149 153 158 159 160 164 166 167 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 51 53 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 129 130 132 133 135 136 137 141 142 147 149 153 158 159 160 164 166 167 169 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 133 135 136 137 141 142 147 149 153 158 159 160 164 166 167 169 170 176 178 185 194 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 164 166 167 169 170 176 178 185 194 195 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 55 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 166 167 169 170 176 178 185 194 195 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 55 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 167 169 170 176 178 185 194 195 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 236 238 239 241 242 248 250 251 254 258 260 263 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 55 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 194 195 197 198 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 236 238 239 241 242 248 250 251 254 258 260 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 54 55 58 62 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 194 195 197 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 235 236 238 239 241 242 248 250 251 254 258 260 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 194 195 197 199 203 204 205 206 208 209 210 213 215 220 221 224 226 227 230 235 236 238 239 241 242 248 250 251 254 258 260 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 94 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 194 195 197 199 203 205 206 208 209 210 212 213 215 220 221 224 226 227 230 235 236 238 239 241 242 248 250 251 254 258 260 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 194 195 197 199 203 205 206 208 209 210 212 213 215 220 221 224 226 227 230 235 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 98 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 188 194 195 197 199 203 205 208 209 210 212 213 215 220 221 224 226 227 230 235 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 169 170 176 178 185 188 194 195 197 199 203 205 208 209 210 212 213 215 220 221 224 226 227 230 235 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 109 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 161 169 170 176 178 185 188 194 195 197 199 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 135 136 137 141 142 147 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 199 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 a 4 9 14 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 199 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 283 a 4 9 14 18 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 238 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 283 a 4 9 14 18 19 24 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 239 241 242 248 250 251 254 258 260 261 263 268 270 271 273 276 279 282 283 a 4 9 14 18 19 24 36 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 239 241 242 250 251 254 258 260 261 263 268 270 271 273 276 279 282 283 a 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 208 209 210 212 213 215 220 221 224 226 227 230 236 239 241 242 250 251 254 258 261 263 268 270 271 273 276 279 282 283 a 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 212 213 215 220 221 224 226 227 230 236 239 241 242 250 251 254 258 261 263 268 270 271 273 276 279 282 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 212 213 215 220 221 224 226 227 230 236 239 241 242 250 251 254 258 261 268 270 271 273 276 279 282 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 212 215 220 221 224 226 227 230 236 239 241 242 250 251 254 257 258 261 268 270 271 273 276 279 282 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 212 215 220 221 226 227 230 236 239 241 242 250 251 254 257 258 261 268 270 271 273 276 279 282 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 211 212 215 220 221 226 227 230 236 239 241 242 250 251 254 257 258 261 268 270 271 273 279 282 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 211 212 215 220 221 226 227 230 236 239 241 242 250 251 254 257 258 261 268 270 271 273 279 280 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 176 178 185 188 194 195 197 203 205 209 210 211 212 215 219 221 226 227 230 236 239 241 242 250 251 254 257 258 261 268 270 271 273 279 280 283 a 3 4 9 14 18 19 24 36 39 42 49 51 53 54 55 58 65 67 68 75 80 81 86 90 91 92 93 95 97 101 103 104 106 111 114 115 116 117 118 121 122 128 130 132 136 137 141 142 147 148 149 153 158 159 160 161 169 170 174 175 176 178 185 188 194 195 197 203 205 209 210 211 212 215 219 221 226 227 230 236 239 241 242 250 251 257 258 261 268 270 271 273 279 280 283 #END: [Sun Sep 10 23:29:56 2023]