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