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