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