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