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