(do[(_ 8(ash(+ _ _ _ 12)-1))][(> _ 2e9)](write _))