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