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