Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W sml41.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 41 ] := rec( heads := [ 8535317322768, 251388680479224, 51634355866, 82741741896499794, 502871847503045, 2514465351220787538930, 429942658223265840338203, 14703418426976612422, 429942111136116223661919, 429942842222816035500480, 40425996703394579498764490, 111762519731222519, 253881723834026110, 184845735208036327, 29333534429194286179, 1008913876663252, 857741880043020291125860, 29393632910487851572, 5016034394599266668684, 1008920736983021, 857741881618449951657258, 172524272909416187, 5652108516603897206599, 966510556346571815475724, 2258585149143572634823, 2258585006436305642227, 2258584998102268843069, 2258584999130912377387, 2258585006436305524636, 2258586431556578179924, 13208107786880573463, 386218278371054576111089, 2258586424251184915141, 13208099556333464455, 66043284660595143036918795, 2258586573381412935394, 13208100579811653412, 386218034674751750980033, 2258586431552272675227, 13208108913848334919, 386218034683085787661540, 2258586431601009731844, 258132082546535555, 1290714878577092673504169, 31587118028628755740, 31608619843267043800, 14700200378190899700, 2513734256336605500556, 85966083833183059, 2513734264670643848797, 429848557833559540594663, 14700200335474292986, 165208846784775405247070508, 165208797049327704165986863, 28250703657905883259273001616, 789806279565407914381775414219346, 27007626680178276933219620475, 4618321036323017043579489717049, 23092573661117910243573335593356373375, 3949198046916396859096675491743293104372, 789806289392909311024279145435625, 789765018982262604556071382289451, 160253205609545239452559359544520602, 188796283442234262502216903203026137, 1110487713683598118492480206086142, 188686573667868039555417892377867576, 1037636892041198765810758375894002901339, 5517385142507336400383663541466407758037, 4130568412436508339636471202608609208170, 2624135393895895318965238, 40355077399983502799091630, 13121438994666594472156525514539, 447430068072538085182416256, 40355033041622638352304518, 13083303838828495547559471334318, 4618317379981012235618771816119, 6899406360252024317171285506, 191860583749424650366489316899285083, 6899413065042330837211515178, 842968128514399347227188570705638, 6595102157065941248844788942244, 432757965644601078625391160, 432692990292652899384960360, 29385208660369380702, 1004522406292366, 13208101316027759926, 11293403186707318280981678286, 66043284660595142183646982, 386218090581967427796424, 330230585232878547794447606897325, 1931171686760462552540714077750, 26934591930112463303535982765, 146609728613893333305035542, 25070263592714811990984753111, 4287015074982993232322203165030, 21435979935304156075409148432882996352, 31565372775847870048, 3852284707131, 732328426330917748765889816937018, 4097349872324, 1323052949506, 60106395605212995, 55881039007688946, 167467956246475106, 171993926429357135, 167491191002263100, 167090616083804137, 22056938002262830059, 3771736398386943939846, 64482058985416300, 11026432086506097796, 11026432086506186716, 1885519886792542722532, 11026432086506127037, 322423900641524795347279, 28636718300569377109, 4896878829397363425376, 28636718300854389136, 4896878829446100481993, 29410583756873560741, 5029209822425378826448, 858869750028198309264653, 21265996250969406748, 1885519886783962271536, 11026414548861129325, 8086242780303250726, 55134487009449840771678619, 28640993661351899450, 28572495344329989787, 5029209822420228404431, 4886632065940202609398, 60105954491745679, 60005853707670847, 167115570326974963, 10278118218088510525, 10261000984011714253, 42889214761106167, 1757558215293135417015, 300542454514366304749593, 300542454614374744927677, 10278118218088509670, 1757558213534305874188, 10278103012126845166, 1757555513891265745324, 1254107625579021272788, 1757558215293135152986, 300542454514366304485564, 1757555615073690522802, 300541992875406442449820, 214452403974012637646164, 300542454815126111277846, 51392759721956638067148684, 51392759965652204671094871, 51392759739058081337601048, 300542044506084770427107, 51392759773386565028511773, 51392680816022985349947185, 8788161912454585109482425071, 8788161915378931908729779315, 3770380717890752015023051907, 10278104186111708761, 7333830705158871280, 1757555390054700386314, 300542454514366304749765, 300541971398593914470482, 236409336046780830841246, 1757555815825082138227, 1254085050582146928976, 300541971699353745999790, 51392759721956638092149911, 51392677109159559354392518, 40425996463999522053793162, 214460993600552301838144, 51392689610540495742947338, 36670700964071827289238847, 8788147794460802155718911021, 36677826866134893279692914, 8788154920362865221709365088, 19718805035166175120983109, 8788148419539930494840880676, 38988284309076580252422697969, 1502775687029734053721494599182, 20944460190013525479082633, 8788155545441993560831334743, 74620523844896686797101605630, 1502775694155636116787485053249, 202138512182870008662303861285484, 202138513408525163509654219385008, 8788161921249110953912106731, 8788147794460810489755592528, 1502775687029734062055531280689, 1502773271348934682684767351976, 20944460190021859515764140, 8788155545442001894868016250, 38989509964231435936817479000, 1502773278474836745750757806043, 202138512182870008670637897966991, 10282493587346301016, 11009204917900348402, 1758306403436217473152, 1882574040960959576158, 256974642739245009507662086124597, 43942663864436453464670108351830475, 183431849908425045833861232747245, 60131541446469596, 167115570326974955, 10282493587346301012, 11026406369610978846, 10279561468546109058, 322423148653794627570187, 55134358346992150265044300, 55134358590687716868990487, 55133858305066283055534031, 55134358419798881294442073, 9427975277335657695302515396, 9427975319007599584577313373, 9427889770166334402476259397, 1758308279329002102254, 322423901117298572535269, 300670638683159832033446, 55134487013975956376079011, 300670882378726435979633, 55134487257671522980025198, 51414692395859398335655394, 9427997292570927607367447009, 8791910145734276696353640666, 1612187534775670940440790006831, 8791917271636339762344094733, 1612187541901573003506780460898, 11026406369610980226, 1885515486713592227019 , 1885515495047628908526, 1885498386001377623910, 1885515489203477500422, 322423148228024270702025, 322423149653144543239722, 322420224006235573570386, 11026432102776874001, 1885519886938748892863, 1885519895272785574370, 1885519887084960062714, 322423900664036175288116, 322423902089156447825813, 1885519895418996744221, 322423900672370211969623, 322423902097490484507320, 9427997237645139912324874007, 275684067225981536176339504484867, 10278118200962670039, 10278101247307255971, 28576662500346699519, 1757558212364616574725, 1757555313289540769097, -251, 1757558212364616584472, 1757555313289540778844, 4409407725596588970, 60105859582741038, 10278118205237850444, 1757558213085386813652, 1382510736085333776183, 1757558213095672423980, 300542454437601145132548, 300542454445935181814055, 236409335870592075725349, 64481232260676537, 11026406360180463777, 11026289829878092530, 1885515486704161710570, 11026298163914774037, 1885515495038198392077, 10278102417851650860, 10745666877794238081, 11026290716575685883, 65815711038480861, 1885495560909153820686, 11237333527461487644, 1885496986029426358383, 11481029094065433831, 1757555513452632295116, 5870979686928, 5874404861735, 509019032061642, 1003021757704863, 87042254480794632, 5866709537529, 15418486146441338958, 1004523231122324, 1534984520978271, 171767583848131829, 22022885859387745654, 29333752857506131254, 29372256838030511888, 2545200986664695529084, 1004927382972652, 171541679900770224, 90159270558165964, 15417235265446380292 , 15417235265446378576, 90066734303448717, 171892590128117473, 15417235252595690109, 37436619018099249403, 171892586708090113, 15417235256015834433, 6391208519009720220442, 9121872221230, 1333719595795631470118212, 1559840149830427, 266732664765965905, 172574124033014725, 1333592361007252150691515, 1009206559014097, 266741047539703972, 172574124318026752, 28883185098238322794179654157, 1009205423966200, 11233008304334597482, 171842582487942589, 29333627262966558591, 31526887362402074274, 11014889461973016388, 5016050261967281519153, 2636347228486285287223, 1883546097997385509360, 77089429308167468085440943, 25854793478781146215, 5391097738970754700962, 26956626216476696333974900422, 29393632911907706980, 2636347228182722331216, 32008777264811899961595496456, 37456963413936055510, 15417235254250612548, 6405140643774625314218, 2636347228476854743080, 29385082190277481009, 5391097738969834515060, 78101061059107888679560876, 172574271099220657, 456731351072397556157281, 29385081605437889539, 5391097738970704551774, 172574124893051017, 77095807308285134765512750, 376645506270513, 11013491248857666169, 11013491248855970185, 1883307003554660914378, 55069780090933405689598270, 47190751678509426, 1379904769877447524239, 1883307003554392686801, 161782699776145, 33053191172645025750, 64414276975488267, 1092146553522136776553618, 1883537873040237081373, 38080914754661994123, 37482464979692188026, 64414276975488268, 33053090440844323140, 6408860083710072494953, 1355347355214747463300629, 64406372141713680, 6511836423180561299014, 1117436325893084379374169, 6511837773294503703148, 169447373064249081851003676, 1113524028338276176542454, 28975500793986592996521628705, 8069266159500290095 , 37483166505960199887, 47188690991229766, 1397852727265100830607193, 10993587508573369465, 37483166506245211914, 6508899251082074155693, 169554931527133799444424366, 10993587557310426082, 64289988905548360, 5798551278519820063015, 187356887985755720310760066, 1140378376341747100608499871724511, 4939024544657995907071681871016, 28883191476243035109312884245, 722140725419735528913298337170176152353897, 38359480201110850834495662682, 99382324479563484645582085066560539656353, 35485535816769421413557513912570629, 64406381587346694, 11013498847551622126, 109989678470386850040576811, 322045417549575514768180, 5011646524289048607066 , 643214492226713370017992, 643214492227298214697396, 1883307975850079932099, 1883307003552665917855, 11016641514711579925, 9416938892695628305384382272, 9416930054567061884805139921, 322045438926377012519194, 856991555653427296689591, 109989678166392616999962592, 9416930003390992897376337241, 275360450235653177878881452415256, 275360450228527275815815461970936, 109989678170767986257753767, 18808234966451494966420993828, 55069767093459678343514149, 322045421599914751666141, 146545555755721637559653973, 18808234966452920086693531525, 109989678170867994697931851, 275360451454182430663117081337302, 1883789768561869410088, 9416937132926987205449020345, 1607370667924782633244197355060, 8051814925099193741988258773165132209, 47007216307069996744675290262520761, 1641963494844080626162331507083, 8051821053633581216412840196344131773, 94045143402936298327859468687163934, 11013491251436167299, 322045719801256962486334, 9416938892708554544198641699, 55069766400977413005270145, 985256330832638386250185, 322045682621946201662194, 643214492236318885558321, 109989678166392617015167912, 4928386891294796208398214669019, 275360450235653190813405566299516, 1610496110909494049775817535830, 109989678170767986272959087, 109989678170867994713137171, 322128088902769096307287, 275360451454182443589355895596729, 321502971296182615810066, 55069808766826690476046693, 8051814925099193742001193297279016469, 25059290078602369951292297845, 55069780090832763662654656, 322137614531385430884526, 275360710161311387977016445469783, 275360451725595447896971638609469, 9419326069886704823101637587, 9416937805548252993184836745, 9401046505889206875004680591, 8051821018035739664408856254777521960, 47007216340242325405950591755432692, 275360241858937902327827671437328, 1607578957917070226180627721118, 549971598676434026636238653794858, 335591071981322884084048, 1376860358284864392458839940846761904848, 1004493269769774, 172524272909505169, 184845450486079871, 31522612000794692451, 921752697513324819212886, 5015319175170255431955, 5015320434493641900154, 2511331379724831570217, 5640411104551883981125, 2508622383694663083529, 643842517063259237844883, 110097070417817329671474583 , 7722800026157010894331, 73433841096626513674886185, 1004523221326760, 29505901170713687124, 1004523241327604, 29506001327085283095, 171843941180539808, 857619578954060926374495, 857619794289392089151824, 25077654108195695548116624874, 12557186821632835409445866404, 171773470816815950, 5011646524435259688675, 5011628099005409478004, 6411822916842729378084, 5383751229209635305561, 1053141386151245880841260, 157511780518075737855034408, 1380094059334868674399, 157426269693318945969575859, 921124674438441515673286, 55069818085939493911408441, 322045719800815748691715, 9416938892695653307494426793, 322045719800815753868061, 55069818085939493911349961, 11014841362803414607, 186677680699090379143460602 , 36016141668434629797, 1095274663524232296316968, 11014841362803403834, 186677680699090379141676559, 31935457364926517099026639405, 1919653195243506074184, 1092146553522135923184334, 31921883399544454833511693348, 6158760225302321695440, 7594839825677022499935 , 186757021089319724591715802, 275360446580315452652293842797272, 275360447798844704011457651226268, 1095274642272438758474118, 32026925814688381736541700956, 186757021110696528679781257, 159683991428298667922836166076594733, 47189139055285357, 235955613580764204802510, 750103023173143570324363, 55076772876460337526282685, 1380071106954920694160, 6900646725378690636556082233, 1095271718026479073182687, 235955882928544109420754, 186757021127797971950233621, 275360479673004633530753511484420, 275360480891533884889917319913416, 5870979892473, 25059290078585242814127402774, 25059197776237276324753629523, 25028791723701595229426657497, 1795230, 2058096977892, 2642971802544, 2055528946598, 1616918420453, 351934583014931, 351938883050186, -535, 251341298362130, 351938883401078, 376647691039520, 326640905842235, 54199464800, 351938883401097, 60181398535056198, 73083226074203229, 73033116684676224, 11757567914065716828, 42979362019924329, 42979418452305675 , 42979273096171905, 60181549001581905, 73082637784554741, 73083226049378469, 7349470905407060420, 10291044889530938888, 275904775073410, 276490474788895, 334004811791497, 376984890474280, 42979362019924327, 60181549061584435, 64406905639109359, 377089774901935, 376941848659711, 60181549061586154, 60198267582077947, 11014989461807567146, 64457105677461583, 376942173673426, 11022156729933518842, 64482059045449276, 11026432096741384711, 10291044879240357877, 11022131579047196227, 13224042554764285816, 10291077633107512744, 60181740589668298, 11022156580302204667, 1884790100928323595589, 11022164339759639953, 1885521187627280398069, 2136295476052736913790, 322298880564464464526395, 10291070025851500087, 1885519886786502233722, 2261311276563679732117, 2261311301565789776638, 451556882279532, 77333194915496415, 42979362004923687, 55831033117558836, 326497269986595, 251341298538435, 1467264299157, 55856184054324584, 64482058230854180, 73058075253500666, 13232518276095071987, 12492955719042151361, 73057485278604776, 12488605486135069424, 13228318352545777283, 2261311351579455703556, 13228242762226000397, 77283183890561225, 13215424432385307551, 11744650312036531691, 77383883199600178, 77358585247071631, 13232644015990779106, 2262782126725847484037, 2262782126774584540654, 2262777826362064790344, 13232644015135743025, 13233927315703741738, 2262779151915095767753, 2262777826215853620493, 2262777826264590677110, 2262782126577071205943, 386935008282611681093674, 386935008282609115985431, 8426320422311633845192, 13232644014280706944, 2262782126433425144335, 2262773475705059812231, 2262783401834314790689, 386935743619668490428643, 386935743619717227485260, 386935008257607005940910, 2262782125991371490458, 386935948862429334447166, 386935948862478071503783, 386935743544515094089148, 66166012146112072513501219, 386935743544563831145765, 66166012146120406550182726, 386935739269009775378368, 386935743544368882919297, 66166012146087070403456698, 66166012146087119140513315, 386935008182305688359402, 66166012146086631769947145, 66166012146086680507003762, 11314388076980813877874048855, 13228325521167987808, 62424322857875561243286607, 365216839469253094027921, 11314393955170201855428647776, 11026482107857242836, 1884788776992221327786, 1759768676109790490615, 322425358563830375670152, 12497263836317067434, 2136987910959427390478, 365424932747739741299609, 351496809923529, 9269803553286, 727559634105030, 73032630234472236, 12488579754678953859, 12488579803416010476, 12488579758954134264, 2135547138038960491797, 2135547146372997173304, 12488579762374278588, 10278103300253915898, 73032630234619296, 12488579754679100919, 12488579803416157536, 2135547138038960638857, 72931948026009384, 60105868138278354, 12488579770109752065, 2135547138050116109598, 2135547146384152791105, 365178560604662259096996, 2135547139366016638257, 2135547139804650147810, 2135547140686182346899, 365178560606567269485042, 365178562031687542022739, 365175153269006182074120, 62445534107092810324276287, 2136295478841924904950, 2135547140687047383402, 365178560606568134521545, 365178562031688407059242, 365178560731578684744150, 2135775309943313682048, 62445534107092811189312790, 2262777828277385759160, 2135547140687047393149, 365178560606568134531292, 365178562031688407068989, 365178560731578684753897, 62445533863397244585376350, 62445534107092811189322537, 365178560831587124931981, 55134358393895522143559256, 36678821340361732162231224, 60105873298497135, 72931955751336408, 2135547138050106110205, 10278110031128094885, 12471370130563610568, 365178560604662249097603, 10278103012991942037, 12471363112427457720, 2132605691123488832256, 1254328519222129712694, 2132604291005326339080, 364675089965014708790361, 365178563430924162317433, 365178560730696277509165, 73058221464524655, 12492955854137706297, 12492955854992742378, 2136295451192593153416, 12492955903729798995, 2136295459526629834923, 1004935153269074, 22537923397, 5876814817404, 1002729085208579, 1130961411384392, 128713065394536201, 210019927259318493, 1229507995432197, 878157168495541, 1004935333424760, 209876833626022042, 1229500889574372, 184845450490904637, 1231402509819360, 1004935333570965, 171466673570372810, 35900581478840297659, 210573649480115349, 150465784385246857, 15430153884108817957, 31608572033924486964, 184674706671053950, 35995092232820577867, 31608493957220083196, 5405065817801122361336, 29386114747315165879, 5405065817807107613903, 452240586130619, 77333140228335946, 77333140228335949, 77333140228335955, 77333140228335951, 13223966979045387531, 13223966979045447727, 13223966979045447900, 2261298353416761268080, 13223966979045446184, 2261298353416771297570, 24203093558675865418, 171466673565665865, 77333187255320575, 77333187255320581, 13223966961919548070, 13223975020659729514, 2261298350488242718540, 171466669315486515, 77332460474651725, 31514060552383709854, 64406369581634377, 24203193554265324247, 31578266702033889040, 4138746097779370444807, 77333140173186406, 77232455454617461, 77232455454619171, 171466084490807955, 77232455454617965, 77232455454617971, 13223966969614872799, 13206749882739583204, 13206749882739672124, 184217160628514298, 64406375566886941, 31501134467475945055, 11013490221937665478, 13223966972179981042, 2261298352242776667832, 13206750321373181677, 13187023656548054608, 13206750321373191424, 13187023656548064355, 5388888653714760789037, 13223966979045329213, 2261298353416751295523, 2261298353416751295529, 2261298353416751266285, 386682018434264466534841, 2261298350488242571124, 2261299728532803744178, 386682017933489479662310, 386682017933489479662367, 386682017933489479662313, 66122625066626701022255119, 66122625066626701022254093, 2261298351219298420379, 2261278476739265901328, 386682018058500029884915, 66122625088003505110319545, 1883306652936545365300, 1049765957400640615294942, 66122625088003505110320574, 322045437652149257464870, 235953437447254318877890, 322045437652149257474617, 235953437447254318887637, 13223966979045447105, 13206751495367878167, 2261298353416771296948, 386682018434267891737065, 29307874357779996401, 10993488826324388372, 5011646515180379384680, 2261278351728740797264, 13223966966194728464, 2261298351219298567271, 2261298351219298567450, 2261298351219298567507, 2261298350475391970375, 386682017931292026934052, 386682017931292026934231, 386682017931292026934288, 1883306525728542414616, 1879886363400902693080, 322045415899580752868323, 386678597769845964530650, 121021078043575444423834477, 5249065911850149417198152998393, 5876794786974, 29307874411912134135, 35994714476485169361, 11013497723999179951, 5013856885979680905234, 10995072585741216322, 921499721723320101526512, 157576452414687737361023628, 125327957, 85162186, 41112038107, 2940499244157, 12022363554, 7790449985295, 2641256616633, 276490479818520, 17483150394, 377083764676009, 1203041778633361, 427238496116372, 452536468645763, 1077873901771862, 81583351874729417, 7786060735749, 1616903390751, 2205193361739, 2055533946963, 64281213645158736, -853, 502679514592998, 351643021121935, 1466749306846, 477683894822356, 502833066072598, 1203041253611206, 377136307041687, 9276699021300, 85884300461952398, 53389665596, 452529058333061, 452528208297191, 377083764676019, 77333578791724739, 73058217124075778, 77382412542570485, 77307466919998673, 77307991912152407, 85984461993739097, 14703342988933497665, 14703417995263631228, 73058271061500263, 34367221149, 312311428, 5861327527137, 7198639105503, 502244806250113, 85883861868768745, 245773176, 47982214501, 0 ], arraytails := [ 41679, 2397, 2685, 3819, 4341, 124090, 2721, 42087, 42249, 4547770, 41763, 2385, 4539293, 3693, 2313, 2337, 4257, 4281, 2361, 3423274, 2661, 4083, 61912, 3597, 2787, 4245, 7059, 42153, 2865521, 110428, 64348, 2883, 371417585 ], regtails := [ [ 1 ], [ -1 ], [ 165 ], [ -1, 5 ], [ 10543397, 12217922, 21203178, 3900 ], [ 10543397, 12830553, 2395 ], [ 5561077, 9468296, -49 ], [ 2279601, 12225303, 18412877, 346409 ], [ 89792 ], [ 32114728 ], [ 2280258, 1817 ], [ 20337 ], [ 2272959, 1817 ], [ 7008954 ], [ 7195502, -32 ], [ -8, 87752 ], [ 20427677, 3318 ], [ 27061 ], [ 27143 ], [ -2, 6 ], [ -2 ], [ 28150601 ], [ 29905328 ], [ 2053 ], [ 11158020 ], [ 23427161, 6223 ], [ 411 ] , [ 9481254 ], [ 5574859, 11 ], [ -19, 21201434, 24546001 ], [ 576 ], [ 331 ] , [ 47562 ], [ 1264 ], [ 1531 ], [ -30, 661 ], [ 909 ], [ 4424967, 741 ], [ -29, 495 ], [ 1478 ], [ 437389 ], [ -12 ], [ -1, 497 ], [ -27 ], [ 3342157, 7 ], [ 757 ], [ -1, 108660 ], [ -12, -10, -50 ], [ -1, 12266141, 25 ], [ 1887 ] , [ -3, 995 ], [ 74788 ], [ -3, 2571 ], [ 22163399, 43 ], [ 15505709, 2555 ], [ 12830553, 29 ], [ -1, -9, -10, -23, 37390834 ], [ -1, -10 ], [ -3, 16179021 , 22313297, 333376 ], [ -1, -10, 12272959, 20611466, 272196 ], [ -5, 16179014 , 30 ], [ -5, 7208542, 20604742, 3236 ], [ -5, 5050138, 16738348, 3153 ], [ -1, -10, -9, -23 ], [ -1, -23 ], [ -1, -10, -9, -23, 27343684 ], [ -1, -10, 12272959, -9, -23, 27343684, 32367259, 37390834, 42414409 ], [ -3, 15547049, -37, 33 ], [ -19, 15519900, -37, 33 ], [ 7807061, 13389303, 21761353, 27854203, 38492901, -46 ], [ -5, 11714203, 10032954, 28458457 ], [ -28, 18399270, 8352120, 23422845 ], [ -6, 9481916, -39, 2902 ], [ -8, 2395403, 12830553, 13899851, 2814 ], [ 2824245, 1325 ], [ 9481916, 17854626, 2904 ], [ 7806920, 9032240, 18923403 ], [ -6 ], [ -8, 7197086, 8871611, 2904 ], [ -40, 36273985, 17126422, 4314872, 33871584, -31 ], [ -8, 16179603, 21761928, 2532124, 12225303, 18412877, 27302842, 4462244, 14505078, 23953792, 29575886, 54 ], [ -11, 41296731, -16, 42971256, 23938759, 44645781 ], [ -11, 40637779, 17180222, 33483592, 8875346, 34598540, 544461 ], [ 3879913, 746 ], [ 16730133 , 2788383, 17194429, 4261081, 33878316, 62 ], [ 16729477, 36273903, 17126422, 4314873, 33878308, -31 ], [ 20589053, 2788383, 32924015, 20078527, 33939679, 62 ], [ 7807060, 18412869, 5248122, 18868954, 24552311, 45 ], [ 2532124, 7807061, 22272445, 27901361, 5016729, 18868954, 28977367, 4481 ], [ 10496329, 16179686, 35552934, 41297561, 12170843, 22823822, 42373567, 14953925, 40181674, 551283 ], [ -19, 662 ], [ -27, 8 ], [ -40, 21761928, 2532124 ], [ -5, -43, 8365087, 8877588, 31809057, 59 ], [ -13, 5016684 ], [ 3342157, 61179 ], [ 3900334, 746 ], [ -5, 11714778, 7759910, 4022860, 14504414, 27336859, 394639 ], [ -5, -43, 3342177, 12232117, 8883067, 15614621, 20066905, 38493570 , -31 ], [ -5, 16178939, 26785494, 35675467, 7200157, 12830636, -48 ], [ -41, -35, 31809069, 8780961 ], [ -5, 11714777, 7208542, 4022860, 14504414, 27336859, 401445 ], [ -6, 5717806, 35552941, 5477 ], [ 25621502, 35668653, 32482971, 537495 ], [ -8, 20604644, 7806930, 224449 ], [ -24, 16179686, 21761928, 31203260, 40699042, 19971690, 38963254, 5975 ], [ -24, 12783410, -50 ], [ -6, 22313294, 37948823, -31 ], [ 15615191, 238159 ], [ 8910148, 22313283, 37948823, -31 ], [ 19529066, 34027990, 5802 ], [ -28 ], [ -11, 26110196, -16, -15, 18915236, 19473412, -20 ], [ -11, -16, -15, 18915236, 19473412, -20 ], [ -16, -15, 18915236, 19473412, -20 ], [ 15566881, 11101525, 7755917, 278331 ], [ 15601588, -35, 26785503, 23953792, 31250162, 36832653, 32489785, 42971339, -46 ], [ 15601588, -35, 26785503, 23953792, 31250162, 36832653, 32489785, 37948511, 69 ], [ -11, 26110196, -16, -15, 18854720, 19412887, -20 ], [ -11, -16, -15, 18854720, 19412887, -20 ], [ -16, -15, 18854720, 19412887, -20 ], [ -11, 16063846, 7756664, 339594 ], [ -11, 16063846, 6640480, 2531452, 27288547, -15, 18296546, 8873180, 4764152, 29521247, 25055109, 54 ], [ 15505709, 2586555, 32197067, 19527867, 5145 ], [ 7807385, 136053 ], [ 15533352, 29 ], [ 30522542, 17180204, 4261080, 33871592, 62 ], [ -26, 129000 ], [ 22871477, 381098 ], [ 30522542, 17180286, 9223392, 34597884 ], [ 7242569, 129000 ], [ 17187614, 32258340, 9284673, 23946969, 39017694, 71 ], [ -40, 30590629, 36832652, 22272434, 32924189, 19216111, 25110977, 39622953, 72 ], [ -8, 7806986, 10040259, 217574 ], [ -8, 20597920, 31249664, 2654650, 17194339, 23436452, 37948428, 9979059, 24552228, 39017695, 5975 ], [ -41, 21761927, 36273903, 17194400, 23436452, 37948428, 19528041, 33939679, 40181702 ], [ 21203178, 35668645, 17857697, 32265154, 38507177, 24552228, 39017695, 5975 ], [ -5, -43, 7208542, 4459912, 21202093, 22374559, 293273 ], [ 2708434, 31 ], [ -8, 1070 ], [ 3328792 ], [ 47482 ], [ 1192694, 931 ], [ 15458641, 20470345, 2546 ], [ -40, 25493728, 2546 ], [ 1192694, 78585 ], [ 247 ], [ 6134834, 12 ], [ 16738336, 249639 ], [ -3, 19 ], [ 5547465 ], [ -12, 1568 ], [ 6134834, 21761910, 3293 ], [ -29, 1568 ], [ 5906218, 7426341, 5534 ], [ 5527457, 19 ], [ -4, 122442 ], [ 32285575 ], [ 6686202 ], [ 17296428, 25493728 ], [ -9, 31809067, 496158 ], [ 3335269, 663 ] , [ 5009709, 20080434, 3044 ], [ -6, 829 ], [ -13 ], [ -1, 67737 ], [ -29, 10543727, 17841342, 30576764, 31829342, 496160 ], [ 17841342, 30576764, 31829342, 496160 ], [ 6134834, 21761910, 7616962, 5534 ], [ 5568047, 15560746 , 414708 ], [ 16179014 ], [ 3328792, -14 ], [ -8, 15526056 ], [ 2770866, 5002910, -14 ], [ 5906218, 35546109, 37211747, 474222 ], [ 6686202, 22145367, 3542 ], [ -6, -14 ], [ -2, 95212 ], [ -25, 1742 ], [ 5561077, 142863 ], [ -13 , 6 ], [ 175071 ], [ -30, 22864917 ], [ -30 ], [ 2770863, 495 ], [ -18, 15466187, 17915307, 244893 ], [ 4444729, 3 ], [ 22875213, 42 ], [ 1728233, 4 ], [ 1231313, 6638239, 18957273, 292449 ], [ 2212859 ], [ -13, 12258515 ], [ 17404774, 23941498, 41242936 ], [ 879 ], [ 168 ], [ 853 ], [ 22263338, 2673 ] , [ 30611050 ], [ 1250 ], [ 927 ], [ 3341993, 17841078, 3067 ], [ 3335269, -14 ], [ -2, 17289710, 3066 ], [ 3335351, 17296434, 3067 ], [ 5554271, 16730390, 22320023, 35695721, 5560 ], [ 67897 ], [ -44 ], [ -44, 19 ], [ 10584397, -49 ], [ 11155937, 20590796, 27343684, 4232 ], [ -13, 15566886, -37 , 20087409, -21 ], [ -13, 10557506, 21 ], [ 3335351, 16730880, 20080601, -21 ], [ 13375595 ], [ 11155937, 23 ], [ 2334049, 8870773, 11659687, 5124924, 20591120, 27288580, 16894248, 23383323, 30079455, 32475499, 39012223, 41801137, 35266374, 6714 ], [ 6683985, 1659 ], [ 40673 ], [ 11714767, -48 ], [ 8889375, 1659 ], [ -45, 1406 ], [ -18, 11659682, 8312017, 15560098, 26172223, 17969756, 28404923, 35661098, 31930938, 37895956, 35266374, 72 ], [ 10543397, -32 ], [ -2, -14 ], [ 6683821, -7, -48 ], [ 4314980, 8 ], [ 6684070 ], [ 3335351, -38, 20625163 ], [ 3342075, -38, 20631970 ], [ 25396877 ], [ 88234 ], [ 33949 ], [ -28, 15526710, 20624997, 31249747, 36825601, 67 ], [ -45, 1823 ], [ 6683985 ], [ 7195501, 6079815, 12776030, 15614530, 19018051, 26172229, 19637474, 35661762, 39011476, 33033674, 39570398, 80 ], [ -45, -7, -48 ], [ 10550777, -32 ], [ 54367 ], [ -44, 1659 ], [ 12272859 ], [ 20589217, 3333191, 21748152 ], [ -1, 6133031, 8365734, 15560746, -37, 21761934, 23994634, 31250162, 35137713, 37390834, 39623534, 72 ], [ -3 ], [ 2272877, 30522545, 56 ], [ -3, 17289713, 27329653 ], [ 5540823, 20611369, 333288 ], [ 15465365, 20470427 ], [ -8, 3947328, -50 ], [ -29, -14 ], [ 63910 ], [ 330 ], [ -1, -9, 854 ], [ 7194845 ], [ 15472089, 20470509 ], [ -5, 7195675, -32 ], [ -28, 5738060, -17 ], [ -30, 67901 ], [ 1667881 ], [ 5547629, 20618354 ], [ -1 , -10, -50 ], [ 189433 ], [ 5554438, -43, 21 ], [ 27327248, 50 ], [ 6691204, -33 ], [ -5, 10578013, 1742 ], [ -2, 17296434, 20638776 ], [ -2, 10550782, -49 ], [ -4, -7 ], [ 5009709 ], [ 779 ], [ 6132618, 16179269, 265389 ], [ 5560913, 11 ], [ -3, 1077 ], [ 2246 ], [ -3, 17296435, 26226753 ], [ 5554353 ], [ -2, 994 ], [ -27, 8917100, 20604742, 3236 ], [ -27, 8917100, 13940675, -39, 18399766, 36 ], [ -2, 7807476, 13382501, 18406076, 22878201, 27901776, 32925351, 38500376, 42972501 ], [ 3879913, 6691208, 11156526, 15621923, 18412884, 22878201, 27336874, 31250660, 35689081, 38500377, 42414409, 77 ], [ 6637409, 20589466, 26730406, 2819 ], [ 4424721, 495 ], [ -27, 8365732, 17854532, 22306329, 25655545, 29018209 ], [ -13, 663 ], [ -18, 15485720, 21150789, 26730407, 2819 ], [ 12158551, 4015381, 25 ], [ 7195501, 663 ], [ -12, 17289710, 3068 ], [ 2295290 ], [ 87769 ], [ 6132702 ], [ 6100966 ], [ 2221226 ], [ 9041677, 40 ], [ 2391 ], [ -26, 2406 ], [ 5711246 ], [ 17120243 ], [ 16063849, 38 ], [ 1595147, 2905152, 23 ], [ 4446206, 578 ], [ 8909878, 14451776, 6628 ], [ -3, 89818 ], [ -2, 10545049 ], [ -12, -33 ], [ -3, 16179269, 30 ], [ 16179020 ], [ 1095 ], [ -26, 16181261 ], [ 22147491, 28029672 ], [ 17106677, 3338 ], [ 16066932 ], [ 61094 ], [ -18, 2546 ], [ 2393867, 31 ], [ 16259729, 460632 ], [ 22144678, -18, 18795986, 3542 ], [ -29 ], [ -30, 3329041, 9 ], [ 17121601, 22144927, 38886271, 1536116, 4626551, 35 ], [ 21028328, -36, 22144678 ], [ 16005417, 17121767, 7237736, 8352367, 306063 ], [ -39, 2215098, 8910127, 904 ], [ 17976563, 23383489, 12776061, 16138670, 20592780, -18 ], [ 2771437, 22265468, 19515460, 20073644 ], [ 6173708, 2213604, 4444735 ], [ 7296361, 22265236, 28963105, 22918454, 21151376, 44632811, 502962 ], [ 6173708, 8352616, 3886572, 1708308, 744 ], [ 2892224, 9428948, 12217862, 15566881, -21 ], [ 10909372, 17125336, -34, 18797620, 14258422, 6260260, 3074546, 27845264, 29519789, 18521124, 3732 ], [ 16361789, 36273986, 5724 ], [ 1231313, 6638239, 13334205, 3900 ], [ 17874962, 32352151, 33503867, 306229 ], [ 21203674, 5541 ], [ 34198 ], [ 6731883, 4446055, 2 ], [ 7237430 ], [ 21201186, 3900 ], [ 26226753, 4 ], [ 197305 ], [ 13543 ], [ 17119469, 312366 ], [ 15526628, 2489 ], [ 2553 ], [ 16179269 ], [ 7806978, 258561 ], [ 27329653, 2 ], [ 10564226, 210762 ], [ 32401265, 67 ], [ 20822537, 1622 ], [ -12, 8910212, -39, 2902 ], [ 8923491 ], [ 4445142, 1110204, 8910123, 6731883, 1491 ], [ -36, 2833350, 14 ], [ 200503 ], [ 17122348, -34, 18083963, 37769915, 521871 ], [ 17121601, -34, 32746292, -42, 6364 ], [ -36, 22142524, 23817049, 4606174, 2463 ], [ 17342044, 1554368, 17680523, 37769915, 3571431, 23263269, 69 ], [ 2770866, 746 ], [ 7417420, 23817022, 685 ], [ 2455108, 8872249, 2421 ], [ 7560346, 1615631, 32746328, -42, 3576808, 38328090, 528678 ], [ 21030569, 18145226, 34244963, 44471651, 21588744, 8674500, 51 ], [ 57109 ], [ 6518126, 7758140, 42797153 ], [ 32739512, 341790 ], [ 36038925 ], [ 6214046, 4566749, 2149 ], [ 32188144, 17682903, 27845291, 77 ], [ 32188144, 17682903, 13142117, 6364 ], [ 9255268, 16741819 ], [ 32746301, -42, 11847328, 8676672, 28286844, -46 ], [ 11101495, 9428201, 11659688, 5124924, 2232 ], [ 12219076, 2894447, 42732227, 26610078, 38329512, 6420 ], [ 40564453, 4372444, 6420452, 40941080, 37592030, 24677786, 6974991, 26612319, 8674527, 20377944, 15191055, 81 ], [ 22146898, 2894447, 7139772, 3632721, 13700292, 51 ], [ 14255272, 40941080, 27848927, 39266555, 12026884, 13517994, 10349052, 6696 ], [ 40382905, 27287062, 38706208, 11468709, 42613382, 22045626, 28584237, 30081627 ], [ 42611195, 39264314, 25241785 ], [ 14753609, 28284594, 5967 ], [ 42915935, 29523452, 124026 ], [ 37784027, 23 ], [ 21587407, 5428995, 2277 ], [ 11799984 ], [ 486839 ], [ 10080927 ], [ 268 ], [ 251 ], [ 1256 ], [ 5522810, 54945 ], [ 7560322, 16183478, 5525051, 904 ], [ 5885797, 22147417, 16504736, 28030535 ], [ -36, 17123095, -34, 1617800, 11283803, 32746337, -42, 16567576, 26610078, 8676672, 28286844, -46 ], [ 2804978, 9428948, 26 ], [ 28030991, 6453 ], [ 27458779 ], [ 10550121, 17182136, 2804 ], [ 4458426, -22 ], [ 3893526, 189100 ], [ 4444894, -22 ], [ 3342076, 15506290 ], [ 5016601, -22 ], [ 15506041 ], [ 7800752, 189763 ], [ -19, 67984 ], [ -2, 15506207 ], [ -3, -47 ], [ 5547465, -47 ], [ -2, 67903 ], [ -2, 15506207, -17 ], [ -2, 6132951, 8365734, 15560746 , 434883 ], [ -2, 10543895, 46 ], [ -19, 5016684, -22 ], [ 5002987, -22 ], [ 15505958 ], [ 67571 ], [ 189097 ], [ 251254 ], [ 4444894, 251094 ], [ 15505958, -17 ], [ 5574690, 312366 ], [ 3342158 ], [ 20589713, 46 ], [ 21101073 ], [ 3893526, 20589716 ], [ 3342076, 15506290, -21 ], [ 5016601, 25614022 ], [ 15506041, -21 ], [ 7800752, 20590379, 5303 ], [ -19, 10543976, 22871477, 313036 ], [ -3, 16179021, 31249247, 59 ], [ 5547465, 16179103, 30563234, 4812 ], [ -2, 6132951, 8365734, 122442 ], [ 7806978, 17854128, 32924762, 8876322, 176891 ], [ -1, 4458509, 9 ], [ -1, 4458509, 6691209, 11156524, -32 ], [ -4, 6098869, 3331510, 263478 ], [ -4, 2773338, 21067451, 8351703, 3216 ], [ 15465365, -17 ], [ -26 ], [ -1, -9, -17 ], [ 17289704, -17 ], [ 5724530 ], [ 3329287, 12 ], [ 16200422, 20625000 ], [ 7196248, 197314 ], [ 29312 ], [ 87742 ], [ -28, -38, 3067 ], [ 21026360, 2343 ], [ 3329284, 2308 ], [ 13535 ], [ 2221463, 17894873 ], [ 15505873, 2773107, 910 ], [ 16738345, 387915 ], [ 34195 ], [ 15466021, -35, 203 ], [ -6, -22 ], [ -6, 251094 ], [ -6, 15546964, 2819 ], [ -1, 15506041 ], [ -1, 6132785, 2308 ], [ -2, 15540325 ], [ -25, 190014 ], [ -13, 16730138, 20625163 ], [ -12, 17289710, 31249496, 435396 ], [ -2, 7235687, 13933702 ], [ -12, 81600 ], [ -1, -41 ], [ 15505873, 387915 ], [ -6, 18957262, 3069 ], [ -6, 108660 ], [ -38, 20625163 ], [ 189598 ], [ 2783984, 16178770, 18412884, 25628317 ], [ -1, -14 ], [ -3, -9, -17 ], [ -3, -33 ], [ -1, -24, 190014 ], [ -1, -24 ], [ -25, 20611376, 26785504, 49 ], [ -25, -49 ], [ 16005417, 17121767, 21028992, 3210 ], [ 16005417, 17121767, 20470651, 21587167 ], [ -25, 2316 ], [ -4, 15587891 ], [ -4, 381082 ], [ -1, 4458509, 829 ], [ -44, 2315 ], [ 5540823, 2315 ], [ -1, -41, 34 ], [ -1, -24, 17282422, 34 ], [ 3342157, 16178771, 231188 ], [ -4, -7, -47 ], [ -45, 30515171, 58 ], [ 11155937, 32351481, 61 ], [ 16179266, 20087406 ], [ -10, 9482084, 30535998, 58 ], [ -2, 7235687, 23953692 ], [ -2, 10032871 ], [ 7215181, 13940508, 4290 ], [ -4, -7, 22306078, 27901776 ], [ -6, 9 ], [ -4, -7, 26778030 ], [ -4, -7, 22306078, 28453226 ], [ -4, -7, 25614036, 48 ], [ -4, -7, 25614036, 3983 ], [ -4, -7, 20611380, 27343596, 4232 ], [ 88237 ], [ -1, -9, 3068 ], [ -2, 20597918 ], [ -26, 16738351, -21 ], [ 13777 ], [ 67408 ], [ 89818 ], [ 12157157, 2570 ], [ 15505874 ], [ 2831626, 41 ], [ 15466022 ] , [ 32356712 ], [ 15526046 ], [ 1313487, 4 ], [ 249118 ], [ 5544385, 2 ], [ 177 ], [ 67570 ], [ 3913543, 1 ], [ 16206056, -33 ], [ 6092438, -33 ], [ 25614269 ], [ 47398 ], [ 1644 ], [ 1354094 ], [ 825 ], [ 87751 ], [ 25493728, 7362972, 40 ], [ 6262342, 17122457, 22144927, 3542 ], [ 2831626, 8876841, 17 ], [ 20616225, 11 ], [ 37946825, 198232 ], [ 12961013, -14 ], [ 25512427, 213 ], [ 2837785, 101366 ], [ 16738345 ], [ 8910128, -47 ], [ 7242570, 3153 ] ], regsegms := [ 2225809, 2783901, 5540741, 7235353, 5534017, 4458341, 12831051, 6132453, 17296534, 7249384, 20589709, 3886637, 2783983, 10, 22822409, 22264234, 37, 6079317, 2777177, 4390, 3809, 2306, 22320109, 10557592, 10543561, 7235189, 3893525, 3328545, 2770617, 1150133, 70, 22, 13, 37211740, 21203261, 20470153, 17854709, 16738342, 16220858, 16178109, 15519904, 13142072, 11156111, 6132617, 6132535, 78, 28, 24, 20, 16 ], pntr := [ 1, 2, 1, 3, 4, 4, 5, 6, 7, -1, 8, 9, 1, 10, 11, 12, 13, 14, 15, 3, 16, 12, 17, 17, 18, 18, 19, 19, 19, 18, 18, 18, 18, 18, 18, 20, 21, 19, 18, 21, 19, 18, 1, 1, 22, 23, 18, 18, 18, 2, 2, 2, 24, 25, 26, 27, 28, 29, 30, 31 , 32, 33, 34, 1, 1, 1, 3, 1, 35, 1, 36, 1, 1, 36, 1, 37, 38, 1, 39, 40, 1, 1, 1, 41, 42, 43, 44, 43, 2, 44, 45, 46, 47, 47, 48, 49, 50, 3, 51, 52, 18, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 62, 63, 61, 63, 64, 65, 64, 65, 66, 67, 68, 69, 70, -2, 43, 71, 72, -3, 73, -4, 74, 75, 76, 77, 75, 78, 79, 80, 81, 82, 83, -5, -2, 84, 82, 83, -5, -2, 84, 85, 86, 87, -6, -2, 88, -2, 89, 90, 91, -7, 92, -8, 93, -9, 94, -7, 92, -8, 93, -9, 94, 95, -9, 96, -9, 97, -9, 3 , -9, 1, -10, 3, -9, 1, -10, 98, 99, 100, -9, 101, -9, 12, -11, 1, -9, 102, 103, 104, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 113, 114, 115, 116, -12, 117, -12, 117, -12, 117, -12, 118, -12, 118, -12, 118, 119, 120, 121, 122, 119, 120, 121, 122, 123, 123, 123, 123, 123, 123, 123, 123, 123, -13, -13, 124, 125, 126, 127, 128, 129, 130, 131, 18, -14 , 132, 133, 134, 135, 136, 137, 138, -15, 139, -15, 139, -15, 139, -16, 12, -17, 12, -17, 12, -17, 12, -18, 18, 18, 3, 140, 3, 141, 142, 42, 1, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 18, 153, 154, 18, 155, 156, 157, 1, 1 , 1, 1, 3, 1, 3, 1, 12, 158, 3, 3, 159, 160, 161, 162, 163, 164, 165, 166, 3, 167, 168, 169, 166, 170, 171, 172, 173, 174, 175, 161, 3, 12, 12, 176, 168, 3 , 42, 177, 178, 179, 177, 180, 181, 181, 182, 3, 183, 184, -19, 185, 186, -20 , 187, 17, 188, 1, 189, 190, 191, 192, 12, 193, 12, 184, 194, 195, 1, 184, 196, 197, 3, 184, 184, 3, 50, 1, 198, 199, 200, 1, 12, 12, 151, 151, 201, 202 , 203, 204, 205, 206, 151, 18, 207, 208, 209, 210, 211, 208, 212, 208, 213, 211, 214, 215, 210, 211, 216, 217, 218, 219, 92, 220, 21, 12, 221, 222, 223, 224, 225, 223, 226, 227, 228, 229, 230, 231, 232, 228, 233, 18, 234, 232, 235 , 217, 236, 215, 18, 237, 238, 239, 240, 232, 241, 21, 242, 21, 243, 3, 206, 244, 3, 245, 246, 247, 248, 249, 250, 251, 252, 248, 253, 1, 224, 18, 3, 42, 12, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 21, 266, 267, 268, 269, 207, -21, -22, 21, 270, 271, 272, 21, 42, 273, 3, 274, 42, 275, 1, 276, 277, 278, 279, 280, 281, 282, 78, 78, 283, 284, 44, 78, 285, 286, 287, 288, 289, 18, 290, 58, 21, 1, 291, 292, 293, 294, 295, 296, 297, 298, 296, 299, 300, 1, -23, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 12, 315, 298, 296, 316, 317, 318, 319, 320, 321, -24, -24, 322, 323 , 324, 325, 326, 327, -25, 328, 329, -26, 330, -26, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, -27, 354, 355, 356, 357, 358, 359, 359, 360, 361, 362, -28, 363, 364, 365, 366, 367, 1, 368, 369, 370, 371, 372, 373, 374, 375, 376, -28, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 1, 342, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 409, 411, 412, 412, 413, 410, 413, 411, 414, 415, 416, 417, 418, 419, 420, 421, 413, 422, 423, 424, 425, 426, 427, 413, 428, 422, 429, 430, 431, 432, 433, 91, -7, -8, 434, -7, -8, 435, 436, -8, 437, 438 , -8, 439, -29, -30, 440, 441, 440, 441, 440, 441, 442, 3, 443, 444, 171, 445 , 446, 447, 448, 443, 18, 292, 449, 450, 451, 452, 452, 453, 342, 454, 61, 455, 456, 457, 458, 459, 460, 461, 461, 462, 463, 464, 464, 465, 466, 466, 467, 467, 468, 469, 470, 471, 472, 244, 473, 474, 475, 474, -2, 476, 477, 478 , 472, 479, 166, 480, 244, 481, 482, 479, 483, 484, 485, 484, 485, 486, 487, -21, 39, -21, 39, 479, 488, 489, 488, 490, 490, 488, 491, 492, 493, 494, 495, 496, 497, 164, 498, 499, -2, 500, 501, -2, 84, -2, 84, 502, 503, 504, 504, 505, 506, -31, -11, 507, 507, 508, 508, 509, 510, 511, 511, -32, 43, -32, -11 , -33, 260, 443, 260, 342, 512, 513, 2, 514, 515, 346, 516, 517, 518, 195, 519, 520, 521, 3, 522, 523, 524, 525, 526, 527, 528, 297, 296, 529, 530, 531, 532, 533, 534, 297, 297, 535, 337, 1, 536, 1, 537, 538, 297, 539, 540, 296, 541, 542, 543, 544, 545, 546, 443, 1, 474, 547, 548, 461, 549, 52, 1 ], index := [ 518, 2407, 4378, 5213, 6031, 7331, 8419, 9310 ] );