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