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