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