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