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