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