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