default(parisize,256000000);
ecpp(1)
ecpp(2)
ecpp(18446744073709551557);
ecpp(18446744073709551629);
ecppisvalid(ecpp(18446744073709551557))
ecppisvalid(ecpp(18446744073709551629))
cert = [[100000000000000000000000000000000069, 546867911035452074, 2963504668391148, 0, [33871007718198692871763537900223244, 37634983931409678910567952612637528]], [33743830764501150277, -11610830419, 734208843, 0, [16662256621764551072, 717141744113721531]]];
ecppexport(cert)
ecppexport(cert,1)
ecppexport(cert,2)
ecppisvalid(ecpp(16285004170961712447000975451705488808641461042245717587564868626116060638362995676584291019647333487131164585910692526519723394628478390124381641415798852319473605083279694798821564187404325769317838108581838244806431287065930206020985599594140650596158360451027455871094479408389113611410568437054557))
cert = ecpp(10^472+69169);
ecppisvalid(cert[(#cert\2)..#cert])
ecppisvalid(cert)
