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