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