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