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