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