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