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