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