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