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