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