#A,B,C,D are the igusa generators of wts 4,6,10,12

# wt 10,2
A.satoh_bracket(B)

# wt 14,2
A*A.satoh_bracket(B)-14515200/373*A.satoh_bracket(C)
A.satoh_bracket(C)

# wt 16,2
B*A.satoh_bracket(B)-173820100608/1557539*A.satoh_bracket(D) + 81800409600/1557539*B.satoh_bracket(C)
K.<a> = NumberField(x^2 + 58752*x + 858931200)
a = K.0
A.satoh_bracket(D) + (5/8064*a + 755/42)*B.satoh_bracket(C)

# wt 18,2
A^2*A.satoh_bracket(B)-29032473600/439367*A*A.satoh_bracket(C)+ 95116032000/3075569*B.satoh_bracket(D)
K.<a> = NumberField(x^2 + 28032*x - 291594240)
a = K.0
A*A.satoh_bracket(C) + (-1/3360*a + 2)*B.satoh_bracket(D)

# wt 20,2
C*A.satoh_bracket(B)-5/14*B*A.satoh_bracket(C) #working, is this maybe a nonlift? It's certainly cuspidal
C*A.satoh_bracket(B)-80477557/4707288069120*A*B*A.satoh_bracket(B)-16555/41577*B*A.satoh_bracket(C)+3526831/2702505*A*A.satoh_bracket(D) #working, is this a lift?
K.<a> = NumberField(x^2 - 780288*x + 121332695040)
a = K.0
1*A**0*B**0*C**1*D**0*A.satoh_bracket(B)+(25/12241152*a - 7685/15939)*A**0*B**1*C**0*D**0*A.satoh_bracket(C)+(-1/364320*a + 674/759)*A**1*B**0*C**0*D**0*A.satoh_bracket(D) # working	


#wt 22,2
K.<a>=NumberField(x^2 - 1132463160*x - 22505656163948319744)
a0 = K.0
(1)*A**0*B**0*C**0*D**1*A.satoh_bracket(B)+(-1330961137158045527/973679206105675613309099304370176*a0 + 176512670590886247731/9672624642985163993968128)*A**0*B**2*C**0*D**0*A.satoh_bracket(B)+(-4472201376278701/1103944678124348767924148871168000*a0 - 2607988726738834589/171354603227486607036000)*A**3*B**0*C**0*D**0*A.satoh_bracket(B)+(-9133692394629731/177460242754042690317024960*a0 + 3447859288111569349/1762907440612002130)*A**2*B**0*C**0*D**0*A.satoh_bracket(C)+(2222749156528747/8873012137702134515851248*a0 - 765602234429851545/176290744061200213)*A**0*B**1*C**0*D**0*A.satoh_bracket(D)+(-57022647681439525/558999764675234474498628624*a0 + 17116266568432438475/11106316875855613419)*A**0*B**1*C**0*D**0*B.satoh_bracket(C)+(-2541189263287435200/184854419535461135746901*a0 + 39784431057065120102400/176290744061200213)*A**0*B**0*C**0*D**0*C.satoh_bracket(D)

K.<a>=NumberField(x^5 - 3744000*x^4 - 2174327046144*x^3 + 15533282955802705920*x^2 - 6696729428633721608601600*x - 4579899992427314833828872192000); 
a1=K.0
(1)*A**0*B**0*C**0*D**1*A.satoh_bracket(B)+(-195756665597/505497606128407186021008594173952000*a1^4 + 29066903755703/21940000265989895226606275788800*a1^3 + 6809117249929302403/3428125041560921129157230592000*a1^2 - 28681494978531209891/5313933906189423873321600*a1 - 7416480818808627328103/4470857853765140278035)*A**2*B**0*C**0*D**0*A.satoh_bracket(C)+(-1219991119/4212480051070059883508404951449600*a1^4 + 101440066201/168769232815306886358509813760*a1^3 + 40044894867362731/28567708679674342742976921600*a1^2 - 32969907959225776051/14879014937330386845300480*a1 - 106389046921708520492/99352396750336450623)*A**0*B**1*C**0*D**0*A.satoh_bracket(D)+(2267120785/4043980849027257488168068753391616*a1^4 - 731686074809/438800005319797904532125515776*a1^3 - 73172291907114455/27425000332487369033257844736*a1^2 + 39565874885243737207/5951605974932154738120192*a1 + 1668235629517703726185/894171570753028055607)*A**0*B**1*C**0*D**0*B.satoh_bracket(C)+(103805671601/162518520488814038715602042880*a1^4 - 31119195270679/14107510459098440860729344*a1^3 - 3358484413776222799/1102149254617065692244480*a1^2 + 309084314509079821623/41002576436646789146*a1 + 23544959563778433752947200/11039155194481827847)*A**0*B**0*C**0*D**0*C.satoh_bracket(D)

#wt 24,2
(1)*A**1*B**0*C**1*D**0*A.satoh_bracket(B)+(-170149754673511/10699162370172357120)*A**2*B**1*C**0*D**0*A.satoh_bracket(B)+(-342703988121600/19173928187)*A**0*B**0*C**1*D**0*A.satoh_bracket(C)+(5049474355/57521784561)*A**1*B**1*C**0*D**0*A.satoh_bracket(C)+(23929944807384/28665022639565)*A**2*B**0*C**0*D**0*A.satoh_bracket(D)+(-20550933667000/120393095086173)*A**0*B**1*C**0*D**0*B.satoh_bracket(D)
K.<a>=NumberField(x^5 - 9924480*x^4 - 202688372588544*x^3 + 2214153510906526433280*x^2 + 70500826308714445563494400*x - 30612591439045062439573125070848000)
a1 = K.0
(1)*A**1*B**0*C**1*D**0*A.satoh_bracket(B)+(7808309631414937/156835390898734576811097782733445791744*a1^4 - 699921766202808333205/408425497132121293778900475868348416*a1^3 + 33827248682923423978996397/1063608065448232535882553322573824*a1^2 - 36392887145693519976227779205/692453167609526390548537319384*a1 - 67807793443527974058492294868464000/86556645951190798818567164923)*A**0*B**0*C**1*D**0*A.satoh_bracket(C)+(-27709268484322921/227649706597331212932844653593251235632250880*a1^4 + 44231764590960530693/118567555519443340069189923746485018558464*a1^3 + 38924458983468435652660879/1543848379159418490484243798782357012480*a1^2 - 7000371419789271545548761895/100510962184857974640901288983226368*a1 - 120964651613201994556150556905/259669937853572396455701494769)*A**1*B**1*C**0*D**0*A.satoh_bracket(C)+(45228342842246173/528472533172376030022675088698618939860582400*a1^4 - 11302866375101994361/55049222205455836460695321739439472902144*a1^3 - 54860314399747664535805687/3583933737334364352909851675744757350400*a1^2 - 3006517002603634254978348035/93331607743082405023694054055853056*a1 + 1678824056484294128251406748905/3375709192096441153924119431997)*A**2*B**0*C**0*D**0*A.satoh_bracket(D)+(838398141372527/26904056234230052437518004515566055120175104*a1^4 + 315800700945046463/3046202019274236009682745076490721820672*a1^3 - 2016030105730056301303361/182454808446113094329956085310642192384*a1^2 + 2676554120528441894747395685/29696420645526219780266289926862336*a1 - 2704185324345549998720841325/306882653826949195811283584727)*A**0*B**1*C**0*D**0*B.satoh_bracket(D)

