begin;write(pred(pred(pred(pred(pred(pred(pred(pred(pred(pred(pred(";"))))))))))));write(".");write(pred(pred(pred(pred(pred(pred(";")))))))end.