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