Magma V2.19-8 Wed Aug 21 2013 01:04:37 on localhost [Seed = 1781297684] Type ? for help. Type -D to quit. Loading file "L14n24550__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24550 geometric_solution 12.40854883 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 0 1 0 1 -1 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 2 1 0 0 0 0 -1 -1 0 2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467431768409 0.721629435371 0 4 4 5 0132 0132 1302 0132 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 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.774298304241 1.099424402172 0 0 4 6 3012 0132 0132 0132 1 1 1 0 0 -1 0 1 0 0 0 0 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 3 0 -3 -1 0 0 1 0 2 0 -2 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662087048495 0.897127306193 5 7 8 0 0213 0132 0132 0132 1 1 1 1 0 -1 0 1 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 0 0 0 2 0 -2 0 0 0 0 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793175258170 0.816831025356 1 1 9 2 2031 0132 0132 0132 1 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 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.571802054333 0.607997289736 3 10 1 7 0213 0132 0132 1230 1 1 1 1 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 0 0 0 0 0 0 1 0 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575444408551 0.918075125371 11 8 2 10 0132 1023 0132 3120 1 1 1 1 0 0 -1 1 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 0 3 -3 0 0 -1 1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947151005461 1.111105098856 5 3 8 11 3012 0132 1023 2103 1 1 1 1 0 1 0 -1 0 0 0 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 0 -2 0 2 0 0 0 0 1 0 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.153815780396 0.760288455387 6 12 7 3 1023 0132 1023 0132 1 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 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.700309584634 0.463933634727 11 10 12 4 2103 0321 2103 0132 1 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 0 0 0 0 0 0 0 0 0 0 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.687998673052 0.660930084076 6 5 12 9 3120 0132 0132 0321 1 1 1 1 0 0 0 0 0 0 0 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 0 0 0 0 -1 0 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851446846840 1.003034822174 6 12 9 7 0132 3201 2103 2103 1 1 1 1 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 -1 0 1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291306803265 1.150483412664 9 8 11 10 2103 0132 2310 0132 1 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 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.632265349873 0.530893843254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_8'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_6'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_8'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_12'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_9']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_9, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_0101_7, c_0101_8, c_1001_12, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2071536851301993957779152079369569358755619814443866980124871270222\ 752365338477730334093063468578192517/807589879081330376331389337359\ 5732287846414721396156548289530427138198428865484512705957272864384\ 0*c_1001_4^19 + 329833621799242575493289827619308460207533140311190\ 794065649697274160355409534172231879802891165179146309/201897469770\ 3325940828473343398933071961603680349039137072382606784549607216371\ 128176489318216096000*c_1001_4^18 - 1022836704867410898393779756051816982950032023894218002965736337457\ 68568004077413028994907717613903269453/2523718372129157426035591679\ 2486663399520046004362989213404782584806870090204639102206116477701\ 2000*c_1001_4^17 - 341879857588473046488750962622086663920087718124\ 6547135112361312657309046979044687305792991459172134124219/67299156\ 5901108646942824447799644357320534560116346379024127535594849869072\ 123709392163106072032000*c_1001_4^16 + 2192425095140761178153789084969568762930832024147672980387339548889\ 835701165152421643998742890329216077669/403794939540665188165694668\ 6797866143923207360698078274144765213569099214432742256352978636432\ 19200*c_1001_4^15 + 39820383198488771231168798514558949119880559141\ 760314800193074475658744584216283205294851574061188925897263/201897\ 4697703325940828473343398933071961603680349039137072382606784549607\ 216371128176489318216096000*c_1001_4^14 + 3177831110995837260484352842079134252617442151679305488919410408078\ 1909324459759452612424340334586331021641/50474367442583148520711833\ 5849733267990400920087259784268095651696137401804092782044122329554\ 024000*c_1001_4^13 + 3664848221757515436731958049866420052796737820\ 60110827740515534819021853244361248842516911416302895185063821/2018\ 9746977033259408284733433989330719616036803490391370723826067845496\ 07216371128176489318216096000*c_1001_4^12 - 1391878711289373905618550241892478434515542639978223812004699616474\ 6891673043153529874415991250321175100951/15773239825807233912722447\ 9953041646247000287527268682583779891155042938063778994388788227985\ 63250*c_1001_4^11 - 12920218820078918970050217465590549888395757254\ 38993124246620046380367335602355996971442829514152136869312919/1009\ 4873488516629704142366716994665359808018401745195685361913033922748\ 03608185564088244659108048000*c_1001_4^10 + 1304284241747332752042905057684772527141652614221808361762472344277\ 021160094161344204398196349442605078484389/403794939540665188165694\ 6686797866143923207360698078274144765213569099214432742256352978636\ 43219200*c_1001_4^9 + 210002637766300484601935423099752985905501912\ 8129203822960793896408307987163177439812537670905240364439418577/10\ 0948734885166297041423667169946653598080184017451956853619130339227\ 4803608185564088244659108048000*c_1001_4^8 - 8526761434484840471021428423758926741821811215519446651416808709064\ 336969750495405971935408337062245742770357/201897469770332594082847\ 3343398933071961603680349039137072382606784549607216371128176489318\ 216096000*c_1001_4^7 + 26684467310285028961561268022801794268694339\ 1838517942621472815191543152257169250772063616998779135115177981/40\ 3794939540665188165694668679786614392320736069807827414476521356909\ 921443274225635297863643219200*c_1001_4^6 + 3432569465839034408882591231881278501269612155159926678578543524184\ 60936055899278045225502601887355089063107/2523718372129157426035591\ 6792486663399520046004362989213404782584806870090204639102206116477\ 7012000*c_1001_4^5 - 1778935985242094557290760793584454893660745364\ 146046517160448776880497123407160758447971607001025441696335873/100\ 9487348851662970414236671699466535980801840174519568536191303392274\ 803608185564088244659108048000*c_1001_4^4 + 6880091077881651737516775196225771070255524718889350986012484208036\ 25786114842577032745309378688111005604749/1009487348851662970414236\ 6716994665359808018401745195685361913033922748036081855640882446591\ 08048000*c_1001_4^3 - 363694829743599255566748492908408955645816008\ 550154929252310898101128366644270067109639066947232797550234361/504\ 7436744258314852071183358497332679904009200872597842680956516961374\ 01804092782044122329554024000*c_1001_4^2 + 1778335742514778819264396099279118809999268661424775274167429916662\ 09909832156473693127608166720532237517437/5047436744258314852071183\ 3584973326799040092008725978426809565169613740180409278204412232955\ 4024000*c_1001_4 - 108163730219074539007421198175877421964582032855\ 336358725030095516866415121763128016240030486967635835519063/201897\ 4697703325940828473343398933071961603680349039137072382606784549607\ 216371128176489318216096000, c_0011_0 - 1, c_0011_10 + 20764154282271813286243625794983693701350028749586357129932\ 4875973175846873125/25746405161517635766433779611870445257726647920\ 2414068131498469672278538195816252*c_1001_4^19 + 1412034420129083732757588920240339112527398450675284867835598791322\ 882594313875/257464051615176357664337796118704452577266479202414068\ 131498469672278538195816252*c_1001_4^18 - 6693358201938626262746888787401433666607133284052789065084544758932\ 12320357432/6436601290379408941608444902967611314431661980060351703\ 2874617418069634548954063*c_1001_4^17 - 4232928049560293457683538764497793799560506050634318706477563137025\ 7470907955239/25746405161517635766433779611870445257726647920241406\ 8131498469672278538195816252*c_1001_4^16 + 2568633457498837437682405173404214770704460387295249928557898843572\ 4764590626421/25746405161517635766433779611870445257726647920241406\ 8131498469672278538195816252*c_1001_4^15 + 1721493467271183739248745425793236877828260182327711426910993841584\ 12947093842797/2574640516151763576643377961187044525772664792024140\ 68131498469672278538195816252*c_1001_4^14 + 1464151949803170714438879415125085659736326386781423683676109986207\ 60073175551123/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4^13 + 1713814362428406785018519206336867079791734865523895055600999654058\ 932386746111401/257464051615176357664337796118704452577266479202414\ 068131498469672278538195816252*c_1001_4^12 - 3215457501367851811375464294478648667945175755992350227407185244773\ 531623907523155/128732025807588178832168898059352226288633239601207\ 034065749234836139269097908126*c_1001_4^11 - 6600620185770985663974661028981328210701277161645181684177193979380\ 653331123055783/128732025807588178832168898059352226288633239601207\ 034065749234836139269097908126*c_1001_4^10 + 2052758824117317448736593449481460532164165452839236269388202755643\ 9281561811029287/25746405161517635766433779611870445257726647920241\ 4068131498469672278538195816252*c_1001_4^9 + 1329278997948219347608286879029739085249458304313904689518132330671\ 0285496186094925/12873202580758817883216889805935222628863323960120\ 7034065749234836139269097908126*c_1001_4^8 - 2284135168422635873245983529829628205536538475109822606562038106785\ 1426066702312861/25746405161517635766433779611870445257726647920241\ 4068131498469672278538195816252*c_1001_4^7 - 7334653680836938392779485456278665830857414861828852880377952736999\ 873957505156401/257464051615176357664337796118704452577266479202414\ 068131498469672278538195816252*c_1001_4^6 + 4416555482579207505442826704875679694248455621576840366521282102879\ 235231640327497/128732025807588178832168898059352226288633239601207\ 034065749234836139269097908126*c_1001_4^5 - 4305267811738039617642633353281418313321039843488245863931972500841\ 447748969575667/128732025807588178832168898059352226288633239601207\ 034065749234836139269097908126*c_1001_4^4 + 5354626073110419089141044356236747807621751521273594505188737165633\ 6203907785413/64366012903794089416084449029676113144316619800603517\ 032874617418069634548954063*c_1001_4^3 - 1145873990945789955934243190636260104267377914306069876983549658925\ 267392653740442/643660129037940894160844490296761131443166198006035\ 17032874617418069634548954063*c_1001_4^2 + 1380490633893723934116736936539262189406545708571051184531098000621\ 67016194003387/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4 + 2228583106898162590658946177237001651600713776326768619309185963260\ 17601168252005/2574640516151763576643377961187044525772664792024140\ 68131498469672278538195816252, c_0011_11 - 34967814698691406516744309882887027962702575061725577930583\ 09897477967990746275/7723921548455290729930133883561133577317994376\ 07242204394495409016835614587448756*c_1001_4^19 - 2221192307776448456873247814309575947000228142481631510796775009557\ 8363722259027/77239215484552907299301338835611335773179943760724220\ 4394495409016835614587448756*c_1001_4^18 + 2787409637460440226535248179281196813483063912718589683702727590404\ 1216814788241/38619607742276453649650669417805667886589971880362110\ 2197247704508417807293724378*c_1001_4^17 + 2307598329217347229425123757426106172750517043126660142362841468668\ 26117048425209/2574640516151763576643377961187044525772664792024140\ 68131498469672278538195816252*c_1001_4^16 - 7541829397788064576403440627901496252734459226672624698711665344678\ 68652954262729/7723921548455290729930133883561133577317994376072422\ 04394495409016835614587448756*c_1001_4^15 - 2698188025934884580221779490429718782541207183353609678363679713126\ 419194420505233/772392154845529072993013388356113357731799437607242\ 204394495409016835614587448756*c_1001_4^14 - 4247988868925263872346724248732277483240732637197693841434481886295\ 471352047092313/386196077422764536496506694178056678865899718803621\ 102197247704508417807293724378*c_1001_4^13 - 2456653953313914355587816527703406725560657538866783115239087584739\ 6020495041201683/77239215484552907299301338835611335773179943760724\ 2204394495409016835614587448756*c_1001_4^12 + 3026354343832197834464078206883931965256856719784282697245559681637\ 2401822782462662/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^11 + 4326256115298532945923022831103525531290792405083554003371564190617\ 6147512269585546/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^10 - 4476121846624567770069785278451480015484596192491995366070590172907\ 67362692041764543/7723921548455290729930133883561133577317994376072\ 42204394495409016835614587448756*c_1001_4^9 - 6956610024357744299978747068734190971823088305234710287614215795939\ 2093171114883617/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^8 + 5922621753553891402958797858761006935611232944720641457880616884315\ 41431041904554935/7723921548455290729930133883561133577317994376072\ 42204394495409016835614587448756*c_1001_4^7 - 9896452487021574597359760223790816305133494670805508420563163493925\ 1548560638034839/77239215484552907299301338835611335773179943760724\ 2204394495409016835614587448756*c_1001_4^6 - 9553438481833585054930052004511238518561850717112681452668663008385\ 8499605206447243/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^5 + 6172426813195166204119653645512898998692531682585638816218228929276\ 4282542104443536/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^4 - 4966205217428844558544658771245119343186913696712564470439925776613\ 2712265394919979/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^3 + 4953607835879640873553917356233519830008014701253859712291092642999\ 7904878193797029/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^2 - 1267873392138579160723547791034489858021253558912680060270963498399\ 0515339113313985/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4 + 7427324037913164918245429400132179926681150388365050916806083187348\ 316571605737257/772392154845529072993013388356113357731799437607242\ 204394495409016835614587448756, c_0011_3 - 1, c_0011_9 + 235753631259214603424484498981162398096448750154650839179156\ 9625973135047747125/77239215484552907299301338835611335773179943760\ 7242204394495409016835614587448756*c_1001_4^19 + 1518590070291519020438003260093762697436057352592910285556941129137\ 0736297427345/77239215484552907299301338835611335773179943760724220\ 4394495409016835614587448756*c_1001_4^18 - 9050748521876370209913135840298235700856538980533259836196072023169\ 372760108581/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^17 - 1566018596692546791350940298022913974401008845339114730108925050674\ 73523504257667/2574640516151763576643377961187044525772664792024140\ 68131498469672278538195816252*c_1001_4^16 + 4660819601944509071719468479308741631101390168211152298989852575607\ 12795892770405/7723921548455290729930133883561133577317994376072422\ 04394495409016835614587448756*c_1001_4^15 + 1855596114178881155659680479931765080108158834801295320878151856970\ 478028771086639/772392154845529072993013388356113357731799437607242\ 204394495409016835614587448756*c_1001_4^14 + 1474884437621210822220957116129488211837283884186125441027957603694\ 064625468539308/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^13 + 1710974289714979724501703111276185799857417230154630791570946630476\ 5975733258957045/77239215484552907299301338835611335773179943760724\ 2204394495409016835614587448756*c_1001_4^12 - 2000526134982869004847399474801188405975384625397672750270184251797\ 7515167957413059/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^11 - 6181974322486635341440470494747365110192645760267343869780706895465\ 7206078579954401/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^10 + 2898159143104590250739004810063948611677937649076931884694121660339\ 24505728101084257/7723921548455290729930133883561133577317994376072\ 42204394495409016835614587448756*c_1001_4^9 + 1060997460003511695667312714003864511465022909984187781925306245640\ 55946002559428109/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^8 - 3771186288308277220170123521612156022644477721496071449045673222664\ 75132949746081493/7723921548455290729930133883561133577317994376072\ 42204394495409016835614587448756*c_1001_4^7 + 3531400481397812998601058999050125388942490415574816237544504763758\ 2303354234784269/77239215484552907299301338835611335773179943760724\ 2204394495409016835614587448756*c_1001_4^6 + 3207023176137870853537327055459583836082166596928899021955431718388\ 4373043745311435/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^5 - 7733706943871858746435813288400299192818104506352637499443474007668\ 8367742462159571/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^4 + 2691095861533400725283148489078522278607163237765630846146108689306\ 7695557712026483/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^3 - 1597003781798499339677152048670197287736744476017420070777265398224\ 3559792169613018/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^2 + 7287578667771660509185132499547805958521511796238329718320583579284\ 855636500586475/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4 - 3367450862677279746503617268733217788793544913192502334514774067556\ 862269708313283/772392154845529072993013388356113357731799437607242\ 204394495409016835614587448756, c_0101_10 - 13872784895999606504643485435551467728676362659012936692494\ 8062509703383912050/19309803871138226824825334708902833943294985940\ 1810551098623852254208903646862189*c_1001_4^19 - 8396258486929148528130357647254349952978211598281527413891949528154\ 94058930214/1930980387113822682482533470890283394329498594018105510\ 98623852254208903646862189*c_1001_4^18 + 2481947361301674182067235121733552297280503575688980963530571737359\ 122903600716/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^17 + 8951369687667383975934389377275421018595995617903514101667525359961\ 003942084856/643660129037940894160844490296761131443166198006035170\ 32874617418069634548954063*c_1001_4^16 - 3817290561820007537926807897143514710477598107154545441569956044462\ 6494156592665/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^15 - 9954655663964289624206133906071142066246110421169459291561137249336\ 6539924387452/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^14 - 3061806007149217379099999933064791354866120833907038136481259550245\ 46306499782262/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^13 - 8643051000378884074461856978042297837885856921610395055251599998310\ 91632604718727/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^12 + 5116472457161300369289701217706234718179726285110354199356347119104\ 392952838895047/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^11 + 5497212248167506697262989867800374782246693225842775406781435032134\ 028542577894002/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^10 - 1994331123159795491907771699622830388732998443278490075983096875864\ 0782094958024567/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^9 - 6549958574293079925628197454944907761348821265894042494241345570813\ 095169240959512/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^8 + 2730106159114846840735177431250381614592541391951186107800365880073\ 5208649426130478/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^7 - 8674534503567775309504976543438839035200693277333286225659203357625\ 039954525476225/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^6 - 7787919701677587596829399640627021810940198449687195988845489549000\ 230457796731733/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^5 + 1090951516886525903361480049217769496913049881665801377814399031595\ 5267926033138483/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^4 - 5421140508105697930332157778890214483706469804255084138087563930412\ 064937135993788/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^3 + 4030816196904868038937291947361128361570727170821213965972803521696\ 798573065219228/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^2 - 2980704148655162472262701657620902768819261550361533391084349705236\ 436188042791740/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4 + 5324532654403955809647669342467804886379976898380610694478268017163\ 34244918954968/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189, c_0101_2 - 259269087747779570478136615284326299660192113848151148343032\ 3492075508163012125/38619607742276453649650669417805667886589971880\ 3621102197247704508417807293724378*c_1001_4^19 - 8231503929253537754376939388246607875585525883443497480255960876367\ 473025662535/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^18 + 2065436671672854677124104257429157917245104179270120783454406891643\ 5853240199701/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^17 + 8547902731566506627156035201608560322088752001060233512382135101494\ 6727609535146/64366012903794089416084449029676113144316619800603517\ 032874617418069634548954063*c_1001_4^16 - 2794965537393232220646045353738244062992969082797436529772384927949\ 71634310062288/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^15 - 9943762910229981117791647450185176653432377557520277905279015189638\ 55522981560143/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^14 - 6321201224514950571262918623951478796273596432865017642812221940332\ 350893886178005/386196077422764536496506694178056678865899718803621\ 102197247704508417807293724378*c_1001_4^13 - 1820367265561691916203564423814613821817359108384363658475931888951\ 7395004899277277/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^12 + 4480780254708284666333389501553951955774379198537526892475341749439\ 0715108959184978/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^11 + 6395055446033254014363549228356391073813006089096409614881143343731\ 3545052039859938/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^10 - 1649396103213155837990499138164144875990401409327432249840131634940\ 96646956058793825/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^9 - 2055958057878689789136825230512629561940922165868770671395526827440\ 98908618624362933/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^8 + 4339124492689855971066448986314268852644726759341024375731250586056\ 35023335783243729/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^7 - 7266098602805886856974243942733057382654745672324962774720446539927\ 9704469566324473/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^6 - 1388976068865778721323295294626959405347689374541390007801006180663\ 37787600621693441/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^5 + 9050091897092415457320979750983774892536581493433358965540836776995\ 4559604132391731/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^4 - 3602699397340666832903889942056907965612352313842206202910962351523\ 8690400604888048/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^3 + 7380181922377663184506022913615021406630758316541915096564110004330\ 8181404627003903/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^2 - 1872008965144217090282715485861967835128222993229957022176095805285\ 4715643022197180/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4 + 2808916530255315835578795428104469029272088963392702977882053231923\ 631084395474463/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189, c_0101_4 + 259269087747779570478136615284326299660192113848151148343032\ 3492075508163012125/38619607742276453649650669417805667886589971880\ 3621102197247704508417807293724378*c_1001_4^19 + 8231503929253537754376939388246607875585525883443497480255960876367\ 473025662535/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^18 - 2065436671672854677124104257429157917245104179270120783454406891643\ 5853240199701/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^17 - 8547902731566506627156035201608560322088752001060233512382135101494\ 6727609535146/64366012903794089416084449029676113144316619800603517\ 032874617418069634548954063*c_1001_4^16 + 2794965537393232220646045353738244062992969082797436529772384927949\ 71634310062288/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^15 + 9943762910229981117791647450185176653432377557520277905279015189638\ 55522981560143/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^14 + 6321201224514950571262918623951478796273596432865017642812221940332\ 350893886178005/386196077422764536496506694178056678865899718803621\ 102197247704508417807293724378*c_1001_4^13 + 1820367265561691916203564423814613821817359108384363658475931888951\ 7395004899277277/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^12 - 4480780254708284666333389501553951955774379198537526892475341749439\ 0715108959184978/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^11 - 6395055446033254014363549228356391073813006089096409614881143343731\ 3545052039859938/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^10 + 1649396103213155837990499138164144875990401409327432249840131634940\ 96646956058793825/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^9 + 2055958057878689789136825230512629561940922165868770671395526827440\ 98908618624362933/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^8 - 4339124492689855971066448986314268852644726759341024375731250586056\ 35023335783243729/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^7 + 7266098602805886856974243942733057382654745672324962774720446539927\ 9704469566324473/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^6 + 1388976068865778721323295294626959405347689374541390007801006180663\ 37787600621693441/3861960774227645364965066941780566788658997188036\ 21102197247704508417807293724378*c_1001_4^5 - 9050091897092415457320979750983774892536581493433358965540836776995\ 4559604132391731/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^4 + 3602699397340666832903889942056907965612352313842206202910962351523\ 8690400604888048/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^3 - 7380181922377663184506022913615021406630758316541915096564110004330\ 8181404627003903/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^2 + 1852699161273078863457890151153065001184928007289775967066233420060\ 0506739375334991/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4 - 2808916530255315835578795428104469029272088963392702977882053231923\ 631084395474463/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189, c_0101_6 + 526777879381994636137635448498862693156911050870400794116079\ 781680804189320650/643660129037940894160844490296761131443166198006\ 03517032874617418069634548954063*c_1001_4^19 + 3351143959431827315839264170745001253849106795343929956916135855851\ 968972204152/643660129037940894160844490296761131443166198006035170\ 32874617418069634548954063*c_1001_4^18 - 8354021638674559504871172911004675585375620086568544766646843399750\ 377284384998/643660129037940894160844490296761131443166198006035170\ 32874617418069634548954063*c_1001_4^17 - 1043018182148932443453965992682541198242315635172657309273701435711\ 38300351371774/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4^16 + 1123746327068602776559885423693707959494824003633602785218554073161\ 93570109006990/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4^15 + 4053847200891449505915108388362313743702506560538644119348763217203\ 65923227767890/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4^14 + 1288246419743959099253573715957774191304787933233848206050855186684\ 176141325680482/643660129037940894160844490296761131443166198006035\ 17032874617418069634548954063*c_1001_4^13 + 3716023452923412652421181196372526288298777035860552268493569346433\ 905165171598083/643660129037940894160844490296761131443166198006035\ 17032874617418069634548954063*c_1001_4^12 - 1816789929557493320724849626570754720559511372872915585627272954197\ 3160078701502960/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^11 - 2618615270400898743111048786888227216933560251444691247693659656218\ 8914122527707994/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^10 + 6673382126139006489862836451478770758368064835224265576688257620885\ 3019808360973288/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^9 + 4241827836842159793420385966844853101821495343700924262481743468119\ 5915384221261937/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^8 - 8759512945737854815995621824208950340710232084597439327449380372767\ 5426545293866546/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^7 + 1390233995724767284855731996095095550382496880148404949105482956522\ 6513437087597433/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^6 + 2827484919737078799638160800031218512052614414430576428820594368287\ 3887616612663896/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^5 - 3639580393773479440396867502626255614858958579474211720404294447822\ 6688511529918807/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^4 + 1419653035404014630759444473596213285630868863663619537179008772096\ 7398711061944844/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^3 - 1478617476398413201284469857598359559374066491868492257377761531166\ 0038449746948391/64366012903794089416084449029676113144316619800603\ 517032874617418069634548954063*c_1001_4^2 + 7338448725071523899099105537260302269927309859359458333536572049443\ 591799175709932/643660129037940894160844490296761131443166198006035\ 17032874617418069634548954063*c_1001_4 - 1049439216194908208366599790692798592927856190781967952830543266978\ 259643981059934/643660129037940894160844490296761131443166198006035\ 17032874617418069634548954063, c_0101_7 - 108065000661464564283733898675111887804257859668245097321235\ 688344342507489975/193098038711382268248253347089028339432949859401\ 810551098623852254208903646862189*c_1001_4^19 - 7092474292034882036613297502752562770524098607194064785532556155709\ 39549718573/1930980387113822682482533470890283394329498594018105510\ 98623852254208903646862189*c_1001_4^18 + 1563627926624008082334232229334322359949764960644254292648127107657\ 642665867222/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^17 + 7225096121847084446219214926024493746308882716282712867956071828478\ 651078624610/643660129037940894160844490296761131443166198006035170\ 32874617418069634548954063*c_1001_4^16 - 1851509641854054763771055756314072291339410874653421649019922531444\ 3248579476789/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^15 - 8563357595807017828240569128302367525261080682717856112932318015669\ 0822763668088/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^14 - 2848065204890139822752914940468325808546850101265915865110223090199\ 10195310076748/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^13 - 8226743919238318732415056824328513249253652284057951328865779116733\ 22022311285408/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^12 + 3550121461087147144449141634492531702694284870879414919718887171756\ 097568129859329/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^11 + 6051268929667613677127389534153567620789187772498880833699126647389\ 627248815767952/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^10 - 1214806136553294822356616357196199748330325846111573292888747748402\ 7389547954983445/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^9 - 1115695632857495469963702213900876581550302333570694943648480304167\ 8353059882161280/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^8 + 1454634134612035692440675691480772197561223469221833841219007856927\ 8361407104459997/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^7 + 8587932082753657089712151085243049881668109721108757303380749641928\ 41529675190681/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^6 - 4902933796476368326856145933009580600448670972808994970237348329941\ 971702014892071/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^5 + 5473443733212622956897095362457847072188480206585924779702252451378\ 433136410549923/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^4 - 9788086415657040213907133810761071459149234931998214939089262736234\ 80253740602579/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^3 + 2495994557734862390252312775928398025757586924932877855896768574001\ 390020792693557/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^2 - 9836440025823364891641372505743473824626966106803139200905944590839\ 39585801375638/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4 - 1511024949096831047036848297609420151708998683753726772634131353196\ 0453012864886/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189, c_0101_8 + 567976398814172112044446538149913162339545166740893281266155\ 198009316972911775/386196077422764536496506694178056678865899718803\ 621102197247704508417807293724378*c_1001_4^19 + 1821927949041944193140853123988395885961794502588292390492446691188\ 433890949921/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^18 - 4407698199295131743372476158722447583675818467004426465396461282815\ 278612955293/193098038711382268248253347089028339432949859401810551\ 098623852254208903646862189*c_1001_4^17 - 1882279089922817807383624725216851660334404350666339580354879255619\ 1572741836628/64366012903794089416084449029676113144316619800603517\ 032874617418069634548954063*c_1001_4^16 + 5762734438125761090336109173428798154915029281033718258832772915360\ 9076016958682/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^15 + 2217778692444367399953677714901764577675142124095654452767274461972\ 42246701743527/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^14 + 1408277293948804024258523671795166351555131166538071593492909179772\ 705954067904887/386196077422764536496506694178056678865899718803621\ 102197247704508417807293724378*c_1001_4^13 + 4092468061923556752491442940089019511619071131319677026202097189086\ 035986130311221/386196077422764536496506694178056678865899718803621\ 102197247704508417807293724378*c_1001_4^12 - 9695895339641952958411593781583122059041549200812198644064771131528\ 765127145323902/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^11 - 1460790365169442214969597132308290576987674665237664128199835624925\ 3197315543264044/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^10 + 3526185346285461089683517972794863515200180412398474231663456513246\ 2412469024126039/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^9 + 4891386442266060869154063495942822991519750403517838860935192534307\ 6583686703208689/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^8 - 9165832747528569185309241082111013517814124914174392207383776376041\ 7535935979955547/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^7 + 1075305371542716852160148033837515919640235608565466919912451199207\ 9376152959260125/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^6 + 3075148829764685584596011853917717018838792741169558494913504403090\ 5538099054289935/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^5 - 1868649284228022863869622756894991952040294244989276195672046566472\ 5505930457364690/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^4 + 6562597088713770593744434787317318912802542771486524086260639647663\ 505732580946484/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^3 - 1491522936012816023200796231975135949613640634669038447702459182665\ 2049293854686443/38619607742276453649650669417805667886589971880362\ 1102197247704508417807293724378*c_1001_4^2 + 3295256523772400794470161753161228458499699645778804778848758095476\ 059754504932616/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4 - 3394011183294087895210039439739267495114796089532008806095765690111\ 47847547705339/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189, c_1001_12 + 17190614871059799734593411998521027567574967792013317492731\ 87407552115951874000/1930980387113822682482533470890283394329498594\ 01810551098623852254208903646862189*c_1001_4^19 + 1089305772698839680033082827696043875684514154585994261213760252037\ 1400975542670/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^18 - 2754401227732535269668075385474757905340736383539461526347110193661\ 0254756755710/19309803871138226824825334708902833943294985940181055\ 1098623852254208903646862189*c_1001_4^17 - 1132531879025606283213309886455295408428275591351692450290376689310\ 99304293456630/6436601290379408941608444902967611314431661980060351\ 7032874617418069634548954063*c_1001_4^16 + 3752968037387809083472337060795475349532231821616262899812657823932\ 07204483613635/1930980387113822682482533470890283394329498594018105\ 51098623852254208903646862189*c_1001_4^15 + 1315700716907077748016593855569405543773213072373287828720240337654\ 464309607691122/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^14 + 4170919859946799035670721141179801709400975883092248431800691515077\ 074730476823708/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189*c_1001_4^13 + 1201237545880812636470972928692180864868491679974269631100586803913\ 2807128119512976/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^12 - 5962017034388609999103519001482887633496506747129782176817453574502\ 3873188943403927/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^11 - 8405567036019446899059445347444719129025350076918351283759122471870\ 0770910161017984/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^10 + 2201447750157681496149628105405914266383719294895128680604786973851\ 99841520040944431/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^9 + 1338047936795578737282397764602905008159936815769217703686936496144\ 00841321904745323/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^8 - 2900864499632841128872204290387723263672323764574350409014850699837\ 61488285307730116/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^7 + 5038155437531079385517693642629170554667559968178543469882369205330\ 4580265788268524/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^6 + 9261246729378995158597422364156357717251863088260448885346332059762\ 1893307634723421/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^5 - 1200969269820696422455208255709653634148992562008843653902728237506\ 35333460622894904/1930980387113822682482533470890283394329498594018\ 10551098623852254208903646862189*c_1001_4^4 + 4801073157022613685311549198677661305263253571416367025345782709331\ 4261070321828320/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^3 - 4838934048885726407747138767531191514279272192687598168730564945667\ 6913922306064401/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4^2 + 2480295228515835190131176492231278123916824126903809784059544200131\ 3002681923059347/19309803871138226824825334708902833943294985940181\ 0551098623852254208903646862189*c_1001_4 - 3680770914025120206064566306325176267421566262183964927939456602651\ 113176862134770/193098038711382268248253347089028339432949859401810\ 551098623852254208903646862189, c_1001_4^20 + 152/25*c_1001_4^19 - 441/25*c_1001_4^18 - 4837/25*c_1001_4^17 + 6722/25*c_1001_4^16 + 17694/25*c_1001_4^15 + 55809/25*c_1001_4^14 + 159189/25*c_1001_4^13 - 182229/5*c_1001_4^12 - 998966/25*c_1001_4^11 + 3508443/25*c_1001_4^10 + 1118117/25*c_1001_4^9 - 940367/5*c_1001_4^8 + 1833102/25*c_1001_4^7 + 1139563/25*c_1001_4^6 - 2100434/25*c_1001_4^5 + 232076/5*c_1001_4^4 - 35766*c_1001_4^3 + 546248/25*c_1001_4^2 - 151407/25*c_1001_4 + 15083/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.650 Total time: 2.859 seconds, Total memory usage: 32.09MB