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