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