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