sml1458.z

#############################################################################
##
#W  sml1458.z              GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 1458 ].pnil := rec( syl :=
[ 1, 2, 2, 3, 4, 4, 4, 5, 5, 5, 6, 6, 6, 7, 7, 7, 8, 9, 9, 9, 10, 10, 10, 11,
11, 11, 12, 13, 14, 15, 16, 16, 16, 17, 17, 17, 18, 18, 18, 19, 19, 19, 20,
20, 20, 21, 21, 21, 22, 23, 23, 23, 24, 24, 25, 26, 26, 26, 27, 28, 28, 28,
29, 29, 29, 30, 32, 33, 34, 34, 34, 35, 36, 37, 37, 37, 38, 39, 40, 40, 40,
42, 43, 44, 45, 45, 45, 47, 48, 49, 49, 49, 51, 52, 54, 54, 54, 55, 56, 57,
57, 58, 58, 58, 59, 60, 61, 61, 61, 62, 63, 63, 63, 64, 64, 64, 65, 65, 65,
66, 67, 68, 70, 71, 72, 73, 73, 73, 74, 75, 76, 77, 78, 79, 79, 79, 80, 81,
82, 83, 84, 84, 84, 85, 86, 87, 88, 89, 91, 93, 93, 93, 94, 95, 95, 95, 96,
97, 97, 97, 98, 98, 98, 99, 100, 101, 102, 102, 102, 103, 103, 103, 103, 103,
104, 104, 105, 105, 105, 105, 105, 105, 105, 106, 106, 106, 107, 107, 107,
107, 107, 108, 108, 108, 109, 109, 109, 110, 110, 110, 111, 112, 112, 113,
114, 114, 115, 115, 115, 115, 115, 115, 115, 116, 116, 116, 117, 117, 117,
118, 118, 118, 119, 120, 120, 120, 121, 122, 122, 122, 123, 123, 123, 124,
124, 125, 126, 127, 127, 127, 128, 129, 129, 130, 131, 131, 132, 132, 133,
134, 136, 137, 138, 138, 138, 138, 138, 138, 138, 139, 139, 139, 139, 139,
139, 139, 140, 140, 140, 141, 141, 141, 141, 141, 141, 141, 142, 142, 142,
143, 143, 143, 144, 144, 144, 144, 144, 144, 144, 145, 145, 145, 146, 146,
146, 146, 146, 147, 147, 147, 148, 149, 149, 149, 150, 151, 151, 151, 152,
153, 153, 153, 154, 155, 156, 157, 157, 157, 158, 159, 159, 159, 160, 161,
162, 163, 163, 163, 164, 165, 166, 167, 168, 168, 168, 169, 170, 171, 172,
174, 175, 176, 177, 177, 177, 179, 180, 180, 180, 182, 185, 187, 188, 188,
188, 189, 190, 190, 190, 191, 192, 192, 192, 193, 194, 195, 195, 195, 196,
196, 196, 197, 197, 197, 198, 199, 199, 199, 200, 201, 201, 201, 202, 203,
203, 203, 204, 205, 206, 207, 208, 210, 212, 214, 216, 217, 218, 218, 218,
219, 220, 221, 222, 223, 225, 225, 225, 226, 227, 227, 227, 228, 228, 228,
229, 230, 231, 233, 235, 235, 236, 237, 238, 238, 238, 238, 238, 238, 238,
239, 239, 239, 240, 240, 240, 241, 241, 241, 242, 242, 242, 242, 242, 242,
242, 243, 243, 243, 244, 244, 244, 245, 245, 245, 245, 245, 245, 245, 246,
246, 246, 246, 246, 246, 246, 247, 247, 247, 247, 247, 247, 247, 248, 248,
248, 249, 249, 249, 250, 250, 250, 251, 251, 251, 252, 253, 253, 253, 254,
255, 255, 255, 255, 255, 255, 255, 256, 256, 256, 257, 257, 257, 258, 258,
258, 259, 260, 261, 261, 261, 261, 261, 261, 261, 262, 262, 262, 263, 263,
263, 263, 263, 263, 263, 264, 264, 264, 265, 265, 265, 266, 267, 268, 268,
268, 269, 270, 270, 270, 271, 272, 272, 272, 273, 273, 273, 274, 274, 274,
274, 274, 275, 275, 275, 276, 276, 276, 276, 276, 276, 276, 277, 277, 277,
277, 277, 277, 277, 278, 278, 278, 278, 278, 278, 278, 279, 279, 279, 280,
280, 280, 281, 281, 281, 282, 282, 282, 283, 284, 284, 284, 285, 286, 286,
286, 287, 288, 288, 288, 289, 289, 289, 290, 290, 290, 290, 290, 290, 290,
291, 291, 291, 291, 291, 291, 291, 292, 292, 292, 292, 292, 292, 292, 293,
293, 293, 294, 294, 294, 295, 295, 295, 296, 296, 296, 297, 297, 297, 298,
299, 300, 300, 300, 300, 300, 300, 300, 301, 301, 301, 301, 301, 301, 301,
302, 302, 302, 302, 302, 302, 302, 303, 303, 303, 304, 304, 304, 305, 305,
305, 306, 306, 306, 307, 307, 307, 307, 307, 307, 307, 308, 308, 308, 308,
308, 308, 308, 309, 309, 309, 310, 311, 311, 311, 312, 312, 312, 313, 313,
313, 314, 314, 314, 315, 316, 316, 316, 317, 317, 317, 318, 318, 318, 319,
319, 319, 320, 320, 320, 320, 320, 320, 320, 321, 321, 321, 321, 321, 322,
322, 322, 323, 323, 323, 324, 324, 324, 325, 325, 325, 326, 327, 327, 327,
328, 328, 328, 329, 329, 329, 330, 331, 331, 331, 332, 332, 332, 333, 333,
333, 334, 335, 335, 335, 336, 336, 336, 337, 337, 337, 338, 338, 338, 339,
339, 339, 340, 341, 342, 343, 344, 344, 344, 345, 345, 345, 346, 346, 346,
347, 348, 349, 350, 352, 352, 352, 353, 353, 353, 354, 354, 354, 355, 356,
357, 358, 359, 360, 364, 364, 364, 365, 366, 366, 366, 367, 368, 368, 368,
369, 370, 371, 371, 371, 372, 373, 374, 375, 376, 378, 379, 380, 381, 382,
383, 384, 385, 386, 388, 389, 390, 391, 391, 391, 391, 391, 392, 392, 392,
393, 393, 394, 394, 394, 395, 395, 395, 395, 395, 395, 395, 396, 396, 396,
397, 397, 397, 398, 399, 399, 399, 400, 401, 402, 402, 402, 403, 403, 403,
404, 404, 404, 405, 406, 407, 408, 409, 410, 411, 411, 411, 412, 413, 415,
415, 415, 415, 415, 415, 415, 415, 416, 416, 416, 416, 416, 416, 416, 416,
416, 416, 416, 417, 417, 417, 417, 417, 418, 418, 418, 418, 418, 418, 418,
419, 419, 419, 419, 419, 419, 419, 419, 419, 419, 419, 420, 420, 420, 420,
420, 420, 420, 421, 421, 421, 421, 421, 422, 422, 422, 422, 422, 423, 423,
423, 424, 424, 425, 425, 425, 425, 425, 425, 425, 425, 425, 425, 425, 426,
426, 426, 426, 426, 426, 426, 427, 427, 427, 427, 427, 427, 427, 428, 428,
428, 428, 428, 428, 428, 429, 429, 429, 429, 429, 429, 429, 430, 430, 430,
431, 431, 431, 432, 432, 432, 433, 433, 433, 433, 433, 433, 433, 434, 434,
434, 435, 435, 435, 435, 435, 436, 436, 436, 437, 437, 437, 438, 438, 438,
438, 438, 439, 439, 439, 440, 440, 440, 440, 440, 441, 441, 441, 442, 442,
442, 443, 443, 443, 444, 444, 444, 445, 445, 445, 446, 447, 448, 448, 448,
449, 449, 449, 450, 450, 450, 451, 452, 453, 453, 453, 453, 453, 453, 454,
454, 454, 454, 454, 455, 455, 455, 455, 455, 456, 456, 456, 457, 457, 458,
458, 458, 459, 460, 460, 460, 461, 462, 462, 462, 463, 464, 465, 465, 465,
466, 468, 469, 469, 469, 470, 470, 470, 471, 472, 472, 473, 473, 474, 475,
475, 475, 475, 475, 475, 475, 476, 476, 476, 476, 476, 477, 477, 477, 477,
477, 478, 478, 479, 479, 479, 479, 479, 479, 479, 479, 479, 479, 479, 480,
480, 480, 480, 480, 480, 480, 480, 480, 480, 480, 481, 481, 481, 481, 481,
481, 481, 481, 481, 481, 481, 482, 482, 482, 482, 482, 483, 483, 483, 483,
483, 483, 483, 484, 484, 484, 484, 484, 484, 484, 485, 485, 485, 485, 485,
485, 485, 486, 486, 486, 486, 486, 486, 486, 487, 487, 487, 488, 488, 488,
489, 489, 489, 490, 490, 490, 490, 490, 491, 491, 491, 491, 491, 492, 492,
492, 492, 492, 493, 493, 494, 494, 494, 495, 495, 495, 496, 496, 496, 497,
497, 497, 497, 497, 497, 497, 497, 497, 498, 498, 498, 498, 498, 498, 498,
498, 498, 498, 498, 499, 499, 499, 499, 499, 499, 499, 500, 500, 500, 500,
500, 500, 500, 500, 501, 501, 501, 501, 501, 501, 501, 502, 502, 502, 502,
502, 503, 503, 503, 504, 504, 504, 504, 504, 504 ], oper :=
[ 151195958380101873, 53546314611835523, 113449008659363013,
113420326430091112, 50629257403299112, 105128038896899823, 105151032135704013
, 50630961297759112, 105128038896899823, 105152736030164013,
50630109350529112, 105128038896899823, 105151884082934013, 67421137306596922,
105159549273902013, 144947199312821013, 105152734863113013, 50629257792316112
, 104713424577234023, 104736418594072213, 50630961686776112,
104713424577234023, 104738122488532213, 50630109739546112, 104713424577234023
, 104737270541302213, 111578122037758213, 105980261553069613,
105980829517889613, 105980545535479613, 50629257792316112, 105128038896899823
, 105151032913738013, 50630961686776112, 105128038896899823,
105152736808198013, 50630109739546112, 105128038896899823, 105151884860968013
, 50629257792316112, 104920731737066923, 104943725753905113,
50630961686776112, 104920731737066923, 104945429648365113, 50630109739546112,
104920731737066923, 104944577701135113, 50646298682001112, 50630961297759112,
105128037729848823, 105152733696062013, 50633801510876113, 104754022391356942
, 105128038118865823, 50630961297759113, 104713423799200022,
104738120154430213, 110542720615896013, 50631529262580573, 104713423799200022
, 104738688119251673, 50631245280169843, 104713423799200022,
104738404136840943, 50630961686776113, 50631529651597573, 50631245669186843,
33929393244949163, 50629258575676922, 101004896340494842, 50629258575676922,
33929677227359163, 33929393244415533, 50629258575144753, 101004896730045472,
101396512358275013, 33929677226825533, 17068500559336173, 33929392854864903,
101004895950944212, 34344575138284903, 17068500559336173, 149491776430142613,
67421137704674683, 105166086704054842, 143705352788001813, 67836319988094683,
50631814805851023, 50632382770671023, 100981898039675013, 101008020147537012,
101396512358275013, 102225741383959113, 50634370258524753, 102433048543259113
, 102461158138442672, 50634938223344753, 20801732932179173, 57891541913125023
, 113661419331620212, 50634358588014022, 113834941526726573,
113863055790112673, 113834941526726573, 113834941526726573, 50629257403296922
, 106371880688849873, 106394872760600873, 111784859680434873,
50629257792313922, 106371880688849873, 106394873538634873, 50629258181330922,
106371880688849873, 106394873149617873, 50629257403299113, 104713425355268753
, 104736418205056672, 50629825368119113, 105128039674934553,
104713425355268753, 105128039674934553, 104920732515101653, 50630962075793113
, 50631246058203113, 104713424966251753, 104738406081926672,
105130879110017553, 127931827200065423, 105130879110017553,
104925843809464653, 50630109739546113, 50630677704366113, 104713424577234753,
104737838117106672, 105133150580280553, 128553748285751023,
105133150580280553, 104923855543577653, 67421137695615383, 104744934954236942
, 144532585382172213, 67836319979568283, 149491770209068013,
67421137696680453, 67836319979034653, 67628728837857553, 50644592453436922,
50629246899837922, 117566477405491873, 117589479980701873, 117566477405491873
, 61828389674473113, 100981898040740812, 111789410789781323,
111582103630481323, 50633519089863113, 100981898040740812, 101009154523771323
, 50634087054683113, 100981898040740812, 101009722488591323,
101009439284215323, 101424053602815323, 101216746443515323, 50774183741577262
, 104738130657889213, 104782616696928610, 54784477527754023,
61816176480426922, 65971407108343023, 104120184150899113, 109725134473610113,
102433903607421212, 104115063131111113, 50629814869454023, 56825471941191112,
56849042486017213, 102225739832687212, 102249310367921113, 112176470641524022
, 112200041176757923, 56203557465603682, 102225746834993212,
116529920986837162, 50606254828089112, 50629257408095212, 101396498357926213,
101396508861383023, 101419511431796923, 50606254828089112, 50634358588014022,
50634369091475212, 50629264410401212, 101396515863689023, 101419500928340113,
50590930278212902, 50630968304861212, 101396515863689023, 50636079988241212,
50630964803708212, 101396512362536023, 50636076487088212, 50607964557804112,
50634371425577212, 51851801678349112, 71567848462215213, 72190611383884023,
101420068893160113, 102042852821746923, 138711797535383022,
139957333882186212, 50606254828089112, 136638715438926230, 136638725942383040
, 71360548305221213, 101420068893160113, 138297190219089022,
67423398667214026, 105153301655020113, 139748322828426218, 101421772787620113
, 50606257162191112, 67421694772754023, 67421707610317213, 50606257162191112,
50771918500369224, 101006038100057922, 101054494451393224, 50606254828089113,
104713412906726212, 104713423410183023, 52495028844101212, 104738971318830113
, 50634358588014023, 106045016932271729, 50636453444561221, 50740818140901188
, 100982471844011023, 50636364359668212, 50703855697032236,
101011797885762122, 50636076487088212, 50608056754833131, 50634471013929221,
102018437341589023, 105152734079217113, 105752808367191023, 52501844810958212
, 16571983769664232, 75405452928045074, 22673461002872297, 22681118024483297,
50621589878226922, 50629257408628112, 50636914430239112, 101004897117462313,
101012554139073313, 50606254828086922, 71775145119123472, 71775155622582472,
102248729569803313, 102248740073262313, 139748606813499253,
139748617316958253, 50606254828086922, 102250433464263313, 102250443967722313
, 50606254828086922, 50630098852399112, 50630109355858112, 100981884040922723
, 100981894544381723, 101005738561233313, 101005749064692313,
56203548129186922, 104117344328397813, 115311920427138813, 50629259742730112,
100981884040922723, 101004899451564313, 50606254828086922, 50630950799629112,
50630961303088112, 101396498359522723, 101396508862981723, 101421204827063313
, 101421215330522313, 50629259742730112, 101396498359522723,
101419513770164313, 50613922353156922, 55606901090575212, 55622225637256212,
103707273726759113, 103722598273440113, 50629259742730112, 101189191200222723
, 101212206610864313, 101420081734984313, 25175343703534797,
50629257408628112, 101016532223717913, 102248729569803313, 50630961303088112,
100981894544381723, 101006590508463313, 102250433464263313, 50630109355858112
, 100981894544381723, 101005738561233313, 102249581517033313,
50629259742730112, 102663343888403313, 50630961303088112, 101396508862981723,
101421204827063313, 104738119375330413, 25175343703534797, 59337010436008012,
117590314416836413, 102664195835633313, 50629259742730112, 102456036729103313
, 24137105180691597, 58716508870158012, 116145127929149013,
102457740623563313, 105151881746700413, 50629259742730112, 102882297045369113
, 17690705247995297, 35589264605196164, 101627376056723313,
102251001429083313, 101629079951183313, 102250149481853313,
101628228003953313, 102665615747683313, 105982530295950413,
103297763311199113, 17690705247995297, 37872765994823564, 104535356319877113,
117389538849769013, 17068499787685297, 35588980622786164, 101836387110483313,
36008989831273764, 41403519298353564, 49913051051215764, 50629246905169112,
100981884040922723, 101004886614003313, 102248729569803313, 50630950799629112
, 100981884040922723, 101006590508463313, 102250433464263313,
50630098852399112, 100981884040922723, 101005738561233313, 102249581517033313
, 100981884040922723, 50629246905169112, 101396498359522723,
101419500932603313, 50717565436277818, 113857930489004613, 113984586647592726
, 50630950799629112, 101396498359522723, 101421204827063313,
101396498359522723, 50629246905169112, 101189191200222723, 101212193773303313
, 102456036729103313, 50630950799629112, 101189191200222723,
101213897667763313, 102457740623563313, 50630098852399112, 101189191200222723
, 101213045720533313, 105151881746700413, 101189191200222723,
101420068897423313, 102663911853223313, 102665615747683313, 50629246905169112
, 50630950799629112, 50630098852399112, 105991617729340113,
102248729569803313, 87737522516188942, 101626808091903313, 120262027935619083
, 102250433464263313, 101628511986363313, 101005738561233313,
115727386691370113, 114066089983485813, 52019918494495715, 84213014103625742,
117384708814697013, 101421204827063313, 50774372034318515, 102043126304963313
, 102094821221753429, 50786298513774215, 102062721477605813,
102092830621764429, 117036271349279029, 116351580421297413,
102457740623563313, 114480420319675813, 53048502783515715, 105780337150935013
, 109771715375582729, 101050901102960729, 50606254828086922,
50630950794300112, 50630961297759112, 105128027226389823, 105128037729848823,
105152733696062013, 105152744199521013, 50606254828086922, 105128027226389823
, 105128037729848823, 50630950794300112, 105128027226389823,
105152733696062013, 50630961297759112, 105128037729848823, 105152733696062013
, 50606254828086922, 50629246904634022, 50629257408093022, 102640341313727673
, 102640351817186673, 102663343884141573, 102663354387600573,
50629246904634022, 102640341313727673, 102663343884141573, 50629257408093022,
102640351817186673, 102663343884141573, 50606254828086922, 50629246904634023,
50629257408093023, 102225726995659112, 102225737499118112, 102248729566605913
, 102248740070064913, 50606254828086922, 50629814869454023, 50629825372913023
, 102225726995659112, 102225737499118112, 102249297531425913,
102249308034884913, 50606254828086922, 50629530887044023, 50629541390503023,
102225726995659112, 102225737499118112, 102249013549015913,
102249024052474913, 50629258186127023, 102225726995659112, 102248740848098913
, 50629246904634023, 102225726995659112, 102248729566605913,
50629814869454023, 102225726995659112, 102249297531425913, 50629530887044023,
102225726995659112, 102249013549015913, 102225726995659112, 50606254828086922
, 102663343885207373, 102663354388666373, 102663343885207373,
50606254828086922, 71360530800519822, 71360541303978822, 102248729566073013,
102248740069532013, 139748606810836213, 139748617314295213, 50606254828086922
, 102249297530893013, 102249308034352013, 67421126807934022,
102251580671133113, 137887965342009213, 71360530800519822, 102248729566073013
, 139748606810836213, 102249297530893013, 67421126807934022,
50606254828086922, 71360530800519822, 71360541303978822, 102663343884674473,
102663354388133473, 139541299651537673, 139541310154996673, 71360530800519822
, 102663343884674473, 139541299651537673, 50606254828086922,
71360530800519822, 71360541303978822, 102456036725373743, 102456047228832743,
139955913970136943, 139955924473595943, 71360530800519822, 102456036725373743
, 139955913970136943, 50606254828086922, 50634358588014022, 50634369091473022
, 50634358588014022, 50634369091473022, 50606254828086922, 50634926553899823,
50634937057358823, 50634937835392823, 50629264410399022, 102640358819492673,
102663343884141573, 102663343884141573, 50629264410399022, 102640358819492673
, 102663343884141573, 50629264410399022, 102640358819492673,
102663343884141573, 50718133398964022, 57862292498136573, 102663357499736573,
102790297641802673, 113858498451157922, 50629246904634022, 57654701356426573,
57677703936432673, 50629246904634023, 56825471941191112, 56848474521197213,
102225739833220112, 102248742404166913, 112176470642056922,
112199473213003723, 50629814869454023, 56825471941191112, 56849042486017213,
102225739833220112, 102249310368986913, 112176470642056922,
112200041177823723, 50629530887044023, 56825471941191112, 56848758503607213,
102225739833220112, 102249026386576913, 112176470642056922,
112199757195413723, 57032779878525842, 102249027164610913, 112407064354715183
, 50629246904634023, 112176470642589822, 112199473212470823,
50629814869454023, 112176470642589822, 112200041177290823, 50629530887044023,
112176470642589822, 112199757194880823, 112407064354182283, 57677703936432673
, 102663357500802373, 113420313597856922, 113420313598389822,
50634358588014022, 57862008515726573, 57890122779112673, 57864280376072373,
50634358588014022, 57862008515726573, 57890122779112673, 50634358588014022,
57862008515726573, 57890122779112673, 50606254828089112, 50629246904634023,
50629257408095213, 100981884039859112, 100981894543315922, 101004886610805913
, 101004897114262723, 50606254828089112, 50629814869454023, 50629825372915213
, 100981884039859112, 100981894543315922, 101005454575625913,
101005465079082723, 50606254828089112, 50629530887044023, 50629541390505213,
100981884039859112, 100981894543315922, 101005170593215913,
101005181096672723, 50606254828089112, 101419784911815913, 101419795415272723
, 50629258186129213, 100981884039859112, 101004897892296723,
50629246904634023, 100981884039859112, 101004886610805913, 50629814869454023,
100981884039859112, 101005454575625913, 50629530887044023, 100981884039859112
, 101005170593215913, 101419784911815913, 100981884039859112,
50606254828089112, 71567269994999822, 71567280498461012, 101004886610273013,
101004897113729823, 138297172713326213, 138297183216783023, 50606254828089112
, 71360530800519822, 71360541303981012, 101419500928873013,
101419511432329823, 138297456695736213, 138297467199193023, 50606254828089112
, 71360530800519822, 71360541303981012, 101212193769573013,
101212204273029823, 138712071014336213, 138712081517793023, 50606254828089112
, 101005454575093013, 101005465078549823, 50606254828089112,
101420068893693013, 101420079397149823, 50606254828089112, 101212761734393013
, 101212772237849823, 67421126807934022, 101007737715330923,
136644122386207023, 50629246904634023, 56848472187095212, 82101618491812902,
101626818591096923, 113420313597326213, 113443316167740112,
127087272061518173, 60580001054496672, 82930847130079432, 95376975724598802,
103907197343397653, 113834927915926213, 126050736265552533,
141399165088127163, 50629814869454023, 100981894543315922, 101005465079082723
, 101420079397682723, 83345461448679432, 101005465857116723,
144509341219947533, 83345461448679432, 101420080175716723, 144923955538547533
, 83345461448679432, 101212773016416723, 144716648379247533,
50644581958504322, 100989562072117683, 101004897113731283, 101005465078551283
, 67421126807934022, 101007737715332383, 136644122386208483,
67421126807934022, 101007737326315383, 136644121997191483, 67421126807934022,
101422351644915383, 136436814837891483, 67421126807934022, 101215044485615383
, 136851429156491483, 71567269994999822, 72811123454261012, 89771983386447262
, 101004886610273013, 101626818591629823, 127294579221884703,
138297172713326213, 50607114166642112, 70530745479462112, 101217592548031913,
101219312003169723, 135398286107301213, 50606254828089842, 101005454575093013
, 101005465078551283, 50606254828089842, 101420068893693013,
101420079397151283, 50606254828089842, 101212761734393013, 101212772237851283
, 50606254828089113, 104713412906726942, 104713423410184483,
104713412906726942, 50606255606123113, 104713412906726942, 104713424188218483
, 50606255217106113, 104713412906726942, 104713423799201483,
50606254828089113, 104713412906726942, 104713423410184483, 104713412906726942
, 50606255606123113, 104713412906726942, 104713424188218483,
50606255217106113, 104713412906726942, 104713423799201483, 50606254828089113,
104713412906726942, 104713423410184483, 104713412906726942, 50606255606123113
, 104713412906726942, 104713424188218483, 50606255217106113,
104713412906726942, 104713423799201483, 89787370956556252, 104713494989317593
, 131663349839998213, 89787370956556252, 105128109307917593,
131456042680698213, 89787370956556252, 104920802148617593, 131870656999298213
, 56203548129189112, 104713424188217753, 105128038506817753,
104920731347517753, 50606254828089113, 50634358588014022, 50634369091475213,
50606255606123113, 50634358588014022, 50634369869509213, 50606255217106113,
50634358588014022, 50634369480492213, 50634358588014022, 50606254828089113,
50606255606123113, 50606255217106113, 50634358588014022, 56203548129189112,
56231662392575212, 50634358588014022, 56203548129189112, 56231662392575212,
50634358588014022, 56203548129189112, 56231662392575212, 56203548129189112,
56203548129189112, 56203548129189112, 50634358588014022, 50634358588014022,
50634358588014022, 50629264410401942, 100981901545090483, 101004886609740113,
100981902323124483, 50629264410401942, 101396515863690483, 101419500928340113
, 101396516641724483, 50629264410401942, 101189208704390483,
101212193769040113, 101189209482424483, 101005454574560113, 50629264410401213
, 100981901545090483, 101004886609740842, 101396515863690483,
50629832375221213, 100981901545090483, 101396515863690483, 101189208704390483
, 100981901545089753, 100981902323123753, 100981901934106753,
101396515863689753, 101396516641723753, 101396516252706753,
101189208704389753, 101189209482423753, 101189209093406753,
102663346219309373, 102663914184129373, 102663630201719373, 50606254828086922
, 50629257403296922, 106371870185390873, 106371880688849873,
106394883264059873, 50606254828086922, 106371870185390873, 106371880688849873
, 50629825757133922, 106372164671259873, 50606254828086922, 50630098852399113
, 50630109355858113, 50606254828086922, 50630666817219113, 50630677320678113,
100981884040923453, 100981894544382453, 101006306525521872,
101006317028980872, 50606254828086922, 101396498359523453, 101396508862982453
, 50630110133892113, 100997230372556453, 101013974050591872,
50630098852399113, 50630666817219113, 100981894544382453, 101006317028980872,
101396508862982453, 100997230372556453, 50606254828086922, 121090678493555623
, 121090688997014623, 50606254828086922, 120676064174955623,
120676074678414623, 50606254828086922, 121297985652855623, 121297996156314623
, 121090689775048623, 120261462693916623, 120676077012516623,
120468769853216623, 121090692109150623, 121090691720133623, 50630098852399113
, 106579177340956923, 106603031858070112, 106993791659556923,
50630666817219113, 50611356012804022, 50646001866824023, 50648557703717923,
61813620643533022, 61825263922343023, 102249308038615213, 107861925886396213,
107864481723290113, 50606244329424022, 50606254832883022, 50629246899840112,
50629246904636212, 50629257408095212, 101396498353130113, 101396498357926213,
101396508861385213, 101419500928337923, 101419500933134023,
101419511436593023, 50606244329424022, 50606254832883022, 50630950794300112,
50630950799096212, 50630961302555212, 50606244329424022, 50629259737401112,
50629259742197212, 101396511190691113, 101396511195487213, 101419500928337923
, 101419500933134023, 50611356012804022, 50629530887046212, 50632086723940112
, 56204116872040923, 56209228560217023, 101398781493903113,
101403893182079213, 101420364161857023, 101422919998750923,
112407916305674022, 112410472142567922, 50606244329424022, 50630950794300112,
50630950799096212, 56410856066520923, 56410856071317023, 56435562536193113,
56435562540989213, 50629246907833612, 56203548907220923, 56226551490426613,
101421216104290923, 112408484265697922, 50636074537204922, 51853505966622212,
101424615723856113, 102020976455548023, 102043137976004023, 50630950799096212
, 106993791659024023, 107018498123900113, 61825547899956922,
62423614863412612, 50606261830392923, 50608803672267022, 50629250405789212,
50629257408095213, 50634376088985113, 100981884034530113, 100981901540295112,
100984443382169213, 101004890115687023, 101004897117993022,
101010015798882922, 50606247830577022, 50606254832883023, 50606261830392923,
102225726990330113, 102225730496279213, 102225737498585212,
102225744496095112, 50606244329424022, 50606254828086923, 50606254832883023,
50630950794300112, 50630950799096212, 50630961297759113, 50630961302555213,
50606244329424022, 50629259737401113, 50629259742197213, 100981896872091112,
100981896876887212, 101004886609737923, 101004886614534023, 50606254828086923
, 50629246907833612, 50629257411292613, 100981884042523613,
100981894545982612, 101004886609737923, 101004897113196922, 50606244329424022
, 50630950794300112, 50630950799096212, 50606244329424022, 101419500928337923
, 101419500933134023, 50629246907833612, 101396498361123613,
101419500928337923, 50598629705869197, 50598629710665297, 50606244329424022,
50629827702221113, 50629827707017213, 100981896872091112, 100981896876887212,
50606244329424022, 50631531596681113, 50631531601477213, 50606244329424022,
50629826535170113, 50629826539966213, 100983599599500112, 100983599604296212,
50606244329424022, 50631530429630113, 50631530434426213, 50629825376112613,
100981894545982612, 101005454574557923, 50606244329424022, 50606824737991923,
50606824742788023, 50630962075793113, 50630962080589213, 50606255606120923,
50629246907833612, 50629258189326613, 84834931690289212, 101004898286642722,
104121311914379513, 118395705258794512, 122752548224546723, 50634369086676923
, 102225737493789112, 102253841248920113, 53118643713002218,
101606368361220026, 105987074010780113, 50629246904636212, 101399054199614023
, 101424612611720113, 50630950799096212, 106579177340424023,
106603883805300113, 50630098851866212, 106579177340424023, 106603031858070113
, 101399054199614023, 50629246907833612, 50634937051496923,
105957266361189112, 105985938081140113, 50634937051496923, 102225737493789112
, 102254409213740113, 50634654237203723, 101603816015889112,
101632206088597913, 100981896872091112, 62239026288916923, 30769214046182664,
50636062477680112, 54361627719264022, 101399916650305212, 101420363383823022,
108682067081680113, 55605470676662722, 56203548129186923, 61202774481221723,
102642055711645212, 114479851967437513, 50630950794300112, 103262273290286922
, 103286979759959112, 114456849389027923, 114481555858700113,
50606254828086923, 104120457629850113, 104120468133309112, 54362763648904022,
115516387760740113, 32004821512092664, 50630950794300112, 108469648239000113,
115518091655200113, 55605470676662722, 102664195837762723, 103262262786827923
, 103262262786827923, 33249517583239464, 102226589445815212,
108675819471857513, 115725966779320113, 100981894545982612, 30146724603462664
, 48662945700283397, 115518659620020113, 103910310646450113,
96414363749154697, 50767704786529018, 61614832956535213, 101834696443664922,
52302474765507026, 114253807805931218, 115320442231942113, 109319891574540113
, 63692171283195118, 111379048029450113, 103286120421939013,
104507259569181526, 63900332334810118, 50608803672267022, 50629257797110022,
50634376477999922, 102640342086965573, 102642901434604673, 102663354392396673
, 102668473073286573, 50606244329424022, 50606254832883022,
102640341308931573, 102640341313727673, 102640351817186673, 50606244329424022
, 50629257403296922, 50629257408093022, 102640351812390573,
102640351817186673, 56232230352596922, 115729090586364473, 50606244329424022,
50606254832883022, 50629246899840113, 50629246904636213, 50629257408095213,
100981884034530842, 100981884039326942, 100981894542785942,
101004886609739383, 101004886614535483, 101004897117994483, 50606244329424022
, 50606254832883022, 50629814864660113, 50629814869456213, 50629825372915213,
100981884034530842, 100981884039326942, 100981894542785942,
101005454574559383, 101005454579355483, 101005465082814483, 50606244329424022
, 50606254832883022, 50629530882250113, 50629530887046213, 50629541390505213,
100981884034530842, 100981884039326942, 100981894542785942,
101005170592149383, 101005170596945483, 101005181100404483, 50606244329424022
, 50606254832883022, 101419784910749383, 101419784915545483,
101419795419004483, 50606244329424022, 50629258181333113, 50629258186129213,
100981884034530842, 100981884039326942, 101004897891232383,
101004897896028483, 50606244329424022, 50629246899840113, 50629246904636213,
100981884034530842, 100981884039326942, 101004886609739383,
101004886614535483, 50606244329424022, 50629814864660113, 50629814869456213,
100981884034530842, 100981884039326942, 101005454574559383,
101005454579355483, 50606244329424022, 50629530882250113, 50629530887046213,
100981884034530842, 100981884039326942, 101005170592149383,
101005170596945483, 50606244329424022, 101419784910749383, 101419784915545483
, 50606244329424022, 100981884034530842, 100981884039326942,
50629246905702013, 100981884034530842, 101004886615601283, 50606254833948822,
50629246904636213, 100981884034530842, 100981894543851742, 101004886614535483
, 50606254833948822, 50629814869456213, 100981884034530842,
100981894543851742, 101005454579355483, 50606254833948822, 50629530887046213,
100981884034530842, 100981894543851742, 101005170596945483, 50606254833415922
, 101419784915545483, 50629258181333113, 100981884034530842,
101004897891232383, 50629826146153113, 100981884034530842, 101005465856052383
, 50629542163743113, 100981884034530842, 101005181873642383,
50596305036884662, 54954878318237262, 54983276497316472, 60950871695316652,
101391965206346893, 101419511436595213, 104496450826845293,
104506390114588553, 115264221944925193, 50768115077429183, 57456478916455842,
64502934464359692, 66581106861027742, 66740421770538113, 101004897507545842,
101052890145285213, 109940972011589692, 109985556860411253,
111996141833047742, 112838717616847922, 50626975060808122, 51857197350001012,
51859469232195712, 138505047833180823, 138524926620532323, 139755148909725213
, 139758272740748613, 50606244324630112, 50606251331732212, 51043872504729213
, 51043876001083923, 51043876001086113, 101212477751447922,
101212477751450112, 101212484758552212, 32130721134403322, 41357123244471212,
51012653892075723, 51228165805727512, 100978249452962313, 101212205055862112,
102456048013258622, 50607950554790812, 50635789000327812, 50636642113007922,
101397115334622823, 101398821564785713, 51059764526496573, 71524308158143522,
101212204277825922, 50606244595029412, 50813551755395213, 101004897117995213,
101419511437128112, 101419511589387862, 101572098688770622 ] );