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