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