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