nS1(1)=4  nS2(4)=8  nS3(4)=15 nS4(8)=7

S1(1):
0.929740058642560025635130901353897280854443389630838065995480840297003323581965940398153244866702015622913934189398126567542116901
0.00120366956557754734883260788159753742430514475031545593075323229723136886749169628673517609350460529170203695846971155030669634471

S1(1):
0.583870360444790130587020005293988385625372365035842334316764219245541829854291084561093190590132877595782184499859459600856900947
0.0189073456625864022342839238686017983483238488314764330101601781711196662747842765927718246351877608243713622599461128065675069775

S1(1):
0.109424581506731478008346447550406615102706313961420508040799603195269759298344011437944225884718799889291848170727262621668908533
0.0241288354835330355939933423747315825591548811667001304845638002362293696231193695083180379751702032007529273011025311740786627803

S1(1):
0.3004359812964663330772511896802915590203695399552258666152857385133023884342018643887257491550075050400820162225542122613488621
0.0143095856074104074420222297591961544160889437891586784470726497690957015893440533655926657783205464835395548552215543366630124651

S2(4):
0.412238920883289827300228237895909312625415599460679141813410428032284040743207121567394085403024704138317498012170841339703610446
0.403517651441695883349469976206867294819616866467521764222177559929535704694421353403998163822425851064310900926770941502279182827
0.0146223346760635821992652490861191240589425347021929917728773219051822393551569579659983369661366926037257238799884895192826975466

S2(4):
0.944824087979588790714411133097428807088691892755771538991321713788016345767537083478521043005217050668811913059442634404266122282
0.00554139647030791083685229315897600844151828979898823424497566539782695502563986408665150625880225990830943826895916093583702600879
0.00131047133506746140454127975105870754984817109528985110646538728678182036911524987500280953410885925356555924567898893914056528915

S2(4):
0.150123065502951200896653165322828879449170595512981649978811030120522916336500344729845541365364528702411219786059692394244614094
0.849792944032868334580747487999054221465564190244648229494343899340690537136360801681102489205704548080749986294967838003847262682
0.00131534859459711507020539313984537799400444240882781737820884209032832838368528834448925124806107423415977581424384892943449904354

S2(4):
0.363382835775622172868027229893307582207005189541775011876522424877638280331504441565123689676796046540201353931652150709437183111
0.607195043621734213266163095289722856804170502877515945297845866257220950032244600000112720001366645156031445395097162441074811227
0.0060417293877933332525617821124165800407457860776446998583759330356191973680458957493989342475678401618182441548515980777181613492

S2(4):
0.328971223734507019235598545158417911852893302271375306438963556017702054443653024564957801932284000512365856530704392428165994392
0.0203379278378676707609315429947019945206114163332094288278010298902816811894065249028935885478933899657509327863267093950489617308
0.00828934369195859809948201465403002640055949495270868573940811084893096955771514578706329614605120565863255611125527901435215359946

S2(4):
0.55704935891608621576156373680049338881093210651799510049628015891974060801527537845443725344691226439163984635041118284191188283
0.106011998737302459550993976382951195259709985167695398258620443523701681557987016895830646719988797827960459000877087825839656798
0.012933413738589358013292644210047364275119853078715565575424617030608408909040029738027689241158083764932402577465611521872133167

S2(4):
0.710603544374212518879352469666117546922953443521560611792446656839372193988966840986675823060800499065465716180425792522528843704
0.249104199153202579183647091181212345226247999104496325554187918183507895568226726111459092671313904671121349571587327827814607648
0.00563885419154383201594417124756086814503800716531359798808410260493151477401293799198643916363167063033888112604821134208293891661

S2(4):
0.885317487086812593051120828508981046159208192864046758043891011790047320694764403086325083082636208943381958106263475379577372588
0.0810795624097067534466610180522264124084517108176953243832457926548025063509884522973300146362724484008511701593143114692558612382
0.00450499139881360415039134375518418100935351859017510814107318525706453681256786529903310548300193634163462711699298199024125068564

S3(4):
0.488847545038416133667197977255327392352649293395917106560624379818408168200722967074099379478979810423735768399352193410561059014
0.00950815168106079124403077363749131800176161391063138905365952209708016839335228654897189851551944753284867650179328013983484408061
0.00363618420610894556363000110793107261325191579834331549640227763932610661499128245840841369524845715072732184782192432007986664513

