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