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