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