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