c[1] = 0 c[2] = 1/200 c[3] = 49/450 c[4] = 49/300 c[5] = 91/200 c[6] = 34704460/57271701 c[7] = 167/200 c[8] = 183/200 c[9] = 1 c[10] = 1 a[2,1] = 1/200 a[3,1] = -4361/4050 a[3,2] = 2401/2025 a[4,1] = 49/1200 a[4,2] = 0 a[4,3] = 49/400 a[5,1] = 1781/2800 a[5,2] = 0 a[5,3] = -13689/5600 a[5,4] = 507/224 a[6,1] = -275776923568321554889485313326460/108782544039075797415588764982099 a[6,2] = 0 a[6,3] = 9576001512158705648097438730000/929765333667314507825544999847 a[6,4] = -22178538465642954902290458689600/2789296001001943523476634999541 a[6,5] = 12323686750109283453854913779200/15540363434153685345084109283157 a[7,1] = 8221508014471276464993/8206108584945090400000 a[7,2] = 0 a[7,3] = -9852144759099/2364568872400 a[7,4] = 15322550932778398907299/3996134347464283007200 a[7,5] = -18338463121898520004/36506562121215938675 a[7,6] = 23340475544602125119307511373519383499/34957329425893779598660175543672800000 a[8,1] = 81088643022740545033730780169/2975182110231937140152800000 a[8,2] = 0 a[8,3] = -2837794586103/67559110640 a[8,4] = -14167575606881316095038341141/1344719188593468553337836000 a[8,5] = 2395552232834276839307772/29760062864388068268875 a[8,6] = -4076715891031001341580357765362043260356514682697/60535801523558513633981092635987721507186400000 a[8,7] = 36551527355459957808/2801171464968864455 a[9,1] = -3347747115771808477876752833599/1101327591307901549464211073280 a[9,2] = 0 a[9,3] = 1214704878477625125/119815105452943264 a[9,4] = -65581118617864038124456452415/10200342297342072539428709672 a[9,5] = -133373082911575479273298406095/84070826916189821955373830704 a[9,6] = 622515683654039386383701463758952267447736841050281950137693/ 328994218860140584540186142455568117669077094653332432085760 a[9,7] = 46169188671551441399013763125/2343692704156841275628930358208 a[9,8] = 18880867865877597493091875/3469664148196911643475533504 a[10,1] = -74309815528722196127526037/51427190037752065777334640 a[10,2] = 0 a[10,3] = 913722369253875/113761793498234 a[10,4] = -440658227159292602060396890/58109996881684093545238767 a[10,5] = 37290888293935763341814380/10411746696360295961914239 a[10,6] = -645152888113581065780360392105179310452496326847/264735425121804814898131042131367320451487910960 a[10,7] = 473757486190086838681892500/556321100802942639360459887 a[10,8] = 0 a[10,9] = 0 b[1] = 9420080774669597/198627609019792680 b[2] = 0 b[3] = 0 b[4] = 18658605936510000/72821569629535727 b[5] = 296950875175030000/1101802245630054969 b[6] = 18875276980274212686824835566143151189850553896330009/148780947139609706104394157596648357994575577036224440 b[7] = 18663850606812500/74993696164706319 b[8] = 179884749312500/58508928482581269 b[9] = 349315176247648/7273791403140339 b[10] = 0 bh[1] = 7362904929137/155056681514280 bh[2] = 0 bh[3] = 0 bh[4] = 7505178129270000/29317774785916981 bh[5] = 1851744839320000/6843492208882329 bh[6] = 750882778189818437512810407839645051128089/6004363295715536270735789992319176322209240 bh[7] = 27902602073000000/110704980052661709 bh[8] = 0 bh[9] = 0 bh[10] = 331667036438/6791588611709 c[11] = 1 a[11,1] = 9420080774669597/198627609019792680 a[11,2] = 0 a[11,3] = 0 a[11,4] = 18658605936510000/72821569629535727 a[11,5] = 296950875175030000/1101802245630054969 a[11,6] = 18875276980274212686824835566143151189850553896330009/148780947139609706104394157596648357994575577036224440 a[11,7] = 18663850606812500/74993696164706319 a[11,8] = 179884749312500/58508928482581269 a[11,9] = 349315176247648/7273791403140339 a[11,10] = 0 c[12] = 31/100 a[12,1] = 50314776282583908154987591/993138045098963400000000000 a[12,2] = 0 a[12,3] = 0 a[12,4] = 17567865778209066801650151/74642108870274120175000000 a[12,5] = 169410916341752113745281/5008192025591158950000000 a[12,6] = -726954889223143742004176475584550146581740024533219205906603/ 67627703245277139138360980725749253633897989561920200000000000 a[12,7] = 893146207840235062261/599949569317650552000000 a[12,8] = -17374768929760097346091/19190928542286656232000000 a[12,9] = 930055346400911915782/71033119171292373046875 a[12,10] = 0 a[12,11] = -127777443/10000000000 c[13] = 63/800 a[13,1] = 784399664368741142545673492805798165242733/ 17070593531112218541585027982950400000000000 a[13,2] = 0 a[13,3] = 0 a[13,4] = 22165452125891516084042234945354788469907/ 372480652128845163229902901752627200000000 a[13,5] = 1029187790061126812557432467374403562329/ 91637286508649912535932082297241600000000 a[13,6] = 13246224485387081272175700626461361565940445202144051330846539075027575175019/ 3712249362569861652276587527351036597811950361002143198606285655244800000000000 a[13,7] = -8814434954530387900952366805144697029/ 2328574270301105214116474298302464000000 a[13,8] = 83758858130086893000871940379645991899/ 74485431296468628593527994894516224000000 a[13,9] = 3236319876998193707176800220534963941/ 2205597298181273435327746908160000000000 a[13,10] = 0 a[13,11] = -59448659734106139390193377/ 56239795646554439680000000000 a[13,12] = -3422079993275181915831/87171683252159381504000 bi6[1,1] = 1 bi6[1,2] = -1929394503746765401476191/209206093119677548797420, `u^`, 2, `+` bi6[1,3] = 16164147473782856013398910298/ 585410950072137700922380515 bi6[1,4] = -10228946516576258320561215697/ 312219173371806773825269608 bi6[1,5] = 580089771639629448403638790/ 39027396671475846728158701 bi6[1,6] = -24141100142153354275340000/ 16726027144918220026353729 bi6[2,1] = 0 bi6[2,2] = 0 bi6[2,3] = 0 bi6[2,4] = 0 bi6[2,5] = 0 bi6[2,6] = 0 bi6[3,1] = 0 bi6[3,2] = 0 bi6[3,3] = 0 bi6[3,4] = 0 bi6[3,5] = 0 bi6[3,6] = 0 bi6[4,1] = 0 bi6[4,2] = 22036464796365494199000/5848085575177807681993 bi6[4,3] = -845617710231548851342446000/ 18462406160836338852051901 bi6[4,4] = 2749034903773397957961813000/ 18462406160836338852051901 bi6[4,5] = -291919102494122220925680000/ 1678400560076030804731991 bi6[4,6] = 177550617001274408160000000/ 2637486594405191264578843 bi6[5,1] = 0 bi6[5,2] = 50384798251816763965500/24956599793313443218579 bi6[5,3] = -6836070077886803736728563000/ 279339221486557369945554747 bi6[5,4] = 7348449103078888372216350500/ 93113073828852456648518249 bi6[5,5] = -8462199324930250654313480000/ 93113073828852456648518249 bi6[5,6] = 461364260134939210160000000/ 13301867689836065235502607 bi6[6,1] = 0 bi6[6,2] = 31315514883885810553925432752776417392819830759481727699069/ 65714875879515541563178157275957960169617950350786428916780 bi6[6,3] = -\ 27083570712804467261569623376546959127822605890341037892687618/ 4715042344355240107158032784549983642170087937668926274778965 bi6[6,4] = 137437141001748006047301423122568937377257281808027324589235281/ 7544067750968384171452852455279973827472140700270282039646344 bi6[6,5] = -\ 19188837834700743974506318736673822602772289754216402298689670/ 943008468871048021431606556909996728434017587533785254955793 bi6[6,6] = 1013738233884401772450595148285908014827439101392282055940000/ 134715495553006860204515222415713818347716798219112179279399 bi6[7,1] = 0 bi6[7,2] = -3498987661854096965625/7360861021158937722859 bi6[7,3] = 37529067478056449445306250/6337701339217845379381599 bi6[7,4] = -130599718581018532619340625/ 6337701339217845379381599 bi6[7,5] = 170126416546237900023250000/ 6337701339217845379381599 bi6[7,6] = -31056796720540854500000000/ 2716157716807648019734971 bi6[8,1] = 0 bi6[8,2] = -367207733009071875/30710323915526210507 bi6[8,3] = 2185391067464690711768750/14833731368001385725301647 bi6[8,4] = -820297097546300682271875/1648192374222376191700183 bi6[8,5] = 92851385196991077250000/149835670383852381063653 bi6[8,6] = -538861315962530500000000/2119104481143055103614521 bi6[9,1] = 0 bi6[9,2] = -12084907837463630208/41996759377674075887 bi6[9,3] = 2171295694362663422429824/614706567011015448758019 bi6[9,4] = -7259107434893425557449120/614706567011015448758019 bi6[9,5] = 8888998279007279324403200/614706567011015448758019 bi6[9,6] = -1540619653322626739200000/263445671576149478039151 bi6[10,1] = 0 bi6[10,2] = 0 bi6[10,3] = 0 bi6[10,4] = 0 bi6[10,5] = 0 bi6[10,6] = 0 bi6[11,1] = 0 bi6[11,2] = 89278679679/209637864986 bi6[11,3] = -203742891823268/38678186089917 bi6[11,4] = 464008097036195/25785457393278 bi6[11,5] = -98373496370200/4297576232213 bi6[11,6] = 376620297200000/38678186089917 bi6[12,1] = 0 bi6[12,2] = -926646000000/163130685983 bi6[12,3] = 3977937496000000/60195223127727 bi6[12,4] = -3832647290000000/20065074375909 bi6[12,5] = 1381088972000000/6688358125303 bi6[12,6] = -4567864000000000/60195223127727 bi6[13,1] = 0 bi6[13,2] = 95485952000000/10623170940921 bi6[13,3] = -4108582912000000/186664289390469 bi6[13,4] = -3199139840000000/435550008577761 bi6[13,5] = 19498663936000000/435550008577761 bi6[13,6] = -4554752000000000/186664289390469 c[14] = 1/5 a[14,1] = 16011343807341676009770221/ 3776844839175081941434713000 a[14,2] = 0 a[14,3] = 0 a[14,4] = -2658668128463293766768304/92312030804181694260259505 a[14,5] = -21806804206620232371211312/ 1396696107432786849727773735 a[14,6] = -\ 3557452775111117228882069747171219987830570210923190385707101/ 943008468871048021431606556909996728434017587533785254955793000 a[14,7] = 61711480015286612832460/19013104017653536138144797 a[14,8] = 141801165812140365260/1648192374222376191700183 a[14,9] = 485525774792414024035744/230514962629130793284257125 a[14,10] = 0 a[14,11] = -1325670638564/439524841930875 a[14,12] = 110796482560/1941781391217 a[14,13] = 3130292961280/16969480853679 c[15] = 11/20 a[15,1] = 246964630672220791877503217327/ 3842697518422237216311010560000 a[15,2] = 0 a[15,3] = 0 a[15,4] = 68388881893118660902921299/268544089612164928757118560 a[15,5] = 91867130818896215139772613/625094761368519988689353280 a[15,6] = 4358729739099013006552333896498407206222172536286320615860263607/ 109731894559540133402950581167708710217776592003931375122128640000 a[15,7] = -4315926769596698784249205/442486784410845931942278912 a[15,8] = -172200395303433100290445/345221384564395885970656512 a[15,9] = -2358826623222341553161309/167647245548458758752187000 a[15,10] = 0 a[15,11] = 414205610422923/25004079896512000 a[15,12] = 2396583464715/26753432501212 a[15,13] = -23533424640/628499290877 a[15,14] = 0 c[16] = 4/5 a[16,1] = 7873624893600347549325219776/ 73176368759017212615297564375 a[16,2] = 0 a[16,3] = 0 a[16,4] = 55814506915261158498460032/92312030804181694260259505 a[16,5] = 558898941818994654160431296/ 1396696107432786849727773735 a[16,6] = 77153159000585180161966114219480562723900484375734332261000284/ 589380293044405013394754098068747955271260992208615784347370625 a[16,7] = 1631069055422361594050320/19013104017653536138144797 a[16,8] = 530515444380587195920/1648192374222376191700183 a[16,9] = -1664024802184373350811648/230514962629130793284257125 a[16,10] = 0 a[16,11] = -9281715508264/4834773261239625 a[16,12] = -16130742671360/60195223127727 a[16,13] = -329649812930560/1306650025733283 a[16,14] = 0 a[16,15] = 0 bi7[1,1] = 1 bi7[1,2] = -\ 2889726046083634195607126440958403593404772742454013/ 254025747561881541435599531498587491515992279081560 bi7[1,3] = 296301343308040007758359625456925828358569926508640377/ 5334540698799512370147590161470337321835837860712760 bi7[1,4] = -\ 3387099303042803688729788627987898415476252913396873/ 25402574756188154143559953149858749151599227908156 bi7[1,5] = 1929749356583449583107780431122528864506712786757743 /11472130535052714774510946583807177036206102926264 bi7[1,6] = -\ 57281475785712728237227858493021225015086171707119075/ 533454069879951237014759016147033732183583786071276 bi7[1,7] = 655458096765892059366267499178995954136263050170000/ 23937041597177299096816109698905359777468503221147 bi7[2,1] = 0 bi7[2,2] = 0 bi7[2,3] = 0 bi7[2,4] = 0 bi7[2,5] = 0 bi7[2,6] = 0 bi7[2,7] = 0 bi7[3,1] = 0 bi7[3,2] = 0 bi7[3,3] = 0 bi7[3,4] = 0 bi7[3,5] = 0 bi7[3,6] = 0 bi7[3,7] = 0 bi7[4,1] = 0 bi7[4,2] = 93469786700416484652505995122530515260959560000/ 24828534995707031364095279771699047674825160759 bi7[4,3] = -95099866683005377612550296172500551625207203180000/ 1911797194669441415035336542420826670961537378443 bi7[4,4] = 5756970218966823860343799700151194554373902350000/ 24828534995707031364095279771699047674825160759 bi7[4,5] = -878371868728892160657278332245236680572549543300000 /1911797194669441415035336542420826670961537378443 bi7[4,6] = 774726148868692508122297163612752963352464605000000/ 1911797194669441415035336542420826670961537378443 bi7[4,7] = -135287624931717230787085897140636180344136000000000 /1029429258668160761942104292072752822825443203777 bi7[5,1] = 0 bi7[5,2] = 495855818624351546261277727455360487910365560000/ 125219930272229989303619452560725472259524268091 bi7[5,3] = -\ 1513510105558790446574961608948823970789755488540000/ 28925803892885127529136093541527584091950105929021 bi7[5,4] = 30540640794134679564389121007392978071569574850000/ 125219930272229989303619452560725472259524268091 bi7[5,5] = -\ 4659749608942089976901047674889712625677777998300000/ 9641934630961709176378697847175861363983368643007 bi7[5,6] = 4109910617301805102818199412025622710542931355000000 /9641934630961709176378697847175861363983368643007 bi7[5,7] = -717698824169478594598852502235500917327736000000000 /5191810955133228018050068071556233042144890807773 bi7[6,1] = 0 bi7[6,2] = 2363879862274841604934504398326325857798862371333176\ 8578326653830335062961366154751/12681726621462377381733684000069068692797025017\ 003989789746753492292872038329615870 bi7[6,3] = -907586826425561075283310682760050582365140015286544\ 237227605273195468676740583123977/368487905604755871091884403020874826168064500\ 49407819389075472411567967809486053660 bi7[6,4] = 1164764482619367910701301644116259011487291621029478\ 319477274008878433799426978690973/101453812971699019053869472000552549542376200\ 13603191831797402793834297630663692696 bi7[6,5] = -888571867070580117905025720714440291015606578757722\ 97391837952278927497739246319552347/3905971799410412233573974672021273157381483\ 70523722885524200007562620458780552168796 bi7[6,6] = 3918612862481867779374503501259643469332288615941850\ 1917789392011197936686794743223475/19529858997052061167869873360106365786907418\ 5261861442762100003781310229390276084398 bi7[6,7] = -444790573001862982637645969963600916975767252268323\ 31863592553573837323153782412780000/6835450648968221408754455676037228025417596\ 48416515049667350013234585802865966295393 bi7[7,1] = 0 bi7[7,2] = 72719157572310218393419140768064514835593250000/ 19887095012716914182801675322046470466992536729 bi7[7,3] = -95126597910850653574822553367614114898799760125000/ 1968822406258974504097365856882600576232261136171 bi7[7,4] = 4478902105917401557585970621218203361148024687500/ 19887095012716914182801675322046470466992536729 bi7[7,5] = -292872922213772187121792609108594122968968218125000 /656274135419658168032455285627533525410753712057 bi7[7,6] = 258314637811592980062853631091680662958100406250000/ 656274135419658168032455285627533525410753712057 bi7[7,7] = -45108550790055059323742305610076488435050000000000/ 353378380610585167402091307645594975221175075723 bi7[8,1] = 0 bi7[8,2] = 700877204050084057926992353452229120883250000/ 15515605701975726893583010494724274236625942179 bi7[8,3] = -916843184112198253996385203000609291169825125000/ 1536044964495596962464718038977703149425968275721 bi7[8,4] = 43168272158377449074672885885810582403862187500/ 15515605701975726893583010494724274236625942179 bi7[8,5] = -2822749351284120462246168737873562563387643125000/ 512014988165198987488239346325901049808656091907 bi7[8,6] = 2489671871330064504559159484752736810411656250000/ 512014988165198987488239346325901049808656091907 bi7[8,7] = -5651911107820715287807730448402842753650000000000/ 3584104917156392912417675424281307348660592643349 bi7[9,1] = 0 bi7[9,2] = 1361021681918096279183465734660420729830820224/ 1928889868546218219167378964509294800458518549 bi7[9,3] = -33592498013587574462522601878064922578642474688/ 3603020697850483088633405990309814815950817667 bi7[9,4] = 83827743346457263954379811255320701598939457440/ 1928889868546218219167378964509294800458518549 bi7[9,5] = -5481449599897952419820879428952121708917856633280/ 63653365662025201232523505828806728415131112117 bi7[9,6] = 4834652030571220557108357130137678877505326768000/ 63653365662025201232523505828806728415131112117 bi7[9,7] = -10975351341956372993436291560717944203003468800000/ 445573559634176408627664540801647098905917784819 bi7[10,1] = 0 bi7[10,2] = 0 bi7[10,3] = 0 bi7[10,4] = 0 bi7[10,5] = 0 bi7[10,6] = 0 bi7[10,7] = 0 bi7[11,1] = 0 bi7[11,2] = -3102765819546561126074462023663709941/ 3398315599701375466029682998043631796 bi7[11,3] = 8161607736710961329731685957946942796633/ 672866488740872342273877233612639095608 bi7[11,4] = -6390515703731673702516371747074923737195/ 112144414790145390378979538935439849268 bi7[11,5] = 259196353801330588497295486777878168465/ 2265543733134250310686455332029087864 bi7[11,6] = -34590455382526932534242865680342171119625/ 336433244370436171136938616806319547804 bi7[11,7] = 958142825166999178046594158035105850000/ 28036103697536347594744884733859962317 bi7[12,1] = 0 bi7[12,2] = -142738631021638053034032400000000000/ 131029581580525670953880812113622619 bi7[12,3] = 2896196768596383292854860200000000000/ 393088744741577012861642436340867857 bi7[12,4] = -2529867554715675842061224600000000000/ 131029581580525670953880812113622619 bi7[12,5] = 104308999592735500294100600000000000/ 4226760696145989385609058455278149 bi7[12,6] = -6076373540868682852060645000000000000/ 393088744741577012861642436340867857 bi7[12,7] = 499086122453279905713400000000000000/ 131029581580525670953880812113622619 bi7[13,1] = 0 bi7[13,2] = 11904267348231227526745686016000000000/ 775702473844879182463297206075176823 bi7[13,3] = -4934318815841843809836086853632000000000/ 47539480182779024182393500200892979581 bi7[13,4] = 30171365594092046166536941207552000000000/ 110925453759817723092251500468750285689 bi7[13,5] = -3505806734054096506626604531712000000000/ 10084132159983429372022863678977298699 bi7[13,6] = 72467227482357597569064363622400000000000/ 332776361279453169276754501406250857067 bi7[13,7] = -5952133674115613763372843008000000000000/ 110925453759817723092251500468750285689 bi7[14,1] = 0 bi7[14,2] = -6348608237682873956664159308155125/ 735088816721041632279836253091852 bi7[14,3] = 10697197857806569145320112112410334125/ 92621190906851245667259367889573352 bi7[14,4] = -7092431243483875702310727393466922875/ 15436865151141874277876561314928892 bi7[14,5] = 24972527672331786113667050920837418375/ 30873730302283748555753122629857784 bi7[14,6] = -30480285946383510014495620264061753125/ 46310595453425622833629683944786676 bi7[14,7] = 259726432178005401042694778983750000/ 1286405429261822856489713442910741 bi7[15,1] = 0 bi7[15,2] = -19049764923892705039563100480947200/ 6064482737948593466308649088007779 bi7[15,3] = 215009115343265724313220252183684057600/ 4966811362379898048906783603078371001 bi7[15,4] = -350497594828053255738105569227276121600/ 1655603787459966016302261201026123667 bi7[15,5] = 82090700393083378363020406837379392000/ 183955976384440668478029022336235963 bi7[15,6] = -2060447141783745400076021958438259520000/ 4966811362379898048906783603078371001 bi7[15,7] = 232027885928018784200989869540352000000/ 1655603787459966016302261201026123667 bi7[16,1] = 0 bi7[16,2] = -6154850725863227523828835643291175/ 1470177633442083264559672506183704 bi7[16,3] = 726467385945279747870071803610437525/ 13231598700978749381037052555653336 bi7[16,4] = -1116951956715516209659591060886079025/ 4410532900326249793679017518551112 bi7[16,5] = 2175968234889483846592408563119214625/ 4410532900326249793679017518551112 bi7[16,6] = -2816071530007265472763060720617111875/ 6615799350489374690518526277826668 bi7[16,7] = 24778062445557185202389675718250000/ 183772204180260408069959063272963