Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 3448525300] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0223 geometric_solution 4.03440324 oriented_manifold CS_known 0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530688419608 0.021913774092 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588174278626 0.055764231201 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1.093967896449 0.799938682922 2 2 4 4 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.505746147826 2.521311339271 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -1 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.498471765765 0.294114226907 4 6 6 6 0132 0321 1302 3201 0 0 0 0 0 0 0 0 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 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.497696924946 0.874201671477 5 5 4 5 2031 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497696924946 0.874201671477 ==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' : 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' : 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_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_4'], 'c_1001_4' : d['c_0101_1'], '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' : 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_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 727230733759566805628452061470818366180546389202077151734292484246/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^31 + 26285515341012517987572936685327258980455961390681044936\ 386122087/318562998828263130741884307515579670432839327444121304248\ 3173*c_0101_4^30 + 488718411348452775187092165642858655435823052904\ 36068896810391543068/4364313083947204891163815012963441484929898785\ 98446186820194701*c_0101_4^29 - 26077098560240253829849029139554965\ 3022094612918328251765869422124875/43643130839472048911638150129634\ 4148492989878598446186820194701*c_0101_4^28 - 9831295922216104913003560185194621309751966480586725000725023764586\ 71/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^27 + 47719126138030873305571996087610436225231961257052641\ 47763058270609822/4364313083947204891163815012963441484929898785984\ 46186820194701*c_0101_4^26 + 99055509128931167162181308471216603709\ 30550584384655436926985688884215/4364313083947204891163815012963441\ 48492989878598446186820194701*c_0101_4^25 - 3855256049669478208621204271872852781935823973780276736465852106684\ 1147/43643130839472048911638150129634414849298987859844618682019470\ 1*c_0101_4^24 - 632065690967139599728067340757074567388901802149824\ 64906591575059025114/4364313083947204891163815012963441484929898785\ 98446186820194701*c_0101_4^23 + 16822364045215150126425202983259457\ 6895228917242616733974163957235513974/43643130839472048911638150129\ 6344148492989878598446186820194701*c_0101_4^22 + 2662027081971316776609118102580158811009571456316335931807296770353\ 22589/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4^21 - 42894726208854266380381661046940368725411686335396\ 0808628666798943607264/43643130839472048911638150129634414849298987\ 8598446186820194701*c_0101_4^20 - 734531176376475896388362637864079\ 515547232443553738061238616817566749337/436431308394720489116381501\ 296344148492989878598446186820194701*c_0101_4^19 + 6551815797850869601746629736286037229571221768827721835557754015808\ 53928/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4^18 + 13374874671948619881513681131391422898736004447351\ 44818007704074457374184/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^17 - 5729716133561931759607456683938777595550573753336035613858391559501\ 73561/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4^16 - 16284309687830092813560158409099001422352118262347\ 15697265273844891860397/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^15 + 2095381541729621079749927516356781243762160119421398076993765949915\ 58441/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4^14 + 13367001964804910254185766204598158294244717573437\ 69240648340412224470359/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^13 + 9155188453304324433670484527108563533875074434710494558269607615341\ 4696/43643130839472048911638150129634414849298987859844618682019470\ 1*c_0101_4^12 - 738601433265066635732420859613940516083008020399604\ 501241790841902672541/436431308394720489116381501296344148492989878\ 598446186820194701*c_0101_4^11 - 1475434909224695251999601310682855\ 52816708217556632886402072873585558349/4364313083947204891163815012\ 96344148492989878598446186820194701*c_0101_4^10 + 2703312520691068310420414355196827338892540200341122873825913066662\ 90122/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4^9 + 777648058908313151389652629449992581295459235507311\ 55890248552000764372/4364313083947204891163815012963441484929898785\ 98446186820194701*c_0101_4^8 - 628433149541501013406803989891193061\ 56282839863703206988625451869603909/4364313083947204891163815012963\ 44148492989878598446186820194701*c_0101_4^7 - 2175921516475458502362215334464427900573242012081592586844076876028\ 7911/43643130839472048911638150129634414849298987859844618682019470\ 1*c_0101_4^6 + 8469160576449455521756653448190598594742970294411187\ 413106447864671553/436431308394720489116381501296344148492989878598\ 446186820194701*c_0101_4^5 + 31935558683919258546100832362967844433\ 88319334556764804017287718822506/4364313083947204891163815012963441\ 48492989878598446186820194701*c_0101_4^4 - 5624184457170240410837260524474671698347759494038420097978545347592\ 62/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^3 - 195015283325465758171703373205090094856463702519867647\ 943090059645667/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^2 + 14571178461486003133804594100657441561629\ 150417756158976688606919097/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4 + 1556351174696440497955914329562325510955260810684496823265160885898\ /436431308394720489116381501296344148492989878598446186820194701, c_0011_0 - 1, c_0011_1 - 159954157381089211861071287728532417530270414074370369718575\ 551/436431308394720489116381501296344148492989878598446186820194701\ *c_0101_4^31 + 7392900602689124622769761776144636621340518256768296\ 883593483/318562998828263130741884307515579670432839327444121304248\ 3173*c_0101_4^30 + 960954509745776338203357461490813564192499620549\ 8072124479683668/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^29 - 718772524650805201038546945945464440335\ 06439862210925727358346274/4364313083947204891163815012963441484929\ 89878598446186820194701*c_0101_4^28 - 134356234129321488512688502786249834827523828768335488553042231912/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^27 + 13256729775807835868182753698348596852530683857627653554\ 16231542436/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^26 + 69669949259419802440694268003003100731529955\ 5381760861646834172884/43643130839472048911638150129634414849298987\ 8598446186820194701*c_0101_4^25 - 110684997291773009783601472929646\ 52353816004808929616580129211525832/4364313083947204891163815012963\ 44148492989878598446186820194701*c_0101_4^24 - 2091809616061513242066620559377892998934101410048160802275001068409\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^23 + 5261073711790170591575218177979852006398376578823783034\ 8961565199165/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^22 + 751520897246539720218768128191397472972970\ 3107194548237080621670133/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^21 - 1575756911865469017430361463314891965574400448836260559770462222426\ 68/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^20 - 30987025913436632209244429558406428261577630273295500\ 456160967780932/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^19 + 3126502007999523713306828019250542828609\ 85687480086485030205297279759/4364313083947204891163815012963441484\ 92989878598446186820194701*c_0101_4^18 + 8714195784416128673903010814150661114229199251188007226138154559005\ 5/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^17 - 422053293513547378532782336829083301322147957170663402\ 702285050967908/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^16 - 1515983475181630328404972104926685265249\ 93154198287186727942400627357/4364313083947204891163815012963441484\ 92989878598446186820194701*c_0101_4^15 + 3933114055919918405280805823106303773848534494755966903158168536712\ 18/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^14 + 16695591274655817326699451723601501013372401342065002\ 0838540753472676/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^13 - 254733447956209536011725335424873784930\ 871669923582958057843546455963/436431308394720489116381501296344148\ 492989878598446186820194701*c_0101_4^12 - 1187696971817032771201962809408600680369246759742254198187300367698\ 77/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^11 + 11438050004554560491021473297066502045781396842617749\ 0279829217284389/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^10 + 546593104893959719602476274422108780251\ 78664658622287813534855234796/4364313083947204891163815012963441484\ 92989878598446186820194701*c_0101_4^9 - 3486169336123930117609141303436094809486510439499745888422074259615\ 6/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^8 - 1592445340298854926612046823657850726531602523614917051\ 7323086849890/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^7 + 6820059669275120038462531291540912715815429\ 831295762070715644610502/436431308394720489116381501296344148492989\ 878598446186820194701*c_0101_4^6 + 2762810204453298421511847306407463882300697222375286325087451505211\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^5 - 77620963836611733802685933773591025302079112459932208480\ 2290154791/43643130839472048911638150129634414849298987859844618682\ 0194701*c_0101_4^4 - 2413336911810566266845520839739340902017145264\ 35628966907105726064/4364313083947204891163815012963441484929898785\ 98446186820194701*c_0101_4^3 + 427817803675774208005623967093658526\ 51815008102006485896259532879/4364313083947204891163815012963441484\ 92989878598446186820194701*c_0101_4^2 + 5922470597248637211270350918168833365268187381261000974414572916/43\ 6431308394720489116381501296344148492989878598446186820194701*c_010\ 1_4 - 5350832008532879946394673395008214242509771709054761547571408\ 73/436431308394720489116381501296344148492989878598446186820194701, c_0011_4 + 146490497697041527014182030789682940793661487303664197521451\ 998/436431308394720489116381501296344148492989878598446186820194701\ *c_0101_4^31 - 6008263174198523685144518432736978880811131035218938\ 475741905/318562998828263130741884307515579670432839327444121304248\ 3173*c_0101_4^30 - 929525793784336406796084198478283128955391946150\ 7172029706572817/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^29 + 587655152289000499155228620915385969546\ 58069499205773604030149935/4364313083947204891163815012963441484929\ 89878598446186820194701*c_0101_4^28 + 158680824373568133964988525327505989857712444599489232624535745595/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^27 - 10695943490226017649353581649646126393484819070808749456\ 64513411746/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^26 - 12712563381156254275754721750844470223311472\ 15656996534297431243324/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^25 + 8671099835616562741443593797487802042237206735018031369464245455428\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^24 + 6768831553398953599690964177087536225752384457061307717\ 268455896950/436431308394720489116381501296344148492989878598446186\ 820194701*c_0101_4^23 - 3904256560535431483802735654176718240346897\ 8902884236049285863541576/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^22 - 2632686932469729207028446466213524956997379926491716051721529854329\ 2/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^21 + 108113390214530197706350817533408680099239718438199231\ 405587520534270/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^20 + 7179482055845241097997850740665891141271\ 5225877759939681190685788610/43643130839472048911638150129634414849\ 2989878598446186820194701*c_0101_4^19 - 1958692703493410568186987762632549782401531724876979829117180199940\ 17/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^18 - 13401630224090130115860742365571650277489973851704162\ 8391516487400575/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^17 + 241771363513224303115481530476168140485\ 090252159671918430943093550251/436431308394720489116381501296344148\ 492989878598446186820194701*c_0101_4^16 + 1720052032938300419470336690857569227513716733631739313291368920796\ 86/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^15 - 20864946671749774401054875515427401238486744773259592\ 5537914947139904/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^14 - 153162488006827207964582597675366090406\ 420846435581232456014371565892/436431308394720489116381501296344148\ 492989878598446186820194701*c_0101_4^13 + 1275142808841310494797979511159431648412881334749850847695931030568\ 07/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^12 + 94484077707646851406883327744646736013296698003167265\ 407680627659771/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^11 - 5499633841425695286387438647466046598372\ 5615116882099195893123594419/43643130839472048911638150129634414849\ 2989878598446186820194701*c_0101_4^10 - 3960752495196073129484530999870849990097328287833937414931466963290\ 3/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^9 + 1625891087540923347994053714994567113184332380185013371\ 5433591031805/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^8 + 1083127936183414900120408023725917206424459\ 7612162456926972862054191/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^7 - 3074098626536649282423445228635744904108410326389300795774892514525\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^6 - 17956230833830127123080161933896390748135685940625567128\ 00486357394/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^5 + 332649502921888563812073793363045326700590003\ 060479101313907055420/436431308394720489116381501296344148492989878\ 598446186820194701*c_0101_4^4 + 15057204452553232251984722347249923\ 7835946292763070432172587290367/43643130839472048911638150129634414\ 8492989878598446186820194701*c_0101_4^3 - 18163502668522704194977753070186421144075937142274215777165935721/4\ 36431308394720489116381501296344148492989878598446186820194701*c_01\ 01_4^2 - 3602623530793038608909596340850099598245087832388958698877\ 644865/436431308394720489116381501296344148492989878598446186820194\ 701*c_0101_4 + 2633899327184829213629183116003952993804626285130041\ 54669118106/4364313083947204891163815012963441484929898785984461868\ 20194701, c_0011_6 - 279219915787510412465733885664988420071794902086494158270200\ 54/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^31 + 15856897953476179536602937140550691940265236293916036\ 06900509/3185629988282631307418843075155796704328393274441213042483\ 173*c_0101_4^30 + 1479140580586911754278390235170765457614121749910\ 462017374296738/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^29 - 1521493543080315774999407468528267100373\ 5925411090055219666148353/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^28 - 9385216770278366771829360023945681398719956606698792282102045801/43\ 6431308394720489116381501296344148492989878598446186820194701*c_010\ 1_4^27 + 2829134072979720884639522680101339791100863342034128403929\ 31440361/4364313083947204891163815012963441484929898785984461868201\ 94701*c_0101_4^26 - 11960940547223706461289408435452385028320442221\ 9192956990609518611/43643130839472048911638150129634414849298987859\ 8446186820194701*c_0101_4^25 - 242380291085160985761841361395514053\ 1255874350444975950804964485337/43643130839472048911638150129634414\ 8492989878598446186820194701*c_0101_4^24 + 1376905953696668381515798698934478993678466445319776693200314282300\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^23 + 1214435602885211803758989554388961182675120860072229618\ 4476921298314/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^22 - 506160166421116859081295589072391660742886\ 4685898257447906260976408/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^21 - 3888428551533353269449952835342921289954941957642323108263627446850\ 7/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^20 + 663718111474110110919917788697560794222189646345178885\ 0540185478806/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^19 + 814889481136653995174548697097354058818343\ 31341671977049582395047182/4364313083947204891163815012963441484929\ 89878598446186820194701*c_0101_4^18 + 5490731048030353290551071343200345479725716748895971330635156846213\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^17 - 1124999365703552570218667651514092017531411169563628866\ 45578964847629/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^16 - 29897829368478459754625851866428327884619\ 305675691496279557269772542/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^15 + 1022556270437800252597230042716090976794749161519455745400914826989\ 65/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^14 + 43663831870715414542556490645766731330356329921377584\ 434787207713027/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^13 - 6058379292691499379540943009773105701948\ 4479499310267404030732814343/43643130839472048911638150129634414849\ 2989878598446186820194701*c_0101_4^12 - 3426695234239923140027823447769886360233966870361572653020069923127\ 2/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^11 + 227324975691583331344927891371664245146299240684941547\ 68853503103370/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^10 + 16031533869130013757600594681310814616820\ 133108968704851302465115506/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^9 - 4998633209753562387006311501773631412177727804953759955772696413109\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^8 - 45072393314322591128362138710652495110208209786827037994\ 40613598875/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^7 + 501134889558530232348134808240953957219019484\ 816278100980358532732/436431308394720489116381501296344148492989878\ 598446186820194701*c_0101_4^6 + 71005097155380883393050959712075849\ 5606891829216231098154242617480/43643130839472048911638150129634414\ 8492989878598446186820194701*c_0101_4^5 + 2975503144080161311921530180337411178838835612674327502262192640/43\ 6431308394720489116381501296344148492989878598446186820194701*c_010\ 1_4^4 - 49762669548199715042485953583603579962906414197291905249439\ 819089/436431308394720489116381501296344148492989878598446186820194\ 701*c_0101_4^3 - 22941766750513264672698051186819216074774922916164\ 35954772043871/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^2 + 104465460966427204039906839013567710611763\ 7479729526856664319859/43643130839472048911638150129634414849298987\ 8598446186820194701*c_0101_4 + 308590049847927562540442355368414337\ 41288477764338151057749514/4364313083947204891163815012963441484929\ 89878598446186820194701, c_0101_0 + 231950311011270130772624741762982170535816581053798474335681\ 224/436431308394720489116381501296344148492989878598446186820194701\ *c_0101_4^31 - 8597771437917675749975214926526560499274503350608201\ 448295362/318562998828263130741884307515579670432839327444121304248\ 3173*c_0101_4^30 - 154112158905180236804470374835099624836295890855\ 46141079212498933/4364313083947204891163815012963441484929898785984\ 46186820194701*c_0101_4^29 + 85017278359981735359125584633001375057\ 260601812260964644427262630/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^28 + 300795624090704573244632248788786216898863530728055169664294303715/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^27 - 15522365362860336023650830766189042355864764744039746294\ 02323304785/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^26 - 29136381896190088409575292936902669443776459\ 77984424251776670458828/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^25 + 1252073776633223117279096090602855059551702333519854596039601239342\ 2/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^24 + 179917203804591234324557794072459412375609921555618276\ 28049313371178/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^23 - 54785172475680096036047509306311372157823\ 907406126775500801947168690/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^22 - 7405860349277370861959255903515019837892813530135347871374622730848\ 4/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^21 + 141617207597848078896331796497475654532130224863994202\ 516946198477047/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^20 + 2005049627842657474098878510995376740067\ 06021724778632073231654609075/4364313083947204891163815012963441484\ 92989878598446186820194701*c_0101_4^19 - 2251210554199190167399137946273740124658376337269567347702488369792\ 64/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^18 - 35819083774788174273405879346453120050756513262904952\ 2452240455500868/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^17 + 220561881903515356887122361199807020316\ 474379785865303131627839653104/436431308394720489116381501296344148\ 492989878598446186820194701*c_0101_4^16 + 4272461740517312589696234338585453171240966825743381193444483362264\ 64/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^15 - 12563556327421217131782632848414992190362692041053645\ 5234610773326651/43643130839472048911638150129634414849298987859844\ 6186820194701*c_0101_4^14 - 342942740052009040622718004294820068902\ 759614726298856110238243767068/436431308394720489116381501296344148\ 492989878598446186820194701*c_0101_4^13 + 3119046752549897643660861879971935207965342590506073577119301077599\ 3/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^12 + 184820930368461643018421170326278191567656174072243743\ 111534939459376/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^11 + 6167104447865568540507255251537129131595\ 117265644443693465670675792/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^10 - 6568627464374885070467388223485514541371405481233861093606944990600\ 2/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^9 - 6798302217699910599040047639963527652813769053504297210\ 067530258560/436431308394720489116381501296344148492989878598446186\ 820194701*c_0101_4^8 + 14735406833399159163812164535197163140207114\ 228269832045886482764235/436431308394720489116381501296344148492989\ 878598446186820194701*c_0101_4^7 + 1980463144206539432928377486374413217627884930785096015497518154457\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^6 - 19178397395919494551886064002093087013236419807806491701\ 73914288964/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^5 - 237176191387993905010540341323785923622404541\ 455197548846293234734/436431308394720489116381501296344148492989878\ 598446186820194701*c_0101_4^4 + 12982891695518960104053273151194022\ 9474402576216659032417019436387/43643130839472048911638150129634414\ 8492989878598446186820194701*c_0101_4^3 + 7712612700238678463772100213236935996976518254146272799254047715/43\ 6431308394720489116381501296344148492989878598446186820194701*c_010\ 1_4^2 - 44093294284958557212178155393458719579129612725365916596790\ 96362/4364313083947204891163815012963441484929898785984461868201947\ 01*c_0101_4 - 51584302310752755096625459205013991823125687811572810\ 493606241/436431308394720489116381501296344148492989878598446186820\ 194701, c_0101_1 + 229544129916478007764529945967363006501775053505339015382935\ 24/436431308394720489116381501296344148492989878598446186820194701*\ c_0101_4^31 - 11771136294307324079794896248716902452772199040954382\ 68359502/3185629988282631307418843075155796704328393274441213042483\ 173*c_0101_4^30 - 1325107761097055817480088566368115462858816083698\ 787927834842129/436431308394720489116381501296344148492989878598446\ 186820194701*c_0101_4^29 + 1149783672014798912802157942545845305053\ 6611568935504199946568011/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4^28 + 15276089566495053762306085754842448702631222401734183759645228940/4\ 36431308394720489116381501296344148492989878598446186820194701*c_01\ 01_4^27 - 219940175654105097473980208019407371298894866998436445610\ 898891291/436431308394720489116381501296344148492989878598446186820\ 194701*c_0101_4^26 - 3134982635698012652090424845356416991850880687\ 8302288709224589701/43643130839472048911638150129634414849298987859\ 8446186820194701*c_0101_4^25 + 194940288339284248975011624006350561\ 7167051382843913298839202928839/43643130839472048911638150129634414\ 8492989878598446186820194701*c_0101_4^24 - 172283710171286799428652472924304914561605378404953869094798121673/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^23 - 10018556378327379561198229097167459258198305009659167425\ 013268914387/436431308394720489116381501296344148492989878598446186\ 820194701*c_0101_4^22 + 2904447692948769071995551281997620710308664\ 24850773586199967369112/4364313083947204891163815012963441484929898\ 78598446186820194701*c_0101_4^21 + 3261985357678587634210899656847017488475124935158758394451797230772\ 5/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^20 + 398969662879306231002225400640109001662587116297352141\ 4395457839572/43643130839472048911638150129634414849298987859844618\ 6820194701*c_0101_4^19 - 695631308466286569291678523852603760565297\ 33810923545273703571605218/4364313083947204891163815012963441484929\ 89878598446186820194701*c_0101_4^18 - 1943513506519763361255293630880695292717374878082216240911999846098\ 0/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^17 + 989063144056031084920783588343641215377853079935619313\ 98285021177831/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^16 + 40841711027005779951729118153678728630154\ 964957431201907492184712580/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^15 - 9502058165957234757316358672638072428014493190395517468548842736595\ 5/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^14 - 491281037072281129278742930074040766892235391270730522\ 58094926094469/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^13 + 62418681384667315172163831892486254648304\ 056218978224905667130836542/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^12 + 3681454231207068356052150625505280682656985881877349070378771218801\ 7/436431308394720489116381501296344148492989878598446186820194701*c\ _0101_4^11 - 283150656406363230890864197874376309564778390111429191\ 49868966900958/4364313083947204891163815012963441484929898785984461\ 86820194701*c_0101_4^10 - 17678149213104302252065553126598949305620\ 749223156176187094937776832/436431308394720489116381501296344148492\ 989878598446186820194701*c_0101_4^9 + 8849970366221757823567040631031361459162386069350482260051268423283\ /436431308394720489116381501296344148492989878598446186820194701*c_\ 0101_4^8 + 53773010558185771383134625387611125523348223723762382373\ 27668039368/4364313083947204891163815012963441484929898785984461868\ 20194701*c_0101_4^7 - 183226328701603250932916944073157570943754092\ 1855859562026442857774/43643130839472048911638150129634414849298987\ 8598446186820194701*c_0101_4^6 - 9710950884267176957117998456762112\ 03669806998243062928007573080149/4364313083947204891163815012963441\ 48492989878598446186820194701*c_0101_4^5 + 228208885778854948473308600136904739611524929495223560644320626732/\ 436431308394720489116381501296344148492989878598446186820194701*c_0\ 101_4^4 + 904316966451441951402936144620254945327329893324006167499\ 00243726/4364313083947204891163815012963441484929898785984461868201\ 94701*c_0101_4^3 - 150902950223346930480602151755892949436997745822\ 31312442674059720/4364313083947204891163815012963441484929898785984\ 46186820194701*c_0101_4^2 - 226910824325985649131196868615067844374\ 5956622816855181412193546/43643130839472048911638150129634414849298\ 9878598446186820194701*c_0101_4 + 428637227269094144396788664453206\ 461890899420764480060084548553/436431308394720489116381501296344148\ 492989878598446186820194701, c_0101_4^32 - 5*c_0101_4^31 - 67*c_0101_4^30 + 362*c_0101_4^29 + 1337*c_0101_4^28 - 6640*c_0101_4^27 - 13352*c_0101_4^26 + 53909*c_0101_4^25 + 84825*c_0101_4^24 - 237451*c_0101_4^23 - 357833*c_0101_4^22 + 616011*c_0101_4^21 + 993919*c_0101_4^20 - 971717*c_0101_4^19 - 1829794*c_0101_4^18 + 911428*c_0101_4^17 + 2263646*c_0101_4^16 - 429008*c_0101_4^15 - 1900741*c_0101_4^14 - 21244*c_0101_4^13 + 1085136*c_0101_4^12 + 153707*c_0101_4^11 - 416957*c_0101_4^10 - 93622*c_0101_4^9 + 104734*c_0101_4^8 + 28581*c_0101_4^7 - 16212*c_0101_4^6 - 4656*c_0101_4^5 + 1421*c_0101_4^4 + 352*c_0101_4^3 - 64*c_0101_4^2 - 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB