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