5675100161,5174478853,7797235719,941936652,1408735254,7875262487,6446204956,535070759,8139892783,6956240943,6569797686,7633385535,7383660607,6775617609,1418344525,7197276241,7374723154,7844665430,7512619099,8121995358,6866991207,8158417007,6017208438,8142639232,5039923330,7865073796,7896010885,8099424392,6046951566,8088187023,6929338513,416069779,708184218,8196513947,6582755488,7249164449,7570014369,7223941284,7570210982,8190984363,6977351855,8106330295,7142850747,5527296196,2083424458,7889506508,7795820751,1162698960,7277969618,1891084499,8022257884,7052069089,8181680357,7589079270,7450171623,8184770799,1178659058,7819272440,6413035778,5152760073,7545878805,8016740629,6456492311,492306709,7712858396,8126576924,5657800999,7930870064,6524031284,7788165436,8171872573,7829745986,719264071,6244239688,6829627722,406069584,6779089241,6940135776,8022108513,7906898280,2038724982,1447295351,7579894139,1293824383,7417901459,8039195029,900329889,6932599203,6837324199,7665535409,6742630835,1566380476,7821967808,7749657026,7574309319,7918510537,7891077578,8151341516,5153538509,7743494607,111280592,5976476114,7566162391,1460505049,6899675615,8046311905,409721319,5289957864,7588702699,6743439862,5556568571,8011076093,6597282301,7858336256,7910666756,7606811146,7671063056,7924804113,7574123028,7201323548,6750675485,7874828832,5084641827,6492088885,7806831158,7603464762,7559150150,1202219600,5965113951,7697468002,8162435684,7130307187,6816588403,6227165829,7511556741,7876678283,8145869452,7937499787,758104719,7741934224,5959973522,8030100117,5233732255,7350772385,5354633903,7353098931,759046836,1336328883,7175705271,5424687800,7598680761,7879670458,7830033087,628302532,758192844,7647795920,6637368018,1193364179,7622439646,6649869023,8109816549,7945140965,5717555949,7524700918,7002057479,2059426569,7942685452,6700403469,8166021900,5284711190,7669191452,1319480095,726420255,6372633380,7943953193,7467811625,5142061868,8097553203,884198205,8138011459,7908600648,8029277001,6654667593,1603959626,8102175567,7576703828,7268854615,809923419,5053279068,7223683934,553147242,6919904121,7824442233,6875237244,5502231421,654101373,6469436285,5279447951,7767995279,7553840030,7501026208,6423878563,1779028902,7007605690,8024503228,1292995521,7150840770,7932332999,7878411211,5278901196,1079251922,6814684117,6789276643,6670762984,8104154094,7316648946,261796860,7645842432,8142883845,7988253705,7250961418,5309608973,7865506831,410702865,7759025174,872150040,6914950173,6791642141,690498596,7890777126,1681493031,49988654,6751792182,8069317689,7951852612,7745868870,7185345638,7579681901,7786114158,7862563955,7913532540,7558020224,8174902406,8172778637,7596928146,1573880979,6292499607,7865414810,7823840423,7665140904,5384643753,663956649,6424917171,7525657781,7334976699,7203914939,7236324541,5019237573,6650531027,7115506901,7193152725,7542519018,7666068715,7941606636,7912475892,7740343570,6322302227,8065946898,1101073683,5105278230,7113809181,7776185630,7863895332,7884766507,7482375483,None,7663744318,7065703742,8079166785,1224912197,874169669,5622672713,7303066955,7013070157,6332478799,7738498384,7091414352,7938364757,8115203416,6950944091,5170179426,7360611689,7910432108,8082220403,1254053238,7993838971,8068662662,8148311431,7109076363,8001037715,5908788630,1319644574,7725614500,7745979818,7498124731,7718743484,6610607560,6465932746,7474810315,699030989,6872163792,228748766,6496155104,7175644642,8184735207,7655763432,7583620585,5502795241,7241559531,399992311,7671121399,7511584251,6913508861,7938395648,1708664322,8068402693,7679434249,7325902346,461618703,5164146196,6311110170,447768094,7647075870,6324182561,7963844136,5466981936,7678479924,7969707575,6691450426,1110185533,752221760,1740926532,6786899525,8160202312,1108819528,8198606408,8157509192,6085142095,6970465874,6716098140,7393932909,5864283759,6213289586,5733176951,7728338552,6480756350,7508348543,7471709826,1091145346,6546085513,8091125390,8159573648,832786065,639714969,7574494888,8085894828,7456450223,7582314160,8116326072,6385839801,8106833598,1465282246,6747379402,534066894,6294564566,7795998424,7784468185,7457117920,1105473261,1409550070,6456989433,5644986106,7643098881,931645197,8004112141,5638233872,1143447315,7977326356,1307864853,7591896853,6705270555,7226847004,7977443104,5836187431,7573258032,371246902,7298350903,7923867450,6985029435,7479459644,448444218,6339254086,7997126477,-1002314086576,7627272020,794668886,7674994521,7573712730,5148886878,7614703455,7692535650,7985833841,5950846842,7941537659,7638589310,5687136127,938088321,6545928067,7638558597,7417173896,7911292815,6768353169,187629458,7339364247,7974633368,7573020583,934729640,6556589996,7873464243,5283006388,6790588341,7536922554,7991420859,7739547591,7550320584,1038804941,6521913297,1396185042,5219407827,7314044885,891725782,1265051611,8153243611,7485575151,1243602931,8024209396