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