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