Magma V2.19-8 Wed Aug 21 2013 00:48:24 on localhost [Seed = 3187386653] Type ? for help. Type -D to quit. Loading file "K14n8980__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8980 geometric_solution 11.23667495 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3201 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 1 0 -1 3 0 -2 -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 1.054585535170 0.713679489007 0 0 3 2 0132 2310 3120 3120 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 1 -1 0 -3 0 0 3 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.349619088669 0.440138330158 1 0 5 4 3120 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -3 0 3 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.543834711816 0.952901730532 4 5 1 0 0132 0132 3120 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 0 0 -2 0 0 2 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.543834711816 0.952901730532 3 6 2 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 1 2 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113303881064 1.577654238152 8 3 9 2 0132 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 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113303881064 1.577654238152 10 4 11 9 0132 0132 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 0 0 0 0 0 0 -1 1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550261651332 0.676050976063 8 11 4 12 2031 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -2 0 2 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546748114972 0.203671940852 5 10 7 11 0132 0132 1302 2310 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546748114972 0.203671940852 11 6 12 5 2310 0321 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 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.550261651332 0.676050976063 6 8 12 12 0132 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393881312010 0.598303499296 8 7 9 6 3201 0132 3201 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 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009094749688 0.438272903746 10 10 7 9 3012 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 1 0 -1 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.393881312010 0.598303499296 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0011_9']), 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0101_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_9']), '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_2_7' : d['1'], 's_2_12' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_12'], 'c_1100_4' : d['c_1100_12'], 'c_1100_7' : d['c_1100_12'], 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1100_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : d['c_0101_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : negation(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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_12'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_12'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_11'], '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_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0101_9, c_1001_0, c_1001_1, c_1001_6, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 691751692720650862399802116472752846547608572122156719/584260772540\ 7870628534586740780895628503088908235950*c_1100_12^28 - 3386198438138423386845998519815867967580986852595209753/23370430901\ 63148251413834696312358251401235563294380*c_1100_12^27 + 175961690788857417171401288019078539425381856014906243/196390175643\ 96203793393568876574439087405340868020*c_1100_12^26 - 440448069360100974269598309752197364819631245504376650033/116852154\ 50815741257069173481561791257006177816471900*c_1100_12^25 + 3285240839074714167205216394649346369649897727309015121/26437139028\ 994889721875958103080975694584112706950*c_1100_12^24 - 4060420068241423478284431994929448771684413080367401909461/11685215\ 450815741257069173481561791257006177816471900*c_1100_12^23 + 10006515376082557456395111648375553394772277073154228692033/1168521\ 5450815741257069173481561791257006177816471900*c_1100_12^22 - 16945240015401239368382992925474815422511028370615935683/8988627269\ 858262505437825755047531736158598320363*c_1100_12^21 + 43673356554012001235694442198438112332098588478218996052393/1168521\ 5450815741257069173481561791257006177816471900*c_1100_12^20 - 1790452355551356139305864000228118607847049645503862831256/26557307\ 8427630483115208488217313437659231314010725*c_1100_12^19 + 130601436351111379399152917958325663179010475379841755679703/116852\ 15450815741257069173481561791257006177816471900*c_1100_12^18 - 18223624993360906970891270008464561352281146407497251574459/1062292\ 313710521932460833952869253750636925256042900*c_1100_12^17 + 71630150060035541918038796830790218574933727011578241726688/2921303\ 862703935314267293370390447814251544454117975*c_1100_12^16 - 95822614047996260190717427852268371583352504363378770816071/2921303\ 862703935314267293370390447814251544454117975*c_1100_12^15 + 120413276736264816451497635680349848351095101379971157857644/292130\ 3862703935314267293370390447814251544454117975*c_1100_12^14 - 142230245817627755804669466076072300606547373868997999276847/292130\ 3862703935314267293370390447814251544454117975*c_1100_12^13 + 630772823971569223965720918559368200082780246429981266224201/116852\ 15450815741257069173481561791257006177816471900*c_1100_12^12 - 9630188473323420523322408530862322110634062769825401975571/17184140\ 3688466783192193727670026342014796732595175*c_1100_12^11 + 158906307017371510359912496425186307795877996634514904445133/292130\ 3862703935314267293370390447814251544454117975*c_1100_12^10 - 287557524869120590966925816669062365358537496476445735326011/584260\ 7725407870628534586740780895628503088908235950*c_1100_12^9 + 480568699848611405750795833160125709850970194252413280185203/116852\ 15450815741257069173481561791257006177816471900*c_1100_12^8 - 7032407270640025623237942876734370390547061284229704277658/22471568\ 1746456562635945643876188293403964958009075*c_1100_12^7 + 250049541417004334827540304493022670138979000433191994961117/116852\ 15450815741257069173481561791257006177816471900*c_1100_12^6 - 21617318055755974375744079696410133481793972073991707910473/1669316\ 492973677322438453354508827322429453973781700*c_1100_12^5 + 79383091508219188445385440402592945654414036850805318126531/1168521\ 5450815741257069173481561791257006177816471900*c_1100_12^4 - 8824641053648362635201356529717382795988521615727614692103/29213038\ 62703935314267293370390447814251544454117975*c_1100_12^3 + 6441674941577367275613615131880116138521989742846736569283/58426077\ 25407870628534586740780895628503088908235950*c_1100_12^2 - 3487370186904006026344141706089185864146796447457728479807/11685215\ 450815741257069173481561791257006177816471900*c_1100_12 + 7746015429311540689874458520892214742675549780257646403/17184140368\ 8466783192193727670026342014796732595175, c_0011_0 - 1, c_0011_10 + c_1100_12, c_0011_11 + 24880663720028674681294958069579/11637295250398467069147541\ 760723021*c_1100_12^28 - 230592909542088912556670685118951/11637295\ 250398467069147541760723021*c_1100_12^27 + 7583916956883748340727342077244/97792397062171992177710434964059*c_\ 1100_12^26 - 1553169036110237766800984199010925/1163729525039846706\ 9147541760723021*c_1100_12^25 - 83902443223127372290134725355121/68\ 4546779435203945243973044748413*c_1100_12^24 + 18831379444863640081924174787201273/1163729525039846706914754176072\ 3021*c_1100_12^23 - 78003899845318370519153868971775546/11637295250\ 398467069147541760723021*c_1100_12^22 + 241201083812606683361625255052575237/116372952503984670691475417607\ 23021*c_1100_12^21 - 620173359513164953137619481094994794/116372952\ 50398467069147541760723021*c_1100_12^20 + 1367462258758989752973763077522184125/11637295250398467069147541760\ 723021*c_1100_12^19 - 2656848346573292611260098443735373104/1163729\ 5250398467069147541760723021*c_1100_12^18 + 4655282090788499039295588267186942793/11637295250398467069147541760\ 723021*c_1100_12^17 - 7456610515117335992269357850156754785/1163729\ 5250398467069147541760723021*c_1100_12^16 + 11010484440951726825161286228779225310/1163729525039846706914754176\ 0723021*c_1100_12^15 - 15109321034305026624189230018586186104/11637\ 295250398467069147541760723021*c_1100_12^14 + 19399343654947208409832632625488894233/1163729525039846706914754176\ 0723021*c_1100_12^13 - 23347626273489575182980174317064645464/11637\ 295250398467069147541760723021*c_1100_12^12 + 1545727613140969683296522916470416642/68454677943520394524397304474\ 8413*c_1100_12^11 - 27583360108847221918609757809504560348/11637295\ 250398467069147541760723021*c_1100_12^10 + 26956332071737285001037453972188792499/1163729525039846706914754176\ 0723021*c_1100_12^9 - 24547534560960300371062578076604418913/116372\ 95250398467069147541760723021*c_1100_12^8 + 20578555784136381639367128606184023553/1163729525039846706914754176\ 0723021*c_1100_12^7 - 15528808964632831348474391590270890435/116372\ 95250398467069147541760723021*c_1100_12^6 + 1488614163697564057330705080228895438/16624707500569238670210773943\ 89003*c_1100_12^5 - 6112141825568107665633301916598729647/116372952\ 50398467069147541760723021*c_1100_12^4 + 3019038085368178865647873592550325001/11637295250398467069147541760\ 723021*c_1100_12^3 - 1221849421304787072313561601633243505/11637295\ 250398467069147541760723021*c_1100_12^2 + 391731712989907661660955600753121225/116372952503984670691475417607\ 23021*c_1100_12 - 4086258134964394848258267831288011/68454677943520\ 3945243973044748413, c_0011_12 - 140902005761492807760198861778970790114845893/1215124611753\ 864202534626615424237182232177364*c_1100_12^28 + 1715626189667245547392846059784729232473916069/12151246117538642025\ 34626615424237182232177364*c_1100_12^27 - 88687717214083058864681079675806788293862981/1021113119120894287844\ 2240465749892287665356*c_1100_12^26 + 22086334036316029726159271696801211630889398607/6075623058769321012\ 67313307712118591116088682*c_1100_12^25 - 656019101860577675314255737543997854253841569/549830141065096924223\ 8129481557634308742884*c_1100_12^24 + 201960408144110614921330808506125220782494475515/607562305876932101\ 267313307712118591116088682*c_1100_12^23 - 496115829394937114204202681232973095962657866391/607562305876932101\ 267313307712118591116088682*c_1100_12^22 + 83743501494489866089183081026935268832980653801/4673556199053323855\ 9024100593239891624314514*c_1100_12^21 - 4302373643484263678128644593236171127388652363427/12151246117538642\ 02534626615424237182232177364*c_1100_12^20 + 7735506461282835873043974965696665591300106878653/12151246117538642\ 02534626615424237182232177364*c_1100_12^19 - 12783882000126658384651369564346201978103587302317/1215124611753864\ 202534626615424237182232177364*c_1100_12^18 + 19562410644683661499876658577736778631323632683163/1215124611753864\ 202534626615424237182232177364*c_1100_12^17 - 6969421443741245824784119885444446256846791738957/30378115293846605\ 0633656653856059295558044341*c_1100_12^16 + 9296225358655579200617192199853940183438845636088/30378115293846605\ 0633656653856059295558044341*c_1100_12^15 - 46593707388796717333266836875553196136965150542037/1215124611753864\ 202534626615424237182232177364*c_1100_12^14 + 54872156236839750766371985634000806347510403554575/1215124611753864\ 202534626615424237182232177364*c_1100_12^13 - 60643484195281255303913630957964957272693489889795/1215124611753864\ 202534626615424237182232177364*c_1100_12^12 + 922660477138869342902498383638717972315623510863/178694795846156500\ 37273920815062311503414373*c_1100_12^11 - 60675843364923127231290631934879512739732173237269/1215124611753864\ 202534626615424237182232177364*c_1100_12^10 + 54682656209156094811080461629051999062546971554355/1215124611753864\ 202534626615424237182232177364*c_1100_12^9 - 11368813336685194168368809488789255045941982518645/3037811529384660\ 50633656653856059295558044341*c_1100_12^8 + 1322974075311450904952256029953693287747610985729/46735561990533238\ 559024100593239891624314514*c_1100_12^7 - 23355556443676012306114647094338509936056291842111/1215124611753864\ 202534626615424237182232177364*c_1100_12^6 + 500696783059555454759039732453589399844249616846/433973075626380072\ 33379521979437042222577763*c_1100_12^5 - 7281609950960813174738113879398362526801776257169/12151246117538642\ 02534626615424237182232177364*c_1100_12^4 + 3201519151530043829585538419269668309447460434199/12151246117538642\ 02534626615424237182232177364*c_1100_12^3 - 576490032684031655174621005991824023414195017963/607562305876932101\ 267313307712118591116088682*c_1100_12^2 + 152482288283735485528086522967692026478866619051/607562305876932101\ 267313307712118591116088682*c_1100_12 - 2532113490733210061145161165743992373500560887/71477918338462600149\ 095683260249246013657492, c_0011_9 - 137322944122540930624417138559153524850028239/12151246117538\ 64202534626615424237182232177364*c_1100_12^28 + 1642137276077766694489907378840424132404005125/12151246117538642025\ 34626615424237182232177364*c_1100_12^27 - 20882146884587143940439407449723355058748360/2552782797802235719610\ 560116437473071916339*c_1100_12^26 + 41030444044808681111247258613513179146217883363/1215124611753864202\ 534626615424237182232177364*c_1100_12^25 - 150730716476076248373623712002925649596942533/137457535266274231055\ 9532370389408577185721*c_1100_12^24 + 368290425750589174966112704178437819061621373847/121512461175386420\ 2534626615424237182232177364*c_1100_12^23 - 449291440638790845153333943557335680919682391647/607562305876932101\ 267313307712118591116088682*c_1100_12^22 + 150657839744165553317074862945717648030606612353/934711239810664771\ 18048201186479783248629028*c_1100_12^21 - 961126087397866960751439894465049467007850702209/303781152938466050\ 633656653856059295558044341*c_1100_12^20 + 1717526142177268695953487567077504959449614567499/30378115293846605\ 0633656653856059295558044341*c_1100_12^19 - 11289714101756737745696374253660407061047518920823/1215124611753864\ 202534626615424237182232177364*c_1100_12^18 + 17183272789991177529781497844347012230468950564585/1215124611753864\ 202534626615424237182232177364*c_1100_12^17 - 6090553625557739193299993103549409257982563189733/30378115293846605\ 0633656653856059295558044341*c_1100_12^16 + 32338274686981782804077726738128158418118998492721/1215124611753864\ 202534626615424237182232177364*c_1100_12^15 - 40329044556467499033951821493887786324511845705061/1215124611753864\ 202534626615424237182232177364*c_1100_12^14 + 11815219842987370455842777969442568496990675583962/3037811529384660\ 50633656653856059295558044341*c_1100_12^13 - 51961539786792313921071030140075031652075665587529/1215124611753864\ 202534626615424237182232177364*c_1100_12^12 + 1572466113837380318931229860731445226688542140861/35738959169231300\ 074547841630124623006828746*c_1100_12^11 - 51411719155736935126602048158681805092287268789879/1215124611753864\ 202534626615424237182232177364*c_1100_12^10 + 11511745593204343087494277121507486548797686503045/3037811529384660\ 50633656653856059295558044341*c_1100_12^9 - 38000792085156125392970437462590718079182185345899/1215124611753864\ 202534626615424237182232177364*c_1100_12^8 + 547772568920093418736834049736404348447146795573/233677809952666192\ 79512050296619945812157257*c_1100_12^7 - 4785524556661355255269054617441525414062755170173/30378115293846605\ 0633656653856059295558044341*c_1100_12^6 + 405099563527122869823186278714208470151420491073/433973075626380072\ 33379521979437042222577763*c_1100_12^5 - 5798373148351485132033191329784761533950918970253/12151246117538642\ 02534626615424237182232177364*c_1100_12^4 + 1251892640934070570363551339890257988783291172321/60756230587693210\ 1267313307712118591116088682*c_1100_12^3 - 878276429200242753562082663016376877829741353383/121512461175386420\ 2534626615424237182232177364*c_1100_12^2 + 221025306554128549635612627665563081379752456925/121512461175386420\ 2534626615424237182232177364*c_1100_12 - 1677429706055329451630486876441889006934490879/71477918338462600149\ 095683260249246013657492, c_0101_0 + 67534969315265648286825496264741165103291579/607562305876932\ 101267313307712118591116088682*c_1100_12^28 - 414835958668296621659726887283187669399805340/303781152938466050633\ 656653856059295558044341*c_1100_12^27 + 21597282191814861279943571637076464208420142/2552782797802235719610\ 560116437473071916339*c_1100_12^26 - 10817272969820479072149705978548734804173090315/3037811529384660506\ 33656653856059295558044341*c_1100_12^25 + 161292680726523781225163750474079568602432237/137457535266274231055\ 9532370389408577185721*c_1100_12^24 - 99597707274961222417148379935680425457007446583/3037811529384660506\ 33656653856059295558044341*c_1100_12^23 + 245256033659939230784954349088378844027691610407/303781152938466050\ 633656653856059295558044341*c_1100_12^22 - 82993672265281296455069209949347677121372435401/4673556199053323855\ 9024100593239891624314514*c_1100_12^21 + 1068353849098122232188481165623418068657998217702/30378115293846605\ 0633656653856059295558044341*c_1100_12^20 - 1924728867976143986875850356624126138584415410570/30378115293846605\ 0633656653856059295558044341*c_1100_12^19 + 6373252096165564361382094120798468613092844979453/60756230587693210\ 1267313307712118591116088682*c_1100_12^18 - 4884531709044855288544226685640152941376148650401/30378115293846605\ 0633656653856059295558044341*c_1100_12^17 + 6971700036879685286555395974785326728225297800360/30378115293846605\ 0633656653856059295558044341*c_1100_12^16 - 18625734416380287876660208782604293984938698801019/6075623058769321\ 01267313307712118591116088682*c_1100_12^15 + 23371250241235983708909877300279277022014429910679/6075623058769321\ 01267313307712118591116088682*c_1100_12^14 - 13781650126244798653753762090130931284082725775582/3037811529384660\ 50633656653856059295558044341*c_1100_12^13 + 15253651005863457559664453231913852739888521275480/3037811529384660\ 50633656653856059295558044341*c_1100_12^12 - 1859482064289861195822411027585312106063194523263/35738959169231300\ 074547841630124623006828746*c_1100_12^11 + 15308576810976062506594404219697520802677588186501/3037811529384660\ 50633656653856059295558044341*c_1100_12^10 - 13819664657495874402316123005660041746267415830782/3037811529384660\ 50633656653856059295558044341*c_1100_12^9 + 23031559052357240426297891863190992866254549680943/6075623058769321\ 01267313307712118591116088682*c_1100_12^8 - 671590392509784642529293216238387440366356989192/233677809952666192\ 79512050296619945812157257*c_1100_12^7 + 5942884469847339366807064125462489937264257720287/30378115293846605\ 0633656653856059295558044341*c_1100_12^6 - 1022110291458539240885799099832285867116082454865/86794615125276014\ 466759043958874084445155526*c_1100_12^5 + 1864699870461615748894810701849815280826533261886/30378115293846605\ 0633656653856059295558044341*c_1100_12^4 - 1646389051633019613408820245879477147483058284293/60756230587693210\ 1267313307712118591116088682*c_1100_12^3 + 297920436540910046157304561551599683073813711645/303781152938466050\ 633656653856059295558044341*c_1100_12^2 - 79451468046420247024530006127863538019711033246/3037811529384660506\ 33656653856059295558044341*c_1100_12 + 1346367957980030332616742983140307405761895077/35738959169231300074\ 547841630124623006828746, c_0101_11 - 4060544118662246573919607371255134914267368/433973075626380\ 07233379521979437042222577763*c_1100_12^28 + 49476478823135961242219198173823522467862179/4339730756263800723337\ 9521979437042222577763*c_1100_12^27 - 35793990429976061820772452100520548306490105/5105565595604471439221\ 120232874946143832678*c_1100_12^26 + 2544369952804378164480481111213829819113938847/86794615125276014466\ 759043958874084445155526*c_1100_12^25 - 18870950767670892890890719484781523042831652/1963679075232489015085\ 04624341344082455103*c_1100_12^24 + 23213278277756257468050601084284792856907820041/8679461512527601446\ 6759043958874084445155526*c_1100_12^23 - 28484685898480549083620926359248365390380554598/4339730756263800723\ 3379521979437042222577763*c_1100_12^22 + 4803478445567546295094624153380563295608149616/33382544278952313256\ 44578613802849401736751*c_1100_12^21 - 123257881018242489580550965765966852772894381556/433973075626380072\ 33379521979437042222577763*c_1100_12^20 + 442740732675297557901995056534571822350728950889/867946151252760144\ 66759043958874084445155526*c_1100_12^19 - 730908660469639463984202554674045393790886954185/867946151252760144\ 66759043958874084445155526*c_1100_12^18 + 558648595886522268253091139119826861047867366448/433973075626380072\ 33379521979437042222577763*c_1100_12^17 - 1590563877064518031062048096259955461642126063343/86794615125276014\ 466759043958874084445155526*c_1100_12^16 + 1059715560504528046681248960822834691640688167308/43397307562638007\ 233379521979437042222577763*c_1100_12^15 - 1326515492293839582798488163321990992949607917773/43397307562638007\ 233379521979437042222577763*c_1100_12^14 + 1560561519589392679458968069156851142848776242702/43397307562638007\ 233379521979437042222577763*c_1100_12^13 - 1722711432106247002557237877268154508813947472633/43397307562638007\ 233379521979437042222577763*c_1100_12^12 + 209421184056218648604956563039307647005959712763/510556559560447143\ 9221120232874946143832678*c_1100_12^11 - 1719167680535953116658483702015396856346173759224/43397307562638007\ 233379521979437042222577763*c_1100_12^10 + 3094323646882025002663432754277988287781234539375/86794615125276014\ 466759043958874084445155526*c_1100_12^9 - 1284369009169779654849323692797405999320557422185/43397307562638007\ 233379521979437042222577763*c_1100_12^8 + 149120119386176469913119405247572954816444842467/667650885579046265\ 1289157227605698803473502*c_1100_12^7 - 1312847619647396537534752212895731122133831041175/86794615125276014\ 466759043958874084445155526*c_1100_12^6 + 392740709800776695539167361907459370870339667043/433973075626380072\ 33379521979437042222577763*c_1100_12^5 - 406271349155343279476554980329321546601382063863/867946151252760144\ 66759043958874084445155526*c_1100_12^4 + 177808290555067126509215579385954038418255386483/867946151252760144\ 66759043958874084445155526*c_1100_12^3 - 31807353502123715976259797909779380892419843520/4339730756263800723\ 3379521979437042222577763*c_1100_12^2 + 16559747629634071277980733203313472272513581413/8679461512527601446\ 6759043958874084445155526*c_1100_12 - 133859951061407604546390803765122637292515475/510556559560447143922\ 1120232874946143832678, c_0101_12 - 8357163366067561468752432805628772120348301/121512461175386\ 4202534626615424237182232177364*c_1100_12^28 + 118192272897328051281449592551080369450205167/121512461175386420253\ 4626615424237182232177364*c_1100_12^27 - 3477493178081935501226488681989904550828559/51055655956044714392211\ 20232874946143832678*c_1100_12^26 + 964289209508681843583827931548302018670714588/303781152938466050633\ 656653856059295558044341*c_1100_12^25 - 15529951268368260421648169802530797940932712/1374575352662742310559\ 532370389408577185721*c_1100_12^24 + 40580923062882174811657885709097230129922989689/1215124611753864202\ 534626615424237182232177364*c_1100_12^23 - 104606350213518025449285574884635322709017313849/121512461175386420\ 2534626615424237182232177364*c_1100_12^22 + 18484895170466692155491983907843550349636586839/9347112398106647711\ 8048201186479783248629028*c_1100_12^21 - 496322154668172068031896922360645596488652717079/121512461175386420\ 2534626615424237182232177364*c_1100_12^20 + 929134096836545636883701544687571701951476601019/121512461175386420\ 2534626615424237182232177364*c_1100_12^19 - 1592309866755867815495387589292843779098764393083/12151246117538642\ 02534626615424237182232177364*c_1100_12^18 + 1259937714801791615935707202969694023428345713945/60756230587693210\ 1267313307712118591116088682*c_1100_12^17 - 3705340946191147795855690399964035935910812333141/12151246117538642\ 02534626615424237182232177364*c_1100_12^16 + 1272098008620134736009226491550463142669161125648/30378115293846605\ 0633656653856059295558044341*c_1100_12^15 - 6554373456167593194772239157361528676844082582717/12151246117538642\ 02534626615424237182232177364*c_1100_12^14 + 7936269905852089439924602395081921932667488709893/12151246117538642\ 02534626615424237182232177364*c_1100_12^13 - 9026219873648556354852037196547529739004067643293/12151246117538642\ 02534626615424237182232177364*c_1100_12^12 + 565829736234001381644701065332804337349537162359/714779183384626001\ 49095683260249246013657492*c_1100_12^11 - 2396107255970848241963422799715415701416990151559/30378115293846605\ 0633656653856059295558044341*c_1100_12^10 + 2227315113896253787629221515375953215771528854158/30378115293846605\ 0633656653856059295558044341*c_1100_12^9 - 7685071298320585153108115297267471999657361114135/12151246117538642\ 02534626615424237182232177364*c_1100_12^8 + 466668192936872460899466202940964573495316177869/934711239810664771\ 18048201186479783248629028*c_1100_12^7 - 1077739429054738563520059287829931176435492645445/30378115293846605\ 0633656653856059295558044341*c_1100_12^6 + 194380865680197064855332307941005311067195084125/867946151252760144\ 66759043958874084445155526*c_1100_12^5 - 1496368960258706090087018441644416125820628429187/12151246117538642\ 02534626615424237182232177364*c_1100_12^4 + 696439583295009120265687020410274537539659298717/121512461175386420\ 2534626615424237182232177364*c_1100_12^3 - 132900000938183608687429949127344459118295085139/607562305876932101\ 267313307712118591116088682*c_1100_12^2 + 38973174856581134725025891866174090788924819407/6075623058769321012\ 67313307712118591116088682*c_1100_12 - 356124959886170439793838517168943006155895973/357389591692313000745\ 47841630124623006828746, c_0101_9 + 140902005761492807760198861778970790114845893/12151246117538\ 64202534626615424237182232177364*c_1100_12^28 - 1715626189667245547392846059784729232473916069/12151246117538642025\ 34626615424237182232177364*c_1100_12^27 + 88687717214083058864681079675806788293862981/1021113119120894287844\ 2240465749892287665356*c_1100_12^26 - 22086334036316029726159271696801211630889398607/6075623058769321012\ 67313307712118591116088682*c_1100_12^25 + 656019101860577675314255737543997854253841569/549830141065096924223\ 8129481557634308742884*c_1100_12^24 - 201960408144110614921330808506125220782494475515/607562305876932101\ 267313307712118591116088682*c_1100_12^23 + 496115829394937114204202681232973095962657866391/607562305876932101\ 267313307712118591116088682*c_1100_12^22 - 83743501494489866089183081026935268832980653801/4673556199053323855\ 9024100593239891624314514*c_1100_12^21 + 4302373643484263678128644593236171127388652363427/12151246117538642\ 02534626615424237182232177364*c_1100_12^20 - 7735506461282835873043974965696665591300106878653/12151246117538642\ 02534626615424237182232177364*c_1100_12^19 + 12783882000126658384651369564346201978103587302317/1215124611753864\ 202534626615424237182232177364*c_1100_12^18 - 19562410644683661499876658577736778631323632683163/1215124611753864\ 202534626615424237182232177364*c_1100_12^17 + 6969421443741245824784119885444446256846791738957/30378115293846605\ 0633656653856059295558044341*c_1100_12^16 - 9296225358655579200617192199853940183438845636088/30378115293846605\ 0633656653856059295558044341*c_1100_12^15 + 46593707388796717333266836875553196136965150542037/1215124611753864\ 202534626615424237182232177364*c_1100_12^14 - 54872156236839750766371985634000806347510403554575/1215124611753864\ 202534626615424237182232177364*c_1100_12^13 + 60643484195281255303913630957964957272693489889795/1215124611753864\ 202534626615424237182232177364*c_1100_12^12 - 922660477138869342902498383638717972315623510863/178694795846156500\ 37273920815062311503414373*c_1100_12^11 + 60675843364923127231290631934879512739732173237269/1215124611753864\ 202534626615424237182232177364*c_1100_12^10 - 54682656209156094811080461629051999062546971554355/1215124611753864\ 202534626615424237182232177364*c_1100_12^9 + 11368813336685194168368809488789255045941982518645/3037811529384660\ 50633656653856059295558044341*c_1100_12^8 - 1322974075311450904952256029953693287747610985729/46735561990533238\ 559024100593239891624314514*c_1100_12^7 + 23355556443676012306114647094338509936056291842111/1215124611753864\ 202534626615424237182232177364*c_1100_12^6 - 500696783059555454759039732453589399844249616846/433973075626380072\ 33379521979437042222577763*c_1100_12^5 + 7281609950960813174738113879398362526801776257169/12151246117538642\ 02534626615424237182232177364*c_1100_12^4 - 3201519151530043829585538419269668309447460434199/12151246117538642\ 02534626615424237182232177364*c_1100_12^3 + 576490032684031655174621005991824023414195017963/607562305876932101\ 267313307712118591116088682*c_1100_12^2 - 152482288283735485528086522967692026478866619051/607562305876932101\ 267313307712118591116088682*c_1100_12 + 2532113490733210061145161165743992373500560887/71477918338462600149\ 095683260249246013657492, c_1001_0 + 24880663720028674681294958069579/116372952503984670691475417\ 60723021*c_1100_12^28 - 230592909542088912556670685118951/116372952\ 50398467069147541760723021*c_1100_12^27 + 7583916956883748340727342077244/97792397062171992177710434964059*c_\ 1100_12^26 - 1553169036110237766800984199010925/1163729525039846706\ 9147541760723021*c_1100_12^25 - 83902443223127372290134725355121/68\ 4546779435203945243973044748413*c_1100_12^24 + 18831379444863640081924174787201273/1163729525039846706914754176072\ 3021*c_1100_12^23 - 78003899845318370519153868971775546/11637295250\ 398467069147541760723021*c_1100_12^22 + 241201083812606683361625255052575237/116372952503984670691475417607\ 23021*c_1100_12^21 - 620173359513164953137619481094994794/116372952\ 50398467069147541760723021*c_1100_12^20 + 1367462258758989752973763077522184125/11637295250398467069147541760\ 723021*c_1100_12^19 - 2656848346573292611260098443735373104/1163729\ 5250398467069147541760723021*c_1100_12^18 + 4655282090788499039295588267186942793/11637295250398467069147541760\ 723021*c_1100_12^17 - 7456610515117335992269357850156754785/1163729\ 5250398467069147541760723021*c_1100_12^16 + 11010484440951726825161286228779225310/1163729525039846706914754176\ 0723021*c_1100_12^15 - 15109321034305026624189230018586186104/11637\ 295250398467069147541760723021*c_1100_12^14 + 19399343654947208409832632625488894233/1163729525039846706914754176\ 0723021*c_1100_12^13 - 23347626273489575182980174317064645464/11637\ 295250398467069147541760723021*c_1100_12^12 + 1545727613140969683296522916470416642/68454677943520394524397304474\ 8413*c_1100_12^11 - 27583360108847221918609757809504560348/11637295\ 250398467069147541760723021*c_1100_12^10 + 26956332071737285001037453972188792499/1163729525039846706914754176\ 0723021*c_1100_12^9 - 24547534560960300371062578076604418913/116372\ 95250398467069147541760723021*c_1100_12^8 + 20578555784136381639367128606184023553/1163729525039846706914754176\ 0723021*c_1100_12^7 - 15528808964632831348474391590270890435/116372\ 95250398467069147541760723021*c_1100_12^6 + 1488614163697564057330705080228895438/16624707500569238670210773943\ 89003*c_1100_12^5 - 6112141825568107665633301916598729647/116372952\ 50398467069147541760723021*c_1100_12^4 + 3019038085368178865647873592550325001/11637295250398467069147541760\ 723021*c_1100_12^3 - 1221849421304787072313561601633243505/11637295\ 250398467069147541760723021*c_1100_12^2 + 391731712989907661660955600753121225/116372952503984670691475417607\ 23021*c_1100_12 - 4086258134964394848258267831288011/68454677943520\ 3945243973044748413, c_1001_1 + 67534969315265648286825496264741165103291579/607562305876932\ 101267313307712118591116088682*c_1100_12^28 - 414835958668296621659726887283187669399805340/303781152938466050633\ 656653856059295558044341*c_1100_12^27 + 21597282191814861279943571637076464208420142/2552782797802235719610\ 560116437473071916339*c_1100_12^26 - 10817272969820479072149705978548734804173090315/3037811529384660506\ 33656653856059295558044341*c_1100_12^25 + 161292680726523781225163750474079568602432237/137457535266274231055\ 9532370389408577185721*c_1100_12^24 - 99597707274961222417148379935680425457007446583/3037811529384660506\ 33656653856059295558044341*c_1100_12^23 + 245256033659939230784954349088378844027691610407/303781152938466050\ 633656653856059295558044341*c_1100_12^22 - 82993672265281296455069209949347677121372435401/4673556199053323855\ 9024100593239891624314514*c_1100_12^21 + 1068353849098122232188481165623418068657998217702/30378115293846605\ 0633656653856059295558044341*c_1100_12^20 - 1924728867976143986875850356624126138584415410570/30378115293846605\ 0633656653856059295558044341*c_1100_12^19 + 6373252096165564361382094120798468613092844979453/60756230587693210\ 1267313307712118591116088682*c_1100_12^18 - 4884531709044855288544226685640152941376148650401/30378115293846605\ 0633656653856059295558044341*c_1100_12^17 + 6971700036879685286555395974785326728225297800360/30378115293846605\ 0633656653856059295558044341*c_1100_12^16 - 18625734416380287876660208782604293984938698801019/6075623058769321\ 01267313307712118591116088682*c_1100_12^15 + 23371250241235983708909877300279277022014429910679/6075623058769321\ 01267313307712118591116088682*c_1100_12^14 - 13781650126244798653753762090130931284082725775582/3037811529384660\ 50633656653856059295558044341*c_1100_12^13 + 15253651005863457559664453231913852739888521275480/3037811529384660\ 50633656653856059295558044341*c_1100_12^12 - 1859482064289861195822411027585312106063194523263/35738959169231300\ 074547841630124623006828746*c_1100_12^11 + 15308576810976062506594404219697520802677588186501/3037811529384660\ 50633656653856059295558044341*c_1100_12^10 - 13819664657495874402316123005660041746267415830782/3037811529384660\ 50633656653856059295558044341*c_1100_12^9 + 23031559052357240426297891863190992866254549680943/6075623058769321\ 01267313307712118591116088682*c_1100_12^8 - 671590392509784642529293216238387440366356989192/233677809952666192\ 79512050296619945812157257*c_1100_12^7 + 5942884469847339366807064125462489937264257720287/30378115293846605\ 0633656653856059295558044341*c_1100_12^6 - 1022110291458539240885799099832285867116082454865/86794615125276014\ 466759043958874084445155526*c_1100_12^5 + 1864699870461615748894810701849815280826533261886/30378115293846605\ 0633656653856059295558044341*c_1100_12^4 - 1646389051633019613408820245879477147483058284293/60756230587693210\ 1267313307712118591116088682*c_1100_12^3 + 297920436540910046157304561551599683073813711645/303781152938466050\ 633656653856059295558044341*c_1100_12^2 - 79451468046420247024530006127863538019711033246/3037811529384660506\ 33656653856059295558044341*c_1100_12 + 1346367957980030332616742983140307405761895077/35738959169231300074\ 547841630124623006828746, c_1001_6 - 4060544118662246573919607371255134914267368/4339730756263800\ 7233379521979437042222577763*c_1100_12^28 + 49476478823135961242219198173823522467862179/4339730756263800723337\ 9521979437042222577763*c_1100_12^27 - 35793990429976061820772452100520548306490105/5105565595604471439221\ 120232874946143832678*c_1100_12^26 + 2544369952804378164480481111213829819113938847/86794615125276014466\ 759043958874084445155526*c_1100_12^25 - 18870950767670892890890719484781523042831652/1963679075232489015085\ 04624341344082455103*c_1100_12^24 + 23213278277756257468050601084284792856907820041/8679461512527601446\ 6759043958874084445155526*c_1100_12^23 - 28484685898480549083620926359248365390380554598/4339730756263800723\ 3379521979437042222577763*c_1100_12^22 + 4803478445567546295094624153380563295608149616/33382544278952313256\ 44578613802849401736751*c_1100_12^21 - 123257881018242489580550965765966852772894381556/433973075626380072\ 33379521979437042222577763*c_1100_12^20 + 442740732675297557901995056534571822350728950889/867946151252760144\ 66759043958874084445155526*c_1100_12^19 - 730908660469639463984202554674045393790886954185/867946151252760144\ 66759043958874084445155526*c_1100_12^18 + 558648595886522268253091139119826861047867366448/433973075626380072\ 33379521979437042222577763*c_1100_12^17 - 1590563877064518031062048096259955461642126063343/86794615125276014\ 466759043958874084445155526*c_1100_12^16 + 1059715560504528046681248960822834691640688167308/43397307562638007\ 233379521979437042222577763*c_1100_12^15 - 1326515492293839582798488163321990992949607917773/43397307562638007\ 233379521979437042222577763*c_1100_12^14 + 1560561519589392679458968069156851142848776242702/43397307562638007\ 233379521979437042222577763*c_1100_12^13 - 1722711432106247002557237877268154508813947472633/43397307562638007\ 233379521979437042222577763*c_1100_12^12 + 209421184056218648604956563039307647005959712763/510556559560447143\ 9221120232874946143832678*c_1100_12^11 - 1719167680535953116658483702015396856346173759224/43397307562638007\ 233379521979437042222577763*c_1100_12^10 + 3094323646882025002663432754277988287781234539375/86794615125276014\ 466759043958874084445155526*c_1100_12^9 - 1284369009169779654849323692797405999320557422185/43397307562638007\ 233379521979437042222577763*c_1100_12^8 + 149120119386176469913119405247572954816444842467/667650885579046265\ 1289157227605698803473502*c_1100_12^7 - 1312847619647396537534752212895731122133831041175/86794615125276014\ 466759043958874084445155526*c_1100_12^6 + 392740709800776695539167361907459370870339667043/433973075626380072\ 33379521979437042222577763*c_1100_12^5 - 406271349155343279476554980329321546601382063863/867946151252760144\ 66759043958874084445155526*c_1100_12^4 + 177808290555067126509215579385954038418255386483/867946151252760144\ 66759043958874084445155526*c_1100_12^3 - 31807353502123715976259797909779380892419843520/4339730756263800723\ 3379521979437042222577763*c_1100_12^2 + 16559747629634071277980733203313472272513581413/8679461512527601446\ 6759043958874084445155526*c_1100_12 - 133859951061407604546390803765122637292515475/510556559560447143922\ 1120232874946143832678, c_1100_12^29 - 13*c_1100_12^28 + 85*c_1100_12^27 - 376*c_1100_12^26 + 1292*c_1100_12^25 - 3734*c_1100_12^24 + 9467*c_1100_12^23 - 21428*c_1100_12^22 + 43686*c_1100_12^21 - 80966*c_1100_12^20 + 137730*c_1100_12^19 - 216721*c_1100_12^18 + 317338*c_1100_12^17 - 434600*c_1100_12^16 + 558896*c_1100_12^15 - 676042*c_1100_12^14 + 768710*c_1100_12^13 - 820097*c_1100_12^12 + 819412*c_1100_12^11 - 765081*c_1100_12^10 + 663458*c_1100_12^9 - 528430*c_1100_12^8 + 381690*c_1100_12^7 - 246769*c_1100_12^6 + 140513*c_1100_12^5 - 69120*c_1100_12^4 + 28699*c_1100_12^3 - 9595*c_1100_12^2 + 2295*c_1100_12 - 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.530 Total time: 10.740 seconds, Total memory usage: 64.12MB