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