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