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