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