FALSE in ["maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "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", "memorize new 2", "or", "c# example", "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", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "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", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] 1 ms