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