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