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