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