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