p65 -- cheap solution using python for big int