Magma V2.19-8 Tue Aug 20 2013 23:44:12 on localhost [Seed = 1048075229] Type ? for help. Type -D to quit. Loading file "K13n1767__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1767 geometric_solution 11.03936390 oriented_manifold CS_known -0.0000000000000007 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 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 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.308476493849 0.664271448536 0 5 5 6 0132 0132 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 -1 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301067687621 0.524119269487 7 0 3 7 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.954112674052 0.908712452279 8 2 5 0 0132 1230 1302 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.784324862263 0.686091737336 9 8 0 9 0132 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.657626224446 0.863396465040 3 1 1 10 2031 0132 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 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.301067687621 0.524119269487 8 11 1 11 2103 0132 0132 0213 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 -1 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.453200845442 0.633106522595 2 8 10 2 0132 0321 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.382992139487 0.637538976659 3 4 6 7 0132 2103 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.118117721278 1.183443833681 4 10 11 4 0132 3120 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 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.657626224446 0.863396465040 7 9 5 11 2031 3120 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.303849243067 0.929099686041 10 6 9 6 3120 0132 1023 0213 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 1 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.453200845442 0.633106522595 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0110_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : 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' : d['c_0101_10'], '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' : negation(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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_9']), 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_10']), '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' : 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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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' : d['c_0110_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0110_10'])})} 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_10, c_0101_11, c_0101_2, c_0101_9, c_0110_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 6621782742723570278933111390921116360342625020019644681134890315892\ 21/1097403192336078502409809947761936002960078006682670136084146473\ 2400*c_1001_5^27 + 247456146490213058949731187499089956036056553785\ 0111047547358071883213/54870159616803925120490497388096800148003900\ 33413350680420732366200*c_1001_5^26 + 9431794535260443139417694613534327321402777359629874737833335440344\ 937/548701596168039251204904973880968001480039003341335068042073236\ 6200*c_1001_5^25 + 245424191137917870499765988006497786775845760858\ 60020475727769727032091/5487015961680392512049049738809680014800390\ 033413350680420732366200*c_1001_5^24 + 5258282475556514418700960100769488363800620438440625869684573967704\ 6959/54870159616803925120490497388096800148003900334133506804207323\ 66200*c_1001_5^23 + 18679795150155293920725650445842282637829257688\ 4872812230116824259429267/10974031923360785024098099477619360029600\ 780066826701360841464732400*c_1001_5^22 + 2782261393268200979943519544430242568343640192455887039474059503505\ 15061/1097403192336078502409809947761936002960078006682670136084146\ 4732400*c_1001_5^21 + 760167207978020678937841744906185974342616841\ 4655204756760475510957587/27435079808401962560245248694048400074001\ 9501670667534021036618310*c_1001_5^20 + 8184045051387254520655145416782109378550130687379354177444415245819\ 629/477131822754816740178178238157363479547860002905508754819194118\ 800*c_1001_5^19 - 9040361992324105880601436749892798209214141687588\ 0650370484710618341089/10974031923360785024098099477619360029600780\ 066826701360841464732400*c_1001_5^18 - 7754025430169675183847520873192568160521986437015888218943701065776\ 3771/13717539904200981280122624347024200037000975083533376701051830\ 91550*c_1001_5^17 + 78206093856803100591904517267456490219151063284\ 43656424582348185766777/1371753990420098128012262434702420003700097\ 50835333767010518309155*c_1001_5^16 + 1277289913307511846600988093120265227494237946103368714366937593614\ 02671/2385659113774083700890891190786817397739300014527543774095970\ 59400*c_1001_5^15 + 77895066357540859761874521870058667317287078934\ 4873682704200157308117113/27435079808401962560245248694048400074001\ 95016706675340210366183100*c_1001_5^14 - 1489441616789811095188653347766294985661688540876852629614915587860\ 5262983/10974031923360785024098099477619360029600780066826701360841\ 464732400*c_1001_5^13 - 1353897638577367198010972355056857653609948\ 5717162881906193062577235163943/10974031923360785024098099477619360\ 029600780066826701360841464732400*c_1001_5^12 + 1467234816528729607289656237824306414027864109552966754600913277668\ 9209261/10974031923360785024098099477619360029600780066826701360841\ 464732400*c_1001_5^11 + 8595205438993802006476134474491453573852539\ 748194649427187033071222347627/548701596168039251204904973880968001\ 4800390033413350680420732366200*c_1001_5^10 - 5325360911780546508012741357965840826962508318439295683682147568077\ 14339/1097403192336078502409809947761936002960078006682670136084146\ 473240*c_1001_5^9 - 21817448179389267909352748909345537901417090724\ 15019282844138328501980107/2743507980840196256024524869404840007400\ 195016706675340210366183100*c_1001_5^8 + 1203198089212739042437216404128445493524925711194046520663570914487\ 013529/548701596168039251204904973880968001480039003341335068042073\ 2366200*c_1001_5^7 + 4739946734981081191162569262761372919782581666\ 08877103009285782632697181/1371753990420098128012262434702420003700\ 097508353337670105183091550*c_1001_5^6 - 7243777864820179110607317056391907813092747977635573779311861130139\ 8761/13717539904200981280122624347024200037000975083533376701051830\ 91550*c_1001_5^5 - 201422947491800675333316315048390104299660004775\ 46836693144366128402161/1959648557742997325731803478146314291000139\ 29764762524300740441650*c_1001_5^4 + 1487480334910741690296242868052457019046341251570448053070171210445\ 0937/13717539904200981280122624347024200037000975083533376701051830\ 91550*c_1001_5^3 + 303042277530014014209687915470146601614546435614\ 44110709625354014419031/1371753990420098128012262434702420003700097\ 508353337670105183091550*c_1001_5^2 - 9527252168344954189743696030096260595886158179350439018602582641861\ 51/1371753990420098128012262434702420003700097508353337670105183091\ 550*c_1001_5 - 3238999446845562719581808790264064267675897962306225\ 999052989494126483/137175399042009812801226243470242000370009750835\ 3337670105183091550, c_0011_0 - 1, c_0011_10 - 15037184414682582093480471501575673008957068385099/95083132\ 053761327421348008573627134360734856461292*c_1001_5^27 - 115655584049662219008022878823014372524672519357515/950831320537613\ 27421348008573627134360734856461292*c_1001_5^26 - 112201133251645081431959931565277779044720764729192/237707830134403\ 31855337002143406783590183714115323*c_1001_5^25 - 1180368062554614866740569038879256367532409386286807/95083132053761\ 327421348008573627134360734856461292*c_1001_5^24 - 2533084127687323076261449898962115653735716902991605/95083132053761\ 327421348008573627134360734856461292*c_1001_5^23 - 4521700907052393418827654340285368912848727769957669/95083132053761\ 327421348008573627134360734856461292*c_1001_5^22 - 1685368821130249081536743512297282116011607534607638/23770783013440\ 331855337002143406783590183714115323*c_1001_5^21 - 7428508738980303727360589808023556336039397830720145/95083132053761\ 327421348008573627134360734856461292*c_1001_5^20 - 2278558539592638621742637351060470836519534096324741/47541566026880\ 663710674004286813567180367428230646*c_1001_5^19 + 579714244947123445290195471944319187820282865142679/237707830134403\ 31855337002143406783590183714115323*c_1001_5^18 + 3773345872281646243996736521015290358410714878487478/23770783013440\ 331855337002143406783590183714115323*c_1001_5^17 - 11867482369976654210464876387192539527193150678182893/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^16 - 69858098841819846473055382212374391230083387064745293/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^15 - 94112566207759067498786292466654166005885445104381127/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^14 + 354435387490612496764549576899925555738027822490109997/950831320537\ 61327421348008573627134360734856461292*c_1001_5^13 + 190450836325961575302045482808972884775310435434129323/475415660268\ 80663710674004286813567180367428230646*c_1001_5^12 - 88178983791148134305192968123808271308727268363630825/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^11 - 122548406281520763016003617479845818061122684896142142/237707830134\ 40331855337002143406783590183714115323*c_1001_5^10 + 33149965864114648390447736551721704342940591912264732/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^9 + 65410070849446984683647806680386662027416731887919983/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^8 - 57884456603730777506525278204315498135782785516741613/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^7 - 56228038265092188488363688005560845991386557599440587/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^6 + 3748105636845441568055518801937162339806842631312754/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 + 8461902113914359075516953183330480424790028599946930/23770783013440\ 331855337002143406783590183714115323*c_1001_5^4 - 1532741581875759406752735702856439699412975561999373/47541566026880\ 663710674004286813567180367428230646*c_1001_5^3 - 1834157800848063296645939183617517192347617129265563/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 + 70614198229371631047055576300729615275979076985448/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 + 194112714793637340920718994617432837586785145115939/237707830134403\ 31855337002143406783590183714115323, c_0011_11 - 126731282050307274395933596433594591187370162533799/1901662\ 64107522654842696017147254268721469712922584*c_1001_5^27 - 937910492099088697518883185329467707668572112634185/190166264107522\ 654842696017147254268721469712922584*c_1001_5^26 - 886702096652336656937501809430878519498636775129751/475415660268806\ 63710674004286813567180367428230646*c_1001_5^25 - 1146234993870091932307801286367356441941709815403104/23770783013440\ 331855337002143406783590183714115323*c_1001_5^24 - 9788969272288697435066802752999077848111277149913183/95083132053761\ 327421348008573627134360734856461292*c_1001_5^23 - 34605569336564354355844926208798158213886686614328571/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^22 - 12823882467846096781806489466305554669962052548189381/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^21 - 55385973060246040769992820576524560374405698289232587/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^20 - 33248731746610953776096480854488535453531519146321405/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^19 + 2334728411531556010166316625298738544571832176087381/23770783013440\ 331855337002143406783590183714115323*c_1001_5^18 + 117260830739013755546837244326308734547747390541433937/190166264107\ 522654842696017147254268721469712922584*c_1001_5^17 - 31712699821569324872720350786108735839049968236287483/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^16 - 277722483318923511559871888379427625147919425630045763/475415660268\ 80663710674004286813567180367428230646*c_1001_5^15 - 130814198818702750048481638886646924687768973186788175/475415660268\ 80663710674004286813567180367428230646*c_1001_5^14 + 2847020724021049643102084821784002433028947493236451905/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^13 + 1195353849897375201140264656548140323558982264560034833/95083132053\ 761327421348008573627134360734856461292*c_1001_5^12 - 1428983073873286765046327198284367050436234465788980547/95083132053\ 761327421348008573627134360734856461292*c_1001_5^11 - 3061638030474676002948876937484615851224107350206285477/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^10 + 540827651519698941521825886720369768054312522971215681/950831320537\ 61327421348008573627134360734856461292*c_1001_5^9 + 388339419884915853444090836295404268424524173499002175/475415660268\ 80663710674004286813567180367428230646*c_1001_5^8 - 59607009694618005209137993138318902806196508900435475/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^7 - 335464574200491279830586509031217498474378388996448609/950831320537\ 61327421348008573627134360734856461292*c_1001_5^6 + 14970394944951471940202877846461893753152805440781459/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^5 + 50014241148117171813767467278884826631652253699671825/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^4 - 6070928833009919930583037941129742640593600290448395/47541566026880\ 663710674004286813567180367428230646*c_1001_5^3 - 5313031517180134537251049438257437974947142510911168/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 + 206137175322531738220320406372746119128335665069390/237707830134403\ 31855337002143406783590183714115323*c_1001_5 + 573226153485050868031960427589565734785830678656839/237707830134403\ 31855337002143406783590183714115323, c_0011_3 + 4446856737207564761213705115442565319405810719473/4754156602\ 6880663710674004286813567180367428230646*c_1001_5^27 + 137162356373876392173177096246514633295820953315467/190166264107522\ 654842696017147254268721469712922584*c_1001_5^26 + 536888164770331081964030525411777057341379799228299/190166264107522\ 654842696017147254268721469712922584*c_1001_5^25 + 1428711404560430667568243402093366822845288247763845/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^24 + 3100785741475870928243126061883518906166680810905943/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^23 + 5595364930374068432278378727699866095730179121777515/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^22 + 4236051051893138653171242657708106391485033542851051/95083132053761\ 327421348008573627134360734856461292*c_1001_5^21 + 9610711894741768169655079049630746893250186750815373/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^20 + 6525093133512157603705224612874007633339384057026693/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^19 - 423208714360382078414842321644416187361564540383333/475415660268806\ 63710674004286813567180367428230646*c_1001_5^18 - 17422489214440458109383402620016851729934036734911417/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^17 + 13196237597792243850494393918675810770841403669506743/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^16 + 163106438893906975127471715928684958107254341313128209/190166264107\ 522654842696017147254268721469712922584*c_1001_5^15 + 119609212646012392431632678448459738504319749832906263/190166264107\ 522654842696017147254268721469712922584*c_1001_5^14 - 392513112081498122823910029956599132635491755795463115/190166264107\ 522654842696017147254268721469712922584*c_1001_5^13 - 231224289218482186390096628985214586971166209931745915/950831320537\ 61327421348008573627134360734856461292*c_1001_5^12 + 343176762679256519919574661066307551805635380410889781/190166264107\ 522654842696017147254268721469712922584*c_1001_5^11 + 72108824805517653079147201455542858599608097766440485/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^10 - 38983539337778332420312042627911424360635592521938885/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^9 - 74124742501825558057237897289200603129379182469265873/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^8 + 18164932743139396336540352249539907671328766617528763/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^7 + 16266237033445643106825557896949915113356800210940483/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^6 - 464000338145360250399145321140913825232503922825950/237707830134403\ 31855337002143406783590183714115323*c_1001_5^5 - 9822903265752061821092782881552034317784829594751073/47541566026880\ 663710674004286813567180367428230646*c_1001_5^4 + 37274911182377975180904091001700510941924132232847/2377078301344033\ 1855337002143406783590183714115323*c_1001_5^3 + 1167715029853945043817570267544114912502099318707144/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 + 39989325045556219190293401278733677986978020299674/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 - 123631838516369143244874703736166582872144739171073/237707830134403\ 31855337002143406783590183714115323, c_0101_0 + 7171978817670559858339760760273431384496912869961/9508313205\ 3761327421348008573627134360734856461292*c_1001_5^27 + 13304383436590979570621543193888252157502214952828/2377078301344033\ 1855337002143406783590183714115323*c_1001_5^26 + 202677758918214753095712648905474839597267105582775/950831320537613\ 27421348008573627134360734856461292*c_1001_5^25 + 528759684243082821356986906736491495487792600043343/950831320537613\ 27421348008573627134360734856461292*c_1001_5^24 + 1137963277013138475545214653331527559374941391776483/95083132053761\ 327421348008573627134360734856461292*c_1001_5^23 + 1013476653237153720956113747363241250197736829447473/47541566026880\ 663710674004286813567180367428230646*c_1001_5^22 + 1518901774527597219280688067882871030616511578953465/47541566026880\ 663710674004286813567180367428230646*c_1001_5^21 + 1675342956852148687904776387287450892320327391672847/47541566026880\ 663710674004286813567180367428230646*c_1001_5^20 + 541949433842585496477477144623989413957921357114390/237707830134403\ 31855337002143406783590183714115323*c_1001_5^19 - 204430188837397730185165864382791703209464986249750/237707830134403\ 31855337002143406783590183714115323*c_1001_5^18 - 3287356694954576944881384160678664840302963700983653/47541566026880\ 663710674004286813567180367428230646*c_1001_5^17 + 6894918397853231150297212604808547559305680320295021/95083132053761\ 327421348008573627134360734856461292*c_1001_5^16 + 62369114390401105208099813570627973150252635616615659/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^15 + 32433295712789154840596290575402117829533937754788189/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^14 - 77036844222716423723293625443048926357106647586925493/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^13 - 70673204201647894799553708327567419970148456165010315/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^12 + 141482112938665581765801635107820176017922466527955629/950831320537\ 61327421348008573627134360734856461292*c_1001_5^11 + 178554430414152307239330066315182785080381041956743349/950831320537\ 61327421348008573627134360734856461292*c_1001_5^10 - 9777615350136915267284759178051288121347240327852453/23770783013440\ 331855337002143406783590183714115323*c_1001_5^9 - 22623291515175539895995675813039928832105234764761026/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^8 + 4426535501587250571909582388504832123926346348737915/23770783013440\ 331855337002143406783590183714115323*c_1001_5^7 + 19864251126482090063044586071540981251812311537409523/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^6 - 675951568225758702951903495899524285861002368353365/237707830134403\ 31855337002143406783590183714115323*c_1001_5^5 - 2904222129325290822861212460010216651480525067093664/23770783013440\ 331855337002143406783590183714115323*c_1001_5^4 + 99371280305536248231128850261855048797879276496225/2377078301344033\ 1855337002143406783590183714115323*c_1001_5^3 + 625194636755568341831722414760176868366787322894997/237707830134403\ 31855337002143406783590183714115323*c_1001_5^2 + 25274767564767193769248923687639304960983364144556/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 - 87372604189395979161033978474908102307231721731222/2377078301344033\ 1855337002143406783590183714115323, c_0101_1 + 11176227792175891240891107954051263053942617221601/950831320\ 53761327421348008573627134360734856461292*c_1001_5^27 + 169016207970733768464307724284189548436259297187661/190166264107522\ 654842696017147254268721469712922584*c_1001_5^26 + 652150807613228157028362252662517679466317059257645/190166264107522\ 654842696017147254268721469712922584*c_1001_5^25 + 1716966408419910592363037008821743407514914729773867/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^24 + 3707866802909912033253482597366396883134738901856957/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^23 + 6643506573320600166050135336949022336635306656101231/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^22 + 2499519348035462463707032096962738335723107410711137/47541566026880\ 663710674004286813567180367428230646*c_1001_5^21 + 11167423644607374214406702182952162813286883041637387/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^20 + 7360910183186980245432266719643918607249837606499145/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^19 - 1214451549145004560814818863071796422163780533793747/95083132053761\ 327421348008573627134360734856461292*c_1001_5^18 - 21200649665865350039567857229785937833078932641211471/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^17 + 19184963657972152904267075005104492847938145299500825/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^16 + 199802463896502494519966323673547300784285275189803819/190166264107\ 522654842696017147254268721469712922584*c_1001_5^15 + 124312406557586565910060587724839237228006201338864805/190166264107\ 522654842696017147254268721469712922584*c_1001_5^14 - 489333725576950425852925057808407355723623745321280163/190166264107\ 522654842696017147254268721469712922584*c_1001_5^13 - 63463749098657255295210130869891849512958472926995959/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^12 + 444013284777792184408776035006981875882139304055686309/190166264107\ 522654842696017147254268721469712922584*c_1001_5^11 + 79761211112438383562233082380223570681662659815812771/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^10 - 59402401436800160148940643287476789924806228220274675/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^9 - 40849231565278699253469299897692536526980141176218724/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^8 + 27137853600526858250275860297068566645451872990788883/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^7 + 17997722860690243012643668667030949505742010956538735/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^6 - 1020277698790327393125762517325683065833621742916135/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 - 10845235286148238719337639351988928656758254125293331/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^4 + 150525817957747611192625513160103801339773009551233/237707830134403\ 31855337002143406783590183714115323*c_1001_5^3 + 1234494754099273182632231271153547035221877974683687/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 + 35410865956233973949797137866751863957234126592510/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 - 135686566607049140341306093550722538626266618057413/237707830134403\ 31855337002143406783590183714115323, c_0101_10 - 8788923063826137636070054763080093992889616197427/475415660\ 26880663710674004286813567180367428230646*c_1001_5^27 - 33342867755078471192009730656241657985278861998162/2377078301344033\ 1855337002143406783590183714115323*c_1001_5^26 - 257501334392502135476161752899170035433458753164793/475415660268806\ 63710674004286813567180367428230646*c_1001_5^25 - 677389143841407162847539046800514445245881470825201/475415660268806\ 63710674004286813567180367428230646*c_1001_5^24 - 730057261875707463049970235803380385541382148506349/237707830134403\ 31855337002143406783590183714115323*c_1001_5^23 - 5225568233496495903095202527002598036286703903761873/95083132053761\ 327421348008573627134360734856461292*c_1001_5^22 - 7843319594617648857361351734897224383107164079755565/95083132053761\ 327421348008573627134360734856461292*c_1001_5^21 - 8724970290661065151335608554892525449245548427076157/95083132053761\ 327421348008573627134360734856461292*c_1001_5^20 - 5644274723194225251391907370646109526575569137861715/95083132053761\ 327421348008573627134360734856461292*c_1001_5^19 + 2115691611580320631334834374038704514331442485279427/95083132053761\ 327421348008573627134360734856461292*c_1001_5^18 + 8439904943451120255113628025190562117294458552739085/47541566026880\ 663710674004286813567180367428230646*c_1001_5^17 - 14889453383494593369449256216225532748329044383399899/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^16 - 158523586353514973729971132912827785436295396826829511/950831320537\ 61327421348008573627134360734856461292*c_1001_5^15 - 49932913466156978792242036253030422531642650870297739/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^14 + 392282291756327196427889752564736686878418619942317273/950831320537\ 61327421348008573627134360734856461292*c_1001_5^13 + 408061681330342524600280336939568599102437986022799599/950831320537\ 61327421348008573627134360734856461292*c_1001_5^12 - 366131153547514383162637292290108533240629216037619359/950831320537\ 61327421348008573627134360734856461292*c_1001_5^11 - 516556425668771547753214568646809465728960510098889513/950831320537\ 61327421348008573627134360734856461292*c_1001_5^10 + 110605072822512359778661371385228142096371555516303057/950831320537\ 61327421348008573627134360734856461292*c_1001_5^9 + 134239439615004978262733624398364036795856422230729319/475415660268\ 80663710674004286813567180367428230646*c_1001_5^8 - 49846922840762939428865193437418105595346697226528963/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^7 - 29684983559884690594893138237488874744848191605331432/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^6 + 2374896664275959678539484294595499847738285721488173/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 + 9092484310614489327565600028933847682343422440899434/23770783013440\ 331855337002143406783590183714115323*c_1001_5^4 - 845403993201201326295968769769923253498171225765579/475415660268806\ 63710674004286813567180367428230646*c_1001_5^3 - 2066758544899782024528602854863857520819663641008022/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 - 18211519842064730838628455289545646553075143768761/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 + 246282110269286974270116829029934492474876567078656/237707830134403\ 31855337002143406783590183714115323, c_0101_11 + 7784320803606674622171194077495546368138301195091/950831320\ 53761327421348008573627134360734856461292*c_1001_5^27 + 56702163573448362949122897805692673518779663405401/9508313205376132\ 7421348008573627134360734856461292*c_1001_5^26 + 422563001042862857551787619029983990583249406262177/190166264107522\ 654842696017147254268721469712922584*c_1001_5^25 + 1078205045373533823786128016221032839958008563755557/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^24 + 2284408114858344247701363735953623765599080192629625/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^23 + 4000621043993038587666528959875746333863578807172457/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^22 + 5872042472723542334536105582085311875375205021942135/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^21 + 3096646535125852492879182834925505129673174057059465/95083132053761\ 327421348008573627134360734856461292*c_1001_5^20 + 3483985306142715460516553452191139699239432986678035/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^19 - 2535356746682172361255186519786364068636735503295785/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^18 - 3489637218140260904330315035447788796655106091461801/47541566026880\ 663710674004286813567180367428230646*c_1001_5^17 + 17270038780265309166348392694759769801609030143341939/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^16 + 134321904849730418125862878079152016664978390448398897/190166264107\ 522654842696017147254268721469712922584*c_1001_5^15 + 48344666078697087421001597065460532395293129875779461/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^14 - 354067969653380698243981468551712994360299438933901779/190166264107\ 522654842696017147254268721469712922584*c_1001_5^13 - 248738368517897228332811496728693119545806083367841603/190166264107\ 522654842696017147254268721469712922584*c_1001_5^12 + 94487703641840124160332046734001590494344484672539555/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^11 + 321831265257506608628117168992629355678759741519821383/190166264107\ 522654842696017147254268721469712922584*c_1001_5^10 - 42564544886582666298928009655835586945243693488698019/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^9 - 40109778432567430545814807895261236429521827686783321/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^8 + 19680940954313114965262010832374630990237726276684083/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^7 + 34683301086245584127542887604816419288450506854435429/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^6 - 2879067423221672054315473481671811128717790844515467/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 - 5051711492393602646967584612498820041836626301590861/47541566026880\ 663710674004286813567180367428230646*c_1001_5^4 + 1404407381275823670262238209923565301755554390065525/47541566026880\ 663710674004286813567180367428230646*c_1001_5^3 + 529279635893650140401374019534518175376131934802419/237707830134403\ 31855337002143406783590183714115323*c_1001_5^2 - 101127330434374719682220070035295860255402107066309/237707830134403\ 31855337002143406783590183714115323*c_1001_5 - 52382764822660599794627300722985923718854805215742/2377078301344033\ 1855337002143406783590183714115323, c_0101_2 - 11745080201499115442983714378429612352166193205113/950831320\ 53761327421348008573627134360734856461292*c_1001_5^27 - 43398845160141953648938597341027366566545212296713/4754156602688066\ 3710674004286813567180367428230646*c_1001_5^26 - 329680081110984604922922444194746086631309397104015/950831320537613\ 27421348008573627134360734856461292*c_1001_5^25 - 858546106835310888285257248874626159097088541800971/950831320537613\ 27421348008573627134360734856461292*c_1001_5^24 - 1846624639570766627620511252911306916809502356685187/95083132053761\ 327421348008573627134360734856461292*c_1001_5^23 - 1642678427097753529629277136228277751508398336093367/47541566026880\ 663710674004286813567180367428230646*c_1001_5^22 - 2460276568786394641087019562886921554589851607694405/47541566026880\ 663710674004286813567180367428230646*c_1001_5^21 - 2707308495123325163172930119068772347708613612535795/47541566026880\ 663710674004286813567180367428230646*c_1001_5^20 - 873747138259253050484554785857332826312640624604565/237707830134403\ 31855337002143406783590183714115323*c_1001_5^19 + 669747577557814255339972850308569829419678966911095/475415660268806\ 63710674004286813567180367428230646*c_1001_5^18 + 5338108716298505272348675789490523045944269693468397/47541566026880\ 663710674004286813567180367428230646*c_1001_5^17 - 11556922642236682186356515511387653127123564532034619/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^16 - 101518667964110455036911849855515139878152980120318957/950831320537\ 61327421348008573627134360734856461292*c_1001_5^15 - 50657754325128741209146937615513897417045157476068205/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^14 + 62727960527947372515449734517019419117093915104330683/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^13 + 56095021321544350539722458427854443300288690625107354/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^12 - 230346342778902354639276939943030446235390806560327121/950831320537\ 61327421348008573627134360734856461292*c_1001_5^11 - 284400366929673019356808521573734169839597319241365243/950831320537\ 61327421348008573627134360734856461292*c_1001_5^10 + 15793672280218878375652864858104151454669164046402199/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^9 + 36207709100701655082962925532123016252403970477704831/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^8 - 7115804009975240105155915410842069842917878010041035/23770783013440\ 331855337002143406783590183714115323*c_1001_5^7 - 31890419785727548890095805379872773944386758374550583/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^6 + 1048031766048269582001536303359742070856538615802715/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 + 4598560996324025661403245375093770391165627543400635/23770783013440\ 331855337002143406783590183714115323*c_1001_5^4 - 145989363763883563520116440732172227346070964379779/237707830134403\ 31855337002143406783590183714115323*c_1001_5^3 - 982881927984714959661927077497858729900460631829641/237707830134403\ 31855337002143406783590183714115323*c_1001_5^2 - 45792548947746590520077114714272410324050046524248/2377078301344033\ 1855337002143406783590183714115323*c_1001_5 + 114000594400627387207748108214690658784089826126839/237707830134403\ 31855337002143406783590183714115323, c_0101_9 - 17747288124607209124588777617386680406987339176605/475415660\ 26880663710674004286813567180367428230646*c_1001_5^27 - 259969709820482910141557074581454036810784386534311/950831320537613\ 27421348008573627134360734856461292*c_1001_5^26 - 1952247097325399870568036771024017557141898981024673/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^25 - 5023344956187048683741871007075628603708730789161775/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^24 - 10710706840028220050944826025198076728273158318359057/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^23 - 18879998208503924776794359408360418190799491205402029/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^22 - 27944848064750679870767237304764870335339912784606015/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^21 - 7500609682537801935617281849561441062299745396268509/47541566026880\ 663710674004286813567180367428230646*c_1001_5^20 - 17926358182661483856003734759688507448173277941081857/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^19 + 10275649232821471085223168108798878926449310501170099/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^18 + 8022596564111029796532380518718761995292871999610901/23770783013440\ 331855337002143406783590183714115323*c_1001_5^17 - 74994945581388694282774183253931709005527385125366479/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^16 - 612277557329881455135948183210513129693875059167788653/190166264107\ 522654842696017147254268721469712922584*c_1001_5^15 - 253783089019127528865756524224155413859210398671185765/190166264107\ 522654842696017147254268721469712922584*c_1001_5^14 + 1572411362535552514724945671628574625874736767356163999/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^13 + 1219580469305765011825469612249089074745565096955377031/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^12 - 197478638130826733865730341461422472359183413407380636/237707830134\ 40331855337002143406783590183714115323*c_1001_5^11 - 1559494420562851320007812406471438241336349654758819923/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^10 + 74671321816814679178895676346342294834670580304583193/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^9 + 388402600175221369474848620909226296097930327390770043/950831320537\ 61327421348008573627134360734856461292*c_1001_5^8 - 132725770497128689853270942743903243154610335990509771/950831320537\ 61327421348008573627134360734856461292*c_1001_5^7 - 168377312514737675454097838579806390047176075674705589/950831320537\ 61327421348008573627134360734856461292*c_1001_5^6 + 8232691890648642344001432021976597654468441926632417/23770783013440\ 331855337002143406783590183714115323*c_1001_5^5 + 25031501484063274763093014641860872547802721941453221/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^4 - 1671368942544389566670129020575942891016991820395677/23770783013440\ 331855337002143406783590183714115323*c_1001_5^3 - 2638846107671527968880816247533746273277547474840179/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 + 100614716538344276525564566720749594474097781980442/237707830134403\ 31855337002143406783590183714115323*c_1001_5 + 288111819244271812125775994193964047497721753167558/237707830134403\ 31855337002143406783590183714115323, c_0110_10 + 86116045886939065944333157911339508019016026360235/95083132\ 053761327421348008573627134360734856461292*c_1001_5^27 + 1282083920886597973678629764013955205164712012998063/19016626410752\ 2654842696017147254268721469712922584*c_1001_5^26 + 608873566757177063036006062621394448532344082004539/237707830134403\ 31855337002143406783590183714115323*c_1001_5^25 + 6321190783684671935622698593925137869959467913136279/95083132053761\ 327421348008573627134360734856461292*c_1001_5^24 + 6762834657422052274491149158934604749828854883662421/47541566026880\ 663710674004286813567180367428230646*c_1001_5^23 + 11990450706922190773996169240845433773250911432253395/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^22 + 71309436434346291113991902766090957358481883886463331/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^21 + 77584423732925457754688159993045530925350507661110833/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^20 + 5938289374509748707912884675828142718051714398043336/23770783013440\ 331855337002143406783590183714115323*c_1001_5^19 - 24163395985631243023840645194826460883914658366732911/1901662641075\ 22654842696017147254268721469712922584*c_1001_5^18 - 160474496869203678426822313154681406820834333319665211/190166264107\ 522654842696017147254268721469712922584*c_1001_5^17 + 83306061513881011517885024867383940328721300107774497/9508313205376\ 1327421348008573627134360734856461292*c_1001_5^16 + 760176554266938349836628970916872610280680595319045185/950831320537\ 61327421348008573627134360734856461292*c_1001_5^15 + 96120468490273251915438446551015465552060108727424390/2377078301344\ 0331855337002143406783590183714115323*c_1001_5^14 - 1935402407563763075919997099239091411036013777221369565/95083132053\ 761327421348008573627134360734856461292*c_1001_5^13 - 3403764746691447637139624673765946323502976652445300179/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^12 + 3841331046580491246983339702018530143430370375983411719/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^11 + 4325500502546491912988754864891696416234844939551687373/19016626410\ 7522654842696017147254268721469712922584*c_1001_5^10 - 709158609812313550844255833130397614971218024962919015/950831320537\ 61327421348008573627134360734856461292*c_1001_5^9 - 272504866829421802210645939465657861774757696811981935/237707830134\ 40331855337002143406783590183714115323*c_1001_5^8 + 318365758726661315174816693619683307405339924993673865/950831320537\ 61327421348008573627134360734856461292*c_1001_5^7 + 470552938927912737978403616424538295272340808468974103/950831320537\ 61327421348008573627134360734856461292*c_1001_5^6 - 39480853188210724749638611177937463413127142871335505/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^5 - 69916683758444630262835533457040928153709833862465727/4754156602688\ 0663710674004286813567180367428230646*c_1001_5^4 + 8022171535970329679343689936365322873469741573191271/47541566026880\ 663710674004286813567180367428230646*c_1001_5^3 + 7412282921080663529756251276657932574592305430900145/23770783013440\ 331855337002143406783590183714115323*c_1001_5^2 - 276125761133405616350680787048260106819595561997384/237707830134403\ 31855337002143406783590183714115323*c_1001_5 - 790137652934150128650591568497170343566737045507023/237707830134403\ 31855337002143406783590183714115323, c_1001_5^28 + 7*c_1001_5^27 + 25*c_1001_5^26 + 61*c_1001_5^25 + 125*c_1001_5^24 + 210*c_1001_5^23 + 293*c_1001_5^22 + 271*c_1001_5^21 + 82*c_1001_5^20 - 257*c_1001_5^19 - 867*c_1001_5^18 + 1377*c_1001_5^17 + 8381*c_1001_5^16 + 583*c_1001_5^15 - 24286*c_1001_5^14 - 9831*c_1001_5^13 + 30608*c_1001_5^12 + 15190*c_1001_5^11 - 18866*c_1001_5^10 - 8958*c_1001_5^9 + 9080*c_1001_5^8 + 3836*c_1001_5^7 - 3240*c_1001_5^6 - 1224*c_1001_5^5 + 880*c_1001_5^4 + 264*c_1001_5^3 - 160*c_1001_5^2 - 32*c_1001_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.400 Total time: 6.620 seconds, Total memory usage: 82.12MB