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