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