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