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