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