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