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