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