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