|
#############################################################################
##
## This file is part of GAP, a system for computational discrete algebra.
## This file's author is Alexander Hulpke
##
## Copyright of GAP belongs to its developers, whose names are too numerous
## to list here. Please refer to the COPYRIGHT file for details.
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## Pre-computed confluent rewriting systems for certain simple groups,
## that are not too large, but for which the calculation is slow.
## They have been created by the function `SplitBNRewritingPresentation`,
## typically with `weyl` and `borel` hand-selected and not computed by the
## generic routine. This data could be verified by calling
## `IsomorphismFpGroupForRewriting` on the respective simple group (which
## will fetch the data from this file) and verifying that the associated
## monoid presentation matches the generators, and is confluent.
## They will be interpreted by the function `BuildRewritingFromData`.
## The creator function `ConfluentRewritingData` is in a comment
## in `lib.grpfpiso.gi`.
return
[
[[25308,"L",[2,37],"L2(37)"],
[(3,21)(4,22)(5,23)(6,24)(7,25)(8,26)(9,27)(10,28)(11,29)(12,30)
(13,31)(14,32)(15,33)(16,34)(17,35)(18,36)(19,37)(20,38),
(3,35,31,27,23,19,15,11,7)(4,36,32,28,24,20,16,12,8)(5,37,33,29,25,
21,17,13,9)(6,38,34,30,26,22,18,14,10),
(3,27,15)(4,28,16)(5,29,17)(6,30,18)(7,31,19)(8,32,20)(9,33,21)
(10,34,22)(11,35,23)(12,36,24)(13,37,25)(14,38,26),
(2,37,38,27,3,24,28,33,4,17,25,31,29,12,34,14,5,8,18,36,26,23,32,16,
30,11,13,7,35,22,15,10,6,21,9,20,19),
(1,2)(3,21)(4,20)(5,19)(6,18)(7,17)(8,16)(9,15)(10,14)(11,13)
(22,38)(23,37)(24,36)(25,35)(26,34)(27,33)(28,32)(29,31)],10,
["b1","B1","b2","B2","b3","B3","b4","B4","w1","W1"],
[1,-1,2,-2,3,-3,4,-4,5,-5],[4,4,3,3,2,2,1,1,5,5],
[[2,1],[10,9],[12,0],[100,20],[14,34],[36,59],
[47,0],[102,53],[15,45],[37,0],[48,69],[103,42],
[16,56],[38,58],[49,59],[60,6],[71,0],[104,75],
[17,67],[39,69],[50,70],[61,0],[72,5],[105,64],
[18,89],[40,150051212],[51,353812919949505636],
[62,199718169425],[73,2510742701374],[95,0],[19,78],
[41,171487099],[52,404357622799435012],[63,228249336485],
[74,2196899863703],[85,0],[108,0],[1167,228],
[1178,227],[1169,2467500493673825045],
[1180,2472095466660182261],[1170,832102201],[1181,834050918],
[1171,21626624632313],[1182,21598093465252],
[1172,1678151371684],[1183,1680745114144],
[1175,204381358895012709664977172473917429],
[1186,178833689033136121261271986260843317],[12904,2516],
[13036,2504],[12906,8664543],[13038,8648438],
[12907,16215317894004390],[13039,16253292877362714],
[12908,316217686424764780],[13040,316635411241706345],
[12909,32752967446754236360],[13041,32702422743904306983],
[12912,538199994944134597566],[13044,470924995764699998430],
[142011,27684],[143474,27551],[142013,15321236711810],
[143476,15349767878871],[142014,1966648438160888490],
[143477,1962053465174531274],[142015,1108323],[143478,1109787],
[142016,1262768680],[143479,1260819963],
[142019,32164810514757092],[143482,36759783267268256],
[1562188,304532],[1578292,303068],[1562190,1395433443533],
[1578294,1392839701073],[1562191,100920161174],
[1578295,100684366405],[1562192,1477127561],
[1578296,1475178844],[1562193,86115],[1578297,86248],
[1562196,1886372793],[1578300,1650592665],[17184135,3349860],
[17361290,3333755],[17184137,95132825],[17361292,95309981],
[17184138,5178],[17361293,5166],
[17184139,421441732362711146259],[17361294,420885740631361923111],
[17184140,2233619475712335],[17361295,2237071746926728],
[17184143,32915822231400692220696932501507230727834],
[17361298,28801344452475605693628278228301977472458],
[189025552,36848468],[190974268,36671312],
[189025554,224735951514562023],[190974270,224318226697620458],
[189025555,6876877],[190974271,6892982],
[189025556,16226967291],[190974272,16248403179],
[189025557,24607789216194016],[190974273,24569814232835692],
[189025560,18580123535910244173542439364282744],
[190974276,16257608093921463915016269116933414],
[2079281139,405333156],[2100717026,403384439],[2079281141,590],
[2100717028,591],[2079281142,134010891685986],
[2100717029,134324734523658],[2079281143,100889],
[2100717030,100756],[2079281144,948736],[2100717031,947272],
[2079281147,150039237],[2100717034,171459153],
[22872092596,4458664724],[23107887364,4437228836],
[22872092598,27142505430412075502],
[23107887366,27193050133262004879],
[22872092599,237964461017467507386],
[23107887367,237408469286118284238],[22872092600,28785037385609667]
,[23107887368,28747062402251343],[22872092601,114619996],
[23107887369,114797152],[22872092604,171097242],
[23107887372,149838498],[251593018623,49045311972],
[254186761082,48809517203],[251593018625,787685],
[254186761084,786221],[251593018626,12211339502150],
[254186761085,12182808335089],[251593018627,237579028117779],
[254186761086,237892870955451],[251593018628,2972947522173118816],
[254186761087,2977542495159476032],
[251593018631,716344194596512420115328],
[254186761090,626801170274438360362608],
[2767523204920,539498431700],[2796054371980,536904689240],
[2767523204922,168533603829917],[2796054371982,168847446667589],
[2767523204923,626634],[2796054371983,625170],
[2767523204924,832],[2796054371984,833],
[2767523204925,18488196255592],[2796054371985,18459665088531],
[2767523204928,5920199954449201318422],
[2796054371988,5180174960336992351204],
[30442755254187,5934482748708],[30756598091858,5905951581647],
[30442755254189,126857585775],[30756598091860,126621791006],
[30442755254190,56833],[30756598091861,56966],
[30442755254191,1966056784755],[30756598091862,1963463042295],
[30442755254192,712],[30756598091863,711],
[30442755254195,9176995934049474215829760667],
[30756598091866,10487995353199049841561802811],
[334870307796124,65279310235796],[338322579010516,64965467398124],
[334870307796126,1046461082],[338322579010518,1048409799],
[334870307796127,1107528030462],[338322579010519,1110121772922],
[334870307796128,3478394550672412587],
[338322579010520,3482989523658769803],
[334870307796129,152559215607],[338322579010521,152795010376],
[334870307796132,75842941603637576914827651],
[338322579010524,86677647546988002666819413],
[3683573385757431,718072412593764],
[3721548369115754,714620141379371],
[3683573385757433,20430541046778365],
[3721548369115756,20392566063420041],
[3683573385757434,21582588116919844021],
[3721548369115757,21633132819769773398],
[3683573385757435,12191560],[3721548369115758,12207665],
[3683573385757436,360282641914296599968],
[3721548369115759,359726650182947376820],
[3683573385757439,100946955274547254372796033272],
[3721548369115762,115367948885196763504017912508],
[40519307243331808,7898796538531412],
[40937032060273372,7860821555173088],[40519307243331810,6497],
[40937032060273374,6509],[40519307243331811,1477572079760246],
[40937032060273375,1474119808545853],[40519307243331812,134284323],
[40937032060273376,134107167],[40519307243331813,13890455488],
[40937032060273377,13869019600],
[40519307243331816,2992347475581881108831880243533420945981],
[40937032060273380,2618304041134145970680207122720048841057],
[445712379676649955,86886761923845540],
[450307352663007170,86469037106903975],
[445712379676649957,298567559734532830529],
[450307352663007172,299123551465882053677],
[445712379676649958,75822810],[450307352663007173,75645654],
[445712379676649959,38312884760246467841],
[450307352663007174,38262340057396538464],
[445712379676649960,7828],[450307352663007175,7840],
[445712379676649963,3341797329099479],
[450307352663007178,2924072747775527],
[4902836176443149572,955754381162300948],
[4953380879293078948,951159408175943732],
[4902836176443149574,71607],[4953380879293078950,71474],
[4902836176443149575,469],[4953380879293078951,470],
[4902836176443149576,178496640208],
[4953380879293078952,178732434977],
[4902836176443149577,203056315973848],
[4953380879293078953,203370158811520],[4902836176443149580,11118],
[4953380879293078956,9786],
[53931197940874645359,10513298192785310436],
[54487189672223868506,10462753489935381059],
[53931197940874645361,1853869642129094],
[54487189672223868508,1857321913343487],
[53931197940874645362,9153124218],[54487189672223868509,9174560106]
,[53931197940874645363,9171],[54487189672223868510,9159],
[53931197940874645364,270685681378134184],
[54487189672223868511,270267956561192619],
[42811363313890182403,4447933850793785184],
[48927272358731637032,3891942119444562036],
[53931197940874645367,1689102139628202958932798534593273],
[54487189672223868514,1477964372174677986331993375037105],
[593243177349621099016,115646280120638414804],
[599359086394462553644,115090288389289191656],
[593243177349621099018,11532507797],
[599359086394462553646,11511071909],
[593243177349621099019,178368496834048297],
[599359086394462553647,178786221650989862],
[593243177349621099020,2616821580509969],
[599359086394462553648,2613369309295576],
[593243177349621099021,10436104],[599359086394462553649,10419999],
[593243177349621099024,27618099013755],
[599359086394462553652,24165849219145]]],
[[25920,"C",[2,3],"S4(3)"],
[(3,5)(6,9)(10,12)(11,16)(15,24)(17,19)(18,21)(20,39)(23,33)(25,34)
(26,38)(27,31)(28,30)(29,35)(32,40)(36,37),
(2,3,5)(7,12,10)(8,15,24)(11,20,31)(13,17,19)(14,23,33)(16,27,39)
(18,29,34)(21,25,35)(22,32,40)(26,37,30)(28,36,38),
(4,7,13)(6,10,17)(9,12,19)(15,25,36)(20,23,26)(24,34,37)(27,29,32)
(31,35,40)(33,38,39),(4,6,9)(7,10,12)(8,16,11)(13,17,19)
(14,21,18)(15,26,29)(20,32,25)(22,30,28)(23,27,36)(24,35,38)
(31,33,37)(34,40,39),(8,14,22)(11,18,28)(15,23,32)(16,21,30)
(20,29,36)(24,33,40)(25,26,27)(31,34,38)(35,37,39),
(2,4)(3,6,5,9)(7,13)(10,19,12,17)(11,15,16,24)(18,23,21,33)
(20,26,39,38)(25,37,34,36)(27,35,31,29)(28,32,30,40),
(1,2)(3,5)(4,8)(6,11)(7,14)(9,16)(10,18)(12,21)(13,22)(15,24)
(17,28)(19,30)(20,31)(23,34)(25,33)(26,38)(27,39)(29,35)(32,37)
(36,40),(3,5)(6,9)(10,12)(11,16)(15,24)(17,19)(18,21)(20,39)
(23,33)(25,34)(26,38)(27,31)(28,30)(29,35)(32,40)(36,37)],16,
["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","w1","W1",
"w2","W2","w3","W3"],
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8],
[5,5,4,4,3,3,2,2,1,1,6,6,6,6,6,6],
[[2,1],[12,28],[14,13],[15,1],[16,1],[18,0],
[188,28],[222,30],[20,69],[54,4],[71,0],
[190,130],[21,52],[55,0],[72,3],[22,86],
[56,46617],[73,46329],[90,6],[107,0],[226,166],
[23,103],[57,51258],[74,51548],[91,0],[108,5],
[24,137],[58,2723],[75,3013],[92,124],[109,125],
[126,8],[143,0],[194,79],[228,149],[25,120],
[59,3029],[76,2741],[93,141],[110,142],[127,0],
[144,7],[195,62],[26,154],[60,156],[77,157],
[94,158],[111,159],[128,160],[145,161],[162,10],
[179,0],[196,164],[230,98],[27,171],[61,173],
[78,174],[95,175],[112,176],[129,177],[146,178],
[163,0],[180,9],[231,115],[198,1],[234,0],
[3809,514],[3826,513],[3265,481],[3282,482],
[3267,787428],[3284,870661],[3275,29960],[3292,1637],
[3821,1381],[3838,1091],[58000,67280],[191,147],
[227,183],[229,132],[197,181],[3268,792052],
[3285,875863],[947253,1143765],[983667,1143652],
[985877,1141493],[985894,1141782],[952166,1143766],
[983956,1143635],[16100968,19442089],[16103178,19405386],
[16103195,19410299],[16101257,19441800],[16722216,19405273],
[16722233,19410186],[16184489,19442090],[16186699,19405387],
[16727129,19405256],[16186716,19410300],[16727146,19410169],
[16184778,19441801],[273716333,329889646],
[273716350,329973167],[273721246,329889357],
[273721263,329972878],[275136190,329889647],
[275136207,329973168],[275141103,329889358],
[275141120,329972879]]],
[[29120,"2B",8,"Sz(8)"],
[(3,4,5,6,7,8,9)(10,34,58,26,50,18,42)(11,36,61,30,55,24,49)
(12,37,62,31,56,25,43)(13,38,63,32,57,19,44)(14,39,64,33,51,20,45)
(15,40,65,27,52,21,46)(16,41,59,28,53,22,47)(17,35,60,29,54,23,48),
(2,29,6,32)(3,33,4,31)(5,26,8,30)(7,28,9,27)(10,63,14,65)
(11,64,12,61)(13,60,16,59)(15,58,17,62)(18,42,22,46)(19,43,20,44)
(21,45,24,48)(23,47,25,49)(34,52,38,51)(35,54,36,50)(37,55,40,57)
(39,53,41,56),(2,61,5,58)(3,65,9,59)(4,63,7,60)(6,64,8,62)
(10,32,13,30)(11,31,17,28)(12,33,15,27)(14,29,16,26)(18,52,21,55)
(19,54,25,56)(20,50,23,53)(22,51,24,57)(34,43,37,49)(35,42,41,45)
(36,46,39,48)(38,44,40,47),(2,41,4,40)(3,37,6,39)(5,35,7,38)
(8,36,9,34)(10,20,12,18)(11,22,14,19)(13,23,15,21)(16,25,17,24)
(26,53,28,55)(27,57,30,56)(29,50,31,52)(32,54,33,51)(42,59,44,62)
(43,58,46,60)(45,65,47,64)(48,63,49,61),
(2,6)(3,4)(5,8)(7,9)(10,14)(11,12)(13,16)(15,17)(18,22)(19,20)
(21,24)(23,25)(26,30)(27,28)(29,32)(31,33)(34,38)(35,36)(37,40)(39,41)
(42,46)(43,44)(45,48)(47,49)(50,54)(51,52)(53,56)(55,57)(58,62)(59,60)
(61,64)(63,65),(2,5)(3,9)(4,7)(6,8)(10,13)(11,17)(12,15)(14,16)
(18,21)(19,25)(20,23)(22,24)(26,29)(27,33)(28,31)(30,32)(34,37)(35,41)
(36,39)(38,40)(42,45)(43,49)(44,47)(46,48)(50,53)(51,57)(52,55)(54,56)
(58,61)(59,65)(60,63)(62,64),(2,4)(3,6)(5,7)(8,9)(10,12)(11,14)
(13,15)(16,17)(18,20)(19,22)(21,23)(24,25)(26,28)(27,30)(29,31)(32,33)
(34,36)(35,38)(37,39)(40,41)(42,44)(43,46)(45,47)(48,49)(50,52)(51,54)
(53,55)(56,57)(58,60)(59,62)(61,63)(64,65),
(1,24)(2,25)(3,36)(4,41)(5,28)(6,61)(7,31)(8,13)(9,64)(10,63)
(11,47)(12,14)(15,18)(16,46)(17,60)(19,53)(20,35)(21,44)(22,62)(23,33)
(26,34)(27,32)(29,42)(30,45)(37,59)(38,57)(39,56)(40,58)(48,52)(49,54)
(50,65)(51,55)],16,
["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","b6","B6",
"b7","B7","w1","W1"],
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8],
[3,3,2,2,2,2,2,2,1,1,1,1,1,1,4,4],
[[4,156],[6,192],[8,228],[10,9],[12,11],[14,13],
[16,15],[35,0],[256,4738306883],[19,0],
[257,5556061570],[20,46292],[37,67135],[54,9],
[22,56696],[39,56765],[56,67136],[90,11],[24,1142503],
[41,1498],[58,56766],[92,2725],[126,13],[26,3945],
[43,189],[60,156],[94,158],[128,160],[162,0],
[28,154],[45,223],[62,190],[96,192],[130,194],
[164,196],[198,0],[30,188],[47,3912],[64,224],
[98,226],[132,228],[166,230],[200,232],[234,0],
[270,0],[4387,4738307499],[4421,4738306271],
[4455,278723894],[4489,278723896],[4523,80551227488],
[4557,4738307495],[4388,5556061608],[4422,5556061610],
[4456,5556061502],[4490,5556060992],[4524,326827145],
[4558,94453047373],[4401,250353850192929],[4435,1592575748839],
[4469,50957492489],[4503,5613022926],[4537,4587717906],
[4571,1340218539665],[5220,614],[75192,4738307463],
[75770,4738306235],[76348,278723968],[76926,278723934],
[77504,16395525],[75804,4738306269],[76382,80551217050],
[76960,80551226876],[77538,4738307427],[76416,4738306881],
[76994,4738307459],[77572,278723962],[77028,4738307461],
[77606,278723964],[77640,278723930],[10440,307],
[75193,94453047339],[75771,94453047341],[76349,19225120],
[76927,94453047377],[77505,326827149],[75805,5556061606],
[76383,19225122],[76961,326827153],[77539,326827151],
[76417,5556060924],[76995,94453046727],[77573,94453047305],
[77029,326827111],[77607,326827077],[77641,5556061604],
[75206,4684201204],[75784,176306272],[76362,27577296291420],
[76940,5601496962],[77518,4738322814],[75818,23278539785685],
[76396,94451820279],[76974,1355424070631],[77552,5556145091],
[76430,3816757015],[77008,324159386],[77586,92812036591],
[77042,50955920945],[77620,95425992718],[77654,65706622553],
[1288703,80551206610],[1298529,80551227490],
[1308355,278723898],[1318181,16395521],[1299107,80551217014],
[1308933,80551226840],[1318759,4738307391],[1309511,16395523],
[1319337,964442],[1319915,278723970],[1299141,80551217048],
[1308967,80551226874],[1318793,4738307425],
[1309545,1369370867335],[1319371,80551227454],
[1319949,278723862],[1309579,80551227486],[1319405,4738307493],
[1319983,16395517],[1320017,16395519],[1288704,1605701804800],
[1298530,326827043],[1308356,1605701805412],
[1318182,5556061536],[1299108,326827045],
[1308934,1605701805414],[1318760,5556061538],
[1309512,326827081],[1319338,326827115],[1319916,5556061574],
[1299142,19225118],[1308968,94453047375],[1318794,326827147],
[1309546,1130889],[1319372,326827117],[1319950,19225126],
[1309580,94453036901],[1319406,326827009],
[1319984,1605701805378],[1320018,19225116],
[1288717,94552437295],[1298543,5459250295],[1308369,224597339],
[1318195,10183689],[1299121,278887289],[1308947,77190238049],
[1318773,272868571],[1309525,320980679],[1319351,4741162560],
[1319929,1140947],[1299155,427083],[1308981,23278559496641],
[1318807,15799820],[1309559,272701527],[1319385,1590929613184],
[1319963,1103471407195],[1309593,323888563],
[1319419,5489803720354584],[1319997,125191492],
[1320031,5558901216],[22085432,1369370689853],
[22252474,1369370856895],[22419516,80551226262],
[22262300,4738306885],[22429342,278723932],
[22439168,278723966],[22262878,1369370867299],
[22429920,80551227418],[22439746,278723826],
[22440324,16395527],[22262912,1369370867333],
[22429954,80551227452],[22439780,278723860],
[22440358,4738306849],[22440392,278723928],
[22085433,5556059768],[22252475,27296930692041],
[22419517,94453046149],[22262301,5556060380],
[22429343,5556060958],[22439169,94453046761],
[22262879,5556060382],[22429921,5556060960],
[22439747,94453046763],[22440325,5556060996],
[22262913,326827079],[22429955,326827113],
[22439781,5556061572],[22440359,19225124],
[22440393,5556060346],[22085446,614739766379],
[22252488,65777896566],[22419530,93682253851],
[22262314,1370247095970],[22429356,468799240260206],
[22439182,4741228892],[22262892,1620522095298],
[22429934,2998627674],[22439760,76572444],[22440338,14098732],
[22262926,19010222477005],[22429968,1103427558706],
[22439794,4419476],[22440372,318140969],
[22440406,27578116687533],[378469539,23279304744698],
[381309253,1369370866721],[381476295,4738305657],
[381486121,4738307497],[381486699,4738306813],
[381486733,4738306847],[378469540,94453026497],
[381309254,94453036323],[381476296,1605701794974],
[381486122,94453036935],[381486700,94453036937],
[381486734,5556060994],[378469553,80552636905],
[381309267,5554724622],[381476309,78860521677],
[381486135,275613423],[381486713,1607420354352],
[381486747,227266101],[6485274496,80551216436],
[6485274497,1605701627932],[6485274510,1103426410256]]],
[[34440,"L",[2,41],"L2(41)"],
[(3,33,23,13)(4,34,24,14)(5,35,25,15)(6,36,26,16)(7,37,27,17)
(8,38,28,18)(9,39,29,19)(10,40,30,20)(11,41,31,21)(12,42,32,22),
(3,35,27,19,11)(4,36,28,20,12)(5,37,29,21,13)(6,38,30,22,14)
(7,39,31,23,15)(8,40,32,24,16)(9,41,33,25,17)(10,42,34,26,18),
(3,23)(4,24)(5,25)(6,26)(7,27)(8,28)(9,29)(10,30)(11,31)(12,32)
(13,33)(14,34)(15,35)(16,36)(17,37)(18,38)(19,39)(20,40)(21,41)(22,42),
(2,26,12,41,38,8,27,25,24,16,34,29,13,17,11,23,10,19,42,35,20,40,15,22,
39,30,3,31,37,33,9,14,36,4,5,7,28,18,21,32,6),
(1,2)(3,23)(4,22)(5,21)(6,20)(7,19)(8,18)(9,17)(10,16)(11,15)
(12,14)(24,42)(25,41)(26,40)(27,39)(28,38)(29,37)(30,36)(31,35)(32,34)]
,10,["b1","B1","b2","B2","b3","B3","b4","B4","w1","W1"],
[1,-1,2,-2,3,-3,4,-4,5,-5],[4,4,3,3,2,2,1,1,5,5],
[[2,56],[6,5],[10,9],[12,5],[100,625],[14,34],
[47,0],[102,53],[15,45],[37,0],[103,42],[16,56],
[38,58],[49,59],[60,0],[104,64],[18,18156197214],
[40,128835],[51,199718169424],[62,93],[95,0],
[19,20749939673],[41,112731],[52,228249336484],[63,82],
[85,0],[108,0],[1167,1475603665027],[1178,1475367870258],
[399,48],[1169,1392839701073],[1180,1395433443533],
[532,36],[1170,626634],[1181,625170],[1171,712],
[1182,711],[1175,58312386948082441714287808938219223410040477501],
[1186,51023338579572136500008356898111428351044645661],
[12904,3479396254783438460809],[13036,3478840263052089237661],
[12906,36126674727878472494093],[13038,36193949727371728495013],
[12907,9174560106],[13039,9153124218],[12908,7840],
[13040,7828],[12912,716344194586526511643943],
[13044,626801170264452451891223],[142011,237609470873033893],
[143474,237647445856392217],[142013,15349767878871],
[143476,15321236711810],[142014,134324734523658],
[143477,134010891685986],[142015,86248],[143478,86115],
[1562188,100769610],[1578292,100785715],[1562190,591],
[1578294,590],[1562191,1966648438160888490],
[1578295,1962053465174531274],[1562192,948736],
[1578296,947272],[1562196,27618099013755],
[1578300,24165849219145],[17184135,9162337],[17361290,9160873],
[17184137,126621791006],[17361292,126857585775],
[17184138,28793699783113568393802],
[17361293,28726424783620312392882],[17184139,10436104],
[17361294,10419999],[17184143,20748826964],
[17361298,18155260196],[189025552,21604313259672019],
[190974268,21600860988457626],[189025554,3284243157079861135826],
[190974270,3290359066124702590455],[189025555,21582588116919844021]
,[190974271,21633132819769773398],[189025556,114797152],
[190974272,114619996],
[189025560,24730144426296538081244542810548099054],
[2079281139,38267242893572981614278],
[2100717026,38273358802617823068907],[2079281141,168847446667589],
[2100717028,168533603829917],[2079281142,1474119808545853],
[2100717029,1477572079760246],[2079281143,1262768680],
[2100717030,1260819963],[22872092596,16229046572845],
[23107887364,16231640315305],[22872092598,6509],
[23107887366,6497],[22872092599,100684366405],
[23107887367,100920161174],[22872092600,13890455488],
[23107887368,13869019600],
[22872092604,28801344452475605692282778238436857454056],
[23107887372,32915822231400692219351432511642110709432],
[251593018623,6882],[254186761082,6883],
[251593018625,11511071909],[254186761084,11532507797],
[251593018626,6876877],[254186761085,6892982],
[251593018627,152795010376],[254186761086,152559215607],
[251593018631,21638876373009470575154533296925487960],
[254186761090,24730144426296537771451464070344589592],
[2767523204920,134145787729],[2796054371980,134124351841],
[2767523204922,298567559734532830529],
[2796054371982,299123551465882053677],[2767523204923,469],
[2796054371983,470],[2767523204924,1680745114144],
[2796054371984,1678151371684],[2767523204928,170936191],
[2796054371988,149677447],[30442755254187,316308750434858041891],
[30756598091858,316258205732008112514],
[30442755254189,1857321913343487],[30756598091860,1853869642129094]
,[30442755254190,56966],[30756598091861,56833],
[30442755254191,18488196255592],[30756598091862,18459665088531],
[334870307796124,2613704179603372830],
[338322579010516,2614121904420314395],[334870307796126,71607],
[338322579010518,71474],[334870307796127,834050918],
[338322579010519,832102201],[334870307796128,203370158811520],
[338322579010520,203056315973848],[3683573385757431,1108465717],
[3721548369115754,1108642873],[3683573385757433,1046461082],
[3721548369115756,1048409799],[3683573385757434,12211339502150],
[3721548369115757,12182808335089],
[3683573385757435,2237071746926728],
[3721548369115758,2233619475712335],[40519307243331808,832939],
[40937032060273372,832806],[40519307243331810,27142505430412075502]
,[40937032060273374,27193050133262004879],
[40519307243331811,178786221650989862],
[40937032060273375,178368496834048297],
[40519307243331812,24607789216194016],
[40937032060273376,24569814232835692],
[445712379676649955,1964028478152001],
[450307352663007170,1963714635314329],
[445712379676649957,20430541046778365],
[450307352663007172,20392566063420041],
[445712379676649958,2617609071192142581254],
[450307352663007173,2611493162147301126625],
[445712379676649959,270685681378134184],
[450307352663007174,270267956561192619],
[4902836176443149572,420939671829302797757065],
[4953380879293078948,421006946828796053757985],
[4902836176443149574,787685],[4953380879293078950,786221],
[4902836176443149575,237408469286118284238],
[4953380879293078951,237964461017467507386],
[4902836176443149576,2977542495159476032],
[4953380879293078952,2972947522173118816],
[4902836176443149580,626801170199198607490489],
[4953380879293078956,716344194486747597151587],
[53931197940874645359,178519512301302],
[54487189672223868506,178548043468363],
[53931197940874645361,95132825],[54487189672223868508,95309981],
[53931197940874645362,16215317894004390],
[54487189672223868509,16253292877362714],
[53931197940874645363,32752967446754236360],
[54487189672223868510,32702422743904306983],
[593243177349621099016,75709],[599359086394462553644,75721],
[593243177349621099018,2467500493673825045],
[599359086394462553646,2472095466660182261],
[593243177349621099019,1107528030462],
[599359086394462553647,1110121772922],
[593243177349621099020,360282641914296599968],
[599359086394462553648,359726650182947376820],
[593243177349621099024,470924995764699998430],
[599359086394462553652,538199994944134597566],
[6525674950845832089243,12195071611],
[6592949950339088090162,12193122894],
[6525674950845832089245,224735951514562023],
[6592949950339088090164,224318226697620458],
[6525674950845832089246,75645654],[6592949950339088090165,75822810]
,[6525674950845832089247,3963109061057262599656],
[6592949950339088090166,3956993152012421145027],
[5180174960980712070847,538199995946048007360],
[5920199955406528080968,470924996452792006440],
[71782424459304152981740,28755340948623458353],
[72522449453729968991860,28750745975637101137],
[71782424459304152981742,8664543],[72522449453729968991862,8648438]
,[71782424459304152981743,5166],[72522449453729968991863,5178],
[71782424459304152981744,43594199671629888596224],
[72522449453729968991864,43526924672136632595304],
[71782424459304152981748,1352524],[72522449453729968991868,1191472]
,[53931197940874645367,303799790689469],
[6525674950845832089251,153554739966200184275155174665441],
[190974276,21638876373009470823742571858850878970],
[3683573385757439,86677647546988002666819413],
[3721548369115762,75842941603637576914827651],
[40519307243331816,3982814489999483758877959490465423814988159],
[54487189672223868514,265824828589877],
[450307352663007178,134360397470425344707399127735569],
[6592949950339088090170,134360397470425186731468357107313],
[142019,3891942057319460888],
[30756598091866,1110416508020034677389690400260],
[2079281147,18152129684],
[30442755254195,1269047437737179243310418927926],
[2100717034,20743923560],
[40937032060273380,3484962678749548289021310733111196824520621],
[445712379676649963,153554739966200388580565642449099],
[334870307796132,834272357640841891154558512],
[143482,4447933760139465692],
[338322579010524,953454123018076324260051136]]],
[[39732,"L",[2,43],"L2(43)"],
[(3,31,17)(4,32,18)(5,33,19)(6,34,20)(7,35,21)(8,36,22)(9,37,23)
(10,38,24)(11,39,25)(12,40,26)(13,41,27)(14,42,28)(15,43,29)(16,44,30),
(3,39,33,27,21,15,9)(4,40,34,28,22,16,10)(5,41,35,29,23,17,11)
(6,42,36,30,24,18,12)(7,43,37,31,25,19,13)(8,44,38,32,26,20,14),
(2,37,22,38,7,20,23,30,34,39,5,25,8,27,15,21,19,33,24,14,32,31,10,11,
35,3,12,40,42,36,6,29,4,26,18,13,9,44,41,28,17,43,16),
(1,2)(3,24)(4,23)(5,22)(6,21)(7,20)(8,19)(9,18)(10,17)(11,16)
(12,15)(13,14)(25,44)(26,43)(27,42)(28,41)(29,40)(30,39)(31,38)(32,37)
(33,36)(34,35)],8,["b1","B1","b2","B2","b3","B3","w1","W1"],
[1,-1,2,-2,3,-3,4,-4],[3,3,2,2,1,1,4,4],
[[8,7],[10,2],[19,0],[64,25],[11,0],[20,1],
[65,16],[12,28],[21,29],[39,0],[66,43],[13,37],
[22,38],[31,0],[67,34],[14,2989351],[23,32285036],
[32,615481813864757020548],[41,544],[59,0],[15,3587221],
[24,26904197],[33,738578176637708424657],[42,454],[51,0],
[70,0],[613,123161451],[622,122563580],[614,8835206],
[623,8901636],[615,3543],[624,3533],
[616,3788632498678615437611],[625,3802309872320054482512],
[619,606108581117202251777904935183270349488246],
[628,727330297340642702127538392277353769816446],
[5554,589077405715245],[5644,586217806658375],
[5555,4695391043996],[5645,4730694736056],[2460,364],
[5556,287043],[5646,286223],[3280,273],[5557,312],
[5647,311],[5560,448686242281588229492000],
[5650,538423490717333847424500],[50023,2817538970136443249631],
[50842,2803861596495004204730],[50024,2495323311812610386],
[50843,2514085141224735276],[50025,23250543],[50844,23184113],
[50026,420959166519846159734],[50845,422478874702228275834],
[450244,5275960259925380],[457624,5301696651437211],
[450245,22626766271022617490],[457625,22457909806313493479],
[450246,1883294043],[457626,1877913203],[450247,2814],
[457627,2804],[450250,1588659352070],[457630,1906387207152],
[4052233,1103072225],[4118662,1108453065],
[4052234,42576252624510],[4118663,42258519395969],
[4052235,152546817543],[4118664,152110969493],
[4052236,46773240724427351081],[4118665,46942097189136475092],
[4052239,19611935348],[4118668,23533970748],[36470134,230],
[37068004,231],[36470135,80114730],[37068005,79516859],
[36470136,12356292221043],[37068006,12320988528983],
[36470137,25332],[37068007,25241],
[36470140,4845811416842650662262995],
[37068010,4038176180715048968775845],[328231243,13684605],
[333612082,13618175],[328231244,150],[333612083,149],
[328231245,1000859669904543],[333612084,998000070847673],
[328231246,5197026747158594564],[333612085,5215788576570719454],
[328231249,68386868138234377463],[333612088,82064241744418157865],
[2954081224,65453045079471],[3002508784,65135311850930],
[2954081225,981689],[3002508785,989070],
[2954081226,81069633262268043],[3002508786,80838005738661563],
[2954081227,227994],[3002508787,227174],
[2954081230,997709598546834981995867225920938529263],
[3002508790,831424665455695818388201120746999599561],
[26586731053,313059885570715916625],
[27022579102,311540177388333800525],[26586731054,521710115999],
[27022579103,525632748450],[26586731055,6566640294243711543],
[27022579104,6547878464831586653],[26586731056,577447416350954951],
[27022579105,579532064063413272],[26586731059,10423238141390333],
[27022579108,12507885418598475],[239280579514,47483642339328425],
[243203211964,47715269862934905],[239280579515,277258145756956709],
[243203211965,279342793469415030],
[239280579516,531897863833740635043],
[243203211966,530378155651358518943],[239280579517,2051952],
[243203211967,2044571],[239280579520,240941678],
[243203211970,288771378],[2153525215663,9927650030],
[2188828907722,9976077591],[2153525215664,203640896439203557416],
[2188828907723,202121188256821441316],
[2153525215665,4773403400862226670492],
[2188828907724,4787080774503665715393],
[2153525215666,64160824038994994],[2188828907725,64392451562601474]
,[2153525215669,1389764257321056],
[2188828907728,1158137169496196],[19381726941004,2075],
[19699460169544,2085],[19381726941005,383186273620596],
[19699460169545,380326674563726],
[19381726941006,58930906183484279882],
[19699460169546,59099762648193403893],[19381726941007,18467574],
[19699460169547,18401144],
[19381726941010,126722247440282842361663515047380069],
[19699460169550,152066696928339399897841667491060869],
[174435542469073,1520511],[177295141525942,1513130],
[174435542469074,721032576],[177295141525943,715651736],
[174435542469075,727542051647954072],
[177295141525944,729626699360412393],
[174435542469076,7128980448777221],
[177295141525945,7154716840289052],
[174435542469079,2575262865219379010323952356086],
[177295141525948,2146052387682817008653042166416],
[1569919882221694,7272560564385],[1595656273733524,7237256872325],
[1569919882221695,1356],[1595656273733525,1346],
[1569919882221696,8982000637629062],
[1595656273733526,9007737029140893],[1569919882221697,166208172],
[1595656273733527,165610301],
[1569919882221700,1368600272355054818218742541038264487],
[1595656273733530,1140500226962545690974150037532778077],
[14129278939995283,34784431730079546291],
[14360906463601762,34615575265370422280],
[14129278939995284,109076],[14360906463601763,109896],
[14129278939995285,110888896760852],
[14360906463601764,111206629989393],
[14129278939995286,792108938753024],
[14360906463601765,794968537809894],
[14129278939995289,392510724770477191191052047],
[14360906463601768,327092270642082542697646397],
[127163510459957584,427352781053955830],
[129248158172415904,429437428766414151],
[127163510459957585,57967790666],[129248158172415905,58403638716],
[127163510459957586,1368998725442],
[129248158172415906,1372921357893],[127163510459957587,1495873554],
[129248158172415907,1490492714],
[127163510459957590,2943830435774729842994959049],
[129248158172415910,3532596522928425834951393249],
[1144471594139618293,89348850275],[1163233423551743182,89784698325]
,[1144471594139618294,30806460639661856],
[1163233423551743183,31038088163268336],
[1144471594139618295,16901218832],[1163233423551743184,16949646393]
,[1144471594139618296,88012104305891],
[1163233423551743185,88329837534432],
[1144471594139618299,2575262865219328178091117432744],
[1163233423551743188,2146052387682782876478699364604],
[10300244347256564674,18680],[10469100811965688684,18771],
[10300244347256564675,1832768067952832016750],
[10469100811965688685,1819090694311392971849],
[10300244347256564676,208657022],[10469100811965688686,209254893],
[10300244347256564677,13462861992],
[10469100811965688687,13414434431],
[10300244347256564680,152066696928339427430015633451714447],
[10469100811965688690,126722247440282856366790102389594347],
[92702199125309082103,168945],[94221907307691198202,168125],
[92702199125309082104,3448676462585370],
[94221907307691198203,3422940071073539],
[92702199125309082105,2576012],[94221907307691198204,2583393],
[92702199125309082106,9779122700654],
[94221907307691198205,9814426392714],
[92702199125309082109,1013138779774540029],
[94221907307691198208,844282318982667629],
[834319792127781738964,808062284931],
[847997165769220783864,804139652480],
[834319792127781738965,6489293190],
[847997165769220783865,6440865629],[834319792127781738966,31802],
[847997165769220783866,31893],[834319792127781738967,121165757934],
[847997165769220783867,120729909884],
[615481813864757020550,82064241848634269406],
[738578176637708424660,68386868207195224505],
[834319792127781738970,324635],[847997165769220783870,383685],
[7508878129150035650713,3864936858897727365],
[7631974491922987054822,3846175029485602475],
[7508878129150035650714,12210],[7631974491922987054823,12119],
[7508878129150035650715,392],[7631974491922987054824,393],
[7508878129150035650716,1086569188961],
[7631974491922987054825,1090491821412],
[7508878129150035650719,26879414],[7631974491922987054828,32252964]
,[50848,727330297340642702153786792003457679097805],
[50029,606108581117202251795278239124262700744875]]],
[[51888,"L",[2,47],"L2(47)"],
[(3,47,45,43,41,39,37,35,33,31,29,27,25,23,21,19,17,15,13,11,9,7,5)
(4,48,46,44,42,40,38,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6),
(2,32,4,6,22,33,24,18,40,26,5,39,42,43,36,7,12,48,44,31,23,38,11,37,
14,34,15,46,8,21,25,35,30,13,20,19,16,28,3,17,41,47,10,45,29,27,9),
(1,2)(3,26)(4,25)(5,24)(6,23)(7,22)(8,21)(9,20)(10,19)(11,18)
(12,17)(13,16)(14,15)(27,48)(28,47)(29,46)(30,45)(31,44)(32,43)(33,42)
(34,41)(35,40)(36,39)(37,38)],6,
["b1","B1","b2","B2","w1","W1"],[1,-1,2,-2,3,-3],
[2,2,1,1,3,3],
[[6,5],[15,0],[36,19],[9,0],[37,12],
[10,22155287046397],[17,18245831560053944226],[31,0],
[11,16616465284798],[18,13684373670040458170],[25,0],
[40,0],[267,76893147288798764963],[274,76241510447368266955],
[268,60135779125944],[275,59344518874287],
[271,3865496859827125259821721633],
[278,5153995813098400652276470435],[1884,6688],[1940,6745],
[1885,2907881424840087],[1941,2946653177171288],
[1888,1767820563906430995242402510260],
[1944,1325865422929823944323343844316],[13203,224178271979005145],
[13602,222278456114776288],[13204,612],[13603,620],
[13207,7643350315971288033367948911739260404],
[13606,10191133754628384033745240020907264404],[92436,2294155],
[95236,2313763],[92437,1227260798488],[95237,1211112630087],
[92440,189409346132819107164253992457],
[95240,252545794843749939524917579771],[647067,653580967868819],
[666674,648042146107219],[647068,142486189817164287],
[666675,144386005681393144],[647071,552213837095362961032356804],
[666678,736285116122717693340519204],[4529484,786895336],
[4666740,793620937],[4529485,30012],[4666741,30412],
[4529488,13684373654786794725],[4666744,18245831528699191589],
[31706403,1905483871337],[32667202,1889335702936],
[31706404,25046138744],[32667203,24716584287],
[31706407,308436754814031183119082193782987216140210901],
[32667206,411249006418708244141245656898048044267064853],
[221944836,269905100419],[228670436,272211981619],
[221944837,6981823301041050087],[228670437,7074914278388264088],
[221944840,207982321523025118374218441731780819],
[228670440,155986741142269621070714123898740819],
[1553613867,5555346563],[1600693074,5508267355],
[1553613868,1470612],[1600693075,1490220],
[1553613871,7599263497269035],[1600693078,5699447673393785],
[2306881200,659108914],[10875297084,92577449443888],
[11204851540,93368709695545],[4613762400,329554457],
[10875297085,511145688],[11204851541,504420087],
[10875297088,2373767813581],[11204851544,3165021359245],
[76127079603,16196345],[78433960802,16059088],
[76127079604,342109341751011454287],
[78433960803,346670799641024940344],
[76127079607,454771840064707058975639555525125],
[532889557236,31754065159253755],[549037725636,32025467425572163],
[532889557237,72060012],[549037725637,73020812],
[532889557240,814190650840045],[549037725640,1085576768992853],
[3730226900667,47219],[3843264079474,46819],
[3730226900668,10431544],[3843264079475,10294287],
[3730226900671,19216025],[3843264079478,24980827],
[26111588304684,10891644349624038136],
[26902848556340,10984735326971252137],
[26111588304685,49524399948717848620],
[26902848556341,48872763107287350612],
[26111588304688,3865496858550448587775967073],
[26902848556344,5153995811183385834031205923],
[182781118132803,137],[188319939894402,136],
[182781118132804,3530940612],[188319939894403,3578019820],
[182781118132807,48431064405],[188319939894406,64572507605],
[1279467826929636,538252031021591354745],
[1318239579260836,533690573131577868688],[1279467826929637,212888],
[1318239579260837,210087],[1279467826929640,6258319410891729856812]
,[1318239579260840,4693739626019369496812],
[8956274788507467,955],[9227677054825874,963],
[8956274788507468,1010702039769752012],
[9227677054825875,997403328720150012],[8956274788507471,77795],
[9227677054825878,58579],[62693923519552284,1569247903853036019],
[64593739383781140,1555949192803434019],
[62693923519552285,173016090012],[64593739383781141,175322971212],
[438857464636866003,327736],[452156175686468002,330537],
[438857464636866004,4344],[452156175686468003,4287],
[438857464636866007,155986741142271121797311159646461836],
[452156175686468006,207982321523028151750932385455373852],
[3072002252458062036,4575066775081737],
[3165093229805276036,4536295022750536],
[3072002252458062037,20626572240199020],
[3165093229805276037,20355169973880612],
[3072002252458062040,141101453],[3165093229805276040,188043461],
[21504015767206434267,112413619],[22155652608636932274,113374419],
[21504015767206434268,8477788410612],
[22155652608636932275,8590825589420],
[21504015767206434271,5183896538159422095061232915173851138736278040653
],
[22155652608636932278,6911862050879229460039552921066844322714663503461
],[150528110370445039884,13338387099363],
[155089568260458525940,13225349920555],[150528110370445039885,88],
[155089568260458525941,87],
[95790615690283207200,18245831560053944228],
[127720820920377609600,13684373670040458171],
[150528110370445039888,13684362592400503657],
[155089568260458525944,18245814943592365371],
[1053696772593115279203,38557871488],
[1085626977823209681602,38887425945],
[1053696772593115279204,420950453881612],
[1085626977823209681603,415411632120012],
[1053696772593115279207,2159057283698218279440648644705081280091323652]
,
[1085626977823209681606,2878743044930957705491365207798219518007730060]
,[78433960806,606362453419460404342509435201989],
[62693923519552288,7643350315971287873407252775397944685],
[64593739383781144,10191133754628383682191913608814161141]]],
[[58800,"L",[2,49],"L2(49)"],
[(3,35,19,45,6,14,40,24)(4,42,26,10,7,21,47,31)(5,49,33,17,8,28,12,38)
(9,36,20,46,30,15,41,25)(11,37,22,48,32,16,43,27)(13,39,23,50,34,18,44,
29),(3,7,5)(4,8,6)(9,37,23)(10,38,24)(11,39,25)(12,40,26)
(13,41,27)(14,42,28)(15,43,29)(16,44,30)(17,45,31)(18,46,32)(19,47,33)
(20,48,34)(21,49,35)(22,50,36),(3,19,6,40)(4,26,7,47)(5,33,8,12)
(9,20,30,41)(10,21,31,42)(11,22,32,43)(13,23,34,44)(14,24,35,45)
(15,25,36,46)(16,27,37,48)(17,28,38,49)(18,29,39,50),
(3,6)(4,7)(5,8)(9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,36)
(16,37)(17,38)(18,39)(19,40)(20,41)(21,42)(22,43)(23,44)(24,45)(25,46)
(26,47)(27,48)(28,49)(29,50),
(2,7,3,8,5,6,4)(9,10,13,18,42,36,40)(11,33,48,29,45,35,44)
(12,32,23,14,24,50,27)(15,21,39,34,31,30,19)(16,43,25,17,47,49,20)
(22,37,41,28,26,38,46),(2,25,39,32,11,18,46)(3,47,31,14,48,36,37)
(4,43,21,12,44,13,38)(5,20,19,50,45,9,28)(6,16,15,27,35,10,26)
(7,17,34,23,33,42,22)(8,49,30,24,29,40,41),
(1,2)(3,6)(4,5)(7,8)(9,29)(10,28)(11,27)(12,26)(13,25)(14,24)
(15,23)(16,22)(17,21)(18,20)(30,50)(31,49)(32,48)(33,47)(34,46)(35,45)
(36,44)(37,43)(38,42)(39,41)],14,
["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","b6","B6",
"w1","W1"],[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7],
[5,5,4,4,3,3,2,2,1,1,1,1,6,6],
[[2,1651],[6,110],[8,7],[14,13],[16,5],[196,24778],
[18,46],[48,4],[63,0],[198,73],[19,61],[49,0],
[64,3],[199,58],[20,76],[50,78],[65,79],[80,7],
[200,1663],[22,106],[52,108],[67,109],[82,110],
[112,0],[202,118],[24,39751],[54,36153],[69,2164],
[84,39290],[114,157],[159,0],[25,43336],[55,32538],
[70,2404],[85,42905],[115,142],[145,0],[26,9756151],
[56,43383],[71,2644],[86,650165],[116,187],[146,174],
[161,175],[191,0],[27,8942536],[57,39768],[72,2884],
[87,596405],[117,172],[147,189],[162,190],[177,0],
[208,0],[3061,1254429610],[3076,1254425994],
[3091,1254428919],[3106,1254425785],[3063,16569],
[3078,16585],[3093,16601],[3108,16617],[3064,198160],
[3079,197919],[3094,198642],[3109,198401],[3065,5615485],
[3080,5615244],[3095,84229135],[3110,84232719],
[3067,1780],[3082,1779],[3097,1782],[3112,1781],
[3073,1647282294],[3088,1830291910],[3103,493843681765],
[3118,452666572149],[46036,282245855544],[46486,1254429639],
[46711,83628594],[46276,282246669160],[46501,83628385],
[46726,1254426025],[46516,83628640],[46756,83628399],
[46038,248785],[46488,3735369],[46713,3738969],
[46278,248544],[46503,3735385],[46728,3738985],
[46518,249267],[46758,249026],[46039,879],
[46489,670419160],[46714,669605785],[46279,880],
[46504,670418919],[46729,669605544],[46519,881],
[46759,882],[46040,1263490794],[46490,84228669],
[46715,5615517],[46280,1263437035],[46505,5615276],
[46730,84232285],[46520,18952372044],[46760,18951558910],
[46042,26710],[46492,26740],[46717,26725],[46282,26694],
[46507,26739],[46732,26724],[46522,26742],[46762,26726],
[32544,2410],[36160,2169],[39776,2892],[43392,2651],
[46048,543085],[46498,30189202150],[46723,450298081510],
[46288,489069],[46513,486007691094],[46738,32911561764],
[46528,109356870007044],[46768,101324770785160],
[690661,5575224],[697411,83628400],[700786,83628642],
[697861,282245855785],[701461,371680],[694276,5575240],
[697651,83628401],[701026,83628639],[697876,371679],
[701476,282246668919],[697891,18816444594],
[701506,18816390385],[690663,1105],[697413,56030785],
[700788,56084785],[697863,56085219],[701463,56030994],
[694278,1104],[697653,56030544],[701028,56084544],
[697878,56085235],[701478,56031010],[697893,1107],
[701508,1106],[690664,13210],[697414,2979639],
[700789,2976024],[697864,2975785],[701464,2979160],
[694279,13194],[697654,2979640],[701029,2976025],
[697879,2975544],[701479,2978919],[697894,13242],
[701509,13226],[690665,84232764],[697415,24954],
[700790,1263437260],[697865,84229149],[701465,84229119],
[694280,84229150],[697655,1263491469],[701030,24955],
[697880,84232735],[701480,84232765],[697895,374364],
[701510,374350],[690667,400660],[697417,401110],
[700792,400885],[697867,401140],[701467,400900],
[694282,400419],[697657,401094],[701032,400869],
[697882,401139],[701482,400899],[697897,401142],
[701512,400901],[690673,31479],[697423,7413500135889],
[700798,8865850],[697873,9477432],[701473,2169800740],
[694288,34855],[697663,9574614],[701038,6796014351025],
[697888,1987550724],[701488,8718056],[697903,1668042862147719],
[701518,1529111124202885],[10461286,83628160],
[10511911,1254426010],[10468036,83628369],
[10522036,18816444160],[10468486,5575226],
[10522711,1254425544],[10464901,1254429594],
[10515526,83627919],[10468276,18816389919],[10522276,83628610],
[10468501,1254429160],[10522726,5575242],[10461288,249025],
[10511913,249265],[10468038,841278535],[10522038,840465160],
[10468488,249219],[10522713,248994],[10464903,249024],
[10515528,249264],[10468278,841278294],[10522278,840464919],
[10468503,249235],[10522728,249010],[10461289,44694610],
[10511914,44640385],[10468039,13224],[10522039,13239],
[10468489,44694160],[10522714,44640160],[10464904,44694594],
[10515529,44640369],[10468279,13225],[10522279,13240],
[10468504,44693919],[10522729,44639919],[10461290,374365],
[10511915,1263436794],[10468040,5615275],[10522040,24956],
[10468490,5615515],[10522715,5615035],[10464905,1263491035],
[10515530,374349],[10468280,24957],[10522280,5615514],
[10468505,5614794],[10522730,5615274],[10461292,6016660],
[10511917,6013285],[10468042,6017110],[10522042,6013510],
[10468492,6017140],[10522717,6013525],[10464907,6016419],
[10515532,6013044],[10468282,6017094],[10522282,6013494],
[10468507,6017139],[10522732,6013524],
[10461298,101860781704119],[10511923,2010274601],
[10468048,6713808209919],[10522048,1668076204835890],
[10468498,6793404379135],[10522723,29837611494],
[10464913,2192524617],[10515538,111128194207735],
[10468288,1529065017332274],[10522288,7331635713535],
[10468513,32582752360],[10522738,7405764382719],
[157020661,371682],[157830661,18816390369],[157027411,5575210],
[157840786,5575239],[157024276,18816444610],[157834276,371681],
[157027651,5575225],[157841026,5575194],[157020663,3739015],
[157830663,3735400],[157027413,3738535],[157840788,3735160],
[157024278,3739014],[157834278,3735399],[157027653,3738294],
[157841028,3734919],[157020664,198385],[157830664,198610],
[157027414,198639],[157840789,198399],[157024279,198369],
[157834279,198594],[157027654,198640],[157841029,198400],
[157020665,84228910],[157830665,374335],
[157027415,18952372285],[157840790,5615469],[157024280,374319],
[157834280,84232044],[157027655,5615260],
[157841030,18951558669],[157020667,90256660],
[157830667,90202660],[157027417,90257110],[157840792,90202885],
[157024282,90256419],[157834282,90202419],[157027657,90257094],
[157841032,90202869],[157020673,344050200823590160],
[157830673,111087559240794],[157027423,344040944346089919],
[157840798,30201959651],[157024288,101902330046410],
[157834288,375309803406434544],[157027663,32947100517],
[157841038,375319076628153535],[2355411286,18816443919],
[2367611911,1254429640],[2355414901,1254426024],
[2367615526,18816390160],[2355411288,16615],[2367611913,16600],
[2355414903,16614],[2367615528,16599],[2355411289,2979610],
[2367611914,2976010],[2355414904,2979594],[2367615529,2975994],
[2355411290,1263437244],[2367611915,374367],
[2355414905,374351],[2367615530,1263491485],
[2355411292,1353856660],[2367611917,1353043285],
[2355414907,1353856419],[2367615532,1353043044],
[2355411298,101938016874744],[2367611923,375059463018866035],
[2355414913,343781369180921169],[2367615538,111205600288360]]],
[[62400,"2A",[2,4],"U3(4)"],
[(3,31,8)(4,49,14)(5,58,18)(6,56,25)(7,32,11)(9,64,40)(10,63,42)
(12,50,20)(13,38,37)(15,61,23)(16,59,54)(17,62,28)(19,53,30)(21,43,36)
(22,48,34)(24,41,55)(26,39,35)(27,47,33)(29,65,45)(44,57,51)(46,52,60),
(3,5,10,25,49)(4,8,18,42,56)(6,14,31,58,63)(7,55,38,34,50)
(9,23,45,62,59)(11,41,13,48,12)(15,29,28,54,64)(16,40,61,65,17)
(19,26,52,57,27)(20,32,24,37,22)(30,35,46,44,33)(39,60,51,47,53),
(2,48,21,31)(3,61,23,34)(4,6,51,41)(5,37,45,44)(7,55,17,16)
(8,33,47,22)(9,20,49,30)(10,64,62,57)(11,50,63,65)(12,59,58,25)
(13,35,14,32)(15,43,27,36)(18,28,53,26)(19,24,29,46)(38,54,40,52)
(39,60,42,56),(2,28,21,26)(3,54,23,52)(4,61,51,34)(5,59,45,25)
(6,22,41,33)(7,32,17,35)(8,38,47,40)(9,58,49,12)(10,42,62,39)
(11,43,63,36)(13,60,14,56)(15,18,27,53)(16,64,55,57)(19,37,29,44)
(20,46,30,24)(31,50,48,65),(2,5,36,20)(3,60,22,55)(4,10,40,32)
(6,57,52,14)(7,61,39,8)(9,48,44,15)(11,24,28,25)(12,65,29,18)
(13,41,64,54)(16,23,56,33)(17,34,42,47)(19,53,58,50)(21,45,43,30)
(26,59,63,46)(27,49,31,37)(35,51,62,38),
(2,23,36,33)(3,43,22,21)(4,65,40,18)(5,55,20,60)(6,11,52,28)
(7,9,39,44)(8,31,61,27)(10,58,32,19)(12,35,29,62)(13,24,64,25)
(14,46,57,59)(15,47,48,34)(16,30,56,45)(17,49,42,37)(26,41,63,54)
(38,53,51,50),(2,21)(3,23)(4,51)(5,45)(6,41)(7,17)(8,47)(9,49)
(10,62)(11,63)(12,58)(13,14)(15,27)(16,55)(18,53)(19,29)(20,30)(22,33)
(24,46)(25,59)(26,28)(31,48)(32,35)(34,61)(36,43)(37,44)(38,40)(39,42)
(50,65)(52,54)(56,60)(57,64),(2,36)(3,22)(4,40)(5,20)(6,52)(7,39)
(8,61)(9,44)(10,32)(11,28)(12,29)(13,64)(14,57)(15,48)(16,56)(17,42)
(18,65)(19,58)(21,43)(23,33)(24,25)(26,63)(27,31)(30,45)(34,47)(35,62)
(37,49)(38,51)(41,54)(46,59)(50,53)(55,60),
(1,2)(3,7)(4,20)(5,55)(6,48)(8,32)(9,52)(10,38)(11,31)(12,14)
(13,63)(15,44)(16,39)(17,53)(18,24)(19,62)(21,43)(22,56)(23,57)(25,34)
(26,59)(27,45)(28,30)(29,33)(35,54)(37,42)(40,60)(41,58)(46,64)(47,65)
(49,50)(51,61)],18,
["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","b6","B6",
"b7","B7","b8","B8","w1","W1"],
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9],
[4,4,3,3,2,2,2,2,2,2,2,2,1,1,1,1,5,5],
[[6,252],[8,254],[10,294],[12,296],[14,13],[16,15],
[18,17],[20,2],[39,0],[324,55],[21,0],[40,1],
[325,36],[22,58],[41,59],[79,0],[326,74],[23,77],
[42,78],[61,0],[327,93],[24,4067],[43,107789],
[62,2019171],[81,78835],[100,13],[26,1772967],
[45,1497886],[64,2048089],[83,64357],[102,107716],
[140,13],[28,38900012],[47,105509],[66,33687174],
[85,4906],[104,4869],[142,4871],[180,15],[30,5511],
[49,93235],[68,4867],[87,106233],[106,214],[144,5631],
[182,107796],[220,15],[32,5663],[51,287],[70,250],
[89,251],[108,252],[146,254],[184,256],[222,258],
[260,0],[34,248],[53,5664],[72,288],[91,289],
[110,290],[148,292],[186,294],[224,296],[262,298],
[300,0],[340,0],[6233,382918],[6271,7246491],
[6309,382798],[6347,382152],[6385,1060],[6423,20153],
[6234,13210],[6272,4784870],[6310,91186933],[6348,13286],
[6386,13294],[6424,697],[1143,80],[6235,511715],
[6273,510953],[6311,26972],[6349,513157],[6387,1419],
[6425,1421],[1524,60],[6236,12226125],[6274,12227647],
[6312,232050216],[6350,33829],[6388,1780],[6426,1782],
[6249,535480940],[6287,96316616033782],[6325,195012437676],
[6363,34784564782263341],[6401,38848952],[6439,5753],
[119226,380632],[119948,138233536],[120670,1050],
[121392,20113],[122114,1056],[119986,7275451],
[120708,20033],[121430,138219096],[122152,2626437949],
[120746,382154],[121468,19993],[122190,382076],
[121506,7275447],[122228,382874],[122266,1058],
[119227,13252],[119949,91187695],[120671,252597],
[121393,4799348],[122115,251831],[119987,13212],
[120709,4799352],[121431,4798588],[122153,251071],
[120747,252517],[121469,250311],[122191,4797828],
[121507,13248],[122229,252591],[122267,699],
[119228,512473],[119950,9751510],[120672,9737030],
[121394,9737070],[122116,9750788],[119988,185004335],
[120710,513235],[121432,9736308],[122154,9750026],
[120748,511713],[121470,1417],[122192,513239],
[121508,9751508],[122230,26890],[122268,27012],
[119229,12213167],[119951,33869],[120673,642718],
[121395,232324576],[122117,641274],[119989,12227607],
[120711,12213169],[121433,643518],[122155,642796],
[120749,12213129],[121471,12198689],[122193,4414181427],
[121509,1776],[122231,643558],[122269,33871],
[119242,5031754907260],[119964,4929001751720],
[120686,3026740620827],[121408,723533383],
[122130,157470374920],[120002,10075628907],[120724,244979431],
[121446,229170932142],[122168,11867775181],[120762,22819429],
[121484,266616840137],[122206,95639108301541],
[121522,10268793589],[122244,57527096488937],[122282,90225],
[2279811,20111],[2293529,7274689],[2307247,7273927],
[2320965,138232814],[2294251,20147],[2307969,7260931],
[2321687,381354],[2308691,20145],[2322409,382912],
[2323131,20151],[2294289,382114],[2308007,382156],
[2321725,20073],[2308729,382838],[2322447,7275411],
[2323169,137958454],[2308767,7275449],[2322485,382876],
[2323207,7275371],[2323245,20069],[2279812,13134],
[2293530,252515],[2307248,13290],[2320966,693],
[2294252,1732566210],[2307970,251073],[2321688,4798590],
[2308692,695],[2322410,13292],[2323132,252553],
[2294290,4784832],[2308008,4799350],[2321726,251833],
[2308730,13214],[2322448,252557],[2323170,91187693],
[2308768,251795],[2322486,4799312],[2323208,4784110],
[2323246,689],[2279813,27004],[2293531,512477],
[2307249,26928],[2320967,9751546],[2294253,512397],
[2307971,513159],[2321689,512437],[2308693,511675],
[2322411,185279417],[2323133,185279457],[2294291,512475],
[2308009,9722590],[2321727,3520309688],[2308731,27006],
[2322449,26968],[2323171,185278695],[2308769,9737068],
[2322487,9750786],[2323209,27010],[2323247,512435],
[2279814,1774],[2293532,642794],[2307250,642034],
[2320968,232325336],[2294254,33791],[2307972,643560],
[2321690,1778],[2308694,33711],[2322412,12227569],
[2323134,12212407],[2294292,1772],[2308010,643478],
[2321728,642756],[2308732,642036],[2322450,232325338],
[2323172,33789],[2308770,641996],[2322488,232325298],
[2323210,232310858],[2323248,33867],[2279827,95569329066020],
[2293545,265017389165],[2307263,266810106104],
[2320981,263135292523],[2294267,230811891496],
[2307985,96356043493843],[2321703,5033540580840],
[2308707,1830730814689362],[2322425,6502877970],
[2323147,229029635940],[2294305,5067591212967],
[2308023,82016398727901],[2321741,4963865225638],
[2308745,266815209274],[2322463,94958871879202],
[2323185,28459402],[2308783,1817787586298946],
[2322501,3673119372242],[2323223,339760133],
[2323261,1830763875288166],[43591568,7260969],
[43852210,382916],[44112852,20149],[43865928,381394],
[44126570,7260971],[44140288,7260209],[43866650,1052],
[44127292,20109],[44141010,7274649],[44141732,20107],
[43866688,7275409],[44127330,382836],[44141048,382878],
[44141770,382116],[44141808,20071],[43591569,691],
[43852211,4799272],[44112853,251755],[43865929,251793],
[44126571,4799310],[44140289,252595],[43866651,4770392],
[44127293,91173215],[44141011,4784872],[44141733,13254],
[43866689,4798550],[44127331,251033],[44141049,252555],
[44141771,251835],[44141809,13174],[43591570,26970],
[43852212,513233],[44112854,1411],[43865930,26932],
[44126572,9751550],[44140290,513195],[43866652,26852],
[44127294,9751470],[44141012,26892],[44141734,9750748],
[43866690,26930],[44127332,9751548],[44141050,185264977],
[44141772,1413],[44141810,185279455],[43591571,642758],
[43852213,33827],[44112855,33865],[43865931,33787],
[44126573,12227645],[44140291,12226885],[43866653,642798],
[44127295,643520],[44141013,33831],[44141735,643440],
[43866691,33825],[44127333,33863],[44141051,33749],
[44141773,12226887],[44141811,12226847],
[43591584,82731553749901],[43852226,195206290540],
[44112868,12161068225],[43865944,231060334018],
[44126586,94922866402359],[44140304,4390049886824],
[43866666,5067602059292],[44127308,12160677184],
[44141026,227286460800],[44141748,1830766661580028],
[43866704,13849500318],[44127346,5069483792447],
[44141064,265027329777],[44141786,95674910780822],
[44141824,14047313880],[833467149,138233574],
[838419347,7274687],[838679989,1054],[838693707,138233576],
[838694429,382914],[838694467,20031],[833467150,252593],
[838419348,13250],[838679990,252477],[838693708,13172],
[838694430,90912573],[838694468,91187655],[833467151,1415],
[838419349,513237],[838679991,26966],[838693709,513199],
[838694431,513119],[838694469,513197],[833467152,33751],
[838419350,12227609],[838679992,643556],[838693710,643516],
[838694432,12227649],[838694470,643554],
[833467165,230961021356],[838419363,96354208571997],
[838680005,12155681706],[838693723,230864685261],
[838694445,229074075483],[838694483,10031059165],
[15935194950,381392],[15935194951,13288],[15935194952,27008],
[15935194953,643480],[15935194966,96352417948461]]],
[[74412,"L",[2,53],"L2(53)"],
[(3,29)(4,30)(5,31)(6,32)(7,33)(8,34)(9,35)(10,36)(11,37)(12,38)
(13,39)(14,40)(15,41)(16,42)(17,43)(18,44)(19,45)(20,46)(21,47)(22,48)
(23,49)(24,50)(25,51)(26,52)(27,53)(28,54),
(3,51,47,43,39,35,31,27,23,19,15,11,7)(4,52,48,44,40,36,32,28,24,20,16,
12,8)(5,53,49,45,41,37,33,29,25,21,17,13,9)(6,54,50,46,42,38,34,30,
26,22,18,14,10),(2,17,18,34,19,12,35,31,20,51,13,23,36,41,32,29,21,
27,52,54,14,48,24,4,37,7,42,16,33,11,30,50,22,40,28,26,53,47,3,6,
15,10,49,39,25,46,5,9,38,45,8,44,43),
(1,2)(3,29)(4,28)(5,27)(6,26)(7,25)(8,24)(9,23)(10,22)(11,21)
(12,20)(13,19)(14,18)(15,17)(30,54)(31,53)(32,52)(33,51)(34,50)(35,49)
(36,48)(37,47)(38,46)(39,45)(40,44)(41,43)],8,
["b1","B1","b2","B2","b3","B3","w1","W1"],
[1,-1,2,-2,3,-3,4,-4],[3,3,2,2,1,1,4,4],
[[2,1],[8,7],[10,0],[64,16],[12,28],[39,0],
[66,43],[13,37],[31,0],[67,34],[14,55],
[32,19613162253],[41,10423238562291604],[59,0],[15,46],
[33,23535794703],[42,12507886274749924],[51,0],[70,0],
[613,150],[622,149],[615,80838005738661563],
[624,81069633262268043],[616,120729909884],[625,121165757934],
[619,23177365786971419863336781062515],
[628,19314471489143863025961349724633],[5554,1356],
[5644,1346],[5556,4787080774503665715393],
[5646,4773403400862226670492],[5557,420959166519846159734],
[5647,422478874702228275834],
[5560,67345397901911361308507510220308231924459],
[5650,80814477482293633569579245193590729397459],[50023,12210],
[50842,12119],[50025,2583393],[50844,2576012],
[50026,307987099657924413083532],[50845,306879232392967850446541],
[50029,386533140549008498277214987027650187531510482696],
[50848,322110950457507081897722764137979585737947327276],
[450244,109896],[457624,109076],[450246,1368998725442],
[457626,1372921357893],[450247,88329837534432],
[457627,88012104305891],[450250,4038176180535054184427423],
[457630,4845811416456761259035523],[4052233,989070],
[4118662,981689],[1793613,265720],
[4052235,282672332653666956828285543],
[4118664,281864697417513622665919013],[2391484,199290],
[4052236,25332],[4118665,25241],[4052239,7598540875579147976],
[4118668,9118249022662952856],[36470134,8901636],
[37068004,8835206],[36470136,152546817543],
[37068006,152110969493],[36470137,165610301],
[37068007,166208172],[36470140,4845811416842933091799476],
[37068010,4038176180715331398312326],[328231243,80114730],
[333612082,79516859],[328231245,23184113],[333612084,23250543],
[328231246,577447416350954951],[333612085,579532064063413272],
[328231249,16896299658704380375273386714748686],
[333612088,14080249715586983740565185227067796],
[2954081224,721032576],[3002508784,715651736],
[2954081226,42960630607760040034433],
[3002508786,43083726970532991438543],
[2954081227,224522595650626897137895374],
[3002508787,223714960414473562975528844],
[2954081230,14297897617304],[3002508790,17157448253994],
[26586731053,6489293190],[27022579102,6440865629],
[26586731055,9007737029140893],[27022579104,8982000637629062],
[26586731056,64392451562601474],[27022579105,64160824038994994],
[26586731059,281782659460227195244184994195613634008263897779475],
[27022579108,234818882883522662703487539074438275491869927929793],
[239280579514,58403638716],[243203211964,57967790666],
[239280579516,392],[243203211966,393],[239280579517,18467574],
[243203211967,18401144],[239280579520,14297123616134],
[243203211970,17156286825774],[2153525215663,525632748450],
[2188828907722,521710115999],[2153525215665,727542051647954072],
[2188828907724,729626699360412393],[2153525215666,227174],
[2188828907725,227994],[2153525215669,1389764271669963],
[2188828907728,1158137183845103],[19381726941004,4730694736056],
[19699460169544,4695391043996],
[19381726941006,531897863833740635043],
[19699460169546,530378155651358518943],
[19381726941007,792108938753024],[19699460169547,794968537809894],
[19381726941010,441853155634440441559941749783990472569655710],
[19699460169550,530223786761328529871284527704912644164253752],
[174435542469073,42576252624510],[177295141525942,42258519395969],
[174435542469075,287043],[177295141525944,286223],
[174435542469076,2761913091536710654018874],
[177295141525945,2771883896921319717751794],
[174435542469079,274422885],[177295141525948,231376163],
[1569919882221694,383186273620596],
[1595656273733524,380326674563726],
[1569919882221696,12320988528983],[1595656273733526,12356292221043]
,[1569919882221697,46942097189136475092],
[1595656273733527,46773240724427351081],
[1569919882221700,67345397901911361221149580679384100519160],
[1595656273733530,80814477482293633393590433509788617041660],
[14129278939995283,3448676462585370],
[14360906463601762,3422940071073539],
[14129278939995285,31408036961518550758698393],
[14360906463601764,31318299713057069185102112],
[14129278939995286,13462861992],[14360906463601765,13414434431],
[14129278939995289,286140318357709579612619518755],
[14360906463601768,238450265298091556550170376053],
[127163510459957584,31038088163268336],
[129248158172415904,30806460639661856],
[127163510459957586,16949646393],[129248158172415906,16901218832],
[127163510459957587,311],[129248158172415907,312],
[127163510459957590,281782659460227195244183945426420059288504214309047
],
[129248158172415910,234818882883522662703487013732644171209519967834247
],[1144471594139618293,279342793469415030],
[1163233423551743182,277258145756956709],
[1144471594139618295,208657022],[1163233423551743184,209254893],
[1144471594139618296,1086569188961],
[1163233423551743185,1090491821412],
[1144471594139618299,1389765060328407],
[1163233423551743188,1158137584551617],
[10300244347256564674,2514085141224735276],
[10469100811965688684,2495323311812610386],
[10300244347256564676,386645675469840360309902],
[10469100811965688686,387753542734796922946893],
[10300244347256564677,3788632498678615437611],
[10469100811965688687,3802309872320054482512],
[10300244347256564680,1564472190620748645760393716958139],
[10469100811965688690,1877366628744890168554058375230839],
[92702199125309082103,22626766271022617490],
[94221907307691198202,22457909806313493479],
[92702199125309082105,1000859669904543],
[94221907307691198204,998000070847673],
[92702199125309082106,34220788850880490342614],
[94221907307691198205,34097692488107538938504],
[92702199125309082109,
2536043935142044757197523034014244491081769517742334],
[94221907307691198208,
2113369945951703964331293040017166095770950604861624],
[834319792127781738964,203640896439203557416],
[847997165769220783864,202121188256821441316],
[834319792127781738966,3533],[847997165769220783866,3543],
[834319792127781738967,9814426392714],
[847997165769220783867,9779122700654],
[834319792127781738970,2980040],[847997165769220783870,3570540],
[7508878129150035650713,1832768067952832016750],
[7631974491922987054822,1819090694311392971849],
[7508878129150035650715,6547878464831586653],
[7631974491922987054824,6566640294243711543],
[7508878129150035650716,2814],[7631974491922987054825,2804],
[7508878129150035650719,2943830435774729842994959049],
[7631974491922987054828,3532596522928425834951393249],
[67579903162350320856454,16494912611575488150756],
[68687770427306883493444,16371816248802536746646],
[67579903162350320856456,59099762648193403893],
[68687770427306883493446,58930906183484279882],
[67579903162350320856457,1490492714],
[68687770427306883493447,1495873554],
[67579903162350320856460,211676859744],
[68687770427306883493450,176421595154],
[608219128461152887708123,148454213504179393356810],
[618189933845761951441042,147346346239222830719819],
[608219128461152887708125,31893],[618189933845761951441044,31802],
[608219128461152887708126,5197026747158594564],
[618189933845761951441045,5215788576570719454],
[608219128461152887708129,58913754084592058860229466652979599889120124]
,
[618189933845761951441048,49094795070493382388370361445091824383748254]
,[5473972156150375989373144,1336087921537614540211296],
[5563709404611857562969424,1326117116153005476478376],
[5473972156150375989373146,110888896760852],
[5563709404611857562969426,111206629989393],
[5473972156150375989373147,24946955072291877459766152],
[5563709404611857562969427,24857217823830395886169871],
[5473972156150375989373150,152066696928339386255907037163807427],
[5563709404611857562969430,126722247440282828719728884720126627],
[49265749405353383904358333,12024791293838530861901670],
[50073384641506718066724862,11935054045377049288305389],
[49265749405353383904358335,3489781884613172306522043],
[50073384641506718066724864,3479811079228563242789123],
[49265749405353383904358336,7154716840289052],
[50073384641506718066724865,7128980448777221],
[36343585626900037306493855,4845811416920004974199180],
[43612302752280044767792626,4038176180766670811832650],
[49265749405353383904358339,82064241744418157865],
[50073384641506718066724868,68386868138234377463],
[443391744648180455139225034,108223121644546777757115036],
[450660461773560462600523804,107415486408393443594748506],
[443391744648180455139225036,1883294043],
[450660461773560462600523806,1877913203],
[443391744648180455139225037,2051952],
[450660461773560462600523807,2044571],
[443391744648180455139225040,
2113369945951703964331388200568366497667187493709156],
[450660461773560462600523810,
2536043935142044757197665820006577751675270435867816]]],
[[95040,"Spor","M12","M12"],
[(3,11)(5,10)(7,9)(8,12),(3,8,9)(5,6,10)(7,12,11),
(2,11,4,9)(3,12,7,8),(2,8,4,12)(3,11,7,9),
(2,4)(3,7)(8,12)(9,11),(1,9,11)(2,3,12)(4,8,7),
(1,7,3)(2,11,8)(4,12,9),(1,12)(5,9)(6,7)(8,11),
(2,7)(3,11)(4,9)(10,12)],18,
["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","b6","B6",
"b7","B7","w1","W1","w2","W2"],
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9],
[5,5,4,4,3,3,3,3,2,2,1,1,1,1,6,6,6,6],
[[2,1],[6,176],[8,178],[10,9],[16,15],[18,17],
[20,0],[286,640114469],[324,12160656682],[22,77],
[60,4],[79,0],[23,58],[61,0],[80,3],[24,64354],
[62,2625],[81,3386],[100,9],[328,1497401],[26,3383],
[64,3347],[83,64357],[102,3387],[140,9],[330,1874648],
[28,172],[66,174],[85,175],[104,176],[142,178],
[180,0],[294,671556645],[332,33821266],[30,248],
[68,269],[87,4925],[106,5287],[144,273],[182,237],
[220,12],[239,0],[31,267],[69,250],[88,5267],
[107,4907],[145,254],[183,218],[221,0],[240,11],
[32,210],[70,5266],[89,232],[108,4926],[146,216],
[184,275],[222,258],[241,259],[260,14],[279,0],
[33,229],[71,4924],[90,213],[109,5268],[147,235],
[185,256],[223,277],[242,278],[261,0],[280,13],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
]
|
