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