#wt 26,2
K.<a>=NumberField(x^2 + 138915356760*x - 54958045293860433905664)
a0 = K.0
(1)*A**0*B**1*C**1*D**0*A.satoh_bracket(B)+(-49541154521737732724086511/144855961251852330533600909306992912800*a0 - 316267510900159723985548274301/359753649974278437969382599100)*A**1*B**0*C**0*D**1*A.satoh_bracket(B)+(397218797085315921226606699/378470384777319650669038305379115435017420800*a0 - 2541621635520610080775709861197/313313770806398782968790938147379200)*A**1*B**2*C**0*D**0*A.satoh_bracket(B)+(3080364437350043003110879247/901119963755522977783424536616941511946240000*a0 + 3272062836392168152893473602633/372992584293331884486655878746880000)*A**4*B**0*C**0*D**0*A.satoh_bracket(B)+(50357265337687003813053216/3176665816926586195912300642697213*a0 + 21579636892112383612470400491264/189344026302251809457569789)*A**0*B**0*C**0*D**1*A.satoh_bracket(C)+(-2841889871136801368947/76239979606238068701895215424733112*a0 - 408866852733751132503537451/568032078906755428372709367)*A**0*B**2*C**0*D**0*A.satoh_bracket(C)+(-86138926573123898283601253/289711922503704661067201818613985825600*a0 - 751127746567021214889628612867/719507299948556875938765198200)*A**3*B**0*C**0*D**0*A.satoh_bracket(C)+(-3141784370106985991022432/244358908994352784300946203284401*a0 - 2007962954482473327422096310528/14564925100173216112120753)*A**0*B**0*C**1*D**0*A.satoh_bracket(D)+(6195824124452302986826333/33428298750427460892369440609306056800*a0 + 57686184024619797262196959521/27673357690329110613029430700)*A**1*B**1*C**0*D**0*A.satoh_bracket(D)+(-353789396883258620196960/244358908994352784300946203284401*a0 + 123477786589354090699836752640/14564925100173216112120753)*A**0*B**0*C**1*D**0*B.satoh_bracket(C)
K.<a>=NumberField(x^8 - 81251712*x^7 - 10275876695384064*x^6 + 1117534933993443922280448*x^5 - 7848952932570760193010051317760*x^4 - 1691362948337847122023595140225538457600*x^3 + 34804532442152744838040821706069482670129152000*x^2 + 197517277052567187621890200961538473288396156436480000*x - 952103988189700137972113782687608351353971998994307481600000)
a1=K.0
(1)*A**0*B**1*C**1*D**0*A.satoh_bracket(B)+(-1037734958946245000238976264813605621418641501593427942975874347491501/22385467169259460444301586642623210973999167096396477898752691661862233721528530982964909388994376265540677836734464000000*a1^7 + 868572977926730155380948639313633939440414599641142781785750458958235896767/589432150579459172578542935323701446363982698429421148375721915865006732829599629470430195138451458380845394427904000000*a1^6 + 14557209528485487382233574596638046577822971973403900524303820043430010639236899343/27629632058412148714619200093298505298311688988879116330111964806172190601387482631426415397114912111602127863808000000*a1^5 - 4615324854142099863997533601466423175826917223264457936513407544107393615822409965733/185443728914385663086737543581524546944209682324414172103951653821495050750291845410669132551512243017089024000000*a1^4 - 59400614816777122835049264833708004554452343042723723582238245365175481501677671341421331/97591372095786725908276593573176438007749236032270913053837404626112304268545513264078265285897827542630400000*a1^3 + 331376832668525110066993960254586033859292467317262398351627767361876806151177209832966543003/9530407431229172451980136091130511524194261331276456352913809045518779713725147779695143094325959720960000*a1^2 - 254745123803297106418464573788972472605739277295324117996612766647425122208342493582343059839/1231089749611076550613340165541619068828830467106437090891850746827305993939777067276261663763584000*a1 - 16144843386671492222505959024734429601373902625803469479258450145020996848504887700712676130559/80149072240304462930556000360782491460210316868908664771604866329902733980454236150798285401275)*A**1*B**0*C**0*D**1*A.satoh_bracket(B)+(-254667339853136804247419507700222846274210121799504597654720440964190368797447/300374623935292394346025479840958257067085583119633017212267888324807431049963971178131227442554863190878813000459878400000*a1^7 + 19240151964734302037644893290896219401257733032289091397697416682717405505099890751/782225583164823943609441353752495461112202039374044315656947625845852685025947841609716738131653289559580242188697600000*a1^6 + 13532161266482678795466037905447722741996429527701490752149030636421253020493490884429277/1358030526327819346544169016931415731097572985024382492459978517093494244836715002794647114811898072152049031577600000*a1^5 - 11675685073730989337508077018355355120760032096614014894431171288862394937204733928280178861/27344364657051774857928660940146096389690177694595330469957685991734339659244422575600980887804004352288358400000*a1^4 - 659349567590067947414416985540678116594123223498574215225532891436010018897983153088930738354711/43170627795150100280258465351467632646483516217053174732843351907523290152127424964734621518831191767121920000*a1^3 + 98604476387070951010146059338102171628182230123281516536190580589583708854760698027911051510233219/156143763726671369647925583591824481504931699280429596111267910545150789034025697933791310470309576704000*a1^2 + 116465551580828595318709719068435456951044527611160236520398749112704907081810844540603666617188197/41891248424265799291703936188568982203203258950149595453958810135095828960450747428150570503066400*a1 - 64328623979810594169346076629332777501216666646869067812275534855849245621279164299402531907298665057984/3403663934471596192450944815321229804010264789699654630634153323476536103036623228537233853374145)*A**0*B**0*C**0*D**1*A.satoh_bracket(C)+(4193718172412715892845522309323507454685081253139502444894923045881782369327/21799988706727780812057145224937386464900803280490485857197554263061224115882185172224051962870861750941220732321376134758400000*a1^7 - 292311642753317648202176812760462456239808202812788331955781575331186120877119591/56770803923770262531398815689941110585679175209610640253118630893388604468443190552666801986642869143076095657086917017600000*a1^6 - 666171730606740651597885861998274220292606334275228541059152039903537798392428041902271/295681270436303450684368831718443284300412370883388751318326202569732314939808284128472927013764943453521331547327692800000*a1^5 + 182743504911121241960811333198365709281399808341337949726781904496161115028744162917286101/1984544609350189612089030496392043091578154336362950704187649018536111435109323212846816788913263419871679899238400000*a1^4 + 10834732036617910690650087473999457456053495095783698179656484510869198545504988478106601729421/3133151482860813677940038381348114906951187672968851209410839108040410306080799994240579891350692573690640465920000*a1^3 - 13716579678972284373211086487288308001567000330161192424993050396669091115505950617589951224991071/101990608166042111912110624392842282127317307062788125306342418881523772984401041479185543338238690549825536000*a1^2 - 4495022512008046142373314174643158631353791019033147637291787549385242482371618947745396164823/7917445952186236066132043939639537636405415941578273540798215115533111673525191263920457825079549600*a1 + 1309511830954450115965388480645343311358434004371488020301409697234120691562884688772812050131740569/428861655743421120248819046730474955305293363502156483459903318758043548982614526795691465525142270)*A**0*B**2*C**0*D**0*A.satoh_bracket(C)+(-117555234806734635333791898999722874891423487408012023934777298620392552607/622856820192222308915918434998211041854308665156871024491358693230320689025205290634972913224881764312606306637753603850240000*a1^7 + 41383900515343910508214998142770987885038352189499809499687941665747303138581171/8110114846252894647342687955705872940811310744230091464731232984769800638349027221809543140948981306153727951012416716800000*a1^6 + 3457275214772972104051620995404317939715888484585574661236176667333837761531844459377/1564451166329647887218882707504990922224404078748088631313895251691705370051895683219433476263306579119160484377395200000*a1^5 - 25773793432976398053278809457332376397517805526121887004149121629504968458158835244531321/283506372764312801727004356627434727368307762337564386312521288362301633587046173263830969844751917124525699891200000*a1^4 - 7557999920081896917069979304318819055881123344983745139513181195776777464404355257954547679197/2237965344900581198528598843820082076393705480692036578150599362886007361486285710171842779536208981207600332800000*a1^3 + 3222538054094129611558299852119648483673579632022797065546749063713274069355835346764464003539949/24283478134771931407645386760200543363646977872092410787224385447981850710571676542663224604342545369006080000*a1^2 + 12122164050855067565008509698953736971456893230008417861001464709877244748100688452182608831739/22621274149103531617520125541827250389729759833080781545137757472951747638643403611201308071655856000*a1 - 293261400688176632669197419463964968408970038430417580914407210130888275932489931955336006848680283/102109918034147885773528344459636894120307943690989638919024599704296083091098696856117015601224350)*A**3*B**0*C**0*D**0*A.satoh_bracket(C)+(65067672658942069962358233642848605728832141537835245436155132141568139359551/57764350756786998912697207661722741743670304446083272540820747754770659817300763688102159123568242921322848653934592000000*a1^7 - 4893145962293735864399928225752300270818570043855106609889083821232989611165200983/150427996762466143001815644952402973290808084495008522241720697278048593274220738771099372717625632607611585036288000000*a1^6 - 3451793155681208270759938673233203351213154266605116089819587693649010633094758954190341/261159716601503720489263272486810717518764035581612017780765099441056585545522115922047522079211167721547890688000000*a1^5 + 2975092335045715368243600777280748807336024584800498173117286006968718269506033136096451613/5258531664817649011140127103874249305709649556652948167299554998410449934470081264538650170731539298516992000000*a1^4 + 20840859919469986553677701774595855336851674657264292541412948155239735509230089078117708081701/1037755475844954333660059263256433477078930678294547469539503651623156013272293869344582248048826725171200000*a1^3 - 5776639920814778692351286267588119193516583075864154443550064623875136643473235029523292353184377/6929456970118551907452318798453749179212945234338591543399463485731543892042560559191922062291845120000*a1^2 - 705388418687216370774978771486860142826909472524077923742110435404365404535584800468960124728626681/209456242121328996458519680942844911016016294750747977269794050675479144802253737140752852515332000*a1 + 28428820190757042289215256187454515260654354828448099878180287934095821040611306391456949037117628774144/1309101513258306227865748005892780693850101842192174857936212816721744655014085857129705328220825)*A**0*B**0*C**1*D**0*A.satoh_bracket(D)+(15292367643732052880982572748243233431593912068597395963139093025882731/2321320886226231026073041275336206924024704327507718487221819816749853492192923712861407696872695901582462383116255232000000*a1^7 - 417387092604302486076577393611337099874937199417896799631606981050130322241/2015035491515825543466181662618235177104778062072672297935607479817581156417468500747749736868659636790331929788416000000*a1^6 - 2434006537579096311049909062900362298995116061309717728569833406098055752941234363/31484929554934774116659088478409924642262157219885504655243866872149705569022945324183589638572806824848936402944000000*a1^5 + 735519601962976315193439431647523276182612490797531289963031382547150713417814717753/211319598065230174215119526406853553494564521718518475188223977610540871785216288956343895233118602507845632000000*a1^4 + 4215391016894024314941063125197686963221669141806299233265852895732071772875204121238027/37069590951112787360508163450276321413796221438614532865411107183562038055494032170076240302395298834022400000*a1^3 - 54419479775066793579196449488841049001013051332626651180771413040679475526166763770122569883/10860231723958824422023876010823141039198111749594101425413410307684190836570517237327023526092372705280000*a1^2 - 19635616287062278062294822243475771558619385060796111096918699160919788053660969434059977691/1402869714673087232094271351431147310990992857865474824504667130105534737280211076663647012195712000*a1 - 2084596209513738547163803269099180408320459042225800611102442383854527713868550584662309024346/91332663715695783339470791108798653059309430850616850553689266282912417791680408636956185689825)*A**1*B**1*C**0*D**0*A.satoh_bracket(D)+(971034383087121311053075247084769826871709887168891741918072578020571782307/2310574030271479956507888306468909669746812177843330901632829910190826392692030547524086364942729716852913946157383680000*a1^7 - 65761225834415866951316450343330246765737264989806894953878228403225189264862731/6017119870498645720072625798096118931632323379800340889668827891121943730968829550843974908705025304304463401451520000*a1^6 - 51610921103497984825786511411500080317178393308213190526162110357873168088776247716337/10446388664060148819570530899472428700750561423264480711230603977642263421820884636881900883168446708861915627520000*a1^5 + 41503054420668821762684232217812524713505211990988600431712644347219484555940368258193141/210341266592705960445605084154969972228385982266117926691982199936417997378803250581546006829261571940679680000*a1^4 + 398673530794849338863317259753823435881214549636295774363004388913410019721678357385366802799/51089500349290059503264456037239801948501202623731567731175564387601526807251390490810202980865315700736000*a1^3 - 1044597248400972765476206667590456150690129314993743702285572854429887712091351889135204091822407/3603317624461646991875205775195949573190731521856067602567721012580402823862131490779799472391759462400*a1^2 - 26401397530297234006621995893310965769277097150506990349367125300372021335944354660012140708994159/16756499369706319716681574475427592881281303580059838181583524054038331584180298971260228201226560*a1 + 484704415285560372317775895158055593194944008165096258509617038346039119617102658070092844799212012608/52364060530332249114629920235711227754004073687686994317448512668869786200563434285188213128833)*A**0*B**0*C**1*D**0*B.satoh_bracket(C)

# wt 28,2
K = NumberField(x^2 - 579820593600*x - 2047201271567563252838400)
a0 = K.0
(1)*A**0*B**1*C**0*D**1*A.satoh_bracket(B)+(-280915376173490773149948782491813/8367627571204782298408809788801416715331442311168*a0 - 460792308298147841133499399584275699/3247066807047392904366103567937016373248)*A**0*B**3*C**0*D**0*A.satoh_bracket(B)+(-3731895204461826116624095299752579/1258176203074541199101206382843988390886656000*a0 - 91039748632966729098044542451333959/8877029418989444957224106311591200)*A**2*B**0*C**1*D**0*A.satoh_bracket(B)+(603046131612941385841558836766931/14494189859418714613645897530362746263014277120000*a0 + 10833408916766497460441967172253207/76697534180068804430416278532147968000)*A**3*B**1*C**0*D**0*A.satoh_bracket(B)+(680704476745495727515793314932693/2730417107366625866105048573880183139945*a0 + 3587799886699522061021376217118556096/3698762257912268732176710963163)*A**1*B**0*C**1*D**0*A.satoh_bracket(C)+(-6898071914223164010086754347363/1602772233215976049810453990884061644441600*a0 - 30440140665989434185721515699642811/1775405883797888991444821262318240)*A**2*B**1*C**0*D**0*A.satoh_bracket(C)+(-14892908336712644987346368637636/49643947406665924838273610434185147999*a0 - 4690889519336801349266779883259929856/3698762257912268732176710963163)*A**0*B**0*C**0*D**1*A.satoh_bracket(D)+(654670709503625305727187257971/76253103216638860551588265626908387326464*a0 + 1044315517629785595843291732974349/29590098063298149857413687705304)*A**0*B**2*C**0*D**0*A.satoh_bracket(D)+(-27606802491339256565812209226603/95316379020798575689485332033635484158080000*a0 + 176502197606813644756347248017157/7397524515824537464353421926326000)*A**3*B**0*C**0*D**0*A.satoh_bracket(D)+(29065904886458707414080246675855/49643947406665924838273610434185147999*a0 + 9026861607843401995662488201868254400/3698762257912268732176710963163)*A**0*B**0*C**0*D**1*B.satoh_bracket(C)+(-9394361462516061536002071186055/3202630335098832143166707156330152267711488*a0 - 15234489705457927347850489141906825/1242784118658522294011374883622768)*A**0*B**2*C**0*D**0*B.satoh_bracket(C)+(-24686790293724927399187143328602/49643947406665924838273610434185147999*a0 - 7588344318165220415890792111363520640/3698762257912268732176710963163)*A**0*B**0*C**1*D**0*B.satoh_bracket(D)

