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