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