Remove fibon
authorMichal Terepeta <michal.terepeta@gmail.com>
Sun, 12 Feb 2017 11:42:02 +0000 (12:42 +0100)
committerMichal Terepeta <michal.terepeta@gmail.com>
Tue, 14 Mar 2017 18:48:54 +0000 (19:48 +0100)
Summary:
It doesn't compile, nobody is running it and upstream seems to have
abandoned it too. IMHO, at this point we should simply remove it and
focus on improving the benchmarks that do work & adding new ones.

See also the discussion in #11501

Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>
Test Plan: compile & run nofib

Reviewers: bgamari

Subscribers:

1294 files changed:
fibon/Hackage/Agum/Agum.stdout [deleted file]
fibon/Hackage/Agum/ChangeLog [deleted file]
fibon/Hackage/Agum/Makefile [deleted file]
fibon/Hackage/Agum/eqn.txt [deleted file]
fibon/Hackage/Agum/license.txt [deleted file]
fibon/Hackage/Agum/readme.txt [deleted file]
fibon/Hackage/Agum/src/Algebra/AbelianGroup/IntLinEq.hs [deleted file]
fibon/Hackage/Agum/src/Algebra/AbelianGroup/Main.hs [deleted file]
fibon/Hackage/Agum/src/Algebra/AbelianGroup/UnificationMatching.hs [deleted file]
fibon/Hackage/Bzlib/Bzlib.stdout [deleted file]
fibon/Hackage/Bzlib/Codec/Compression/BZip.hs [deleted file]
fibon/Hackage/Bzlib/Codec/Compression/BZip/Internal.hs [deleted file]
fibon/Hackage/Bzlib/Codec/Compression/BZip/Stream.hsc [deleted file]
fibon/Hackage/Bzlib/LICENSE [deleted file]
fibon/Hackage/Bzlib/Main.hs [deleted file]
fibon/Hackage/Bzlib/Makefile [deleted file]
fibon/Hackage/Bzlib/bunzip2.hs [deleted file]
fibon/Hackage/Bzlib/bzip2.hs [deleted file]
fibon/Hackage/Bzlib/cbits/blocksort.c [deleted file]
fibon/Hackage/Bzlib/cbits/bzlib.c [deleted file]
fibon/Hackage/Bzlib/cbits/bzlib.h [deleted file]
fibon/Hackage/Bzlib/cbits/bzlib_private.h [deleted file]
fibon/Hackage/Bzlib/cbits/compress.c [deleted file]
fibon/Hackage/Bzlib/cbits/crctable.c [deleted file]
fibon/Hackage/Bzlib/cbits/decompress.c [deleted file]
fibon/Hackage/Bzlib/cbits/huffman.c [deleted file]
fibon/Hackage/Bzlib/cbits/randtable.c [deleted file]
fibon/Hackage/Bzlib/mito.aa.bz2 [deleted file]
fibon/Hackage/Cpsa/ChangeLog [deleted file]
fibon/Hackage/Cpsa/Cpsa.stderr [deleted file]
fibon/Hackage/Cpsa/Cpsa.stdout [deleted file]
fibon/Hackage/Cpsa/Makefile [deleted file]
fibon/Hackage/Cpsa/NEWS [deleted file]
fibon/Hackage/Cpsa/README [deleted file]
fibon/Hackage/Cpsa/cpsatst [deleted file]
fibon/Hackage/Cpsa/doc/Make.hs [deleted file]
fibon/Hackage/Cpsa/doc/Makefile [deleted file]
fibon/Hackage/Cpsa/doc/README [deleted file]
fibon/Hackage/Cpsa/doc/SDAG.lhs [deleted file]
fibon/Hackage/Cpsa/doc/bcasyntax.tex [deleted file]
fibon/Hackage/Cpsa/doc/carriers.mp [deleted file]
fibon/Hackage/Cpsa/doc/cmstrands.mp [deleted file]
fibon/Hackage/Cpsa/doc/cpsa.bib [deleted file]
fibon/Hackage/Cpsa/doc/cpsa.mk [deleted file]
fibon/Hackage/Cpsa/doc/cpsadesign.pdf [deleted file]
fibon/Hackage/Cpsa/doc/cpsadesign.tex [deleted file]
fibon/Hackage/Cpsa/doc/cpsadiagrams.mp [deleted file]
fibon/Hackage/Cpsa/doc/cpsaoverview.pdf [deleted file]
fibon/Hackage/Cpsa/doc/cpsaoverview.tex [deleted file]
fibon/Hackage/Cpsa/doc/cpsaprimer.pdf [deleted file]
fibon/Hackage/Cpsa/doc/cpsaprimer.tex [deleted file]
fibon/Hackage/Cpsa/doc/cpsaspec.pdf [deleted file]
fibon/Hackage/Cpsa/doc/cpsaspec.tex [deleted file]
fibon/Hackage/Cpsa/doc/cpsatheory.pdf [deleted file]
fibon/Hackage/Cpsa/doc/cpsatheory.tex [deleted file]
fibon/Hackage/Cpsa/doc/cpsauser.html [deleted file]
fibon/Hackage/Cpsa/doc/ffgg.scm [deleted file]
fibon/Hackage/Cpsa/doc/index.html [deleted file]
fibon/Hackage/Cpsa/doc/macros.tex [deleted file]
fibon/Hackage/Cpsa/doc/ns.scm [deleted file]
fibon/Hackage/Cpsa/doc/or.scm [deleted file]
fibon/Hackage/Cpsa/doc/strands.mp [deleted file]
fibon/Hackage/Cpsa/doc/termtree.mp [deleted file]
fibon/Hackage/Cpsa/doc/woolam.scm [deleted file]
fibon/Hackage/Cpsa/doc/yahalom.scm [deleted file]
fibon/Hackage/Cpsa/generated/Paths_cpsa.hs [deleted file]
fibon/Hackage/Cpsa/ghci [deleted file]
fibon/Hackage/Cpsa/license.txt [deleted file]
fibon/Hackage/Cpsa/nsl5.lisp [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Annotations/Annotations.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Annotations/Formulas.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Annotations/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Basic/Algebra.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/DiffieHellman/Algebra.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/DiffieHellman/IntLinEq.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/CompactView.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Config.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/ExpandedView.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/LaTeXView.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Layout.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Loader.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Preskeleton.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/SVG.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/Tree.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Graph/XMLOutput.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Algebra.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/CPSA.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Cohort.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Displayer.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Entry.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Expand.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Loader.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Pretty.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Printer.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Protocol.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/SExpr.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Strand.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Utilities.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Lib/Vector.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Parameters/Flow.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Parameters/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Pretty/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Shapes/Main.hs [deleted file]
fibon/Hackage/Cpsa/src/CPSA/Shapes/Shapes.hs [deleted file]
fibon/Hackage/Cpsa/src/cpsa.el [deleted file]
fibon/Hackage/Cpsa/src/cpsa.pl [deleted file]
fibon/Hackage/Cpsa/src/cpsa2svg [deleted file]
fibon/Hackage/Cpsa/src/cpsacgi [deleted file]
fibon/Hackage/Cpsa/src/cpsacgi.py [deleted file]
fibon/Hackage/Cpsa/src/cpsaops.scm [deleted file]
fibon/Hackage/Cpsa/src/httpd_allow_execmem.te [deleted file]
fibon/Hackage/Cpsa/src/index.html [deleted file]
fibon/Hackage/Cpsa/src/pp.pl [deleted file]
fibon/Hackage/Cpsa/src/preskel [deleted file]
fibon/Hackage/Cpsa/src/sexpr.pl [deleted file]
fibon/Hackage/Cpsa/tst/Make.hs [deleted file]
fibon/Hackage/Cpsa/tst/Makefile [deleted file]
fibon/Hackage/Cpsa/tst/README [deleted file]
fibon/Hackage/Cpsa/tst/blanchet.scm [deleted file]
fibon/Hackage/Cpsa/tst/blanchet.tst [deleted file]
fibon/Hackage/Cpsa/tst/checktst [deleted file]
fibon/Hackage/Cpsa/tst/completeness-test.scm [deleted file]
fibon/Hackage/Cpsa/tst/completeness-test.tst [deleted file]
fibon/Hackage/Cpsa/tst/cpsagraphall [deleted file]
fibon/Hackage/Cpsa/tst/cpsashapesall [deleted file]
fibon/Hackage/Cpsa/tst/dass-mod.lisp [deleted file]
fibon/Hackage/Cpsa/tst/dass.lisp [deleted file]
fibon/Hackage/Cpsa/tst/dass_simple.scm [deleted file]
fibon/Hackage/Cpsa/tst/dass_simple.tst [deleted file]
fibon/Hackage/Cpsa/tst/denning-sacco.scm [deleted file]
fibon/Hackage/Cpsa/tst/denning-sacco.tst [deleted file]
fibon/Hackage/Cpsa/tst/dh.sch [deleted file]
fibon/Hackage/Cpsa/tst/dh.tst [deleted file]
fibon/Hackage/Cpsa/tst/dh_unifywithconst.sch [deleted file]
fibon/Hackage/Cpsa/tst/dh_unifywithconst.tst [deleted file]
fibon/Hackage/Cpsa/tst/ds-short.lisp [deleted file]
fibon/Hackage/Cpsa/tst/dy.lsp [deleted file]
fibon/Hackage/Cpsa/tst/dy.tst [deleted file]
fibon/Hackage/Cpsa/tst/encsig.scm [deleted file]
fibon/Hackage/Cpsa/tst/encsig.tst [deleted file]
fibon/Hackage/Cpsa/tst/epmo.scm [deleted file]
fibon/Hackage/Cpsa/tst/epmo.tst [deleted file]
fibon/Hackage/Cpsa/tst/epmo_acctnum.lsp [deleted file]
fibon/Hackage/Cpsa/tst/epmo_acctnum.tst [deleted file]
fibon/Hackage/Cpsa/tst/ffgg.scm [deleted file]
fibon/Hackage/Cpsa/tst/ffgg.tst [deleted file]
fibon/Hackage/Cpsa/tst/isoreject.scm [deleted file]
fibon/Hackage/Cpsa/tst/isoreject.tst [deleted file]
fibon/Hackage/Cpsa/tst/kelly1.scm [deleted file]
fibon/Hackage/Cpsa/tst/kelly1.tst [deleted file]
fibon/Hackage/Cpsa/tst/kelly64.lisp [deleted file]
fibon/Hackage/Cpsa/tst/kerb5.lisp [deleted file]
fibon/Hackage/Cpsa/tst/kerberos.scm [deleted file]
fibon/Hackage/Cpsa/tst/kerberos.tst [deleted file]
fibon/Hackage/Cpsa/tst/missing_contraction.scm [deleted file]
fibon/Hackage/Cpsa/tst/missing_contraction.tst [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine-alt.lisp [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine-reauth.lisp [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine-reauth.lsp [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine-reauth.tst [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine.scm [deleted file]
fibon/Hackage/Cpsa/tst/neuman-stubblebine.tst [deleted file]
fibon/Hackage/Cpsa/tst/no_contraction.scm [deleted file]
fibon/Hackage/Cpsa/tst/no_contraction.tst [deleted file]
fibon/Hackage/Cpsa/tst/non_transforming.scm [deleted file]
fibon/Hackage/Cpsa/tst/non_transforming.tst [deleted file]
fibon/Hackage/Cpsa/tst/ns.scm [deleted file]
fibon/Hackage/Cpsa/tst/ns.tst [deleted file]
fibon/Hackage/Cpsa/tst/nsl3.scm [deleted file]
fibon/Hackage/Cpsa/tst/nsl3.tst [deleted file]
fibon/Hackage/Cpsa/tst/nsl4.lisp [deleted file]
fibon/Hackage/Cpsa/tst/nsl4cm1.lsp [deleted file]
fibon/Hackage/Cpsa/tst/nsl4cm1.tst [deleted file]
fibon/Hackage/Cpsa/tst/nsl4resp2.lisp [deleted file]
fibon/Hackage/Cpsa/tst/nsl5.lisp [deleted file]
fibon/Hackage/Cpsa/tst/nsl5i.lisp [deleted file]
fibon/Hackage/Cpsa/tst/nslsk.scm [deleted file]
fibon/Hackage/Cpsa/tst/nslsk.tst [deleted file]
fibon/Hackage/Cpsa/tst/or.scm [deleted file]
fibon/Hackage/Cpsa/tst/or.tst [deleted file]
fibon/Hackage/Cpsa/tst/pca.lsp [deleted file]
fibon/Hackage/Cpsa/tst/pca.tst [deleted file]
fibon/Hackage/Cpsa/tst/pruning1.scm [deleted file]
fibon/Hackage/Cpsa/tst/pruning1.tst [deleted file]
fibon/Hackage/Cpsa/tst/sigenc.scm [deleted file]
fibon/Hackage/Cpsa/tst/sigenc.tst [deleted file]
fibon/Hackage/Cpsa/tst/sorted_epmo_acctnum.scm [deleted file]
fibon/Hackage/Cpsa/tst/sorted_epmo_acctnum.tst [deleted file]
fibon/Hackage/Cpsa/tst/targetterms2.scm [deleted file]
fibon/Hackage/Cpsa/tst/targetterms2.tst [deleted file]
fibon/Hackage/Cpsa/tst/targetterms6.scm [deleted file]
fibon/Hackage/Cpsa/tst/targetterms6.tst [deleted file]
fibon/Hackage/Cpsa/tst/tnsl5.lisp [deleted file]
fibon/Hackage/Cpsa/tst/uncarried_keys.scm [deleted file]
fibon/Hackage/Cpsa/tst/uncarried_keys.tst [deleted file]
fibon/Hackage/Cpsa/tst/uo.scm [deleted file]
fibon/Hackage/Cpsa/tst/uo.tst [deleted file]
fibon/Hackage/Cpsa/tst/updatetst [deleted file]
fibon/Hackage/Cpsa/tst/weird.scm [deleted file]
fibon/Hackage/Cpsa/tst/weird.tst [deleted file]
fibon/Hackage/Cpsa/tst/wmf.lsp [deleted file]
fibon/Hackage/Cpsa/tst/wmf.tst [deleted file]
fibon/Hackage/Cpsa/tst/woolam.scm [deleted file]
fibon/Hackage/Cpsa/tst/woolam.tst [deleted file]
fibon/Hackage/Cpsa/tst/yahalom.scm [deleted file]
fibon/Hackage/Cpsa/tst/yahalom.tst [deleted file]
fibon/Hackage/Crypto/Codec/Binary/BubbleBabble.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/AES.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/AESAux.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/Blowfish.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/BlowfishAux.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/DES.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/DESAux.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/Modes.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/Padding.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/RSA.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/RSA/EMEOAEP.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/RSA/MGF.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/RSA/NumberTheory.hs [deleted file]
fibon/Hackage/Crypto/Codec/Encryption/TEA.hs [deleted file]
fibon/Hackage/Crypto/Codec/Text/Raw.hs [deleted file]
fibon/Hackage/Crypto/Codec/Utils.hs [deleted file]
fibon/Hackage/Crypto/Crypto.stdout [deleted file]
fibon/Hackage/Crypto/CryptoHomePage.html [deleted file]
fibon/Hackage/Crypto/Data/Digest/MD5.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/MD5Aux.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA1.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA2.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA224.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA256.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA384.hs [deleted file]
fibon/Hackage/Crypto/Data/Digest/SHA512.hs [deleted file]
fibon/Hackage/Crypto/Data/HMAC.hs [deleted file]
fibon/Hackage/Crypto/Data/LargeWord.hs [deleted file]
fibon/Hackage/Crypto/HMACTest.hs [deleted file]
fibon/Hackage/Crypto/Main.hs [deleted file]
fibon/Hackage/Crypto/Makefile [deleted file]
fibon/Hackage/Crypto/QuickTest.hs [deleted file]
fibon/Hackage/Crypto/RSATest.hs [deleted file]
fibon/Hackage/Crypto/ReadMe.tex [deleted file]
fibon/Hackage/Crypto/SHA1Test.hs [deleted file]
fibon/Hackage/Crypto/SymmetricTest.hs [deleted file]
fibon/Hackage/Crypto/WordListTest.hs [deleted file]
fibon/Hackage/Crypto/plain.txt [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Basic.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Example.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Graph.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Graphviz.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Internal/FiniteMap.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Internal/Heap.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Internal/Queue.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Internal/RootPath.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Internal/Thread.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Monad.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Monad/IOArray.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/NodeMap.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/PatriciaTree.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/ArtPoint.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/BCC.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/BFS.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/DFS.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/Dominators.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/GVD.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/Indep.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/MST.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow2.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/Monad.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/SP.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Query/TransClos.hs [deleted file]
fibon/Hackage/Fgl/Data/Graph/Inductive/Tree.hs [deleted file]
fibon/Hackage/Fgl/Fgl.stdout [deleted file]
fibon/Hackage/Fgl/LICENSE [deleted file]
fibon/Hackage/Fgl/Main.hs [deleted file]
fibon/Hackage/Fgl/Makefile [deleted file]
fibon/Hackage/Fgl/graphs/anna.col [deleted file]
fibon/Hackage/Fgl/graphs/david.col [deleted file]
fibon/Hackage/Fgl/graphs/fpsol2.i.1.col [deleted file]
fibon/Hackage/Fgl/graphs/fpsol2.i.2.col [deleted file]
fibon/Hackage/Fgl/graphs/fpsol2.i.3.col [deleted file]
fibon/Hackage/Fgl/graphs/games120.col [deleted file]
fibon/Hackage/Fgl/graphs/homer.col [deleted file]
fibon/Hackage/Fgl/graphs/huck.col [deleted file]
fibon/Hackage/Fgl/graphs/inithx.i.1.col [deleted file]
fibon/Hackage/Fgl/graphs/inithx.i.2.col [deleted file]
fibon/Hackage/Fgl/graphs/inithx.i.3.col [deleted file]
fibon/Hackage/Fgl/graphs/jean.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_15a.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_15b.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_15c.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_15d.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_25a.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_25b.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_25c.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_25d.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_5a.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_5b.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_5c.col [deleted file]
fibon/Hackage/Fgl/graphs/le450_5d.col [deleted file]
fibon/Hackage/Fgl/graphs/miles1000.col [deleted file]
fibon/Hackage/Fgl/graphs/miles1500.col [deleted file]
fibon/Hackage/Fgl/graphs/miles250.col [deleted file]
fibon/Hackage/Fgl/graphs/miles500.col [deleted file]
fibon/Hackage/Fgl/graphs/miles750.col [deleted file]
fibon/Hackage/Fgl/graphs/mulsol.i.1.col [deleted file]
fibon/Hackage/Fgl/graphs/mulsol.i.2.col [deleted file]
fibon/Hackage/Fgl/graphs/mulsol.i.3.col [deleted file]
fibon/Hackage/Fgl/graphs/mulsol.i.4.col [deleted file]
fibon/Hackage/Fgl/graphs/mulsol.i.5.col [deleted file]
fibon/Hackage/Fgl/graphs/myciel3.col [deleted file]
fibon/Hackage/Fgl/graphs/myciel4.col [deleted file]
fibon/Hackage/Fgl/graphs/myciel5.col [deleted file]
fibon/Hackage/Fgl/graphs/myciel6.col [deleted file]
fibon/Hackage/Fgl/graphs/myciel7.col [deleted file]
fibon/Hackage/Fgl/graphs/queen10_10.col [deleted file]
fibon/Hackage/Fgl/graphs/queen11_11.col [deleted file]
fibon/Hackage/Fgl/graphs/queen12_12.col [deleted file]
fibon/Hackage/Fgl/graphs/queen13_13.col [deleted file]
fibon/Hackage/Fgl/graphs/queen14_14.col [deleted file]
fibon/Hackage/Fgl/graphs/queen15_15.col [deleted file]
fibon/Hackage/Fgl/graphs/queen16_16.col [deleted file]
fibon/Hackage/Fgl/graphs/queen5_5.col [deleted file]
fibon/Hackage/Fgl/graphs/queen6_6.col [deleted file]
fibon/Hackage/Fgl/graphs/queen7_7.col [deleted file]
fibon/Hackage/Fgl/graphs/queen8_12.col [deleted file]
fibon/Hackage/Fgl/graphs/queen8_8.col [deleted file]
fibon/Hackage/Fgl/graphs/queen9_9.col [deleted file]
fibon/Hackage/Fgl/graphs/school1.col [deleted file]
fibon/Hackage/Fgl/graphs/school1_nsh.col [deleted file]
fibon/Hackage/Fgl/graphs/zeroin.i.1.col [deleted file]
fibon/Hackage/Fgl/graphs/zeroin.i.2.col [deleted file]
fibon/Hackage/Fgl/graphs/zeroin.i.3.col [deleted file]
fibon/Hackage/Fgl/le450_15a.col [deleted file]
fibon/Hackage/Fgl/le450_15b.col [deleted file]
fibon/Hackage/Fgl/le450_15c.col [deleted file]
fibon/Hackage/Fgl/le450_15d.col [deleted file]
fibon/Hackage/Fgl/le450_25a.col [deleted file]
fibon/Hackage/Fgl/le450_25b.col [deleted file]
fibon/Hackage/Fgl/le450_25c.col [deleted file]
fibon/Hackage/Fgl/le450_25d.col [deleted file]
fibon/Hackage/Fgl/le450_5a.col [deleted file]
fibon/Hackage/Fgl/le450_5b.col [deleted file]
fibon/Hackage/Fgl/le450_5c.col [deleted file]
fibon/Hackage/Fgl/le450_5d.col [deleted file]
fibon/Hackage/Fst/Fst.stdout [deleted file]
fibon/Hackage/Fst/LICENSE [deleted file]
fibon/Hackage/Fst/Makefile [deleted file]
fibon/Hackage/Fst/PLONK [deleted file]
fibon/Hackage/Fst/soda.fst [deleted file]
fibon/Hackage/Fst/src/FST/Alex.hs [deleted file]
fibon/Hackage/Fst/src/FST/Arguments.hs [deleted file]
fibon/Hackage/Fst/src/FST/Automaton.hs [deleted file]
fibon/Hackage/Fst/src/FST/AutomatonInterface.hs [deleted file]
fibon/Hackage/Fst/src/FST/AutomatonTypes.hs [deleted file]
fibon/Hackage/Fst/src/FST/Complete.hs [deleted file]
fibon/Hackage/Fst/src/FST/Deterministic.hs [deleted file]
fibon/Hackage/Fst/src/FST/DeterministicT.hs [deleted file]
fibon/Hackage/Fst/src/FST/EpsilonFreeT.hs [deleted file]
fibon/Hackage/Fst/src/FST/FileImport.hs [deleted file]
fibon/Hackage/Fst/src/FST/GetOpt.hs [deleted file]
fibon/Hackage/Fst/src/FST/Info.hs [deleted file]
fibon/Hackage/Fst/src/FST/LBFA.hs [deleted file]
fibon/Hackage/Fst/src/FST/LBFT.hs [deleted file]
fibon/Hackage/Fst/src/FST/Lexer.hs [deleted file]
fibon/Hackage/Fst/src/FST/Main.hs [deleted file]
fibon/Hackage/Fst/src/FST/MinimalBrzozowski.hs [deleted file]
fibon/Hackage/Fst/src/FST/MinimalTBrzozowski.hs [deleted file]
fibon/Hackage/Fst/src/FST/NReg.hs [deleted file]
fibon/Hackage/Fst/src/FST/Parse.hs [deleted file]
fibon/Hackage/Fst/src/FST/RRegTypes.hs [deleted file]
fibon/Hackage/Fst/src/FST/RegTypes.hs [deleted file]
fibon/Hackage/Fst/src/FST/Reversal.hs [deleted file]
fibon/Hackage/Fst/src/FST/ReversalT.hs [deleted file]
fibon/Hackage/Fst/src/FST/RunTransducer.hs [deleted file]
fibon/Hackage/Fst/src/FST/StateMonad.hs [deleted file]
fibon/Hackage/Fst/src/FST/Transducer.hs [deleted file]
fibon/Hackage/Fst/src/FST/TransducerInterface.hs [deleted file]
fibon/Hackage/Fst/src/FST/TransducerTypes.hs [deleted file]
fibon/Hackage/Fst/src/FST/Utils.hs [deleted file]
fibon/Hackage/Funsat/CHANGES [deleted file]
fibon/Hackage/Funsat/Funsat.stdout [deleted file]
fibon/Hackage/Funsat/LICENSE [deleted file]
fibon/Hackage/Funsat/Main.hs [deleted file]
fibon/Hackage/Funsat/Makefile [deleted file]
fibon/Hackage/Funsat/README [deleted file]
fibon/Hackage/Funsat/bimap/Data/Bimap.hs [deleted file]
fibon/Hackage/Funsat/bimap/HISTORY [deleted file]
fibon/Hackage/Funsat/bimap/LICENSE [deleted file]
fibon/Hackage/Funsat/bimap/Setup.lhs [deleted file]
fibon/Hackage/Funsat/bimap/Test/RunTests.hs [deleted file]
fibon/Hackage/Funsat/bimap/Test/Tests.hs [deleted file]
fibon/Hackage/Funsat/bimap/Test/Util.hs [deleted file]
fibon/Hackage/Funsat/bimap/bimap.cabal [deleted file]
fibon/Hackage/Funsat/bimap/tests.sh [deleted file]
fibon/Hackage/Funsat/bitset/Data/BitSet.hs [deleted file]
fibon/Hackage/Funsat/bitset/LICENSE [deleted file]
fibon/Hackage/Funsat/bitset/Setup.lhs [deleted file]
fibon/Hackage/Funsat/bitset/bitset.cabal [deleted file]
fibon/Hackage/Funsat/bitset/tests/Properties.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Basic.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Example.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Graph.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Graphviz.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/FiniteMap.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Heap.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Queue.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/RootPath.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Thread.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Monad.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Monad/IOArray.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/NodeMap.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/PatriciaTree.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/ArtPoint.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/BCC.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/BFS.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/DFS.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/Dominators.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/GVD.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/Indep.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/MST.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow2.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/Monad.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/SP.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Query/TransClos.hs [deleted file]
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Tree.hs [deleted file]
fibon/Hackage/Funsat/fgl/LICENSE [deleted file]
fibon/Hackage/Funsat/fgl/Setup.hs [deleted file]
fibon/Hackage/Funsat/fgl/fgl.cabal [deleted file]
fibon/Hackage/Funsat/generated/Paths_funsat.hs [deleted file]
fibon/Hackage/Funsat/hole8.cnf [deleted file]
fibon/Hackage/Funsat/par16-5.cnf [deleted file]
fibon/Hackage/Funsat/parse-dimacs/CHANGES [deleted file]
fibon/Hackage/Funsat/parse-dimacs/LICENSE [deleted file]
fibon/Hackage/Funsat/parse-dimacs/Language/CNF/Parse/ParseDIMACS.hs [deleted file]
fibon/Hackage/Funsat/parse-dimacs/Setup.hs [deleted file]
fibon/Hackage/Funsat/parse-dimacs/parse-dimacs.cabal [deleted file]
fibon/Hackage/Funsat/parsec/LICENSE [deleted file]
fibon/Hackage/Funsat/parsec/Setup.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/ByteString.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/ByteString/Lazy.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Char.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Combinator.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Error.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Expr.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Language.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Perm.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Pos.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Prim.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/String.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/Parsec/Token.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Char.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Combinator.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Error.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Expr.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Language.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Perm.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Pos.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Prim.hs [deleted file]
fibon/Hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Token.hs [deleted file]
fibon/Hackage/Funsat/parsec/parsec.cabal [deleted file]
fibon/Hackage/Funsat/src/Control/Monad/MonadST.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Circuit.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/FastDom.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Monad.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Resolution.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Solver.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Types.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Types/Internal.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Utils.hs [deleted file]
fibon/Hackage/Funsat/src/Funsat/Utils/Internal.hs [deleted file]
fibon/Hackage/Funsat/src/Text/Tabular.hs [deleted file]
fibon/Hackage/Funsat/syb/LICENSE [deleted file]
fibon/Hackage/Funsat/syb/Setup.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Aliases.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Basics.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Builders.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Instances.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Schemes.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Text.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Data/Generics/Twins.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Aliases.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Basics.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Builders.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Instances.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Schemes.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Text.hs [deleted file]
fibon/Hackage/Funsat/syb/src/Generics/SYB/Twins.hs [deleted file]
fibon/Hackage/Funsat/syb/syb.cabal [deleted file]
fibon/Hackage/Funsat/syb/tests/Bits.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Builders.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/CompanyDatatypes.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Datatype.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Encode.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Ext.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Ext1.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/FoldTree.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/FreeNames.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GEq.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GMapQAssoc.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GShow.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GShow2.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GZip.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GenUpTo.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/GetC.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Gread.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Gread2.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/HList.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/HOPat.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Labels.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/LocalQuantors.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Main.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/NestedDatatypes.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Newtype.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Paradise.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Perm.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Polymatch.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Reify.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Strings.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Tree.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Twin.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Typeable.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Typecase1.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Typecase2.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/Where.hs [deleted file]
fibon/Hackage/Funsat/syb/tests/XML.hs [deleted file]
fibon/Hackage/Gf/Adjective.gf [deleted file]
fibon/Hackage/Gf/AdjectiveEng.gf [deleted file]
fibon/Hackage/Gf/AdjectiveFre.gf [deleted file]
fibon/Hackage/Gf/AdjectiveRomance.gf [deleted file]
fibon/Hackage/Gf/Adverb.gf [deleted file]
fibon/Hackage/Gf/AdverbEng.gf [deleted file]
fibon/Hackage/Gf/AdverbFre.gf [deleted file]
fibon/Hackage/Gf/AdverbRomance.gf [deleted file]
fibon/Hackage/Gf/AllEng.gf [deleted file]
fibon/Hackage/Gf/AllEngAbs.gf [deleted file]
fibon/Hackage/Gf/AllFre.gf [deleted file]
fibon/Hackage/Gf/AllFreAbs.gf [deleted file]
fibon/Hackage/Gf/Backward.gf [deleted file]
fibon/Hackage/Gf/BackwardEng.gf [deleted file]
fibon/Hackage/Gf/BeschFre.gf [deleted file]
fibon/Hackage/Gf/Cat.gf [deleted file]
fibon/Hackage/Gf/CatEng.gf [deleted file]
fibon/Hackage/Gf/CatFre.gf [deleted file]
fibon/Hackage/Gf/CatRomance.gf [deleted file]
fibon/Hackage/Gf/Common.gf [deleted file]
fibon/Hackage/Gf/CommonRomance.gf [deleted file]
fibon/Hackage/Gf/CommonX.gf [deleted file]
fibon/Hackage/Gf/Compatibility.gf [deleted file]
fibon/Hackage/Gf/CompatibilityCat.gf [deleted file]
fibon/Hackage/Gf/CompatibilityEng.gf [deleted file]
fibon/Hackage/Gf/CompatibilityFre.gf [deleted file]
fibon/Hackage/Gf/Conjunction.gf [deleted file]
fibon/Hackage/Gf/ConjunctionEng.gf [deleted file]
fibon/Hackage/Gf/ConjunctionFre.gf [deleted file]
fibon/Hackage/Gf/ConjunctionRomance.gf [deleted file]
fibon/Hackage/Gf/ConstructX.gf [deleted file]
fibon/Hackage/Gf/Coordination.gf [deleted file]
fibon/Hackage/Gf/DictEng.gf [deleted file]
fibon/Hackage/Gf/DictEngAbs.gf [deleted file]
fibon/Hackage/Gf/DiffFre.gf [deleted file]
fibon/Hackage/Gf/DiffRomance.gf [deleted file]
fibon/Hackage/Gf/Eng.gf [deleted file]
fibon/Hackage/Gf/EngDescr.gf [deleted file]
fibon/Hackage/Gf/EngReal.gf [deleted file]
fibon/Hackage/Gf/ExtRomance.gf [deleted file]
fibon/Hackage/Gf/Extra.gf [deleted file]
fibon/Hackage/Gf/ExtraEng.gf [deleted file]
fibon/Hackage/Gf/ExtraEngAbs.gf [deleted file]
fibon/Hackage/Gf/ExtraFre.gf [deleted file]
fibon/Hackage/Gf/ExtraFreAbs.gf [deleted file]
fibon/Hackage/Gf/ExtraRomance.gf [deleted file]
fibon/Hackage/Gf/ExtraRomanceAbs.gf [deleted file]
fibon/Hackage/Gf/ExtraRomanceFre.gf [deleted file]
fibon/Hackage/Gf/Formal.gf [deleted file]
fibon/Hackage/Gf/Fre.gf [deleted file]
fibon/Hackage/Gf/Fre.hs.expected [deleted file]
fibon/Hackage/Gf/FreDescr.gf [deleted file]
fibon/Hackage/Gf/FreReal.gf [deleted file]
fibon/Hackage/Gf/Grammar.gf [deleted file]
fibon/Hackage/Gf/GrammarEng.gf [deleted file]
fibon/Hackage/Gf/GrammarFre.gf [deleted file]
fibon/Hackage/Gf/HTML.gf [deleted file]
fibon/Hackage/Gf/Idiom.gf [deleted file]
fibon/Hackage/Gf/IdiomEng.gf [deleted file]
fibon/Hackage/Gf/IdiomFre.gf [deleted file]
fibon/Hackage/Gf/IrregEng.gf [deleted file]
fibon/Hackage/Gf/IrregEngAbs.gf [deleted file]
fibon/Hackage/Gf/IrregFre.gf [deleted file]
fibon/Hackage/Gf/IrregFreAbs.gf [deleted file]
fibon/Hackage/Gf/LICENSE [deleted file]
fibon/Hackage/Gf/Lang.gf [deleted file]
fibon/Hackage/Gf/LangEng.gf [deleted file]
fibon/Hackage/Gf/LangFre.gf [deleted file]
fibon/Hackage/Gf/Latex.gf [deleted file]
fibon/Hackage/Gf/Lexicon.gf [deleted file]
fibon/Hackage/Gf/LexiconEng.gf [deleted file]
fibon/Hackage/Gf/LexiconFre.gf [deleted file]
fibon/Hackage/Gf/MakeStructuralEng.gf [deleted file]
fibon/Hackage/Gf/MakeStructuralFre.gf [deleted file]
fibon/Hackage/Gf/Makefile [deleted file]
fibon/Hackage/Gf/MorphoEng.gf [deleted file]
fibon/Hackage/Gf/MorphoFre.gf [deleted file]
fibon/Hackage/Gf/Noun.gf [deleted file]
fibon/Hackage/Gf/NounEng.gf [deleted file]
fibon/Hackage/Gf/NounFre.gf [deleted file]
fibon/Hackage/Gf/NounRomance.gf [deleted file]
fibon/Hackage/Gf/Numeral.gf [deleted file]
fibon/Hackage/Gf/NumeralEng.gf [deleted file]
fibon/Hackage/Gf/NumeralFre.gf [deleted file]
fibon/Hackage/Gf/NumeralTransfer.gf [deleted file]
fibon/Hackage/Gf/Overload.gf [deleted file]
fibon/Hackage/Gf/OverloadEng.gf [deleted file]
fibon/Hackage/Gf/ParadigmsEng.gf [deleted file]
fibon/Hackage/Gf/ParadigmsFre.gf [deleted file]
fibon/Hackage/Gf/ParamX.gf [deleted file]
fibon/Hackage/Gf/PhonoFre.gf [deleted file]
fibon/Hackage/Gf/Phrase.gf [deleted file]
fibon/Hackage/Gf/PhraseEng.gf [deleted file]
fibon/Hackage/Gf/PhraseFre.gf [deleted file]
fibon/Hackage/Gf/PhraseRomance.gf [deleted file]
fibon/Hackage/Gf/Precedence.gf [deleted file]
fibon/Hackage/Gf/Predef.gf [deleted file]
fibon/Hackage/Gf/PredefAbs.gf [deleted file]
fibon/Hackage/Gf/PredefCnc.gf [deleted file]
fibon/Hackage/Gf/Prelude.gf [deleted file]
fibon/Hackage/Gf/Question.gf [deleted file]
fibon/Hackage/Gf/QuestionEng.gf [deleted file]
fibon/Hackage/Gf/QuestionFre.gf [deleted file]
fibon/Hackage/Gf/QuestionRomance.gf [deleted file]
fibon/Hackage/Gf/README [deleted file]
fibon/Hackage/Gf/Relative.gf [deleted file]
fibon/Hackage/Gf/RelativeEng.gf [deleted file]
fibon/Hackage/Gf/RelativeFre.gf [deleted file]
fibon/Hackage/Gf/RelativeRomance.gf [deleted file]
fibon/Hackage/Gf/ResEng.gf [deleted file]
fibon/Hackage/Gf/ResFre.gf [deleted file]
fibon/Hackage/Gf/ResRomance.gf [deleted file]
fibon/Hackage/Gf/Sentence.gf [deleted file]
fibon/Hackage/Gf/SentenceEng.gf [deleted file]
fibon/Hackage/Gf/SentenceFre.gf [deleted file]
fibon/Hackage/Gf/SentenceRomance.gf [deleted file]
fibon/Hackage/Gf/Structural.gf [deleted file]
fibon/Hackage/Gf/StructuralEng.gf [deleted file]
fibon/Hackage/Gf/StructuralFre.gf [deleted file]
fibon/Hackage/Gf/Symbol.gf [deleted file]
fibon/Hackage/Gf/SymbolEng.gf [deleted file]
fibon/Hackage/Gf/SymbolFre.gf [deleted file]
fibon/Hackage/Gf/SymbolRomance.gf [deleted file]
fibon/Hackage/Gf/Tense.gf [deleted file]
fibon/Hackage/Gf/TenseFre.gf [deleted file]
fibon/Hackage/Gf/TenseRomance.gf [deleted file]
fibon/Hackage/Gf/TenseX.gf [deleted file]
fibon/Hackage/Gf/Text.gf [deleted file]
fibon/Hackage/Gf/TextX.gf [deleted file]
fibon/Hackage/Gf/Verb.gf [deleted file]
fibon/Hackage/Gf/VerbEng.gf [deleted file]
fibon/Hackage/Gf/VerbFre.gf [deleted file]
fibon/Hackage/Gf/VerbRomance.gf [deleted file]
fibon/Hackage/Gf/generated/Paths_gf.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Abstract.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Commands.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Importing.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Interpreter.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Messages.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/Parse.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Command/TreeOperations.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Abstract/Compute.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Abstract/TC.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Abstract/TypeCheck.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/CheckGrammar.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Coding.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Concrete/AppPredefined.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Concrete/Compute.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Concrete/TypeCheck.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/ExampleBased.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Export.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/GeneratePMCFG.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/GetGrammar.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/GrammarToPGF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/ModDeps.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Optimize.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/PGFtoHaskell.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/PGFtoJS.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/PGFtoLProlog.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/PGFtoProlog.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/ReadFiles.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Refresh.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Rename.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/SubExOpt.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Compile/Update.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/BacktrackM.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/ErrM.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Graph.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Graphviz.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Operations.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Relation.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/SortedList.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Str.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/TrieMap.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Utilities.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/XML.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Data/Zipper.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Binary.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/CF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Grammar.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Lexer.x [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Lockfield.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Lookup.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/MMacros.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Macros.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Parser.y [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/PatternMatch.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Predef.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Printer.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/ShowTerm.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Unify.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Grammar/Values.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/CheckM.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/CompactPrint.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/Dependencies.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/GetOpt.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/Ident.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/Modules.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/Option.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Infra/UseIO.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/AbsJS.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/JS.cf [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/LexJS.x [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/Makefile [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/ParJS.y [deleted file]
fibon/Hackage/Gf/src/compiler/GF/JavaScript/PrintJS.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Quiz.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/CFG.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/CFGToFA.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/FiniteState.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/GSL.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/JSGF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/PGFToCFG.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/PrRegExp.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/RegExp.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/SISR.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/SLF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/SRG.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/SRGS_ABNF.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/SRGS_XML.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Speech/VoiceXML.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/System/NoSignal.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/System/Signal.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/System/UseSignal.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Text/Coding.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Text/Lexing.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GF/Text/Transliterations.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GFC.hs [deleted file]
fibon/Hackage/Gf/src/compiler/GFI.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/Data/Binary.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/Data/Binary/Builder.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/Data/Binary/Get.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/Data/Binary/Put.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Binary.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/CId.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Check.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Data.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Editor.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Expr.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Expr.hs-boot [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Generate.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Linearize.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Macros.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Morphology.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Paraphrase.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Parse.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Printer.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Probabilistic.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Tree.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/Type.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/TypeCheck.hs [deleted file]
fibon/Hackage/Gf/src/runtime/haskell/PGF/VisualizeTree.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX.stdout [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Dfa.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Dfa2MDfa.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/DfaMonad.lhs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Equivalence.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Examples/Real.lhs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Examples/Robot.lhs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Fa2RegExp.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/FaAsDiGraph.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/FaClasses.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/FaOperations.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Minimize.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Ndfa.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Parser.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/RegExp.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/RegExp2Fa.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/RegExpAsDiGraph.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/RegExpParser.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_lib/Language/HaLex/Util.hs [deleted file]
fibon/Hackage/HaLeX/HaLeX_tool/halex.hs [deleted file]
fibon/Hackage/HaLeX/INSTALL [deleted file]
fibon/Hackage/HaLeX/LICENSE [deleted file]
fibon/Hackage/HaLeX/Makefile [deleted file]
fibon/Hackage/HaLeX/README [deleted file]
fibon/Hackage/HaLeX/example/GenMDfa.hs [deleted file]
fibon/Hackage/HaLeX/example/README [deleted file]
fibon/Hackage/HaLeX/example/real [deleted file]
fibon/Hackage/HaLeX/example/real_dfa.hs [deleted file]
fibon/Hackage/HaLeX/example/real_dfa.ps [deleted file]
fibon/Hackage/HaLeX/example/real_ndfa.hs [deleted file]
fibon/Hackage/HaLeX/example/real_ndfa.ps [deleted file]
fibon/Hackage/HaLeX/real [deleted file]
fibon/Hackage/HaLeX/scripts/Make_Animation [deleted file]
fibon/Hackage/HaLeX/scripts/faAnim.lefty [deleted file]
fibon/Hackage/Happy/ANNOUNCE [deleted file]
fibon/Hackage/Happy/Bio.y [deleted file]
fibon/Hackage/Happy/CHANGES [deleted file]
fibon/Hackage/Happy/ErlParser.ly [deleted file]
fibon/Hackage/Happy/Happy.stderr [deleted file]
fibon/Hackage/Happy/HappyTemplate [deleted file]
fibon/Hackage/Happy/HaskellParser.y [deleted file]
fibon/Hackage/Happy/LICENSE [deleted file]
fibon/Hackage/Happy/Makefile [deleted file]
fibon/Hackage/Happy/README [deleted file]
fibon/Hackage/Happy/TODO [deleted file]
fibon/Hackage/Happy/TestInput.hs.expected [deleted file]
fibon/Hackage/Happy/TestInput.y [deleted file]
fibon/Hackage/Happy/generated/AttrGrammarParser.hs [deleted file]
fibon/Hackage/Happy/generated/Parser.hs [deleted file]
fibon/Hackage/Happy/generated/Paths_happy.hs [deleted file]
fibon/Hackage/Happy/happy.spec [deleted file]
fibon/Hackage/Happy/happy.stderr.expected [deleted file]
fibon/Hackage/Happy/src/ARRAY-NOTES [deleted file]
fibon/Hackage/Happy/src/AbsSyn.lhs [deleted file]
fibon/Hackage/Happy/src/AttrGrammar.lhs [deleted file]
fibon/Hackage/Happy/src/AttrGrammarParser.ly [deleted file]
fibon/Hackage/Happy/src/First.lhs [deleted file]
fibon/Hackage/Happy/src/GenUtils.lhs [deleted file]
fibon/Hackage/Happy/src/Grammar.lhs [deleted file]
fibon/Hackage/Happy/src/Info.lhs [deleted file]
fibon/Hackage/Happy/src/LALR.lhs [deleted file]
fibon/Hackage/Happy/src/Lexer.lhs [deleted file]
fibon/Hackage/Happy/src/Main.lhs [deleted file]
fibon/Hackage/Happy/src/NameSet.hs [deleted file]
fibon/Hackage/Happy/src/ParamRules.hs [deleted file]
fibon/Hackage/Happy/src/ParseMonad.lhs [deleted file]
fibon/Hackage/Happy/src/Parser.ly [deleted file]
fibon/Hackage/Happy/src/ProduceCode.lhs [deleted file]
fibon/Hackage/Happy/src/ProduceGLRCode.lhs [deleted file]
fibon/Hackage/Happy/src/Target.lhs [deleted file]
fibon/Hackage/Happy/templates/GLR_Base.hs [deleted file]
fibon/Hackage/Happy/templates/GLR_Lib.hs [deleted file]
fibon/Hackage/Happy/templates/GenericTemplate.hs [deleted file]
fibon/Hackage/Hgalib/Chromosome/ANN.hs [deleted file]
fibon/Hackage/Hgalib/Chromosome/Bits.hs [deleted file]
fibon/Hackage/Hgalib/Chromosome/GP.hs [deleted file]
fibon/Hackage/Hgalib/GA.hs [deleted file]
fibon/Hackage/Hgalib/Hgalib.stdout [deleted file]
fibon/Hackage/Hgalib/LICENSE [deleted file]
fibon/Hackage/Hgalib/Makefile [deleted file]
fibon/Hackage/Hgalib/Population/Array.hs [deleted file]
fibon/Hackage/Hgalib/Population/List.hs [deleted file]
fibon/Hackage/Hgalib/README [deleted file]
fibon/Hackage/Hgalib/examples/ANNTest.hs [deleted file]
fibon/Hackage/Hgalib/examples/BitTest.hs [deleted file]
fibon/Hackage/Hgalib/examples/GPTest.hs [deleted file]
fibon/Hackage/Makefile [deleted file]
fibon/Hackage/Palindromes/CREDITS [deleted file]
fibon/Hackage/Palindromes/LICENSE [deleted file]
fibon/Hackage/Palindromes/Makefile [deleted file]
fibon/Hackage/Palindromes/Palindromes.stdout [deleted file]
fibon/Hackage/Palindromes/README [deleted file]
fibon/Hackage/Palindromes/RELEASE_HISTORY [deleted file]
fibon/Hackage/Palindromes/annakarenina.txt [deleted file]
fibon/Hackage/Palindromes/huckfinn.txt [deleted file]
fibon/Hackage/Palindromes/olivertwist.txt [deleted file]
fibon/Hackage/Palindromes/src/Data/Algorithms/Palindromes/Main.hs [deleted file]
fibon/Hackage/Palindromes/src/Data/Algorithms/Palindromes/Options.hs [deleted file]
fibon/Hackage/Palindromes/src/Data/Algorithms/Palindromes/Palindromes.hs [deleted file]
fibon/Hackage/Palindromes/swannsway.txt [deleted file]
fibon/Hackage/Pappy/Blowfish.java [deleted file]
fibon/Hackage/Pappy/CAST5.java [deleted file]
fibon/Hackage/Pappy/DES.java [deleted file]
fibon/Hackage/Pappy/LICENSE [deleted file]
fibon/Hackage/Pappy/Makefile [deleted file]
fibon/Hackage/Pappy/Pappy.stdout [deleted file]
fibon/Hackage/Pappy/SPEED.java [deleted file]
fibon/Hackage/Pappy/Scar.java [deleted file]
fibon/Hackage/Pappy/TestRijndael.java [deleted file]
fibon/Hackage/Pappy/examples/Arith.hs [deleted file]
fibon/Hackage/Pappy/examples/Arith.pappy [deleted file]
fibon/Hackage/Pappy/examples/Java.hs [deleted file]
fibon/Hackage/Pappy/examples/Java.pappy [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/BlockMessageDigest.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/Blowfish.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/CAST5.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/DES.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/DES2X.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/DESX.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/DES_EDE3.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/HAVAL.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/HexDump.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/IDEA.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/KAT.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/LOKI91.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/MCT.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/MD2.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/MD4.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/MD5.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/NativeLink.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/RC2.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/RC4.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/RIPEMD128.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/RIPEMD160.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/Rijndael.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/SAFER.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/SHA0.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/SHA1.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/SPEED.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/Scar.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/Square.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/Test3LFSR.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestAll.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestBR.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestBase64Stream.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestBlowfish.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestCAST5.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestDES.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestDES_EDE3.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestElGamal.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestHAVAL.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestHMAC.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestIDEA.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestIJCE.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestInstall.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestLOKI91.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestMD2.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestMD4.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestMD5.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRC2.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRC4.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRIPEMD128.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRIPEMD160.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRSA.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestRijndael.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestSAFER.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestSHA0.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestSHA1.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestSPEED.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestScar.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestSquare.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/TestUnixCrypt.java [deleted file]
fibon/Hackage/Pappy/examples/testsuite-java/UnixCrypt.java [deleted file]
fibon/Hackage/Pappy/java-parser/JavaMonad.hs [deleted file]
fibon/Hackage/Pappy/src/Main.hs [deleted file]
fibon/Hackage/Pappy/src/MemoAnalysis.hs [deleted file]
fibon/Hackage/Pappy/src/Pappy.hs [deleted file]
fibon/Hackage/Pappy/src/Parse.hs [deleted file]
fibon/Hackage/Pappy/src/Pos.hs [deleted file]
fibon/Hackage/Pappy/src/ReadGrammar.hs [deleted file]
fibon/Hackage/Pappy/src/ReduceGrammar.hs [deleted file]
fibon/Hackage/Pappy/src/SimplifyGrammar.hs [deleted file]
fibon/Hackage/Pappy/src/WriteParser.hs [deleted file]
fibon/Hackage/QuickCheck/LICENSE [deleted file]
fibon/Hackage/QuickCheck/Makefile [deleted file]
fibon/Hackage/QuickCheck/QuickCheck.stdout [deleted file]
fibon/Hackage/QuickCheck/README [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Arbitrary.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Exception.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Function.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Gen.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Modifiers.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Monadic.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Poly.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Property.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/State.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Test.hs [deleted file]
fibon/Hackage/QuickCheck/Test/QuickCheck/Text.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExFol.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExHeap.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExLambda.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExMerge.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExSet.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExSet2.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExSimple.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExTrie.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExWeird.hs [deleted file]
fibon/Hackage/QuickCheck/examples/ExWords.hs [deleted file]
fibon/Hackage/QuickCheck/examples/Example1.hs [deleted file]
fibon/Hackage/QuickCheck/examples/Example2.hs [deleted file]
fibon/Hackage/QuickCheck/examples/Main.hs [deleted file]
fibon/Hackage/QuickCheck/examples/Set.hs [deleted file]
fibon/Hackage/Regex/LICENSE [deleted file]
fibon/Hackage/Regex/Makefile [deleted file]
fibon/Hackage/Regex/Regex.stdout [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString/LeftToRight.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString/LeftToRightD.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString/Posix.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString/RightToLeft.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ByteString/TwoPasses.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Common.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Dictionary.hs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/ExtPattern.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/IntPattern.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Nfa.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Parse.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Pretty.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/RE.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Translate.lhs [deleted file]
fibon/Hackage/Regex/Text/Regex/PDeriv/Word.lhs [deleted file]
fibon/Hackage/Regex/addr.txt [deleted file]
fibon/Hackage/Regex/bench/Main.hs [deleted file]
fibon/Hackage/Regex/bitset/Data/BitSet.hs [deleted file]
fibon/Hackage/Regex/bitset/LICENSE [deleted file]
fibon/Hackage/Regex/bitset/Setup.hs [deleted file]
fibon/Hackage/Regex/bitset/bitset.cabal [deleted file]
fibon/Hackage/Regex/bitset/tests/Properties.hs [deleted file]
fibon/Hackage/Regex/deepseq/Control/DeepSeq.hs [deleted file]
fibon/Hackage/Regex/deepseq/LICENSE [deleted file]
fibon/Hackage/Regex/deepseq/Setup.hs [deleted file]
fibon/Hackage/Regex/deepseq/deepseq.cabal [deleted file]
fibon/Hackage/Regex/parsec/LICENSE [deleted file]
fibon/Hackage/Regex/parsec/Setup.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Char.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Combinator.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Error.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Expr.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Language.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Perm.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Pos.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Prim.hs [deleted file]
fibon/Hackage/Regex/parsec/Text/ParserCombinators/Parsec/Token.hs [deleted file]
fibon/Hackage/Regex/parsec/parsec.cabal [deleted file]
fibon/Hackage/Regex/regex-base/LICENSE [deleted file]
fibon/Hackage/Regex/regex-base/Setup.hs [deleted file]
fibon/Hackage/Regex/regex-base/Text/Regex/Base.hs [deleted file]
fibon/Hackage/Regex/regex-base/Text/Regex/Base/Context.hs [deleted file]
fibon/Hackage/Regex/regex-base/Text/Regex/Base/Impl.hs [deleted file]
fibon/Hackage/Regex/regex-base/Text/Regex/Base/RegexLike.hs [deleted file]
fibon/Hackage/Regex/regex-base/regex-base.cabal [deleted file]
fibon/Hackage/Simgi/.gitignore [deleted file]
fibon/Hackage/Simgi/AUTHORS [deleted file]
fibon/Hackage/Simgi/COPYING [deleted file]
fibon/Hackage/Simgi/ChangeLog [deleted file]
fibon/Hackage/Simgi/INSTALL [deleted file]
fibon/Hackage/Simgi/Makefile [deleted file]
fibon/Hackage/Simgi/Models/brusselator.sgl [deleted file]
fibon/Hackage/Simgi/Models/irreversible_bimol.sgl [deleted file]
fibon/Hackage/Simgi/Models/irreversible_trimol.sgl [deleted file]
fibon/Hackage/Simgi/Models/oregonator.sgl [deleted file]
fibon/Hackage/Simgi/Models/reversible_bimol.sgl [deleted file]
fibon/Hackage/Simgi/Models/reversible_trimol.sgl [deleted file]
fibon/Hackage/Simgi/Models/volterra.sgl [deleted file]
fibon/Hackage/Simgi/README [deleted file]
fibon/Hackage/Simgi/Simgi.stdout [deleted file]
fibon/Hackage/Simgi/doc/Makefile [deleted file]
fibon/Hackage/Simgi/doc/simgi.html [deleted file]
fibon/Hackage/Simgi/doc/simgi.mdml [deleted file]
fibon/Hackage/Simgi/doc/simgi.pdf [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/LICENSE [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/LICENSE.mt19937-64 [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/Setup.lhs [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/System/Random/Mersenne/Pure64.hs [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/System/Random/Mersenne/Pure64/Base.hsc [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/System/Random/Mersenne/Pure64/MTBlock.hs [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/TODO [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/cbits/mt19937-64-block.c [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/cbits/mt19937-64-unsafe.c [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/cbits/mt19937-64.c [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/include/mt19937-64-block.h [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/include/mt19937-64-unsafe.h [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/include/mt19937-64.h [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/mersenne-random-pure64.cabal [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/tests/Unit.hs [deleted file]
fibon/Hackage/Simgi/mersenne-random-pure64/tests/copy.hs [deleted file]
fibon/Hackage/Simgi/oregonator.sgl [deleted file]
fibon/Hackage/Simgi/oregonator_output.dat.expected [deleted file]
fibon/Hackage/Simgi/parsec-2/LICENSE [deleted file]
fibon/Hackage/Simgi/parsec-2/Setup.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Char.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Combinator.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Error.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Expr.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Language.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Perm.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Pos.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Prim.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/Text/ParserCombinators/Parsec/Token.hs [deleted file]
fibon/Hackage/Simgi/parsec-2/parsec.cabal [deleted file]
fibon/Hackage/Simgi/src/CommandLine.hs [deleted file]
fibon/Hackage/Simgi/src/Engine.hs [deleted file]
fibon/Hackage/Simgi/src/ExtraFunctions.hs [deleted file]
fibon/Hackage/Simgi/src/GenericModel.hs [deleted file]
fibon/Hackage/Simgi/src/IO.hs [deleted file]
fibon/Hackage/Simgi/src/InputCheck.hs [deleted file]
fibon/Hackage/Simgi/src/InputParser.hs [deleted file]
fibon/Hackage/Simgi/src/Messages.hs [deleted file]
fibon/Hackage/Simgi/src/PrettyPrint.hs [deleted file]
fibon/Hackage/Simgi/src/RpnCalc.hs [deleted file]
fibon/Hackage/Simgi/src/RpnData.hs [deleted file]
fibon/Hackage/Simgi/src/RpnParser.hs [deleted file]
fibon/Hackage/Simgi/src/TokenParser.hs [deleted file]
fibon/Hackage/Simgi/src/simgi.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Map/StringMap.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Map/TernaryMap.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Map/TernaryMap/Internal.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Set/StringSet.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Set/StringSet/Internal.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Set/TernarySet.hs [deleted file]
fibon/Hackage/TernaryTrees/Data/Set/TernarySet/Internal.hs [deleted file]
fibon/Hackage/TernaryTrees/LICENSE.txt [deleted file]
fibon/Hackage/TernaryTrees/Main.hs [deleted file]
fibon/Hackage/TernaryTrees/Makefile [deleted file]
fibon/Hackage/TernaryTrees/TernaryTrees.stdout [deleted file]
fibon/Hackage/TernaryTrees/olivertwist.txt [deleted file]
fibon/Hackage/TernaryTrees/words [deleted file]
fibon/Hackage/Xsact/LICENSE [deleted file]
fibon/Hackage/Xsact/Makefile [deleted file]
fibon/Hackage/Xsact/Xsact.stdout [deleted file]
fibon/Hackage/Xsact/doc/xsact.1 [deleted file]
fibon/Hackage/Xsact/pdbnt [deleted file]
fibon/Hackage/Xsact/src/ANSI.lhs [deleted file]
fibon/Hackage/Xsact/src/Clix.lhs [deleted file]
fibon/Hackage/Xsact/src/Cluster.lhs [deleted file]
fibon/Hackage/Xsact/src/EST.lhs [deleted file]
fibon/Hackage/Xsact/src/Fasta.lhs [deleted file]
fibon/Hackage/Xsact/src/Gene.hs [deleted file]
fibon/Hackage/Xsact/src/Indexed.lhs [deleted file]
fibon/Hackage/Xsact/src/Pairs.lhs [deleted file]
fibon/Hackage/Xsact/src/SpliceGraph.lhs [deleted file]
fibon/Hackage/Xsact/src/Stats.hs [deleted file]
fibon/Hackage/Xsact/src/Suffix.lhs [deleted file]
fibon/Hackage/Xsact/src/Util.hs [deleted file]
fibon/Hackage/Xsact/src/WordMap.lhs [deleted file]
fibon/Hackage/Xsact/src/Xplit.lhs [deleted file]
fibon/Hackage/Xsact/src/Xsact.lhs [deleted file]
fibon/Hackage/Xsact/src/Xtract.lhs [deleted file]
fibon/Hackage/Xsact/src/hooks.c [deleted file]
fibon/Hackage/Xsact/test-xsact/bigtest.sh [deleted file]
fibon/Hackage/Xsact/test-xsact/test.seq [deleted file]
fibon/Hackage/Xsact/test-xsact/test.sh [deleted file]
fibon/Hackage/Xsact/test-xsact/time.sh [deleted file]
fibon/Hackage/Xsact/test-xtract/ignN.seq [deleted file]
fibon/Hackage/Xsact/test-xtract/jump.seq [deleted file]
fibon/Hackage/Xsact/test-xtract/loop.seq [deleted file]
fibon/Hackage/Xsact/test-xtract/repword.seq [deleted file]
fibon/Hackage/Xsact/test-xtract/single.seq [deleted file]
fibon/Hackage/Xsact/test-xtract/test.sh [deleted file]
fibon/Hackage/Xsact/test-xtract/xtract.std [deleted file]
fibon/Makefile [deleted file]
fibon/Repa/Blur/Blur.stdout [deleted file]
fibon/Repa/Blur/Main.hs [deleted file]
fibon/Repa/Blur/Makefile [deleted file]
fibon/Repa/Blur/lena.bmp [deleted file]
fibon/Repa/Canny/Canny.stdout [deleted file]
fibon/Repa/Canny/Main.hs [deleted file]
fibon/Repa/Canny/Makefile [deleted file]
fibon/Repa/Canny/lena.bmp [deleted file]
fibon/Repa/FFT3d/FFT3d.stdout [deleted file]
fibon/Repa/FFT3d/Main.hs [deleted file]
fibon/Repa/FFT3d/Makefile [deleted file]
fibon/Repa/FFTHighPass2d/FFTHighPass2d.stdout [deleted file]
fibon/Repa/FFTHighPass2d/Main.hs [deleted file]
fibon/Repa/FFTHighPass2d/Makefile [deleted file]
fibon/Repa/FFTHighPass2d/lena.bmp [deleted file]
fibon/Repa/Laplace/Laplace.stdout [deleted file]
fibon/Repa/Laplace/Main.hs [deleted file]
fibon/Repa/Laplace/Makefile [deleted file]
fibon/Repa/Laplace/SolverGet.hs [deleted file]
fibon/Repa/Laplace/SolverStencil.hs [deleted file]
fibon/Repa/Laplace/pls-400x400.bmp [deleted file]
fibon/Repa/MMult/MMult.stdout [deleted file]
fibon/Repa/MMult/Main.hs [deleted file]
fibon/Repa/MMult/Makefile [deleted file]
fibon/Repa/Makefile [deleted file]
fibon/Repa/Sobel/Main.hs [deleted file]
fibon/Repa/Sobel/Makefile [deleted file]
fibon/Repa/Sobel/Sobel.stdout [deleted file]
fibon/Repa/Sobel/Solver.hs [deleted file]
fibon/Repa/Sobel/lena.bmp [deleted file]
fibon/Repa/Volume/Main.hs [deleted file]
fibon/Repa/Volume/Makefile [deleted file]
fibon/Repa/Volume/lena.bmp [deleted file]
fibon/Repa/_RepaLib/Makefile [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/Base.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/BitmapInfo.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/BitmapInfoV3.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/BitmapInfoV4.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/BitmapInfoV5.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/CIEXYZ.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/Compression.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/Error.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/FileHeader.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/Pack.hs [deleted file]
fibon/Repa/_RepaLib/bmp/Codec/BMP/Unpack.hs [deleted file]
fibon/Repa/_RepaLib/bmp/LICENSE [deleted file]
fibon/Repa/_RepaLib/bmp/Setup.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/LICENSE [deleted file]
fibon/Repa/_RepaLib/quickcheck/README [deleted file]
fibon/Repa/_RepaLib/quickcheck/Setup.lhs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/All.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Arbitrary.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Exception.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Function.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Gen.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Modifiers.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Monadic.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Poly.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Property.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/State.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Test.hs [deleted file]
fibon/Repa/_RepaLib/quickcheck/Test/QuickCheck/Text.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/Complex.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/Convolve.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/DFT.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/DFT/Center.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/DFT/Roots.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/FFT.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/Iterate.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/Matrix.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Data/Array/Repa/Algorithms/Randomish.hs [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/LICENSE [deleted file]
fibon/Repa/_RepaLib/repa-algorithms/Setup.hs [deleted file]
fibon/Repa/_RepaLib/repa-bytestring/Data/Array/Repa/ByteString.hs [deleted file]
fibon/Repa/_RepaLib/repa-bytestring/LICENSE [deleted file]
fibon/Repa/_RepaLib/repa-bytestring/Setup.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/BMP.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/Binary.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/ColorRamp.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/Internals/Text.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/Matrix.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/Timing.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/Data/Array/Repa/IO/Vector.hs [deleted file]
fibon/Repa/_RepaLib/repa-io/LICENSE [deleted file]
fibon/Repa/_RepaLib/repa-io/Setup.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Arbitrary.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Index.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/Base.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/Elt.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/EvalBlockwise.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/EvalChunked.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/EvalCursored.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/EvalReduction.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/Forcing.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/Gang.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Internals/Select.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/IndexSpace.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Interleave.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Mapping.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Modify.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Reduction.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Select.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Operators/Traverse.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Properties.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Shape.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Slice.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Specialised/Dim2.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Stencil.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Stencil/Base.hs [deleted file]
fibon/Repa/_RepaLib/repa/Data/Array/Repa/Stencil/Template.hs [deleted file]
fibon/Repa/_RepaLib/repa/LICENSE [deleted file]
fibon/Repa/_RepaLib/repa/Setup.hs [deleted file]
fibon/Shootout/ChameneosRedux/ChameneosRedux.stdout [deleted file]
fibon/Shootout/ChameneosRedux/LICENSE [deleted file]
fibon/Shootout/ChameneosRedux/Makefile [deleted file]
fibon/Shootout/ChameneosRedux/chameneosredux.hs [deleted file]
fibon/Shootout/Fannkuch/Fannkuch.stdout [deleted file]
fibon/Shootout/Fannkuch/LICENSE [deleted file]
fibon/Shootout/Fannkuch/Makefile [deleted file]
fibon/Shootout/Fannkuch/fannkuch.hs [deleted file]
fibon/Shootout/Makefile [deleted file]
fibon/Shootout/Mandelbrot/LICENSE [deleted file]
fibon/Shootout/Mandelbrot/Makefile [deleted file]
fibon/Shootout/Mandelbrot/Mandelbrot.stdout [deleted file]
fibon/Shootout/Mandelbrot/mandelbrot.hs [deleted file]

diff --git a/fibon/Hackage/Agum/Agum.stdout b/fibon/Hackage/Agum/Agum.stdout
deleted file mode 100644 (file)
index 5c06305..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-Abelian group unification and matching -- :? for help
-agum> Problem:   -4550x10 + 8161x1000 + 2743x101 + 3635x106 + 195x107 - 5654x108 - 3196x109 + 3325x11 - 14691x112 - 3201x113 - 2244x114 + 4521x115 - 4870x12 - 2379x121 + 6510x123 + 1210x124 - 9399x128 - 7227x13 - 15993x130 - 9058x131 - 9561x133 - 10920x134 + 8328x135 - 2102x136 - 7589x138 - 4297x140 + 9509x141 - 949x144 - 1245x145 + 212x147 + 2200x148 + 1801x150 - 1255x151 - 9356x152 + 2202x153 + 4459x159 + 1570x16 + 7255x160 + 7860x162 - 8148x165 - 17092x166 + 5570x167 - 3910x168 + 458x170 + 2577x171 + 9440x173 - 2694x174 + 16417x175 - 12635x177 + 5813x178 - 15684x18 - 2651x181 + 4525x182 - 6543x186 - 2419x187 - 4391x188 - 4139x189 - 6947x19 - 908x191 - 71x192 + 4482x193 + 7685x195 - 1098x200 + 6804x202 - 3136x205 - 6952x206 - 2260x207 - 12392x209 - 6362x21 + 608x211 + 3603x212 - 4014x213 - 18466x214 + 1655x218 + 6097x219 - 4049x220 - 1080x221 + 13883x228 - 8867x23 + 2567x230 + 2217x233 - 2567x234 - 496x239 - 8875x244 - 7539x245 - 16983x247 + 3539x248 + 10244x249 - 1000x250 - 8919x251 - 1623x253 + 9202x254 + 15970x255 - 9335x256 + 6673x258 + 8456x26 - 5220x260 + 7495x261 + 3068x263 + 540x267 + 4751x268 - 19223x27 - 8614x270 - 1111x271 - 2193x272 - 16504x273 - 1138x274 + 4684x276 - 844x277 - 12420x278 + 9977x279 - 731x28 + 14386x281 - 8650x282 + 4962x283 + 842x284 - 4696x285 - 1429x287 + 5190x29 - 7203x290 - 1552x292 - 7342x293 - 13569x295 + 1632x297 - 5114x299 + 911x300 - 9089x303 + 5569x304 - 1172x306 + 157x308 - 1894x309 - 1163x31 - 1751x310 + 4202x312 - 7763x313 + 5082x315 + 15316x316 - 619x317 + 436x318 + 1178x32 + 9749x322 - 9132x323 + 3008x325 - 4626x326 - 8477x329 + 4088x330 + 9642x334 - 6857x336 + 16117x34 + 2349x340 + 6829x341 + 5441x343 + 970x347 - 5709x348 + 15225x349 - 14406x35 + 1283x351 + 2506x353 - 8154x356 - 13958x360 - 608x361 + 2729x362 - 670x367 + 6417x369 - 6590x37 + 7336x370 - 15219x371 - 4680x372 - 290x373 + 9486x375 + 5198x377 - 158x379 + 3533x38 - 5911x381 - 6155x382 - 8318x383 + 5450x385 - 2411x387 + 6753x388 - 8473x391 + 2226x393 - 4645x395 + 16133x396 - 5946x397 + 4426x398 + 8748x399 - 2494x4 - 4763x40 - 4604x400 + 1629x401 - 5908x402 + 7131x403 + 10315x404 - 13350x405 - 1216x406 - 6615x41 - 7552x412 + 836x414 + 7163x415 - 10360x416 - 5728x42 - 1066x420 - 7581x422 - 4848x424 - 6172x427 - 1702x428 - 4379x430 + 9377x431 + 490x432 + 1129x433 + 9972x434 - 2763x436 + 9578x437 + 6020x439 - 7328x44 + 6535x440 + 7036x441 + 9904x443 - 2012x445 + 1130x446 + 7849x447 - 1291x45 + 6364x451 - 9021x452 - 9640x453 - 6024x458 - 2862x459 - 3937x46 - 8566x461 - 13731x462 + 14131x464 + 378x47 - 9347x470 + 6557x472 + 3758x473 - 14554x475 + 406x477 - 12423x478 + 1338x479 - 11143x482 - 8586x483 + 6563x484 + 15640x485 - 11743x486 + 8475x487 - 8236x49 - 1873x491 - 7808x492 + 7163x495 + 7976x497 - 8166x498 - 3838x50 - 470x501 - 5582x503 + 6159x504 + 9222x505 - 6896x507 + 11207x51 - 3167x511 - 4415x512 - 2943x513 - 9608x514 - 6168x516 + 709x517 + 3109x519 - 9052x52 + 12988x520 - 2999x521 + 11945x523 - 3489x525 + 6436x528 - 19166x531 + 760x532 - 8358x533 + 4384x534 - 7240x536 - 4202x538 - 5280x539 + 8439x54 - 9027x541 - 1468x542 - 5780x544 + 4282x545 + 2624x546 - 5144x547 - 1405x549 - 3183x550 - 6899x551 + 7422x552 + 15831x554 + 9834x556 + 4191x56 + 4629x560 - 1088x561 - 6538x562 + 1335x563 - 1681x567 + 513x568 + 3783x57 - 2751x571 + 11210x574 + 7968x575 + 5291x576 - 10174x578 + 4928x579 + 4896x58 + 6409x581 - 16144x582 - 1978x583 + 2070x585 - 16399x586 + 13379x588 - 6160x589 + 2351x59 - 5279x590 - 7527x591 + 8238x592 - 3747x593 - 6002x595 - 6522x596 + 2190x598 - 523x599 - 4010x600 + 1146x602 - 5463x603 + 403x605 + 5265x606 + 955x609 - 5909x613 + 100x614 - 499x616 + 13875x617 - 3997x618 - 7707x621 - 8631x622 + 8402x625 + 5193x626 + 665x627 + 5201x63 - 7079x630 - 7809x631 - 4083x632 + 2455x635 - 8013x636 - 1937x638 + 1219x639 - 5459x640 - 718x641 + 4166x642 + 7745x644 - 4948x647 - 7031x648 - 8674x649 + 1171x65 + 7888x653 - 9754x654 + 6891x655 - 1549x657 - 968x658 - 3971x659 + 363x66 + 7231x663 + 8606x664 + 4499x665 + 8594x666 - 964x668 - 695x67 - 3612x671 - 9425x674 - 9309x675 - 2097x676 + 4313x679 - 3329x68 - 7358x684 - 796x685 + 1778x686 + 4844x687 - 2517x688 - 7026x690 + 7444x692 + 2100x695 + 9512x697 - 9901x7 + 11110x70 + 8636x704 + 3636x706 - 8059x708 + 6512x710 - 8062x711 - 143x712 - 5148x713 + 4960x714 + 9842x715 - 8873x716 - 2114x717 + 5924x719 - 10439x72 + 6263x720 - 5914x721 + 7164x722 - 11965x723 - 7702x725 - 5532x726 + 1147x727 + 7109x728 + 3543x729 + 1475x73 - 5161x732 - 11658x736 - 2222x737 + 6512x738 - 7202x739 + 5754x740 + 679x746 + 4293x747 - 4907x748 - 2169x752 - 1908x757 - 11285x758 + 2708x76 + 8848x760 - 6173x762 - 5517x763 + 257x764 + 772x768 - 9649x769 + 9980x770 - 9309x774 + 5394x777 + 2129x778 + 8155x779 - 3841x780 + 2553x782 + 12571x784 - 15946x785 - 1239x786 - 12157x791 - 2552x793 + 9705x794 + 5739x795 + 20155x796 + 4313x797 - 2269x798 - 6760x799 + 9390x803 - 9979x804 + 6759x810 + 5302x811 + 231x812 + 3795x814 - 4290x815 + 5938x818 + 1952x82 - 20843x820 - 8614x821 + 8596x823 + 6913x827 - 175x833 - 1842x834 + 7151x836 - 771x837 + 3313x838 - 2257x840 + 7116x844 - 3408x845 + 3256x846 - 547x847 - 4863x848 + 1327x849 + 9214x852 - 2181x853 + 6929x854 + 3387x857 + 5717x858 + 5239x859 + 7400x86 + 9172x860 - 6111x861 + 3289x862 - 3574x863 + 1999x864 + 9184x865 - 2933x866 + 8618x867 - 7017x868 - 1424x869 - 16821x87 - 6290x870 + 7351x871 - 248x872 - 3702x873 + 8870x874 + 11996x876 + 11114x880 - 2207x882 + 5039x883 - 9340x884 - 3500x886 + 249x888 + 2540x89 - 13725x890 + 1924x891 - 4383x892 + 17166x893 - 6065x898 + 3492x899 + 4470x90 - 4924x900 - 456x901 - 2943x903 + 919x907 + 4956x908 - 4523x91 + 137x911 + 6601x912 + 17182x914 - 28087x916 - 7001x917 + 7607x919 - 3809x921 + 3021x922 + 9647x923 + 2305x924 + 11276x926 - 1695x927 + 8777x93 - 8692x930 - 11598x931 - 5933x932 - 6541x934 + 7193x936 + 3756x937 + 1178x939 - 3597x942 + 3922x943 + 5065x945 + 9548x946 - 9761x947 + 12624x948 - 696x952 + 8263x953 + 9364x954 - 513x955 - 9729x956 + 7043x957 + 12931x958 + 8163x959 + 7065x960 - 8485x961 - 3580x963 - 8699x964 - 5854x966 + 493x967 - 7923x968 + 9449x969 - 4295x97 + 1918x971 + 4720x972 - 3215x974 - 596x975 + 5465x976 - 3387x977 + 16420x98 + 4326x981 + 2908x982 + 7936x983 + 9855x984 - 4415x988 + 5422x989 + 845x99 + 5950x990 + 813x991 - 6623x993 + 11795x994 + 7334x998 = 8264x102 + 528x11 - 2849x110 - 2602x111 - 4780x113 - 8078x115 - 1451x117 + 13252x118 - 3349x123 - 4239x126 + 1188x127 - 9933x13 + 8028x132 - 6831x133 - 5888x134 - 7264x137 + 9336x140 - 7296x143 + 10915x147 + 6440x15 - 3592x156 - 8361x162 + 8339x163 - 7752x164 + 6119x180 - 7200x181 + 7779x182 + 9445x185 - 2363x187 + 4867x188 + 7430x189 - 673x190 + 8898x191 + 72x194 + 6198x195 - 7769x197 - 2165x198 + 8246x199 + 8576x203 + 9589x21 - 1620x211 + 5280x218 + 2118x221 - 5817x224 - 8897x227 + 2378x228 + 6560x23 - 13x236 + 9108x238 + 4487x245 - 8353x248 + 5265x25 - 203x254 - 531x263 + 4827x267 + 6611x275 + 308x279 - 7116x284 - 14799x285 - 9794x292 - 2853x30 + 2640x300 - 8118x302 - 8364x304 + 6548x310 - 6941x311 - 3278x314 + 20472x318 + 8900x319 + 117x320 + 5166x321 - 631x325 + 15977x326 + 4415x327 + 5298x333 + 7524x334 - 2353x336 + 555x339 - 4907x34 - 7215x342 - 908x346 - 1177x35 - 3242x352 + 7616x360 + 9312x364 - 8693x37 - 7786x370 - 5570x378 - 4766x38 - 5665x381 - 4860x39 + 6786x390 - 9769x393 + 7704x394 - 2707x395 + 5737x397 + 6022x40 - 4457x400 - 6400x408 + 7016x41 + 8404x412 - 6027x416 - 2988x420 + 4912x421 + 6429x424 - 12751x429 + 440x431 - 7453x435 + 2432x439 + 15425x441 - 7314x443 + 3462x450 + 6201x451 + 2708x452 + 8457x454 - 4868x455 + 6682x456 - 1434x459 - 2954x460 + 3792x461 + 4798x462 - 1428x464 - 9225x465 + 13159x466 - 4486x468 + 6941x470 + 16532x473 + 9995x476 - 5018x477 + 5680x480 + 5375x483 - 1170x484 - 8013x485 + 6242x486 - 6308x489 + 6022x49 + 1544x490 + 7858x492 + 4244x498 - 2238x50 - 44x502 + 1680x506 + 14710x507 - 1612x513 + 4572x517 - 80x521 - 2242x522 + 2569x525 - 5548x527 - 9100x528 - 8239x53 - 5561x532 + 11465x533 + 6911x538 - 9098x54 + 5548x542 - 6821x543 - 6460x544 + 7560x545 + 1468x547 - 60x548 - 6679x553 + 9527x555 + 4486x560 - 8794x562 - 4872x565 + 4677x566 - 2010x568 + 2206x569 + 5996x57 - 7981x572 - 8894x576 - 5112x577 - 3380x578 - 5488x579 + 212x580 - 467x582 - 9760x590 + 3581x593 + 2359x598 - 695x6 - 6425x600 - 5460x602 - 6995x603 + 6626x605 - 2074x606 + 6251x607 + 4228x61 - 3978x616 - 12632x618 - 8829x626 - 6973x629 + 298x635 + 794x639 + 849x641 - 990x643 + 7719x644 - 2963x648 - 2631x649 + 6231x651 - 1479x652 - 946x653 + 5131x654 + 17515x655 + 4950x660 + 7179x661 + 2904x665 + 7783x668 + 7686x669 + 9086x671 + 4315x675 - 71x678 + 3314x680 + 6644x687 - 9795x688 - 1969x690 - 6817x691 - 9124x692 - 1562x696 - 197x698 + 9831x7 - 5882x701 - 6506x707 + 11132x709 + 1245x71 - 7587x712 - 9599x713 + 7532x715 + 8094x717 + 7901x718 + 7686x720 - 9464x723 + 3005x725 - 5756x726 + 5245x727 - 16227x73 - 141x731 + 8537x732 - 3860x733 + 7413x737 + 3456x740 - 8377x741 - 6334x744 + 141x749 + 1075x750 - 1973x751 - 12509x752 + 6223x755 - 7700x756 - 4364x757 + 3780x759 - 1208x761 + 9973x763 - 1643x765 + 3378x769 + 8381x773 + 3820x777 + 9100x778 + 353x78 + 4326x783 + 8034x784 - 3145x785 - 4489x790 - 517x792 + 9296x793 + 445x796 - 7176x8 + 17x80 + 6657x800 + 4556x804 + 8570x808 + 5248x809 + 1603x813 - 4952x814 + 2036x818 - 1528x824 - 2725x825 + 1819x827 - 3003x829 - 4811x831 - 8956x835 + 6411x836 + 7983x84 - 5272x846 + 5456x847 - 4290x851 - 7062x857 + 7809x863 + 9305x866 + 967x869 - 6606x870 - 6898x877 - 8779x88 - 4022x881 - 4169x883 - 1904x889 - 3821x890 - 6048x895 - 7055x903 - 854x909 - 7898x91 - 2538x911 + 1903x912 - 4676x913 - 2291x915 + 8067x917 + 3211x918 - 4822x920 - 5274x922 - 1408x925 + 5084x930 - 4776x932 + 1275x935 - 1448x936 - 822x938 + 5616x945 + 6010x946 + 177x949 + 1759x952 - 9341x954 + 9426x962 - 1943x97 + 2604x971 + 6801x976 + 9446x978 - 6719x979 - 3894x980 - 1664x981 + 5545x982 - 9152x983 - 8781x987 - 5556x989 - 5574x990 + 5198x991 + 4562x992 + 7054x994
-Unifier:   [x10 : g0,x1000 : g1,x101 : g2,x102 : g3,x106 : g4,x107 : g5,x108 : -10g1 - 2g10 - 5g100 - 4g102 - 6g103 - 7g104 - 7g105 - 5g107 - 11g108 - 4g109 - 12g11 - 12g110 - 8g111 - 10g112 - g115 - 12g116 - 2g117 - 6g118 - 6g119 - 6g12 - 12g120 - 4g121 - 6g122 - 6g123 - 7g124 - 11g125 - 3g126 - 6g127 - 4g128 - 5g129 - 5g13 - 7g130 - 4g131 - 6g132 - 6g133 - 6g134 - 4g135 - g136 - 8g137 - 10g138 - 10g139 - 2g14 - 8g140 - 8g141 - 9g142 - 2g143 - 2g144 - g145 - 3g146 - 12g147 - 3g149 - 8g15 - 3g150 - 7g151 - 8g152 - 6g153 - 6g155 - 11g156 - 10g157 - 11g158 - g159 - 8g16 - 4g160 - 7g161 - 8g162 - 12g163 - 3g164 - 11g165 - 2g166 - 12g167 - 2g168 - 5g169 - 5g17 - 10g170 - 5g171 - 8g172 - 8g174 - 12g175 - 7g176 - 12g177 - 2g178 - 5g179 - 12g180 - 6g181 - 6g182 - 12g183 - 7g184 - 4g185 - 3g186 - 9g187 - 4g188 - 5g19 - 7g190 - 11g191 - 8g192 - 11g193 - 2g194 - 5g195 - 9g196 - 5g197 - 10g198 - 10g199 - g20 - 6g200 - 3g201 - 12g202 - 9g203 - 6g204 - 8g205 - 10g206 - 3g207 - 4g208 - g21 - 9g210 - 9g211 - 11g212 - 6g213 - 11g214 - 5g215 - g216 - 7g217 - 2g218 - 3g219 - 8g22 - 7g220 - 6g221 - 11g222 - 3g224 - 9g225 - 5g226 - 12g227 - 4g229 - 6g230 - 12g231 - 2g232 - 5g233 - 9g234 - 4g235 - 7g236 - 7g237 - 6g238 - g239 - 2g24 - 6g240 - 4g241 - 6g242 - 8g243 - 4g244 - 9g246 - 5g247 - 11g248 - 2g249 - 10g25 - 11g250 - 7g251 - 3g252 - g253 - 11g254 - 2g255 - 6g256 - 9g257 - 11g258 - g259 - 3g26 - 4g260 - 6g261 - 10g262 - 4g264 - 9g265 - 9g266 - 6g267 - 3g268 - 12g269 - 6g27 - 10g270 - 9g271 - 9g272 - 7g273 - 10g274 - 6g275 - 6g276 - 6g277 - 8g279 - 2g280 - 2g281 - 3g282 - 5g283 - 9g284 - 11g285 - 8g286 - 10g287 - g288 - g289 - 12g29 - g290 - 5g291 - 5g292 - 6g293 - 2g294 - 3g295 - 5g296 - 12g297 - g298 - 11g299 - 4g3 - 8g30 - g300 - 11g301 - 6g302 - 7g303 - 12g304 - 3g305 - 3g306 - 3g307 - 12g308 - 12g309 - 4g31 - 7g311 - 5g312 - 12g313 - 11g314 - 5g315 - 8g316 - 10g317 - 5g318 - 10g319 - 10g32 - g321 - 5g322 - 5g323 - 8g324 - 12g325 - 7g326 - 11g327 - 2g328 - 9g329 - 3g33 - g330 - 6g331 - 6g332 - 11g333 - 10g335 - g336 - 10g337 - 9g338 - 3g339 - 4g34 - 2g340 - 3g341 - g342 - 2g343 - 11g344 - 8g346 - 4g347 - 9g348 - 4g349 - 6g35 - 11g350 - 11g351 - 5g352 - 8g353 - 12g354 - 2g355 - 4g356 - 12g357 - 10g358 - 10g359 - 3g36 - 2g360 - 6g361 - 5g362 - 4g364 - 7g365 - 9g366 - 10g367 - 3g368 - 9g369 - g370 - 4g371 - 10g372 - 5g373 - 12g374 - 4g375 - 12g376 - 2g377 - 3g378 - 5g379 - 3g38 - 3g380 - 8g381 - 9g382 - g384 - 11g385 - 3g386 - 7g387 - 2g388 - 2g389 - 9g39 - 11g390 - 9g391 - 9g393 - 4g394 - 4g395 - 4g396 - 10g398 - 6g399 - 8g4 - 3g40 - 10g400 - 2g401 - 11g402 - 4g403 - 7g404 - 2g405 - 6g406 - 10g407 - 6g408 - 9g409 - 8g41 - 8g410 - 4g411 - 3g412 - 2g413 - g414 - 4g415 - 8g416 - 2g417 - 5g418 - g419 - 7g42 - 6g420 - 4g421 - 12g422 - 12g423 - 8g424 - 9g426 - g427 - 6g428 - 6g429 - 6g43 - 2g430 - 5g432 - g433 - 2g434 - g435 - 9g436 - 10g437 - 7g438 - 4g44 - 10g440 - 11g441 - 7g442 - 7g443 - 12g444 - 3g445 - 10g446 - 3g447 - 9g449 - 5g45 - g450 - 2g451 - 10g452 - 7g453 - 3g454 - 9g457 - 6g458 - 10g459 - 4g46 - 12g460 - g461 - 10g463 - 10g464 - 7g465 - 11g466 - 5g468 - 6g469 - 7g470 - 2g471 - 9g472 - 2g473 - 2g474 - 8g475 - 6g476 - 4g477 - 9g478 - 6g479 - 10g48 - g480 - 9g481 - 3g482 - 12g483 - 11g484 - 8g485 - 5g486 - 7g487 - 9g488 - 6g489 - g49 - 10g490 - 3g491 - 9g492 - 7g494 - g495 - g496 - 8g497 - 5g498 - 3g499 - 10g50 - 10g500 - 11g501 - 7g502 - 9g503 - 11g504 - 4g505 - 12g506 - 3g507 - 11g508 - 12g509 - 7g51 - 10g511 - 5g512 - 3g513 - 3g514 - 3g515 - 7g516 - 2g517 - 4g518 - 10g519 - 4g52 - 5g520 - 4g521 - 4g522 - 12g523 - 12g524 - 3g525 - 4g526 - 8g527 - 12g528 - 2g529 - 3g53 - 6g530 - 10g531 - 5g532 - 5g533 - 12g534 - 9g535 - 4g536 - 12g537 - g538 - 10g539 - 3g54 - 4g540 - 11g541 - 7g542 - 5g543 - 3g544 - 4g546 - 9g547 - 4g548 - 11g549 - 6g55 - 10g550 - 8g551 - 7g552 - 6g553 - 2g554 - 10g555 - 6g556 - 9g559 - 3g56 - 12g560 - 4g561 - 12g562 - 10g563 - 4g564 - 12g565 - 11g566 - 10g567 - 9g568 - 11g569 - 3g57 - 2g571 - 2g572 - 9g573 - 5g574 - 3g575 - 7g576 - 8g577 - 11g578 - 3g58 - g580 - 7g581 - 4g582 - 12g583 - 12g584 - 9g585 - 11g586 - 12g587 - 5g588 - 5g589 - 2g59 - 11g590 - 3g592 - 12g593 - g594 - 10g596 - 3g597 - 10g599 - 10g60 - 10g600 - 3g602 - 7g603 - 12g604 - 5g606 - 10g607 - 6g608 - 8g609 - 11g61 - 12g610 - 3g611 - g612 - g613 - 4g614 - 6g615 - 12g616 - 3g617 - 4g618 - 10g619 - g62 - 8g620 - 4g621 - 12g622 - 5g623 - 3g624 - 4g625 - 7g626 - 10g627 - 2g628 - 6g629 - 2g63 - 5g630 - 2g631 - 11g633 - 6g634 - 3g635 - 6g636 - 8g637 - 11g638 - 3g639 - 7g64 - 12g640 - 4g641 - 9g642 - 3g643 - 9g644 - 8g645 - 10g646 - 5g647 - 9g648 - 9g649 - 4g65 - 3g650 - 6g651 - 12g652 - 2g654 - 12g655 - g657 - g658 - 4g659 - 12g66 - 4g660 - 5g661 - 8g662 - 2g663 - 4g664 - 11g665 - 11g667 - 12g668 - 9g669 - 9g67 - 12g670 - 3g671 - 8g672 - 4g673 - 9g674 - 8g675 - 2g676 - 2g677 - g678 - 5g679 - 6g68 - 2g680 - 8g681 - 11g682 - 7g683 - 8g684 - 10g685 - 9g686 - 12g687 - 6g688 - 4g689 - 9g69 - 12g690 - 8g691 - 11g692 - 9g693 - 12g694 - 7g695 - 11g696 - g697 - 3g698 - g699 - 2g7 - 9g70 - 9g700 - 2g701 - 3g702 - 6g703 - 5g704 - 11g705 - g706 - 7g707 - 10g708 - 2g709 - 11g71 - 6g710 - g711 - 6g712 - 5g713 - 6g714 - 6g716 - 9g717 - g718 - 7g719 - g72 - 9g720 - 2g721 - 13g722 - 8g73 - 10g74 - 9g75 - 7g76 - 10g77 - 6g78 - 5g79 - 2g8 - 8g80 - 7g81 - 9g82 - 7g83 - 5g84 - 4g85 - 10g86 - 3g87 - 2g88 - 10g89 - 2g9 - 5g91 - 2g92 - 3g93 - 7g94 - 2g95 - 7g97 - 6g99,x109 : g7,x11 : g8,x110 : g9,x111 : g10,x112 : g11,x113 : g12,x114 : g13,x115 : g14,x117 : g15,x118 : g16,x12 : g17,x121 : g18,x123 : g19,x124 : g20,x126 : g21,x127 : g22,x128 : g23,x13 : g24,x130 : g25,x131 : g26,x132 : g27,x133 : g28,x134 : g29,x135 : g30,x136 : g31,x137 : g32,x138 : g33,x140 : g34,x141 : g35,x143 : g36,x144 : g37,x145 : g38,x147 : g39,x148 : g40,x15 : g41,x150 : g42,x151 : g43,x152 : g44,x153 : g45,x156 : g46,x159 : g47,x16 : g48,x160 : g49,x162 : g50,x163 : g51,x164 : g52,x165 : g53,x166 : g54,x167 : g55,x168 : g56,x170 : g57,x171 : g58,x173 : g59,x174 : g60,x175 : g61,x177 : g62,x178 : g63,x18 : g64,x180 : g65,x181 : g66,x182 : g67,x185 : g68,x186 : g69,x187 : g70,x188 : g71,x189 : g72,x19 : g73,x190 : g74,x191 : g75,x192 : g76,x193 : g77,x194 : g78,x195 : g79,x197 : g80,x198 : g81,x199 : g82,x200 : g83,x202 : g84,x203 : g85,x205 : g86,x206 : g87,x207 : g88,x209 : g89,x21 : g90,x211 : g91,x212 : g92,x213 : g93,x214 : g94,x218 : g95,x219 : g96,x220 : g97,x221 : g98,x224 : g99,x227 : g100,x228 : g101,x23 : g102,x230 : g103,x233 : g104,x234 : g105,x236 : 350g0 - 4977g1 - 1070g10 - 2859g100 - 885g101 - 553g102 - 2807g103 - 3215g104 - 2847g105 - 1474g107 - 4746g108 - 1057g109 - 4089g11 - 4294g110 - 2173g111 - 5264g112 - 788g113 + 405g114 - 358g115 - 4533g116 - 745g117 - 3333g118 - 3838g119 - 2731g12 - 4501g120 - 2253g121 - 3260g122 - 2208g123 - 3621g124 - 5061g125 - 975g126 - 2975g127 - 261g128 - 1512g129 - 2002g13 - 2959g130 - 1571g131 - 1340g132 - 2522g133 - 2101g134 - 2100g135 - 370g136 - 2524g137 - 5093g138 - 4293g139 - 1839g14 - 4586g140 - 2814g141 - 4296g142 - 1482g143 - 1647g144 - 325g145 - 1704g146 - 4665g147 - 634g148 - 740g149 - 3591g15 - 261g150 - 3170g151 - 3086g152 - 2829g153 + 133g154 - 3234g155 - 4085g156 - 5421g157 - 4694g158 - 447g159 - 2460g16 - 1594g160 - 2955g161 - 2841g162 - 5753g163 - 1628g164 - 4187g165 - 1122g166 - 5610g167 - 2048g168 - 2127g169 - 1800g17 - 2808g170 - 1490g171 - 3570g172 + 9g173 - 3082g174 - 5969g175 - 2342g176 - 5499g177 + 715g178 - 1835g179 + 183g18 - 4567g180 - 2924g181 - 2202g182 - 5382g183 - 2698g184 - 1697g185 - 2922g186 - 4095g187 - 2265g188 - 555g189 - 2933g19 - 3463g190 - 4854g191 - 3554g192 - 4345g193 - 2041g194 - 1157g195 - 4013g196 - 2424g197 - 4542g198 - 3722g199 - 211g2 - 528g20 - 950g200 - 1258g201 - 5429g202 - 3198g203 - 2558g204 - 3973g205 - 4511g206 - 2468g207 - 569g208 + 360g209 - 761g21 - 3892g210 - 4644g211 - 5184g212 - 3038g213 - 4772g214 - 2813g215 - 416g216 - 2571g217 - 230g218 - 1724g219 - 3388g22 - 2859g220 - 3129g221 - 5158g222 + 522g223 - 653g224 - 4837g225 - 1582g226 - 5070g227 - 1241g228 - 841g229 + 723g23 - 2950g230 - 5892g231 - 678g232 - 1345g233 - 3903g234 - 1865g235 - 2590g236 - 3593g237 - 3403g238 + 592g239 - 1078g24 - 2516g240 - 2232g241 - 1561g242 - 2252g243 - 1804g244 - 551g245 - 3581g246 - 1734g247 - 4932g248 - 492g249 - 3119g25 - 4201g250 - 2177g251 - 830g252 - 304g253 - 5765g254 - 533g255 - 3297g256 - 3952g257 - 4871g258 - 1202g259 - 608g26 - 2313g260 - 2397g261 - 5086g262 - 276g263 - 1176g264 - 4417g265 - 3269g266 - 3934g267 - 1150g268 - 5306g269 - 1992g27 - 4953g270 - 3815g271 - 3648g272 - 3057g273 - 3447g274 - 1868g275 - 1959g276 - 2984g277 + 514g278 - 3016g279 + 210g28 - 760g280 - 567g281 - 1532g282 - 1224g283 - 2489g284 - 5981g285 - 4189g286 - 3337g287 - 780g288 - 464g289 - 4832g29 + 818g290 - 2679g291 - 1192g292 - 1490g293 - 101g294 - 1722g295 - 1219g296 - 5322g297 + 2g298 - 3927g299 - 1104g3 - 4120g30 + 639g300 - 5379g301 - 4429g302 - 1661g303 - 5871g304 - 1790g305 - 208g306 - 1186g307 - 5075g308 - 4014g309 - 1578g31 - 551g310 - 3658g311 - 1220g312 - 5096g313 - 4748g314 - 2178g315 - 3050g316 - 4823g317 - 2884g318 - 4220g319 - 4908g32 + 1662g320 - 1297g321 - 1931g322 - 1835g323 - 3377g324 - 4480g325 - 2570g326 - 4487g327 - 1109g328 - 3218g329 - 721g33 - 1434g330 - 2385g331 - 2782g332 - 5703g333 + 466g334 - 4776g335 - 1630g336 - 4983g337 - 2440g338 - 1791g339 - 691g34 + 655g340 - 1642g341 + 122g342 - 15g343 - 4378g344 - 1349g345 - 2785g346 - 1200g347 - 4439g348 - 1792g349 - 3341g35 - 4532g350 - 4986g351 - 1666g352 - 3484g353 - 5111g354 - 625g355 - 1209g356 - 5790g357 - 4863g358 - 5567g359 - 1866g36 - 137g360 - 3366g361 - 2497g362 - 11g363 - 1656g364 - 3218g365 - 4017g366 - 4724g367 - 945g368 - 3785g369 + 73g37 - 629g370 - 1570g371 - 4179g372 - 1963g373 - 5833g374 - 2602g375 - 5832g376 - 1961g377 - 1698g378 - 1652g379 - 1209g38 - 2106g380 - 3856g381 - 3898g382 - 493g383 + 771g384 - 4632g385 - 1464g386 - 1783g387 - 1899g388 - 396g389 - 3091g39 - 4965g390 - 4259g391 + 579g392 - 4548g393 - 1176g394 - 1278g395 - 1238g396 + 13g397 - 4309g398 - 2663g399 - 3759g4 - 1474g40 - 4535g400 - 1378g401 - 4902g402 - 1261g403 - 3609g404 - 389g405 - 2683g406 - 4024g407 - 2155g408 - 3922g409 - 2984g41 - 3747g410 - 2807g411 - 1969g412 - 277g413 + 229g414 - 2386g415 - 4558g416 - 921g417 - 2711g418 - 835g419 - 3183g42 - 2065g420 - 1139g421 - 4905g422 - 5385g423 - 2863g424 + 149g425 - 3947g426 - 15g427 - 2489g428 - 2930g429 - 2513g43 - 946g430 - 2g431 - 1794g432 - 122g433 - 405g434 - 525g435 - 3435g436 - 4463g437 - 3724g438 + 1145g439 - 1020g44 - 3532g440 - 4665g441 - 2970g442 - 2739g443 - 5247g444 - 924g445 - 3797g446 - 1861g447 - 662g448 - 4037g449 - 2344g45 - 1096g450 - 197g451 - 3758g452 - 2991g453 - 328g454 + 725g455 + 1048g456 - 3753g457 - 2615g458 - 4681g459 - 2016g46 - 4963g460 - 180g461 + 566g462 - 4288g463 - 4486g464 - 2906g465 - 5344g466 + 389g467 - 2699g468 - 3884g469 - 343g47 - 3206g470 - 990g471 - 4646g472 - 885g473 + 648g474 - 4334g475 - 3062g476 - 2404g477 - 4194g478 - 3110g479 - 4470g48 + 185g480 - 3058g481 - 1209g482 - 5720g483 - 4164g484 - 4052g485 - 2517g486 - 3426g487 - 4092g488 - 1927g489 - 993g49 - 3564g490 - 697g491 - 4370g492 + 803g493 - 2935g494 + 20g495 - 986g496 - 3287g497 - 1351g498 - 1322g499 - 15g5 - 5597g50 - 4034g500 - 5331g501 - 3317g502 - 5276g503 - 4795g504 - 686g505 - 5516g506 - 408g507 - 4043g508 - 5720g509 - 2403g51 + 554g510 - 4526g511 - 2819g512 - 1792g513 - 1357g514 - 1635g515 - 2667g516 - 859g517 - 1657g518 - 4501g519 - 2336g52 - 2970g520 - 1261g521 - 2332g522 - 5408g523 - 4351g524 - 1014g525 - 1948g526 - 4160g527 - 5312g528 - 395g529 - 678g53 - 1418g530 - 4369g531 - 2301g532 - 2234g533 - 4217g534 - 4682g535 - 1095g536 - 4503g537 - 556g538 - 3813g539 + 10g54 - 2367g540 - 4757g541 - 2749g542 - 2371g543 - 972g544 - 349g545 - 755g546 - 3819g547 - 2085g548 - 3849g549 - 3038g55 - 4389g550 - 2568g551 - 3791g552 - 3051g553 - 2386g554 - 4681g555 - 2435g556 + 520g557 - 552g558 - 3913g559 - 1004g56 - 4707g560 - 2462g561 - 4101g562 - 3690g563 - 1336g564 - 5739g565 - 5192g566 - 4367g567 - 3791g568 - 5457g569 - 1340g57 + 330g570 - 1170g571 - 1020g572 - 2311g573 - 1512g574 - 1966g575 - 3162g576 - 3689g577 - 5176g578 - 231g579 - 1503g58 - 805g580 - 3031g581 - 1598g582 - 5908g583 - 5276g584 - 3855g585 - 5039g586 - 4605g587 - 2001g588 - 2722g589 - 1596g59 - 4522g590 - 656g591 - 843g592 - 4845g593 - 537g594 - 330g595 - 5058g596 - 1137g597 - 533g598 - 5153g599 - 4142g60 - 4789g600 - 403g601 - 1874g602 - 3750g603 - 4749g604 - 253g605 - 1299g606 - 4503g607 - 3316g608 - 2538g609 - 6047g61 - 5882g610 - 765g611 - 251g612 + 859g613 - 1764g614 - 3175g615 - 5200g616 - 1020g617 - 2422g618 - 5272g619 + 537g62 - 4010g620 - 2415g621 - 6074g622 - 2484g623 - 1135g624 - 2448g625 - 2326g626 - 4080g627 - 889g628 - 2756g629 - 1317g63 - 2370g630 - 108g631 - 148g632 - 4447g633 - 3930g634 - 1770g635 - 2143g636 - 3748g637 - 5128g638 - 926g639 - 1838g64 - 5184g640 - 2056g641 - 3985g642 - 1686g643 - 3980g644 - 3739g645 - 4555g646 - 2536g647 - 4274g648 - 5236g649 - 1269g65 - 1481g650 - 449g651 - 4060g652 + 247g653 - 1455g654 - 5590g655 + 293g656 - 1073g657 - 1177g658 - 1917g659 - 5569g66 - 1848g660 - 3042g661 - 3349g662 - 1545g663 - 680g664 - 3892g665 + 89g666 - 4281g667 - 5121g668 - 4579g669 - 3664g67 - 5508g670 - 1368g671 - 3570g672 - 1463g673 - 4216g674 - 3437g675 - 1142g676 - 119g677 - 1406g678 - 2161g679 - 1883g68 - 681g680 - 4115g681 - 6223g682 - 3005g683 - 2731g684 - 4891g685 - 4909g686 - 5847g687 - 3153g688 - 1087g689 - 3411g69 - 4494g690 - 3204g691 - 4115g692 - 3464g693 - 5257g694 - 2435g695 - 5511g696 - 254g697 - 1252g698 - 798g699 - 624g7 - 3910g70 - 3667g700 - 824g701 - 1202g702 - 2349g703 - 1448g704 - 5301g705 - 1698g706 - 3344g707 - 4810g708 - 667g709 - 4072g71 - 3924g710 - 1193g711 - 3285g712 - 1835g713 - 3454g714 - 65g715 - 3496g716 - 3577g717 - 84g718 - 2535g719 + 455g72 - 4279g720 - 1434g721 - 5654g722 - 2945g73 - 4401g74 - 3160g75 - 3039g76 - 4694g77 - 2604g78 - 2289g79 - 1085g8 - 4077g80 - 3211g81 - 3280g82 - 2960g83 - 2698g84 - 1080g85 - 4108g86 - 770g87 - 696g88 - 3396g89 - 1089g9 + 1227g90 - 2346g91 - 1147g92 - 996g93 - 1624g94 - 591g95 - 469g96 - 2733g97 + 246g98 - 3057g99,x238 : g107,x239 : g108,x244 : g109,x245 : g110,x247 : g111,x248 : g112,x249 : g113,x25 : g114,x250 : g115,x251 : g116,x253 : g117,x254 : g118,x255 : g119,x256 : g120,x258 : g121,x26 : g122,x260 : g123,x261 : g124,x263 : g125,x267 : g126,x268 : g127,x27 : g128,x270 : g129,x271 : g130,x272 : g131,x273 : g132,x274 : g133,x275 : g134,x276 : g135,x277 : g136,x278 : g137,x279 : g138,x28 : g139,x281 : g140,x282 : g141,x283 : g142,x284 : g143,x285 : g144,x287 : g145,x29 : g146,x290 : g147,x292 : g148,x293 : g149,x295 : g150,x297 : g151,x299 : g152,x30 : g153,x300 : g154,x302 : g155,x303 : g156,x304 : g157,x306 : g158,x308 : g159,x309 : g160,x31 : g161,x310 : g162,x311 : g163,x312 : g164,x313 : g165,x314 : g166,x315 : g167,x316 : g168,x317 : g169,x318 : g170,x319 : g171,x32 : g172,x320 : g173,x321 : g174,x322 : g175,x323 : g176,x325 : g177,x326 : g178,x327 : g179,x329 : g180,x330 : g181,x333 : g182,x334 : g183,x336 : g184,x339 : g185,x34 : g186,x340 : g187,x341 : g188,x342 : g189,x343 : g190,x346 : g191,x347 : g192,x348 : g193,x349 : g194,x35 : g195,x351 : g196,x352 : g197,x353 : g198,x356 : g199,x360 : g200,x361 : g201,x362 : g202,x364 : g203,x367 : g204,x369 : g205,x37 : g206,x370 : g207,x371 : g208,x372 : g209,x373 : g210,x375 : g211,x377 : g212,x378 : g213,x379 : g214,x38 : g215,x381 : g216,x382 : g217,x383 : g218,x385 : g219,x387 : g220,x388 : g221,x39 : g222,x390 : g223,x391 : g224,x393 : g225,x394 : g226,x395 : g227,x396 : g228,x397 : g229,x398 : g230,x399 : g231,x4 : g232,x40 : g233,x400 : g234,x401 : g235,x402 : g236,x403 : g237,x404 : g238,x405 : g239,x406 : g240,x408 : g241,x41 : g242,x412 : g243,x414 : g244,x415 : g245,x416 : g246,x42 : g247,x420 : g248,x421 : g249,x422 : g250,x424 : g251,x427 : g252,x428 : g253,x429 : g254,x430 : g255,x431 : g256,x432 : g257,x433 : g258,x434 : g259,x435 : g260,x436 : g261,x437 : g262,x439 : g263,x44 : g264,x440 : g265,x441 : g266,x443 : g267,x445 : g268,x446 : g269,x447 : g270,x45 : g271,x450 : g272,x451 : g273,x452 : g274,x453 : g275,x454 : g276,x455 : g277,x456 : g278,x458 : g279,x459 : g280,x46 : g281,x460 : g282,x461 : g283,x462 : g284,x464 : g285,x465 : g286,x466 : g287,x468 : g288,x47 : g289,x470 : g290,x472 : g291,x473 : g292,x475 : g293,x476 : g294,x477 : g295,x478 : g296,x479 : g297,x480 : g298,x482 : g299,x483 : g300,x484 : g301,x485 : g302,x486 : g303,x487 : g304,x489 : g305,x49 : g306,x490 : g307,x491 : g308,x492 : g309,x495 : g310,x497 : g311,x498 : g312,x50 : g313,x501 : g314,x502 : g315,x503 : g316,x504 : g317,x505 : g318,x506 : g319,x507 : g320,x51 : g321,x511 : g322,x512 : g323,x513 : g324,x514 : g325,x516 : g326,x517 : g327,x519 : g328,x52 : g329,x520 : g330,x521 : g331,x522 : g332,x523 : g333,x525 : g334,x527 : g335,x528 : g336,x53 : g337,x531 : g338,x532 : g339,x533 : g340,x534 : g341,x536 : g342,x538 : g343,x539 : g344,x54 : g345,x541 : g346,x542 : g347,x543 : g348,x544 : g349,x545 : g350,x546 : g351,x547 : g352,x548 : g353,x549 : g354,x550 : g355,x551 : g356,x552 : g357,x553 : g358,x554 : g359,x555 : g360,x556 : g361,x56 : g362,x560 : g363,x561 : g364,x562 : g365,x563 : g366,x565 : g367,x566 : g368,x567 : g369,x568 : g370,x569 : g371,x57 : g372,x571 : g373,x572 : g374,x574 : g375,x575 : g376,x576 : g377,x577 : g378,x578 : g379,x579 : g380,x58 : g381,x580 : g382,x581 : g383,x582 : g384,x583 : g385,x585 : g386,x586 : g387,x588 : g388,x589 : g389,x59 : g390,x590 : g391,x591 : g392,x592 : g393,x593 : g394,x595 : g395,x596 : g396,x598 : g397,x599 : g398,x6 : g399,x600 : g400,x602 : g401,x603 : g402,x605 : g403,x606 : g404,x607 : g405,x609 : g406,x61 : g407,x613 : g408,x614 : g409,x616 : g410,x617 : g411,x618 : g412,x621 : g413,x622 : g414,x625 : g415,x626 : g416,x627 : g417,x629 : g418,x63 : g419,x630 : g420,x631 : g421,x632 : g422,x635 : g423,x636 : g424,x638 : g425,x639 : g426,x640 : g427,x641 : g428,x642 : g429,x643 : g430,x644 : g431,x647 : g432,x648 : g433,x649 : g434,x65 : g435,x651 : g436,x652 : g437,x653 : g438,x654 : g439,x655 : g440,x657 : g441,x658 : g442,x659 : g443,x66 : g444,x660 : g445,x661 : g446,x663 : g447,x664 : g448,x665 : g449,x666 : g450,x668 : g451,x669 : g452,x67 : g453,x671 : g454,x674 : g455,x675 : g456,x676 : g457,x678 : g458,x679 : g459,x68 : g460,x680 : g461,x684 : g462,x685 : g463,x686 : g464,x687 : g465,x688 : g466,x690 : g467,x691 : g468,x692 : g469,x695 : g470,x696 : g471,x697 : g472,x698 : g473,x7 : g474,x70 : g475,x701 : g476,x704 : g477,x706 : g478,x707 : g479,x708 : g480,x709 : g481,x71 : g482,x710 : g483,x711 : g484,x712 : g485,x713 : g486,x714 : g487,x715 : g488,x716 : g489,x717 : g490,x718 : g491,x719 : g492,x72 : g493,x720 : g494,x721 : g495,x722 : g496,x723 : g497,x725 : g498,x726 : g499,x727 : g500,x728 : g501,x729 : g502,x73 : g503,x731 : g504,x732 : g505,x733 : g506,x736 : g507,x737 : g508,x738 : g509,x739 : g510,x740 : g511,x741 : g512,x744 : g513,x746 : g514,x747 : g515,x748 : g516,x749 : g517,x750 : g518,x751 : g519,x752 : g520,x755 : g521,x756 : g522,x757 : g523,x758 : g524,x759 : g525,x76 : g526,x760 : g527,x761 : g528,x762 : g529,x763 : g530,x764 : g531,x765 : g532,x768 : g533,x769 : g534,x770 : g535,x773 : g536,x774 : g537,x777 : g538,x778 : g539,x779 : g540,x78 : g541,x780 : g542,x782 : g543,x783 : g544,x784 : g545,x785 : g546,x786 : g547,x790 : g548,x791 : g549,x792 : g550,x793 : g551,x794 : g552,x795 : g553,x796 : g554,x797 : g555,x798 : g556,x799 : g557,x8 : g558,x80 : g559,x800 : g560,x803 : g561,x804 : g562,x808 : g563,x809 : g564,x810 : g565,x811 : g566,x812 : g567,x813 : g568,x814 : g569,x815 : g570,x818 : g571,x82 : g572,x820 : g573,x821 : g574,x823 : g575,x824 : g576,x825 : g577,x827 : g578,x829 : g579,x831 : g580,x833 : g581,x834 : g582,x835 : g583,x836 : g584,x837 : g585,x838 : g586,x84 : g587,x840 : g588,x844 : g589,x845 : g590,x846 : g591,x847 : g592,x848 : g593,x849 : g594,x851 : g595,x852 : g596,x853 : g597,x854 : g598,x857 : g599,x858 : g600,x859 : g601,x86 : g602,x860 : g603,x861 : g604,x862 : g605,x863 : g606,x864 : g607,x865 : g608,x866 : g609,x867 : g610,x868 : g611,x869 : g612,x87 : g613,x870 : g614,x871 : g615,x872 : g616,x873 : g617,x874 : g618,x876 : g619,x877 : g620,x88 : g621,x880 : g622,x881 : g623,x882 : g624,x883 : g625,x884 : g626,x886 : g627,x888 : g628,x889 : g629,x89 : g630,x890 : g631,x891 : g632,x892 : g633,x893 : g634,x895 : g635,x898 : g636,x899 : g637,x90 : g638,x900 : g639,x901 : g640,x903 : g641,x907 : g642,x908 : g643,x909 : g644,x91 : g645,x911 : g646,x912 : g647,x913 : g648,x914 : g649,x915 : g650,x916 : g651,x917 : g652,x918 : g653,x919 : g654,x920 : g655,x921 : g656,x922 : g657,x923 : g658,x924 : g659,x925 : g660,x926 : g661,x927 : g662,x93 : g663,x930 : g664,x931 : g665,x932 : g666,x934 : g667,x935 : g668,x936 : g669,x937 : g670,x938 : g671,x939 : g672,x942 : g673,x943 : g674,x945 : g675,x946 : g676,x947 : g677,x948 : g678,x949 : g679,x952 : g680,x953 : g681,x954 : g682,x955 : g683,x956 : g684,x957 : g685,x958 : g686,x959 : g687,x960 : g688,x961 : g689,x962 : g690,x963 : g691,x964 : g692,x966 : g693,x967 : g694,x968 : g695,x969 : g696,x97 : g697,x971 : g698,x972 : g699,x974 : g700,x975 : g701,x976 : g702,x977 : g703,x978 : g704,x979 : g705,x98 : g706,x980 : g707,x981 : g708,x982 : g709,x983 : g710,x984 : g711,x987 : g712,x988 : g713,x989 : g714,x99 : g715,x990 : g716,x991 : g717,x992 : g718,x993 : g719,x994 : g720,x998 : g721]
-Matcher:   [x10 : g0,x1000 : g1,x101 : g2,x106 : g3,x107 : g4,x108 : g5,x109 : -6g0 - 4g1 - 43g10 - 6g100 - 53g101 - 23g102 - 46g103 - 63g104 - 32g105 - 2g106 - 2g107 - 63g108 - 66g109 - 23g11 - 34g110 - 21g111 - 27g112 - 59g113 - 8g114 - 10g115 - 10g116 - 9g117 - 64g118 - 32g119 - 42g12 - 61g120 - 29g121 - 8g122 - g123 - 2g124 - 12g125 - g126 - 40g127 - 36g128 - 56g129 - 36g13 - 48g130 - 27g131 - 47g132 - 58g133 - 24g134 - 30g135 - 20g136 - 51g137 - 61g138 - 29g139 - 22g14 - 49g140 - 44g141 - 45g142 - 11g143 - 28g144 - 30g145 - 14g146 - 41g147 - 65g149 - 68g15 - 58g150 - 26g151 - 24g152 - 29g153 - 40g154 - 64g155 - 66g156 - 50g157 - 60g158 - 42g159 - 27g16 - 40g160 - 40g161 - 31g162 - 44g163 - 58g164 - 48g165 - 25g166 - 65g167 - 6g168 - 28g169 - 56g17 - 56g170 - 16g171 - 17g172 - 18g173 - 49g174 - 11g175 - 17g176 - 68g177 - 63g178 - 24g179 - 18g18 - 46g180 - 30g181 - 55g182 - 53g183 - 47g184 - 56g185 - 9g186 - 6g187 - 60g188 - 4g189 - 41g19 - 15g190 - 40g191 - 51g192 - 2g193 - 9g194 - 12g195 - 26g196 - 16g197 - 8g198 - 65g199 - 26g2 - 47g20 - 48g200 - g201 - 55g202 - 20g203 - 66g204 - 69g205 - 48g206 - 66g207 - 7g208 - 7g209 - 57g21 - 39g210 - 65g211 - 7g212 - 15g213 - 15g214 - 68g215 - 64g216 - 36g217 - 24g218 - 6g219 - 50g22 - 32g220 - 13g221 - 26g222 - 4g223 - 55g224 - 60g225 - 22g226 - 32g227 - 46g228 - 28g229 - 43g23 - 69g230 - 48g231 - 46g232 - 46g233 - 5g234 - 70g235 - 20g236 - 69g237 - 11g238 - 67g239 - 63g24 - 66g240 - 40g241 - 51g242 - 28g243 - 45g244 - 27g246 - 69g247 - 8g248 - 47g249 - 37g25 - g250 - 4g251 - 44g252 - 44g253 - 18g254 - 8g255 - 9g256 - 11g257 - 43g258 - 13g259 - 5g26 - 32g260 - 23g261 - 62g262 - g263 - 15g264 - 35g265 - 5g266 - 17g267 - 54g268 - 10g269 - 26g27 - 25g270 - 67g271 - 21g272 - 51g273 - 18g274 - 69g275 - 13g276 - 26g277 - 10g278 - 10g279 - 38g28 - 48g280 - 29g281 - 49g282 - 3g283 - 32g284 - 56g285 - 59g286 - 12g287 - 33g288 - 2g289 - g29 - 35g290 - 69g291 - 57g292 - 23g293 - 6g294 - 14g295 - 48g296 - 55g297 - 51g298 - 53g299 - 57g3 - g30 - 8g300 - 55g301 - 34g302 - 21g303 - 42g304 - 3g305 - 52g306 - 27g307 - 61g308 - 60g309 - 45g31 - 69g310 - 40g311 - 54g312 - 63g313 - 25g314 - g315 - 69g316 - 55g317 - 38g318 - 61g319 - 48g32 - 11g320 - 26g321 - 34g322 - 61g323 - 67g324 - 23g325 - 60g326 - 39g327 - 16g328 - 42g329 - 55g33 - 2g330 - 41g331 - 21g332 - 39g333 - 40g334 - 47g335 - 61g336 - 45g337 - 53g338 - 50g339 - 70g34 - 70g340 - 36g341 - 30g342 - 61g343 - 20g344 - 59g345 - 63g346 - 8g347 - 23g348 - 65g349 - 14g35 - 49g350 - 2g351 - 12g352 - 36g353 - 64g354 - 27g355 - 67g356 - 58g357 - 45g358 - 66g359 - 63g36 - 63g360 - 11g361 - 56g362 - 45g363 - 68g364 - 41g365 - 56g366 - 62g367 - 53g368 - 8g369 - 58g37 - 38g370 - 18g371 - 63g372 - 45g373 - 15g374 - 68g375 - 55g376 - 32g377 - 68g378 - 11g379 - 21g38 - 30g380 - 2g381 - 32g382 - 37g383 - 26g384 - 56g385 - 36g386 - 20g387 - 39g388 - g389 - 54g39 - 36g390 - 10g391 - 27g392 - 69g393 - 55g394 - 40g395 - 2g396 - 56g397 - 21g398 - 7g399 - 18g4 - 52g40 - 37g400 - 34g401 - 65g402 - 60g403 - 62g404 - 7g405 - 16g406 - 49g407 - 14g408 - 21g409 - 39g41 - 20g410 - 31g411 - 68g412 - 31g413 - 38g414 - 8g415 - 39g416 - 62g417 - 67g418 - 61g419 - 5g42 - 27g420 - 67g421 - 50g422 - 27g423 - 9g424 - 64g425 - 31g426 - 8g427 - 2g428 - g429 - 39g43 - 10g430 - 7g431 - 3g432 - 67g433 - 42g434 - 32g435 - 16g436 - 67g437 - 22g438 - 12g439 - 50g44 - 9g440 - 18g441 - 68g442 - 15g443 - 53g444 - 39g445 - 57g446 - 23g447 - 53g448 - 39g449 - 3g45 - 30g450 - 26g451 - 36g452 - 40g453 - 23g454 - 66g455 - 45g456 - 33g457 - 67g458 - 20g459 - 67g46 - 61g460 - 24g461 - 56g462 - 55g463 - 10g465 - 50g466 - 35g467 - 22g468 - 16g469 - 55g47 - 51g470 - 29g471 - 21g472 - 34g473 - 15g474 - 55g475 - 58g476 - 5g477 - 48g478 - 24g479 - 68g48 - 60g480 - 46g481 - 22g482 - 44g483 - 59g484 - 4g485 - 65g486 - 42g487 - 33g488 - 35g489 - 9g49 - 10g490 - 5g491 - 3g492 - 33g493 - 6g494 - 2g495 - 39g496 - 21g497 - 35g498 - 16g499 - 45g5 - 64g50 - 22g500 - 64g501 - 52g502 - 16g503 - 30g504 - 58g505 - 3g506 - 25g507 - 30g508 - 32g509 - 24g51 - 4g510 - 14g511 - 50g512 - 5g513 - 2g514 - 42g516 - 43g517 - 61g518 - 46g519 - 19g52 - 32g520 - 9g521 - 38g522 - 13g523 - 62g524 - 27g525 - 30g526 - 25g527 - 40g528 - 9g529 - 11g53 - 49g530 - 7g531 - 29g532 - 47g533 - 54g534 - 47g535 - 37g536 - 34g537 - 14g538 - 57g539 - 5g54 - 44g540 - 8g541 - 16g542 - 2g543 - 57g544 - 62g545 - 2g546 - 35g547 - 36g548 - 30g549 - 60g55 - 37g550 - 32g551 - 4g552 - 42g553 - 65g554 - 35g555 - 70g556 - 37g557 - 20g558 - 28g559 - 21g56 - 2g560 - 50g561 - 52g562 - 5g563 - 3g564 - 16g565 - 14g566 - 13g567 - 45g568 - 7g569 - 60g57 - 14g570 - 39g571 - 20g572 - 62g573 - 50g574 - 71g575 - 56g58 - 62g60 - 54g61 - 33g62 - 12g63 - 12g64 - 65g65 - 59g66 - 38g67 - 43g68 - 31g69 - 12g7 - 18g70 - 38g71 - 6g72 - 49g73 - 9g74 - 2g75 - 15g76 - 33g77 - 63g78 - 60g79 - 65g8 - 55g80 - 11g81 - 70g82 - 13g84 - 14g85 - 11g86 - 51g87 - 6g88 - 44g89 - 6g9 - 61g90 - 28g91 - 5g92 - 34g93 - g94 - 64g95 - 37g96 - 31g97 - 56g98 - 28g99 - 8264x102 - 528x11 + 2849x110 + 2602x111 + 4780x113 + 8078x115 + 1451x117 - 13252x118 + 3349x123 + 4239x126 - 1188x127 + 9933x13 - 8028x132 + 6831x133 + 5888x134 + 7264x137 - 9336x140 + 7296x143 - 10915x147 - 6440x15 + 3592x156 + 8361x162 - 8339x163 + 7752x164 - 6119x180 + 7200x181 - 7779x182 - 9445x185 + 2363x187 - 4867x188 - 7430x189 + 673x190 - 8898x191 - 72x194 - 6198x195 + 7769x197 + 2165x198 - 8246x199 - 8576x203 - 9589x21 + 1620x211 - 5280x218 - 2118x221 + 5817x224 + 8897x227 - 2378x228 - 6560x23 + 13x236 - 9108x238 - 4487x245 + 8353x248 - 5265x25 + 203x254 + 531x263 - 4827x267 - 6611x275 - 308x279 + 7116x284 + 14799x285 + 9794x292 + 2853x30 - 2640x300 + 8118x302 + 8364x304 - 6548x310 + 6941x311 + 3278x314 - 20472x318 - 8900x319 - 117x320 - 5166x321 + 631x325 - 15977x326 - 4415x327 - 5298x333 - 7524x334 + 2353x336 - 555x339 + 4907x34 + 7215x342 + 908x346 + 1177x35 + 3242x352 - 7616x360 - 9312x364 + 8693x37 + 7786x370 + 5570x378 + 4766x38 + 5665x381 + 4860x39 - 6786x390 + 9769x393 - 7704x394 + 2707x395 - 5737x397 - 6022x40 + 4457x400 + 6400x408 - 7016x41 - 8404x412 + 6027x416 + 2988x420 - 4912x421 - 6429x424 + 12751x429 - 440x431 + 7453x435 - 2432x439 - 15425x441 + 7314x443 - 3462x450 - 6201x451 - 2708x452 - 8457x454 + 4868x455 - 6682x456 + 1434x459 + 2954x460 - 3792x461 - 4798x462 + 1428x464 + 9225x465 - 13159x466 + 4486x468 - 6941x470 - 16532x473 - 9995x476 + 5018x477 - 5680x480 - 5375x483 + 1170x484 + 8013x485 - 6242x486 + 6308x489 - 6022x49 - 1544x490 - 7858x492 - 4244x498 + 2238x50 + 44x502 - 1680x506 - 14710x507 + 1612x513 - 4572x517 + 80x521 + 2242x522 - 2569x525 + 5548x527 + 9100x528 + 8239x53 + 5561x532 - 11465x533 - 6911x538 + 9098x54 - 5548x542 + 6821x543 + 6460x544 - 7560x545 - 1468x547 + 60x548 + 6679x553 - 9527x555 - 4486x560 + 8794x562 + 4872x565 - 4677x566 + 2010x568 - 2206x569 - 5996x57 + 7981x572 + 8894x576 + 5112x577 + 3380x578 + 5488x579 - 212x580 + 467x582 + 9760x590 - 3581x593 - 2359x598 + 695x6 + 6425x600 + 5460x602 + 6995x603 - 6626x605 + 2074x606 - 6251x607 - 4228x61 + 3978x616 + 12632x618 + 8829x626 + 6973x629 - 298x635 - 794x639 - 849x641 + 990x643 - 7719x644 + 2963x648 + 2631x649 - 6231x651 + 1479x652 + 946x653 - 5131x654 - 17515x655 - 4950x660 - 7179x661 - 2904x665 - 7783x668 - 7686x669 - 9086x671 - 4315x675 + 71x678 - 3314x680 - 6644x687 + 9795x688 + 1969x690 + 6817x691 + 9124x692 + 1562x696 + 197x698 - 9831x7 + 5882x701 + 6506x707 - 11132x709 - 1245x71 + 7587x712 + 9599x713 - 7532x715 - 8094x717 - 7901x718 - 7686x720 + 9464x723 - 3005x725 + 5756x726 - 5245x727 + 16227x73 + 141x731 - 8537x732 + 3860x733 - 7413x737 - 3456x740 + 8377x741 + 6334x744 - 141x749 - 1075x750 + 1973x751 + 12509x752 - 6223x755 + 7700x756 + 4364x757 - 3780x759 + 1208x761 - 9973x763 + 1643x765 - 3378x769 - 8381x773 - 3820x777 - 9100x778 - 353x78 - 4326x783 - 8034x784 + 3145x785 + 4489x790 + 517x792 - 9296x793 - 445x796 + 7176x8 - 17x80 - 6657x800 - 4556x804 - 8570x808 - 5248x809 - 1603x813 + 4952x814 - 2036x818 + 1528x824 + 2725x825 - 1819x827 + 3003x829 + 4811x831 + 8956x835 - 6411x836 - 7983x84 + 5272x846 - 5456x847 + 4290x851 + 7062x857 - 7809x863 - 9305x866 - 967x869 + 6606x870 + 6898x877 + 8779x88 + 4022x881 + 4169x883 + 1904x889 + 3821x890 + 6048x895 + 7055x903 + 854x909 + 7898x91 + 2538x911 - 1903x912 + 4676x913 + 2291x915 - 8067x917 - 3211x918 + 4822x920 + 5274x922 + 1408x925 - 5084x930 + 4776x932 - 1275x935 + 1448x936 + 822x938 - 5616x945 - 6010x946 - 177x949 - 1759x952 + 9341x954 - 9426x962 + 1943x97 - 2604x971 - 6801x976 - 9446x978 + 6719x979 + 3894x980 + 1664x981 - 5545x982 + 9152x983 + 8781x987 + 5556x989 + 5574x990 - 5198x991 - 4562x992 - 7054x994,x11 : g7,x112 : g8,x113 : g9,x114 : g10,x115 : g11,x12 : g12,x121 : g13,x123 : g14,x124 : g15,x128 : g16,x13 : g17,x130 : g18,x131 : g19,x133 : g20,x134 : g21,x135 : g22,x136 : g23,x138 : g24,x140 : g25,x141 : g26,x144 : g27,x145 : g28,x147 : g29,x148 : g30,x150 : g31,x151 : g32,x152 : g33,x153 : g34,x159 : g35,x16 : g36,x160 : g37,x162 : g38,x165 : g39,x166 : g40,x167 : g41,x168 : g42,x170 : g43,x171 : g44,x173 : g45,x174 : g46,x175 : g47,x177 : g48,x178 : g49,x18 : g50,x181 : g51,x182 : g52,x186 : g53,x187 : g54,x188 : g55,x189 : g56,x19 : g57,x191 : g58,x192 : 206g0 + 295g1 + 1904g10 + 337g100 + 2115g101 + 914g102 + 2055g103 + 2805g104 + 1208g105 + 74g106 + 156g107 + 2824g108 + 2796g109 + 1099g11 + 1671g110 + 935g111 + 1418g112 + 2534g113 + 430g114 + 462g115 + 384g116 + 385g117 + 2954g118 + 1339g119 + 1822g12 + 2724g120 + 1202g121 + 169g122 + 68g123 + 18g124 + 553g125 - 83g126 + 1879g127 + 1604g128 + 2523g129 + 1587g13 + 2134g130 + 1199g131 + 2091g132 + 2670g133 + 971g134 + 1422g135 + 1116g136 + 2287g137 + 2752g138 + 1322g139 + 1082g14 + 2343g140 + 1852g141 + 2068g142 + 430g143 + 1141g144 + 1408g145 + 766g146 + 1749g147 + 227g148 + 2959g149 + 3078g15 + 2707g150 + 1247g151 + 1094g152 + 1225g153 + 2015g154 + 2678g155 + 2989g156 + 2286g157 + 2586g158 + 1694g159 + 1083g16 + 1792g160 + 1839g161 + 1386g162 + 2071g163 + 2518g164 + 2264g165 + 911g166 + 2860g167 + 266g168 + 1394g169 + 2419g17 + 2594g170 + 718g171 + 815g172 + 727g173 + 2119g174 + 378g175 + 842g176 + 3027g177 + 2931g178 + 961g179 + 585g18 + 2102g180 + 1285g181 + 2703g182 + 2302g183 + 2178g184 + 2644g185 + 370g186 + 203g187 + 2636g188 + 203g189 + 1718g19 + 592g190 + 1901g191 + 2441g192 - 98g193 + 388g194 + 447g195 + 1064g196 + 732g197 + 461g198 + 2780g199 + 1209g2 + 1981g20 + 2080g200 + 30g201 + 2369g202 + 832g203 + 2884g204 + 3082g205 + 2099g206 + 3103g207 + 322g208 + 331g209 + 2412g21 + 1896g210 + 2887g211 + 450g212 + 760g213 + 572g214 + 3153g215 + 2980g216 + 1760g217 + 1052g218 + 286g219 + 2368g22 + 1551g220 + 567g221 + 1260g222 + 53g223 + 2340g224 + 2616g225 + 950g226 + 1385g227 + 1950g228 + 1067g229 + 1906g23 + 3305g230 + 2166g231 + 1939g232 + 2163g233 + 278g234 + 2946g235 + 906g236 + 2931g237 + 514g238 + 2859g239 + 2729g24 + 2850g240 + 1893g241 + 2516g242 + 1095g243 + 2145g244 - 116g245 + 1189g246 + 2996g247 + 461g248 + 2228g249 + 1605g25 - 70g250 + 126g251 + 1974g252 + 1902g253 + 897g254 + 490g255 + 308g256 + 653g257 + 1891g258 + 523g259 + 359g26 + 1399g260 + 900g261 + 2704g262 + 55g263 + 719g264 + 1448g265 + 408g266 + 723g267 + 2599g268 + 401g269 + 1157g27 + 1216g270 + 2746g271 + 956g272 + 2178g273 + 872g274 + 3004g275 + 526g276 + 1096g277 + 569g278 + 323g279 + 1693g28 + 2140g280 + 1224g281 + 2266g282 + 172g283 + 1368g284 + 2501g285 + 2611g286 + 443g287 + 1590g288 + 313g289 + 48g29 + 1714g290 + 3165g291 + 2631g292 + 1020g293 + 178g294 + 649g295 + 2137g296 + 2483g297 + 2349g298 + 2347g299 + 2617g3 + 76g30 + 518g300 + 2588g301 + 1605g302 + 802g303 + 1960g304 + 204g305 + 2431g306 + 988g307 + 2718g308 + 2730g309 + 2051g31 + 2875g310 + 1989g311 + 2344g312 + 2869g313 + 1051g314 - 61g315 + 3222g316 + 2423g317 + 1626g318 + 2654g319 + 2143g32 + 526g320 + 1163g321 + 1474g322 + 2762g323 + 2939g324 + 1041g325 + 2775g326 + 1769g327 + 637g328 + 1892g329 + 2344g33 + 83g330 + 2041g331 + 889g332 + 1647g333 + 1679g334 + 2234g335 + 2819g336 + 2035g337 + 2459g338 + 2151g339 + 3182g34 + 3041g340 + 1563g341 + 1385g342 + 2633g343 + 873g344 + 2673g345 + 2759g346 + 350g347 + 1094g348 + 3035g349 + 693g35 + 2136g350 - 9g351 + 418g352 + 1637g353 + 2992g354 + 1078g355 + 3113g356 + 2589g357 + 2012g358 + 2915g359 + 2858g36 + 2841g360 + 597g361 + 2642g362 + 2089g363 + 3182g364 + 1832g365 + 2511g366 + 2740g367 + 2253g368 + 229g369 + 2713g37 + 1681g370 + 871g371 + 2789g372 + 1922g373 + 664g374 + 3086g375 + 2544g376 + 1405g377 + 2962g378 + 600g379 + 1056g38 + 1380g380 + 224g381 + 1301g382 + 1822g383 + 1292g384 + 2572g385 + 1507g386 + 992g387 + 1642g388 + 43g389 + 2316g39 + 1548g390 + 520g391 + 1354g392 + 2981g393 + 2446g394 + 1884g395 - 57g396 + 2609g397 + 862g398 + 416g399 + 813g4 + 2100g40 + 1497g400 + 1422g401 + 2848g402 + 2717g403 + 2891g404 + 365g405 + 741g406 + 2133g407 + 466g408 + 914g409 + 1834g41 + 992g410 + 1294g411 + 3142g412 + 1405g413 + 1771g414 + 291g415 + 1725g416 + 2764g417 + 2857g418 + 2784g419 + 170g42 + 1340g420 + 2929g421 + 2173g422 + 1219g423 + 416g424 + 2745g425 + 1536g426 + 229g427 + 166g428 + 75g429 + 1762g43 + 565g430 + 261g431 + 171g432 + 3193g433 + 1666g434 + 1423g435 + 549g436 + 2980g437 + 1127g438 + 621g439 + 2287g44 + 689g440 + 871g441 + 3029g442 + 580g443 + 2518g444 + 1615g445 + 2661g446 + 1110g447 + 2389g448 + 1809g449 + 268g45 + 1290g450 + 1254g451 + 1648g452 + 1507g453 + 914g454 + 3092g455 + 2123g456 + 1483g457 + 2990g458 + 1001g459 + 2978g46 + 2735g460 + 1127g461 + 2489g462 + 2576g463 - 48g464 + 496g465 + 2243g466 + 1507g467 + 1009g468 + 850g469 + 2707g47 + 2265g470 + 1403g471 + 993g472 + 1611g473 + 749g474 + 2580g475 + 2740g476 + 139g477 + 2207g478 + 1030g479 + 2883g48 + 2729g480 + 2200g481 + 949g482 + 2102g483 + 2557g484 + 160g485 + 2689g486 + 1802g487 + 1589g488 + 1572g489 + 487g49 + 398g490 + 350g491 + 304g492 + 1642g493 + 239g494 + 161g495 + 1624g496 + 896g497 + 1579g498 + 756g499 + 1946g5 + 2660g50 + 797g500 + 2908g501 + 2279g502 + 962g503 + 1265g504 + 2660g505 + 198g506 + 1056g507 + 1344g508 + 1399g509 + 1043g51 + 193g510 + 700g511 + 2187g512 + 227g513 + 183g514 + 242g515 + 1495g516 + 1837g517 + 2853g518 + 2017g519 + 919g52 + 1483g520 + 541g521 + 1743g522 + 744g523 + 2767g524 + 1339g525 + 1228g526 + 962g527 + 1717g528 + 313g529 + 403g53 + 2307g530 + 368g531 + 1322g532 + 2065g533 + 2486g534 + 2187g535 + 1800g536 + 1393g537 + 808g538 + 2556g539 + 191g54 + 2097g540 + 492g541 + 713g542 - 47g543 + 2665g544 + 2973g545 + 205g546 + 1675g547 + 1501g548 + 1300g549 + 2639g55 + 1543g550 + 1358g551 + 187g552 + 1779g553 + 3059g554 + 1515g555 + 3178g556 + 1732g557 + 855g558 + 1252g559 + 887g56 + 167g560 + 2203g561 + 2572g562 + 286g563 + 176g564 + 832g565 + 769g566 + 523g567 + 2102g568 + 327g569 + 2603g57 + 714g570 + 1767g571 + 807g572 + 2957g573 + 2354g574 + 3196g575 + 2508g58 + 2854g60 + 2539g61 + 1470g62 + 636g63 + 496g64 + 2828g65 + 2624g66 + 1536g67 + 1846g68 + 1404g69 + 587g7 + 861g70 + 1654g71 + 10g72 + 2229g73 + 491g74 + 33g75 + 660g76 + 1681g77 + 2711g78 + 2737g79 + 2719g8 + 2507g80 + 459g81 + 3144g82 - 125g83 + 479g84 + 391g85 + 545g86 + 2440g87 + 256g88 + 1855g89 + 225g9 + 2723g90 + 1390g91 + 450g92 + 1399g93 + 139g94 + 3000g95 + 1592g96 + 1501g97 + 2564g98 + 1268g99 + 371880x102 + 23760x11 - 128205x110 - 117090x111 - 215100x113 - 363510x115 - 65295x117 + 596340x118 - 150705x123 - 190755x126 + 53460x127 - 446985x13 + 361260x132 - 307395x133 - 264960x134 - 326880x137 + 420120x140 - 328320x143 + 491175x147 + 289800x15 - 161640x156 - 376245x162 + 375255x163 - 348840x164 + 275355x180 - 324000x181 + 350055x182 + 425025x185 - 106335x187 + 219015x188 + 334350x189 - 30285x190 + 400410x191 + 3240x194 + 278910x195 - 349605x197 - 97425x198 + 371070x199 + 385920x203 + 431505x21 - 72900x211 + 237600x218 + 95310x221 - 261765x224 - 400365x227 + 107010x228 + 295200x23 - 585x236 + 409860x238 + 201915x245 - 375885x248 + 236925x25 - 9135x254 - 23895x263 + 217215x267 + 297495x275 + 13860x279 - 320220x284 - 665955x285 - 440730x292 - 128385x30 + 118800x300 - 365310x302 - 376380x304 + 294660x310 - 312345x311 - 147510x314 + 921240x318 + 400500x319 + 5265x320 + 232470x321 - 28395x325 + 718965x326 + 198675x327 + 238410x333 + 338580x334 - 105885x336 + 24975x339 - 220815x34 - 324675x342 - 40860x346 - 52965x35 - 145890x352 + 342720x360 + 419040x364 - 391185x37 - 350370x370 - 250650x378 - 214470x38 - 254925x381 - 218700x39 + 305370x390 - 439605x393 + 346680x394 - 121815x395 + 258165x397 + 270990x40 - 200565x400 - 288000x408 + 315720x41 + 378180x412 - 271215x416 - 134460x420 + 221040x421 + 289305x424 - 573795x429 + 19800x431 - 335385x435 + 109440x439 + 694125x441 - 329130x443 + 155790x450 + 279045x451 + 121860x452 + 380565x454 - 219060x455 + 300690x456 - 64530x459 - 132930x460 + 170640x461 + 215910x462 - 64260x464 - 415125x465 + 592155x466 - 201870x468 + 312345x470 + 743940x473 + 449775x476 - 225810x477 + 255600x480 + 241875x483 - 52650x484 - 360585x485 + 280890x486 - 283860x489 + 270990x49 + 69480x490 + 353610x492 + 190980x498 - 100710x50 - 1980x502 + 75600x506 + 661950x507 - 72540x513 + 205740x517 - 3600x521 - 100890x522 + 115605x525 - 249660x527 - 409500x528 - 370755x53 - 250245x532 + 515925x533 + 310995x538 - 409410x54 + 249660x542 - 306945x543 - 290700x544 + 340200x545 + 66060x547 - 2700x548 - 300555x553 + 428715x555 + 201870x560 - 395730x562 - 219240x565 + 210465x566 - 90450x568 + 99270x569 + 269820x57 - 359145x572 - 400230x576 - 230040x577 - 152100x578 - 246960x579 + 9540x580 - 21015x582 - 439200x590 + 161145x593 + 106155x598 - 31275x6 - 289125x600 - 245700x602 - 314775x603 + 298170x605 - 93330x606 + 281295x607 + 190260x61 - 179010x616 - 568440x618 - 397305x626 - 313785x629 + 13410x635 + 35730x639 + 38205x641 - 44550x643 + 347355x644 - 133335x648 - 118395x649 + 280395x651 - 66555x652 - 42570x653 + 230895x654 + 788175x655 + 222750x660 + 323055x661 + 130680x665 + 350235x668 + 345870x669 + 408870x671 + 194175x675 - 3195x678 + 149130x680 + 298980x687 - 440775x688 - 88605x690 - 306765x691 - 410580x692 - 70290x696 - 8865x698 + 442395x7 - 264690x701 - 292770x707 + 500940x709 + 56025x71 - 341415x712 - 431955x713 + 338940x715 + 364230x717 + 355545x718 + 345870x720 - 425880x723 + 135225x725 - 259020x726 + 236025x727 - 730215x73 - 6345x731 + 384165x732 - 173700x733 + 333585x737 + 155520x740 - 376965x741 - 285030x744 + 6345x749 + 48375x750 - 88785x751 - 562905x752 + 280035x755 - 346500x756 - 196380x757 + 170100x759 - 54360x761 + 448785x763 - 73935x765 + 152010x769 + 377145x773 + 171900x777 + 409500x778 + 15885x78 + 194670x783 + 361530x784 - 141525x785 - 202005x790 - 23265x792 + 418320x793 + 20025x796 - 322920x8 + 765x80 + 299565x800 + 205020x804 + 385650x808 + 236160x809 + 72135x813 - 222840x814 + 91620x818 - 68760x824 - 122625x825 + 81855x827 - 135135x829 - 216495x831 - 403020x835 + 288495x836 + 359235x84 - 237240x846 + 245520x847 - 193050x851 - 317790x857 + 351405x863 + 418725x866 + 43515x869 - 297270x870 - 310410x877 - 395055x88 - 180990x881 - 187605x883 - 85680x889 - 171945x890 - 272160x895 - 317475x903 - 38430x909 - 355410x91 - 114210x911 + 85635x912 - 210420x913 - 103095x915 + 363015x917 + 144495x918 - 216990x920 - 237330x922 - 63360x925 + 228780x930 - 214920x932 + 57375x935 - 65160x936 - 36990x938 + 252720x945 + 270450x946 + 7965x949 + 79155x952 - 420345x954 + 424170x962 - 87435x97 + 117180x971 + 306045x976 + 425070x978 - 302355x979 - 175230x980 - 74880x981 + 249525x982 - 411840x983 - 395145x987 - 250020x989 - 250830x990 + 233910x991 + 205290x992 + 317430x994,x193 : g60,x195 : g61,x200 : g62,x202 : g63,x205 : g64,x206 : g65,x207 : g66,x209 : g67,x21 : g68,x211 : g69,x212 : g70,x213 : g71,x214 : g72,x218 : g73,x219 : g74,x220 : g75,x221 : g76,x228 : g77,x23 : g78,x230 : g79,x233 : g80,x234 : g81,x239 : g82,x244 : g83,x245 : g84,x247 : g85,x248 : g86,x249 : g87,x250 : g88,x251 : g89,x253 : g90,x254 : g91,x255 : g92,x256 : g93,x258 : g94,x26 : g95,x260 : g96,x261 : g97,x263 : g98,x267 : g99,x268 : g100,x27 : g101,x270 : g102,x271 : g103,x272 : g104,x273 : g105,x274 : g106,x276 : g107,x277 : g108,x278 : g109,x279 : g110,x28 : g111,x281 : g112,x282 : g113,x283 : g114,x284 : g115,x285 : g116,x287 : g117,x29 : g118,x290 : g119,x292 : g120,x293 : g121,x295 : g122,x297 : g123,x299 : g124,x300 : g125,x303 : g126,x304 : g127,x306 : g128,x308 : g129,x309 : g130,x31 : g131,x310 : g132,x312 : g133,x313 : g134,x315 : g135,x316 : g136,x317 : g137,x318 : g138,x32 : g139,x322 : g140,x323 : g141,x325 : g142,x326 : g143,x329 : g144,x330 : g145,x334 : g146,x336 : g147,x34 : g148,x340 : g149,x341 : g150,x343 : g151,x347 : g152,x348 : g153,x349 : g154,x35 : g155,x351 : g156,x353 : g157,x356 : g158,x360 : g159,x361 : g160,x362 : g161,x367 : g162,x369 : g163,x37 : g164,x370 : g165,x371 : g166,x372 : g167,x373 : g168,x375 : g169,x377 : g170,x379 : g171,x38 : g172,x381 : g173,x382 : g174,x383 : g175,x385 : g176,x387 : g177,x388 : g178,x391 : g179,x393 : g180,x395 : g181,x396 : g182,x397 : g183,x398 : g184,x399 : g185,x4 : g186,x40 : g187,x400 : g188,x401 : g189,x402 : g190,x403 : g191,x404 : g192,x405 : g193,x406 : g194,x41 : g195,x412 : g196,x414 : g197,x415 : g198,x416 : g199,x42 : g200,x420 : g201,x422 : g202,x424 : g203,x427 : g204,x428 : g205,x430 : g206,x431 : g207,x432 : g208,x433 : g209,x434 : g210,x436 : g211,x437 : g212,x439 : g213,x44 : g214,x440 : g215,x441 : g216,x443 : g217,x445 : g218,x446 : g219,x447 : g220,x45 : g221,x451 : g222,x452 : g223,x453 : g224,x458 : g225,x459 : g226,x46 : g227,x461 : g228,x462 : g229,x464 : g230,x47 : g231,x470 : g232,x472 : g233,x473 : g234,x475 : g235,x477 : g236,x478 : g237,x479 : g238,x482 : g239,x483 : g240,x484 : g241,x485 : g242,x486 : g243,x487 : g244,x49 : g245,x491 : g246,x492 : g247,x495 : g248,x497 : g249,x498 : g250,x50 : g251,x501 : g252,x503 : g253,x504 : g254,x505 : g255,x507 : g256,x51 : g257,x511 : g258,x512 : g259,x513 : g260,x514 : g261,x516 : g262,x517 : g263,x519 : g264,x52 : g265,x520 : g266,x521 : g267,x523 : g268,x525 : g269,x528 : g270,x531 : g271,x532 : g272,x533 : g273,x534 : g274,x536 : g275,x538 : g276,x539 : g277,x54 : g278,x541 : g279,x542 : g280,x544 : g281,x545 : g282,x546 : g283,x547 : g284,x549 : g285,x550 : g286,x551 : g287,x552 : g288,x554 : g289,x556 : g290,x56 : g291,x560 : g292,x561 : g293,x562 : g294,x563 : g295,x567 : g296,x568 : g297,x57 : g298,x571 : g299,x574 : g300,x575 : g301,x576 : g302,x578 : g303,x579 : g304,x58 : g305,x581 : g306,x582 : g307,x583 : g308,x585 : g309,x586 : g310,x588 : g311,x589 : g312,x59 : g313,x590 : g314,x591 : g315,x592 : g316,x593 : g317,x595 : g318,x596 : g319,x598 : g320,x599 : g321,x600 : g322,x602 : g323,x603 : g324,x605 : g325,x606 : g326,x609 : g327,x613 : g328,x614 : g329,x616 : g330,x617 : g331,x618 : g332,x621 : g333,x622 : g334,x625 : g335,x626 : g336,x627 : g337,x63 : g338,x630 : g339,x631 : g340,x632 : g341,x635 : g342,x636 : g343,x638 : g344,x639 : g345,x640 : g346,x641 : g347,x642 : g348,x644 : g349,x647 : g350,x648 : g351,x649 : g352,x65 : g353,x653 : g354,x654 : g355,x655 : g356,x657 : g357,x658 : g358,x659 : g359,x66 : g360,x663 : g361,x664 : g362,x665 : g363,x666 : g364,x668 : g365,x67 : g366,x671 : g367,x674 : g368,x675 : g369,x676 : g370,x679 : g371,x68 : g372,x684 : g373,x685 : g374,x686 : g375,x687 : g376,x688 : g377,x690 : g378,x692 : g379,x695 : g380,x697 : g381,x7 : g382,x70 : g383,x704 : g384,x706 : g385,x708 : g386,x710 : g387,x711 : g388,x712 : g389,x713 : g390,x714 : g391,x715 : g392,x716 : g393,x717 : g394,x719 : g395,x72 : g396,x720 : g397,x721 : g398,x722 : g399,x723 : g400,x725 : g401,x726 : g402,x727 : g403,x728 : g404,x729 : g405,x73 : g406,x732 : g407,x736 : g408,x737 : g409,x738 : g410,x739 : g411,x740 : g412,x746 : g413,x747 : g414,x748 : g415,x752 : g416,x757 : g417,x758 : g418,x76 : g419,x760 : g420,x762 : g421,x763 : g422,x764 : g423,x768 : g424,x769 : g425,x770 : g426,x774 : g427,x777 : g428,x778 : g429,x779 : g430,x780 : g431,x782 : g432,x784 : g433,x785 : g434,x786 : g435,x791 : g436,x793 : g437,x794 : g438,x795 : g439,x796 : g440,x797 : g441,x798 : g442,x799 : g443,x803 : g444,x804 : g445,x810 : g446,x811 : g447,x812 : g448,x814 : g449,x815 : g450,x818 : g451,x82 : g452,x820 : g453,x821 : g454,x823 : g455,x827 : g456,x833 : g457,x834 : g458,x836 : g459,x837 : g460,x838 : g461,x840 : g462,x844 : g463,x845 : g464,x846 : g465,x847 : g466,x848 : g467,x849 : g468,x852 : g469,x853 : g470,x854 : g471,x857 : g472,x858 : g473,x859 : g474,x86 : g475,x860 : g476,x861 : g477,x862 : g478,x863 : g479,x864 : g480,x865 : g481,x866 : g482,x867 : g483,x868 : g484,x869 : g485,x87 : g486,x870 : g487,x871 : g488,x872 : g489,x873 : g490,x874 : g491,x876 : g492,x880 : g493,x882 : g494,x883 : g495,x884 : g496,x886 : g497,x888 : g498,x89 : g499,x890 : g500,x891 : g501,x892 : g502,x893 : g503,x898 : g504,x899 : g505,x90 : g506,x900 : g507,x901 : g508,x903 : g509,x907 : g510,x908 : g511,x91 : g512,x911 : g513,x912 : g514,x914 : g515,x916 : g516,x917 : g517,x919 : g518,x921 : g519,x922 : g520,x923 : g521,x924 : g522,x926 : g523,x927 : g524,x93 : g525,x930 : g526,x931 : g527,x932 : g528,x934 : g529,x936 : g530,x937 : g531,x939 : g532,x942 : g533,x943 : g534,x945 : g535,x946 : g536,x947 : g537,x948 : g538,x952 : g539,x953 : g540,x954 : g541,x955 : g542,x956 : g543,x957 : g544,x958 : g545,x959 : g546,x960 : g547,x961 : g548,x963 : g549,x964 : g550,x966 : g551,x967 : g552,x968 : g553,x969 : g554,x97 : g555,x971 : g556,x972 : g557,x974 : g558,x975 : g559,x976 : g560,x977 : g561,x98 : g562,x981 : g563,x982 : g564,x983 : g565,x984 : g566,x988 : g567,x989 : g568,x99 : g569,x990 : g570,x991 : g571,x993 : g572,x994 : g573,x998 : g574]
-
-agum> Problem:   -7850x10 - 8388x103 + 888x105 - 6655x107 - 5640x108 - 2842x11 - 1508x111 - 4434x112 + 6239x113 - 7299x114 + 4307x116 + 6698x117 - 832x118 - 526x123 + 7915x126 - 9841x127 - 2793x128 - 2921x129 - 6492x132 + 2389x133 + 6203x135 - 9976x137 + 8324x138 - 7260x139 - 3879x140 + 398x142 - 1949x143 - 4722x144 - 4177x146 + 532x147 - 1379x148 - 162x149 + 9103x151 - 5592x152 + 3082x154 - 3639x155 - 3790x157 + 1488x158 + 1175x16 - 3272x161 + 6420x165 + 139x175 + 9416x176 - 1062x178 - 1834x179 - 6459x180 - 4703x181 + 2908x182 + 5590x184 - 8272x191 - 2630x192 + 4236x193 - 2688x196 - 15256x197 + 7531x199 + 7143x2 + 6480x20 - 6760x206 - 5886x208 + 5462x209 - 5731x210 - 310x212 + 7631x213 + 1613x216 - 8862x22 + 6401x222 + 5506x225 - 9468x226 - 8493x227 + 8882x228 - 17976x235 - 4429x236 - 6874x237 + 5057x240 + 5495x242 - 10685x243 + 1217x244 - 4801x245 + 3468x246 - 349x247 + 36x248 + 4403x25 - 3856x252 - 4845x254 - 5862x255 + 5249x256 - 10414x259 - 8212x26 - 2962x260 - 6566x263 - 2756x265 + 1300x268 - 5343x269 + 6883x27 - 14240x275 - 8561x277 + 149x28 - 333x280 - 13910x281 - 9748x283 + 4120x284 - 10927x285 - 8944x286 + 2397x288 + 3799x29 + 6312x290 + 12331x291 - 8806x292 + 4697x293 - 8103x294 + 4635x295 - 5365x298 - 8391x3 + 5113x300 + 1369x302 + 4348x303 + 2143x304 - 2495x306 + 3052x308 + 2670x310 - 7872x311 + 2329x312 - 4636x316 + 7063x319 + 7596x322 + 1056x326 - 1714x328 - 7125x329 - 9914x330 - 8990x331 + 11573x332 + 5729x334 + 2809x335 + 3979x336 + 1934x337 - 5623x338 - 93x345 + 147x346 + 365x347 + 3947x348 - 2785x349 - 6285x354 - 1226x355 + 8812x356 + 3915x358 + 9838x360 + 712x361 + 3064x363 - 8160x365 - 4001x366 - 8589x368 + 5944x370 - 5182x372 + 1950x374 + 2533x375 + 3868x376 + 7924x377 - 3812x38 + 1412x381 - 919x382 + 1873x384 - 4738x385 - 6626x388 + 5356x389 + 1183x390 - 3478x391 - 3720x392 - 15123x393 - 7337x395 - 8593x396 - 555x397 - 1261x398 + 6508x4 + 180x40 + 6629x400 - 5971x401 + 1388x402 + 8012x403 - 5167x404 - 1374x405 - 5896x406 + 5632x408 + 1597x409 - 297x410 - 2359x411 - 847x412 - 4597x413 + 6519x415 - 7151x416 + 2026x417 + 3402x418 - 18621x419 - 1098x420 - 1720x424 - 6861x425 - 1569x427 + 10476x428 + 697x429 - 7493x43 + 16649x430 - 3663x432 + 1578x435 - 357x436 - 1021x438 - 8233x439 + 4733x441 - 3932x442 - 8167x443 - 11608x445 + 8977x446 - 11197x448 - 9802x449 + 843x451 - 2177x454 + 16845x455 - 5383x456 - 2622x458 - 442x462 + 2194x463 + 9033x465 + 2215x466 + 605x467 - 3412x47 - 488x474 + 1462x475 + 499x476 + 18685x477 + 2567x478 + 118x485 + 2490x486 + 2165x487 + 4467x496 + 5796x498 - 9188x502 - 9212x503 - 4014x507 - 9305x509 + 7461x51 - 1871x511 + 7934x512 + 1105x513 - 555x514 + 4629x518 + 3625x52 + 9493x520 + 3449x521 + 2179x522 - 7211x523 + 4698x525 - 2903x526 + 4063x528 + 5551x529 + 6034x530 - 9227x533 - 12623x535 + 1052x536 + 4223x537 + 4105x54 - 9245x543 + 1429x545 + 2750x546 + 415x548 + 1699x549 + 9560x550 - 2923x551 - 10230x552 - 9136x554 - 4803x556 - 635x558 + 4972x559 + 3075x56 - 8407x560 - 3714x562 - 4718x563 - 5176x566 + 16094x567 - 13768x569 - 5199x57 - 2066x570 + 12665x571 - 238x572 + 10302x573 + 3795x574 + 9707x575 + 8178x578 + 19671x579 - 2030x58 - 1864x581 - 10662x582 + 8080x583 - 16882x584 - 5044x585 - 3939x587 - 4985x588 + 739x589 - 1701x59 - 6389x592 + 893x593 - 3812x594 + 12673x596 - 15947x597 - 896x6 - 320x60 + 4055x601 - 2518x602 - 7739x603 - 3449x604 - 5725x605 - 1283x606 + 8958x607 - 3764x608 - 6584x610 + 1098x611 - 6057x612 + 14156x613 - 9262x614 - 2966x616 + 16277x618 + 13952x619 + 9620x62 + 8196x620 + 8019x622 + 1789x624 + 11685x625 + 2991x626 - 1342x627 - 4676x629 + 914x63 - 625x632 - 16486x634 - 753x636 - 11474x637 - 3023x638 - 1447x639 + 5439x640 - 6809x643 + 2399x644 - 2284x647 - 2552x648 + 6992x649 + 5715x65 + 8646x650 - 4642x651 - 2862x652 - 8068x653 - 8539x654 - 1413x656 + 6084x657 - 8853x659 + 3524x660 - 7605x662 + 13133x663 - 4766x664 + 2795x665 + 12256x667 + 917x668 - 6077x67 + 5434x670 - 5646x671 + 8851x676 - 1661x678 + 8231x679 + 3841x684 - 1566x685 - 7671x686 - 12541x687 - 8313x688 + 10998x69 - 6555x690 - 7639x692 - 6050x693 - 9036x695 + 12334x696 - 4578x697 + 4371x699 - 9452x7 - 5312x700 + 3280x701 + 5254x702 - 7043x703 - 7036x706 + 3192x709 - 9025x71 - 2351x712 - 2770x713 + 7459x716 + 10016x718 + 2327x719 + 1979x72 + 4316x721 - 1816x722 - 2460x726 - 471x727 + 5601x728 + 5629x73 + 1309x731 - 961x732 + 5563x734 + 9054x735 + 7100x737 + 1760x738 - 7014x740 - 8743x741 - 4625x742 + 11197x744 + 4285x746 - 6243x747 + 9102x748 + 6514x749 + 408x75 - 547x750 - 1812x752 + 3913x753 - 6364x754 + 5411x756 - 4473x757 + 14643x76 + 2244x760 - 2371x763 + 5578x764 + 3813x765 - 3092x768 - 9011x77 - 230x771 + 5328x772 - 987x773 - 3609x777 - 8757x779 - 8596x780 - 5183x781 + 2386x782 - 8499x784 - 2059x785 - 1327x790 - 7462x791 - 1277x792 - 8817x795 - 12296x796 + 825x799 + 7188x800 + 8267x801 + 4034x802 - 4069x804 - 2730x805 + 611x806 + 804x807 - 1800x808 + 7159x809 + 7638x81 + 7840x813 + 6332x814 + 1194x817 + 9727x818 + 1380x819 - 3452x821 - 911x822 + 465x823 + 538x825 + 5970x826 - 9822x828 + 534x83 + 884x830 + 13227x831 - 7023x832 - 2144x833 + 7665x836 - 7772x839 + 16311x84 + 10050x843 + 3160x846 - 4699x847 - 6941x848 - 2422x849 - 3727x85 - 744x851 + 3074x852 + 9169x855 + 9968x857 + 4219x858 + 2854x860 + 2387x863 - 1236x865 + 7812x866 + 2091x868 - 5660x869 + 5401x871 + 529x872 + 5040x873 - 6185x874 - 8535x877 + 5875x879 + 1045x88 - 7357x880 + 5923x883 - 1913x888 + 3373x890 + 1506x892 - 3585x893 - 8873x894 + 4887x895 - 9808x896 - 8858x899 - 4695x904 - 2603x906 + 4577x909 + 5318x91 - 3293x910 + 6691x911 + 13337x912 + 6025x913 - 10801x914 - 12881x915 + 4065x916 + 3209x920 - 3365x922 - 184x927 + 902x928 + 3673x93 - 1862x930 + 9288x932 - 1022x934 + 5414x935 + 3046x936 + 981x937 - 7209x938 + 2107x941 - 3232x943 - 1939x944 - 2575x949 - 3381x951 - 3430x953 - 8260x954 + 4641x957 - 7826x961 - 6031x963 - 1486x964 + 9410x965 - 8585x967 - 7943x968 - 15897x969 - 1135x972 + 1388x974 - 17461x975 - 6701x976 + 6440x98 + 5310x980 + 1583x981 + 1809x982 - 5451x984 - 9104x987 + 9687x988 - 8788x990 + 8998x992 - 904x994 + 2301x996 + 1853x999 = 118x103 + 3777x105 - 7667x106 - 9679x107 + 7260x11 - 9816x110 - 3936x111 + 6903x113 - 3990x114 + 3578x116 + 8293x117 - 5177x125 - 550x129 - 3277x135 + 5075x139 - 3776x14 - 857x142 - 8157x143 - 1810x144 - 7162x147 - 545x150 - 7065x152 - 9656x155 + 4403x159 - 8258x161 - 404x169 + 3799x170 - 6761x174 - 6467x176 + 6468x178 + 2343x184 - 8025x187 - 617x188 - 695x19 + 7772x190 - 8463x191 + 960x194 - 8773x196 - 8840x198 - 4573x20 - 5333x201 - 3761x202 - 5621x205 + 6646x206 + 3864x207 - 2153x210 - 9331x214 - 8549x215 + 4767x22 + 7034x225 + 4245x227 + 691x229 + 9811x23 + 5899x231 - 5853x233 + 9797x234 + 1108x235 + 5628x236 + 3847x238 + 6138x240 + 4662x242 + 519x243 - 1117x244 + 2092x245 - 8650x246 - 3410x248 - 9103x253 - 5514x259 - 3836x26 + 8179x261 - 300x262 + 6924x263 + 11217x268 - 796x269 - 12180x271 - 2172x272 - 754x275 - 1074x276 - 2490x277 + 8284x28 - 2007x280 + 2863x282 - 7401x284 - 7248x29 - 588x299 - 2449x303 - 5500x304 - 1641x308 + 4451x31 - 15347x310 + 5827x311 - 8480x314 - 9202x316 + 1209x317 - 405x318 - 7117x320 + 7278x326 + 8958x329 - 8325x332 - 6152x333 - 3733x335 + 6547x338 + 578x339 - 5820x34 - 6525x345 - 458x347 + 9889x350 - 4621x351 - 5571x355 + 4203x364 - 1758x365 - 9837x369 + 941x372 + 274x373 - 1428x374 - 8444x378 - 3588x381 - 8094x384 + 185x387 + 9789x390 + 5762x392 + 5095x394 + 4488x395 - 7164x398 - 5997x399 + 6543x400 - 13842x407 - 9270x408 + 3681x409 + 3783x410 + 7485x411 - 5318x413 + 9232x414 - 470x415 - 9681x417 + 8464x418 + 9794x420 + 6069x421 + 2112x423 + 4149x424 + 2616x425 - 8304x427 + 1303x428 - 5900x429 - 4291x430 + 3746x431 - 8331x434 - 450x44 - 2552x440 + 3894x441 + 8617x445 - 2807x450 - 1359x451 - 946x456 + 2716x459 + 4975x462 - 8762x463 - 3948x471 + 246x473 + 650x476 + 3022x48 + 8392x480 - 3015x481 + 5460x485 + 9673x488 - 10009x492 + 4135x494 - 3497x496 - 6601x497 - 9462x5 - 2977x501 - 8211x502 + 5406x503 - 4425x508 + 1487x509 - 672x512 + 2136x513 - 891x517 + 3347x518 + 636x520 + 2993x524 + 9148x525 - 2528x526 + 7987x529 - 9610x53 + 12532x532 - 2849x534 + 1363x536 - 9372x538 - 5860x54 + 7535x540 + 1834x542 + 22605x545 - 746x546 - 7086x548 + 7020x550 + 5807x553 - 6401x559 + 3403x56 + 3987x562 - 1382x564 + 5646x566 - 1106x569 + 217x573 + 1209x577 + 4257x578 + 8823x58 - 6939x582 - 2044x583 - 9540x584 + 6693x585 + 3057x588 - 7347x591 + 6936x592 + 9907x593 - 2983x598 + 9530x599 - 73x6 + 1595x60 - 840x603 + 2671x605 + 3028x607 - 6492x608 + 844x609 - 5978x61 - 8443x610 + 1903x611 + 3554x614 - 652x617 + 6662x618 + 5393x62 + 5869x620 + 3477x621 + 4576x622 + 6760x625 + 5750x627 + 9496x628 - 8275x631 - 1387x634 + 6021x639 - 8832x654 + 4347x657 + 5974x659 - 8930x66 + 5198x661 - 6389x664 - 8514x666 + 2389x67 + 7367x670 + 552x672 - 2968x673 + 9240x678 - 9692x68 + 6763x685 - 989x687 - 860x69 - 6015x690 - 8994x693 - 1711x695 - 1274x698 + 3561x699 - 9740x7 + 6193x700 + 6350x707 + 4814x708 - 7084x711 - 2319x712 + 6597x716 + 949x717 + 9027x722 + 4290x723 + 9533x726 + 8030x728 + 6346x73 + 9935x731 - 6930x735 - 6108x738 + 4760x740 + 6978x746 + 5407x749 - 10134x75 + 3418x752 - 1887x755 + 2145x756 + 8883x760 - 3724x762 - 16315x767 - 979x77 - 7573x773 - 3393x774 + 2421x776 + 5760x779 + 1779x783 - 6133x785 + 986x789 + 4156x79 + 3944x793 + 8906x8 + 2505x801 - 4936x804 - 6975x807 - 1053x813 - 6418x815 + 3588x819 + 10137x822 + 5893x823 + 5577x826 + 18821x829 + 7027x83 - 7910x830 - 3602x831 + 2457x834 - 7517x835 - 6411x836 + 345x838 + 2100x839 + 6236x840 + 1602x847 - 7605x848 + 7082x85 + 9393x852 + 985x855 - 4325x858 + 624x86 - 4323x860 + 5230x861 - 1777x862 + 4607x864 + 9348x867 + 3721x868 - 3217x869 + 4120x87 - 9129x872 + 19729x873 + 4264x877 - 7599x879 - 6097x88 + 6781x880 + 3381x881 + 4634x883 - 3208x886 + 395x892 - 3615x893 + 5108x897 - 4015x901 - 5606x902 - 4199x905 - 744x906 - 4447x908 - 7062x911 + 8507x917 - 2x919 + 1916x920 + 5443x921 + 6050x922 + 9036x924 - 9291x926 - 4486x927 - 7537x930 - 3835x932 - 3657x934 + 1714x938 - 10110x94 + 7990x943 - 2104x953 + 1756x956 - 1486x961 + 6098x962 + 8267x965 - 1871x966 - 3828x968 + 9180x97 - 353x970 - 4798x972 + 6085x973 - 4763x974 + 2344x980 - 9527x983 - 18335x986 - 5517x987 - 3827x988 + 104x989 - 6140x99 + 7358x990 - 1066x995 - 1281x996 + 2801x999
-Unifier:   [x10 : g0,x103 : g1,x105 : -g100 - g101 - g104 - g106 - g108 - g11 - g110 - g111 - g113 - g117 - g12 - g121 - g122 - g123 - g128 - g129 - g13 - g132 - g134 - g135 - g137 - g138 - g140 - g142 - g143 - g144 - g145 - g147 - g148 - g149 - g150 - g151 - g152 - g153 - g154 - g155 - g156 - g157 - g16 - g160 - g161 - g162 - g163 - g167 - g17 - g172 - g174 - g18 - g180 - g181 - g182 - g183 - g184 - g185 - g186 - g187 - g189 - g19 - g193 - g195 - g196 - g197 - g199 - g20 - g202 - g208 - g209 - g211 - g217 - g218 - g219 - g22 - g220 - g221 - g222 - g223 - g227 - g230 - g238 - g239 - g241 - g242 - g243 - g245 - g247 - g249 - g250 - g251 - g252 - g253 - g254 - g257 - g258 - g26 - g260 - g261 - g262 - g265 - g267 - g268 - g269 - g270 - g272 - g274 - g275 - g276 - g279 - g28 - g281 - g282 - g283 - g289 - g29 - g290 - g291 - g294 - g297 - g298 - g299 - g3 - g300 - g302 - g305 - g306 - g309 - g311 - g312 - g314 - g315 - g316 - g318 - g319 - g32 - g320 -