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