[SCM] library of programs for modular symbols and elliptic curves over Q branch, master, updated. upstream/2012-06-01-12-gf20a80a

Julien Puydt julien.puydt at laposte.net
Mon Jun 18 12:59:07 UTC 2012


The following commit has been merged in the master branch:
commit f20a80a90f3954c574caaad1020e4be41877d879
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Mon Jun 18 14:59:00 2012 +0200

    Cleaned cruft in the fsf-postal patch

diff --git a/debian/patches/fsf-postal.patch b/debian/patches/fsf-postal.patch
index f0b91f6..272dcfc 100644
--- a/debian/patches/fsf-postal.patch
+++ b/debian/patches/fsf-postal.patch
@@ -2668,775 +2668,6 @@ index ab93157..50db016 100644
  // 
  //////////////////////////////////////////////////////////////////////////
  //
-diff --git a/tests/in/tmrank-short.in~ b/tests/in/tmrank-short.in~
-deleted file mode 100644
-index bfb096d..0000000
---- a/tests/in/tmrank-short.in~
-+++ /dev/null
-@@ -1,763 +0,0 @@
--0 1 1 -2 0	2
--1 0 0 0 1	2
--1 -1 0 -4 4	2
--0  0  1  -7  6		3
--0  0  1  -1  6		3
--0  0  1  -49  132	3
--0 1 1 -72 210   4
--0 0 1 -7 36     4
--1 0 0 -202 1089 4
--0 0 1 -79 342   5
--0 0 1 -169 930  5
--0 1 1 -30 390   5
--0 0 1 -547 -2934    6
--0 0 0 -9907 306370  6
--0 0 1 -277 4566     6
--0 0 0 -9217 300985                  7
--0 1 0 -5945 583879		    7
--0 0 0 -9217 300985		    7
--0 0 0 -6544 7375129	   8
--0 1 0 9910 9815689	   8
--0 0 0 -6112 12325825	   8
--1 0 1 34318214642441646362435632562579908747 3184376895814127197244886284686214848599453811643486936756 15
--
--0 -1 1 -10 -20 	0
--1 0 1 4 -6 	0
--1 1 1 -10 -10 	0
--1 -1 1 -1 -14 	0
--0 1 1 -9 -15 	0
--0 1 0 4 4 	0
--1 0 0 -4 -1 	0
--0 -1 0 -4 4 	0
--1 -1 1 -3 3 	0
--1 0 1 -5 -8 	0
--0 0 1 0 -7 	0
--1 0 1 1 2 	0
--0 0 0 4 0 	0
--1 1 0 -11 0 	0
--1 0 0 -3 1 	0
--0 1 1 9 1 	0
--0 0 0 0 1 	0
--0 0 1 -1 0 	1
--0 1 1 -23 -50 	0
--1 0 1 9 90 	0
--1 1 1 0 1 	0
--1 1 0 -4 -5 	0
--0 0 0 -7 -6 	0
--1 1 1 -4 5 	0
--0 1 1 0 0 	1
--0 1 0 3 -1 	0
--1 -1 0 0 -5 	0
--1 -1 0 -10 -12 	0
--0 1 0 -4 -4 	0
--1 -1 0 -2 -1 	0
--1 0 1 -1 -2 	0
--1 1 1 -3 1 	0
--0 1 1 1 -1 	0
--0 0 0 1 -10 	0
--1 -1 1 0 0 	1
--1 -1 0 12 8 	0
--1 -1 1 1 -1 	0
--1 -1 0 -4 3 	0
--0 -1 0 0 -4 	0
--0 0 0 1 2 	0
--0 -1 1 -2 2 	1
--0 1 1 20 -32 	0
--1 0 1 -7 5 	0
--1 -1 0 -1 1 	1
--1 1 1 5 9 	0
--1 0 0 -2 1 	1
--1 -1 1 -1 1 	0
--1 -1 0 9 0 	0
--0 0 0 -4 0 	0
--1 0 0 -1 0 	1
--1 0 0 -45 81 	0
--1 0 1 -6 4 	0
--1 1 1 -2 -1 	0
--0 1 1 -12 -21 	0
--1 0 1 -1 -1 	0
--1 -1 1 2 -3 	0
--0 0 0 6 -7 	0
--1 -1 0 4 -3 	0
--0 -1 1 -8 -7 	0
--0 1 1 2 4 	0
--1 0 1 -1 23 	0
--0 -1 0 -21 -31 	0
--0 0 1 2 0 	1
--0 1 1 -49 600 	0
--1 1 0 4 11 	0
--1 1 0 -19 685 	0
--1 1 1 -2 0 	1
--0 -1 0 4 -4 	0
--0 0 0 -7 6 	0
--1 0 1 -2 0 	1
--1 1 1 1 0 	1
--0 -1 0 -1 -2 	0
--0 1 0 7 0 	0
--1 1 0 -8 -13 	0
--0 0 0 -4 4 	1
--1 1 0 4 5 	0
--1 1 1 -1 0 	1
--1 -1 0 6 0 	0
--1 -1 1 -8 11 	0
--1 -1 1 13 -61 	0
--0 0 1 1 0 	1
--0 1 1 -7 5 	1
--0 0 0 -1 1 	1
--0 1 0 2 1 	0
--1 -1 1 0 -1 	0
--0 -1 0 -2 0 	0
--0 1 0 -2 0 	0
--1 1 0 -25 -111 	0
--0 0 1 -3 -5 	0
--1 -1 0 -15 8 	0
--1 -1 1 -2 0 	1
--1 -1 1 -59 186 	0
--0 -1 0 -33 62 	0
--0 1 1 -1 -1 	1
--1 0 0 -34 68 	0
--1 0 1 -256 1550 	0
--1 1 0 -2 0 	1
--0 1 0 -16 -32 	0
--1 0 1 -3 1 	0
--1 0 0 -283 -2351 	0
--1 0 0 1 1 	0
--1 1 0 -27 -67 	0
--1 1 0 -7 5 	1
--0 0 0 0 4 	0
--1 -1 0 -8 -7 	0
--1 0 0 -1 1 	0
--1 0 1 -89 316 	0
--1 1 1 10 -45 	0
--0 -1 0 -8 -16 	0
--0 0 0 1 -2 	0
--0 1 0 0 4 	1
--1 1 1 3 -4 	0
--1 0 0 -8 0 	0
--1 1 0 -95 -399 	0
--1 1 1 -352 -2431 	0
--0 0 1 7 -11 	0
--0 -1 0 -4 24 	0
--0 0 0 -4831 -129242 	0
--0 1 0 -4 4 	0
--1 -1 1 4 6 	1
--1 1 0 1 1 	1
--1 1 0 56 -192 	0
--1 1 1 -25 39 	0
--1 1 1 -4 -5 	0
--0 1 0 -15 18 	0
--0 1 0 4 0 	0
--0 -1 1 -40 -221 	0
--0 -1 1 -7 10 	1
--1 1 0 -2 -7 	0
--1 1 1 -30 -76 	0
--1 0 1 2 0 	1
--0 -1 1 1 -1 	1
--0 1 1 -10 10 	1
--0 0 0 -17 -27 	0
--0 1 0 -2 1 	1
--1 -1 0 -36 -176 	0
--1 -1 1 -5 -7 	0
--0 -1 0 1 -1 	0
--0 -1 0 3 5 	0
--0 1 0 1 1 	1
--0 1 0 3 -5 	0
--0 -1 1 -19 39 	1
--1 0 1 -30 -29 	0
--1 -1 1 -7 -1 	0
--1 0 1 -33 68 	1
--1 1 1 -841 -9737 	0
--0 -1 1 1 0 	1
--0 -1 0 -77 330 	0
--0 1 0 3 0 	0
--0 0 1 -27 -115 	0
--0 0 1 -3 4 	1
--0 -1 0 -8 -4 	0
--0 1 0 -4 0 	1
--1 0 1 -36 82 	0
--1 1 0 -1 1 	1
--1 1 1 3 3 	0
--1 1 0 -3 -4 	0
--0 0 0 32 212 	0
--0 1 0 -5 -25 	0
--0 -1 1 -1 0 	1
--0 1 1 -12 2 	1
--0 1 1 -26 -61 	0
--1 0 0 -2 3 	0
--1 1 1 -8 -16 	0
--1 -1 0 -1 -3 	0
--1 -1 0 -2626 52244 	0
--1 -1 1 -12 15 	1
--1 0 0 -8 8 	0
--1 1 0 -1 -1 	1
--0 -1 1 -1 -2 	1
--0 0 0 0 -1 	0
--0 0 0 6 7 	0
--1 -1 1 -3 2 	1
--0 -1 1 -2 -1 	0
--0 1 1 -114 473 	0
--1 1 1 48 48 	0
--0 -1 0 -5 1 	1
--1 0 0 -3 -3 	0
--1 1 0 -75 -375 	0
--1 1 1 37 281 	0
--0 1 0 -1 3 	1
--0 1 0 -8 -16 	0
--0 0 1 -27 -61 	0
--0 0 1 -3 2 	1
--0 0 1 6 27 	1
--1 -1 0 -6 -1 	0
--1 -1 0 -29 69 	1
--1 -1 1 -4 -89 	0
--1 1 0 -14 -28 	0
--0 -1 1 -1 1 	1
--0 -1 1 10 6 	1
--1 1 1 -1 -2 	0
--0 -1 0 -5 6 	1
--0 1 0 -13 -4 	0
--1 -1 1 -9 9 	1
--1 0 1 -82 -92 	0
--1 1 0 -3 1 	1
--1 1 1 -420 3109 	0
--1 1 1 1 1 	0
--0 -1 0 -6 -4 	0
--0 1 0 -6 4 	1
--1 -1 1 -9 8 	0
--1 -1 0 -6 8 	1
--1 -1 0 3 -1 	0
--1 -1 1 -5 5 	0
--1 -1 1 4 -1 	0
--0 0 1 -2 1 	1
--1 1 0 -6 4 	1
--0 -1 0 -7 52 	0
--0 1 0 -7 -10 	0
--1 -1 0 -10 -10 	0
--1 0 0 399 -919 	0
--1 0 1 -2554 49452 	0
--1 0 1 -3 6 	0
--1 0 1 -8 6 	1
--0 0 1 -21 -41 	0
--0 0 1 177 1035 	0
--0 0 1 6 0 	1
--1 -1 1 -14 20 	0
--0 1 0 -13 15 	1
--1 0 0 -1 137 	0
--1 0 1 -7705 1226492 	0
--1 0 1 0 -2 	0
--1 1 0 -56 -192 	0
--1 1 1 -5 -7 	0
--0 -1 1 -33 93 	1
--0 -1 1 2 -2 	1
--0 1 1 42 -131 	0
--0 -1 0 3 1 	1
--0 0 0 -4 -4 	0
--0 1 0 -5 -13 	0
--1 0 0 6 -28 	0
--1 1 0 -44 80 	0
--0 0 1 -1 -1 	0
--0 0 0 -12 -11 	0
--1 -1 0 -22 884 	0
--1 -1 1 3 -5 	0
--1 -1 1 866 6445 	0
--1 0 0 7 -7 	0
--1 0 1 -4609 120244 	0
--0 -1 0 -4 5 	1
--0 -1 0 0 1 	1
--0 0 0 -55 -157 	0
--0 0 0 5 6 	0
--0 -1 1 -5 6 	1
--0 1 1 -156 700 	1
--1 0 1 -4 -3 	1
--1 0 0 15 9 	0
--1 0 1 -17 -28 	0
--1 1 0 -83 -369 	0
--0 0 1 7 1 	0
--0 1 1 11 30 	0
--0 0 1 -24 45 	1
--0 0 1 -27 -7 	0
--0 0 1 -3 0 	1
--0 0 1 -6 3 	0
--1 -1 1 -48 147 	1
--1 0 0 -30 -100 	0
--1 1 0 2 2 	1
--0 -1 0 -4 -2 	1
--0 -1 0 3 -3 	0
--0 1 0 -4 2 	0
--0 1 0 3 3 	0
--1 -1 1 -3 -1 	0
--0 -1 1 -190 1101 	0
--0 1 1 -66 -349 	0
--0 1 1 0 -1 	0
--1 0 0 -110 435 	0
--0 -1 0 -2 1 	1
--0 1 0 -114 -127 	0
--0 0 1 -5 4 	1
--1 -1 0 -18 4 	1
--1 -1 0 -405 -2187 	0
--1 -1 0 -87 333 	0
--1 -1 1 -50 -115 	0
--1 -1 1 -65 209 	0
--0 -1 0 -83 -88 	0
--0 0 0 -50 125 	0
--0 0 0 125 -1250 	0
--0 0 0 5 -10 	0
--0 1 0 -3 -2 	1
--0 -1 1 2 0 	1
--1 0 0 -1 2 	1
--1 1 0 -794 8289 	1
--1 -1 0 4 -176 	0
--0 -1 1 20 -8 	0
--1 1 0 -9 8 	0
--1 1 1 0 -2 	1
--0 -1 0 -1621 -24623 	0
--0 1 0 -5 -9 	0
--1 -1 1 -22 44 	1
--1 1 0 -2 -1 	0
--1 1 1 -21 -46 	0
--1 1 0 2 0 	0
--1 -1 1 -5 20 	1
--0 -1 0 -16 32 	1
--0 -1 0 8 -16 	1
--0 0 0 -43 -166 	0
--0 0 0 1 10 	0
--0 1 1 -27 55 	1
--1 0 0 -41 -39 	0
--1 0 0 210 900 	0
--1 0 1 -498 4228 	0
--1 1 0 -3 -3 	1
--1 1 1 10 -13 	0
--0 -1 0 -12 -40 	0
--0 -1 0 -4 8 	1
--1 0 1 0 1 	0
--1 0 0 -12 16 	1
--1 0 0 2 4 	0
--1 0 1 -193 1012 	1
--1 0 1 1 0 	1
--0 0 1 -8 -12 	1
--0 0 0 -108 -540 	0
--0 0 0 -12 20 	1
--0 0 0 -27 918 	0
--0 0 0 -3 -34 	0
--1 0 0 -2 4 	1
--0 -1 1 -6 8 	1
--0 1 1 3 2 	1
--1 1 0 -82 -305 	1
--0 -1 0 -5 2 	0
--0 1 0 -45 100 	1
--1 -1 1 -733 7804 	0
--1 1 0 -59 152 	0
--1 0 0 2 -4 	0
--1 0 1 1 -46 	0
--1 1 0 -182317 29887645 	0
--1 1 0 16 0 	0
--1 1 1 17 179 	0
--0 -1 0 2 0 	0
--0 1 0 2 0 	1
--0 0 1 -75 256 	1
--0 0 1 0 156 	0
--0 0 1 0 1 	1
--0 0 1 15 -99 	0
--1 -1 1 -5 -628 	0
--1 0 0 -5 1 	1
--0 -1 0 3 18 	0
--0 -1 0 3 9 	1
--1 0 0 -2 -1 	1
--1 1 1 -34 62 	0
--0 -1 0 8 -4 	1
--0 1 0 -80 -304 	0
--1 0 1 0 11 	0
--1 -1 0 -24 -64 	0
--1 -1 0 -3 5 	1
--1 -1 1 -176 -18669 	0
--1 -1 1 -29 -107 	0
--1 -1 1 4 -7 	0
--0 -1 1 4 1 	0
--1 1 1 -3551 -82926 	0
--1 1 1 -5 0 	1
--0 -1 0 -1 2 	1
--0 1 0 -9 8 	0
--1 -1 0 2 0 	1
--1 -1 1 -19 35 	0
--1 0 0 -60 16 	1
--1 1 0 32 0 	0
--1 1 1 -18 -37 	0
--0 -1 0 -15 -18 	0
--0 -1 0 24 -144 	0
--0 -1 0 4 0 	1
--0 1 0 0 -12 	0
--1 0 0 3 1 	1
--1 0 1 360 -970 	0
--0 0 1 0 -1 	1
--0 0 1 0 2 	0
--0 0 0 1 6 	1
--0 -1 1 -65 -204 	1
--0 0 1 -343 -4202 	0
--0 0 1 -7 12 	1
--1 0 0 -175 -27847 	0
--1 0 0 -9 9 	0
--1 0 1 -2 2 	0
--1 0 1 -453897 -117739700 	0
--1 1 0 -41 -123 	0
--1 1 0 -66 180 	1
--1 1 1 -270 -1821 	0
--0 0 0 1 -1 	1
--0 1 0 0 1 	1
--0 1 0 8 0 	0
--1 1 0 2 1 	1
--1 1 1 -55 134 	1
--0 0 0 -12 65 	1
--0 0 0 60 61 	0
--1 -1 0 -5 -3 	1
--1 -1 1 -19 51 	0
--1 0 0 -22 36 	1
--1 0 0 2 0 	0
--0 -1 0 -3 -1 	0
--0 0 0 -2 0 	1
--0 0 0 2 0 	0
--0 1 0 -3 1 	1
--1 0 0 -2 0 	0
--1 0 0 159 1737 	0
--1 0 1 -15 22 	1
--1 1 0 -1916 31440 	0
--1 1 0 3 -3 	1
--1 1 1 -24 -39 	0
--1 1 1 -44124 3549153 	0
--1 -1 0 -5 -32 	0
--0 -1 0 -281 1910 	0
--1 -1 0 -2 2 	1
--1 0 0 1 25 	1
--0 -1 0 -12 -12 	0
--0 1 0 -8 0 	0
--0 1 0 -8016 -278928 	0
--0 1 0 1 6 	0
--1 -1 1 -138 656 	1
--0 -1 1 -441 6419 	0
--0 1 1 -3 2 	0
--0 -1 0 3 -7 	0
--0 0 1 -2 -1 	1
--1 -1 0 -15 35 	0
--1 -1 0 -159 813 	0
--1 -1 1 -2 -1 	0
--1 -1 1 7 -103 	0
--0 -1 0 -4 0 	0
--0 -1 0 -48 -64 	0
--0 0 0 -11 -6 	1
--0 1 0 -8 4 	1
--0 -1 1 -26 68 	1
--0 1 1 2540 -157433 	0
--1 -1 0 -2 0 	1
--1 -1 0 -2846 59156 	1
--1 0 0 -7 9 	1
--0 1 1 -8 19 	0
--1 -1 1 20 22 	1
--1 0 1 0 -1 	1
--1 0 0 -1 9 	1
--1 0 1 -537 6908 	0
--0 -1 0 -1 5 	1
--0 0 0 -412 3316 	1
--1 1 1 -15 21 	1
--1 1 1 58 -61 	0
--1 0 0 19 0 	1
--1 1 0 2 -17 	1
--1 1 0 23 -176 	0
--1 0 1 -7 42 	0
--1 1 0 -33 61 	1
--1 1 1 -66 -313 	0
--1 1 1 0 -1 	0
--1 1 1 13 177 	1
--1 1 1 280 393 	0
--0 0 0 -21 -20 	1
--0 0 0 -21 20 	0
--0 0 0 -9 0 	0
--0 0 0 27 0 	0
--0 0 0 3 0 	1
--1 -1 1 -199 510 	1
--1 -1 0 -70 -204 	1
--0 -1 1 -2174 151262 	0
--0 -1 1 0 -1 	0
--1 1 1 -169 686 	0
--1 1 1 -3 0 	1
--1 0 0 -1 -1 	0
--1 0 0 -197 -2367 	0
--1 0 1 2 32 	1
--1 0 1 23 -52 	0
--1 1 0 1151 18901 	0
--1 1 0 122 -10940 	0
--1 1 1 -50 293 	0
--0 -1 0 -33 85 	1
--0 -1 0 -9 13 	1
--0 0 1 -81 290 	1
--0 0 1 -9 -11 	0
--1 -1 0 12 -19 	1
--1 -1 1 1 0 	1
--1 -1 0 1 -1 	1
--1 0 0 -19 33 	1
--0 -1 0 -13 -23 	0
--0 -1 0 -13 22 	1
--0 1 0 -333 -3537 	0
--0 1 0 -333 2088 	0
--1 -1 1 0 3 	1
--1 1 0 1 5 	0
--1 1 1 -230 1251 	1
--0 1 1 -197 -208 	1
--0 1 1 -6 2 	1
--0 -1 0 -1 -3 	0
--0 -1 0 -248 -1424 	0
--0 -1 0 -8 16 	1
--0 -1 0 11 -3 	0
--0 1 0 -21 31 	1
--0 1 0 0 -76 	1
--1 -1 0 -27 -27 	1
--1 -1 0 -306 -1836 	0
--1 -1 1 -23 -21 	0
--1 -1 1 -2300 -41857 	0
--0 -1 1 2 -1 	0
--0 0 1 -8 -9 	0
--0 0 1 1 -1 	0
--1 1 0 0 -1 	0
--0 -1 0 -21 49 	1
--1 0 0 -6 9 	1
--1 0 0 -106 420 	1
--1 1 1 -66 -241 	0
--0 -1 0 -3 0 	1
--0 -1 0 -39 108 	0
--0 -1 0 -651 6228 	0
--0 1 0 -3 -6 	0
--0 1 0 -7 2 	0
--0 1 0 5 14 	1
--1 -1 0 13 -11 	1
--0 0 1 -12 -18 	0
--1 -1 1 -23 -34 	1
--0 -1 0 -180 -872 	0
--0 0 0 -7 -2 	1
--1 0 1 -61 176 	0
--1 1 0 142 180 	0
--1 1 0 7 -9 	1
--1 1 1 -12 45 	1
--1 1 1 2 -7 	0
--0 0 1 -37 -87 	0
--0 -1 0 -5 5 	0
--0 -1 0 0 2 	0
--0 0 0 -8 -8 	0
--0 0 0 -8 8 	1
--0 1 0 -5 -5 	1
--0 1 0 0 -2 	0
--1 -1 0 -8 44 	1
--1 0 0 -14 4 	1
--1 1 0 35 381 	0
--1 1 1 -4 1 	0
--0 0 1 -46 277 	0
--0 0 0 -21 37 	0
--0 0 0 -39 94 	0
--0 0 0 -9 9 	1
--0 0 0 9 -18 	0
--0 -1 1 -3 3 	1
--0 -1 1 -98 378 	0
--0 1 1 -508 -4581 	0
--0 1 1 -83 244 	1
--1 1 0 -25 0 	0
--1 -1 0 -80 -256 	1
--1 0 0 -6 4 	1
--1 0 1 -355 1182 	0
--1 0 0 4 -3 	1
--0 -1 0 -12 20 	0
--0 0 0 -11 -10 	1
--1 1 1 246 -1376 	0
--1 0 0 5 17 	0
--1 1 0 -1393 -20603 	0
--1 1 0 -22 -44 	1
--1 1 1 -40266 2921559 	0
--1 1 1 255 255 	0
--1 0 0 -5 4 	1
--0 0 1 -30 -63 	1
--0 0 1 -9 -7 	0
--1 -1 0 12 35 	1
--1 -1 1 1 -2 	1
--1 -1 1 -1 -1 	0
--0 0 1 -2 2 	1
--0 -1 0 -7 10 	0
--0 -1 0 16 0 	1
--0 -1 0 7 0 	0
--0 1 0 -1 2 	0
--0 1 0 -64 -460 	0
--0 1 0 -7 -52 	0
--1 -1 0 -454 5812 	1
--1 -1 0 1 1 	1
--1 -1 1 137 2643 	0
--1 0 0 81 467 	0
--1 1 0 504 -13112 	0
--1 1 1 3 -5 	1
--0 -1 1 -112 501 	0
--0 1 1 -2 2 	1
--0 1 1 -441 3422 	1
--0 0 0 -28 57 	1
--1 -1 0 -3 1 	1
--1 -1 0 -3168 62464 	0
--1 -1 0 -72 0 	1
--1 -1 0 0 -32 	0
--1 -1 1 -140 -601 	0
--1 -1 1 -29 1 	0
--1 -1 1 -860 9915 	0
--0 0 0 4 4 	1
--0 -1 1 -731 -7369 	0
--0 -1 1 30 -97 	0
--0 1 1 -1 1 	1
--0 1 1 -100 406 	1
--1 0 0 9 0 	0
--1 0 1 456 2401 	0
--1 0 0 -16 -26 	0
--1 1 1 -7 -3 	1
--0 1 1 2 0 	1
--0 -1 0 -94 3973 	0
--0 -1 0 2 1 	1
--0 1 0 -2 -3 	0
--0 1 0 -50 129 	1
--1 -1 0 -4492 126416 	0
--1 -1 0 58 -284 	0
--1 -1 1 -180 1047 	1
--1 0 0 112 392 	0
--1 1 0 5 5 	1
--1 1 1 -13 31 	0
--0 -1 0 -45 133 	1
--0 -1 0 3 -11 	1
--0 0 0 8 -112 	0
--0 0 0 8 112 	1
--0 1 0 -45 -133 	0
--0 1 0 3 11 	1
--1 1 1 -2 16 	0
--1 0 1 9 -8 	0
--1 1 0 -34 -92 	0
--1 1 0 -715 7069 	1
--1 1 1 -23511 -1393299 	0
--1 1 1 -3 -3 	0
--1 1 1 -5 11 	1
--0 1 1 5 -1 	0
--0 -1 0 4 -8 	1
--0 -1 1 -5 -16 	1
--0 -1 1 3565 72914 	0
--0 1 1 -42 110 	1
--0 1 1 20 -17 	0
--1 0 0 -18 28 	0
--1 1 0 55 197 	0
--1 -1 1 -7 8 	1
--1 0 1 -23 39 	1
--0 0 0 -138 -623 	0
--0 0 0 -18 -27 	1
--0 0 0 -27 486 	0
--0 0 0 -3 -18 	0
--0 0 0 33 34 	0
--0 -1 1 241 -17 	0
--0 0 1 -38 90 	1
--1 1 0 -4 2 	1
--1 1 1 6 7 	1
--0 -1 1 4 -1 	0
--0 -1 1 444 -826 	0
--1 1 1 -789 8130 	0
--0 0 0 -584 5444 	1
--0 1 0 -5 7 	1
--1 0 0 -205 -1147 	0
--1 0 0 -5 33 	0
--1 0 1 -5 20 	1
--1 0 1 -913 -10780 	0
--1 1 0 -1 -11 	0
--1 1 1 -32 65 	1
--1 1 1 -7096 -233095 	0
--0 -1 0 2 -1 	1
--0 0 0 -1 -1 	0
--0 0 0 -163 930 	0
--0 0 0 -55 157 	1
--0 0 0 5 -6 	1
--0 1 0 -4 -5 	0
--0 1 0 0 -1 	1
--0 0 1 -93 -369 	0
--0 0 1 6 13 	1
--1 -1 0 -5 5 	1
--1 0 0 -75 -143 	0
--1 0 1 -19 342 	0
--1 1 0 13 -19 	0
--0 0 1 -31 -67 	0
--1 1 0 -35 -98 	1
--0 -1 0 -6 9 	1
--0 1 0 -2 9 	1
--0 1 0 -3054 -69327 	0
--0 1 0 -9 12 	0
--0 1 1 -2 -2 	1
--1 -1 0 -32 0 	1
--1 -1 0 -8 11 	1
--1 -1 0 -12 24 	0
--1 -1 0 -141 681 	1
--1 -1 0 0 4 	1
--1 -1 0 441 -1571 	0
--1 -1 1 -11 -37 	0
--1 -1 1 -2 -107 	0
--1 -1 1 10 5 	0
--1 -1 1 3967 38449 	0
--0 -1 0 -921 10346 	0
--0 0 0 -8 -3 	1
--0 1 1 -11 -16 	1
--0 1 1 -4 -5 	0
--0 -1 0 -3 3 	1
--0 -1 0 -35 -69 	0
--0 -1 0 -6 18 	0
--0 -1 0 2 -2 	0
--0 1 0 -3 -3 	0
--0 1 0 -35 69 	1
--0 1 0 -6 -18 	0
--0 1 0 2 2 	0
--1 -1 1 -37 124 	1
--1 0 0 0 7 	1
--0 0 1 -174 -887 	0
--0 0 1 -3 -9 	0
--1 -1 0 -15 -46 	1
--1 -1 1 -2 2 	1
--1 -1 1 -221 1316 	0
--0 1 1 -2 0 	2
--1 0 0 -6 36 	0
--1 0 1 -289 3092 	0
--1 0 1 3997 3998 	0
--1 1 0 -13 13 	1
--1 1 0 -52 -176 	0
--1 1 1 15 15 	0
--1 1 1 4 -7 	0
--0 -1 0 -16 29 	1
--0 0 0 -343 -2401 	0
--0 0 0 -7 7 	1
--0 0 0 49 -686 	1
--0 1 0 -16 1392 	0
--0 1 0 -800 -8359 	0
--0 -1 1 -50 156 	0
--1 -1 1 -7 14 	0
--1 1 1 -40 -128 	0
--0 0 0 -696 -8215 	0
--0 0 0 24 25 	1
--0 0 0 24 52 	0
--1 1 0 -6 20 	0
--1 0 0 -431 3408 	0
--1 1 0 -210 -441 	1
--1 1 1 -13 -22 	1
--0 -1 0 -3 2 	0
--0 -1 0 -8 112 	1
--0 0 0 -50 -125 	1
--0 0 0 125 1250 	0
--0 0 0 5 10 	1
--0 1 0 -33 -62 	0
--0 1 0 -48 -172 	0
--0 1 0 -83 88 	0
--
--0  0  0         0              0    0
--
--
--Decription of the curves above:
--a) All 18 rank 2 curves with N<1000
--b) 10 rank 3 curves
--c) 10 rank 4 curves
--d)  5 rank 5 curves
--e)  6 rank 6 curves
--f) 21 rank 7 curves
--g)  3 rank 8 curves
--h)  1 rank 15 curve
--i) All 722 curves with N<400
--
--Total: 796 curves
--
--Exercise: say which curve appears twice in this list!
 diff --git a/tests/mattest.cc b/tests/mattest.cc
 index 25f5167..e8d49de 100644
 --- a/tests/mattest.cc
