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