G:= PermutationGroup<416 | \[ 1, 2, 146, 80, 149, 186, 268, 30, 122, 115, 339, 155, 43, 97, 192, 48, 209, 361, 313, 57, 69, 127, 124, 96, 217, 101, 384, 188, 324, 8, 179, 180, 412, 184, 83, 239, 119, 341, 222, 104, 49, 79, 13, 161, 283, 223, 157, 16, 41, 201, 267, 304, 90, 413, 178, 394, 20, 272, 165, 60, 158, 215, 230, 296, 273, 103, 380, 156, 21, 120, 109, 236, 266, 242, 207, 76, 350, 246, 42, 4, 212, 284, 35, 314, 322, 86, 233, 169, 128, 53, 343, 141, 389, 365, 110, 24, 14, 220, 370, 160, 26, 401, 66, 40, 224, 289, 187, 392, 71, 95, 123, 145, 208, 121, 10, 358, 277, 279, 37, 70, 114, 9, 111, 23, 353, 232, 22, 89, 393, 381, 175, 231, 263, 205, 200, 211, 190, 326, 143, 287, 92, 194, 139, 317, 112, 3, 292, 293, 5, 150, 364, 221, 316, 154, 12, 68, 47, 61, 159, 100, 44, 342, 163, 247, 59, 269, 250, 402, 88, 228, 297, 189, 359, 338, 131, 323, 333, 55, 31, 32, 347, 185, 285, 34, 182, 6, 107, 28, 172, 137, 245, 15, 366, 142, 399, 251, 302, 203, 213, 135, 50, 256, 198, 204, 134, 229, 75, 113, 17, 270, 136, 81, 199, 344, 62, 400, 25, 329, 371, 98, 152, 39, 46, 105, 315, 367, 406, 170, 206, 63, 132, 126, 87, 386, 257, 72, 255, 294, 36, 271, 360, 74, 351, 355, 191, 78, 164, 387, 282, 167, 196, 375, 306, 404, 237, 202, 235, 411, 395, 414, 385, 372, 133, 349, 303, 73, 51, 7, 166, 210, 240, 58, 65, 391, 275, 318, 117, 307, 118, 368, 352, 249, 45, 82, 183, 340, 140, 305, 106, 298, 379, 147, 148, 238, 320, 64, 171, 290, 325, 407, 415, 197, 265, 52, 288, 253, 278, 346, 328, 369, 374, 330, 19, 84, 225, 153, 144, 276, 319, 295, 321, 85, 176, 29, 299, 138, 332, 309, 218, 312, 397, 327, 177, 334, 348, 405, 337, 174, 11, 286, 38, 162, 91, 214, 373, 308, 181, 335, 264, 77, 243, 281, 125, 396, 244, 363, 403, 116, 173, 241, 18, 408, 356, 151, 94, 193, 226, 280, 310, 99, 219, 262, 345, 311, 252, 383, 409, 398, 291, 67, 130, 388, 376, 27, 261, 234, 248, 382, 93, 390, 274, 108, 129, 56, 259, 354, 331, 378, 195, 216, 102, 168, 357, 254, 336, 227, 300, 362, 377, 416, 258, 33, 54, 260, 301, 410 ], \[ 209, 90, 195, 358, 38, 248, 398, 375, 153, 300, 71, 12, 39, 107, 117, 136, 382, 388, 400, 128, 274, 275, 16, 396, 371, 49, 185, 177, 18, 132, 161, 214, 361, 310, 68, 52, 96, 116, 272, 245, 205, 219, 200, 338, 405, 213, 295, 198, 293, 217, 91, 306, 47, 125, 354, 250, 158, 43, 184, 372, 183, 231, 311, 247, 201, 318, 314, 323, 252, 394, 387, 70, 309, 21, 1, 113, 317, 22, 148, 14, 265, 307, 111, 360, 273, 64, 10, 235, 392, 321, 364, 368, 190, 192, 263, 224, 57, 92, 141, 377, 77, 102, 290, 391, 134, 188, 80, 291, 378, 110, 282, 240, 359, 9, 100, 5, 249, 50, 349, 150, 390, 145, 242, 180, 127, 241, 54, 182, 48, 343, 328, 407, 365, 331, 285, 23, 203, 61, 234, 227, 191, 284, 170, 25, 286, 88, 258, 221, 189, 304, 399, 380, 114, 44, 319, 302, 196, 97, 315, 246, 389, 356, 82, 327, 104, 93, 147, 277, 239, 409, 228, 276, 303, 278, 350, 124, 353, 373, 133, 176, 135, 20, 138, 347, 194, 17, 123, 262, 280, 166, 99, 257, 197, 27, 322, 374, 292, 129, 152, 58, 238, 397, 210, 109, 301, 261, 95, 45, 75, 137, 216, 385, 402, 401, 298, 236, 118, 324, 406, 60, 79, 84, 202, 37, 332, 142, 381, 352, 225, 253, 410, 416, 233, 393, 146, 211, 4, 65, 367, 271, 339, 187, 232, 156, 395, 279, 86, 408, 15, 351, 329, 369, 345, 341, 24, 254, 94, 167, 66, 330, 342, 106, 207, 370, 383, 178, 34, 334, 312, 175, 112, 13, 366, 74, 78, 357, 362, 281, 160, 149, 174, 83, 121, 226, 181, 122, 260, 316, 119, 412, 355, 193, 26, 251, 53, 212, 130, 413, 159, 87, 41, 244, 340, 120, 164, 36, 163, 218, 379, 267, 333, 346, 131, 411, 299, 337, 101, 259, 335, 33, 2, 3, 35, 308, 363, 151, 305, 313, 294, 287, 105, 229, 63, 404, 155, 325, 288, 154, 126, 173, 256, 206, 297, 8, 230, 269, 59, 162, 289, 270, 56, 171, 28, 403, 108, 348, 172, 237, 76, 222, 320, 168, 336, 51, 179, 85, 169, 98, 69, 384, 144, 220, 266, 157, 344, 376, 115, 204, 73, 199, 140, 186, 81, 264, 296, 19, 11, 29, 31, 283, 165, 414, 139, 72, 40, 255, 223, 415, 326, 386, 32, 46, 55, 268, 208, 42, 30, 6, 143, 62, 67, 103, 215, 89, 7, 243 ]>; size:= 120960; name:= "3.L3(4).2_3"; compfactor:= < 1, 2, 4 >; M:= 3; A:= 2;