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