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