nameme_core 0.2.3

// Automatically generated with build.rs. Edit with care.
use std::collections::HashMap;
thread_local!(pub static PREFIXES: HashMap<u64, Vec<usize>> = HashMap::from([
	(16049989736602898662, vec![
		440,
		441,
	]),
	(640640396189808685, vec![
		302,
	]),
	(3490680568406380728, vec![
		446,
	]),
	(4194147681932479765, vec![
		458,
	]),
	(17424720178838093111, vec![
		466,
	]),
	(3464240823061626091, vec![
		470,
	]),
	(14508207007201233084, vec![
		185,
	]),
	(6619943284880346650, vec![
		135,
	]),
	(12085898504792208917, vec![
		341,
	]),
	(3399833417125067144, vec![
		359,
	]),
	(5902343009488096879, vec![
		515,
	]),
	(6499182391418508586, vec![
		166,
	]),
	(7247816491923714216, vec![
		98,
	]),
	(9358795777148402933, vec![
		518,
	]),
	(15314700675394468451, vec![
		270,
		271,
		272,
	]),
	(14382403872514635251, vec![
		233,
	]),
	(14183958881871059041, vec![
		443,
	]),
	(12864151182239710260, vec![
		37,
	]),
	(1128370006145958468, vec![
		261,
	]),
	(2471378411037690065, vec![
		401,
	]),
	(15446035782498493236, vec![
		438,
	]),
	(5936343850223842476, vec![
		475,
		476,
	]),
	(5182600410299311364, vec![
		393,
	]),
	(17260884388946130824, vec![
		6,
	]),
	(15172508271875420084, vec![
		360,
	]),
	(11401755454245474317, vec![
		602,
		603,
		604,
		605,
	]),
	(12132172070465819283, vec![
		311,
	]),
	(1186087354363858189, vec![
		37,
	]),
	(15085661084965028009, vec![
		142,
		143,
	]),
	(140085549415279767, vec![
		218,
	]),
	(13850851390133459489, vec![
		378,
	]),
	(17426382001709830642, vec![
		41,
	]),
	(11207017732156849536, vec![
		101,
	]),
	(13457853693863595537, vec![
		51,
	]),
	(16760528098520303969, vec![
		150,
	]),
	(9901995555711117023, vec![
		203,
	]),
	(13822929001473690077, vec![
		59,
	]),
	(6319340664175793545, vec![
		554,
	]),
	(15107038695602088711, vec![
		605,
	]),
	(15114563635183036343, vec![
		375,
	]),
	(16477877586193814996, vec![
		312,
	]),
	(3603594323603355361, vec![
		222,
		223,
		224,
		225,
	]),
	(13210274991913941401, vec![
		122,
	]),
	(15020652101868496672, vec![
		492,
	]),
	(1884960586866772987, vec![
		559,
	]),
	(666739648577994058, vec![
		122,
	]),
	(11798368173034703792, vec![
		305,
	]),
	(17070534451848503527, vec![
		28,
	]),
	(12823092770954311539, vec![
		29,
		30,
	]),
	(5329889086787565772, vec![
		72,
	]),
	(2106471429100748315, vec![
		257,
	]),
	(14163633897753016159, vec![
		384,
	]),
	(2886177021630484074, vec![
		63,
	]),
	(13453340681995884997, vec![
		513,
	]),
	(7099521524286142084, vec![
		30,
	]),
	(15940539888792716075, vec![
		307,
	]),
	(4757988944295521354, vec![
		284,
		285,
		286,
	]),
	(7651128922163531092, vec![
		303,
	]),
	(8768529286034943952, vec![
		62,
	]),
	(5086518398930934281, vec![
		247,
	]),
	(6332702761481046991, vec![
		413,
	]),
	(4586798365246675974, vec![
		181,
	]),
	(2768598735626591065, vec![
		140,
		141,
		142,
		143,
	]),
	(16556344817862087954, vec![
		479,
	]),
	(9110026476531442475, vec![
		492,
	]),
	(14678256250283242898, vec![
		545,
	]),
	(2322682880816649077, vec![
		56,
	]),
	(10747966027000273173, vec![
		141,
		142,
		143,
	]),
	(13726820376756719407, vec![
		148,
	]),
	(12133914822898690264, vec![
		259,
	]),
	(14853154968303455969, vec![
		146,
	]),
	(2939530186789668942, vec![
		21,
		22,
		23,
	]),
	(6060911095764494937, vec![
		49,
		50,
		51,
	]),
	(13531459253389207738, vec![
		149,
	]),
	(8963161882730375638, vec![
		132,
	]),
	(9137358989614758072, vec![
		21,
	]),
	(11193300965883867512, vec![
		497,
	]),
	(341446616853113638, vec![
		80,
	]),
	(16024017021321713234, vec![
		385,
		386,
	]),
	(3731924655852518741, vec![
		504,
	]),
	(12606049380208810680, vec![
		76,
	]),
	(10773938742172830553, vec![
		505,
		507,
		508,
	]),
	(8873186213258896355, vec![
		104,
	]),
	(11398878992163592716, vec![
		254,
	]),
	(17732187763291869709, vec![
		177,
	]),
	(14846119681243853313, vec![
		315,
		316,
		317,
		318,
		319,
		320,
		321,
		322,
		323,
		324,
		325,
		326,
		327,
		328,
		329,
		330,
		331,
		332,
		333,
		334,
		335,
		336,
		337,
		338,
		339,
		340,
		341,
		342,
		343,
		344,
		345,
		346,
		347,
		348,
		349,
		350,
		351,
	]),
	(2739680162076131906, vec![
		385,
	]),
	(380082497687034732, vec![
		37,
	]),
	(1915819077142247650, vec![
		305,
		306,
		307,
		308,
		309,
	]),
	(17288010412603681290, vec![
		436,
	]),
	(6382261464281148587, vec![
		443,
	]),
	(11047126276816690804, vec![
		186,
	]),
	(17682477555946339704, vec![
		230,
	]),
	(18414637645104002000, vec![
		377,
	]),
	(17189249151264529290, vec![
		388,
	]),
	(13213594460805909444, vec![
		136,
	]),
	(18437427674212398653, vec![
		403,
	]),
	(10046113802189729074, vec![
		143,
	]),
	(2860104777564305049, vec![
		455,
	]),
	(442736001126751455, vec![
		38,
	]),
	(10229882143214190632, vec![
		485,
	]),
	(15255025688438160524, vec![
		508,
	]),
	(8180097351357649722, vec![
		130,
	]),
	(14620492050381968728, vec![
		512,
	]),
	(4215536883956386743, vec![
		515,
	]),
	(68347810529684538, vec![
		577,
	]),
	(6702281165442397551, vec![
		195,
	]),
	(17880754476547092154, vec![
		352,
	]),
	(14438466658350278751, vec![
		214,
	]),
	(17151430333510887014, vec![
		418,
	]),
	(17228763954506671601, vec![
		423,
	]),
	(10964459809172612882, vec![
		95,
	]),
	(5116148779853665748, vec![
		28,
	]),
	(15939138024080708597, vec![
		356,
	]),
	(10219576586355136709, vec![
		428,
	]),
	(9297242183167328521, vec![
		501,
		502,
	]),
	(12787201183413968439, vec![
		40,
	]),
	(360231022110013604, vec![
		66,
	]),
	(10724149414376845465, vec![
		518,
	]),
	(7273151788013087516, vec![
		395,
	]),
	(7024602096810422590, vec![
		127,
	]),
	(3249397701812760532, vec![
		383,
	]),
	(11008882858301049505, vec![
		414,
	]),
	(9115431878841249537, vec![
		378,
	]),
	(4629342729869303563, vec![
		471,
	]),
	(13437388043339711732, vec![
		302,
	]),
	(14821063155410615685, vec![
		7,
	]),
	(15561500883362877977, vec![
		33,
	]),
	(1358573748067070613, vec![
		447,
	]),
	(1494778428904412572, vec![
		96,
	]),
	(15807725364258900940, vec![
		114,
	]),
	(6914141399184161619, vec![
		66,
	]),
	(5740041122332358159, vec![
		348,
	]),
	(16060013416264441808, vec![
		429,
	]),
	(6471352220720773138, vec![
		431,
		432,
		433,
		434,
		435,
	]),
	(8236717125144971721, vec![
		588,
	]),
	(3428840177771762521, vec![
		144,
	]),
	(7171357270810261220, vec![
		60,
	]),
	(5894116452311284665, vec![
		241,
	]),
	(1717252151056037669, vec![
		309,
	]),
	(3968487312021707624, vec![
		232,
	]),
	(13579818491664920546, vec![
		470,
	]),
	(5963283287491980586, vec![
		174,
	]),
	(14931742007149500589, vec![
		157,
	]),
	(12456173188006712260, vec![
		215,
	]),
	(6491078766241037176, vec![
		371,
	]),
	(14478365026722277876, vec![
		349,
	]),
	(15610610421657173613, vec![
		16,
	]),
	(9614853715055501840, vec![
		143,
	]),
	(4178739366248056194, vec![
		141,
		142,
		143,
	]),
	(8636487039423259930, vec![
		35,
	]),
	(8636436085713595437, vec![
		301,
	]),
	(2742774990772041482, vec![
		87,
	]),
	(9340669624792811687, vec![
		126,
	]),
	(6576899538183475024, vec![
		27,
		28,
		29,
		30,
	]),
	(8637228485251421126, vec![
		379,
	]),
	(4909564152655768233, vec![
		44,
	]),
	(12166760053402870881, vec![
		122,
	]),
	(13116893248543260466, vec![
		447,
	]),
	(11845443153245259925, vec![
		484,
	]),
	(15422780080116188723, vec![
		143,
	]),
	(10035137595769999123, vec![
		217,
	]),
	(9758745559789870945, vec![
		266,
	]),
	(17371424033135194179, vec![
		519,
	]),
	(13215189968514948050, vec![
		522,
	]),
	(5325720899751188475, vec![
		282,
		283,
	]),
	(7754636136489700976, vec![
		171,
	]),
	(1317823800102613069, vec![
		246,
	]),
	(2048635653771695836, vec![
		306,
	]),
	(4569129755415566573, vec![
		390,
	]),
	(2000781491078559587, vec![
		422,
	]),
	(7590572781697896943, vec![
		434,
	]),
	(5530000620587783229, vec![
		302,
	]),
	(13178883226119076616, vec![
		572,
		573,
		574,
		575,
		576,
		577,
		578,
		579,
		580,
		581,
		582,
		583,
		584,
		585,
		586,
	]),
	(15840344505398068735, vec![
		246,
	]),
	(17591304933201955248, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(7392313066566453692, vec![
		183,
	]),
	(15878884767280888122, vec![
		347,
	]),
	(4022346954806087463, vec![
		439,
	]),
	(10114805834881372723, vec![
		30,
	]),
	(2237369477978994696, vec![
		232,
	]),
	(12238670857471920517, vec![
		381,
	]),
	(15697164438096001492, vec![
		5,
	]),
	(5485620064914078068, vec![
		7,
	]),
	(10758783553253504234, vec![
		285,
		286,
	]),
	(13470620242108651534, vec![
		270,
	]),
	(14797895158582215802, vec![
		416,
	]),
	(13536918268304389115, vec![
		460,
	]),
	(16111000114657243231, vec![
		550,
	]),
	(1112648144074540901, vec![
		254,
	]),
	(1944467492509143949, vec![
		512,
	]),
	(5752485493874531706, vec![
		246,
	]),
	(877878234830455834, vec![
		307,
	]),
	(11065939155727954509, vec![
		450,
	]),
	(1321317301773184520, vec![
		3,
	]),
	(6323662884201606384, vec![
		143,
	]),
	(5129133333329493030, vec![
		372,
		373,
		374,
	]),
	(4094820199809206973, vec![
		508,
	]),
	(9396100164092940619, vec![
		549,
	]),
	(8801500258642762709, vec![
		593,
	]),
	(10066723719898427344, vec![
		606,
	]),
	(13108945736421515645, vec![
		6,
	]),
	(5838480167319209471, vec![
		36,
	]),
	(8692873030888888912, vec![
		234,
	]),
	(13045543707209440622, vec![
		177,
	]),
	(11295833260300473156, vec![
		122,
	]),
	(11878266003238884368, vec![
		261,
	]),
	(15225551069682736129, vec![
		41,
	]),
	(17587902139528541197, vec![
		208,
		209,
		210,
		211,
		213,
		214,
		215,
		216,
		217,
	]),
	(12617540060086496178, vec![
		342,
	]),
	(5962864097303979501, vec![
		33,
	]),
	(7047820679147031323, vec![
		143,
	]),
	(6354589449420485309, vec![
		552,
	]),
	(3106901644145716297, vec![
		245,
	]),
	(2792461003327248527, vec![
		144,
	]),
	(3555677982872247641, vec![
		105,
	]),
	(7003538134219860912, vec![
		563,
		564,
		565,
		566,
	]),
	(3684794820676496324, vec![
		127,
	]),
	(3341843666107223621, vec![
		16,
	]),
	(4177972998802815608, vec![
		240,
	]),
	(2208432956393465746, vec![
		131,
	]),
	(9554499337451085716, vec![
		60,
	]),
	(14001690513551972649, vec![
		158,
		159,
		160,
		161,
		162,
		163,
		164,
	]),
	(8479676697618660781, vec![
		200,
	]),
	(6656886799598642568, vec![
		385,
	]),
	(6594852800604467811, vec![
		430,
	]),
	(6246426632330235800, vec![
		347,
	]),
	(18425059102410968954, vec![
		358,
	]),
	(12112929232046644289, vec![
		503,
	]),
	(8861924252753351835, vec![
		477,
	]),
	(12617521953978723470, vec![
		254,
	]),
	(17472604287631355377, vec![
		303,
	]),
	(11948926631991079112, vec![
		388,
	]),
	(1190415220810173386, vec![
		402,
	]),
	(3331437718949363702, vec![
		144,
		145,
	]),
	(17544610751076679760, vec![
		512,
	]),
	(12955042873144444619, vec![
		339,
		340,
		341,
	]),
	(751737546246543083, vec![
		184,
	]),
	(7217647263236547403, vec![
		432,
	]),
	(6450714661930044973, vec![
		468,
	]),
	(5972498989429005543, vec![
		139,
	]),
	(14325758311647355067, vec![
		321,
	]),
	(15954904772144199528, vec![
		572,
		573,
	]),
	(6321759463102673540, vec![
		604,
	]),
	(4724907953957985348, vec![
		356,
	]),
	(7032761251606932888, vec![
		458,
	]),
	(15697615759952901673, vec![
		527,
	]),
	(12890384674502062660, vec![
		159,
	]),
	(16518121756393571285, vec![
		216,
	]),
	(5734264898095644658, vec![
		119,
	]),
	(479799748793214965, vec![
		245,
	]),
	(9927601839736740612, vec![
		57,
	]),
	(11810856918568073933, vec![
		265,
	]),
	(1313082104483738584, vec![
		300,
	]),
	(18344219999062555666, vec![
		520,
	]),
	(11553481914092232356, vec![
		574,
		575,
		576,
		577,
		578,
		579,
		580,
		581,
		582,
		583,
		584,
		585,
		586,
	]),
	(16777271462440266421, vec![
		220,
	]),
	(5401800899347907900, vec![
		146,
	]),
	(16080798657115199397, vec![
		102,
	]),
	(16015105985603062803, vec![
		2,
		3,
		4,
	]),
	(7541323262966774466, vec![
		438,
	]),
	(832703538584055882, vec![
		493,
	]),
	(16968129136339315844, vec![
		274,
		275,
		276,
		277,
	]),
	(1171886893124639558, vec![
		111,
	]),
	(3398310999941961604, vec![
		318,
	]),
	(10333589031296037223, vec![
		100,
	]),
	(14238143886665600257, vec![
		159,
	]),
	(9774557078793216735, vec![
		458,
	]),
	(17342310043981695766, vec![
		278,
	]),
	(15986136473719083922, vec![
		261,
	]),
	(8887923359622697519, vec![
		489,
	]),
	(12037469119498510336, vec![
		600,
	]),
	(12300456482843581199, vec![
		209,
	]),
	(16723468484522881110, vec![
		429,
	]),
	(13247985414690928416, vec![
		484,
	]),
	(8975357132376966764, vec![
		482,
	]),
	(3622814620461417462, vec![
		569,
		570,
	]),
	(15657069593046617217, vec![
		554,
	]),
	(4104150550125977570, vec![
		157,
	]),
	(8926884381543407363, vec![
		131,
	]),
	(17116431434173821767, vec![
		280,
	]),
	(18246841121349223539, vec![
		352,
		353,
		354,
		355,
	]),
	(7762373602587620881, vec![
		124,
	]),
	(3706299932827180911, vec![
		315,
	]),
	(5912382446146065014, vec![
		244,
	]),
	(15026316492878545168, vec![
		13,
	]),
	(9173188245843205810, vec![
		146,
	]),
	(3534311226869900747, vec![
		148,
	]),
	(18210793674692345086, vec![
		341,
	]),
	(10273468191756798384, vec![
		198,
	]),
	(7978106574375346864, vec![
		200,
		201,
		202,
		203,
		204,
		205,
		206,
		207,
		212,
	]),
	(5953655612105172250, vec![
		279,
	]),
	(13985221342182695844, vec![
		214,
	]),
	(8356192099317982702, vec![
		76,
	]),
	(9328504221139796561, vec![
		319,
	]),
	(3488292581295011654, vec![
		338,
	]),
	(13291358454768391628, vec![
		420,
	]),
	(1710992702347754317, vec![
		435,
	]),
	(12324571050026188691, vec![
		300,
	]),
	(11232016639905889163, vec![
		525,
	]),
	(768225847130639175, vec![
		439,
		440,
		441,
		442,
		443,
		444,
		445,
	]),
	(15350028439782253281, vec![
		565,
		566,
	]),
	(7174765255653129657, vec![
		586,
	]),
	(16485198328646025167, vec![
		36,
	]),
	(509651407848810145, vec![
		5,
	]),
	(5762040414868578835, vec![
		233,
	]),
	(13994315545411122573, vec![
		6,
	]),
	(2117215356463372749, vec![
		211,
	]),
	(4386778661095479825, vec![
		29,
	]),
	(1081669290394303647, vec![
		134,
	]),
	(6635731068650498062, vec![
		303,
	]),
	(12046139083602388155, vec![
		383,
	]),
	(5080249810680323754, vec![
		508,
	]),
	(5058405351277241655, vec![
		368,
	]),
	(441759600179982597, vec![
		469,
	]),
	(986200589427914458, vec![
		92,
	]),
	(9475652887591775690, vec![
		304,
	]),
	(4309373489323093348, vec![
		44,
	]),
	(4463124874659673901, vec![
		117,
		118,
		119,
	]),
	(15132207416199786682, vec![
		376,
	]),
	(12165753862632878945, vec![
		567,
	]),
	(17338612882689143933, vec![
		83,
	]),
	(4914202732486612522, vec![
		131,
	]),
	(10980107819849226426, vec![
		6,
	]),
	(8876536364786087138, vec![
		428,
	]),
	(17794323255825865003, vec![
		73,
	]),
	(7426284427121516838, vec![
		134,
	]),
	(14999640749716140575, vec![
		476,
	]),
	(1429428486146167549, vec![
		165,
	]),
	(18129241589675199151, vec![
		199,
	]),
	(17801680320777644718, vec![
		464,
		465,
	]),
	(5966460760040175819, vec![
		443,
	]),
	(4085839472256054921, vec![
		418,
	]),
	(3268681360174571390, vec![
		477,
	]),
	(10201665299661299325, vec![
		386,
	]),
	(13091016039172664839, vec![
		484,
	]),
	(11241192247732107906, vec![
		98,
	]),
	(2509341568552250689, vec![
		201,
	]),
	(9800099771878023516, vec![
		383,
		384,
	]),
	(17992388749800283959, vec![
		173,
	]),
	(2819369984471795005, vec![
		29,
		30,
	]),
	(13770287701537554611, vec![
		196,
	]),
	(2070598751497991336, vec![
		385,
	]),
	(13469887322342835305, vec![
		399,
	]),
	(17789312935109053685, vec![
		549,
	]),
	(11940030722413371597, vec![
		558,
	]),
	(10660044223222522862, vec![
		457,
	]),
	(13745633417366830241, vec![
		388,
	]),
	(18424272845122920440, vec![
		509,
	]),
	(16531003251583323852, vec![
		113,
	]),
	(7299080749112733356, vec![
		348,
	]),
	(2714090972412565775, vec![
		222,
		223,
		224,
		225,
	]),
	(17563561448501217623, vec![
		97,
	]),
	(851648067679217809, vec![
		37,
	]),
	(15886177754185685917, vec![
		101,
	]),
	(2373533626995536265, vec![
		261,
	]),
	(10094675220230217686, vec![
		380,
	]),
	(17718004659255403940, vec![
		125,
	]),
	(12181130060963758980, vec![
		234,
	]),
	(7103210501398275309, vec![
		145,
	]),
	(9206585051059715985, vec![
		376,
	]),
	(12601028468781906267, vec![
		87,
	]),
	(1005470875803792452, vec![
		245,
	]),
	(15944181241841945057, vec![
		209,
	]),
	(1413442379852854196, vec![
		261,
	]),
	(14873606166690554115, vec![
		390,
	]),
	(14135507146325003788, vec![
		264,
	]),
	(16183450025714088408, vec![
		497,
	]),
	(17469952285157595909, vec![
		500,
	]),
	(13660153441459451027, vec![
		559,
	]),
	(7995297267841029033, vec![
		572,
		573,
	]),
	(13442482288815080271, vec![
		406,
	]),
	(3144297248361670333, vec![
		247,
	]),
	(3624892530472301174, vec![
		391,
	]),
	(6767167623100277821, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(9231053885845644594, vec![
		87,
	]),
	(3389850970398306649, vec![
		457,
	]),
	(17054084041423862376, vec![
		2,
		3,
		4,
	]),
	(6477823532011548228, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(3280712857622903799, vec![
		594,
	]),
	(7620985000394125442, vec![
		356,
	]),
	(2720051247873733045, vec![
		0,
		1,
		2,
		3,
		4,
		5,
		6,
		7,
		8,
		9,
		10,
		11,
		16,
	]),
	(12079617368423997856, vec![
		522,
		523,
		524,
	]),
	(5644991044148597831, vec![
		9,
		10,
		11,
	]),
	(13701281032525540506, vec![
		38,
	]),
	(17785498051487981971, vec![
		304,
	]),
	(8460616739631841342, vec![
		82,
	]),
	(2521152933096757957, vec![
		29,
		30,
	]),
	(12264199964053374746, vec![
		143,
	]),
	(10036572410054735060, vec![
		173,
	]),
	(11428826457778452616, vec![
		373,
	]),
	(16023312750673398996, vec![
		472,
	]),
	(5391375386590475496, vec![
		461,
	]),
	(6616985080593883926, vec![
		426,
	]),
	(16834700226222285936, vec![
		166,
	]),
	(7278935694347124456, vec![
		141,
		142,
		143,
	]),
	(1709731031937339664, vec![
		488,
	]),
	(11627746634169602602, vec![
		237,
		238,
	]),
	(11964222190744844923, vec![
		396,
	]),
	(12650620640238153013, vec![
		386,
	]),
	(424753915287438102, vec![
		359,
	]),
	(11796669099351364413, vec![
		456,
	]),
	(9540715980217812265, vec![
		381,
	]),
	(5465496983221560664, vec![
		508,
	]),
	(1303358469082188062, vec![
		504,
	]),
	(9349629894107172981, vec![
		114,
	]),
	(10415258134960743062, vec![
		41,
	]),
	(1036272180804210329, vec![
		378,
	]),
	(1719404367553073755, vec![
		159,
	]),
	(3999688804726361776, vec![
		173,
	]),
	(14294439158669655883, vec![
		190,
	]),
	(5762256861154567655, vec![
		63,
		64,
		65,
		66,
	]),
	(17490343041838213778, vec![
		441,
	]),
	(10796634702540097335, vec![
		44,
	]),
	(3026213032120571171, vec![
		131,
	]),
	(15169112342394631306, vec![
		316,
	]),
	(1066847879549997439, vec![
		120,
	]),
	(12131002543636499652, vec![
		131,
	]),
	(16937740385964486785, vec![
		253,
	]),
	(9436257686636533985, vec![
		376,
	]),
	(997584124324748659, vec![
		443,
	]),
	(12314321411304770138, vec![
		460,
	]),
	(8373165707841329418, vec![
		505,
	]),
	(1905386365737615147, vec![
		451,
		453,
		457,
		458,
	]),
	(18144322689919812148, vec![
		566,
	]),
	(11733071307842180923, vec![
		515,
	]),
	(9513746173879598762, vec![
		480,
		481,
	]),
	(3248565915167761626, vec![
		20,
	]),
	(16035442452858972847, vec![
		177,
	]),
	(12438275931213752965, vec![
		56,
	]),
	(12596642151440265475, vec![
		62,
	]),
	(10726766823731510566, vec![
		228,
	]),
	(13222700109637132306, vec![
		264,
	]),
	(17600796423209647174, vec![
		259,
	]),
	(8695873212381397636, vec![
		451,
	]),
	(7456934488678226367, vec![
		546,
	]),
	(15213532905422840724, vec![
		419,
	]),
	(9661518623257608707, vec![
		457,
	]),
	(16222491738420366906, vec![
		6,
	]),
	(5194102534269692856, vec![
		144,
	]),
	(14084735706862620861, vec![
		86,
	]),
	(11135978640941109035, vec![
		189,
	]),
	(9076280204005249276, vec![
		425,
	]),
	(12315791985211024205, vec![
		379,
	]),
	(15246623095113228491, vec![
		430,
	]),
	(5519787355754983578, vec![
		247,
	]),
	(16589006158235696799, vec![
		445,
	]),
	(12973426287235270175, vec![
		234,
	]),
	(1263008221347095290, vec![
		566,
	]),
	(14524228127906934482, vec![
		41,
	]),
	(5797233146919175727, vec![
		200,
	]),
	(13349949440627834158, vec![
		355,
	]),
	(2109464328244355355, vec![
		387,
	]),
	(6935360642142286029, vec![
		422,
	]),
	(11919532578287152469, vec![
		132,
	]),
	(16863288662648858677, vec![
		484,
	]),
	(11828232619852845839, vec![
		143,
	]),
	(13043434660144652346, vec![
		490,
	]),
	(242109477178648408, vec![
		383,
	]),
	(10128510567187906065, vec![
		234,
	]),
	(11164848465139431378, vec![
		497,
	]),
	(2647995127998708704, vec![
		16,
	]),
	(7676370228582487075, vec![
		196,
	]),
	(14421697644570678165, vec![
		182,
	]),
	(9806386961724639215, vec![
		569,
		570,
	]),
	(839143730986630071, vec![
		463,
	]),
	(16326066031836043749, vec![
		383,
	]),
	(12019495891685280056, vec![
		192,
	]),
	(10308295503853476762, vec![
		273,
	]),
	(6145559829335032525, vec![
		236,
	]),
	(10482668666346071596, vec![
		494,
	]),
	(6860693518043479469, vec![
		149,
	]),
	(937917462098955794, vec![
		281,
	]),
	(10138739430463337941, vec![
		356,
	]),
	(8581093442555701561, vec![
		310,
		311,
	]),
	(5198151206015854347, vec![
		9,
		10,
		11,
	]),
	(6998518332547852925, vec![
		426,
	]),
	(3627106932714176528, vec![
		518,
	]),
	(1100953452174678296, vec![
		122,
	]),
	(9158734708605131362, vec![
		493,
	]),
	(11847817153267278545, vec![
		23,
	]),
	(6885893702199959342, vec![
		29,
	]),
	(5571404530219532695, vec![
		83,
	]),
	(10049648382212962092, vec![
		151,
	]),
	(16853128769943738432, vec![
		315,
	]),
	(2627957516962219864, vec![
		358,
	]),
	(2536622647424356877, vec![
		232,
	]),
	(8098625565339447829, vec![
		233,
	]),
	(11130246467147024025, vec![
		377,
	]),
	(11186028648623960494, vec![
		216,
	]),
	(17126682937658206219, vec![
		389,
		390,
	]),
	(9867245663249265413, vec![
		343,
	]),
	(17029922784732839989, vec![
		265,
	]),
	(3798439532317914680, vec![
		347,
	]),
	(1233645648172410253, vec![
		6,
	]),
	(17239000532573974560, vec![
		480,
	]),
	(4396691633873670908, vec![
		356,
	]),
	(627649574251517808, vec![
		103,
	]),
	(2887378325697648409, vec![
		181,
	]),
	(12979253205233796143, vec![
		545,
	]),
	(5518620177023468822, vec![
		273,
	]),
	(8893702295839237163, vec![
		438,
	]),
	(8096037146459247173, vec![
		458,
	]),
	(7156115610352040447, vec![
		115,
	]),
	(16506372035363585256, vec![
		122,
	]),
	(386849834387706158, vec![
		377,
		378,
		379,
	]),
	(16965029069845707864, vec![
		484,
	]),
	(13355296506414355444, vec![
		454,
	]),
	(6783191771571701201, vec![
		194,
	]),
	(123404349997108830, vec![
		101,
	]),
	(2763405032596799473, vec![
		321,
	]),
	(11378017679120953824, vec![
		239,
	]),
	(212860172118780694, vec![
		232,
	]),
	(4749602517777258290, vec![
		338,
	]),
	(15025529688964026829, vec![
		350,
	]),
	(7916973491503869934, vec![
		497,
	]),
	(1471256836389945585, vec![
		37,
	]),
	(5670702545009581196, vec![
		164,
	]),
	(7855166550915868957, vec![
		66,
	]),
	(17515661413761157606, vec![
		479,
	]),
	(7146348677546579787, vec![
		179,
		180,
		181,
		182,
		183,
		184,
		185,
		186,
		187,
		188,
		189,
		190,
		191,
		192,
		193,
		194,
		195,
		196,
		197,
		198,
		199,
	]),
	(4649677844437453222, vec![
		305,
	]),
	(9757860297529175163, vec![
		387,
	]),
	(15256236967636813415, vec![
		241,
	]),
	(3462721834837237126, vec![
		552,
	]),
	(3468357163087057745, vec![
		587,
		588,
		589,
	]),
	(8548876299728259560, vec![
		8,
	]),
	(10718884234065186272, vec![
		322,
	]),
	(8960377504651488624, vec![
		473,
	]),
	(7969895764892090632, vec![
		131,
	]),
	(17709576029863795383, vec![
		37,
	]),
	(4306474669350464522, vec![
		66,
	]),
	(120003842854898011, vec![
		378,
	]),
	(7460948252162272920, vec![
		60,
	]),
	(3761930653160161154, vec![
		246,
	]),
	(14584155349999318782, vec![
		45,
	]),
	(70995883099096599, vec![
		470,
	]),
	(16955279281961971152, vec![
		185,
	]),
	(12249635153727101149, vec![
		146,
	]),
	(6250259090009555459, vec![
		65,
	]),
	(11582380679464638909, vec![
		417,
	]),
	(11295657271721746032, vec![
		233,
	]),
	(11023770278228703542, vec![
		427,
		428,
		429,
		430,
	]),
	(10021676749994798325, vec![
		484,
	]),
	(12472891258313667020, vec![
		525,
	]),
	(4469082821363021331, vec![
		482,
	]),
	(9267640832350846344, vec![
		212,
	]),
	(4367969979657321083, vec![
		579,
	]),
	(18427471253187319657, vec![
		422,
	]),
	(5258520682897906864, vec![
		36,
	]),
	(956941768433590418, vec![
		576,
	]),
	(939640614508914609, vec![
		117,
	]),
	(2598441043056381586, vec![
		79,
	]),
	(3880503833129180279, vec![
		460,
	]),
	(3702716303238740927, vec![
		548,
	]),
	(8585314375314231432, vec![
		418,
	]),
	(10542631468735679589, vec![
		383,
		384,
	]),
	(6281389946195390018, vec![
		22,
	]),
	(2190008275401960645, vec![
		209,
	]),
	(11825738222039943933, vec![
		33,
	]),
	(7638926171455072446, vec![
		103,
	]),
	(12035522914246782849, vec![
		74,
	]),
	(6752289976655650475, vec![
		115,
	]),
	(7643744851371000760, vec![
		133,
		134,
	]),
	(12650024523999886416, vec![
		180,
	]),
	(16919878771769586785, vec![
		208,
	]),
	(11699455829695245066, vec![
		435,
	]),
	(14692875423356036764, vec![
		182,
		183,
	]),
	(13813918539084278269, vec![
		416,
	]),
	(10308767486330934148, vec![
		450,
	]),
	(8906007837414349121, vec![
		144,
	]),
	(3674077164995521051, vec![
		348,
	]),
	(10554517507071874348, vec![
		587,
	]),
	(6610949116642018339, vec![
		360,
	]),
	(14811362473391422898, vec![
		221,
	]),
	(16858075895233207806, vec![
		380,
	]),
	(5293755917180897641, vec![
		439,
	]),
	(8800271046585466838, vec![
		209,
	]),
	(6591654336896096075, vec![
		246,
	]),
	(13041758375119791953, vec![
		258,
	]),
	(927002858671119256, vec![
		301,
		302,
		303,
	]),
	(7846245442389367949, vec![
		460,
	]),
	(14368786866461791678, vec![
		468,
	]),
	(9595902815251440176, vec![
		185,
	]),
	(12547894031798560186, vec![
		419,
	]),
	(444808877140274163, vec![
		105,
	]),
	(1264604560404360401, vec![
		269,
	]),
	(7337944517183115831, vec![
		494,
	]),
	(11419654070701301264, vec![
		102,
	]),
	(3917163882043892030, vec![
		55,
	]),
	(9673421640716841588, vec![
		317,
	]),
	(1575050934873965182, vec![
		139,
	]),
	(11476394117369822329, vec![
		382,
	]),
	(59570025246255941, vec![
		142,
		143,
	]),
	(17467399481136348704, vec![
		397,
	]),
	(9590341010911645596, vec![
		463,
	]),
	(6971459741422641093, vec![
		395,
	]),
	(7698329102600188568, vec![
		59,
	]),
	(5694004225903375596, vec![
		500,
	]),
	(7454542320357039203, vec![
		199,
	]),
	(15666907596382266669, vec![
		503,
	]),
	(10995390499925760163, vec![
		74,
	]),
	(225393308088798199, vec![
		235,
	]),
	(1167187141266166900, vec![
		266,
	]),
	(10859982572881277439, vec![
		463,
	]),
	(430565135868774146, vec![
		231,
	]),
	(6191130855528179059, vec![
		303,
	]),
	(5749338383972920297, vec![
		593,
	]),
	(11007710595776991840, vec![
		41,
	]),
	(12495740648057475038, vec![
		136,
	]),
	(17414907294294894071, vec![
		479,
	]),
	(8341880126920635965, vec![
		280,
	]),
	(7938794285573288626, vec![
		493,
	]),
	(18426659537944588735, vec![
		95,
	]),
	(1751741124969289512, vec![
		417,
	]),
	(12568284166703859562, vec![
		124,
	]),
	(13544638880863710818, vec![
		144,
	]),
	(2670472571159393035, vec![
		6,
	]),
	(30968322452660726, vec![
		192,
	]),
	(1478541734308156158, vec![
		418,
	]),
	(14649998287121746209, vec![
		235,
	]),
	(2005175009913668526, vec![
		67,
	]),
	(14564354588149437650, vec![
		445,
	]),
	(1380310503771483682, vec![
		484,
	]),
	(101338059316700015, vec![
		504,
	]),
	(690327769870031221, vec![
		555,
	]),
	(1279907282679294552, vec![
		76,
	]),
	(1214547958571492173, vec![
		118,
		119,
	]),
	(17489739132627023909, vec![
		568,
	]),
	(12027423643775619162, vec![
		258,
	]),
	(13472375046377262525, vec![
		301,
		302,
		303,
	]),
	(3631967134349739708, vec![
		202,
	]),
	(16223947800122950551, vec![
		266,
	]),
	(7795242382922835917, vec![
		473,
		474,
	]),
	(16723132488865328118, vec![
		497,
	]),
	(11514297027295304161, vec![
		546,
		547,
	]),
	(12522146656745236761, vec![
		356,
	]),
	(8889220958701840262, vec![
		414,
	]),
	(5443695465601450817, vec![
		28,
	]),
	(4942997030438922705, vec![
		482,
	]),
	(15009292034080705098, vec![
		597,
	]),
	(14185236944851195761, vec![
		418,
	]),
	(5142660932747703965, vec![
		309,
	]),
	(4653235847731623864, vec![
		195,
	]),
	(15212065558697516588, vec![
		446,
	]),
	(7446018738953059140, vec![
		491,
	]),
	(9039637943823030647, vec![
		60,
	]),
	(2928569303755116255, vec![
		228,
	]),
	(4105749713264383127, vec![
		252,
	]),
	(3485541039694315001, vec![
		589,
	]),
	(2076818783624111604, vec![
		515,
	]),
	(3529765335576074734, vec![
		375,
	]),
	(8979446451351469175, vec![
		281,
	]),
	(10564584500536002307, vec![
		579,
	]),
	(9712150290400732612, vec![
		513,
	]),
	(16486835869662817789, vec![
		142,
		143,
	]),
	(16987699623109918574, vec![
		141,
		142,
		143,
	]),
	(8883752834389191688, vec![
		28,
	]),
	(2173053031003489996, vec![
		488,
	]),
	(13085304281698085153, vec![
		511,
	]),
	(3975393506531052647, vec![
		504,
	]),
	(18035317247545803857, vec![
		177,
	]),
	(16590656409898004030, vec![
		194,
	]),
	(10726586418643382451, vec![
		217,
	]),
	(2777670882339746276, vec![
		348,
	]),
	(5958659735641700139, vec![
		482,
	]),
	(5158367982848510134, vec![
		142,
		143,
	]),
	(1025931184695971483, vec![
		235,
	]),
	(757510013878162412, vec![
		210,
	]),
	(9188615932421276184, vec![
		593,
	]),
	(7372624196228655465, vec![
		89,
		90,
		91,
	]),
	(3758976409083921472, vec![
		264,
	]),
	(2110444713070041325, vec![
		107,
	]),
	(617651650982742471, vec![
		318,
	]),
	(10506548230503237522, vec![
		168,
	]),
	(17532847157255813488, vec![
		7,
	]),
	(4108998010232135323, vec![
		380,
	]),
	(11043345720074999243, vec![
		224,
		225,
	]),
	(8104828546429308589, vec![
		313,
	]),
	(3915667100379380878, vec![
		406,
	]),
	(5854854731574482346, vec![
		100,
	]),
	(7168869811841899284, vec![
		165,
	]),
	(12944053641610720305, vec![
		413,
	]),
	(8329519971551984496, vec![
		477,
	]),
	(8843686255977404117, vec![
		418,
	]),
	(3818379707930294323, vec![
		587,
		588,
	]),
	(5868106096430948740, vec![
		199,
	]),
	(1147257477829752640, vec![
		139,
	]),
	(17537400719897195556, vec![
		209,
	]),
	(14093655267521819101, vec![
		425,
	]),
	(1564895469629145778, vec![
		297,
		298,
		299,
		300,
	]),
	(13345751274930986544, vec![
		169,
	]),
	(10829754976531449482, vec![
		390,
	]),
	(16121734455879789027, vec![
		400,
	]),
	(1630698264682317681, vec![
		147,
	]),
	(7285398695687619529, vec![
		8,
	]),
	(1041852392862828522, vec![
		23,
	]),
	(15181629036183510755, vec![
		418,
	]),
	(8770755345089158026, vec![
		431,
	]),
	(15264922864153786368, vec![
		22,
	]),
	(3019533502937516498, vec![
		433,
	]),
	(7468051742913689418, vec![
		145,
	]),
	(2930360958678133773, vec![
		447,
	]),
	(11664854846691185436, vec![
		484,
	]),
	(10124719059456945253, vec![
		504,
	]),
	(12618011318543153390, vec![
		511,
	]),
	(8965152742639570609, vec![
		512,
	]),
	(545847019426898573, vec![
		582,
	]),
	(2406497671562446418, vec![
		548,
	]),
	(2027383272869334323, vec![
		515,
	]),
	(11708691399692438054, vec![
		179,
	]),
	(7331466642833236810, vec![
		479,
	]),
	(17701615342085877627, vec![
		416,
	]),
	(1827177877412015825, vec![
		522,
	]),
	(1905983324723870552, vec![
		482,
	]),
	(1401829466162714460, vec![
		444,
	]),
	(63825469331598252, vec![
		498,
		499,
	]),
	(14074664974965057391, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(17921919670670583548, vec![
		163,
	]),
	(10159204869239023406, vec![
		39,
	]),
	(15121636542122734387, vec![
		504,
	]),
	(7483860064086606806, vec![
		429,
	]),
	(17711343080481763916, vec![
		460,
	]),
	(15561284208913975336, vec![
		111,
		112,
		113,
	]),
	(17711223277548024376, vec![
		1,
	]),
	(14664656302220581448, vec![
		323,
		324,
		325,
		326,
		327,
		328,
		329,
		330,
		331,
		332,
		333,
		334,
		335,
		336,
		337,
		338,
		339,
		340,
		341,
	]),
	(5967262209090592762, vec![
		344,
	]),
	(10166457758850118503, vec![
		149,
	]),
	(17981772256233501307, vec![
		206,
		207,
	]),
	(17591607540034521831, vec![
		371,
	]),
	(2451439877839140006, vec![
		482,
	]),
	(15692460190650975532, vec![
		219,
	]),
	(11410971649330951832, vec![
		259,
	]),
	(2240120139460382288, vec![
		405,
	]),
	(8940564463933600373, vec![
		66,
	]),
	(8674334250046558390, vec![
		219,
	]),
	(9956080943755700464, vec![
		268,
	]),
	(4681325808739534819, vec![
		432,
	]),
	(17213975659391842076, vec![
		128,
	]),
	(10492298136097889325, vec![
		6,
	]),
	(5153989619233100546, vec![
		144,
	]),
	(5287153899632302904, vec![
		339,
	]),
	(13976364841795663873, vec![
		479,
	]),
	(5207295327343496763, vec![
		454,
	]),
	(1810397764044817887, vec![
		166,
	]),
	(1684043237470387978, vec![
		492,
	]),
	(14361065391940755621, vec![
		43,
	]),
	(800883612478185532, vec![
		112,
	]),
	(12702056228620967606, vec![
		121,
	]),
	(286477672522983714, vec![
		417,
	]),
	(7207311908891911713, vec![
		433,
	]),
	(43241596421632311, vec![
		451,
	]),
	(14791160711133386672, vec![
		524,
	]),
	(7951401266048302406, vec![
		232,
	]),
	(1636452464831573567, vec![
		596,
	]),
	(2361702059996167369, vec![
		411,
	]),
	(4641617735287782275, vec![
		28,
	]),
	(7239934311550022493, vec![
		502,
	]),
	(17268728280606888011, vec![
		356,
	]),
	(15106162397327584612, vec![
		305,
	]),
	(7518243567448027518, vec![
		24,
	]),
	(15016971495308860105, vec![
		165,
	]),
	(16180510146473857582, vec![
		237,
		238,
	]),
	(18330354989257243013, vec![
		177,
	]),
	(10018833632434180589, vec![
		343,
	]),
	(5984319316787687595, vec![
		520,
	]),
	(1614315149189270194, vec![
		527,
	]),
	(16249868387967184546, vec![
		562,
	]),
	(15558701206253303460, vec![
		279,
	]),
	(4935245221710695501, vec![
		87,
	]),
	(7666917429372108684, vec![
		441,
	]),
	(3273489102171003072, vec![
		113,
	]),
	(16309419943671163153, vec![
		243,
	]),
	(6252905140283836286, vec![
		525,
	]),
	(16813678806337681914, vec![
		199,
	]),
	(706046083256387011, vec![
		180,
	]),
	(16991221649299638973, vec![
		497,
	]),
	(14405411687524861244, vec![
		199,
	]),
	(12677958808081638003, vec![
		208,
	]),
	(11874641829237302659, vec![
		419,
	]),
	(6482771139457637765, vec![
		232,
	]),
	(10053149589314409618, vec![
		108,
	]),
	(11368288504995403467, vec![
		303,
	]),
	(12249848285023279694, vec![
		377,
	]),
	(4714876260873636916, vec![
		191,
		192,
	]),
	(2581047519258960771, vec![
		9,
		10,
		11,
	]),
	(9961692095601083071, vec![
		359,
	]),
	(7338953486243555400, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(14576442861062287077, vec![
		585,
	]),
	(17872410568106863265, vec![
		559,
	]),
	(1057463231865486908, vec![
		179,
	]),
	(7561452527960902853, vec![
		190,
	]),
	(9575465036048275968, vec![
		264,
	]),
	(11447580100862368438, vec![
		453,
	]),
	(6018171442265101353, vec![
		211,
	]),
	(14129504240687793061, vec![
		33,
	]),
	(5784218189727765882, vec![
		347,
	]),
	(11615642351378734240, vec![
		596,
	]),
	(4310242884888957338, vec![
		605,
	]),
	(6638672076967168982, vec![
		152,
	]),
	(8519845449414719656, vec![
		133,
	]),
	(13955034017421617904, vec![
		262,
	]),
	(16608266851139614977, vec![
		461,
	]),
	(14492642196295619929, vec![
		143,
	]),
	(10302093241626945391, vec![
		196,
	]),
	(2130675041782986948, vec![
		547,
	]),
	(12936975732643122118, vec![
		392,
		393,
	]),
	(17787211552780611627, vec![
		399,
	]),
	(14894848859872845043, vec![
		422,
	]),
	(6789892470428820076, vec![
		491,
	]),
	(17212851446356563130, vec![
		266,
	]),
	(15788446182245068560, vec![
		354,
	]),
	(17912637889851644091, vec![
		554,
	]),
	(7220216083881474395, vec![
		398,
	]),
	(11046684046084911913, vec![
		266,
	]),
	(8958310079074138845, vec![
		514,
		515,
	]),
	(4145126996694126140, vec![
		33,
	]),
	(4087416548194938524, vec![
		322,
	]),
	(12558754487279316960, vec![
		432,
	]),
	(1187692595727565198, vec![
		128,
	]),
	(12549089518063390207, vec![
		25,
	]),
	(9132989696339194481, vec![
		62,
	]),
	(9906480990394580551, vec![
		177,
	]),
	(4436585641527924816, vec![
		109,
	]),
	(11445981372822832691, vec![
		302,
	]),
	(13943403647077777539, vec![
		95,
	]),
	(15230495501337911719, vec![
		347,
	]),
	(13770150915023941245, vec![
		435,
	]),
	(7857511673816575712, vec![
		510,
	]),
	(6403938324745368575, vec![
		558,
	]),
	(4445464231459707982, vec![
		427,
	]),
	(3282605695213988644, vec![
		354,
	]),
	(15146764159282033232, vec![
		356,
	]),
	(6673910018735523058, vec![
		354,
	]),
	(124206177069460137, vec![
		378,
	]),
	(2477831005290334941, vec![
		440,
		441,
		442,
	]),
	(6440861007139087075, vec![
		247,
	]),
	(7643897258495291816, vec![
		102,
	]),
	(17381443224037145515, vec![
		5,
		6,
		16,
	]),
	(4910938680669910488, vec![
		461,
	]),
	(16564037688409927861, vec![
		256,
	]),
	(12487403556129522703, vec![
		41,
	]),
	(13272514457283066053, vec![
		183,
	]),
	(15329325948950108917, vec![
		110,
	]),
	(3739740002350210064, vec![
		143,
	]),
	(6505489978462912089, vec![
		87,
	]),
	(11043953596565277292, vec![
		478,
	]),
	(85717881074641730, vec![
		356,
		357,
		358,
		359,
		360,
		361,
		362,
		363,
		364,
		365,
		366,
		367,
		368,
		369,
		370,
		371,
	]),
	(16315884837851170621, vec![
		508,
	]),
	(5783909524324915472, vec![
		599,
	]),
	(11931887300377483299, vec![
		9,
		10,
		11,
	]),
	(5455200026429195181, vec![
		387,
	]),
	(8200930904413774025, vec![
		478,
	]),
	(907777125255660306, vec![
		126,
	]),
	(9655034682089688346, vec![
		64,
	]),
	(2249188612277612092, vec![
		142,
		143,
	]),
	(11411303311355835935, vec![
		234,
	]),
	(6864300294131678475, vec![
		251,
	]),
	(3484533524653645330, vec![
		316,
	]),
	(10969366060259990188, vec![
		216,
	]),
	(2905070673900558478, vec![
		301,
		302,
		303,
	]),
	(11201875524212382244, vec![
		33,
	]),
	(14989168736745661422, vec![
		246,
	]),
	(13595550643606364247, vec![
		459,
	]),
	(1789722274200196538, vec![
		266,
	]),
	(15387132693587401563, vec![
		105,
	]),
	(5154296115093916478, vec![
		428,
	]),
	(13406758628273644442, vec![
		454,
	]),
	(14649105332216872422, vec![
		322,
	]),
	(5670680360088076789, vec![
		301,
		302,
		303,
	]),
	(12766335156950570184, vec![
		357,
	]),
	(11431360441699010919, vec![
		121,
	]),
	(12862857607658527816, vec![
		216,
	]),
	(14371640877910433472, vec![
		264,
	]),
	(14276807058825097177, vec![
		218,
	]),
	(7006163155893737446, vec![
		233,
	]),
	(2726304546771792437, vec![
		131,
	]),
	(12682573937796056334, vec![
		405,
	]),
	(15607881640798417064, vec![
		185,
		186,
	]),
	(112310941453224119, vec![
		145,
	]),
	(14037738760503449161, vec![
		150,
	]),
	(14791669471866243433, vec![
		429,
	]),
	(13062687526865395069, vec![
		69,
	]),
	(1136673438335954845, vec![
		131,
	]),
	(17368438658162950535, vec![
		205,
	]),
	(3625517020373566752, vec![
		389,
	]),
	(11684700208995906262, vec![
		312,
	]),
	(11103932726649966671, vec![
		271,
	]),
	(16489768605110937102, vec![
		192,
	]),
	(2982560835006147185, vec![
		261,
	]),
	(15238826868813319516, vec![
		397,
	]),
	(1066688166226187308, vec![
		485,
	]),
	(15890784752286271288, vec![
		266,
	]),
	(18326402747944921582, vec![
		560,
	]),
	(17618660226388089922, vec![
		421,
	]),
	(11433731367297688170, vec![
		356,
	]),
	(7901509226090630716, vec![
		266,
	]),
	(13633037620872363784, vec![
		303,
	]),
	(14172576582697326592, vec![
		471,
	]),
	(5315416918121641780, vec![
		415,
	]),
	(7665893628045569323, vec![
		517,
	]),
	(10817768445421056872, vec![
		516,
	]),
	(1630902640631395190, vec![
		233,
	]),
	(2307661204482792360, vec![
		483,
	]),
	(7215021097530159688, vec![
		226,
	]),
	(109804010583851496, vec![
		360,
	]),
	(17037237053129945327, vec![
		139,
	]),
	(7675938977207492164, vec![
		98,
	]),
	(14457678740079927004, vec![
		145,
	]),
	(14150256900469798035, vec![
		166,
	]),
	(18418652952313091792, vec![
		386,
	]),
	(8605680619524257857, vec![
		412,
	]),
	(125595827296134478, vec![
		454,
	]),
	(15412999895087837142, vec![
		233,
	]),
	(12036867209353264282, vec![
		218,
	]),
	(11140661039391470116, vec![
		307,
	]),
	(2912854265935272030, vec![
		378,
	]),
	(3174665900017810362, vec![
		521,
	]),
	(8697410086580685671, vec![
		572,
		573,
	]),
	(5730639322679747804, vec![
		66,
	]),
	(12607670768749989767, vec![
		122,
	]),
	(10904916469277371026, vec![
		167,
	]),
	(10583844805139714117, vec![
		448,
	]),
	(3509195061474058525, vec![
		66,
	]),
	(6746632755292036354, vec![
		148,
	]),
	(2765131201341533754, vec![
		241,
	]),
	(11018808219981491383, vec![
		119,
	]),
	(360199723950577561, vec![
		40,
	]),
	(2895261189171625097, vec![
		306,
	]),
	(10373015387417959324, vec![
		196,
	]),
	(7274342125570980196, vec![
		344,
	]),
	(15938234770237594738, vec![
		194,
	]),
	(10153187649774600755, vec![
		297,
		298,
		299,
		300,
	]),
	(8370042943093574586, vec![
		463,
	]),
	(1848809392313653510, vec![
		187,
	]),
	(12483309997170298050, vec![
		520,
	]),
	(15029647766764115162, vec![
		57,
	]),
	(3061521313016167798, vec![
		580,
	]),
	(18242921395740856078, vec![
		254,
	]),
	(17435753529166840038, vec![
		409,
		410,
	]),
	(17411620037280320256, vec![
		194,
	]),
	(2445140640700604546, vec![
		395,
	]),
	(7744264609177883516, vec![
		424,
		425,
	]),
	(11550492036474320928, vec![
		356,
	]),
	(12472859097906686346, vec![
		150,
	]),
	(237228175777821093, vec![
		66,
	]),
	(16962187278876674324, vec![
		150,
	]),
	(4017810689159212600, vec![
		500,
	]),
	(13738284578237891831, vec![
		266,
	]),
	(6269576435180503652, vec![
		485,
	]),
	(10368134785816053035, vec![
		496,
	]),
	(13936435630913298678, vec![
		301,
	]),
	(14759364602518724974, vec![
		269,
	]),
	(7115582428598136127, vec![
		369,
	]),
	(9031339498258504804, vec![
		605,
	]),
	(10841193515750218970, vec![
		143,
	]),
	(438736383060428484, vec![
		108,
	]),
	(6546744482942522584, vec![
		346,
		348,
	]),
	(1185170910108017565, vec![
		574,
		575,
		576,
		577,
		578,
		579,
		580,
		581,
		582,
		583,
		584,
		585,
		586,
	]),
	(12088913269774479336, vec![
		398,
	]),
	(326770587470172647, vec![
		23,
	]),
	(702453674909659713, vec![
		148,
	]),
	(3282586835528528593, vec![
		128,
	]),
	(852840017301220901, vec![
		318,
	]),
	(8805514027315281032, vec![
		411,
	]),
	(13172957829203471029, vec![
		468,
	]),
	(18113092539439913012, vec![
		6,
	]),
	(1789900799975213714, vec![
		504,
	]),
	(17341764468597387253, vec![
		88,
	]),
	(2315053039907882285, vec![
		144,
	]),
	(3820513426461316145, vec![
		241,
	]),
	(13623781744995132227, vec![
		166,
	]),
	(4862167518055402234, vec![
		103,
		104,
	]),
	(4876780261023981686, vec![
		246,
	]),
	(9381918705593978317, vec![
		157,
	]),
	(15059884045954530856, vec![
		250,
	]),
	(8266217508380075738, vec![
		396,
	]),
	(13472419056922092887, vec![
		69,
	]),
	(18395552709186150377, vec![
		233,
	]),
	(8155228025753940784, vec![
		356,
	]),
	(1675350586509558065, vec![
		375,
	]),
	(5153850831465656154, vec![
		131,
	]),
	(7199515482790557716, vec![
		492,
	]),
	(6885566301464546303, vec![
		449,
	]),
	(6458761684873455938, vec![
		475,
	]),
	(7073099986157600503, vec![
		34,
	]),
	(3973501010282739968, vec![
		146,
	]),
	(3066527205923320577, vec![
		3,
	]),
	(13844168621402285409, vec![
		56,
	]),
	(11286538811548481063, vec![
		317,
	]),
	(1112671626061954392, vec![
		405,
	]),
	(17535256750673685326, vec![
		136,
	]),
	(15889156686764449321, vec![
		279,
	]),
	(1680898085168008592, vec![
		143,
	]),
	(2994810224543755164, vec![
		179,
	]),
	(17400710242439807213, vec![
		245,
	]),
	(4058263618295016176, vec![
		303,
	]),
	(8772701624221963882, vec![
		382,
	]),
	(6199050832925080913, vec![
		428,
	]),
	(17825713426767582032, vec![
		517,
	]),
	(7167696327591476294, vec![
		260,
	]),
	(16950967048028335287, vec![
		519,
	]),
	(10029533169386905460, vec![
		16,
	]),
	(17498098937656524752, vec![
		360,
	]),
	(9544938382992867474, vec![
		304,
	]),
	(16232991799575671535, vec![
		467,
	]),
	(15575317835336194282, vec![
		476,
	]),
	(8996160239211590617, vec![
		369,
	]),
	(3823718918030585158, vec![
		242,
	]),
	(16216331732654230977, vec![
		129,
	]),
	(18003599349356835841, vec![
		515,
	]),
	(1072309199045216676, vec![
		25,
	]),
	(17097307488650366332, vec![
		187,
	]),
	(14251583759067310520, vec![
		445,
	]),
	(8128966509328097421, vec![
		370,
	]),
	(5465099160542109402, vec![
		127,
	]),
	(1949440022599013745, vec![
		0,
		1,
		2,
		3,
		4,
		5,
		6,
		7,
		8,
		9,
		10,
		11,
		12,
		13,
		14,
		15,
		16,
		17,
		18,
		20,
		21,
		22,
		23,
		24,
		25,
		26,
	]),
	(13076808849694174689, vec![
		593,
	]),
	(4382456823664085391, vec![
		115,
	]),
	(17123315745892752708, vec![
		386,
	]),
	(15787277974451467445, vec![
		301,
		302,
		303,
	]),
	(8789032802035097646, vec![
		135,
	]),
	(7904703469827757168, vec![
		303,
	]),
	(8457085307042670290, vec![
		253,
	]),
	(8675482786142302431, vec![
		203,
	]),
	(14169040812417349503, vec![
		409,
	]),
	(446106532678541234, vec![
		179,
	]),
	(434359333378929044, vec![
		184,
	]),
	(16451100120122737609, vec![
		413,
	]),
	(13885942326084756681, vec![
		486,
	]),
	(7228386115968233758, vec![
		593,
	]),
	(11036865164655944908, vec![
		479,
	]),
	(2940179863528342574, vec![
		264,
	]),
	(15460453562762109744, vec![
		143,
	]),
	(13958465290690559069, vec![
		177,
	]),
	(7956993184683034881, vec![
		302,
	]),
	(10264057906304155595, vec![
		560,
	]),
	(14461055658025118147, vec![
		547,
	]),
	(17603098631489270446, vec![
		41,
	]),
	(978671372266367170, vec![
		28,
	]),
	(11424375583383618078, vec![
		141,
		142,
		143,
	]),
	(15795019264742320703, vec![
		108,
		109,
	]),
	(18153181087813465660, vec![
		584,
	]),
	(5598921523725199409, vec![
		117,
		118,
		119,
		120,
		121,
	]),
	(18238519704517463217, vec![
		456,
		464,
		465,
		466,
		467,
		468,
		469,
	]),
	(1025809063374752931, vec![
		6,
	]),
	(15650345510032405531, vec![
		303,
	]),
	(2576747876395353885, vec![
		401,
	]),
	(14670423550294525125, vec![
		28,
	]),
	(4661246888169502355, vec![
		355,
	]),
	(2722095242874600122, vec![
		403,
	]),
	(18166519720405008393, vec![
		560,
	]),
	(17729612851832763112, vec![
		143,
	]),
	(11115575028116125711, vec![
		314,
	]),
	(2324763051393231684, vec![
		485,
	]),
	(16039776271193963476, vec![
		147,
	]),
	(4294422762670572586, vec![
		254,
	]),
	(4635257124720370974, vec![
		60,
	]),
	(6764077066541926772, vec![
		247,
	]),
	(14337452303742439266, vec![
		20,
	]),
	(8252413257705102604, vec![
		300,
	]),
	(9964985257246290028, vec![
		355,
	]),
	(13864067671093127079, vec![
		152,
	]),
	(17322934753897363624, vec![
		266,
	]),
	(15400115718952860618, vec![
		399,
	]),
	(17029847807608616474, vec![
		469,
	]),
	(15743482339476354185, vec![
		68,
	]),
	(11583202474854187694, vec![
		422,
	]),
	(9955987629415030381, vec![
		57,
	]),
	(14929278699426393724, vec![
		264,
	]),
	(12982669649003644388, vec![
		75,
		76,
	]),
	(6053516139721750128, vec![
		139,
	]),
	(2770345072127572375, vec![
		215,
	]),
	(8101935333732505894, vec![
		315,
	]),
	(15501151525915497517, vec![
		479,
	]),
	(10937490643164670140, vec![
		485,
	]),
	(7281005220649525503, vec![
		125,
	]),
	(1964033714606608793, vec![
		572,
		573,
	]),
	(6057351230865570539, vec![
		33,
	]),
	(14016281817730240802, vec![
		372,
		373,
		374,
		375,
		376,
		377,
		378,
		379,
		380,
		381,
		382,
		383,
		384,
		385,
		386,
		387,
		388,
	]),
	(6287223288011877914, vec![
		149,
	]),
	(13687943259701394300, vec![
		389,
	]),
	(12683294237797063856, vec![
		262,
		263,
	]),
	(11466114156454206193, vec![
		29,
		30,
	]),
	(9869055145102028470, vec![
		311,
	]),
	(3669747921572309289, vec![
		493,
	]),
	(18218297062668518593, vec![
		6,
	]),
	(17278068005542307994, vec![
		347,
	]),
	(2144693525244324181, vec![
		550,
		551,
	]),
	(7342845335567981923, vec![
		507,
		508,
	]),
	(5395799587706351688, vec![
		344,
	]),
	(479690893844349890, vec![
		303,
	]),
	(75120919997908240, vec![
		67,
	]),
	(3269430150114178874, vec![
		181,
	]),
	(4098689626625645249, vec![
		320,
	]),
	(8387495894455802456, vec![
		378,
	]),
	(7443029580270005077, vec![
		468,
	]),
	(12745859061681079993, vec![
		481,
	]),
	(4997886387970064280, vec![
		520,
	]),
	(5756789861246073894, vec![
		253,
	]),
	(12709168693849011991, vec![
		383,
	]),
	(15309092680868474061, vec![
		182,
	]),
	(8371789923350636749, vec![
		231,
	]),
	(1803378742896657589, vec![
		462,
	]),
	(18189760679791196833, vec![
		583,
	]),
	(3897101633070209652, vec![
		504,
	]),
	(2246383330240463391, vec![
		113,
	]),
	(17832100247089761424, vec![
		131,
	]),
	(6597998676496573384, vec![
		450,
	]),
	(3024880337252791298, vec![
		192,
	]),
	(9753844081367243759, vec![
		352,
	]),
	(11223379297100646149, vec![
		457,
	]),
	(4091178674275134062, vec![
		395,
	]),
	(3977192998089414162, vec![
		56,
	]),
	(8849166305203480728, vec![
		194,
	]),
	(6921274107311503659, vec![
		234,
	]),
	(4603696535531224465, vec![
		84,
		85,
		86,
	]),
	(3208908494392458357, vec![
		93,
	]),
	(1102640350879221747, vec![
		99,
		100,
		101,
		102,
		103,
		104,
		105,
		106,
		107,
		108,
		109,
	]),
	(17670178128772517878, vec![
		70,
	]),
	(2064863710352479738, vec![
		372,
	]),
	(4273309408749086102, vec![
		60,
	]),
	(5175695860370653380, vec![
		595,
	]),
	(3304824314193302891, vec![
		167,
	]),
	(8720719563020684535, vec![
		102,
	]),
	(6354272077411047310, vec![
		349,
	]),
	(4490307366522141237, vec![
		485,
	]),
	(6865548843545501817, vec![
		515,
	]),
	(13365538853810614614, vec![
		95,
	]),
	(11260920358186895392, vec![
		105,
	]),
	(11979104954170700716, vec![
		124,
	]),
	(15533503521113373719, vec![
		45,
	]),
	(16626584913446558808, vec![
		463,
	]),
	(1512032609697886958, vec![
		468,
	]),
	(16089440421234540320, vec![
		263,
	]),
	(11409733035539825313, vec![
		267,
	]),
	(10413130525615644817, vec![
		568,
		569,
		570,
	]),
	(11814424384591383825, vec![
		251,
	]),
	(16584573231169501011, vec![
		251,
	]),
	(10694552167596709122, vec![
		73,
	]),
	(7387626832257598380, vec![
		143,
	]),
	(17086599361779430531, vec![
		243,
		244,
	]),
	(18010026241704775147, vec![
		378,
	]),
	(14822609989538313919, vec![
		151,
	]),
	(1430936724905549102, vec![
		430,
	]),
	(11441883476684808408, vec![
		482,
	]),
	(1424348781517088853, vec![
		527,
	]),
	(15648990178365000986, vec![
		370,
	]),
	(1518701756246273059, vec![
		439,
	]),
	(7457520325877961191, vec![
		604,
	]),
	(13480301369051239964, vec![
		8,
	]),
	(13171548267198729060, vec![
		605,
	]),
	(17109036688620654078, vec![
		152,
	]),
	(11832641467358950762, vec![
		44,
	]),
	(1469171937685913881, vec![
		458,
	]),
	(8610211095712981573, vec![
		272,
	]),
	(5489803573508552838, vec![
		204,
	]),
	(2965572909274858087, vec![
		52,
	]),
	(13455207384080654754, vec![
		111,
	]),
	(17996293022394672712, vec![
		110,
	]),
	(9093257187611800983, vec![
		136,
	]),
	(4699553755992946046, vec![
		143,
	]),
	(16784576655326402304, vec![
		21,
	]),
	(12692988874258970793, vec![
		510,
	]),
	(7932127191321358208, vec![
		147,
	]),
	(8996296896952163993, vec![
		217,
	]),
	(265543450830330277, vec![
		432,
	]),
	(14916217063260510956, vec![
		373,
	]),
	(15650249840826439773, vec![
		16,
	]),
	(12701356772251665391, vec![
		6,
	]),
	(5058729881878146425, vec![
		384,
	]),
	(12681713274708680667, vec![
		462,
	]),
	(13067205755532550733, vec![
		434,
	]),
	(12677495655631388446, vec![
		404,
	]),
	(8607448980121108774, vec![
		262,
		263,
		264,
		265,
	]),
	(17020067523603743472, vec![
		378,
	]),
	(16938276696711950893, vec![
		372,
	]),
	(1982923473383875794, vec![
		187,
		188,
	]),
	(3809540762827788023, vec![
		501,
		502,
	]),
	(10551776511608772796, vec![
		214,
	]),
	(9898393475793279671, vec![
		511,
	]),
	(14999816434557368756, vec![
		2,
		3,
		4,
	]),
	(7285684627030959446, vec![
		429,
	]),
	(15062409293495164889, vec![
		267,
	]),
	(16586290846550936585, vec![
		122,
	]),
	(11330518300481356719, vec![
		356,
	]),
	(14073975551561063951, vec![
		114,
	]),
	(8642736021989342430, vec![
		95,
	]),
	(9559058220052244355, vec![
		249,
	]),
	(153486593148593003, vec![
		254,
	]),
	(15363121165842709311, vec![
		469,
	]),
	(6923918773355577752, vec![
		479,
	]),
	(5544560612857161195, vec![
		145,
	]),
	(2379782939559884172, vec![
		484,
	]),
	(4800292531844954276, vec![
		379,
	]),
	(17954850796224972037, vec![
		131,
	]),
	(6487256198526892297, vec![
		504,
	]),
	(10860076558700414235, vec![
		520,
	]),
	(11858527730856945009, vec![
		127,
	]),
	(2723585022358376330, vec![
		368,
	]),
	(16097243146978200246, vec![
		229,
	]),
	(684895358227896287, vec![
		397,
	]),
	(9417343575590371115, vec![
		492,
	]),
	(11330028777911483366, vec![
		371,
	]),
	(11404064565002957788, vec![
		568,
		569,
		570,
	]),
	(2689802915760468505, vec![
		595,
	]),
	(3895508113982418092, vec![
		374,
	]),
	(373434483628421303, vec![
		170,
	]),
	(17369456876643122363, vec![
		440,
	]),
	(4805406600937057896, vec![
		428,
	]),
	(4539793166383546912, vec![
		2,
		3,
		4,
	]),
	(7444438865449938016, vec![
		16,
	]),
	(16839195663811268356, vec![
		26,
	]),
	(4581358338479443827, vec![
		72,
	]),
	(9350771197353598525, vec![
		74,
	]),
	(12829926919497115603, vec![
		55,
	]),
	(14474567212367062053, vec![
		27,
		28,
		29,
		30,
		31,
		32,
	]),
	(17040500954864610537, vec![
		81,
	]),
	(1482623287787459504, vec![
		144,
	]),
	(16536812101656514840, vec![
		301,
		302,
		303,
	]),
	(5056626348990065047, vec![
		481,
	]),
	(15878304584742311021, vec![
		30,
	]),
	(1934281993910194347, vec![
		141,
		142,
		143,
	]),
	(6197211604056275241, vec![
		484,
	]),
	(13897896675201134996, vec![
		371,
	]),
	(11136462901518939300, vec![
		152,
	]),
	(5021263947811236498, vec![
		232,
	]),
	(1087598672759338824, vec![
		458,
	]),
	(610473964231444703, vec![
		164,
	]),
	(11390789047752812563, vec![
		208,
	]),
	(17939759044711307772, vec![
		488,
	]),
	(8333288687258886759, vec![
		503,
	]),
	(8470502205647194993, vec![
		514,
	]),
	(7266010796900856045, vec![
		484,
	]),
	(13728551626719586437, vec![
		435,
	]),
	(9923519087810254747, vec![
		425,
	]),
	(15919945558979902521, vec![
		211,
	]),
	(8242702607958803047, vec![
		72,
	]),
	(17235772373074495754, vec![
		248,
		249,
	]),
	(7968552586139204506, vec![
		523,
	]),
	(9487459789796676342, vec![
		406,
	]),
	(9922666513037219831, vec![
		552,
	]),
	(3857005230289926292, vec![
		566,
	]),
	(15215386219690496226, vec![
		264,
	]),
	(2663144986638387285, vec![
		474,
	]),
	(3112171020476400573, vec![
		30,
	]),
	(10727221078398533349, vec![
		20,
	]),
	(15957678346902473883, vec![
		351,
	]),
	(14866785871147806618, vec![
		368,
	]),
	(9509944561069355814, vec![
		127,
	]),
	(3201392973768882283, vec![
		428,
	]),
	(3791093093977486242, vec![
		452,
	]),
	(17944264043413315326, vec![
		509,
	]),
	(16760428153369349349, vec![
		551,
	]),
	(14137953922861464948, vec![
		300,
	]),
	(14788185360389857480, vec![
		106,
	]),
	(5977982591777343960, vec![
		193,
	]),
	(16834355795960298358, vec![
		74,
	]),
	(13179154771252549464, vec![
		110,
	]),
	(15000866197242675154, vec![
		352,
	]),
	(2766231846186049973, vec![
		384,
	]),
	(18203468527747276050, vec![
		83,
	]),
	(14954879081621371850, vec![
		505,
	]),
	(10358986872700336458, vec![
		163,
	]),
	(15463985525581307606, vec![
		126,
	]),
	(392270371915613161, vec![
		500,
	]),
	(1651572215970643569, vec![
		72,
	]),
	(5198869201732086882, vec![
		554,
	]),
	(8248933313928865724, vec![
		113,
	]),
	(11257183200351981590, vec![
		249,
	]),
	(2623945121645284598, vec![
		313,
	]),
	(18392895886816358878, vec![
		386,
	]),
	(10425712987607207556, vec![
		410,
	]),
	(4305472427515412191, vec![
		163,
	]),
	(4381529673330745773, vec![
		439,
		440,
		441,
		442,
		443,
		444,
		445,
	]),
	(17620711307327428077, vec![
		149,
	]),
	(7309948750574195152, vec![
		311,
	]),
	(13542588639133443178, vec![
		561,
	]),
	(16224017656864074740, vec![
		227,
	]),
	(4542495180510336527, vec![
		100,
	]),
	(17619246139581979941, vec![
		150,
	]),
	(8525533479917747098, vec![
		391,
	]),
	(5724187087640640947, vec![
		192,
	]),
	(4496915767709205187, vec![
		108,
	]),
	(7702867743140420283, vec![
		139,
	]),
	(3272516637640360569, vec![
		556,
	]),
	(6637145656266213580, vec![
		233,
	]),
	(1745115782757834595, vec![
		25,
	]),
	(5306011757056406677, vec![
		251,
	]),
	(11882313244733931000, vec![
		108,
	]),
	(11912501950813261996, vec![
		571,
	]),
	(10195698919076170167, vec![
		380,
	]),
	(10440629992818313905, vec![
		474,
	]),
	(8437930623662961328, vec![
		264,
	]),
	(6557397046879552385, vec![
		145,
	]),
	(163796934731851693, vec![
		10,
	]),
	(6971368525262665209, vec![
		490,
	]),
	(14876728080405788924, vec![
		95,
	]),
	(12421062679935123336, vec![
		102,
	]),
	(12499623482103811654, vec![
		62,
	]),
	(11824537528863003024, vec![
		396,
	]),
	(3692916850991287412, vec![
		457,
	]),
	(16011668398248763371, vec![
		484,
	]),
	(7649876619355369994, vec![
		416,
	]),
	(14399248352824105553, vec![
		482,
	]),
	(12758154545126496948, vec![
		179,
	]),
	(11108571856067163261, vec![
		110,
	]),
	(3119370003531744843, vec![
		359,
		360,
	]),
	(14311310556708808549, vec![
		173,
	]),
	(2951664518933131279, vec![
		209,
	]),
	(13482705386704910469, vec![
		322,
	]),
	(11256838023865623067, vec![
		383,
	]),
	(13785511299087637878, vec![
		436,
	]),
	(3685741683043691871, vec![
		581,
	]),
	(17886933388035625126, vec![
		260,
	]),
	(16055441899958621734, vec![
		378,
	]),
	(17324146920931236929, vec![
		394,
	]),
	(11085299614184630521, vec![
		309,
	]),
	(6900681431764721480, vec![
		253,
	]),
	(7309222760709180886, vec![
		516,
	]),
	(18164039384983917705, vec![
		371,
	]),
	(16832981408144445720, vec![
		571,
	]),
	(12304858159638127869, vec![
		256,
	]),
	(4546939658168137434, vec![
		438,
	]),
	(9369044120539270349, vec![
		321,
	]),
	(15216083956004369939, vec![
		111,
	]),
	(15326846521850954916, vec![
		509,
	]),
	(16832680468124232769, vec![
		199,
	]),
	(14223433915113087788, vec![
		264,
	]),
	(10916784315866335667, vec![
		309,
	]),
	(419366361991072570, vec![
		521,
	]),
	(2995222799937979417, vec![
		568,
		569,
		570,
	]),
	(3179018302376692381, vec![
		502,
	]),
	(6836922922089528397, vec![
		570,
	]),
	(189856504033744540, vec![
		447,
	]),
	(13661361564363363803, vec![
		73,
	]),
	(8605281122323191004, vec![
		110,
	]),
	(17413524687296678682, vec![
		147,
	]),
	(9714597354934262127, vec![
		218,
	]),
	(15699388815986893327, vec![
		512,
	]),
	(7917458080726283571, vec![
		69,
	]),
	(4062048692073509871, vec![
		57,
	]),
	(15536488988106103556, vec![
		567,
	]),
	(567732312818435403, vec![
		212,
	]),
	(11079659817238764847, vec![
		144,
	]),
	(4534707020622694815, vec![
		175,
		176,
	]),
	(15702104192659134812, vec![
		78,
	]),
	(5155825215109289418, vec![
		303,
	]),
	(5079171301601337535, vec![
		400,
	]),
	(1227778396415112913, vec![
		401,
	]),
	(6726531175536107280, vec![
		75,
		76,
	]),
	(13018200583357899812, vec![
		143,
	]),
	(6879892553687569100, vec![
		586,
	]),
	(5151795907949136929, vec![
		10,
	]),
	(1860658069934177924, vec![
		33,
	]),
	(17032527394477175835, vec![
		313,
	]),
	(2798522205965875895, vec![
		354,
	]),
	(4942637733999494988, vec![
		104,
	]),
	(9847365438315033533, vec![
		62,
	]),
	(9009901103896432738, vec![
		378,
	]),
	(16343060937190632694, vec![
		392,
	]),
	(10326346138169254912, vec![
		355,
	]),
	(1788920649730351670, vec![
		310,
	]),
	(10354950465539392888, vec![
		468,
	]),
	(9837043406803681970, vec![
		479,
	]),
	(11056923081175830773, vec![
		488,
	]),
	(5520261274765350577, vec![
		359,
	]),
	(6210218439726579184, vec![
		455,
	]),
	(15485860205791494738, vec![
		505,
	]),
	(7599907746826428116, vec![
		272,
	]),
	(5458583395153818184, vec![
		506,
	]),
	(15767110390249736901, vec![
		521,
	]),
	(10321221603603968214, vec![
		307,
	]),
	(2751329548590330529, vec![
		216,
	]),
	(2348189239630420615, vec![
		394,
	]),
	(15656702335149066724, vec![
		420,
	]),
	(2056315289005276947, vec![
		108,
	]),
	(9859458230530356011, vec![
		3,
	]),
	(16220479909582609411, vec![
		301,
		302,
		303,
	]),
	(8706452068177211270, vec![
		303,
	]),
	(17981079045417042897, vec![
		396,
	]),
	(15223438220955141095, vec![
		62,
	]),
	(8730377385815096273, vec![
		448,
	]),
	(10163894465485551207, vec![
		526,
	]),
	(14989245310176825605, vec![
		461,
		462,
		463,
	]),
	(7019228063544230008, vec![
		29,
		30,
	]),
	(3219907157292877552, vec![
		149,
	]),
	(16816485071276686596, vec![
		109,
	]),
	(13707358898872765374, vec![
		383,
	]),
	(15520062989461854986, vec![
		281,
	]),
	(11620607361871999247, vec![
		54,
	]),
	(5088127849169171875, vec![
		86,
	]),
	(4680033840885071758, vec![
		89,
		90,
		91,
		92,
		93,
	]),
	(10320134133272985229, vec![
		259,
	]),
	(13244666296390162310, vec![
		264,
	]),
	(11520437502657871443, vec![
		282,
		283,
	]),
	(8917630921385034182, vec![
		383,
	]),
	(7190124485150116312, vec![
		141,
		142,
		143,
	]),
	(5433875531252203809, vec![
		395,
	]),
	(9728982878868724863, vec![
		409,
	]),
	(5144984016030603521, vec![
		411,
	]),
	(9325980010155134038, vec![
		418,
	]),
	(16022363153555772272, vec![
		577,
	]),
	(4690070772833520644, vec![
		95,
	]),
	(16493248174015988346, vec![
		195,
	]),
	(17121860081807487119, vec![
		268,
	]),
	(107205631169105801, vec![
		398,
	]),
	(10787368658434708133, vec![
		479,
	]),
	(11765141597740686884, vec![
		69,
	]),
	(2175630812194129795, vec![
		1,
	]),
	(371217060974734152, vec![
		397,
	]),
	(9735600707268015066, vec![
		415,
	]),
	(9618567025315010848, vec![
		56,
	]),
	(17666434184366498910, vec![
		59,
	]),
	(11206263029142764475, vec![
		381,
	]),
	(3050824969658751511, vec![
		412,
	]),
	(4998874352749603024, vec![
		384,
	]),
	(2621551105624750113, vec![
		238,
	]),
	(13498451678806686039, vec![
		197,
	]),
	(6817381063605455814, vec![
		226,
	]),
	(3682819681790827305, vec![
		377,
	]),
	(9458493772960945779, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(11351533049108237368, vec![
		444,
	]),
	(14050606694989664275, vec![
		156,
	]),
	(15632489901544888789, vec![
		354,
	]),
	(9760263999421708137, vec![
		144,
	]),
	(8552046834038828861, vec![
		460,
	]),
	(5015300875813628935, vec![
		62,
	]),
	(1316664533959975769, vec![
		369,
	]),
	(12044566399320474946, vec![
		353,
	]),
	(15874124708637384149, vec![
		467,
	]),
	(5175225909898870734, vec![
		141,
		142,
		143,
	]),
	(10053307422919999566, vec![
		317,
		318,
		319,
	]),
	(15243401041434116292, vec![
		455,
	]),
	(10969876691565189216, vec![
		435,
	]),
	(766299848362893234, vec![
		111,
	]),
	(1955956121564479771, vec![
		235,
	]),
	(9694289501524183141, vec![
		500,
	]),
	(12669210178292329837, vec![
		505,
	]),
	(14248853303382277050, vec![
		505,
	]),
	(2730173442309917642, vec![
		358,
	]),
	(13621012172058525144, vec![
		452,
	]),
	(7938971433400150324, vec![
		388,
	]),
	(2472261117322329416, vec![
		398,
	]),
	(2732137069112089016, vec![
		401,
	]),
	(16438622436252632671, vec![
		460,
	]),
	(15644518157137555811, vec![
		348,
	]),
	(10315294869436825646, vec![
		10,
	]),
	(18324007996415232939, vec![
		151,
	]),
	(15251959568593214386, vec![
		569,
		570,
	]),
	(11754165314084864355, vec![
		350,
	]),
	(437450082342493774, vec![
		233,
	]),
	(15776836148095075168, vec![
		475,
	]),
	(265582575658137259, vec![
		232,
	]),
	(15477937586211059977, vec![
		315,
	]),
	(8928198201967629645, vec![
		354,
	]),
	(7297782108964380773, vec![
		488,
	]),
	(7030735073443739358, vec![
		594,
	]),
	(12922723532094236252, vec![
		72,
	]),
	(866998572144967150, vec![
		515,
	]),
	(11474610055448594459, vec![
		56,
	]),
	(16308669546855610407, vec![
		257,
	]),
	(5016023415193796935, vec![
		526,
	]),
	(8648857939198334347, vec![
		484,
	]),
	(1547945739685228828, vec![
		151,
	]),
	(12608647023822238287, vec![
		233,
	]),
	(7723583076839749830, vec![
		279,
	]),
	(10531686595621880562, vec![
		214,
	]),
	(17140574781486148930, vec![
		27,
		28,
		29,
		30,
	]),
	(4456276023635727474, vec![
		266,
	]),
	(16735527221948873206, vec![
		416,
	]),
	(12480226914936041984, vec![
		513,
	]),
	(1794765239385779798, vec![
		41,
	]),
	(13151810238916047117, vec![
		131,
	]),
	(10374330184761012738, vec![
		285,
	]),
	(6705682753142952026, vec![
		125,
	]),
	(6388727366991847818, vec![
		510,
	]),
	(13711031472090479566, vec![
		164,
	]),
	(1243019633441962207, vec![
		562,
	]),
	(6178748417731743244, vec![
		250,
		251,
		252,
		253,
	]),
	(4342328078635498615, vec![
		411,
	]),
	(10147243751480276287, vec![
		483,
	]),
	(10778119311266770484, vec![
		378,
	]),
	(12089304292264216439, vec![
		485,
	]),
	(2838587805210971277, vec![
		458,
	]),
	(10120043882303885685, vec![
		562,
	]),
	(15955886923891624683, vec![
		259,
	]),
	(16151062650978988153, vec![
		165,
	]),
	(1893270661205699510, vec![
		301,
	]),
	(17270649025956863817, vec![
		425,
	]),
	(4332539357299814486, vec![
		189,
	]),
	(13072086799855879937, vec![
		577,
	]),
	(4167498769009399217, vec![
		239,
	]),
	(5609943822862031376, vec![
		232,
	]),
	(14830398614490251514, vec![
		596,
	]),
	(18199354852788687404, vec![
		195,
	]),
	(538326292304764392, vec![
		214,
		215,
	]),
	(11395892503516437486, vec![
		428,
	]),
	(774876153979113554, vec![
		33,
	]),
	(12198012599938508102, vec![
		131,
	]),
	(14844496734474730103, vec![
		152,
	]),
	(3842257151980823692, vec![
		56,
	]),
	(5723706311305442141, vec![
		148,
	]),
	(10903115905679051940, vec![
		122,
	]),
	(5491733295880061954, vec![
		233,
	]),
	(14051411836464849689, vec![
		303,
	]),
	(4614107581296214127, vec![
		266,
	]),
	(4576253463447351103, vec![
		559,
	]),
	(5666875501787243865, vec![
		589,
	]),
	(18392468578622019425, vec![
		95,
	]),
	(6819575208918923130, vec![
		87,
	]),
	(10162641421519918039, vec![
		28,
	]),
	(1797582128012473161, vec![
		57,
	]),
	(15350024954807259765, vec![
		102,
	]),
	(15458344486867971747, vec![
		28,
	]),
	(1412645295303109575, vec![
		69,
	]),
	(4732063335625451912, vec![
		136,
	]),
	(16482863132411079682, vec![
		46,
	]),
	(9129187782765774937, vec![
		143,
	]),
	(6692813559431900155, vec![
		302,
	]),
	(17796727785621462418, vec![
		427,
	]),
	(12319750788401751428, vec![
		483,
		484,
		485,
	]),
	(11040971359822335969, vec![
		149,
	]),
	(6568472414570397461, vec![
		426,
	]),
	(13428299835009965381, vec![
		170,
	]),
	(4845630888797684985, vec![
		200,
	]),
	(10127545406939898328, vec![
		267,
	]),
	(11001724408102084515, vec![
		338,
	]),
	(9565620042631365487, vec![
		191,
	]),
	(13624676324033108702, vec![
		148,
	]),
	(12363195018989853689, vec![
		196,
	]),
	(18335685256671051416, vec![
		236,
	]),
	(11680164919204986833, vec![
		310,
	]),
	(15616358657595341946, vec![
		486,
	]),
	(11356041511828589206, vec![
		30,
	]),
	(4571742853434738158, vec![
		153,
	]),
	(17481712241131892570, vec![
		153,
	]),
	(25084976741086095, vec![
		267,
	]),
	(8110169453744098128, vec![
		143,
	]),
	(7214150922639029993, vec![
		481,
	]),
	(11537186613320887337, vec![
		287,
		288,
		289,
		290,
		291,
		292,
		293,
		294,
		295,
		296,
		297,
		298,
		299,
		300,
	]),
	(13324465128041812608, vec![
		177,
	]),
	(1413921588238796653, vec![
		453,
	]),
	(4843000488253513840, vec![
		470,
	]),
	(18125738683131568671, vec![
		493,
	]),
	(16697117164882507128, vec![
		153,
	]),
	(3552583409645140769, vec![
		519,
	]),
	(3900410936951543420, vec![
		110,
	]),
	(5771058689966093956, vec![
		134,
	]),
	(13268988698726348957, vec![
		574,
		575,
		576,
		577,
		578,
		579,
		580,
		581,
		582,
		583,
		584,
		585,
		586,
	]),
	(2658076707883297678, vec![
		392,
	]),
	(9361533382776313235, vec![
		520,
	]),
	(357278644355318518, vec![
		194,
	]),
	(15751599774453713613, vec![
		514,
	]),
	(15491864489088010460, vec![
		552,
	]),
	(17192782636651605707, vec![
		97,
	]),
	(10607038880456892344, vec![
		148,
	]),
	(16226261405416339969, vec![
		15,
		17,
		20,
	]),
	(14043696713287417182, vec![
		554,
	]),
	(12436572529407850577, vec![
		457,
	]),
	(6982300215580085329, vec![
		133,
	]),
	(12969993246112481407, vec![
		606,
	]),
	(4981360751481690521, vec![
		66,
	]),
	(7509900538922251629, vec![
		430,
	]),
	(11992197433300601607, vec![
		246,
	]),
	(12661176725874298203, vec![
		189,
	]),
	(5943262844271896416, vec![
		301,
	]),
	(7807046478094736351, vec![
		520,
	]),
	(9627663358019495625, vec![
		159,
	]),
	(13705933148984165911, vec![
		16,
	]),
	(412251000937929381, vec![
		464,
		465,
	]),
	(1686112642424835679, vec![
		131,
	]),
	(15837050329044564938, vec![
		279,
	]),
	(17524000092008881735, vec![
		148,
	]),
	(29746024310148360, vec![
		563,
		564,
		565,
		566,
	]),
	(15239137099479811917, vec![
		273,
	]),
	(12622334444827854660, vec![
		145,
	]),
	(3106450965380500899, vec![
		493,
	]),
	(12001421178053011293, vec![
		97,
	]),
	(2227757511098812219, vec![
		351,
	]),
	(2261507951398428747, vec![
		6,
	]),
	(12491664324457740606, vec![
		143,
	]),
	(13157884642718521587, vec![
		145,
	]),
	(4296679637189983236, vec![
		145,
	]),
	(5569735378257791800, vec![
		234,
	]),
	(3482938122436184878, vec![
		501,
	]),
	(4988845903079101656, vec![
		116,
	]),
	(13322489105406750975, vec![
		34,
	]),
	(8910069218853672378, vec![
		308,
	]),
	(9334029853383653137, vec![
		380,
	]),
	(11277807230604098593, vec![
		484,
	]),
	(8919821510959155572, vec![
		457,
	]),
	(5421288037614854561, vec![
		28,
	]),
	(11285177416918120884, vec![
		183,
	]),
	(9790158020009171141, vec![
		321,
	]),
	(8604257214321254590, vec![
		145,
	]),
	(13633853549301587398, vec![
		194,
	]),
	(14403059732138068586, vec![
		33,
	]),
	(9121814993278082711, vec![
		86,
	]),
	(17817682527011453301, vec![
		136,
	]),
	(15552989948483016415, vec![
		243,
	]),
	(7840061419772689946, vec![
		22,
	]),
	(17577546265966342444, vec![
		605,
	]),
	(17742201352312406890, vec![
		387,
	]),
	(10182726604246107090, vec![
		5,
	]),
	(12262113498109870271, vec![
		133,
	]),
	(1407112761141884639, vec![
		349,
	]),
	(15415343248980160064, vec![
		119,
	]),
	(11230316998576513745, vec![
		218,
	]),
	(6425469532524813198, vec![
		396,
	]),
	(4702339946988192228, vec![
		210,
	]),
	(18297654200531458519, vec![
		279,
	]),
	(8856264022993023965, vec![
		406,
	]),
	(787568850961837824, vec![
		246,
	]),
	(1065223202416245605, vec![
		194,
	]),
	(12924015477806036636, vec![
		232,
	]),
	(2838795723038107602, vec![
		22,
	]),
	(16679771876017219654, vec![
		569,
	]),
	(605441432578273710, vec![
		262,
	]),
	(18247914145289907839, vec![
		255,
	]),
	(1996497855046828832, vec![
		493,
	]),
	(12087910282826035626, vec![
		310,
	]),
	(16093952384759314848, vec![
		105,
	]),
	(9689004913009556430, vec![
		303,
	]),
	(17772200403772317787, vec![
		390,
	]),
	(14131959808910405085, vec![
		394,
	]),
	(13952053689874171343, vec![
		378,
	]),
	(13056156126570997808, vec![
		411,
	]),
	(16333532886415312690, vec![
		232,
	]),
	(8650306511639611128, vec![
		240,
	]),
	(178116844386979912, vec![
		378,
	]),
	(5172799368586364734, vec![
		16,
	]),
	(6528259223911762388, vec![
		458,
	]),
	(6380017560142432318, vec![
		100,
	]),
	(15436456009182858411, vec![
		127,
	]),
	(14732190158874617153, vec![
		361,
		362,
		363,
		364,
		365,
		366,
		367,
	]),
	(1305709893169135743, vec![
		199,
	]),
	(16554442647816949808, vec![
		370,
	]),
	(4666689510550283033, vec![
		566,
	]),
	(15795598261054250502, vec![
		340,
	]),
	(6182254262927515098, vec![
		522,
	]),
	(6071719051579206255, vec![
		3,
	]),
	(7973020408435008106, vec![
		424,
		425,
	]),
	(6598183124304602964, vec![
		484,
	]),
	(9604628164433587096, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(2072546584137964360, vec![
		553,
	]),
	(5689707725463611834, vec![
		525,
	]),
	(15731971201291709453, vec![
		106,
	]),
	(11212523054887160009, vec![
		57,
	]),
	(14991453892682409124, vec![
		566,
	]),
	(9154422081723548916, vec![
		55,
	]),
	(5245385446479241555, vec![
		247,
		248,
		249,
	]),
	(7271769360183453245, vec![
		310,
		311,
		312,
		313,
		314,
	]),
	(1937796600653568920, vec![
		458,
	]),
	(3236980634019432734, vec![
		383,
	]),
	(10887460952210884685, vec![
		24,
	]),
	(16195897857683032860, vec![
		112,
	]),
	(11387210151187562993, vec![
		144,
	]),
	(12971579198656423972, vec![
		56,
	]),
	(2334064611233090952, vec![
		211,
	]),
	(2428677617253188133, vec![
		389,
	]),
	(13245350519995798009, vec![
		357,
	]),
	(17725120939486230002, vec![
		478,
	]),
	(13130368001038624080, vec![
		559,
	]),
	(1561781132170738748, vec![
		563,
		564,
		565,
		566,
	]),
	(1118348163975055893, vec![
		575,
	]),
	(17405769606178752369, vec![
		95,
	]),
	(6011116671942413973, vec![
		116,
	]),
	(9399151345360787321, vec![
		592,
		593,
		594,
		595,
		596,
		597,
		598,
		599,
		600,
		601,
		602,
		603,
		604,
		605,
		606,
	]),
	(11756100200576250230, vec![
		87,
	]),
	(13211749987230535175, vec![
		150,
	]),
	(578446421482954775, vec![
		241,
	]),
	(9363072036099831229, vec![
		117,
	]),
	(10115310017219442604, vec![
		143,
	]),
	(17496561097353353139, vec![
		183,
	]),
	(12476705110066016783, vec![
		254,
		255,
		256,
		257,
		258,
		259,
		260,
	]),
	(9863142675549010411, vec![
		279,
	]),
	(18356748466550955063, vec![
		234,
	]),
	(17970891178904587797, vec![
		267,
	]),
	(1473512344265764073, vec![
		163,
	]),
	(755377115745550409, vec![
		421,
		422,
	]),
	(13802046785518743772, vec![
		274,
		275,
		276,
		277,
		278,
		280,
		281,
	]),
	(4931234333457838088, vec![
		114,
	]),
	(11558155659251198295, vec![
		472,
	]),
	(2068739879439042196, vec![
		566,
	]),
	(6950084568861586930, vec![
		41,
	]),
	(183175183039091598, vec![
		344,
	]),
	(13726674166327188270, vec![
		147,
	]),
	(4864453728455280761, vec![
		73,
	]),
	(12090331502473227741, vec![
		489,
	]),
	(5190103098400583045, vec![
		497,
	]),
	(7259986242036546405, vec![
		423,
	]),
	(1903895525484550101, vec![
		115,
	]),
	(16435332938260659196, vec![
		56,
	]),
	(8800833270868821352, vec![
		126,
	]),
	(17047920973554520768, vec![
		199,
	]),
	(16364903813719613351, vec![
		122,
	]),
	(6929498550247739527, vec![
		250,
	]),
	(17683845856564484876, vec![
		436,
	]),
	(9473881636542438841, vec![
		104,
	]),
	(7998211688213742009, vec![
		503,
	]),
	(3091410973189084908, vec![
		281,
	]),
	(2262650735643485129, vec![
		170,
	]),
	(12043614095025441509, vec![
		29,
	]),
	(17860520460712199834, vec![
		104,
	]),
	(577682031689328470, vec![
		393,
	]),
	(4137787717858186653, vec![
		278,
	]),
	(6360743740003485807, vec![
		445,
	]),
	(3850954584157431718, vec![
		303,
	]),
	(5586860623492077447, vec![
		450,
	]),
	(7393396941461970671, vec![
		517,
	]),
	(8440806672473392516, vec![
		310,
	]),
	(5288062441008558382, vec![
		412,
	]),
	(4620331827643072162, vec![
		420,
	]),
	(6117554826453142287, vec![
		523,
	]),
	(10483292914841949895, vec![
		144,
	]),
	(4422811733173698819, vec![
		558,
	]),
	(1633858248635429153, vec![
		208,
	]),
	(18142048480934589788, vec![
		473,
	]),
	(8792308928134752379, vec![
		586,
	]),
	(15154618061679104753, vec![
		417,
	]),
	(10098117379835846062, vec![
		220,
	]),
	(7606357684438248456, vec![
		320,
	]),
	(1684612141217166848, vec![
		504,
	]),
	(1184810130846295458, vec![
		222,
		223,
		224,
		225,
	]),
	(16219641605571025863, vec![
		230,
	]),
	(13123572953324303340, vec![
		270,
		271,
	]),
	(9330556691675653907, vec![
		596,
	]),
	(15877719499815107262, vec![
		0,
		1,
		2,
		3,
		4,
		5,
		6,
		7,
		8,
		9,
		10,
		11,
		12,
		13,
		14,
		15,
		16,
		17,
		18,
		19,
		20,
		21,
		22,
		23,
		24,
		25,
		26,
		27,
		28,
		29,
		30,
		31,
		32,
		33,
		34,
		35,
		36,
		37,
		38,
	]),
	(14142975075081438967, vec![
		390,
	]),
	(6710263921774026725, vec![
		545,
	]),
	(2018286445792784440, vec![
		99,
		100,
		101,
		102,
	]),
	(11150111380944795446, vec![
		143,
	]),
	(9691241636900423975, vec![
		566,
	]),
	(11944582809289458726, vec![
		397,
		398,
		399,
		400,
		401,
		402,
		403,
	]),
	(18263984693752856934, vec![
		127,
	]),
	(11528682826535913679, vec![
		490,
	]),
	(3756326699984547350, vec![
		261,
	]),
	(15915329396180137178, vec![
		303,
	]),
	(8423453766976529752, vec![
		394,
	]),
	(12734656756043083065, vec![
		484,
	]),
	(1565697154937283925, vec![
		188,
	]),
	(17098557417152018017, vec![
		194,
		195,
	]),
	(2574277110378588543, vec![
		378,
	]),
	(16661121049400219046, vec![
		45,
	]),
	(8942035293009871881, vec![
		516,
	]),
	(16203663153394492331, vec![
		514,
	]),
	(5945172957261108458, vec![
		232,
	]),
	(4720684917526707146, vec![
		134,
	]),
	(7930233499274710737, vec![
		477,
	]),
	(14831898521741744353, vec![
		503,
	]),
	(4433313223594296029, vec![
		438,
	]),
	(6308178169663096336, vec![
		486,
	]),
	(1616593053693233217, vec![
		154,
	]),
	(1862821277921181976, vec![
		19,
	]),
	(9563438662981571038, vec![
		397,
	]),
	(18341921821213196581, vec![
		424,
		425,
	]),
	(15582208090301437102, vec![
		569,
		570,
	]),
	(1581020732487747961, vec![
		593,
	]),
	(17294114273804900729, vec![
		504,
	]),
	(13582708987720424195, vec![
		29,
	]),
	(13828631350926548449, vec![
		357,
	]),
	(10928813865896907723, vec![
		475,
	]),
	(15779213807416915234, vec![
		274,
		275,
		276,
		277,
	]),
	(12156485820411957377, vec![
		66,
	]),
	(4578723400672598387, vec![
		353,
	]),
	(18193213587414520204, vec![
		36,
	]),
	(8511765548849685381, vec![
		503,
	]),
	(17476891595466052599, vec![
		72,
	]),
	(2422841953359035572, vec![
		219,
	]),
	(14494360753792957044, vec![
		39,
		40,
		41,
		42,
		43,
		44,
		45,
	]),
	(1256948173206776945, vec![
		149,
	]),
	(6839027076482270809, vec![
		143,
	]),
	(14259853691047793694, vec![
		260,
	]),
	(15633725248246112390, vec![
		63,
	]),
	(9816697312699963489, vec![
		503,
	]),
	(18384304611474750754, vec![
		357,
	]),
	(17790873603744892843, vec![
		41,
	]),
	(18375357899950272799, vec![
		301,
		302,
		303,
	]),
	(12070032507988848286, vec![
		1,
	]),
	(1120432114450714096, vec![
		442,
	]),
	(11870181087655156304, vec![
		356,
	]),
	(2031799701577165517, vec![
		411,
		412,
		413,
		414,
		415,
		416,
		417,
		418,
		419,
	]),
	(7556392739351961829, vec![
		470,
		471,
	]),
	(16820690166270107742, vec![
		122,
	]),
	(7785305921602942614, vec![
		54,
	]),
	(5627199645542482156, vec![
		56,
	]),
	(4111805887826517728, vec![
		101,
	]),
	(16338125873257233991, vec![
		378,
	]),
	(7768948696569852919, vec![
		516,
	]),
	(5288700792136223166, vec![
		426,
	]),
	(8066881307564235067, vec![
		436,
	]),
	(9990473416240811033, vec![
		33,
	]),
	(17836016358709301816, vec![
		6,
	]),
	(14229027342425709902, vec![
		411,
	]),
	(16850023661601579550, vec![
		178,
	]),
	(1306215947701047784, vec![
		303,
	]),
	(13783631423083161555, vec![
		308,
	]),
	(10294841831759711726, vec![
		148,
	]),
	(9715934037280671742, vec![
		398,
	]),
	(14701300258359066576, vec![
		370,
	]),
	(13146737570191885764, vec![
		52,
	]),
	(15535543860188662151, vec![
		265,
	]),
	(7849301301771830566, vec![
		499,
	]),
	(14417021194042043604, vec![
		144,
	]),
	(15145354306875635077, vec![
		523,
	]),
	(13276580147621910859, vec![
		449,
	]),
	(1678664393614322312, vec![
		201,
	]),
	(2122652392296244170, vec![
		557,
		558,
		559,
		560,
	]),
	(250840762129672270, vec![
		579,
	]),
	(13520765074787878652, vec![
		148,
	]),
	(12102856014697767790, vec![
		179,
	]),
	(9603522666644462103, vec![
		482,
	]),
	(11350600422939146221, vec![
		57,
	]),
	(193478125546090919, vec![
		25,
	]),
	(12830301266911642526, vec![
		29,
		30,
	]),
	(11930430465773561429, vec![
		56,
	]),
	(5706572573049266518, vec![
		61,
	]),
	(17336705050925901789, vec![
		107,
	]),
	(10036367349087170710, vec![
		233,
		234,
		235,
	]),
	(10054260370032442319, vec![
		282,
		283,
	]),
	(16298932306084617823, vec![
		495,
		496,
	]),
	(6439094538998255606, vec![
		586,
	]),
	(13917146606578027811, vec![
		394,
		395,
		396,
	]),
	(587786489729032966, vec![
		440,
	]),
	(3339106602852284477, vec![
		5,
	]),
	(4493205239814058336, vec![
		145,
	]),
	(11077753410113168074, vec![
		162,
		163,
	]),
	(14143901292851687813, vec![
		511,
	]),
	(1737023813629358846, vec![
		143,
	]),
	(13906956994227852477, vec![
		598,
		599,
	]),
	(16869332494272429703, vec![
		418,
	]),
	(16354875064363156084, vec![
		482,
	]),
	(3522516164000612333, vec![
		199,
	]),
	(9768824052876243799, vec![
		560,
	]),
	(1757344623273083236, vec![
		24,
	]),
	(6304050065504167325, vec![
		152,
	]),
	(6522645908826453427, vec![
		169,
	]),
	(1718900992651706326, vec![
		566,
	]),
	(13401626968088059829, vec![
		566,
	]),
	(12358956905233888913, vec![
		234,
	]),
	(17200951039827176732, vec![
		122,
	]),
	(13244403702130369351, vec![
		514,
	]),
	(1408584870024625506, vec![
		595,
	]),
	(1648271270711756110, vec![
		68,
	]),
	(5836534388715990436, vec![
		195,
	]),
	(15677234171472388196, vec![
		156,
	]),
	(3876807415117403171, vec![
		528,
		529,
		530,
		531,
		532,
		533,
		534,
		535,
		536,
		537,
		538,
		539,
		540,
		541,
		542,
		543,
		544,
	]),
	(16900551186046722370, vec![
		378,
	]),
	(8607428062618012025, vec![
		482,
	]),
	(7497376863935311268, vec![
		520,
	]),
	(7893533952154962421, vec![
		520,
	]),
	(12844877589220368245, vec![
		143,
	]),
	(4261262270263057174, vec![
		158,
		159,
		160,
		161,
		162,
		163,
		164,
	]),
	(5693366906297897605, vec![
		313,
	]),
	(9403729833446041428, vec![
		16,
	]),
	(10198345015474750523, vec![
		38,
	]),
	(9544276202143722208, vec![
		69,
		70,
	]),
	(8138800142261394280, vec![
		356,
	]),
	(10111059472233635713, vec![
		378,
	]),
	(8690606011622279154, vec![
		397,
	]),
	(17246293292569466907, vec![
		413,
	]),
	(6083752105742221311, vec![
		447,
	]),
	(17125198714294784634, vec![
		485,
	]),
	(3492440912752372119, vec![
		74,
	]),
	(365747702157223733, vec![
		554,
	]),
	(13993321110012657103, vec![
		566,
	]),
	(17660590399241296307, vec![
		57,
	]),
	(14820940770787510759, vec![
		378,
	]),
	(6052866002425591016, vec![
		378,
	]),
	(17541721395480459163, vec![
		321,
	]),
	(17641977752826212820, vec![
		115,
	]),
	(15014376258059372011, vec![
		204,
	]),
	(6112079212949309917, vec![
		350,
	]),
	(6685805998327265392, vec![
		356,
	]),
	(15106934117507932438, vec![
		448,
	]),
	(4730085355998398501, vec![
		183,
	]),
	(14664361808794807831, vec![
		102,
	]),
	(1100407514195000567, vec![
		148,
	]),
	(10004449635858631971, vec![
		436,
	]),
	(5306791322596368782, vec![
		377,
	]),
	(4442196618974013483, vec![
		595,
	]),
	(9254444310830170761, vec![
		258,
	]),
	(897052776730610171, vec![
		451,
	]),
	(3387551714081070444, vec![
		391,
		392,
		393,
	]),
	(3421435293022300367, vec![
		381,
		382,
	]),
	(13670226870891363087, vec![
		242,
	]),
	(952929704802849434, vec![
		548,
	]),
	(7349197565613040736, vec![
		227,
	]),
	(3846710694336788657, vec![
		484,
	]),
	(10092503933167648539, vec![
		561,
	]),
	(12106816132636492287, vec![
		84,
		85,
		86,
	]),
	(6541096905696463592, vec![
		208,
	]),
	(8384981567468645905, vec![
		102,
	]),
	(8354330450282747166, vec![
		121,
	]),
	(5509002360149988495, vec![
		356,
	]),
	(13581051653583842629, vec![
		239,
	]),
	(7807601441068540744, vec![
		512,
	]),
	(12584280689405275871, vec![
		196,
	]),
	(6845875717058855211, vec![
		57,
	]),
	(14040193019584244488, vec![
		150,
	]),
	(593107839280590746, vec![
		95,
	]),
	(6273933194215026985, vec![
		278,
	]),
	(3441806082172505740, vec![
		18,
	]),
	(14907800346524656245, vec![
		493,
	]),
	(11709768945265505880, vec![
		520,
	]),
	(15034485370181959050, vec![
		549,
	]),
	(3547160152233840921, vec![
		184,
	]),
	(8985388766000906070, vec![
		215,
	]),
	(11215243569145368506, vec![
		419,
	]),
	(6100011833395785063, vec![
		355,
	]),
	(14793696884809212117, vec![
		444,
	]),
	(15853532967618159731, vec![
		196,
	]),
	(17681384649801017573, vec![
		251,
	]),
	(16243209430824142271, vec![
		484,
	]),
	(16508483370685519575, vec![
		387,
	]),
	(5533492351617979468, vec![
		132,
	]),
	(10273705288479006361, vec![
		552,
	]),
	(5975690280387889216, vec![
		110,
	]),
	(4108021723653760350, vec![
		520,
	]),
	(2585591378742290479, vec![
		119,
	]),
	(6048467984791843491, vec![
		132,
	]),
	(4301283366123183236, vec![
		217,
	]),
	(11066374275345052324, vec![
		490,
	]),
	(15666620784543244185, vec![
		97,
	]),
	(11018436079129660744, vec![
		154,
	]),
	(14656554454963757407, vec![
		124,
	]),
	(6296345148100072864, vec![
		406,
	]),
	(2164738470983737747, vec![
		517,
	]),
	(10173170474396269542, vec![
		230,
	]),
	(16704267887588131025, vec![
		177,
	]),
	(14396585850044043304, vec![
		218,
		219,
		220,
		221,
		222,
		223,
		224,
		225,
		226,
		227,
	]),
	(13720237458830279987, vec![
		141,
		142,
		143,
	]),
	(17967033490581434938, vec![
		190,
	]),
	(16510664895745360703, vec![
		308,
	]),
	(9438814151168805100, vec![
		135,
	]),
	(4383475713917310788, vec![
		311,
	]),
	(3211264368239181397, vec![
		340,
	]),
	(9026898562504538415, vec![
		413,
	]),
	(14348584033228171418, vec![
		479,
	]),
	(8313545311920389012, vec![
		509,
	]),
	(8479510548798353088, vec![
		515,
	]),
	(3867127901584880949, vec![
		520,
	]),
	(10132297409318790554, vec![
		484,
	]),
	(16666274414873061478, vec![
		315,
	]),
	(17581485076834190164, vec![
		190,
	]),
	(2968323051708991442, vec![
		169,
	]),
	(1656870276454262646, vec![
		474,
	]),
	(5351066546624262297, vec![
		39,
		40,
	]),
	(16782929087279122001, vec![
		16,
	]),
	(2975762093841827918, vec![
		114,
	]),
	(8743576097356318418, vec![
		122,
	]),
	(1819544358796495111, vec![
		126,
	]),
	(7823295471997918723, vec![
		260,
	]),
	(14534942841592854114, vec![
		351,
	]),
	(8159777956856974655, vec![
		178,
	]),
	(14673131475567083407, vec![
		219,
	]),
	(6107996906038802710, vec![
		458,
	]),
	(12549786617073697596, vec![
		266,
	]),
	(12616869382478787202, vec![
		268,
	]),
	(7446803290254070076, vec![
		384,
	]),
	(17514302271094667162, vec![
		439,
		440,
		441,
		442,
		443,
		444,
		445,
	]),
	(6578033537701718591, vec![
		210,
		211,
	]),
	(12451584487162040086, vec![
		44,
	]),
	(9783484730343302356, vec![
		246,
	]),
	(9835101302622973948, vec![
		378,
	]),
	(7148821192855187154, vec![
		147,
	]),
	(2262482431868751050, vec![
		39,
	]),
	(15582286215112326904, vec![
		172,
	]),
	(1983082359640469551, vec![
		149,
	]),
	(460537548498571397, vec![
		194,
	]),
	(4845244448280271118, vec![
		143,
	]),
	(11496069802221269122, vec![
		233,
	]),
	(171205589675610922, vec![
		280,
	]),
	(7010569303520878961, vec![
		143,
	]),
	(14705256798281495754, vec![
		554,
	]),
	(9101588010950311597, vec![
		152,
	]),
	(14164520378451307701, vec![
		425,
	]),
	(18411671929027946036, vec![
		244,
	]),
	(5288332038819173677, vec![
		494,
	]),
	(14276356203510691759, vec![
		567,
	]),
	(4793943302734718572, vec![
		210,
	]),
	(10590190309401459338, vec![
		170,
	]),
	(8700842974154307853, vec![
		29,
	]),
	(15336573469483152053, vec![
		500,
	]),
	(342657801575647079, vec![
		434,
	]),
	(10630563260236856230, vec![
		251,
	]),
	(11551703800080654584, vec![
		143,
	]),
	(3358355154300125229, vec![
		421,
	]),
	(8446254417289592300, vec![
		97,
	]),
	(8172939430498923149, vec![
		198,
	]),
	(3804660711562983813, vec![
		205,
	]),
	(2048771224995461065, vec![
		264,
	]),
	(15786027657540255639, vec![
		395,
	]),
	(11328260968710220276, vec![
		185,
	]),
	(2295118780236656232, vec![
		520,
	]),
	(10205733656357398520, vec![
		515,
	]),
	(9344453926966750722, vec![
		549,
	]),
	(411234943700821144, vec![
		425,
	]),
	(15135570360618641289, vec![
		435,
	]),
	(13124301800639602887, vec![
		180,
	]),
	(8870180491355447082, vec![
		497,
	]),
	(17704800904154302372, vec![
		194,
	]),
	(5754291643625431578, vec![
		257,
	]),
	(17477804648576052050, vec![
		320,
	]),
	(2978419755595998011, vec![
		126,
	]),
	(9628045345773464261, vec![
		521,
	]),
	(8711121649276125029, vec![
		312,
	]),
	(4815721457336230419, vec![
		145,
	]),
	(2118462479655682024, vec![
		345,
	]),
	(2186347619463506124, vec![
		107,
	]),
	(6807345849811181950, vec![
		397,
	]),
	(7599506853333277784, vec![
		545,
	]),
	(14981603573730097409, vec![
		355,
	]),
	(11224793971912454794, vec![
		522,
	]),
	(681038346604179634, vec![
		143,
	]),
	(779673398719248991, vec![
		182,
	]),
	(5946553065714876680, vec![
		66,
	]),
	(83543667131514846, vec![
		197,
	]),
	(8215161426429456106, vec![
		232,
	]),
	(15702801366884112966, vec![
		113,
	]),
	(14939433395154925794, vec![
		234,
	]),
	(4476664251759658854, vec![
		239,
	]),
	(1092363072421750034, vec![
		424,
		425,
		426,
	]),
	(3520986704477087930, vec![
		437,
	]),
	(6266264961557890331, vec![
		173,
	]),
	(6427501591563802876, vec![
		71,
		72,
	]),
	(11866288689056500572, vec![
		492,
	]),
	(14027399416066515145, vec![
		264,
	]),
	(9020629521040775100, vec![
		95,
	]),
	(9064515650357045954, vec![
		164,
	]),
	(5519823817703585732, vec![
		171,
	]),
	(12628058653553368521, vec![
		143,
	]),
	(12190642359758932699, vec![
		111,
	]),
	(17532958790245524990, vec![
		482,
	]),
	(3810497493435235865, vec![
		397,
	]),
	(8729808831108918610, vec![
		105,
	]),
	(17767169232238373453, vec![
		474,
	]),
	(916040145458113432, vec![
		36,
	]),
	(14306584808862205006, vec![
		211,
	]),
	(1023033363187471115, vec![
		313,
	]),
	(14825152721500698065, vec![
		228,
		229,
		230,
		231,
		232,
	]),
	(7779930242359063307, vec![
		214,
	]),
	(3252108008074497974, vec![
		393,
	]),
	(12687818448875199777, vec![
		486,
	]),
	(333897980716574006, vec![
		58,
		59,
		60,
	]),
	(8659876428380515779, vec![
		430,
	]),
	(18282517670454498607, vec![
		417,
	]),
	(15648811864464075854, vec![
		200,
	]),
	(14832071686963714831, vec![
		33,
	]),
	(4563382412178112384, vec![
		411,
	]),
	(837258683937927896, vec![
		29,
		30,
	]),
	(9402890797919848171, vec![
		139,
	]),
	(8540993469027373522, vec![
		357,
	]),
	(15990259104903812443, vec![
		28,
	]),
	(14117812250159522129, vec![
		234,
	]),
	(10608121168419434486, vec![
		95,
	]),
	(5098822813922654232, vec![
		239,
		240,
	]),
	(5674533261648452419, vec![
		243,
	]),
	(10871329703530020026, vec![
		413,
	]),
	(16706618705921918555, vec![
		42,
	]),
	(14555000211022410080, vec![
		56,
	]),
	(3337128066340408545, vec![
		417,
	]),
	(10057321412545185393, vec![
		264,
	]),
	(17911888846785028065, vec![
		24,
	]),
	(15504476173255177052, vec![
		86,
	]),
	(12152098184455030430, vec![
		238,
	]),
	(2873736031408444065, vec![
		148,
	]),
	(4872422208527331628, vec![
		446,
	]),
	(12966007642810653417, vec![
		111,
	]),
	(4596996629300482464, vec![
		162,
	]),
	(6615762751498429278, vec![
		462,
	]),
	(10929896568820194002, vec![
		166,
	]),
	(8641198755186472975, vec![
		165,
	]),
	(3556804464512630367, vec![
		200,
	]),
	(7251342698111151888, vec![
		303,
	]),
	(9557275595891990102, vec![
		472,
	]),
	(13422985992972020581, vec![
		433,
	]),
	(11912890833941957318, vec![
		1,
	]),
	(3426065844946196877, vec![
		234,
	]),
	(2268461089142748166, vec![
		463,
	]),
	(5441850067001867412, vec![
		134,
	]),
	(7896920646127011164, vec![
		129,
	]),
	(16062900593909368285, vec![
		126,
	]),
	(7136871381411252605, vec![
		149,
	]),
	(10357471463732695077, vec![
		189,
		190,
	]),
	(15610765956083550810, vec![
		456,
	]),
	(12903116626452448359, vec![
		130,
		131,
	]),
	(11441100910359273995, vec![
		28,
	]),
	(16391128597862069220, vec![
		152,
	]),
	(12590763687579006722, vec![
		6,
	]),
	(309525060934909289, vec![
		246,
	]),
	(6320137156743369748, vec![
		303,
	]),
	(6031685347884221415, vec![
		115,
	]),
	(15555451644315738498, vec![
		470,
	]),
	(7484844813130368852, vec![
		49,
		50,
		51,
	]),
	(8912857836885931004, vec![
		51,
	]),
	(11932367712938409737, vec![
		303,
	]),
	(4120663996882404229, vec![
		397,
	]),
	(6855548012715779917, vec![
		253,
	]),
	(241630006319500001, vec![
		253,
	]),
	(15587257145203871773, vec![
		403,
	]),
	(6636198246105797364, vec![
		566,
	]),
	(14992464721722893385, vec![
		437,
		438,
		439,
		440,
		441,
		442,
		443,
		444,
		445,
		452,
	]),
	(12629978152328326274, vec![
		402,
	]),
	(13616677181625039559, vec![
		66,
	]),
	(1758364677889546369, vec![
		305,
	]),
	(3273785005004404400, vec![
		358,
	]),
	(11350870680316915980, vec![
		303,
	]),
	(6654536604335346956, vec![
		16,
	]),
	(14362310255094396306, vec![
		114,
	]),
	(9918930405645000790, vec![
		378,
	]),
	(6953798031915683367, vec![
		194,
	]),
	(12526662211078648224, vec![
		120,
	]),
	(7933325957005017698, vec![
		125,
	]),
	(11119876889791564476, vec![
		149,
	]),
	(15325404204706251710, vec![
		606,
	]),
	(11326913649603077672, vec![
		208,
	]),
	(7009704306631481085, vec![
		266,
	]),
	(8819190194239964400, vec![
		94,
		95,
		96,
		97,
		98,
	]),
	(17860725197621839227, vec![
		359,
	]),
	(15072161266220775740, vec![
		508,
	]),
	(5588813713544290636, vec![
		56,
	]),
	(9066084126617769156, vec![
		69,
	]),
	(6956300382695507977, vec![
		33,
	]),
	(7828828918897600768, vec![
		360,
	]),
	(7514779176212297470, vec![
		124,
	]),
	(9021426889717714394, vec![
		77,
	]),
	(897280109034567131, vec![
		377,
	]),
	(2358347357644151104, vec![
		233,
	]),
	(8809216158177782568, vec![
		447,
	]),
	(14119826325539596073, vec![
		75,
		76,
		77,
		78,
		79,
		80,
		81,
		82,
		83,
		84,
		85,
		86,
		87,
	]),
	(2179048003753739834, vec![
		504,
	]),
	(17650461678894888292, vec![
		279,
	]),
	(3465257622786905042, vec![
		301,
		302,
		303,
	]),
	(10945505844566362661, vec![
		95,
	]),
	(452317914667653622, vec![
		101,
	]),
	(2520055121528783566, vec![
		171,
	]),
	(682974116028981255, vec![
		236,
		237,
		238,
		239,
		240,
		241,
		242,
		243,
		244,
		245,
		246,
	]),
	(13703059377195412707, vec![
		432,
	]),
	(10549397702803616529, vec![
		229,
	]),
	(13765404435546738185, vec![
		159,
	]),
	(14798156573429799956, vec![
		269,
	]),
	(10169611184302343176, vec![
		64,
	]),
	(4652842622637375742, vec![
		28,
	]),
	(15969750854649857412, vec![
		29,
	]),
	(2182808413372250178, vec![
		228,
	]),
	(13356381159944941859, vec![
		253,
	]),
	(6211083128631934059, vec![
		135,
	]),
	(15597422111246836578, vec![
		470,
	]),
	(8676156013664217792, vec![
		260,
	]),
	(4811844830587594779, vec![
		173,
	]),
	(830229730991989920, vec![
		432,
	]),
	(18142063883485116000, vec![
		150,
	]),
	(16775798483297425524, vec![
		120,
	]),
	(18215290921143556109, vec![
		234,
	]),
	(6887772498852956463, vec![
		339,
		340,
		341,
	]),
	(11892662810457821062, vec![
		110,
	]),
	(1274806670272848163, vec![
		515,
	]),
	(13238548633180965728, vec![
		6,
	]),
	(2780731808039734741, vec![
		191,
	]),
	(13106267774903083569, vec![
		371,
	]),
	(15912180035907409135, vec![
		414,
	]),
	(3461345947631937450, vec![
		199,
	]),
	(12886218670075934805, vec![
		301,
	]),
	(4670086693524199157, vec![
		51,
	]),
	(9304484752606211285, vec![
		42,
	]),
	(17576282126653919569, vec![
		322,
	]),
	(11581222032013198733, vec![
		471,
	]),
	(9119431764058161780, vec![
		24,
	]),
	(15237627579962085437, vec![
		146,
	]),
	(3105008472033157528, vec![
		155,
	]),
	(13895214438363258636, vec![
		475,
	]),
	(14485259080565133147, vec![
		370,
	]),
	(10847677667130023032, vec![
		141,
		142,
		143,
	]),
	(2457677323052291779, vec![
		402,
	]),
	(5681118073956198866, vec![
		197,
		198,
		199,
	]),
	(1934782719469532507, vec![
		484,
	]),
	(2193413790687498876, vec![
		74,
	]),
	(14791426143115051604, vec![
		524,
	]),
	(14300841869412831725, vec![
		397,
	]),
	(11824349065049963867, vec![
		260,
	]),
	(3910844551234589053, vec![
		521,
	]),
	(12301611486822273953, vec![
		246,
	]),
	(2330840449316996182, vec![
		442,
	]),
	(13691867419596144485, vec![
		416,
	]),
	(1142868621655564786, vec![
		479,
	]),
	(10954025981558123789, vec![
		92,
	]),
	(2928455554085207903, vec![
		97,
	]),
	(8264047260205972324, vec![
		378,
	]),
	(4745649570065622049, vec![
		102,
	]),
	(11674968429920041938, vec![
		217,
	]),
	(13268975617194277481, vec![
		143,
	]),
	(4136675196633180782, vec![
		378,
	]),
	(13420691285435266003, vec![
		400,
	]),
	(4738431017079885684, vec![
		346,
	]),
	(6091689606068893795, vec![
		27,
	]),
	(17437813572338677946, vec![
		143,
	]),
	(8056642978713896231, vec![
		102,
	]),
	(465678706155574150, vec![
		131,
	]),
	(7518455426581153237, vec![
		492,
	]),
	(13848902499848317015, vec![
		51,
	]),
	(1625895791949118091, vec![
		186,
	]),
	(13131177078900662839, vec![
		427,
	]),
	(4705482919734166078, vec![
		21,
		22,
		23,
	]),
	(9791268848926679365, vec![
		605,
	]),
	(13016603318931674695, vec![
		312,
	]),
	(18273719004437479036, vec![
		71,
	]),
	(8325429726251028570, vec![
		348,
	]),
	(16633483305706885087, vec![
		297,
		298,
		299,
		300,
	]),
	(4719391934773808095, vec![
		472,
	]),
	(10223975203150021936, vec![
		181,
	]),
	(883997058191012622, vec![
		122,
	]),
	(17564509091330371239, vec![
		313,
	]),
	(15755859607991302444, vec![
		37,
	]),
	(941881043081772614, vec![
		430,
	]),
	(8818462589839714986, vec![
		194,
	]),
	(8082131328270755, vec![
		478,
	]),
	(2047225685775807883, vec![
		506,
	]),
	(11634998521232305910, vec![
		518,
	]),
	(15665831108459428881, vec![
		387,
	]),
	(4397063797490833216, vec![
		45,
	]),
	(5697890616934422126, vec![
		593,
	]),
	(1875198359488474812, vec![
		72,
	]),
	(17591505688777731540, vec![
		311,
	]),
	(3388036326994119968, vec![
		8,
	]),
	(12948460403283363293, vec![
		442,
	]),
	(16107504405780812686, vec![
		71,
	]),
	(5385078764094292906, vec![
		30,
	]),
	(11384676131487978852, vec![
		164,
	]),
	(707933179746384400, vec![
		62,
	]),
	(1073784913810677612, vec![
		520,
	]),
	(5151521123932016886, vec![
		246,
	]),
	(7358980709075629320, vec![
		281,
	]),
	(14646063502509132710, vec![
		134,
	]),
	(13200270252414153831, vec![
		33,
	]),
	(9525814608727534026, vec![
		315,
	]),
	(18379067851166147395, vec![
		211,
	]),
	(16969225892745651075, vec![
		147,
	]),
	(8771706197390832840, vec![
		447,
	]),
	(11171356284913957577, vec![
		118,
		119,
	]),
	(4736650336454444463, vec![
		356,
	]),
	(6578124674365764503, vec![
		470,
	]),
	(16843239632119263558, vec![
		506,
	]),
	(14818485588247743581, vec![
		252,
	]),
	(13980034371776545302, vec![
		303,
	]),
	(10892851913323720886, vec![
		18,
	]),
	(14924892289035759186, vec![
		238,
	]),
	(2569354540291268361, vec![
		167,
	]),
	(14297940419408158136, vec![
		202,
	]),
	(12275986566722652964, vec![
		519,
	]),
	(9097776471623158710, vec![
		260,
	]),
	(8367706219591461181, vec![
		297,
		298,
		299,
		300,
	]),
	(10247785330207944785, vec![
		6,
	]),
	(7066252625282570035, vec![
		152,
	]),
	(16457122326262824531, vec![
		252,
	]),
	(17693869439726656401, vec![
		393,
	]),
	(587918194922343736, vec![
		88,
	]),
	(10724663645320942330, vec![
		146,
	]),
	(16217228563629289267, vec![
		438,
	]),
	(14186177806774298267, vec![
		124,
	]),
	(14074532644395663561, vec![
		471,
	]),
	(6386763338309337604, vec![
		515,
	]),
	(7374314718469617363, vec![
		520,
	]),
	(2442608207611289840, vec![
		7,
	]),
	(11115875992801224848, vec![
		560,
	]),
	(2551078279374101065, vec![
		444,
	]),
	(16209707740396444983, vec![
		521,
	]),
	(16006427125221099342, vec![
		457,
	]),
	(17019975359839386662, vec![
		548,
	]),
	(15645945934833109816, vec![
		134,
	]),
	(828968745507124919, vec![
		457,
	]),
	(9631420857970722293, vec![
		342,
	]),
	(13866596335574772818, vec![
		597,
	]),
	(9884640618194227703, vec![
		388,
	]),
	(13230707621168065625, vec![
		522,
	]),
	(10416953485263808622, vec![
		123,
		124,
		125,
		126,
		127,
		128,
	]),
	(16850318097413359134, vec![
		455,
	]),
	(11589377705073049330, vec![
		490,
		491,
	]),
	(1154393394176614649, vec![
		571,
	]),
	(1637308709086366521, vec![
		6,
	]),
	(3966118426439579497, vec![
		261,
		262,
		263,
		264,
		265,
		266,
		267,
		268,
		269,
		270,
		271,
		272,
		273,
		274,
		275,
		276,
		277,
		278,
		280,
		281,
		282,
		283,
		284,
		285,
		286,
		287,
		288,
		289,
		290,
		291,
		292,
		293,
		294,
		295,
		296,
		297,
		298,
		299,
		300,
		301,
		302,
		303,
		304,
	]),
	(3767564288322203450, vec![
		173,
	]),
	(7026976540699256943, vec![
		65,
	]),
	(8075051337571283695, vec![
		475,
	]),
	(11539157326806696364, vec![
		479,
	]),
	(4503892772929176847, vec![
		480,
	]),
	(10621788091637783240, vec![
		200,
	]),
	(12085685810894236826, vec![
		397,
	]),
	(15044107679710012184, vec![
		89,
		90,
		91,
	]),
	(18128550598604031786, vec![
		57,
	]),
	(14693513822687921312, vec![
		95,
	]),
	(18317670692459529392, vec![
		232,
	]),
	(659171059755605215, vec![
		1,
	]),
	(16699856621873682027, vec![
		103,
	]),
	(2732164182469700387, vec![
		360,
	]),
	(6466834828065134188, vec![
		479,
	]),
	(10168577256924776292, vec![
		484,
	]),
	(9328677687228061919, vec![
		503,
	]),
	(10069767277924790896, vec![
		590,
	]),
	(12626271656338512942, vec![
		357,
	]),
	(16811955915704435131, vec![
		216,
	]),
	(6242369917883282271, vec![
		484,
	]),
	(13220826230899412336, vec![
		432,
	]),
	(5921836917804910456, vec![
		472,
	]),
	(14520238940746268167, vec![
		213,
	]),
	(6496124399250370304, vec![
		432,
	]),
	(17138092982652858910, vec![
		525,
	]),
	(1902616995536767024, vec![
		189,
	]),
	(4182935111844575927, vec![
		305,
	]),
	(13070868622069129670, vec![
		500,
	]),
	(14597023791470319471, vec![
		482,
	]),
	(2032932118096556320, vec![
		66,
	]),
	(12361207169890291844, vec![
		572,
		573,
	]),
	(3805338468302131637, vec![
		2,
		3,
		4,
	]),
	(6454366566472390661, vec![
		406,
	]),
	(18186639063635928731, vec![
		321,
	]),
	(11161518270643218315, vec![
		478,
		479,
		480,
		481,
	]),
	(4367744087731410672, vec![
		199,
	]),
	(10680107046213212595, vec![
		52,
	]),
	(9280030556117349488, vec![
		380,
	]),
	(1154609855843157839, vec![
		152,
	]),
	(1134023204137360494, vec![
		193,
	]),
	(2095343071869394009, vec![
		385,
	]),
	(9602637438173727705, vec![
		100,
	]),
	(12546558695282711818, vec![
		136,
	]),
	(12444447883455104859, vec![
		488,
	]),
	(14304602270255849477, vec![
		564,
		565,
		566,
	]),
	(17014820216896227164, vec![
		145,
	]),
	(5014819344883216016, vec![
		525,
	]),
	(4340572331191788199, vec![
		378,
	]),
	(17684933668243321307, vec![
		189,
		190,
	]),
	(4793130471449074530, vec![
		215,
	]),
	(907396902978796460, vec![
		45,
	]),
	(2409612701588824853, vec![
		170,
	]),
	(2118315240568128018, vec![
		374,
	]),
	(5659778055361902387, vec![
		484,
	]),
	(11831229109064029186, vec![
		26,
	]),
	(3040311086478860116, vec![
		9,
		10,
		11,
	]),
	(6839260220205295797, vec![
		468,
	]),
	(10355634252406218451, vec![
		74,
	]),
	(14338818055026059353, vec![
		308,
	]),
	(15309827313384629870, vec![
		390,
	]),
	(10730893566508643376, vec![
		560,
	]),
	(7358062610069606082, vec![
		311,
	]),
	(5568738452656052990, vec![
		243,
	]),
	(17627697482149605412, vec![
		547,
	]),
	(13311790709310414724, vec![
		266,
	]),
	(12346110633471204472, vec![
		68,
	]),
	(12745633402126495932, vec![
		356,
	]),
	(3974483633374677366, vec![
		429,
	]),
	(17564430568349339266, vec![
		436,
	]),
	(10682801713013980354, vec![
		12,
	]),
	(11202622804341326545, vec![
		345,
	]),
	(13341048948759775071, vec![
		281,
	]),
	(14756410225744464643, vec![
		177,
	]),
	(7544082317848840271, vec![
		561,
	]),
	(15449989450294035578, vec![
		303,
	]),
	(3564944745281889095, vec![
		484,
	]),
	(6070610509496615920, vec![
		145,
	]),
	(2568688906359260860, vec![
		47,
		48,
		49,
		50,
		51,
		52,
	]),
	(17339741244926449281, vec![
		84,
		85,
		86,
	]),
	(3879712014331205325, vec![
		467,
	]),
	(6246996390149420699, vec![
		474,
	]),
	(12282875129417953421, vec![
		552,
	]),
	(2834226366712793020, vec![
		46,
	]),
	(13459291053230297650, vec![
		397,
	]),
	(10979657788286962711, vec![
		402,
	]),
	(13529974859036723421, vec![
		474,
	]),
	(10182684465091963546, vec![
		7,
	]),
	(14872363519306836992, vec![
		396,
	]),
	(4534414655840975330, vec![
		321,
	]),
	(1242084143005438233, vec![
		553,
	]),
	(17693909525165249647, vec![
		101,
	]),
	(2680128830957850953, vec![
		596,
	]),
	(9509719798734925136, vec![
		601,
	]),
	(862513976848864263, vec![
		128,
	]),
	(17876776191421245646, vec![
		102,
	]),
	(16485618088542539103, vec![
		175,
		176,
	]),
	(14060043289256769716, vec![
		392,
	]),
	(5966964890270289350, vec![
		112,
	]),
	(17673954744804688553, vec![
		14,
	]),
	(13644676863217970815, vec![
		165,
	]),
	(8638987239848668511, vec![
		241,
	]),
	(1346680238270148829, vec![
		177,
	]),
	(13045902741675617435, vec![
		57,
	]),
	(8914592095357595795, vec![
		300,
	]),
	(17929815566250452733, vec![
		56,
	]),
	(10483989004818113953, vec![
		220,
	]),
	(11785142477677078201, vec![
		115,
	]),
	(4778494644444317615, vec![
		243,
	]),
	(387536206061110395, vec![
		318,
	]),
	(9106199856275873618, vec![
		102,
	]),
	(13956583478505335943, vec![
		206,
		207,
	]),
	(12147749415729894906, vec![
		307,
	]),
	(6106506196435754230, vec![
		26,
	]),
	(8648467639436239273, vec![
		120,
	]),
	(2314168755265349659, vec![
		368,
	]),
	(8995527358138054655, vec![
		431,
	]),
	(10908902252395250053, vec![
		146,
	]),
	(15504007132530101863, vec![
		388,
	]),
	(14866806588102423173, vec![
		392,
	]),
	(10849216165481358131, vec![
		56,
		57,
	]),
	(17430159475746012588, vec![
		437,
	]),
	(3056555762991731623, vec![
		403,
	]),
	(7087503468959374249, vec![
		448,
	]),
	(3605087491411055707, vec![
		474,
	]),
	(3116365091641546091, vec![
		46,
	]),
	(15128903812599439408, vec![
		60,
	]),
	(12405981764404788152, vec![
		143,
	]),
	(2916200570974323569, vec![
		482,
	]),
	(8590084922289795536, vec![
		484,
	]),
	(1150875299689685294, vec![
		221,
	]),
	(777028764959648952, vec![
		512,
	]),
	(11350565614548872577, vec![
		234,
	]),
	(15066278771357904335, vec![
		315,
	]),
	(6845158006657003671, vec![
		393,
	]),
	(5330253621904162070, vec![
		241,
	]),
	(13339793554321902194, vec![
		254,
	]),
	(13028115696124524912, vec![
		525,
		526,
		527,
	]),
	(3194184876543139784, vec![
		587,
		588,
		589,
		590,
		591,
	]),
	(8922245742216117766, vec![
		522,
	]),
	(3766585491168079779, vec![
		436,
	]),
	(16029803417525895530, vec![
		500,
	]),
	(11818322768322134984, vec![
		501,
	]),
	(9343307783333709845, vec![
		347,
	]),
	(5790079563691159172, vec![
		456,
	]),
	(12124786067207930999, vec![
		154,
		155,
		156,
	]),
	(8319700384540141203, vec![
		368,
	]),
	(15970052827191765446, vec![
		464,
	]),
	(4844808011830134780, vec![
		28,
	]),
	(17033207802818836090, vec![
		104,
	]),
	(15906687284572018328, vec![
		492,
	]),
	(9159940330808398675, vec![
		494,
	]),
	(1694043633441877817, vec![
		559,
	]),
	(10723290394259534497, vec![
		28,
	]),
	(3138685957245694147, vec![
		6,
	]),
	(6882994342794679789, vec![
		571,
	]),
	(12466539974789945181, vec![
		144,
	]),
	(5931392229356490767, vec![
		487,
		488,
		489,
	]),
	(16525502338162080876, vec![
		33,
	]),
	(7608699415917758384, vec![
		149,
	]),
	(6414769008314855894, vec![
		122,
	]),
	(9318776151634697549, vec![
		188,
	]),
	(9883334558209148780, vec![
		449,
	]),
	(11631406793893185745, vec![
		484,
	]),
	(16653736034410532394, vec![
		378,
	]),
	(13248572587600037995, vec![
		396,
	]),
	(5501979451776918540, vec![
		168,
	]),
	(6600982714289556030, vec![
		431,
	]),
	(4799042901157348288, vec![
		510,
	]),
	(15620139997934199767, vec![
		304,
	]),
	(2451710739667521335, vec![
		268,
	]),
	(16902271556195605856, vec![
		368,
	]),
	(13883760720641199442, vec![
		142,
		143,
	]),
	(10742546001376441658, vec![
		185,
	]),
	(2325955755371741601, vec![
		278,
	]),
	(16770463419587675886, vec![
		338,
	]),
	(8437817501719368401, vec![
		137,
		138,
		139,
		140,
		141,
		142,
		143,
		144,
		145,
		146,
		147,
		148,
		149,
	]),
	(5579930259546039633, vec![
		160,
		161,
	]),
	(3695763525117419580, vec![
		20,
	]),
	(10795148528837448606, vec![
		124,
	]),
	(17564290076745044846, vec![
		171,
	]),
	(9900413353803627425, vec![
		185,
	]),
	(9003811032258834466, vec![
		234,
	]),
	(9013540360413500721, vec![
		251,
	]),
	(9324448698002172293, vec![
		297,
		298,
		299,
		300,
	]),
	(7928778601508100024, vec![
		397,
	]),
	(2727678783540762019, vec![
		417,
	]),
	(5400426015000737613, vec![
		383,
	]),
	(8175098331095678797, vec![
		31,
	]),
	(2691655072949369447, vec![
		278,
	]),
	(9912556269428742542, vec![
		453,
	]),
	(5862076473372236334, vec![
		114,
	]),
	(7900857308759123896, vec![
		242,
	]),
	(1696308338023079133, vec![
		272,
	]),
	(5119177092435655103, vec![
		476,
	]),
	(11778870209334576883, vec![
		195,
	]),
	(3512434408872687463, vec![
		227,
	]),
	(18148988757798332556, vec![
		194,
	]),
	(31855129211841598, vec![
		490,
	]),
	(1112286540250054015, vec![
		97,
	]),
	(9969030501374010083, vec![
		238,
	]),
	(17540780972746903971, vec![
		397,
	]),
	(9525542414226004430, vec![
		102,
	]),
	(17937284703163524276, vec![
		174,
	]),
	(359007494472300511, vec![
		300,
	]),
	(15811082198503929907, vec![
		403,
	]),
	(16352699555665047570, vec![
		199,
	]),
	(6837051325481472891, vec![
		245,
		246,
	]),
	(7296901145096182651, vec![
		102,
	]),
	(1375542819557811912, vec![
		404,
		405,
		406,
		407,
		408,
	]),
	(5795054186194887777, vec![
		416,
	]),
	(6692131718429941426, vec![
		148,
	]),
	(3857528696125827731, vec![
		19,
	]),
	(11859534109865931526, vec![
		408,
	]),
	(1342958469249647216, vec![
		214,
		215,
	]),
	(2252431105398847394, vec![
		57,
	]),
	(4240423434381519815, vec![
		160,
		161,
	]),
	(11696400723644253385, vec![
		425,
	]),
	(12378310149363628265, vec![
		483,
	]),
	(5199656102743921699, vec![
		106,
	]),
	(11596436779583559064, vec![
		561,
	]),
	(3854793637508459906, vec![
		148,
	]),
	(15896381545550397166, vec![
		203,
	]),
	(391733045441993833, vec![
		218,
	]),
	(10125423782910601920, vec![
		143,
	]),
	(9769173411879755412, vec![
		303,
	]),
	(6824479972562287603, vec![
		390,
	]),
	(12215580032865521132, vec![
		466,
	]),
	(1023128717419928962, vec![
		70,
	]),
	(15429681292878274543, vec![
		122,
	]),
	(7153096792485848011, vec![
		515,
	]),
	(814280727201148701, vec![
		301,
	]),
	(1483837901232035612, vec![
		513,
	]),
	(15503240507450028540, vec![
		278,
	]),
	(9236069081488831149, vec![
		31,
		32,
	]),
	(11261337435942169752, vec![
		108,
		109,
	]),
	(1364446196618597251, vec![
		401,
	]),
	(6775753732029983543, vec![
		168,
	]),
	(18147054992862708683, vec![
		57,
	]),
	(2657772545442540366, vec![
		243,
	]),
	(17956431611583823894, vec![
		21,
	]),
	(17852853619558039168, vec![
		183,
	]),
	(16137797021965248464, vec![
		368,
	]),
	(13485434777724492547, vec![
		449,
	]),
	(782841149998528142, vec![
		8,
	]),
	(11073454226511891396, vec![
		95,
	]),
	(2412487720480350754, vec![
		391,
	]),
	(598473578017993811, vec![
		181,
	]),
	(15523915849450775628, vec![
		562,
	]),
	(17662424793581060742, vec![
		525,
	]),
	(14835744289751998834, vec![
		578,
	]),
	(8792827097189053615, vec![
		596,
	]),
	(18027835963438145912, vec![
		506,
	]),
	(12945244095109589727, vec![
		66,
	]),
	(8931085353597058010, vec![
		264,
	]),
	(1365714251589085571, vec![
		306,
	]),
	(569900539994186765, vec![
		34,
	]),
	(3547096200051887482, vec![
		371,
	]),
	(482107250554422175, vec![
		346,
	]),
	(6241024719037869097, vec![
		143,
	]),
	(3439969377480224426, vec![
		387,
	]),
	(10603232474916686084, vec![
		412,
	]),
	(9691328952608733329, vec![
		6,
	]),
	(11327459543071502011, vec![
		208,
	]),
	(17057274420038617917, vec![
		339,
	]),
	(7196455382204013512, vec![
		354,
	]),
	(5668949690517548595, vec![
		597,
	]),
	(4341722631849076935, vec![
		202,
	]),
	(6351970506625093154, vec![
		68,
		279,
	]),
	(15753168607385485490, vec![
		29,
		30,
	]),
	(3704851558728367741, vec![
		436,
	]),
	(10646384418129998523, vec![
		378,
	]),
	(6975281834814209583, vec![
		383,
	]),
	(6511629692088877267, vec![
		521,
	]),
	(3263298704799536468, vec![
		395,
	]),
	(9579509737718158643, vec![
		378,
	]),
	(6674624801627919658, vec![
		591,
	]),
	(5748873358104931267, vec![
		458,
	]),
	(11132762285259086800, vec![
		100,
	]),
	(10199228660272038036, vec![
		385,
	]),
	(93091086198927508, vec![
		233,
	]),
	(15386089840942970553, vec![
		29,
		30,
	]),
	(3740324167433036024, vec![
		189,
	]),
	(2707123547365099898, vec![
		69,
	]),
	(18025255681002434857, vec![
		245,
	]),
	(4458767051372742066, vec![
		122,
	]),
	(6618315909820292159, vec![
		345,
	]),
	(1135331394704118232, vec![
		459,
		460,
	]),
	(8747746295756361250, vec![
		305,
	]),
	(18278400146310376457, vec![
		171,
	]),
	(14323098175524940349, vec![
		398,
	]),
	(1055206430871388234, vec![
		32,
	]),
	(11710162165323770340, vec![
		178,
	]),
	(15450550008431201505, vec![
		554,
	]),
	(9860429615639183967, vec![
		15,
		17,
		20,
	]),
	(13535958239710163562, vec![
		458,
	]),
	(13021648819088999685, vec![
		70,
	]),
	(4548149751003468920, vec![
		430,
	]),
	(4736453354035322963, vec![
		105,
	]),
	(4268189078982648199, vec![
		370,
	]),
	(7220661972882528779, vec![
		437,
	]),
	(11962733814110819988, vec![
		579,
	]),
	(16708952053525372839, vec![
		383,
	]),
	(4840777849518756548, vec![
		199,
	]),
	(9363065672520778130, vec![
		114,
	]),
	(4059071242875176221, vec![
		162,
	]),
	(1726333640198156221, vec![
		141,
		142,
		143,
	]),
	(16838218385705062298, vec![
		383,
	]),
	(9033530341478416026, vec![
		421,
	]),
	(12719349113805967109, vec![
		170,
	]),
	(11903626106676385153, vec![
		25,
	]),
	(5610368851982435305, vec![
		457,
	]),
	(10620125823544456604, vec![
		577,
	]),
	(8523170110217576910, vec![
		12,
		13,
		14,
	]),
	(11081617384253691616, vec![
		66,
	]),
	(9699633680098755081, vec![
		414,
		415,
	]),
	(955083833945147744, vec![
		475,
	]),
	(9737756115594588259, vec![
		153,
		154,
		155,
		156,
		157,
		158,
		159,
		160,
		161,
		162,
		163,
		164,
		165,
		166,
		167,
	]),
	(12277632862079866424, vec![
		309,
	]),
	(12577387018806012749, vec![
		239,
	]),
	(8588578383942248, vec![
		385,
	]),
	(18402065299479118530, vec![
		403,
	]),
	(3345146476466128008, vec![
		481,
	]),
	(5331408361124508608, vec![
		122,
	]),
	(16178088487748086538, vec![
		522,
	]),
	(4916470320174481473, vec![
		246,
	]),
	(8912693380416881870, vec![
		482,
	]),
	(15008211228261716780, vec![
		490,
	]),
	(11816856889770698986, vec![
		446,
		447,
	]),
	(1344075117043818276, vec![
		552,
	]),
	(15481719785235042154, vec![
		512,
	]),
	(6335276437194952434, vec![
		133,
	]),
	(11960352130095127080, vec![
		200,
		201,
	]),
	(14043495702398083385, vec![
		355,
	]),
	(4771813073759659256, vec![
		467,
	]),
	(15617584049082131146, vec![
		432,
	]),
	(11918214444243019492, vec![
		170,
	]),
	(2580472791703961665, vec![
		559,
	]),
	(357512802038182167, vec![
		397,
	]),
	(11817454478580271725, vec![
		482,
	]),
	(8178486381417202552, vec![
		205,
		212,
	]),
	(12157366657611178588, vec![
		46,
	]),
	(15521046999252245313, vec![
		165,
		166,
	]),
	(7638367997481011767, vec![
		520,
	]),
	(7672691225844459309, vec![
		174,
	]),
	(14174830631745782013, vec![
		495,
	]),
	(16134916337200293044, vec![
		41,
	]),
	(7414359476807575722, vec![
		125,
	]),
	(16159469689617652094, vec![
		239,
	]),
	(1705401987683417602, vec![
		264,
	]),
	(4357705507637342455, vec![
		323,
		324,
		325,
		326,
		327,
		328,
		329,
		330,
		331,
		332,
		333,
		334,
		335,
		336,
		337,
		338,
		339,
		340,
		341,
	]),
	(3772272836722653299, vec![
		409,
	]),
	(17130268642285891655, vec![
		432,
	]),
	(4870476502480324138, vec![
		490,
	]),
	(17580513750501527679, vec![
		515,
	]),
	(3288630749305634230, vec![
		465,
	]),
	(14468683235335200938, vec![
		49,
		50,
		51,
	]),
	(9638185616030707045, vec![
		209,
	]),
	(17493709871361318776, vec![
		394,
	]),
	(1969410999312029560, vec![
		402,
	]),
	(10473846517213582728, vec![
		297,
		298,
		299,
		300,
	]),
	(1917576116852090182, vec![
		142,
		143,
	]),
	(6239114194990833032, vec![
		21,
	]),
	(12392806013456990538, vec![
		199,
	]),
	(15482925573205555671, vec![
		116,
	]),
	(12394111292951735778, vec![
		596,
	]),
	(12580791926960099252, vec![
		356,
	]),
	(7109969948470604177, vec![
		410,
	]),
	(922751097906334229, vec![
		218,
	]),
	(17999352709565103344, vec![
		232,
	]),
	(9337016251427517829, vec![
		168,
		169,
		170,
		171,
		172,
		173,
		174,
		175,
		176,
		177,
		178,
	]),
	(4124787613375919110, vec![
		248,
	]),
	(5136213363541946810, vec![
		305,
	]),
	(5132289436021577015, vec![
		386,
	]),
	(7291235611755823043, vec![
		398,
	]),
	(9229006814457070316, vec![
		480,
	]),
	(6721758277985134607, vec![
		42,
	]),
	(8162050354940591468, vec![
		439,
	]),
	(7574797905806005671, vec![
		19,
	]),
	(3022675860996527358, vec![
		113,
	]),
	(330615301459344989, vec![
		143,
	]),
	(5424927540478609459, vec![
		524,
	]),
	(13911672637818361291, vec![
		264,
	]),
	(4358553431260522964, vec![
		407,
	]),
	(11966088876287462046, vec![
		64,
	]),
	(15897322656940426426, vec![
		521,
	]),
	(12595597839196897813, vec![
		429,
	]),
	(1107565941989200214, vec![
		286,
	]),
	(2704663792849266185, vec![
		473,
	]),
	(13403841474711554210, vec![
		313,
	]),
	(13038777794198480093, vec![
		122,
	]),
	(6350130953785667436, vec![
		415,
	]),
	(18362946497718433120, vec![
		420,
	]),
	(3714173103970501869, vec![
		424,
		425,
	]),
	(1702402599928794652, vec![
		63,
	]),
	(10344516887181481518, vec![
		72,
	]),
	(1091962199628041489, vec![
		111,
	]),
	(4396495595639530291, vec![
		148,
	]),
	(12876252727136902643, vec![
		457,
	]),
	(3066276095274362300, vec![
		361,
		362,
		363,
		364,
		365,
		366,
		367,
	]),
	(16881620254492753318, vec![
		393,
	]),
	(3917014286299448889, vec![
		310,
	]),
	(16612684106878352088, vec![
		285,
	]),
	(5347195643131161022, vec![
		438,
	]),
	(15833037912204555900, vec![
		407,
	]),
	(10099256402068959323, vec![
		245,
	]),
	(2629719380105089168, vec![
		133,
	]),
	(15721300221030051542, vec![
		248,
	]),
	(7785127480691718485, vec![
		452,
	]),
	(2300353277626347050, vec![
		65,
	]),
	(3137539387207012540, vec![
		479,
	]),
	(12170514494776390556, vec![
		515,
	]),
	(4700525774579026377, vec![
		141,
		142,
		143,
	]),
	(15039338469102447075, vec![
		71,
	]),
	(16413613722159226158, vec![
		178,
	]),
	(15775747552209061825, vec![
		323,
		324,
		325,
		326,
		327,
		328,
		329,
		330,
		331,
		332,
		333,
		334,
		335,
		336,
		337,
		338,
		339,
		340,
		341,
		342,
		343,
		344,
		345,
	]),
	(15501346501420403840, vec![
		361,
		362,
		363,
		364,
		365,
		366,
		367,
	]),
	(14017476023686352242, vec![
		91,
	]),
	(11484340686698227446, vec![
		426,
	]),
	(3298262508624310344, vec![
		552,
		553,
	]),
	(11910028971536473490, vec![
		553,
	]),
	(9740564166140264003, vec![
		26,
	]),
	(13216971853538659379, vec![
		216,
	]),
	(4514462768586793328, vec![
		406,
		407,
	]),
	(17539345133283016078, vec![
		194,
	]),
	(12514798705205621061, vec![
		54,
	]),
	(14101029045925211454, vec![
		136,
	]),
	(15396357367604167756, vec![
		150,
	]),
	(15950445272365374401, vec![
		56,
	]),
	(17789021408017140707, vec![
		526,
	]),
	(12529435144885798432, vec![
		560,
	]),
	(11991824835951020629, vec![
		388,
	]),
	(4437628652112295550, vec![
		489,
	]),
	(177042301552483903, vec![
		55,
	]),
	(4973993757147341997, vec![
		484,
	]),
	(6852135183678282987, vec![
		179,
	]),
	(14513126935813714736, vec![
		229,
	]),
	(12813459508540065671, vec![
		272,
	]),
	(3703397006897960135, vec![
		16,
	]),
	(1941796294280836144, vec![
		357,
	]),
	(246223021230727814, vec![
		74,
	]),
	(6884762938395473402, vec![
		53,
		54,
	]),
	(8638401277709556091, vec![
		115,
	]),
	(12820134399662098489, vec![
		380,
	]),
]));