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