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