LEVEL 587 (weight 2 minus subspace nonlift)
Existence discussion Integrality Congruence Weight 8


EXISTENCE OF NONLIFT in minus subspace
Define L, L' ∈ S2(K(587))+ and Q∈ S4(K(587))- and Q' ∈ S4(K(587))+ as follows. (See bottom of page for definitions of the Theta Blocks Gritsenko lifts Gi, theta traces θ(i,j), etc.) If we can prove that the weight 8 plus form
     F = Q2 + L Q L' + L2Q'
is identically zero, then by Theorem (see paper), it would follow that the form
     f = Q/L
would be a holomorphic cusp form. And because we know that there is at most one nonlift (see here), then it would follow that
     dim S2(K(587))= 19
and we can compute the action of the Hecke operators to see that actually this f is an eigenform. Its Fourier coefficients can be found here.

We have verified that the first 2313 Fourier coefficients of the above weight 8 identity is zero. But this in itself is not a proof yet; we need to compute more Fourier coefficients.


INTEGRALITY
Theorem: If the above f is a holomorphic cusp form, then it is integral.
Proof: The above expression expression Q/L proves integrality because L has content 4, and Q can be proven to have all Fourier coefficients that are multiples of 4 as follows. Note Q is an integer combination of traces of products of theta series of 4x4 matrices with square determinant. By a lemma in the paper, such traces always result in a series where the coefficients (except possibly the constant term) are all multiples of 4.


CONGRUENCES
Assuming that the nonlift f exists, then its first Fourier-Jacobi coefficient is φ where
     Grit(φ) = 3G1 − 5G10 + 4G11 + G13 + 3G15 − 3G16 + G17 + G18 − 6G3 + G5 + 2G6 − G7

Assuming that the nonlift exists and is integral, then by considering the maximal minors of the matrix of Fourier coefficients of f and the wt 2 Gritsenko lifts given by the listed theta blocks, we find that the GCD of the maximal minors must be a factor of 1, which proves that any nontrivial congruence relation involving f and the wt 2 Gritsenko lifts must be modulo a factor of 1.
And so there are no congruences between the nonlift and wt 2 Gritsenko lifts.

So we know given either the plus or minus nonlift in level 587, we know all the possible congruences between it and any wt 2 Gritsenko lift (namely none for the minus nonlift, and the mod 11 relation for the plus nonlift). But what about congruence relations involving both the nonlifts? A maximal minor calculation revelast that the only possible congruences are mod 22. Solving for relations mod 22, we find that there are two possible relations as follows. In mod 11, there is the one we already know involing the plus nonlift. In mod 2, there is a possible congruence relation
        f + f mod 2
where f + , f denote the plus and minus nonlifts in level 587.

Theorem: If the two nonlifts exist, then they are congruent to each other mod 2.
Proof: If the two nonlifts exist then we can use their Fourier expansions and compute an initial expansion for
        f + 2f2
