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