CERNO

294767617,405156237,405150733,294760705,452624410,454983706,405158797,294774081,289926977,294762753,405151501,294766209,296378369,296373185,405159821,405149389,294766977,294767937,405155213,417183373,405965709,405156109,294765761,440995149,294762817,409309325,437615821,405146701,452460570,405173133,451149850,294760577,405172301,454590490,296375105,405157261,405164045,296372033,405148493,405147149,294775489,405162701,447873050,450297882,405150093,405161101,294766337,294772353,294773569,289927617,433563021,296375297,905084954,405163789,294763201,296375681,405145933,296373377,294768065,276125185,294761537,294775617,294770561,404416397,450428954,405164621,296374785,294761153,405153869,296378305,296372225,294774785,405149773,405172813,294776193,296378689,451641370,296376769,670826522,405169165,295108609,405170509,405165581,450887706,405158285,296376129,405163917,418970381,453017626,405167117,405164557,405160845,5021597722,758644762,416884237,294770433,296375425,452231194,451608602,4752572442,296371905,296373761,405153357,405170893,294774721,405159053,294760513,405171981,405146829,294768321,405163405,288140609,405166605,428375181,405159565,294761729,405152973,405169933,809893914,405158157,405145805,452395034,405153933,296376257,296376001,405155597,294770817,405154893,405146637,453672986,294764993,296371393,294775297,436064973,405155149,405155341,294768577,405148237,453607450,294761409,405150285,405160205,294767489,294768257,296375553,294763137,454557722,405152781,296375809,296371649,294770369,294774977,453541914,405147981,452263962,294771649,296377857,405167309,294769025,405154957,296378817,431976141,296373441,405168013,405146957,294770049,294762113,428155213,294769089,294774209,405153549,405163149,1428815898,289112641,436867469,405160397,405147277,405173453,405146189,294775169,405164877,415137549,454623258,405171341,405158861,405165389,294768385,451575834,405151373,405147469,450560026,294773121,451477530,454787098,405166989,294763521,296376961,405171789,509968410,294766145,405155533,294765697,296373313,405171149,405147597,405151437,296378753,294762625,434604493,405154829,294775425,296371969,450822170,417688781,294767361,296378177,405148301,405149197,450527258,294769345,296377601,294774017,294760449,453902362,296377345,451903514,294760641,405169805,294761473,450756634,296374529,296371585,405152269,405151245,296373825,405154701,296372673,405150413,537231386,405164749,405154573,296376577,405164237,294765313,294775553,405149453,439557069,294767041,405166477,405162957,405161933,294771457,289927681,405159181,405150797,405172557,405153101,759136282,427595853,405147341,296373697,405159949,296376193,405172941,452722714,405173389,296375169,296373057,405160525,296372609,294769665,294768961,294766593,296371713,296377537,450691098,294771905,440784461,294765889,405164173,405153037,454295578,294762369,862650394,405165325,294771841,426750477,405145677,405155085,453115930,296373633,296375937,405149133,4506451994,296374913,405156941,453705754,405161997,405153165,406161101,295105729,295106049,295106177,406160717,294776257,452558874,450461722,408206541,294770305,436207373,405169293,452001818,294764097,405152333,430571533,404515853,405160653,405157773,406134605,405149965,421435917,407254413,404421837,405153677,404109901,408186061,404254413,404412749,4655677466,404258189,407516301,404417421,409030093,398249677,404100301,405165453,405162765,405169613,405145997,294768641,296378049,405153421,294761281,405149709,452296730,405166157,294765953,294768897,405170445,405148813,405173197,864321562,416230221,405151757,453214234,405147085,452427802,405170381,405156621,294770881,405165069,405155405,405158669,452526106,294770177,294773441,453836826,405151181,294762497,294761985,452362266,447905818,450330650,4463231002,296371201,294766849,405156173,454524954,294762945,294767553,450494490,405173645,405166861,405171021,453574682,405148045,294765057,439360461,454459418,405148621,296370881,296377281,405157645,405162317,5042765850,294775809,294776385,260752193,296370689,296370497,405157901,296372865,405148173,296375361,294773825,289926209,405151885,1017806874,296377473,294769473,405151821,454000666,405157453,294769729,454033434,405162893,294761345,453935130,294763265,451117082,296378945,452198426,451346458,451936282,405148109,405147661,405155853,405159501,294760193,450789402,296374337,424278477,454918170,294760833,454492186,294773377,289926529,405155917,296373505,451379226,453083162,294767297,405163533,405151053,294765121,296376449,451411994,294770945,405151629,405159245,294764865,296377089,405161421,294766465,405170829,294766017,294764673,294771969,405157517,296377217,434871885,294764353,405146573,405151565,294766529,294775361,405157581,294763329,405163341,405158413,296376385,405154765,294773313,405167245,425842317,405167565,405170061,296373889,405170317,453312538,405172173,294769409,405150861,294771137,420754893,405170125,405167373,289027777,296377729,296372545,296370945,405159373,405154637,414676557,478347290,405167501,294761089,405152653,405147533,453410842,405161293,453967898,405148685,296372737,405146061,454230042,452329498,5229510682,405154189,441015501,405157197,294767873,421201933,405146317,450920474,425026701,294761793,294774593,294771329,405158605,296374273,405158093,294771009,294766785,405156749,405148365,296371329,296371073,296372993,405164429,450396186,405160013,411520525,294771713,294761921,406158541,294774145,289927297,294768193,451018778,405165965,405150989,405161165,294773185,454066202,294770113,453181466,296379265,436455053,405166541,296376513,417905869,405152845,450986010,405156429,405171725,405169421,294766081,452165658,405167181,454098970,294764161,294767681,421474445,294764801,405153613,296376065,450953242,405173069,405152141,405164493,296374465,438755597,405147021,294762433,450854938,294764481,405151117,405168461,417434125,451051546,405166349,296378497,405163277,294763009,405162381,296372097,405153805,415136269,451805210,296378113,405147725,453738522,294762241,405170957,294768833,296377409,294760129,296371841,405165197,405151949,405167437,294771073,405163021,405167629,405166413,405172045,296371777,405161869,294770625,294761217,296377921,440783501,294773889,294774529,3576528922,648216602,405166285,405162445,294764033,451739674,429845197,411087181,296371137,405163725,454131738,405165837,405169037,294765377,405160589,405156557,296377665,405163853,294763969,405150029,453279770,405146253,405154253,405165773,405162637,447807514,447938586,450232346,450199578,451772442,294766913,296371009,405149005,294760897,405172429,451280922,294769217,405155981,405156877,451706906,454656026,296372801,453640218,454328346,453476378,296377793,296374081,405172685,451444762,405166029,405168973,433380877,405171597,427613581,294762561,405166093,405154061,452755482,450723866,452657178,416386509,452689946,405149325,405165005,440699661,452952090,405147917,453869594,405157965,405146125,294768769,405164685,294770689,405161677,779354138,294773633,405157325,294763073,296376641,405156493,405161037,4979720218,296378433,447840282,450265114,405161613,405156301,405156045,405150541,452821018,451969050,405155021,296378241,405172109,294769857,405152397,296371265,296371457,405162061,451543066,405172621,451084314,405146509,405160333,405165645,405166221,296376897,294763585,454754330,294760385,296375041,405168205,452984858,405154509,296371521,416886477,452788250,296373953,296374849,294766401,294773057,294772929,405154445,294769601,405156685,405162573,294773953,405171533,414879053,405155277,296372161,451674138,294764417,405145869,405157005,405173517,452132890,294765505,294767105,452493338,405172365,405148941,405163597,405149517,450363418,294762881,405146893,405169677,453804058,417691789,405158349,450625562,294764609,294762049,405161357,294760769,452034586,294774401,405157709,294770753,294774273,405160461,405159757,296374977,296377025,440785101,294763457,296377153,294767233,294764929,294774657,294775745,294771201,296379137,405157389,454688794,405148877,405172237,405173325,294776129,405158925,405161549,296372289,452067354,405163661,405149581,405162829,405147853,452886554,405170637,405167053,294765825,405171213,405170701,452100122,450658330,451870746,294769921,294763841,405168909,405154381,294770241,294764545,294761025,405146765,294773697,294766273,405150221,405172877,294771585,294767809,294775105,450592794,294775681,405168781,405161485,405146381,405164301,451837978,405173581,405168333,294761857,296379201,405167693,405149645,408817357,294768449,405169357,412117901,405160909,1148878874,405158989,405167821,405158541,405153293,405159117,294762305,405171277,294774849,405168077,405152077,405152205,296375489,294764289,296374209,294769985,405169549,296372929,296373121,296370753,294766721,451215386,405149261,296378625,405152909,294771393,405148749,405161805,294762177,405165133,296374145,296372417,405160781,296374401,435952973,405150605,294771265,296376705,405164109,294765441,405168589,405150925,296370817,405171917,405163213,405169485,405150157,438870541,405162509,405150477,405173005,452591642,440105741,294767425,296372481,296372353,453378074,405149837,405167949,405168397,296374657,294763393,405165709,294762689,294765249,405155469,405165901,296374017,454361114,294768705,294764225,405152461,405168845,294769793,296378881,294775041,405169741,405159437,405148429,405159693,414930125,405149901,408194061,432329101,296373569,438993933,405152525,405171853,405167885,405158477,294773761,405171405,430531725,453050394,405172749,405162125,454164506,294768129,405150669,294775233,294774913,294763905,454426650,405162253,405159309,405170765,405168525,427626765,405154317,294768513,420505165,405148557,408341517,422170573,453247002,405161741,440785037,452853786,963543066,405158221,405165261,294763777,405157069,294769537,3813572634,415106637,405153229,454393882,405164941,411789773,292256577,296377985,294770497,405171085,294760257,405152589,405170189,424529677,439640845,405170253,405159885,405152013,405151693,405155661,294771777,405151309,405160973,453148698,294767169,294760961,294769281,405162189,408195021,405147213,454197274,