Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 1225315424] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2522 geometric_solution 5.83953100 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 -1 0 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 -1 0 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.281840490637 0.217168842946 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.491867444621 1.498274068284 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 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 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.687432840182 1.075921383492 2 5 4 1 3012 3201 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687432840182 1.075921383492 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 -1 0 1 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.305181097906 0.622521119862 6 6 3 2 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297728711348 1.224655710129 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.700314737374 0.550458157036 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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_0'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], '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_5']), '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' : negation(d['c_0101_0']), '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_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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: 36 Groebner basis: [ t - 8679117732162987102308076748661364339126412463389247227625084293106\ 8911403496984360/94083414393054811043013716981557650974890874278576\ 778961533626193605659679254343*c_0101_4^35 - 8246323469825567380507405506046650981295834603574621493823285757277\ 55714626768089623/9408341439305481104301371698155765097489087427857\ 6778961533626193605659679254343*c_0101_4^34 - 3697115045716298854291659156649178326052277630867272588421877632836\ 75302714659330888/9408341439305481104301371698155765097489087427857\ 6778961533626193605659679254343*c_0101_4^33 + 1363852009001347876306730241874150342286056988001173358642699758628\ 0848430580149457750/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^32 + 2643757857635164589954915508685693837013103897362580317003509550446\ 0290377918234533959/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^31 - 5782656802156026510888755931149334346907357369080029037107047712555\ 6230458072493752811/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^30 - 2227766462824782729274934101996406280548371298148889972073191666658\ 80455025963994342588/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^29 - 3465064377783949038649747418913758078346871003031540988317412155168\ 0984410522824026226/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^28 + 7053658845352233722252366485690013840017504624449701450068941981450\ 27855051666651445920/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^27 + 7245422987029634305915504098089610694641019399621337271960874018910\ 56842773779040311127/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^26 - 8135364765326592004084995017885963707556144433383134494336270589394\ 43197365688940111736/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^25 - 1415833916990320668670224593278495691177473516780594394359298973971\ 834176530498153046843/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^24 + 1041731624879744252794895259760530534067495954715961644283330456603\ 126985508329272222758/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^23 + 3794942373635438304029256916937151257107717152962949988307829334122\ 91331474141268677415/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^22 - 6635004379713157276687743133757001687598652412359662189338312415464\ 983976218428327229679/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^21 - 1808935107983243652398338172426583284490808412057015553188477183569\ 330972665202438026360/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^20 + 1818236291357833176004288108654209642330454901489746587116430354915\ 5794691353926711540528/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^19 + 1507389835247342087521134832588591867486888835448800892131188269385\ 3270118446598690432459/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^18 - 2516112662743123367651377086667893450065619825488031110651212384356\ 5686131014496427534055/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^17 - 3385999860113690847057764473678840551264424282625451522390473153257\ 3265104298405518848352/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^16 + 2466714271043053720542456785428630560966437524970514785032728732767\ 4842992706664776080600/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^15 + 3722360867774286175301108061443740871316669183966100772979173902596\ 3529359496555057503880/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^14 - 2135567005166176997512579346230826256788778973063660471991466687223\ 3113956040100498510231/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^13 - 2260126888886017721977878472271677162994994792491737616993979985814\ 0091150187740376006592/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^12 + 1431297461477367590695101439701707664698103207486968538359387593344\ 7944050603185223093064/94083414393054811043013716981557650974890874\ 278576778961533626193605659679254343*c_0101_4^11 + 7590430543700735860142443227427272682709382360915895982876881557820\ 327790012464962880519/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^10 - 6100182585498538637043510323227556364524831852960615137776977330238\ 638783549670148738182/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^9 - 1274472027531414581985737516424985552664827873126154110326393596238\ 386558979010187305000/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^8 + 1553435091242684684197637864611579785308783331976495204288247990295\ 474423256264203515777/940834143930548110430137169815576509748908742\ 78576778961533626193605659679254343*c_0101_4^7 + 7037257965319567388394715476190704574532114027725967124977003785141\ 1393792230979794234/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^6 - 2431466369584337105795410088811284777564807834940365906785633285947\ 25823955412240857067/9408341439305481104301371698155765097489087427\ 8576778961533626193605659679254343*c_0101_4^5 + 7222674115187188111954830840600420245614845815719080618622881236136\ 344851487138282511/940834143930548110430137169815576509748908742785\ 76778961533626193605659679254343*c_0101_4^4 + 2508332519936976285505506914197645097085805466037009033240938382714\ 8453878571156609795/94083414393054811043013716981557650974890874278\ 576778961533626193605659679254343*c_0101_4^3 - 2053909935286121448631955812155915469168656327495992780509007649577\ 398715334512616690/940834143930548110430137169815576509748908742785\ 76778961533626193605659679254343*c_0101_4^2 - 1473782176928296843490175671350174345707701287950052307576290387490\ 246082637689589216/940834143930548110430137169815576509748908742785\ 76778961533626193605659679254343*c_0101_4 + 2070863763151589440822576167716484430293828637982604856341342629914\ 23215720287651965/9408341439305481104301371698155765097489087427857\ 6778961533626193605659679254343, c_0011_0 - 1, c_0011_1 + 397573972463357176215760593038856574757131516132553485916893\ 4018957738625929660/32442556687260279670004729993640569301686508371\ 92302722811504351503643437215667*c_0101_4^35 + 3855909925510924675599410512594727495433816055727792209819178528573\ 2789601299576/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^34 + 2458260351045452822605278523407360782104038630574810277572765016799\ 8416305449031/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^33 - 6194817250941485110195987961225338295477832939196574277614566004246\ 08560108314054/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^32 - 1332759114347446628582949637782207659131482123384482019728170504924\ 256952965247072/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^31 + 2379467155429360286807629854991816765652583808238003872567173916951\ 026132256691878/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^30 + 1065586331546608068021687299929640079769096337153354145416157564856\ 7693569556252300/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^29 + 3710020203840505612297042767371325958938120422324095120917121734818\ 722025655848207/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^28 - 3143938454854613661473100314070605626522279223700778431390561400034\ 8741912860817254/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^27 - 3929702021945469585331620274301438599465167261498090846570735538293\ 5810774295443003/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^26 + 2911715435040910338038034961223654705512350543258168198664306641703\ 3497627446633821/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^25 + 6992083437921212020899432383115502037867413733682231003280713872630\ 9384538923170330/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^24 - 3364265641829587952315364342916231626247625625809653961347641255788\ 9087564727554158/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^23 - 2272417574362029043985311891169761799975334772751252242274050710052\ 0180059323451037/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^22 + 2994317985024536356176946888755129659905657329139945992596691798679\ 92466373050156984/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^21 + 1409367382963090080386151423453911118226989105808006952310165835944\ 23809861555111065/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^20 - 8018485126762503964736296071593733929451081363575502906901249734036\ 69583873940886060/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^19 - 8450248160170282908548793239753567749990210018160326712977616554706\ 37068281143208360/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^18 + 9756807688972530718851471863276212010530846358788086075842085916395\ 61778822694234809/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^17 + 1727528322900006025319564698763607120217852763825497717992948949486\ 523431717678843819/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^16 - 7784961540999084468276143450056515385502003387227794900848418031604\ 00230472508350971/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^15 - 1826315679265979031888452409104779454016003675582110472194165591579\ 380683528330382674/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^14 + 6152904824964713415850193315291730315740725560504736943995722595516\ 64496368568084768/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^13 + 1118897024627644509450475191577583947665815712847718543094140270590\ 817186863972229129/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^12 - 4355077376975231208755876105742659496858839084390844092820903753091\ 02126718860487301/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^11 - 4053837674460163943458221966931239696852943061782222398275308460449\ 37054045204610797/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^10 + 1971202776976325589774725827197474653672017858094149481358869041053\ 12485464206202624/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^9 + 8393509500820394897070461467152623021161537517237862768983380270684\ 0501751492824440/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^8 - 5168430116587036447451737554772952690211326345022449836542776165148\ 8294283737784990/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^7 - 9829071322075415566957169456077331514957544442773387658641095576340\ 858916963449063/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^6 + 8041071953928186155369596660547297655819435921585079994351646316138\ 248425446705903/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^5 + 7528188105068130057489084514450913850655508870110495451038510493904\ 30271850582674/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^4 - 8210213647095776109307706297366587364573511584271046365371116385151\ 26413859044413/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^3 - 1758744259971867985730667052976600535246461588407587969507398845236\ 5137634645649/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^2 + 5217579143766899350612163157306755941628025214407824288349658834939\ 3094048101248/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4 - 2747649133775489957619367438476658195626130337486025484988500915533\ 904967540205/324425566872602796700047299936405693016865083719230272\ 2811504351503643437215667, c_0011_3 - 758376786976303293612798415982207131238974063393687570399435\ 2631522725905778346/32442556687260279670004729993640569301686508371\ 92302722811504351503643437215667*c_0101_4^35 - 7396441243103915903466150663365928631490572224684246612640627782302\ 9608695632796/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^34 - 5088992826986118461352881445565449950355241074368776162862302707502\ 9556887637429/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^33 + 1179133430435003832665660990024809494526518661465762038192292558462\ 108422475000041/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^32 + 2606451697430226675172776878552586955365579701367690310396632565654\ 861943295187141/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^31 - 4401223037700853428904779521010539552096622359189345705223619875804\ 458443027448754/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^30 - 2057315383976499343166533833222775908519502520120932244683155138889\ 7889020043021367/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^29 - 8175870482014573820762355443078765607163875744405213770703586960417\ 960843096210405/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^28 + 5959865027185860899196337819453000546561321012754862616857822220708\ 5215351126963217/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^27 + 7820470798379700852491717672631563212593310041267554649423691287936\ 0708644976152172/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^26 - 5154651554291392144837398368205524661645457496071547789102715417626\ 2679649785195637/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^25 - 1364543805305273818034200065954247302382606078429568259223839767821\ 60989786433941275/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^24 + 5706209369294550035936739664184250252740959720666931648892411067078\ 5614820324900203/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^23 + 4711747180563419829516439926246504474669247503702424551242074507125\ 2580926870522145/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^22 - 5687266877772464220516098558855366301557609990769896909701941593062\ 34768238261886347/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^21 - 2999649529710913655888619267325660030821053835097202365722319675161\ 50067651624854219/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^20 + 1515081470149593608027000675838456984278615011810902566677656217509\ 963814720034425456/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^19 + 1694605030496458530280489998475988995038709276322931257773365831863\ 835687681493798734/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^18 - 1775735911732118082045540135851498561089844147519833507077044257789\ 760331538426006232/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^17 - 3398131445288169249324484951912037982005882232429596705895463358303\ 983524373598268940/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^16 + 1308937709292464822652814281028141464278841083505848380255654212661\ 923100714329360006/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^15 + 3569985868030756194901007759076611832796713371063988314619281858481\ 332610063446146682/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^14 - 9844918698971921767009570749201391905097315868734069197379148394294\ 41562536865677425/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^13 - 2203297584314281997175075512577235369885708405031569129420622857805\ 719794602952540354/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^12 + 7134681578373426855787510879841036548676256849509792383531421588964\ 21830172782012506/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^11 + 8205425971931196459326203736561705423033731687990284035603069419658\ 41798577278604114/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^10 - 3337858460485747414043117829256734132558144279075179100750478645807\ 85819166004242665/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^9 - 1809607821888493138739546636328382324169369146286882439030399234060\ 46583012052115985/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^8 + 9014853066819821082414890711094493334617296087586062430900941943058\ 4185607615795757/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^7 + 2397414049295185670590704806875317574667203426729231892807710203011\ 5593726201940151/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^6 - 1448859015913723510620593089043625881591533877977986623638847812351\ 5331518404442601/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^5 - 2144196227647599365720854415265575227913544106735661045351582214267\ 046744492723109/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^4 + 1523474094421698167711906646351561812232823167318030564416856500591\ 799592980985888/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^3 + 8221469350908159564166752654544957896228946008083440957018975305628\ 8332066114971/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^2 - 9712514812405977124483151752082138929621412601406431746061198839322\ 0823424922358/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4 + 7657829444730233593100304814196489146311359355732009557452543146324\ 115528500474/324425566872602796700047299936405693016865083719230272\ 2811504351503643437215667, c_0011_5 - 157605635531604553597084912958857312853934728983868731497984\ 09682547754182901710/3244255668726027967000472999364056930168650837\ 192302722811504351503643437215667*c_0101_4^35 - 1510096863194882683010229063200486857761656820852106142316341333481\ 82862005832976/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^34 - 7893442752306167349125793861679320955364077892922174376021493156133\ 6781255271086/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^33 + 2473423875047769297275498138960460220839242024509543206367063824579\ 649519171114081/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^32 + 5002494657489099339795156315055554532037875328021730993832962629367\ 734557657626713/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^31 - 1014533696139266460941812970421527693882051613414549199135966301855\ 9035700866214618/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^30 - 4139137937355468230323449116938136725462239310774410463778429559119\ 2001674093157504/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^29 - 9495552559911586240961832324113368592241588620858040725478039360050\ 379073680357796/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^28 + 1281875289431845433107580861671348576437061033106435039070120206963\ 26369047860090328/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^27 + 1425942997725862524511575716208127827218659934694756678276434235283\ 39621335353577275/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^26 - 1382264706567241936282854238349072628388109459657588926200771450269\ 14174385111610193/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^25 - 2722135418178280658347537282024587182869619565056649500834220712258\ 38873866420901931/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^24 + 1671012125921991107380382023398456004258562623695053497288102088246\ 52268693507194554/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^23 + 8738926550713767077427454957890698755833975836038247898127152023601\ 9152646672184736/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^22 - 1196928674879873943848292522172735614247903567275963852412124057091\ 492540276386478089/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^21 - 4249136777115936571504050082069588594443762578594593164832607203236\ 18745858762499322/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^20 + 3288907120942906420277181907560589066819185961893455397915065328886\ 278179534201903888/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^19 + 3021736560897066516534690103650459512579311364840263211906817057587\ 104082862696149020/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^18 - 4373564326857668572137291643494545057979650647382261438178818415593\ 279747322495785918/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^17 - 6588686151349753764790050347637888199042881987941059151150767659267\ 511767133448466683/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^16 + 3968592962512977945211122577367415670163856679869426312421178813118\ 064159411008993990/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^15 + 7216552174854288089659575601246181506796118822092009661758630170643\ 466357251647147565/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^14 - 3264387195673017195155395205356742840209107068129363999079127205420\ 984061701161078672/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^13 - 4474017501880528718705703768261904472945614725530496798980740708310\ 817021111720259987/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^12 + 2198566903077326813569476777008832626289828052260177440189686957030\ 834063831927041109/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^11 + 1600663625714606298265892102074076293986768681377461883141094410341\ 529989800226902914/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^10 - 9576124649879252336931256521215551160849078623753926200824640665702\ 62413628280386207/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^9 - 3192884731964746539360026420448734662870538861345654918278979869238\ 05015726937574020/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^8 + 2480934976155992582467431871629849354768269930818991530938165788067\ 27761490149382485/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^7 + 3410368297505182064229261375874740389106986945349336085982895235061\ 1408197640013893/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^6 - 3899995347190357009349102525146977834759525027685182925403839945717\ 9997207064432232/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^5 - 1899328561153762580038124350518958704519334562091811526198172487698\ 065428041784285/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^4 + 3993663932301079011159344474891428130459738242710700999686792646883\ 151324655227070/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^3 - 6544370251236828436253522828096327540738175590907868068367981393245\ 0382832755016/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^2 - 2326247733171306409524009591925933737162058519630172706434145553029\ 99381388389727/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4 + 2497049575415492439613618662790660389318009435359184070014249539907\ 4478163303952/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667, c_0101_0 + 148766755409842157615094799192763315841918528083578704391786\ 4094901361531142832/32442556687260279670004729993640569301686508371\ 92302722811504351503643437215667*c_0101_4^35 + 1385014747512294033180844058924586965888790163255597617791239058658\ 7413065742998/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^34 + 3944934547915625499314366704187841678706509961723692075008596348708\ 407438228686/324425566872602796700047299936405693016865083719230272\ 2811504351503643437215667*c_0101_4^33 - 2320089219046196241789471316897051497925589880549820653121479033287\ 12450475468291/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^32 - 4069220805670092654898263467842444708084968950009537051247083887783\ 77704424938418/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^31 + 1029704049711396518811479142632975287351756865071590087550240131377\ 595775288851974/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^30 + 3532491749753570187547454437345431588683385667730415050077087253124\ 255826440340808/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^29 + 5347700140434010763334769318326883845424332529879504273815746145045\ 8423832570230/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^28 - 1142084619373820344722837469114623013715300362278978242718363141404\ 6718664999096263/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^27 - 9883069466711834737357806766125212970600658798959852418059101952724\ 738419871606127/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^26 + 1401801698953946272526199257012646823020390288774950987648381208793\ 6700140829648202/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^25 + 1887783797933933044602377861290888567086216076777028311149077370137\ 2237876732422208/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^24 - 2048415757807485570201144575091619581399275423876101359752242659722\ 6038803915552163/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^23 + 1468850221064436221427889580048799435310190993088435160584075311143\ 411029465115214/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^22 + 1125781250690736584792787687749177285564641706449556956259914513784\ 69623706158553557/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^21 + 9346687347032574691385673895955492188832949998829814667690025535462\ 304157339795443/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^20 - 2951695671123569127851003346521224351584872424813390729088696969751\ 48725218101716865/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^19 - 1918155548930199895163340094947511411062271056067417776027588042659\ 73709295520753267/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^18 + 4225748759466272186196061619291574594067816036523639837084910599079\ 49699351836104957/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^17 + 4412337835260848736389234795813339385277348006541267348163098402153\ 33487147080939149/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^16 - 4664231148338498288319777715212440725424946815781762928499642581743\ 36200949796943454/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^15 - 4449584724538404167326567371551607841413672311975038596852063302097\ 09682199352716885/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^14 + 4369028686631313464750531839466635040443838894398412309880969045793\ 66406149799877567/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^13 + 2159466043829567602640011476611226799598382509462146602238268825478\ 97717528701467585/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^12 - 2815805451251818289044301435955504243777763127147567397268055267567\ 35310005907633952/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^11 - 3906433997744181915406543798866986955593446881258508470202200447752\ 0852302348963547/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^10 + 1070951454772176614660552216724164524560825198476164827717190250870\ 53245473824073128/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^9 - 5584259033239511672008148684860483866413244608202139447648770566007\ 815058615579604/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^8 - 2380721046805481393589412416211709102310098941829403572869783021592\ 5118795008020524/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^7 + 3470079645467076648176974316494287924096279833438801271469226146745\ 953003091337867/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^6 + 3417382636349510416837962520859786105233093892023528354043746185036\ 779578421600311/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^5 - 6445925934687460021129034227874214678458572473531996950335060744754\ 27989931078508/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^4 - 3050390146479331058205646872741058637067889376204346652281249507453\ 20528968329693/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^3 + 7312351247606879680192266346136557521016207824800884160857470501292\ 0171139192640/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^2 + 6992570504206752548874290674420782809966808694849436710544424352264\ 210486038472/324425566872602796700047299936405693016865083719230272\ 2811504351503643437215667*c_0101_4 - 2917463692788167992158691483983941142857774456695241091702166042340\ 086667486569/324425566872602796700047299936405693016865083719230272\ 2811504351503643437215667, c_0101_3 + 111079905666083959007754891367478363817553443158014135458176\ 43418919046578016544/3244255668726027967000472999364056930168650837\ 192302722811504351503643437215667*c_0101_4^35 + 1053015377639908732649843257949751067424469838127072942538160277942\ 09415152789149/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^34 + 4489113317428870362132536488329797617132764245931376293253934532160\ 9714755800176/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667*c_0101_4^33 - 1748201432095835634654655650308665993100306046101517694815271246188\ 108125864919968/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^32 - 3348555368958039113412987861010374772735899541813984481946902040391\ 274313747437721/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^31 + 7496893297831334789117279990866293841284587787454315112439349271918\ 708932937298166/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^30 + 2842991807171838920599266317647030583923484777818716179860575070135\ 6195388810718771/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^29 + 3781260942060625782899251926002678300857909494167093554398481068547\ 141321448208847/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^28 - 9088637112087031887341536798806515868989298243158952725863404463025\ 8856961756562347/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^27 - 9136057071704648562917230418757965473416682773710776554855999917832\ 7174721943845368/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^26 + 1072099248532088277543420594243450968906440975700130974098334958525\ 18468874731239486/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^25 + 1817833550967693450580023763803622652676483492171406724164732059544\ 87448735269551333/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^24 - 1367960357926856962025361804652872979420972528993174373670256286585\ 17614746938986496/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^23 - 4962594032141938020612147217065111806042400197987056586849084269792\ 6342625518737846/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^22 + 8486704167702590023340296922453707861920025953420959557062766192595\ 32592181461836845/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^21 + 2153354195789064325531942162607455080941968305274758388073776003888\ 46836375308994809/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^20 - 2343037648871788333502744121526635076878078044975872316819446484846\ 340953597858501579/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^19 - 1896441959557101353086490813876532609505384334290049032205406278353\ 076700928010928976/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^18 + 3288424086875060362647765825353736026127783390542140836674783899507\ 030085678237786357/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^17 + 4329741898674863874018530553649716504323064318574898816932067871571\ 126662112531430855/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^16 - 3254808800093978059381522936400836520980413493172742203894267416060\ 541669450849056513/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^15 - 4802692902676256641938320054622864672031112590176140425751323579141\ 883853513690694177/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^14 + 2796164320291129793223543699348169946683944943514916700740157929952\ 984764724738740908/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^13 + 2932895342791983974541136191022352013207223927289017039259170240228\ 121573445624330467/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^12 - 1847924193722830578022453858662638155649015980965798514727496953884\ 143443866258647429/324425566872602796700047299936405693016865083719\ 2302722811504351503643437215667*c_0101_4^11 - 9926825793999658032084959636117143176064915270440855204957326041463\ 70932932227478886/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^10 + 7805810471882359121238528456103123877215182016533750803874297524973\ 94047093375002525/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^9 + 1713132514651162834330959094481994756047473403461419381427375744143\ 52262110580637755/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^8 - 1983119355020549864415189916535412159590727952022074525048652984472\ 62554715870185761/3244255668726027967000472999364056930168650837192\ 302722811504351503643437215667*c_0101_4^7 - 1099772625083168414814064562201879197814585810805961164563561332253\ 2529707807809667/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^6 + 3111013464304870434706605358956373833711612407646242574567038751867\ 9717076898833882/32442556687260279670004729993640569301686508371923\ 02722811504351503643437215667*c_0101_4^5 - 7280253608022381710049099686132680613965880297533890507053790325293\ 70736513368086/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^4 - 3198132448497298270400790546950604307036767823764638359773487495835\ 767824610358654/324425566872602796700047299936405693016865083719230\ 2722811504351503643437215667*c_0101_4^3 + 2586500091048700763096533349404574019595558636233884302287841144914\ 83107971049048/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4^2 + 1855224492841243720856480822264273649426260876445602200659172886010\ 01000893005421/3244255668726027967000472999364056930168650837192302\ 722811504351503643437215667*c_0101_4 - 2696713896381988081346344767862738731462329183654479655766731143351\ 3701094966580/32442556687260279670004729993640569301686508371923027\ 22811504351503643437215667, c_0101_4^36 + 10*c_0101_4^35 + 9*c_0101_4^34 - 155*c_0101_4^33 - 383*c_0101_4^32 + 514*c_0101_4^31 + 2899*c_0101_4^30 + 1682*c_0101_4^29 - 7925*c_0101_4^28 - 12411*c_0101_4^27 + 5190*c_0101_4^26 + 21005*c_0101_4^25 - 3805*c_0101_4^24 - 10363*c_0101_4^23 + 74147*c_0101_4^22 + 58985*c_0101_4^21 - 198881*c_0101_4^20 - 278384*c_0101_4^19 + 202708*c_0101_4^18 + 535229*c_0101_4^17 - 88085*c_0101_4^16 - 571001*c_0101_4^15 + 29322*c_0101_4^14 + 383010*c_0101_4^13 - 31920*c_0101_4^12 - 169444*c_0101_4^11 + 24616*c_0101_4^10 + 49656*c_0101_4^9 - 9744*c_0101_4^8 - 9750*c_0101_4^7 + 2182*c_0101_4^6 + 1321*c_0101_4^5 - 295*c_0101_4^4 - 121*c_0101_4^3 + 25*c_0101_4^2 + 6*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB