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