K.<a> = NumberField(x^10 - 228145920*x^9 - 353793222108315648*x^8 + 110206878775622467804200960*x^7 + 16343864763879603660394002672254976*x^6 - 6613884084931649628743571648488361657630720*x^5 - 151911086181538362628849134269807677265592031641600*x^4 + 119264334328625953623514680561504890416534804777805021184000*x^3 - 693084683335882150915706083215992030089883039357287490817884160000*x^2 - 616238586528233294051042779465757246073957032374522640338190209332019200000*x + 10384469121185819493865960251984803978232527802584700917833627299961896960000000000)
a1=K.0
(1)*A**0*B**1*C**0*D**1*A.satoh_bracket(B)+(-2458524141889432828908257963128080712020983644219558138388244934662159053544284595229280945064884042742105386747653655397532420781728986669041/782753977366467256419643254739746729307834352061879424421497087123866668229854316483244613672648878018258645702934134220615646405697997333181766471169996307507661700416283639011431301039905399099869113740165120000000*a1^9 - 7365373955865541825640366576979411810266862156291548692782171721698762829520249427343082587094667206227340333455853408351412839293136948391370799/1742240868426075624153408241496943396785599964525194587832748146198065055711036138896110696386771897298474549730533596466826136052568548195294173947582790926610714254843936162329574655092382031472287023104000000*a1^8 + 350134133574845128547572804241338597749478924830288656744768459735585415325492808423462152298774980181232427540917583627933824518584483963304232677153051/189585362356632113119371990564678550431468746139739366421532303855258195236412972703538831359051629449331772989650698276245031545898921260090604865947904146589893571258129214092782956329807196505075875840000000*a1^7 + 156055620099344719801340533642724719312233199538328457141127003458923362639345188678301106312132892755396185523036727349695560207788580932782584007491070719887/115199438931981318735729508155620646963566078383522184457528309634271472799903716052497553777201510950114792615239139577579446251848302849013388373405844533518164496424210459952211865825403678431903744000000*a1^6 - 47757854153923229746624753804820101187074516911766094894553984418738151199704724498761682304935107384237159181312813510042499499192322941278256211979907669058913921/107142335316202863407486521722117417190816665163246079294576180835445938243958069245254421295760333844972835393637592613076121886019626905704416269908709573584602396227874311711506571638210266398720000000*a1^5 - 449827629245246485555721634395156168781627818897892490408854307181682170012337771203580304952171602040481785741067749148142782583818323275206862275665115762326381487229/8137981198062283461940165495386522573087203300159749946419631790886735760717301266458126617516518412704099910541049786149445021724581036674597589945322992785288810477377606141281966161756422144000000*a1^4 + 11102956791527367704554350920498375756519073127975676477122915053886853901001476448081740753207482880132667589953382688906156884801295325178452215698620578048996631236965207/596043544779952401997570714994130071271035397960919185528781625309087091849411713851913570618885625930476067666580794883992555302093337647065253169823461385641270298636055137300925255988019200000*a1^3 + 4419265251129781908345601376152837607966881235788455131465532735782848295278135061864473915814707836280538524241230453059152495645037477167311095911334613495140654745298281/12249027234831066236863481720569342334293360812735903664098291371336392321847456372232940789299358040251063443405835595620769776666677715613681845510431902555035838089473329019790295040000*a1^2 - 25267876927675017821165078707145550130122946045381026548374619606561308180132708590945127520871277597356643733037335642360575700745670601561201721647784934543466790079219603349/189780789301675737030731152709392041500000425753213651646655092798837959463719792425859678319786102449052121033838160426441088223971024552683434543008306783501813522081871552759296000*a1 + 2470975611941704964642302666895933607341844603865288299516443502705715508618993277919016857978757502066528301795006263254546479637479651496275899219405095321410406453979748132057/2433663057253969954821165744576720860460074904111207259515581800805805588135611290183254239817332832068416166982220728322023108932709240041907995047257721931742794928843444391050)*A**2*B**0*C**1*D**0*A.satoh_bracket(B)+(-273850584752423799384064194272381729019741493870670598715742359407411434425762179360973731991654626552821597511637893161629808874855372695249/2765461695914405752624457526185624439342222165913007282274203406663595326525454188723985232359955392537261190048466026137819263575505632056022498329496493534302721039434819305285039135067273065829027020800000*a1^9 + 2605090072141230268611245773832322536809698202724218995570845981168950445693414763683889936420527399520882685476222450127672208379945668984645989/720172316644376498079285814110839697745370355706512313092240470485311282949337028313537820927071716806578434908454694306723766556121258347922525606639711857891333604019484194084645608090435694226309120000*a1^8 + 9021474631440002933401421053494765935539217912688884974781863816192668932443835324890938941761486811498333890578684950859923280164980301642124777434767/246769571218604885580895632576356804326127451927944186229523187529232210440425242706119044999681920506640088715890451722424536237706023282594067162362839863586668586903606152030100605842391616716800000*a1^7 - 87617220372553448992177078177735282773351710617346031828769291558874055772696906830381054453262120934284280483356773176917074498624652790913562035542294539/21420969723837229651119412550030972597754119090967377276868332250801407156286913429350611545111277821756952145476601712016018770634203409947401663399552071491898314835382478474835122034929827840000*a1^6 - 7099344033589560205063829005743338323026867550975729613974602942457279699396304727473876868779263493273208623210967632474302088598492162182702368468279897173081383/2649729327818407313615031500329352079149272543804558387112619223731944895634448926807692834356212751389206320078485888856148155221678807220056195342392508843398880090314238873840282022549913600000*a1^5 + 2172549184326861527697655537757212507238666145015583415410684501912824074190013488845957050708547165504715441019046685308572493882419998456482812382826266710106097809/9583801098880234785933997035334751443682264698367181666350619298798990507937098259576435309448107463068599247969060651244748825309891519169763438015019201545858217919249995926795001528320000*a1^4 + 140100262466503294384661048643620811313398911201225017372368814661232617084042911771163526061637816195931441256619492129649472871217515193339218603960668187196952353659627/2105815671140676588706200520459295971512216364387320190360243498271262562779147566801462836548656424990659014446326803252020005561255460755074974173221992527166112335772704183133667328000*a1^3 - 1032552826359738981786210493745978067958907914565345190894637669987769618380120659033602809468047883079262568823001182247776417205867701756757711039792572973583896584873539/389481177338696397946666467000195307231041438133900070719446077894039743648486987822832111991865017051125084052128980833484997477445745434399224330688845090399745563996786255462400*a1^2 - 6453878812467839657140489601909775373677573798344905839511223672991732166696716953091587994795981094146762152720952536136811824853004654843679660690431582953720246213881248621/17432832644554282134657109118661085528733137286266686108048123603655750244683255477096163866823385366057844745171788692905008838915621743889939240061756575498035486669778030640*a1 + 25479621955265912780697338008066342633046607415374758047271700566913492924224958200526238791418360894637473165500804712018932112131478476181351900819719215898670506349364177515520/2201115232898267946295089535184480496052163798771046225763651970158554323823643368320222710457498152280030902168155137993056671580255270693174146472444012057832763468406317)*A**1*B**0*C**1*D**0*A.satoh_bracket(C)+(2531287876444774806608043952941019230777298670400525144067583212208343722597336688612903010964119746559436088508043170645844158459346578816201/156550795473293451283928650947949345861566870412375884884299417424773333645970863296648922734529775603651729140586826844123129281139599466636353294233999261501532340083256727802286260207981079819973822748033024000000*a1^9 - 109258854534698368555567667599201766621754974819785037131333531937208955377231478490234929448948204336133944274053256431849628004068916444437071/49778310526459303547240235471341239908159998986434131080935661319944715877458175397031734182479197065670701420872388470480746744359101377008404969930936883617448978709826747495130704431210915184922486374400000*a1^8 - 1494897571983377010228380646676974342039009592115195598752989134676831397124529382984704879676945141120811038808347205087421575767158679178237770979021877/265419507299284958367120786790549970604056244595635112990145225397361473330978161784954363902672281229064482185510977586743044164258489764126846812327065805225850999761380899729896138861730075107106226176000000*a1^7 + 27896098648155631927430675259813795724705310739002184775293305954621552469823507422632010970151078574038052900280550962819688423785192151459320913144885965001/23039887786396263747145901631124129392713215676704436891505661926854294559980743210499510755440302190022958523047827915515889250369660569802677674681168906703632899284842091990442373165080735686380748800000*a1^6 + 41693697392189580595537494279791055538437744827084824123010546677138615366493992737948725249518302417198994473021124815937900055279937501058788645804535284775705967/149999269442684008770481130410964384067143331228544511012406653169624313541541296943356189814064467382961969551092629658306570640427477667986182777872193403018443354719024036396109200293494372958208000000*a1^5 - 90222062648207333845230603985710427578484837803345813245637709107587526617970937166981502005434252015467376691455804721993159148078084150163794968693847679551387668827/1627596239612456692388033099077304514617440660031949989283926358177347152143460253291625323503303682540819982108209957229889004344916207334919517989064598557057762095475521228256393232351284428800000*a1^4 - 94549946083806313103802500535883411771743247095566995842435941709968281819059418703479118102728721887100608491010067334055626670269387230123031815692592562089266898283767/23841741791198096079902828599765202850841415918436767421151265012363483673976468554076542824755425037219042706663231795359702212083733505882610126792938455425650811945442205492037010239520768000*a1^3 + 243761965672180397416000334798285294115417675137885453628981734674572016387516534063267719765089977020775241378315232685020117755095200481365316784603884172135345774450923/612451361741553311843174086028467116714668040636795183204914568566819616092372818611647039464967902012553172170291779781038488833333885780684092275521595127751791904473666450989514752000*a1^2 + 813677995406914832361581523661248198423884029377261080618101802705282285824968410618401700782694245499767373387977705791395029673541383222992576904586070738168455642579788713/37956157860335147406146230541878408300000085150642730329331018559767591892743958485171935663957220489810424206767632085288217644794204910536686908601661356700362704416374310551859200*a1 + 68993050823808566216003503095066421655665375180014777101340783680680034610176618550541879200917226423885153031378371550328258248889750986114071017290824703535314536578323825069/486732611450793990964233148915344172092014980822241451903116360161161117627122258036650847963466566413683233396444145664404621786541848008381599009451544386348558985768688878210)*A**2*B**1*C**0*D**0*A.satoh_bracket(C)+(7189477273537446036335805999134948039808528926951442765534648527165397894249580573036413458304985899059989439888725242414386283456184387777/217884860890225907782533017214624955826962958526479361633725116888646904514126693657041260731390424866572093761394292968434245008979231616535105928990632823914759839470622127083063689429542726398650613760000*a1^9 - 403274246921382497083235506935409868298575127154502007154062509789142827076598025235855311508482963248932838489226235995137790731762862989908437/56740849190162996818367973232975248913271603782937333758782582523085131383887159806521161648799589809003149417029763793863084637755008233472683835674643964561135374862141178927881169122276751666315264000*a1^8 - 4087344926055844878009456709115106390846670671936370328690500179040211379270165058061268018651787953851661953074856658013197777280321292720222799099149/369406570248457010536249825735515943445778670461831599992074104968002157447182029990372146151038996152364254017120858032962790610384168186671118721840129977611558430092064966978393028139822601994240000*a1^7 + 108417628348476825329294659318439907875701167729427888084149948602132318727047328412517146722303433110911251307759556158201573818038777602116011195082308353/32066542556289671053493908483985758979668287366478437499311988278472409500623440103330915464499912860448285938986185593139131129373625710648534611270844616112114447056602861716874394803804045312000*a1^6 + 72279640898876505134602055952613191165749741270447727461391194629691931762192077968192675436476343598299594989798953375996298013176751460668011649987902748405239/208766553100844212587850966692615618357215412542177327469479090354638082686350521506060647555337974351876861581941312455332884956859542387034730542127894636146578431358091547635901007837265920000*a1^5 - 116687236996476622768214107313836137667793316018850704397323806125711163132934125743663220755209071109398180847335693119425458776019126257073909220031801371610501897/755087359305715467982678554299101628896178430780444616136715459905375009716256226512082781956517557696313880143016899795040816539567210601254089055728785576340344442122726951808091029504000*a1^4 + 1617767332842511997585919018050745521615279428858997337197935690510464668629989179377060164704029937555620134722887929417860029755210607637779083132334784191034623488091/829563749237236231914563841393055988777539779910156438626762590228073130791785405103606571973713137117532339024310558856856365827161242115635595886420784934944226071668034981234475008000*a1^3 + 68813124043800202167532087812783816853324071048104774508572734134185477475016123728800208959854574193992436089397905544432153685070836214897620706039564442429667339666217/51930823645159519726222195600026040964138858417853342762592810385871965819798265043044281598915335606816677873617197444464666330326099391253229910758512678719966075199571500728320*a1^2 - 131487930985525619165463798467565308209433425747082621934036058820464269208747138690453927059620211592522623249895244084598917626927265900556918583246411308261570606505671521/3433739763321297996220339674887789573841375526082832112191297073447344745164883654579547428313697117556848207382322015269168407665198222281351668497012658810219111010713854520*a1 - 12094152763983606370161143363311085315472084747372116724378130437562811603327270402002805970133915049948388798359743262376359083100495844372680468528477185155230573179952639753728/9538166009225827767278721319132748816226043128007866978309158537353735403235787929387631745315825326546800576062005597969912243514439506337087968047257385583941975029760707)*A**0*B**0*C**0*D**1*A.satoh_bracket(D)+(23243459990862224046851472132842590248057982186705287686769261936896517159077931014666227590749172858567739054166765459169881669342396376113/1043671969821956341892857672986328972410445802749172565895329449498488890973139088644326151563531837357678194270578845627487528540930663110909021961559995076676882267221711518681908401386540532133158818320220160000*a1^9 - 20693623595537363440753373599344584484905537790270207645016407606680347158696478210522336558866929374180316514826154385014728287930736519086109/30198841719385310818659076185947018877617066051770039522434301200766460965657959740865918737370712886506892195329249005424986358244521502051765681758101709394585713750628226813712627354934621878852975067136000*a1^8 - 14465861197878111365612297188560954510268818964112174260079340693732866572252635142535853067347451633444973103080912990853398040476358862203593774500541/1769463381995233055780805245270333137360374963970900753267634835982409822206521078566362426017815208193763214570073183911620294428389931760845645415513772034839006665075872664865974259078200500714041507840000*a1^7 + 132893542336250078497107995561345409373520051973319408531953519043239525004782300252361062810266343972281001647144937977613527061593332399968647608409521009/153599251909308424980972677540827529284754771178029579276704412845695297066538288069996738369602014600153056820318852770105928335797737132017851164541126044690885995232280613269615821100538237909204992000*a1^6 + 590316357174725235442351681706049547604138013014957604078180555788434300889345162688198156758447151583814802395740152177618224044994047348361724404043415502797831/999995129617893391803207536073095893780955541523630073416044354464162090276941979622374598760429782553079797007284197722043804269516517786574551852481289353456289031460160242640728001956629153054720000*a1^5 - 473986553668117368741065534025617584043806163617161725625412153146465279169451150820142001830850441862521688230838863429877041908185232041850959495844136982596649803/10850641597416377949253553993848696764116271066879666595226175721182314347623068355277502156688691216938799880721399714865926695632774715566130119927097323713718413969836808188375954882341896192000*a1^4 - 57751099041899552081942867139153616824095491134192377941757554937580229147199722721900135096914319110445404219937252103354938663730487049967792728282473842171837437882413/3973623631866349346650471433294200475140235986406127903525210835393913945662744759012757137459237506203173784443871965893283702013955584313768354465489742570941801990907034248672835039920128000*a1^3 + 928573921905845332869445474304456466133833192931755490825733803245939621915039398445221519561948430881150007588093027014224013391172733734146838603450813259957709226219/2512620971247398202433534711911659966008894525689416136225290537710029194225119255842654520881919598000218142237094481152978415726497992946396276002139877447186838582456067491239034880*a1^2 + 1378380448981342667832766549056315203814662058207527368395712240792866831763621392320527226329846451569001882421612652584236182077334583399048480645009186784871831698296276773/16447668406145230542663366568147310263333370231945183142710108042565956486855715343574505454381462212251183822932640570291560979410822127899230993727386587903490505247095534572472320*a1 - 25962614625807169986932974224051524418014342985222739073812099255257201751048418025946465142799825443616377649447012636822095568145093375286061269599647632959080266225069761973/16224420381693133032141104963844805736400499360741381730103878672038703920904075267888361598782218880456107779881471522146820726218061600279386633648384812878285299525622962607)*A**0*B**2*C**0*D**0*A.satoh_bracket(D)+(-472029463900033986285003226798312488230838612561615027498631241823024108314537965968037313189725136921770272597510419289895023574502854355023/18636999461106363248086744160470160221615103620520938676702311598187301624520340868648681277920211381387110611974622243347991581088047555551946820742142769226372897628959134262176935739045366645234978898575360000000*a1^9 + 589806094905628091015342143126862090627388317883199648449594677454662069549298949092170520344237320279157139521424866592528012800597064246242531/539265030703309121761769217606196765671733322353036420043469664299401088672463566801177120310191301544765932059450875096874756397223598250924387174251816239189030602689789764530582631338118247836660269056000000*a1^8 + 292555971777406309090539333971326535162054002748431809959698370175963545949812050926375374479496253495103513433591715430905522170007895124703496526863171/31597560392772018853228665094113091738578124356623227736922050642543032539402162117256471893175271574888628831608449712707505257649820210015100810991317357764982261876354869015463826054967866084179312640000000*a1^7 - 2995333612122639238590101641660795513787723105418471464007606840544403906513755136778163735096584035819301565309499976155484444519054587439700694416021314191/2742843784094793303231654956086205880084906628179099629941150229387416019045326572678513185171464546431304586077122370894748720282102448786033056509662965083765821343433582379814568233938182819807232000000*a1^6 - 11593890229475450005791576708002218109467742191020450557603808541971383574619318940944271443214160978050647614789952267520879765245745418469602741465983567591278841/17857055886033810567914420287019569531802777527207679882429363472574323040659678207542403549293388974162139232272932102179353647669937817617402711651451595597433732704645718618584428606368377733120000000*a1^5 + 10601489806006671385362298920442641167734670856637371011907487161785203096505263857808480436852548017903341510428422759313064475899644223133217940373973543605598576837/193761457096721034808099178461583870787790554765708332057610280735398470493269077772812538512298057445335712155739280622605833850585262777966609284412452209173543106604228717649570622898962432000000*a1^4 + 221124912243568331843646408345280387177583844271509035471577775066949904496338786361762704289058383464104401825464707821872390762352964873900634254444923480508716470380923/14191512970951247666608826547479287411215128522879028226875752983549692663081231282188418348068705379297049230156685592476013221478412801120601265948177652039077864253239408030974410856857600000*a1^3 - 21296989012446496685378568329145405078450562353670670360893569077337806325406780126873568942097266161436419348531121281790496101064089800523556020473865967338259665065871/44868231629417825043455976998422499393015973673025288146880188173393378468305700997190259301462849964289609682805258592017471709401749874042790642895354954414050688972429776629268480000*a1^2 - 5287992389407564619041865916983502653457990904985027755385928781418630288616211634884862384654009999775816419492112657578969591596717458337039065203260808354777612424896105149/58741672879090109080940594886240393797619179399804225509678957294878416024484697655623233765648079329468513653330859179612717783610079028211539263312094956798180375882484052044544000*a1 + 101590581966731531591729571211438611799088054820893365546035630203669087628635163325186500637094065649845722509804840514021034197902187469781476178049677125449555882518250099347/57944358506046903686218232013731449058573212002647791893228138114423942574657411671029862852793638858771813499576684007667216879350220000997809405887088617422447498305796295025)*A**3*B**0*C**0*D**0*A.satoh_bracket(D)+(3709090092134585570443302502869043623944012531201023787732507234870948161446064081313522329755235099632647349330151505743080170717713378001/15342601086920342843397386671720275810403427349372575076174516689918437720702108286778396960509430923389164352654193469199302117687609359371927898063355031953759952116358393950979336155532501081569361920000*a1^9 - 5386840246882042776871720565563421226946630345835745507855092172618452303289106900338991439883491200900806136426531689159444656307288507442094597/403296497320850838924400055902070230737407399195646895331654663471774318451628735855581179719160161411683923548734628811765309271427904674836614339718238640419146818250911148687401540530643988766733107200*a1^8 - 15227647745917341917462789197269484148601104476168378974640327335109556238689032632054619914701676340850906561783691036988972675481926151703527751066271997/170665835454787138867747419489808365871949745753366199196338236495216996740598097855551931521780016222392285355909836411228809261997485702242056849490140049656539994702534014744017579000598042121338880000*a1^7 + 1271872114943019283413603056322134537603950815411560467076936571753824198019304397671270329002834431806256932378978586288518272173064612748491794677979382023/109738834525969096494179153478529041841531472320837319442089915441883356957689106131399132922955257344645245213419390696520582087189741320886096225238001575139236107704818682319970151106351621734400*a1^6 + 618402117867533790872717684967582893327417982461261372766872778843278372834893132153782537800843581420024221928251461555045032763375813404749695582309230616264383687/96450147532590026215587146611988415681033520594485925290899339743842794201093940935800019170566144150567110050856886354363792850069108582810045510463087321899719235287438295007786265620816855040000*a1^5 - 3928555642320674939786912657533758018413954723377216434741046678862669816140523677916426008513153228014168300372766966903667946631766512848318636398575519512522439813/5980291885701266506422814150048884900857733171781121359802786442450570076952749313975695633095619056954805930732693846376723266993372307961932385321371981764615527981611997458320080953671680*a1^4 - 1362847416620756658694022276053948444672787649442877492723351990431356664647457862756160799389915291505261952030199556404294195790705413419429446162201816382467801372127609/8516854492168958647656188771635374818116075073744272769901429259674884142795663492397027472263454874406665347316255070930392022492188752387192117767253391998760721002458492474007276748800*a1^3 + 34164442449415410996958511466297769287736184147820148029503209807614116207059151326532348391714975920173605331990025550686847098361542647403669434669133640819722366134805861/4050604244322442538645331256802031195202830956592560735482239210098013333944264673357453964715396177331700874142141400668243973765435752517751933039163988940157353865566577056808960*a1^2 + 7348034421711393122703960909274287523796971822718852165245142031744909712599001038974557647474420577957124823261494529303210612608199352991277119160602186938594357508091993613/6973133057821712853862843647464434211493254914506674443219249441462300097873302190838465546729354146423137898068715477162003535566248697555975696024702630199214194667911212256*a1 - 4344792754956616118482165461624712651806943997153051475412342596926306799792970109247797992384760396978540683091882322426308155798121739330280037572443522117853344231264610361962240/200301486193742383112853147701787725140746905688165206544492329284428443467951546517140266651632331857482812097302117557368157113803229633078847328992405097262781475624974847)*A**0*B**0*C**0*D**1*B.satoh_bracket(C)+(-87229461840068941785023113664107751396714934299884616321833216868822280866311416236336011481980593303113236764682965106121134861828251924349/6262031818931738051357146037917973834462674816495035395371976696990933345838834531865956909381191024146069165623473073764925171245583978665454131769359970460061293603330269112091450408319243192798952909921320960000*a1^9 + 5360441356618813710440155574156715794477615579539168004756894867636187704530691528273417877372108018400013758587005920260326594911800702300409/2787585389481720998645453186395109434856959943240311340532397033916904089137657822233777114218835035677559279568853754346921817684109677112470678316132465482577142807750297859727319448147811250355659236966400*a1^8 + 7325739699620142808436778421964519040416982322108094882985724507076045918942385573723355929377521359630024196110890538626769436502578866549173778321439/1516682898853056904954975924517428403451749969117914931372258430842065561891303781628310650872413035594654183917205586209960252367191370080724838927583233172719148570065033712742263650638457572040607006720000*a1^7 - 7767541255136440591315264087372442759952275281002401408977906245442685389149309761357898299514374889022853851371135048960218117715355082003411410412311681/7372764091646804399086688521959721405668229016545419805281811816593374259193837827359843441740896700807346727375304932965084560118291382336856855897974050145162527771149469436941559412825835419641839616*a1^6 - 198102331840426268300602945709790612162146750622002716701125789201719705615176432727267553906358447055096847319358462522986424414524903605738052859222609897579469/857138682529622907259892173776939337526533321305968634356609446683567505951664553962035370366082670759782683149100740904608975088157015245635330159269676588676819169822994493692052573105682131189760000*a1^5 + 618495745295476504494070982361732342330546895479432866479329320109752194233838527005018730511802867878004105993082496287956134841265090869249255030367757335095076827/13020769916899653539104264792618436116939525280255599914271410865418777217147682026333002588026429460326559856865679657839112034759329658679356143912516788456462096763804169826051145858810275430400*a1^4 + 14413018826384090720966067503559303932429926531387664279312668398400762452043414606739971386667421919983294100674045305793113393630277243701511667672002816200781031246499/4768348358239619215980565719953040570168283183687353484230253002472696734795293710815308564951085007443808541332646359071940442416746701176522025358587691085130162389088441098407402047904153600*a1^3 - 30691157682310666146759688003573128863069572640636608315718390909163426718075317375077501482668355796657637597387897961047405305281887979786570007092092361833994678932361/97992217878648529894907853764554738674346886501887229312786330970691138574779650977863526314394864322008507547246684764966158213333421724909454764083455220440286704715786632158322360320*a1^2 - 22868520938390009614492818825017794321767934347678306914417175811623640109469059231338428213561749203658335935685299175132925731662339630235382271044524290325984603212879127/1518246314413405896245849221675136332000003406025709213173240742390703675709758339406877426558288819592416968270705283411528705791768196421467476344066454268014508176654972422074368*a1 - 30030869218865692578594307892465538427237615131443397571735431948313671900272084845977512032671706151319499912990630682114573819160530253438096857696648223193085217568608777905/97346522290158798192846629783068834418402996164448290380623272032232223525424451607330169592693313282736646679288829132880924357308369601676319801890308877269711797153737775642)*A**0*B**2*C**0*D**0*B.satoh_bracket(C)+(-12434841732197498058134433140681374316112016544836380167633379806021950215731980144039264061226867489225091098382097778236915290448258151391/60494474598127625838660008385310534610611109879347034299748199520766147767744310378337176957874024211752588532310194321764796390714185701225492150957735796062872022737636672303110231079596598315009966080000*a1^9 + 7560931918040563936707007107905238685720306838155355483414307355299134823084694467929733276290980039454605726546766283803967291645999149367781/820508824301861244556477978316386374384373777660414419213164598534697099714413931997845824623942385684578294980335751977061582990372527414625273314856442546425673051454490455500084514425952125583360000*a1^8 + 3920832870271756851625673146862976533871322433851404982000313653548533933276861174299503808209105219737924503855642545325238882568398144713285964177441/51281801518866327784779873644774148399023361103775901200822787408418568732150870749865364038996399105286143436270984498566348936898282963414079582178527659151604565715905653468755282151622007848960000*a1^7 - 202796402312048388357410178274833916008895468721480178713181002257843459247911863648917751090180078498492502120354721808856585224149503356283398604665069617/22257726353674621434366264602766557464853889367958290451746001479348337123329370985184619808592187111669333088659281466391644503862101980648472040876097074284550592758639606540258368989419274240000*a1^6 - 82827451189139280653525609646585827032728190350424883191530577366155031262734564079714883107544422616051323422828971438497551413730081043346087232375978797541943/14490707261506914996332203517426144182847584223931178679522136379784073648000892568479570187885538484159722062929219704682060223868555976984682318278709032737337625493905993841314042310819840000*a1^5 + 13385876607640320800626423041594590766173080732180292804293211288060734052776162021106120019203537413648625783447118103074382479072077488736498005104075000768881198989/25157477884560616313076742217753722539665944833213851874170375659347350083334882931388142687301282090555073025918784209517465666438465237820629024789425404057877822038031239307836879011840000*a1^4 + 220555649729058142815829788496785728948094289748952234930837060991918864013795912333826709805272505087195312577170401645004281631457250263904178019464595684634594906700537/1474070969798473612094340364321507180058551455071124133252170448789883793945403296761023985584059497493461310112428762276414003892878822528552481921255394769016278635040892928193567129600*a1^3 - 2579356830349380301427839882690302967664590039590277689660590510959593768384378933481820263527629732549934518860236757306913507284837315452925860389678497886454353078889347/363515765516116638083555369200182286748972008924973399338149672701103760738587855301309971192407349247716745115320382111252664312282695738772609375309588751039762526397000505098240*a1^2 - 127833916182057454415907723830829918088158089111614555157415969808214001918053716724737724144659077442653379080002093680540378420407230674525547311799613683410615433826388392853/122029828511879974942599763830627598701131961003866802756336865225590251712782788339673147067763697562404913216202520850335061872409352207229574680432296028486248406688446214480*a1 + 264270513442773364306505521773889280166639846942846533511342353954059120359932946850663190018332170082918776655487545008020541642657732851208399455878438491306488501811295008698368/15407806630287875624065626746291363472365146591397323580345563791109880266765503578241558973202487065960216315177085965951396701061786894852219025307108084404829344278844219)*A**0*B**0*C**1*D**0*B.satoh_bracket(D)

