id_arb=new Array();nb_arb=new Array();id_arb=[31251647,31251646,31251645,31251644,31251643,31251642,31251641,31251640,31251639,31251638,31251637,31251636,31251635,31251634,31251633,31251632,31251631,31251630,31251629,31251628,31251627,31251626,31251625,31251624,31251623,31251622,31251621,31251620,31251619,31251618,31251617,31251616,31251747,31251746,31251745,31251744,31251743,31251742,31251741,31251740,31251739,31251738,31251737,31251736,31251735,31251734,31251733,31251732,31251731,31251730,31251729,31251728,31251727,31251726,31251725,31251724,31251723,31251722,31251721,31251720,31251719,31251718,31251717,31251716,31251847,31251846,31251845,31251844,31251843,31251842,31251841,31251840,31251839,31251838,31251837,31251836,31251835,31251834,31251833,31251832,31251831,31251830,31251829,31251828,31251827,31251826,31251825,31251824,31251823,31251822,31251821,31251820,31251819,31251818,31251817,31251816,31251947,31251946,31251945,31251944,31251943,31251942,31251941,31251940,31251939,31251938,31251937,31251936,31251935,31251934,31251933,31251932,31251931,31251930,31251929,31251928,31251927,31251926,31251925,31251924,31251923,31251922,31251921,31251920,31251919,31251918,31251917,31251916,31252047,31252046,31252045,31252044,31252043,31252042,31252041,31252040,31252039,31252038,31252037,31252036,31252035,31252034,31252033,31252032,31252031,31252030,31252029,31252028,31252027,31252026,31252025,31252024,31252023,31252022,31252021,31252020,31252019,31252018,31252017,31252016,31252147,31252146,31252145,31252144,31252143,31252142,31252141,31252140,31252139,31252138,31252137,31252136,31252135,31252134,31252133,31252132,31252131,31252130,31252129,31252128,31252127,31252126,31252125,31252124,31252123,31252122,31252121,31252120,31252119,31252118,31252117,31252116,31252247,31252246,31252245,31252244,31252243,31252242,31252241,31252240,31252239,31252238,31252237,31252236,31252235,31252234,31252233,31252232,31252231,31252230,31252229,31252228,31252227,31252226,31252225,31252224,31252223,31252222,31252221,31252220,31252219,31252218,31252217,31252216,31252347,31252346,31252345,31252344,31252343,31252342,31252341,31252340,31252339,31252338,31252337,31252336,31252335,31252334,31252333,31252332,31252331,31252330,31252329,31252328,31252327,31252326,31252325,31252324,31252323,31252322,31252321,31252320,31252319,31252318,31252317,31252316,31252447,31252446,31252445,31252444,31252443,31252442,31252441,31252440,31252439,31252438,31252437,31252436,31252435,31252434,31252433,31252432,31252431,31252430,31252429,31252428,31252427,31252426,31252425,31252424,31252423,31252422,31252421,31252420,31252419,31252418,31252417,31252416,31252547,31252546,31252545,31252544,31252543,31252542,31252541,31252540,31252539,31252538,31252537,31252536,31252535,31252534,31252533,31252532,31252531,31252530,31252529,31252528,31252527,31252526,31252525,31252524,31252523,31252522,31252521,31252520,31252519,31252518,31252517,31252516,31252647,31252646,31252645,31252644,31252643,31252642,31252641,31252640,31252639,31252638,31252637,31252636,31252635,31252634,31252633,31252632,31252631,31252630,31252629,31252628,31252627,31252626,31252625,31252624,31252623,31252622,31252621,31252620,31252619,31252618,31252617,31252616,31252747,31252746,31252745,31252744,31252743,31252742,31252741,31252740,31252739,31252738,31252737,31252736,31252735,31252734,31252733,31252732,31252731,31252730,31252729,31252728,31252727,31252726,31252725,31252724,31252723,31252722,31252721,31252720,31252719,31252718,31252717,31252716,31252847,31252846,31252845,31252844,31252843,31252842,31252841,31252840,31252839,31252838,31252837,31252836,31252835,31252834,31252833,31252832,31252831,31252830,31252829,31252828,31252827,31252826,31252825,31252824,31252823,31252822,31252821,31252820,31252819,31252818,31252817,31252816,31252947,31252946,31252945,31252944,31252943,31252942,31252941,31252940,31252939,31252938,31252937,31252936,31252935,31252934,31252933,31252932,31252931,31252930,31252929,31252928,31252927,31252926,31252925,31252924,31252923,31252922,31252921,31252920,31252919,31252918,31252917,31252916,31253047,31253046,31253045,31253044,31253043,31253042,31253041,31253040,31253039,31253038,31253037,31253036,31253035,31253034,31253033,31253032,31253031,31253030,31253029,31253028,31253027,31253026,31253025,31253024,31253023,31253022,31253021,31253020,31253019,31253018,31253017,31253016,31253147,31253146,31253145,31253144,31253143,31253142,31253141,31253140,31253139,31253138,31253137,31253136,31253135,31253134,31253133,31253132,31253131,31253130,31253129,31253128,31253127,31253126,31253125,31253124,31253123,31253122,31253121,31253120,31253119,31253118,31253117,31253116,31253247,31253246,31253245,31253244,31253243,31253242,31253241,31253240,31253239,31253238,31253237,31253236,31253235,31253234,31253233,31253232,31253231,31253230,31253229,31253228,31253227,31253226,31253225,31253224,31253223,31253222,31253221,31253220,31253219,31253218,31253217,31253216,31253215,31253214,31253213,31253212,31253211,31253210,31253209,31253208,31253207,31253206,31253205,31253204,31253203,31253202,31253201,31253200,31253347,31253346,31253345,31253344,31253343,31253342,31253341,31253340,31253339,31253338,31253337,31253336,31253335,31253334,31253333,31253332,31253331,31253330,31253329,31253328,31253327,31253326,31253325,31253324,31253323,31253322,31253321,31253320,31253319,31253318,31253317,31253316,31253315,31253314,31253313,31253312,31253311,31253310,31253309,31253308,31253307,31253306,31253305,31253304,31253303,31253302,31253301,31253300,31253447,31253446,31253445,31253444,31253443,31253442,31253441,31253440,31253439,31253438,31253437,31253436,31253435,31253434,31253433,31253432,31253431,31253430,31253429,31253428,31253427,31253426,31253425,31253424,31253423,31253422,31253421,31253420,31253419,31253418,31253417,31253416,31253415,31253414,31253413,31253412,31253411,31253410,31253409,31253408,31253407,31253406,31253405,31253404,31253403,31253402,31253401,31253400,31253547,31253546,31253545,31253544,31253543,31253542,31253541,31253540,31253539,31253538,31253537,31253536,31253535,31253534,31253533,31253532,31253531,31253530,31253529,31253528,31253527,31253526,31253525,31253524,31253523,31253522,31253521,31253520,31253519,31253518,31253517,31253516,31253515,31253514,31253513,31253512,31253511,31253510,31253509,31253508,31253507,31253506,31253505,31253504,31253503,31253502,31253501,31253500,31253647,31253646,31253645,31253644,31253643,31253642,31253641,31253640,31253639,31253638,31253637,31253636,31253635,31253634,31253633,31253632,31253631,31253630,31253629,31253628,31253627,31253626,31253625,31253624,31253623,31253622,31253621,31253620,31253619,31253618,31253617,31253616,31253615,31253614,31253613,31253612,31253611,31253610,31253609,31253608,31253607,31253606,31253605,31253604,31253603,31253602,31253601,31253600,31253747,31253746,31253745,31253744,31253743,31253742,31253741,31253740,31253739,31253738,31253737,31253736,31253735,31253734,31253733,31253732,31253731,31253730,31253729,31253728,31253727,31253726,31253725,31253724,31253723,31253722,31253721,31253720,31253719,31253718,31253717,31253716,31253715,31253714,31253713,31253712,31253711,31253710,31253709,31253708,31253707,31253706,31253705,31253704,31253703,31253702,31253701,31253700,31253847,31253846,31253845,31253844,31253843,31253842,31253841,31253840,31253839,31253838,31253837,31253836,31253835,31253834,31253833,31253832,31253831,31253830,31253829,31253828,31253827,31253826,31253825,31253824,31253823,31253822,31253821,31253820,31253819,31253818,31253817,31253816,31253815,31253814,31253813,31253812,31253811,31253810,31253809,31253808,31253807,31253806,31253805,31253804,31253803,31253802,31253801,31253800,31253947,31253946,31253945,31253944,31253943,31253942,31253941,31253940,31253939,31253938,31253937,31253936,31253935,31253934,31253933,31253932,31253931,31253930,31253929,31253928,31253927,31253926,31253925,31253924,31253923,31253922,31253921,31253920,31253919,31253918,31253917,31253916,31253915,31253914,31253913,31253912,31253911,31253910,31253909,31253908,31253907,31253906,31253905,31253904,31253903,31253902,31253901,31253900,31254047,31254046,31254045,31254044,31254043,31254042,31254041,31254040,31254039,31254038,31254037,31254036,31254035,31254034,31254033,31254032,31254031,31254030,31254029,31254028,31254027,31254026,31254025,31254024,31254023,31254022,31254021,31254020,31254019,31254018,31254017,31254016,31254015,31254014,31254013,31254012,31254011,31254010,31254009,31254008,31254007,31254006,31254005,31254004,31254003,31254002,31254001,31254000,31254147,31254146,31254145,31254144,31254143,31254142,31254141,31254140,31254139,31254138,31254137,31254136,31254135,31254134,31254133,31254132,31254131,31254130,31254129,31254128,31254127,31254126,31254125,31254124,31254123,31254122,31254121,31254120,31254119,31254118,31254117,31254116,31254115,31254114,31254113,31254112,31254111,31254110,31254109,31254108,31254107,31254106,31254105,31254104,31254103,31254102,31254101,31254100,31254247,31254246,31254245,31254244,31254243,31254242,31254241,31254240,31254239,31254238,31254237,31254236,31254235,31254234,31254233,31254232,31254231,31254230,31254229,31254228,31254227,31254226,31254225,31254224,31254223,31254222,31254221,31254220,31254219,31254218,31254217,31254216,31254215,31254214,31254213,31254212,31254211,31254210,31254209,31254208,31254207,31254206,31254205,31254204,31254203,31254202,31254201,31254200,31254347,31254346,31254345,31254344,31254343,31254342,31254341,31254340,31254339,31254338,31254337,31254336,31254335,31254334,31254333,31254332,31254331,31254330,31254329,31254328,31254327,31254326,31254325,31254324,31254323,31254322,31254321,31254320,31254319,31254318,31254317,31254316,31254315,31254314,31254313,31254312,31254311,31254310,31254309,31254308,31254307,31254306,31254305,31254304,31254303,31254302,31254301,31254300,31254447,31254446,31254445,31254444,31254443,31254442,31254441,31254440,31254439,31254438,31254437,31254436,31254435,31254434,31254433,31254432,31254431,31254430,31254429,31254428,31254427,31254426,31254425,31254424,31254423,31254422,31254421,31254420,31254419,31254418,31254417,31254416,31254415,31254414,31254413,31254412,31254411,31254410,31254409,31254408,31254407,31254406,31254405,31254404,31254403,31254402,31254401,31254400,31254547,31254546,31254545,31254544,31254543,31254542,31254541,31254540,31254539,31254538,31254537,31254536,31254535,31254534,31254533,31254532,31254531,31254530,31254529,31254528,31254527,31254526,31254525,31254524,31254523,31254522,31254521,31254520,31254519,31254518,31254517,31254516,31254515,31254514,31254513,31254512,31254511,31254510,31254509,31254508,31254507,31254506,31254505,31254504,31254503,31254502,31254501,31254500,31254647,31254646,31254645,31254644,31254643,31254642,31254641,31254640,31254639,31254638,31254637,31254636,31254635,31254634,31254633,31254632,31254631,31254630,31254629,31254628,31254627,31254626,31254625,31254624,31254623,31254622,31254621,31254620,31254619,31254618,31254617,31254616,31254615,31254614,31254613,31254612,31254611,31254610,31254609,31254608,31254607,31254606,31254605,31254604,31254603,31254602,31254601,31254600,31254747,31254746,31254745,31254744,31254743,31254742,31254741,31254740,31254739,31254738,31254737,31254736,31254735,31254734,31254733,31254732,31254731,31254730,31254729,31254728,31254727,31254726,31254725,31254724,31254723,31254722,31254721,31254720,31254719,31254718,31254717,31254716,31254715,31254714,31254713,31254712,31254711,31254710,31254709,31254708,31254707,31254706,31254705,31254704,31254703,31254702,31254701,31254700,31254847,31254846,31254845,31254844,31254843,31254842,31254841,31254840,31254839,31254838,31254837,31254836,31254835,31254834,31254833,31254832,31254831,31254830,31254829,31254828,31254827,31254826,31254825,31254824,31254823,31254822,31254821,31254820,31254819,31254818,31254817,31254816,31254815,31254814,31254813,31254812,31254811,31254810,31254809,31254808,31254807,31254806,31254805,31254804,31254803,31254802,31254801,31254800,31254947,31254946,31254945,31254944,31254943,31254942,31254941,31254940,31254939,31254938,31254937,31254936,31254935,31254934,31254933,31254932,31254931,31254930,31254929,31254928,31254927,31254926,31254925,31254924,31254923,31254922,31254921,31254920,31254919,31254918,31254917,31254916,31254915,31254914,31254913,31254912,31254911,31254910,31254909,31254908,31254907,31254906,31254905,31254904,31254903,31254902,31254901,31254900,31255047,31255046,31255045,31255044,31255043,31255042,31255041,31255040,31255039,31255038,31255037,31255036,31255035,31255034,31255033,31255032,31255031,31255030,31255029,31255028,31255027,31255026,31255025,31255024,31255023,31255022,31255021,31255020,31255019,31255018,31255017,31255016,31255015,31255014,31255013,31255012,31255011,31255010,31255009,31255008,31255007,31255006,31255005,31255004,31255003,31255002,31255001,31255000,31255147,31255146,31255145,31255144,31255143,31255142,31255141,31255140,31255139,31255138,31255137,31255136,31255135,31255134,31255133,31255132,31255131,31255130,31255129,31255128,31255127,31255126,31255125,31255124,31255123,31255122,31255121,31255120,31255119,31255118,31255117,31255116,31255115,31255114,31255113,31255112,31255111,31255110,31255109,31255108,31255107,31255106,31255105,31255104,31255103,31255102,31255101,31255100,31255247,31255246,31255245,31255244,31255243,31255242,31255241,31255240,31255239,31255238,31255237,31255236,31255235,31255234,31255233,31255232,31255231,31255230,31255229,31255228,31255227,31255226,31255225,31255224,31255223,31255222,31255221,31255220,31255219,31255218,31255217,31255216,31255215,31255214,31255213,31255212,31255211,31255210,31255209,31255208,31255207,31255206,31255205,31255204,31255203,31255202,31255201,31255200,31255347,31255346,31255345,31255344,31255343,31255342,31255341,31255340,31255339,31255338,31255337,31255336,31255335,31255334,31255333,31255332,31255331,31255330,31255329,31255328,31255327,31255326,31255325,31255324,31255323,31255322,31255321,31255320,31255319,31255318,31255317,31255316,31255315,31255314,31255313,31255312,31255311,31255310,31255309,31255308,31255307,31255306,31255305,31255304,31255303,31255302,31255301,31255300,31255447,31255446,31255445,31255444,31255443,31255442,31255441,31255440,31255439,31255438,31255437,31255436,31255435,31255434,31255433,31255432,31255431,31255430,31255429,31255428,31255427,31255426,31255425,31255424,31255423,31255422,31255421,31255420,31255419,31255418,31255417,31255416,31255415,31255414,31255413,31255412,31255411,31255410,31255409,31255408,31255407,31255406,31255405,31255404,31255403,31255402,31255401,31255400,31255547,31255546,31255545,31255544,31255543,31255542,31255541,31255540,31255539,31255538,31255537,31255536,31255535,31255534,31255533,31255532,31255531,31255530,31255529,31255528,31255527,31255526,31255525,31255524,31255523,31255522,31255521,31255520,31255519,31255518,31255517,31255516,31255515,31255514,31255513,31255512,31255511,31255510,31255509,31255508,31255507,31255506,31255505,31255504,31255503,31255502,31255501,31255500,31255647,31255646,31255645,31255644,31255643,31255642,31255641,31255640,31255639,31255638,31255637,31255636,31255635,31255634,31255633,31255632,31255631,31255630,31255629,31255628,31255627,31255626,31255625,31255624,31255623,31255622,31255621,31255620,31255619,31255618,31255617,31255616,31255615,31255614,31255613,31255612,31255611,31255610,31255609,31255608,31255607,31255606,31255605,31255604,31255603,31255602,31255601,31255600,31255747,31255746,31255745,31255744,31255743,31255742,31255741,31255740,31255739,31255738,31255737,31255736,31255735,31255734,31255733,31255732,31255731,31255730,31255729,31255728,31255727,31255726,31255725,31255724,31255723,31255722,31255721,31255720,31255719,31255718,31255717,31255716,31255715,31255714,31255713,31255712,31255711,31255710,31255709,31255708,31255707,31255706,31255705,31255704,31255703,31255702,31255701,31255700,31255847,31255846,31255845,31255844,31255843,31255842,31255841,31255840,31255839,31255838,31255837,31255836,31255835,31255834,31255833,31255832,31255831,31255830,31255829,31255828,31255827,31255826,31255825,31255824,31255823,31255822,31255821,31255820,31255819,31255818,31255817,31255816,31255815,31255814,31255813,31255812,31255811,31255810,31255809,31255808,31255807,31255806,31255805,31255804,31255803,31255802,31255801,31255800,31255947,31255946,31255945,31255944,31255943,31255942,31255941,31255940,31255939,31255938,31255937,31255936,31255935,31255934,31255933,31255932,31255931,31255930,31255929,31255928,31255927,31255926,31255925,31255924,31255923,31255922,31255921,31255920,31255919,31255918,31255917,31255916,31255915,31255914,31255913,31255912,31255911,31255910,31255909,31255908,31255907,31255906,31255905,31255904,31255903,31255902,31255901,31255900,31256047,31256046,31256045,31256044,31256043,31256042,31256041,31256040,31256039,31256038,31256037,31256036,31256035,31256034,31256033,31256032,31256031,31256030,31256029,31256028,31256027,31256026,31256025,31256024,31256023,31256022,31256021,31256020,31256019,31256018,31256017,31256016,31256015,31256014,31256013,31256012,31256011,31256010,31256009,31256008,31256007,31256006,31256005,31256004,31256003,31256002,31256001,31256000,31256147,31256146,31256145,31256144,31256143,31256142,31256141,31256140,31256139,31256138,31256137,31256136,31256135,31256134,31256133,31256132,31256131,31256130,31256129,31256128,31256127,31256126,31256125,31256124,31256123,31256122,31256121,31256120,31256119,31256118,31256117,31256116,31256115,31256114,31256113,31256112,31256111,31256110,31256109,31256108,31256107,31256106,31256105,31256104,31256103,31256102,31256101,31256100,31256247,31256246,31256245,31256244,31256243,31256242,31256241,31256240,31256239,31256238,31256237,31256236,31256235,31256234,31256233,31256232,31256231,31256230,31256229,31256228,31256227,31256226,31256225,31256224,31256223,31256222,31256221,31256220,31256219,31256218,31256217,31256216,31256215,31256214,31256213,31256212,31256211,31256210,31256209,31256208,31256207,31256206,31256205,31256204,31256203,31256202,31256201,31256200,31256347,31256346,31256345,31256344,31256343,31256342,31256341,31256340,31256339,31256338,31256337,31256336,31256335,31256334,31256333,31256332,31256331,31256330,31256329,31256328,31256327,31256326,31256325,31256324,31256323,31256322,31256321,31256320,31256319,31256318,31256317,31256316,31256315,31256314,31256313,31256312,31256311,31256310,31256309,31256308,31256307,31256306,31256305,31256304,31256303,31256302,31256301,31256300,31256447,31256446,31256445,31256444,31256443,31256442,31256441,31256440,31256439,31256438,31256437,31256436,31256435,31256434,31256433,31256432,31256431,31256430,31256429,31256428,31256427,31256426,31256425,31256424,31256423,31256422,31256421,31256420,31256419,31256418,31256417,31256416,31256415,31256414,31256413,31256412,31256411,31256410,31256409,31256408,31256407,31256406,31256405,31256404,31256403,31256402,31256401,31256400,31256547,31256546,31256545,31256544,31256543,31256542,31256541,31256540,31256539,31256538,31256537,31256536,31256535,31256534,31256533,31256532,31256531,31256530,31256529,31256528,31256527,31256526,31256525,31256524,31256523,31256522,31256521,31256520,31256519,31256518,31256517,31256516,31256515,31256514,31256513,31256512,31256511,31256510,31256509,31256508,31256507,31256506,31256505,31256504,31256503,31256502,31256501,31256500,31256647,31256646,31256645,31256644,31256643,31256642,31256641,31256640,31256639,31256638,31256637,31256636,31256635,31256634,31256633,31256632,31256631,31256630,31256629,31256628,31256627,31256626,31256625,31256624,31256623,31256622,31256621,31256620,31256619,31256618,31256617,31256616,31256615,31256614,31256613,31256612,31256611,31256610,31256609,31256608,31256607,31256606,31256605,31256604,31256603,31256602,31256601,31256600,31256747,31256746,31256745,31256744,31256743,31256742,31256741,31256740,31256739,31256738,31256737,31256736,31256735,31256734,31256733,31256732,31256731,31256730,31256729,31256728,31256727,31256726,31256725,31256724,31256723,31256722,31256721,31256720,31256719,31256718,31256717,31256716,31256715,31256714,31256713,31256712,31256711,31256710,31256709,31256708,31256707,31256706,31256705,31256704,31256703,31256702,31256701,31256700,31256847,31256846,31256845,31256844,31256843,31256842,31256841,31256840,31256839,31256838,31256837,31256836,31256835,31256834,31256833,31256832,31256831,31256830,31256829,31256828,31256827,31256826,31256825,31256824,31256823,31256822,31256821,31256820,31256819,31256818,31256817,31256816,31256815,31256814,31256813,31256812,31256811,31256810,31256809,31256808,31256807,31256806,31256805,31256804,31256803,31256802,31256801,31256800,31256947,31256946,31256945,31256944,31256943,31256942,31256941,31256940,31256939,31256938,31256937,31256936,31256935,31256934,31256933,31256932,31256931,31256930,31256929,31256928,31256927,31256926,31256925,31256924,31256923,31256922,31256921,31256920,31256919,31256918,31256917,31256916,31256915,31256914,31256913,31256912,31256911,31256910,31256909,31256908,31256907,31256906,31256905,31256904,31256903,31256902,31256901,31256900,31257047,31257046,31257045,31257044,31257043,31257042,31257041,31257040,31257039,31257038,31257037,31257036,31257035,31257034,31257033,31257032,31257031,31257030,31257029,31257028,31257027,31257026,31257025,31257024,31257023,31257022,31257021,31257020,31257019,31257018,31257017,31257016,31257015,31257014,31257013,31257012,31257011,31257010,31257009,31257008,31257007,31257006,31257005,31257004,31257003,31257002,31257001,31257000,31257147,31257146,31257145,31257144,31257143,31257142,31257141,31257140,31257139,31257138,31257137,31257136,31257135,31257134,31257133,31257132,31257131,31257130,31257129,31257128,31257127,31257126,31257125,31257124,31257123,31257122,31257121,31257120,31257119,31257118,31257117,31257116,31257115,31257114,31257113,31257112,31257111,31257110,31257109,31257108,31257107,31257106,31257105,31257104,31257103,31257102,31257101,31257100,31257247,31257246,31257245,31257244,31257243,31257242,31257241,31257240,31257239,31257238,31257237,31257236,31257235,31257234,31257233,31257232,31257231,31257230,31257229,31257228,31257227,31257226,31257225,31257224,31257223,31257222,31257221,31257220,31257219,31257218,31257217,31257216,31257215,31257214,31257213,31257212,31257211,31257210,31257209,31257208,31257207,31257206,31257205,31257204,31257203,31257202,31257201,31257200,31257347,31257346,31257345,31257344,31257343,31257342,31257341,31257340,31257339,31257338,31257337,31257336,31257335,31257334,31257333,31257332,31257331,31257330,31257329,31257328,31257327,31257326,31257325,31257324,31257323,31257322,31257321,31257320,31257319,31257318,31257317,31257316,31257315,31257314,31257313,31257312,31257311,31257310,31257309,31257308,31257307,31257306,31257305,31257304,31257303,31257302,31257301,31257300,31257447,31257446,31257445,31257444,31257443,31257442,31257441,31257440,31257439,31257438,31257437,31257436,31257435,31257434,31257433,31257432,31257431,31257430,31257429,31257428,31257427,31257426,31257425,31257424,31257423,31257422,31257421,31257420,31257419,31257418,31257417,31257416,31257415,31257414,31257413,31257412,31257411,31257410,31257409,31257408,31257407,31257406,31257405,31257404,31257403,31257402,31257401,31257400,31257547,31257546,31257545,31257544,31257543,31257542,31257541,31257540,31257539,31257538,31257537,31257536,31257535,31257534,31257533,31257532,31257531,31257530,31257529,31257528,31257527,31257526,31257525,31257524,31257523,31257522,31257521,31257520,31257519,31257518,31257517,31257516,31257515,31257514,31257513,31257512,31257511,31257510,31257509,31257508,31257507,31257506,31257505,31257504,31257503,31257502,31257501,31257500,31257647,31257646,31257645,31257644,31257643,31257642,31257641,31257640,31257639,31257638,31257637,31257636,31257635,31257634,31257633,31257632,31257631,31257630,31257629,31257628,31257627,31257626,31257625,31257624,31257623,31257622,31257621,31257620,31257619,31257618,31257617,31257616,31257615,31257614,31257613,31257612,31257611,31257610,31257609,31257608,31257607,31257606,31257605,31257604,31257603,31257602,31257601,31257600,31257747,31257746,31257745,31257744,31257743,31257742,31257741,31257740,31257739,31257738,31257737,31257736,31257735,31257734,31257733,31257732,31257731,31257730,31257729,31257728,31257727,31257726,31257725,31257724,31257723,31257722,31257721,31257720,31257719,31257718,31257717,31257716,31257715,31257714,31257713,31257712,31257711,31257710,31257709,31257708,31257707,31257706,31257705,31257704,31257703,31257702,31257701,31257700,31257847,31257846,31257845,31257844,31257843,31257842,31257841,31257840,31257839,31257838,31257837,31257836,31257835,31257834,31257833,31257832,31257831,31257830,31257829,31257828,31257827,31257826,31257825,31257824,31257823,31257822,31257821,31257820,31257819,31257818,31257817,31257816,31257815,31257814,31257813,31257812,31257811,31257810,31257809,31257808,31257807,31257806,31257805,31257804,31257803,31257802,31257801,31257800,31257947,31257946,31257945,31257944,31257943,31257942,31257941,31257940,31257939,31257938,31257937,31257936,31257935,31257934,31257933,31257932,31257931,31257930,31257929,31257928,31257927,31257926,31257925,31257924,31257923,31257922,31257921,31257920,31257919,31257918,31257917,31257916,31257915,31257914,31257913,31257912,31257911,31257910,31257909,31257908,31257907,31257906,31257905,31257904,31257903,31257902,31257901,31257900,31258047,31258046,31258045,31258044,31258043,31258042,31258041,31258040,31258039,31258038,31258037,31258036,31258035,31258034,31258033,31258032,31258031,31258030,31258029,31258028,31258027,31258026,31258025,31258024,31258023,31258022,31258021,31258020,31258019,31258018,31258017,31258016,31258147,31258146,31258145,31258144,31258143,31258142,31258141,31258140,31258139,31258138,31258137,31258136,31258135,31258134,31258133,31258132,31258131,31258130,31258129,31258128,31258127,31258126,31258125,31258124,31258123,31258122,31258121,31258120,31258119,31258118,31258117,31258116,31258247,31258246,31258245,31258244,31258243,31258242,31258241,31258240,31258239,31258238,31258237,31258236,31258235,31258234,31258233,31258232,31258231,31258230,31258229,31258228,31258227,31258226,31258225,31258224,31258223,31258222,31258221,31258220,31258219,31258218,31258217,31258216,31258347,31258346,31258345,31258344,31258343,31258342,31258341,31258340,31258339,31258338,31258337,31258336,31258335,31258334,31258333,31258332,31258331,31258330,31258329,31258328,31258327,31258326,31258325,31258324,31258323,31258322,31258321,31258320,31258319,31258318,31258317,31258316,31258447,31258446,31258445,31258444,31258443,31258442,31258441,31258440,31258439,31258438,31258437,31258436,31258435,31258434,31258433,31258432,31258431,31258430,31258429,31258428,31258427,31258426,31258425,31258424,31258423,31258422,31258421,31258420,31258419,31258418,31258417,31258416,31258547,31258546,31258545,31258544,31258543,31258542,31258541,31258540,31258539,31258538,31258537,31258536,31258535,31258534,31258533,31258532,31258531,31258530,31258529,31258528,31258527,31258526,31258525,31258524,31258523,31258522,31258521,31258520,31258519,31258518,31258517,31258516,31258647,31258646,31258645,31258644,31258643,31258642,31258641,31258640,31258639,31258638,31258637,31258636,31258635,31258634,31258633,31258632,31258631,31258630,31258629,31258628,31258627,31258626,31258625,31258624,31258623,31258622,31258621,31258620,31258619,31258618,31258617,31258616,31258747,31258746,31258745,31258744,31258743,31258742,31258741,31258740,31258739,31258738,31258737,31258736,31258735,31258734,31258733,31258732,31258731,31258730,31258729,31258728,31258727,31258726,31258725,31258724,31258723,31258722,31258721,31258720,31258719,31258718,31258717,31258716,31258847,31258846,31258845,31258844,31258843,31258842,31258841,31258840,31258839,31258838,31258837,31258836,31258835,31258834,31258833,31258832,31258831,31258830,31258829,31258828,31258827,31258826,31258825,31258824,31258823,31258822,31258821,31258820,31258819,31258818,31258817,31258816,31258947,31258946,31258945,31258944,31258943,31258942,31258941,31258940,31258939,31258938,31258937,31258936,31258935,31258934,31258933,31258932,31258931,31258930,31258929,31258928,31258927,31258926,31258925,31258924,31258923,31258922,31258921,31258920,31258919,31258918,31258917,31258916,31259047,31259046,31259045,31259044,31259043,31259042,31259041,31259040,31259039,31259038,31259037,31259036,31259035,31259034,31259033,31259032,31259031,31259030,31259029,31259028,31259027,31259026,31259025,31259024,31259023,31259022,31259021,31259020,31259019,31259018,31259017,31259016,31259147,31259146,31259145,31259144,31259143,31259142,31259141,31259140,31259139,31259138,31259137,31259136,31259135,31259134,31259133,31259132,31259131,31259130,31259129,31259128,31259127,31259126,31259125,31259124,31259123,31259122,31259121,31259120,31259119,31259118,31259117,31259116,31259247,31259246,31259245,31259244,31259243,31259242,31259241,31259240,31259239,31259238,31259237,31259236,31259235,31259234,31259233,31259232,31259231,31259230,31259229,31259228,31259227,31259226,31259225,31259224,31259223,31259222,31259221,31259220,31259219,31259218,31259217,31259216,31259347,31259346,31259345,31259344,31259343,31259342,31259341,31259340,31259339,31259338,31259337,31259336,31259335,31259334,31259333,31259332,31259331,31259330,31259329,31259328,31259327,31259326,31259325,31259324,31259323,31259322,31259321,31259320,31259319,31259318,31259317,31259316,31259447,31259446,31259445,31259444,31259443,31259442,31259441,31259440,31259439,31259438,31259437,31259436,31259435,31259434,31259433,31259432,31259431,31259430,31259429,31259428,31259427,31259426,31259425,31259424,31259423,31259422,31259421,31259420,31259419,31259418,31259417,31259416,31259547,31259546,31259545,31259544,31259543,31259542,31259541,31259540,31259539,31259538,31259537,31259536,31259535,31259534,31259533,31259532,31259531,31259530,31259529,31259528,31259527,31259526,31259525,31259524,31259523,31259522,31259521,31259520,31259519,31259518,31259517,31259516];nb_arb=[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,35,30,31,20,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,31,0,0,9,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,42,0,0,0,0,1,47,13,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,108,88,0,5,62,3,0,35,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,98,31,18,108,172,8,63,341,174,26,15,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,109,0,0,0,59,107,99,227,766,353,23,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,192,247,86,164,489,161,23,3,60,0,6,117,194,544,28,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,13,305,266,213,229,340,129,0,5,30,0,0,2,89,32,99,113,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,35,152,166,137,228,143,182,344,215,282,21,1,1,57,34,0,19,36,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,36,78,9,79,189,157,125,146,39,15,404,282,186,56,17,6,89,0,62,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,485,518,70,143,51,142,401,197,86,160,100,860,308,357,142,138,57,135,81,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,80,440,179,261,272,1167,94,232,222,59,87,106,4,315,228,293,331,201,76,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,72,139,228,712,488,257,160,142,36,28,36,3,224,92,73,329,505,81,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,29,138,127,244,255,167,268,209,208,239,16,79,216,64,84,259,274,294,229,204,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,45,176,31,129,214,57,261,305,132,142,236,597,243,104,191,213,112,123,116,300,131,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,157,161,135,238,145,128,233,126,63,147,227,249,450,195,65,79,229,121,86,216,50,291,43,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,50,443,228,82,150,38,201,66,52,237,280,580,349,192,239,187,102,389,236,106,144,225,322,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,113,489,857,210,115,171,177,176,91,153,559,710,235,205,211,106,124,214,105,177,70,162,183,388,83,0,0,0,0,0,0,0,0,0,0,0,0,0,0,31,572,450,110,0,0,0,0,0,394,154,150,120,185,90,133,130,387,194,299,271,134,261,282,57,144,41,148,81,30,155,256,179,184,14,0,0,0,0,0,0,0,0,0,0,0,0,0,39,600,738,638,122,0,0,0,62,234,185,162,117,225,57,40,98,268,312,294,175,19,231,348,149,154,9,47,447,38,146,253,159,36,67,0,0,0,0,0,0,0,0,0,0,0,0,0,0,40,420,727,119,0,0,0,151,224,47,183,267,219,95,245,247,248,434,403,82,534,329,263,655,323,40,141,289,308,50,220,250,986,248,78,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,206,18,0,0,0,147,144,30,163,55,414,156,98,28,127,66,107,128,163,218,596,868,166,26,138,79,136,6,394,755,221,263,365,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,50,220,157,110,155,102,120,182,117,81,6,115,6,32,93,99,195,382,21,81,135,4,154,67,20,140,72,130,430,69,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,148,262,117,193,235,139,421,491,189,39,5,94,94,74,23,123,0,33,178,131,4,21,201,147,118,76,219,137,223,43,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,180,152,102,167,79,223,564,542,160,68,54,45,82,32,27,71,0,9,84,41,17,15,33,242,430,202,204,172,271,98,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,96,204,73,207,75,551,247,44,8,56,42,132,118,13,149,0,16,67,67,49,49,29,54,95,326,98,237,153,147,186,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,263,690,375,45,117,426,125,191,391,116,77,37,87,76,82,12,18,57,95,51,26,53,101,80,193,307,263,134,434,212,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,74,256,133,269,125,317,291,49,264,38,29,114,159,63,117,114,212,43,14,61,29,89,89,178,196,229,151,135,94,219,145,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,346,366,387,175,137,361,212,145,72,83,19,30,179,132,214,172,355,56,27,75,24,45,56,170,150,98,98,204,103,262,121,0,258,389,0,0,0,0,0,0,0,0,0,0,0,0,0,0,123,321,204,199,343,378,258,328,86,139,63,122,213,139,294,168,155,97,63,170,23,20,112,137,153,176,171,137,33,198,180,343,617,526,0,0,0,0,0,0,0,0,0,0,0,0,0,4,415,632,147,221,271,492,250,140,101,9,225,125,126,206,120,77,107,95,150,91,37,277,143,10,193,133,189,57,124,66,14,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,29,436,379,157,348,498,374,279,265,187,3,3,199,152,228,94,47,29,119,139,82,193,100,42,32,145,133,79,108,282,210,240,0,0,0,0,0,0,0,0,0,0,0,0,0,0,61,105,59,114,320,445,282,343,245,179,14,89,154,175,233,278,51,124,105,56,201,223,106,139,357,110,94,58,173,164,193,407,112,554,26,0,0,0,0,0,0,0,0,0,0,0,0,0,396,620,298,155,443,243,143,352,190,172,1,104,87,170,246,284,226,184,107,96,221,223,91,22,190,228,135,149,290,93,29,112,196,169,0,0,0,0,0,0,0,0,0,0,0,0,0,0,248,144,0,0,250,231,50,128,249,218,264,159,170,77,248,40,94,161,303,248,282,154,80,145,273,200,225,396,263,195,159,101,340,188,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,201,281,134,182,351,84,84,138,91,213,212,165,86,24,182,124,151,72,130,324,110,225,123,326,252,229,166,341,455,15,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,5,98,358,184,312,444,169,31,271,101,109,78,167,189,151,131,154,156,127,366,753,325,188,212,103,109,77,181,252,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28,140,113,181,614,134,49,291,224,180,179,98,120,305,138,200,136,527,110,98,492,836,113,67,71,105,118,122,32,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,59,101,85,108,37,282,534,187,125,147,152,133,335,499,342,199,215,150,41,317,243,284,162,95,10,11,117,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28,43,0,102,145,374,156,5,222,186,257,231,865,1000,410,127,138,103,345,176,189,301,207,21,56,67,27,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,154,109,235,44,230,437,198,164,79,995,647,227,78,196,188,189,185,327,262,345,305,246,45,0,0,19,24,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,38,451,193,296,167,66,193,301,95,195,191,332,109,246,201,182,107,182,181,398,25,8,1,0,0,0,0,382,896,43,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,130,158,318,291,359,83,359,413,99,352,188,261,161,86,21,101,142,220,238,14,0,0,0,0,0,0,85,704,759,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,80,17,107,316,172,251,198,200,360,169,267,246,324,499,308,356,219,191,307,0,0,0,0,0,0,0,589,770,723,158,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,36,102,151,251,206,527,267,196,122,90,99,45,184,236,119,43,0,0,0,0,0,0,0,0,363,735,739,313,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,14,0,32,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,512,775,354,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,92,0,13,52,1,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,97,392,228,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,100,0,0,37,90,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28,117,90,268,93,104,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,40,178,93,163,75,56,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,105,161,106,398,494,143,21,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,53,77,107,131,469,745,477,89,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11,0,79,52,329,172,694,174,84,36,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,378,48,140,392,268,429,81,93,37,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,667,502,96,0,180,41,0,79,36,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,36,112,83,85,24,60,41,153,74,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,15,51,45,1,81,49,10,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,40,51,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0];