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