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