Tarski/Numbers

:
In Tarski, a natural number 'n' is represented as a program which takes the top element of the stack, and replaces it by n concatenated copies of itself. This is related to the idea of Church numerals. The numbers 0-1024 can be written in the following short forms, based on Underload.
 0 ?[]
 1 [empty]?
 2 !*
 3 !!**
 4 !*!*
 5 !!*!**
 6 !!**!*
 7 !!*!!***
 8 !*!*!*
 9 !!*!*!**
 10 !!*!**!*
 11 !!*!!*!***
 12 !!**!*!*
 13 !!*!!**!**
 14 !!*!!***!*
 15 !!*!**!!**
 16 !*!*!*!*
 17 !!*!*!*!**
 18 !!*!*!**!*
 19 !!*!!*!*!***
 20 !!*!**!*!*
 21 !!*!!*!**!**
 22 !!*!!*!***!*
 23 !!!!*!**!**!**
 24 !!**!*!*!*
 25 [!!*!**]!*`
 26 !!*!!**!**!*
 27 [!!**]!``
 28 ![!!**]!``*
 29 !![!!**]!``**
 30 !!*!**!!**!*
 31 !!*!!*!**!!***
 32 !*!*!*!*!*
 33 !!*!*!*!*!**
 34 !!*!*!*!**!*
 35 !!*!!*!*!*!***
 36 [!!**!*]!*`
 37 ![!!**!*]!*`*
 38 !!*!!*!*!***!*
 39 !!*!!**!**!!**
 40 !!*!**!*!*!*
 41 !!*!!*!**!*!**
 42 !!*!!*!**!**!*
 43 !![!!**!**]!*`
 44 !!*!!*!***!*!*
 45 ![!**!!*]!*`*
 46 [!*!]!`*`****
 47 ![!*!]!`*`*****
 48 !!**!*!*!*!*
 49 [!!!**!**]!*`
 50 [!!*!**]!*`!*
 51 !!*!*!*!**!!**
 52 !!*!!**!**!*!*
 53 !!!!**!*!**!*!**
 54 [!!**]!``!*
 55 ![!!**]!``!**
 56 ![!!**]!``*!*
 57 [!!**!!*]!*`**
 58 !![!!**]!``**!*
 59 !!![!!**]!``**!**
 60 !!*!**!!**!*!*
 61 !!*!!*!**!!**!**
 62 [!*!]!`*`!*****
 63 !!*!!*!**!**!!**
 64 [!*]!!**!*`
 65 ![!*]!!**!*`*
 66 !!*!*!*!*!**!*
 67 !!*!!*!*!*!*!***
 68 !!*!*!*!**!*!*
 69 !!*!!*!*!*!**!**
 70 !!*!!*!*!*!***!*
 71 !!!!**!**!!*!**!**
 72 [!!**!*]!*`!*
 73 [!!*!*!*]!*`**
 74 ![!!**!*]!*`*!*
 75 ![!**!!*]!*`!**
 76 !!*!!*!*!***!*!*
 77 !!!*!**!**!!!**!**
 78 [!!**!*!]!*`**
 79 ![!!**!*!]!*`***
 80 !!*!**!*!*!*!*
 81 [!!**]!*!*`
 82 ![!!**]!*!*`*
 83 !![!!**]!*!*`**
 84 ![!!**]!``*!!**
 85 !!![!*!**]!!**`
 86 [!*!]!`*`**!***
 87 ![!*!]!`*`**!****
 88 !!*!!*!***!*!*!*
 89 !!!!*!**!**!*!*!**
 90 ![!**!!*]!*`*!*
 91 ![!*!]!`*`***!***
 92 [!*!]!`*`****!*
 93 [!!**!!*]!*`!***
 94 ![!*!]!`*`*****!*
 95 [!!*]!`!**`!******
 96 !!**!*!*!*!*!*
 97 !!!**!*!*!*!*!**
 98 [!!!**!**]!*`!*
 99 !!*!*!*!*!**!!**
 100 [!!*!**!*]!*`
 101 ![!!*!**!*]!*`*
 102 !!*!*!*!**!!**!*
 103 !!*!!*!*!*!**!!***
 104 !!*!!**!**!*!*!*
 105 ![!**!!*]!*`!!***
 106 !!![!**!*]!!**`
 107 !!!![!**!*]!!**`*
 108 [!!**]!``!*!*
 109 ![!!**]!``!*!**
 110 ![!!**]!``!**!*
 111 [!!**!!*]!*`*!**
 112 ![!!**]!``*!*!*
 113 !![!!**]!``*!*!**
 114 [!!**!!*]!*`**!*
 115 ![!!**!*!]!*`!****
 116 !![!!**]!``**!*!*
 117 !!!**!*!**!!**!!**
 118 [!*!]!`*`!***!***
 119 [!!*]!`!**`**!****
 120 !!*!**!!**!*!*!*
 121 [!!!*!**!**]!*`
 122 [!*!]!`*`!****!**
 123 [!!*]!`!**`***!***
 124 [!*!]!`*`!*****!*
 125 [!!*!**]!!**`
 126 ![!!*!**]!!**`*
 127 !![!!*!**]!!**`**
 128 [!*]!!*!!***`
 129 ![!*]!!**!*`!**
 130 ![!*]!!**!*`*!*
 131 !!*![!*]!!**!*`**
 132 !!*!*!*!*!**!*!*
 133 !!*!!*!*!*!*!**!**
 134 [!*!]!`*`***!!***
 135 !!*!**[!!**]!``
 136 [!*!*!*!]!*`**
 137 [!!*!*!*]!*`!***
 138 [!*!]!`*`****!!**
 139 ![!*!]!`*`****!!***
 140 ![!!**]!``*!!*!**
 141 ![!*!]!`*`*****!!**
 142 [!*!]!`*`*!*!****
 143 ![!*!]!`*`*!*!*****
 144 [!!**!*!*]!*`
 145 ![!!**!*!*]!*`*
 146 [!!*!*!*]!*`**!*
 147 [!!!**!**]!*`!!**
 148 !!![*!*!*]!!**`
 149 !!!![*!*!*]!!**`*
 150 [!!**!*!]!*`*!**
 151 ![!!**!*!]!*`*!***
 152 !!*!!*!*!***!*!*!*
 153 !!*!*!*!**!!**!!**
 154 [!*!]!`*`*!***!**
 155 !![]!!![*!!*!**]!``
 156 [!!**!*!]!*`**!*
 157 !![!!**!*!**]!*`
 158 ![!!**!*!]!*`***!*
 159 [!!*]!`!**`!*!******
 160 !!*!**!*!*!*!*!*
 161 !!!*!**!*!*!*!*!**
 162 [!!**]!*!*`!*
 163 ![!!**]!*!*`!**
 164 ![!!**]!*!*`*!*
 165 !![!!**]!*!*`*!**
 166 !![!!**]!*!*`**!*
 167 ![!*!]!`*`**!*!****
 168 ![!!**]!``*!!**!*
 169 [!!!**!*!**]!*`
 170 !![!!**!**!*]!*`
 171 !![*!!**!!**]!*`
 172 [!*!]!`*`**!***!*
 173 ![!*!]!`*`**!***!**
 174 ![!*!]!`*`**!****!*
 175 [!!*!**]!*`!!!**!**
 176 !!*!!*!***!*!*!*!*
 177 !!!!*!**!**!*!*!*!**
 178 [!*!]!`*`***!*!**
 179 ![!*!]!`*`***!*!***
 180 ![!**!!*]!*`*!*!*
 181 ![!*!]!`*`***!**!**
 182 ![!*!]!`*`***!***!*
 183 !![!*!**!!**]!*`
 184 [!*!]!`*`****!*!*
 185 ![!!**!*]!*`*!!*!**
 186 [!!**!!*]!*`!***!*
 187 [!!*]!`!**`!****!***
 188 ![!*!]!`*`*****!*!*
 189 [!!**]!``!!!**!**
 190 [!*!]!`!**`******
 191 ![!*!]!`!**`*******
 192 [!*]!!**!*`!!**
 193 ![!*]!!**!*`!!***
 194 !!!**!*!*!*!*!**!*
 195 ![!*]!!**!*`*!!**
 196 [!!!**!**!*]!*`
 197 ![!!!**!**!*]!*`*
 198 !!*!*!*!*!**!!**!*
 199 !!*!!*!*!*!*!**!!***
 200 [!!*!**!*]!*`!*
 201 !!!![*!!**]!*!*`
 202 ![!!*!**!*]!*`*!*
 203 !![!!*!**!*]!*`*!**
 204 !!*!*!*!**!!**!*!*
 205 !!*!!*!*!*!**!!**!**
 206 [!*!]!`*`*!*!!*****
 207 !!!*!*!*!**!*!**!!**
 208 !!*!!**!**!*!*!*!*
 209 !!!!**!*!**!*!*!*!**
 210 ![!**!!*]!*`!!***!*
 211 !!!!*[*!**!!]!*`**!**
 212 !!![!**!*]!!**`!*
 213 !!!![!**!*]!!**`!**
 214 !!!![!**!*]!!**`*!*
 215 !![!!**!**]!*`!!*!**
 216 [!!**!*]!!**`
 217 ![!!**!*]!!**`*
 218 ![!!**]!``!*!**!*
 219 [!!**!!*]!*`*!*!**
 220 ![!!**]!``!**!*!*
 221 !![!!**]!``!**!*!**
 222 !![!**!*!!**]!*`
 223 !!![!**!*!!**]!*`*
 224 ![!!**]!``*!*!*!*
 225 [!!*!**!!**]!*`
 226 ![!!*!**!!**]!*`*
 227 !![!!*!**!!**]!*`**
 228 [!!**!!*]!*`**!*!*
 229 ![!!**!*!]!*`!***!**
 230 [!*!]!`*`!***!*!***
 231 [!!*]!`!**`**!*!****
 232 !![!!**]!``**!*!*!*
 233 !!![!!**]!``**!*!*!**
 234 [!!**!*!]!*`**!!**
 235 [!!*]!`!**`**!**!***
 236 [!*!]!`*`!***!***!*
 237 [!!*]!`!**`**!***!**
 238 [!!*]!`!**`**!****!*
 239 [!!*]!`*!*`**!*****
 240 !!*!**!!**!*!*!*!*
 241 !!!*!**!*!*!*!*!!***
 242 [!!!*!**!**]!*`!*
 243 [!!**]!!*!**`
 244 ![!!**]!!*!**`*
 245 !![!!**]!!*!**`**
 246 ![!!**]!*!*`*!!**
 247 !![!!**]!*!*`*!!***
 248 [!*!]!`*`!*****!*!*
 249 !![!!**]!*!*`**!!**
 250 [!!*!**]!!**`!*
 251 ![!!*!**]!!**`!**
 252 ![!!*!**]!!**`*!*
 253 !![!!*!**]!!**`*!**
 254 !![!!*!**]!!**`**!*
 255 !!![!*!**]!!**`!!**
 256 [!*!*]!``
 257 ![!*!*]!``*
 258 !![!*!*]!``**
 259 !!![!*!*]!``***
 260 ![!*!*]!``~!*!**
 261 !![!*!*]!``~!*!***
 262 ![!*!*]!``~!*!!***
 263 !![!*!*]!``~!*!!****
 264 [!*!*!*!]!*`*!**
 265 [!!*!*!*]!*`!*!***
 266 [!*!]!`*`***!!**!**
 267 ![!*!]!`*`***!*!!****
 268 [!*!]!`*`***!!***!*
 269 ![!*!]!`*`***!!***!**
 270 !!*!**[!!**]!``!*
 271 !!!*!**[!!**]!``!**
 272 [!*!*!*!]!*`**!*
 273 !![!*!*!*!**]!*`
 274 [!!*!*!*]!*`!***!*
 275 ![!!**]!``!**!!*!**
 276 !!!*![*!*!*]!!**`
 277 !!!!*![*!*!*]!!**`*
 278 [!*!]!`*`*!*!**!***
 279 [!!**!!*]!*`!***!!**
 280 ![!!**]!``*!!*!**!*
 281 !![!!**]!``*!!*!**!**
 282 [!*!]!`*`*!*!***!**
 283 ![!*!]!`*`*!*!***!***
 284 [!*!]!`*`*!*!****!*
 285 [!!**!!*]!*`**!!*!**
 286 ![!*!]!`*`*!*!*****!*
 287 [!!*]!`!**`!*!*!******
 288 [!!**!*!*]!*`!*
 289 [!!*!*!*!**]!*`
 290 ![!!**!*!*]!*`*!*
 291 !![!!*!*!*!**]!*`**
 292 [!!*!*!*]!*`**!*!*
 293 !!![!*!*!**]!*`!*!**
 294 [!!**!*!]!*`*!*!**
 295 ![!!**!*!]!*`*!*!***
 296 !!![*!*!*]!!**`!*
 297 !!!![*!*!*]!!**`!**
 298 !!!![*!*!*]!!**`*!*
 299 !!!!![*!*!*]!!**`*!**
 300 [!!*!**!*]!*`!!**
 301 ![!!*!**!*]!*`!!***
 302 ![!!**!*!]!*`*!***!*
 303 ![!!*!**!*]!*`*!!**
 304 !!*!!*!*!***!*!*!*!*
 305 !!!*!**!!**!*!**!!*!**
 306 [!*!]!`*`*!***!*!**
 307 !!!*!*!*[!**!]!!**`**
 308 [!*!]!`*`*!***!**!*
 309 ![!*!]!`*`*!***!**!**
 310 !![]!!![*!!*!**]!``!*
 311 [!!*]!`!**`!*!***!****
 312 [!!**!*!]!*`**!*!*
 313 ![!!**!*!]!*`**!*!**
 314 !![!!**!*!**]!*`!*
 315 !!![!!**!*!**]!*`!**
 316 ![!!**!*!]!*`***!*!*
 317 [!!*]!`!**`!*!*****!**
 318 [!*!]!`!**`*!******
 319 ![!*!]!`!**`*!*******
 320 [!*]!!**!*`!!*!**
 321 ![!*]!!**!*`!!*!***
 322 !!!*!**!*!*!*!*!**!*
 323 !!!!*!**!*!*!*!*!**!**
 324 [!!**]!*!*`!*!*
 325 ![!!**]!*!*`!*!**
 326 ![!!**]!*!*`!**!*
 327 ![!!**]!``!*!**!!**
 328 ![!!**]!*!*`*!*!*
 329 !![!!**]!*!*`*!*!**
 330 !![!!**]!*!*`*!**!*
 331 ![!*!]!`*`**!*!**!***
 332 !![!!**]!*!*`**!*!*
 333 [!!**!!*]!*`*!**!!**
 334 ![!*!]!`*`**!*!****!*
 335 !!*!!*!*!*!*!***!!*!**
 336 ![!!**]!``*!!**!*!*
 337 !![!!**]!``*!!**!*!**
 338 [!!!**!*!**]!*`!*
 339 ![!!!**!*!**]!*`!**
 340 !![!!**!**!*]!*`!*
 341 !!![!!**!**!*]!*`!**
 342 !![*!!**!!**]!*`!*
 343 [!!*!!***]!!**`
 344 ![!!!**!**]!!**`*
 345 !![!!!**!**]!!**`**
 346 ![!*!]!`*`**!***!**!*
 347 !!*!*~[!!!**!**]!!**`*
 348 ![!*!]!`*`**!****!*!*
 349 [!!*]!`!**`!**!****!**
 350 [!*!]!`!**`**!*****
 351 [!!**]!``!!!**!*!**
 352 !!*!!*!***!*!*!*!*!*
 353 !!!!*!**!**!*!*!*!*!**
 354 [!*!]!`*`***!*!*!**
 355 ![!*!]!`*`***!*!*!***
 356 [!*!]!`*`***!*!**!*
 357 ![!*!]!`*`***!*!**!**
 358 [!*!]!`*`[!*!***]!*`
 359 [!!*]!`!**`!***!*!****
 360 ![!**!!*]!*`*!*!*!*
 361 [!!!**!!**!**]!*`
 362 ![!!!**!!**!**]!*`*
 363 [!!!*!**!**]!*`!!**
 364 ![!*!]!`*`***!***!*!*
 365 [!!*!*!*]!*`**!!*!**
 366 !![!*!**!!**]!*`!*
 367 !!![!*!**!!**]!*`!**
 368 [!*!]!`*`****!*!*!*
 369 ![!*!]!`*`****!*!*!**
 370 ![!!**!*]!*`*!!*!**!*
 371 [!!*]!`!**`!****!*!***
 372 [!!**!!*]!*`!***!*!*
 373 [!!*]!`!**`!****!**!**
 374 [!*!]!`!**`****!***
 375 [!!*!**]!!**`!!**
 376 ![!!*!**]!!**`!!***
 377 !![!!*!**]!!**`!!****
 378 [!!**]!``!!!**!**!*
 379 ![!*!]!`!**`*****!***
 380 [!*!]!`!**`******!*
 381 ![!*!]!`!**`******!**
 382 ![!*!]!`!**`*******!*
 383 !![!*!]!`!**`*******!**
 384 [!*]!!**!*`!!**!*
 385 ![!*]!!**!*`!!**!**
 386 ![!*]!!**!*`!!***!*
 387 !!*[!*]!!**!*`*!!**
 388 !!!**!*!*!*!*!**!*!*
 389 !!!!**!*!*!*!*!**!*!**
 390 ![!*]!!**!*`*!!**!*
 391 !![!*]!!**!*`*!!**!**
 392 [!!!**!**!*]!*`!*
 393 ![!!!**!**!*]!*`!**
 394 ![!!!**!**!*]!*`*!*
 395 !![!!!**!**!*]!*`*!**
 396 !!*!*!*!*!**!!**!*!*
 397 !!*!!*!*!*!*!**!!**!**
 398 [!*!]!`*`*!*!!**!****
 399 [!!**!!*]!*`**!!*!!***
 400 [!!*!**!*!*]!*`
 401 ![!!*!**!*!*]!*`*
 402 !!!![*!!**]!*!*`!*
 403 !!!!![*!!**]!*!*`!**
 404 ![!!*!**!*]!*`*!*!*
 405 [!!**]!*!*`!!*!**
 406 ![!!**]!*!*`!!*!***
 407 !![!!**]!*!*`!!*!****
 408 [!*!*!*!]!*`**!!**
 409 !!![*!*!*!*]!*`!!***
 410 ![!!**]!*!*`*!!*!**
 411 [!!*!*!*]!*`!***!!**
 412 [!*!]!`*`*!*!!*****!*
 413 ![!*!]!`*`*!*!!*****!**
 414 [!*!]!`*`*!*!**!!****
 415 !![!!**]!*!*`**!!*!**
 416 !!*!!**!**!*!*!*!*!*
 417 !!!!**!*!**!*!*!*!*!**
 418 !!!!**!*!**!*!*!*!**!*
 419 !!!!!**!*!**!*!*!*!**!**
 420 ![!**!!*]!*`!!***!*!*
 421 !!!!*[*!**!!]!*`**!*!**
 422 [!*!]!`*`*!*!***!!***
 423 ![!*!]!`*`*!*!***!!****
 424 !!![!**!*]!!**`!*!*
 425 !!!![!**!*]!!**`!*!**
 426 [!*!]!`*`[!**]!*!*`
 427 ![!*!]!`*`[!**]!*!*`*
 428 !!!![!**!*]!!**`*!*!*
 429 !!*!*!*!*!**!!!**!*!**
 430 [!*!]!`*`**!***!!*!**
 431 [!!*]!`*!*`*!**!*****
 432 [!!**!*]!!**`!*
 433 ![!!**!*]!!**`!**
 434 ![!!**!*]!!**`*!*
 435 ![!!**!*!*]!*`*!!**
 436 ![!!**]!``!*!**!*!*
 437 !!![!!**!*]!!**`**!**
 438 [!!**!!*]!*`*!*!**!*
 439 [!!*]!`*!*`*!***!****
 440 ![!!**]!``!**!*!*!*
 441 [!!!**!**!!**]!*`
 442 ![!!!**!**!!**]!*`*
 443 [!!*]!`*!*`*!****!***
 444 !![!**!*!!**]!*`!*
 445 !!![!**!*!!**]!*`!**
 446 !!![!**!*!!**]!*`*!*
 447 !!!![*!*!*]!!**`*!!**
 448 ![!!**]!``*!*!*!*!*
 449 ![!*]!!**!*`!!*!!****
 450 [!!*!**!!**]!*`!*
 451 ![!!*!**!!**]!*`!**
 452 ![!!*!**!!**]!*`*!*
 453 !![!!*!**!!**]!*`*!**
 454 !![!!*!**!!**]!*`**!*
 455 ![!*]!!**!*`*!!!**!**
 456 [!!**!!*]!*`**!*!*!*
 457 ![!!**!*!]!*`!***!*!**
 458 [!*!]!`*`!***!*!**!**
 459 [!!**]!``!!*!*!*!**
 460 [!*!]!`*`[!***!*]!*`
 461 [!!*]!`!**`**!*!***!**
 462 [!*!]!`*`*!***!**!!**
 463 [!!*]!`*!*`**!*!*****
 464 !![!!**]!``**!*!*!*!*
 465 [!!**!!*]!*`!***!!*!**
 466 [!*!]!`*`!***!**!*!**
 467 [!!*]!`!**`**!**!*!***
 468 [!!**!*!]!*`**!!**!*
 469 [!!*]!`!**`**!**!**!**
 470 [!!*]!`!**`**!**!***!*
 471 !![!!**!*!**]!*`!!**
 472 [!*!]!`*`!***!***!*!*
 473 [!!*]!`!**`**!***!*!**
 474 [!!*]!`!**`**!***!**!*
 475 [!!*]!`*!*`**!***!***
 476 ![!!**]!``*!!*!*!*!**
 477 [!!*]!`*!*`**!****!**
 478 [!!*]!`*!*`**!*****!*
 479 ![!*!]!`!**`!***!******
 480 !!*!**!!**!*!*!*!*!*
 481 !!!*!**!*!*!*!*!!**!**
 482 !!!**!*![!*!**!*]!*`
 483 !!!*!**!*!*!*!*!**!!**
 484 [!!!*!**!**!*]!*`
 485 ![!!!*!**!**!*]!*`*
 486 ![*!!*]!!`*`?
 487 !![*!!*]!!`*`?*
 488 ![!!**]!!*!**`*!*
 489 !![!!**]!!*!**`*!**
 490 !![!!**]!!*!**`**!*
 491 !!![!!**]!!*!**`**!**
 492 ![!!**]!*!*`*!!**!*
 493 !![!!**]!*!*`*!!**!**
 494 !![!!**]!*!*`*!!***!*
 495 ![!!**]!``!**!!*!*!**
 496 [!*!]!`*`!*****!*!*!*
 497 ![!*!]!`*`!*****!*!*!**
 498 !![!!**]!*!*`**!!**!*
 499 ![!*!]!`*`**!*!***!!***
 500 [!!*!**]!!**`!*!*
 501 ![!!*!**]!!**`!*!**
 502 ![!!*!**]!!**`!**!*
 503 !![!!*!**]!!**`!**!**
 504 ![!!*!**]!!**`*!*!*
 505 !![!!*!**]!!**`*!*!**
 506 !![!!*!**]!!**`*!**!*
 507 [!!!**!*!**]!*`!!**
 508 !![!!*!**]!!**`**!*!*
 509 !![!!!**!*!**]!*`!!****
 510 !![!!**!**!*]!*`!!**
 511 !!![!!**!**!*]!*`!!***
 512 [!*!*]!``!*
 513 ![!*!*]!``!**
 514 ![!*!*]!``*!*
 515 !![!*!*]!``*!**
 516 !![!*!*]!``**!*
 517 !!![!*!*]!``**!**
 518 !!![!*!*]!``***!*
 519 !!!![!*!*]!``***!**
 520 ![!*!*]!``~!*!**!*
 521 !![!*!*]!``~!*!**!**
 522 !![!*!*]!``~!*!***!*
 523 !!![!*!*]!``~!*!***!**
 524 ![!*!*]!``~!*!!***!*
 525 !![!*!*]!``~!*!!***!**
 526 !![!*!*]!``~!*!!****!*
 527 ![!*!]!`*`*!*!*!*!*****
 528 [!*!*!*!]!*`*!**!*
 529 [!!!!*!**!**!**]!*`
 530 [!!*!*!*]!*`!*!***!*
 531 ![!!*!*!*]!*`!*!***!**
 532 [!*!]!`*`***!!**!**!*
 533 ![!*!]!`*`***!*!!***!**
 534 [!*!]!`*`***!*!**!!**
 535 ![!*!]!`*`***!*!**!!***
 536 [!*!]!`*`***!!***!*!*
 537 ![!*!]!`*`***!!***!*!**
 538 ![!*!]!`*`***!!***!**!*
 539 ![!!**]!``~[!*!*]!``!**
 540 !!*!**[!!**]!``!*!*
 541 !!!*!**[!!**]!``!*!**
 542 !!!*!**[!!**]!``!**!*
 543 ![!*!]!`!**`***!!******
 544 [!*!*!*!]!*`**!*!*
 545 !!![*!*!*!*]!*`!*!**
 546 !![!*!*!*!**]!*`!*
 547 !!![!*!*!*!**]!*`!**
 548 [!!*!*!*]!*`!***!*!*
 549 !![!*!**!!**]!*`!!**
 550 ![!!**]!``!**!!*!**!*
 551 !![!!**]!``!**!!*!**!**
 552 !!!*![*!*!*]!!**`!*
 553 !!!!*![*!*!*]!!**`!**
 554 !!!!*![*!*!*]!!**`*!*
 555 [!!**!!*]!*`*!**!!*!**
 556 [!*!]!`*`*!*!**!***!*
 557 ![!*!]!`*`*!*!**!***!**
 558 [!*!]!`!**`****!!****
 559 ![!*!]!`!**`****!!*****
 560 ![!!**]!``*!!*!**!*!*
 561 !!*!*!*!*!**!!*!*!*!**
 562 [!*!]!`*`[*!*!**]!*`
 563 ![!*!]!`*`[*!*!**]!*`*
 564 [!*!]!`*`*!*!***!**!*
 565 ![!*!]!`*`*!*!***!**!**
 566 [!*!]!`!**`*****!!***
 567 [!!**]!*!*`!!*!!***
 568 [!*!]!`*`*!*!****!*!*
 569 !![!!**]!*!*`!!*!!*****
 570 [!*!]!`!**`******!!**
 571 ![!*!]!`!**`******!!***
 572 ![!*!]!`*`*!*!*****!*!*
 573 ![!*!]!`!**`*******!!**
 574 [!*!]!`!**`*!*!******
 575 ![!*!]!`!**`*!*!*******
 576 [!!**!*!*!*]!*`
 577 ![!!**!*!*!*]!*`*
 578 [!!*!*!*!**]!*`!*
 579 ![!!*!*!*!**]!*`!**
 580 ![!!**!*!*]!*`*!*!*
 581 !![!!*!*!*!**]!*`*!**
 582 [!!**!*!]!*`*!*!*!**
 583 ![!!**!*!]!*`*!*!*!***
 584 [!!*!*!*]!*`**!*!*!*
 585 ![!*]!!**!*`*!!**!!**
 586 !!![!*!*!**]!*`!*!**!*
 587 ![!*!]!`*`*!**!*!**!***
 588 [!!!**!**!*]!*`!!**
 589 ![!!!**!**!*]!*`!!***
 590 ![!!**!*!]!*`*!*!***!*
 591 ![!!!**!**!*]!*`*!!**
 592 !!![*!*!*]!!**`!*!*
 593 !!!![*!*!*]!!**`!*!**
 594 !!!![*!*!*]!!**`!**!*
 595 !!!!![*!*!*]!!**`!**!**
 596 [!*!]!`*`[*!*]!*!*`
 597 ![!*!]!`*`*[!**]!*!*`
 598 !!!!![*!*!*]!!**`*!**!*
 599 !!!!!![*!*!*]!!**`*!**!**
 600 [!!*!**!*]!*`!!**!*
 601 ![!!*!**!*]!*`!!**!**
 602 ![!!*!**!*]!*`!!***!*
 603 !!!![*!!**]!*!*`!!**
 604 ![!!**!*!]!*`*!***!*!*
 605 [!!!*!**!**]!*`!!*!**
 606 ![!!*!**!*]!*`*!!**!*
 607 ![!*!]!`!**`*!**!******
 608 !!*!!*!*!***!*!*!*!*!*
 609 !![!!*!**!*]!*`*!**!!**
 610 [!*!]!`*`*!***!*!*!**
 611 ![!*!]!`*`*!***!*!*!***
 612 [!*!]!`*`*!***!*!**!*
 613 !!!*!*!*[!**!]!!**`*!**
 614 !!!*!*!*[!**!]!!**`**!*
 615 [!!*]!`!**`[!*!***]!*`*
 616 [!*!]!`*`*!***!**!*!*
 617 ![!*!]!`*`*!***!**!*!**
 618 ![!*!]!`*`*!***!**!**!*
 619 [!!*]!`!**`!*!***!**!***
 620 !![]!!![*!!*!**]!``!*!*
 621 [!!**]!``!!!!*!**!**!**
 622 [!*!]!`!**`*!***!****
 623 ![!*!]!`!**`*!***!*****
 624 [!!**!*!]!*`**!*!*!*
 625 [!!*!**]!*!*`
 626 ![!!*!**]!*!*`*
 627 !![!!*!**]!*!*`**
 628 !!![!!*!**]!*!*`***
 629 !!*!*~[!!*!**]!*!*`*
 630 [!*!]!`!**`*!****!***
 631 !!!**!*~[!!*!**]!*!*`*
 632 ![!!**!*!]!*`***!*!*!*
 633 !!*!*!*~[!!*!**]!*!*`*
 634 [!*!]!`!**`*!*****!**
 635 ![!*!]!`!**`*!*****!***
 636 [!*!]!`!**`*!******!*
 637 ![!*!]!`!**`*!******!**
 638 ![!*!]!`!**`*!*******!*
 639 [!!*]!`*!*`*!**!!******
 640 [!*]!!**!*`!!*!**!*
 641 ![!*]!!**!*`!!*!**!**
 642 ![!*]!!**!*`!!*!***!*
 643 !![!*]!!**!*`!!*!***!**
 644 !!!*!**!*!*!*!*!**!*!*
 645 !!*[!*]!!**!*`*!!*!**
 646 !!!*[!*]!!**!*`*!!*!***
 647 ![!*!]!`*`**!*!*!*!****
 648 [!!**]!*!*`!*!*!*
 649 ![!!**]!*!*`!*!*!**
 650 ![!!**]!*!*`!*!**!*
 651 ![!!**!*]!!**`*!!**
 652 ![!!**]!*!*`!**!*!*
 653 !![!!**]!*!*`!**!*!**
 654 ![!!**]!``!*!**!!**!*
 655 !!![!!**!*]!!**`**!!***
 656 ![!!**]!*!*`*!*!*!*
 657 !![!!**]!*!*`*!*!*!**
 658 !![!!**]!*!*`*!*!**!*
 659 ![!*!]!`*`**!*!**!*!***
 660 !![!!**]!*!*`*!**!*!*
 661 ![!*!]!`*`**!*!**!**!**
 662 ![!*!]!`*`**!*!**!***!*
 663 [!!*]!`*!*`*!****!!****
 664 !![!!**]!*!*`**!*!*!*
 665 ![!*!]!`*`*[*!*!**]!*`
 666 !![!**!*!!**]!*`!!**
 667 !!![!**!*!!**]!*`!!***
 668 ![!*!]!`*`**!*!****!*!*
 669 !!![!**!*!!**]!*`*!!**
 670 [!*!]!`!**`**!*!*****
 671 ![!*!]!`!**`**!*!******
 672 ![!!**]!``*!!**!*!*!*
 673 !![!!**]!``*!!**!*!*!**
 674 [!*!]!`*`**!**!*!*!**
 675 [!!*!**!!**]!*`!!**
 676 [!!][!**!*]!``
 677 ![!!][!**!*]!``*
 678 !![!!][!**!*]!``**
 679 !!![!!][!**!*]!``***
 680 !![!!**!**!*]!*`!*!*
 681 !!![!!**!**!*]!*`!*!**
 682 ![!*!]!`*`*[*!*]!*!*`
 683 !![!*!]!`*`*[*!*]!*!*`*
 684 !![*!!**!!**]!*`!*!*
 685 [!!*!*!*]!*`!***!!*!**
 686 [!!!**!**]!!**`!*
 687 ![!!!**!**]!!**`!**
 688 ![!!!**!**]!!**`*!*
 689 !![!!!**!**]!!**`*!**
 690 !![!!!**!**]!!**`**!*
 691 !!![!!!**!**]!!**`**!**
 692 ![!*!]!`*`**!***!**!*!*
 693 !!*!*!*!*!**!!!**!**!!**
 694 [!*!]!`!**`**!***!***
 695 ![!*!]!`!**`**!***!****
 696 ![!*!]!`*`**!****!*!*!*
 697 [!!*]!`!**`!**!****!*!**
 698 [!*!]!`!**`**!****!**
 699 ![!*!]!`!**`**!****!***
 700 [!*!]!`!**`**!*****!*
 701 ![!!*!**!*]!*`!!!**!***
 702 [!!**]!``!!!**!*!**!*
 703 [!!!][!**!*]!``**
 704 ![!!!][!**!*]!``***
 705 !![!!!][!**!*]!``****
 706 [!*!]!`*`***!*!*!*!**
 707 ![!*!]!`*`***!*!*!*!***
 708 [!*!]!`*`***!*!*!**!*
 709 ![!*!]!`*`***!*!*!**!**
 710 ![!*!]!`*`***!*!*!***!*
 711 [!!*]!`*!*`**!***!!****
 712 [!*!]!`*`***!*!**!*!*
 713 ![!*!]!`*`***!*!**!*!**
 714 ![!*!]!`*`***!*!**!**!*
 715 [!!*]!`*!*`**!****!!***
 716 ![!*!]!`*`[***!*!]!*`*
 717 [!!*]!`*!*`**!*****!!**
 718 [!*!]!`!**`***!*!****
 719 ![!*!]!`!**`***!*!*****
 720 [!!**!*!*]!*`!!*!**
 721 ![!!**!*!*]!*`!!*!***
 722 [!!!**!!**!**]!*`!*
 723 ![!!!**!!**!**]!*`!**
 724 ![!!!**!!**!**]!*`*!*
 725 ![!!**!*!*]!*`*!!*!**
 726 [!!!*!**!**]!*`!!**!*
 727 ![!*!]!`!**`***!**!****
 728 ![!*!]!`*`***!***!*!*!*
 729 [!!**]!`!*`
 730 ![!!**]!`!*`*
 731 !![!!**]!`!*`**
 732 !!![!!**]!`!*`***
 733 !!*!*~[!!**]!`!*`*
 734 !!!*!*~[!!**]!`!*`**
 735 !!!**!*~[!!**]!`!*`*
 736 [!*!]!`*`****!*!*!*!*
 737 !!*!*!*~[!!**]!`!*`*
 738 ![!!**]!*!*`*!!*!*!**
 739 !!!*!**!*~[!!**]!`!*`*
 740 !!![*!*!*]!!**`!!*!**
 741 !!!**!*!*~[!!**]!`!*`*
 742 [!*!]!`!**`****!*!***
 743 ![!*!]!`!**`****!*!****
 744 [!!**!!*]!*`!***!*!*!*
 745 !!*!*!*!*~[!!**]!`!*`*
 746 [!*!]!`!**`****!**!**
 747 !![!!**]!*!*`**!!*!*!**
 748 [!*!]!`!**`****!***!*
 749 ![!*!]!`!**`****!***!**
 750 [!!*!**]!!**`!!**!*
 751 ![!!*!**]!!**`!!**!**
 752 ![!!*!**]!!**`!!***!*
 753 ![!!*!**]!!**`!**!!**
 754 [!*!]!`!**`*****!*!**
 755 ![!*!]!`!**`*****!*!***
 756 ![!!**]!``*[!!**]!``
 757 !![!!**]!``*[!!**]!``*
 758 ![!*!]!`!**`*****!***!*
 759 !![!!*!**]!!**`*!**!!**
 760 [!*!]!`!**`******!*!*
 761 ![!*!]!`!**`******!*!**
 762 ![!*!]!`!**`******!**!*
 763 ![!!**]!``!*!**!!!**!**
 764 ![!*!]!`!**`*******!*!*
 765 !!![!*!**]!!**`!!**!!**
 766 [!*!]!`*!*`********
 767 ![!*!]!`*!*`*********
 768 [!*!*]!``!!**
 769 ![!*!*]!``!!***
 770 !![!*!*]!``!!****
 771 ![!*!*]!``*!!**
 772 !![!*!*]!``*!!***
 773 !!![!*!*]!``*!!****
 774 !![!*!*]!``**!!**
 775 !!![!*!*]!``**!!***
 776 [!*!*!*!]!*`!**!*!**
 777 !!![!*!*]!``***!!**
 778 !!!![!*!*]!``***!!***
 779 !!!!![!*!*]!``***!!****
 780 ![!*!*]!``~!*!**!!**
 781 !![!*!*]!``~!*!**!!***
 782 !![!*]!!**!*`*!!**!**!*
 783 !![!*!*]!``~!*!***!!**
 784 [![!!**]!``*]!*`
 785 ![![!!**]!``*]!*`*
 786 !![![!!**]!``*]!*`**
 787 !!![![!!**]!``*]!*`***
 788 ![!!!**!**!*]!*`*!*!*
 789 !![!!!**!**!*]!*`*!*!**
 790 !![!!!**!**!*]!*`*!**!*
 791 !!![!!!**!**!*]!*`*!**!**
 792 [!*!*!*!]!*`*!**!!**
 793 ![!*!*!*!]!*`*!**!!***
 794 [!*!]!`*`*!*!!**!***!**
 795 [!!*!*!*]!*`!*!***!!**
 796 [!*!]!`*`*!*!!**!****!*
 797 ![!*!]!`*`*!*!!**!****!**
 798 [!*!]!`*`***!!**!**!!**
 799 [!!*]!`*!*`*!*!*!******
 800 [!!*!**!*!*]!*`!*
 801 ![!!*!**!*!*]!*`!**
 802 ![!!*!**!*!*]!*`*!*
 803 !![!!*!**!*!*]!*`*!**
 804 !!!![*!!**]!*!*`!*!*
 805 !!!!![*!!**]!*!*`!*!**
 806 !!!!![*!!**]!*!*`!**!*
 807 !!!!!![*!!**]!*!*`!**!**
 808 ![!!*!**!*]!*`*!*!*!*
 809 !![!!*!**!*]!*`*!*!*!**
 810 [!!**]!*!*`!!*!**!*
 811 ![!!**]!*!*`!!*!**!**
 812 ![!!**]!*!*`!!*!***!*
 813 !![!!**]!*!*`!!*!***!**
 814 !![!!**]!*!*`!!*!****!*
 815 ![!!**]!*!*`!**!!*!**
 816 [!*!*!*!]!*`**!!**!*
 817 !!![*!*!*!*]!*`!!**!**
 818 !!![*!*!*!*]!*`!!***!*
 819 !![!*!*!*!**]!*`!!**
 820 ![!!**]!*!*`*!!*!**!*
 821 !![!!**]!*!*`*!!*!**!**
 822 [!!*!*!*]!*`!***!!**!*
 823 [!!*]!`*!*`*!*!***!****
 824 [!*!]!`*`*!*!!*****!*!*
 825 ![!!**]!``[!**!!*]!*`*
 826 [!*!]!`*`*!*!**!!***!**
 827 [!!*]!`*!*`*!*!****!***
 828 !!!*![*!*!*]!!**`!!**
 829 !!!!*![*!*!*]!!**`!!***
 830 !![!!**]!*!*`**!!*!**!*
 831 !!!!*![*!*!*]!!**`*!!**
 832 [!*]!!**!*`!!*!!**!**
 833 ![!*]!!**!*`!!*!!**!***
 834 [!*!]!`*`*!*!**!***!!**
 835 ![!*!]!`*`*!*!**!***!!***
 836 !!!!**!*!**!*!*!*!**!*!*
 837 !!!*!**!!**!**[!!**]!``
 838 !!!!*!**!!**!**[!!**]!``*
 839 ![!*!]!`*`!**!**!*!*!****
 840 [!*!*!*!]!*`!*!!**!***
 841 [!![!!**]!``**]!*`
 842 ![!![!!**]!``**]!*`*
 843 !![!![!!**]!``**]!*`**
 844 [!*!]!`*`*!*!***!!***!*
 845 [!!!**!*!**]!*`!!*!**
 846 [!*!]!`*`*!*!***!**!!**
 847 [!!*]!`*!*`*!**!*!*****
 848 !!![!**!*]!!**`!*!*!*
 849 !!!![!**!*]!!**`!*!*!**
 850 !![!!**!**!*]!*`!!*!**
 851 !!![!!**!**!*]!*`!!*!***
 852 [!*!]!`*`!*[*!*]!*!*`
 853 ![!*!]!`*`[!**]!!*!**`
 854 ![!*!]!`*`[!**]!*!*`*!*
 855 !![*!!**!!**]!*`!!*!**
 856 !!!![!**!*]!!**`*!*!*!*
 857 !!!!![!**!*]!!**`*!*!*!**
 858 !!*!*!*!*!**!!!**!*!**!*
 859 [!!*]!`*!*`*!**!***!***
 860 [!*!]!`*`**!***!!*!**!*
 861 [!!*]!`*!*`*!**!****!**
 862 [!!*]!`*!*`*!**!*****!*
 863 ![!*!]!`!**`!**!**!******
 864 [!!**!*]!!**`!*!*
 865 ![!!**!*]!!**`!*!**
 866 ![!!**!*]!!**`!**!*
 867 [!!*!*!*!**]!*`!!**
 868 ![!!**!*]!!**`*!*!*
 869 !![!!**!*]!!**`*!*!**
 870 ![!!**!*!*]!*`*!!**!*
 871 [!!*]!`*!*`*!***!*!****
 872 ![!!**]!``!*!**!*!*!*
 873 !!![!!**!*]!!**`**!*!**
 874 !!![!!**!*]!!**`**!**!*
 875 [!!*!**]!!**`!!!**!**
 876 [!!**!!*]!*`*!*!**!*!*
 877 [!!*]!`*!*`*!***!***!**
 878 [!!*]!`*!*`*!***!****!*
 879 !!![!*!*!**]!*`!*!**!!**
 880 ![!!**]!``!**!*!*!*!*
 881 !![!!**]!``!**!*!*!*!**
 882 [!!!**!**!!**]!*`!*
 883 ![!!!**!**!!**]!*`!**
 884 ![!!!**!**!!**]!*`*!*
 885 [!!*]!`*!*`*!****!**!**
 886 [!!*]!`*!*`*!****!***!*
 887 !!![!!!**!**!!**]!*`**!**
 888 !![!**!*!!**]!*`!*!*
 889 !!![!**!*!!**]!*`!*!**
 890 !!![!**!*!!**]!*`!**!*
 891 [!!**]!``!!*!*!*!*!**
 892 !!![!**!*!!**]!*`*!*!*
 893 !!!![!**!*!!**]!*`*!*!**
 894 !!!![*!*!*]!!**`*!!**!*
 895 ![!*!]!`!**`***!!*!******
 896 ![!!**]!``*!*!*!*!*!*
 897 ![!*]!!**!*`!!*!!***!**
 898 ![!*]!!**!*`!!*!!****!*
 899 !!![!!**]!``*!*!*!*!**!**
 900 [!!*!**!!**!*]!*`
 901 ![!!*!**!!**!*]!*`*
 902 ![!!*!**!!**]!*`!**!*
 903 ![!!*!**!*]!*`!!***!!**
 904 ![!!*!**!!**]!*`*!*!*
 905 !![!!*!**!!**]!*`*!*!**
 906 !![!!*!**!!**]!*`*!**!*
 907 !!![!!*!**!!**]!*`*!**!**
 908 !![!!*!**!!**]!*`**!*!*
 909 ![!!*!**!*]!*`*!!**!!**
 910 ![!*]!!**!*`*!!!**!**!*
 911 [!!*]!`*!*`**!*!*!*****
 912 [!!**!!*]!*`**!*!*!*!*
 913 ![!!**!*!]!*`!***!*!*!**
 914 [!*!]!`*`!***!*!**!*!**
 915 !![!*!**!!**]!*`!!*!**
 916 [!*!]!`*`!***!*!**!**!*
 917 !!*![!*]!!**!*`**!!!**!**
 918 [!!**]!``!!*!*!*!**!*
 919 [!!*]!`*!*`**!*!**!****
 920 [!*!]!`*`!*[**!*!*]!*`
 921 [!!*]!`!**`*[*!*!**]!*`
 922 [!!*]!`!**`**!*!***!**!*
 923 [!!*]!`*!*`**!*!***!***
 924 [!*!]!`*`*!***!**!!**!*
 925 [!!*]!`*!*`**!*!****!**
 926 [!!*]!`*!*`**!*!*****!*
 927 ![!*!]!`!**`!***!*!******
 928 !![!!**]!``**!*!*!*!*!*
 929 !!![!!**]!``**!*!*!*!*!**
 930 [!*!]!`*`!***!**!*!*!**
 931 [!!*]!`!**`**!**!*!*!***
 932 [!*!]!`*`!***!**!*!**!*
 933 [!!*]!`!**`**!**!*!**!**
 934 [!!*]!`!**`**!**!*!***!*
 935 ![!!**]!``!**!!*!*!*!**
 936 [!!**!*!]!*`**!!**!*!*
 937 [!!*]!`!**`**!**!**!*!**
 938 [!!*]!`!**`*[*!*]!*!*`
 939 [!!*]!`*!*`**!**!**!***
 940 [!!*]!`!**`**!**!***!*!*
 941 [!!*]!`*!*`**!**!***!**
 942 !![!!**!*!**]!*`!!**!*
 943 !!![!!**!*!**]!*`!!**!**
 944 [!*!]!`*`!***!***!*!*!*
 945 [!!**]!``!!!**!**!!*!**
 946 [!!*]!`!**`**!***!*!**!*
 947 [!!*]!`*!*`**!***!*!***
 948 [!!*]!`!**`**!***!**!*!*
 949 [!!*]!`*!*`**!***!**!**
 950 [!*!]!`!**`[!***]!!**`
 951 ![!*!]!`!**`[!***]!!**`*
 952 !![*!*!*!*]!*`!!*!!***
 953 [!!*]!`*!*`**!****!*!**
 954 [!!*]!`*!*`**!****!**!*
 955 ![!*!]!`!**`!***!****!***
 956 [!!*]!`*!*`**!*****!*!*
 957 ![!*!]!`!**`![***!**]!*`
 958 ![!*!]!`!**`!***!******!*
 959 [!!*!*!*]!*`!***!!*!!***
 960 [!*]!!**!*`!!*!**!!**
 961 [!!!*!**!!**!**]!*`
 962 ![!!!*!**!!**!**]!*`*
 963 ![!*]!!**!*`!!*!***!!**
 964 !!!**!*![!*!**!*]!*`!*
 965 ![!*]!!**!*`!!***!!*!**
 966 [!*!]!`*`**!!**!*!*!***
 967 ![!*!]!`*`**!*!*!*!!*****
 968 [!!!*!**!**!*]!*`!*
 969 ![!!!*!**!**!*]!*`!**
 970 ![!!!*!**!**!*]!*`*!*
 971 !![!!!*!**!**!*]!*`*!**
 972 ![*!!*]!!`*`~?
 973 !![*!!*]!!`*`~?*
 974 !![*!!*]!!`*`?*!*
 975 !!![*!!*]!!`*`?*!**
 976 ![!!**]!!*!**`*!*!*
 977 !![!!**]!!*!**`*!*!**
 978 !![!!**]!!*!**`*!**!*
 979 !![!!**]!*!*`!**!*!!***
 980 !![!!**]!!*!**`**!*!*
 981 ![!*!]!`*`**![!**]!*!*`
 982 !!![!!**]!!*!**`**!**!*
 983 !!!![!!**]!!*!**`**!**!**
 984 ![!!**]!*!*`*!!**!*!*
 985 !![!!**]!*!*`*!!**!*!**
 986 !![!!**]!*!*`*!!**!**!*
 987 !![!!**]!*!*`*!*!**!!**
 988 !![!!**]!*!*`*!!***!*!*
 989 !!![!!**]!*!*`*!!***!*!**
 990 ![!!**]!``!**!!*!*!**!*
 991 ![!*!]!`*`**!*!**!**!!***
 992 [!*!]!`*`!*****!*!*!*!*
 993 ![!*!]!`*`!*****!*!*!*!**
 994 [!*!]!`*`**!!***!*!*!**
 995 ![!*!]!`*`**!!***!*!*!***
 996 !![!!**]!*!*`**!!**!*!*
 997 ![!*!]!`*`**!*!***!!**!**
 998 ![!*!]!`*`**!*!***!!***!*
 999 ![!!**!*]!*`*[!!**]!``
 1000 [!!*!**!*]!!**`
 1001 ![!!*!**!*]!!**`*
 1002 !![!!*!**!*]!!**`**
 1003 !!![!!*!**!*]!!**`***
 1004 ![!!*!**]!!**`!**!*!*
 1005 !!!![*!!**]!*!*`!!*!**
 1006 !![!!*!**]!!**`!**!**!*
 1007 !!![!!*!**]!!**`!**!**!**
 1008 ![!!*!**]!!**`*!*!*!*
 1009 !![!!*!**]!!**`*!*!*!**
 1010 !![!!*!**]!!**`*!*!**!*
 1011 !![!!**]!``*!!**!*!**!!**
 1012 !![!!*!**]!!**`*!**!*!*
 1013 !!![!!*!**]!!**`*!**!*!**
 1014 [!!!**!*!**]!*`!!**!*
 1015 ![!!**!*!*]!*`*!!*!!***
 1016 !![!!*!**]!!**`**!*!*!*
 1017 ![!!!**!*!**]!*`!**!!**
 1018 !![!!!**!*!**]!*`!!****!*
 1019 !!![!!!**!*!**]!*`!**!!****
 1020 !![!!**!**!*]!*`!!**!*
 1021 ![!!**!*!]!*`![!**]!*!*`
 1022 [!*!]!`*!*`!*********
 1023 ![!*!]!`*!*`!**********
 1024 [!*!*]!!`*`
Numbers up to 4096 are available at https://gist.github.com/CatsAreFluffy/733a246a645ed55625261e4d7fe47ff2 adjusting for differences between Underload and Tarski notation.
Category:Programming techniques