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