@@ -3554,809 +2785,6 @@ index e27ea64..4b41d64 100644
  // 
  //////////////////////////////////////////////////////////////////////////
  
-diff --git a/tests/out/tmrank.out~ b/tests/out/tmrank.out~
-deleted file mode 100644
-index 280e9f4..0000000
---- a/tests/out/tmrank.out~
-+++ /dev/null
-@@ -1,797 +0,0 @@
--Verbose mode? (0/1)
--Curve [0,1,1,-2,0] :	Rank = 2	 (0.01 seconds)
--Curve [1,0,0,0,1] :	Rank = 2	 (0.02 seconds)
--Curve [1,-1,0,-4,4] :	Rank = 2	 (0.01 seconds)
--Curve [1,1,1,-15,16] :	Rank = 2	 (0.02 seconds)
--Curve [0,1,1,-4,2] :	Rank = 2	 (0.01 seconds)
--Curve [1,0,0,-4,3] :	Rank = 2	 (0.02 seconds)
--Curve [0,0,1,-13,18] :	Rank = 2	 (0.01 seconds)
--Curve [0,0,0,-7,10] :	Rank = 2	 (0.02 seconds)
--Curve [0,-1,1,0,2] :	Rank = 2	 (0.02 seconds)
--Curve [0,1,1,-12,12] :	Rank = 2	 (0.01 seconds)
--Curve [0,-1,1,-2,0] :	Rank = 2	 (0.02 seconds)
--Curve [1,0,1,-5,0] :	Rank = 2	 (0.01 seconds)
--Curve [1,0,1,-3,2] :	Rank = 2	 (0.02 seconds)
--Curve [0,1,1,1,6] :	Rank = 2	 (0.02 seconds)
--Curve [0,0,0,-4,1] :	Rank = 2	 (0.01 seconds)
--Curve [0,0,0,-19,34] :	Rank = 2	 (0.02 seconds)
--Curve [0,-1,1,-5,-3] :	Rank = 2	 (0.02 seconds)
--Curve [0,-1,1,-24,54] :	Rank = 2	 (0.01 seconds)
--Curve [0,0,1,-7,6] :	Rank = 3	 (0.01 seconds)
--Curve [0,0,1,-1,6] :	Rank = 3	 (0.02 seconds)
--Curve [0,0,1,-49,132] :	Rank = 3	 (0.02 seconds)
--Curve [0,0,1,-19,30] :	Rank = 3	 (0.02 seconds)
--Curve [0,0,1,-1,12] :	Rank = 3	 (0.02 seconds)
--Curve [0,0,1,-13,12] :	Rank = 3	 (0.01 seconds)
--Curve [0,0,1,-29,62] :	Rank = 3	 (0.02 seconds)
--Curve [0,0,1,11,12] :	Rank = 3	 (0.03 seconds)
--Curve [0,0,1,-20,39] :	Rank = 3	 (0.01 seconds)
--Curve [0,0,1,-104,-408] :	Rank = 3	 (0.01 seconds)
--Curve [0,1,1,-72,210] :	Rank = 4	 (0.01 seconds)
--Curve [0,0,1,-7,36] :	Rank = 4	 (0.03 seconds)
--Curve [1,0,0,-202,1089] :	Rank = 4	 (0.02 seconds)
--Curve [0,1,1,-2,42] :	Rank = 4	 (0.03 seconds)
--Curve [0,1,1,-32,72] :	Rank = 4	 (0.02 seconds)
--Curve [1,0,0,-49,120] :	Rank = 4	 (0.02 seconds)
--Curve [0,0,1,-67,216] :	Rank = 4	 (0.02 seconds)
--Curve [1,0,0,-25,66] :	Rank = 4	 (0.02 seconds)
--Curve [0,0,1,-19,60] :	Rank = 4	 (0.03 seconds)
--Curve [0,-1,1,-35,72] :	Rank = 4	 (0.01 seconds)
--Curve [0,0,1,-79,342] :	Rank = 5	 (0.03 seconds)
--Curve [0,0,1,-169,930] :	Rank = 5	 (0.03 seconds)
--Curve [0,1,1,-30,390] :	Rank = 5	 (0.04 seconds)
--Curve [0,0,1,-301,2052] :	Rank = 5	 (0.03 seconds)
--Curve [0,0,1,-457,3786] :	Rank = 5	 (0.04 seconds)
--Curve [0,0,1,-547,-2934] :	Rank = 6	 (0.03 seconds)
--Curve [0,0,0,-9907,306370] :	Rank = 6	 (0.03 seconds)
--Curve [0,0,1,-277,4566] :	Rank = 6	 (0.06 seconds)
--Curve [0,0,1,-379,5172] :	Rank = 6	 (0.06 seconds)
--Curve [0,0,0,-1852,17620] :	Rank = 6	 (0.01 seconds)
--Curve [0,0,0,-4732,135040] :	Rank = 6	 (0.03 seconds)
--Curve [0,0,0,-9217,300985] :	Rank = 7	 (0.03 seconds)
--Curve [0,1,0,-5945,583879] :	Rank = 7	 (0.1 seconds)
--Curve [0,0,0,-9217,300985] :	Rank = 7	 (0.02 seconds)
--Curve [0,0,0,-5947,982090] :	Rank = 7	 (0.14 seconds)
--Curve [0,0,0,7901,16916446] :	Rank = 7	 (1.4 seconds)
--Curve [0,0,0,2348,843760] :	Rank = 7	 (0.13 seconds)
--Curve [0,0,0,-7399,677386] :	Rank = 7	 (0.1 seconds)
--Curve [0,1,0,-9690,430969] :	Rank = 7	 (0.05 seconds)
--Curve [0,1,0,-9952,1027716] :	Rank = 7	 (0.13 seconds)
--Curve [0,0,0,-8677,1199125] :	Rank = 7	 (0.14 seconds)
--Curve [0,-1,0,-8402,516849] :	Rank = 7	 (0.07 seconds)
--Curve [0,0,0,-3367,705610] :	Rank = 7	 (0.12 seconds)
--Curve [0,0,0,-8029,40069] :	Rank = 7	 (0.02 seconds)
--Curve [0,1,0,-9025,1058064] :	Rank = 7	 (0.13 seconds)
--Curve [0,0,0,-2527,808930] :	Rank = 7	 (0.12 seconds)
--Curve [0,1,0,-9325,459924] :	Rank = 7	 (0.06 seconds)
--Curve [0,1,0,-5550,344569] :	Rank = 7	 (0.06 seconds)
--Curve [0,0,0,3701,1262794] :	Rank = 7	 (0.19 seconds)
--Curve [0,0,0,-9412,1383040] :	Rank = 7	 (0.17 seconds)
--Curve [0,1,0,9098,36969] :	Rank = 7	 (0.08 seconds)
--Curve [0,0,0,-240604,45804256] :	Rank = 7	 (0.9 seconds)
--Curve [0,0,0,-6544,7375129] :	Rank = 8	 (0.62 seconds)
--Curve [0,1,0,9910,9815689] :	Rank = 8	 (0.78 seconds)
--Curve [0,0,0,-6112,12325825] :	Rank = 8	 (0.93 seconds)
--Curve [1,0,1,34318214642441646362435632562579908747,3184376895814127197244886284686214848599453811643486936756] :	Rank = 15	 (4.47 seconds)
--Curve [0,-1,1,-10,-20] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,4,-6] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,1,-10,-10] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,1,-1,-14] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,1,-9,-15] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,4,4] :	Rank = 0	 (0.03 seconds)
--Curve [1,0,0,-4,-1] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-4,4] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,1,-3,3] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-5,-8] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,0,-7] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,1,2] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,4,0] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-11,0] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-3,1] :	Rank = 0	 (0.03 seconds)
--Curve [0,1,1,9,1] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,0,1] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-1,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-23,-50] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,9,90] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,0,1] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-4,-5] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,-7,-6] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-4,5] :	Rank = 0	 (0.03 seconds)
--Curve [0,1,1,0,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,0,3,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,0,-5] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,-10,-12] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-4,-4] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,-2,-1] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,1,-1,-2] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-3,1] :	Rank = 0	 (0 seconds)
--Curve [0,1,1,1,-1] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,1,-10] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,1,0,0] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,0,12,8] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,1,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-4,3] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,0,0,-4] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,1,2] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,1,-2,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,20,-32] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-7,5] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,0,-1,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,5,9] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,0,-2,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,1,-1,1] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,0,9,0] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,-4,0] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-1,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,0,0,-45,81] :	Rank = 0	 (0.07 seconds)
--Curve [1,0,1,-6,4] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,1,-2,-1] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,1,-12,-21] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-1,-1] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,2,-3] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,6,-7] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,4,-3] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,1,-8,-7] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,1,2,4] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-1,23] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-21,-31] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,2,0] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-49,600] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,0,4,11] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,0,-19,685] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,1,-2,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,4,-4] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,-7,6] :	Rank = 0	 (0.04 seconds)
--Curve [1,0,1,-2,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,1,1,0] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,-1,-2] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,7,0] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,0,-8,-13] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,-4,4] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,0,4,5] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-1,0] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,6,0] :	Rank = 0	 (0.03 seconds)
--Curve [1,-1,1,-8,11] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,13,-61] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,1,1,0] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-7,5] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-1,1] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,0,2,1] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,0,-1] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,-2,0] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-2,0] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-25,-111] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,1,-3,-5] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,0,-15,8] :	Rank = 0	 (0.08 seconds)
--Curve [1,-1,1,-2,0] :	Rank = 1	 (0.1 seconds)
--Curve [1,-1,1,-59,186] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-33,62] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,1,-1,-1] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-34,68] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,1,-256,1550] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-2,0] :	Rank = 1	 (0.07 seconds)
--Curve [0,1,0,-16,-32] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-3,1] :	Rank = 0	 (0.07 seconds)
--Curve [1,0,0,-283,-2351] :	Rank = 0	 (0.04 seconds)
--Curve [1,0,0,1,1] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-27,-67] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-7,5] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,0,4] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-8,-7] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,0,-1,1] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-89,316] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,10,-45] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,-8,-16] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,1,-2] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,0,4] :	Rank = 1	 (0.06 seconds)
--Curve [1,1,1,3,-4] :	Rank = 0	 (0.07 seconds)
--Curve [1,0,0,-8,0] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,0,-95,-399] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,1,-352,-2431] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,1,7,-11] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-4,24] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,-4831,-129242] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-4,4] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,4,6] :	Rank = 1	 (0.04 seconds)
--Curve [1,1,0,1,1] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,0,56,-192] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-25,39] :	Rank = 0	 (0 seconds)
--Curve [1,1,1,-4,-5] :	Rank = 0	 (0.02 seconds)
--Curve [0,1,0,-15,18] :	Rank = 0	 (0.03 seconds)
--Curve [0,1,0,4,0] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,1,-40,-221] :	Rank = 0	 (0.03 seconds)
--Curve [0,-1,1,-7,10] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-2,-7] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-30,-76] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,2,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,1,-1] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-10,10] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-17,-27] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-2,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-36,-176] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,-5,-7] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,1,-1] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,3,5] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,1,1] :	Rank = 1	 (0.06 seconds)
--Curve [0,1,0,3,-5] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,1,-19,39] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,-30,-29] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,1,-7,-1] :	Rank = 0	 (0.07 seconds)
--Curve [1,0,1,-33,68] :	Rank = 1	 (0.03 seconds)
--Curve [1,1,1,-841,-9737] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,1,1,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-77,330] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,3,0] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,1,-27,-115] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-3,4] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-8,-4] :	Rank = 0	 (0.09 seconds)
--Curve [0,1,0,-4,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,0,1,-36,82] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-1,1] :	Rank = 1	 (0.06 seconds)
--Curve [1,1,1,3,3] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,-3,-4] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,32,212] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-5,-25] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,1,-1,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-12,2] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-26,-61] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,0,-2,3] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,-8,-16] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,-1,-3] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,0,-2626,52244] :	Rank = 0	 (0.21 seconds)
--Curve [1,-1,1,-12,15] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-8,8] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-1,-1] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,-1,-2] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,0,-1] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,6,7] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,-3,2] :	Rank = 1	 (0.07 seconds)
--Curve [0,-1,1,-2,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,1,-114,473] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,48,48] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-5,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-3,-3] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-75,-375] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,1,37,281] :	Rank = 0	 (0.04 seconds)
--Curve [0,1,0,-1,3] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-8,-16] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,-27,-61] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-3,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,1,6,27] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-6,-1] :	Rank = 0	 (0.09 seconds)
--Curve [1,-1,0,-29,69] :	Rank = 1	 (0.04 seconds)
--Curve [1,-1,1,-4,-89] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-14,-28] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,1,-1,1] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,10,6] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-1,-2] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,-5,6] :	Rank = 1	 (0.08 seconds)
--Curve [0,1,0,-13,-4] :	Rank = 0	 (0.03 seconds)
--Curve [1,-1,1,-9,9] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,-82,-92] :	Rank = 0	 (0.03 seconds)
--Curve [1,1,0,-3,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-420,3109] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,1,1] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,-6,-4] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,-6,4] :	Rank = 1	 (0.06 seconds)
--Curve [1,-1,1,-9,8] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,-6,8] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,3,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-5,5] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,4,-1] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-2,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-6,4] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-7,52] :	Rank = 0	 (0.04 seconds)
--Curve [0,1,0,-7,-10] :	Rank = 0	 (0.07 seconds)
--Curve [1,-1,0,-10,-10] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,0,399,-919] :	Rank = 0	 (0.08 seconds)
--Curve [1,0,1,-2554,49452] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,-3,6] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-8,6] :	Rank = 1	 (0.07 seconds)
--Curve [0,0,1,-21,-41] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,177,1035] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,1,6,0] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,1,-14,20] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,-13,15] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-1,137] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,-7705,1226492] :	Rank = 0	 (9.43 seconds)
--Curve [1,0,1,0,-2] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-56,-192] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-5,-7] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,1,-33,93] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,2,-2] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,42,-131] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,3,1] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,0,-4,-4] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-5,-13] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,0,6,-28] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-44,80] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,1,-1,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-12,-11] :	Rank = 0	 (0.09 seconds)
--Curve [1,-1,0,-22,884] :	Rank = 0	 (0.03 seconds)
--Curve [1,-1,1,3,-5] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,866,6445] :	Rank = 0	 (0.04 seconds)
--Curve [1,0,0,7,-7] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,-4609,120244] :	Rank = 0	 (0.24 seconds)
--Curve [0,-1,0,-4,5] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,0,1] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-55,-157] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,5,6] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,1,-5,6] :	Rank = 1	 (0 seconds)
--Curve [0,1,1,-156,700] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,1,-4,-3] :	Rank = 1	 (0.07 seconds)
--Curve [1,0,0,15,9] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-17,-28] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-83,-369] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,7,1] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,1,11,30] :	Rank = 0	 (0.03 seconds)
--Curve [0,0,1,-24,45] :	Rank = 1	 (0 seconds)
--Curve [0,0,1,-27,-7] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-3,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-6,3] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,-48,147] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-30,-100] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,2,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,-4,-2] :	Rank = 1	 (0.08 seconds)
--Curve [0,-1,0,3,-3] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-4,2] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,3,3] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,-3,-1] :	Rank = 0	 (0.09 seconds)
--Curve [0,-1,1,-190,1101] :	Rank = 0	 (0.02 seconds)
--Curve [0,1,1,-66,-349] :	Rank = 0	 (0.03 seconds)
--Curve [0,1,1,0,-1] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,0,-110,435] :	Rank = 0	 (0.03 seconds)
--Curve [0,-1,0,-2,1] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-114,-127] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-5,4] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-18,4] :	Rank = 1	 (0.09 seconds)
--Curve [1,-1,0,-405,-2187] :	Rank = 0	 (0.09 seconds)
--Curve [1,-1,0,-87,333] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-50,-115] :	Rank = 0	 (0.08 seconds)
--Curve [1,-1,1,-65,209] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-83,-88] :	Rank = 0	 (0.09 seconds)
--Curve [0,0,0,-50,125] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,125,-1250] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,5,-10] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-3,-2] :	Rank = 1	 (0.1 seconds)
--Curve [0,-1,1,2,0] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,-1,2] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-794,8289] :	Rank = 1	 (0.04 seconds)
--Curve [1,-1,0,4,-176] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,1,20,-8] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-9,8] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,0,-2] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,-1621,-24623] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-5,-9] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-22,44] :	Rank = 1	 (0.05 seconds)
--Curve [1,1,0,-2,-1] :	Rank = 0	 (0.09 seconds)
--Curve [1,1,1,-21,-46] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,0,2,0] :	Rank = 0	 (0.07 seconds)
--Curve [1,-1,1,-5,20] :	Rank = 1	 (0.05 seconds)
--Curve [0,-1,0,-16,32] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,8,-16] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-43,-166] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,1,10] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,1,-27,55] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,-41,-39] :	Rank = 0	 (0.03 seconds)
--Curve [1,0,0,210,900] :	Rank = 0	 (0.03 seconds)
--Curve [1,0,1,-498,4228] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-3,-3] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,1,10,-13] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-12,-40] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-4,8] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,1,0,1] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,0,-12,16] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,2,4] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,-193,1012] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,1,1,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-8,-12] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-108,-540] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,-12,20] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-27,918] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-3,-34] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,0,-2,4] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,-6,8] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,3,2] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-82,-305] :	Rank = 1	 (0.08 seconds)
--Curve [0,-1,0,-5,2] :	Rank = 0	 (0.08 seconds)
--Curve [0,1,0,-45,100] :	Rank = 1	 (0.03 seconds)
--Curve [1,-1,1,-733,7804] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,-59,152] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,2,-4] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,1,-46] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-182317,29887645] :	Rank = 0	 (7.19 seconds)
--Curve [1,1,0,16,0] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,17,179] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,2,0] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,0,2,0] :	Rank = 1	 (0.07 seconds)
--Curve [0,0,1,-75,256] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,0,156] :	Rank = 0	 (0.03 seconds)
--Curve [0,0,1,0,1] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,15,-99] :	Rank = 0	 (0.03 seconds)
--Curve [1,-1,1,-5,-628] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-5,1] :	Rank = 1	 (0.08 seconds)
--Curve [0,-1,0,3,18] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,3,9] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-2,-1] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,-34,62] :	Rank = 0	 (0.03 seconds)
--Curve [0,-1,0,8,-4] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-80,-304] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,0,11] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,0,-24,-64] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-3,5] :	Rank = 1	 (0.05 seconds)
--Curve [1,-1,1,-176,-18669] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,-29,-107] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,1,4,-7] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,1,4,1] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-3551,-82926] :	Rank = 0	 (0.23 seconds)
--Curve [1,1,1,-5,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-1,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-9,8] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,0,2,0] :	Rank = 1	 (0.07 seconds)
--Curve [1,-1,1,-19,35] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-60,16] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,0,32,0] :	Rank = 0	 (0.07 seconds)
--Curve [1,1,1,-18,-37] :	Rank = 0	 (0.08 seconds)
--Curve [0,-1,0,-15,-18] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,24,-144] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,4,0] :	Rank = 1	 (0.06 seconds)
--Curve [0,1,0,0,-12] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,0,3,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,360,-970] :	Rank = 0	 (0.09 seconds)
--Curve [0,0,1,0,-1] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,0,2] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,1,6] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,-65,-204] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,1,-343,-4202] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,1,-7,12] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,-175,-27847] :	Rank = 0	 (0.32 seconds)
--Curve [1,0,0,-9,9] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,1,-2,2] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-453897,-117739700] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,-41,-123] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-66,180] :	Rank = 1	 (0.06 seconds)
--Curve [1,1,1,-270,-1821] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,1,-1] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,0,0,1] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,8,0] :	Rank = 0	 (0.07 seconds)
--Curve [1,1,0,2,1] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-55,134] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-12,65] :	Rank = 1	 (0.06 seconds)
--Curve [0,0,0,60,61] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,0,-5,-3] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,1,-19,51] :	Rank = 0	 (0.04 seconds)
--Curve [1,0,0,-22,36] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,2,0] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,-3,-1] :	Rank = 0	 (0.08 seconds)
--Curve [0,0,0,-2,0] :	Rank = 1	 (0.09 seconds)
--Curve [0,0,0,2,0] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,0,-3,1] :	Rank = 1	 (0.08 seconds)
--Curve [1,0,0,-2,0] :	Rank = 0	 (0.08 seconds)
--Curve [1,0,0,159,1737] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,1,-15,22] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-1916,31440] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,3,-3] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,-24,-39] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-44124,3549153] :	Rank = 0	 (1.74 seconds)
--Curve [1,-1,0,-5,-32] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,-281,1910] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,0,-2,2] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,1,25] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-12,-12] :	Rank = 0	 (0.08 seconds)
--Curve [0,1,0,-8,0] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,0,-8016,-278928] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,1,6] :	Rank = 0	 (0.04 seconds)
--Curve [1,-1,1,-138,656] :	Rank = 1	 (0.05 seconds)
--Curve [0,-1,1,-441,6419] :	Rank = 0	 (0.09 seconds)
--Curve [0,1,1,-3,2] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,3,-7] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,-2,-1] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-15,35] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-159,813] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-2,-1] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,7,-103] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-4,0] :	Rank = 0	 (0.09 seconds)
--Curve [0,-1,0,-48,-64] :	Rank = 0	 (0.08 seconds)
--Curve [0,0,0,-11,-6] :	Rank = 1	 (0.09 seconds)
--Curve [0,1,0,-8,4] :	Rank = 1	 (0.09 seconds)
--Curve [0,-1,1,-26,68] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,2540,-157433] :	Rank = 0	 (1.6 seconds)
--Curve [1,-1,0,-2,0] :	Rank = 1	 (0.1 seconds)
--Curve [1,-1,0,-2846,59156] :	Rank = 1	 (0.1 seconds)
--Curve [1,0,0,-7,9] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-8,19] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,20,22] :	Rank = 1	 (0.05 seconds)
--Curve [1,0,1,0,-1] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-1,9] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,1,-537,6908] :	Rank = 0	 (0.1 seconds)
--Curve [0,-1,0,-1,5] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-412,3316] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-15,21] :	Rank = 1	 (0.05 seconds)
--Curve [1,1,1,58,-61] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,19,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,0,2,-17] :	Rank = 1	 (0.07 seconds)
--Curve [1,1,0,23,-176] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,1,-7,42] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-33,61] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-66,-313] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,0,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,13,177] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,280,393] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,-21,-20] :	Rank = 1	 (0.14 seconds)
--Curve [0,0,0,-21,20] :	Rank = 0	 (0.04 seconds)
--Curve [0,0,0,-9,0] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,27,0] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,3,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,-1,1,-199,510] :	Rank = 1	 (0.06 seconds)
--Curve [1,-1,0,-70,-204] :	Rank = 1	 (0.07 seconds)
--Curve [0,-1,1,-2174,151262] :	Rank = 0	 (1.64 seconds)
--Curve [0,-1,1,0,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-169,686] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,-3,0] :	Rank = 1	 (0.08 seconds)
--Curve [1,0,0,-1,-1] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,0,-197,-2367] :	Rank = 0	 (0.04 seconds)
--Curve [1,0,1,2,32] :	Rank = 1	 (0.06 seconds)
--Curve [1,0,1,23,-52] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,1151,18901] :	Rank = 0	 (0.32 seconds)
--Curve [1,1,0,122,-10940] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-50,293] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-33,85] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-9,13] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-81,290] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-9,-11] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,12,-19] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,1,1,0] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,0,1,-1] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-19,33] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,-13,-23] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,-13,22] :	Rank = 1	 (0.07 seconds)
--Curve [0,1,0,-333,-3537] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-333,2088] :	Rank = 0	 (0.07 seconds)
--Curve [1,-1,1,0,3] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,1,5] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-230,1251] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-197,-208] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-6,2] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-1,-3] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,-248,-1424] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,-8,16] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,11,-3] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-21,31] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,0,-76] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-27,-27] :	Rank = 1	 (0.09 seconds)
--Curve [1,-1,0,-306,-1836] :	Rank = 0	 (0.07 seconds)
--Curve [1,-1,1,-23,-21] :	Rank = 0	 (0.08 seconds)
--Curve [1,-1,1,-2300,-41857] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,1,2,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,-8,-9] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,1,-1] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,0,-1] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-21,49] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-6,9] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-106,420] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,-66,-241] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-3,0] :	Rank = 1	 (0.09 seconds)
--Curve [0,-1,0,-39,108] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,0,-651,6228] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,-3,-6] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,-7,2] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,5,14] :	Rank = 1	 (0.07 seconds)
--Curve [1,-1,0,13,-11] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,1,-12,-18] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,-23,-34] :	Rank = 1	 (0.08 seconds)
--Curve [0,-1,0,-180,-872] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-7,-2] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,-61,176] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,142,180] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,7,-9] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,-12,45] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,2,-7] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-37,-87] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,0,-5,5] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,0,2] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,-8,-8] :	Rank = 0	 (0.08 seconds)
--Curve [0,0,0,-8,8] :	Rank = 1	 (0.07 seconds)
--Curve [0,1,0,-5,-5] :	Rank = 1	 (0.08 seconds)
--Curve [0,1,0,0,-2] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,0,-8,44] :	Rank = 1	 (0.06 seconds)
--Curve [1,0,0,-14,4] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,0,35,381] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-4,1] :	Rank = 0	 (0.08 seconds)
--Curve [0,0,1,-46,277] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,-21,37] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-39,94] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-9,9] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,9,-18] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,1,-3,3] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,-98,378] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,1,-508,-4581] :	Rank = 0	 (0.04 seconds)
--Curve [0,1,1,-83,244] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,0,-25,0] :	Rank = 0	 (0.08 seconds)
--Curve [1,-1,0,-80,-256] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-6,4] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,-355,1182] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,4,-3] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-12,20] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,-11,-10] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,1,246,-1376] :	Rank = 0	 (0.07 seconds)
--Curve [1,0,0,5,17] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,-1393,-20603] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,-22,-44] :	Rank = 1	 (0.08 seconds)
--Curve [1,1,1,-40266,2921559] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,1,255,255] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-5,4] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-30,-63] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-9,-7] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,0,12,35] :	Rank = 1	 (0.07 seconds)
--Curve [1,-1,1,1,-2] :	Rank = 1	 (0.07 seconds)
--Curve [1,-1,1,-1,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,1,-2,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,0,-7,10] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,16,0] :	Rank = 1	 (0.06 seconds)
--Curve [0,-1,0,7,0] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,-1,2] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-64,-460] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-7,-52] :	Rank = 0	 (0.05 seconds)
--Curve [1,-1,0,-454,5812] :	Rank = 1	 (0.06 seconds)
--Curve [1,-1,0,1,1] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,1,137,2643] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,0,81,467] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,0,504,-13112] :	Rank = 0	 (0.21 seconds)
--Curve [1,1,1,3,-5] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,1,-112,501] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,1,-2,2] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,-441,3422] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,0,-28,57] :	Rank = 1	 (0.06 seconds)
--Curve [1,-1,0,-3,1] :	Rank = 1	 (0.09 seconds)
--Curve [1,-1,0,-3168,62464] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,0,-72,0] :	Rank = 1	 (0.1 seconds)
--Curve [1,-1,0,0,-32] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-140,-601] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,-29,1] :	Rank = 0	 (0.09 seconds)
--Curve [1,-1,1,-860,9915] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,4,4] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,1,-731,-7369] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,1,30,-97] :	Rank = 0	 (0.03 seconds)
--Curve [0,1,1,-1,1] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-100,406] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,9,0] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,1,456,2401] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-16,-26] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,1,-7,-3] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,2,0] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-94,3973] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,0,2,1] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-2,-3] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-50,129] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-4492,126416] :	Rank = 0	 (0.56 seconds)
--Curve [1,-1,0,58,-284] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,1,-180,1047] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,0,112,392] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,0,5,5] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-13,31] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,-45,133] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,3,-11] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,0,8,-112] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,8,112] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,0,-45,-133] :	Rank = 0	 (0.02 seconds)
--Curve [0,1,0,3,11] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,-2,16] :	Rank = 0	 (0.06 seconds)
--Curve [1,0,1,9,-8] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-34,-92] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,0,-715,7069] :	Rank = 1	 (0.04 seconds)
--Curve [1,1,1,-23511,-1393299] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,1,-3,-3] :	Rank = 0	 (0.08 seconds)
--Curve [1,1,1,-5,11] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,1,5,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,4,-8] :	Rank = 1	 (0.02 seconds)
--Curve [0,-1,1,-5,-16] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,3565,72914] :	Rank = 0	 (1.17 seconds)
--Curve [0,1,1,-42,110] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,20,-17] :	Rank = 0	 (0.03 seconds)
--Curve [1,0,0,-18,28] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,55,197] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-7,8] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,1,-23,39] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-138,-623] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,-18,-27] :	Rank = 1	 (0.08 seconds)
--Curve [0,0,0,-27,486] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,-3,-18] :	Rank = 0	 (0.06 seconds)
--Curve [0,0,0,33,34] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,1,241,-17] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,1,-38,90] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,0,-4,2] :	Rank = 1	 (0.01 seconds)
--Curve [1,1,1,6,7] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,1,4,-1] :	Rank = 0	 (0.02 seconds)
--Curve [0,-1,1,444,-826] :	Rank = 0	 (0.09 seconds)
--Curve [1,1,1,-789,8130] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,-584,5444] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-5,7] :	Rank = 1	 (0.01 seconds)
--Curve [1,0,0,-205,-1147] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,0,-5,33] :	Rank = 0	 (0.01 seconds)
--Curve [1,0,1,-5,20] :	Rank = 1	 (0.02 seconds)
--Curve [1,0,1,-913,-10780] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,0,-1,-11] :	Rank = 0	 (0.05 seconds)
--Curve [1,1,1,-32,65] :	Rank = 1	 (0.02 seconds)
--Curve [1,1,1,-7096,-233095] :	Rank = 0	 (0.29 seconds)
--Curve [0,-1,0,2,-1] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,0,-1,-1] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,-163,930] :	Rank = 0	 (0.04 seconds)
--Curve [0,0,0,-55,157] :	Rank = 1	 (0 seconds)
--Curve [0,0,0,5,-6] :	Rank = 1	 (0.08 seconds)
--Curve [0,1,0,-4,-5] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,0,-1] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,1,-93,-369] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,6,13] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,0,-5,5] :	Rank = 1	 (0.07 seconds)
--Curve [1,0,0,-75,-143] :	Rank = 0	 (0.03 seconds)
--Curve [1,0,1,-19,342] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,13,-19] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-31,-67] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-35,-98] :	Rank = 1	 (0.01 seconds)
--Curve [0,-1,0,-6,9] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-2,9] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,0,-3054,-69327] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,0,-9,12] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,1,-2,-2] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,-32,0] :	Rank = 1	 (0.1 seconds)
--Curve [1,-1,0,-8,11] :	Rank = 1	 (0.06 seconds)
--Curve [1,-1,0,-12,24] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-141,681] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,0,0,4] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,0,441,-1571] :	Rank = 0	 (0.09 seconds)
--Curve [1,-1,1,-11,-37] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,-2,-107] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,10,5] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,1,3967,38449] :	Rank = 0	 (1.23 seconds)
--Curve [0,-1,0,-921,10346] :	Rank = 0	 (0.07 seconds)
--Curve [0,0,0,-8,-3] :	Rank = 1	 (0.1 seconds)
--Curve [0,1,1,-11,-16] :	Rank = 1	 (0.01 seconds)
--Curve [0,1,1,-4,-5] :	Rank = 0	 (0.01 seconds)
--Curve [0,-1,0,-3,3] :	Rank = 1	 (0.07 seconds)
--Curve [0,-1,0,-35,-69] :	Rank = 0	 (0.06 seconds)
--Curve [0,-1,0,-6,18] :	Rank = 0	 (0.05 seconds)
--Curve [0,-1,0,2,-2] :	Rank = 0	 (0.07 seconds)
--Curve [0,1,0,-3,-3] :	Rank = 0	 (0.08 seconds)
--Curve [0,1,0,-35,69] :	Rank = 1	 (0.05 seconds)
--Curve [0,1,0,-6,-18] :	Rank = 0	 (0.06 seconds)
--Curve [0,1,0,2,2] :	Rank = 0	 (0.06 seconds)
--Curve [1,-1,1,-37,124] :	Rank = 1	 (0.04 seconds)
--Curve [1,0,0,0,7] :	Rank = 1	 (0.06 seconds)
--Curve [0,0,1,-174,-887] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,1,-3,-9] :	Rank = 0	 (0.02 seconds)
--Curve [1,-1,0,-15,-46] :	Rank = 1	 (0.02 seconds)
--Curve [1,-1,1,-2,2] :	Rank = 1	 (0.01 seconds)
--Curve [1,-1,1,-221,1316] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,1,-2,0] :	Rank = 2	 (0.01 seconds)
--Curve [1,0,0,-6,36] :	Rank = 0	 (0.02 seconds)
--Curve [1,0,1,-289,3092] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,1,3997,3998] :	Rank = 0	 (0.02 seconds)
--Curve [1,1,0,-13,13] :	Rank = 1	 (0.07 seconds)
--Curve [1,1,0,-52,-176] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,15,15] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,4,-7] :	Rank = 0	 (0.07 seconds)
--Curve [0,-1,0,-16,29] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,-343,-2401] :	Rank = 0	 (0.02 seconds)
--Curve [0,0,0,-7,7] :	Rank = 1	 (0.01 seconds)
--Curve [0,0,0,49,-686] :	Rank = 1	 (0.06 seconds)
--Curve [0,1,0,-16,1392] :	Rank = 0	 (0.05 seconds)
--Curve [0,1,0,-800,-8359] :	Rank = 0	 (0.04 seconds)
--Curve [0,-1,1,-50,156] :	Rank = 0	 (0.01 seconds)
--Curve [1,-1,1,-7,14] :	Rank = 0	 (0.04 seconds)
--Curve [1,1,1,-40,-128] :	Rank = 0	 (0.04 seconds)
--Curve [0,0,0,-696,-8215] :	Rank = 0	 (0.05 seconds)
--Curve [0,0,0,24,25] :	Rank = 1	 (0.07 seconds)
--Curve [0,0,0,24,52] :	Rank = 0	 (0.01 seconds)
--Curve [1,1,0,-6,20] :	Rank = 0	 (0.05 seconds)
--Curve [1,0,0,-431,3408] :	Rank = 0	 (0.06 seconds)
--Curve [1,1,0,-210,-441] :	Rank = 1	 (0.1 seconds)
--Curve [1,1,1,-13,-22] :	Rank = 1	 (0.08 seconds)
--Curve [0,-1,0,-3,2] :	Rank = 0	 (0.08 seconds)
--Curve [0,-1,0,-8,112] :	Rank = 1	 (0.02 seconds)
--Curve [0,0,0,-50,-125] :	Rank = 1	 (0.08 seconds)
--Curve [0,0,0,125,1250] :	Rank = 0	 (0.01 seconds)
--Curve [0,0,0,5,10] :	Rank = 1	 (0.02 seconds)
--Curve [0,1,0,-33,-62] :	Rank = 0	 (0.08 seconds)
--Curve [0,1,0,-48,-172] :	Rank = 0	 (0.01 seconds)
--Curve [0,1,0,-83,88] :	Rank = 0	 (0.08 seconds)
 diff --git a/tests/ptest.cc b/tests/ptest.cc
 index 188e9a8..a5f5740 100644
 --- a/tests/ptest.cc

-- 
library of programs for modular symbols and elliptic curves over Q



More information about the debian-science-commits mailing list