This is a weight 4 plus form. Because we know a determining set of Fourier coefficients for S4(K($p)) + (see here to see a spanning set for S4(K($p)) + ), then we can prove any potential identity in S4(K($p)) + by checking the values of this determining set. It turns out the first 1100 coefficients is sufficient. And we have sufficiently long expansions for f + , f to prove the following:
        f + 2f2 = 2( − 2354546734789526257812069584285593850804054151478778371603788453001441975457117009847625947050336724745339363717076495681309086991033629206254532383799031342110713354367629250275248967930683340601276225703785916936106716794743178656637658234730667651754095309691625564681581767642911620904880157594717597422065997777548715499697119466141 G12 − 172143928052503892147436225658602906523767397484919645279328533621491105661016411825304526436732719525017668412013330497453018079294842023161669673781236597303352029317331302714425448559402805362375439841932602626969509427798076339703954333159398292609393435301078186673017690008058356230659088570565552664110116373870777064545783113850 G1 G10 − 13607074517020459757721197210055452259379585467609493638701750449483812402226967895501732553135259127876216280847058684577627683938371332157165839483546139699144813218974847722009769711782882566770554998310287519763329914849787901339958876124111445301803075631518775160424849647082850648700891051073794742534057539913514530710012084755 G102 − 21643909729379576742134552134829030357982925685294825335386617475991788983248039722172320543228076947753303362125646191006044743946677220954006767367465120187142338276549695296596650864944387816801933915297836457601726167580118395782619343150970303754817607391534261041261516122337909846190106835896563143261724584841379054467397359780 G1 G11 − 40821223551061379273163591630166356778138756402828480916105251348451437206680903686505197659405777383628648842541176053732883051815113996471497518450638419097434439656924543166029309135348647700311664994930862559289989744549363704019876628372334335905409226894556325481274548941248551946102673153221384227602172619740543592130036254265 G1 G12 + 337582857519960560861705054210634909289638130659595806726339594390380858435543912719073418859542764028178806452236703081843326112026325947995171394998152967870280730704386284564461269526123711945940718040093754064150183584454282199592294986525571852212783589280561403193954514560649347279513416912451618059637394468875404556276921677752 G1 G13 − 40821223551061379273163591630166356778138756402828480916105251348451437206680903686505197659405777383628648842541176053732883051815113996471497518450638419097434439656924543166029309135348647700311664994930862559289989744549363704019876628372334335905409226894556325481274548941248551946102673153221384227602172619740543592130036254265 G1 G14 − 81642447102122758546327183260332713556277512805656961832210502696902874413361807373010395318811554767257297685082352107465766103630227992942995036901276838194868879313849086332058618270697295400623329989861725118579979489098727408039753256744668671810818453789112650962549097882497103892205346306442768455204345239481087184260072508530 G12 G15 − 13607074517020459757721197210055452259379585467609493638701750449483812402226967895501732553135259127876216280847058684577627683938371332157165839483546139699144813218974847722009769711782882566770554998310287519763329914849787901339958876124111445301803075631518775160424849647082850648700891051073794742534057539913514530710012084755 G14 G15 − 16328489420424551709265436652066542711255502561131392366442100539380574882672361474602079063762310953451459537016470421493153220726045598588599007380255367638973775862769817266411723654139459080124665997972345023715995897819745481607950651348933734362163690757822530192509819576499420778441069261288553691040869047896217436852014501706 G10 G16 − 81642447102122758546327183260332713556277512805656961832210502696902874413361807373010395318811554767257297685082352107465766103630227992942995036901276838194868879313849086332058618270697295400623329989861725118579979489098727408039753256744668671810818453789112650962549097882497103892205346306442768455204345239481087184260072508530 G14 G16 − 81642447102122758546327183260332713556277512805656961832210502696902874413361807373010395318811554767257297685082352107465766103630227992942995036901276838194868879313849086332058618270697295400623329989861725118579979489098727408039753256744668671810818453789112650962549097882497103892205346306442768455204345239481087184260072508530 G13 G17 + 1687914287599802804308525271053174546448190653297979033631697971951904292177719563595367094297713820140894032261183515409216630560131629739975856974990764839351403653521931422822306347630618559729703590200468770320750917922271410997961474932627859261063917946402807015969772572803246736397567084562258090298186972344377022781384608388760 G15 G17 − 172143928052503892147436225658602906523767397484919645279328533621491105661016411825304526436732719525017668412013330497453018079294842023161669673781236597303352029317331302714425448559402805362375439841932602626969509427798076339703954333159398292609393435301078186673017690008058356230659088570565552664110116373870777064545783113850 G172 − 598074231259634434988635860236141433127579705260415897670196103561376191396411042848923974629009713342310302921122343599824820341514754062428004058244986630104924967265842994475334963948905711487749649515659532999488507772492956427151616256222863549638998759692347210981602167906672172584182612018139426447534694361093418377897421850080 G14 G18 − 163284894204245517092654366520665427112555025611313923664421005393805748826723614746020790637623109534514595370164704214931532207260455985885990073802553676389737758627698172664117236541394590801246659979723450237159958978197454816079506513489337343621636907578225301925098195764994207784410692612885536910408690478962174368520145017060 G15 G18 − 5442829806808183903088478884022180903751834187043797455480700179793524960890787158200693021254103651150486512338823473831051073575348532862866335793418455879657925287589939088803907884713153026708221999324115007905331965939915160535983550449644578120721230252607510064169939858833140259480356420429517897013623015965405812284004833902 G16 G18 + 290496605526191739615084479483282470295138508413803138436530981660958516014700496621754380369866090822773685136786664778186323174609783270181968868659332152467571620127813519833906721641215201907823430100617173044983707677094712305854647455060390847651911136170560168781427197992758565825171207165943468582047839983188716979594627767820 G17 G18 − 398079106683823828974660423151129155799931081525875442680783152825005906629365150679463725377064787277296988511266657211625749142569584822464709826465614236745836497141511691023795072596396019541678329267113237462894330034097593052961169877577202322785662605033752577910643562039474859097465147116318742074392625512294391278588504687580 G182 + 11628783727058607979534168103487182792874222104330558743962641939887168640214515684583762293983020806691529227299668922435031517402511025688898323245236750514950736962761111380317493509108658009426932468248119038017398235841299475636180180937188277743230401654734228147326677179356627129446833651896944718523844355932807162828646146237134 G1 G2 − 8164244710212275854632718326033271355627751280565696183221050269690287441336180737301039531881155476725729768508235210746576610363022799294299503690127683819486887931384908633205861827069729540062332998986172511857997948909872740803975325674466867181081845378911265096254909788249710389220534630644276845520434523948108718426007250853 G10 G2 − 20196909590094903880136953423135423436450576488915351415184344484759337556115777773731072426994493867289426908308463445695476241616129848231550100866601799650330107557868550397830180401000553568013290566975696115735198891753486091630816160325685007020555435049710262529568146260697119082431215644583930760240161448350048407240955903702733 G1 G3 − 102378252658955080214231001596077109292773606366936266434282470920607800207087175397622485927680728097543811789387867379196501100206413467093751437532488747615973856806883351510385403743827060760726121007875085236918320263503467145077021368638250980410080686062666687547355233106752927176661789268362407467759844119400605081811586798171 G1 G4 − 5442829806808183903088478884022180903751834187043797455480700179793524960890787158200693021254103651150486512338823473831051073575348532862866335793418455879657925287589939088803907884713153026708221999324115007905331965939915160535983550449644578120721230252607510064169939858833140259480356420429517897013623015965405812284004833902 G3 G4 − 373184218680348712259509839782271025474760327454036856759955779229588308911228957680009648684810558902796472657188111309956133913741853718490396099075108805249793303958909897420359311976079681542567484151399772802873157240156697525695318477863394594750680702363044008180466751395383602715370980076173327070563218754459474453659592832737 G1 G5 − 16328489420424551709265436652066542711255502561131392366442100539380574882672361474602079063762310953451459537016470421493153220726045598588599007380255367638973775862769817266411723654139459080124665997972345023715995897819745481607950651348933734362163690757822530192509819576499420778441069261288553691040869047896217436852014501706 G14 G5 − 3632550648535165168874789588986585444359436312446907550131718707949530880748021868733608245582278397365704796660665691961223495452466365865787064064308351380911908075245846170799776048495446935030082135041826942694054129514764100414631176378367332376884391167585840397200590533040684028627884506406322413176078029435409969424112042289123 G1 G6 − 13607074517020459757721197210055452259379585467609493638701750449483812402226967895501732553135259127876216280847058684577627683938371332157165839483546139699144813218974847722009769711782882566770554998310287519763329914849787901339958876124111445301803075631518775160424849647082850648700891051073794742534057539913514530710012084755 G2 G6 − 12389625739509260948533047612140997257631329246530235109055882905058972472383751489977243163514827068113798364934007039030979014821063216645573501413856133928423531097911067005839541651165213175426690889792433977863716410864102827825024767506393510503511863271939309524043325272052069122481310184185689025403004032717405271947714032934827 G1 G7 + 39276487828897197829093124774836228614343679145171376813078317499806576749407397016978595857501977869154523981002403255082633206954701175700179858557498143935607135602261134126559082344220727856366671653301262299942383196971762060956078461867193438758357662792137669515962819553916207802686191137144142097516956403182235563371652794589754 G1 G8 − 40821223551061379273163591630166356778138756402828480916105251348451437206680903686505197659405777383628648842541176053732883051815113996471497518450638419097434439656924543166029309135348647700311664994930862559289989744549363704019876628372334335905409226894556325481274548941248551946102673153221384227602172619740543592130036254265 G17 G8 − 716161816685287355669536695266076434704188708821552296773776339446516442222471994500091187007118901467169277939318878135664614944124806955640307341239270510481305958893413038000514195356993819303713420963699343145438416571041468491576782953900602384305425033237830271601307876162255297300046897424936565396529344205974448984737478145 G6 G8 − 2635023553198628920707727987671475874501206363396815640658071059026755533806270344030145546954906691959813548119216375792696335520780747467565711904877637152818143082113821014264381204565421534658451038389408622115820964445394635523694722133721492450410940855496111441550922246739176923671989088281513273851436694592152864346947220629099 G1 G9 − 40821223551061379273163591630166356778138756402828480916105251348451437206680903686505197659405777383628648842541176053732883051815113996471497518450638419097434439656924543166029309135348647700311664994930862559289989744549363704019876628372334335905409226894556325481274548941248551946102673153221384227602172619740543592130036254265 G12 G9 − 13607074517020459757721197210055452259379585467609493638701750449483812402226967895501732553135259127876216280847058684577627683938371332157165839483546139699144813218974847722009769711782882566770554998310287519763329914849787901339958876124111445301803075631518775160424849647082850648700891051073794742534057539913514530710012084755 G3 G9 − 2148485450055862067008610085798229304112566126464656890321329018339549326667415983500273561021356704401507833817956634406993844832374420866920922023717811531443917876680239114001542586070981457911140262891098029436315249713124405474730348861701807152916275099713490814803923628486765891900140692274809696189588032617923346954212434435 G6 G9 − 40821223551061379273163591630166356778138756402828480916105251348451437206680903686505197659405777383628648842541176053732883051815113996471497518450638419097434439656924543166029309135348647700311664994930862559289989744549363704019876628372334335905409226894556325481274548941248551946102673153221384227602172619740543592130036254265 G8 G9 − 1804669172119703305426107169528968385134921663243144100484051023192506014454240822893479066443115994337867087997352804385275156448915130191996223289731508900239539000762432192068115171971699341986295533529786221901471346074016335223342858219306897909822292340904562818320764652862925008931866265810251246906570968965701353104975857348337 C1 − 6107397759875588498807604367947232517741114207098028892255756463028931997140911192008699668362531509062886328665914814888689842299368276603201444872021589046150720061351707730875265472476757266392945902256588790672008051224258694205707106739455972970919974436992430739439556219083055440820100077785181283707401818812985309858583121490163060 C10 − 399438936298662839097771464813220558506447531848121374480818733601034593027473901339177408851479898334636198854324231743933288919095811123777914736855865946455581471018479270447772640713152574250089279710011809843081770935891400222560936038835722919583574519561438309658033001070328602176001664133106617855714522649133192071995879064915493 C100 + 17479170028096220320299250330928055606239662026689729825338221941681682845720726046591677076225196137232892672721241959262131635584131955278383688016775606697305296176199558942011251907625814264492663200766666361773819728623669067431761951962217987625924813400543767351706854221437006471609558106796167493064507185066399733854768069308346 C101 − 573859143868096507979097416199193348453517214474981939945626754292445590019030550600509159448832403124004918932035637012396752308262769553003855787176806655135991298560230390185595092763165748578008469844258417975045615196526289927653466908398983982669148013482202304130314645866874993160793949850419105350093578300439710169455515265751 C102 − 1976123465774881006157512612580078071524632588275371940444562166590555256163282390819341360773746817361534165003041841387772905016235399597712194298510700828425591517539286879678296514925282736611109583381346439349988999712334616595948613613946851202771761043472778676939768897344435061166494248330620794969640482351504950611998394339598 C103 + 155905329152787695451622246807776756553825994375839532402602213273049512227138054773900549511667975942858911382869483766999530527416212997844418184944259302662303651217758288374268317712385354592736676587398531354491930305672138575027154585636650846665044004008727107015768586680190210365998146804051196457744217837263784970482802768198311 C104 − 164762737835124040301382725145809715022550187295082610101953373691034484201831038128083468552846336100803242289428626852716691210834445167994826980888151330054220102706451215638031389230853618291545655679865966366147813463048677636336769810937803071246486240342840599106066141153065572990473467481656022975664414684284246337565875535467853 C105 − 191548347787567347133401258254072643642958729895404796461909721914695399146558414822400270362594992629113518447009674096714155421097541338699478454282885504718873852810696441057217067211255854677793570122833664419366188851339653298618482683870693078463686333574711834322035966473031245482315425455183634241496908705784767956262058421115592 C106 + 350351872136224739230674831554621046594245451325409198742950916385094345436730017138634252718165356143909578625943426564141930691870255644205543787648258548428907377680638693287906987553481798811133967247810129068854250057327980572623636073117478559894815112161565963852809592119156201234727953945563302671882757127871769719816734035406 C107 − 2430833776942231868369504280580254521564683756444779009336662982592260682830765959450653903286115730593906447853193685616057213660612687860654572701539730983867020059192708191751676240712375441432253815539138471393953637473212727845114419466665075181239667745346004920793954376250031062620590065434787910413148610001118496787175342213288 C109 + 6127903503055429035234706343276354071224495997680985308836230592655870043549741773443629379004316709706574817009793029085589472808896102469350723758058395579531633975184425475755771205861209140414612608965097888130011850190149493637954940117153971665655073967907995933491700964524731744038116213872999353046486361464268462224117025529211970 C11 − 19628745012898516046721409635639002883120076103822148526769786001875681091864975182475559893963661963847718366721010383065541645730844804451326234839553978680527894460048994000339015397337393185368409227433191918543587533856749082445472661575575281988249212162774128696219530368673122978932077518615086783742809627119541463937461017727949 C110 + 36035275354384175548400082827898546893607393285282927935807430893432379868475741850403205967606433135875159754852231087149811726219186704627373008057729469102438399813794726843633482516327445179391931095471730615819685268160312877869907480955948465298065552717649167979770712746642673272927121688916292449867471960571313071178702468833208 C111 + 36562444348039971333219972705080627378297041344089892179481559406154344122108789076042944916504763042419624025929575839295348197040556328710763882187970670326333191163066923403476822395819678170472971679858176951426162941302338645365654956899731662598327417846328856513684752080705067523200969538691711745225596114696043098599255783736441 C112 − 52925167485083527618993548955241373752921437403026854190089973301387489304184748921779954261494442840478353966377131671147314175148614562855183388939936231577748837277104089281496527538885798846056152533820992678360991616333384279924080989886982407353773547235982073179076810025772969922363240214435042277891540473226807455467324087304456 C113 − 1624929820582877111577680138189506259673675925825961959304825550380559789454560508458791554026473584534947452813797741153609502316968994420075689203402216852583178960096862801103895999192008415731141255138632498938063629298273022955367286460385870343232340037104014904176952890270985239324946070328867245015591684866580246251029791691581 C114 − 15894980039865837155591837580612464059551476869829783723660174909634844471471359102608177806741582304571392155484335475253975382998211674980315605255988197178856634533151179662712185333018069133453028772909584407186754026419602466780539840479544860800948466431307195450194696864237252634111304571486171950622468875512170717508996878260303 C115 − 4370332121312331797754151065485323813520346793836037591694027451354157262368760770479600109476848873477111196402025062351675083495715325714258247403067612814015711880131008573425858908648222263388412052626417570393697233793871229951298132553642757351790496220662017135969436167919213626910251503395356855750038838190783885916761305905751469 C12 + 772733165619486752329400381935696292980902751109701703554559777391073292872283312913574504286165785189473559677315284598315025806485082987465891362008918550495388345719897583908518394991116603526802146688198264945831999776899688667371533465584783681411468823944616254459584356172821185073782739533533448273181097122498636388249180191871513 C13 + 6587939711494379354924331738342496128127098917819282952811600327308391566514646741925430614155124157247913907556532410238448949173974103074082617287325485079007133981652297818888647436016799328076046090503887380873512478639699689487448251113351099620357051687731063626053672044713465246609922766409563910663104885040055169893844813820112851 C14 − 7135558895081843017630047753331917064853831446976701893431230566263668551482993817061506284750827628801416577891731226222553398571490772325393666025831575361120983953349231142437896370445422526930371023692592804590251357107049796520212860761969688061078288397586740747278169666136987999430738280715748181145733152982137384367653093016851610 C15 + 5789313519956338663048199913983681759760451910630280312300496604400422679997817748417930987640180047676821157886054012410613462749735351581757619561932767301179866608874010480833878997354682519562161016010244347766989698250957502800992950643906870667418171010065309591929745257188468540474642295197775277847660646100296056326311506838735689 C16 + 4639788511208562424051765631885748522329518823210640364845037938703788477312141053469612300111374256888976404901644705415896112901583553238712794028961419849891279471867491898268018241888163963265139316195933946793802678132917814832165841899157148633175805555258099081800957561623901720495338954086187980956090489803585053410917002630777263 C17 − 8244372045368193745644342792134885885739515215993630306981004934411628437304903157827421691972645198184762896418072378226762591330895000533532255139810793842466954509984517717085654529987789601995131670536317442254943916121287952229928110050639873219005510065177233022514152262470385184988318244715720892986271642995559360445140271255273341 C18 + 1564559803569455292514758688884015815542698811742244072859489729289654019481607738528966737387885110154951440864671284703773095383200899527780925472895781897502235426133193513900380607718037430850112924619159570252628314403097447608317473266806256593740902961342813989190478641279285553938533071591847233243659942499725970648220436197915231 C19 + 646330702346087359082128561680752112499196929998985934802926645818967582680917605337064206353736977557678607368163596256362170178871309902309427057019433834117069169218700869197654755143354723232781424980171529758720261286148883426011872436133034354973726532254609708426176465683029829376818124791979135300020711163727675439937655642442461 C2 + 234205515000072105241609156076862572567095636503900904331319896673725694131369897293970767733231209689063886628120977239738870262457362583882245645248250886957677328660652185645675892066618734070168717509457713031970838596315595797971089206713221575541210118684197687753092546506632675553599056743816516277964879085447361426780851457248169 C20 − 1986119246087060400807003288806376063323823063649908982321727328486850389078863773991533393708546450652258428116604785525585607909391744956287494340171275645079357618940049709914868028604926673939614226247915044911769991185736751106620674597350348913133179688848639329205895460195712728694890994419654593753935668417277739404512131890228460 C21 + 3933268143892789437917562469754055876216103176977884337022174668256901170292443306933140323054678353820532044454238244856027482493268034304434743326347334777765090662415829921227613811548070789587295345397946673908439108735269135655447996636215592734022627133414200793124627184087514289295585924911109221842403394345114059020853182832938618 C22 − 6291225431326938346271361165912334779055247233948365463816773066388244535055998135230403431202455956257464126202600633190318485286885057988739142464643683873086650095193460864031005862983843993691926280031791013391148330508884984231753604893124984477941601115121408201051964438108761040128240594428452849205947377266424333366013109434005139 C23 − 2076038045314951041687175878448954969003996057844044228477620624307158972693706806050978998863484622302690554540878156753460551629281031155176920474039193165452165587370986912113833399740831444751429249540816412390836435624275471258385191896293703002887368740621220331409314574447156964620233749080573414791988555897860087660139316160008765 C24 + 2310939162658174006783961785343864892077850555209790142220585360468313916867717851488171963022427269484521755115488966396736064594549580507621218679067257323100707041007952063193972225059545901206579131002678975500777224317030033758539398009175156224215969656055026310525652038033555979623213137682984338196552793776500802378964869484900970 C25 − 487849540361471625885338191570553932951382560796616759529306008784677601916252552122163186607144025951320614346475296426769325714400506797857509159756452755082584062177420622424371892463105833274045799002618387381173779030195047679896850086979854025505809506082018283926662955225138961714785364620077767656384089071455756123576445568988008 C26 − 1423119422474046128916544152634767903835338108460042527700637794379105986230825510412845418427258826261419335020855540700271555855859209979989063857887232853274485536657469381494449858103082073906437391643054769825482719999396242451548814271420225156513994522505628089443621361567459116577650010820703175932732467102550721720704724157194672 C27 − 6443939239044086075721295395011869035556938534861731315038153979822996812838622199706819625493948521947499913117909688622312914228563947194333538967111789063877762297964052841854567676079897071430149096291798827795935477564932263450286716585185018097971843637709502989864382662235446380791021678322428295165131014261458043479478369717390381 C28 − 3329003729267408310140483411537067807259115231349397486713793639705629119707129033920292633518876988714497269370004378358022350145736477968357510308746412140563593486481239336088642918522114232342373399160365004386294386064118784039248929961837399287621323929960589138259715586892776600978857755116794429409225498943107349905658486495357632 C29 − 3639761636971438639774892503276042828475958225556708186755925974427578410888009635010142979343638616624741973894935627963364314054777822469257315741767956641331084112433073577560680775240966922342142599378284129234999223245585527099125922468272058475141865577484115834131679989086381272143937479881034783432958675551612625767182254857466133 C3 + 1093910116836252182739899577854034354708038648828671040290265060231449616189856741907665530131626535575089463381349708798825043564387766458926562368892476486149087027208312026429418946434620165102055449210144008587596185410456723709459317640010895372232390129788810176401912940715245041764483651845166226884347143574010854680580278073371484 C30 + 2286365759614146997254273588752522309797415644709499005681400989280529204360147751988729871037686895511937197489865488388779451614377771856042727968307210571575854070672466629882944464700168336059478066753986421419254750138970386259973941116020126442857537908279157387953787327185817509258825076495639826017360021311536013971407077208172268 C31 − 3331818474627901971977788475385971925050430981016423982306874117374399099157431192475179526815500630930920827476987810965521088604201051729758985928221597749011307284244140974527866536575103606978023085866692915931335722237193825852033687372941251924298653448432701003278256625025161684537927927829312405342272549050319313066935455127089545 C32 + 5982437295913228387316660521637204764620936656872103388007453089162854032276253484191799289752814405103474840258118783330507777942423013367702936863896457902934626095867310100962763204434534663491369092040138549893217736676880766873537320428547166749150216756197450002873693170489146049216307965157187519775188433759606075164074213972911145 C33 − 9312957414206460618738498595758583835329926636968549309467339294303451051153970278459443958583776017449677716630974624437705413298230193157392983297462895448745389822482075917808168115075142739598380510730540698105850618928524217156383333462231639363352767562495544563250625898920175086234642825626919957927017868061034056287300352009872747 C34 + 1080986213618455743979671940008934446180982570111031357079025686213988056064380260192447925908818857473073017500364279257257324701842658211508895848303635836150584040414558117039047867868429213968183756839309636443958028163956431670267951610931681356697765898214852456740806219164038259352030794322122257967568165651811830012531179909600063 C35 − 5157415841924109227953040932507595649352556176982059239973387213370073766763484996026506088068821849782068800704167428835537689550537531276291637472165469149055247538401798272815352580347050568945629327604195191378238974555161721186560307212380190249642269907461816460500094301612009374058047022968448498953457929714666696613013222471319008 C36 − 1214394593592023985896415517711852662050841782190889569049902049027175055528485673972995879548602140508116429011420796353420047541015103232016274149839954302414811917795798580797955190949970149396339468486546769602679953015782387863087336963689907433420527651419851447838069912764218081705204176497203101695799833042089431533374016935366081 C37 − 4497374444832710083301042125941226057322774744198723985727238360457876896636367662584845575002856076571956026467547435671984416178664141125024218429680300044121428199059165239594800587786986756712165811371608823036009352474449877970601857136521526710546208510517739901100587598306182441095131350865826203493524165437255677235881455243161115 C38 + 3146773931211763321307875731629596125528163480244663533450081871170350338771323392697554289198523674849164664062147130003341192254469032145393314580233451190735743597694339710614480161676951051446414011674074154881028764228730711698340775494771921326276380908236419632182070639648783840497174102341932999090670994012252100680989128630114345 C39 + 235500220428919116643531976097469503829928261663609608875679401426859902182571203528689998524825589335706954996726488500638323882947401135570171004007510972574588715685029480289856717572993632263061066338493561063925906450577238655640836228727636916066680966472281170479928541848575433795088729733977227605473117867072980719272846767379125 C4 − 1040675081100222528247182278455057508324013822613896356111664738259069528840236687867988923397796184763949101600366195515870499715691336083996712019250422372452068473987473120155997489642341603214634940047958838646205229076302237602342653810854255485514476912470558159604140240445710124497582639077131207746459453034455666144026107616762057 C40 − 5132028280945454241764558262119466347848275230043591581422776017233502142568220600702117850633453116011535215720561888012128262339287263804038542080920737751965436950128037814780421117922376337523718843265421129971825894395098717708226267815183581874001860179104664904289674977576391191886428460451985431862080994469022874093904042720897719 C41 + 408116923136502219532507411224974713019270238016681370627624821850839513774322808270473971497159916681016536185802385761469464150450806456342796457998689779532267739491380129119817684994250988526658509033069334859931374356118943401533001025864575427586125298098043015600037649764375515837760429270542576189002215871746845128750857367684650 C42 − 6423562326668570835384458980902920269849332793213755707841592523616590024768996388025682983146211020958438435254685577574471257360310439284615232391804279380931352346004947569958627394015190023721555875228804221699195199087947526698800962639219018042314217114169307012908700321828556476822715748077502875041843369666540153226565035487703860 C43 + 4142775023392419632040075735664332156805675766680616602067665029600481978087874890942019206390163439293366426677921959674734985720563684872655600665692797925595307661394804471001718437439551833862059289491876696394907483864299245404067033608879451402615746214952472104173213580083216670094343812194620418655961379123628046843481563567991619 C44 − 466946620710488665597711629427868081406234912205074048224228734134133932172992858901500531515186410577635203083116991852905419355503532988434145994850392537549940851605238852499269974243558084524911405894419048306761099789046594560770983054391063906631210114072954094945579771258025706997417138254062008273538505225907610496102803201869838 C45 − 1999652506473428458637743333082832351935902089634425043070494479812887958279274279427580094821185294760490827126288949135056039306724988279470316908467921506542402974222646300967432882798299212882686437905150483337992582665473639136570417646889841147064626828278711242975545978869181340813195607007905357948451161084827687506476088910334530 C46 + 455066553064267902454226272600546090292136518708952369220263400132883921931230380852261728664114262188835467505206711321102489854194290358724838609848196491995765265731752517364588525138378930666850532970374636871132405438445681695527927639123007911715802563034171551724538446255628310181478316650391708518727949843532185160043762755327854 C47 − 3500329978806529240778105308205224814706320867299953998168197480490045528234609189416770367589268021827921737801374653038301925820575755604225526513960566702489885168529160940457966245262643121538334190286052753106051239780092420911084417099045561590803752140677445422566683728791957326068015426176947396739570347405446785069869696744052165 C48 − 3977832928977384014529678441129137232447590525250659346840632521978493415948620586327815326258507875238214925572865081909284970062068688575594721163496756132609517746151966709960289964063328121124338962805604440619218518434166453765408029934654700718339473434645530334831555146940304350068518581662578446358601739624345274050750875857373247 C49 − 143521284763920453004980880208738033149229244099362515798158352996850806040913440003406503986248648193874739392009618486139766068322790320679953691382901403640717235063177480566005685819690690436349076783028591494822476788675136409184116252203826645144528112504500127820919194077911567461724799301432442193187980185299186251115557629515697 C5 − 3231001989779710865315497054059102563523299110103489538255415728845640609816162787069185657523378614625018481525926719602058458165687323976708763282878863428535477851383961920238919459739798958945931357803364484498312352724762713577221231782468489509452279336849165980347045121408978213289540171676671092317850105574036053189559434206830819 C50 + 1952402595848387683423012145144560669311323223368461139310608278618241115421291443336438917072034165696564045928810270125738456951850543778539336525213786383715391887460579034839595626981662210145707486885668172927424403565923045714317594240924069968572974308537545102267442027543431526160387718487461286898284023256866732702217407622589247 C51 − 1370294266127274935717895084558337378829093783138182210386516621769953596486948807631328275560040165513971870826936688701078957590820457692273293009907989420705671797496012642229298661602003471552611487502157081375267625056649410656349937764305686938206608904379369022668545236576913708108399207327592886163138382826451363276178697651908305 C52 − 1009688312573768888008304737401256796105730183778619365976503784121426980731522544957636591025931123425078677190034551585154020099171815981580880981091425772255270425013328605467519427050461740564917006885192502368179423883756187050672422927498512853550766440475506703339552284012687724358518079398130579838534285272846065482952661042479505 C53 + 1785317433229445988888293755155358580735703788970147222107310216216230864314805424969211236164371264894027345167648016229468983661051894957887891609888598403427577611106009945947601328304424841021938338106976688597611278799132236489067471131786256359448436849310983430461477658417031930753571241797195504159259722815525924092295660557166338 C54 − 931315614235017129546960499047724357037007244926309044410281598175541388823252570464801883783065070365727893555992342788212795955982686140655830116983901327246940295035979191627847282477555817327767275947172591097541691655184368759713485861271572952135777200149086474167369099889010107090041718215981601407371707026755986859423873887001311 C55 + 775731689887542640325203595405108005606068465071669717830402557666209012891893690631107348515513168054079901878895016179275418372917921295844214950531246159227038931448330345552861997414610560911394752789710550079819141439188002396988404864985398458295590604722623153109391417604744889548277149127159694506254935929831523917398855972625637 C56 + 1161916246545426388843233736592381474892510956091073090402264930004484891021570577329151316827064950200115603179796960412253665864513908109312324017781965719153719200058705829706334452420984125470640253006058144535847223655978865263225891080632371104915454191057177052368088155769782010467857317813524602246147414743640509740306495500645564 C57 + 655519171756539819455550671991075976157584825285124372094192698334113154251690724162938060355084613334512459403122777447997271596851143188972498329790632339969108739394441386701136879313124446259204435756796339413276876282979110548792855154984044860526013729374409297361208927170650621560326894802658038443360511634504302853820116657614888 C58 + 692236596165173864012831859034816053799607482567960005675950469344434323773539686833775709281773032184334646055062320446769965939238371929352897824738221758046296250887503126807831742629662291494613097215713091654162647229171008867385272902398010809364262414994362687130748571037416838250540653387577510247231343725728220172239985049145592 C59 − 1616392101312517710111599887025431035634204048646815935281754915725757789229738962150650040751191102993752111055201906757179622231971634225868227820793038143108613381923833985964722192017852858848761764451490774175600275916199965706805034112192809808050248464162719082377923779214393385865896923212342875005358383206000773201785005051464424 C6 − 1693738774861023527343455420438178691653141667944036051985327148231304958329903929411700862187560988374592309329045220370770042563524573408062781047092529806280308662130605779305375199295932748523250301097823027657486931180900350849188349013974939822482620634399211155487669399270693705556976308453639956255491006229250599337596454132579860 C60 + 262350026679177830063195634224982153617977730644561135379969366193736716463654474581740371057372037690241974697680126675458968164162962013819856984925762307605630536075095202228998730615220600165129075723944580060383597444857466384079636744931959978122662947610283705931588992352759884721886518913978463802920093843911362249482933663926711 C61 − 970596690902593203132817831960066392345021622279845088722692110219211874340378838158248622662102608220659547440933505173317061382036600449152018682255362976308824838389294038605428370653493605408687272180903829010236352710601726047396956239252298607583892033963071447151776819601747159193508639600752510737097064125211297671261836671233830 C62 + 1518005671182938938336592847894540963678811986861627667907317395841918728367056422924233100081427638913322626807798901244757237737545464725541582134595630560886439974814753574649775204569628244105576827117070301096728342138175444714418259744833067286879635131213144786514140497892593880271829351090027266180959092156476852541644133875653535 C63 − 1950818650906634361051808605443112638055638903839965518599944150337629824520731094294814184576201802927568583780391568289891733364096060255433807650436662429236670865983381462896147637609663519685073358769532162634157726917741819264105428698020591382541573084686415896001873982820283437252160225456075275790583381999897843216874444041523690 C64 − 278715939244714148805391222876143039949204774334079931798579340693067076382832057299190565665964522277891987310338068523873842146751572372480100127915653335845412408214718803681667258913596836677016759844478876353014376817862448571298613127166231410238230097146459494238002539675625565300008788904341075884916539922118139611477770450980605 C65 + 616519803699597941623414481369670235734813466093623154813791527577513697330574561669022109597866456944837151276922451452824292574258130544874164463051457512397276386335547676375044305574653703858254509937243447457498620262005609871473626184658512308979644907040661121901341067091446252368341672693781164093016220310533109520868950713727408 C66 + 1272838720192615794592774182760609044309612335839907619355135889942225582317179749919779222305199248083283662519109634917950251793733002722070261527198422052959028499431762023041632214514904625048145599404715468260911213864027923420443463475732278876585270785598234843124204493213338028074922875249065876962565670158550872781724975672765343 C67 − 1073508452319230725216039305221142221942970311602025200956760094123465222496043180066691257020547275926823685529656198553122430314204101120524697394127707588192520183075005583238675952890526982644883619407950601518813430469050549587947051744788847769127352756352351484095741048631152382583010040766261383514165723582657486926010487990970624 C68 + 1520673971868011438602688016723290475050505277437756116753547589888963626979805430706069437835360309121118956745910341793184892284434403621912305914420943130290759713921304102497179255293197455958901392472930878027446451824301290354109146364897962139164549596719167090183372706596857759846811964085357338042321041743055277911821317832371703 C69 − 702454500139391691809888417166619133085268241879552901318642387838057534602382863885664695592187254321995725850187820699420174164310710954763568200852047312360864653783378744507785587207200644601904002498694020502945925292130073586682001164631460145300988744646650093151045080540748619446785581046870146736908907633142300147540462861118012 C7 − 1254303270181311849751800768117996913427736401361011536201385096416753829624982917508771380381245570891997189746689330103731159530795571221033889836804363071455143028223564685854347671316626049814603287585535172430580806750503566882879715210136544039562754536350536913378424193891744050716532167222467184018903154104044205400534659971748353 C70 − 712975593284339866123615801699875381713540541526317914861053821091404528753834360832336587309757353510551415617678671329290877371778846876701000216546241029941098021848770645930642519838559533441109846403857908381734735975401189995702657059880259713659523680064088157395004796141332716103525779378262908493425038517527666212445409366890999 C71 − 53753485515793278492164680567622440225679531463804236556105006435468881203834010028837687035279140378196460022349381679570478819813750459773685568247581115823600467295114392121657573994840166272514303967390833746679996375705889739909985163318328637571726909338750422279762443785824909360685221216068476622155070823214272851245860620874040 C72 − 270901951716200751302199270537092809689074037595095572470938353030038150767415220472097037144637617168087241047868609276020949331036446018993519174384710753523653868132421307978283382162439192703945348526765261560604900354035779843664752314238404216591362748130197247719443526661684304829879833154356332272054342530648057832536582742769213 C73 + 754620208975282483040491625296155750828288491097929614135800207816545306775105392437351956569162057004945116631793705201754371931414431070372584934322802802655151823860012592316646238225438669356760085487034603052685676123935443932799888230148164828116084837067923634171794708957405772911546962992265720211207521088378885716454147125426645 C74 + 170563379768428369477605339957264820150079296405466920305396412937093539308477682691598000801087228611796220407572239789053211984014837799844852269726104886122238302694599717170724071304191491833678224073784050846965850046571483187663291539387713193448460375448537116682295731200236205042127584503061008213329066560728283306982599628352940 C75 + 145317464082197251431183036680922204746797723484929401009977258847832983138036693722968533936533234449252966897965518210943660630076143381327518970054584414291591906853727417397643369157109352205502440346636447864635239368599115920317688431398747270531809921624067752879281478107783477722572045784027362567742600145648248022471916540800036 C76 + 698605557659169915795865082266337048864758616064298351734412340779387357057516335883875023938516678415620398499487487124142572453603235310056807413262692071882695323082443041250550501132514740982421903673170599180187286290963991988165699501432125333318000026153147924337386615999890245615502958024904847380019518318473966281856830651952921 C77 + 825683239532015624967629584146644032716414443615819340047690895979279036844900490788216583467277336427878032436909097547848897804376240257130143825304546750712877297597886380554647075996540841878603585857743803595624836458603739619708935684977689520801071677310732817329354748123825580652231552078069559370589341883173342922264934750951127 C78 + 196634943561170851975532967720526206104831213311834577227671778849989278348803114238928728953046197554083157167814961628807440769731694537131684176169353038775786005781629846931064220329380961973731711225004418775697574484936292191193940779382476336127770981990946769869462911369746650401269901296093476279559705734162821956614836297506627 C79 − 529698332136037935093019029989164215161154410443162589863396155725635433133288325951927972197317013212423907906883638727373585189507894287278661686207529403297986639375534020080407402653140613289985783660579771431976047904593780479962390415885682464648400421949486784455820622449934469340807077077150779213906607573075755889875483871904989 C8 + 286290828353378798601306691584490381370784450882626534525910239170537162372457551522960133552490730268240008226818860602677846614146504691668692972131651941483091402502306385922728921852369919946293051660740349905852277395092686209024491103559985585271500532824981088194167148093325751743269208114108938483992469483830395712594366282622043 C80 − 989561711322953482965301665445656044401332883348421389013606899184112905047721995660265802950016592416378183873422805834275398751140921149340913257240204277199029725450072223770222083113525088890473273002385338657826301289622192735165737926091292889325791663004259848031792388866803324804667358967900761276950444526651465656212188333281446 C81 + 770425191287361214737116234131819335366121706906192735826716304416181169261139563080545742824632199506461302925270848859497757636343139301287333381265441622821293962803357458615325530578308031636737016631740415420131109580538866860394967672442262368370718098924533848101186206032421808716386530744680668885485469836350544070555096067961129 C82 − 980885404429050448794159987528716518020626548546798071030698900468664573115101124755586398641213561232830524592512904086902679179551104429796558482086822712759172094738526504834968389837325935327559127316125990546514769101272108771237549206820952759014777813019164594397810350511476967729043104038918892367389877085567468265781307297261482 C83 − 92481320657897291002707495231556403518242604173893117668127796613263192280865308012793270210642358922238045137992704913481277591670744792625698489351842276154533990460307819067233757302056418670022236986295703474860032588664847860718943051850606862111021718163917407471572836828383832662634734052204548109541273716685842944700610255847242 C84 − 652094779718447726536703118798545297752489860041747650108397146123743779805273890297033374356958580064870205538046071249541177694523398042975568202282992772696539691511036415589276785211193545455134712811565891409268849379636003498569979820669406460997986716960600667586116041773599497315179450419272843860771970030136622179395445239303521 C85 + 33700745908844636326228123605079519470952257410819989929482174023324232711400332795307381684906589023001892963703116756593148562665769159962984251777956551760343306881253193761300743226461446091119922509660905263179339679012517551806590790175126399315191374085196701409552057492697520069134526365824557212519087276716870500995042418569413 C86 + 128243528710632873947751242882338396868695651832571242506588216681758962063291756565217139526924935122480118748046711875934289073638453060547106666962606651372270488285368806466503782727243594502154310049460706014343380181625373488034786168658303148659921689797311971725979608473340848786905385353430334408610791607876370556070784485691353 C87 + 188460095098907794013714834896424065190044313202333412193408057482119567894772982511162827256396104842007554391923562349280584934387783951216280270908524132901710217355687139235152455143148175856255108851474847855312769788193434075266685155067387865801123983367038750797290508674842104234109479056223547535251910645858944005808125442540271 C88 + 32333037635935078864030511937593012956258501124001776292297082422056964472821260609157468091439510665798103399250807702275194056302957970271630849814357872460466771973515410862569200874851173925791915358716446280773359302237741703995900209261810315577118552201042432260255764944205286572027213195976956164274121932673718546241654158137215 C89 − 1179995866669472014606447721715407690947265016933784035183787779063241275514199137931533050129137700845304628754696343228748297460791943916992138344477320049335794132613191351258003721657145909251266857089124633109083785195113113596163962466184933338567482388347686699693820406442310791075190415971458089085161042526329502896339569886686106 C9 − 774463773933950648025212187943395825842754877633421338102966987818006937429202866908306923323891490853624809497744637020801713712206904837017345200119809324195244757199224260152356338470504997586573679461894630039083303265066720127882046500891101824262853258725523014912584689460190624151486816472580002196006600008281663398646921686233018 C90 − 5395069848511139554114271395098917972331955727734382413583408946681573394965811139731604016259366275343279806730755086235589036882347972606615707420426185121002137525279185938968042857300018140416352271202245536769022618577726343117353634066660373081374729827984176057833729464700140017810888874118806923730356366419398217668863557082201 C91 − 225970419903951579264084728956019545893338057061191428241975903128606990188387123193705271019579331946813755484647267562529276553364419881725418075941344430997275065606196358219331458941344323913774957543316401594859116974289596991122808033388107630909778735280929011011013646463536386209145409920467461202366857936412440249583058759806850 C92 + 10094795697524203993045066837800972297018948517057237528278588476612692857962019328108359678400154024220710451586552202907658245155109255701688147965660315872231478360050059623316068100822331972718618347533235929535185806855657127141229817243911648394182304089165454999697756966973535781335640650687675572360682097133103086716519546787942 C93 − 240682972713107260727360182161064038769096923627395174743846908089507297801354566457640875114098736886292169802969350006562874552108369158909238272219788167973152264596925897518856110467720677299532496883884047061875966996848195038646171047899267674748033240198082812219574587294898744228204688629059320018632456646362179454831323838673452 C94 + 181072891000820622781944791542160220031383260115950899191891106721822248122502410303672297036119521651573369945632077592749661435630981656116577969556173523576255624459351037221597893754768207562781262157791209544153833171359927971239976961532417845855449927430875956565712604467599648357036507325422002522764322134662445866300002225696951 C95 + 3272393797088043263632418119318040481437300107819096185522209165328946661531064470257021386072175916442989377491880151034174702461194814891548822730608636177187913557104264444854427574315647591851801509923603910716646427810920686312649550611606799315294255669848401687382512555179776003534519563773019004050053971210326088261389713235291 C96 − 245270073171745618340186417351061486018285659828419312196926475529340589209710263520040505534503454850747798211004684343417387610099517563786836492750096447658281251665481867341028469913462688228815924732177351751327379262426899498914888539658880746986709293532902802603466903316568780701486437513306768426304952172386739378322626350121197 C97 + 2805356171360711921637091223813328988294783881497479955215097663021907308446030730525932613665981229706039483150577393057831405640935639248608652519588682658723587744648604363163294611601703649336944956421732344458149712182707380301819086821709529424128025014842180928966249306233945458587652903402352410837263075010571238242092977043269 C98 − 24214297841518361309433281792590476781067720124487149538497237696543712654911284144010020208077159150599349476801711237938252323262522461021659223902210085063786988114875750558964772651088985233833800528076030221409979799186648495569900126913456990762417310111402109019368536156807389184041120491842513065474392608479134746106639109931975 C99 + 43158720672754902457383573535641823324689729178876132132397970047896113658943031964614662909884587905042580029327558874873280559237925591398477258123927896042443572065386466453883675578571509188686921975211579843000934393477995812836389732350052987602618577644285724691685002111186252158173414080201897217742239631076480670124759481977995 T2(G10G10) + 53736534856439981894896307007944059422357971691279564144821967338892205873277430775564254629789774900984302421778501790559943649000378525854803674991580226583697524668786968580171914383258613677414209031744079386705954166286997970689831553409773592919247352780936583856743175647100664493325316048181765702107065505723538930228400086419166 T2(G10G11) − 12064858682650774314154797641867828299568737446553532530363790280343145008772799075788852273400366852288096710894024620289702041923374071916542118335636796245908990971708446507791868170596216879834527376145693358370114099314647659258763178625136073454390367118253108526193057488567968996467252298209858910335273511103040478136420896220238 T2(G10G12) + 28377011322797567104536167997098876782038243883807887321552848256519694376424503876977473974291908146821241049468867445573084894125391039499231790566144506076224819163527691977543485264129652475929531578382803741633576672583614676860725845027328599396342138166427258436874724852984844089959488020280479918574309149752181031905566476677230 T2(G10G13) + 69822467156471895627458184052114713575106293235463757516004161798612108892668894381813885380108429410868678199424281772970025771103323035929882273409283819862655705519972745230838033175538118154838200742678953402758206376537653933304539966363944087051480549202412039782161905672658860503147976219734572410644683079480234489220163436984427 T2(G10G14) − 258011731564718644287926420866325421041314146233623061146372393058346250087705997756771385603396700346027742761720406188375050359821998169981874622113061148226456317534500979092147177600583324193928684664844971008997506815965294791090633329303629326217627114778911239449655890348664565744466323775592522450122233143601880748311090867518863 T2(G10G15) + 38000951674637193202519210719200315630325398863547094978168780590119009968926107039218490828689114690650670732816156293857213486401717147779293920156863600753057122501809685511995739900518830462269861549227434493369781178696806970316042772534832883515649545399567315609727034435702578789006787894850649118487613904473410495157179825565142 T2(G10G16) − 46589932573312747489784211363630948331256077877498043570679436786990301222682187110267142380720695735274930283242253515913084936369811316881784557830357140234669966361652839234128133227673378777593488676552132738738754677252962133603833218436743456770272691899831950199738846588747525499452819398910632298982763968746077607536600280253356 T2(G10G17) − 38937395935903164825455181260511069025127057263191029064705090747237961121073895086643885915598133255534856512945036042627699429060277079847871709434827694924291166473530276551334337910101132530679664917913671393702891322619872935814053003274897900533371400026755101993495367035184683871579796527874999901624022876883014716176465482729069 T2(G10G18) − 68452273658068741084929970450097754510619377712570136624769730839741497839386479035009444850227164647656240228711153802609623711900046821986772202490425887639469476223610262074692827834608948598242290228967102844177314136373192130399545876489703713212912956393536773305796324700864415567447678789834680530376172340467426649482561144095158 T2(G11G11) + 12526425334547805373365970620601279820131991976255672547730062245385198922474429510383366729336195032738060022563060579859589887598956253940277801679116493443485757124774800684461169795187633204277676092096180534676035885517999241678498885878044633377844895245149065393850755944169062072726666724832713643275474873786407503790097613122171 T2(G11G12) + 5209589056109173584123433450339326027866301660816672976969990946055659530465520413751792038709980000460271810949016066666165560637878324603276208624069130448975498366885384569947031672039720795586086467419545056063696729606493992866630148822689330713034502062903248224675538725285462376096260106968419145577224601290795897059704730136228 T2(G11G13) − 96870302242450180515626656325087030980326544947877334130160972524341087519423172571920085696950954287116532189392843246170808313994467786888625903282210459673240923823422118109593725532204681799110677957328355422979746253096529684367307214225567312921982915627343785604169395364220215107406077141656964247433553762853986097562894205491483 T2(G11G14) + 128050865212555007636190584982776850201627900791545844842214278179618663453014921649145022872484576588162222707090982695346869684168080819670138097758440553863446174148661927224689734032096804846943558330014920346091045835610116875102085101889453577407706690486430890347669856131438920252348275511655888515973207947995153687757332900263511 T2(G11G15) + 44052183008430754579974884653846684476556712489052048960003155545325352528982937588163194287888177937946622946520652254525184983981992048467344569539764687323561447242754461143956832504972441354883456555522611372120463702211101647797363724394285480756077160973488973493191745104212573644636769763965730893337278742245090239039891585030795 T2(G11G16) + 79421470752068620793934783634679870097520973072928019672250661293029311936331973306469522786821539797479806350528663207005182674819350503608479918820140414646766988970736825783343062749093788251347426919409532590347605828905208563639123406379645981636752928731446909689081114393945252900410049104119520427876498507988556237296994703414801 T2(G11G17) + 3661450177744263997811177137084953923009913884751370807119121196811823355186292463735883018346738236022069180652604733248428779831615384038314614492323419803445150284822280377783391743213877511092978486917877029884318840137559206956363663071713197665441639155376549725871182329729055451067218443671547189513366027621951095456395728916285 T2(G11G18) − 10475456786746724351456466711912423611575469779453897270018615192873151024056004518727973326475470977540148501377596503964493985466559682582900484726711981142618228351345403835619173456487647115012307965042454875212355679979725327378505722338275232608236406143835877756323362005431597125278918129761631718732586571122322089962056195418641 T2(G12G12) − 36982911820342543770047357085507882742198399369646897793306280827305563171791583916771048645406892682403336290262726367562324757559695639069465683566979828446681595375054302613421493523532008893565627092406734793833344008116865165834777650125875202189661662913904537855416796110793965442363210670338615839499558750896998567311801528688759 T2(G12G13) + 14170875132550357359936123646101537223348978405805398317723089508404392363744884228595325328357980494643951976708144183590775221301146021884560836235352919057643311483081745393171336930005641483789146995704653965867366529851341582094523232953032173362959467247726905199047943648507767797190601470043624136447981625818801426025716023418708 T2(G12G14) + 15982753985256311098652043377451365228214409445193165072606992448935032159845488638559375766589215296893078710186913056146763962497041464175014452687733674454956003755337503978940486783929515880046415949081729176737121226460012217879163749934758087109750981740632813019023259329393059943139625792240899441059949155572191588433535425595047 T2(G12G15) − 6945014213477395035031733957884774022838136000575559563476241288302394716504870182583978353882540462805519028151051447959430824855159770984679159941384702841921589175576632971594975506986859850297380467121221361790107718055620591217405998112475456405956947060323449321496689591547755398143970585217192359894058893648160066591700014614413 T2(G12G16) − 17885538016660861471691569423916511231646898573893730489553714152134413597398659419802610212877136736403371710647689856703169079404021318624139968813822765666922716901058740406131371167002041424110844415920940266985623662328484279027602224261136123430685975626107435833641726234507294298773479890820004128211905644751394399417689693455404 T2(G12G17) + 11851073319196395960642683236594581187124787143708959047227652452745716837462278375222300660007761430386773874609601515596234800067498040979275026872827518783889953904975535172924930708102773245340188145490729526542504905031331654189750393911580946629662449283515297796660412923957467116241628003069794309219638802267088896040395792424983 T2(G12G18) + 1572735563513384894800073941428275941922885558924361767796211033531841034533966459692113729452813530861819609047070307155376133856811205124324764267908987778854178015895690284986350353747666814152610634051136056435730719785163123038171526355773714089814013680040743350108615199180079633853792430011174779227411519477227702653048508704688 T2(G13G13) + 5928777519851640530503795456889708127000047781820037568994463016751907291722223664813099488457561192359857893737392265598758900900943320021230512013006191862195937082336955540071551496782257751254394428960526570281939922398121609724871859927249669962963478072912286114885481531802694726031007133402874540589079482360588757771449464558269 T2(G13G14) − 25663142528170076613386715003908708572958919019905493381172930216554942280876836512755912429558432457908351198759670422351443525338262468449788055394682275929494737574808220924669515525286649340027861831191226514383935843717370354809657687567173770657949558744796653664681742022352360455515354768007105876455775693909233892988889121158877 T2(G13G15) + 41003631177314255815083622656391146718278552925991809659110145918687813359348704877559441877617094060504357428325200182209974689647386854107324991939851213445466246789856851480329310965726781741430830037661040168476161800859198942774134911203733603564897552726152002887738321978369078726533016954094881075272490380567469221136308246235432 T2(G13G16) − 16347246948263925892624860196802884822568712057076041495169434869133125629923583609182047725115469333047754259196245176253109163619003414976170822661834828710972277596232358894443820273970165312262767908197261343536431096015585146912691417954300604237890256417632418487901635818676091403657663896210840257365744940362474771198077605565170 T2(G13G17) + 11396812396136034880115205206361637930112628515110241205601504316064254926411178847511714221061147042181048085948258182029686729078694121600697267158215278658158494845490809055066937631537900438911476074435414459737361122517135615181877795630380453393956777741061655266892781551250044585451968639839190796635597311475920411970555070341597 T2(G13G18) − 1624929820582877111577680138189506259673675925825961959304825550380559789454560508458791554026473584534947452813797741153609502316968994420075689203402216852583178960096862801103895999192008415731141255138632498938063629298273022955367286460385870343232340037104014904176952890270985239324946070328867245015591684866580246251029791691581 T2(G14G14) + 14865608775381951285854403321992737249105463254543223885338545292951307403669932508588114876140577222861752612749969037510875754103526906058036571550595886594168072889415605133380102740738158028281334679363184039440683501918588215566736230236166878767599252729857748276109949498929632699591349934446857117075904015960508593783168425207705 T2(G14G15) + 42425912250611957446502873984451566619867120635323597322336189707276758441851562631649489540127442748756352513107671900537902490185834816810045048210043814610358143311914096078884368282937346729142643973223686201496906242944077182785461677179989540765524640247288041214039040798557066858298142075105348275128101366038368334943097858811609 T2(G14G16) + 23394053911162720285978619774180098672861744597967450556814666460449523953156898541913378927605114524811503273110563364625899634987088000766952680606832379297949067424495063476959750515132487610734073101316078557493736801345972649354423211157094634167222057591701692957199756255857666256715185810242974867165268673347557063271988751103782 T2(G14G17) − 3271508821808117162918994944848830594439077950964817690764271692011160905360220222881394449744224833794747957188861251940655551782070801736647710651308433625070941115162258786115431394165411334913265889868835972064278347879307214444500861393314736616900131760666715484268200933269173727109826179139786055428671941533326919143239884801766 T2(G14G18) + 105907621978066419209993008764827916003997939805080775271828985300406227424200647713843981051498306617015377133777758115573914111326246170985945660291666796296877986137194979366424904412255114087403389867627736846927980106861318743793952449895771318609004633117641655092827751819974740367945255003362014142811770478928231084554761862488521 T2(G15G15) − 113895063131789122270157737482027697364629604715270634810160848583789549323279876512008779218184945850361664698350989607703066433289065572490803068923145724409508688706145668884165839107612650276421962998624292575375484010128305204401099604034055278392008551177201347839112634955211119567242043120570408603626342644944772042297263853107846 T2(G15G16) + 3389940473113530128980366670286665655094523225566568251802110869377769961978597419564532348244674111730350835489509788730418583569973889723522067934427573472898716978643108041895626337802661499554463004013852844173487146687745498513438040747433762643263029326560327423003026127190656678635001866985511077324635259038677151218689949726108 T2(G15G17) + 95525022779392483779477215586015391661194997718885163235804215819267320682470325019077095636605116956869633916924667161015888367071167474954835920961510518572581329381872770338712221965257542230522144619509856348473567052396380809958724945057990456772586389025749569280902503167026099116691910114880478413986253833382611454522060062264121 T2(G15G18) − 2068095120920739235035199671821861405629689549399975618236688502942233319188650947544004668808292149242431630118040051600235499809562246497092617896090952354859314075052742535578144568735073734520631323467678920180382831856568511843156763445837831770821911742866533704093177321301193967914037076688507845625477368654561027267901019318181 T2(G16G16) − 29463019073236081231429948769738839641433429492084327177451126991602071239262678967053721073062369059322003743955495910742829190913016772393122341072552692812751214200074556911635817542797454806298680153003463951874530192899299962889856665702865562141936271346130201553302542117105477354861654918229849647702997047871356974389227023768266 T2(G16G17) − 29815040402102017701310624458638109190840229020279735921800399093187890945512412814687641059511252538982538929637785306573773143586014080688418402761265438097895640957074447022300095766729437818373527348344546534758363138130373819326224124853869416735461150031493387757339028368864094057974289798267457261145298675667939433491964415060095 T2(G16G18) − 17669926369423398452385312713947532638162636309625975706593072268587892839320789828210684484405143672536492879300741306577067945686192649257835931039641947952741106522908960103945597876072426228884796270586207650081661738974847572347004119725156085865330656576942761177618490659242649880940605030240547510342711437858677935863283667010899 T2(G17G17) − 1012164177908797955338714769109897710099010189034651306019236662793751812154742585915087281848381364866347393426583186846508817299375759332730814721158974331928669212726716226280540627495866831912293996099751089216916522498845173145971967242077352550840074397486154362887776173351720771330031622599066465765184585956442026474272252829006 T2(G17G18) + 9305075453692220367947811776571354026989487584801327792434399864544146466264272764361098829771875567845829294405768357672269414908811616928911409333197550069056303585036055567578878608369737312261509976976262340210404229375799472123288232663253010797057385163258240545674060867317886415887437184717821390899629814476892223246212143809593 T2(G18G18) + 61062042338650911592499598410449865645907277587210155660061516408296437624646620936692940942658114267604872339040986848321369672600272503009362167725534182369621706389325343083212851943988460286005332511853270134809136348569899947507263893696015056067498267900855181981982555920939354092638805919126226037817086983909682967613879610485151 T2(G1G1) − 161551621989278485263922720013656776998353830764092233892228959780909586532677200449644514470598854970607860900867718838010687971547725778905455492657579702044516710472974895843853205580902944860564284107994047870962378348673227403167725092906201241735769139131540476144990324465914083284287786957993354441976346326870848199319372713152622 T2(G1G10) + 58460688135198524255245715575693062627239038518650379328081296326154783596410496321513350228511585275032288643421604055015144557163576891376925563445864604225013457154619633756844203147816359979824750667581158766764021468713743177335901316464843303419758629641038805815811274102481641901666718239778041783197720892844675635253204543213677 T2(G1G11) + 19738322057715857373609098148604526555792071892780896195550468448769119969714166221837940420546391648829040640628983790023446010963008609418516642941533203361365276093616884475413140426955145069431504342026678650035266155461052578703879123172516345603786801217996675192267886051529106163922973678227395100559167720060211067743285638951018 T2(G1G12) − 10354622761801686136701554811368039329854765152641944033598619194749397878838513850225971836935741687683930218449849374457275987174099761341721772603460330586633980022052038824388025315327976114506121089088002566558514824615927829095005281506975710301518640421212280515974434651927388862245709763714191110334888641842361777391360747630031 T2(G1G13) + 14365541050256989475436371448846539948024930363191408460896335558587450479141797895999710204555510923329153826051353258820331022591036681683558743313946170520219244813589867315541693847403315476046860111196919410299798386607883812451822566780534973109594049263064686979904340949316541202241947035600624867148020745733185295247010897296282 T2(G1G14) + 178194223587908968926940528862791455665386429300653862982388389436699253053038700393038146037527794209558410105676927979049670467961331468513406573623354079376365106226396574771235974674123125792185770619223055973629491261925307738664548025881650890873713340277309233016269168206372495068781636418286417103276740086137702577327909544419710 T2(G1G15) − 102297197711852128799862642976588391977471993552290611774126238841822452090273622185223353819482475448332666071253326569852197332538588943392663515595845558409805500157656274236363171731644553653049551137263306793716557940906847535830647807739737825511345524211159835122851461606374128357915255316124459297352910296206852045511333173844120 T2(G1G16) + 30533244077245488260967371988102068783393481531208112198655461435549307301878824835246265363561030549659174542538822581466149458845411816642938530375234748138669598137043243281465244295769087129123782483307620408834043994645020365728206898001068538433902733374779485547947481656272946440501127490773281456684492455580077064203134941491577 T2(G1G17) + 61341625110911829474889873085745298178146283592947268508434020319549757554002826314008553479158652284100862993653217636169429880856706592949301685694681552292690891153440511047403226922388799463160884384585306809196181799730613242684625465610479552628180411346566858757629472561853427300299339768536254014738407117003439492094360748305164 T2(G1G18) − 26287976612688827664097606636678879881206011206333248612807788129673735472704301964779011327100988229897265970009781721141579162177287858792960239123860793783915923179698854329653207243253415330928687916273292995375167676815150633717193568238840670432911066959414125800563398902546751023562279057119992217080804244578099799595518976677619 T2(G1G2) − 232936516294400115541105697094131275469243520383949964371101071427826155065213273871208980023693202237872819742002447836896470323091382211083362196657294738388671043026041652901492594759487951894751338448993622377338160898410831424279988239925088045304082853250044093849976143684902045262631609111274669542812290159361719886695308696990779 T2(G1G3) − 15720398223156158625623219411726212941227988103916743359292830809293128342869160939278316150704420896046077090939644088067148946201476013202243854195988061756934039278269653987676336428272004637089947928002309280494090485952051746785883631515329203297686453836822344948737012746856173556873105608864464020308116324800763176259352520654470 T2(G1G4) − 10967946804976032193436695690202525545400692856365320096312380064411898129082611072245655447379172390231916242511240733731748263110826011111909626961863450485554742057825867195343969359734180339841336676542053153159738751874260735306787716845422890490276690968301892650365092290913741115251925438724783074206705489070961110935980893234037 T2(G1G5) + 102144703545959342220802552771722560540303221869520889700319629953433569113966581108762977731424571355832995459631597794682758317547239350744924739019327638239643686271482686563864199432580917552679436890954628318497459120690053425166923468721721253809808805795964239706623939045940526888852201208525577511719718360745008458505061525819106 T2(G1G6) − 51580229436247425556875979462277874464011258510047518899017082850120836443155577050701924609762162269213949248827673707723283159787938213664101120544177344764617810714131177537460652179473678238529458812076674497553601524029096061006604741925731394423855851014704331102709569729614865055076691492365551829477207082781005678531806252440245 T2(G1G7) + 61423579329534124834965926258164424161580255447227426557203331238914974357808468114404322267007758637691515442503370041580999976141288571325226373325814896687176485160697319299809545944705672532896479523085309852852275148836201184494478792167995483056085255463159960270173652485901398609011028036141977667819077514427611050813751552562000 T2(G1G8) + 58574510618783238674190615998927864014752735836183383963506031909060172137369381895440192091952416400837080334290406258958911286311833941432707475097581630545052304573569544431800973062557606219982723525995574356387540128735478375197643529523930301793310355974773374152271111954584205274292957807540876823620594426458071219251053685443156 T2(G1G9) + 127282943953861789061923088384089813183161087991571223909348357239640618090879646828853582008477112901380969349123503792852351348106673424272611754066048729410019622221585500813421424868545771126092183254170728690418009025910504136189159712582031982021659287580522705730979695310412547658400602552632044624092759662441785901971405662427937 T2(G2G10) − 114289183048678161375011888079180701665846753249063037736996878214476805321843456974236039474149336025673529764255565779287806175087745429911721118923925638834666051865936323019443972414344188734953258169436086713120128320949752875963887145526667862523375269493297840377303858792039394386970123285639102485878439950061532166670937870977150 T2(G2G11) − 3561106439334540218612271637417131527076475497712254040014790683328423279044426420720935060005745347196618303803947743266350207407224412172015202434975087328587268198026009442687684229330667069206591143363951827309323794325189303370838047049078047819941989634451055000570960220240997216457417265365571729532389990432137751220952688744900 T2(G2G12) − 30986585090425434822487325392590054357539171876505116884869205247495519701812493070337947796077409467379406984495107529436585074813315984490065374743982753660739034383756188053846854434149446144704065428803494871883339300463518433635329798634469024662296980035518055036178577536950289120310949553700974818441815999598984914482167564208154 T2(G2G13) − 75747489437094151410556264660868976418116678554836726376694986473444123726055793662392054253189295107797044181511243477832149447445358206810692384759426251026526070616088365712795327690273990435908868604328083540979248250125238579155466708769106316083003114033651644842884028814162152190685458217906646276465588783061864297249707378222708 T2(G2G14) − 44217980175974309776606092468406237252726903547993967982707211212712276724072051338213095521717106497981397191274817444553289141982530596942489636207437550480556597239681447007730287048188604758776408455738850730987281496962622831007176097160769584647227800493227064042551813489008561751298922270780088608432575501866156529841934999835882 T2(G2G15) + 87111651131846726630190156369585315696446631948225274753714305997163814070484908812334616380374697915054275712344637165030103616838346545470866462970537332709292399657766012137597820247700963159414162041085921962302250652835578252293837898489683129684891820327192503636026738226934351587827874489979087407810522252653033906570422085480307 T2(G2G16) + 11702672708906277031391065835723368490559945276868657306316123907860782493336259836225418739931178765278432690193386386403215933066383085207644009273528631498562059281644014662486017050405999732835621864193443732043862725707209758291584304867016323720437341193382781666105489023606612512960787048985906831294101703214412540958816883617536 T2(G2G17) − 57867249953258857686507123774826893437328225572631759518897336309698845784224221152993654999463386819220068402485494805546539487981213346577381466100044985395986789487043663262542227263724544050594929864863402237074582190875403740274851937652122205747106701897307276376203380402085066854810641123977823952580385004215725163246350497819077 T2(G2G18) − 25424970283864763833059063181406513843139601198372787325754676639969322662190760695742905781147665283499919666259214226277386614837846836021983804645653322447129268338231455032108101443238003295589785114257179907599577382427192569097540423368043584199975776970789668019333189603474923595740699891642987733620269816031511517964336969832963 T2(G2G2) + 89396518615583270212187346743405264902311003363956710087435643033363268533313980279848957392465648673966519884796551659050597684008570174505239213573286187835217744941472164552721527583070076802669411430992345234720099306828418587327206243168635037820145291448733340701587137497646199262104193757938246774692967205168692095168289702062806 T2(G2G3) + 4622006779500968826409442447953248681203741373073869679817117830022995990203137443097567029080020690883776886539748416439143888800635176981091703911789651469729507199643306107958859132507947018002134720576136277820556099080779183781978079761027188113624928570233662029508181882692363994864268011161827018780872724661873109880778683734273 T2(G2G4) + 40313549779242600281104877791424441592704182332408269118432391793413353061666592167123198618119137499478495200006600428186842059607464963964472007988785299233869192259243255803764028311151429690468375146260066511039116914113167012923033039386598812172218875710416352523716635225858729996360887469855390953341095604557893782705735438359612 T2(G2G5) − 59021441185581787529351856085482778393798093476738737028423678903659183339680849575514709947117654713870350878888654843443621507402994357468797862033467744280309030396863586258523998992142782812450675725821081424345996634307071620277266376168277753749305341355817866354726680381961967514303060415360990508315068434959491433070014452367250 T2(G2G6) − 42343067524258003861632849017418160770434782108050761044015295125293036093246475549775074460134583935759395134907230533992051403600192183143812139656165290656942831111233922833618672851598175360572469653794630917557445360003780157740851928979842098035658349436359126272608133173855269379173521440781545217817251504775122140311414162303846 T2(G2G7) + 13548864432129812502322575875741663662394862271061074096501336986151982558464973060749528778318012357640791418309860170858253549187576914511250189652346041520945886518054951263096351845379377562160285414939104246195217628926234522681547228540284004719728530607017757781032558474197838885376131469202752996305548833221630291959204656142279 T2(G2G8) − 17750244025427777309181704541741395064601035310482607495750207520580857460363700752214500535567253990729418121499182797464623743160435510899764052236270391750905382947223758926590038067341793171865349281996757055861621899397751543048752721549985960509649670072546162008677123754107329140409779946717854330402609956132467487460152955504339 T2(G2G9) + 249219647366829137439558636107810558605633895239354854609419416536769756813031359434324774070530206148359662727775825213897964142311580789191674223844075199331569535942223656529045781851664339868869220420373039651612072360406246881360648570348102185134548378048436451095640404946138060728660142744905295925587967237772788854440383082750362 T2(G3G10) − 99527479376394411282548181656199467583790625878578146534499893500353306922606732685485876742188442093147611147643805826552281223774429255668489910517826769910170806390083042252859165395306112670718347870969321581934722947425768283248863186911458138829714185126956022480194670618155926119333197925679989214007616113010751341641184470878929 T2(G3G11) − 13773268627742655919098108606392622875319341878079182648991393231918060826172759971858607007448299640214413220409408057120440322728958090582942085090738103129168917077583459565132058899607647313406606061358776713508580423619053287392754350631511223912828974222446563451052243562336354948194812389837027639996633663467179443260697717725767 T2(G3G12) + 14434476264098202711882079662302652736421406834042773321980715470182830616714741508781578409285196044802729227288110032632327891844261540942382440089917981603045906035812336706342951468149383112277342363551872733417878303510516547646962385562274287607715469505701143029119207957308198460781262742998503851345521709373513726431548107215035 T2(G3G13) + 7759979866430807326615835756691225788215520847807878859189794054275025184318473549618180807244065756918457456215198206574624348896759916751401236634656939315584007680715715068906736813514576332630657709112670840784948400273252554911220981824498065871522682647936618657976023966083971149370816075208191405952482919244461862661603017154773 T2(G3G14) − 321967923965152466880829748356871162542800901168702433252632637386202008774094337372866266935887751075002583808396477881484012459640902257540064362600913899262742652919989148689551612802120010087511480698900231762248538226948827861076377010525120867465918070489248809823523913804804678193652970699690957680777530253444257359525948093274952 T2(G3G15) + 131953897951630362947237294090674390082510630203163286254143475244740532558509649465181934932450530613089374321870812264151081378889648398772803873222942799681950240897263788396668326744853052314832015544700307650440169451735646452325436282168395680984612420838199883002416074746852852754892558624516038468770552894889797570669417506737734 T2(G3G16) − 21692019332253533074046042136113096628328127908508039745514542081408765954265928611756655834348212583010854756049650137164949005179685771349239001007514519085613572443055752052933216585346303143447448405021023794064556174145072703247124240377950903974824702675169554082529785148579671482837347636989826940938801661129851093479122852498318 T2(G3G17) − 85002621306997296144982822824801843848447159055460421666197718079831028151349585660844912874760609378653786857068034441762486346259213935388262092086061137331599082995901138226672042306295618484679104968100192757683103691878035142785701972718842150126200008102983624433233812822804395940951040627932626865532040717507585852913896734313224 T2(G3G18) + 196253598267853781960985939667734369151769677054461836640349108776625432830127858993552491567280619158199908004204889816067253651248028209031774513546920317074148752523501248926740279658228520417795226170614312013071465945012590080383928284791146346279302614649917071856779190004642923808574296189700351382881108957680731021685766284527291 T2(G3G3) + 26928985379416450044039802267308965963893943450331942775173624546106651866142521261545777442310332293737859955195609914266671677758727714986799246755932735648177627551881008201864099580525292172005842966896942397305243353839878641754536162140941757184152259562960417799563358706495315033426285905287868837203036288887218764180514450359684 T2(G3G4) − 79293006987171767111476103219171712488797144447061742497982852743972298587085919162820708349740088653860185128429420154275528407727071762088874781504454085767726469670730953480526272033134056419964914180054355173323039873510294895531560838891288906874051974435324095115924258375784422031287576094840007398249104120111121272702695408321677 T2(G3G5) − 153652981350143183087615112628543265368377510546725479265287932162871657739433114326848362924214989904016453949623330128672834158647889627103777363301920052946467808765106520519996876241283714455415221752729657591928272770023521369301312119640547616922213294825289559911923084404877682688842556345182554343856025819046010765865272142267669 T2(G3G6) + 127505170363006703567689818731273854273445083324817370969574594902839349870921059812647158204231117126785956797981913031916083841412974549070017514415813337733779287677893560380891862508357864473655511785978127852394815094312751362170036061261617028588085455010657955250376020831965946039667882083275847931728730021382644633899648332750929 T2(G3G7) − 31064718733064989507764319819096252658362987762940373236164484935655850315300715064583287071076502538809667708093309742542010396386138693090172932203720054070697015187893167366410242762656533731517349209962460150867058977868186480353480442260285599862193060672560741314670576070938710985292866719413900445021800066564905402029481399038792 T2(G3G8) − 55081865842074316227344257803412544313619855657317096308148069850199654837014991194278627578062175062143307420137864990129238718980960651127115383970918975828168760261086867168198426532210971724403794711150899082103010679103339835273591669139371446236378951045850392493169205782761210602132580858211517279206460271092973753378636940168347 T2(G3G9) + 803457538239532818487298856649146296180566441189857123510423675265554132176351326211048803675854028968495142567245112670424102248816955970561352708424798356737928117845353061406369040223650563187901848310618124688424158551831571494771322889037973956915086405010285002126855173267698110144672239919200779543584461887872805009627210770554 T2(G4G10) + 4709779760132062022639822989907259160458829321451619464131682372376872371390124666211180971090785777916974982197220299755474912812789465136820536266827789950747311851626286562083663624733591344504377627589990127278016432225343114916073552828322778683358090134254326640939563156348971954640420675904686709745371499560354084642222672326519 T2(G4G11) + 17076024511680485951416956234957002573875422164057532194990257768542817647917576007638790991041281235778851210432526738008210376595555035684783457657646484604731920305069430838629031162215470983992633136947513708169948791130066294228240547656297649051451036502821479834947466826068140093556053004068020342885735241066192862763447242078937 T2(G4G12) + 66026306999795654254942335207386083950806640093919308946936937520322366446037344591003270829235915183487185611704406791094222224969984953587812289521397286832109879570307650656728732100035848093412107320472884469946844828087517026095241864700966160838792062329198063831553259181816338067506930044585872078797784821059595985066896584688942 T2(G4G13) − 20489585760357860684836125411686153724642518943130289041122653125411359966090182375917142761709709804040638372514672641923211948075311970958721736222299228393382158950928154071786722702769259044425223207967559591866303871510632442768470609653178977759165989331505630530084117122153627177791843692576385427064164450710448462784338242643670 T2(G4G14) − 46094973820501253873668062026354809238217076813921562566701546926823057393600916740420132947095032759603461822280917641163155728545831239398548035367336052525591097519939038582200492181533803284801344675224111865090059023884444582221694285092491062796989097679065000541319503162135641459205184614370936656481803922225203391237126972655649 T2(G4G15) + 26957346536073336694559803758573584675456213113285614501045192944220569415950872192702615053878548924826907215837843929184030741835372007204329356795234964016262327355915576387701080251049295185460631478435791635184694688039154612959493709746548717505374491693613100248396919240028858127420260148240415440322327666630965293418351646994113 T2(G4G16) + 9382707888914116428271352315756916473720793364173643484326953541192112737782493037180216685838383531099938810457807219351423224446173774489977040693870864733619813011463185856182422232834793080402615398156800674597369390642284426572290977866794157106185576360430532934374277561599338001717815651922207031844826643247559570216839631168995 T2(G4G17) + 14217675828826380510352931434022194210626103345804800772125635741116368935113370713711198188594798863646350957006993962733551572607886973480521331172187004645693433192702914093162628438874064297444924543804209447943317365797932428152334394004782705802987974104002664786007118399247118567455812195813114040261783241826121361579664292161044 T2(G4G18) − 26149910583920261043375893530335872076381115310244505350076052267610877981236175169340371313654158461522297774126303682459744903145293189649261002171400294760615700582355196750172836471647264966926885986239580664040180811272803745225475611181829161035079482801141566514083359260946679777855087781659608054438789925278983820695661711448697 T2(G4G4) − 68171858065022189603088217396949581638625031714032816175855399118338695125582491981733768208873647328895624235675087655340283750198438631059427369502424185864120154461181316786869994086343776990079790076448627430304104299967649060024088872064323515982521739995191425299969350490204074096574600947380375175517450350554742293596492863047874 T2(G4G5) − 7176527706675310779024291621419063755724910322561889377670093900089824616200120191269049427907261786719081446343000711785119248752139441978320360422744757598458938237342897689455269705756851136670067528857039679890939367994880719166945607753036188196975756553736964917239071462534357101991870928349892052261952438358278393360956914396292 T2(G4G6) + 14669273159684792533966280949747497927246233615898395061765674037266757544791207715123348698899278620820877064587022091370071573488495320244663969791790835483328021152266211944934372396544687853862754903322101088451381649861192693943286956690489783869431098150362109837254867103770949683254024731184031880109150951254506728177076357100859 T2(G4G7) + 46111030957234056068388478798523127523044169823214317673377826238030006226866461576903230875708458355732878310032992347281511460982025381600878083375892542299690638189914955091213571263091067998300800537502145442214406983074612283261098609591048641623192897225066948214792536365272495363896121360726921753529460825277532868370974570656202 T2(G4G8) + 31075773838216275271823246890765303843009111212737930630123500450772260875262466831951259624853293604065083360028631213758390425073730423895175189856853505229259602443861347244635769673506492377062195852896696409195128378384890049944204545369646382477922981069726394723515319242793371349814632349119799344381290886489292186112803584752070 T2(G4G9) − 143458892749183359480495444375299083994492366501844829948046662842292262647604727551584183527509040234073081086778853073272473964153283440076229688197949461706319022230085136913887414625563253042060226797129820856055494608371386675108021748047670666794062505227524447457825414273976638199011367625364956642076447636620655828219612853988949 T2(G5G10) + 167148723320958843270417761611921034440734697636912774381308919973148859312756756140343697162091398428428974212576439917576261499848507122690640068476432184698982703383967258367108835861616657294379420629719691633497253106678350087820675843116608271404225448641158963543996803880321525735305380725559516037637498138680186180281226500352835 T2(G5G11) + 63784386985395094466876168604159245603298599839967085867202248829955347858322846380745328761890335779362225376083117517329962107594629877364234989157944498122600288273391518038166808474587314057081349979053777309644887377583195967712187989950610394638184731875963859083032670687375519077015166241431167213627593234776427567156064697826038 T2(G5G12) + 26789068165520626232654946763258762571046142232012745137736729634219745399766921555001769043537705413472510843508084044253578057724724149883845169502426812075218689805328195717688510747224442944174684034292863521217813224987675758865227408890948674675563598532544040575221695428134225662876477810204983688018129809145778342143469689354582 T2(G5G13) + 80046621614317592781261224043085316591198040854691152316809961124085195079985517633842427885218635558298310322390844608519080303140980283053430841287686537972512367176725804334365025257985342443438097398619003522836793001312990315900162735916207915370512765986196848234003277203954542396223720641522751950026826643635603332215101725785843 T2(G5G14) + 32140233473754651268595785293225906459990331524584824467219457719010556014433796345572292635541198207366140503251294113999641795090445506103003038533362002061119192157961495463283697116570530292227997917634058601238412314630505727941728476770940803074847733123445877751283625050440272041882901392627838517075994191670783497072353464265946 T2(G5G15) − 87191731683882070779700650507805459772133228929994793030484863371555928680548738418950140223063504086248255968678575396533828236823124134731137365724196069425448302478710092039044493399967489247710334187287720366358613161209167178801726513065855112800987221298212562335013341541758980649031178181217042050882844819652680952850896067859703 T2(G5G16) − 41330951316885312347594378548002065210987484474143572481283991135487167006483012383249882887021075786442294948010373800117137493141150046317514158996296784412811781700382960670776494406891189714981331749007296412495337171274682708426287114407805071975411496860020954886367220909256664606156120748952336095390153722643424636055111086378010 T2(G5G17) − 3922923530349615122776937558839174119994042571574080445160680992040714854150101659548599230550538700996630741041200801500320170957053723219771596036955250656818122139030088819834850602778210535622523408912593427252971555333297830104769230109952507044739863351421118398388822811479075987131305321433353532960073029378728756293246505692276 T2(G5G18) − 57803456937589799958149052920230984126139440611690821545207098803151959804945096015243895273098226119879046532894238644919501185391312201978351630445065424261439711120988459356360576463188160649687995926201317388924809084638273189791223066795557968048882747494080573032711029369844322086976735220122194718248949178020713308522555075690596 T2(G5G5) + 120168571389121642328757354372459134260046355117082917379212303830010636958263129666736638041155680974524975381791901089675584480484217226591767707268397853960036299653322769279507150781707769335190998433347585216132080918993461861049416045418812037081864808078507110557946869483750503738289168008070947036843021535502499933033280103344520 T2(G5G6) + 69977283336797290019469613159374565550006680007330714734459067284729149883647159793098788819333985264198025585473092260345751639518711486003971353677938303797629442995555797546916547819039069837592180168547434719633681562755307048776360746769799452420291505917589555302997441464943924553337050571894893186594722871903686378751998571454430 T2(G5G7) − 20921314578653135586895386210132339414836636914657676682240941875480767835384737957069702116908480030923261685396744649194570230915084137746663515626898150562834815673083396480387197810846427738958036448679166066280888264493202318485772584067649661115147746536700568669427539852152170441202334358833504857755420619097951765083692755168186 T2(G5G8) − 15356736259873047326961251434118152519899150040277480669400091857704069394275931250291844196913026810706904437889277241506114412239028001297182718518949656459813582508063137175614522868719319326798817244084937896906539568710937542403829358150564798201021582792210581388331783285003836248086518398036140917167430445053922015790649901814724 T2(G5G9) − 41101816116222418949713647265558901226944099229977664124992144069199442811933007048331726593696419355901003711396167632734468316046894723423687377542079432137845065479138639096320425546434562234234057128364251260355195702767336173511586919126111782882375401797624750598136309165518765238720536936294582218714705308812095162108481697200626 T2(G6G10) − 32626696133789854424886700771623895669621899257131293708664224909201799768074998706750534341069760749752677411008166462469693339295589204596657048642281897605290678587984883533643808243923737465571456724392609388094708545630671633797926835955487213897449991319793712525574135071548709916780638730240690024983288971302413671328383429409926 T2(G6G11) − 30779585603792172243101958867300385548519887254024488934415736548959507959269398569115754910364386933038433111967027963056148188506252455193244852667480566973835480954321610474598393666083533886287908303915200230718950463142535341966845030904365948356211529905416174144580288430955838897093573004806773315104669026338126337016454797072575 T2(G6G12) − 46869081405228081683490509204538914550751799531573965588985378392057714476427426329942051190123317173682818113351828865254528430581971112254423936174918121987200952170378496622033439719343114549502121176328960795566930398889841591246070045598920182054421939877202563728694611193776699106715399000844509717730160139533640667340357223814670 T2(G6G13) − 70725462073215762557433992826467796759539445033259569763858138151193959503105698626253505297543947927048018164323129751601135492365895570399319311166228297346639726085892076457011402941318410852378840483422872100776248948173273208824939844702832386677645109063095449074276706879842426463589196525938010367818378052826050284121458715672323 T2(G6G14) + 145401841254808983566198336976379656867234933152983221913481775613388545385222809948165572984252224407600751800434847887478197391588353565704340014540410180739373808961737469239261695497004347537354845401680890954374753631479647362424869638796348867796762832494238657101940717551486287342525634799839955345909773003988129468539828263970510 T2(G6G15) − 3152968897319623865034586638758028415589405859816939131065404704138783803879920555979966043242959006129587986892607105599920438589276242931935603443994313641953797878237836636549634916085348989000863891039063388146031976645859456943279801360590387633441871463893345978975232048221425808465826460391824288423596636969229158791687408354268 T2(G6G16) + 40814941470567850358461162041297025643572360128078835545901852010773418477724359300115075077524817877818430696648871268884296661804744966663280467333979906623490826918347913733915499733887567387861818486549180822157451895857816456164394276347670114513287254443243313705137183212451159404686372359827495002970076667796392039464693192229767 T2(G6G17) + 24871055835122342395130627237020500379769070765242942994411248135205816969851795564805165297955008283955137372187713342725349160140852470052256414716658553759946148328843282337506914220897229277531057350988003549532474976834049465043815046161338718636806240912069683645735423918452685812021909888064073062557700841112935359992364901042809 T2(G6G18) + 10616133866751502654184057705678807793551051136951297162885502153762590518034382643255574728310617430715299423741402243435744975281186462035643928760511451117815249478569765111095822342120440863937847485708987845095437427080154311903790198873088592485638513034744055740902138834222759794190752411199139057779430372043188403728451984754650 T2(G6G6) − 104252063588423334296708866944125694488145335149988717003053370911242941405787037769811121952886945081360622573338265151842156376999220615335415543770320494583395621171777116695674903913938604893690748019233290473554527548123800820183546841834276898944364504639322190937666355624806301907307266240699722370264142923562081272458389437486050 T2(G6G7) + 15467540920574394132435559566126771653088994784916283179667645203187071422365106936692458071172364599620205339444876190273905785406433446089598639548460644865058261762237517070665743730050439466660063639854795964550730966737216910920411446882094344552814995080863175143970872141428570822766612089474285738909153848758035810932738806046268 T2(G6G8) + 15575033604691629614863149984554954108644709253455197293791563259989214076569394848537030618296545307190062419945559133877644273960828522875570641031026208083307106720613128572830263907435734589053251827493359528777157687641953626455802136301729366920708859850136485879186364685605914197289270189129587652192765808234394303528685002363520 T2(G6G9) + 147771329026220058050053166808065730772475249509930042954290673169017109740364850554891289210646715098371099321564199144503358560791826595585828191006461399347514560534876669551000919525625866070305894767743598223492579423960170399903929891393762496763489820312999767386358204289557811806459038751906449237255130808231618752242858351288322 T2(G7G10) − 104056209314511799719697429127188127727495265082636304718633228678904050855197830213470492284134376420764226630254957400087203056718084576554503189274562497409958081911325954734956293495348069202258981416340903013283514172014822914358170798686944259922600655436739612795984471787735413750564043970253875148426390227020208637010426910107115 T2(G7G11) − 11548085494108483226685938636979949337407051274663287240112629081587133216020585578692546277785730253747441704666333905715827716686676927938513758109705391935165855160052142583218043036097373000297552397562622855648440868832196177910829232478471959748046215464051212731386460703019953163703136122677829221745846749947092523908829913068183 T2(G7G12) + 5945718295388764844510941575431657966186792849948844280987453899796231553168858659605062903113077391524836148810696046102024553317175285559750320605635570143146525424684937179041875238980725330438624614696951229418419978814599483268910000968644511721280587876265796350950898491570504075906381499139660108130173143292467358643739857420953 T2(G7G13) − 32528063067318805611379119232293371150650860130459412517457411476719852572958374217667961487508286140141999359201879878641934100183675351515159758423218251357688413999357599477059124360134664812876170627331906828053809374499077374870771064404647025355969798681720517470360144924541953915896582322900120279818259053806146184556505032044343 T2(G7G14) − 75076491771761405630088284249352894734364861656520681998237217497137976122352508324653009108404277495458019424443776667484649957756991736970413855992305260886202853163833506477308905494330669194946298412894342892370522796440161153369159581967546605775134375145191790773471289999118604333694007321407095881500962028289426514821876958365158 T2(G7G15) + 87806404224181180090945653739795892599676959288205213582814544890457321336264538342347691834854798085967916002774242950280251330172290893136100871045178221706315805866689696830483172427689572517210064959570158812902905589027933253597708958563962699641356920757548926486274175242570255210573915135854423997187517957284534304748610604100354 T2(G7G16) − 5702179086530411775491597922935428053895571984501280019013114031281595681175233198705223344368015811220572181474867982862942770811990932640886022247184894554485612839109559915475042104775457654385948269177589959342901696981088666444112651901365663550401889700016195035776178836834777715892755675887483750485643471232234245798026376168677 T2(G7G17) − 29018251654814566547872929920681747567020876683807409765683795815584949131436125589693989598420803546826269889266038124216470241355257241104213000972881047179377844655465464105565748924950775348314382635040314265738110507421733814068717381520791926042278861100949131184222631263338666226955623126314554192913768479477742166745783102839862 T2(G7G18) − 2324024305640107426426766269866734052456497720769287229265824690608695650207420254847245638237423851777267805013251312502071619951047252519531444737654821804194028681172119606567280681712811599913428124963771142835641807406889147205621822939176823752501900697769343298572015194794921508434354666604862506574623637196134035196513901762284 T2(G7G7) − 26462484548005359971220724926582843980059046105994801854031437222339587645965076229143882117538796814857145045215282364243612386738932773220939432883903944129512151782613448067502308612917586655624806089723179116624750396036034845218685411929364686247479288125960584877670016393184624728832354694247664395498389808024039722249260091506933 T2(G7G8) + 5604448479884581278780179997699993983628540221286652819227415689065806711347694682634581895320684137869733416149586713994092734871026541350294183277011502281849490599539334742189651531305640924814223617688824116332752467299683215979900133296107664467788457883809532721694264100821125901286952485307649354073381883865083560299630812854713 T2(G7G9) − 52467630028003643630974240406275652960481020070745351247657811878493803330499031262140037314607938227560010771464769118274030810956713004116811839044692261022285071467943433690146875768515451242564154941113707203826090111182130367171323621678971136717131150364792849751621827410324518839260993545048145064118391432763527470976704276570781 T2(G8G10) + 32892391793156818218754899846041232590360665087878984592377363396903730319953460935514840440202385201896903769003307109161916569851968551794648335388639478155523701573647498002569859907525590468804012533596546515453860853607584912726417007352728995212917682740037607121853703412400156119086572711472619688293565391356803246677220115625424 T2(G8G11) − 28465574618563474705482358656521841623531375604695019409310289389212264195122386770904960218322071488636262817359990850774219661967473034812757287316490920646374518826692443766869332106211000576051059232803071056338664911470080367300137324709522905024991060450464289669783024528281427867114730733666315385440683829364992033058422340839048 T2(G8G12) − 27637302728041812539648714414817566830384016569305383952192536047752019357713976934276369820678973605358485946118697293910418489142636206316718462175335865978257446142055601596036286670062392169747958657244653736085533986060219076694144530536120477802239308279236459961453155651572096300571082107389945654677110117036902857861294881681132 T2(G8G13) + 20152526005683166721756650320444026651616010764829764372675722497103308685461376996932847032901995073670490882965127788195834744465312794193089640854314387325681146464344400138072045425822697119145292628153555414273673285626203915312889610060379215265985020651446300151346259923226035953952932600016408117533254065734493421565809954375870 T2(G8G14) + 32835649364153204415226944654936274067045519836651093398394591525802571865182146852442426375542030070925648512831496639892210539665117600426816214660919043719297147296080750572175009573648913861669106511061629102782555448784108208602025855533033390020733294071347993966329446577549495129177569428585066582147590851188148403500631740647716 T2(G8G15) − 51813657202894697203140769222770751959226766796309353378634338738064823847026790690973134836032174775474898004197840816116799769792615776104398765788944407836173678454941382469939512709143698806017971642689140349675077932782658519910099760021957958397317730404509879476839828857540752004308344612771688371662234995706885531274713919026362 T2(G8G16) − 13251846928624347198159130378853474993265734401963769786579964342436978391861028538456733634190839250228641133447122170204737105034940990634473870857322658189577075357785949128713384700024867979646371518869180404267616614840821791258300987244758601729032755526518214215741344739727404455329728706414824517897430372978237266926993906176454 T2(G8G17) + 15901694572621457041956072288693712420196636179128372791910866888187218102255840506069678821739922930692730332195840189871435082198027457026043060153824871252234391512526388227944622319294183402961273564194964024015637348734246531322741842973039558680386640784399236530716220464469781409265288627825682634440541629491122600295632784296663 T2(G8G18) − 177835328411669675085241968940595968393896058665338356161414610685517500895440796277896254407277695085138251488158938767472634189347484874895827290748758850079973873053384450213017298427162457220060980792030359339312281683100935480500133072779138182150532933467494164473776992023362675111445415879566881030836984669148999389966549953622 T2(G8G8) − 3252929808229987179360846663186514824459658933184484494410777591656825266827591628236273695704674077033209485948766717631558112322544355537990467987485253538933600160444241369667315530858420702271602601151243458706224698759698869864094833308019608052354274234986608690774460241864254805170532786711603932997089370044194943050733132030703 T2(G8G9) − 49223564601267965160926251896653064276820549236448482675002110165998571431762349739486583753706313492019352586720450894470011155004725353774325419836608179273663286486096031717077548597606099143257086061880491483761063857629544422942353835998135503750324589342207426225931061409933405890951348777670355515414336267193102294374937498748492 T2(G9G10) + 28870449172483086997726134797960855308979178660472845411664889355311456884916714090160198541911048044140031728999659813876502685415190289204172802618011027169199423653436687460085944850649958284759027454195393476140209660426160014167463465425376328626915897060724645072784279547626326596978760442547273781207911199545174702634583133567292 T2(G9G11) − 8264647032762074539362037409874134328971758340180747167516598577110487408838968846845103892098199371307499823992610835626051755121136088041664669611116071149822328370315115601346126203318899932390869444263057517035789074809486876318529840321749094644747346849093176489529149640394935124893045619616402021501725870296150290034275808026160 T2(G9G12) + 32212537165329830763650533428037978370534733574186012937522733186824788515322240750182563541512673708767549886825133553509102877173071787853930608842097756798150001613908199868805075944073410496971542215003077806142509459058825860961233310829897372215380233082002355403168862759642649175598325146495026925415338232896184908062399491597625 T2(G9G13) + 7001618439439427161487733384059681297582264312396539180525639596778140381954022061958092355065617753347832581871853217971783156660654700110440765921806663015272716727981772943631470118516298076708763448957235075376786115730278231313133257602519254485243939045219121808530257111658209606022427086838840227732409062815080555429929608493888 T2(G9G14) + 18790164872958115993811018162922360301319763726678691576453931101772204444946260882642998201463164886876776321962796519392954697934203426904373148856434432425340928461544679488342934964574005701001873942329765592627941824359180013486247581219879753129220381162520195399515083900585247690353477862500076529928358573740296236984136025949416 T2(G9G15) − 29586892721926485841808414629026800973543193882712204654936438236177561200230392255342883392096408777548394249563464323259132614332712881897763116664200429160579523545915292945375698245430444747729797584144941048461139192594740572000261615957107985798756378247306777465101310920903765176165947713089001511281680653946865408655327057190250 T2(G9G16) − 34643766530477835037690535493928844505987758803497547279040337491867118641914284858973960474477196621194600297664331547955850945582412075821073228100338476624264540790803594442742234973820959075072772045456356041271926419584193468977888702081091062435754800487897065959449063854674224446976593529539750464541716719288924404338797189742129 T2(G9G17) + 41475070210120825213216041346839318855165295973506737317074224681640725291514530032408934761683032553792870731506277612831394210953018058838281371746012152535450896697403915247352335686777250845565646139374827298812893131910476595504885891201399584397205343681656939995380291078994343103549776313332092134721624583430914527898705901336820 T2(G9G18) + 25211191683254425159683381288428898466603920025474233617626074976583501910186169995092782734813524501026758604453007019059034003060495078866447264987314897465702894183555871776947994049390704639880498827740751584249075397529209350003177204712669734346653306559913278266960713964530006092351071312950516529631702678399713779098650065914991 T2(G9G9) + 16773967408009916640398627350907987087390591826193047748579797026909769135517588781375947403345474597470257592455374626415215538187711019537306281346164498513492489684551394783726564481204552447963574999698954240875492903671077422888678093097200108859775701216678869105588925770827955323562505199258964491451859759061795208750656878590309 T2(D10D11) + 7712697887669337509200560477935540547254144100516651231883084740262021540988761875233685935812568708337443641347762647321598612330564812029053857348787455540817518571633673259688627825324931274817126010172472959966851996085944177479279996372439479997104190785490633083527246092047631533657673311638546623892387989152516704767300491699507 T2(D10D12) + 2012040754678678863305607928358670492035255407086729382185413208704867540062009207171436325782936704566205238328404316992555464286059837285070758738292026142113876333088659932191456985440709029946889844170771283520722186021971304403000004507316476328681415099091890850341802383618372638812480689862577938211271590441269627083315039409248 T2(D10D13) + 17819223499338011424194813154325500293819797480655166458048054980840424584379416877748754053798070848221609029925514662535020879182125823058858042474302850562541762499266023533386420755771494217359677495481603890455022503906664202586063447740296748742174642425324643646910344033533684493291613356716869199277774009355847146635633772659216 T2(D10D14) + 20648611646581603388914831140604733520609629798947691046747259649435190379012528366588919629758429359130653654396581932137213708456539659746926772152013914520241349404759312521766318287611329923981603478394571779316113679638940457431045095063542915610472956427172335597934639987815829011039271421468828754130467412762431145998975008972867 T2(D11D12) + 26721535871034262237509404166684400830784938112914724812055278963325511903338187479175715996567685911785772479133346174175859942113156979544597170623744622478615567071728276272906448314780359959742272096155285437075647465592267308045703698146224362307007733877064001563303654241454728173731145730172455477219936013859745301719757063509482 T2(D11D13) + 1487902689139538220343055277485529048012453580821857926261102245067916784467768375732636898240304870075026983274462152627354212261993558227387264784211169489984290075842969815629451125700588200646276986052032853177478020930874145111556948959412603786441612558701949052392986937025105264703330984956889675133425149999175253040098399131676 T2(D11D14) − 58308289066833903540584940889693446608529103290882442450682141691520339201072250165172349577557559010252387392880826398411300285274681480115608132001545039691076697811090443107434334384011730423423772487246562919747273038570088131886066336098688277568648834534705786645015087524597859876019467218901563215078707820953771896441787830128375 T2(D12D13) − 2147484080001925345251692734960826649350348037169331463493060387562364598180808940046852782795988926948954769166517761478851380695702357885696769197080626856894137706001583796889071638259605776021634768219179840010697317030760426594154811985123970462194350023553894965609441350427965556083625589801010294596169713528178969007507015637667 T2(D12D14) + 48942571527468904352685870602692961544306649227310142984562378183233855195490248594260269457150856613048958845098734741567979628185960681977960961900534581556431632358412456914579042514679713175763620580671981524835858830947649914073134963106087083264790822942753202761795622578797256987410304037587348069472235197915132274495286077933389 T2(D13D14) − 15232568419013636153298774793897525249555452387988005436896941858098886478506715877529363262619047023186461348708360909850289573819050265191916457588510987190428171575162764758306514517598206836474043430735717347025769220495500376175760989345593360635004167487427333157247874508697034689278152871614648704079336032139793955910057392818328 T2(D1D10) − 43959050346241470034972378953225212063181599982545728739943087507910267745097051214272386958766945649484438774749936777065450884145328150472180063062592769018430617971786502504163703538650120429102096758638311834615564988955722010776441719020602643742853193653006614540712850505511035814853324473128708718272059754287999367605536926896914 T2(D1D11) + 16393928171389469874142405296199985514139259898198389229998050203538988769740793353505772637328694388030066981622858491766620047800519277397406692482829573127119012470588287056630701617757164196396647342714248034177122318207478842991930682281198181634876112166375735409159471178073094492901623201058137552181351982335436566027597952590962 T2(D1D12) + 19925448654038447455381873387980742418050838683881156115941286166891687230402294882251484316799454169815512745337997432868651699434754909368861029046019809004303914732914724151710876593207367560692384011925670573912200112131322514311218629989914548943574503934462104447930010185207671960339690624509422017262310660044679881342064758727090 T2(D1D13) − 20477697157167118988463455759937578632121222918074183912793267799456787831451350688850525862755531433569927216888538896918963088523249102438985923105601914704732153075058360041072377812053789831133618998351504492086294341350370687745520312558288329170261140297670766068079834993885120120060911169912613990823234606869700514400953718327232 T2(D1D14) + 5205920307672173757956105577214363822386342744106414572326890226453901000777456030883305979770228552137719997996475983135162460850540626438178181823227065281029495848328090915293942511054656734554831651407178594812250153686427434536749307160591909909764157921218204303710232197986690173784807041041476685272258099971309716193693162041002 T2(D1D2) + 25846221878613995474501810417434883720004022548110780964766065040892092259248848576129843250740866133898900186080174774013540816578255673886609646002278767453814759236908666225354133502748547073309804722397155894488849277359541526933888970921084769835545720336499848402883488560280483932988405891505003095556695766569770311771339408398033 T2(D1D3) + 13683404284325762351416196491460357346407050292623644363048807305293639868681123267037233121764903228085703471379894406521719773501160165722528967074861808322251814995648730242456813912760851154428134801130348662058630940071696820049364706444392733216061369726454067054052364769337610775921274830170505308131059364976387012004923225094366 T2(D1D4) + 15865271413409840829136418331770224289964726235379662822461140304890803618374071961169199176501105019837544332669885692946487112760143365848229413808368980853514970286521154878187233822245329572330291748272151706874278413280586966969893164362104710149512571886353152300541589651002701602415828555862647920293051281594603182894615442349433 T2(D1D5) − 43813038254222117399233504918018005045854474365503385978909386868386148009500218676975001551674792142309808439558587283184020635154385928379440384894485011389570153849299780728869501758659490005248071808379727972597984923886852842121063420401527917142691544926424891184019336843226919421531512375526218187773841733948416248107082892536841 T2(D1D6) + 19258728054885127384480206455325941703969341643089865748238313937100886263569597687583854373495774419845647551910901265582429975427825819743225950653868902349243144126276636825930970967563990020466984397549033411167191738557377619812862962219775150888442988271506034487885594734995004885289081515571036861899415875389884518817835169553267 T2(D1D7) − 23018085977507140908828469025908472473625431983455085743637448349287786653623604973319187551244173960861007530486509982493403150989292138096880096588227015960594330880980226217183163309479600561440995063370581776163204550120331448200687208093715325101028568177466953729784911961603852403505381672006699761043439351236645725090425338378563 T2(D1D8) − 19838980804701321910299679333029272197752181217498554684405077345572409579121495616574926525411154999492209378656107155776230120177930196579270640621126770808395207367195717313715570428913755982525488199133307787990954957534532743471713323167238350808041029742712670988132489632308277247449967581070581908012132145215401320155808434702399 T2(D1D9) + 3588993717090602541680456432241827019402456889920085442758417189857287010194394583061659423478892759342198355246088814081318306638017062653142933354560317277362180602993226222903600500822113067515497990330740665085208581870057307743885610944137723663588331909328746071991208441023451328588463563841232981798113675381631261946855883485426 T2(D2D10) + 15743408760241383395318888173352269008755886880901194620686156448854032268300532452596593297050511210398285047496979903413652094026947172555613803908470382750588937879645585324033925916184818956897406599264080186776648936319345123415731114024350505185760110069514764614821521854037893271755284900931486193122478588433123440471781975789182 T2(D2D11) − 9468228260014655602544500008690804337270056208598214201356216321325828193043013699613669815795954223390108711460147755606526773458090876881512120355534359758447835484789582369164153882055737370868707534897345865879930941448320025654806242363055969417893810750067475633469227815256828960931356641342346307185819407430849252949378501700198 T2(D2D12) − 11698192065945252533063659488228797496787035334858720239495022750432255401787212123493757674717733843409275042002046113409645137390661159723391465096210570623926915170168815539191527848764632060489390940650615084634201139935287855695608770312309604477817887159056972761327149406402597736979960090708410456948748264848193806114463707408291 T2(D2D13) + 20761459364953613810857933079892727337228876904599774335003023461858313421448799059276826705180930745487002902376142768222318792401008110672967257241495899067761999444559336614642698241476142431805844424149540566640233823498344339577592959335704329434250157308075280407142748519785579139250207660478902603319020730554773568871206080609505 T2(D2D14) + 15308405060927400754363751844913874229927741055374787102004388361361034062603468129789779899808471727001844456836476231816783256215170480790865675369759932839546165639707252764299396708815201371906846045146079367657722289450747407232733240535643481891205712239320702033576744414294800167250440589829790552830817139161045385076960292082400 T2(D2D3) + 3100035500259548408119376663057931249281777472287566496103599473614294068151047106013042912754564257690068555410175012385297218624303905528520897829157372360586251835206378884225228175202142132210610127836303824403888461364016802722370572690807069131762360462406963486026997333701221092945138802580916968995542247685000992516705918721049 T2(D2D4) − 18419337131391135431649639527303292643603205771279939048501205289115862767612457210135301268647183962905111091690759581588134982979763762069344834809634954573027238748715576749924255428960289067148756581857412296022814963357578973317993931022576644116321526231464060742794577681091218259343174147949271500618121554148471408654847639367866 T2(D2D5) + 6108594588965503489338030386070261579136470138676432323715666230319023952809838113507534020912118371427240342374614864505020272770111284282681811078544282347675864630572621989192865422676767401694081367138174753506077065133242602381250086388927806560873034003674023628383577668967778867425437113562962225759898540149312695276886493498732 T2(D2D6) − 6788684090042919106573398665855946313459825160162129040986541751975852389454075631965112926094451762193859318181104986417661911784113528937830784781484574270228967622891960154806371487615279217191870604493860008645431804385925614539665486299181622102635719725498325506717748460085835710991133440546412287180687146230855211412266761914455 T2(D2D7) + 7112304507118586141133103560148548791848378543951550717607768280535179136317931689349335724502475733639667559104661518207545150954671479225460490656545440944648828498495468098304705949640799586927194650655153056709896959722669693518446081568959137229993558801217057441743763157656529500081545705759174010993324519545983511175596867939849 T2(D2D8) − 21434274832750477190355023897127009129443174170521705086108920507622489887139558609727145517534857967437944125865914702413167432543048853233014691228634384609108274817226402714349799513892901127345603019232868721088267616523898590814976217743801224273421521621248087655702358418738260867697092062526021122085374351241917619842197198980520 T2(D2D9) + 26164206656151563925142569059461485907329487870057847101066671122864646414992697338706694948222153610076853005269982958571054384588162374342097526422196274941437598807633912268980527228697583702587493687844754510857982728660666290454706747250674370945252587279037094238694650670203908643969417574405688056534490296997290393830866399172216 T2(D3D10) + 42372822397097689665260668935875040464876237995870549933734200345376832122403752705381299566733728550454339564530073157850971995272919689338022876564830902527682698376061527498963311226966810720900588131841500275238502563428218379643634510242238901703117396938471054761805893441582810898142709605492892393213195436976096127704391514801558 T2(D3D11) − 69347488493313406569831481335420794701845959619056802429154257816629371192376001433488986564142400322214420810063506094194670868158480882064308903025599801526240172857546787967261445502612093835020579930163622369020574592133698081930907341253535480088916228096678345582810064946337062975144194401181789764354848797383452190200252280473903 T2(D3D12) − 52764650938754296464946268007639784742325272733693232871257243343554016281995231866330970737403834920695270565801527054243889559140394008013816593443183608362985500311313657918391448692136473450505556698495184342185946726147685498354359611066807707194776849166854071827441525670631231115977583051365814897955118237619656661960421739500872 T2(D3D13) + 77091551041150909334506081206255324081284275930026108496610505860727349671964895082349236366318038184004028046323926197711332531268345388100922943233681750542856740593825760050543196556944858794170229858529929409739656113595127236462524828344773546474406803922383249515087088386028987411224342373353067488235949601163933903116921270144227 T2(D3D14) − 12892488415143598100126019117100781492491605003854269961653248772626098415021480736008798439681758391800789481578649337287646986630876929363130671700683088464397859941476486830214524010441149464318527971039387192720676352628670811643235033659322361655875044547065265132802937494318604518221149180270592433721211292991842493022568192782311 T2(D3D4) − 50414717019140840774263737390631526946635862651200458276483432376405073890691117383043993163134020106732781487230934265539533006545217457189004641411334437416713597111076886670877602257728682261678788816470077166253596505831200299624849263224478128868854254717021424132735918630060073438461291249348329879884986552437470401188128986078247 T2(D3D5) + 101179428328792928295207965270893424781561801965248596264482465035228158294618439911582517362851949791747362199330353389765230080372525394100262780026248289840738128816044583409168184833122475880184893743120997967465813200099739072032661856508534410188310178804026040982975391228170840778704180980919034456718202016847259141235002869362494 T2(D3D6) − 19144307220263831092390164026749382805772248633500459530905510066231870961488166185943940940863097678902787316289406793580017143753498654785223489404627523670184441528084777352731026197921162685048645739144820922538379661592882455283047164336000522644509260512628154845140419375253220885574497949889166981109786364629991334225168746560593 T2(D3D7) + 36213865676734140170711486071103499808430116395980014371158364193284796774631535267922162400389913530572083353226629116516999291580262127456946665521680640575763286453546837319764098258961527250630121568635762029285421215202242414769993958796381871035495741831932753371722619741802483581093878874831335192289169313241449493163105731952219 T2(D3D8) + 71167224735613438064684852863631911494393045919185091015292944501675390833724356234683090395413927731087935400472887141462577987634517084002054503095079178755554253359363144528148131938828722627441992836308281967190433030267184396165323409618259459266327884262470768506509137649728911648452308724775413731945845889739160410715826982451302 T2(D3D9) + 6903613303366601628835378980670661664783604880772757304645026396739295184522252679580603418079290170068235639113314962182029243134223666830454303842829198444136717904893863538760556685122302400241951636703599782331770133116367870670962953932555016323622597273323659681687352835668571773865282569107119546023124310144246233377997892445504 T2(D4D10) + 32214879549983505472818074696332870946218634865262453348320516357414792515166889170047885257639152087538182251271479692699921929422562556585672022174119240800285319833781568285199288776254401191222619704927815456503622371469568565268822737639846807628877075162866691926101258286523267041602016021443243598076122716779876207649525452973104 T2(D4D11) − 47314861249264873044089938584913177083180719375631097071240111292938584376250188327341273982087341443656434490683575951753939228554412411410703997730960014920493355007072173165301873240517716634879880142908452250022291137070238803362653613104284602777478411701026431770301960783385737359110716482417904756504133724861713203884656501412063 T2(D4D12) − 44529721863408025775137433110780077901561931572076514802739228237000486853427220605849042475687484765235109665652075305700509159901430468216058073418598310436528042667729714514633043512775045572600201701071333661290959831298781527051552083131371759686605786211886926732273475514454500994397992560791123526451772984414436125485732274228386 T2(D4D13) + 34508451084331939389951205363552871650310676961667319755368469809944190179207249976159926747486219058689386885524895192056631135117086247858851259152805170848269643479112176309331461026386948379209129079516597936265591639103559765533968711832969391601706805258052588780758471157994221000460800246603374860865437995545471440567677987398457 T2(D4D14) − 10594580675856465319596927536524910568272800510250251732513547792733846255612391401726776895814410188359715246018837013440505681096169948265133338423129129573639085339962695929756937276935410797497535632998990453508622548982264669058707988281963520063366490773753702953404302209790834275618664398259585530756811275140324912804333830685058 T2(D4D5) + 43871127248875866275054484806417952051963306792696906287214652324067371268465474495294086872436983295622046802960590285295017935382072542356671085346487547551231356274134597246057940005484081012326324896386240436147240610597203514965184722277916843911537074643319389862752674649928027269773872074059163793386077800599396206487485305665324 T2(D4D6) − 5967249354354668310528063344597698731479312281252405325183750721046499185728929548953257752195121732705000104205258504068620604361078953254514371850044139938767982185179720965706253207313827709773419932560465058310552020079100004484584255419413564261830411141468156628976795434520337456796093447900934730154052375229226851181104260975128 T2(D4D7) + 31142310850134117354243828858939563788238905173172008594191976159869071284817465037526629622035690815634455296640764153791787438336909405402842956842330343462215102522303620404197916395955998442124303945919883472320472310968214833686716978769616669525560109927055727834088875050582080327895178854718071587620323663848125419782103013128939 T2(D4D8) + 9842914795165333604861766460708502523623017624006359338588219153251482383774131865654628498689196401253580977626273431511237689304029045635316504166341902060112493948147939973793915172993682907939468310238132027539817392866955348240918061274234285096880256057697312758235254478090141658974338078868956148637750334366173879987100039014105 T2(D4D9) − 23611965225097771355678167785502672091410511797266750241773975071373874340140194189684707381161246605750568361232535829790350638868261498918239693259527538629396115545725992143478755963533758151776959007951651818014430630402697542761437594442426837691417347937711980275653941387947503032146967732112204148234129909525107957773082534032434 T2(D5D10) + 26009136824362204982814868125409680037101231085860569391374532285839621346136199267628029531676333852882509239630686401401876344822287264634137052501925904517040423186086072351167613938965751158282411171365852178884328528930654062465255404186061660872026244702304679579607109594619264089732257268028828834897793754810647046551320792776360 T2(D5D11) − 24669709977612896222791702897485484004489941195121546128792918812062525433959648319163808718356120840870164003157161649635905283627222379134663359737561581162612194612113510434219587046072771242416241081337846130723980390753296972877871734855730884756903903796737996191093323851379569208555714353259107343665844948508397311298609559803551 T2(D5D12) − 39387231858855630946138935139139562419257111450365079121310460770407665184262264203302910141490921909081543385407698527224242443776722723105622634269596918059684428900993932129917619267973015217965948733429497756756074965857413420249304275772336886627010629489390318370313571512321361968586878589844914801788299997536875312637697910898356 T2(D5D13) + 15959532723187187467736481761576407412102821421000691753390186433597786022342153932272215813489077796608817352210018320892069363122775235397596418843359439147427159985156062380213859066756580336551172162897978290336131714216504425101330729451996649470874481139704857562691432469055966215372221214858742373331067274225342200834748512580192 T2(D5D14) + 48796325532159803396106185172633380324091724013742351083051805615774774416558058514096072947736325355974910596704846423016743690469881812711422966413832310061976240052786720835168731354780199205520653807362883271551698311078429578421498908533123392194516973900484512430409204805684472615661853689307238670474869590482385443705039290120206 T2(D5D6) + 21569383305442279825196109860773560721751197635782946651591688246204282304393049480271989176519181028607265155311776460877702806011377696905694976851923115797788077410819958409939405794166576833289567258079192937331272568646540461115527994899680364381090985242981708027476149226758729701334024694504783857358517254634195694285683527009638 T2(D5D7) + 80678083354699543102686922856661332329535604846060813896044995331118161645009253072379602382698470772224690757842221700975302032170326190311419439384302558907370407003195876506762202592206197285433554762106338954238841837122343674455358183149033723983747167398995625371857837086420898286083755054908915331140444483803503958536758308147506 T2(D5D8) + 269485538621373432560778943463841451596053674297916236606398371214735244794965100449868340694298770770353556679222426200562399761499434272140502079859065351039442320360454936948822575875760278842340311869858387047955746584814850335305586872162927137436188461694479571209602798825660307497586277670618741374597944357283987208763142725825 T2(D5D9) − 36206530955308080689957672200974941410604495523706751922042333738319503387246316345076284289567642344307366728454983651390218132065388783206319956723155558133318382602930833725418018946259067273313637743035755447915305039692691532071362302689209863784247177618660783403474016098115844899885749019375929188156548977680021973562202148251 T2(D6D10) − 36446297039784827639615993313094973157827296861556529783379574970173602116199300601165932122275785180869065512021188081956332608506504301107174076601287367065444521887101094442139893165337352712991902189026560548202216654387066911688601095597168403912650190167182792219171662189610785404786954791611870528570020520771374078562042155689935 T2(D6D11) + 33523363477697804972600108592890647755720373873027886773465942201924990038005195500493080306616362373220480195798646325039786031680615642406845867199778883100683185486476595588707513659475785867171703468374087816298464429162530590296236968071795121398847574928192563565109803668409523368634192726966932302149159838771211753389139760142792 T2(D6D12) + 83197058621905893596264585933183578964165772694429942584877337117451705351576311219497777840799920247843087896308861494264737217027116559448817063798304708602246589764387702244310786132466439863522016844996212638629887148062648225106919491921366295542434933998970891695314382486172226191969531750714257806665706827729841104943728064997506 T2(D6D13) − 24813186223272096217544887456981571163333254098907032398063209823460250626387701113601487401749319328959133544851502996295950111176168498669778926305576741085498150859519147534701785680159594961306634549934219975910615752625738042519695962668060886112818152271159424936707912286085920375450699588566567331814382164488156642925278712919433 T2(D6D14) − 19595397766832168034309360159820900808696247059887815364633661341666822625257513778545811809138950158772908895689096973115549225872561756264290918521450343781119271814809814855029634241296809996703341377620668790489653153718214867641262814714039391758971243605355276023948437785227959015155267725008970022475311199887642658824981131147571 T2(D6D7) − 84229400734511897240403877923224537054087782327398447478378086055870018606394534276140900459098716397036100412538538360695148572816824986336739874095803646688526010185668066009741711514001939832617167598846240027872209610496976233225059298624991088350544006640714422698969900855924105298432987361728378793678837847643497972252359866190114 T2(D6D8) − 75526052748081668966917998317146555815491147621046326239240544094860005080982908885049312467529460179696340512092594592525749225934400266611484485136094496305380786015183440581823643860927738209978041450221637786067561777427179778216994916830955573805309846530530502583972493984548198407074122185660228794535997804478694324114924056603389 T2(D6D9) − 19275119954133654275602184507692427913477307805159231574212723963431635420776939575164473029050882497240840549250681903434240348501279601311114132006664790062799616414433770569131211024575178483204439494133723523359705175135169101040051825643864967237381340316480336252381467596396204908863121373188305560834531018789720681657914454208276 T2(D7D10) + 17381398587189571544905345266662330666566819223655969474335321124335046353052468271534528242405829312119630849759145720489264330686005288653458307938787772159334178785992840069735006871408229975775594028585723017239471529616345191664310841073700744440976162356978372582539849268885423398678933205065670771941927519244847794924317363663922 T2(D7D11) + 14424764239495281443674149941709511781973724890418229460396935413574640548085329553147375820238239456919215067589642412146729658260149578548536896846987275935154964123877279673897623091763901353426843073519726977575417500782855631074855981633621994712776113349414026858804857520560558158171209210178544234442234549480387024811601012055010 T2(D7D12) + 17063064608216019116523329063199163298402619105709029470294289978331829929475480591896458221658216749053004565929822875358616658710454056806035365916799757600824595406351612655153884595106327000972455750832335136064724601548147027482635996557725393743188732349783299251544790813146045174265867155367305575099837582838076130745124982410311 T2(D7D13) − 10340995253717632329353099477971918663991761870542434777601717817656841486374772217802622594811402411379354832323962006994386617537419753506957666224214934357541823519407206689455946897467275718689871417882470519666245477639963786321266351356531847177391085218118996199884493704748532531011921241324067795800351924946123076438245246318740 T2(D7D14) + 24117901060025239038494507196073048325933490982974680131176140604850690647963300683703677216514898678525416326501932915164579105246319033621137233074753835266257866017246266001981035018270370943976838558980222857807424413662564568490805006920801112612753850375431250982715556244791522625943903908217977624207823584804976218052617602854736 T2(D7D8) − 26097550389570765000377946993570713205454423285943891772324031168732099116586507592961637022070984539817734273081143747960718077411619836861532116047627944056432640840903956424366030458768841636537889442498255640750418830419842965757613143901468533447967795106723493550275471263545949600902950371752094667249286779348043935268245271791642 T2(D7D9) − 49562357239525109563356030439682124237712257258949300661305875332429906749559521386790559827511350183593018524025476968208708612417228766153043885734908179316128535811018412301364197311860308379247824930913494919678349461434143514086798485716528047230591958410930939930159189168998149093651013195515713083091301334235522551584655122830423 T2(D8D10) − 71300074038005782526342660315337571967682203954068201873467509022154336516059416271719679823438677151766158788380234841068606267034405094379179243640807561327275912813667261614215767572602273686758872421877758621273087064436875012140673989967935885707354807301574612977921142626662345859580465740782970652546728140096703529110474189758781 T2(D8D11) + 43938350491919384880883982760012794962985307582074116776949269031275062033034304658384473153841884053059049076769628994677602033128747803727982421951779824681989324918919799852444238901152120374829878602765070391492126735455211676936263879167469058574736169818282335816741440300478509001010344699808843661115173759512527196512981702419963 T2(D8D12) + 100687869126145131695388081189433900945821952449074673919419694298387176632251851769003809352813194400151963386173145089822795054720938420133058530150156132871287326381495736241093210708451029124611157546324951914874570108766940784308506128449317296309085917141364628776079692103099842147623766300198265518233725662068066305082121528568577 T2(D8D13) − 60600187061978068998497021042902950580060824875221396086857081452953647002939592832195470259216400851032192392677507236048678103436720008060681477864875393227248659988511363204678668771210409037952245676609350525154934821662037334727437384440833327352905070707175596320115345325335530630037379932627826076823147438488814981796328232763168 T2(D8D14) − 36839066231392809822427319137774071584250696329796796539693147484827147662410714498825504006988655466177837953967393769975252428034905994246531803847337719382829593370175444441373307366872780668574404674036636693413419409329944648422081773658914206785740918613010594079714242270718079189329886917248704642168448188480057208900862254068506 T2(D8D9) + 1515236149481552024014677427604590852468473737239664814856907091839876824076614930247889311720416591310765457904736863807025233104740699814769290063770372544774850069035649010806347444623182261347541948095077645972665755912046203548296629264343503747128177047195574998356938111572309297452480153259299507246176278592280923348193585072752 T2(D9D10) − 19217265043535813030438954135962829187617728603993603266829297175844889880847715006356923980100452663590859504680112252644901345620535025604890545649700527093448894161626430209638511179846619798879910814595807664377529671588087832764756434995458790823207192749292265118385302814248239413619007856203192497357150089009634982381041444884429 T2(D9D11) + 19637185097996166664644261679276556767850290168713131971751377825337249275668225215974384279025594737238622706862903595572009272573093456601056286411493259684410131232105370567123634006726744090257148406654088970352617651976467382010464163788163209114479056264225874178192798015387772503223869204959410625329163192591476645569029199728431 T2(D9D12) + 31253815374194370891925171619461714937426724621797813426988552128770367730939342924964238095109135581407114391998458836705276993994913228541589382944367905914399895821703926572884089826231582882978356593599129684463459759051579256803861809643722212684408747862492589163284111839133803884283429347750218244750810716808295052986817346456155 T2(D9D13) − 24920062478754198780257144838373688439906661424869746495204076877102552825056975044674150279053458300682321097272398772292682364545985662792039355223980642415843782938475845058145343161384789310560807922134832306529730642971605958949857482675054584577169617169775420983952128614316321414143338672893832708574538869963622100754751066921938 T2(D9D14) + 26105915978535800684178405901500127702470951566029457120868865818198515117854174857121112481222022615135565818045307179897262606854791987396476278389704423900529914503745130810320181978554894090212721754348351549998883325124385877441961354061692032512060551729550044215804049721870590085694467052252074182390410793249732540044182186262746 D1 D10 − 7704744557959769885747653946469309311587424791841376651501062014660992003080935452641201403590646295816063629952821475237163527132771591345734429663521099177249480622635703749451071436933206080101727341819621876825653975854493290757414781594606185748899351700126061245648022751354578300799494247733636749386814592118989331022559709441445 D1 D11 − 52471674901835876999499669866182836553042217143182528541950649996390650266863174476832761651942734298493365796823693819456709563203938850356954496988792244374820238160076087531673263959997808970512197415830720728286681839769390189413673984492493391662094329640147515376459874124127333272026115548184136104999438940338759357093739795342027 D10 D11 − 10302271099318267336964130312712955871044744960997674072486102356042156636483172159984184429675296183544863700121747420798443043569517282230706731807742445858770595430648716227487535322571579064090136403736912279381869418394744336245401132976813271506368583248301912322528887692716166499872260795698364343996770070738620975993843755783873 D1 D12 + 4564769404892022548459457240301119452242602806429296828283919895222793556304600675326973371710368188208540961275784096878864593630934464133742001731465968009157037129986575623921568290049929293348676079298864550521003377481704504605011632069673433619679806311792525008767225093320469846804195480696213752077142999210951146844926668411416 D10 D12 + 17120875985323937007043012274323551968406080806890659529865877899836385771489759803789425665292666523875123876331231859922766884130757066118139381682298304372216720898781712018224414056523327395014558085119756161731079105561796067163121705000930560162273351210197080722605526344664038518246359766306371224511445605703529327005957262448949 D11 D12 + 1672057273045484477299007086993597490279555676613939517376925291068463783244990280118862212211279225839593516754573574130962088777166748401508029031846280405580552338122002147222937531867415848988853675094465201692119251382615397183500593082216670435979461946043381929795429984571213926041955052456740207400379624349993511477112165924028 D1 D13 − 19284288195424205339026940381336396533002205017631143840851224562497410721414393501542450927712768819739058350657258506547281635382395559667963889563239354135775619991073646898446577905456755512813709581017768628846649062915050792561564389774308182405005190495746924312419389357497997026884788235006721733062541540364532565048338577592267 D10 D13 − 50110572058332928820688528363934897366495446671800583674711986014366714661965533670483288472995548983060531282278715090911533832466464409557881097013949384220597452689723654768733367988209587440321021578564185371777846730695727885457983602674347814008056659548666021245303391196288875315309352092007101065523394433618531266138836298814751 D11 D13 + 47006244157387659722772120095819606281054763769908932465137303254731773394619384166405216551472958429448589508085548266726431101557396762780220293967421825127779533970832613546385192292552347521729816340691881012930079464874417601262200951999966735830078431484439279964942950852060153567594767108014091798745605340595604474380693957021552 D12 D13 + 6751246016737264458490160619219934615557440534308743163483000775423395252689724813199570408846232772439232711983088321279208147313801109181198088785332281107271659715633420624369820130546819810976610831475114586952219385344953461386538750552178612291495029800959903038074947060764164233623022035081873745907864239350668234875026463621371 D1 D14 − 65717593726436643638837412475743853388702668520399326761142968950551779202685460448554143236514264529572181206894622950358712754524549150211593341279682356761968978281098696595249499621462671470329956969669895346004139619684543471807164680649428249269821808756773515957808867816059927578366694572766588191772557833920352105690201125069355 D10 D14 + 19389465083529745901969634757813776209911207649835517248313052509258610357574482627424912257303782498559802793966078346235265329051027299558710434283652209847901033973931011870136959333787947820531253861486762507267186332653055568180194239021180198850218624289913976354224810961891732456380226746682759894244562176038898913792411302296136 D11 D14 − 52172499525708468548308821200611649786697710019155750815528939762072789261370133173986019477973763198406080787869319571930760853754693879756120267755927663725897919568274048327947953024658529791959322303164107148254584745128106797084031775430520737824360403268124573703425879245001717421603947519751967106954937278882251121234825710198950 D12 D14 − 82198950137496972231988138147904113567002976359846682070805551260025408125601471175283923771118060983911896183377435841885472975351774562413438932986345392106788704594811696750526276278450547014772420628802340011018553937564167050595435048886021778102785116152077065463211717372309759749154371993374916203796536352538002923955852832747113 D13 D14 + 25736343317350385297821465734069742015714978393340017231712094346271798580055379039322752146977994980513789428510009316152756662177068555719516004354743341867165474050029560796261198828166232164570565239445483827262129758621789808650729091476536309954442611332287121440479068506005101045597284540708425256376572232585366447279435695319679 D1 D2 + 5896698926198570486188750784352494532902184680719881856785687769230591761912700485818602475938707664039536667716312526977495269250484416933575679836706564645015213755329591785781730202466720290282758413676149721786358023576741648585572577345854260396110598160886638966986801111853169283125328782232213342775738358252830420346148863275314 D10 D2 + 24807700029362514194099857196856697323729460366193059858063715592699294033399562599420393107071366491790083070147615110429337114696144380614531934059690287456613269491864586401429492309884019112061649549407059814749115952970044834466573458324154087481126481591442011257152256230208693900289623502767147847741189199266262576585974709393343 D11 D2 − 62830213160172822352700459130693479253112700542961573798471581842513055743692027984582985754894220138706906774792873833253955342870483942678649014281030361190626935331880376406996214175031113778117888301912808064253063951023027686156513007433880869379630084071717702605507189823042175467387864257866243345958910235821614391603007120221421 D12 D2 − 45121062143796920073080260950069475749411816956428113348810728649100280027948783798780141812334668009918587056242222424594657678396506792944894462429450192155068436107575243500624957311129587488943559383403508508395186849791465532951607045561632192103001425288323704293578896281029085199383000517956383294840798596755623754806256835597531 D13 D2 + 7704933693986772897894857107250108168194986966850217407234026134725079059286451604011646374197225825511577526346041828361270097664199028222202097512466544091114506078312718304976664714777366548389366980361521596327290056455057061521839607901698456693629686365080401016625802031604081316918381136392560153027216559162738446987565947940300 D14 D2 − 17217056000616906821807362522796515678572586562906612180780297269464588793800236469622249586787016834338781261427512359910636381250704747890960708909350617700581864608035656818563442688494154247872166684833910053333550230856421495643245748552323154651746740825600062665547386585025163284890224174769928382674496535244994384221149330420150 D1 D3 + 53204706342179582674866845470100884538653646797404913024835065425389254116068204219894063651261327959739904262041186064136181977814597354705034150028841654428483395405420316219485838091105120028487023442406987868457390005562748319031733677904773683275820296618845747467718074553228985580135733724072954220434922003641276785662399906884233 D10 D3 − 3643846620979131966747755878820631139522149520146680829789582209102368194441009246446097071220508736173143953237291540252221247660222874015440808835406009869118109399462255703881814269722488155069406808553032518509388123008210555549079288985314154503110386206848405361928098317468361792321109093098078016990645824726736087305520926132957 D11 D3 − 23864790777345537693012143398872991909233313169905982471761145116035718494557408873891328958450303872104111337227729738996613423358772399401063076787879002738591579572126943585651132322813231498230745528127852898445844318028054878522380441084882059392951644736881169468745328492320058140572903718302328816219241895179516459026974429523394 D12 D3 + 43748792955543892606008101323708718192103866607980030468145382516128896535557281727586616380473792143158889766502531520489429097769924419972366303522439470985094755996098300401669109782312569656352636254926216464318158326583085516152716323051102497983541310046659769182048087873454453141742327416955265390688573791835710593657626442368318 D13 D3 − 8591709935706218232884479177579356165024801162529869351736261635098508941222447675066759815486521002467268824781718633350831184957572591414609102011886058429516788480936942811795339279457116695986293891846095751427687254173680356941582344216355983397588227483201739207308730267941629592394559666722095613940695470935945173630301955228999 D14 D3 + 17655754241413685204911346159738633269980507750632994352423189372210934770055585165010487782263737887587944809431937939588202169614296946521384484785921266755845893672427680886085432974648852782393716294559579136756644097881188616192818494975893431095152666998447092979729806611437434506408743662481009541140543867653541563538217493906437 D2 D3 − 12917582256746195309800844716688410421467987802917375657024111433593743164635072573289706387530713189977822697923716870332393867428775780836046708980657723850588923345811584078850761566814746218780357028150452948068576862058522775200557806021551994737311525657205234687265591903614524883772711254419278157390414117450961679071964937572643 D1 D4 − 65786876093038183103142358833617142550963026998851812186018801559823982396967835216119222879807690748620322468857448991503302232726447439854293734879859830808282474893666293270512927254808259027637613454426208676365128623443787374683222540849871181462092473457564278109825797609466116978417984608710220191224491277886604640864034669266361 D10 D4 − 29328262796424795735226494889697308189839693678480207378712776515712015034482733855017096237724460122584738606837352780490415285489102321383006726627790465100891040110067488437580214154720658132332526876489633543357983216986710690262751702428970741468876876983601330693178698576887420146623350337429400526988890289043980115814902186463300 D11 D4 + 52444439398267550395067840701002092379891396171437961956478584523132216386919866983055220343118194570944303033657183925318914131052121151280000344012723190719937403371356587113073032934792596257787936687000524704498966971367008482246519870259373270550970454249264181083572746041742340600059858224660341753993938180407375205654288956591586 D12 D4 + 110187003711508163487771806480169380953574800818987529429386301527118321491385925609653859111414513328398600979476722921355659378309710109775139827890361494262695484483438015695305028091850443783986180650081681000874914820561152978189468542371453158060403846106006550072002965698355995206165728452661928813404017421360911142140708481538696 D13 D4 − 84694623582929209116882069833038530914229191042441195337452236660922202927841196479618089492977489184488754442250689291459384997188468238310117474520090668705247600996610267046528112724734730837799894376313699474011458452561362593039211896977783791351954044462064374537927466358897858519776003925481333763701397877493373296728751650021720 D14 D4 − 36308687630806692035018299644157577547635118647388987835433418537075378342364163199347968498475633788598610073703279798898662208370166090093308876935212686335255254625025317756186271187547921326597593246909156306610894919592361762797152844993999112140649320667492017782503332454146265729436254654358559855299982603156253168004588435637876 D2 D4 + 34741489624947465111934795497893184504465029684681444546641191948213136409339299765389772401793765787202281679372180872919280865211834987432588318450869763006543992867914410130118217607201005678246403199694157679740147679277416730734176055906064640175544305082627208365792492999032304063562363447401556183238685716416461259540696011085825 D3 D4 − 18223906071403124657711557773363835958707808253957886556745010608442967180281395483250218325830221266779098289122081109117222279992516191676529986323557178969573124072144010415557130149243463666835751010633686201674764370387299566470843354197912809076659124951001066704044796098006811922114757969335271189877366445696956979534160018511476 D1 D5 + 96782706816717690307797508507458180409300396069271514385485587498143181103657076632187779216704461509168688017900359071356013894563786701261408919495780502651169787350033083847308784939994336002697766234545899293002106678152539488379870894702226431140045260532983218151371825124538883305316207962073644266050120163327375656250942240847785 D10 D5 + 50860133233758702895710086188897506181554928159517894624988652125279089699164044443223668046647671505881541647720952539940537444872350559819405877852169040411846715811219210014360441217774542532664190762583091310820013673614300743775446844926974978425386050196914152422065575149200584407837412134328732671941634481337739332405779182548142 D11 D5 − 30591865632277869813774589013501304399103188004115386715751563284223711718650917174038502674643604421860319692930459758296245373598981012804287110664425302241707677030619291355389660495936621447675310455850627690606909114030035156370796362414751630444735752785140220106004168899199944445963242312642812747635738850220762799742338616523189 D12 D5 + 75570400319053088383920266017827726419725430246198735087694136688159838173493641801447865095063075087298588998706159649572500384792648044009490749605171477728404725282963413332753230684537346538980138975188300051071936076586269644337280154022154641561147627845625238779899955131801974751721609298778720368239098117104110926376612984515605 D13 D5 + 35083939925136022617292001352870519799694431100695935303292990044397671241381670688301465193215638626514853254773162275810796900041540669157703875760814116161164087081791315335860180269085943086066913767273073891547027109369008794308847399295015389143548067577470145860331294084864027087840324570968882168233536764021557493534513692600941 D14 D5 + 2627758153305265667640825957931115692325471503065539281221267886861481702619140855170259665918373265398485670039244068857782615448914073425193100554369544168103932134210663008682034099445310442077745817889798265892867708441722102896479992882647871801114257831615001366605819224065407906935935974097019090055297272618650438299766880805641 D2 D5 + 12272700214829171706312569097944356804210676403773641912209611069850589659940541512911027396045380064081099104400169916643718156679471094842287417682360347848053726121326950236894372846099287081033611253254325107784518759078846381605205118030398606376112164361677466358547169609965192977774041740599881924371295125407676547830380225727612 D3 D5 + 114177266954769157975282324385817765675017530395113464768929036992158582635032939265991183487618562641003202261672260104860100954810690153910600237543279765314236466251115011260972084656452846495435805757605228124854116219758366851078125694453059368190727532721900933376900506224559415771045081786743577676270674053232347111050154331188294 D4 D5 + 23782837118904205750188481166553289984757701838858277529290430166579191875099475762710943409947931782266012086062300607454463911518396202422825126753101914344401743170052938639607323770455537244731666178825934828000337375131181389339958416743545776996331646446994426330272313070586831359771373546439009092616438412160772017266754232234678 D1 D6 − 82832644623955818526986746952828129676619456028187774579699476049656981219434923356660905029368850423235526055759211642733643710676875803262450798484420458059182025263157511923592371271331878533851886128775002184035028879055132531623682896300961124452937978073579671450192961073336743312018920723296560864741749656633320753216455863312028 D10 D6 − 31463434049122385949362735334546088666863783902736436438704832678015964627038958239879905155915727527321709955984402343355977318471065063020033292356456351855407364032800260033221542125414171339208887810829460638808862373114775944137165788737830084472289281636527492712860275539533679410080550841284437626581704535480534237015419672148986 D11 D6 + 11140811419336340335143336714705093525537121686430696320741888833088613818560132757937264845800268808141350881208273407117416621302174481266649909672036363310992798359402060554543239231223120413619950802711905111904429645095597198099279608522279456581476136554823171318721571928901927252827041263165655155946680018715392679211292937441885 D12 D6 − 79927918126812914601917559878023925988621119817576657142850654414763760013878796808624286557403083095448769276509235420678448441294853061263173706239142989862093986048453932914492633301985230191053673837048731155557940025796971989230229686848818596760547796312755469191475507412860613386365036211425332094376972004673445010369716304883674 D13 D6 − 4853404059816531687916437189793982652221819979272567761210906974528071636473559372104039460267628158573340089184313493468494152366809879332418041259290397056906981602827822348736156108694216445498372157682020123282189035984418370436889509167652639393963813282415884911542982475638819924853151146435135176459221635581424185291122071595620 D14 D6 − 10830149981466866357789292900320537301238896807227296545948998627156225671784013048854657943790358258293758153726884088439794705410624058702521874856349370730059728095632174158182449110371510929112853251615575787310982782609966666660203823363227327544453299372626373343437137891598814541258716739626354010466093936712874625336257957689413 D2 D6 + 15216848562156096962504850823733269399319095112046807105113615824758601659828625488559847482351206682271394216783154308582865423113366206545568349352427393382273279093101316407377736170616688294598571588137349728721228104719814910365109802870644372985693325130018172232690714879684906014307983700949897982256525663806535499200056497615668 D3 D6 − 112848939563515008302475608409854364402538751935482541404789100602389306687565466256960678793363265349333284107019533546138423092819065197346694690285086662989991920350642956755946903446993849934131255394270115984756645468431528743529048923141567734521177741029197354540330566941655353326905554798863851850175192897494506084855941484244769 D4 D6 + 21303883633248836388170648270672455218777997971059490158014532525873317253226497886046097554456304773554979293804328764844762033039214160994327455908394085981323621519413136573207836262171967386930013021948676969582488794066396076357054596109221477532109678409082119169632727805186542792145073585404352392866607588439623912455234283757527 D5 D6 − 211977865266472096149757268124095062262801523966957079370847337306257850479682384498466823728909968712881708004042896897465935974955612868521285920539834996258494791230314749579346326806417477192743255260397156072794334123372904291752835969268380129870752041383327896159306627228056041583578089050731282197376550047590038017148267537415 D1 D7 + 34172102147075860974466906340903463737407275137555382244404641851754172421517718390585443927111074576021552104544560908574624009930881322291933537904535248760105461751685185336135072328397605157381044218411978210412824088014942480722230102824802880244041040620970379236083971336242240730923042067537022569585640214754385401804248651788154 D10 D7 + 44928961575316970674895250317629488167054464177311723003210224696614108512198681527651919596649809801006369317699814218643165950959342831360771543492199945736535724834008245359828728960077517609902143915378112730706758078650281932132771449479496530245131361636916180785672146682017405753566763303993673075825147456250241017721020978261009 D11 D7 − 40914777580087543571252582548556653308765681266164209298041260270411592501033957619842417360157224765222785528433035612420170235763229955246552585938245009443331286468193498192786630768361384617990955930367974383214667758195543748568447496233137470754489427897357802998572706639422453059547758630122571712560676507770385567753181367957959 D12 D7 − 46690230159861067542948205940813166797436748275873294329129343915846500069419534597624800064199876364415003872517570669480686664455897680640516858344957943198953590575189787350820629535933700620390375813332174060314674428838018055752506656752741741472189523696651353461925014676051695895724980125977993786520807084173257343401034286062648 D13 D7 + 35465132465312597036150695950553991708203061355126106352893468991546864686131899725781953209806572122436070416900746749581791176518811018788957224767460123233900339053121369101734123399062128569454291164631435525255867463463710588980630809440805641809409727032907840232841665041949414728624102737650753327792609237151029265209013425189045 D14 D7 − 15440956454747375993424238779381431290340585539119605511200455615439575447336602667648876273755260977784443578013904010876347815804919995636869536727785387831520896346554000643317516932189116222932114439381116201205720750408879097203484862784387911393664664138126456681982725422720349467289188854884455461980670917544019725969916579183854 D2 D7 + 37932451352830075258790786720115421382604295250798967243121000074269365248127459488461536447915762113779455405821052438046249177277208516172744268725710464224667760578534100946748484911337702583560413920664235626980512883108690349007735961649944704288860118750647534808840051175895877471534948591059801512285102821551558495645885413010016 D3 D7 − 25643405478301391462206446874811856632521368673810803483193097083314208256351042541596675961606433902460510637476893828966445073783967906920520592250282076259368323325858290700650889176045935224192992160329462665105184074769245892632733678714966563313141459356552172421575343216041310029756416591046196441454209373189092226590803454214191 D4 D7 − 78026863500166214104834466252278540959557624434892519574547714228537980564416198062340840826744911586275399198193660420778091404529984932760334344317520682096602547611974618033028051520834948825137530735453854781718094595649693479916409422894149617099575932760459757594627497896278335501484649251143099210109679493330408646667562113624432 D5 D7 + 38059734716913786514877003312461856439623172529214476166972384941731228227203661507846240550326495604908087198685824711301017839365502373358887317152925033301630696194218706221504222767816199335934003958788551693604480213338142391547674007018965810721850638658740349353253529182956296966673426447755083154490301272987298820053790830768103 D6 D7 − 17219511397109548496483641224446589471423109090811564668146473427595794006036346089478614588170058432621381651322149441201312387557462508301151599256884047249206884359985078700684894916818169731310047446855985088906230540377158481896904298652619139767621912867037104919073130023233165560519143147557245469172413307152413848986945826092648 D1 D8 + 103089176818403714863471173276788032441265224652170787001098043999312125050481534072011584999932651716511112496247883905772434844445334877488454299733128869326129982605588359666320903968771222544444412244872103886189781626784417529351859329949462703702516526135745273687734189384708369853431556107015878150852976099337479477916359281898507 D10 D8 + 38494456738716601723651889739437819116449984563073979038869967551389337100933512681858101527929779011655581882167944397599186251157503961966231643930928221541851391871501572977909694843781340902087857114008686438952561391640940245097369705139725568598870463399521321688477027967754437896587589150264506116799852779084932882879887703352824 D11 D8 − 66204305527816323502563765383792677783124124862696904203347674930776666837000168768431627516314037061413229479035291093793291276616458112514159215454097329318245488695551521673364435078439928853804648736906059526358053364308083469960618913743788280629644532828807099859046688725848819937856800495081952620615823099794980354829745691199673 D12 D8 − 143429059186802702046666194990028662515149042186825829706333661277467953001499434532253187428416137947586570303162628805926371919036453184450987507246072368180205771563907564880290821113502063122616193272312720905005692121728242401441985224269416543293718902882195749128547881442917862871077636504762424068709153673626785586663563610833981 D13 D8 + 124027229122724040607079719878923859496312399214231327340189578172898904295903134211759872746260901478086119362900799684332598084097453360135840261307090109931181379007104056354895505968767177304042969200333978238405081063481085147888799971612376468225418607656791271385329502463218068585620203702330376650573906884079244872250773305850928 D14 D8 + 50929785035395958096444501186106153129376049411645165687185363003960916487283668693241816104516666608943247010579940159096892492821952809262365520877601083152149367751409901227014249701480223963907933291348685587038269483294515739805341912273677939748686759214511939505258376357313342647495129774163628338647305326546732468795930488955862 D2 D8 − 72744688574592960538429423728494651096841148303954138220056463931586872061033702469789801028794618528472710264762291260792030531960798604793537908442803058504449948423419024484614179062904630914725458324209161380649299358848646581812954405274980869882300944130443475259600131923493646535579009515866673428179730430107579946397846947207494 D3 D8 − 88653059700014900692823122236071791525775498234891948276792725755107504105115832836097558992355936124907039109251018804941678332969942733424206980524189329481176980996378166824124525838230191825076089611931135392110225336062410503241957587739860919197599891863264835240758534333286249847656874752854489329788629557513949951529740102884743 D4 D8 − 133517437451738173327407230710401310556860070175382436958818892997264976979798027153938854845444098811835338789933124168019969644612066859502529023964769984058169199318121858261700883627568996295317813699946548039963708488366007188717198905744361193738282291636478465511856787817386418689671970190327016864422920662438969891316038400407815 D5 D8 + 116694193375744536224703497811186075397858075690186306887459553522182357231257199605256034971214769282463410756592063708032723713929848449874543055106692995448794746510615082283014622458576603313335198033593411756775681331919814677776642852515768768080827912634251764456788580944486306604868895079661663700196043293954208215848370600255644 D6 D8 − 10754701187768021187810230719964753459837265361188249203297160312940779359044125753351333541501900385276192558387209373746576765759972616282579015075702205454776782490392788233976017531834860597040303093772443292345576765007475940631009933432503833687877152187138690149050074580982749959564742933389059711244969127720700186730472578632332 D7 D8 + 20581684437124728523668665898271909611534945989406225859042974279807751658478526244589236874963817816390126050254555953741927715736159896016505492180061195692634009339424072859992675165050178619197560171583949449935478493455347250343885629304097190236989268739219738614653147658851885238152952163222223690435309267181077402082073191644084 D1 D9 − 48749609382002546347531577511982274645944903130482526802762685001879513520364330759078107906078615872144691243180053596634711306562212761289953187305035217320185724900250568917882045009568647852794331279756549172385600491665087179370570829435137390838071112050666834329254955048186942086328453016154729380709465531739540481664625043112914 D10 D9 − 53728374361530659829488115390730111724696605806277030771621947637015658230197644864818451566381063053423215912311509724921185467500085309802789313191534897567272495314125771727975085149850411455846826186891160354493506002719332013079013885585784208839156880408445079406835955278262008063108125617270642017320277743926642592961970562946620 D11 D9 − 203264417413402681906232575527267328453304102085254734088065374927346150314854627594086438907516121126649597523790826272404700815520496089530610977184966548904252403380899953782311931047320873865896049708153819477585488334490291184923596776146746708781219684640473824661304659935845006751605802372042824691881013003548681174818227228011 D12 D9 − 34156849348138664307568909540823988229826874803782711718094063926532826208349774073679244780977554756775983216026478399128997841962534183199494852210347990106091425716828211856195285434260749721756981874177447660192024787098428706686565185270693411174156413548418236028974801285403757748215782104692080418309246679964947863876439370316900 D13 D9 − 1646498330397541180178460212663355628452552352381813998865317332807089924849212784046515198436173511077194518851805688967236274802747567030170923749504137362986024598263612433251460017897012246051638569428409474088562560617238817861367451301277008546051998235379092329558605145941508545283805923177105629017587303999673390886754067480677 D14 D9 − 14889706755286273887151615625208392293053799237290185037779213803289812960378117591301309678280921747304066498669216114024482236427155660354916694926233377027550210360369372514858886122220129145447174250696947937203161833882841193514340914317277461350438375813578640253435165358779021064336237004304592318910257061297727856242341965411875 D2 D9 + 5531851465005250037542339138285105720436498870674406949370779209107718666797644632127202101901779856613193043184644961064356173850710756767774234520391208020950447224922432448562555259888272504132922908315849501956311712221251015204859690068325259296534937111106702394204411310963422503129315817266687237546304666863668642401196365040793 D3 D9 − 75979473541539159274031829531799646514155062277101000356135178843620655568802861442462778207235675849094828431202179846098929867910717931079396185322449762238864125867000109700442789810894423605166128776874567432951785390276274882680517067890400789333205160736053581683016892132062400228306357845312556051243184837587871111380001011961402 D4 D9 + 36493447615275563755199187001002199770499803061795807683414197482264341713123619108155827616261962551852814337203405626264594121643055630993901244890954761110240013268559799212336219980933928061214261991199340851851685345787077782407276585456940985803472691881266534905534175845858678533716366487793981568113953370295541985419789923699894 D5 D9 − 49762710972802257954111630873089850354842638891010841989562346855883898294359639650868883205207960153306706009235154584117359315477734267728618021767185168472266034600603995070472968531957320539604681173364604819263323984879051676038890903888746991229058667514912319800130555254744176968046062737441229472169226211001023743291889690088425 D6 D9 + 35384579066315563557287438094204930643594779906053048513521691301395203086184867324214730646517750050415599432373793237417798355603973839841746706606369673667368079045623078206561814313084995233770201318739840519797020024035752767791724069064796042297520036630741773044302157467962697483591636615436794122329914072141486879666971431379199 D7 D9 + 105552744325791049433387474890027239402025878134021311486457747370203969966434869779303529322422493835774846029924177634657272939282848816847720463134245790311644155060701423998864240753874255123695194313264207000859483485258940775100298015068210879034781599097518672872053630783706423445858414618180201042887981023580363025938680875959334 D8 D9).
