// Magma code for the lmfdb family of higher genus curves 7.504-156.0.2-3-7
// 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:=[504,156];
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:=7;
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:=[[33, 263, 139, 165, 493, 37, 257, 153, 368, 51, 380, 301, 228, 160, 19, 374, 252, 143, 15, 155, 364, 462, 115, 55, 194, 486, 278, 60, 209, 94, 417, 268, 1, 68, 405, 305, 6, 488, 274, 120, 295, 46, 455, 135, 179, 42, 290, 472, 354, 385, 10, 320, 288, 98, 24, 110, 175, 327, 214, 28, 77, 315, 476, 429, 389, 265, 435, 34, 208, 419, 450, 341, 105, 335, 211, 237, 61, 109, 329, 225, 440, 123, 452, 373, 300, 232, 91, 446, 324, 215, 87, 227, 436, 30, 187, 127, 266, 54, 350, 132, 281, 166, 489, 340, 73, 140, 477, 377, 78, 56, 346, 192, 367, 118, 23, 207, 251, 114, 362, 40, 426, 457, 82, 392, 360, 170, 96, 182, 247, 399, 286, 100, 149, 387, 44, 501, 461, 337, 3, 106, 280, 491, 18, 413, 177, 407, 283, 309, 133, 181, 401, 297, 8, 195, 20, 445, 372, 304, 163, 14, 396, 287, 159, 299, 4, 102, 259, 199, 338, 126, 422, 204, 353, 238, 57, 412, 145, 212, 45, 449, 150, 128, 418, 264, 439, 190, 95, 279, 323, 186, 434, 112, 498, 25, 154, 464, 432, 242, 168, 254, 319, 471, 358, 172, 221, 459, 116, 69, 29, 409, 75, 178, 352, 59, 90, 485, 249, 479, 355, 381, 205, 253, 473, 369, 80, 267, 92, 13, 444, 376, 235, 86, 468, 359, 231, 371, 76, 174, 331, 271, 410, 198, 494, 276, 425, 310, 129, 484, 217, 284, 117, 17, 222, 200, 490, 336, 7, 262, 167, 351, 395, 258, 2, 184, 66, 97, 226, 32, 504, 314, 240, 326, 391, 39, 430, 244, 293, 27, 188, 141, 101, 481, 147, 250, 424, 131, 162, 53, 321, 47, 427, 453, 277, 325, 41, 441, 152, 339, 164, 85, 12, 448, 307, 158, 36, 431, 303, 443, 148, 246, 403, 343, 482, 270, 62, 348, 497, 382, 201, 52, 289, 356, 189, 89, 294, 272, 58, 408, 79, 334, 239, 423, 467, 330, 74, 256, 138, 169, 298, 104, 72, 386, 312, 398, 463, 111, 502, 316, 365, 99, 260, 213, 173, 49, 219, 322, 496, 203, 234, 125, 393, 119, 499, 21, 349, 397, 113, 9, 224, 411, 236, 157, 84, 16, 379, 230, 108, 503, 375, 11, 220, 318, 475, 415, 50, 342, 134, 420, 65, 454, 273, 124, 361, 428, 261, 161, 366, 344, 130, 480, 151, 406, 311, 495, 35, 402, 146, 328, 210, 241, 370, 176, 144, 458, 384, 470, 31, 183, 70, 388, 437, 171, 332, 285, 245, 121, 291, 394, 64, 275, 306, 197, 465, 191, 67, 93, 421, 469, 185, 81, 296, 483, 308, 229, 156, 88, 451, 302, 180, 71, 447, 83, 292, 390, 43, 487, 122, 414, 206, 492, 137, 22, 345, 196, 433, 500, 333, 233, 438, 416, 202, 48, 223, 478, 383, 63, 107, 474, 218, 400, 282, 313, 442, 248, 216, 26, 456, 38, 103, 255, 142, 460, 5, 243, 404, 357, 317, 193, 363, 466, 136, 347, 378, 269], [198, 483, 52, 110, 129, 247, 437, 46, 467, 261, 150, 61, 488, 480, 400, 203, 55, 170, 459, 132, 34, 290, 309, 148, 86, 28, 125, 378, 249, 43, 155, 147, 283, 239, 37, 233, 81, 312, 16, 209, 282, 481, 338, 10, 332, 72, 402, 25, 263, 246, 310, 392, 19, 422, 324, 285, 7, 380, 399, 130, 500, 1, 359, 495, 15, 358, 101, 84, 373, 41, 352, 8, 270, 51, 124, 182, 201, 319, 5, 118, 35, 333, 222, 133, 56, 48, 472, 275, 127, 242, 27, 204, 106, 362, 381, 220, 158, 100, 197, 450, 321, 115, 227, 219, 355, 311, 109, 305, 153, 384, 88, 281, 354, 49, 410, 82, 404, 144, 474, 97, 335, 318, 382, 464, 91, 494, 396, 357, 79, 452, 471, 202, 68, 73, 431, 63, 87, 430, 173, 156, 445, 113, 424, 80, 342, 123, 196, 254, 273, 391, 77, 190, 107, 405, 294, 205, 128, 120, 40, 347, 199, 314, 99, 276, 178, 434, 453, 292, 230, 172, 269, 18, 393, 187, 299, 291, 427, 383, 181, 377, 225, 456, 160, 353, 426, 121, 482, 154, 476, 216, 42, 169, 407, 390, 454, 32, 163, 62, 468, 429, 151, 20, 39, 274, 140, 145, 503, 135, 159, 502, 245, 228, 13, 185, 496, 152, 414, 195, 268, 326, 345, 463, 149, 262, 179, 477, 366, 277, 200, 192, 112, 419, 271, 386, 171, 348, 250, 2, 21, 364, 302, 244, 341, 90, 465, 259, 371, 363, 499, 455, 253, 449, 297, 24, 232, 425, 498, 193, 50, 226, 44, 288, 114, 241, 479, 462, 22, 104, 235, 134, 36, 501, 223, 92, 111, 346, 212, 217, 71, 207, 231, 70, 317, 300, 85, 257, 64, 224, 486, 267, 340, 398, 417, 31, 221, 334, 251, 45, 438, 349, 272, 264, 184, 491, 343, 458, 243, 420, 322, 74, 93, 436, 374, 316, 413, 162, 33, 331, 443, 435, 67, 23, 325, 17, 369, 96, 304, 497, 66, 265, 122, 298, 116, 360, 186, 313, 47, 30, 94, 176, 307, 206, 108, 69, 295, 164, 183, 418, 284, 289, 143, 279, 303, 142, 389, 372, 157, 329, 136, 296, 54, 339, 412, 470, 489, 103, 293, 406, 323, 117, 6, 421, 344, 336, 256, 59, 415, 26, 315, 492, 394, 146, 165, 4, 446, 388, 485, 234, 105, 403, 11, 3, 139, 95, 397, 89, 441, 168, 376, 65, 138, 337, 194, 370, 188, 432, 258, 385, 119, 102, 166, 248, 379, 278, 180, 141, 367, 236, 255, 490, 356, 361, 215, 351, 375, 214, 461, 444, 229, 401, 208, 368, 126, 411, 484, 38, 57, 175, 365, 478, 395, 189, 78, 493, 416, 408, 328, 131, 487, 98, 387, 60, 466, 218, 237, 76, 14, 460, 53, 306, 177, 475, 83, 75, 211, 167, 469, 161, 9, 240, 448, 137, 210, 409, 266, 442, 260, 504, 330, 457, 191, 174, 238, 320, 451, 350, 252, 213, 439, 308, 327, 58, 428, 433, 287, 423, 447, 286, 29, 12, 301, 473, 280, 440], [315, 174, 124, 415, 329, 236, 175, 341, 438, 135, 273, 466, 352, 122, 389, 274, 89, 204, 288, 471, 331, 226, 356, 200, 472, 503, 87, 486, 363, 169, 325, 464, 497, 364, 440, 240, 405, 93, 358, 163, 419, 434, 94, 395, 339, 153, 138, 232, 118, 167, 335, 139, 206, 393, 252, 300, 421, 460, 230, 83, 301, 242, 501, 162, 480, 79, 289, 149, 398, 481, 188, 42, 387, 246, 196, 487, 401, 308, 247, 413, 6, 207, 345, 34, 424, 194, 461, 346, 161, 276, 360, 39, 403, 298, 428, 272, 40, 71, 159, 54, 435, 241, 397, 32, 65, 436, 8, 312, 477, 165, 430, 235, 491, 2, 166, 467, 411, 225, 210, 304, 190, 239, 407, 211, 278, 465, 324, 372, 493, 28, 302, 155, 373, 314, 69, 234, 48, 151, 361, 221, 470, 49, 260, 114, 459, 318, 268, 55, 473, 380, 319, 485, 78, 279, 417, 106, 496, 266, 29, 418, 233, 348, 432, 111, 475, 370, 500, 344, 112, 143, 231, 126, 3, 313, 469, 104, 137, 4, 80, 384, 45, 237, 502, 307, 59, 74, 238, 35, 483, 297, 282, 376, 262, 311, 479, 283, 350, 33, 396, 444, 61, 100, 374, 227, 445, 386, 141, 306, 120, 223, 433, 293, 38, 121, 332, 186, 27, 390, 340, 127, 41, 452, 391, 53, 150, 351, 489, 178, 64, 338, 101, 490, 305, 420, 504, 183, 43, 442, 68, 416, 184, 215, 303, 198, 75, 385, 37, 176, 209, 76, 152, 456, 117, 309, 70, 379, 131, 146, 310, 107, 51, 369, 354, 448, 334, 383, 47, 355, 422, 105, 468, 12, 133, 172, 446, 299, 13, 458, 213, 378, 192, 295, 1, 365, 110, 193, 404, 258, 99, 462, 412, 199, 113, 20, 463, 125, 222, 423, 57, 250, 136, 410, 173, 58, 377, 492, 72, 255, 115, 10, 140, 488, 256, 287, 375, 270, 147, 457, 109, 248, 281, 148, 224, 24, 189, 381, 142, 451, 203, 218, 382, 179, 123, 441, 426, 16, 406, 455, 119, 427, 494, 177, 36, 84, 205, 244, 14, 371, 85, 26, 285, 450, 264, 367, 73, 437, 182, 265, 476, 330, 171, 30, 484, 271, 185, 92, 31, 197, 294, 495, 129, 322, 208, 482, 245, 130, 449, 60, 144, 327, 187, 82, 212, 56, 328, 359, 447, 342, 219, 25, 181, 320, 353, 220, 296, 96, 261, 453, 214, 19, 275, 290, 454, 251, 195, 9, 498, 88, 478, 23, 191, 499, 62, 249, 108, 156, 277, 316, 86, 443, 157, 98, 357, 18, 336, 439, 145, 5, 254, 337, 44, 402, 243, 102, 52, 343, 257, 164, 103, 269, 366, 63, 201, 394, 280, 50, 317, 202, 17, 132, 216, 399, 259, 154, 284, 128, 400, 431, 15, 414, 291, 97, 253, 392, 425, 292, 368, 168, 333, 21, 286, 91, 347, 362, 22, 323, 267, 81, 66, 160, 46, 95, 263, 67, 134, 321, 180, 228, 349, 388, 158, 11, 229, 170, 429, 90, 408, 7, 217, 77, 326, 409, 116, 474]];
cc:=[2,3,4];
gen_vectors_as_perm:=[S!perm : perm in gen_vectors];
passport_label:=1;
gen_vect_label:=1;
braid_class:=1;
topological_class:=[1, 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:=[[33, 263, 139, 165, 493, 37, 257, 153, 368, 51, 380, 301, 228, 160, 19, 374, 252, 143, 15, 155, 364, 462, 115, 55, 194, 486, 278, 60, 209, 94, 417, 268, 1, 68, 405, 305, 6, 488, 274, 120, 295, 46, 455, 135, 179, 42, 290, 472, 354, 385, 10, 320, 288, 98, 24, 110, 175, 327, 214, 28, 77, 315, 476, 429, 389, 265, 435, 34, 208, 419, 450, 341, 105, 335, 211, 237, 61, 109, 329, 225, 440, 123, 452, 373, 300, 232, 91, 446, 324, 215, 87, 227, 436, 30, 187, 127, 266, 54, 350, 132, 281, 166, 489, 340, 73, 140, 477, 377, 78, 56, 346, 192, 367, 118, 23, 207, 251, 114, 362, 40, 426, 457, 82, 392, 360, 170, 96, 182, 247, 399, 286, 100, 149, 387, 44, 501, 461, 337, 3, 106, 280, 491, 18, 413, 177, 407, 283, 309, 133, 181, 401, 297, 8, 195, 20, 445, 372, 304, 163, 14, 396, 287, 159, 299, 4, 102, 259, 199, 338, 126, 422, 204, 353, 238, 57, 412, 145, 212, 45, 449, 150, 128, 418, 264, 439, 190, 95, 279, 323, 186, 434, 112, 498, 25, 154, 464, 432, 242, 168, 254, 319, 471, 358, 172, 221, 459, 116, 69, 29, 409, 75, 178, 352, 59, 90, 485, 249, 479, 355, 381, 205, 253, 473, 369, 80, 267, 92, 13, 444, 376, 235, 86, 468, 359, 231, 371, 76, 174, 331, 271, 410, 198, 494, 276, 425, 310, 129, 484, 217, 284, 117, 17, 222, 200, 490, 336, 7, 262, 167, 351, 395, 258, 2, 184, 66, 97, 226, 32, 504, 314, 240, 326, 391, 39, 430, 244, 293, 27, 188, 141, 101, 481, 147, 250, 424, 131, 162, 53, 321, 47, 427, 453, 277, 325, 41, 441, 152, 339, 164, 85, 12, 448, 307, 158, 36, 431, 303, 443, 148, 246, 403, 343, 482, 270, 62, 348, 497, 382, 201, 52, 289, 356, 189, 89, 294, 272, 58, 408, 79, 334, 239, 423, 467, 330, 74, 256, 138, 169, 298, 104, 72, 386, 312, 398, 463, 111, 502, 316, 365, 99, 260, 213, 173, 49, 219, 322, 496, 203, 234, 125, 393, 119, 499, 21, 349, 397, 113, 9, 224, 411, 236, 157, 84, 16, 379, 230, 108, 503, 375, 11, 220, 318, 475, 415, 50, 342, 134, 420, 65, 454, 273, 124, 361, 428, 261, 161, 366, 344, 130, 480, 151, 406, 311, 495, 35, 402, 146, 328, 210, 241, 370, 176, 144, 458, 384, 470, 31, 183, 70, 388, 437, 171, 332, 285, 245, 121, 291, 394, 64, 275, 306, 197, 465, 191, 67, 93, 421, 469, 185, 81, 296, 483, 308, 229, 156, 88, 451, 302, 180, 71, 447, 83, 292, 390, 43, 487, 122, 414, 206, 492, 137, 22, 345, 196, 433, 500, 333, 233, 438, 416, 202, 48, 223, 478, 383, 63, 107, 474, 218, 400, 282, 313, 442, 248, 216, 26, 456, 38, 103, 255, 142, 460, 5, 243, 404, 357, 317, 193, 363, 466, 136, 347, 378, 269], [499, 357, 370, 471, 234, 376, 389, 212, 8, 337, 330, 64, 174, 423, 70, 497, 293, 17, 391, 420, 253, 93, 171, 259, 236, 383, 26, 85, 123, 316, 273, 360, 322, 335, 113, 35, 238, 231, 190, 300, 468, 196, 200, 266, 44, 436, 465, 73, 363, 333, 79, 83, 491, 53, 202, 168, 451, 138, 126, 457, 434, 158, 62, 256, 222, 343, 48, 369, 349, 326, 248, 71, 67, 429, 442, 39, 306, 448, 461, 284, 80, 409, 402, 136, 246, 495, 142, 65, 365, 89, 463, 492, 325, 165, 243, 331, 308, 455, 98, 157, 195, 388, 345, 432, 394, 407, 185, 107, 310, 303, 262, 372, 36, 268, 272, 338, 116, 4, 33, 145, 435, 405, 151, 155, 59, 125, 274, 240, 19, 210, 198, 25, 2, 230, 134, 328, 294, 415, 120, 441, 421, 398, 320, 143, 139, 501, 10, 111, 378, 16, 29, 356, 152, 481, 474, 208, 318, 63, 214, 137, 437, 161, 31, 60, 397, 237, 315, 403, 380, 23, 170, 229, 267, 460, 417, 504, 466, 479, 257, 179, 382, 375, 334, 444, 108, 340, 344, 410, 188, 76, 105, 217, 3, 477, 223, 227, 131, 197, 346, 312, 91, 282, 270, 97, 74, 302, 206, 400, 366, 487, 192, 9, 493, 470, 392, 215, 211, 69, 82, 183, 450, 88, 101, 428, 224, 49, 42, 280, 390, 135, 286, 209, 5, 233, 103, 132, 469, 309, 387, 475, 452, 95, 242, 301, 339, 28, 489, 72, 34, 47, 329, 251, 454, 447, 406, 12, 180, 412, 416, 482, 260, 148, 177, 289, 75, 45, 295, 299, 203, 269, 418, 384, 163, 354, 342, 169, 146, 374, 278, 472, 438, 55, 264, 81, 61, 38, 464, 287, 283, 141, 154, 255, 18, 160, 173, 500, 296, 121, 114, 352, 462, 207, 358, 281, 77, 305, 175, 204, 37, 381, 459, 43, 20, 167, 314, 373, 411, 100, 57, 144, 106, 119, 401, 323, 22, 15, 478, 84, 252, 484, 488, 50, 332, 220, 249, 361, 147, 117, 367, 371, 275, 341, 490, 456, 235, 426, 414, 241, 218, 446, 350, 40, 6, 127, 336, 153, 133, 110, 32, 359, 355, 213, 226, 327, 90, 232, 245, 68, 368, 193, 186, 424, 30, 279, 430, 353, 149, 377, 247, 276, 109, 453, 27, 115, 92, 239, 386, 445, 483, 172, 129, 216, 178, 191, 473, 395, 94, 87, 46, 156, 324, 52, 56, 122, 404, 292, 321, 433, 219, 189, 439, 443, 347, 413, 58, 24, 307, 498, 486, 313, 290, 14, 422, 112, 78, 199, 408, 225, 205, 182, 104, 431, 427, 285, 298, 399, 162, 304, 317, 140, 440, 265, 258, 496, 102, 351, 502, 425, 221, 449, 319, 348, 181, 21, 99, 187, 164, 311, 458, 13, 51, 244, 201, 288, 250, 263, 41, 467, 166, 159, 118, 228, 396, 124, 128, 194, 476, 364, 393, 1, 291, 261, 7, 11, 419, 485, 130, 96, 379, 66, 54, 385, 362, 86, 494, 184, 150, 271, 480, 297, 277, 254, 176, 503], [400, 149, 498, 114, 468, 173, 442, 368, 178, 283, 248, 336, 492, 171, 272, 181, 143, 277, 247, 482, 390, 294, 126, 470, 100, 278, 475, 310, 401, 84, 159, 234, 362, 217, 305, 367, 148, 131, 237, 213, 333, 92, 343, 179, 97, 130, 284, 435, 267, 423, 137, 406, 98, 142, 481, 311, 201, 384, 360, 299, 424, 476, 304, 301, 446, 255, 105, 9, 479, 19, 341, 484, 472, 221, 66, 186, 36, 245, 10, 440, 250, 355, 320, 408, 60, 243, 344, 253, 215, 349, 319, 50, 462, 366, 198, 38, 172, 350, 43, 382, 473, 156, 231, 306, 434, 289, 377, 439, 220, 203, 309, 285, 405, 164, 415, 251, 169, 202, 356, 3, 339, 495, 209, 478, 170, 214, 49, 383, 273, 456, 432, 371, 496, 44, 376, 373, 14, 327, 177, 81, 47, 91, 413, 52, 40, 293, 138, 258, 108, 317, 82, 8, 322, 427, 392, 480, 132, 315, 416, 325, 287, 421, 391, 122, 30, 438, 270, 110, 244, 422, 115, 454, 41, 228, 303, 378, 2, 361, 449, 7, 292, 275, 381, 357, 477, 236, 487, 323, 241, 274, 428, 75, 411, 63, 281, 46, 242, 286, 121, 455, 345, 24, 504, 443, 64, 116, 448, 445, 86, 399, 249, 153, 119, 163, 485, 124, 112, 365, 210, 330, 180, 389, 154, 80, 394, 499, 464, 48, 204, 387, 488, 397, 359, 493, 463, 194, 102, 6, 342, 182, 316, 494, 187, 22, 113, 300, 375, 450, 74, 433, 17, 79, 364, 347, 453, 429, 45, 308, 55, 395, 313, 346, 500, 147, 483, 135, 353, 118, 314, 358, 193, 23, 417, 96, 72, 11, 136, 188, 16, 13, 158, 471, 321, 225, 191, 235, 53, 196, 184, 437, 282, 402, 252, 461, 226, 152, 466, 67, 32, 120, 276, 459, 56, 469, 431, 61, 31, 266, 174, 78, 414, 254, 388, 62, 259, 94, 185, 372, 447, 18, 146, 1, 89, 151, 436, 419, 21, 501, 117, 380, 127, 467, 385, 418, 68, 219, 51, 207, 425, 190, 386, 430, 265, 95, 489, 168, 144, 83, 208, 260, 88, 85, 230, 39, 393, 297, 263, 307, 125, 268, 256, 5, 354, 474, 324, 29, 298, 224, 34, 139, 104, 192, 348, 27, 128, 37, 503, 133, 103, 338, 246, 150, 486, 326, 460, 134, 331, 166, 257, 444, 15, 90, 218, 73, 161, 223, 4, 491, 93, 69, 189, 452, 199, 35, 457, 490, 140, 291, 123, 279, 497, 262, 458, 502, 337, 167, 57, 240, 216, 155, 280, 332, 160, 157, 302, 111, 465, 369, 335, 379, 197, 340, 328, 77, 426, 42, 396, 101, 370, 296, 106, 211, 176, 264, 420, 99, 200, 109, 71, 205, 175, 410, 318, 222, 54, 398, 28, 206, 403, 238, 329, 12, 87, 162, 290, 145, 233, 295, 76, 59, 165, 141, 261, 20, 271, 107, 25, 58, 212, 363, 195, 351, 65, 334, 26, 70, 409, 239, 129, 312, 288, 227, 352, 404, 232, 229, 374, 183, 33, 441, 407, 451, 269, 412]];
cc:=[2,3,5];
gen_vectors_as_perm:=[S!perm : perm in gen_vectors];
passport_label:=2;
gen_vect_label:=1;
braid_class:=1;
topological_class:=[1, 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:=[[33, 263, 139, 165, 493, 37, 257, 153, 368, 51, 380, 301, 228, 160, 19, 374, 252, 143, 15, 155, 364, 462, 115, 55, 194, 486, 278, 60, 209, 94, 417, 268, 1, 68, 405, 305, 6, 488, 274, 120, 295, 46, 455, 135, 179, 42, 290, 472, 354, 385, 10, 320, 288, 98, 24, 110, 175, 327, 214, 28, 77, 315, 476, 429, 389, 265, 435, 34, 208, 419, 450, 341, 105, 335, 211, 237, 61, 109, 329, 225, 440, 123, 452, 373, 300, 232, 91, 446, 324, 215, 87, 227, 436, 30, 187, 127, 266, 54, 350, 132, 281, 166, 489, 340, 73, 140, 477, 377, 78, 56, 346, 192, 367, 118, 23, 207, 251, 114, 362, 40, 426, 457, 82, 392, 360, 170, 96, 182, 247, 399, 286, 100, 149, 387, 44, 501, 461, 337, 3, 106, 280, 491, 18, 413, 177, 407, 283, 309, 133, 181, 401, 297, 8, 195, 20, 445, 372, 304, 163, 14, 396, 287, 159, 299, 4, 102, 259, 199, 338, 126, 422, 204, 353, 238, 57, 412, 145, 212, 45, 449, 150, 128, 418, 264, 439, 190, 95, 279, 323, 186, 434, 112, 498, 25, 154, 464, 432, 242, 168, 254, 319, 471, 358, 172, 221, 459, 116, 69, 29, 409, 75, 178, 352, 59, 90, 485, 249, 479, 355, 381, 205, 253, 473, 369, 80, 267, 92, 13, 444, 376, 235, 86, 468, 359, 231, 371, 76, 174, 331, 271, 410, 198, 494, 276, 425, 310, 129, 484, 217, 284, 117, 17, 222, 200, 490, 336, 7, 262, 167, 351, 395, 258, 2, 184, 66, 97, 226, 32, 504, 314, 240, 326, 391, 39, 430, 244, 293, 27, 188, 141, 101, 481, 147, 250, 424, 131, 162, 53, 321, 47, 427, 453, 277, 325, 41, 441, 152, 339, 164, 85, 12, 448, 307, 158, 36, 431, 303, 443, 148, 246, 403, 343, 482, 270, 62, 348, 497, 382, 201, 52, 289, 356, 189, 89, 294, 272, 58, 408, 79, 334, 239, 423, 467, 330, 74, 256, 138, 169, 298, 104, 72, 386, 312, 398, 463, 111, 502, 316, 365, 99, 260, 213, 173, 49, 219, 322, 496, 203, 234, 125, 393, 119, 499, 21, 349, 397, 113, 9, 224, 411, 236, 157, 84, 16, 379, 230, 108, 503, 375, 11, 220, 318, 475, 415, 50, 342, 134, 420, 65, 454, 273, 124, 361, 428, 261, 161, 366, 344, 130, 480, 151, 406, 311, 495, 35, 402, 146, 328, 210, 241, 370, 176, 144, 458, 384, 470, 31, 183, 70, 388, 437, 171, 332, 285, 245, 121, 291, 394, 64, 275, 306, 197, 465, 191, 67, 93, 421, 469, 185, 81, 296, 483, 308, 229, 156, 88, 451, 302, 180, 71, 447, 83, 292, 390, 43, 487, 122, 414, 206, 492, 137, 22, 345, 196, 433, 500, 333, 233, 438, 416, 202, 48, 223, 478, 383, 63, 107, 474, 218, 400, 282, 313, 442, 248, 216, 26, 456, 38, 103, 255, 142, 460, 5, 243, 404, 357, 317, 193, 363, 466, 136, 347, 378, 269], [371, 44, 189, 273, 384, 286, 491, 244, 49, 65, 26, 225, 363, 213, 313, 158, 397, 58, 254, 62, 450, 174, 267, 403, 113, 145, 31, 317, 8, 414, 138, 294, 133, 266, 280, 40, 191, 53, 108, 471, 159, 250, 293, 478, 13, 74, 17, 432, 300, 114, 484, 383, 307, 22, 452, 35, 351, 93, 492, 151, 212, 127, 4, 344, 215, 459, 408, 321, 232, 32, 370, 355, 443, 116, 261, 345, 456, 358, 59, 316, 121, 137, 98, 297, 435, 285, 385, 230, 469, 130, 326, 134, 18, 246, 339, 475, 185, 217, 103, 389, 80, 486, 210, 366, 205, 338, 352, 112, 263, 125, 180, 39, 231, 322, 365, 46, 85, 146, 89, 504, 372, 186, 52, 455, 379, 94, 20, 107, 423, 165, 60, 223, 284, 199, 76, 416, 287, 27, 480, 393, 304, 104, 442, 427, 11, 188, 333, 417, 24, 430, 131, 388, 193, 209, 170, 369, 3, 357, 457, 302, 37, 202, 398, 206, 90, 318, 411, 43, 257, 289, 175, 461, 152, 54, 282, 438, 277, 410, 424, 184, 335, 197, 252, 111, 303, 394, 437, 118, 157, 218, 161, 72, 444, 258, 124, 23, 451, 166, 92, 179, 495, 237, 132, 295, 356, 271, 148, 488, 359, 99, 48, 465, 376, 176, 10, 499, 83, 260, 405, 489, 96, 502, 203, 460, 265, 281, 242, 441, 75, 429, 25, 374, 109, 274, 470, 278, 162, 390, 483, 115, 329, 361, 247, 29, 224, 126, 354, 6, 349, 482, 496, 256, 407, 269, 324, 183, 375, 466, 5, 190, 229, 290, 233, 144, 12, 330, 196, 95, 19, 238, 164, 251, 63, 309, 204, 367, 428, 343, 220, 56, 431, 171, 120, 33, 448, 248, 82, 67, 155, 332, 477, 57, 168, 70, 275, 28, 337, 353, 314, 9, 147, 501, 97, 446, 181, 346, 38, 350, 234, 462, 51, 187, 401, 433, 319, 101, 296, 198, 426, 78, 421, 50, 64, 328, 479, 341, 396, 255, 447, 34, 77, 262, 301, 362, 305, 216, 84, 402, 268, 167, 91, 310, 236, 323, 135, 381, 276, 439, 500, 415, 292, 128, 503, 243, 192, 105, 16, 320, 154, 139, 227, 404, 45, 129, 240, 142, 347, 100, 409, 425, 386, 81, 219, 69, 169, 14, 253, 418, 110, 422, 306, 30, 123, 259, 473, 1, 391, 173, 368, 270, 498, 150, 493, 122, 136, 400, 47, 413, 468, 327, 15, 106, 149, 334, 373, 434, 377, 288, 156, 474, 340, 239, 163, 382, 308, 395, 207, 453, 348, 7, 68, 487, 364, 200, 71, 315, 264, 177, 88, 392, 226, 211, 299, 476, 117, 201, 312, 214, 419, 172, 481, 497, 458, 153, 291, 141, 241, 86, 325, 490, 182, 494, 378, 102, 195, 331, 41, 73, 463, 245, 440, 342, 66, 222, 61, 194, 208, 472, 119, 485, 36, 399, 87, 178, 221, 406, 445, 2, 449, 360, 228, 42, 412, 311, 235, 454, 380, 467, 279, 21, 420, 79, 140, 55, 436, 272, 143, 387, 336, 249, 160, 464, 298, 283], [342, 474, 372, 476, 167, 484, 388, 209, 85, 90, 177, 66, 179, 230, 151, 496, 290, 436, 504, 96, 255, 98, 464, 133, 235, 380, 337, 441, 276, 318, 278, 419, 250, 334, 110, 202, 396, 303, 192, 305, 122, 313, 199, 263, 499, 207, 366, 75, 368, 356, 403, 82, 488, 238, 243, 141, 453, 143, 329, 286, 433, 155, 391, 189, 51, 345, 53, 437, 16, 325, 245, 112, 414, 42, 444, 44, 239, 52, 460, 281, 157, 162, 249, 138, 251, 302, 223, 64, 362, 4, 72, 168, 327, 170, 32, 205, 307, 452, 409, 9, 348, 390, 350, 491, 322, 406, 182, 274, 468, 375, 264, 377, 194, 385, 271, 335, 67, 279, 438, 147, 440, 428, 475, 154, 56, 310, 315, 213, 21, 215, 401, 358, 1, 227, 463, 261, 123, 417, 125, 5, 88, 397, 317, 184, 486, 114, 12, 116, 311, 124, 28, 353, 229, 234, 321, 210, 323, 374, 295, 136, 434, 76, 144, 240, 399, 242, 104, 277, 379, 20, 481, 81, 420, 462, 422, 59, 394, 478, 254, 346, 36, 447, 336, 449, 266, 457, 343, 407, 139, 351, 6, 219, 8, 500, 43, 226, 128, 382, 387, 285, 93, 287, 473, 430, 73, 299, 31, 333, 195, 489, 197, 77, 160, 469, 389, 256, 54, 186, 84, 188, 383, 196, 100, 425, 301, 306, 393, 282, 395, 446, 367, 208, 2, 148, 216, 312, 471, 314, 176, 349, 451, 92, 49, 153, 492, 30, 494, 131, 466, 46, 326, 418, 108, 15, 408, 17, 338, 25, 415, 479, 211, 423, 78, 291, 80, 68, 115, 298, 200, 454, 459, 357, 165, 359, 41, 502, 145, 371, 103, 405, 267, 57, 269, 149, 232, 37, 461, 328, 126, 258, 156, 260, 455, 268, 172, 497, 373, 378, 465, 354, 467, 14, 439, 280, 74, 220, 288, 384, 39, 386, 248, 421, 19, 164, 121, 225, 60, 102, 62, 203, 34, 118, 398, 490, 180, 87, 480, 89, 410, 97, 487, 47, 283, 495, 150, 363, 152, 140, 187, 370, 272, 22, 27, 429, 237, 431, 113, 70, 217, 443, 175, 477, 339, 129, 341, 221, 304, 109, 29, 400, 198, 330, 228, 332, 23, 340, 244, 65, 445, 450, 33, 426, 35, 86, 7, 352, 146, 292, 360, 456, 111, 458, 320, 493, 91, 236, 193, 297, 132, 174, 134, 275, 106, 190, 470, 58, 252, 159, 48, 161, 482, 169, 55, 119, 355, 63, 222, 435, 224, 212, 259, 442, 344, 94, 99, 501, 309, 503, 185, 142, 289, 11, 247, 45, 411, 201, 413, 293, 376, 181, 101, 472, 270, 402, 300, 404, 95, 412, 316, 137, 13, 18, 105, 498, 107, 158, 79, 424, 218, 364, 432, 24, 183, 26, 392, 61, 163, 308, 265, 369, 204, 246, 206, 347, 178, 262, 38, 130, 324, 231, 120, 233, 50, 241, 127, 191, 427, 135, 294, 3, 296, 284, 331, 10, 416, 166, 171, 69, 381, 71, 257, 214, 361, 83, 319, 117, 483, 273, 485, 365, 448, 253, 173, 40]];
cc:=[2,3,6];
gen_vectors_as_perm:=[S!perm : perm in gen_vectors];
passport_label:=3;
gen_vect_label:=1;
braid_class:=1;
topological_class:=[1, 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 >);
