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