+ -3 6277101735386680763835789423207666416083908700390324961279
+ -1 6277101735386680763835789423207666416083908700390324961276;
+ 3131675836296406071791252329528905062261497366991742517193
+ 1110875761630725856340142297645383444629395595869672555585
+ 2 909924313034954359110967734238138173002706175252397406023;
+ 3131675836296406071791252329528905062261497366991742517193
+ 53
+ 59088223326347284373419855274130284193613157867768726739 26;
+ 1552518092300708935130918131258481755631334049434514313202351194902966239949102107258669453876591642442910007680288864229150803718918046342632727613031282983744380820890196288509170691316593175367469551763119843371637221007210577919
+ 776259046150354467565459065629240877815667024717257156601175597451483119974551053629334726938295821221455003840144432114575401859459023171316363806515641491872190410445098144254585345658296587683734775881559921685818610503605288959
+ 2 1;