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