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