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