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