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