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