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