psbook -s32 < alla4.ps | print2ps > allprint.ps
