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