PARI3 72 : 05 , k.