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