#! ALLOW-DUMMIES #! REQUIRE-COLONS #! REQUIRE-USERNAMES #! HIDE-NONTRADES #! SHOW-ELAPSED-TIME #! ITERATIONS=50 #! SEED=2022 #! METRIC=USERS-TRADING #! SHRINK=2 #! SHRINK-VERBOSE #! SHOW-MISSING !BEGIN-OFFICIAL-NAMES !END-OFFICIAL-NAMES