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