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