Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 1275974007] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2472 geometric_solution 5.80726120 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501329739074 0.215805554269 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815810999016 0.508608633576 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795894182809 1.015215741920 5 2 4 1 3201 1230 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795894182809 1.015215741920 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033940305662 1.213667792095 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466606239332 1.031639588486 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471451525628 0.210628511549 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 9584827291852163398831946184756319484772511144188604244016258819334\ 025953232646659855406799949771258/482803186345030522400682500067516\ 47211431695863897179181421768794515595958763347866732119517291691*c\ _0101_4^32 + 102457903868599307250407836012866317692359163868465306\ 6711735850306831997920490704812104847323969828/48280318634503052240\ 0682500067516472114316958638971791814217687945155959587633478667321\ 19517291691*c_0101_4^31 - 51713290032797963676111071281501990722607\ 9354719943258952447292622945577668906418517099431672221655077/48280\ 3186345030522400682500067516472114316958638971791814217687945155959\ 58763347866732119517291691*c_0101_4^30 - 1414278168510302074675132099228160489736707781478701779635853850227\ 00217799421941186837867051176521096/4828031863450305224006825000675\ 1647211431695863897179181421768794515595958763347866732119517291691\ *c_0101_4^29 + 9915717997502530102978492104230405307923896146631028\ 569797536512517103379276319470488212918498468302549/482803186345030\ 5224006825000675164721143169586389717918142176879451559595876334786\ 6732119517291691*c_0101_4^28 + 326481148861677715559762346970369461\ 8971696801078061961354241718503854702855777911514940157146273676051\ /482803186345030522400682500067516472114316958638971791814217687945\ 15595958763347866732119517291691*c_0101_4^27 - 1148200071820699099738653543596477326599771128138908282370723327295\ 30640558281961456627690889155663047746/4828031863450305224006825000\ 6751647211431695863897179181421768794515595958763347866732119517291\ 691*c_0101_4^26 - 3925090069969216779528439481768336728131509105535\ 6834203144595938429358713210025051868955423811433985808/48280318634\ 5030522400682500067516472114316958638971791814217687945155959587633\ 47866732119517291691*c_0101_4^25 + 7408890981130219399584464473478130676243601590683666489450813462167\ 22583515944726436733822343916442647052/4828031863450305224006825000\ 6751647211431695863897179181421768794515595958763347866732119517291\ 691*c_0101_4^24 + 4139569060675353496560585836205590382041923487820\ 17789903530161340760248925687220626708011635703468695441/4828031863\ 4503052240068250006751647211431695863897179181421768794515595958763\ 347866732119517291691*c_0101_4^23 - 2417631788907459669405322658643073524063141176109110512829615359738\ 428500430460731093915402872240083859751/482803186345030522400682500\ 0675164721143169586389717918142176879451559595876334786673211951729\ 1691*c_0101_4^22 - 284314882611772353063110054259917592656031107214\ 3339649970346423900671514899550877870557439248249755737253/48280318\ 6345030522400682500067516472114316958638971791814217687945155959587\ 63347866732119517291691*c_0101_4^21 + 2664145770678462350121594949708984224635785009105672529428003174795\ 154508120775153697383745952283491295676/482803186345030522400682500\ 0675164721143169586389717918142176879451559595876334786673211951729\ 1691*c_0101_4^20 + 101938780356593370646043256734131922945515663543\ 64115956328566068374583856708963397622643544578773011749308/4828031\ 8634503052240068250006751647211431695863897179181421768794515595958\ 763347866732119517291691*c_0101_4^19 + 5744929585612670451865987352659839578079230684114168740726527362797\ 602143802226159949296805799229582969527/482803186345030522400682500\ 0675164721143169586389717918142176879451559595876334786673211951729\ 1691*c_0101_4^18 - 187884068093150774310940728804038039256027720327\ 82671081144999324087281279237120059233339759257959296387298/4828031\ 8634503052240068250006751647211431695863897179181421768794515595958\ 763347866732119517291691*c_0101_4^17 - 2153657145547536902300815614091246742324172161594219002596115179957\ 4237567000730694080505028187258262410344/48280318634503052240068250\ 0067516472114316958638971791814217687945155959587633478667321195172\ 91691*c_0101_4^16 + 17527346307331856051729070875292124015497441690\ 396945244292020420485030476896379723896233602348646779928694/482803\ 1863450305224006825000675164721143169586389717918142176879451559595\ 8763347866732119517291691*c_0101_4^15 + 2741288198290350290683174096554306174683636882906032396012974682019\ 1072811191468787388280901648233913972207/48280318634503052240068250\ 0067516472114316958638971791814217687945155959587633478667321195172\ 91691*c_0101_4^14 - 42369126652641297175912588506981609026026093171\ 8715241486350550689139689765280498462951108205890591860315/28400187\ 4320606189647460294157362630655480563905277524596598639967738799757\ 4314580396007030428923*c_0101_4^13 - 1764486528415319774963915503524202288287733966536038182018376234185\ 8555664827919303724754821804893749152820/48280318634503052240068250\ 0067516472114316958638971791814217687945155959587633478667321195172\ 91691*c_0101_4^12 - 28963426924691017477370151207575072262347108243\ 0477074611930187272470209419608066483851153869070600123819/48280318\ 6345030522400682500067516472114316958638971791814217687945155959587\ 63347866732119517291691*c_0101_4^11 + 5930948453655550339914852671276346384788562429982924327900980169446\ 544416097578823493425902822801990542368/482803186345030522400682500\ 0675164721143169586389717918142176879451559595876334786673211951729\ 1691*c_0101_4^10 + 132132076453052044198215667033168625896491006999\ 7333943594868860040382608679196709570402284524359528125976/48280318\ 6345030522400682500067516472114316958638971791814217687945155959587\ 63347866732119517291691*c_0101_4^9 - 8200606551810043327180771531429398150322687407278155387663717992406\ 04420152737134728374317412443353188310/4828031863450305224006825000\ 6751647211431695863897179181421768794515595958763347866732119517291\ 691*c_0101_4^8 - 38737385256761624181979923224269792524443034023965\ 5877200471786543357849503580013065182941877382187400257/48280318634\ 5030522400682500067516472114316958638971791814217687945155959587633\ 47866732119517291691*c_0101_4^7 - 611201448706310970024730522693995\ 7025569780403255103485824859320055117090869335141276502577995658226\ 2808/48280318634503052240068250006751647211431695863897179181421768\ 794515595958763347866732119517291691*c_0101_4^6 + 1476996455853890829201889116507773490330862350168316834734037036210\ 2889008910124304388714321673712354582/48280318634503052240068250006\ 7516472114316958638971791814217687945155959587633478667321195172916\ 91*c_0101_4^5 + 333754646481247750926041311257927207552072527369181\ 79407737600256990694367520640713072243920658190925214/4828031863450\ 3052240068250006751647211431695863897179181421768794515595958763347\ 866732119517291691*c_0101_4^4 + 72611899371408757336572483024125122\ 6510334034760081553450704780464427724631747273668826411868781898697\ 5/48280318634503052240068250006751647211431695863897179181421768794\ 515595958763347866732119517291691*c_0101_4^3 - 4212838785594632737648470949419188751656203873246075534165596426786\ 419687568073146318817818081145952413/482803186345030522400682500067\ 5164721143169586389717918142176879451559595876334786673211951729169\ 1*c_0101_4^2 - 3250800221068005829445149713296900123670100321900040\ 0046329803817183567717649848215242342729479355151/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4 + 170998872197402224692456080072062483317234\ 179456487827915943449358391791705429795831151940551681802105/482803\ 1863450305224006825000675164721143169586389717918142176879451559595\ 8763347866732119517291691, c_0011_0 - 1, c_0011_1 - 657414898562788513349381930167999806428344371549341099124868\ 772309685943203615450138152467294839/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^32 - 1709618987150345022635153064222069356822943009890723\ 84847157791045972125716859545037270036847137/2840018743206061896474\ 6029415736263065548056390527752459659863996773879975743145803960070\ 30428923*c_0101_4^31 + 35411419480439577930254611769119571219616984\ 899344096777624057653027929413383137950586317624067919/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^30 + 1511844284363071686567061399309002\ 4505865739911747484941502939783286585499907132361375449677798090/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^29 - 6760680238989597688029909363644317842497361188323820088002443239054\ 92329816389858823029887745479950/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^28 - 32689319727623726338746294572112120752970941668481888298\ 3791661426212077840459360006427767558679546/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^27 + 779239564953558713580503737692641112051229084\ 9267451812312932660449105191993523650981081261694267724/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^26 + 387269324475585581950144672981554\ 3560628314616655748204127827008483564652058200158407222492675525747\ /284001874320606189647460294157362630655480563905277524596598639967\ 7387997574314580396007030428923*c_0101_4^25 - 4984436154951850341694739520624650503770017090442959736330889872040\ 6974540186208828091545968574147531/28400187432060618964746029415736\ 26306554805639052775245965986399677387997574314580396007030428923*c\ _0101_4^24 - 358728857906810486340121902040738183651241892121668533\ 35233795826392479051405874382862047940638089546/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^23 + 15790601725775105931954564384679462169103\ 6402004759021199154633586804246615534651552836061790678875871/28400\ 1874320606189647460294157362630655480563905277524596598639967738799\ 7574314580396007030428923*c_0101_4^22 + 2176693657968835708928843344128080399285528516379241233842092000198\ 16800902722457906080258890670910990/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^21 - 14169868303096555972477106289352149209187158826795556\ 0467462778106524094257194738842182522147423236596/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^20 - 711046560394132214851726872879046427881\ 204914668308335667754499226554590241543890397813009087295802897/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^19 - 5102800164698993607758716150761359529586757103855922694391933224801\ 10373225867598928000161891025890108/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^18 + 11770685285980554485724178978594056160077577458205995\ 24152169616070867325912090597620519085257520501249/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^17 + 16351334550526809229832403943479740055\ 35655603059282234643865449416574753050083237289146142415968179607/2\ 8400187432060618964746029415736263065548056390527752459659863996773\ 87997574314580396007030428923*c_0101_4^16 - 8943220522276228406692096204804192105329252862239809490422775100177\ 01943468976251725797362427965850683/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^15 - 19439076713067970617374754579475536071669472077953509\ 62207228605121436706560284897127280849481638512228/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^14 + 14951923305134672863339612867861943705\ 6765629952430262218169318315008621589461619809507122131063620656/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^13 + 1146792889161604596464568628522616471322908588775637362264655306483\ 610698832380817585213817410148130647/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^12 + 2079027700480007022997891075972062728018574644459113\ 63433489145962620203764202832882755863210909692834/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^11 - 32510945089342076627745863340535190046\ 9265309922548679168874100674042451287203390119374202118586080152/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^10 - 1343000754714064500329520536832109857716591023556504281590598540445\ 09887754363917768572059916739152948/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^9 + 220798585925402219560034553627574758472643303934026494\ 42670897388255192221712049355329923472585349255/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^8 + 252192647311409347673798735094240743241305\ 30605836362063123626782542876821230097165282709153018543946/2840018\ 7432060618964746029415736263065548056390527752459659863996773879975\ 74314580396007030428923*c_0101_4^7 + 8872051576509812788560567916638950438549612346004050402803920137827\ 465370837204685904020239720010062/284001874320606189647460294157362\ 6306554805639052775245965986399677387997574314580396007030428923*c_\ 0101_4^6 + 11400671438038201672825469751055666810871458275162712295\ 99184206592371675722344906652789464250389260/2840018743206061896474\ 6029415736263065548056390527752459659863996773879975743145803960070\ 30428923*c_0101_4^5 - 176119950342469148688045284622295981168346654\ 8468096254756789979942166519302094903053591843184741238/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^4 - 6941416400612930660000563672849263\ 02106625714767796324914512929417196183995464191905396061041984146/2\ 8400187432060618964746029415736263065548056390527752459659863996773\ 87997574314580396007030428923*c_0101_4^3 + 1191599366926712157889433149826803204248885697170872198025044477408\ 18472119906667921717675452789895/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^2 + 360948229905486275604393573735280865300058178484166947379\ 73108417668085522369989553898914979330346/2840018743206061896474602\ 9415736263065548056390527752459659863996773879975743145803960070304\ 28923*c_0101_4 - 17501686063872009168151251982672127450117757022407\ 34386071512683144531941216451504322741631793997/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923, c_0011_3 - 423140832740377974653490268890970929285822954170248879734068\ 713013194910372923643337134348553427/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^32 - 1006036486856197700984576050181026494765471184413844\ 74340260270763689793835679901784492138821752/2840018743206061896474\ 6029415736263065548056390527752459659863996773879975743145803960070\ 30428923*c_0101_4^31 + 22811669123964108287030456157039941361654925\ 979576475274596033381557642128601259285693103428934622/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^30 + 9240263846456741988199312088859215\ 857200819581414422915873300634355418668775418906186005198831537/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^29 - 4362733218675422980509559495348514532512096718259391020943159050138\ 68349414849725904541362276446332/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^28 - 20179418392908621911498158115574763785049020409636602894\ 6204424068487585544458256548574556999518724/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^27 + 503746165447418375189551322387730858400056704\ 3600220988190134142324427430255236324123496699052955958/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^26 + 240253921630925437798545591406452\ 7209538729305571583348167166061921512005546821813056094093298636082\ /284001874320606189647460294157362630655480563905277524596598639967\ 7387997574314580396007030428923*c_0101_4^25 - 3233465277277961192383651894645384829123540012300149782295240799718\ 2101257267683485736960347707509894/28400187432060618964746029415736\ 26306554805639052775245965986399677387997574314580396007030428923*c\ _0101_4^24 - 226257990155059819864553338342220988459779936715143556\ 47168114236852719706434384325969751099537802710/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^23 + 10339255728040755326138918520822324941211\ 8670276123166216042757359744797615521316117658123132488022766/28400\ 1874320606189647460294157362630655480563905277524596598639967738799\ 7574314580396007030428923*c_0101_4^22 + 1397111819108257006356035680084296276303819547710388998867850255667\ 54498373527646676885695180667370643/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^21 - 97915028662699543688925159494485502858922561908953630\ 024759286690171666338137481845882010047499750801/284001874320606189\ 6474602941573626306554805639052775245965986399677387997574314580396\ 007030428923*c_0101_4^20 - 4641581581515332743887848371483174280244\ 04566394946497257350046700691055073882057252356465969923070878/2840\ 0187432060618964746029415736263065548056390527752459659863996773879\ 97574314580396007030428923*c_0101_4^19 - 3181000732566832584351376009295580688347365639229910761496597006835\ 99309348513502149226017933522206927/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^18 + 78584366962469416161496105458885598094385128024471726\ 3052067537138511239521018564941674792493170948462/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^17 + 106120777230345478660170125109947399998\ 3387613147908553322930330875511723028376708836571176819344946101/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^16 - 6210833345162511455962592319033117029249969425850874986129526408599\ 73018014247426952073191550676599124/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^15 - 13017818585570506715638783037253517694365191633733636\ 77496237798181583310693236557415108132470924053141/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^14 + 12181576693001321380084146750427580948\ 8975981470366007512606882895944711618791358601422952848758102607/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^13 + 8018885364793817139432655636428860732969657400060143222276279018949\ 05083220894494493020085011367929990/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^12 + 14088867405206225977317126961975328742088430529856295\ 1891207121221753577381191486320968885723424699771/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^11 - 243658045143570304214130685085886916976\ 638975922798288399818988572004850990731912428137773861930567218/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^10 - 1008886049063709516766759201176442235603509678066432693725739727464\ 43548332529784217168347591200320823/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^9 + 206444625711455814458935260378127426744297819764852049\ 92609884627624433529225293687603262001241851147/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^8 + 220696618667001609588848712540037632739795\ 44749828396461212549524845481687041449006378096229349212322/2840018\ 7432060618964746029415736263065548056390527752459659863996773879975\ 74314580396007030428923*c_0101_4^7 + 6663500913267991706188402084462752324677830820041788368498142582498\ 674703635992848188341818178095175/284001874320606189647460294157362\ 6306554805639052775245965986399677387997574314580396007030428923*c_\ 0101_4^6 + 23198854872355088992357133350859052580078165682478049177\ 2640459879730889306767569686625372331883520/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^5 - 1553994924794964181477625589225956922835814247\ 919406927722675193402973751967875031059172014000128367/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^4 - 59704132639976273185149914798484922\ 7427844193891210327801594819881342182780550203946883056085441321/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^3 + 8487769158421773452443093710785357934573508869995862367098170384999\ 7005874984126502197530194761522/28400187432060618964746029415736263\ 06554805639052775245965986399677387997574314580396007030428923*c_01\ 01_4^2 + 4036511225288927726583855539020311970931979881512714105435\ 3057002775393905118264403465564525051675/28400187432060618964746029\ 4157362630655480563905277524596598639967738799757431458039600703042\ 8923*c_0101_4 + 141192663564229108820569907797573348323565024509737\ 2845566630174231248435341584448019024829270237/28400187432060618964\ 7460294157362630655480563905277524596598639967738799757431458039600\ 7030428923, c_0011_5 + 563901112559565826548380901220826355063604734702504992570536\ 380281815715423073747997096244854686/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^32 + 1109503644625840052432160158973173364680115322522484\ 42089264969051574594862246452389879012744305/2840018743206061896474\ 6029415736263065548056390527752459659863996773879975743145803960070\ 30428923*c_0101_4^31 - 30399545806164119673055341421700355011046818\ 671633637774950504765621196104984767353093591936203583/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^30 - 1105138962377124602549359677564427\ 3004047756911188168102228993546504803018439434297922856230809165/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^29 + 5815777332640939248862457718723712902442264342139506787225678287640\ 45583193186577149397160116877404/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^28 + 24415816018094527122932461082160742475769152212694730834\ 0585801513924501254568639466962507864464042/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^27 - 671796760205988562872459408048006327957486296\ 5547056215236864043586771977073400217018751700497643976/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^26 - 290862420942548404544487304247415\ 9913203744630078611623637265178507777992657341764326042598882063760\ /284001874320606189647460294157362630655480563905277524596598639967\ 7387997574314580396007030428923*c_0101_4^25 + 4315073992614917998997643024932604799928190176977260756911833955239\ 0347506817443420397819637987719599/28400187432060618964746029415736\ 26306554805639052775245965986399677387997574314580396007030428923*c\ _0101_4^24 + 281800434297972294673462644024271488495040754954594075\ 62364352132932554536712041035243472207034470912/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^23 - 13856995094762304142658931058216093460090\ 2240878446516965501265817239246046717349645082396761810061224/28400\ 1874320606189647460294157362630655480563905277524596598639967738799\ 7574314580396007030428923*c_0101_4^22 - 1791424578297610885679689561257826372323232981921088414351023469000\ 81399032661533942866035036055465889/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^21 + 13696358718825240297985337291231362604736211677025591\ 1303085848094412079411368530705289078836333440219/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^20 + 607876935653787214518748612883220998109\ 937059355519616304816447578839921954101764385750475593064662501/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^19 + 3966571450109383839889840054400339252055922134369756880486509378577\ 05249026778488992217360750560307453/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^18 - 10545029713952041057087599808749137449700897033184395\ 09981353583423831169017924058607958618353109464837/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^17 - 13533862194711898316303505980630045547\ 02103797141529848568331117444799945403324646965704777843228888528/2\ 8400187432060618964746029415736263065548056390527752459659863996773\ 87997574314580396007030428923*c_0101_4^16 + 8812669150383689900980475289563307067661775876207976359473306552804\ 59438637093485596011564694170541613/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^15 + 16607340312821417601421477641878344233720871609419356\ 09126099714899294611979325014382355521290454753972/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^14 - 24800761516584324887759861867383519847\ 5613071800267115124382460234245837851454066761924062828938972333/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^13 - 1021695405498080903660714478695173788375771820100218314535883744515\ 201236428156120759578235810839904703/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^12 - 1198491525380857144852261650239912064627658409047521\ 90841692017457939203287154374746725385029331149737/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^11 + 31435327316476508766336271823442433732\ 4889370867414743927926016271446849414138928329095809711281513313/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^10 + 1057332537403200531299293135163833190719837942452196976323471114655\ 57267206747427524227071053535356350/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^9 - 313778788434118563876124561621756056936448860441427869\ 35700593296372550491983010364999152136505995019/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^8 - 238563561264605298932513872516013542080832\ 86450212359827986771378595577244508269135861410852771013989/2840018\ 7432060618964746029415736263065548056390527752459659863996773879975\ 74314580396007030428923*c_0101_4^7 - 6520072544737543285161196080379350306000667577576462906103012676407\ 477909950663048885871455123418536/284001874320606189647460294157362\ 6306554805639052775245965986399677387997574314580396007030428923*c_\ 0101_4^6 - 14946524661121455851068512346751320305548647912312776232\ 3451429771415674212572240066126409985906823/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^5 + 1811979227081201141410397912294700188356162922\ 951379453145739924467308323959783395028809335445156253/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^4 + 58080727936081998608645909583315079\ 6170974811264403716343018694468110093655815090362431914402489999/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^3 - 1537348194136609084667181698318038711959120925027341131092062354960\ 98832620279381442664727657278780/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^2 - 369979031189009511630733028054630828174388409267499712460\ 32610145295822815076898223535333386501744/2840018743206061896474602\ 9415736263065548056390527752459659863996773879975743145803960070304\ 28923*c_0101_4 + 16584526238880489095329873667936795634249073387144\ 65566790879016248654422792703480567963061910770/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923, c_0101_0 + 530067980071744330623302129823944167469884726821024002325795\ 099070774890540632384481419740537024/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^32 + 7526237178689032067135422622926917761980393191701577\ 2241975626672902930642037590091735281634809/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^31 - 285991808514980507473988317226539346565616502\ 82476524567649128118896578091447638917049464006562171/2840018743206\ 0618964746029415736263065548056390527752459659863996773879975743145\ 80396007030428923*c_0101_4^30 - 88431001467255199493321886474912176\ 93673491488337060505655880930796287869684744019782898131420551/2840\ 0187432060618964746029415736263065548056390527752459659863996773879\ 97574314580396007030428923*c_0101_4^29 + 5482073069211101290062730515625426956185518550332592537061934217440\ 44391520465079034865594394169490/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^28 + 20079036878538758442315150153475552984387151012501165018\ 2348739468891605648057582290264145060625914/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^27 - 634531446282620805758715729988687986700718997\ 7095726485981861206660135165323249486294155456382585434/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^26 - 241240224821308340329510187932333\ 0187831857189164561130438685165921824180572901822798637822610064093\ /284001874320606189647460294157362630655480563905277524596598639967\ 7387997574314580396007030428923*c_0101_4^25 + 4091254300999958694103454160914038996754916513100351111449942492389\ 9544624994685595119722425749401834/28400187432060618964746029415736\ 26306554805639052775245965986399677387997574314580396007030428923*c\ _0101_4^24 + 245463167587474588151725684986373035481056404926347119\ 91017414841292424318786877392831435490347823085/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^23 - 13293755628190917148877867472393989819425\ 5556700823174482194774052208220900967311073252819216735542672/28400\ 1874320606189647460294157362630655480563905277524596598639967738799\ 7574314580396007030428923*c_0101_4^22 - 1633101693121084299109412337724362283830369499052546999122179927318\ 52748490266643345413352209964555855/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^21 + 14122955679038661948077813793643475656475276669254279\ 5493348693634637884877828327843318442507567229402/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^20 + 573392460163029938576869445679086020326\ 271716932775822864270134396352970437877772517901611547414627604/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^19 + 3431962708904416170231620222022630559469581312758038523422684112925\ 58787005152738374732889858326859482/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^18 - 10322122500184066215577963423178310716153554467104110\ 49989364776514049253712691877879459491516305799568/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^17 - 12472553639538119377829036871963278100\ 36412568680907840045959520345403889342682511016489549040059885336/2\ 8400187432060618964746029415736263065548056390527752459659863996773\ 87997574314580396007030428923*c_0101_4^16 + 9144749373673826815402714008868637938142531003109468424320814085196\ 42872619318543786299951424911655435/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^15 + 15802439089283035150209110979512214291015330370585470\ 55475620290318681840390304074677100148177122650233/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^14 - 30410112408822172931647069423071398433\ 9415435493198057417109919660140638228232198443994187033209548877/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^13 - 1006957617794771388891330892450167128593671965297424657181756586281\ 302164049340564079982496073871711295/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^12 - 9432507700930904890133798114246072044607518707665481\ 0679201233560557630932216018300756339814127256471/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^11 + 324230469293376350223962440491839278921\ 351880469166407189055449588424787545506076324050745320095755422/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^10 + 1060969060220390074973482982590984089581407794328072259752133832694\ 07900990200827817801970369392506438/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^9 - 349920231290715824490199204300041890708715115205629081\ 87769533053154338615012219356589744946241295727/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^8 - 269216805824870443823777617601103601723087\ 77532803033493737610286702739603159564515033114307094276396/2840018\ 7432060618964746029415736263065548056390527752459659863996773879975\ 74314580396007030428923*c_0101_4^7 - 7081976514496680626118801628047073226418598424272976922940989211610\ 268215849642982844450255907570324/284001874320606189647460294157362\ 6306554805639052775245965986399677387997574314580396007030428923*c_\ 0101_4^6 + 26035641322056760370695759306820802321489057981694678529\ 6840881177855813721805704740782385490059525/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^5 + 2064329804647661329494966616539099258522665199\ 525099413571989379173081865855665274041009406557035638/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^4 + 67437993614634635050904817253664041\ 7071890874872912610887406164513515010272306360372106785719343380/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^3 - 1361834305582071193954877144436980541070616737496884717915596715755\ 23003983821401273558077166913857/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^2 - 454776947116210563367788676984937197314341565072567226169\ 30274388262643578385953085595174772208389/2840018743206061896474602\ 9415736263065548056390527752459659863996773879975743145803960070304\ 28923*c_0101_4 - 17047488870585465121978556193473765267760428884991\ 83690524976092171753449698268484817013368116520/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923, c_0101_3 - 712998932668462524612118165324360626053061306260941005100641\ 651307557769716866601840002006446002/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^32 - 1844605112588454772000987862280926825771327654260904\ 77174535576353081314640829833479745136183956/2840018743206061896474\ 6029415736263065548056390527752459659863996773879975743145803960070\ 30428923*c_0101_4^31 + 38421528027298095760345778890024215976466503\ 302309326166211994182796065833994801018508536865200813/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^30 + 1635088824986536682222763840502952\ 8218774579710073883902816474115838177896755462293834416783550657/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^29 - 7341005785801081376769673823340384987137736078656690589590484562009\ 83671619499831975693670257075143/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^28 - 35399737629074247068152640068486323857697579506511891863\ 6224893733117743380784177788875723338286769/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^27 + 846777572444650322136952539926272608284836900\ 8630033384077983789496139444937552094148948901425678620/28400187432\ 0606189647460294157362630655480563905277524596598639967738799757431\ 4580396007030428923*c_0101_4^26 + 419824463575517807765257431164432\ 6902772410029265742598302627662771949756906178165079516937877136470\ /284001874320606189647460294157362630655480563905277524596598639967\ 7387997574314580396007030428923*c_0101_4^25 - 5424764545577811703841660082212788110258566698904303609840082520073\ 8937111296540868172807533104578591/28400187432060618964746029415736\ 26306554805639052775245965986399677387997574314580396007030428923*c\ _0101_4^24 - 389443359907189927054004419721658354567896238160409676\ 87824978663649472679402015995717357681268428962/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^23 + 17245922068214921507031354676730650409902\ 0950460895670093186059889479183854842219000761407485000093143/28400\ 1874320606189647460294157362630655480563905277524596598639967738799\ 7574314580396007030428923*c_0101_4^22 + 2368146445754757795448461585487010383814370127015954822536485249458\ 96860237167356150854469212175717431/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^21 - 15745620687481610268195463553200752316700628693522169\ 3069528468324318633734028254349300760503273449336/28400187432060618\ 9647460294157362630655480563905277524596598639967738799757431458039\ 6007030428923*c_0101_4^20 - 776439855231502362174448048756143956537\ 658376437517605821752326678549649928615110713501750778667379463/284\ 0018743206061896474602941573626306554805639052775245965986399677387\ 997574314580396007030428923*c_0101_4^19 - 5502721102134039441335402031910124101933180934288808593551011780064\ 47095068357820633709145637218677572/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^18 + 12938077068058247401316643020373672395092625390665624\ 75171362557491348726600585761609327274122105221196/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^17 + 17862622350752164294282983125515943234\ 35234678505971694074759960887001089777629397747063388210753269959/2\ 8400187432060618964746029415736263065548056390527752459659863996773\ 87997574314580396007030428923*c_0101_4^16 - 9960753802455321400635959024080804489659130084722811680138439899907\ 28617966217431495580958401044889873/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^15 - 21466966538981848711139648162557436226265371144257035\ 11445637724800658854263293894399145680683598576471/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^14 + 17722381616582752624010012215788490948\ 8700083944977849958666325300386281838923889398519061421546078884/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^13 + 1285616011116772235462339615058010340913255033474939721458676641794\ 168595098107140605652247194707236977/284001874320606189647460294157\ 3626306554805639052775245965986399677387997574314580396007030428923\ *c_0101_4^12 + 2284612744649200170134457317701329463535871429166456\ 85445540021497375391423333862701267039540975022379/2840018743206061\ 8964746029415736263065548056390527752459659863996773879975743145803\ 96007030428923*c_0101_4^11 - 37388203112085313762977676519380349505\ 2094196029516487742716709807135339450351319542667956061916732506/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^10 - 1531149252269988008491631444200653092538971295776796249798907549158\ 95918538472688122722321988716705358/2840018743206061896474602941573\ 626306554805639052775245965986399677387997574314580396007030428923*\ c_0101_4^9 + 281395915995540315711563883032216249034787101933908861\ 66123406284378456335536635130788494705544318677/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923*c_0101_4^8 + 303651904238354201136740672291257231754707\ 00749529349469771933998432999028003194114833127908668632714/2840018\ 7432060618964746029415736263065548056390527752459659863996773879975\ 74314580396007030428923*c_0101_4^7 + 9999861403406989945074630441305998115523959428528753293698623404191\ 582463990481380470943855632968590/284001874320606189647460294157362\ 6306554805639052775245965986399677387997574314580396007030428923*c_\ 0101_4^6 + 98251961031770146893316703565266432978202041978507925131\ 8550518397121996838246121384541973315418000/28400187432060618964746\ 0294157362630655480563905277524596598639967738799757431458039600703\ 0428923*c_0101_4^5 - 2132505230704223756596884395717432265979333306\ 928304176135640696308606744990170093809364198878091600/284001874320\ 6061896474602941573626306554805639052775245965986399677387997574314\ 580396007030428923*c_0101_4^4 - 83454588243178991329613360932724255\ 6096638018573479638895278239940242650858573202538519709870485852/28\ 4001874320606189647460294157362630655480563905277524596598639967738\ 7997574314580396007030428923*c_0101_4^3 + 1443866905102876753182685957289039438678491717990961145495728906290\ 42666049015178228501525472793056/2840018743206061896474602941573626\ 306554805639052775245965986399677387997574314580396007030428923*c_0\ 101_4^2 + 502125052593154344911816103320763195890780297597633451602\ 64251229231125562709000469301617769582731/2840018743206061896474602\ 9415736263065548056390527752459659863996773879975743145803960070304\ 28923*c_0101_4 - 13117737553345403221812696392617695297499359502956\ 59478267692938789070837341101322034971919675468/2840018743206061896\ 4746029415736263065548056390527752459659863996773879975743145803960\ 07030428923, c_0101_4^33 - 54*c_0101_4^31 - 9*c_0101_4^30 + 1038*c_0101_4^29 + 231*c_0101_4^28 - 12052*c_0101_4^27 - 2835*c_0101_4^26 + 78153*c_0101_4^25 + 35167*c_0101_4^24 - 259514*c_0101_4^23 - 271804*c_0101_4^22 + 318007*c_0101_4^21 + 1046180*c_0101_4^20 + 478925*c_0101_4^19 - 2063080*c_0101_4^18 - 2067622*c_0101_4^17 + 2130122*c_0101_4^16 + 2757156*c_0101_4^15 - 1099180*c_0101_4^14 - 1869074*c_0101_4^13 + 167732*c_0101_4^12 + 685254*c_0101_4^11 + 86841*c_0101_4^10 - 117863*c_0101_4^9 - 39724*c_0101_4^8 - 1042*c_0101_4^7 + 3760*c_0101_4^6 + 3858*c_0101_4^5 + 455*c_0101_4^4 - 621*c_0101_4^3 - 57*c_0101_4^2 + 29*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB