(7 7)
(2 2)
37
((p q) (r p q))
(hello goodbye a b c)
(hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye)
(hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye hello goodbye)