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