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