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