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