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