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