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