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