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