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