This expression is clearly a multiple of 2. Thus we conclude that
        f + 2f2 ≡ 0 mod 2
Then we have
        (f + f)2 ≡ (f + + f) (f + f) ≡ f + 2f2 ≡ 0 mod 2
This implies that
        f + f ≡ 0 mod 2


WEIGHT 8 CUSP FORMS
In an attempt to find manageable set of determining coefficients for the weight 8 space of cusp forms, we will attempt to find a spanning set for it. The weight 8 space of cusp forms has dimension
     dim S8(K(587)) = 11008
We attempt to find cusp forms in the plus and minus parts separately and hope that the dimensions add up to the above 11008.

There has not yet been an attempt to span S8(K(587))+.


Weight 2 Theta Blocks (Number of wt 2 Gritsenko lifts: 18)
     G1 = Grit(THBK2(3,5,6,6,7,9,12,13,15,20))
     G2 = Grit(THBK2(3,5,5,7,8,8,12,13,15,20))
     G3 = Grit(THBK2(3,5,5,6,7,10,12,13,16,19))
     G4 = Grit(THBK2(3,4,5,7,8,9,12,13,16,19))
     G5 = Grit(THBK2(3,4,5,7,7,10,12,14,15,19))
     G6 = Grit(THBK2(3,4,5,6,8,11,11,14,15,19))
     G7 = Grit(THBK2(3,4,4,8,8,11,12,12,14,20))
     G8 = Grit(THBK2(3,4,4,7,8,11,12,13,15,19))
     G9 = Grit(THBK2(3,3,5,7,8,10,12,15,15,18))
     G10 = Grit(THBK2(3,3,5,6,8,9,12,13,14,21))
     G11 = Grit(THBK2(3,3,4,6,7,10,13,13,16,19))
     G12 = Grit(THBK2(3,3,4,5,7,8,12,13,17,20))
     G13 = Grit(THBK2(2,5,6,7,8,9,11,13,15,20))
     G14 = Grit(THBK2(2,5,6,7,7,9,12,13,16,19))
     G15 = Grit(THBK2(2,5,5,7,9,10,11,12,15,20))
     G16 = Grit(THBK2(2,5,5,7,8,9,12,13,17,18))
     G17 = Grit(THBK2(2,4,5,6,7,9,12,13,17,19))
     G18 = Grit(THBK2(2,4,5,5,6,9,11,13,16,21))


