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