#![allow(dead_code)]
use time::OffsetDateTime;
pub fn tweet_time(id: u128) -> OffsetDateTime {
if id <= 29700859247 {
id_pre_snowflake(id)
} else {
id_post_snowflake(id)
}
}
fn id_post_snowflake(id: u128) -> OffsetDateTime {
let id = id as i64;
let offset = 1288834974657;
let timestamp = (id >> 22) + offset;
OffsetDateTime::from_unix_timestamp(timestamp).unwrap()
}
fn id_pre_snowflake(id: u128) -> OffsetDateTime {
let id = id as u64;
OffsetDateTime::from_unix_timestamp(lookup_interp(id)).unwrap()
}
fn lookup_interp(id: u64) -> i64 {
assert!(id <= 29700859247);
let pivot = TWEET_TIMELINE.partition_point(|&x| x.0 < id);
match pivot {
1..=2361 => {
let x = (TWEET_TIMELINE[pivot - 1].0, TWEET_TIMELINE[pivot].0);
let y = (TWEET_TIMELINE[pivot - 1].1, TWEET_TIMELINE[pivot].1);
y.0 + ((id - x.0) as f64 * ((y.1 - y.0) as f64 / (x.1 - x.0) as f64)) as i64
}
0 => TWEET_TIMELINE[0].1,
2362 => TWEET_TIMELINE[2361].1,
_ => unreachable!(),
}
}
#[cfg(test)]
mod test {
use super::*;
#[test]
fn test_0() {
assert_eq!(lookup_interp(0), 1142974214);
}
#[test]
fn test_max() {
assert_eq!(lookup_interp(29700859247), 1288904568);
}
#[test]
fn test() {
assert_eq!(lookup_interp(20), 1142974214);
assert_eq!(lookup_interp(75), 1142985109);
assert!(lookup_interp(50) > 1142974214 && lookup_interp(50) < 1142985109);
}
#[test]
#[should_panic]
fn test_past_max() {
lookup_interp(29700859248);
}
}
static TWEET_TIMELINE: [(u64, i64); 2362] = [
(20, 1142974214),
(75, 1142985109),
(108, 1143043585),
(130, 1143073466),
(185, 1143145785),
(241, 1143172766),
(268, 1143229581),
(296, 1143259299),
(351, 1143333417),
(406, 1143408614),
(462, 1143483654),
(517, 1143564321),
(573, 1143606259),
(628, 1143668144),
(684, 1143740221),
(711, 1143776776),
(739, 1143831797),
(794, 1143862357),
(905, 1143933505),
(961, 1143963209),
(1017, 1144025913),
(1129, 1144104883),
(1244, 1144179678),
(1298, 1144211932),
(1353, 1144280493),
(1407, 1144362992),
(1462, 1144415239),
(1572, 1144479519),
(1626, 1144550422),
(1681, 1144616067),
(1740, 1144698485),
(1791, 1144734508),
(1903, 1144820535),
(1958, 1144876037),
(2014, 1144940817),
(2124, 1144996935),
(2184, 1145059469),
(2234, 1145126946),
(2289, 1145170952),
(2317, 1145226747),
(2345, 1145290549),
(2400, 1145370285),
(2456, 1145427490),
(2511, 1145498651),
(2566, 1145584379),
(2627, 1145652555),
(2676, 1145738417),
(2733, 1145774823),
(2760, 1145836891),
(2788, 1145923173),
(2816, 1145997196),
(2844, 1146025211),
(2873, 1146092345),
(2901, 1146156825),
(2929, 1146194525),
(2956, 1146244307),
(3011, 1146267658),
(3118, 1146336837),
(3174, 1146376444),
(3231, 1146460861),
(3288, 1146528624),
(3344, 1146595092),
(3400, 1146628126),
(3452, 1146697859),
(3507, 1146762283),
(3561, 1146797150),
(3616, 1146867165),
(3671, 1146898968),
(3698, 1146962653),
(3726, 1146985638),
(3756, 1147037656),
(3782, 1147105980),
(3838, 1147151012),
(3893, 1147212166),
(3948, 1147241102),
(4004, 1147307926),
(4116, 1147382087),
(4171, 1147413392),
(4226, 1147477971),
(4281, 1147554687),
(4336, 1147607719),
(4391, 1147670928),
(4447, 1147727916),
(4503, 1147783356),
(4531, 1147824440),
(4559, 1147899747),
(4613, 1147961776),
(4668, 1147993674),
(4723, 1148044757),
(4778, 1148081553),
(4833, 1148133658),
(4889, 1148183198),
(4944, 1148256267),
(4999, 1148341269),
(5054, 1148417717),
(5110, 1148491427),
(5165, 1148520037),
(5193, 1148575863),
(5220, 1148606657),
(5275, 1148670895),
(5331, 1148701980),
(5386, 1148763773),
(5441, 1148802904),
(5552, 1148871239),
(5612, 1148956793),
(5663, 1149036449),
(5719, 1149107329),
(5774, 1149144889),
(5832, 1149222009),
(5885, 1149298471),
(5941, 1149362314),
(5995, 1149401237),
(6050, 1149474089),
(6106, 1149558377),
(6162, 1149640623),
(6216, 1149722238),
(6272, 1149790204),
(6327, 1149825578),
(6383, 1149892826),
(6410, 1149927129),
(6438, 1149986909),
(6496, 1150069950),
(6550, 1150143520),
(6578, 1150174887),
(6607, 1150236449),
(6660, 1150309033),
(6715, 1150343641),
(6771, 1150407512),
(6829, 1150435710),
(6883, 1150498045),
(6937, 1150566550),
(6964, 1150589318),
(6992, 1150657866),
(7047, 1150702939),
(7102, 1150765035),
(7157, 1150825229),
(7213, 1150864134),
(7324, 1150947532),
(7380, 1151007837),
(7434, 1151038329),
(7489, 1151098286),
(7545, 1151126773),
(7655, 1151207884),
(7766, 1151282994),
(7822, 1151349496),
(7877, 1151383348),
(7933, 1151451859),
(7988, 1151510311),
(8098, 1151564553),
(8209, 1151649611),
(8319, 1151728712),
(8430, 1151808799),
(8497, 1151871691),
(8544, 1151900791),
(8603, 1151976321),
(8651, 1152040464),
(8761, 1152085720),
(8816, 1152136516),
(8872, 1152197843),
(8928, 1152230415),
(8984, 1152291211),
(9040, 1152322710),
(9096, 1152395113),
(9151, 1152422813),
(9206, 1152482850),
(9261, 1152509787),
(9316, 1152570328),
(9372, 1152617741),
(9427, 1152659995),
(9538, 1152730660),
(9648, 1152765740),
(9758, 1152825804),
(9981, 1152893706),
(10203, 1152936547),
(10423, 1153011794),
(10643, 1153080678),
(10864, 1153140397),
(11086, 1153179202),
(11528, 1153261101),
(11971, 1153344203),
(12194, 1153390455),
(12414, 1153439338),
(12636, 1153499681),
(12856, 1153532458),
(13077, 1153601198),
(13188, 1153633715),
(13299, 1153698662),
(13520, 1153772743),
(13630, 1153826058),
(13741, 1153863892),
(13965, 1153946952),
(14184, 1154012311),
(14474, 1154098050),
(14761, 1154155149),
(14905, 1154217114),
(15049, 1154292389),
(15193, 1154363852),
(15337, 1154396103),
(15481, 1154455402),
(15626, 1154487892),
(15770, 1154547839),
(15915, 1154580473),
(16060, 1154634782),
(16203, 1154701873),
(16349, 1154739890),
(16491, 1154805182),
(16635, 1154876848),
(16707, 1154907425),
(16780, 1154963862),
(16925, 1155009895),
(17070, 1155090881),
(17215, 1155167437),
(17361, 1155242989),
(17506, 1155314156),
(17648, 1155366148),
(17725, 1155423099),
(17796, 1155485768),
(17868, 1155534769),
(17940, 1155582746),
(18085, 1155665287),
(18230, 1155729233),
(18373, 1155765738),
(18514, 1155831805),
(18656, 1155887754),
(18798, 1155963868),
(18867, 1156021684),
(18932, 1156054796),
(19066, 1156127258),
(19202, 1156188188),
(19335, 1156221201),
(19469, 1156275962),
(19604, 1156314667),
(19872, 1156397264),
(20143, 1156465138),
(20411, 1156539556),
(20678, 1156617466),
(20946, 1156699638),
(22670, 1156701849),
(22921, 1156787635),
(23172, 1156818401),
(23253, 1156839756),
(23413, 1156885210),
(23722, 1156967208),
(24032, 1157039739),
(24339, 1157088495),
(24647, 1157168014),
(24802, 1157219870),
(24957, 1157258634),
(25264, 1157344427),
(25573, 1157411563),
(25881, 1157490214),
(26191, 1157558018),
(26499, 1157626096),
(26808, 1157671803),
(27118, 1157719413),
(27431, 1157755208),
(27737, 1157813814),
(28042, 1157862250),
(28348, 1157925856),
(28790, 1158009022),
(29233, 1158080857),
(29676, 1158149521),
(30118, 1158210921),
(30560, 1158274392),
(31003, 1158346836),
(31224, 1158380042),
(31446, 1158437853),
(31667, 1158511958),
(31889, 1158560573),
(32111, 1158609725),
(32331, 1158652889),
(32774, 1158728955),
(33216, 1158810312),
(33659, 1158895171),
(34102, 1158981321),
(34323, 1159050294),
(34545, 1159109311),
(34769, 1159162775),
(34989, 1159208487),
(35209, 1159251971),
(35430, 1159297055),
(35872, 1159374651),
(36315, 1159460745),
(36757, 1159539960),
(37200, 1159618402),
(37422, 1159659811),
(37645, 1159729006),
(37865, 1159796825),
(38086, 1159834735),
(38307, 1159893222),
(38529, 1159930751),
(38750, 1159988820),
(38971, 1160032602),
(39413, 1160115325),
(39636, 1160170766),
(39856, 1160214128),
(40077, 1160263978),
(40299, 1160333984),
(40520, 1160395577),
(40742, 1160433858),
(41185, 1160515894),
(41628, 1160570928),
(42071, 1160624060),
(42513, 1160695869),
(42736, 1160753371),
(42956, 1160788898),
(43398, 1160870794),
(43620, 1160927387),
(43843, 1160967637),
(44064, 1161022669),
(44283, 1161066030),
(44504, 1161113017),
(44725, 1161154965),
(44947, 1161204026),
(45168, 1161254490),
(45610, 1161321810),
(46053, 1161393993),
(46274, 1161453110),
(46496, 1161484227),
(46717, 1161540175),
(46939, 1161598502),
(47382, 1161661565),
(47823, 1161725408),
(48265, 1161796110),
(48708, 1161851630),
(49594, 1161916757),
(50479, 1161992831),
(50921, 1162054691),
(51364, 1162106876),
(51809, 1162166291),
(52250, 1162223999),
(52695, 1162261596),
(53135, 1162320825),
(54020, 1162405226),
(54466, 1162452904),
(54905, 1162496301),
(55347, 1162538298),
(55790, 1162590414),
(56234, 1162654334),
(56676, 1162718734),
(57121, 1162775605),
(57562, 1162836418),
(58006, 1162889410),
(58448, 1162932643),
(59334, 1162988827),
(60221, 1163035954),
(61107, 1163102015),
(61994, 1163169455),
(62881, 1163247068),
(63767, 1163329017),
(64654, 1163409027),
(65541, 1163473981),
(66428, 1163532813),
(67315, 1163588987),
(69086, 1163672581),
(70858, 1163756968),
(72629, 1163824710),
(73515, 1163882587),
(74401, 1163928670),
(75293, 1163974966),
(76174, 1164023788),
(77945, 1164068904),
(81492, 1164153956),
(85033, 1164173401),
(113333, 1164225575),
(141663, 1164275236),
(169983, 1164322223),
(198313, 1164395923),
(226633, 1164475726),
(254963, 1164551530),
(283283, 1164592645),
(339933, 1164677195),
(396603, 1164760912),
(453233, 1164840674),
(481563, 1164903049),
(509893, 1164945634),
(538223, 1165008276),
(566553, 1165083122),
(580723, 1165115648),
(594883, 1165171599),
(623203, 1165240831),
(651523, 1165277246),
(679843, 1165341244),
(736493, 1165425942),
(764843, 1165460952),
(793143, 1165517400),
(821483, 1165554559),
(849793, 1165605103),
(878123, 1165673038),
(906433, 1165744227),
(934783, 1165807886),
(963113, 1165863462),
(991453, 1165910058),
(1019763, 1165955393),
(1076403, 1166040523),
(1133043, 1166124770),
(1189693, 1166205759),
(1218033, 1166247896),
(1246343, 1166309134),
(1274673, 1166378938),
(1303003, 1166440664),
(1359643, 1166523873),
(1416303, 1166595144),
(1444633, 1166650874),
(1472963, 1166695033),
(1529623, 1166764816),
(1557943, 1166815021),
(1586263, 1166868360),
(1614593, 1166925285),
(1642913, 1166996227),
(1671253, 1167071830),
(1699553, 1167153921),
(1727893, 1167215561),
(1756203, 1167264629),
(1784523, 1167330405),
(1812833, 1167384979),
(1841163, 1167439275),
(1869493, 1167510478),
(1897823, 1167575550),
(1926143, 1167628123),
(1954483, 1167689811),
(1982803, 1167735485),
(2039443, 1167796427),
(2096103, 1167863651),
(2152753, 1167939565),
(2209443, 1168015167),
(2237753, 1168042458),
(2266053, 1168103850),
(2294403, 1168144641),
(2322713, 1168198398),
(2379363, 1168279872),
(2436013, 1168336258),
(2492663, 1168371948),
(2549313, 1168442666),
(2605963, 1168497998),
(2662613, 1168555097),
(2719263, 1168618795),
(2775923, 1168689054),
(2804253, 1168728017),
(2832573, 1168783710),
(2889223, 1168862553),
(2945863, 1168902532),
(3059163, 1168986685),
(3172453, 1169069100),
(3285763, 1169154574),
(3342403, 1169203303),
(3399043, 1169242184),
(3455703, 1169306599),
(3512353, 1169339439),
(3625623, 1169422229),
(3738963, 1169505175),
(3852253, 1169586116),
(3965543, 1169662333),
(4078833, 1169748038),
(4192143, 1169823353),
(4305453, 1169906392),
(4362113, 1169942722),
(4418753, 1170001083),
(4532023, 1170081177),
(4645333, 1170139945),
(4758633, 1170202591),
(4871933, 1170271879),
(4985223, 1170342800),
(5098533, 1170409161),
(5211843, 1170485638),
(5268503, 1170538884),
(5296833, 1170562859),
(5310986, 1170592556),
(5318060, 1170639744),
(5325132, 1170695281),
(5332213, 1170732913),
(5339295, 1170784362),
(5353455, 1170862176),
(5367616, 1170927736),
(5381778, 1170979821),
(5395939, 1171047817),
(5410101, 1171115089),
(5424262, 1171186148),
(5438422, 1171233388),
(5466748, 1171318824),
(5480910, 1171383352),
(5495073, 1171433018),
(5509235, 1171490428),
(5523398, 1171559439),
(5537561, 1171628311),
(5551724, 1171690552),
(5565888, 1171774011),
(5580050, 1171853968),
(5594214, 1171927743),
(5608374, 1171996857),
(5622538, 1172064912),
(5636701, 1172127333),
(5650865, 1172193931),
(5665024, 1172262169),
(5679187, 1172346963),
(5686268, 1172386845),
(5693350, 1172436104),
(5707514, 1172504481),
(5721675, 1172553709),
(5735837, 1172610257),
(5750000, 1172667441),
(5764164, 1172719038),
(5778326, 1172778540),
(5792488, 1172837614),
(5806651, 1172883052),
(5820815, 1172956655),
(5834977, 1173036180),
(5849140, 1173098239),
(5863303, 1173139319),
(5877465, 1173193224),
(5891627, 1173227672),
(5905790, 1173282609),
(5919953, 1173316571),
(5934117, 1173371107),
(5948279, 1173406954),
(6004931, 1173442270),
(6118231, 1173468798),
(6344831, 1173539215),
(6571431, 1173594543),
(6798031, 1173656632),
(7024631, 1173716077),
(7251221, 1173754656),
(7477821, 1173810379),
(7704421, 1173854232),
(7931021, 1173907505),
(8157621, 1173964283),
(8384251, 1174001370),
(8610831, 1174057097),
(8837431, 1174104363),
(9064021, 1174170516),
(9290631, 1174228668),
(9517231, 1174275564),
(9743831, 1174327159),
(9970431, 1174377275),
(10197041, 1174428111),
(10423631, 1174475297),
(10876821, 1174541420),
(11330031, 1174617571),
(11783231, 1174689019),
(12009831, 1174739715),
(12236431, 1174778451),
(12463051, 1174830998),
(12689621, 1174866660),
(13142821, 1174935847),
(13596021, 1175001141),
(14049231, 1175053514),
(14502411, 1175112269),
(14955621, 1175165283),
(15408811, 1175206902),
(15862021, 1175258018),
(16315211, 1175303350),
(16768411, 1175386218),
(17221611, 1175459862),
(17674811, 1175523189),
(18128011, 1175565724),
(18581231, 1175619388),
(19034421, 1175670255),
(19487621, 1175721203),
(19940811, 1175779384),
(20394011, 1175820281),
(20847211, 1175877167),
(21300411, 1175927880),
(21753601, 1175994025),
(22206801, 1176059288),
(22660001, 1176115981),
(23113201, 1176156453),
(23566401, 1176204538),
(24472811, 1176283216),
(25379191, 1176351935),
(26285601, 1176421191),
(27191981, 1176491044),
(28098381, 1176574288),
(29004771, 1176655867),
(29911181, 1176730562),
(30817581, 1176800098),
(31723991, 1176871448),
(32630391, 1176947701),
(33536791, 1177023442),
(34443192, 1177097576),
(34896402, 1177140774),
(35349582, 1177186325),
(35802802, 1177235821),
(36255962, 1177276476),
(37162372, 1177346727),
(38068772, 1177414391),
(38975192, 1177474621),
(39881582, 1177537813),
(40787982, 1177601456),
(41694372, 1177668983),
(42600762, 1177728031),
(43507152, 1177804633),
(43960372, 1177848511),
(44413592, 1177891538),
(45320002, 1177969890),
(46226392, 1178045327),
(47132752, 1178108410),
(48039162, 1178164896),
(48945572, 1178226637),
(49851992, 1178292337),
(50758342, 1178361157),
(51664762, 1178434845),
(52571142, 1178501826),
(53477542, 1178555469),
(54383932, 1178602767),
(56196732, 1178669726),
(57103152, 1178710550),
(58009522, 1178762286),
(58915932, 1178818344),
(59822332, 1178873721),
(60728772, 1178923608),
(61635132, 1178989959),
(62541562, 1179059100),
(63447982, 1179129163),
(64354362, 1179189677),
(65260742, 1179260511),
(66167162, 1179340359),
(67073562, 1179409927),
(67979962, 1179457483),
(68886322, 1179504898),
(69792732, 1179559708),
(70699122, 1179623798),
(71605512, 1179690786),
(72511902, 1179756741),
(73418302, 1179808517),
(74324702, 1179859397),
(75231102, 1179925363),
(76137502, 1179979755),
(77043922, 1180041335),
(77950312, 1180097647),
(78856702, 1180155618),
(79763092, 1180222598),
(80669512, 1180290437),
(81575902, 1180367761),
(82482302, 1180441558),
(83388682, 1180491151),
(84295112, 1180547831),
(85201522, 1180606886),
(86107902, 1180661505),
(87014272, 1180715126),
(87920682, 1180776652),
(88827082, 1180844145),
(89733492, 1180911220),
(90639872, 1180968147),
(91546302, 1181029750),
(92452672, 1181079698),
(93359082, 1181137865),
(94265462, 1181190676),
(95171872, 1181258061),
(96078272, 1181313652),
(96984682, 1181372631),
(97891082, 1181439652),
(98797482, 1181505822),
(99703872, 1181564022),
(100610262, 1181607607),
(101516652, 1181659358),
(102423052, 1181710541),
(103329452, 1181764552),
(104235872, 1181824757),
(105142252, 1181877022),
(106048652, 1181928505),
(106955052, 1181983471),
(107861452, 1182045309),
(108767842, 1182110139),
(109674252, 1182171398),
(110580662, 1182221737),
(111487062, 1182266954),
(112393432, 1182313264),
(113299862, 1182358945),
(114206222, 1182412818),
(115112622, 1182458445),
(116019012, 1182526802),
(116925422, 1182582192),
(117831812, 1182642701),
(118738222, 1182705260),
(119644612, 1182762794),
(120551022, 1182808299),
(121457432, 1182860925),
(122363822, 1182914322),
(123270212, 1182961596),
(124176612, 1183008417),
(125083012, 1183059271),
(125989412, 1183112707),
(126895812, 1183155521),
(127802222, 1183209496),
(128708612, 1183267058),
(129615012, 1183321670),
(130521402, 1183375297),
(131427812, 1183419597),
(132334202, 1183468601),
(133240622, 1183512983),
(134147002, 1183561745),
(135053402, 1183613136),
(135959802, 1183660106),
(136866202, 1183710682),
(137772592, 1183756309),
(138679012, 1183816227),
(139585422, 1183874759),
(140491822, 1183936969),
(141398222, 1183989456),
(142304612, 1184036678),
(143211002, 1184083122),
(144117392, 1184127894),
(145023782, 1184171303),
(145930202, 1184217220),
(146836592, 1184260651),
(147742982, 1184308158),
(148649372, 1184351803),
(149555782, 1184411226),
(150462172, 1184469144),
(151368572, 1184529822),
(152274962, 1184586228),
(153181372, 1184630525),
(154087772, 1184678682),
(154994182, 1184722208),
(155900552, 1184769237),
(156806962, 1184812857),
(157713362, 1184857474),
(159526142, 1184940912),
(160432552, 1184983182),
(161338952, 1185038297),
(162245362, 1185102884),
(163151752, 1185152475),
(164058172, 1185200089),
(164964582, 1185240438),
(166777362, 1185325667),
(168590162, 1185410070),
(170402932, 1185493486),
(172215722, 1185579629),
(173122112, 1185634235),
(174028502, 1185684144),
(174934902, 1185732039),
(175841302, 1185779463),
(177654102, 1185856614),
(179466902, 1185936345),
(181279692, 1186012897),
(183092492, 1186085593),
(184905292, 1186159925),
(185811712, 1186200053),
(186718092, 1186250162),
(187624512, 1186302144),
(188530882, 1186350360),
(190343682, 1186429062),
(192156482, 1186505418),
(193969292, 1186578258),
(195782072, 1186652167),
(197594872, 1186723079),
(199407662, 1186799593),
(200314062, 1186850083),
(201220462, 1186898038),
(202126872, 1186948881),
(203033252, 1186993397),
(204846052, 1187072180),
(206658852, 1187150051),
(207565262, 1187191893),
(208471672, 1187237337),
(210284442, 1187318913),
(211190862, 1187367131),
(212097262, 1187407900),
(213003662, 1187458062),
(213910032, 1187513111),
(214816432, 1187562642),
(215722832, 1187607732),
(217535622, 1187683802),
(219348462, 1187755025),
(221161222, 1187821886),
(222974022, 1187891972),
(224786812, 1187965959),
(226599642, 1188046849),
(227506022, 1188089338),
(228412402, 1188139153),
(230225212, 1188220508),
(232037992, 1188292823),
(233850812, 1188357907),
(235663622, 1188426601),
(237476412, 1188496784),
(239289202, 1188569020),
(240195602, 1188607394),
(241102002, 1188659641),
(242008402, 1188707471),
(242914802, 1188758041),
(244727602, 1188841816),
(246540402, 1188915330),
(248353202, 1188983135),
(250165992, 1189042513),
(251072392, 1189109059),
(251978792, 1189138533),
(253791582, 1189206093),
(254698002, 1189253263),
(255604382, 1189294230),
(257417182, 1189380583),
(259229962, 1189442728),
(261042742, 1189512283),
(262855542, 1189573340),
(264668342, 1189635960),
(266481142, 1189702716),
(268293942, 1189772238),
(270106752, 1189842174),
(271919532, 1189928447),
(273732332, 1190012276),
(275545122, 1190076862),
(277357932, 1190141924),
(279170722, 1190209771),
(280983512, 1190273800),
(282796302, 1190336272),
(284609112, 1190401527),
(286421922, 1190482784),
(288234702, 1190569023),
(290047482, 1190644425),
(291860292, 1190712818),
(293673082, 1190781182),
(295485882, 1190850828),
(297298682, 1190922242),
(299111482, 1190990387),
(300924282, 1191066355),
(302737092, 1191149842),
(304549882, 1191230390),
(306362702, 1191297931),
(308175502, 1191367542),
(309988312, 1191436471),
(311801072, 1191504708),
(313613882, 1191568418),
(315426682, 1191632272),
(317239482, 1191716387),
(319052262, 1191799576),
(320865102, 1191867770),
(322677872, 1191935209),
(324490732, 1191991687),
(326303462, 1192048948),
(328116262, 1192110848),
(329929052, 1192167182),
(331741842, 1192226258),
(333554622, 1192302681),
(335367422, 1192382499),
(337180212, 1192452676),
(338993022, 1192513706),
(340805802, 1192570865),
(342618602, 1192632402),
(344431402, 1192691395),
(346244242, 1192748411),
(348056972, 1192807809),
(349869812, 1192874486),
(351682572, 1192945541),
(353495372, 1193018395),
(355308162, 1193078362),
(357120992, 1193140614),
(358933772, 1193195193),
(360746562, 1193250401),
(362559352, 1193306825),
(364372172, 1193360633),
(366184952, 1193418590),
(367997752, 1193487610),
(369810542, 1193559732),
(371623372, 1193628135),
(373436152, 1193686524),
(375248952, 1193756172),
(377061732, 1193813786),
(378874532, 1193867403),
(380687332, 1193929484),
(382500132, 1193986210),
(384312922, 1194042481),
(386125732, 1194120635),
(387938522, 1194201022),
(389751322, 1194270267),
(391564112, 1194328230),
(393376932, 1194381975),
(395189722, 1194441719),
(397002512, 1194492200),
(398815302, 1194545711),
(400628102, 1194605118),
(402440902, 1194657318),
(404253712, 1194728212),
(406066492, 1194803478),
(407879302, 1194867957),
(409692102, 1194917594),
(411504902, 1194972652),
(413317702, 1195027815),
(415130502, 1195079234),
(416943302, 1195139245),
(418756102, 1195200440),
(420568902, 1195264878),
(422381702, 1195336404),
(424194492, 1195411795),
(426007282, 1195475586),
(427820072, 1195524725),
(429632882, 1195578333),
(431445652, 1195632971),
(433258452, 1195683100),
(435071232, 1195740956),
(436884032, 1195798311),
(438696822, 1195855627),
(440509642, 1195926517),
(442322412, 1195998586),
(444135212, 1196058182),
(445948012, 1196108043),
(447760822, 1196160817),
(449573592, 1196205697),
(451386402, 1196260467),
(453199182, 1196306013),
(455011992, 1196355812),
(456824772, 1196406745),
(458637602, 1196453666),
(460450362, 1196520014),
(462263162, 1196585674),
(464075952, 1196647904),
(465888762, 1196700796),
(467701552, 1196758606),
(469514362, 1196798727),
(471327152, 1196850967),
(473139952, 1196894357),
(474952752, 1196948052),
(476765552, 1196991537),
(478578342, 1197042459),
(480391152, 1197093740),
(482203952, 1197158822),
(484016742, 1197220880),
(485829532, 1197273320),
(487642332, 1197316925),
(489455132, 1197365596),
(491267932, 1197405428),
(493080712, 1197453343),
(494893512, 1197494928),
(496706312, 1197543805),
(498519112, 1197583959),
(500331902, 1197633935),
(502144712, 1197676503),
(503957512, 1197739848),
(505770302, 1197807477),
(507583092, 1197864561),
(509395912, 1197941362),
(511208712, 1197991207),
(513021512, 1198034292),
(514834282, 1198082027),
(516647082, 1198126196),
(518459872, 1198172122),
(520272672, 1198219817),
(522085462, 1198265412),
(523898302, 1198328117),
(525711072, 1198388335),
(527523872, 1198448989),
(529336662, 1198504957),
(531149472, 1198555344),
(532962262, 1198615526),
(534775072, 1198674354),
(536587852, 1198723420),
(538400662, 1198773379),
(540213442, 1198821182),
(542026242, 1198881865),
(543839032, 1198938710),
(545651832, 1198993490),
(547464622, 1199050997),
(549277412, 1199106287),
(551090202, 1199152669),
(552903002, 1199212025),
(554715802, 1199271461),
(556528612, 1199315520),
(558341402, 1199366842),
(560154202, 1199407579),
(561967002, 1199455165),
(563779802, 1199494619),
(565592592, 1199549064),
(567405402, 1199598003),
(569218202, 1199651278),
(572843792, 1199734480),
(576469382, 1199814237),
(580094942, 1199894020),
(583720552, 1199975395),
(587346142, 1200054063),
(589158942, 1200089718),
(590971732, 1200142263),
(592784532, 1200189041),
(594597322, 1200243136),
(596410122, 1200289068),
(598222922, 1200329809),
(601848512, 1200408511),
(605474102, 1200492830),
(609099692, 1200570525),
(612725292, 1200644745),
(616350892, 1200724878),
(618163692, 1200773785),
(619976482, 1200827744),
(621789272, 1200874848),
(623602062, 1200918496),
(627227662, 1200994078),
(630853252, 1201064268),
(634478842, 1201136902),
(638104432, 1201219519),
(641730042, 1201301217),
(643542842, 1201352723),
(645355642, 1201395059),
(647168442, 1201445422),
(648981242, 1201487691),
(652606842, 1201561186),
(656232432, 1201632638),
(659858022, 1201711108),
(661670812, 1201744916),
(663483602, 1201808751),
(667109182, 1201888707),
(668921992, 1201929945),
(670734782, 1201978621),
(672547582, 1202037714),
(674360372, 1202086981),
(677985962, 1202168083),
(681611552, 1202253218),
(683424382, 1202302011),
(685237152, 1202344976),
(687049952, 1202392821),
(688862752, 1202432126),
(690675572, 1202481401),
(692488342, 1202526718),
(694301132, 1202587442),
(696113922, 1202650749),
(697926732, 1202695965),
(699739532, 1202740811),
(703365132, 1202817928),
(706990722, 1202899720),
(710616302, 1202979368),
(714241912, 1203042905),
(717867492, 1203117843),
(719680312, 1203171465),
(721493082, 1203219364),
(723305892, 1203271867),
(725118672, 1203315265),
(728744272, 1203388275),
(732369862, 1203459480),
(735995452, 1203532391),
(739621042, 1203606477),
(743246642, 1203676820),
(746872242, 1203745486),
(748685042, 1203789495),
(750497842, 1203833154),
(754123412, 1203913806),
(757749012, 1203979593),
(761374612, 1204046375),
(763187412, 1204074228),
(764093805, 1204135955),
(764547001, 1204219603),
(764773599, 1204262018),
(765000198, 1204317480),
(765226800, 1204372477),
(765453398, 1204405729),
(765679996, 1204468147),
(765906595, 1204521861),
(766359793, 1204603125),
(766812991, 1204681120),
(767266189, 1204758260),
(767719388, 1204837016),
(768172586, 1204916805),
(768399189, 1204960972),
(768625784, 1205010907),
(768852384, 1205066082),
(769078984, 1205109894),
(769532182, 1205187742),
(769985381, 1205262625),
(770438580, 1205337289),
(770891779, 1205413457),
(771344978, 1205481013),
(771798177, 1205551775),
(772024776, 1205601927),
(772251376, 1205649551),
(772477976, 1205698805),
(772704576, 1205743043),
(773157774, 1205812008),
(773610973, 1205884113),
(774064172, 1205955515),
(774517371, 1206031959),
(774970571, 1206109938),
(775197170, 1206146039),
(775423770, 1206198721),
(775650370, 1206243404),
(775876969, 1206296831),
(776330169, 1206381616),
(776783368, 1206454824),
(777236568, 1206518198),
(777689768, 1206577378),
(778142967, 1206644178),
(778596166, 1206713090),
(779049364, 1206774779),
(779502562, 1206856139),
(779955761, 1206936213),
(780408960, 1206997157),
(780862160, 1207061529),
(781315358, 1207119681),
(781768559, 1207175696),
(782221756, 1207238022),
(782674955, 1207297379),
(783128154, 1207351726),
(783581355, 1207431791),
(783807958, 1207484101),
(784034556, 1207519579),
(784487754, 1207585219),
(784940952, 1207645607),
(785394151, 1207696388),
(785847350, 1207756722),
(786300549, 1207811977),
(786753749, 1207864079),
(787206950, 1207924215),
(787660147, 1207979050),
(788113346, 1208060595),
(788566545, 1208139444),
(789019746, 1208195899),
(789472943, 1208258105),
(789926144, 1208304688),
(790379342, 1208359878),
(790832542, 1208403292),
(791285742, 1208457251),
(791738940, 1208514174),
(792192138, 1208560310),
(792645338, 1208636139),
(793098536, 1208715471),
(793551735, 1208781998),
(794004934, 1208831089),
(794458133, 1208884988),
(794911333, 1208933290),
(795364531, 1208978762),
(795817730, 1209031240),
(796270929, 1209074315),
(796724129, 1209130617),
(797177327, 1209173559),
(797630526, 1209239269),
(798083727, 1209310303),
(798536924, 1209369054),
(798990124, 1209414180),
(799443322, 1209469492),
(799896521, 1209508901),
(800349721, 1209562315),
(800802922, 1209601227),
(801256119, 1209656697),
(801709320, 1209715137),
(802162519, 1209760762),
(802615717, 1209825363),
(803068916, 1209886804),
(803522115, 1209949954),
(803975314, 1210004540),
(804428514, 1210049807),
(804881713, 1210097936),
(805334912, 1210149754),
(805788111, 1210190339),
(806241310, 1210240823),
(806694509, 1210279548),
(807147710, 1210332026),
(807600907, 1210372347),
(808054106, 1210434034),
(808507305, 1210493480),
(808960504, 1210554116),
(809413704, 1210606293),
(809866905, 1210647810),
(810320103, 1210695479),
(810773303, 1210736371),
(811226500, 1210782234),
(811679698, 1210830354),
(812132897, 1210873668),
(812586096, 1210925557),
(813039295, 1210966541),
(813492496, 1211024036),
(813945694, 1211079207),
(814398893, 1211142045),
(814852092, 1211198571),
(815305291, 1211237971),
(815758491, 1211291340),
(816211693, 1211336820),
(816664891, 1211382956),
(817118090, 1211429599),
(817571288, 1211474557),
(818024488, 1211519015),
(818477689, 1211563537),
(818930888, 1211628900),
(819384085, 1211695742),
(819837284, 1211763191),
(820290484, 1211820288),
(820743682, 1211876653),
(821196881, 1211921294),
(821650080, 1211976744),
(822103280, 1212020100),
(822556480, 1212072875),
(823009677, 1212115277),
(823462876, 1212165698),
(823916076, 1212227853),
(824369274, 1212289422),
(824822473, 1212358093),
(825275673, 1212423429),
(825728872, 1212468526),
(826182070, 1212516199),
(826635269, 1212564163),
(827088471, 1212608774),
(827541669, 1212660662),
(827994868, 1212702980),
(828448068, 1212761497),
(828901270, 1212816673),
(829354467, 1212873177),
(829807665, 1212939033),
(830260864, 1212994903),
(830714063, 1213037967),
(831167263, 1213085149),
(831620463, 1213129604),
(832073663, 1213181772),
(832526862, 1213222275),
(832980062, 1213274676),
(833433262, 1213314533),
(833886460, 1213365747),
(834339659, 1213406186),
(834792858, 1213467763),
(835246060, 1213534858),
(835699255, 1213589327),
(836152454, 1213637715),
(836605653, 1213682473),
(837512051, 1213767237),
(837965251, 1213810719),
(838418449, 1213854668),
(838871648, 1213900207),
(839324845, 1213949698),
(839778046, 1213992138),
(840231242, 1214049963),
(840684445, 1214106942),
(841137640, 1214167169),
(841590840, 1214224092),
(842044038, 1214265572),
(842497238, 1214318111),
(842950436, 1214363259),
(843403635, 1214411214),
(843856834, 1214452998),
(844310034, 1214503109),
(844763233, 1214550004),
(845216434, 1214601394),
(845669631, 1214665805),
(846122830, 1214732465),
(846576030, 1214791634),
(847029229, 1214845916),
(847482428, 1214899759),
(847935628, 1214946749),
(848388827, 1215001780),
(848842028, 1215044181),
(849295225, 1215095466),
(849748424, 1215140904),
(850201623, 1215193730),
(850654823, 1215259566),
(851108021, 1215323129),
(851561223, 1215386739),
(852014420, 1215440997),
(852467620, 1215482160),
(852920818, 1215532125),
(853374017, 1215572087),
(853827216, 1215619128),
(854733615, 1215703805),
(855640013, 1215783780),
(856093213, 1215816803),
(856546411, 1215873864),
(856999612, 1215923930),
(857452810, 1215981541),
(858359214, 1216067572),
(859265608, 1216147559),
(860172009, 1216230733),
(861078405, 1216313595),
(861984804, 1216397923),
(862438003, 1216436737),
(862891203, 1216494153),
(863344402, 1216550153),
(863797602, 1216603536),
(864250801, 1216655459),
(864703999, 1216693098),
(865610397, 1216769708),
(866516795, 1216847743),
(867423196, 1216929023),
(868329589, 1217009071),
(868782788, 1217050743),
(869235986, 1217104032),
(869689185, 1217161784),
(870142384, 1217209150),
(871048783, 1217288403),
(871955183, 1217366459),
(872861583, 1217443549),
(873767982, 1217520225),
(874674381, 1217596735),
(875580780, 1217680633),
(876033979, 1217726616),
(876487179, 1217782404),
(876940384, 1217827929),
(877393579, 1217869255),
(878299977, 1217946977),
(879206375, 1218020715),
(880112773, 1218089148),
(881019169, 1218159308),
(881925566, 1218229250),
(882378769, 1218275147),
(882831963, 1218323075),
(883285162, 1218378755),
(883738360, 1218422073),
(884644757, 1218496772),
(885551155, 1218570660),
(886457554, 1218644218),
(887363954, 1218720243),
(888270351, 1218788150),
(889176751, 1218862548),
(889629949, 1218914566),
(890083148, 1218965298),
(890536347, 1219014659),
(890989547, 1219062191),
(891895944, 1219130250),
(892802342, 1219197881),
(893708740, 1219267675),
(894615138, 1219339570),
(895521537, 1219413998),
(896427935, 1219491808),
(896881134, 1219534278),
(897334333, 1219587886),
(897787532, 1219630071),
(898240732, 1219674735),
(899147129, 1219743294),
(900053527, 1219805329),
(900959925, 1219872860),
(901866324, 1219942309),
(902772721, 1220009086),
(903679119, 1220068733),
(904132318, 1220117523),
(904585518, 1220160075),
(905038718, 1220210775),
(905491916, 1220252341),
(906398314, 1220325611),
(907304713, 1220390893),
(908211110, 1220456620),
(909117508, 1220511027),
(910023907, 1220571206),
(910930305, 1220634019),
(911836704, 1220709788),
(912743103, 1220792408),
(913649500, 1220867249),
(914555898, 1220924698),
(915462297, 1220987670),
(916368695, 1221053229),
(917275093, 1221107501),
(918181492, 1221169946),
(919087892, 1221236098),
(919994289, 1221304714),
(920900686, 1221383702),
(921807085, 1221463133),
(922713484, 1221522872),
(923619883, 1221587195),
(924526280, 1221653670),
(925432678, 1221705641),
(926339076, 1221768223),
(927245476, 1221832557),
(928151872, 1221889863),
(929058271, 1221972960),
(929964668, 1222052151),
(930871066, 1222117214),
(931777465, 1222183595),
(932683864, 1222238228),
(933590262, 1222294308),
(934496661, 1222357143),
(935403059, 1222411833),
(936309457, 1222467205),
(937215856, 1222531508),
(938122254, 1222611777),
(939028652, 1222684178),
(939935050, 1222734019),
(940841448, 1222796231),
(941747846, 1222859314),
(942654244, 1222908528),
(943560642, 1222968627),
(944467041, 1223005158),
(945373439, 1223063951),
(946279838, 1223138864),
(947186237, 1223219299),
(948092636, 1223290636),
(948999033, 1223339881),
(949905430, 1223399715),
(950811828, 1223437499),
(951718226, 1223493860),
(952624624, 1223555330),
(953531023, 1223600024),
(954437424, 1223658464),
(955343820, 1223723071),
(956250218, 1223791510),
(957156617, 1223867132),
(958063015, 1223927510),
(958969414, 1223988477),
(959875812, 1224030175),
(960782211, 1224085508),
(961688609, 1224123075),
(962595008, 1224176471),
(963501406, 1224226501),
(964407805, 1224278599),
(965445324, 1224358131),
(966482844, 1224441948),
(967258123, 1224498995),
(968033398, 1224537868),
(968939796, 1224597202),
(969846195, 1224639057),
(970752593, 1224694365),
(971658992, 1224743555),
(972565391, 1224792612),
(973471789, 1224849807),
(974378186, 1224891853),
(975284584, 1224961953),
(976190983, 1225034600),
(977097380, 1225094359),
(978003780, 1225142928),
(978910177, 1225199736),
(979816579, 1225241731),
(980722975, 1225296441),
(981629372, 1225336915),
(982535770, 1225389203),
(983442169, 1225439705),
(984348566, 1225485271),
(985254964, 1225552570),
(986161363, 1225617587),
(987067761, 1225679522),
(987974159, 1225735805),
(988880557, 1225778914),
(989786956, 1225822622),
(991599753, 1225890295),
(992506151, 1225929149),
(993412550, 1225985437),
(994318948, 1226026202),
(995225346, 1226079693),
(996131744, 1226134544),
(997038143, 1226197982),
(997944542, 1226268970),
(998850941, 1226329137),
(999757339, 1226369109),
(1000663737, 1226422960),
(1001570135, 1226463430),
(1002476534, 1226514109),
(1003382934, 1226554833),
(1004289332, 1226602885),
(1005195730, 1226653000),
(1006102128, 1226696522),
(1007008526, 1226758662),
(1007914925, 1226813527),
(1008821325, 1226880370),
(1009727724, 1226936592),
(1010634121, 1226975552),
(1011540519, 1227033869),
(1012446917, 1227073893),
(1013353315, 1227120511),
(1014259713, 1227159838),
(1015166111, 1227207030),
(1016072510, 1227248466),
(1016978909, 1227293695),
(1017885307, 1227341414),
(1018791706, 1227401085),
(1019698106, 1227466040),
(1020604502, 1227519487),
(1022417296, 1227605847),
(1024230092, 1227688960),
(1026042889, 1227772621),
(1026949288, 1227819618),
(1027855685, 1227876504),
(1028762087, 1227920962),
(1029668482, 1227983717),
(1030574882, 1228042327),
(1031481279, 1228094177),
(1033294076, 1228178835),
(1035106874, 1228259433),
(1036919669, 1228339148),
(1038732465, 1228419476),
(1040545261, 1228498518),
(1041451659, 1228534047),
(1042358057, 1228591753),
(1043264457, 1228643049),
(1044170854, 1228695389),
(1045983653, 1228778286),
(1047796448, 1228855472),
(1049609244, 1228932280),
(1051422040, 1229009926),
(1053234837, 1229083613),
(1055047634, 1229159059),
(1055954032, 1229209537),
(1056860430, 1229267163),
(1057766828, 1229309023),
(1058673227, 1229355537),
(1060486023, 1229430276),
(1062298820, 1229496019),
(1064111616, 1229567038),
(1065924413, 1229640678),
(1067737209, 1229716469),
(1068643607, 1229755504),
(1069550006, 1229809128),
(1070456405, 1229862386),
(1071362805, 1229906477),
(1073175600, 1229985901),
(1074988399, 1230064766),
(1076801196, 1230147098),
(1077707595, 1230193385),
(1078613992, 1230251635),
(1079520389, 1230310510),
(1080426787, 1230356204),
(1081333185, 1230413665),
(1082239583, 1230469497),
(1083145982, 1230513882),
(1084052380, 1230564052),
(1085865176, 1230644743),
(1087677973, 1230715215),
(1089490769, 1230787414),
(1090397167, 1230840885),
(1091303566, 1230886884),
(1093116374, 1230969424),
(1094022771, 1231018205),
(1094929160, 1231060181),
(1096741957, 1231144634),
(1098554754, 1231208485),
(1100367550, 1231277424),
(1102180347, 1231345855),
(1103993144, 1231404652),
(1105805940, 1231467565),
(1107618737, 1231533736),
(1109431534, 1231612031),
(1111244331, 1231695076),
(1113057127, 1231768022),
(1114869925, 1231819561),
(1116682721, 1231882605),
(1118495519, 1231947528),
(1120308318, 1231996871),
(1122121112, 1232056747),
(1123933907, 1232120445),
(1125746703, 1232176001),
(1127559500, 1232252420),
(1129372298, 1232328541),
(1131185094, 1232393107),
(1132997891, 1232454442),
(1134810687, 1232493730),
(1136623483, 1232556040),
(1138436279, 1232604608),
(1140249075, 1232660323),
(1142061872, 1232722280),
(1143874669, 1232769771),
(1145687465, 1232843539),
(1147500263, 1232919570),
(1149313059, 1232984813),
(1151125855, 1233028074),
(1152938651, 1233083808),
(1154751448, 1233133585),
(1156564243, 1233178635),
(1158377039, 1233235138),
(1160189836, 1233274426),
(1162002633, 1233331738),
(1163815429, 1233377048),
(1165628225, 1233445541),
(1167441022, 1233514998),
(1169253819, 1233563175),
(1171066615, 1233610514),
(1172879413, 1233668356),
(1174692209, 1233705977),
(1176505006, 1233760819),
(1178317802, 1233798118),
(1180130603, 1233850803),
(1181943396, 1233888006),
(1183756196, 1233940059),
(1185568990, 1233982029),
(1187381786, 1234045001),
(1189194583, 1234112281),
(1191007381, 1234156938),
(1192820177, 1234206605),
(1196445769, 1234292839),
(1198258567, 1234332648),
(1200071362, 1234381044),
(1203696954, 1234465561),
(1207322548, 1234550303),
(1209135345, 1234593111),
(1210948142, 1234652976),
(1212760938, 1234719490),
(1214573735, 1234767525),
(1216386533, 1234814004),
(1218199326, 1234857298),
(1221824920, 1234934346),
(1225450512, 1235014049),
(1229076105, 1235096383),
(1232701698, 1235176437),
(1234514496, 1235234090),
(1236327292, 1235277731),
(1238140090, 1235335346),
(1239952886, 1235368098),
(1243578478, 1235447506),
(1247204071, 1235522363),
(1250829667, 1235595578),
(1254455263, 1235669600),
(1258080857, 1235743306),
(1261706448, 1235817334),
(1263519244, 1235861093),
(1265332040, 1235913373),
(1268957632, 1235996080),
(1272583224, 1236057286),
(1276208817, 1236123827),
(1279834412, 1236193655),
(1283460008, 1236263380),
(1287085600, 1236317099),
(1290711193, 1236381901),
(1294336786, 1236465828),
(1296149582, 1236514258),
(1297962379, 1236552942),
(1301587973, 1236623755),
(1305213565, 1236690105),
(1308839159, 1236740311),
(1312464754, 1236803005),
(1316090349, 1236866635),
(1319715939, 1236910995),
(1323341532, 1236971243),
(1326967125, 1237038959),
(1330592720, 1237101002),
(1334218312, 1237168504),
(1337843907, 1237229706),
(1341469497, 1237286661),
(1345095090, 1237329720),
(1348720683, 1237389312),
(1352346276, 1237431766),
(1355971870, 1237488472),
(1359597463, 1237545761),
(1363223055, 1237590102),
(1366848648, 1237659922),
(1370474242, 1237731801),
(1374099837, 1237785407),
(1377725429, 1237841093),
(1381351023, 1237896731),
(1384976614, 1237940124),
(1388602207, 1237996165),
(1392227799, 1238036739),
(1395853392, 1238090657),
(1399478985, 1238133900),
(1403104578, 1238184410),
(1406730172, 1238245427),
(1410355765, 1238295212),
(1413981359, 1238360729),
(1417606954, 1238418906),
(1421232546, 1238458776),
(1424858140, 1238512452),
(1428483732, 1238549968),
(1432109325, 1238601139),
(1435734918, 1238638059),
(1439360511, 1238690296),
(1442986104, 1238728500),
(1446611697, 1238779684),
(1450237290, 1238823746),
(1453862884, 1238884363),
(1457488477, 1238947865),
(1461114069, 1238993482),
(1464739662, 1239045703),
(1468365255, 1239092010),
(1471990848, 1239137344),
(1475616442, 1239184126),
(1479242035, 1239225491),
(1482867629, 1239276466),
(1486493224, 1239315527),
(1490118818, 1239368411),
(1493744408, 1239405067),
(1497370002, 1239463509),
(1500995594, 1239506976),
(1504621187, 1239565660),
(1508246781, 1239615732),
(1515497967, 1239699034),
(1522749154, 1239767471),
(1530000341, 1239844106),
(1537251528, 1239921071),
(1544502714, 1239994433),
(1551753900, 1240073592),
(1555379493, 1240108441),
(1559005086, 1240160406),
(1566256273, 1240241537),
(1573507461, 1240302603),
(1580758645, 1240364310),
(1588009832, 1240433055),
(1595261018, 1240502669),
(1602512204, 1240567472),
(1609763390, 1240626235),
(1617014576, 1240706830),
(1624265763, 1240788321),
(1631516951, 1240858946),
(1638768137, 1240925184),
(1646019324, 1240978094),
(1653270512, 1241043245),
(1660521697, 1241109781),
(1667772883, 1241168688),
(1675024068, 1241228231),
(1682275254, 1241305347),
(1689526441, 1241382797),
(1696777629, 1241452659),
(1704028816, 1241506119),
(1711280003, 1241566510),
(1718531189, 1241630499),
(1725782374, 1241689376),
(1733033561, 1241745031),
(1740284745, 1241809117),
(1747535932, 1241888539),
(1754787120, 1241965383),
(1762038310, 1242038351),
(1769289491, 1242093772),
(1776540678, 1242156896),
(1783791864, 1242217665),
(1791043050, 1242267971),
(1798294237, 1242329739),
(1805545425, 1242391586),
(1812796613, 1242440467),
(1820047800, 1242508592),
(1827298985, 1242581103),
(1834550171, 1242642102),
(1841801355, 1242692802),
(1849052543, 1242752001),
(1856303725, 1242796356),
(1863554911, 1242853569),
(1870806098, 1242912663),
(1878057284, 1242959103),
(1885308471, 1243017218),
(1892559658, 1243078294),
(1899810844, 1243137957),
(1907062030, 1243207934),
(1914313216, 1243272734),
(1921564403, 1243324861),
(1928815588, 1243376884),
(1936066774, 1243434221),
(1943317961, 1243481978),
(1950569148, 1243537752),
(1957820333, 1243586608),
(1965071519, 1243635418),
(1972322706, 1243699232),
(1979573894, 1243766278),
(1986825081, 1243822928),
(1994076268, 1243880553),
(2001327454, 1243927899),
(2008578641, 1243977629),
(2015829827, 1244032594),
(2023081015, 1244073814),
(2030332199, 1244128390),
(2037583388, 1244166734),
(2044834571, 1244220783),
(2052085757, 1244270229),
(2059336943, 1244331822),
(2066588129, 1244396890),
(2073839315, 1244446291),
(2081090503, 1244494479),
(2088341688, 1244546479),
(2095855032, 1244588790),
(2103368373, 1244642308),
(2110881717, 1244681924),
(2118395058, 1244735703),
(2125908401, 1244774512),
(2133421743, 1244824961),
(2148448429, 1244856549),
(2155437460, 1244912818),
(2162426489, 1244958207),
(2169415519, 1245014884),
(2176404549, 1245062820),
(2190382609, 1245144852),
(2204360669, 1245229249),
(2218863042, 1245305873),
(2233365415, 1245384883),
(2247867787, 1245465891),
(2255118973, 1245520034),
(2262370159, 1245561773),
(2269621347, 1245616606),
(2276872531, 1245662573),
(2291374904, 1245739557),
(2305877277, 1245817606),
(2320379650, 1245897440),
(2334882022, 1245972479),
(2349384395, 1246048012),
(2356635583, 1246088916),
(2363886769, 1246139005),
(2371137956, 1246193212),
(2378389141, 1246232530),
(2392891516, 1246307399),
(2407393889, 1246386197),
(2421896261, 1246464066),
(2436398633, 1246539404),
(2450901005, 1246606473),
(2465403378, 1246683189),
(2472654564, 1246733966),
(2479905750, 1246778408),
(2487156938, 1246828401),
(2494408123, 1246868844),
(2508910496, 1246940289),
(2523412868, 1247010445),
(2537915241, 1247083221),
(2552417614, 1247156305),
(2566919989, 1247226855),
(2581422360, 1247299711),
(2595924734, 1247383700),
(2610427106, 1247466060),
(2624929480, 1247537053),
(2639431852, 1247607400),
(2653934225, 1247677004),
(2668436599, 1247745704),
(2682938973, 1247805631),
(2697441347, 1247873172),
(2711943719, 1247952852),
(2726446087, 1248033383),
(2740948458, 1248106734),
(2755450830, 1248169278),
(2769953202, 1248228683),
(2784455574, 1248293977),
(2803152258, 1248374505),
(2821848939, 1248455026),
(2831197282, 1248490805),
(2840545623, 1248545465),
(2849893965, 1248590391),
(2859242305, 1248645250),
(2877938993, 1248730605),
(2896635672, 1248813528),
(2915332354, 1248895969),
(2934029037, 1248974984),
(2935948479, 1248981361),
(2936188409, 1248982177),
(3070646265, 1249138005),
(3071126126, 1249140319),
(3072085847, 1249144621),
(3075924732, 1249161376),
(3083602501, 1249197961),
(3093910563, 1249254679),
(3104218626, 1249307117),
(3114526688, 1249345420),
(3124834751, 1249395650),
(3145450878, 1249480567),
(3166067001, 1249565334),
(3176375067, 1249642303),
(3186683132, 1249694445),
(3196991192, 1249761385),
(3207299251, 1249823862),
(3217607314, 1249868225),
(3227915376, 1249922909),
(3238223438, 1249959234),
(3248531501, 1250010062),
(3263033874, 1250071814),
(3277536247, 1250128063),
(3292038620, 1250191381),
(3306540991, 1250252863),
(3321043365, 1250303560),
(3335545737, 1250378396),
(3350048111, 1250457947),
(3364550482, 1250528104),
(3379052856, 1250582723),
(3393555228, 1250638781),
(3408057601, 1250699600),
(3422559973, 1250748639),
(3437062348, 1250807717),
(3451564718, 1250868158),
(3466067090, 1250914800),
(3480569463, 1250981238),
(3495071835, 1251048755),
(3509574208, 1251105235),
(3524076582, 1251160193),
(3538578953, 1251220440),
(3553081325, 1251276440),
(3567583698, 1251330392),
(3582086070, 1251389770),
(3596588443, 1251435301),
(3611090818, 1251492803),
(3625593189, 1251556574),
(3640095561, 1251609323),
(3654597933, 1251675813),
(3669100307, 1251737794),
(3683602681, 1251786593),
(3698105055, 1251843356),
(3712607424, 1251903835),
(3727109797, 1251951467),
(3741612169, 1252010641),
(3756114542, 1252069004),
(3770616915, 1252115563),
(3785119288, 1252182482),
(3799621660, 1252250515),
(3814124045, 1252305288),
(3828626406, 1252366734),
(3843128782, 1252427146),
(3857631152, 1252473240),
(3872133525, 1252531992),
(3886635899, 1252587484),
(3901138272, 1252631524),
(3915640645, 1252690623),
(3930143019, 1252739563),
(3944645389, 1252801529),
(3959147761, 1252866452),
(3973650134, 1252903012),
(3988152508, 1252960993),
(4002654880, 1253014214),
(4017157254, 1253059476),
(4031659625, 1253116108),
(4046161999, 1253157759),
(4060664371, 1253214237),
(4075166743, 1253264566),
(4089669115, 1253313073),
(4104171487, 1253374818),
(4118673860, 1253424412),
(4133176232, 1253486781),
(4147678604, 1253544982),
(4162180977, 1253585406),
(4176683349, 1253639969),
(4301091037, 1253661319),
(4314544823, 1253710464),
(4327998606, 1253747968),
(4341452390, 1253798781),
(4354906174, 1253836116),
(4368359961, 1253886039),
(4381813744, 1253923970),
(4395267528, 1253978801),
(4408721312, 1254020937),
(4423223686, 1254078498),
(4437726057, 1254123572),
(4452228433, 1254170856),
(4466730802, 1254217979),
(4481233175, 1254261925),
(4495735548, 1254313407),
(4510237921, 1254353098),
(4524740293, 1254404634),
(4539242666, 1254442998),
(4553745039, 1254493957),
(4568247412, 1254532160),
(4582749785, 1254589599),
(4597252158, 1254634877),
(4611754531, 1254690850),
(4626256903, 1254743675),
(4640759275, 1254785091),
(4655261650, 1254836954),
(4669764023, 1254876528),
(4684266396, 1254928613),
(4698768768, 1254968075),
(4713271140, 1255025119),
(4727773512, 1255065603),
(4742275884, 1255115857),
(4756778256, 1255161931),
(4771280633, 1255216544),
(4785783002, 1255274816),
(4800285374, 1255317848),
(4814787747, 1255373659),
(4829290119, 1255415135),
(4843792492, 1255465878),
(4858294865, 1255512558),
(4872797238, 1255557440),
(4887299611, 1255609608),
(4901801984, 1255650272),
(4916304357, 1255701922),
(4930806729, 1255740183),
(4945309104, 1255797076),
(4959811475, 1255839863),
(4974313848, 1255899973),
(4988816220, 1255951810),
(5003318593, 1255993726),
(5017820967, 1256043094),
(5032323338, 1256086542),
(5046825710, 1256141364),
(5061328082, 1256184207),
(5075830455, 1256236084),
(5090332828, 1256276198),
(5104835201, 1256326402),
(5119337575, 1256374700),
(5133839948, 1256426109),
(5148342322, 1256483157),
(5162844694, 1256524013),
(5177347070, 1256576352),
(5191849443, 1256613474),
(5220854187, 1256699644),
(5235356561, 1256750222),
(5249858935, 1256786789),
(5264361307, 1256837803),
(5278863679, 1256874759),
(5293366052, 1256925132),
(5307868426, 1256966291),
(5322370799, 1257022304),
(5336873170, 1257080372),
(5351375543, 1257124530),
(5365877915, 1257177223),
(5380380287, 1257214633),
(5394882660, 1257264954),
(5409385032, 1257301402),
(5423887405, 1257351942),
(5452892150, 1257437447),
(5481896895, 1257523679),
(5496399266, 1257561112),
(5510901638, 1257615825),
(5525404010, 1257658088),
(5539906382, 1257712032),
(5554408755, 1257755910),
(5568911127, 1257800742),
(5598178026, 1257884408),
(5627444919, 1257968839),
(5656711815, 1258052678),
(5685978711, 1258134867),
(5700612162, 1258171063),
(5715245611, 1258224171),
(5729879059, 1258264478),
(5744512505, 1258316269),
(5773779399, 1258400812),
(5803046294, 1258483866),
(5832313191, 1258566498),
(5861580084, 1258648004),
(5890846979, 1258728583),
(5905480428, 1258763688),
(5920113875, 1258815733),
(5934747322, 1258855771),
(5949380770, 1258908199),
(5978647666, 1258989308),
(6007914562, 1259069957),
(6037181455, 1259114843),
(6065924051, 1259194489),
(6094666646, 1259275169),
(6123409244, 1259358200),
(6137780540, 1259400550),
(6152151836, 1259445778),
(6180894431, 1259530992),
(6209637027, 1259607180),
(6238379624, 1259682424),
(6267122217, 1259755025),
(6295864818, 1259820774),
(6324607408, 1259894996),
(6353350002, 1259970419),
(6382092597, 1260053024),
(6410835193, 1260134566),
(6439577787, 1260214286),
(6468320382, 1260291089),
(6497062977, 1260367774),
(6526067723, 1260434235),
(6555072469, 1260502582),
(6584077215, 1260577672),
(6613081961, 1260661871),
(6642086705, 1260743763),
(6671091450, 1260819686),
(6700096198, 1260893555),
(6729100939, 1260967872),
(6758105688, 1261036178),
(6787110430, 1261110948),
(6816115175, 1261188259),
(6845119921, 1261270632),
(6874124666, 1261350388),
(6903129411, 1261424402),
(6932134156, 1261496381),
(6961138902, 1261565790),
(6990143650, 1261632098),
(7019148394, 1261707487),
(7048153140, 1261791787),
(7062655513, 1261840419),
(7077157885, 1261879978),
(7106162630, 1261961956),
(7135167376, 1262035220),
(7164172122, 1262105185),
(7193176868, 1262171688),
(7222181616, 1262234477),
(7251186358, 1262301657),
(7280191105, 1262383201),
(7309195848, 1262464732),
(7338200595, 1262541942),
(7367205338, 1262612816),
(7396210083, 1262675092),
(7425214828, 1262744672),
(7889290754, 1263784943),
(7918295499, 1263848700),
(7947300244, 1263911923),
(7976304989, 1263965044),
(8005309735, 1264031581),
(8034314481, 1264094151),
(8063319228, 1264151204),
(8092323974, 1264209028),
(8121328717, 1264275537),
(8150333462, 1264341976),
(8179338208, 1264393989),
(8208342953, 1264456157),
(8237347699, 1264517006),
(8266352445, 1264566678),
(8295357190, 1264628035),
(8324361935, 1264688970),
(8353366681, 1264737888),
(9281518530, 1266496581),
(9310523276, 1266540720),
(9339528021, 1266593799),
(9368532766, 1266638737),
(9397537512, 1266697312),
(9426542257, 1266753465),
(9455547002, 1266803812),
(9484551749, 1266859185),
(9513556493, 1266903425),
(9542561239, 1266958947),
(9571565985, 1267010123),
(9600570730, 1267057604),
(9629575474, 1267110928),
(9745594455, 1267304792),
(9774599201, 1267359967),
(9803603946, 1267408373),
(9832608692, 1267462658),
(9861613436, 1267507678),
(9890618181, 1267562961),
(9919622927, 1267614323),
(9948627673, 1267662548),
(9977632417, 1267716230),
(10006637163, 1267759995),
(10035641908, 1267813019),
(10064646656, 1267860732),
(10093651399, 1267916893),
(10122656145, 1267973673),
(10151660892, 1268018328),
(10180665636, 1268070582),
(10209670380, 1268116873),
(10238675128, 1268170217),
(10267679871, 1268221839),
(10296684620, 1268266960),
(10325689361, 1268319850),
(10354694108, 1268365121),
(10383698852, 1268418030),
(10412703598, 1268465169),
(10441708343, 1268520235),
(10470713088, 1268576392),
(10499717833, 1268623107),
(10528722579, 1268676918),
(10557727324, 1268720312),
(10586732069, 1268772266),
(10615736815, 1268822401),
(10644741560, 1268869292),
(10673746305, 1268922940),
(10702751050, 1268966374),
(10731755796, 1269018249),
(10760760542, 1269064057),
(10789765288, 1269118877),
(10847774780, 1269220381),
(10876779525, 1269271569),
(10905784270, 1269312992),
(10934789015, 1269364350),
(10963793760, 1269405686),
(10992798508, 1269456654),
(11021803250, 1269498592),
(11050807995, 1269547371),
(11079812741, 1269592002),
(11108817488, 1269636065),
(11137822231, 1269684673),
(12065974081, 1271106371),
(12123983572, 1271192396),
(12181993064, 1271276341),
(12240002556, 1271359811),
(12298012048, 1271442823),
(12327016793, 1271482813),
(12356021537, 1271530280),
(12385026282, 1271573307),
(12414031027, 1271619541),
(12472040517, 1271705585),
(12530050007, 1271787260),
(12588059498, 1271870433),
(12646068988, 1271951152),
(12704078481, 1272031864),
(12762087969, 1272115125),
(12820097462, 1272200186),
(12878106952, 1272282436),
(12936116442, 1272360861),
(12994125932, 1272440653),
(13052135424, 1272518348),
(13110144915, 1272601088),
(13226163897, 1272772622),
(13342182880, 1272941191),
(13400192369, 1273026566),
(13458201859, 1273107385),
(13516211350, 1273190546),
(13574220841, 1273272936),
(13632230332, 1273358045),
(13690239821, 1273442741),
(13748249311, 1273526261),
(13806258802, 1273607696),
(13864268294, 1273687706),
(13922277784, 1273767759),
(13980287275, 1273848678),
(14038296766, 1273931868),
(14096306259, 1274014044),
(14154315749, 1274093940),
(14212325240, 1274165236),
(14270334729, 1274239174),
(14328344219, 1274317162),
(14386353710, 1274390949),
(14444363204, 1274465445),
(14502372694, 1274544921),
(14560382186, 1274625972),
(14618391678, 1274702350),
(14676401169, 1274769191),
(14734410656, 1274840592),
(14792420147, 1274912999),
(14850429634, 1274983340),
(14908439125, 1275055807),
(14966448617, 1275127037),
(15024458109, 1275199898),
(15082467597, 1275276264),
(15198486578, 1275420545),
(15256496069, 1275490321),
(15314505559, 1275558148),
(15374612301, 1275607984),
(15430524542, 1275671923),
(15488534033, 1275746377),
(15546543525, 1275817644),
(15604553015, 1275883040),
(15662562504, 1275952108),
(15720571994, 1276018141),
(15778581484, 1276086929),
(15836590976, 1276158428),
(15894600465, 1276220986),
(15952609955, 1276286661),
(16010619446, 1276357218),
(16068628940, 1276432409),
(16126638430, 1276494527),
(16184647919, 1276558842),
(16242657409, 1276624610),
(16300666900, 1276689439),
(16358676391, 1276744717),
(16416685881, 1276807616),
(16474695372, 1276871868),
(16532704863, 1276936786),
(16590714354, 1277005277),
(16648723845, 1277072664),
(16706733335, 1277139106),
(16764742826, 1277205455),
(16822752318, 1277265133),
(16880761808, 1277331042),
(16938771299, 1277394395),
(16996780790, 1277450591),
(17054790281, 1277512607),
(17112799772, 1277580579),
(17170809263, 1277650823),
(17228818753, 1277702041),
(17286828244, 1277766547),
(17344837736, 1277828492),
(17402847224, 1277890710),
(17460856715, 1277951849),
(17518866205, 1278016377),
(17576875697, 1278081437),
(17634885186, 1278144456),
(17692894677, 1278211828),
(17750904168, 1278286276),
(17808913659, 1278354495),
(17866923149, 1278422680),
(17924932640, 1278479052),
(17982942131, 1278538321),
(18040951621, 1278601729),
(18098961112, 1278658541),
(18156970602, 1278720168),
(18214980093, 1278787086),
(18272989584, 1278856770),
(18330999075, 1278910982),
(18389008566, 1278975780),
(18447018058, 1279036405),
(18505027547, 1279096248),
(18563037037, 1279156235),
(18621046530, 1279217302),
(18679056022, 1279280707),
(18737065514, 1279336428),
(18795075002, 1279405457),
(18853084493, 1279473507),
(18911093983, 1279541491),
(18969103475, 1279601432),
(19027112965, 1279664798),
(19109577416, 1279750739),
(19259150929, 1279809329),
(19317160422, 1279865129),
(19375169913, 1279926133),
(19433179403, 1279989950),
(19491188893, 1280058643),
(20419340738, 1281049940),
(20477350229, 1281108431),
(20535359719, 1281166271),
(20593369211, 1281232324),
(20651378700, 1281297784),
(20709388190, 1281361951),
(20767397681, 1281414878),
(20825407173, 1281474374),
(20883416663, 1281531582),
(21347492589, 1281995229),
(21405502081, 1282053814),
(21463511573, 1282106801),
(21521521062, 1282166803),
(21579530552, 1282226523),
(21637540043, 1282279512),
(21695549533, 1282339043),
(21753559024, 1282401925),
(21811568514, 1282460263),
(21869578007, 1282521887),
(21927587498, 1282582117),
(21985596988, 1282639807),
(22043606478, 1282695140),
(22275644440, 1282922596),
(22507682402, 1283156877),
(22565691894, 1283210773),
(22623701386, 1283266981),
(22681710879, 1283318595),
(22739720365, 1283374405),
(22797729856, 1283434042),
(22855739348, 1283484270),
(22913748840, 1283541796),
(22971758332, 1283602941),
(23029767823, 1283658926),
(23087777311, 1283720161),
(23145786801, 1283780752),
(23203796291, 1283830291),
(23936307773, 1283969529),
(23985217865, 1284012381),
(24034127958, 1284057548),
(24083038050, 1284100532),
(24131948142, 1284147285),
(24189957633, 1284207873),
(24247967125, 1284259897),
(24305976615, 1284316114),
(24363986106, 1284364147),
(24421995597, 1284418254),
(24480005089, 1284474526),
(24538014578, 1284522207),
(24596024068, 1284577834),
(24654033560, 1284634845),
(24712043052, 1284683817),
(24770052544, 1284738920),
(24828062036, 1284791289),
(24886071525, 1284850745),
(24944081014, 1284910422),
(25002090507, 1284962397),
(25060099992, 1285018888),
(25118109483, 1285075559),
(25176118974, 1285122885),
(25234128465, 1285179398),
(25292137956, 1285234116),
(25350147446, 1285282667),
(25408156936, 1285338136),
(25466166428, 1285385350),
(25524175917, 1285441965),
(25582185408, 1285500449),
(25640194899, 1285548617),
(25698204389, 1285602440),
(25756213880, 1285648468),
(25814223371, 1285703069),
(25872232863, 1285757773),
(25930242354, 1285805164),
(25988251843, 1285859490),
(26104270827, 1285957327),
(26162280321, 1286013333),
(26220289807, 1286066081),
(26278299306, 1286121380),
(26336308791, 1286169557),
(26394318281, 1286225376),
(26452327771, 1286282403),
(26916403696, 1286694531),
(26974413188, 1286747859),
(27032422680, 1286803101),
(27090432172, 1286845939),
(27148441658, 1286896992),
(27206451148, 1286940553),
(27264460639, 1286993385),
(27322470129, 1287045002),
(27380479620, 1287093877),
(27496498601, 1287191826),
(27554508094, 1287245720),
(27612517582, 1287295446),
(27670527075, 1287348361),
(27728536564, 1287404230),
(27786546054, 1287449083),
(27844555545, 1287502779),
(27894176415, 1287542437),
(27943797285, 1287590416),
(27993418156, 1287632114),
(28043039026, 1287679578),
(28375740433, 1287723878),
(28425361303, 1287768885),
(28474982174, 1287811881),
(28524603044, 1287858999),
(28574223915, 1287904289),
(28623844785, 1287950172),
(28673465655, 1287997531),
(28772707396, 1288083828),
(29004745360, 1288283617),
(29062754850, 1288333513),
(29120764341, 1288384572),
(29178773832, 1288441687),
(29236783322, 1288490366),
(29294792817, 1288545222),
(29352802305, 1288598845),
(29410811794, 1288649555),
(29468821284, 1288704047),
(29584840265, 1288800546),
(29642849756, 1288848226),
(29700859247, 1288904568),
];