php prime machine library