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