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