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