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