Weight 4 Theta Blocks (Number of wt 4 Gritsenko lifts: 115)
     C1 = Grit(THBK4(1,1,1,1,1,1,12,32))
     C2 = Grit(THBK4(1,1,1,1,1,2,3,34))
     C3 = Grit(THBK4(1,1,1,1,1,2,18,29))
     C4 = Grit(THBK4(1,1,1,1,1,3,22,26))
     C5 = Grit(THBK4(1,1,1,1,1,4,8,33))
     C6 = Grit(THBK4(1,1,1,1,1,8,9,32))
     C7 = Grit(THBK4(1,1,1,1,1,8,12,31))
     C8 = Grit(THBK4(1,1,1,1,1,8,23,24))
     C9 = Grit(THBK4(1,1,1,1,1,10,13,30))
     C10 = Grit(THBK4(1,1,1,1,1,12,20,25))
     C11 = Grit(THBK4(1,1,1,1,1,13,18,26))
     C12 = Grit(THBK4(1,1,1,1,1,18,19,22))
     C13 = Grit(THBK4(1,1,1,1,2,3,14,31))
     C14 = Grit(THBK4(1,1,1,1,2,6,13,31))
     C15 = Grit(THBK4(1,1,1,1,2,6,17,29))
     C16 = Grit(THBK4(1,1,1,1,2,7,21,26))
     C17 = Grit(THBK4(1,1,1,1,2,10,15,29))
     C18 = Grit(THBK4(1,1,1,1,2,10,21,25))
     C19 = Grit(THBK4(1,1,1,1,2,14,21,23))
     C20 = Grit(THBK4(1,1,1,1,3,3,24,24))
     C21 = Grit(THBK4(1,1,1,1,3,4,11,32))
     C22 = Grit(THBK4(1,1,1,1,3,4,19,28))
     C23 = Grit(THBK4(1,1,1,1,3,6,6,33))
     C24 = Grit(THBK4(1,1,1,1,3,8,16,29))
     C25 = Grit(THBK4(1,1,1,1,3,10,10,31))
     C26 = Grit(THBK4(1,1,1,1,3,14,17,26))
     C27 = Grit(THBK4(1,1,1,1,3,19,20,20))
     C28 = Grit(THBK4(1,1,1,1,4,7,9,32))
     C29 = Grit(THBK4(1,1,1,1,4,7,12,31))
     C30 = Grit(THBK4(1,1,1,1,4,7,23,24))
     C31 = Grit(THBK4(1,1,1,1,4,12,13,29))
     C32 = Grit(THBK4(1,1,1,1,4,15,20,23))
     C33 = Grit(THBK4(1,1,1,1,5,7,14,30))
     C34 = Grit(THBK4(1,1,1,1,6,17,19,22))
     C35 = Grit(THBK4(1,1,1,1,7,10,11,30))
     C36 = Grit(THBK4(1,1,1,1,9,17,20,20))
     C37 = Grit(THBK4(1,1,1,1,14,17,18,19))
     C38 = Grit(THBK4(1,1,1,2,3,10,23,23))
     C39 = Grit(THBK4(1,1,1,2,3,11,19,26))
     C40 = Grit(THBK4(1,1,1,2,5,11,11,30))
     C41 = Grit(THBK4(1,1,1,2,6,7,11,31))
     C42 = Grit(THBK4(1,1,1,3,4,4,13,31))
     C43 = Grit(THBK4(1,1,1,3,4,4,17,29))
     C44 = Grit(THBK4(1,1,1,3,5,7,8,32))
     C45 = Grit(THBK4(1,1,1,3,5,16,16,25))
     C46 = Grit(THBK4(1,1,1,3,7,10,22,23))
     C47 = Grit(THBK4(1,1,1,3,9,9,10,30))
     C48 = Grit(THBK4(1,1,1,3,15,17,18,18))
     C49 = Grit(THBK4(1,1,1,4,4,5,5,33))
     C50 = Grit(THBK4(1,1,1,6,14,17,17,19))
     C51 = Grit(THBK4(1,1,1,7,9,10,10,29))
     C52 = Grit(THBK4(1,1,1,9,16,16,17,17))
     C53 = Grit(THBK4(1,1,2,2,2,2,16,30))
     C54 = Grit(THBK4(1,1,2,2,2,6,10,32))
     C55 = Grit(THBK4(1,1,2,2,2,8,14,30))
     C56 = Grit(THBK4(1,1,2,2,5,5,5,33))
     C57 = Grit(THBK4(1,1,2,2,5,9,23,23))
     C58 = Grit(THBK4(1,1,2,2,7,7,15,29))
     C59 = Grit(THBK4(1,1,2,2,7,15,19,23))
     C60 = Grit(THBK4(1,1,2,3,3,14,15,27))
     C61 = Grit(THBK4(1,1,2,3,3,15,21,22))
     C62 = Grit(THBK4(1,1,2,5,6,7,23,23))
     C63 = Grit(THBK4(1,1,2,6,6,6,6,32))
     C64 = Grit(THBK4(1,1,2,12,16,16,16,16))
     C65 = Grit(THBK4(1,1,3,3,3,4,20,27))
     C66 = Grit(THBK4(1,1,3,3,5,12,12,29))
     C67 = Grit(THBK4(1,1,3,4,5,5,16,29))
     C68 = Grit(THBK4(1,1,4,5,5,15,16,25))
     C69 = Grit(THBK4(1,1,4,7,8,9,11,29))
     C70 = Grit(THBK4(1,1,4,15,15,15,15,16))
     C71 = Grit(THBK4(1,1,5,6,7,7,22,23))
     C72 = Grit(THBK4(1,1,8,9,9,9,9,28))
     C73 = Grit(THBK4(1,1,8,12,14,16,16,16))
     C74 = Grit(THBK4(1,2,2,2,2,2,8,33))
     C75 = Grit(THBK4(1,2,2,2,2,9,20,26))
     C76 = Grit(THBK4(1,2,2,2,2,12,22,23))
     C77 = Grit(THBK4(1,2,2,2,7,12,22,22))
     C78 = Grit(THBK4(1,2,2,3,3,9,15,29))
     C79 = Grit(THBK4(1,2,2,3,4,4,10,32))
     C80 = Grit(THBK4(1,2,2,3,17,17,17,17))
     C81 = Grit(THBK4(1,2,3,11,11,11,11,26))
     C82 = Grit(THBK4(1,2,3,13,13,13,13,22))
     C83 = Grit(THBK4(1,2,4,4,4,4,4,33))
     C84 = Grit(THBK4(1,2,5,5,6,19,19,19))
     C85 = Grit(THBK4(1,2,10,13,15,15,15,15))
     C86 = Grit(THBK4(1,2,13,13,13,13,13,18))
     C87 = Grit(THBK4(1,3,4,5,5,5,17,28))
     C88 = Grit(THBK4(1,3,7,7,7,7,22,22))
     C89 = Grit(THBK4(1,4,7,9,9,9,9,28))
     C90 = Grit(THBK4(1,4,12,13,13,15,15,15))
     C91 = Grit(THBK4(1,5,5,5,5,8,15,28))
     C92 = Grit(THBK4(1,7,12,14,14,14,14,14))
     C93 = Grit(THBK4(2,2,2,2,2,3,11,32))
     C94 = Grit(THBK4(2,2,2,2,2,5,20,27))
     C95 = Grit(THBK4(2,2,2,2,2,7,12,31))
     C96 = Grit(THBK4(2,2,2,2,2,9,17,28))
     C97 = Grit(THBK4(2,2,2,3,8,8,8,31))
     C98 = Grit(THBK4(2,2,2,5,5,12,22,22))
     C99 = Grit(THBK4(2,2,3,3,3,3,17,29))
     C100 = Grit(THBK4(2,3,4,4,12,12,20,21))
     C101 = Grit(THBK4(2,3,5,5,6,15,15,25))
     C102 = Grit(THBK4(2,3,8,8,8,8,8,29))
     C103 = Grit(THBK4(2,4,4,4,4,4,19,27))
     C104 = Grit(THBK4(2,4,6,6,6,6,7,31))
     C105 = Grit(THBK4(2,6,9,9,9,9,9,27))
     C106 = Grit(THBK4(2,7,7,7,7,7,21,22))
     C107 = Grit(THBK4(2,8,8,8,8,8,11,27))
     C108 = Grit(THBK4(2,10,12,13,13,14,14,14))
     C109 = Grit(THBK4(3,4,4,4,14,14,14,23))
     C110 = Grit(THBK4(3,5,5,5,5,5,16,28))
     C111 = Grit(THBK4(4,4,4,4,4,5,13,30))
     C112 = Grit(THBK4(4,12,13,13,13,13,13,13))
     C113 = Grit(THBK4(5,7,8,8,9,9,9,27))
     C114 = Grit(THBK4(7,7,7,7,7,10,10,27))
     C115 = Grit(THBK4(8,11,12,13,13,13,13,13))


