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