+
+modsqrt {
+ 1 3 1;
+ 4 5 3;
+ 9775592058107450692 13391974640168007623 3264570455655810730;
+ 8155671698868891620 10189552848261357803 2073812183305821596;
+ 3248339460720824413 8976233780911635437 1220523478429582717;
+ 3447751741648956439 10155704720805654949 2812971608818169892;
+ 1453601744816463433 3095659104519735473 1260511572497628526;
+ 3366261317119810224 3756232416311497601 610261287187759737;
+ 3869491397135339653 5762828162167967567 2974328005712882420;
+ 660864223630638896 1729533840094059799 1058197842375219723;
+}
+
+factorial {
+ 0 1;
+ 1 1;
+ 2 2;
+ 3 6;
+ 4 24;
+ 5 120;
+ 30 265252859812191058636308480000000;
+ 100 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000;
+ 500
+ 1220136825991110068701238785423046926253574342803192842192413588385845373153881997605496447502203281863013616477148203584163378722078177200480785205159329285477907571939330603772960859086270429174547882424912726344305670173270769461062802310452644218878789465754777149863494367781037644274033827365397471386477878495438489595537537990423241061271326984327745715546309977202781014561081188373709531016356324432987029563896628911658974769572087926928871281780070265174507768410719624390394322536422605234945850129918571501248706961568141625359056693423813008856249246891564126775654481886506593847951775360894005745238940335798476363944905313062323749066445048824665075946735862074637925184200459369692981022263971952597190945217823331756934581508552332820762820023402626907898342451712006207714640979456116127629145951237229913340169552363850942885592018727433795173014586357570828355780158735432768888680120399882384702151467605445407663535984174430480128938313896881639487469658817504506926365338175055478128640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;
+}