l_e9 := [ 16007903438, 16008031038, 16006780888, 16008157188, 16007468545, 16007385650, 16007480299, 16007748082, 16008008086, 
16007644441, 16007598667, 16006777820, 16007054877, 16007773915, 16007872991, 16007655816, 16007561901, 16008047152, 
16008013160, 16008746723, 16007184786, 16008403569, 16008069772, 16007839358, 16007350245, 16008409701, 16008472489, 
16007819275, 16007239324, 16008335700, 16007260120, 16007719904, 16008549873, 16008512307, 16007700749, 16008379197, 
16008515872, 16007898575, 16008110437, 16007403167, 16007231101, 16007700981, 16008150178, 16008919330, 16007194317, 
16007478691, 16007448397, 16007125273, 16007560029, 16007829402, 16007561269, 16008098322, 16008404584, 16007554522, 
16008346466, 16008598452, 16007839908, 16008196805, 16008228013, 16007384805, 16007212670, 16006988062, 16007218096, 
16007459410, 16008195399, 16007661812, 16008028320, 16008155594, 16008334181, 16008360398, 16007450057, 16007793275, 
16007934025, 16007267903, 16007435838, 16007550203, 16008454966, 16006850328, 16007509413, 16007599620, 16007573292, 
16007880179, 16007494531, 16008389451, 16007932792, 16008185103, 16007219936, 16007405647, 16007382192, 16008289234, 
16007486758, 16007331162, 16008127972, 16008069231, 16008603256, 16008187829, 16008330581, 16007398125, 16007908743, 
16007558020, 16007893566, 16008338835, 16007073079, 16008374457, 16008050399, 16008001214, 16007519557, 16007325191, 
16008494001, 16008531808, 16008432551, 16008096193, 16007695332, 16008021788, 16007268277, 16007128095, 16007954676, 
16008567050, 16007918405, 16008256475, 16008156731, 16007986605, 16007666564, 16007637505, 16008281245, 16007855944, 
16008018755, 16008359494, 16007032235, 16007972769, 16008753965, 16009102497, 16006791864, 16008310765, 16007566399, 
16008168409, 16007633254, 16007024984, 16008033794, 16007106902, 16007477823, 16008239494, 16007923997, 16008352456, 
16008230344, 16007505912, 16007545002, 16007576560, 16007413128, 16007248430, 16007794234, 16008545735, 16008685541, 
16007794758, 16007665232, 16007877470, 16007444198, 16007312310, 16007547856, 16007858793, 16008703885, 16008060454, 
16008360978, 16007386100, 16007450852, 16008733368, 16007399705, 16007825494, 16007652486, 16007874271, 16007386297, 
16008039657, 16009021690, 16008440971, 16007387215, 16007768434, 16007685403, 16007972030, 16006392230, 16007659653, 
16007997429, 16007727502, 16007256577, 16008880884, 16007623598, 16007844220, 16008037500, 16007692769, 16007842514, 
16007294200, 16008092162, 16006810574, 16007315730, 16007832583, 16007989305, 16008009016, 16007728106, 16007917658, 
16007801433, 16008189467, 16006693617, 16007790137, 16008102441, 16007649092, 16007347438, 16006461569, 16008389887, 
16007730845, 16007984835, 16007883658, 16007699310, 16008056233, 16008269733, 16008069269, 16007508678, 16007829225, 
16008106860, 16008244758, 16008783770, 16008568033, 16007358689, 16008197231, 16007427078, 16008685800, 16007187002, 
16007931315, 16007602094, 16008252824, 16008272626, 16006497245, 16006980821, 16007794985, 16007995970, 16007156079, 
16007414023, 16007878903, 16007208912, 16007588031, 16007711626, 16007245148, 16009330719, 16007500259, 16008274262, 
16006973657, 16007354938, 16007709665, 16008021976, 16008127852, 16007568448, 16007114028, 16008576673, 16007361364, 
16007889397, 16007950213, 16006266656, 16007530230, 16008263101, 16007386836, 16007328745, 16008447791, 16008096095, 
16008556201, 16007672852, 16008115732, 16007981455, 16008207492, 16008333293, 16007176934, 16007628135, 16007719943, 
16007749988, 16007528037, 16008548578, 16008616831, 16007696470, 16007917261, 16009189478, 16007788517, 16008225152, 
16007783006, 16008305974, 16007936029, 16006839311, 16007505099, 16008073956, 16007212180, 16007776514, 16008412823, 
16008132400, 16007309588, 16008639977, 16008298461, 16008373841, 16008032779, 16008250387, 16007117415, 16007791094, 
16007563129, 16007815097, 16008183182, 16007927897, 16007518161, 16008242827, 16008099284, 16008187603, 16007880234, 
16007866869, 16008057880, 16007575081, 16007787255, 16007057180, 16007962306, 16008265107, 16008383531, 16007351603, 
16007722514, 16008997519, 16007587411, 16007331259, 16008312840, 16008451331, 16008475428, 16006987770, 16007071385, 
16007625098, 16008149703, 16008082476, 16008465563, 16008633658, 16008928238, 16008456554, 16007252741, 16007313058, 
16008479935, 16007988126, 16006976710, 16007643889, 16008789011, 16008451920, 16007419185, 16007794136, 16007442315, 
16008180559, 16006878735, 16008460457, 16007146978, 16008085035, 16008252004, 16007548298, 16008188761, 16007462262, 
16007452483, 16007907323, 16008103053, 16007130547, 16008709190, 16007111288, 16007240555, 16007757179, 16007743719, 
16007130214, 16008419993, 16008064913, 16006972244, 16006861209, 16007563248, 16007285853, 16007348671, 16007584558, 
16007703197, 16008311125, 16007980501, 16007553078, 16007569404, 16008622058, 16006980514, 16007256339, 16007730047, 
16008096748, 16007512263, 16007902106, 16008570443, 16007836207, 16008158978, 16008103067, 16007191243, 16007258065, 
16008148514, 16008014331, 16007459537, 16006982093, 16007336942, 16008013520, 16008040531, 16007687780, 16007116066, 
16007674539, 16009460795, 16007407808, 16008449373 ];

