Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1646526142] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0877 geometric_solution 4.78160266 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.678338863614 0.066425120849 2 0 2 0 0132 2310 1023 0132 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 0 0 0 -1 1 1 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 0.861473356656 0.076561157740 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 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 1 -1 -1 0 1 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 0.779249413136 0.218288709772 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 0 -1 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.028019798776 0.929430851006 3 5 6 5 0132 0213 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 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 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.682905052233 0.743870447581 4 6 4 3 3012 3201 0213 0132 0 0 0 0 0 -1 0 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 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.682905052233 0.743870447581 6 6 5 4 1302 2031 2310 0132 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 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.055137949840 0.953334373198 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 8733822480973319630443425169419346458249767934501176511109599741433\ 8738842602081/73892063227214807684698277176827286233908821091204831\ 0630043575015354432712176*c_0101_4^30 + 1004451812295984948641654341201159167196547342207825429729570970040\ 91199613517589/3694603161360740384234913858841364311695441054560241\ 55315021787507677216356088*c_0101_4^29 - 4293796708721010477747432651543036072895648760491049042886029163770\ 08463866211263/9236507903401850960587284647103410779238602636400603\ 8828755446876919304089022*c_0101_4^28 - 5836237010162553404804716981839530942372841804502106493710010769264\ 508579160255543/738920632272148076846982771768272862339088210912048\ 310630043575015354432712176*c_0101_4^27 + 5535615155130123754136093392976932219220396305165186682182378102364\ 8147744416853589/73892063227214807684698277176827286233908821091204\ 8310630043575015354432712176*c_0101_4^26 + 4402223865158385809805862815192745458550535274985171908096085922295\ 867171610040315/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^25 - 5086237844493519073744451659002227719469951563445135617495372778596\ 74774227560703107/7389206322721480768469827717682728623390882109120\ 48310630043575015354432712176*c_0101_4^24 - 6196666229158709544884334440307067682723291697830912268666244272753\ 69968006970828445/7389206322721480768469827717682728623390882109120\ 48310630043575015354432712176*c_0101_4^23 + 1356109044426217982747981041187047210491507762399238409930046693486\ 327563798621887335/369460316136074038423491385884136431169544105456\ 024155315021787507677216356088*c_0101_4^22 + 2205776039976765883480660158875461560773257461179036831537608624125\ 969023148836346871/369460316136074038423491385884136431169544105456\ 024155315021787507677216356088*c_0101_4^21 - 6280857465038152250345409179082521072994946964393943671645612788574\ 064246489558643019/738920632272148076846982771768272862339088210912\ 048310630043575015354432712176*c_0101_4^20 - 1823232341997830010910788592398022568259568595116761019602914441421\ 7920131851890034745/73892063227214807684698277176827286233908821091\ 2048310630043575015354432712176*c_0101_4^19 - 2920597896602425412879721107324192369658073376777829259504289510314\ 242364829706998955/369460316136074038423491385884136431169544105456\ 024155315021787507677216356088*c_0101_4^18 + 1393349506863042047762371927617402301267568412423908465455886495523\ 3890495271600049779/36946031613607403842349138588413643116954410545\ 6024155315021787507677216356088*c_0101_4^17 + 4846400303817389867467868540534625836761095678436052200340773290711\ 4164281866123429191/73892063227214807684698277176827286233908821091\ 2048310630043575015354432712176*c_0101_4^16 + 1042303055589969817833568576591350795099541424515221457236713177736\ 5728702330104664233/36946031613607403842349138588413643116954410545\ 6024155315021787507677216356088*c_0101_4^15 - 3114282097928650573266266035946175024619062976751335110238572238015\ 803213644270274318/461825395170092548029364232355170538961930131820\ 03019414377723438459652044511*c_0101_4^14 - 4580650075662964877617678829703819880000654064383327515925148448427\ 4973481938897144995/36946031613607403842349138588413643116954410545\ 6024155315021787507677216356088*c_0101_4^13 - 1710512827235540255952514015919148239737996755318097615731708991583\ 3979441044761284973/36946031613607403842349138588413643116954410545\ 6024155315021787507677216356088*c_0101_4^12 + 1628710501262748911107493521777095284681012080888983924185198656310\ 3569183087342409681/18473015806803701921174569294206821558477205272\ 8012077657510893753838608178044*c_0101_4^11 + 1877404512824749459175764281854461489514572111376134302555640459459\ 4680475422050264927/18473015806803701921174569294206821558477205272\ 8012077657510893753838608178044*c_0101_4^10 + 2772202345960410281621982048007139458141006255649158282232687502523\ 129793398625003561/738920632272148076846982771768272862339088210912\ 048310630043575015354432712176*c_0101_4^9 - 1727864756471268434884993519193790453422336626277334331374424099628\ 9638530272685164949/36946031613607403842349138588413643116954410545\ 6024155315021787507677216356088*c_0101_4^8 - 3614015832969282053863197715801182434174722793717197456432983316045\ 315230244635099739/184730158068037019211745692942068215584772052728\ 012077657510893753838608178044*c_0101_4^7 + 2403584622616047597553421314828442347859790336615642717617836255310\ 370864927197663593/369460316136074038423491385884136431169544105456\ 024155315021787507677216356088*c_0101_4^6 + 2714133454591918260188280851508419168364827389062375257100389686829\ 26764411887450574/4618253951700925480293642323551705389619301318200\ 3019414377723438459652044511*c_0101_4^5 + 2808645501582469889170411868529325470829386047324812944669031091841\ 32037678298851391/7389206322721480768469827717682728623390882109120\ 48310630043575015354432712176*c_0101_4^4 - 4336515052929825935659782871105726544483436401905860783537981683846\ 89992711310295165/7389206322721480768469827717682728623390882109120\ 48310630043575015354432712176*c_0101_4^3 - 4827083858504738155019148897406997192755236509237279295612493153055\ 5599651784401565/36946031613607403842349138588413643116954410545602\ 4155315021787507677216356088*c_0101_4^2 + 9171614230778777067339858124960507491348287920794327863672350522305\ 846003595295793/738920632272148076846982771768272862339088210912048\ 310630043575015354432712176*c_0101_4 + 3846781852258938401248316679531713495902699569466227284499416696747\ 223912107069231/738920632272148076846982771768272862339088210912048\ 310630043575015354432712176, c_0011_0 - 1, c_0011_1 + 280493851357628111383250056549590055362548552167062781232172\ 01341991709921630/4618253951700925480293642323551705389619301318200\ 3019414377723438459652044511*c_0101_4^30 + 6967581037341401609191504397306277013835427044956755386398035798894\ 3674960049/46182539517009254802936423235517053896193013182003019414\ 377723438459652044511*c_0101_4^29 - 1087705096019064846558641963230919399572800986526913052253253646777\ 449176937501/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^28 - 2068058515478407750145108173872193953002838136932526408178432241595\ 984200884776/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^27 + 1729357172209561341323574772909429173505477140890945381397452318789\ 9096940323863/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^26 + 2561692283159420526193993662361326719899741489549547688084199515789\ 0543884523133/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^25 - 1569748820634901043834538174211255659352727374605838148864208625169\ 08640302984656/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^24 - 2256482457212486052170880744973182331482730776873698374355690751915\ 10610121942620/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^23 + 8144363099261345111966918909108627999757853405604195581426844014789\ 26561363123647/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^22 + 1547055041149248685436737544763579921297921909419387410573853471270\ 920979897673635/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^21 - 1653657833308959531250729880133606272684661390981357813093042180281\ 483738064399061/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^20 - 6023202264455216645856804314391487521947244919767542999151706355905\ 497755381395555/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^19 - 3152580250572154437067612514180345694597088574225617215714467356722\ 225437760423395/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^18 + 7827260164540309772086679682570039149368166478174122210543764933696\ 631467935297509/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^17 + 1675938312903749129008722204798440157469968538237498927761088881629\ 0407634870175667/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^16 + 1051030741531010738574471617803131159141644471325976967507481146694\ 9804704554976370/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^15 - 1258625831093261630828894550655624616232018805534117930549846986438\ 1956145835275700/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^14 - 3086226484315962079370737474828592086350993590897798752946647632921\ 5303778185822736/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^13 - 1785048322139643538901497287247367509566321633268917238279932509475\ 3942461424752365/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^12 + 1492159123659497066875638768843179522679726016517416113583451341492\ 6681076780815530/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^11 + 2540956584310576028947333018798083642094519582834658308203230866736\ 1331652710963464/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^10 + 6945710747845193765810466440566527673986246899996169783978306256406\ 320702016371542/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^9 - 7702722947815193599138072861528118379432594768843284205557256195243\ 769067079892323/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^8 - 5558298725907219700500039146220496720724231734719908385638431814849\ 800038383912447/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^7 - 9181715247580836555132212640355231997573202149947499689779635058870\ 4484398866379/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^6 + 9742326141104911583341552655682016504559219501483326558669156447072\ 75778112923140/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^5 + 2559261409706449152703476177485267080499121923481886159050677676717\ 71473687334374/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^4 - 3356276983603757491585740252507090996891539619265146071799525309061\ 8627870990129/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^3 - 1918560074298257853015252325128501340383919360164704795914791906681\ 3161832320522/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^2 - 4054558917515073341819335725134599023470169510729365118990398895049\ 12555647292/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4 + 422590960900451404003309157154165\ 193604652071343081768006988574376058367438525/461825395170092548029\ 36423235517053896193013182003019414377723438459652044511, c_0011_5 + 188878018130925406380924787613638242482905038899084188287676\ 19692376714861445/4618253951700925480293642323551705389619301318200\ 3019414377723438459652044511*c_0101_4^30 + 4582705476635425600738432195084258489405127249554476007454999991105\ 8043752390/46182539517009254802936423235517053896193013182003019414\ 377723438459652044511*c_0101_4^29 - 7345038141246236445932576772960817051943396734564251739231010490500\ 34627934516/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^28 - 1348958325974302519040959099363048718032528462502155027744989046659\ 925467950524/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^27 + 1170009962701383539287307518070020943628059393330123278504816959256\ 2071170335827/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^26 + 1654091947446651095066942736960235716214692259376570915877038325137\ 2034291151985/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^25 - 1062891311459388583025967086346559394221441227612499286072226482615\ 56046897343967/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^24 - 1454335316394585261623149883035668902776277656452876251927193121705\ 29911154842066/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^23 + 5534439651108395282370992760282097964630868871976356470887211622002\ 50636467388573/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^22 + 1006553602970375729010187988810452792535897889344377795013928941240\ 265958310376489/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^21 - 1153655556620968723802811449348660915911670581005389788628391549062\ 014578569673957/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^20 - 3965019174305931470777084636250142978447674131558004302659397512861\ 273774104157826/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^19 - 1937438335352674568044790375191923651592732094753036706174181617866\ 602665652731455/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^18 + 5277813756438552871608279754864957557096522149655807287183580330517\ 198304038829209/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^17 + 1095823084577287605316540555133909947555422044963816344215487573690\ 4199840660297669/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^16 + 6610348534460273009009621579743851022108655683748865756499499947543\ 125754705115799/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^15 - 8584728008091911545710704263280505563664243657625158612313952060378\ 151054910670793/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^14 - 2017846595147569330579778196018221460777798154127266582223417435996\ 4123216863077564/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^13 - 1114445534877109998480788879784341492381314729727634618361171527003\ 4875188331883297/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^12 + 1018966960315299985358533454095575196303090479840484192093732646273\ 0419859534927608/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^11 + 1635894367127698496499491038059735959154480421795507505182297280667\ 9989590410307707/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^10 + 4083476691138972214469558857531681036230261171857879618170249625026\ 018709193332479/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^9 - 5068573014497288310382603170977412447637815051426614155168252562107\ 895863490446367/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^8 - 3454587291472990624547305117634655828791395564989060302830758017537\ 647286360757218/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^7 - 1706220575391169722808217075148636842319475164456518624267910054148\ 081189265328/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^6 + 6130533540772897481553502658118942602055196158865853930144843335421\ 20891614730522/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^5 + 1541484802220312205850384747559820437207876513139939057177467054402\ 15394461155758/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^4 - 2194542131616991243201100487912311577252946508153710028576599585327\ 9134938062210/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^3 - 1186863786608531491499724582032222462959196181073860991191347965512\ 1442038290484/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^2 - 2041149601352707060029592606803646008445740341489632197528466745494\ 46153802920/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4 + 279572453339910877141027618555213\ 745007876620412600792678358910125445831445973/461825395170092548029\ 36423235517053896193013182003019414377723438459652044511, c_0011_6 - 764469545803333517646961727535714375641572011848589368483335\ 6005441883032660/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^30 - 1893628966221178631777848930515642496717535784290533098019835208069\ 1795629028/46182539517009254802936423235517053896193013182003019414\ 377723438459652044511*c_0101_4^29 + 2959772877088593517981200763364855469363014242906532523113989206976\ 68229649576/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^28 + 5604688047712137127827155463533397519035438355617795621045829410048\ 41393441346/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^27 - 4693075849572724994772579600270406814736062328052455638772141270630\ 247271025146/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^26 - 6920413734845736148116349997199466806946153050628722189825534404176\ 582834240606/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^25 + 4244027805061627370310287681112182610506474087214839422870434205276\ 4611672170660/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^24 + 6091018865020517225639646818594285962399728051445472829968726710121\ 1833592514126/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^23 - 2188248956703729452411712574940013063006454041939643968285855094099\ 69180845738244/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^22 - 4176257212993937430381341287099763179947793480896050674004998570417\ 16107674279858/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^21 + 4344231243746016696594265942448145465787126389463440379601954794346\ 81700211237776/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^20 + 1618035791076718563174513028461835946566583298013263334475393495576\ 352239350869297/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^19 + 8973211057187346680254756709765422608350588029898496866359422908686\ 49115960045544/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^18 - 2042982295915921231405248395246296371285807730693578926975855052017\ 155001372311422/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^17 - 4550923315533467539606184251477404604799034472190936071655144237128\ 746112869363981/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^16 - 3002610264545946240946118766569273314194561347879914389483082084920\ 878110651284990/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^15 + 3207270144134243133069569442821098123828550676725896897136034252802\ 843979960421279/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^14 + 8328084878933651459035648172427416559369524042931780584595445223279\ 021351251171936/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^13 + 5114968114404966947006894605351677681808480385516113592287293913090\ 858467982090091/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^12 - 3652869415509518319920276777973260752813220685324883824459456979155\ 636679845754830/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^11 - 6823268954423306396743499220329959151671925977694853119681363623194\ 382860250560514/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^10 - 2213600245017606758459762809305128450650143402298887308676677231269\ 189876929154811/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^9 + 1830865235885990246725507047931031090629276091627848404825313088325\ 604133265038179/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^8 + 1556320620287080509053122678392075376509726015466969154412992046380\ 075822308930039/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^7 + 1377595452975912605025476133722604024215978178903916467368601419485\ 15953117839054/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^6 - 2453594758198717288703313674182471706026439341433789777381362616150\ 15919194643882/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^5 - 8508457016755109629878948421367541159998768920520683556864746977416\ 0297848780252/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^4 + 4411572094148083017753603557389211194048490730287582595631969577616\ 754879637416/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^3 + 5706083629861483775925295247570785770788138470836193208297959558570\ 100250823319/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^2 + 3091674134969418197206908086757544800224161747274752760352715699308\ 80264073008/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4 - 134462900729118035251831036551592\ 842867501798266524662212148419595559356420501/461825395170092548029\ 36423235517053896193013182003019414377723438459652044511, c_0101_0 - 139494332921268830240591458452322632895938400034846857688005\ 69951706278160107/4618253951700925480293642323551705389619301318200\ 3019414377723438459652044511*c_0101_4^30 - 3223116586066722739695195187783278483093345381258259799599058960293\ 0972186195/46182539517009254802936423235517053896193013182003019414\ 377723438459652044511*c_0101_4^29 + 5455726511725833271582729078085961105972240017395494741545870597418\ 51718060343/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^28 + 9320658492953725918694043421729744868190684865821699136879404447251\ 81199233927/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^27 - 8723959736401263031515204997690657371837111061379621429685015312795\ 720212567385/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^26 - 1117966608333047255032925709754252491213327795164178850966861467035\ 2982372707879/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^25 + 7938658645939256550856319108783008138495021370271452082563793690225\ 1445918319335/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^24 + 9795741029163658977727969740393642676850133637489212165921847426453\ 0571076699064/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^23 - 4163474838174140805389312856072732920086155491418432471025646964431\ 91776638082969/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^22 - 6929614160087041756787245997483179567406956821555556285685055604997\ 10895553591119/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^21 + 9119513741747715939030990928200866307112469483171873732581326247354\ 75528549211240/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^20 + 2803261983955631401704044377930712563335642513208284654235379195432\ 512758496331335/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^19 + 1160821466814821619188502306525819945167024610500876329742031211698\ 798356306811663/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^18 - 3935324460579768466601582985432388991717498649049261852302413689240\ 874255416904863/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^17 - 7647820075016046291131394991055698979536619296139687557339615273504\ 716221005046465/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^16 - 4182033755695194402050417552026642237989603718938185212497643665430\ 995177885418536/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^15 + 6584669588921163875757852213122167680364195007545543216998202646903\ 523435271597964/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^14 + 1411505369049944017532214031111176178626023720804537119645568115982\ 6398171854356950/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^13 + 6948476320853131042162005321093970282272533314525559105815025729695\ 690084024677630/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^12 - 7878460264899895517213566485840199004066082006642407074377228023150\ 252900526817854/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^11 - 1115436811253892782975757803034989591492701072890200332521423618838\ 1335055494305009/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^10 - 2161246494051919854324255927454700922474626895855275789135749507651\ 442831917265947/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^9 + 3705992699247888326074799887346767591974363743792022904630825298503\ 857877619948752/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^8 + 2224254471151677816771050537203950213716580094047808546280449349781\ 846939407934247/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^7 - 9814777123729065157563518856388590114496756190800734455712636721542\ 0852991757015/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^6 - 4187201338952664217159676992549034013808773407169651999317265906774\ 14224355671553/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^5 - 9164486797605164314468319978649017608991243065855958321795759093033\ 8825628612045/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^4 + 1759771517877844571139699716698331712764913260787049955478456070906\ 2872507480809/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^3 + 7402897726443210801959487792509821293334385843675913892248962288379\ 569390063420/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^2 - 1388078798257856993534930294865637745375141836321039827367690157824\ 93122408823/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4 - 176697441514495135743394643849127\ 297661653151160338742494931783284603231923482/461825395170092548029\ 36423235517053896193013182003019414377723438459652044511, c_0101_1 + 105930972568597779696715756545652255697221491532102277573344\ 98301546452855109/4618253951700925480293642323551705389619301318200\ 3019414377723438459652044511*c_0101_4^30 + 2755076417877193613396539017035938210441212608773771942178675047417\ 0243218809/46182539517009254802936423235517053896193013182003019414\ 377723438459652044511*c_0101_4^29 - 4085128476958531614771813371780459853743384759725010995737477894652\ 28939894966/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^28 - 8304963179478386928469534860300950147007410187998623894335819179901\ 34560168835/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4^27 + 6471948513384540930387335774626156593209906036845531192947685129821\ 789667320160/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^26 + 1047672293081487517400561381441107513285639263427599719595910860576\ 7025696110391/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^25 - 5867222011341532637073303101595549259328608896849088564965105513662\ 7154085632242/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^24 - 9255617654259192380855287044376775804806659843076504146705701534199\ 7644430930263/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^23 + 3023651541584264477297600594451950098002303268812422404632936971843\ 49865345681283/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^22 + 6237342223019114560569577133331929759998004555414511656759492693474\ 34834506135247/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^21 - 5816644146270058063222071234971239237507039132786393720484101432069\ 93379903034369/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^20 - 2376385359699626216827790751093355820907521320749134676747092340321\ 375660763131116/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^19 - 1392012882383784966308352754188094960694654712938139468176332746384\ 775957083379198/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^18 + 2949704718033045339489992231800501284815255043012075260729323672103\ 893789553032544/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^17 + 6685534210405367220580889833090805089421567340474970655416250485114\ 479215023881545/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^16 + 4480507927313971792699522861810037425175771307988541484821640661956\ 721105333615049/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^15 - 4630360798584503043703787711694309588700446485628171017864090595044\ 005828603000878/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^14 - 1230858971561266635870823195149519546922666567340523834992168330530\ 5811298731352311/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^13 - 7690459189971232796003592323153943417156850833537232803058923691495\ 979074456880201/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^12 + 5476949568560893309119235590813753027283427462053070195514016071794\ 117286957087774/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^11 + 1038984552118046675160860792141010815777348574300270575824713754241\ 0279122790477946/46182539517009254802936423235517053896193013182003\ 019414377723438459652044511*c_0101_4^10 + 3247943692359223999806671802550963233319333859689065082151182040752\ 984945280534853/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^9 - 3022745934814504052580562459983672788106360093975463297258965430752\ 444251601783436/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^8 - 2388679512571013838757365061590400121432681281871754409299201151163\ 200835061817495/461825395170092548029364232355170538961930131820030\ 19414377723438459652044511*c_0101_4^7 - 9713232473890699751592341301162849636231314666434598468354489048282\ 2845526719624/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^6 + 4096328657848537948736729885025988580206335744902789609245109303341\ 16807040413827/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^5 + 1148073046650047114666272454703869401584182707801967438086038896115\ 58135293073123/4618253951700925480293642323551705389619301318200301\ 9414377723438459652044511*c_0101_4^4 - 1333418631059159337250419595177839822850083098734369512585402466160\ 9149669212287/46182539517009254802936423235517053896193013182003019\ 414377723438459652044511*c_0101_4^3 - 8407549298625092359669259013586720349306987188003406794374825049192\ 838782112060/461825395170092548029364232355170538961930131820030194\ 14377723438459652044511*c_0101_4^2 - 2185283749441855507158095658849504045028601580604324613761446640546\ 75694847366/4618253951700925480293642323551705389619301318200301941\ 4377723438459652044511*c_0101_4 + 217639970600250955970150159798134\ 494551055912136729718486861708205548369453045/461825395170092548029\ 36423235517053896193013182003019414377723438459652044511, c_0101_4^31 + 2*c_0101_4^30 - 40*c_0101_4^29 - 55*c_0101_4^28 + 653*c_0101_4^27 + 616*c_0101_4^26 - 6051*c_0101_4^25 - 5349*c_0101_4^24 + 33046*c_0101_4^23 + 41214*c_0101_4^22 - 86283*c_0101_4^21 - 187041*c_0101_4^20 - 6862*c_0101_4^19 + 337110*c_0101_4^18 + 462871*c_0101_4^17 + 79434*c_0101_4^16 - 639216*c_0101_4^15 - 885910*c_0101_4^14 - 92906*c_0101_4^13 + 857156*c_0101_4^12 + 652316*c_0101_4^11 - 204727*c_0101_4^10 - 406370*c_0101_4^9 - 63292*c_0101_4^8 + 98082*c_0101_4^7 + 37328*c_0101_4^6 - 8497*c_0101_4^5 - 5909*c_0101_4^4 - 82*c_0101_4^3 + 337*c_0101_4^2 + 23*c_0101_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB