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