+ -3 6277101735386680763835789423207666416083908700390324961279
+ -1 6277101735386680763835789423207666416083908700390324961276;
+ 3131675836296406071791252329528905062261497366991742517193
+ 1110875761630725856340142297645383444629395595869672555585
+ 2 909924313034954359110967734238138173002706175252397406023;
+ 3131675836296406071791252329528905062261497366991742517193
+ 53
+ 59088223326347284373419855274130284193613157867768726739 26;
+ 1552518092300708935130918131258481755631334049434514313202351194902966239949102107258669453876591642442910007680288864229150803718918046342632727613031282983744380820890196288509170691316593175367469551763119843371637221007210577919
+ 776259046150354467565459065629240877815667024717257156601175597451483119974551053629334726938295821221455003840144432114575401859459023171316363806515641491872190410445098144254585345658296587683734775881559921685818610503605288959
+ 2 1;
+}
+
+exp {
+ 4 0 1;
+ 4 1 4;
+ 7 2 49;
+ 3 564 124849745640593184256214502788000232711984346194239284918599169775251467106591187580476305077269760425019686159071753053924227569816588462643229463821875763427430576080998505780547826368760514503807579784278708008217584939464444237989070811887584423210788916656247499281;