#!/usr/bin/python

from roaringbitmap import RoaringBitmap

# DDBEGIN
set1=RoaringBitmap({65548,65565,65682,65685,65687,65714,65718,65725,65735,65737,65748,65755,65812,65833,65848,65854,65865,65870,65872,65873,65883,65890,65892,65893,65907,65914,65929,65952,65960,65962,65993,65998,66030,66042,66070,66087,66088,66089,66097,66101,66106,66149,66165,66222,66224,66232,66273,66277,66284,66309,66312,66318,66332,66344,66352,66368,66372,66436,66456,66474,66478,66486,66500,66504,66508,66510,66512,66523,66543,66560,66613,66618,66637,66646,66652,66654,66669,66674,66709,66716,66717,66736,66751,66761,66772,66786,66792,66797,66805,66825,66828,66839,66868,66933,66950,66973,66977,66996,66998,67006,67016,67042,67051,67083,67089,67091,67094,67096,67113,67140,67146,67171,67201,67205,67220,67242,67245,67252,67266,67292,67298,67326,67342,67372,67382,67385,67386,67388,67415,67428,67429,67445,67465,67477,67481,67483,67508,67600,67616,67631,67637,67639,67640,67679,67690,67704,67709,67733,67734,67738,67761,67775,67781,67804,67811,67850,67877,67897,67917,67918,67953,67977,67992,68023,68024,68042,68076,68134,68160,68170,68175,68204,68205,68216,68217,68228,68237,68242,68246,68249,68266,68273,68281,68300,68301,68308,68319,68324,68332,68343,68348,68363,68376,68394,68400,68500,68506,68533,68536,68540,68543,68552,68556,68573,68579,68596,68680,68683,68695,68725,68748,68766,68787,68836,68858,68866,68876,68878,68916,68917,68928,68947,68953,68956,68960,68986,69013,69026,69080,69082,69084,69112,69145,69148,69188,69226,69238,69247,69268,69269,69281,69311,69317,69350,69370,69382,69385,69407,69421,69425,69458,69464,69476,69499,69500,69506,69561,69576,69647,69654,69661,69669,69695,69707,69711,69724,69725,69746,69748,69769,69789,69799,69813,69830,69832,69833,69835,69845,69847,69872,69886,69904,69929,69933,69949,69980,70003,70007,70008,70014,70025,70064,70076,70086,70114,70131,70138,70151,70164,70183,70205,70261,70268,70275,70285,70290,70307,70317,70339,70348,70377,70426,70427,70453,70459,70483,70549,70560,70585,70597,70605,70620,70641,70670,70691,70700,70712,70765,70773,70812,70823,70828,70837,70839,70847,70853,70855,70859,70867,70912,70935,70944,70953,70960,70989,71017,71021,71101,71115,71125,71145,71164,71169,71186,71197,71209,71235,71238,71253,71266,71282,71285,71291,71300,71301,71312,71363,71368,71427,71455,71495,71501,71510,71521,71527,71541,71549,71550,71582,71587,71595,71606,71635,71638,71643,71677,71683,71691,71701,71717,71725,71735,71739,71781,71795,71796,71797,71820,71843,71893,71927,71933,71934,71937,71945,71966,71970,71977,71981,72072,72083,72092,72096,72115,72116,72120,72143,72159,72172,72187,72213,72245,72256,72267,72317,72325,72327,72379,72381,72383,72389,72396,72404,72408,72411,72417,72420,72431,72441,72450,72451,72462,72471,72482,72508,72514,72575,72593,72626,72667,72669,72675,72682,72694,72702,72712,72727,72747,72759,72770,72788,72815,72827,72854,72869,72919,72929,72958,72976,72984,72988,73004,73016,73038,73049,73079,73109,73140,73146,73165,73169,73245,73248,73291,73343,73344,73370,73411,73439,73445,73452,73453,73469,73498,73523,73525,73543,73545,73548,73551,73557,73558,73570,73578,73593,73621,73627,73631,73635,73667,73686,73689,73717,73742,73750,73754,73822,73854,73861,73878,73882,73949,73967,74002,74013,74048,74076,74087,74094,74116,74162,74163,74173,74207,74230,74232,74234,74254,74288,74302,74318,74334,74358,74374,74380,74399,74412,74432,74433,74446,74451,74461,74493,74498,74511,74520,74527,74550,74566,74578,74582,74596,74612,74624,74631,74644,74646,74658,74668,74698,74706,74708,74719,74727,74771,74772,74773,74774,74784,74797,74840,74859,74868,74878,74913,74930,74974,74981,74988,74992,74993,74999,75004,75021,75118,75159,75170,75199,75207,75211,75212,75231,75248,75249,75257,75265,75279,75296,75314,75316,75318,75321,75338,75350,75352,75361,75368,75382,75384,75392,75409,75412,75423,75425,75430,75445,75490,75502,75537,75548,75551,75584,75588,75590,75627,75631,75671,75692,75699,75700,75724,75742,75754,75773,75798,75846,75854,75870,75882,75910,75922,75936,75950,75953,75958,75960,75963,75970,75976,76014,76020,76022,76076,76078,76084,76107,76112,76126,76140,76142,76158,76160,76162,76172,76242,76251,76284,76288,76297,76306,76308,76350,76374,76376,76386,76426,76436,76486,76498,76534,76540,76548,76549,76554,76582,76588,76604,76606,76609,76616,76622,76627,76647,76663,76696,76704,76713,76726,76747,76748,76750,76763,76767,76780,76782,76788,76828,76832,76846,76856,76862,76872,76890,76964,76976,77012,77015,77016,77068,77070,77102,77112,77124,77132,77134,77163,77178,77182,77194,77203,77206,77222,77224,77234,77246,77250,77257,77258,77266,77295,77298,77318,77345,77350,77352,77356,77374,77384,77393,77416,77418,77430,77432,77446,77491,77504,77507,77519,77535,77541,77558,77560,77564,77574,77584,77596,77606,77620,77622,77641,77653,77659,77660,77670,77678,77686,77734,77756,77760,77774,77793,77804,77814,77819,77837,77847,77854,77860,77867,77882,77901,77902,77903,77904,77915,77917,77934,77937,77946,77959,77966,77996,78005,78009,78015,78019,78024,78026,78069,78071,78080,78122,78127,78149,78215,78242,78244,78271,78274,78322,78341,78348,78358,78397,78399,78407,78460,78474,78492,78507,78514,78526,78566,78590,78593,78600,78620,78627,78633,78645,78662,78664,78666,78690,78798,78807,78809,78815,78836,78853,78875,78880,78893,78894,78948,78967,79020,79025,79031,79041,79052,79066,79075,79091,79133,79141,79153,79171,79195,79207,79271,79280,79307,79318,79321,79350,79354,79373,79387,79390,79406,79409,79416,79456,79493,79541,79545,79559,79577,79645,79663,79669,79673,79699,79708,79711,79717,79727,79732,79761,79766,79782,79790,79837,79839,79847,79865,79903,79904,79911,79920,79933,79950,79958,79966,79983,79990,80003,80015,80039,80055,80089,80103,80105,80109,80146,80154,80165,80166,80189,80194,80201,80228,80257,80301,80307,80309,80322,80334,80343,80348,80385,80390,80394,80405,80421,80423,80470,80487,80489,80519,80531,80539,80567,80571,80573,80581,80619,80630,80639,80641,80647,80677,80690,80709,80715,80739,80741,80754,80756,80779,80782,80783,80791,80794,80806,80807,80808,80815,80820,80825,80826,80828,80829,80843,80866,80909,80916,80922,80924,80936,80939,80941,80948,80963,80966,80972,80974,80982,81015,81019,81046,81064,81077,81088,81093,81098,81116,81123,81129,81135,81169,81177,81188,81190,81206,81221,81258,81273,81343,81383,81411,81430,81431,81447,81473,81476,81477,81484,81497,81508,81546,81556,81566,81568,81574,81636,81638,81686,81702,81748,81751,81760,81763,81783,81787,81789,81801,81813,81831,81837,81840,81854,81862,81865,81866,81869,81928,81942,81944,81949,82000,82009,82019,82024,82029,82041,82047,82064,82098,82114,82148,82162,82176,82220,82228,82235,82249,82270,82273,82277,82335,82354,82369,82374,82385,82417,82427,82441,82454,82489,82505,82514,82540,82558,82579,82594,82599,82600,82602,82610,82622,82629,82645,82650,82651,82653,82655,82660,82664,82666,82668,82676,82681,82685,82690,82719,82745,82784,82800,82811,82816,82832,82864,82871,82873,82892,82900,82908,82935,82950,82972,82976,82999,83012,83019,83031,83052,83057,83100,83129,83136,83144,83152,83163,83183,83189,83218,83232,83260,83270,83335,83353,83360,83379,83385,83390,83394,83396,83402,83411,83412,83420,83438,83451,83479,83506,83527,83528,83556,83567,83583,83586,83588,83609,83623,83632,83665,83672,83674,83747,83759,83773,83798,83802,83805,83817,83818,83826,83872,83880,83886,83888,83916,84001,84039,84042,84062,84091,84112,84117,84119,84138,84185,84188,84192,84194,84215,84220,84223,84288,84289,84292,84300,84309,84344,84350,84358,84360,84368,84377,84386,84399,84410,84446,84450,84452,84468,84472,84487,84488,84526,84550,84560,84570,84608,84616,84619,84625,84638,84650,84660,84675,84695,84708,84720,84723,84729,84774,84781,84807,84812,84824,84832,84834,84842,84885,84894,84931,84936,84940,84947,84948,84953,84961,84977,84984,84992,85016,85021,85026,85056,85066,85084,85102,85106,85146,85170,85178,85182,85190,85274,85298,85354,85356,85371,85376,85402,85408,85425,85438,85452,85457,85460,85476,85494,85496,85500,85501,85504,85515,85528,85530,85532,85542,85545,85548,85563,85565,85604,85608,85620,85624,85627,85631,85633,85636,85645,85658,85664,85674,85690,85702,85712,85724,85741,85746,85772,85794,85803,85805,85808,85809,85829,85833,85845,85869,85892,85896,85930,85945,85946,85952,85966,85986,86001,86006,86009,86060,86062,86080,86094,86095,86098,86102,86118,86121,86133,86135,86139,86145,86177,86189,86215,86225,86257,86285,86286,86296,86316,86344,86353,86354,86363,86379,86384,86387,86393,86413,86441,86477,86492,86497,86505,86520,86545,86570,86571,86579,86649,86655,86657,86671,86684,86685,86721,86871,86872,86895,86902,86923,86944,86947,86955,86997,87010,87012,87059,87061,87081,87088,87098,87105,87122,87149,87160,87205,87207,87251,87265,87280,87297,87303,87315,87322,87329,87332,87344,87350,87377,87397,87404,87448,87451,87456,87473,87538,87545,87549,87562,87571,87606,87610,87611,87633,87651,87662,87672,87711,87717,87729,87735,87741,87757,87761,87781,87817,87834,87843,87851,87873,87888,87897,87899,87905,87911,87912,87933,87952,87955,87979,88023,88036,88063,88081,88084,88087,88090,88099,88115,88129,88134,88135,88137,88145,88161,88168,88173,88217,88263,88323,88340,88349,88352,88363,88368,88388,88393,88435,88445,88465,88476,88483,88516,88551,88559,88568,88576,88581,88585,88592,88637,88659,88689,88728,88759,88765,88780,88783,88815,88856,88859,88860,88881,88912,88940,88953,88969,88970,88982,88996,89024,89029,89036,89045,89050,89085,89136,89148,89152,89164,89178,89197,89209,89212,89213,89265,89266,89268,89282,89285,89291,89304,89326,89347,89371,89376,89403,89424,89443,89480,89489,89504,89518,89526,89528,89544,89573,89589,89618,89626,89633,89637,89675,89690,89708,89713,89729,89756,89761,89767,89771,89773,89775,89779,89781,89795,89807,89808,89830,89847,89886,89929,89948,89979,90014,90016,90018,90021,90023,90042,90043,90111,90126,90150,90160,90171,90187,90194,90223,90238,90242,90246,90250,90280,90286,90292,90354,90366,90384,90435,90442,90470,90473,90482,90534,90586,90595,90599,90606,90610,90628,90632,90642,90698,90711,90722,90725,90733,90744,90761,90769,90784,90794,90824,90847,90851,90870,90882,90889,90895,90897,90927,90932,90938,90970,90998,91010,91053,91079,91099,91166,91190,91209,91236,91256,91258,91282,91308,91316,91382,91402,91410,91422,91432,91455,91472,91475,91491,91492,91526,91563,91586,91598,91600,91606,91649,91668,91674,91682,91707,91717,91757,91760,91765,91770,91778,91795,91875,91891,91892,91894,91902,91955,91980,91999,92027,92090,92106,92115,92118,92122,92154,92162,92164,92178,92208,92238,92243,92247,92253,92283,92302,92312,92336,92341,92355,92358,92359,92361,92371,92394})
set2=RoaringBitmap({65548,65569,65579,65598,65599,65619,65626,65675,65682,65685,65687,65714,65718,65725,65735,65737,65748,65755,65812,65833,65848,65854,65865,65870,65872,65873,65883,65890,65892,65893,65907,65914,65929,65952,65960,65962,65993,65998,66030,66042,66070,66087,66088,66089,66097,66101,66106,66149,66165,66222,66224,66232,66273,66277,66284,66309,66312,66318,66332,66344,66352,66368,66372,66436,66456,66474,66478,66486,66500,66504,66508,66510,66512,66523,66543,66560,66613,66618,66637,66646,66652,66654,66669,66674,66709,66716,66717,66736,66751,66761,66772,66786,66792,66797,66805,66825,66828,66839,66868,66933,66950,66973,66977,66996,66998,67006,67016,67042,67051,67083,67089,67091,67094,67096,67113,67140,67146,67171,67201,67205,67220,67242,67245,67252,67266,67292,67298,67326,67342,67372,67382,67385,67386,67388,67415,67428,67429,67445,67465,67477,67481,67483,67508,67600,67616,67631,67637,67639,67640,67679,67690,67704,67709,67733,67734,67738,67761,67775,67781,67804,67811,67850,67877,67897,67917,67918,67953,67977,67992,68023,68024,68042,68076,68134,68160,68170,68175,68204,68205,68216,68217,68228,68237,68242,68246,68249,68266,68273,68281,68300,68301,68308,68319,68324,68332,68343,68348,68363,68376,68394,68400,68500,68506,68533,68536,68540,68543,68552,68556,68573,68579,68596,68680,68683,68695,68725,68748,68766,68787,68836,68858,68866,68876,68878,68916,68917,68928,68947,68953,68956,68960,68986,69013,69026,69080,69082,69084,69112,69145,69148,69188,69226,69238,69247,69268,69269,69281,69311,69317,69350,69370,69382,69385,69407,69421,69425,69458,69464,69476,69499,69500,69506,69561,69576,69647,69654,69661,69669,69695,69707,69711,69724,69725,69746,69748,69769,69789,69799,69813,69830,69832,69833,69835,69845,69847,69872,69886,69904,69929,69933,69949,69980,70003,70007,70008,70014,70025,70064,70076,70086,70114,70131,70138,70151,70164,70183,70205,70261,70268,70275,70285,70290,70307,70317,70339,70348,70377,70426,70427,70453,70459,70483,70549,70560,70585,70597,70605,70620,70641,70670,70691,70700,70712,70765,70773,70812,70823,70828,70837,70839,70847,70853,70855,70859,70867,70912,70935,70944,70953,70960,70989,71017,71021,71101,71115,71125,71145,71164,71169,71186,71197,71209,71235,71238,71253,71266,71282,71285,71291,71300,71301,71312,71363,71368,71427,71455,71495,71501,71510,71521,71527,71541,71549,71550,71582,71587,71595,71606,71635,71638,71643,71677,71683,71691,71701,71717,71725,71735,71739,71781,71795,71796,71797,71820,71843,71893,71927,71933,71934,71937,71945,71966,71970,71977,71981,72072,72083,72092,72096,72115,72116,72120,72143,72159,72172,72187,72213,72245,72256,72267,72317,72325,72327,72379,72381,72383,72389,72396,72404,72408,72411,72417,72420,72431,72441,72450,72451,72462,72471,72482,72508,72514,72575,72593,72626,72667,72669,72675,72682,72694,72702,72712,72727,72747,72759,72770,72788,72815,72827,72854,72869,72919,72929,72958,72976,72984,72988,73004,73016,73038,73049,73079,73109,73140,73146,73165,73169,73245,73248,73291,73343,73344,73370,73411,73439,73445,73452,73453,73469,73498,73523,73525,73543,73545,73548,73551,73557,73558,73570,73578,73593,73621,73627,73631,73635,73667,73686,73689,73717,73742,73750,73754,73822,73854,73861,73878,73882,73949,73967,74002,74013,74048,74076,74087,74094,74116,74162,74163,74173,74207,74230,74232,74234,74254,74288,74302,74318,74334,74358,74374,74380,74399,74412,74432,74433,74446,74451,74461,74493,74498,74511,74520,74527,74550,74566,74578,74582,74596,74612,74624,74631,74644,74646,74658,74668,74698,74706,74708,74719,74727,74771,74772,74773,74774,74784,74797,74840,74859,74868,74878,74913,74930,74974,74981,74988,74992,74993,74999,75004,75021,75118,75159,75170,75199,75207,75211,75212,75231,75248,75249,75257,75265,75279,75296,75314,75316,75318,75321,75338,75350,75352,75361,75368,75382,75384,75392,75409,75412,75423,75425,75430,75445,75490,75502,75537,75548,75551,75584,75588,75590,75627,75631,75671,75692,75699,75700,75724,75742,75754,75773,75798,75846,75854,75870,75882,75910,75922,75936,75950,75953,75958,75960,75963,75970,75976,76014,76020,76022,76076,76078,76084,76107,76112,76126,76140,76142,76158,76160,76162,76172,76242,76251,76284,76288,76297,76306,76308,76350,76374,76376,76386,76426,76436,76486,76498,76534,76540,76548,76549,76554,76582,76588,76604,76606,76609,76616,76622,76627,76647,76663,76696,76704,76713,76726,76747,76748,76750,76763,76767,76780,76782,76788,76828,76832,76846,76856,76862,76872,76890,76964,76976,77012,77015,77016,77068,77070,77102,77112,77124,77132,77134,77163,77178,77182,77194,77203,77206,77222,77224,77234,77246,77250,77257,77258,77266,77295,77298,77318,77345,77350,77352,77356,77374,77384,77393,77416,77418,77430,77432,77446,77491,77504,77507,77519,77535,77541,77558,77560,77564,77574,77584,77596,77606,77620,77622,77641,77653,77659,77660,77670,77678,77686,77734,77756,77760,77774,77793,77804,77814,77819,77837,77847,77854,77860,77867,77882,77901,77902,77903,77904,77915,77917,77934,77937,77946,77959,77966,77996,78005,78009,78015,78019,78024,78026,78069,78071,78080,78122,78127,78149,78215,78242,78244,78271,78274,78322,78341,78348,78358,78397,78399,78407,78460,78474,78492,78507,78514,78526,78566,78590,78593,78600,78620,78627,78633,78645,78662,78664,78666,78690,78798,78807,78809,78815,78836,78853,78875,78880,78893,78894,78948,78967,79020,79025,79031,79041,79052,79066,79075,79091,79133,79141,79153,79171,79195,79207,79271,79280,79307,79318,79321,79350,79354,79373,79387,79390,79406,79409,79416,79456,79493,79541,79545,79559,79577,79645,79663,79669,79673,79699,79708,79711,79717,79727,79732,79761,79766,79782,79790,79837,79839,79847,79865,79903,79904,79911,79920,79933,79950,79958,79966,79983,79990,80003,80015,80039,80055,80089,80103,80105,80109,80146,80154,80165,80166,80189,80194,80201,80228,80257,80301,80307,80309,80322,80334,80343,80348,80385,80390,80394,80405,80421,80423,80470,80487,80489,80519,80531,80539,80567,80571,80573,80581,80619,80630,80639,80641,80647,80677,80690,80709,80715,80739,80741,80754,80756,80779,80782,80783,80791,80794,80806,80807,80808,80815,80820,80825,80826,80828,80829,80843,80866,80909,80916,80922,80924,80936,80939,80941,80948,80963,80966,80972,80974,80982,81015,81019,81046,81064,81077,81088,81093,81098,81116,81123,81129,81135,81169,81177,81188,81190,81206,81221,81258,81273,81343,81383,81411,81430,81431,81447,81473,81476,81477,81484,81497,81508,81546,81556,81566,81568,81574,81636,81638,81686,81702,81748,81751,81760,81763,81783,81787,81789,81801,81813,81831,81837,81840,81854,81862,81865,81866,81869,81928,81942,81944,81949,82000,82009,82019,82024,82029,82041,82047,82064,82098,82114,82148,82162,82176,82220,82228,82235,82249,82270,82273,82277,82335,82354,82369,82374,82385,82417,82427,82441,82454,82489,82505,82514,82540,82558,82579,82594,82599,82600,82602,82610,82622,82629,82645,82650,82651,82653,82655,82660,82664,82666,82668,82676,82681,82685,82690,82719,82745,82784,82800,82811,82816,82832,82864,82871,82873,82892,82900,82908,82935,82950,82972,82976,82999,83012,83019,83031,83052,83057,83100,83129,83136,83144,83152,83163,83183,83189,83218,83232,83260,83270,83335,83353,83360,83379,83385,83390,83394,83396,83402,83411,83412,83420,83438,83451,83479,83506,83527,83528,83556,83567,83583,83586,83588,83609,83623,83632,83665,83672,83674,83747,83759,83773,83798,83802,83805,83817,83818,83826,83872,83880,83886,83888,83916,84001,84039,84042,84062,84091,84112,84117,84119,84138,84185,84188,84192,84194,84215,84220,84223,84288,84289,84292,84300,84309,84344,84350,84358,84360,84368,84377,84386,84399,84410,84446,84450,84452,84468,84472,84487,84488,84526,84550,84560,84570,84608,84616,84619,84625,84638,84650,84660,84675,84695,84708,84720,84723,84729,84774,84781,84807,84812,84824,84832,84834,84842,84885,84894,84931,84936,84940,84947,84948,84953,84961,84977,84984,84992,85016,85021,85026,85056,85066,85084,85102,85106,85146,85170,85178,85182,85190,85274,85298,85354,85356,85371,85376,85402,85408,85425,85438,85452,85457,85460,85476,85494,85496,85500,85501,85504,85515,85528,85530,85532,85542,85545,85548,85563,85565,85604,85608,85620,85624,85627,85631,85633,85636,85645,85658,85664,85674,85690,85702,85712,85724,85741,85746,85772,85794,85803,85805,85808,85809,85829,85833,85845,85869,85892,85896,85930,85945,85946,85952,85966,85986,86001,86006,86009,86060,86062,86080,86094,86095,86098,86102,86118,86121,86133,86135,86139,86145,86177,86189,86215,86225,86257,86285,86286,86296,86316,86344,86353,86354,86363,86379,86384,86387,86393,86413,86441,86477,86492,86497,86505,86520,86545,86570,86571,86579,86649,86655,86657,86671,86684,86685,86721,86871,86872,86895,86902,86923,86944,86947,86955,86997,87010,87012,87059,87061,87081,87088,87098,87105,87122,87149,87160,87205,87207,87251,87265,87280,87297,87303,87315,87322,87329,87332,87344,87350,87377,87397,87404,87448,87451,87456,87473,87538,87545,87549,87562,87571,87606,87610,87611,87633,87651,87662,87672,87711,87717,87729,87735,87741,87757,87761,87781,87817,87834,87843,87851,87873,87888,87897,87899,87905,87911,87912,87933,87952,87955,87979,88023,88036,88063,88081,88084,88087,88090,88099,88115,88129,88134,88135,88137,88145,88161,88168,88173,88217,88263,88323,88340,88349,88352,88363,88368,88388,88393,88435,88445,88465,88476,88483,88516,88551,88559,88568,88576,88581,88585,88592,88637,88659,88689,88728,88759,88765,88780,88783,88815,88856,88859,88860,88881,88912,88940,88953,88969,88970,88982,88996,89024,89029,89036,89045,89050,89085,89136,89148,89152,89164,89178,89197,89209,89212,89213,89265,89266,89268,89282,89285,89291,89304,89326,89347,89371,89376,89403,89424,89443,89480,89489,89504,89518,89526,89528,89544,89573,89589,89618,89626,89633,89637,89675,89690,89708,89713,89729,89756,89761,89767,89771,89773,89775,89779,89781,89795,89807,89808,89830,89847,89886,89929,89948,89979,90014,90016,90018,90021,90023,90042,90043,90111,90126,90150,90160,90171,90187,90194,90223,90238,90242,90246,90250,90280,90286,90292,90354,90366,90384,90435,90442,90470,90473,90482,90534,90586,90595,90599,90606,90610,90628,90632,90642,90698,90711,90722,90725,90733,90744,90761,90769,90784,90794,90824,90847,90851,90870,90882,90889,90895,90897,90927,90932,90938,90970,90998,91010,91053,91079,91099,91166,91190,91209,91236,91256,91258,91282,91308,91316,91382,91402,91410,91422,91432,91455,91472,91475,91491,91492,91526,91563,91586,91598,91600,91606,91649,91668,91674,91682,91707,91717,91757,91760,91765,91770,91778,91795,91875,91891,91892,91894,91902,91955,91980,91999,92027,92090,92106,92115,92118,92122,92154,92162,92164,92178,92208,92238,92243,92247,92253,92283,92302,92312,92336,92341,92355,92358,92359,92361,92371,92394,92399,92432,92435,92448,92449,92459,92460,92482,92505,92520,92535,92538,92543,92552,92587,92600,92626,92637,92642,92664,92682,92683,92684,92694,92702,92752,92772,92798,92813,92826,92845,92852,92863,92882,92903,92931,92953,92963,92982,92983,93002,93012,93028,93052,93058,93061,93077,93088,93114,93121,93137,93175,93183,93209,93210,93230,93265,93294,93296,93308,93313,93330,93354,93356,93358,93371,93383,93423,93438,93474,93479,93547,93550,93562,93580,93615,93618,93619,93627,93637,93679,93689,93695,93722,93740,93757,93766,93776,93804,93823,93826,93842,93896,93906,93910,93922,93930,93939,93953,93966,94030,94032,94040,94042,94049,94059,94070,94085,94101,94138,94172,94200,94205,94207,94227,94231,94239,94255,94274,94343,94360,94368,94382,94397,94405,94427,94443,94446,94447,94448,94457,94475,94485,94532,94557,94575,94591,94599,94611,94651,94718,94727,94753,94784,94786,94790,94795,94801,94832,94856,94866,94874,94877,94889,94891,94899,94911,94912,94915,94941,94968,94977,94995,95014,95035,95062,95065,95115,95135,95149,95151,95153,95157,95161,95178,95187,95194,95223,95226,95239,95266,95281,95308,95345,95357,95385,95425,95443,95457,95474,95497,95505,95511,95520,95523,95537,95557,95577,95627,95633,95650,95655,95690,95707,95712,95747,95752,95753,95758,95766,95779,95781,95800,95804,95837,95843,95882,95888,96003,96025,96037,96049,96101,96157,96163,96174,96194,96198,96234,96241,96256,96265,96285,96339,96346,96387,96406,96421,96427,96486,96487,96502,96509,96537,96543,96557,96636,96639,96645,96687,96691,96710,96745,96788,96789,96796,96800,96802,96812,96832,96877,96880,96899,96903,96916,96920,96936,96941,96965,96966,96995,97027,97028,97058,97069,97087,97102,97151,97161,97219,97221,97235,97237,97241,97242,97299,97306,97323,97325,97330,97339,97369,97377,97382,97402,97421,97440,97464,97465,97597,97603,97607,97609,97611,97619,97626,97635,97646,97649,97658,97679,97686,97718,97720,97741,97743,97746,97747,97751,97761,97849,97858,97887,97888,97891,97911,97914,97918,97938,97961,98003,98057,98069,98085,98086,98097,98106,98123,98131,98133,98135,98136,98176,98193,98197,98204,98241,98301,98334,98341,98352,98361,98372,98387,98396,98399,98440,98465,98500,98508,98542,98553,98618,98620,98646,98676,98698,98716,98736,98742,98774,98778,98795,98826,98828,98838,98844,98846,98860,98861,98874,98876,98897,98929,98934,98972,98975,99014,99019,99081,99086,99092,99097,99132,99205,99271,99274,99276,99318,99324,99332,99396,99419,99441,99474,99481,99495,99497,99548,99598,99608,99624,99656,99672,99697,99700,99706,99725,99733,99772,99777,99799,99808,99810,99812,99902,99928,99965,99978,99989,99995,100002,100024,100029,100085,100104,100113,100123,100135,100140,100145,100147,100188,100214,100230,100236,100241,100245,100268,100286,100293,100305,100324,100341,100348,100370,100378,100392,100398,100440,100447,100460,100502,100527,100530,100537,100550,100573,100574,100582,100588,100594,100634,100637,100660,100668,100671,100676,100690,100754,100785,100848,100881,100941,100953,100960,100970,101013,101065,101070,101084,101151,101177,101181,101186,101215,101264,101269,101286,101294,101301,101317,101324,101328,101333,101356,101366,101374,101396,101409,101428,101431,101456,101461,101468,101524,101542,101550,101553,101576,101590,101634,101677,101686,101701,101731,101744,101760,101770,101781,101813,101824,101829,101848,101869,101874,101900,101920,101924,101933,101973,101976,101978,102004,102009,102034,102036,102093,102100,102120,102132,102149,102214,102220,102225,102253,102262,102292,102306,102307,102317,102336,102365,102382,102386,102387,102449,102464,102467,102496,102511,102517,102535,102555,102570,102621,102653,102670,102688,102692,102700,102713,102715,102732,102736,102756,102775,102789,102795,102809,102817,102824,102855,102884,102891,102902,102925,102934,102943,103021,103033,103046,103060,103061,103101,103108,103123})
# DDEND

seen = RoaringBitmap()
seen|=set1
seen|=set2

if len(seen - set1 - set2) != 0:
    print "What?", len(seen - set1 - set2)