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