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