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