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