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