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