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