S3(4):
0.4503177245667274504493355098094184742282385927407307180551512222845876578474966535660524846996498158699877965161214871950281469
0.488193605092140960749526949501496264610241317347726592537037982171144612547254791509827314213452930512547548988463862237147790686
0.00388842116802182828244662978055501498055393359130316883504866280943277220569590907919447076224472385518403961803477410237076796465

S3(4):
0.658729569155478675128756125704157072146485225427674444430511852460813943386666817757674394368314042942671896930181881275260546422
0.276908311566086433574379383179874135898869443807694562057871959497855877279709070213909844657168389845381957102956873096541718692
0.00402365320826360105151738780959626390031625192881606321003251561586162842665950428830919609028946518274110650775673146599344478297

S3(4):
0.625882719117988392369123264164938058825430302331131212125349172694756076189117621086667997137944944953968515861248037447909461798
0.122480938204281230382938473652940034260714900175463773344361748509479370087108921944643335838045236110915611502393202349181303707
0.0095590194924487125220117060077993590077333353050324993710555273423258801020108878841354411806807036575831623748754825791752666754

S3(4):
0.251789600331936178191372970182561645375450760031437267325837395661340293887063353570230118938975146336747037916608105216229275853
0.223230572798645137256994345123827732751260970486417346425684170755891850769140742529829594074809249909974890328439332707450685097
0.0193865671685804071993850725551956675985700712100346597450575822640387207350242711690477794131300195621042061868653541631375216482

S3(4):
0.91338191280449134430969424476614819725897083828819219625854225879426616869305160758642543768952175062540708808047471249054814473
0.0120716500211842601317516406828281863127570199716257563069522155096552008785959303112963726955979927193746087391145569000404334534
0.000968754883738196201597015841122709638670355056311781114289670575452334210467370842210832708366455374378557701149146832666746221727

S3(4):
0.111178616417205423365074702141847572753457487650446582482303375036285416075887890246975950511603982265745868278594994126141996512
0.755187247166905113291479415342947740499240019596152385447426899397460233179070321254101519301054724721703612107273598081268638453
0.00502214350286199587070078374994197769407460701577401054606379877430182158406239885541692542473665224500020055541178560206323709406

S3(4):
0.378149249873753356279228670412552883714380821492803606310320252594756703667351274152143911382571778018957856268580815042278179457
0.0842482520483861729459309733621380528362623306021069165346466927489563248428811874044783310114994762640769227476174438190688900259
0.0144876941203148167971244523900860370963985149916341429930239879474408899005478002010116947859805113877605923652369036099111030491

S3(4):
0.23146195691577759284540943687227740403722676740505616467396167934503943641506909890582566165296774969919929431965440381682175898
0.631885772317767983884027928506080223915757018469644715483568435581770880195778077990238176366724084421445570039817635752532526714
0.0045997643138304235888905270830973032706693314957196132618199473225633417005318943985053751014098913511962840425541945293756391237

S3(4):
0.185986672825766606835407954197886015003592272486988461881531494189858430804039523562301757238389215200249035904598661663590555991
0.398929776592341069725175011823588320283945110237532157059459540210788225522093856016376831750450548688473890325482883202853110669
0.0110763606134987919312766939073099557823646089259930828948198098869163701301165293386123563532919260638908040282570093152127246712

S3(4):
0.729414905428929590445573016275814500950640769888745863757057376098334911331901003209456492611848001942632440956476625349974769787
0.0250263571329560325878926998042328551572106271672686715925165433313077252355590635462917721489742362656707151887418847701977422212
0.00469260200432727640238422271775427124639843226468037868911782063355349506645061480481299189931094020156783393831086951562258264421

S3(4):
0.804192417779268191572503011502749124979941428291700925428995098981752754729887845205363923107915389404102211631289909687178769093
0.120380007651355396847577057692461169658227448159687027742994615827592009008357683511752091264060463704338897835217546627937831603
0.00285194982449880082941709022024175852618872009812393535843459694848452688602871055808884901037340632944446011544669794540776026411

