rewrote ost.pal to test for times division or and and
added pretty print of times division or and and