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