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