Magma V2.19-8 Tue Aug 20 2013 17:56:22 on localhost [Seed = 4290661327] Type ? for help. Type -D to quit. Loading file "10_24__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_24 geometric_solution 10.97745474 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263427359058 1.065435697820 0 4 5 2 0132 0132 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803029903976 1.206882174905 6 0 3 1 0132 0132 3201 1023 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 1 -1 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.356886975188 0.420907552679 2 6 0 0 2310 2310 2031 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 1 0 -1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263427359058 1.065435697820 7 1 8 9 0132 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 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.586084990697 0.868574010975 6 7 8 1 1023 0132 0321 0132 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 -1 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 0.470394651389 0.408035035451 2 5 8 3 0132 1023 3012 3201 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 -1 1 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.803029903976 1.206882174905 4 5 10 9 0132 0132 0132 0213 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 1 -1 0 0 0 -1 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.095486718031 0.499952712466 11 6 5 4 0132 1230 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.363990777895 0.571821989847 11 10 4 7 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.478296785204 0.465576444296 11 9 11 7 1302 0132 0132 0132 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 -1 1 -1 0 0 1 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.766384490313 0.531611330793 8 10 9 10 0132 2031 3201 0132 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 -1 0 1 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766384490313 0.531611330793 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_0011_3'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), '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' : negation(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_9' : d['c_1001_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : d['c_1001_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_11'], '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_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : negation(d['c_0101_0'])})} 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 990443308114909546034637616931409285609482201095167505865516847/107\ 87945354172158323718747711840361138222784820482542037842064*c_1001_\ 5^26 + 198396732067058133620295758654265655134926822937686098927072\ 449/674246584635759895232421731990022571138924051280158877365129*c_\ 1001_5^25 + 7652698022622873996750920105836427210877024070713352409\ 649683895/539397267708607916185937385592018056911139241024127101892\ 1032*c_1001_5^24 + 785349436192970967404422101581609928737746984801\ 3825913594277911/26969863385430395809296869279600902845556962051206\ 35509460516*c_1001_5^23 + 16817624809547523776477386576491662315606\ 3157170859994197281251165/10787945354172158323718747711840361138222\ 784820482542037842064*c_1001_5^22 + 31059466088097244317042331807094664805987338904327611625625498345/7\ 70567525298011308837053407988597224158770344320181574131576*c_1001_\ 5^21 + 533417579621234779676596265484588955796996365804355751849562\ 578035/539397267708607916185937385592018056911139241024127101892103\ 2*c_1001_5^20 + 977567050615796392503908800341940441753728574546697\ 191295158046901/539397267708607916185937385592018056911139241024127\ 1018921032*c_1001_5^19 + 495160173187185291903181035591816928421688\ 978254134860119481615991/134849316927151979046484346398004514227784\ 8102560317754730258*c_1001_5^18 + 653163979489046133337728471796452\ 3085600517802209549896331585638531/10787945354172158323718747711840\ 361138222784820482542037842064*c_1001_5^17 + 5325679848489100891378144591650454814800364257710600721243311248917\ /5393972677086079161859373855920180569111392410241271018921032*c_10\ 01_5^16 + 208211972276513389569456188528425065912438053650937700039\ 1893333421/15411350505960226176741068159771944483175406886403631482\ 63152*c_1001_5^15 + 18231277350020723731692075571259836488266091867\ 404342735363280524881/107879453541721583237187477118403611382227848\ 20482542037842064*c_1001_5^14 + 12446283449068123912560251740498356\ 79171985946649511261694213674019/6742465846357598952324217319900225\ 71138924051280158877365129*c_1001_5^13 + 2260233091416927385968567592108473839688585914200023765864197608029\ 3/10787945354172158323718747711840361138222784820482542037842064*c_\ 1001_5^12 + 2121815692357782077072276188140134724275280633644840092\ 77853392493/1017730693789826256954598840739656711153092907592692645\ 07944*c_1001_5^11 + 52953169424015853461312020831184355651369753319\ 4625057338035713215/38528376264900565441852670399429861207938517216\ 0090787065788*c_1001_5^10 + 556121599777571827023958514753990982481\ 188323107509911776169979861/770567525298011308837053407988597224158\ 770344320181574131576*c_1001_5^9 + 9745037589508761483588248746121959517387818853756522883715774377745\ /10787945354172158323718747711840361138222784820482542037842064*c_1\ 001_5^8 + 117581287384729090354481169940955665849410110555796568301\ 47399118141/1078794535417215832371874771184036113822278482048254203\ 7842064*c_1001_5^7 + 3529409245752294217358050343451569484770427760\ 706166108365786005751/107879453541721583237187477118403611382227848\ 20482542037842064*c_1001_5^6 - 193142568809048142472573105721546724\ 999674163172912729506896042511/269698633854303958092968692796009028\ 4555696205120635509460516*c_1001_5^5 + 1150578580172655678107220453532138160398709198039553301982484490619\ /5393972677086079161859373855920180569111392410241271018921032*c_10\ 01_5^4 + 1549476823082330578326635521511903332667812765165027647974\ 811166403/107879453541721583237187477118403611382227848204825420378\ 42064*c_1001_5^3 - 195540529178503119675368803790548159177712415453\ 80611402964705783/7705675252980113088370534079885972241587703443201\ 81574131576*c_1001_5^2 + 283783674290598765882914189744714453955733\ 85360317694502510806631/1078794535417215832371874771184036113822278\ 4820482542037842064*c_1001_5 + 872957570160355704341022954465602657\ 2131160873500020909074988826/67424658463575989523242173199002257113\ 8924051280158877365129, c_0011_0 - 1, c_0011_10 - 135350498983420605381525514997081913098306476121663143529/7\ 269504955641616121104277433854690793950663625662090321996*c_1001_5^\ 26 - 126608929831544971926493701620633950733197114488010574971/1817\ 376238910404030276069358463672698487665906415522580499*c_1001_5^25 - 1144639443432782427233300550568835571848201173887958681151/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^24 - 1330286660354954806376344763759696243355112705872873942444/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^23 - 24793517890325258806549988386227087842450070319684915210755/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5^22 - 35450646493672026761346288117091918506617757602806613346537/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^21 - 86087110700801908766334390132327356218918592169305526805313/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^20 - 166443818876759935783394007828521488143561220256558949489161/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^19 - 163385441311796116993229471056082803100536614457465352765516/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^18 - 1130271657210657211325729176279705061619252131189741678389617/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^17 - 911135590856837353981396339933662520004998946853782810574455/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^16 - 2600839471312474951048315818666012480067618679342838748085329/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^15 - 3274539500590993475698359263265569645933423061829799111754735/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^14 - 923437987673665717368452031959069022962292941122367911594985/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^13 - 4098155718287881024101290363281102615532332590874023623633719/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^12 - 2133393996635839949168025050157790884501523618158793767465525/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^11 - 781111707372286709040584258092015821959682041659118341430136/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^10 - 824290939926117951192432972235492064778936100363782299120749/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^9 - 1648841230429011009870218783558970899710607777422339912151035/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^8 - 2183636129138860667180788416265424298168092718151614065066875/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^7 - 1072408238712033874131554968588962783941000609479929121194053/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^6 + 29965686359983655324535598884365580044626087023776280043937/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 - 140661737945351314478198381711800687540732836643265087033111/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^4 - 396717341972464772739303866467902572773183010647080100871197/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^3 + 8225674970512216258445176895206643750237227055603436357701/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^2 + 11454095870059747616605168587172417467122413013873902917027/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5 - 8267102780644772735537035699072949266040138992829500819175/18173762\ 38910404030276069358463672698487665906415522580499, c_0011_11 + 21365938741987221900209986574257225377286725690514390773/36\ 34752477820808060552138716927345396975331812831045160998*c_1001_5^2\ 6 + 16919893158892010836909118916835802828492258103212935458/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^25 + 132568778903921452074570842987819598581611404416388972449/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^24 + 128835642720130700469583386743507280415382499133339567229/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^23 + 3154441059605817439080290979003557766890327479549235282315/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^22 + 2250561102036769234976416779146923362724196106483078149397/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^21 + 7411874213002583105964679763827818687290042859808320208997/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^20 + 9966535369457876987874170453195902647778198131262341891333/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^19 + 27546926835266779245708325633415546881277777749975896995583/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^18 + 63722971423987015242529437429323938799078543897251327215531/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^17 + 67524992997014073023873679020379209535176988848002354404157/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^16 + 137104149354050671505705543363418641219640800701640599197441/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^15 + 212460022310295198521920861959029781397319138158845989982725/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^14 + 93965365389440777600041065273212017065710836263914515218203/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^13 + 276002703549390802082672299589163661882392625850801424888129/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^12 + 78542579554885224058589332799395742025865132486057980856719/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^11 + 48316044520866529261993454092216314847885805983828841902304/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^10 + 56046147077819165040555963076172250414084563362109963207510/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^9 + 93577618834012690619198090300881445831201829185085664392525/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^8 - 49372941014579492526087619534444280416642867053146575561683/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^7 - 86528059383172647774979313292400407371336735951863621295307/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^6 + 62970865031428405773031350287359208903088481886365766474431/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 - 7270309199889838038316826746392377395835165967094977661041/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^4 - 96057505240517212529015895874789320620604999841719429207197/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^3 + 11881452835419736265488495801444852422633542475784121007834/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^2 + 7912521581790877974081550642989442769248855292069397535809/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5 - 5878370515830645103142162577356616741903625778036549794777/18173762\ 38910404030276069358463672698487665906415522580499, c_0011_3 + 1, c_0101_0 - 478739304935242309478773929740399107383385295113560683419/72\ 69504955641616121104277433854690793950663625662090321996*c_1001_5^2\ 6 - 397170569194504287725831227544234257204238093044793241049/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^25 - 3789383582979079331689803761631895730021915112757165877189/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^24 - 4008594078812456081344459270357486276174058403219595299540/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^23 - 83090096215198003235559900836369677261176825354901497842253/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5^22 - 109730246881607189178510912564219952785274893953974570064505/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^21 - 270201939868996617568399750112847819920047169728186421192199/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^20 - 502340731720875320325194480555666285856253023447169706675361/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^19 - 506405888731839248522914647981142941277302203258982373495508/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^18 - 3377086534283980767759583664480366949533317848453431137360007/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^17 - 2758248886228375190703969953495728675988660530419551018762693/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^16 - 7633121142139665089213857615611208469957405655760532445809091/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^15 - 9626954130106836210573251000451181047920196825162664669807433/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^14 - 2653976312998083121729801044694647510340413649709960604883492/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^13 - 12010628743876423018071248911155595535744342196806558682487437/7269\ 504955641616121104277433854690793950663625662090321996*c_1001_5^12 - 6027121231515641168930241161455444381835834226103267358412051/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^11 - 2091424605066126149973089653631674251975469415313087980756182/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^10 - 2240067536634044401691366332430983191643262269789084188547435/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^9 - 5041029372110393816306058563624559055417943292686281433835965/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^8 - 6093684119325434207612898826679493683910978381769523768007301/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^7 - 2312050567406494762411611437168341514832986442684386501734827/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^6 + 50192950007034208764720329654188195090972796177323040084143/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 - 515056440805234325182150761375514663773782601276346025862665/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^4 - 827358908149655434457219277968763688071305461869543695965947/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^3 + 43424981561272923955404886705155360109993275062457521546693/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^2 - 11609360467546897518398153795262281818582818879755548478431/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5 - 16362584548343042834013447497028639088812368059124090811997/1817376\ 238910404030276069358463672698487665906415522580499, c_0101_1 + 503407058065234291624519810946147283214143772155208748829/72\ 69504955641616121104277433854690793950663625662090321996*c_1001_5^2\ 6 + 431016634678147857403785893748477838271855997521647743438/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^25 + 4035917031143726018629971023243763970984723357263208217589/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^24 + 4379796307289070879405806209866113745862930284977753031114/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^23 + 88136318277779420797521119376522339352512128197317630608887/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5^22 + 119202603584735857840851094077241604866258609940399007437321/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^21 + 290621930640845157569874516746214139325502826869848042234969/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^20 + 546059845048136995358323085979394997247392618770985685922189/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^19 + 544798062427621413576053131543199845837683303053705801857189/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^18 + 3675735475524814505278241902369463414259433924162775237852937/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^17 + 2977492518278274264138850988184105062596260703357944003071207/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^16 + 8317663791627505075887631707585761589111058105879467211560901/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^15 + 10421198085799753588311237862283187237394342838659960697220691/7269\ 504955641616121104277433854690793950663625662090321996*c_1001_5^14 + 2892958262914315310406779668439074097875637871786251925546832/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^13 + 12979914872485365459336429171576319234658823005711049703056819/7269\ 504955641616121104277433854690793950663625662090321996*c_1001_5^12 + 6610686494855558715817397072605477758236304294545272113344161/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^11 + 2288282561999156759782844234880505953225139404867626465512606/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^10 + 2417149934247522386741200776546881523917289726969883488612347/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^9 + 5451945186961411058287324212489216266408789868734649477975047/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^8 + 6860896935988652129582945127573437325706928544625016889007455/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^7 + 2657964705935005020764896717355279888763954948543254691007277/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^6 - 104903005461783629839309277389175083491521775152477079940206/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^5 + 580346712361675919507166601124734265400088990409120884018249/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^4 + 1059549886040757373825479167054674423358620478600366862134837/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^3 - 57188328328917091289300932907702206987799346062633410387257/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^2 - 20119065597252863292999963516525262170561968933172735799703/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5 + 22233725657189898076248801869761123780321601441569983674507/1817376\ 238910404030276069358463672698487665906415522580499, c_0101_11 + 5304520718892962771337921098594397388262147728961345799/726\ 9504955641616121104277433854690793950663625662090321996*c_1001_5^26 + 9120722129124916203270930842039336590067103091534061985/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^25 + 85718433559507707680305760647641933461932238888152371849/3634752477\ 820808060552138716927345396975331812831045160998*c_1001_5^24 + 140081394680847545966752253748436468346388101960973713922/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^23 + 1940146403777987362492839490102404462660612636461264802469/72695049\ 55641616121104277433854690793950663625662090321996*c_1001_5^22 + 3265982284533662914954745898430486461174020136759103951611/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^21 + 9418695806476133575904481639903266673935968647998105738087/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^20 + 21881731478699789705706027372237959052029261767189681144769/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^19 + 22236742322678544779557608234024272702051335448376182080742/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^18 + 166758485215266402291140670920941247940763102730921690612683/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^17 + 145565120393767073704736879007591501722690902029627036761263/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^16 + 463221116170313416367483474029914677649730889152922914397911/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^15 + 661057483062865137318424223001137442398259226690051155304641/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^14 + 210448278742887043724788004790471526556585996664031777112919/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^13 + 957040914171270910104332624189689031840017328998155926406681/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^12 + 515275547457839670475337412559304062612628541322100371407669/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^11 + 253773662651971583321550933957631850545735219327110967521452/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^10 + 407973037718867459316571672082022389998347131456874978013819/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^9 + 437224340245495564587438091504211731610907053189608322368045/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^8 + 275828617944674393019592068727576073027525023962489368327317/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^7 + 353462791142038574263374700023624517176731860478225173965951/726950\ 4955641616121104277433854690793950663625662090321996*c_1001_5^6 + 76167990742493574111531607712774486263143402441252969701000/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 + 18815753938226446836689503076878002610046271770986482818491/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^4 - 48279724759517705394496372902480524741319329397625606311005/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5^3 + 22811167014844934582014728662766060635236745968532217905163/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^2 + 20218091814931929484926516241353091624575089106440701724731/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5 - 2677953470745251477568441028997391025335956488932643824781/18173762\ 38910404030276069358463672698487665906415522580499, c_0101_3 + 973230770293463636901206036050555010136048459692073610333/36\ 34752477820808060552138716927345396975331812831045160998*c_1001_5^2\ 6 + 1528518230534476435892940544231456940089713155902368729910/1817\ 376238910404030276069358463672698487665906415522580499*c_1001_5^25 + 7435696706601223663767002738368631072938195325980543942407/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^24 + 15004195634491049413255925752732653062368811631693530664289/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^23 + 163758679786958504519172843145005562688451839370452927109535/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^22 + 208856666316993321662650714105583393383415720680356001563805/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^21 + 513117822193737585992008988064268504333139589485789643575337/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^20 + 933985629152089156645504515537284146360365881175185428861861/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^19 + 1901291871248964359802551739471615663441434569612720476849325/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^18 + 6230618011996921692719379760989904599885119364260507061382883/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^17 + 5089014799517542585677021312294344509690936314215712182843668/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^16 + 13857128946089269457983983169995562880994380874493700660599975/3634\ 752477820808060552138716927345396975331812831045160998*c_1001_5^15 + 17324526010045212827276893036146213402377834040719156712236545/3634\ 752477820808060552138716927345396975331812831045160998*c_1001_5^14 + 9438617545854428830077361755065417790990408576509922312318726/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^13 + 21510272109682471691032472016260668439631222370162231869270875/3634\ 752477820808060552138716927345396975331812831045160998*c_1001_5^12 + 10649816689498280529206835889109995211888512867141906761070215/1817\ 376238910404030276069358463672698487665906415522580499*c_1001_5^11 + 6919893621920692273314620723715464353946102274974627946271737/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^10 + 3711515354951374114408087187387998578663414285603403284423838/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^9 + 9509191282077514123107680929881937105222530371464716874310771/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^8 + 11186277139025808611567059165701345522194388431113026014499209/3634\ 752477820808060552138716927345396975331812831045160998*c_1001_5^7 + 3036276489666942918761660693967062052233768281497174620645309/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^6 - 308584586179081537418666097276988181198170714889453564218692/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^5 + 1187788261217661579610055124531960422755366529004326910520727/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^4 + 1347901801971819900714667548116797281795708174441112172204875/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^3 - 134989952279550237532460666943506766653986733798060932339035/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^2 + 68181934848640916456953673150712672297779515723023268477775/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5 + 61453384767008063712418520852522276308456575678397667454273/1817376\ 238910404030276069358463672698487665906415522580499, c_0101_6 + 503407058065234291624519810946147283214143772155208748829/72\ 69504955641616121104277433854690793950663625662090321996*c_1001_5^2\ 6 + 431016634678147857403785893748477838271855997521647743438/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^25 + 4035917031143726018629971023243763970984723357263208217589/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^24 + 4379796307289070879405806209866113745862930284977753031114/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^23 + 88136318277779420797521119376522339352512128197317630608887/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5^22 + 119202603584735857840851094077241604866258609940399007437321/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^21 + 290621930640845157569874516746214139325502826869848042234969/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^20 + 546059845048136995358323085979394997247392618770985685922189/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^19 + 544798062427621413576053131543199845837683303053705801857189/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^18 + 3675735475524814505278241902369463414259433924162775237852937/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^17 + 2977492518278274264138850988184105062596260703357944003071207/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^16 + 8317663791627505075887631707585761589111058105879467211560901/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^15 + 10421198085799753588311237862283187237394342838659960697220691/7269\ 504955641616121104277433854690793950663625662090321996*c_1001_5^14 + 2892958262914315310406779668439074097875637871786251925546832/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^13 + 12979914872485365459336429171576319234658823005711049703056819/7269\ 504955641616121104277433854690793950663625662090321996*c_1001_5^12 + 6610686494855558715817397072605477758236304294545272113344161/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^11 + 2288282561999156759782844234880505953225139404867626465512606/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^10 + 2417149934247522386741200776546881523917289726969883488612347/36347\ 52477820808060552138716927345396975331812831045160998*c_1001_5^9 + 5451945186961411058287324212489216266408789868734649477975047/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^8 + 6860896935988652129582945127573437325706928544625016889007455/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^7 + 2657964705935005020764896717355279888763954948543254691007277/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^6 - 104903005461783629839309277389175083491521775152477079940206/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^5 + 580346712361675919507166601124734265400088990409120884018249/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^4 + 1059549886040757373825479167054674423358620478600366862134837/72695\ 04955641616121104277433854690793950663625662090321996*c_1001_5^3 - 57188328328917091289300932907702206987799346062633410387257/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^2 - 20119065597252863292999963516525262170561968933172735799703/7269504\ 955641616121104277433854690793950663625662090321996*c_1001_5 + 22233725657189898076248801869761123780321601441569983674507/1817376\ 238910404030276069358463672698487665906415522580499, c_0101_7 + 72390423387086434220733917197669444942287774633561005391/181\ 7376238910404030276069358463672698487665906415522580499*c_1001_5^26 + 247373245721691302995353637635780788971285296066835260936/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^25 + 1157681331428506328463911710541506369492651208729543206005/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^24 + 2507014511235316517315060939494095218561476843237018853192/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^23 + 12637611039993191927693045832151332708100326334072951738301/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^22 + 34153650879833446179204054229194436803090841338407897840054/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^21 + 83130571057084763645186223254701704250310409414317346835423/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^20 + 155944562399184720365278445293837172396404827786344776512779/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^19 + 311015425736680056692047552501808496148098290277519966113220/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^18 + 524126862534702182991216969976117380633623521283630180657153/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^17 + 848021946506977445397580903708142591433285044555710873737617/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^16 + 1182712738726433338823795981846224960017042639859916858445845/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^15 + 1478125222266114043768925850006322762272772501837425640535375/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^14 + 1637440486288849721059204223519866154408471158762568426941059/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^13 + 1834694518947295376723460993362897956139862838318122873246424/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^12 + 1866335888213221848994317764858047575141189146729311338573131/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^11 + 1277500789131398355817090698084107596194404155303556661785843/18173\ 76238910404030276069358463672698487665906415522580499*c_1001_5^10 + 661591039033503247769081496550363769664285248481548416109269/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^9 + 763426268151534310990493137252733354298908261992954854794925/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^8 + 971204206934711266869746816377949087792567914539498354380809/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^7 + 362647419191183587151063420593602492497163386495943959340654/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^6 - 75470245916015534375725601193835316409212176380363910633556/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 + 164644600783971815872251736926131563562813053941340149404635/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^4 + 150166968687212627071972000797345672390115394006799618035832/181737\ 6238910404030276069358463672698487665906415522580499*c_1001_5^3 - 20825296862212125632096899452010889929322538793533556387158/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^2 - 1594036276515292119643489620969085168541706783206424972518/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5 + 12278021386916156135210485348028451231508359713930322386713/1817376\ 238910404030276069358463672698487665906415522580499, c_1001_1 + 21365938741987221900209986574257225377286725690514390773/363\ 4752477820808060552138716927345396975331812831045160998*c_1001_5^26 + 16919893158892010836909118916835802828492258103212935458/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^25 + 132568778903921452074570842987819598581611404416388972449/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^24 + 128835642720130700469583386743507280415382499133339567229/181737623\ 8910404030276069358463672698487665906415522580499*c_1001_5^23 + 3154441059605817439080290979003557766890327479549235282315/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5^22 + 2250561102036769234976416779146923362724196106483078149397/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^21 + 7411874213002583105964679763827818687290042859808320208997/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^20 + 9966535369457876987874170453195902647778198131262341891333/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^19 + 27546926835266779245708325633415546881277777749975896995583/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^18 + 63722971423987015242529437429323938799078543897251327215531/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^17 + 67524992997014073023873679020379209535176988848002354404157/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^16 + 137104149354050671505705543363418641219640800701640599197441/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^15 + 212460022310295198521920861959029781397319138158845989982725/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^14 + 93965365389440777600041065273212017065710836263914515218203/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^13 + 276002703549390802082672299589163661882392625850801424888129/363475\ 2477820808060552138716927345396975331812831045160998*c_1001_5^12 + 78542579554885224058589332799395742025865132486057980856719/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^11 + 48316044520866529261993454092216314847885805983828841902304/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^10 + 56046147077819165040555963076172250414084563362109963207510/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^9 + 93577618834012690619198090300881445831201829185085664392525/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^8 - 49372941014579492526087619534444280416642867053146575561683/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^7 - 86528059383172647774979313292400407371336735951863621295307/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^6 + 62970865031428405773031350287359208903088481886365766474431/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^5 - 7270309199889838038316826746392377395835165967094977661041/18173762\ 38910404030276069358463672698487665906415522580499*c_1001_5^4 - 96057505240517212529015895874789320620604999841719429207197/3634752\ 477820808060552138716927345396975331812831045160998*c_1001_5^3 + 11881452835419736265488495801444852422633542475784121007834/1817376\ 238910404030276069358463672698487665906415522580499*c_1001_5^2 + 7912521581790877974081550642989442769248855292069397535809/36347524\ 77820808060552138716927345396975331812831045160998*c_1001_5 - 5878370515830645103142162577356616741903625778036549794777/18173762\ 38910404030276069358463672698487665906415522580499, c_1001_5^27 + 4*c_1001_5^26 + 18*c_1001_5^25 + 44*c_1001_5^24 + 195*c_1001_5^23 + 574*c_1001_5^22 + 1426*c_1001_5^21 + 2830*c_1001_5^20 + 5568*c_1001_5^19 + 9773*c_1001_5^18 + 15994*c_1001_5^17 + 23261*c_1001_5^16 + 30099*c_1001_5^15 + 34732*c_1001_5^14 + 38795*c_1001_5^13 + 40842*c_1001_5^12 + 33012*c_1001_5^11 + 19754*c_1001_5^10 + 16087*c_1001_5^9 + 19695*c_1001_5^8 + 12997*c_1001_5^7 + 2048*c_1001_5^6 + 1706*c_1001_5^5 + 3413*c_1001_5^4 + 966*c_1001_5^3 - 191*c_1001_5^2 + 164*c_1001_5 + 112 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.770 seconds, Total memory usage: 32.09MB