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