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