[[0,1,3,5,6,7,8,9,10,11,12,13,14,15,16,18,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,67,68,69,70,71,72,73,74,75,76,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,109,110,111,112,113,114,115,117,118,119,120,121,122,124,125,126,127,128,131,132,133,134,135,136,137,138,139,141,142,143,145,146,147,148,149,256,257,258,259,260,261,262,263,265,266,267,268,269,270,271,272,274,275,276,277,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,295,296,298,299,300,302,303,304,305,306,307,308,309,310,311,312,313,314,315,317,318,319,320,321,322,324,325,326,327,328,329,330,331,332,333,334,335,336,338,339,340,341,343,345,346,347,348,349,351,352,354,355,356,357,358,359,360,361,362,364,365,366,367,368,369,371,372,373,374,375,376,377,378,379,380,381,383,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,401,402,403,404,405,525,543,548,549,557,558,561,565,578,597,600,601,611,621,622,632,657,668,681,697,699,714,717,719,720,768,781,783,784,785,798,804,808,809,821,825,863,864,866,871,886,889,899,902,911,925,932,933,936,939,944,969,974,985,1004,1007,1012,1014,1017,1019],[2,4,17,19,49,66,77,78,108,116,123,129,130,140,144,150,151,152,153,154,156,157,158,159,160,162,164,167,168,169,171,172,174,175,176,177,179,182,183,184,185,186,187,188,190,191,192,193,194,195,196,197,198,199,200,202,203,204,205,206,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,237,238,239,242,243,244,246,247,248,249,250,252,253,254,255,264,273,278,294,301,316,323,337,342,344,350,353,363,370,382,384,400,406,407,408,409,410,411,412,413,414,415,417,418,419,421,422,424,425,427,428,429,430,431,433,434,435,437,438,439,441,442,444,445,446,449,450,451,452,455,456,457,458,459,460,461,463,464,465,466,467,469,470,471,472,473,475,476,477,478,479,480,482,483,484,485,486,487,488,489,490,491,492,493,496,497,498,500,502,503,504,505,506,507,508,509,510,511,518,529,532,542,545,559,585,590,599,614,616,620,629,636,640,648,658,659,683,691,696,700,716,740,746,748,749,750,753,765,772,777,799,805,816,817,832,836,852,853,856,857,879,884,888,890,892,919,921,927,943,945,952,953,959,982,986,988,1010,1018],[155,161,163,165,166,170,173,178,180,181,189,201,207,236,240,241,245,251,297,416,420,423,426,432,436,440,443,448,453,454,462,468,474,481,494,495,499,520,523,526,540,546,552,554,560,566,573,580,587,588,596,602,606,609,615,627,634,638,641,647,650,662,675,677,694,695,702,712,722,729,739,751,755,770,776,795,802,811,815,819,820,831,833,849,851,859,869,874,875,880,900,913,914,920,928,964,970,976,981,996,1008,1016,1021],[447,501,516,527,534,547,556,575,583,594,604,605,618,626,630,644,645,649,652,715,737,738,754,757,760,763,782,794,806,812,814,823,839,867,893,903,915,930,950,958,962,1013,1022],[522,579,637,678,684,692,698,706,708,723,727,733,756,771,791,830,838,845,894,895,905,917,935,983,994,998],[571,607,608,701,705,747,764,774,779,847,860,877,896,940,957,1020],[555,664,728,744,769,787,861,906,931],[582,734],[687,703,725,810],[524,912,975,999],[570,592,778,937],[713,761,775,1001,1009],[651,689,868,916,978],[735,792,885,922,977],[519,709,786,807,858,882],[539,679,685,780],[666,909,949,956],[631,923,941,990],[653,680,876,946,1015],[598,855,926],[676,686,704,724,762,818,822],[533,711,726,788,955,989],[577,752,826,828],[514,538,541,690,732,742,987],[551,623,624,840,848],[531,595,613,663,800,870,971],[633,674,743,841,883,924,947],[513,515,567,862,887,897,965],[586,642,793,898,997,1006],[576,584,603,671,963,968],[562,568,656,661,951],[563,665,673,942,948,967],[572,610,612,790,844,954],[569,617,669,710,797,1011,1023],[766,767,813,850,938,991],[528,682,843,934],[593,881,901,1005],[654,660,667,801],[842,995],[707,773,929],[536,827,854,972],[550,553,619,655,908,1002],[535,544,688],[829,872,907],[758,789],[693,796,835,960],[512,639,961,979],[628,910],[517,581,718,973],[865,891],[625,837,904],[591,646],[643,736],[635,803],[730,759],[564],[984,1000],[731,918,980],[824],[878,993],[834],[537],[530,672],[574,873],[741,992],[589,745],[721,1003],[846,966],[670],[521]]