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