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