// Magma code for the lmfdb family of higher genus curves 14.1092-25.0.2-3-7.2
// The results are stored in a list of records called 'data'

RecFormat:=recformat<group,gp_id, signature,gen_vectors,conj_classes,genus,dimension,r,g0, passport_label,gen_vect_label, is_hyperelliptic, hyp_involution, is_cyclic_trigonal,cyc_auto,full_auto, full_sign,topological_class,braid_class>;

data:=[];

// Create group as a permutation group, and generate data which is the same for all entries.
gp_id:=[1092,25];
H:=SmallGroup(gp_id[1],gp_id[2]); n:=#H; LP:=[]; LG:=[g : g in H]; for i in [1..n] do x:=LG[i]; Tx:=[LG[j]*x : j in [1..n]]; permL:=[]; for j in [1..n] do for k in [1..n] do if Tx[j] eq LG[k] then permL[j]:=k;  break; end if; end for; end for; Append(~LP,permL); end for; G:=PermutationGroup<n|LP>; 
signature:=[0,2,3,7];
genus:=14;
r:=#signature-1;
g0:=signature[1];
dim:=3*g0-3+r;
S:=Sym(gp_id[1]);

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

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