(#(or(pr%)(>% 9e7)(recur(quot% 3/7)))22)