Weight 2 "Tweak" Theta Blocks that yield Gritsenko lifts with Characters
     D1 = Grit(THBK2(1,1,3,24))
     D2 = Grit(THBK2(1,1,12,21))
     D3 = Grit(THBK2(1,8,9,21))
     D4 = Grit(THBK2(1,9,12,19))
     D5 = Grit(THBK2(3,3,13,20))
     D6 = Grit(THBK2(3,4,11,21))
     D7 = Grit(THBK2(3,8,15,17))
     D8 = Grit(THBK2(4,7,9,21))
     D9 = Grit(THBK2(4,11,15,15))
     D10 = Grit(THBK2(5,9,9,20))
     D11 = Grit(THBK2(5,9,15,16))
     D12 = Grit(THBK2(7,12,13,15))
     D13 = Grit(THBK2(8,9,9,19))
     D14 = Grit(THBK2(9,9,13,16))


The set A4 of 4x4 matrices used in theta tracing. Here |A4|=20.
Define θ(i,j) = Tr(ϑPiϑPj)|μ − Tr(ϑPiϑPj) ∈ S4(K(587))-
     P1 = {{20,4,3,7},{4,24,3,10},{3,3,26,7},{7,10,7,36}}
     P2 = {{20,1,3,1},{1,22,2,10},{3,2,22,5},{1,10,5,42}}
     P3 = {{18,4,5,3},{4,24,2,5},{5,2,24,1},{3,5,1,38}}
     P4 = {{16,3,2,2},{3,20,5,4},{2,5,24,3},{2,4,3,50}}
     P5 = {{16,1,4,2},{1,28,2,11},{4,2,30,13},{2,11,13,36}}
     P6 = {{16,5,3,-2},{5,24,5,-4},{3,5,34,17},{-2,-4,17,40}}
     P7 = {{18,7,0,2},{7,30,5,13},{0,5,32,13},{2,13,13,32}}
     P8 = {{16,3,3,-4},{3,20,5,5},{3,5,28,10},{-4,5,10,48}}
     P9 = {{16,3,2,7},{3,20,5,0},{2,5,24,10},{7,0,10,56}}
     P10 = {{24,10,2,-7},{10,24,3,-11},{2,3,30,1},{-7,-11,1,30}}
     P11 = {{20,9,-2,-7},{9,26,2,-11},{-2,2,30,1},{-7,-11,1,32}}
     P12 = {{20,7,5,-1},{7,24,4,-11},{5,4,26,0},{-1,-11,0,38}}
     P13 = {{20,3,5,-6},{3,22,3,10},{5,3,26,1},{-6,10,1,40}}
     P14 = {{20,1,6,1},{1,22,6,-5},{6,6,22,3},{1,-5,3,44}}
     P15 = {{18,1,-3,2},{1,20,5,-7},{-3,5,28,6},{2,-7,6,42}}
     P16 = {{14,1,4,-1},{1,20,8,6},{4,8,42,21},{-1,6,21,44}}
     P17 = {{16,3,6,7},{3,18,8,2},{6,8,26,5},{7,2,5,62}}
     P18 = {{18,1,5,8},{1,20,8,2},{5,8,24,11},{8,2,11,56}}
     P19 = {{18,5,-2,-3},{5,18,1,-4},{-2,1,20,2},{-3,-4,2,60}}
     P20 = {{18,5,7,-5},{5,24,9,7},{7,9,28,5},{-5,7,5,42}}