8 2 io^32 ; ; p.t).