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