S3(4):
0.470360828384174708827792314929249801972586045208082601261941466464030439453728304595985135263376282100040164725288330661962951411
0.29270359357039777276206820425278841175607192085635285278340271578366282415700468045375708494713913330737826715333990946275280083
0.0132303383593508050988198976288153380135485787701523744017847194913664933539044087992557888664440140678876980871396018359585210876

S3(4):
0.275356575200115499618494213407748482948728043166799849189325871063235898806848590983091129415265929824661902779695780977854410534
0.707427489215588028203079471116054302436019914209292642042839664788877965963612665699106450345520610511273838628948471531774440717
0.00111972343972882483138318869887762840579662642512993310789921487558900430284561995151182462134972772239769529888493425477766065084

S3(4):
0.258404436625787953646767926552771573379173285783590033896530819956729977783053541245939817482704302520856833418859323671948649929
0.528327465094099980686934419925891886752656534048105286059345153547624014884177817706426523708750189650927973070216761123542949284
0.00918246462138119527992905901227461753054434479199763099711582800914391589854310431716949590019148575396645928289978353052712229577

S4(8):
0.774563016864191127838014351125409846697714283779143985001768028122566064305778701909587836016614616058146530919730143780839650394
0.439789389719420543466944962058456242023786549832914536671660518947755436008096487084792349436055991006834133416316313000720206034
0.195384090129046768427831694582051618385089194187510057096957368731146442558708508676665546112560290320879699186715463558000350867
0.00456490653701050185675815605912088421855004961687698786249267173408289493605584895128480300070070347220736509983888515416677750117

S4(8):
0.720141465513408460100929764513851761669577397923278678432923330100762202899430964892900409013498182634274830683274079303270402612
0.22174790443082657440745736630515606941660373214867475309317332540159899364951340611333646585265652755716663007253154932210445209
0.0226003518849812827101241188210824997710069921575948204169083586828787769758060045142462131239512046784228152845005777891105894045
0.00547503483442879921844957982173880391782389903139460866268570319080077959659373556528582966156437213650467641018951482838406063466

S4(8):
0.175098495563813588384336037070748044601780382414398553968879421943771998222286450313260179224207828163106009094297579036578535818
0.585607975148607937181353228294704547074749624831338098418752649107329686113719021547441836598083929469228719030610181020538387556
0.216085205336370873758371069230258942147447915426779601882869131323357541637033274316216564050313736436441985666952374357544383891
0.00992261207645742864931051572268198655338810410481620248172589306846754328545043275734356693765737937058836290722061451444940578634

S4(8):
0.937625473180555048113171861092187350867788936819998175414292073310005576773505367642409511785449033682143383227919022641487504886
0.739826753251313154258668228825072051331881032784246905102047736690659746268156407474460435478972410350863506454023892543382497484
0.0623243730656460712179368166064141676536199832911311444371279854562792165324302924640212615396726539288271071034545187274711768173
0.00110382912156457261142907610668455986117196118522850799467722023815565329598861986281142268171926468010001926477857518466114578092

S4(8):
0.925888224213703561577721178609416584250067190248630990913380584785136800657434598248119287319911228793116131193619925397449050615
0.500020931455211341617928172884423811213590919358013633563262898577400403350264126238756348134563274686458863756441372072065591345
0.0192931471825438380006468153033033854598331771466533986670740211523922665715257892938811352709594048411634232005513411068210034398
0.00236228293958670483191527286180579158821073003256382231735141401619257832883599622034480964213126196777361177974017489389976593185

S4(8):
0.268207392104163216937331765458682692240735700870712323016989769033682304788772385514395355590822500505950945573073616258230991801
0.561851986891996429987704299435085910552906102013788901366515133653484514499844571797576907463590618248253737354040104942500983249
0.401024665504877350182725830497839384044789507781544850065391713285681267365141787327546465217937484685254346639117406140103131378
0.00630666584934871671414808980017998748356349159322340379605477290210219915349272751011395127200913545424349955417061296570639856827

S4(8):
0.362079594397379040260542413955602133248868557032549305419210228385482735964500185257594995564430971294043565452625988015939576942
0.792456280709863986332759663238892178896736283369298239039872011936262611208959047033139372901811668916875878404926699952781080278
0.0920052910561478997492408379466894889473338658347414911283293754868208576763318416414426081273121368234129018472069379323069746394
0.00675492513102409921249899340884149989446194424873267586000186219336667978563037581529275482256212216621763382363403225707827876794