#wt 30,2
K.<a>=NumberField(x^2 - 10726680861720*x - 161073945185698120308931584)
a0 = K.0
(1)*A**0*B**0*C**2*D**0*A.satoh_bracket(B)+(-14038290468568648403551323447241/305411837543723827309525604466893344054875878277120*a0 - 3335302236134490082093926894808245071/47406156299942495318580685310835157923840)*A**1*B**1*C**1*D**0*A.satoh_bracket(B)+(747809956968545297023625403151363/4726611771510011613123610545320968419896888592384000*a0 + 43827657021698188773364055876928685313/733666704641967189454224891715306015488000)*A**2*B**0*C**0*D**1*A.satoh_bracket(B)+(-13036479098083809997289693364509/114346191976370200944686386312404868014145528826953728000*a0 + 291794785680145400275366186665972298201/638959137073144928901957908893560592560685056000)*A**2*B**2*C**0*D**0*A.satoh_bracket(B)+(-19737258680282778229305927627840407/16801889433262560138811060845904388769425465460287078400000*a0 - 144483780337558921302502083527134306811/325999559731196392296917300455898261510553600000)*A**5*B**0*C**0*D**0*A.satoh_bracket(B)+(-111313542599386649884325/4629648995542442134491415552882586301372*a0 - 591979333857223441019570192615/1437232202010743230072935668133)*A**0*B**1*C**1*D**0*A.satoh_bracket(C)+(-30593331436153866408540138187/2504860566064439406290069691040568836008984*a0 - 206515295566530768670125415987559/29908117727556894835327280332101)*A**1*B**0*C**0*D**1*A.satoh_bracket(C)+(4919262334682951798368445553359/91623551263117148192857681340068003216462763483136*a0 + 84876727206110185158694388741958281/2187976444612730553165262398961622673408)*A**1*B**2*C**0*D**0*A.satoh_bracket(C)+(4947635949868416989913945006461/41552630958329772423064708090733788306785833779200*a0 + 494765278430861386527344821445401/9187773765905478093412540518021427200)*A**4*B**0*C**0*D**0*A.satoh_bracket(C)+(5560263621880170023569287979/491149130600870471821582292360895850197840*a0 + 327050843617647730963115746640947/38118189260611728711691631795815)*A**1*B**0*C**1*D**0*A.satoh_bracket(D)+(-38968785940554856923873766528747/278035986559412447830800620312998142346875799552000*a0 - 4828095638619253190557550081833418297/43156864978939246438483817159723883264000)*A**2*B**1*C**0*D**0*A.satoh_bracket(D)+(212791130882774027210017831/194324221237735708416365167847137053773928*a0 + 12500896739562780387346841709860/30163088893179715763164682551471)*A**0*B**0*C**0*D**1*B.satoh_bracket(D)+(-34121640934827132886280111657/7108050438997153014109163684523604682607085658112*a0 + 3459869637745223773575298235255/68957164694609448113664360026950117824)*A**0*B**2*C**0*D**0*B.satoh_bracket(D)

