["maus", "smartadd", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "memorize transient", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]