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