K.<a> = NumberField(x^11 - 873326592*x^10 - 6553818713205669888*x^9 + 8623423622826593303371186176*x^8 + 8975512651588763322572053296212606976*x^7 - 18706651678036712568743769501260902481245765632*x^6 + 4859002213038630076827883888117265743513294744049418240*x^5 + 5178042226841725088648257957765677714358966215065242395318681600*x^4 - 2582115627715803121225402470937665173181256461878386212201586187304960000*x^3 + 7260364222745688755810219634321162914835554665397029164042020273966410629120000*x^2 + 92107696969220979625632285692845079846044859328978339365980235013213256795146525081600000*x - 7958599070075048582445412292150069504503643260971768927376721358057626458454212963316269056000000)
a1 = K.0
1)*A**0*B**0*C**2*D**0*A.satoh_bracket(B)+(-19242334975951354908599487700386057325473467187309814866445318853581060402872004693741397521351331237077619755218078339235400365295282714683919244972025688913726560666599897320668974820350388888535886985884167072477461/347991210705504453892125151119174815456386853563187551291043127957711790135079598896652455658694141023052328402025343468520232109370117041921015169869855305409700954335497097732566939639926399922813145401393535079378054694165271532187352479080947525146552611605399075549436223250639449971993675951819980800000000*a1^10 + 1756437876274347151661341842205370719974079773012715569411040053076477166582605377424788357722375596608894393738208596255562874114612732251664985360247543254633136245510022205841592449386334762950684284368056127185215123963/56639194450765698875671411314969859286521297780466723842943217441033820008964778466252027288198916182137423242517145746829464861551125820625165229471005095281526848036376480750743316998685937487437035384341395683492521922878462163441951900892081302920988380795149589119374385294700431310545845695283200000000*a1^9 + 434595760897180461210405028814072495446197337589311735232630067229461768151487176827384689794824816345505744950979146273624334567872405152743903260483151836976115767777273374614588192947481558445907279921876273159599589613165200729/1179983217724285393243154402395205401802527037093056746727983696688204583520099551380250568504144087127862984219107203058947184615648454596357608947312606151698476000757843348973819104139290364321604903840445743406094206726634628405040664601918360477520591266565616439986966360306258985636371785318400000000*a1^8 - 50451000002023564396110120187601515026902167245461714020932402012812857374195428691281665897003279388392836217629715942343584101960997075570569367262907294041186033532746465096888163335704122638997628789520122546784904847986378824340491/139676043764711812647153693465341548508821855716507664148672312581463610738648147653912235855130692131612569154723863998454922421359902295970360907589086902426429450847282593391787299258912211685796035018992157126668348334118682339611821093977078655009539685909755733899972343786252247352790220800000000*a1^7 - 10814844386353759261284684059634069521407036547877122507575147734923764460357091904712469684880629324223892706765011633449954497068914818000032003386580572138264713697277517093506357226231975357442788027584274199254476202958445816926370205769/18523780881219014505192547117558316859532219484008298437926738985292483098537924674395189458025144838056257965639015528344475147508667598086347053234470919255048273043500536835812841095775876839117433270747898924495464791610068307963566165530332094004448019688070421885847026688473846461235200000000*a1^6 + 45469875112311720840448207147547136697545876908300762356036907944002816214345541887024248414097595176641456765111833565514794097851798382700239381955078957563622028688069411731508263520349952516641200531517981200463806165002931270581079984683471341/54268889300446331558181290383471631424410799269555561829863493120974071577747826194517156615308041517742943258708053305696704533716799603768594882522864021255024237432130479011170432897780889177101855285394235130357807006670121995987010250577144806653656307679893814118692461001388222054400000000*a1^5 - 276214749231710941497528710205469906749872596693629277721685580887806749767377629246059962838937733981464353056423165192362721654193207310501215494357322222224878686755161295029242256573564360418337761658109813491521006457299226034399645808629915081367/5299696220746712066228641639010901506290117116167535334947606750095124177514436151808316075713675929467084302608208330634443802120781211305526843996373439575685960686731492090934612587673914958701353055214280774449004590495129101170606469782924297524771123796864630285028560644666818560000000*a1^4 - 1074391298149117554583284143029763416469182576282044240820511041327981031662599910507861998635598661946321690009434466579804756215923893045889943052758869646309787699033584986962484287765134801770139689415512845150241278052856628711467144021154409229705637/4059203600449381178177574784781634119401131369613614686693938993639035062434463964313967582501283646957019226875159566968783549418490511110238085168790931047553585084812723721610456945215927511260227523907996916704200819925803539499545396586185889648262196535588718049194669611417600000*a1^3 + 39897158312937337340298738130389472035720338168140010893977023945506990051388561294095149581994561688006273984929248446203673086884312913010805866836295499122742383808580124930145193050523622077610595290978930107072961804392523912354403036511910459649764325531/561576018942378580965322032399802897378086208361258542267227888117379525239142963812967520365574723293207412572247010404209963705357573965446349673416714093492927624038218613829571680246344138113801008353157125520600699371245606864357680191773764030114398934773829808238194851840000*a1^2 + 2025781710943534029786685982379240078776346098807584652589238591428801562042282322296788298461532093320954816131044895449235124147126199560730151386781181031624826505652972303592602772858342260340944455742307595912522783223807882103438047420009486497040248852767/204023095609529978784950631423151978039727422936306378416235020271439152759058984597693859414808990221734696369079230319144826146210288625606845555411462000344749677399487673016347133181015791434806100156205359148516227857043168881500854561859771739456321692611632504504320000*a1 - 2992537208804757731026050231340078026289005349475828204087704203955617991352184523933869046039785020902105632150177264096218361132931468296286393896214077798870632478682343250951011633418535981979758699055469708085616632104735166452863947741547290256658507554741/1479807667158211674889916451271329868942523109486309400416700178133001319193913693153486405115674424490588156735954663239303841974216317483245581645176068476765222867167536992572983491139971285079120856980052703828527025896046640009214782256878961224842648194749312000)*A**1*B**1*C**1*D**0*A.satoh_bracket(B)+(66821660507361444172784025264392047476788860829865173890296062094381744567479312495190734099618680252497802388613321524326892740419963978147760074584977137017936143049496760181852397854514053326992423374746289397819551/5509860836170487186625314892720267911392791848083802895441516192663770010472093649196997214595990566198328533032067938251570341731693519830416073522939375668986931776978704047432309877632167998777874802188730972090152532657616799259633080918781669148153749683752152029532740201468457957889899869237149696000000000*a1^10 + 322404398710192711095351226381392818628865356435289146787263733098738495069412518731600985080870190574559969447524883215391287938695118273722496865808551896298235335422525745576215242371996285975064781171292816225150809967/896787245470456898864797345820356105369920548190723127513267609483035483475275659048990432063149506217175868006521474324799860307892825493231782799957580675290841760575960945220102519145860676884419726918738764988631597112242317587830905097457953962915649362589868494390094433832756829083642556841984000000000*a1^9 - 114947564556018338325504374375446591437561060139720996911608853976215829419062779536674101044804854611980179738796353845310011172584998448816478278392364335490068089166265973802743731034709293382517789021590230384435218463857638103/1437159047228296312283329079840314271426154724664620396655877579299736351723198171552869282152483183040345942318143388341025417160084656239153498076855097236043015641948655360929651472990161341160929049549260841327935251782439611518959783810028772376467386799022225151266176977296084661993016918016000000000*a1^8 + 5260398541151407313456115407923829556126836275647864187541580032021984804292400846258666605706995567104734513538388016557685915107286883210632619297227870701393392474629225617556727963026425523536964631623762465577220134316312855420037/170118258431379771813841036912915988568436875552156770437485508913321064361174025988739261618428407083374282944855988203246379872169111770733131874627734047827061510647331363746407608071752052694238760600054550346583244765913779772604141075997724002896234232838805060519197085380691839724552192000000000*a1^7 + 376487077004204815101871154398760132404194012629767895456903822276912662533540309739114228642698079405521650959641616807037034295182143578877702566358201673607719464004316547511882298544226897753183148608267814484003003405337211754276280005011/2639638775573709566989937964252060152483341276471182527404560305404178841541654266101314497768583139423016760103559712789087708519985132727304455085912105993844378908698826499103329856148062449574234241081575596740603732804434733884808178588072323395633842805550035118733201303107523120726016000000000*a1^6 - 78057019045213228535883238757505674156060412052647695655513727354719103895369347691074803229720116451703589614067079982882450943511161953058240968921372127049510484027666814393616810302440010317571111954477102063932273897244591932773289582984737831/859257413923733583004537097738300830886504321767963062306171974415422799981007248079854979742377324030929934929544177340197821783849327059669418973278680336537883759342065917676865187548197411970779375352075389563998610938943598269794328967471459438682891538264985390212630632521980182528000000000*a1^5 - 255711942496197228038690374504857287869358707070774215932028010838934915493073455883296408019869391392423394005857151791914529145885668162393431803088726972292699347699744860376315995858122987735072387238009617656314513631175770498548456401126141216711/6454758217576123670406678919308149270481552897896357138718238990500471754665018390022949066574348888453500112151022966798361041044541218897757053585326625124232900836403740367163951228577204116367032567248162481700710719192785443733430956786894977754528932829514613808688631554401894400000000*a1^4 + 1140830213574453160582769912110082054581005829713076667682739561096791070274591976101268057630125999900199245985010714767955178907359177283927735720618613583663051258353164484512401100746863393003370001389053255378543515357006586641440795122430001311751247/64270723673781868654478267425709206890517913352215565872654034065951388488545679434971153389603657743486137758856693143672406199126099759245436348505856408252931763842868125592165568299252185594953602461876617847816512982158556042076135445947943252764151445146821369112248935514112000000*a1^3 + 38944223185509604529119840663281310107020840750147242662589920182506737585629334389955713273391040116536674634928510938920260489624629770766999456382251722584745840145679596697736575117393926497870097573424307542213526192885049477940640271486660181506946052879/8891620299920994198617598846330212541819698299053260252564441561858509149619763593705319072454933118809117365727244331399991092001494921119567203162431306480304687380605128052301551603900448853468515965591654487409511073378055442018996603036417930476811316467252305297104751820800000*a1^2 + 11262955809266385357302491600394333139065475297864513372973071509250813383107257986744251457550739620316989196526485317518093068281258776730263294789780425710049143218487235158528487160781136590805170113860540698843211612086063529977652242136343973120673035081203/3230365680484224664095051664199906318962350863158184324923721154297786585351767256130152774067809011844132692510421146719793080648329569905441721294014815005458536558825221489425496275366083364384429919139918186518173607736516840623763530562779719208058426799684181321318400000*a1 - 15542679692499297502340188363877303934966627041956902518749608534791768287801287869271357693866361124588749244053148765107806031558888225683466537953058850513464928502800019313031579729794752487163429086544128425030961749035187552279500019008679050183535257788089/23430288063338351519090343811796056258256615900199898839931086153772520887236966808263534747664845054434312481652615501288977497925091693484721709381954417548782695396819335715738905276382878680419413568850834477285011243354071800145900719067250219393341929750197440000)*A**2*B**0*C**0*D**1*A.satoh_bracket(B)+(239267902772379624696107028951203933756636131814427608142081527933502662204566537006052876232735850957036283370880542720786127055138558666185338069791296113757313332703689811223857985717382923831290353941915109095001003/1298298506905626439022309273609728317060187013022338578280245016800579870942163745714006583993228717695555424101980320904125136753178431508998496428085879921145947123080473502597421088061046804758833468801834515626495252216733817275152922693627195352262948964746774464470152779730373744977591383621632000000*a1^10 - 25926571856554946061861560405332937433184372955984768366769564030445469582469653052004191202139135246131424972281447444511539903174263960968728940968945060955623616130437891657833514072632338914893016449638338734886798554949/211311605941670969892953983334916718271514813317437919641966962369886046702826130487305759113481236604094307308265026188822450643420968670084390694675436185082348164563879150813382338551602670045383051562798586527749878290484019738794421011332551326865714349730920322993188928992573851721613180928000000*a1^9 - 5429708320147272644881703483954202684518168277244720956517479580413094264328858179033485034081283475949121879284458270325241357523783137462586466302833973271691889044424401253857898577871683928469264618237194577895411641383523864167/4402325123784811872769874652810764963989891944113289992540978382705959306308877718485536648197525762585298068922188045600467721737936847293424806139071587189215586761747482308612132053158388959278813574224970552661455797718417077891550437736094819309702382286060840062358102687345288577533607936000000*a1^8 + 695148645091410557972863263766579473609793059162465039809789698344567918288936986915698525415633334111142047081137674173062009656232137147013394489330955981104840569525081766414362613060306432807653095481314414849468068545775376553219893/521108561054073375091130995834607595169258042627046637374642327498337986068759199631337197940048030609055169143251425852328092061782297264846686332749951135087072296608366750545943661595453238550995924979281552161630657873865657894359663557776375391773482751664398681623828443104319197151232000000*a1^7 + 400212086340106573675356230339000078360216624138345945927845495565165034350770528974273767018891115358863490618290031279630951346368656357225441365662373302709488538556808901573831708054857552721106117613087932491588813940105673669124181455461/207327624840668660518028101641373102823417189991952872219367245460131577211962933881102039110985544585489252769667450968446506534997297088878528271855087618849746645786025544560379784344255845777667649550495409207824697504793194330076544384242626204770989231347959544916887763098506625024000000*a1^6 - 618042150893822504588762641235993641940895260289917381482854875247926242457440929535700994762474309510863803922664783206650012222662768777604397110620498655665149508750878902048175190086212395698870758532091015206514746089461864263247501883476191443/202468383633465488787136818009153420725993349601516476776725825644659743371057552618263710069321820884266848407878370086373541538083297938357937765483484002782955708775415570859745883148687349392253564014155673054516306157024603837965375375236939653096669171238241743082898206150885376000000*a1^5 + 5351179447463144869817914763769738588304957720689883412386397932927981037698696157526954712509464763795947224276582885765030585375371995770919898775704196873016303058944091921419458256829553788637990224590375559903471224072359936830858352333146735274921/19772303089205614139368829883706388742772788047023093435227131410611303063579839122877315436457209070729184414831872078747416165828447064292767359910496484646773018435099176841772058901238998964087262110757389946730108023146933968551306188987982387997721598753734545222939277944422400000*a1^4 + 262612017715062308450056853002633855079722639197498458059160174965607090471234985250812463578959717948367667775146287953525140100627115873363531249132461304086285032168048664244755968169449553249492302746786078840318112621411133420088251906205540663447235787/257451863140698100773031639110760270088187344362279862437853273575668008640362488579131711412203243108452922068123334358690314659224571149645408332167922977171523677540353865127240350276549465678219558733820181598048281551392369382178466002447687343720333317105918557590355181568000*a1^3 - 593927889127067018070252143222154189187890073685217868618262006981900706857093515968437938718793076836663186684599016767892402697185867330464072108817751468419006415955543600807862053066218868064530501157918585250344315545640624871681810895136758564640185561893/2095148625819483241968030917242515218816628778989907734683050728968652414065449939608819266049831079984154639226264114247154253411658293861046617286522810686617217427900015178444338788057856979803219065216635592432033541271096756039863818379294330596682400041552071594973593600*a1^2 - 42911623557832019402984773437229312102442810159933673076184014371317707660183531221949874298667474695078135415903308471118655432650646555587996213664077225157307460542920142323385953367733380713244269948376180709180268784043643774036468910905991183151454477501641/761176927046815142665329312730522235258784985856522236663473484936179175264431159467722308222391430077018606722246484028826851040670592484627357587005183151469355057452979379724534820577660326205015297014739842163098123194775084010483448711320543051831345346197245132800*a1 + 60440331283026800950948141947133394063483072028831016362893074132845359919116181076741588954713569108717285878848002722765833066230889382322200163448947632094972964407588006875611209130684476085443347550924924222035223465785840816301896681000015388122911763827883/5520921292477387201122331082615869135248865216507055828443800691718564140256766593640059169811565143602112916868641058076360826792965504109246166767377816186547772194696413959538332113193489396238749635999382628582891495338662678097056913860286451456135236108480)*A**0*B**1*C**1*D**0*A.satoh_bracket(C)+(-1698708432470116431188986957976928734803983597395304949247523086948888215254457815491413748756676198267979987431403935225084622229802670776083053900423577439224102852985907052781062981891326244193733421896137110818960251191/6235439217888411425193257594642278500547398181987842782907065650133896102386114212054214954789701258043375911867566596786756559572904189108495556456001351065725951599461496349974836281270972015077841854328810770883917475229813250190942787048003946566840663222353258469635817100427267236295154173005004800000000*a1^10 + 161560506313552871773173422300065056450062138104964641931805698810663522545992983765270630485591613637295843940107477250573583781108914695883734585906131962511693454329612765501673326277928095294973116500740887497160195804044153/1014882685203191963735881769961308349698469756182917119613780216493147152081073276701532381964469605801330714822195084112427825451319041196044198641927303233353833268141519588212050175988113934745742489311329878073554276567352417023265427579427725678196722529679892329042287939522667193407414416179200000000*a1^9 + 38303025111932153754929980822319876859221716500175406425004914452162636799868896176998457365589989494332021193232943601938895956764665811787599477008411909750600578616342803934909432451944085854331733256636551599542352795204573306547299/21143389275066499244497536874193923952051453253810773325287087843607232335022359931281924624259783454194389892129064252342246363569146691584254138373485484028204859752948324754417711999752373640536301860652705793199047428486508687984696407904744284962431719368331090188380998740055566529321133670400000000*a1^8 - 4583072278188255817896506103607510910730862606366193227864922368999135592043723583397882430873563500388018997487762919137541882461013827160425922899879966272850157373428933532347042316637177702157285426490975208883172428429896736197638529321/2502768616840257959812681921661212589021242099172676766724323845123962160869124044896061153439841791452934409579671431385209086596726644363666446303679626423793188891210739199149823863607051804040755428581049454687387242955315895831521828587209314034378754660077070334798887161464910810762444800000000*a1^7 - 8495137695487200524088183798009804815210616033196361325742042727254554756141216988267471375310443924014969111852471351357744088870350868178473902061476583928193904892712997072604181781093876088251688055434815088396715826427914221480250339092895051/2987245527912634283630588231149450789847402679134054300560716395004729141662365939003545213524116721569257650322958522703700081658419388888924794850312054108260099588033651387874138726093486311246561383940054687669407516548228608305852877002962505900408669841671850443010824519977649622220800000000*a1^6 + 4135894773181573685711381016819051495130006953290866731882384482830825869096049426641906784305011665569406446947933355693292048238127111053191724571866429450677421528104588012919960958835605526946402434428049911604476646789419409117502902454140176540671/972410653617393972535998773160628512320118059613949967630441534832268600801551412436049874194048411969159391381171394109277370331516728153946873323669288446699251167979704227823612866566890075275573367167986551975718592626376500099561483399401857389455947214085888816084252773430224486400000000*a1^5 - 32364033941997809977540184418110331399189462173021726406319764160275817856686166414370934929744951033618871164681627263266610887558815482076175133042380158616245998555672089643669573056231230201301245942302304742784898397221294990811403835714816718627270637/94961977892323630130468630191467628156261529259174801526410306135963730547026505120707995526762540231363221814567518955984118196437180483783874348014578949872973746873017990998399694000672858913630211637498686716378768811169580087847801113222837635689057345125575079695727809905295360000000*a1^4 - 133398187247310083381986991960852986740248249089693603166200085691355892639265046048811998226287159292340815697797173998437248975057294081440597425511674169616737763208564493252444558379170548253533457727800576866243191101457915381712704710297453432347274985843/95114160549202353896703355560364210893691435556064504733984681626566236525467252725068104493952864815067329541834454082516144026880188785841220300495371544343924025313519622394230462741058552597786670309994678201501170684264403132860377717570951157541123142153019911554214553190400000*a1^3 + 4043706311450776731110087020220400759762615331603015448773067523260742970414255451070217869009899406794543099809803906763765302538600174075861774283401955367531459767469969038277577726304078070292518368778570806478761439963479243407063187635377380078460538601670361/10062533261227462570452015155311968925927642107982084647963874195518888955331008182176801419444883159146120475617251815370360289302103305793748892467772054658781024813442017343139616012644540883554904899332119275874961091271461919980345949938333048893510749088454254965859287040000*a1^2 + 275004830205563352749247996317237335787187649674796408211994909173267492936140701788288145601107005049423561423250991526133572776099934127982828448290503970400013127510660547954341583994052575342638947909411509724453324776482730947895766219473141450282573632012732877/3655763630177620504634317726975202624340109001516463742197626820707371650089448540888032974768096618342125475063233808016226737359220706683113059077588782413584763595378337076510335291052151955579087357051347741944435152788239222928127452282981163712823322509930657873920000*a1 - 451416535385700485729742994932485184343066993062761357600437192948649836503436733474486553719609003965435671480752724457184923015585002096393083681803786791339568395092629166224283505341477288951326959870380910747253644655993559231573288125644191929098002008432548151/26515758096370562418723640116230104819014688775946387576053698322170548329177637334454617512789433703577925647960778859483410748680659323902462839835545122740391939235083610377893822843643175461379994779563701568943942765112632695638365011290097984910160620087672000)*A**1*B**0*C**0*D**1*A.satoh_bracket(C)+(1161734068100424452410398297819769685428276780834602621914811288956998820454615021883301988237598571760136039234609621530157264647362353737798479340466671650773708683014924566617399269926861278592925244669222775341753551/45934839813126587913760519947731075640243064670340756770417692890417956297830507054358124146947626615042907349067345337844670638436855449533574002422820900314080525972285616900698836032470284789811335192983946630477903219629815842248730527238685073319344944731912677972525581469084407396303165225640237465600000000*a1^10 - 117328408422887096486794030230372284230710653632501964236813854761888909876610118878124088824807063283246585761677669020475332774650110051227011786252016105257956978088547579498139949352138137192304936029558795668325180552033/7476373667501072251588626293576021425820811307021607547268504702216464241183350757545267602042256936042139868012263238581489361724748608322521810290172672577161543940801695459098117843826543748341688670733064230221012893819957005574337650917754731985570466264959745763757418858900456932992051631777382400000000*a1^9 - 26223696299018544764592649138762731122551274172341595027844632581736312614948704557267094924717595851561316607288654402706463901695496989317356090571260654530449405380836264236344370760718483738875084259827378390297383225362478789339/155757784739605671908096381116167113037933568896283490568093847962843005024653140782193075042547019500877913916922150803781028369265596006719204381045264012024198832100035322064544121746386328090451847306938838129604435287915770949465367727453223583032718047186661370078279559560426186104001075662028800000000*a1^8 + 3235281633608719403202149406386529950027778605816873156995824130273422833437515900867610638426705407367727525553548383805969881585613618383134139820086161601226310239842260247677353864962743063797516177238567393681872250161981332556174481/18437237776941959269424287537425084403164484954579011667624745260753196617501555490316415132877251361372859128423550047796049759619507103068087639801759471120288687511841302327715923502176411942525076622506964740720221980103666068828760384404974382461259238540087756874796349379785296650568309145600000000*a1^7 + 1924603943360511849338844805739481081632100131111862170578605488356816743720375396912200776879349604558341898374565007261337521173953444445182366770452824264389799964247273536208849298285194819934152806631031196215059194668315612213981613582337/7335417228962729744056248658553093476374758915667286181418988638175823307021018171060495025377957355870278154393050149224412158413432368842193433080850484024999116125226212586981885073927247228290503575216167974100204057477587049953572201550011509225761415796475887066795422568635643198649139200000000*a1^6 - 2883589270023636631894020133869284849041929037174259550017357882493387769905482072798049259220412013191071828572886411468375142313816124056790969448678637330716917479850148003367048006897563189805421333389807935854861498519715612965342697946445231831/7163493387658915765679930330618255348022225503581334161541981091968577448262713057676264673220661480342068510149463036351964998450617547697454524493018050805663199341041223229474497142507077371377444897672039037207230524880456103470285353076183114478282632613745983463667404852183245311180800000000*a1^5 + 25992569179773248885587222048621610169000505182968693619440544485949662238835329090323393820802890180095339795507920421569773812873658713791018594344862623701799867043389451120752888852786656179256234902666211775442020731331827718882248330240157386157557/699559901138565992742180696349438998830295459334114664213084091012556391431905572038697721994205222689655127944283499643746581879943119892329543407521294023990546810648556956003368861572956774548578603288285062227268605945357041354520054011346007273269788341186131197623770005096020049920000000*a1^4 + 89741554948861127700563043947885745472667759158634942553058191698938035163899118220643702204415048524273028733079454457902442070670021865070757970946392843649761355743580922943066830956291307682155454374440741059389510823063709473209141863120801014110409323/700680990723723951063882909003845151072010676416380873610861469363538052315610548916964865779452346443965472700604466790611560376545592840874943316828219174670018840793827079330297337312657025789842351049965006237248203070269472510536913072261625874669259155835467946337910662155468800000*a1^3 - 2749303773212680880171565366391072578966643091832004121288998905022311852319242346576447725798783329989970194946011128994348043302614215202816302264493216857680191286613372989167128390320315530075959643076215218469750219610395347635336267703524068201142190633921/74128034500393972687422508276773982453907379503686127579274081231494097331566871223311712688255863474703378459536605373355715209107199763438918156891006260341066446373044857025503461792517426231021733102616740568719292317004420106095213785314136851975100659390145534687441720442880000*a1^2 - 141104005168043928653548955711795476919396379722144378710880840020895537224243400947390578810065617646750503772600251497177956350190909592257031151338596641063758682721679379442693025900079721529610347568256043077517652457149436985539422307988326948263419260175797/26931048620457957199613483347856061101244019827592441950943022675829968164195785966895589442754786709268979920718458402127117051299758098580103613314312984045506957416732372838157821579894084469394405220619107407604142077129698292358112802165489869608234463424735490594570240000*a1 + 210670601828288981759868305512328788998947444290969094612327502576782486428109862130975180552396257445893878873024483831446579637910776762567925049880319705880630537379829479301647677092972266978415643620477865404818842571681188837685466197740921000211224916379311/195334612064883941085468971567815542700413050452192840855004423513556174133596607496260205475269024032757636689146015547588107140596553907788416777163241038933009418466114883019633820830476209630443953121366956905365567418278156481216351257908022881679229561706909184000)*A**1*B**2*C**0*D**0*A.satoh_bracket(C)+(-26089123358202851041259161229344091208891806639849259746915032605076213817886955842495277708833662277928877467513622633830195595502081393782414639904856518639554938965958116971722401498963245300605250144582818985265913/1020774218069479731416900443282912792005401437118683483787059842009287917729566823430180536598836147000953496645941007507659347520819009989634977831618242229201789466050791486682196356277117439773585226510754369566175627102884796494416233938637446073763220994042503954945012921535209053251181449458671943680000000*a1^10 + 12996064181786379641962685235141837345619168650318521571027903075631648288634221987205830502057662441503693967991010845101852248913775877274466456460460601548571847840947246181954762127588900562454721887756509546769858151603/830708185277896916843180699286224602868979034113511949696500522468496026798150084171696400226917437338015540890251470953498817969416512035835756698908074730795727104533521717677568649314060416482409852303673803357890321535550778397148627879750525776174496251662193973750824317655606325888005736864153600000000*a1^9 + 2944411198508969652088538886104473388842725643626171104645975656136800811468235843691499723292166069216862321168733156778373852971574786728573603895657057923112557298895413941820204609423766416525207508907827386575428770237318158273/17306420526622852434232931235129679226437063210698165618677094218093667224961460086910341671394113277875323768546905644864558707696177334079911597893918223558244314677781702451616013527376258676716871922993204236622715031990641216607263080828135953670302005242962374453142173284491798456000119518003200000000*a1^8 - 360349305097250214178548870534055129208059234484877758761077781435706046035314111228504970359503458319405983371836937491461343964837478573563043244119026693611406690342245854607707414595395964506237642194205604479954768464278805231631171/2048581975215773252158254170825009378129387217175445740847193917861466290833506165590712792541916817930317680935950005310672195513278567007565293311306607902254298612426811369746213722464045771391675180278551637857802442233740674314306709378330486940139915393343084097199594375531699627840923238400000000*a1^7 - 72186284221118689239845909990931090099346402292314849307224027850236445924561922645198562642957533652675972648929769417159886043127758042929096017715921628921463725388085785608321509026054299693320311683262926645895686068003844919008604208177/271682119591212212742824024390855313939805885765455043756258838450956418778556228557796112051035457624825116829372227749052302163460458105266423447438906815740708004638007873591921669404712860307055687970969184225933483610281001850132303761111537378731904288758366187659089724764283081431449600000000*a1^6 + 321695467530499986850117174009984202975374839480836446994868577314356777817719848418407789779820027157863609830730307749455088563770123267763045081651365991117349757531135922606443705410591088520596535886931064535996342250278048349233054525894402421/795943709739879529519992258957583927558025055953481573504664565774286383140301450852918297024517942260229834461051448483551666494513060855272724943668672311740355482337913692163833015834119707930827210852448781911914502764495122607809483675131457164253625845971775940407489428020360590131200000000*a1^5 - 13923384510741828844547988919358957563645714162811925721285338605392442705517174409577748174125528753372088438388160379342256721614454353080742439562885189934878813262002861903006671545210044920742734630206227172321487145903245636594986467298946709489259/388644389521425551523433720194132777127941921852285924562824495006975773017725317799276512219002901494252848857935277579859212155523955495738635226400718902216970450360309420001871589762753763638099224049047256792927003302976134085844474450747781818483215745103406220902094447275566694400000000*a1^4 - 50040378496764923317600202674040821354985022735595026027486508118108517109189832353897596174130391683679266658978006607777974518455835622367884718842144162744816150288493703005709234519625967039796709484402782477968910113544924234535409191428544294544164149/389267217068735528368823838335469528373339264675767152006034149646410029064228082731647147655251303579980818167002481550339755764747551578263857398237899541483343800441015044072387409618142792105467972805536114576249001705705262505853840595700903263705143975464148859076617034530816000000*a1^3 + 1520117481697505725705357679194359406508494391832422055207585802647294051148979716105814749958594541857357201004158801119187340859601266722944212448902864716095882045308062113627729850962527396665084157884834029085265716551136345352638866034662258712141065652511/41182241389107762604123615709318879141059655279825626432930045128607831850870484012950951493475479708168543588631447429642064005059555424132732309383892366856148025762802698347501923218065236795012073945898189204844051287224677836719563214063409362208389255216747519270800955801600000*a1^2 + 15598554046112555796982452950640867640866870472471487787672223932600566456062540497328032269865649048144927695146295684407360154493507803207710515517914100686036292929127374204339561990896521797260620249887060848592662972498236718392078692631708898915885990321167/2992338735606439688845942594206229011249335536399160216771446963981107573799531774099509938083865189918775546746495378014124116811084233175567068146034776005056328601859152537573091286654898274377156135624345267511571341903299810262012533573943318845359384824970610066063360000*a1 - 116850764439950302004313196557568172700746749303188658155862455181480521232172001074057978639749321522071384998683012358077730926281420764058081977367594995321102840652700623228835204114191641857663622078984035494711611999548476232443907129598163004428711830946097/108519228924935522825260539759897523722451694695662689363891346396420096740887004164589003041816124462643131493970008637548948411442529948771342653979578354962783010258952712788685456016931227572468862845203864947425315232376753600675750698837790489821794200948282880000)*A**4*B**0*C**0*D**0*A.satoh_bracket(C)+(162941420621032491761351520387599624022097792294946766714879767482686112077554925149429021049564161633663475412959928112797887054038885568201482719125271572426214546871531713260552994524556631248015594906859785140692466971/3117719608944205712596628797321139250273699090993921391453532825066948051193057106027107477394850629021687955933783298393378279786452094554247778228000675532862975799730748174987418140635486007538920927164405385441958737614906625095471393524001973283420331611176629234817908550213633618147577086502502400000000*a1^10 - 29341597564296967849887381710120829575978408016624014461904645315831101122082292273530909173297459947850743846673655033082629728022545445650599357718489776006014472773303200804496930714814421229461800500597738352840479446292693/507441342601595981867940884980654174849234878091458559806890108246573576040536638350766190982234802900665357411097542056213912725659520598022099320963651616676916634070759794106025087994056967372871244655664939036777138283676208511632713789713862839098361264839946164521143969761333596703707208089600000000*a1^9 - 3614257755106325740489744142678221972168007559456266066714525948198578914906735929855444878543494948766154690927051437430073456086192767474059570822904287999142620044889569003956545911774039518777463130383171996210842596221027869690519/10571694637533249622248768437096961976025726626905386662643543921803616167511179965640962312129891727097194946064532126171123181784573345792127069186742742014102429876474162377208855999876186820268150930326352896599523714243254343992348203952372142481215859684165545094190499370027783264660566835200000000*a1^8 + 675086900864750650156589730958926208871772462221874953731605365926373541589837002313564355944312943001592817932228005913355097680058618888093623030602158491536647748600770807705774917681927502216141678787354408606250096500278389634143964101/1251384308420128979906340960830606294510621049586338383362161922561981080434562022448030576719920895726467204789835715692604543298363322181833223151839813211896594445605369599574911931803525902020377714290524727343693621477657947915760914293604657017189377330038535167399443580732455405381222400000000*a1^7 + 216339723456002330344559756310728855206219648014350026228873905160630335115617617613328254651702132425904210588200653504301726493207633444923410799898760572731514069110788002720492549337609544957784841775177134152107566399703901467587481603839477/497874254652105713938431371858241798307900446522342383426786065834121523610394323167257535587352786928209608387159753783950013609736564814820799141718675684710016598005608564645689787682247718541093563990009114611567919424704768050975479500493750983401444973611975073835137419996274937036800000000*a1^6 - 569778728160543109937994064105469973935105506412819406522272587415197180512234598574474779049524561153541002668990492817636078666270903951654022306017671372417782208621785448502246267630070581057786758825863555973007173140128926793615473622702981408451/486205326808696986267999386580314256160059029806974983815220767416134300400775706218024937097024205984579695690585697054638685165758364076973436661834644223349625583989852113911806433283445037637786683583993275987859296313188250049780741699700928694727973607042944408042126386715112243200000000*a1^5 + 17123429083076555981806945676483525057560157304443315570563268575399092552046285649232941951293266692561628324437468846957753453412582694941067727683728838107048500453762618267045794716417300217987706423142748957169474324235520132277138784143162136936672377/47480988946161815065234315095733814078130764629587400763205153067981865273513252560353997763381270115681610907283759477992059098218590241891937174007289474936486873436508995499199847000336429456815105818749343358189384405584790043923900556611418817844528672562787539847863904952647680000000*a1^4 + 14429107553197284871314439522308419829906791801452330538438909507845198947585335201585002296907532124100181251838223430107768892742535934545590012435935823033766490598802625680935975768966152951588181840644495862307002365392879125341485054595272997531617234827/36367179033518547078151283008374551224058490065554075339464731210157678671502184865467216424158448311643390707171997149197349186748307476939290114895289119896206244972816326209558706342169446581506668059703847547632800555748154139034850303777128383765723554352625260300140858572800000*a1^3 - 953241122684300707719796121297390369459373373948180424037392027592741145068296702353234807485843049639912921001460824799379955231506046143279788408652175584100951759445420700609860665461899422375691795534932563438422921530883313093669083282347399450597305060050101/5031266630613731285226007577655984462963821053991042323981937097759444477665504091088400709722441579573060237808625907685180144651051652896874446233886027329390512406721008671569808006322270441777452449666059637937480545635730959990172974969166524446755374544227127482929643520000*a1^2 - 56786324142685570927848353622430577065447098514227670610315914064351866248888205640886602318954596541276516141109478896514303304328166695346222707049503063573218961981745125367245763529984083511814014146119813090051395122094686889569538990029363497602523087108927737/1827881815088810252317158863487601312170054500758231871098813410353685825044724270444016487384048309171062737531616904008113368679610353341556529538794391206792381797689168538255167645526075977789543678525673870972217576394119611464063726141490581856411661254965328936960000*a1 + 131688952534367793966481475426130671428689039055039898051625322562848345129134653238711232502857725669259342491511118229039776695915019944808612745766145251779563850814385567247695280994300714802324025476060268567151650804043236091829262022093451003097100805924697371/13257879048185281209361820058115052409507344387973193788026849161085274164588818667227308756394716851788962823980389429741705374340329661951231419917772561370195969617541805188946911421821587730689997389781850784471971382556316347819182505645048992455080310043836000)*A**1*B**0*C**1*D**0*A.satoh_bracket(D)+(408882232451480870557482936035366038537795900339229186614186514121431513743961982356265443116189135380357540768935210270231991029563393004001256606132958892796797967898022947176967517221263826084934651102743341922263819/60608469197875359052878463819922947025320710328921831849856678119301470115193030141166969360555896228181613863352747320767273759048628718134576808752333132358856249546765744521755408653953847986556622824076040692991677859233784791855963890106598360629691246521273672324860142216153037536788898561608646656000000000*a1^10 - 59620835714671359324251024284271255297836462373664062037540476638987107016709231612797099975422302648423294974935358137062988336595241767023386122170106561690343979531129243242158360611406871267495407754473397428465147304677/9864659700175025887512770804023917159069126030097954402645943704313390318228032249538894752694644568388934548071736217572798463386821080425549610799533387428199259366335570397421127710604467445728616996106126414874947568234665493466139956072037493592072142988488553438291038772160325119920068125261824000000000*a1^9 - 9005979064478205841355431194947172628121408703375122624813197864381448493372026397774042870133146307165134713487299295477422339328794684332962926724649931871904270410856620984368530506553198020967654307470752914142416461630366475591/205513743753646372656516058417164940813940125627040716721790493839862298296417338532060307347805095174769469751494504532766634653892105842198950224990278904754151236798657716612940160637593071786012854085544300309894741004888864447211249084834114449834836312260178196631063307753340106665001419276288000000000*a1^8 + 1440107672068381627746746621830196385104429473761162224518795712198193780200824610868766784509599929670661051261519608744130483509680318459955253479640648489605325822287641327009121957684577380175783093576647548127968886737068220308779989/24326910955687307369379268278546986365286473203958418172560427774604912203647885716389714411435262212922522461114406313064232321720182983214837858071765968839269796022568385015736287954260543535276142765807800699561404001525670507482392173867674532414161495295949123654245183209438933080610963456000000000*a1^7 + 1675464999941332562128123745465044563009377967143462564010398090393633852963773865240009928574958797179993711092119111802632043910843407136103042202507531273184374846374070447490768705294344333534695253584347697912969141637038552324097199628559/29036026531310805236889317606772661677316754041183007801450163359445967256958196927114459475454414533653184361139156840679964793719836460000349005945033165932288167995687091490136628417628686945316576651897331564146641060848782072732889964468795557351972270861050386306065214334182754327986176000000000*a1^6 - 1198958985399693370230639944385631201930593871528532126830749843153993769516071364763367636064610780483548868536170703126022586607853674969422300928705898870292184498899502692232790424962206410578954952223803192347068430198424030303646342161721657139/9451831553161069413049908075121309139751547539447593685367891718569650799791079728878404777166150564340229284224985950742176039622342597656363608706065483701916721352762725094445517063030171531678573128872829285203984720328379580967737618642186053825511806920914839292338936957741782007808000000000*a1^5 + 34800642963986922000432986554399189412203153865313301418126680396214498266076697370161412664283686952602467554323534432911633363599468442089778311802911045400888957677097614584189484678431927328640568249850377507650166526338928348232912339941791833061833/923030425113385684868155085461065345678862064399179070836708175641567460917097629773281716520131891048850516037596284252165628869369394302379258662701707392765304819605734872504445025686540188640485657116487234883201632844568318453880626820525981818897637394620589774642474312279470899200000000*a1^4 + 22629616011549701209549631077645712174336896122905117193652002310764987655936167862818822067544644849147841958263067453007907814173363325234967228960709635591727661908375469590771417559496670668244152020082083421459096001056366150644477889275805258540536443/706977960411600555199260941682801275795697046874371224599194374725465273374002473784682687285640235178347515347423624580396468190387097351699799833564420490782249402271549381513821251291774041544489627080642796325981642803744116462837489905427375780405665896615035060234738290655232000000*a1^3 - 1700611277722451469669050960991476379699212708198664136329289177434674364923175534931282058730975276253350703736814910332199050286010057513748866798263501501741783039714382779356712075741557953485407487290142114575881892014241478804462310838398852492671698182149/97807823299130936184793587309632337960016681289585862778208857180443600645817399530758509797004264306900291022999687645399902012016444132315239234786744371283351561186656408575317067642904937388153675621508199361504621807158609862208962633400597235244924481139775358268152270028800000*a1^2 + 2115723718574920421491668309322923611857591109018641221668704625848167196163054448658437517578381248163056809236776517430918768940937283023881570705784640770386737592147883126916944640773061074029054312322051022076134602048869126009701318446536398826305063676839/2733386345025113177311197562015305346814296884210771351858533284405819418374572293648590808826607625406573816739587124147517222087048097612296841094935612696926454011313648952590804540694378231402209931579930773207685360392437326681646064322352070099126361138194307271884800000*a1 + 30193800945668611870350252878836045344417474838880837818169211567697065825469369872023664400129684579474462012214899971421457606373149570408550112044520716039204309325373901613033696773387656204313519125214721111919018425853081972920259719822635451331496500934659/257733168696721866709993781929756618840822774902198887239241947691497729759606634890898882224313295598777437298178770514178752477176008628331938803201498593036609649365012692873127958040211665484613549257359179250135123676894789801604907909739752413326761227252171840000)*A**2*B**1*C**0*D**0*A.satoh_bracket(D)+(-840073015130317693145489711865300931978683731732999833462067749218978667449562216183819922941872245310570095532413584780345243432759724385788058888430068123123783053349751909325136859230050453723094868956483826544216833/15459766655921681219487415523906475621191896318978122602248923099505527526577142674514582532536449400107543583142727099471297255139431873822716255676036407600973433717673131446218602350258608301845888895030109349298968946850776653365973852185133751818613214600875847445378058926679174966021043404144640000000*a1^10 + 88311915154347969235880351793112459037689906221881144550550279629309270620430845386885042660253157024800375359255752480867550492307329293707326845632794362813835328128588921097889967539679783632297796989403324511469781452239/2516238062487252802650946537094152933136701874833678808959785660726811120862165148846774500738354394548753838402136572179573120953683573213332723905604884049637603144152527904657975642945737028295229312342140193570795727026493595925451473337424113251727411230611303295146168445097521967125820866560000000*a1^9 + 1453754035953259812051053526762559432859185886077743338123868385076076798615434598457602431780906595487844905929990333915610771481079258861036799235963745719339321220964223710979606549456717589247234659185469958766030565724188347849/4032432792447520517068824578676527136437022235310382706666323174241684488561162097510856571696080760494797817952141942595469745118082649380340903694879621874419235807936743436951884043182270878678252103112404156363454690747585890906172232912538643031614441074697601434529116097912695460137533440000000*a1^8 - 2024044818158358685492528267009735579221144780620294857977913205428413364073561320190209907688451174406008531884646894743902961698195752894649715239698112575244335006560701958486705921702442708127257050515200158625683825675877630946370281/5250563531832709006600032003485061375569039368893727482638441633127193344480679814467261161062605156894267992125184821087851230622503449713985551686041174315650046624917634683531099014560248539945640759260942911931581628577585795450745094938201358114081303482679168534543119919157155547054080000000*a1^7 - 1360130351343050403364041592975699427881813623555640798852266139369239765991022210657866911371338808515876096484280870834520228748284674170289419244987575297912090067384754510633198578216510070789421220565898991599136200255209133518526488698671/2468797956952590317050072918305331231278845189366987025256790409094817472448236313226070424400096464106824504399139274961735604676379660238780822190340540585338925279366654039565403905862385381195505275983516270801163236816717858104010642151208682562321214745183347473562664892543512084480000000*a1^6 + 2108478202938793813285195960889251460588198732835285811463602850098203907811187279727937856633148007832679728174721128544955790179209335816848098613971510292145076657067464976997862326867422541128102103488334477666131438703677067068691398296063652473/2410935504836513981494211834282550030545747255241198266852334383881657687937730774634834398828219203229320805077284448204819926441777011951934396670254434165370044218131498085513089751818735723823735621077652608204260973453826033304697892725789729064766811274593112767151039934124523520000000*a1^5 - 1958165011533779095913314991594734534540997433130240778487758262694541275175862003973598040250930732552157276950492307136066932377451021721847393297659717555183471529743591467720961347423519043615229742138394677941986364828301015408600311829802106402087/18110993876476216808099548033973482801575625414972943711330636898149471814436078535417926673889867812720258451602196876538611226275368178725468724986887275881686029282838777685645205467388339271512437057374193270765181591450015274223992583577146402229317993348806436051314903351296000000*a1^4 - 47737883985679352579058892123655526450652529224427934561483862852941230875404626216126114940966295144382878872928742506573272165645779806603663241099186475980790732286521118156722231952657314450716220210089853129923951511904582016275604797257969566515390801/180333119174472134271824543843179592846571025118449960360982138232186836387614139828763056648719578404843259704985109830730657124371772612922099743282425387915072289121403270460621684341336098751272734180349657260989093664866880028271984977407248183962265558773348398182516654080000*a1^3 + 2196214790586032711810751711044907273376554191729853411667794973787770865643978321026461300292776707881886560334455857794984206998351786213481363884481721694696603481283270267762885999566100379161302334134242261810652321013146298026499251893153955290278016498543/24948429573291229513517392947054468411390848201608474333794729410377410633052086402091243188706321882180463989133682186868661874302735468910121220994476168575490144165558720685470122345399688141045218758674675890599077085797013024744659380012395988992175410963109723055849472000*a1^2 + 61187670400097561005520730864861364986566759283372071824440353383073516767772191155063723264974646150178992358839624135156425692403958259198249200638212785083227601400780032383430800047835722310201864910977500567148897269233919935459313558748385630118042595390651/9063876769035422738762771223905461052082914879792885311233785505886045413444913737738924730829991615724278037346860681031967117419555471115156344820468055570871314699285133247546285845583847823749803364590118368457277238317948486598663104833837595982206584735365267456000*a1 - 1675433053430826699239154271237670749240659826469384334160549602939240152036898237982908244436219493342953288616810623086819791990731133280441974294441483577435148227863093969188798255189501618464766206433246629235771550640927329311892659505762191404219118481253643/723157038991924429601553821351730131427673330253083297528737226968287681704844654576035023076075464643034335853475787076820293145836163379158077450060321529283416524593189373942558804826632058037636221260828224607562075412162709881046318489729945043004380547845600)*A**0*B**0*C**0*D**1*B.satoh_bracket(D)+(-92941522884160211573530210565936437940078315199275491832705079389426530576087998259081761319264429206415844349155152659405332257781989208564836291184785309154079806529180335783085370041485416486916594186272710621340151/14546032607490086172690831316781507286076970478941239643965602748632352827646327233880072646533415094763587327204659356984145702171670892352298434100559951766125499891223778685221298076948923516773589477778249766318002686216108350045431333625583606551125899165105681357966434131876729008829335654786075197440000000*a1^10 + 14115469414545062295175944408798645359323644701808007820157045305345875500469170878930019897647109098130666568162894846159903796411586431701305306072566706531199680201036543060382824145592390147733990970915715245653479426233/2367518328042006213003064992965740118176590247223509056635026489035213676374727739889334740646714696413344291537216692217471631212837059302131906591888012982767822247920536895381070650545072186974868079065470339569987416376319718431873589457288998462097314317237252825189849305318478028780816350062837760000000*a1^9 + 2045938833140753246943313012082310668522282433903589148293176527517762357632539480071749994980764466083802421795648743302731826649679262687531540166417232232972640061405678694470485417100015027707227334719655442098748675981124680739/49323298500875129437563854020119585795345630150489772013229718521566951591140161247694473763473222841944672740358681087863992316934105402127748053997666937140996296831677851987105638553022337228643084980530632074374737841173327467330699780360187467960360714942442767191455193860801625599600340626309120000000*a1^8 - 336630300092822668868745376774890067097299172130238733225063007792184284775454659136348628769938889917829307472311688749609883010464666806442117526917369156974839083338808625666910423755908176386768153640450293134568934243924582563659881/5838458629364953768651024386851276727668753568950020361414502665905178928875492571933531458744462931101405390667457515135415757212843915971561085937223832521424751045416412403776709109022530448466274263793872167894736960366160921795774121728241887779398758871027789677018843970265343939346631229440000000*a1^7 - 125041238205885252371546203543036392658331017457588459159338785239091365235483524323218196086321682665659575193549461936568363316840737304743357532454386185161611582493673547594198795129397537008527754399461311022869290898743768882766486568537/2322882122504864418951145408541812934185340323294640624116013068755677380556655754169156758036353162692254748891132547254397183497586916800027920475602653274583053439654967319210930273410294955625326132151786525131731284867902565818631197157503644588157781668884030904485217146734620346238894080000000*a1^6 + 279012981575636180300394605110645874729443465476699690933295118801447078196782394260352402291487632724404047858332337686081309474761018533479197303077833843030154472634201659122123024252260309072779403280022230242221369708028355766920929936151063231/2268439572758656659131977938029114193540371409467422484488294012456716191949859134930817146519876135441655028213996628178122249509362223437527266089455716088460013124663054022666924095127241167602857550929479028448956332878811099432257028474124652918122833661019561430161344869858027681873920000000*a1^5 - 8411197155459731536024993437853783100649382611737621377335300982766416380445944103463777460532911370462056562911473796090793299225987303784536470241938517636810995610916894334302755916524360868573628246990700908657441992588470752098846848846566549760557/221527302027212564368357220510655682962926895455802977000809962153976190620103431145587611964831653851724123849023108220519750928648654632571022079048409774263673156705376369401066806164769645273716557707956936371968391882696396428931350436926235636535432974708941545914193834947073015808000000*a1^4 - 5274492221498632740056281226120738705999887451436356150872480680314929314733709607512977448757512034220194914318933910029685930600760158009565534273694206866822914937728744834633701019936436233864024158651888649595146770509062485150315542658260661704881447/169674710498784133247822626003872306190967291249849093903806649934111665609760593708323844948553656442803403683381669899295152365692903364407951960055460917787739856545171851563317100310025769970677510499354271118235594272898587951080997577302570187297359815187608414456337189757255680000*a1^3 + 403172031311590279742863869692271842511829144748941127505191781811083275957952329442283097150212859895782862420606897955765227244662517140616585122600324182329554391855965499364112469698459258015529749759704010980584103358433174069837897601408615928765945978521/23473877591791424684350460954311761110404003509500607066770125723306464154996175887382042351281023433656069845519925034895976482883946591755657416348818649108004374684797538058076096234297184973156882149161967846761109233718066366930151032016143336458781875473546085984356544806912000*a1^2 - 459592376014436030138875005784028790526476591294951293735181177919627981942947206691191043936781290808892007049121767097838461513662166508746697845916940849803677847511804512547599884324271073097330761213361335840585969167794854868952841981861119338536912725031/656012722806027162554687414883673283235431252210585124446047988257396660409897350475661794118385830097577716017500909795404133300891543426951241862784547047262348962715275748621793089766650775536530383579183385569844486494184958403595055437364496823790326673166633745252352000*a1 - 7260267411343638645066797560153452772421502947829515489945743847096384738172056426700578439969761971231152955472328414960097692565979805656913469974770017108469802282976069352275466267478186228948168985565596367284193161939696512642355075837051367411194332354311/61855960487213248010398507663141588521797465976527732937418067445959455142305592373815731733835190943706584951562904923402900594522242070799665312768359662328786315847603046289550709929650799716307251821766203020032429682454749552385177898337540579198422694540521241600)*A**0*B**2*C**0*D**0*B.satoh_bracket(D)'