Columbo aufrufen.g Download desUnknown {[0] [0] [0]}Datei anzeigen
#############################################################################
##
#W subgroups.g GAP4 Package `RCWA' Stefan Kohl
##
## Data library of groups generated by 3 class transpositions which inter-
## change residue classes with moduli <= 6: part containing lists of
## subgroups.
##
## For all i in [1..52394], subgroups[i] is a list of indices j such that
## grps[j] is a subgroup of grps[i].
##
#############################################################################
return
[[2279],[2279],
[23,31,44,202,218,464,1296,1309,1625,2429,2437,2675,2683,
3507,3520,3836,8916,9748,9761,10077,17192,17205,17521,38497],
[268,2479],
[3,4,7,10,23,26,31,32,41,42,44,199,200,202,203,205,218,
221,226,227,236,237,239,263,265,266,268,281,284,289,290,
299,300,302,327,328,330,343,346,351,352,361,362,364,449,
451,464,467,472,473,482,483,485,510,523,526,531,532,541,
542,544,638,641,646,647,656,657,659,1291,1296,1297,1306,
1307,1309,1422,1423,1432,1433,1435,1613,1622,1623,1625,1657,
1658,1660,1928,1930,1955,2410,2411,2413,2414,2416,2429,2432,
2437,2438,2447,2448,2450,2474,2476,2477,2479,2492,2495,2500,
2501,2510,2511,2513,2538,2541,2554,2557,2562,2563,2572,2573,
2575,2660,2662,2675,2678,2683,2684,2693,2694,2696,2721,2734,
2737,2742,2743,2752,2753,2755,2849,2852,2857,2858,2867,2868,
2870,3502,3507,3508,3517,3518,3520,3633,3634,3643,3644,3646,
3824,3833,3834,3836,3868,3869,3871,4139,4141,4166,8715,8717,
8718,8720,8733,8736,8741,8742,8751,8752,8754,8779,8780,8782,
8795,8798,8803,8804,8813,8814,8816,8901,8903,8916,8919,8924,
8925,8934,8935,8937,8962,8975,8978,8983,8984,8993,8994,8996,
9090,9093,9098,9099,9108,9109,9111,9743,9748,9749,9758,9759,
9761,9874,9875,9884,9885,9887,10065,10074,10075,10077,10109,
10110,10112,10380,10382,10407,10732,10733,10735,10748,10751,
10756,10757,10766,10767,10769,10854,10856,10869,10872,10877,
10878,10887,10888,10890,10915,10928,10931,10936,10937,10946,
10947,10949,11043,11046,11051,11052,11061,11062,11064,11696,
11701,11702,11711,11712,11714,11827,11828,11837,11838,11840,
12018,12027,12028,12030,12062,12063,12065,12333,12335,12360,
12745,12747,12760,12763,12768,12769,12778,12779,12781,12806,
12819,12822,12827,12828,12837,12838,12840,12934,12937,12942,
12943,12952,12953,12955,13587,13592,13593,13602,13603,13605,
13718,13719,13728,13729,13731,13909,13918,13919,13921,13953,
13954,13956,14224,14226,14251,16406,16419,16422,16427,16428,
16437,16438,16440,16534,16537,16542,16543,16552,16553,16555,
17187,17192,17193,17202,17203,17205,17318,17319,17328,17329,
17331,17509,17518,17519,17521,17553,17554,17556,17824,17826,
17851,18245,18248,18253,18254,18263,18264,18266,18898,18903,
18904,18913,18914,18916,19029,19030,19039,19040,19042,19220,
19229,19230,19232,19264,19265,19267,19535,19537,19562,22147,
22152,22153,22162,22163,22165,22278,22279,22288,22289,22291,
22469,22478,22479,22481,22513,22514,22516,22784,22786,22811,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],[393,2604],
[23,31,44,202,218,464,1296,1309,1625,2429,2437,2675,2683,
3507,3520,3836,8916,9748,9761,10077,17192,17205,17521,38497],
[3,4,7,10,23,26,31,32,41,42,44,199,200,202,203,205,218,
221,226,227,236,237,239,263,265,266,268,281,284,289,290,
299,300,302,327,328,330,343,346,351,352,361,362,364,449,
451,464,467,472,473,482,483,485,510,523,526,531,532,541,
542,544,638,641,646,647,656,657,659,1291,1296,1297,1306,
1307,1309,1422,1423,1432,1433,1435,1613,1622,1623,1625,1657,
1658,1660,1928,1930,1955,2410,2411,2413,2414,2416,2429,2432,
2437,2438,2447,2448,2450,2474,2476,2477,2479,2492,2495,2500,
2501,2510,2511,2513,2538,2541,2554,2557,2562,2563,2572,2573,
2575,2660,2662,2675,2678,2683,2684,2693,2694,2696,2721,2734,
2737,2742,2743,2752,2753,2755,2849,2852,2857,2858,2867,2868,
2870,3502,3507,3508,3517,3518,3520,3633,3634,3643,3644,3646,
3824,3833,3834,3836,3868,3869,3871,4139,4141,4166,8715,8717,
8718,8720,8733,8736,8741,8742,8751,8752,8754,8779,8780,8782,
8795,8798,8803,8804,8813,8814,8816,8901,8903,8916,8919,8924,
8925,8934,8935,8937,8962,8975,8978,8983,8984,8993,8994,8996,
9090,9093,9098,9099,9108,9109,9111,9743,9748,9749,9758,9759,
9761,9874,9875,9884,9885,9887,10065,10074,10075,10077,10109,
10110,10112,10380,10382,10407,10732,10733,10735,10748,10751,
10756,10757,10766,10767,10769,10854,10856,10869,10872,10877,
10878,10887,10888,10890,10915,10928,10931,10936,10937,10946,
10947,10949,11043,11046,11051,11052,11061,11062,11064,11696,
11701,11702,11711,11712,11714,11827,11828,11837,11838,11840,
12018,12027,12028,12030,12062,12063,12065,12333,12335,12360,
12745,12747,12760,12763,12768,12769,12778,12779,12781,12806,
12819,12822,12827,12828,12837,12838,12840,12934,12937,12942,
12943,12952,12953,12955,13587,13592,13593,13602,13603,13605,
13718,13719,13728,13729,13731,13909,13918,13919,13921,13953,
13954,13956,14224,14226,14251,16406,16419,16422,16427,16428,
16437,16438,16440,16534,16537,16542,16543,16552,16553,16555,
17187,17192,17193,17202,17203,17205,17318,17319,17328,17329,
17331,17509,17518,17519,17521,17553,17554,17556,17824,17826,
17851,18245,18248,18253,18254,18263,18264,18266,18898,18903,
18904,18913,18914,18916,19029,19030,19039,19040,19042,19220,
19229,19230,19232,19264,19265,19267,19535,19537,19562,22147,
22152,22153,22162,22163,22165,22278,22279,22288,22289,22291,
22469,22478,22479,22481,22513,22514,22516,22784,22786,22811,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],[569,2780],[268,2479],
[569,2780],[393,2604],[],[],[],[],[],[],[],
[],[],[],[1625,3507,3520,3836,38497],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],
[23,31,44,1291,1296,1297,1306,1307,1309,1432,1625,1658,3502,
3507,3508,3517,3518,3520,3633,3634,3824,3833,3834,3836,4139,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],[3756],
[23,26,31,32,41,42,44,1291,1295,1296,1297,1303,1306,1307,
1309,1421,1422,1423,1429,1432,1433,1435,1576,1577,1583,1586,
1587,1589,1613,1619,1622,1623,1625,1654,1657,1658,1660,1846,
1847,1849,1928,1930,1955,3502,3506,3507,3508,3514,3517,3518,
3520,3632,3633,3634,3640,3643,3644,3646,3787,3788,3794,3797,
3798,3800,3824,3830,3833,3834,3836,3865,3868,3869,3871,4057,
4058,4060,4139,4141,4166,38293,38294,38295,38301,38304,38305,
38307,38448,38449,38455,38458,38459,38461,38485,38491,38494,
38495,38497,38526,38529,38530,38532,38718,38719,38721,38800,
38802,38827,41032,41033,41039,41042,41043,41045,41069,41075,
41078,41079,41081,41110,41113,41114,41116,41302,41303,41305,
41384,41386,41411,43959,43965,43968,43969,43971,44000,44003,
44004,44006,44192,44193,44195,44274,44276,44301,44630,44633,
44634,44636,44822,44823,44825,44904,44906,44931,45417,45418,
45420,45499,45501,45526,48390,48392,48417,49471],
[1625,3507,3520,3836,38497],
[23,31,44,1291,1296,1297,1306,1307,1309,1432,1625,1658,3502,
3507,3508,3517,3518,3520,3633,3634,3824,3833,3834,3836,4139,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],[1719,3930],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],[1719,3930],[3756],
[23,26,31,32,41,42,44,1291,1295,1296,1297,1303,1306,1307,
1309,1421,1422,1423,1429,1432,1433,1435,1576,1577,1583,1586,
1587,1589,1613,1619,1622,1623,1625,1654,1657,1658,1660,1846,
1847,1849,1928,1930,1955,3502,3506,3507,3508,3514,3517,3518,
3520,3632,3633,3634,3640,3643,3644,3646,3787,3788,3794,3797,
3798,3800,3824,3830,3833,3834,3836,3865,3868,3869,3871,4057,
4058,4060,4139,4141,4166,38293,38294,38295,38301,38304,38305,
38307,38448,38449,38455,38458,38459,38461,38485,38491,38494,
38495,38497,38526,38529,38530,38532,38718,38719,38721,38800,
38802,38827,41032,41033,41039,41042,41043,41045,41069,41075,
41078,41079,41081,41110,41113,41114,41116,41302,41303,41305,
41384,41386,41411,43959,43965,43968,43969,43971,44000,44003,
44004,44006,44192,44193,44195,44274,44276,44301,44630,44633,
44634,44636,44822,44823,44825,44904,44906,44931,45417,45418,
45420,45499,45501,45526,48390,48392,48417,49471],
[1887,4098],[1915,4126],
[23,31,44,1291,1296,1297,1306,1307,1309,1432,1625,1658,3502,
3507,3508,3517,3518,3520,3633,3634,3824,3833,3834,3836,4139,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],
[23,31,44,1291,1296,1297,1306,1307,1309,1432,1625,1658,3502,
3507,3508,3517,3518,3520,3633,3634,3824,3833,3834,3836,4139,
38294,38295,38304,38305,38307,38485,38494,38495,38497,38529,
38530,38532,38800,38802,38827,41069,41078,41079,41081,41113,
41114,41116,41384,41386,41411,44633,44634,44636,44904,44906,
44931,45499,45501,45526,49471],[4193],
[1625,3507,3520,3836,38497],[2033,4244],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],[4193],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
42193,42195,42240,42242,42285,42590,42591,42593,42599,42600,
42602,42604,42606,42626,42628,42634,42635,42637,42639,42641,
42662,42668,42669,42671,42673,42675,42733,42734,42736,42738,
42740,42905,42907,42909,42911,42932,42934,42936,42981,42983,
43026,44625,44627,44633,44634,44636,44638,44640,44661,44667,
44668,44670,44672,44674,44732,44733,44735,44737,44739,44904,
44906,44908,44910,44931,44933,44935,44980,44982,45025,45256,
45262,45263,45265,45267,45269,45327,45328,45330,45332,45334,
45499,45501,45503,45505,45526,45528,45530,45575,45577,45620,
45888,45889,45891,45893,45895,46060,46062,46064,46066,46087,
46089,46091,46136,46138,46181,47084,47086,47088,47090,47111,
47113,47115,47160,47162,47205,49471,49473,49475,49520,49522,
49565,49820,49822,49865,50394],
[23,31,44,1296,1309,1314,1315,1625,1630,1631,2007,2008,2108,
3507,3520,3525,3526,3836,3841,3842,4218,4219,4319,38497,
38502,38503,38879,38880,38980,44983,44984,45084,50453],
[23,31,44,1296,1309,1314,1315,1625,1630,1631,2007,2008,2108,
3507,3520,3525,3526,3836,3841,3842,4218,4219,4319,38497,
38502,38503,38879,38880,38980,44983,44984,45084,50453],
[23,31,44,1296,1309,1316,1317,1625,1632,1633,2009,2010,2143,
3507,3520,3527,3528,3836,3843,3844,4220,4221,4354,38497,
38504,38505,38881,38882,39015,44985,44986,45119,50488],
[23,31,44,1296,1309,1316,1317,1625,1632,1633,2009,2010,2143,
3507,3520,3527,3528,3836,3843,3844,4220,4221,4354,38497,
38504,38505,38881,38882,39015,44985,44986,45119,50488],
[2033,4244],[1887,4098],[1915,4126],[2215,4426],
[2224,4435],[2224,4435],[2215,4426],[2254,4465],
[2262,4473],[2268,4479],[2270,4481],[2254,4465],
[2270,4481],[2262,4473],[2268,4479],[2279],
[90,94,107,202,236,482,1336,1349,1511,4575,4592,4821,4838,
5692,5705,5867,8934,9788,9801,9963,17232,17245,17407,39286],
[268,4624],
[69,70,73,76,89,90,91,92,93,94,107,199,200,202,203,205,
218,219,220,221,222,223,236,263,265,266,268,281,282,283,
284,285,286,299,327,328,330,343,344,345,346,347,348,361,
449,451,464,465,466,467,468,469,482,510,523,524,525,526,
527,528,541,638,639,640,641,642,643,656,1289,1290,1291,
1292,1293,1306,1333,1334,1335,1336,1349,1376,1377,1378,1391,
1418,1419,1432,1459,1472,1511,4555,4556,4558,4559,4561,4574,
4575,4576,4577,4578,4579,4592,4619,4621,4622,4624,4637,4638,
4639,4640,4641,4642,4655,4683,4686,4699,4700,4701,4702,4703,
4704,4717,4805,4807,4820,4821,4822,4823,4824,4825,4838,4866,
4879,4880,4881,4882,4883,4884,4897,4994,4995,4996,4997,4998,
4999,5012,5645,5646,5647,5648,5649,5662,5689,5690,5691,5692,
5705,5732,5733,5734,5747,5774,5775,5788,5815,5828,5867,8715,
8717,8718,8720,8733,8734,8735,8736,8737,8738,8751,8779,8780,
8782,8795,8796,8797,8798,8799,8800,8813,8901,8903,8916,8917,
8918,8919,8920,8921,8934,8962,8975,8976,8977,8978,8979,8980,
8993,9090,9091,9092,9093,9094,9095,9108,9741,9742,9743,9744,
9745,9758,9785,9786,9787,9788,9801,9828,9829,9830,9843,9870,
9871,9884,9911,9924,9963,10732,10733,10735,10748,10749,10750,
10751,10752,10753,10766,10854,10856,10869,10870,10871,10872,
10873,10874,10887,10915,10928,10929,10930,10931,10932,10933,
10946,11043,11044,11045,11046,11047,11048,11061,11694,11695,
11696,11697,11698,11711,11738,11739,11740,11741,11754,11781,
11782,11783,11796,11823,11824,11837,11864,11877,11916,12745,
12747,12760,12761,12762,12763,12764,12765,12778,12806,12819,
12820,12821,12822,12823,12824,12837,12934,12935,12936,12937,
12938,12939,12952,13585,13586,13587,13588,13589,13602,13629,
13630,13631,13632,13645,13672,13673,13674,13687,13714,13715,
13728,13755,13768,13807,16406,16419,16420,16421,16422,16423,
16424,16437,16534,16535,16536,16537,16538,16539,16552,17185,
17186,17187,17188,17189,17202,17229,17230,17231,17232,17245,
17272,17273,17274,17287,17314,17315,17328,17355,17368,17407,
18245,18246,18247,18248,18249,18250,18263,18896,18897,18898,
18899,18900,18913,18940,18941,18942,18943,18956,18983,18984,
18985,18998,19025,19026,19039,19066,19079,19118,22145,22146,
22147,22148,22149,22162,22189,22190,22191,22192,22205,22232,
22233,22234,22247,22274,22275,22288,22315,22328,22367,38205,
38206,38207,38208,38221,38248,38249,38250,38263,38290,38291,
38304,38331,38344,38383,39151,39152,39153,39166,39193,39194,
39207,39234,39247,39286,40054,40055,40068,40095,40108,40147,
40915,40928,40967,41747],[393,4749],
[90,94,107,202,236,482,1336,1349,1511,4575,4592,4821,4838,
5692,5705,5867,8934,9788,9801,9963,17232,17245,17407,39286],
[69,70,73,76,89,90,91,92,93,94,107,199,200,202,203,205,
218,219,220,221,222,223,236,263,265,266,268,281,282,283,
284,285,286,299,327,328,330,343,344,345,346,347,348,361,
449,451,464,465,466,467,468,469,482,510,523,524,525,526,
527,528,541,638,639,640,641,642,643,656,1289,1290,1291,
1292,1293,1306,1333,1334,1335,1336,1349,1376,1377,1378,1391,
1418,1419,1432,1459,1472,1511,4555,4556,4558,4559,4561,4574,
4575,4576,4577,4578,4579,4592,4619,4621,4622,4624,4637,4638,
4639,4640,4641,4642,4655,4683,4686,4699,4700,4701,4702,4703,
4704,4717,4805,4807,4820,4821,4822,4823,4824,4825,4838,4866,
4879,4880,4881,4882,4883,4884,4897,4994,4995,4996,4997,4998,
4999,5012,5645,5646,5647,5648,5649,5662,5689,5690,5691,5692,
5705,5732,5733,5734,5747,5774,5775,5788,5815,5828,5867,8715,
8717,8718,8720,8733,8734,8735,8736,8737,8738,8751,8779,8780,
8782,8795,8796,8797,8798,8799,8800,8813,8901,8903,8916,8917,
8918,8919,8920,8921,8934,8962,8975,8976,8977,8978,8979,8980,
8993,9090,9091,9092,9093,9094,9095,9108,9741,9742,9743,9744,
9745,9758,9785,9786,9787,9788,9801,9828,9829,9830,9843,9870,
9871,9884,9911,9924,9963,10732,10733,10735,10748,10749,10750,
10751,10752,10753,10766,10854,10856,10869,10870,10871,10872,
10873,10874,10887,10915,10928,10929,10930,10931,10932,10933,
10946,11043,11044,11045,11046,11047,11048,11061,11694,11695,
11696,11697,11698,11711,11738,11739,11740,11741,11754,11781,
11782,11783,11796,11823,11824,11837,11864,11877,11916,12745,
12747,12760,12761,12762,12763,12764,12765,12778,12806,12819,
12820,12821,12822,12823,12824,12837,12934,12935,12936,12937,
12938,12939,12952,13585,13586,13587,13588,13589,13602,13629,
13630,13631,13632,13645,13672,13673,13674,13687,13714,13715,
13728,13755,13768,13807,16406,16419,16420,16421,16422,16423,
16424,16437,16534,16535,16536,16537,16538,16539,16552,17185,
17186,17187,17188,17189,17202,17229,17230,17231,17232,17245,
17272,17273,17274,17287,17314,17315,17328,17355,17368,17407,
18245,18246,18247,18248,18249,18250,18263,18896,18897,18898,
18899,18900,18913,18940,18941,18942,18943,18956,18983,18984,
18985,18998,19025,19026,19039,19066,19079,19118,22145,22146,
22147,22148,22149,22162,22189,22190,22191,22192,22205,22232,
22233,22234,22247,22274,22275,22288,22315,22328,22367,38205,
38206,38207,38208,38221,38248,38249,38250,38263,38290,38291,
38304,38331,38344,38383,39151,39152,39153,39166,39193,39194,
39207,39234,39247,39286,40054,40055,40068,40095,40108,40147,
40915,40928,40967,41747],[569,4925],[268,4624],
[569,4925],[393,4749],[],[],[],[],[],[],[],
[],[],[],
[90,94,107,1291,1306,1336,1349,1377,1391,1432,1472,1511,5645,
5646,5662,5689,5690,5691,5692,5705,5747,5774,5788,5828,5867,
38205,38206,38207,38208,38221,38248,38249,38250,38263,38290,
38291,38304,38331,38344,38383,39151,39152,39153,39166,39193,
39194,39207,39234,39247,39286,40054,40055,40068,40095,40108,
40147,40915,40928,40967,41747],[1336,5692,5705,5867,39286],
[90,94,107,1291,1306,1336,1349,1377,1391,1432,1472,1511,5645,
5646,5662,5689,5690,5691,5692,5705,5747,5774,5788,5828,5867,
38205,38206,38207,38208,38221,38248,38249,38250,38263,38290,
38291,38304,38331,38344,38383,39151,39152,39153,39166,39193,
39194,39207,39234,39247,39286,40054,40055,40068,40095,40108,
40147,40915,40928,40967,41747],
[90,94,107,1291,1306,1336,1349,1377,1391,1432,1472,1511,5645,
5646,5662,5689,5690,5691,5692,5705,5747,5774,5788,5828,5867,
38205,38206,38207,38208,38221,38248,38249,38250,38263,38290,
38291,38304,38331,38344,38383,39151,39152,39153,39166,39193,
39194,39207,39234,39247,39286,40054,40055,40068,40095,40108,
40147,40915,40928,40967,41747],
[90,94,107,1291,1306,1336,1349,1377,1391,1432,1472,1511,5645,
5646,5662,5689,5690,5691,5692,5705,5747,5774,5788,5828,5867,
38205,38206,38207,38208,38221,38248,38249,38250,38263,38290,
38291,38304,38331,38344,38383,39151,39152,39153,39166,39193,
39194,39207,39234,39247,39286,40054,40055,40068,40095,40108,
40147,40915,40928,40967,41747],[1336,5692,5705,5867,39286],
[90,94,107,1336,1337,1338,1349,1499,1500,1511,1538,1549,1586,
5692,5693,5694,5705,5855,5856,5867,5894,5905,5942,39274,
39275,39286,39313,39324,39361,42515,42526,42563,43266],
[90,94,107,1336,1337,1338,1349,1499,1500,1511,1538,1549,1586,
5692,5693,5694,5705,5855,5856,5867,5894,5905,5942,39274,
39275,39286,39313,39324,39361,42515,42526,42563,43266],
[1,2,23,26,31,32,41,42,44,68,89,90,91,92,93,94,107,156,
157,158,163,164,166,173,177,179,1289,1290,1291,1292,1293,
1296,1297,1298,1300,1306,1307,1309,1311,1313,1333,1334,1335,
1336,1339,1340,1341,1343,1349,1350,1352,1354,1356,1376,1377,
1378,1381,1382,1383,1385,1391,1392,1394,1396,1398,1418,1419,
1422,1423,1424,1426,1432,1433,1435,1437,1439,1459,1462,1463,
1464,1466,1472,1473,1475,1477,1479,1501,1502,1503,1505,1511,
1512,1514,1516,1518,1613,1614,1616,1622,1623,1625,1627,1629,
1649,1651,1657,1658,1660,1662,1664,1685,1691,1692,1694,1696,
1698,1756,1757,1759,1761,1763,1928,1930,1932,1934,1955,1957,
1959,2004,2006,2049,2279,2300,2301,2302,2305,2308,2310,2318,
2319,2321,2365,2366,2367,2370,2373,2375,2383,2384,2386,3500,
3501,3502,3503,3504,3507,3508,3509,3511,3517,3518,3520,3522,
3524,3544,3545,3546,3547,3550,3551,3552,3554,3560,3561,3563,
3565,3567,3587,3588,3589,3592,3593,3594,3596,3602,3603,3605,
3607,3609,3629,3630,3633,3634,3635,3637,3643,3644,3646,3648,
3650,3670,3673,3674,3675,3677,3683,3684,3686,3688,3690,3712,
3713,3714,3716,3722,3723,3725,3727,3729,3824,3825,3827,3833,
3834,3836,3838,3840,3860,3862,3868,3869,3871,3873,3875,3896,
3902,3903,3905,3907,3909,3967,3968,3970,3972,3974,4139,4141,
4143,4145,4166,4168,4170,4215,4217,4260,4510,4511,4512,4515,
4518,4520,4528,4529,4531,5645,5646,5647,5648,5649,5652,5653,
5654,5656,5662,5663,5665,5667,5669,5689,5690,5691,5692,5695,
5696,5697,5699,5705,5706,5708,5710,5712,5732,5733,5734,5737,
5738,5739,5741,5747,5748,5750,5752,5754,5774,5775,5778,5779,
5780,5782,5788,5789,5791,5793,5795,5815,5818,5819,5820,5822,
5828,5829,5831,5833,5835,5857,5858,5859,5861,5867,5868,5870,
5872,5874,5969,5970,5972,5978,5979,5981,5983,5985,6005,6007,
6013,6014,6016,6018,6020,6041,6047,6048,6050,6052,6054,6112,
6113,6115,6117,6119,6284,6286,6288,6290,6311,6313,6315,6360,
6362,6405,7725,7726,7727,7728,7729,7732,7733,7734,7736,7742,
7743,7745,7747,7749,7769,7770,7771,7772,7775,7776,7777,7779,
7785,7786,7788,7790,7792,7812,7813,7814,7817,7818,7819,7821,
7827,7828,7830,7832,7834,7854,7855,7858,7859,7860,7862,7868,
7869,7871,7873,7875,7895,7898,7899,7900,7902,7908,7909,7911,
7913,7915,7937,7938,7939,7941,7947,7948,7950,7952,7954,8049,
8050,8052,8058,8059,8061,8063,8065,8085,8087,8093,8094,8096,
8098,8100,8121,8127,8128,8130,8132,8134,8192,8193,8195,8197,
8199,8364,8366,8368,8370,8391,8393,8395,8440,8442,8485,
38205,38206,38207,38208,38211,38212,38213,38215,38221,38222,
38224,38226,38228,38248,38249,38250,38253,38254,38255,38257,
38263,38264,38266,38268,38270,38290,38291,38294,38295,38296,
38298,38304,38305,38307,38309,38311,38331,38334,38335,38336,
38338,38344,38345,38347,38349,38351,38373,38374,38375,38377,
38383,38384,38386,38388,38390,38485,38486,38488,38494,38495,
38497,38499,38501,38521,38523,38529,38530,38532,38534,38536,
38557,38563,38564,38566,38568,38570,38628,38629,38631,38633,
38635,38800,38802,38804,38806,38827,38829,38831,38876,38878,
38921,39151,39152,39153,39156,39157,39158,39160,39166,39167,
39169,39171,39173,39193,39194,39197,39198,39199,39201,39207,
39208,39210,39212,39214,39234,39237,39238,39239,39241,39247,
39248,39250,39252,39254,39276,39277,39278,39280,39286,39287,
39289,39291,39293,39388,39389,39391,39397,39398,39400,39402,
39404,39424,39426,39432,39433,39435,39437,39439,39460,39466,
39467,39469,39471,39473,39531,39532,39534,39536,39538,39703,
39705,39707,39709,39730,39732,39734,39779,39781,39824,40054,
40055,40058,40059,40060,40062,40068,40069,40071,40073,40075,
40095,40098,40099,40100,40102,40108,40109,40111,40113,40115,
40137,40138,40139,40141,40147,40148,40150,40152,40154,40249,
40250,40252,40258,40259,40261,40263,40265,40285,40287,40293,
40294,40296,40298,40300,40321,40327,40328,40330,40332,40334,
40392,40393,40395,40397,40399,40564,40566,40568,40570,40591,
40593,40595,40640,40642,40685,40915,40918,40919,40920,40922,
40928,40929,40931,40933,40935,40957,40958,40959,40961,40967,
40968,40970,40972,40974,41069,41070,41072,41078,41079,41081,
41083,41085,41105,41107,41113,41114,41116,41118,41120,41141,
41147,41148,41150,41152,41154,41212,41213,41215,41217,41219,
41384,41386,41388,41390,41411,41413,41415,41460,41462,41505,
41737,41738,41739,41741,41747,41748,41750,41752,41754,41849,
41850,41852,41858,41859,41861,41863,41865,41885,41887,41893,
41894,41896,41898,41900,41921,41927,41928,41930,41932,41934,
41992,41993,41995,41997,41999,42164,42166,42168,42170,42191,
--> --------------------
--> maximum size reached
--> --------------------
