Magma V2.19-8 Tue Aug 20 2013 23:38:47 on localhost [Seed = 2917911014] Type ? for help. Type -D to quit. Loading file "K11a226__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a226 geometric_solution 11.51442678 oriented_manifold CS_known 0.0000000000000003 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.019370345995 1.468265100470 0 5 3 3 0132 0132 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 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.148817727432 0.862485714159 6 0 6 3 0132 0132 3120 2310 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 -6 0 5 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.350282286163 0.677403193219 2 1 1 0 3201 2310 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579669304425 0.587367136412 7 8 0 7 0132 0132 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 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.330199722208 1.082149594797 8 1 9 9 2310 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.586025364545 0.549150911217 2 8 2 10 0132 2310 3120 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 0 1 6 0 -5 -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.350282286163 0.677403193219 4 10 9 4 0132 1023 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 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.330199722208 1.082149594797 11 4 5 6 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763156541093 1.136032580989 10 5 7 5 3120 0321 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 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.091422909722 0.851406726097 7 11 6 9 1023 2310 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 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 0 0 0 0 0 0.549041674046 0.481584950972 8 11 11 10 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464726961916 0.752080033319 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_0_11' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_0']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], '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' : d['c_0011_9'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_9'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 1376694109053580332182719547186258751429964282785920193813799498324\ 712291957151044710681000042338688011817/809897527092554152917705634\ 1237828539174824857094780081031350212618120290291315367756466960814\ 735711*c_1001_2^34 + 5269851294015354272427848809317895443364268253\ 8476358040165863793926868729558305579355930633923870070527551/80989\ 7527092554152917705634123782853917482485709478008103135021261812029\ 0291315367756466960814735711*c_1001_2^33 - 1114278968781624511763918995856008346607520478119287568910668189391\ 831519942752998174625545298509478592109577/809897527092554152917705\ 6341237828539174824857094780081031350212618120290291315367756466960\ 814735711*c_1001_2^32 + 1734775892864005942540724588652452666826595\ 85658989481773701062732417250373357001675464617737727244318491649/9\ 0999722145230803698618610575705938642413762439267191921700564186720\ 452699902419862432213042862199*c_1001_2^31 - 1546359449388304211359578961199027731915539731315082690991938124914\ 88118907108167075420899885278899945115738290/8098975270925541529177\ 0563412378285391748248570947800810313502126181202902913153677564669\ 60814735711*c_1001_2^30 + 11872507837664373894329851556830754287357\ 3698188950519407490034588306753099826107779103824142036217140313557\ 1069/80989752709255415291770563412378285391748248570947800810313502\ 12618120290291315367756466960814735711*c_1001_2^29 - 7256992378710223624812866742960258763778339089856794801642212002375\ 699341673345055821594561836569927921389801458/809897527092554152917\ 7056341237828539174824857094780081031350212618120290291315367756466\ 960814735711*c_1001_2^28 + 3625370135037650820248150532332389352320\ 4752180817312976512087153678243779187981403579503803029731185538546\ 605001/809897527092554152917705634123782853917482485709478008103135\ 0212618120290291315367756466960814735711*c_1001_2^27 - 8879549222868845541417493842019450361628397794115744440004367687729\ 513405888063416343904736219519012115645797574/476410310054443619363\ 3562553669310905396955798291047106489029536834188406053714922209686\ 44753807983*c_1001_2^26 + 53240408919116059440195687632877804431115\ 2616567775998654579731035375010576781722338802915245878074421224254\ 243853/809897527092554152917705634123782853917482485709478008103135\ 0212618120290291315367756466960814735711*c_1001_2^25 - 9497190575196398230426619275106696992924323178494597713122646619823\ 3215520763352140679922838055215129160090848475/47641031005444361936\ 3356255366931090539695579829104710648902953683418840605371492220968\ 644753807983*c_1001_2^24 + 4272714224486961201598434835848257689532\ 0073759866294575226390245809111688663618004009079381826062880545375\ 22311164/8098975270925541529177056341237828539174824857094780081031\ 350212618120290291315367756466960814735711*c_1001_2^23 - 1001460146998046566953186544825325360300772465904951703264090407595\ 9430048719635791244880004829586757779466474505858/80989752709255415\ 2917705634123782853917482485709478008103135021261812029029131536775\ 6466960814735711*c_1001_2^22 + 210688225932421304936361243783202324\ 9344364487530835364244466065608882804991513275785143323301767087130\ 0661259318479/80989752709255415291770563412378285391748248570947800\ 81031350212618120290291315367756466960814735711*c_1001_2^21 - 4017689993357333384622163757239243451474940704878954371168637470643\ 1905343339388208029479874251185164836408271358229/80989752709255415\ 2917705634123782853917482485709478008103135021261812029029131536775\ 6466960814735711*c_1001_2^20 + 697421945749516591865354853248997999\ 9992167275772854088029062246903472246880753091323874063196923408098\ 3799191149577/80989752709255415291770563412378285391748248570947800\ 81031350212618120290291315367756466960814735711*c_1001_2^19 - 1100195349024168083018246624091129276179438828646143472115601803963\ 66176784898409844201109940149717577182866484363706/8098975270925541\ 5291770563412378285391748248570947800810313502126181202902913153677\ 56466960814735711*c_1001_2^18 + 15674838979544565519791586866289020\ 9892073449624494353344069843582063572331110365080075871010300967339\ 060061394552938/809897527092554152917705634123782853917482485709478\ 0081031350212618120290291315367756466960814735711*c_1001_2^17 - 1999937717754077050192993259800819652672722277289847696057746018068\ 64509049099285790765816956389515110022970186561430/8098975270925541\ 5291770563412378285391748248570947800810313502126181202902913153677\ 56466960814735711*c_1001_2^16 + 22649552990179611075947419376358231\ 9885058051415150457971195453539696464017745606942186074567112236639\ 053964194168276/809897527092554152917705634123782853917482485709478\ 0081031350212618120290291315367756466960814735711*c_1001_2^15 - 1328166062393604570189490661739560716784451948292615490883933822964\ 8819103772710328673039535775820663081168133671454/47641031005444361\ 9363356255366931090539695579829104710648902953683418840605371492220\ 968644753807983*c_1001_2^14 + 1965855376214401253986010040492002329\ 1446547457412943333517954770475909442145888869913645106719089088991\ 2419946661994/80989752709255415291770563412378285391748248570947800\ 81031350212618120290291315367756466960814735711*c_1001_2^13 - 1483442714210081229007635696448604112482898925947475215241353163920\ 92150019082150209037525398510671326944420187189390/8098975270925541\ 5291770563412378285391748248570947800810313502126181202902913153677\ 56466960814735711*c_1001_2^12 + 96223718904889576904367783097595108\ 9314443689173266565574146288063039524594557160657104838914447106137\ 47597831231458/8098975270925541529177056341237828539174824857094780\ 081031350212618120290291315367756466960814735711*c_1001_2^11 - 5314164643317481412488092808961177115337068465260402201126925618379\ 0700870747164043888436461160700212164499839559233/80989752709255415\ 2917705634123782853917482485709478008103135021261812029029131536775\ 6466960814735711*c_1001_2^10 + 246949499077435277109348959073426462\ 3058099739667796984287935100858694952658605363817080643060248285699\ 1231041763771/80989752709255415291770563412378285391748248570947800\ 81031350212618120290291315367756466960814735711*c_1001_2^9 - 9510287625633248811598212412217271252720922869181797313727759070016\ 814137880054895289105011202497300598301989570063/809897527092554152\ 9177056341237828539174824857094780081031350212618120290291315367756\ 466960814735711*c_1001_2^8 + 29739835417036010338498633364851447803\ 6712179528471895080080446963676687567845019400887122104551068155448\ 6323584681/80989752709255415291770563412378285391748248570947800810\ 31350212618120290291315367756466960814735711*c_1001_2^7 - 7339906853623666776564864578775765092446547100763860952949850571870\ 97630018387312480398740704778694411177352597667/8098975270925541529\ 1770563412378285391748248570947800810313502126181202902913153677564\ 66960814735711*c_1001_2^6 + 137105960150220801517948096565352938035\ 6436689199564291982001655917818329552101745319458234256740725785202\ 05803257/8098975270925541529177056341237828539174824857094780081031\ 350212618120290291315367756466960814735711*c_1001_2^5 - 1812716410931903567007141221683808989754990184405953130347875030297\ 0419041741862015796582732731216942675661702633/80989752709255415291\ 7705634123782853917482485709478008103135021261812029029131536775646\ 6960814735711*c_1001_2^4 + 1455231132510755085678327323378908474188\ 1999742782637935451288877733828336488536287264594902860230827767181\ 673/786308278730635099920102557401730926133478141465512629226344680\ 83671070779527333667538514182667337*c_1001_2^3 - 7778718203975318000548481798229667293378864142742900503879470179606\ 34905830169407428411306887968587415469454/1109448667250074182079048\ 8138681956902979212133006548056207329058380986699029199133912968439\ 4722407*c_1001_2^2 - 1690968619191156473182084192606518956573995890\ 73824303650704408339719859998319649033890641030810784182152836/8098\ 9752709255415291770563412378285391748248570947800810313502126181202\ 90291315367756466960814735711*c_1001_2 - 1816229790690629631701483409550985574542500600705044605690302405326\ 601103378559279825939745201693883504748/809897527092554152917705634\ 1237828539174824857094780081031350212618120290291315367756466960814\ 735711, c_0011_0 - 1, c_0011_10 + 70366724168841776826240982594779431884780447833057396411603\ 0077613661689990588699968433579/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 26903146251604936676991357265766210189870585173657379496875481367\ 128967737816122115299443420/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^33 + 5683199469226110395971842488993532114457461976019156738078378451482\ 31453420738783074361395163/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^32 - 7866203404435767251602758853634240301365437742879555181543373613485\ 455333184851260294496765460/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^31 + 7869398499085775579964685081818628525339130725680751535465319771028\ 9186326728805560618754964068/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^30 - 6034531702753002050078400230130871690916793704195773571178636041891\ 91319206028884065454307814852/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^29 + 3683816707138753086959264742001682220930306877414194417882993796802\ 668723469560588958162673489684/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 1837821506465032361933897890493058825726638370341569231519504729282\ 4988457474062497626375192896973/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^27 + 44949142739465459344164972363159676192475670581823873940439130205\ 41998311295030489819332491897527/4091728150074985787535305503239408\ 7492150501395026675454158071597886800085872065856650287*c_1001_2^26 - 26910761918534345722151707133701639607894312042630292879688171939\ 8295089105622830075709188146889282/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^25 + 4793130112628186257447869236708853733656650257701633422292246\ 5925428276706018630106732575837675661/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^24 - 21531206266985388119067013536813978477980899551138057020573\ 86302519065941135782852726462964372303038/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^23 + 503912525942706083846831270390281976488910632678843290\ 2874412156941387488352780737058068168914190703/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^22 - 1058624249449623191041409341876801619682800229354\ 4502657852561086786250392988173146093781402785656485/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^21 + 2015905459314449203515273131962107972874178\ 8247619820771787233657906259853145526937224814572585773065/69559378\ 5512747583881001935550699487366558523715453482720687217164075601459\ 825119563054879*c_1001_2^20 - 3494323717354206600171806239070014160\ 9341090431193470581706991480046680598102040680531733451922204908/69\ 5593785512747583881001935550699487366558523715453482720687217164075\ 601459825119563054879*c_1001_2^19 + 5503656761947174094451893146275569921745195015677874682945261780650\ 8342853502846338471214810519025108/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^18 - 7827072739815317464762830846166354736429755495965421419814974\ 2139956595239977331252989782275404001779/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^17 + 9965496426055603261637263572925546769657778486911112484\ 1223536019498653213180227362157351487263598975/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^16 - 1125852166010499793359415689000671301867043472981\ 97371494518478260052543079359163217615804991257199594/6955937855127\ 4758388100193555069948736655852371545348272068721716407560145982511\ 9563054879*c_1001_2^15 + 658348095475112452628180090704621613492626\ 4766777327244472824999223784176178122708068211825976177302/40917281\ 5007498578753530550323940874921505013950266754541580715978868000858\ 72065856650287*c_1001_2^14 - 97134047670884991634267936389595689151\ 862727616610331451898565141539635548766107942391681119693814303/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^13 + 7303614936260463616908161297726050873697279461679546218080917654874\ 1388594113871929874842100468501439/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^12 - 4718724073817134469824720581190505299080131774122095259193755\ 5826086223660834226128999872290211449815/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^11 + 2594679041354668687459551420518221930351191138864431033\ 9493654548964588720688696682519142658700505764/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^10 - 1200068037967733717397192106516538619999471570277\ 0402850034197512636239207451952599257877182161275024/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^9 + 45984568621458464305258984360777324363124209\ 70067045470047387908125852551767621575970951522000303106/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^8 - 1430560910586533658099994131470850464486\ 435975043514065341906494910383262152291582454325418174438606/695593\ 7855127475838810019355506994873665585237154534827206872171640756014\ 59825119563054879*c_1001_2^7 + 351268064020206615295454510805283449\ 261299237548088563116517252450595582075825288454258719478947882/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^6 - 653113770988424034852665010201405\ 00350420784384143718988507769311530903236276406691077479509971916/6\ 9559378551274758388100193555069948736655852371545348272068721716407\ 5601459825119563054879*c_1001_2^5 + 8604558009406374874026618168842198755452888838348120942570930111036\ 911315735002932956092848192482/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^4 - 7104857226800321082363243879534449546386391964344382705781392437425\ 82779341918757637234047249346/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^3 + 2700225633822438415291617887458783468756137600386547217533606377944\ 1784194659879695329074021771/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^2 + 7018393560603752558019601847809267539345899090785246507643316148799\ 7344088818412013165544303/69559378551274758388100193555069948736655\ 8523715453482720687217164075601459825119563054879*c_1001_2 + 1090623206223177531656726159473545547228269367775646742090323402640\ 446698198940515507094145/695593785512747583881001935550699487366558\ 523715453482720687217164075601459825119563054879, c_0011_3 + 300891329766632784968249076422689235888533626802838210487548\ 267370070083403304300754476845/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 1128540270612033986739536072881144521487216413487411081050838674706\ 4124149989749302108122935/69559378551274758388100193555069948736655\ 8523715453482720687217164075601459825119563054879*c_1001_2^33 + 2345923728465733872761050625259134784421162081519598621047136557485\ 56895842234501561691160065/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^32 - 3184661601934376746161538199670374987661755291966851465696823544239\ 927406075933112780333789032/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^31 + 3115767505615646673243265939737578287158241416805518848780807490804\ 6652698680664195381055854938/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^30 - 2329629406274278351577464774677057217413513513175990027347488959559\ 24112397319773247268896687280/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^29 + 1381917871085960958317857165231622948717275247250351440711693336338\ 211492836337667039790544228590/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 6673272981070185897455011942428350976167019698200868321086309423891\ 744348647634090340514899747415/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^27 + 1572926753531677303275643410205501174778348722253268805350790684088\ 967281095676736115354363709102/409172815007498578753530550323940874\ 92150501395026675454158071597886800085872065856650287*c_1001_2^26 - 9033183794871084968404055633090845672887924828364641202640180867921\ 8676105078536520580184738108327/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^25 + 15364174258000588710705976036431150727558646835600535511228886026\ 476050047518561346164142628051737/409172815007498578753530550323940\ 87492150501395026675454158071597886800085872065856650287*c_1001_2^2\ 4 - 656615372931159015102032023335876675954249804613194231157951857\ 524231171567250549400812123242163134/695593785512747583881001935550\ 699487366558523715453482720687217164075601459825119563054879*c_1001\ _2^23 + 14582567757874101590894881709622605658353840907069741260364\ 84286712467862265734234604883686415053511/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^22 - 290197085686085935621505720126313792429390155704511668\ 7776333654227096440098026170328459679558205398/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^21 + 5221664410250793867138181616753639357548380508265\ 372025672858682004254711335456871776046379525662368/695593785512747\ 5838810019355506994873665585237154534827206872171640756014598251195\ 63054879*c_1001_2^20 - 85036738784090608884835905840632901931523869\ 64529421295462373695978313076947210000666133024770545666/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^19 + 124406473786733814047124302394992722495\ 45946138424796561647142849544828763560059419768460990523024176/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^18 - 161242074376852083670569388157206\ 9779425450952044347139467427600741311320544730326116264355991194315\ 5/69559378551274758388100193555069948736655852371545348272068721716\ 4075601459825119563054879*c_1001_2^17 + 1818096678937015679529446317240768858314869909544590641316069978718\ 0071071494517766736556174117457626/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^16 - 1743444116090489755872119437366286126003803896169354775041387\ 6381449555941363670501173023468758770866/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^15 + 8096357015165843042002591449393947234102633853561914561\ 71447878687734126386677195484350191499021275/4091728150074985787535\ 3055032394087492150501395026675454158071597886800085872065856650287\ *c_1001_2^14 - 8413874830997211199223154102740257032208441944410145\ 056625375579325040704328774617862229728937945251/695593785512747583\ 8810019355506994873665585237154534827206872171640756014598251195630\ 54879*c_1001_2^13 + 33287507938187467115626386994110560691632587609\ 05412578909135041623881202838442321449324215233229040/6955937855127\ 4758388100193555069948736655852371545348272068721716407560145982511\ 9563054879*c_1001_2^12 + 198650445320942144202154883235337262489546\ 75017066009804388357584350748786205952370628500121398736/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^11 - 134204254119867975285231933148479069799\ 7724608836253200462976846643385337334161694564851529087735089/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2^10 + 1305171463409445377094247427526101\ 917666650230265152456188798099861494145128334122695354906836034860/\ 6955937855127475838810019355506994873665585237154534827206872171640\ 75601459825119563054879*c_1001_2^9 - 7909514794290049066618077164181686156270596544259712238429516780074\ 18391048717138346876908833856752/6955937855127475838810019355506994\ 87366558523715453482720687217164075601459825119563054879*c_1001_2^8 + 34607221025471468730465261889841521505244706268116327956106343827\ 6037125184188974642628568554642581/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^7 - 11197317160535323661579445996338282968682424811114296159851114\ 6826505777068127833741800622981986045/69559378551274758388100193555\ 0699487366558523715453482720687217164075601459825119563054879*c_100\ 1_2^6 + 26277294454357960175412329984003191922598535156871637608701\ 507566201911002868773135338526301080712/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879*c_1\ 001_2^5 - 422509805899494878032327605598477636504795085566019622740\ 3863935590241868791680780915690164127190/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^4 + 41131419635572562271408481775323316859950218626179758132\ 2545735577613541659734925959692512833588/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^3 - 17159033113728050423076133269463656681043306082687186707\ 034156341538702300533321225448854546547/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879*c_1\ 001_2^2 - 171664833681916366517397137883209819749723593024802855855\ 166029155809230595187499116048549847/695593785512747583881001935550\ 699487366558523715453482720687217164075601459825119563054879*c_1001\ _2 - 76906694568807378074257139985873732581519893691937330876979853\ 0010448923833229315208121052/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879, c_0011_9 + 983746201827774725938017041618121369909281744186318872919992\ 178182410490875018483996855022/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 3746386620678012457118647465042600984394909922569985675597681721363\ 9436767388212634418804701/69559378551274758388100193555069948736655\ 8523715453482720687217164075601459825119563054879*c_1001_2^33 + 7889240904909028178104860343924799363885274552526348414201123231309\ 92501223930233563025022883/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^32 - 1087943577847746927212507273291519198573980179236241781523000808203\ 8778492569985682229770358478/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^31 + 1083970756189807452428182528803490005267361077537275414521473652459\ 02695830604772970168998960150/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^30 - 8275612866957399023687538297481964931582852827627544918736848860918\ 73965059464555810918246026615/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^29 + 5027744751032059290085783160651549579065172512251405790312180714946\ 372951641390132928255712069126/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 2495322061329432335650490677239541217906982660119490801353891995267\ 4056232674228637987438685114400/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^27 + 60690344608334967021982442390374577217924604112092235043362011954\ 49094736398882137770849646383918/4091728150074985787535305503239408\ 7492150501395026675454158071597886800085872065856650287*c_1001_2^26 - 36119490906954098750301142561198057596955942590128858702466055040\ 6780053054434223190028256433409862/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^25 + 6393504178448230330301828423276305245241583508325020877634390\ 1543100899412963267189276770963659309/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^24 - 28539734082198465649019560477592260706972602535022080642653\ 78049727860115508078429435655721087650627/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^23 + 663793453880144265441503986718862938105432155330094317\ 9006300353982460854343039852917799558497463039/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^22 - 1386088149973554195447826120661312719029984728644\ 3530406567563665124060698225277539803445316171051088/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^21 + 2623767086380402229906678820114364280901948\ 0471436762121972182194404063163809066332017200979751500311/69559378\ 5512747583881001935550699487366558523715453482720687217164075601459\ 825119563054879*c_1001_2^20 - 4519878851026293489278845379332343890\ 5865505906335981013488939616609146460496857544951870092883185773/69\ 5593785512747583881001935550699487366558523715453482720687217164075\ 601459825119563054879*c_1001_2^19 + 7070325173604677457674105682027042156030206407568055178647781781161\ 2077348711862762776273232325802156/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^18 - 9975793443231474235497390021023757361326625342726802567340636\ 3184070725501484209989895146896101106326/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^17 + 1258365242541217987320506494281293372540061310975473708\ 15729368010800714940971858952692719877335540061/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^16 - 140623107937657423520248672376594234637361732602\ 397741439073115303196001368243909745821227062757647678/695593785512\ 7475838810019355506994873665585237154534827206872171640756014598251\ 19563054879*c_1001_2^15 + 81196270591966320659984534059664976837607\ 05662042501486588051658515542335921465175546031182103680980/4091728\ 1500749857875353055032394087492150501395026675454158071597886800085\ 872065856650287*c_1001_2^14 - 1180647183935302777200465054673875856\ 60494131896508763240770547035445774367349911829956249631199380158/6\ 9559378551274758388100193555069948736655852371545348272068721716407\ 5601459825119563054879*c_1001_2^13 + 8730062317242814019955044215482080844751028214377918291013605964932\ 9711624381757630482880066655989824/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^12 - 5532923897538502506363406366719150179316899096341715157591466\ 0200288243506117584540395441393605134928/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^11 + 2975653773343641396870302662999223832419967579428841583\ 7486396319888986649285798694862363111187861926/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^10 - 1341251639317561093333223391275626203567431663779\ 7086208792538283247174916232374488358368021930906194/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^9 + 49862004135600386227214240597164722287748667\ 46649247553891249177121619567148362414812674275288363343/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^8 - 1496306909339163685616346086028136094232\ 760152521042626012737753553892504481229314919736488974649994/695593\ 7855127475838810019355506994873665585237154534827206872171640756014\ 59825119563054879*c_1001_2^7 + 351750009310174198301101404290600768\ 806415323888779875676749114619662939526039021072594522792373843/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^6 - 619745710323746668841924023343554\ 71598334322396140508481582481224335441034581460883021258240141463/6\ 9559378551274758388100193555069948736655852371545348272068721716407\ 5601459825119563054879*c_1001_2^5 + 7623267154930000504970128086325871823400728265738805503345086615318\ 206803040669513252287230895826/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^4 - 5732904639718469295407920462335117576716750265918493975739450315428\ 58444353291369384329621939219/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^3 + 1858550537490903791616375704993798866490579743903621416859176762372\ 7124247152437349411227088421/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^2 + 1225721317693942512898184522979568400037451326523958223403691097938\ 43817626313483461914388792/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2 + 1446967678014329431542462272024667153069176024590518712169308298126\ 885871166888639341552699/695593785512747583881001935550699487366558\ 523715453482720687217164075601459825119563054879, c_0101_0 + 699722805114825734773265099660034211250312354372173763491595\ 2566532293374889362888406670451/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 26852286383939846990465806786007640902201002379625355413325761035\ 6586215416986000667882109527/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^33 + 5688835762709861905804924810101485880373483926077903426366983068339\ 545485657744679478872313570/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^32 - 7900144529284396251704478235722500950295177699790028588067304256782\ 3966393681504534982016395583/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^31 + 7931438987225607630799714009824107267476908179691762603685343319928\ 48262227109287895092310711050/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^30 - 6104919934506174399490388708820754928194711516526784361456574558288\ 446905896844687680794177519169/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^29 + 3741487386848918579729945156417205525384699972105924971623959789633\ 0110580399785653150642695738092/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 18743125259780855518829656343183597020895540436434555687632567672\ 6679434872189694266862543292277112/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^27 + 4603928232789541542296131928708268471700429499557924295928753\ 1957222933350409980969214232104199620/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^26 - 27685819596465473092227016695276191716421429267487700829760\ 25117699702317555001130105019533119717665/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^25 + 495326939430589267568505819633491091668600911616737602\ 171156361889046382688822535844247563608046113/409172815007498578753\ 5305503239408749215050139502667545415807159788680008587206585665028\ 7*c_1001_2^24 - 223484506488674497617208997216257432712446120708374\ 06044255638106454010223459865745456906770174876025/6955937855127475\ 8388100193555069948736655852371545348272068721716407560145982511956\ 3054879*c_1001_2^23 + 525239741139620863620735468007523442330375580\ 19338064987098892667760623671511956358384788291120031260/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^22 - 110781694724663456864061875857348312264\ 071812928499522278174189644999215685559537813843608690408286557/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^21 + 2117668842353894205581902099347527587042603498335357460591059664718\ 73726073268501175765075300012689844/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^20 - 368502849952360222779757143781457362458282883566688394153968\ 841835367615097192258107291432631399846022/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^19 + 58285152361801760843216323935918910088831008393717630\ 8560566390475784854306161371141019648423659467716/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^18 - 8328487157042461748270647677335063982041932793\ 56596043306553726214850191886770020955198025712709497215/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^17 + 106613009365231433939642679311418057471\ 9652868579736863912393334287126734529459350251715611106068521518/69\ 5593785512747583881001935550699487366558523715453482720687217164075\ 601459825119563054879*c_1001_2^16 - 1211822483129266636973609134933020319765881108052468007222294399305\ 848378694127501092259209448977842893/695593785512747583881001935550\ 699487366558523715453482720687217164075601459825119563054879*c_1001\ _2^15 + 71344081430886869712003033795601825890164766766095834845172\ 715320277805873195547305998832635551616104/409172815007498578753530\ 55032394087492150501395026675454158071597886800085872065856650287*c\ _1001_2^14 - 106048734907450951253457446828449928219681658002846313\ 9085861950983379500583589764444317434693507951878/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^13 + 8038553809817772749207131243365642518329748924\ 40763761957141930384582404037545914718089444026711498052/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^12 - 523881067460703984752811660246878834643\ 815638451947911160504292407054751576874145485516229957663081094/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^11 + 2907411276406880218211786178077714394381485366358048279584344601899\ 60386976702020246007107345999576235/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^10 - 135789130237949393932021570182469877243855328119140601939978\ 530688440899659284595587649049960355715933/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^9 + 525633949374823822902399752701620849475620089092797309\ 95762136658493518978527207649770018938515595652/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^8 - 1652269869051952581616568811394270700746968390832\ 1979972841146640043566991649201045824418693612234308/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^7 + 40987631112398408600179060795420930552059982\ 48714972513378164348922759701259666866468526051356231629/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^6 - 7692953533905125623989451846510211364900\ 43929145327809980673977378880372886266535206916161215937475/6955937\ 8551274758388100193555069948736655852371545348272068721716407560145\ 9825119563054879*c_1001_2^5 + 1020975751639777892789691310212556115\ 94755866326859807779373006002688307276081228971248206222109979/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^4 - 8448464790554466640166287025024846\ 403690864620974027888932745274108938291731407394491973881755068/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^3 + 315684251183126298501202591558860\ 611301346805054680980337427519038565032308614919448544512176569/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^2 + 148905311994212907547094220005062\ 6747620678304516303226487701427934079637286903133082796280985/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2 + 1135167367924199718790040897971089751\ 6415497169902163034769838293384230523285741679888079314/69559378551\ 2747583881001935550699487366558523715453482720687217164075601459825\ 119563054879, c_0101_1 + 778763083446570757389955743438216275817942722374314466274473\ 7552073311568078572988823866805/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 29807465314941098234948642004963550431080518124627058271760609702\ 2734433917780558444498357312/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^33 + 6302237068831982842480163114379459032272246348523366241556494034289\ 897837499169722345129264594/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^32 - 8731870993140760627168815770141302086455050015029785910170775813974\ 4649970968865450372429767771/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^31 + 8745032526720529776673081677354650963973911660669194487998277578274\ 54730657612921185306912282300/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^30 - 6713906785658168524043210251453494878113064507148104143914622915351\ 476768390352153637618985205462/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^29 + 4103713237293109766086011529802604608192680486441264007047780584238\ 7535754831187321459906957507333/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 20500604501812822366669476792018600395278314576104326127517190376\ 9926341748311400048035435436806385/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^27 + 5021188661764616688213485716817820780085478428577640402332957\ 1580300400618766063307457191436662279/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^26 - 30106924411575942676987568440054195011679717509839222837053\ 41445640113402604789095617709813735275611/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^25 + 537078650754888671892305352659829271453721167294104090\ 505260155375052034265750505964787204635706554/409172815007498578753\ 5305503239408749215050139502667545415807159788680008587206585665028\ 7*c_1001_2^24 - 241641720053805062762062936609354205876925229319085\ 09733664251009009417737480233266853247886561833338/6955937855127475\ 8388100193555069948736655852371545348272068721716407560145982511956\ 3054879*c_1001_2^23 + 566412553401181695927063722692076810355970111\ 36003298071715551134329985259307079994438051590439803926/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^22 - 119171976038478845053311447760866899919\ 303162564164802517422308049522880049581656816077037949122077088/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^21 + 2272726786666368211380912385253872491829962203861385186912144616562\ 09745457537908252239166820714924850/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^20 - 394554056398960421695741549383115941344137542325858497371822\ 655247721821914648202605081508087955545104/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^19 + 62248247285629833313177145944515562291909272927001482\ 9702917420353026735379709399867253128851559604862/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^18 - 8869872064028748981540127814989885314654905043\ 64480287288827811189992356154652299987122907418924601190/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^17 + 113188418742992956441225829807103092554\ 9797317032990821434654669572139601672988260132259555205371098107/69\ 5593785512747583881001935550699487366558523715453482720687217164075\ 601459825119563054879*c_1001_2^16 - 1282133606952338720096975674409643208008725657088750014269407680737\ 410237251986104400373715176330561848/695593785512747583881001935550\ 699487366558523715453482720687217164075601459825119563054879*c_1001\ _2^15 + 75202501790210444345471834248243207755742484100647986923957\ 704503039040014525912783714692092298799403/409172815007498578753530\ 55032394087492150501395026675454158071597886800085872065856650287*c\ _1001_2^14 - 111341240414342959062932549295939429346082147691142156\ 2846512210667275022925154252831897860920407140091/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^13 + 8404607371552992889195164288475727276917522186\ 10671010210468102420441655389002244459061246984473384540/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^12 - 545364302222329684590608298559408036538\ 975270430394391714337140919535948548239751533817512925037637999/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^11 + 3013073635566620701593564646415837842503587923880726614313660203373\ 66946150394252193239808140397677247/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^10 - 140074387689757429702267576047365197711629061841691511526714\ 999408623822642476083395295128059219673116/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^9 + 539651357656267820747407074937233180117068524802468030\ 94029839077635082083403156506349675599453445957/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^8 - 1688091812324427184292524711552736724624215363653\ 1355247755341107097495454649018303942005280278894717/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^7 + 41668212539705529646723621231755246729893795\ 21264165655194314896060971320899336514564122265497063001/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^6 - 7781004099209056896116966896869415503015\ 01231148848204404631416663135268180704515189110691861999545/6955937\ 8551274758388100193555069948736655852371545348272068721716407560145\ 9825119563054879*c_1001_2^5 + 1027309125954853203853820437088164503\ 89828144280093807172124734525851616573266545537282111038678609/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^4 - 8455714981447242322899630398343307\ 027582864609740263807008705057747169384433598581320856716870462/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^3 + 314200635360781831571808925069770\ 162546234118678559875422376267073372381796457850885404155175923/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^2 + 147779160853902622718215903895059\ 7170387878362686729110646701039983261433419848712805306641398/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2 + 1063385296161860118576250618032418206\ 0046507137248916887096025610501705424210148895354865764/69559378551\ 2747583881001935550699487366558523715453482720687217164075601459825\ 119563054879, c_0101_10 - 47092083073013705600366242210105637245253970259758743007639\ 678601657799397222257320323121/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^34 + 1838670665814801947162687447915815717977454312242676628844128736657\ 913050011263084682771821/695593785512747583881001935550699487366558\ 523715453482720687217164075601459825119563054879*c_1001_2^33 - 3946525777185474363760168913088396250003429557379710820812184126789\ 6671842112866597144857676/69559378551274758388100193555069948736655\ 8523715453482720687217164075601459825119563054879*c_1001_2^32 + 5561667706854664536298406249369972788719327981766625763248794544450\ 17746452767248215459759287/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^31 - 5669932210678900086652647492658988403268728485616912800244750724730\ 166221999298104729294422310/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^30 + 4433306703886309361454231157292226813828453378851814095852752445001\ 9132767191045354429918339020/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^29 - 2760808816512728333706332280319420437766255088700599328215151396331\ 94719709101790612937633200948/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^28 + 1405575974959113706323236184476474540840402290029012976214620396565\ 241100328712285022425742607949/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^27 - 3508893685628815797432106219478913504297639535805027757367159699149\ 31795278924707263807517303983/4091728150074985787535305503239408749\ 2150501395026675454158071597886800085872065856650287*c_1001_2^26 + 2143988115792977259575337875765696443573988673970268191135040742260\ 6686932571313378844733577361220/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^25 - 38949955588906567164685336224267554601189672382120439602627199090\ 75740512056832483034759659563047/4091728150074985787535305503239408\ 7492150501395026675454158071597886800085872065856650287*c_1001_2^24 + 17826127104884807478655512362544631407791536019712456656728675046\ 4203589465933933136885038241309608/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^23 - 4244066676870453556368684584011167894220758021592660828099997\ 61294089724906371850967235254000122089/6955937855127475838810019355\ 50699487366558523715453482720687217164075601459825119563054879*c_10\ 01_2^22 + 905614324921121596540922250761627872203408567029919045757\ 696328867947451174625619758336119928524461/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^21 - 17498830721567200057828918162186003685943144437672438\ 51800302375518228888937311723100559428436904393/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^20 + 307749226782221270008526444899430122147613073848\ 7231429191258620329928202752641598701134210278967227/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^19 - 4921946135626061143926024902842579957807587\ 003066200460554925140103564765365200778248121713831913309/695593785\ 5127475838810019355506994873665585237154534827206872171640756014598\ 25119563054879*c_1001_2^18 + 71178569935597394529967240708269603535\ 97144650966476131172942760007244496424409572925355521470116175/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^17 - 922999045454424885439903357648971\ 8220532243021460056129785397112470957789022425345071077041747315207\ /695593785512747583881001935550699487366558523715453482720687217164\ 075601459825119563054879*c_1001_2^16 + 1063599174903133165179719599526409921662252787644285810587606608053\ 9674967367535834567186311050465951/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^15 - 6351919802432867155690191746527227617496169503436805951223854\ 57566506361586077685552548953053004922/4091728150074985787535305503\ 2394087492150501395026675454158071597886800085872065856650287*c_100\ 1_2^14 + 9582377388884437517126238230096617775449249207313523660456\ 683201844584785682477186338246682637040858/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^13 - 73754493828509620983849056459181931148144486911536343\ 56262914246125711871184776221451978432531958296/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^12 + 488410383566350196174788299888719895315991447686\ 1836764545351672426257278444188348431931777616681304/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^11 - 2757076657669149437072930323964664828994529\ 170485204434399822734656483112503035328481012140113240144/695593785\ 5127475838810019355506994873665585237154534827206872171640756014598\ 25119563054879*c_1001_2^10 + 13118154258682347984155368463518529804\ 73725341047586868099034169533621453836011730247425477693477863/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^9 - 5184807601376651048676337686658395\ 81460603108973666718493295222293806860789003229322707972024578643/6\ 9559378551274758388100193555069948736655852371545348272068721716407\ 5601459825119563054879*c_1001_2^8 + 1669146681878532419596961538575075627065791134652708707222436596276\ 78244727000726355852770125794396/6955937855127475838810019355506994\ 87366558523715453482720687217164075601459825119563054879*c_1001_2^7 - 42562812590632842166398068436485803732696618330987964602841244555\ 861407793456891869167704449210619/695593785512747583881001935550699\ 487366558523715453482720687217164075601459825119563054879*c_1001_2^\ 6 + 823843436496381030917749857602495242621737844039227888171687341\ 2341519372028454121796268925539847/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^5 - 11257874010807619079035235315481508468343966274425774611361882\ 90816451779482022371001380550318536/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^4 + 9342907491961969150595812778817461666321074465435124118053267\ 1133444423936124722807385397481825/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^3 - 27963608482372185959932396039116714395489762276171055315431476\ 76270390139268159834767013884282/6955937855127475838810019355506994\ 87366558523715453482720687217164075601459825119563054879*c_1001_2^2 - 11251773502179867675963385019388899743096876291969055703950541928\ 1105411512359163420599975050/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2 - 3407450022553384263669548474923567673635030979742986586472456690902\ 72721828693335958375949/6955937855127475838810019355506994873665585\ 23715453482720687217164075601459825119563054879, c_0101_11 + 35842641673691019696776669397529590267851955978812519526125\ 9863066974321676458769360868090/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 13701396422523921236834585487136341491652283408797457883801731975\ 845716188361196793360676934/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^33 + 2894084491091220898608043090459452925170325039054047987013756443918\ 61539230788180140837441366/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^32 - 4005353510671323787590934745559833125691614516749958848681425462603\ 814442948490426697667385710/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^31 + 4006688781254245890777745249134766861502705628488254459011871508394\ 2589814810026376131432716484/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^30 - 3072358452410162640332783977334630422982553774487196982579756384029\ 99596551833975507329659714476/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^29 + 1875561568459893763822180869913847562116974955975682486867708954182\ 312564291613171660428219644486/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 9357683444469495002829459240712500358534743619769887121552184636424\ 854807467909898229050901509372/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^27 + 2289031067065846580237919234436015612802674144959810304507025459073\ 570246089641571959370994665813/409172815007498578753530550323940874\ 92150501395026675454158071597886800085872065856650287*c_1001_2^26 - 1370762516905140990817743211056542237943368529659867843082680304033\ 06556517130307244639663067774371/6955937855127475838810019355506994\ 87366558523715453482720687217164075601459825119563054879*c_1001_2^2\ 5 + 244234883249076327475550138851372116096063659987822133354556177\ 99747763009018160650309932515930766/4091728150074985787535305503239\ 4087492150501395026675454158071597886800085872065856650287*c_1001_2\ ^24 - 1097631389898927640594060675469235905897990971280300292173430\ 234062553678981626667393221009632834586/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879*c_1\ 001_2^23 + 25703075562071414058892862822813785871977790425767786160\ 82870817936816499719741984846877845209413172/6955937855127475838810\ 0193555069948736655852371545348272068721716407560145982511956305487\ 9*c_1001_2^22 - 540313481840282450959222378126329591522079480375776\ 3660972029088183601576543706631836729573195610695/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^21 + 1029612188093688893555676485263178082358156822\ 8519686632864288330586938394071170881926812530887990267/69559378551\ 2747583881001935550699487366558523715453482720687217164075601459825\ 119563054879*c_1001_2^20 - 1786068419926535774119852382436661600603\ 4703733857987573246542890721913513254301232436758949293521182/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2^19 + 2815618964769471815169494270590522\ 5669307561139166232409934417908411055589163135676896119913516622222\ /695593785512747583881001935550699487366558523715453482720687217164\ 075601459825119563054879*c_1001_2^18 - 4008700407328934841041606269621590376653515905758154821269742290309\ 5141108313427181419089871006169746/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^17 + 5111188104425051142965619124159606482555431615054590207484068\ 9744886141249469524140992962849064839677/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^16 - 5784970176253118545615938190192835855120397942367142688\ 0999304771088734646691503093372465571701690330/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^15 + 3390685849834199897446600783969993174238932046363\ 421244758358341355350179301975804556417417961868813/409172815007498\ 5787535305503239408749215050139502667545415807159788680008587206585\ 6650287*c_1001_2^14 - 501724858628704008037579601939886663332050413\ 73620176411660165677811877142394011485469232522686648870/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^13 + 378598064158286365141667517543185893095\ 58573113233690152894267085359183647490772411218831098867355885/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^12 - 245658638822781265971716594212443\ 8157266038721988205647730179851729077904460411073706498535154581506\ 3/69559378551274758388100193555069948736655852371545348272068721716\ 4075601459825119563054879*c_1001_2^11 + 1357746579794174172625206544205544563262811223384176680613942898590\ 6542653724877355769607701721006671/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^10 - 6317918813441802682009587639330211676940314780682714126703903\ 173615157371138202628438791164043165326/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879*c_1\ 001_2^9 + 243819042811366193785678434663503811438934346750240152789\ 0260697856278191024838538057957823738455790/69559378551274758388100\ 1935550699487366558523715453482720687217164075601459825119563054879\ *c_1001_2^8 - 76480692936463944641676114606015545182012537262193896\ 5748802964282175529806912248328016678685995945/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^7 + 18958817865408864611762061691043506455991645736401\ 6762314608316143304818461794176145285708035683527/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^6 - 35629240227630439108071501598262673863569040346\ 595119175939660683275906901111549880698216168922528/695593785512747\ 5838810019355506994873665585237154534827206872171640756014598251195\ 63054879*c_1001_2^5 + 474792650154883751617837627791306698619384955\ 5982758466127865324946010043487223416368683503700072/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^4 - 39593387444761715124588136909778772793574233\ 6447895702042804465134495931501625373257366187175934/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^3 + 14945083395057286788259165360505599784703212\ 708105572875346459333400556072501797530143688517096/695593785512747\ 5838810019355506994873665585237154534827206872171640756014598251195\ 63054879*c_1001_2^2 + 804814889822011154452728142651580468163551251\ 20031520507020567762556830883089178400553380920/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2 - 231758663157438924608511090172419305079039779521496\ 863163040093059185590696346470850527969/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879, c_0101_5 - 467697591633206088129413747467570386349996976754244449295357\ 008169497685926295297721516318/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^34 + 1781491599514124735219042992494004695553389064674894045775562275538\ 3271652327330474117292911/69559378551274758388100193555069948736655\ 8523715453482720687217164075601459825119563054879*c_1001_2^33 - 3752242115048015184991377372066018435585645459971389089651972935927\ 97375170398708729081637188/6955937855127475838810019355506994873665\ 58523715453482720687217164075601459825119563054879*c_1001_2^32 + 5175676578983585392822211778123712799798965121642144664377965644260\ 327406664618074674194355043/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^31 - 5158298691507873132030095096137825002337293736384865743362821287077\ 6893486683165693823084406652/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^30 + 3939498797002213594500325934408611690325455195687213064955694647770\ 47287649252823205552814185618/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^29 - 2394373717766147202863038646712586319844424981450933416443188227208\ 402484276038076268430394574705/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^28 + 1188917590926044195318317066513009474559058434240374036363563160580\ 2827387667086863531630107896946/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^27 - 28932215243608109030680072920402556173061407161013561015187874847\ 19466114587107622247651127057833/4091728150074985787535305503239408\ 7492150501395026675454158071597886800085872065856650287*c_1001_2^26 + 17229445232472427532129433012806431206105213643075374342902423931\ 3960611241215654899958904872082612/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^25 - 3051852038571696390147447480814345421803617488016331518313857\ 1766398596996754635122134092569813465/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^24 + 13632920862045823972861293679893725064458047242319140349952\ 92357617964005436929071963024329482000935/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^23 - 317318998184553705606997772376790850415506846941019268\ 4404028165280620962538469677634302862676634356/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^22 + 6631025292127843575224665054611662489163822733601\ 491750950215596697210504596787621890587130943894976/695593785512747\ 5838810019355506994873665585237154534827206872171640756014598251195\ 63054879*c_1001_2^21 - 12561662728435312078407392926167250122568674\ 567818527506513169554253654221486073169995704721999074740/695593785\ 5127475838810019355506994873665585237154534827206872171640756014598\ 25119563054879*c_1001_2^20 + 21657178088730444004248625896476960851\ 635704030273484681428460703500143548179152611381617758834501108/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^19 - 3390899659951111671375414784579938506670913554979104311881070196149\ 2673573052498983500193397187935181/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^18 + 4789607665737957200771392508894144102549572893745004302690083\ 1359407152151176506627895299586995274302/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^17 - 6049789577932148719978210429160039880946623695334063575\ 8573119472163812587420420264618724322719961102/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^16 + 6771766760872790955235141805862028407470894071423\ 5801570797673289256318769158931092711459620489987926/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^15 - 3917902546254888924054265778341672861253929\ 323572541648022036744016911674935085620025518604741753206/409172815\ 0074985787535305503239408749215050139502667545415807159788680008587\ 2065856650287*c_1001_2^14 + 571096698422691526022151747967143120360\ 54787305756650169959876230376519815694525686495363891792633824/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^13 - 423578841783478887337468590009910\ 5236711532535699744531962980387790677994083241036523129238407320274\ 2/69559378551274758388100193555069948736655852371545348272068721716\ 4075601459825119563054879*c_1001_2^12 + 2694855219248075806891827796588123920144615228705649265944604235075\ 2372269255571644094445215100236012/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^11 - 1456404042895342718472001452386207815186043711834658953611488\ 7649709244540269825908148844311951073315/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^10 + 6606295512984981289139164467253595934190137954081901580\ 181244863579842631812789425125995353371052998/695593785512747583881\ 0019355506994873665585237154534827206872171640756014598251195630548\ 79*c_1001_2^9 - 247660201635228558187665496258619368157676988353468\ 0298425633147463112420565532958863939916240920768/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^8 + 75168515207779346357495015437111185398188706838\ 5038267331577023754058626916393937585102753938346205/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^7 - 17951607881670022500772503321457552315984202\ 1006974996295719357149008649286801998535984477847010693/69559378551\ 2747583881001935550699487366558523715453482720687217164075601459825\ 119563054879*c_1001_2^6 + 32354596323482046510865804375704532387965\ 876225427760520196298618390759483219986202766172461211384/695593785\ 5127475838810019355506994873665585237154534827206872171640756014598\ 25119563054879*c_1001_2^5 - 411862444935425387047207165565149968387\ 2358343200505263774112967556604421910859854960864443410717/69559378\ 5512747583881001935550699487366558523715453482720687217164075601459\ 825119563054879*c_1001_2^4 + 32796769738665370262179362393490961000\ 4823925642309996271780337073956983062604510144059753975198/69559378\ 5512747583881001935550699487366558523715453482720687217164075601459\ 825119563054879*c_1001_2^3 - 12114808536917176021647210318222790906\ 914084292901225590760211340456148155219514617956238202486/695593785\ 5127475838810019355506994873665585237154534827206872171640756014598\ 25119563054879*c_1001_2^2 - 871302799369544413211441152720390522986\ 9275778449969032147621149340250505450200130388296139/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2 - 5993897466736091472066366242264356866862599156\ 81722935591227927755455341420113587573054010/6955937855127475838810\ 0193555069948736655852371545348272068721716407560145982511956305487\ 9, c_0101_7 + 471439548057751258753933485133735782476295763272909170956759\ 9826812770865082808961833388473/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 18049344980915421111920598980219861067285932934419108397900567486\ 4317330394127022364809783031/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^33 + 3817009941737756752271551419002243801199991798001633749061078210148\ 598593755425919256056372710/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^32 - 5289845624617255057179027130874145493605411023403175744191685972431\ 2104494388888188841805205670/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^31 + 5299247151284506784536352160300060253615405386693690459482251451327\ 50034933521683166518672710533/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^30 - 4069620253417335661645570693891425416304294815658211242437572349781\ 764322536466919192805586677818/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^29 + 2488227895813912498228650200694554203191119971225985640564903712991\ 1182002978190492889806476168478/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 12434347889569720898115202912087524012525148898652023213119446250\ 5190821303893868781619181216629021/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^27 + 3046590379538399789634840589487765771717097897495915878158038\ 6511242755965714128509005910119778473/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^26 - 18273896542784976671700808977621605462412370275314412879939\ 75823617940636536246524683638497774399424/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^25 + 326108615815049712861269203772992894903723608444004766\ 885954515629891178353408453116902800735304609/409172815007498578753\ 5305503239408749215050139502667545415807159788680008587206585665028\ 7*c_1001_2^24 - 146775379047602233946960644830737363716042013784005\ 69185296903485889931247726851283754751584332334527/6955937855127475\ 8388100193555069948736655852371545348272068721716407560145982511956\ 3054879*c_1001_2^23 + 344162473364084362574268892891291664049041115\ 08986404007203779867502178253769425133037618873522489033/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^22 - 724343456157390624685993668923867785468\ 38591868532744410548052650903579355260000513038280865004545744/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^21 + 138181756718974781903371917643455\ 4438374033640483740356631058538500863779137713195990178075819335009\ 68/6955937855127475838810019355506994873665585237154534827206872171\ 64075601459825119563054879*c_1001_2^20 - 2399628130455310120420546579411514336653763962715167258471139013134\ 69106569533071770186618622007376557/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^19 + 378711363113198194885849095118426560087411603076461894873186\ 642374628484958218068468379691410810167530/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^18 - 53983200144707404630319738552706278757351125384673186\ 2471799086787057283865712227169284834460297281982/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^17 + 6891625315716663345595903817290166453056170573\ 03993684996352271962237592079473920151788003756162045675/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^16 - 780994064535420546110352229687403119940\ 090405226532356642131378229572171065045916392838532039885927704/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^15 + 4583037490166059958534934182154854951344571235220668233281454279272\ 2459124420277032765056970878520011/40917281500749857875353055032394\ 087492150501395026675454158071597886800085872065856650287*c_1001_2^\ 14 - 67887509045899127796228137789996948239395233138220879145822508\ 0918111240521285780977997789202648016466/69559378551274758388100193\ 5550699487366558523715453482720687217164075601459825119563054879*c_\ 1001_2^13 + 5126999509271773322061266284633891670266945344611621449\ 32329476842151046071589611483161364845214626339/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^12 - 332840591027961061605043641091352329699722853414\ 540175430890592645773429564888775241756876058118365404/695593785512\ 7475838810019355506994873665585237154534827206872171640756014598251\ 19563054879*c_1001_2^11 + 18396940751835483707562605722257214179774\ 3833996269802256994748039586918253032749614591951901789046709/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2^10 - 8555624722846867213176125792908381\ 6303553839930570795826004949415017730163461832013482491257419039475\ /695593785512747583881001935550699487366558523715453482720687217164\ 075601459825119563054879*c_1001_2^9 + 3296995433592200327940530009163320105833983920567944836881965270673\ 3927300152405161169177974747796861/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^8 - 10314437344661276007848967420006868280874811088540100582333288\ 197161872582175324495947542172389755885/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879*c_1\ 001_2^7 + 254564296785542021418445253577517300080362545605281482886\ 2600709292373008955089829427908392057591179/69559378551274758388100\ 1935550699487366558523715453482720687217164075601459825119563054879\ *c_1001_2^6 - 47513555880847941554162916480508408216383272819490812\ 5876921538717621170999438580252037910812300584/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2^5 + 62665356894163469179209500067106122070722928043547\ 566284250503436070629900966683482028972284989664/695593785512747583\ 8810019355506994873665585237154534827206872171640756014598251195630\ 54879*c_1001_2^4 - 514726354952408286758444232998785147529301597581\ 0730624977303625928403764769674178824476995704881/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^3 + 19029467158094523454388247588456573103098941994\ 4231719884433831968079656105494967757633114542359/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^2 + 94679812230601891306046231090050447972211075171\ 2447600585769552665714908945076766412521924796/69559378551274758388\ 1001935550699487366558523715453482720687217164075601459825119563054\ 879*c_1001_2 + 6304800362104227143657342929884484484506294595712487\ 453629678110239426617177072125397739528/695593785512747583881001935\ 550699487366558523715453482720687217164075601459825119563054879, c_1001_1 + 833430838137936610767208163720140449513160714514369044848215\ 6972198697259461044697216957003/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^34 - 31848020032100535164987429967921396359768403065975097274306960118\ 4067742644951744580595394424/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^33 + 6725020175013785196501911071364543548516510515149001983455352665202\ 738442756461943469741035672/695593785512747583881001935550699487366\ 558523715453482720687217164075601459825119563054879*c_1001_2^32 - 9303741789050719900811637267590283954894033903797168368857687648557\ 8256484526201828890396536725/69559378551274758388100193555069948736\ 6558523715453482720687217164075601459825119563054879*c_1001_2^31 + 9302630583417820662933294134624036252249956679926808629244432759166\ 59991395751701691003403639799/6955937855127475838810019355506994873\ 66558523715453482720687217164075601459825119563054879*c_1001_2^30 - 7129552383087091031897897416100691994035087473670763950414651552649\ 381792246764017744868741229102/695593785512747583881001935550699487\ 366558523715453482720687217164075601459825119563054879*c_1001_2^29 + 4349651993229862096987691535299229129972777237447870644794393342584\ 1349118419653051230535730644033/69559378551274758388100193555069948\ 7366558523715453482720687217164075601459825119563054879*c_1001_2^28 - 21686129968933991684561956863947699196662741438744154940825610832\ 6007169049199556251471893824854996/69559378551274758388100193555069\ 9487366558523715453482720687217164075601459825119563054879*c_1001_2\ ^27 + 5300407189916719189174246865471770676427348902057448177428196\ 8054656418527688368189585167649954735/40917281500749857875353055032\ 394087492150501395026675454158071597886800085872065856650287*c_1001\ _2^26 - 31711374397814327729557918514383517518327355880123772538406\ 89720099731224045816611370942520096439434/6955937855127475838810019\ 35550699487366558523715453482720687217164075601459825119563054879*c\ _1001_2^25 + 564430755969275866563637620715164662927679928848992665\ 043441904060929026809113945324061671087794658/409172815007498578753\ 5305503239408749215050139502667545415807159788680008587206585665028\ 7*c_1001_2^24 - 253381430294559782556571734503376432982683502079158\ 11865939823835964697089167586129325250207952444001/6955937855127475\ 8388100193555069948736655852371545348272068721716407560145982511956\ 3054879*c_1001_2^23 + 592651243899094112090421725787446772776155341\ 29350576631895618554225160535904676233377153758258195532/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^22 - 124436948758521351574889131780672918949\ 109194468091334453777061568824909399622703494604044334466895099/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^21 + 2368425905235162138560392773428996607327439915114137171529713762302\ 14675364547685381415000690290038004/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^20 - 410335022772629517578525284837929293768936959354206980629675\ 156453132900509903324449056107514979974064/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^19 + 64595426513088379791898429428529328270009005826658640\ 0381259449466683240645076108129472506880187933363/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^18 - 9181375824709019551861695386061544245060931768\ 49345955425461110706749946429357199498175569250059030244/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^17 + 116829537718361923999514374924117068449\ 6304257665891686362445910680796481753123481352424952682931683016/69\ 5593785512747583881001935550699487366558523715453482720687217164075\ 601459825119563054879*c_1001_2^16 - 1319105929575603365624950004104242312022540878485929467186994388208\ 025584429482694678162266847692113611/695593785512747583881001935550\ 699487366558523715453482720687217164075601459825119563054879*c_1001\ _2^15 + 77092546689039562165072587560649674634981285336202106367422\ 156320996402940093120973783212349027513450/409172815007498578753530\ 55032394087492150501395026675454158071597886800085872065856650287*c\ _1001_2^14 - 113687855137574333585941924272466469219465234558232967\ 7586761297530556029294053688188421956251215381246/69559378551274758\ 3881001935550699487366558523715453482720687217164075601459825119563\ 054879*c_1001_2^13 + 8544812171785567659437336190255872247396031581\ 75351691635228650124134516938707489277727708042290351365/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^12 - 551886137549202953507178431674566142935\ 421716302992476570634161746177088353578512052835439153835821174/695\ 5937855127475838810019355506994873665585237154534827206872171640756\ 01459825119563054879*c_1001_2^11 + 3033878057585660089327851644089024619487583221368799379385486157745\ 45531509967229920204496427526728692/6955937855127475838810019355506\ 99487366558523715453482720687217164075601459825119563054879*c_1001_\ 2^10 - 140285846146148215593718429858986937865424428756142422541889\ 048084253649272657789108494685703057106984/695593785512747583881001\ 935550699487366558523715453482720687217164075601459825119563054879*\ c_1001_2^9 + 537360725440652163098801825242774116016569940407536700\ 44564785702277485005535875715640341706810061785/6955937855127475838\ 8100193555069948736655852371545348272068721716407560145982511956305\ 4879*c_1001_2^8 - 1670566457359586313659065133732917351800400518777\ 2718078234175410913735470182787624077526907475692287/69559378551274\ 7583881001935550699487366558523715453482720687217164075601459825119\ 563054879*c_1001_2^7 + 40962883717544607491077638737602558973059839\ 36903240171675390690862792708344729337945099198412266363/6955937855\ 1274758388100193555069948736655852371545348272068721716407560145982\ 5119563054879*c_1001_2^6 - 7595047981452931717717613552652504329380\ 85243930580606335603591557975087153804875804812680682647013/6955937\ 8551274758388100193555069948736655852371545348272068721716407560145\ 9825119563054879*c_1001_2^5 + 9951838025439155778889919269431825855\ 2085353713841149321562807920636599030207496435757610966813636/69559\ 3785512747583881001935550699487366558523715453482720687217164075601\ 459825119563054879*c_1001_2^4 - 81274637780578916986970253518248857\ 52608731916937886275151030313177409515449326247008482018195358/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^3 + 3001074220599486535419875375449592\ 96011407589973648241545229442369616577266491228785080952859841/6955\ 9378551274758388100193555069948736655852371545348272068721716407560\ 1459825119563054879*c_1001_2^2 + 1312742286647347228789949979102026\ 304998392169477491945435201780027298696010734716535203339597/695593\ 7855127475838810019355506994873665585237154534827206872171640756014\ 59825119563054879*c_1001_2 + 99679168821485594929371398012099939606\ 55886382533494452124467073885831191210320176367561324/6955937855127\ 4758388100193555069948736655852371545348272068721716407560145982511\ 9563054879, c_1001_2^35 - 39*c_1001_2^34 + 837*c_1001_2^33 - 11799*c_1001_2^32 + 120421*c_1001_2^31 - 943528*c_1001_2^30 + 5894578*c_1001_2^29 - 30145605*c_1001_2^28 + 128701499*c_1001_2^27 - 466106281*c_1001_2^26 + 1452892815*c_1001_2^25 - 3953646312*c_1001_2^24 + 9525278794*c_1001_2^23 - 20582610271*c_1001_2^22 + 40294699556*c_1001_2^21 - 71857744539*c_1001_2^20 + 116732089290*c_1001_2^19 - 171967815232*c_1001_2^18 + 228110056858*c_1001_2^17 - 270284457514*c_1001_2^16 + 283872361662*c_1001_2^15 - 262378858950*c_1001_2^14 + 211956234580*c_1001_2^13 - 148592663867*c_1001_2^12 + 89691986433*c_1001_2^11 - 46177760510*c_1001_2^10 + 20041644073*c_1001_2^9 - 7221713017*c_1001_2^8 + 2116801612*c_1001_2^7 - 490531862*c_1001_2^6 + 86165772*c_1001_2^5 - 10723858*c_1001_2^4 + 833841*c_1001_2^3 - 29299*c_1001_2^2 - 137*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.650 Total time: 0.860 seconds, Total memory usage: 32.09MB