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