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