added p12 php solution
added p12 php fast solution
added p13 php solution, reqs gmp