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