Magma V2.19-8     Thu Aug 15 2013 21:17:26 on weil     [Seed = 73083892]
Type ? for help.  Type <Ctrl>-D to quit.

Loading file "unram.txt"
Loading "analyze.txt"
Loading "gl2data.txt"
Determining the subgroups that we're done with.
Working on X556.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X558.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X563.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X566.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X618.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X619.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X626.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X628.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X632.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X633.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X634.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X637.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X641.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X649.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X650.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X651.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X654.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X672.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X673.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X674.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by 2.
Unramified cover 3 is a twist of cover 1 by -1.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 650, 161, 285 ].
Unramified cover 2 covers [ 650, 283 ].
Unramified cover 3 covers [ 584, 650, 285 ].
Unramified cover 4 covers [ 580, 650, 160, 282, 283 ].
Working on X675.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -1.
Unramified cover 1 covers [ 352, 589, 161, 628, 287 ].
Unramified cover 2 covers [ 160, 300, 591, 286, 628 ].
Unramified cover 3 covers [ 615, 300, 628 ].
Unramified cover 4 covers [ 352, 585, 628 ].
Working on X676.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 267, 626 ].
Unramified cover 2 covers [ 351, 149, 267, 595, 626 ].
Unramified cover 3 covers [ 626, 151, 253 ].
Unramified cover 4 covers [ 597, 626, 253 ].
Working on X677.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by 2.
Unramified cover 3 is a twist of cover 1 by -2.
Unramified cover 4 is a twist of cover 1 by -1.
Unramified cover 1 covers [ 615, 300, 628 ].
Unramified cover 2 covers [ 352, 589, 161, 628, 287 ].
Unramified cover 3 covers [ 352, 585, 628 ].
Unramified cover 4 covers [ 160, 300, 591, 286, 628 ].
Working on X678.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 290, 352, 152, 587, 618 ].
Unramified cover 2 covers [ 290, 352, 152, 587, 619 ].
Unramified cover 3 covers [ 615, 618, 300 ].
Unramified cover 4 covers [ 615, 619, 300 ].
Working on X679.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by 2.
Unramified cover 3 is a twist of cover 1 by -1.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 267, 626 ].
Unramified cover 2 covers [ 626, 151, 253 ].
Unramified cover 3 covers [ 351, 149, 267, 595, 626 ].
Unramified cover 4 covers [ 597, 626, 253 ].
Working on X680.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -1.
Unramified cover 1 covers [ 584, 285 ].
Unramified cover 2 covers [ 583, 641, 154, 280, 283 ].
Unramified cover 3 covers [ 583, 154, 280, 283 ].
Unramified cover 4 covers [ 641, 584, 285 ].
Working on X683.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by -1.
Unramified cover 4 is a twist of cover 1 by 2.
Unramified cover 1 covers [ 583, 154, 280, 283 ].
Unramified cover 2 covers [ 641, 584, 285 ].
Unramified cover 3 covers [ 583, 641, 154, 280, 283 ].
Unramified cover 4 covers [ 584, 285 ].
Working on X686.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X687.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 348, 267, 154, 594, 633 ].
Unramified cover 2 covers [ 348, 267, 154, 594 ].
Unramified cover 3 covers [ 597, 253, 633 ].
Unramified cover 4 covers [ 597, 253 ].
Working on X688.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 348, 267, 154, 594 ].
Unramified cover 2 covers [ 348, 267, 154, 594, 633 ].
Unramified cover 3 covers [ 597, 253 ].
Unramified cover 4 covers [ 597, 253, 633 ].
Working on X689.
We found 0 unramified double covers.
All the unramified double covers are twists of each other.
Working on X690.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 290, 352, 152, 587, 618 ].
Unramified cover 2 covers [ 290, 352, 152, 587, 619 ].
Unramified cover 3 covers [ 615, 618, 300 ].
Unramified cover 4 covers [ 615, 619, 300 ].
Working on X691.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 649, 568, 252 ].
Unramified cover 2 covers [ 651, 568, 252 ].
Unramified cover 3 covers [ 319, 152, 649, 250, 578 ].
Unramified cover 4 covers [ 319, 152, 651, 250, 578 ].
Working on X692.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 651, 568, 252 ].
Unramified cover 2 covers [ 649, 568, 252 ].
Unramified cover 3 covers [ 319, 152, 651, 250, 578 ].
Unramified cover 4 covers [ 319, 152, 649, 250, 578 ].
Working on X693.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by -1.
Unramified cover 4 is a twist of cover 1 by 2.
Unramified cover 1 covers [ 322, 149, 654, 569, 252 ].
Unramified cover 2 covers [ 321, 151, 654, 250, 570 ].
Unramified cover 3 covers [ 654, 568, 252 ].
Unramified cover 4 covers [ 654, 250, 575 ].
Working on X694.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -1.
Unramified cover 1 covers [ 321, 151, 654, 250, 570 ].
Unramified cover 2 covers [ 322, 149, 654, 569, 252 ].
Unramified cover 3 covers [ 654, 568, 252 ].
Unramified cover 4 covers [ 654, 250, 575 ].
Working on X695.
We found 4 unramified double covers.
All the unramified double covers are twists of each other.
Unramified cover 2 is a twist of cover 1 by 2.
Unramified cover 3 is a twist of cover 1 by -1.
Unramified cover 4 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 584, 650, 285 ].
Unramified cover 2 covers [ 580, 650, 160, 282, 283 ].
Unramified cover 3 covers [ 650, 161, 285 ].
Unramified cover 4 covers [ 650, 283 ].
Working on X706.
We found 12 unramified double covers.
Unramified cover 2 is a twist of cover 1 by 2.
Unramified cover 7 is a twist of cover 1 by -1.
Unramified cover 8 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 650, 54, 147, 125, 426, 171 ].
Unramified cover 2 covers [ 411, 152, 128, 650, 134, 53, 170 ].
Unramified cover 3 covers [ 584, 674, 285 ].
Unramified cover 4 covers [ 580, 160, 282, 283, 695 ].
Unramified cover 5 covers [ 161, 285, 695 ].
Unramified cover 6 covers [ 674, 283 ].
Unramified cover 7 covers [ 143, 146, 418, 171, 650, 54, 262, 131 ].
Unramified cover 8 covers [ 650, 53, 141, 144, 152, 290, 425, 170, 256, 128 ].
Unramified cover 9 covers [ 580, 674, 160, 282, 283 ].
Unramified cover 10 covers [ 674, 161, 285 ].
Unramified cover 11 covers [ 283, 695 ].
Unramified cover 12 covers [ 584, 285, 695 ].
Working on X712.
We found 12 unramified double covers.
Unramified cover 2 is a twist of cover 1 by -2.
Unramified cover 3 is a twist of cover 1 by 2.
Unramified cover 4 is a twist of cover 1 by -1.
Unramified cover 1 covers [ 321, 151, 250, 570, 693 ].
Unramified cover 2 covers [ 322, 149, 569, 252, 694 ].
Unramified cover 3 covers [ 568, 252, 694 ].
Unramified cover 4 covers [ 250, 575, 693 ].
Unramified cover 5 covers [ 321, 151, 250, 570, 694 ].
Unramified cover 6 covers [ 131, 262, 654, 54, 143, 146, 418, 171 ].
Unramified cover 7 covers [ 322, 149, 569, 252, 693 ].
Unramified cover 8 covers [ 426, 171, 654, 54, 258, 125, 127, 130 ].
Unramified cover 9 covers [ 568, 252, 693 ].
Unramified cover 10 covers [ 136, 654, 53, 141, 317, 148, 154, 413, 251, 170 ].
Unramified cover 11 covers [ 250, 575, 694 ].
Unramified cover 12 covers [ 134, 136, 140, 277, 412, 348, 154, 170, 654, 53 ].
Working on X713.
We found 12 unramified double covers.
Unramified cover 2 is a twist of cover 1 by -1.
Unramified cover 7 is a twist of cover 1 by 2.
Unramified cover 12 is a twist of cover 1 by -2.
Unramified cover 1 covers [ 352, 589, 677, 161, 287 ].
Unramified cover 2 covers [ 585, 352, 677 ].
Unramified cover 3 covers [ 131, 261, 54, 147, 628, 418, 127, 170 ].
Unramified cover 4 covers [ 160, 300, 591, 286, 677 ].
Unramified cover 5 covers [ 139, 54, 143, 276, 628, 125, 426, 170 ].
Unramified cover 6 covers [ 615, 677, 300 ].
Unramified cover 7 covers [ 615, 675, 300 ].
Unramified cover 8 covers [ 134, 137, 412, 144, 154, 628, 171, 53, 259, 327 ].
Unramified cover 9 covers [ 352, 585, 675 ].
Unramified cover 10 covers [ 53, 141, 144, 280, 154, 413, 628, 256, 128, 171 ].
Unramified cover 11 covers [ 352, 675, 589, 161, 287 ].
Unramified cover 12 covers [ 160, 300, 675, 591, 286 ].
Working on X714.
We found 12 unramified double covers.
Unramified cover 5 is a twist of cover 1 by -1.
Unramified cover 8 is a twist of cover 1 by -2.
Unramified cover 9 is a twist of cover 1 by 2.
Unramified cover 1 covers [ 351, 149, 267, 676, 595 ].
Unramified cover 2 covers [ 676, 151, 253 ].
Unramified cover 3 covers [ 130, 131, 54, 626, 418, 170 ].
Unramified cover 4 covers [ 597, 676, 253 ].
Unramified cover 5 covers [ 267, 676 ].
Unramified cover 6 covers [ 139, 54, 143, 276, 626, 125, 426, 170 ].
Unramified cover 7 covers [ 351, 149, 267, 679, 595 ].
Unramified cover 8 covers [ 151, 679, 253 ].
Unramified cover 9 covers [ 679, 597, 253 ].
Unramified cover 10 covers [ 59, 152, 626, 425, 21, 53, 140, 141, 171 ].
Unramified cover 11 covers [ 267, 679 ].
Unramified cover 12 covers [ 134, 136, 140, 277, 411, 152, 626, 171, 319, 53 ].

Total time: 1054.130 seconds, Total memory usage: 246.25MB