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