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