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