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