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