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