Magma V2.19-8 Tue Aug 20 2013 23:41:56 on localhost [Seed = 593839719] Type ? for help. Type -D to quit. Loading file "K12n661__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n661 geometric_solution 10.90554404 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 -1 9 0 -8 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.174431303058 1.106778556765 0 5 7 6 0132 0132 0132 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599652762970 0.473290798515 4 0 9 8 0213 0132 0132 0132 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 1 0 -1 0 0 1 -1 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492793554274 1.065372544362 10 7 11 0 0132 1230 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.030490042917 0.848973730922 2 5 0 10 0213 0321 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.093172865256 0.731247659938 7 1 8 4 0321 0132 2310 0321 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 0 8 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.579935278601 0.546637784510 11 10 1 9 0321 0321 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0.309326399687 0.720417584856 5 9 3 1 0321 3012 3012 0132 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 -1 0 1 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473405744313 1.105892534483 9 5 2 11 1302 3201 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 -1 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 0 0 0 0.222391285776 1.045155717092 7 8 6 2 1230 2031 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 9 0 0 -9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.036390903660 0.885421400715 3 4 11 6 0132 0321 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0.537523177184 0.273111780933 6 8 10 3 0321 2310 0321 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.380239320490 0.595760532812 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0110_8']), 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0110_8']), 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : d['c_0110_8'], 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1001_11'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_1001_11']), '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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_5, c_0101_9, c_0110_8, c_1001_10, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 741142278106750134373847021598604705469581148837234245614794/283967\ 934377699178733846812158933711809039833845856360669*c_1001_11^26 - 29131203181799321229586810682484488468102206704128493340651813/2839\ 67934377699178733846812158933711809039833845856360669*c_1001_11^25 - 179142878272715316400383549381009148332636933778177512971544251/283\ 967934377699178733846812158933711809039833845856360669*c_1001_11^24 - 296534006296385160477268481738173409758139362442382402394438759/2\ 83967934377699178733846812158933711809039833845856360669*c_1001_11^\ 23 + 61757195485134281896826978733157136986487252727689628227241984\ 8/283967934377699178733846812158933711809039833845856360669*c_1001_\ 11^22 + 26028662558884755701996700881175096797822440433892724243212\ 90001/283967934377699178733846812158933711809039833845856360669*c_1\ 001_11^21 + 1083911954425090278552244150304593919525638384255875727\ 41440672/31551992708633242081538534684325967978782203760650706741*c\ _1001_11^20 - 10719321664149309929408260058309648991532771641111133\ 1023532384/4115477309821727228026765393607734953754200490519657401*\ c_1001_11^19 - 9331079346473905057190932828714635562203271908516003\ 920953197047/283967934377699178733846812158933711809039833845856360\ 669*c_1001_11^18 + 102833312781505889998804876544866928653428980464\ 408465498974451/281156370670989285875095853622706645355484984005798\ 3769*c_1001_11^17 + 28375873864568818204287771154481490806396576034\ 568583160183562880/283967934377699178733846812158933711809039833845\ 856360669*c_1001_11^16 + 306538220500628179416986119481279151596824\ 5856067873899378272568/28396793437769917873384681215893371180903983\ 3845856360669*c_1001_11^15 - 14610530211882290311163256592649060030\ 505117112640488047650575661/946559781258997262446156040529779039363\ 46611281952120223*c_1001_11^14 - 4116408506988286657533627272669584\ 1114624641666937973013138098965/28396793437769917873384681215893371\ 1809039833845856360669*c_1001_11^13 + 1215402330361180718694026904610143876130569737601334007968893649/25\ 815266761609016248531528378084882891730893985986941879*c_1001_11^12 + 1419648151809097194521695214284275153373315719425714106003156175/\ 8605088920536338749510509459361627630576964661995647293*c_1001_11^1\ 1 + 310349613860548918926938330890931582257933279667240540354871669\ 68/283967934377699178733846812158933711809039833845856360669*c_1001\ _11^10 + 2767425387123415803740516844055741105848121465436341769760\ 584740/283967934377699178733846812158933711809039833845856360669*c_\ 1001_11^9 - 4792281272401240069295608488693393473948555194709041328\ 068731770/94655978125899726244615604052977903936346611281952120223*\ c_1001_11^8 - 10036971153492448797614439999133573149063275418537815\ 6122877765/1371825769940575742675588464535911651251400163506552467*\ c_1001_11^7 - 15178270659829155251784408885913463544033194007355073\ 518829036945/283967934377699178733846812158933711809039833845856360\ 669*c_1001_11^6 - 4480622896301110501533612799480562466108712518763\ 498518848099429/283967934377699178733846812158933711809039833845856\ 360669*c_1001_11^5 - 2593743164892669105356504436631661266277353362\ 349463539837556/450742752980474886879121924061799542554031482295010\ 0963*c_1001_11^4 - 931042032682877239325838131137025956638661098156\ 819163985022808/283967934377699178733846812158933711809039833845856\ 360669*c_1001_11^3 - 7974101358314199679018049064967652903279901660\ 65297415225662771/2839679343776991787338468121589337118090398338458\ 56360669*c_1001_11^2 + 10709087201877197703089506568665562246252227\ 60931970879469885/1051733090287774736051284489477532265959406792021\ 6902247*c_1001_11 + 97736851012306038028753888704726892630268980099\ 40385072894355/2581526676160901624853152837808488289173089398598694\ 1879, c_0011_0 - 1, c_0011_10 + 112609371764287995824881588254407908340630424/3155563856652\ 327284543931022226159370668519*c_1001_11^26 + 4429107524855323640029583228882651443628406253/31555638566523272845\ 43931022226159370668519*c_1001_11^25 + 27328886619068423008086699347942408156678893252/3155563856652327284\ 543931022226159370668519*c_1001_11^24 + 45595414127353065273085909758089091238131901377/3155563856652327284\ 543931022226159370668519*c_1001_11^23 - 93468507689822974733514473450357756210128673532/3155563856652327284\ 543931022226159370668519*c_1001_11^22 - 398439573219362487127806305572560163212556414088/315556385665232728\ 4543931022226159370668519*c_1001_11^21 - 154053638798145995444644006291034795890455054913/315556385665232728\ 4543931022226159370668519*c_1001_11^20 + 49068967381398406235948006880954743759050004290/1371984285501011862\ 84518740096789537855153*c_1001_11^19 + 1439682805356495600849136602331563464863973465894/31555638566523272\ 84543931022226159370668519*c_1001_11^18 - 1573871610916266505914957962997327604711314256251/31555638566523272\ 84543931022226159370668519*c_1001_11^17 - 4358331375712354141017198962568855812356689548559/31555638566523272\ 84543931022226159370668519*c_1001_11^16 - 507672349806635687587766100342499544880947081898/315556385665232728\ 4543931022226159370668519*c_1001_11^15 + 6709639585125044534505840062972833632221989667582/31555638566523272\ 84543931022226159370668519*c_1001_11^14 + 6352484544314569139685100099728587415044190853589/31555638566523272\ 84543931022226159370668519*c_1001_11^13 - 2014799145565756961218949947710515375137643509056/31555638566523272\ 84543931022226159370668519*c_1001_11^12 - 7194722983764062263074421046137082176473536708724/31555638566523272\ 84543931022226159370668519*c_1001_11^11 - 4785697253143343535435855553341521276622651291112/31555638566523272\ 84543931022226159370668519*c_1001_11^10 - 438507121108467619825771356054933097623668725707/315556385665232728\ 4543931022226159370668519*c_1001_11^9 + 2199834479700032328020180993646059858299891959887/31555638566523272\ 84543931022226159370668519*c_1001_11^8 + 138704114822383134486764900617758565804875358629/137198428550101186\ 284518740096789537855153*c_1001_11^7 + 2338306478709074395450487762539311144569527744991/31555638566523272\ 84543931022226159370668519*c_1001_11^6 + 692944466752529111176753594896609620224365281080/315556385665232728\ 4543931022226159370668519*c_1001_11^5 + 24582979807134922790066706034028401074315683467/3155563856652327284\ 543931022226159370668519*c_1001_11^4 + 142564745001928333739921603923621747438836655640/315556385665232728\ 4543931022226159370668519*c_1001_11^3 + 123191099319510855082921967456412791560270227746/315556385665232728\ 4543931022226159370668519*c_1001_11^2 - 4272100957988429107604500944249590744522133773/31555638566523272845\ 43931022226159370668519*c_1001_11 - 16616555037957946081662976145230672099664355442/3155563856652327284\ 543931022226159370668519, c_0011_11 - 3924925264396881867506197045455109460979101/315556385665232\ 7284543931022226159370668519*c_1001_11^26 - 150548976608890865292473722427527739458885392/315556385665232728454\ 3931022226159370668519*c_1001_11^25 - 807935567894161482853342799660117093209333189/315556385665232728454\ 3931022226159370668519*c_1001_11^24 - 881594513274783039454627436939197182435612602/315556385665232728454\ 3931022226159370668519*c_1001_11^23 + 3726637433250639442371716633029456804213424588/31555638566523272845\ 43931022226159370668519*c_1001_11^22 + 9996992902389114302958623530716487747368008711/31555638566523272845\ 43931022226159370668519*c_1001_11^21 - 2225624533514643833726211931362060492188027404/31555638566523272845\ 43931022226159370668519*c_1001_11^20 - 1433663335477317701718158001824100184956390673/13719842855010118628\ 4518740096789537855153*c_1001_11^19 - 21560267859679585271664047567888999924221569334/3155563856652327284\ 543931022226159370668519*c_1001_11^18 + 60056940870504625253232100801997531952330919562/3155563856652327284\ 543931022226159370668519*c_1001_11^17 + 90513809192226395639154596632212495816939878173/3155563856652327284\ 543931022226159370668519*c_1001_11^16 - 36575388054800199879666025999774763350774057462/3155563856652327284\ 543931022226159370668519*c_1001_11^15 - 168239899611782987565598303655369346202563307059/315556385665232728\ 4543931022226159370668519*c_1001_11^14 - 93787646284201360637146370930666822832680228176/3155563856652327284\ 543931022226159370668519*c_1001_11^13 + 91059605930387734412471681534457685954434891038/3155563856652327284\ 543931022226159370668519*c_1001_11^12 + 150639726549665200813331462878056903273875614517/315556385665232728\ 4543931022226159370668519*c_1001_11^11 + 75533234469550261200815986284569950298711454425/3155563856652327284\ 543931022226159370668519*c_1001_11^10 - 7869281153525647064047232617619872614530349310/31555638566523272845\ 43931022226159370668519*c_1001_11^9 - 56410226764745109999050993618189692505644900680/3155563856652327284\ 543931022226159370668519*c_1001_11^8 - 2939918481607795134001286053147984608342206636/13719842855010118628\ 4518740096789537855153*c_1001_11^7 - 39742997244964614184378775500222738466083289584/3155563856652327284\ 543931022226159370668519*c_1001_11^6 - 8444085421978056893348782078546718117948110712/31555638566523272845\ 43931022226159370668519*c_1001_11^5 - 1203271744370051998979278632290328361744116918/31555638566523272845\ 43931022226159370668519*c_1001_11^4 - 3495121609470243904189987138591369142798885882/31555638566523272845\ 43931022226159370668519*c_1001_11^3 - 1645673372925643840028432992161356075806480667/31555638566523272845\ 43931022226159370668519*c_1001_11^2 + 298497820872333588472950387328955087263479213/315556385665232728454\ 3931022226159370668519*c_1001_11 + 216055391517067630615592257868044457715127530/315556385665232728454\ 3931022226159370668519, c_0011_4 + 290820333511695642644700466694244290191646839/31555638566523\ 27284543931022226159370668519*c_1001_11^26 + 11433956788249585151653573113476170829228203888/3155563856652327284\ 543931022226159370668519*c_1001_11^25 + 70409438699915165028864136902223990964618531906/3155563856652327284\ 543931022226159370668519*c_1001_11^24 + 116929914154859708175253726754679449261941395537/315556385665232728\ 4543931022226159370668519*c_1001_11^23 - 241916867535793544875068150253015131655477109956/315556385665232728\ 4543931022226159370668519*c_1001_11^22 - 1024447137015160682987701247788159688077856516057/31555638566523272\ 84543931022226159370668519*c_1001_11^21 - 389103079585407805143728057014709749166825357296/315556385665232728\ 4543931022226159370668519*c_1001_11^20 + 126394360277864116198877106305544051602263968402/137198428550101186\ 284518740096789537855153*c_1001_11^19 + 3684971178315011652564438921725453774641451564376/31555638566523272\ 84543931022226159370668519*c_1001_11^18 - 4070049186407047541075099302234908183445485278026/31555638566523272\ 84543931022226159370668519*c_1001_11^17 - 11184396495183475560787911393753178475005307412058/3155563856652327\ 284543931022226159370668519*c_1001_11^16 - 1249370197814865542038871154335585988464885361606/31555638566523272\ 84543931022226159370668519*c_1001_11^15 + 17251279173930150813501101481878279170411503162450/3155563856652327\ 284543931022226159370668519*c_1001_11^14 + 16259162753514022465499791261386317324607994037578/3155563856652327\ 284543931022226159370668519*c_1001_11^13 - 5225993890581548991257528498845623811702500216103/31555638566523272\ 84543931022226159370668519*c_1001_11^12 - 18465446891025732768294123375650597803376130083634/3155563856652327\ 284543931022226159370668519*c_1001_11^11 - 12254880902332878032213144811355579904462292931184/3155563856652327\ 284543931022226159370668519*c_1001_11^10 - 1105830196761310503031346257533850012051307997718/31555638566523272\ 84543931022226159370668519*c_1001_11^9 + 5657849795089546036691697734306685185386282123775/31555638566523272\ 84543931022226159370668519*c_1001_11^8 + 356020604186279746854103949324129863480955110090/137198428550101186\ 284518740096789537855153*c_1001_11^7 + 5990850801239277921599986805669421628391062665665/31555638566523272\ 84543931022226159370668519*c_1001_11^6 + 1771591319350291914190290473952727697858215120395/31555638566523272\ 84543931022226159370668519*c_1001_11^5 + 63756007363205053211058243449443254551713458942/3155563856652327284\ 543931022226159370668519*c_1001_11^4 + 366436664552122559657307330463824803686650116287/315556385665232728\ 4543931022226159370668519*c_1001_11^3 + 315137799898629562821383749140905733798474541620/315556385665232728\ 4543931022226159370668519*c_1001_11^2 - 11210593314351761404474517848919480959061548033/3155563856652327284\ 543931022226159370668519*c_1001_11 - 42507516277034538426889365192627908281456494341/3155563856652327284\ 543931022226159370668519, c_0011_6 - 11520213699682223465910345023564785087766495/315556385665232\ 7284543931022226159370668519*c_1001_11^26 - 440673577732368212606483293971793248665449361/315556385665232728454\ 3931022226159370668519*c_1001_11^25 - 2324589593195542594513265124709987628824483610/31555638566523272845\ 43931022226159370668519*c_1001_11^24 - 2323682276858771064691276983276047364965665572/31555638566523272845\ 43931022226159370668519*c_1001_11^23 + 11233618779625389868361769302687095782517866100/3155563856652327284\ 543931022226159370668519*c_1001_11^22 + 28036676686544807609826996717736589026910300624/3155563856652327284\ 543931022226159370668519*c_1001_11^21 - 9956997244193744467686097266101361063315455035/31555638566523272845\ 43931022226159370668519*c_1001_11^20 - 4152584447769846116915397144052560343452299995/13719842855010118628\ 4518740096789537855153*c_1001_11^19 - 51303010566862598847358660976757111581730658459/3155563856652327284\ 543931022226159370668519*c_1001_11^18 + 182062347483842485532722959019183575995022154558/315556385665232728\ 4543931022226159370668519*c_1001_11^17 + 241764956299583071353977363244786436823472032943/315556385665232728\ 4543931022226159370668519*c_1001_11^16 - 136054574044954258476384072550834483854116464810/315556385665232728\ 4543931022226159370668519*c_1001_11^15 - 472223626196357473540294429269808941381597544471/315556385665232728\ 4543931022226159370668519*c_1001_11^14 - 216681759737185351807021697578696748399529154761/315556385665232728\ 4543931022226159370668519*c_1001_11^13 + 284970139190053675963558518838929596625797887880/315556385665232728\ 4543931022226159370668519*c_1001_11^12 + 400123164866802721675657851713463982590260661131/315556385665232728\ 4543931022226159370668519*c_1001_11^11 + 177902667305502359543823971501895930561904981938/315556385665232728\ 4543931022226159370668519*c_1001_11^10 - 35604037899248373762515727691634890237346762613/3155563856652327284\ 543931022226159370668519*c_1001_11^9 - 157870334233987178125481236700513888429324338849/315556385665232728\ 4543931022226159370668519*c_1001_11^8 - 7826511472084465046299014076394692642145602264/13719842855010118628\ 4518740096789537855153*c_1001_11^7 - 97240387865576322842728873030846242754245338975/3155563856652327284\ 543931022226159370668519*c_1001_11^6 - 16724472794208929048029857114578749928411479113/3155563856652327284\ 543931022226159370668519*c_1001_11^5 - 3842990484925127807641354231926912099610728352/31555638566523272845\ 43931022226159370668519*c_1001_11^4 - 9938835495939330053549324137069540760519345551/31555638566523272845\ 43931022226159370668519*c_1001_11^3 - 3533953177082244705445229634189770900092593406/31555638566523272845\ 43931022226159370668519*c_1001_11^2 + 996758964114706506351220868504242028699399486/315556385665232728454\ 3931022226159370668519*c_1001_11 + 428130050454780376575007197139878070941879331/315556385665232728454\ 3931022226159370668519, c_0011_8 + 199528819723521218497487790916089305905930243/31555638566523\ 27284543931022226159370668519*c_1001_11^26 + 7847683711446813651594534580248212135561604945/31555638566523272845\ 43931022226159370668519*c_1001_11^25 + 48419730937668622645931155182261660393589956900/3155563856652327284\ 543931022226159370668519*c_1001_11^24 + 80790084276267999499490335421586643146620121778/3155563856652327284\ 543931022226159370668519*c_1001_11^23 - 165549999707349770972995652006732928192241260970/315556385665232728\ 4543931022226159370668519*c_1001_11^22 - 705910243348981307838031273299282954829884032722/315556385665232728\ 4543931022226159370668519*c_1001_11^21 - 273286259146657563150301359185435755550001151571/315556385665232728\ 4543931022226159370668519*c_1001_11^20 + 86918467327166220308630261308679310892599949342/1371984285501011862\ 84518740096789537855153*c_1001_11^19 + 2551664081904151313962502774436278343591872233910/31555638566523272\ 84543931022226159370668519*c_1001_11^18 - 2786608238520047607002820761309153645493311169802/31555638566523272\ 84543931022226159370668519*c_1001_11^17 - 7723024774276371189796245872714910168122055091367/31555638566523272\ 84543931022226159370668519*c_1001_11^16 - 904201623002024511986146288056382591208607070113/315556385665232728\ 4543931022226159370668519*c_1001_11^15 + 11887174435713326975309290747804931075103883613506/3155563856652327\ 284543931022226159370668519*c_1001_11^14 + 11262007810031594662630636858801008716122737249460/3155563856652327\ 284543931022226159370668519*c_1001_11^13 - 3564637105624551846528848422845311490231795662838/31555638566523272\ 84543931022226159370668519*c_1001_11^12 - 12751045694218157676312665340640977994160348555769/3155563856652327\ 284543931022226159370668519*c_1001_11^11 - 8485038220934004404815842761899913645125709550257/31555638566523272\ 84543931022226159370668519*c_1001_11^10 - 778804232120382572504913484471670179948933339414/315556385665232728\ 4543931022226159370668519*c_1001_11^9 + 3898032564104109750025505196497191401089341889937/31555638566523272\ 84543931022226159370668519*c_1001_11^8 + 245815761941987907605591879672145341291739393490/137198428550101186\ 284518740096789537855153*c_1001_11^7 + 4145261881777126763598333819134685942414601774845/31555638566523272\ 84543931022226159370668519*c_1001_11^6 + 1228955394659759181343755119544772074442252252089/31555638566523272\ 84543931022226159370668519*c_1001_11^5 + 43403012354676700136957495817969303741501965584/3155563856652327284\ 543931022226159370668519*c_1001_11^4 + 252519692806240634206007536155047392740085624681/315556385665232728\ 4543931022226159370668519*c_1001_11^3 + 218474691165580640895561291542569330476761050318/315556385665232728\ 4543931022226159370668519*c_1001_11^2 - 7542285101125207304837045358952707314402828204/31555638566523272845\ 43931022226159370668519*c_1001_11 - 29481868493494454385177992766459284309788642784/3155563856652327284\ 543931022226159370668519, c_0101_0 + 191792101141947173921645820085018459431826528/31555638566523\ 27284543931022226159370668519*c_1001_11^26 + 7533695207017880368490553320788601117841503107/31555638566523272845\ 43931022226159370668519*c_1001_11^25 + 46174121624513861691335955328669340937967357454/3155563856652327284\ 543931022226159370668519*c_1001_11^24 + 75805212002511008183630098913608746898716335578/3155563856652327284\ 543931022226159370668519*c_1001_11^23 - 160537060262365702610490342979873826919116355505/315556385665232728\ 4543931022226159370668519*c_1001_11^22 - 668577158661549882350804146829720190739671095004/315556385665232728\ 4543931022226159370668519*c_1001_11^21 - 241932311092430938910015327779856338951157941069/315556385665232728\ 4543931022226159370668519*c_1001_11^20 + 82897053346095038915333842928755126291594720403/1371984285501011862\ 84518740096789537855153*c_1001_11^19 + 2375909656042141239141046572827740557848896462669/31555638566523272\ 84543931022226159370668519*c_1001_11^18 - 2698020388039990843731001797592927860644234785764/31555638566523272\ 84543931022226159370668519*c_1001_11^17 - 7261531812097599910799926029212922542241741703499/31555638566523272\ 84543931022226159370668519*c_1001_11^16 - 714280393666720921000091909493278590470180776746/315556385665232728\ 4543931022226159370668519*c_1001_11^15 + 11259214262611344492027629994605053331469181881738/3155563856652327\ 284543931022226159370668519*c_1001_11^14 + 10474737755732646275446172232227704795600487334806/3155563856652327\ 284543931022226159370668519*c_1001_11^13 - 3496391196731197856105667766606915961609930737300/31555638566523272\ 84543931022226159370668519*c_1001_11^12 - 11987756662321480718585809524367536232752303981695/3155563856652327\ 284543931022226159370668519*c_1001_11^11 - 7902225622969424265520348341676428917309488671560/31555638566523272\ 84543931022226159370668519*c_1001_11^10 - 681956958837476013356249372132549097654145875345/315556385665232728\ 4543931022226159370668519*c_1001_11^9 + 3693780622395057770289073920653877005280706171092/31555638566523272\ 84543931022226159370668519*c_1001_11^8 + 231187256879279139128717858450913154261389990988/137198428550101186\ 284518740096789537855153*c_1001_11^7 + 3869388957070671357552524712958346853051992239230/31555638566523272\ 84543931022226159370668519*c_1001_11^6 + 1136701457191462016182239689348089719541295704000/31555638566523272\ 84543931022226159370668519*c_1001_11^5 + 42802501569619523939934427890020124825873430838/3155563856652327284\ 543931022226159370668519*c_1001_11^4 + 239156617376205550820727642625395509601322341249/315556385665232728\ 4543931022226159370668519*c_1001_11^3 + 202565762569037674499349763841054573383162197961/315556385665232728\ 4543931022226159370668519*c_1001_11^2 - 7752356817731763391407175809225425844557265719/31555638566523272845\ 43931022226159370668519*c_1001_11 - 27285903701388880846832716490290485078780447454/3155563856652327284\ 543931022226159370668519, c_0101_5 - 255056601951477642776142025052127785350836251/31555638566523\ 27284543931022226159370668519*c_1001_11^26 - 10022881781436448246297055561961503146615612340/3155563856652327284\ 543931022226159370668519*c_1001_11^25 - 61562009099115274643678576019932845568416841256/3155563856652327284\ 543931022226159370668519*c_1001_11^24 - 101610020033752832900214738398091266644509545926/315556385665232728\ 4543931022226159370668519*c_1001_11^23 + 212846784925933300992245605786428569349135473657/315556385665232728\ 4543931022226159370668519*c_1001_11^22 + 893362317334287852096669148122535214798675264226/315556385665232728\ 4543931022226159370668519*c_1001_11^21 + 330878805988967834046281778530177426974258754538/315556385665232728\ 4543931022226159370668519*c_1001_11^20 - 110505636400878882387197715864174091915692904356/137198428550101186\ 284518740096789537855153*c_1001_11^19 - 3193144170897224229435678697351334201350402535953/31555638566523272\ 84543931022226159370668519*c_1001_11^18 + 3578257124686703794880396098548398067387196510639/31555638566523272\ 84543931022226159370668519*c_1001_11^17 + 9726866636362078959685160781395193429708426023787/31555638566523272\ 84543931022226159370668519*c_1001_11^16 + 1019574598516917465674157701018934288652470671815/31555638566523272\ 84543931022226159370668519*c_1001_11^15 - 15043832374432113046866568940175858780439485398661/3155563856652327\ 284543931022226159370668519*c_1001_11^14 - 14084724604809839375798645780329538295668706905243/3155563856652327\ 284543931022226159370668519*c_1001_11^13 + 4615585255576211457452975300089249653684260449252/31555638566523272\ 84543931022226159370668519*c_1001_11^12 + 16059053101269325639877572237843624616897267334506/3155563856652327\ 284543931022226159370668519*c_1001_11^11 + 10621860423213197615243642914261851987679541146342/3155563856652327\ 284543931022226159370668519*c_1001_11^10 + 937490214759080593673746847272810047278247240204/315556385665232728\ 4543931022226159370668519*c_1001_11^9 - 4934888998425177165245862460621104252804465951637/31555638566523272\ 84543931022226159370668519*c_1001_11^8 - 309674534118896761863143287612740493488946064225/137198428550101186\ 284518740096789537855153*c_1001_11^7 - 5196820729605234384356755662931752880660850454799/31555638566523272\ 84543931022226159370668519*c_1001_11^6 - 1531892052941591375742765954305506222932577951184/31555638566523272\ 84543931022226159370668519*c_1001_11^5 - 56571954968084530478638934742912423861692371975/3155563856652327284\ 543931022226159370668519*c_1001_11^4 - 319553684750912271822661346320724249298495637077/315556385665232728\ 4543931022226159370668519*c_1001_11^3 - 272719843816709760566955653991794050059138904167/315556385665232728\ 4543931022226159370668519*c_1001_11^2 + 10047660935633261130183173658592348110805067220/3155563856652327284\ 543931022226159370668519*c_1001_11 + 36756548506146680059851364449199126906454506672/3155563856652327284\ 543931022226159370668519, c_0101_9 - 106949339279451117135631587664373231680752965/31555638566523\ 27284543931022226159370668519*c_1001_11^26 - 4195884999026207062628384729965226130098483770/31555638566523272845\ 43931022226159370668519*c_1001_11^25 - 25553341330241642606496396102348037949782316257/3155563856652327284\ 543931022226159370668519*c_1001_11^24 - 41304725122879399008980303763165906045069175865/3155563856652327284\ 543931022226159370668519*c_1001_11^23 + 90206590649572860751624784903213271951796767586/3155563856652327284\ 543931022226159370668519*c_1001_11^22 + 367558193469034015691037877393579589706543251059/315556385665232728\ 4543931022226159370668519*c_1001_11^21 + 124307533131767755410036529534729417377189049390/315556385665232728\ 4543931022226159370668519*c_1001_11^20 - 45865722964047181780534522187169719164534612093/1371984285501011862\ 84518740096789537855153*c_1001_11^19 - 1285272282634169687183837723416564933369641969565/31555638566523272\ 84543931022226159370668519*c_1001_11^18 + 1513035259348744642294944534162949009145250906468/31555638566523272\ 84543931022226159370668519*c_1001_11^17 + 3964937110784950005019645932668855258222281280379/31555638566523272\ 84543931022226159370668519*c_1001_11^16 + 320989571989101970389523038333017779621952079592/315556385665232728\ 4543931022226159370668519*c_1001_11^15 - 6189781340174862729787837547978834619151100542058/31555638566523272\ 84543931022226159370668519*c_1001_11^14 - 5662482971619966824957352281218238948696056173818/31555638566523272\ 84543931022226159370668519*c_1001_11^13 + 1981707913797830468614344526497456797873910149440/31555638566523272\ 84543931022226159370668519*c_1001_11^12 + 6545997412680669860462990444992716292844821463876/31555638566523272\ 84543931022226159370668519*c_1001_11^11 + 4278212806411112541985121369974155438444573684509/31555638566523272\ 84543931022226159370668519*c_1001_11^10 + 347355626918780024039875185888002533302724213617/315556385665232728\ 4543931022226159370668519*c_1001_11^9 - 2031919437798056591002431588993060891105265953796/31555638566523272\ 84543931022226159370668519*c_1001_11^8 - 126290726890265440115610817398912195128382494171/137198428550101186\ 284518740096789537855153*c_1001_11^7 - 2099223446100820201229887407332918511732733161171/31555638566523272\ 84543931022226159370668519*c_1001_11^6 - 611653195035928553884236460531782405208396739602/315556385665232728\ 4543931022226159370668519*c_1001_11^5 - 24478949750147756780914583827256343781849275674/3155563856652327284\ 543931022226159370668519*c_1001_11^4 - 131463963273731235503275541308298754405487714089/315556385665232728\ 4543931022226159370668519*c_1001_11^3 - 109234369443583662451626297122971039995254726691/315556385665232728\ 4543931022226159370668519*c_1001_11^2 + 4543627454667247443587954513857647489302061454/31555638566523272845\ 43931022226159370668519*c_1001_11 + 14689401158640196623201680433247968884798225223/3155563856652327284\ 543931022226159370668519, c_0110_8 - 4207668184139881676143200654630216946249612/3155563856652327\ 284543931022226159370668519*c_1001_11^26 - 156786513665913043579817681161643892762217985/315556385665232728454\ 3931022226159370668519*c_1001_11^25 - 691189163801259958276037682123735109875696267/315556385665232728454\ 3931022226159370668519*c_1001_11^24 - 65365935395910197536072847119975596645296006/3155563856652327284543\ 931022226159370668519*c_1001_11^23 + 4658938119056405394950753346595817770134200232/31555638566523272845\ 43931022226159370668519*c_1001_11^22 + 5975744093506726187063921374750491527643046980/31555638566523272845\ 43931022226159370668519*c_1001_11^21 - 12228467318731272152556991858290863959850508340/3155563856652327284\ 543931022226159370668519*c_1001_11^20 - 1224542456700590587746578289776017585639392595/13719842855010118628\ 4518740096789537855153*c_1001_11^19 + 13367344007927690607386571133517792674717974421/3155563856652327284\ 543931022226159370668519*c_1001_11^18 + 73401683869965257410462750814875010983433620683/3155563856652327284\ 543931022226159370668519*c_1001_11^17 + 19943594368529093857235961208958509377475467950/3155563856652327284\ 543931022226159370668519*c_1001_11^16 - 112337082955440310995812511108360963556833967823/315556385665232728\ 4543931022226159370668519*c_1001_11^15 - 100521569608310588764767384255749463948767969890/315556385665232728\ 4543931022226159370668519*c_1001_11^14 + 65581949876526888712787088404380885045196291955/3155563856652327284\ 543931022226159370668519*c_1001_11^13 + 129932264784773411289977329682185565618700904157/315556385665232728\ 4543931022226159370668519*c_1001_11^12 + 33605042035729185382271632325088019025598985476/3155563856652327284\ 543931022226159370668519*c_1001_11^11 - 38974796953892537530610796325897831876710213559/3155563856652327284\ 543931022226159370668519*c_1001_11^10 - 39575575751903749440616249980927548453948987438/3155563856652327284\ 543931022226159370668519*c_1001_11^9 - 35030087907907819934900181697642561639345474031/3155563856652327284\ 543931022226159370668519*c_1001_11^8 - 730730554886776946866417185904562516403567553/137198428550101186284\ 518740096789537855153*c_1001_11^7 + 11816643533319205824405163989544268776913111596/3155563856652327284\ 543931022226159370668519*c_1001_11^6 + 11845762068457424225402615745125989830109463435/3155563856652327284\ 543931022226159370668519*c_1001_11^5 - 1915497261530746777284521785433111143474302047/31555638566523272845\ 43931022226159370668519*c_1001_11^4 - 2085613986527965474044415490447063577654974956/31555638566523272845\ 43931022226159370668519*c_1001_11^3 + 1738090205050700666746226061195247932278851763/31555638566523272845\ 43931022226159370668519*c_1001_11^2 + 543353202486276388099013238380090708884700367/315556385665232728454\ 3931022226159370668519*c_1001_11 - 273040036442646858054590355907844713944466222/315556385665232728454\ 3931022226159370668519, c_1001_10 + 78857140003774395215487273782176249302249494/31555638566523\ 27284543931022226159370668519*c_1001_11^26 + 3106793242302480335978108260290601639876771902/31555638566523272845\ 43931022226159370668519*c_1001_11^25 + 19335218561346557782942876526406217544470359485/3155563856652327284\ 543931022226159370668519*c_1001_11^24 + 32908909080511320191905801052004245795114139102/3155563856652327284\ 543931022226159370668519*c_1001_11^23 - 64760698798375157451135430314613456646110854690/3155563856652327284\ 543931022226159370668519*c_1001_11^22 - 284352261685589274450227994871620574679477501662/315556385665232728\ 4543931022226159370668519*c_1001_11^21 - 118609853069832325877957664566403852616386014363/315556385665232728\ 4543931022226159370668519*c_1001_11^20 + 34728014867397712576505397651882604362345437007/1371984285501011862\ 84518740096789537855153*c_1001_11^19 + 1048279623199332332371382011630440989769962077744/31555638566523272\ 84543931022226159370668519*c_1001_11^18 - 1093593112741664435872957466806049273399618821944/31555638566523272\ 84543931022226159370668519*c_1001_11^17 - 3137445510186975722134255346302598271526464805380/31555638566523272\ 84543931022226159370668519*c_1001_11^16 - 433628881759596635892887711459811214253329761862/315556385665232728\ 4543931022226159370668519*c_1001_11^15 + 4788547671421363273392920191362270685803544117931/31555638566523272\ 84543931022226159370668519*c_1001_11^14 + 4629100776370458062913295582073981225484003271443/31555638566523272\ 84543931022226159370668519*c_1001_11^13 - 1378734685374433679578628442802448896554316550024/31555638566523272\ 84543931022226159370668519*c_1001_11^12 - 5178692862878812932985308056297733677670016621972/31555638566523272\ 84543931022226159370668519*c_1001_11^11 - 3481022357494766222936937430867438806806448342031/31555638566523272\ 84543931022226159370668519*c_1001_11^10 - 340363280112438080401607485591735400105874095788/315556385665232728\ 4543931022226159370668519*c_1001_11^9 + 1568645313455595410043919772619599204751969961959/31555638566523272\ 84543931022226159370668519*c_1001_11^8 + 99787877793083061358439167433403012459348031635/1371984285501011862\ 84518740096789537855153*c_1001_11^7 + 1696588292308923660707333955683852792579463119115/31555638566523272\ 84543931022226159370668519*c_1001_11^6 + 507718061609864388134295939357317154280774059597/315556385665232728\ 4543931022226159370668519*c_1001_11^5 + 16637898139972255734132655698707884738148149705/3155563856652327284\ 543931022226159370668519*c_1001_11^4 + 101796103637496406384812499279110526830918399601/315556385665232728\ 4543931022226159370668519*c_1001_11^3 + 90041349693152160058269944222377828337607969228/3155563856652327284\ 543931022226159370668519*c_1001_11^2 - 2770771983412568574208998057562765327855627019/31555638566523272845\ 43931022226159370668519*c_1001_11 - 12166792944466233859504236512513908150822381087/3155563856652327284\ 543931022226159370668519, c_1001_11^27 + 40*c_1001_11^26 + 269*c_1001_11^25 + 568*c_1001_11^24 - 555*c_1001_11^23 - 4090*c_1001_11^22 - 3757*c_1001_11^21 + 9060*c_1001_11^20 + 19522*c_1001_11^19 - 5252*c_1001_11^18 - 48009*c_1001_11^17 - 30760*c_1001_11^16 + 56225*c_1001_11^15 + 96643*c_1001_11^14 + 20617*c_1001_11^13 - 75713*c_1001_11^12 - 85831*c_1001_11^11 - 32875*c_1001_11^10 + 16787*c_1001_11^9 + 41514*c_1001_11^8 + 39973*c_1001_11^7 + 20295*c_1001_11^6 + 4430*c_1001_11^5 + 1409*c_1001_11^4 + 1949*c_1001_11^3 + 710*c_1001_11^2 - 172*c_1001_11 - 101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.790 Total time: 2.000 seconds, Total memory usage: 32.09MB