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