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