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