CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

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 ] );