Stabilise gen_regexp again
authorSebastian Graf <sebastian.graf@kit.edu>
Fri, 11 Jan 2019 10:28:47 +0000 (11:28 +0100)
committerSebastian Graf <sgraf1337@gmail.com>
Wed, 16 Jan 2019 09:44:52 +0000 (04:44 -0500)
While investigating a 5% runtime regression, I realised that
`gen_regexp` wasn't sufficiently stable wrt. GC parameterisations.

This is now rectified by iterating 500 instead of 100 times.

imaginary/gen_regexps/Main.hs
imaginary/gen_regexps/Makefile
imaginary/gen_regexps/NofibUtils.hs [new symlink]
imaginary/gen_regexps/gen_regexps.faststdout
imaginary/gen_regexps/gen_regexps.slowstdout
imaginary/gen_regexps/gen_regexps.stdout

index ea5e6cf..edef423 100644 (file)
@@ -9,12 +9,13 @@
 module Main (main) where
 
 import Data.Char
-import Control.Monad (forM_)
+import Control.Monad (replicateM_)
 import System.Environment
+import NofibUtils (hash)
 
-main = forM_ [1..100] $ const $ do
+main = replicateM_ 500 $ do
   (regex:_) <- getArgs
-  print (numchars (expand regex))
+  print (hash (concat (expand regex)))
 
 numchars :: [String] -> Int
 numchars l = sum $ map length l
index ade3a3b..7bd2321 100644 (file)
@@ -2,6 +2,6 @@ TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 include $(TOP)/mk/target.mk
 
-FAST_OPTS = [a-j][a-j][a-j][0-9][p-z]
-NORM_OPTS = [a-j][a-j][a-j][a-j][a-j][1-2]abcdefghijklmnopqrstuvwxy
-SLOW_OPTS = [a-j][a-j][a-j][a-j][a-j][1-5]abcdefghijklmnopqrstuvwxy
+FAST_OPTS = [a-j][a-j][a-j][0-9]
+NORM_OPTS = [a-l][a-l][a-l][a-l][1-1]abcdefghijklmnopqrstuvwxy
+SLOW_OPTS = [a-l][a-l][a-l][a-l][1-5]abcdefghijklmnopqrstuvwxy
diff --git a/imaginary/gen_regexps/NofibUtils.hs b/imaginary/gen_regexps/NofibUtils.hs
new file mode 120000 (symlink)
index 0000000..5b63bd4
--- /dev/null
@@ -0,0 +1 @@
+../../common/NofibUtils.hs
\ No newline at end of file
index c4bc1de..e55efc9 100644 (file)
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
-550000
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
+-4675665393446052368
index c1928c0..3570c34 100644 (file)
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
-15500000
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
+-5842250375086935552
index cdfb5f4..24a2aa1 100644 (file)
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
-6200000
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776
+-1989802086544331776