FALSE in ["maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "append_c", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "drop exclamation mark", "rew", "droplast_cons", "short not", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "true", "endswithword_c", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "text of theory", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "drop question mark", "c# example", "add question mark", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "append_c", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "drop exclamation mark", "rew", "droplast_cons", "short not", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "true", "endswithword_c", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "text of theory", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "drop question mark", "c# example", "add question mark", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] 3 ms