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