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