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