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