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