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