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