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