From d0f2866be282bcf8005ad30decae007f912440fd Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 19:47:27 +0200
Subject: [PATCH 01/22] Update build instructions; Make nicer code look

---
 README.md | 128 ++++++++----------------------------------------------
 1 file changed, 19 insertions(+), 109 deletions(-)

diff --git a/README.md b/README.md
index 161f2ca..96e164d 100644
--- a/README.md
+++ b/README.md
@@ -1,94 +1,3 @@
-Quick Action
-============
-
-To get started quickly, do the following:
-
-1: Install Ubuntu 12.04 32 bit on a clean box, just to have a common ground (it should come with the default installation but make sure that gcc is installed)
-
-2: Download libScarab-1.0.0.zip, gmp-5.1.1.tar.lz, flint-1.6.tgz, mpir-2.6.0.tar.bz2, mpfr-3.1.1.tar.bz2 from hcrypt.com and the linked web pages
-
-3: Install m4 and lzip
-
-3.1. sudo apt-get install m4 
-
-3.2. sudo apt-get install lzip
-
-4: Install gmp
- 
-4.1. lzip -d gmp-5.1.1.tar.lz
-
-4.2. tar xf gmp-5.1.1.tar
-
-4.3. cd gmp-5.1.1
-
-4.4. ./configure
-
-4.5. make
-
-4.6. make check #(never ever skip the checks!)
-
-4.7. sudo make install
-
-5: Install mpfr
-
-5.1. tar xjf mpfr-3.1.1.tar.bz2
-
-5.2. cd mpfr-3.1.1
-
-5.3. make
-
-5.4. make check
-
-5.5. sudo make install
-
-6: Install mpir
-
-6.1. tar xjf mpir-2.6.0.tar.bz2
-
-6.2. cd mpir-2.6.0
-
-6.3. ./configure
-
-6.4. make
-
-6.5. make check
-
-6.6. sudo make install
-
-7: Install flint (ok, this is perhaps quite a bit strange)
-
-7.1. tar xf flint-1.6.tgz
-
-7.2. cd flint-1.6
-
-7.3. source flint_env
-
-7.4. make library
-
-7.5. sudo cp libflint.so /usr/local/lib
-
-7.6. sudo cp *.h /usr/local/include
-
-7.7. sudo mkdir -p /usr/local/include/zn_poly/src
-
-7.8. sudo cp zn_poly/include/*.h /usr/local/include/zn_poly/src/
-
-8: Run libscarab test
-
-8.1. mkdir libscarab
-
-8.2. cd libscarab
-
-8.3. unzip ../libScarab-1.0.0.zip
-
-8.4. make
-
-8.5. export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
-
-8.6. ./integer-fhe
-
-ta-daaa!
-
 Introduction
 ============
 
@@ -99,24 +8,23 @@ The library presented here is beta software and should not be used for any missi
 Installation and usage
 ======================
 
-Requirements
-------------
-
-The following libraries are required for building hcrypt:
+Prerequisites
+-------------
 
-    GMP: GNU Multiple Precision Arithmetic Library — http://gmplib.org/
-    FLINT: Fast Library for Number Theory version 1.6 — http://flintlib.org/flint-1.6.tgz
-        MPIR: Multiple Precision Integers and Rationals — http://mpir.org/ (required by FLINT)
-        MPFR — http://www.mpfr.org/ (required by FLINT)
+For Debian-based systems:
 
-The library expects the flint headers under in your include directory. Also, copy zn_poly/include/*.h to ./zn_poly/src/ relative to your include path.
+```
+sudo apt-get install build-essential m4 lzip unzip
+```
 
 Building
 --------
 
 The compilation is done using make.
 
+```
 $ make
+```
 
 This builds an integer-fhe executeable in the current directory that runs a test of the library.
 Usage
@@ -124,14 +32,16 @@ Usage
 You can use the library as demonstrated in test.c. The following methods are exposed:
 function prototype 	meaning
 
-fhe_keygen(fhe_pk_t pk, fhe_sk_t sk); 	Generate a keypair
-fhe_encrypt(mpz_t c, fhe_pk_t pk, int m); 	Encrypt a message (0 or 1)
-fhe_decrypt(mpz_t c, fhe_sk_t sk); 	Decrypt a cyphertext
-fhe_recrypt(mpz_t c, fhe_pk_t pk, fhe_sk_t sk); 	Recrypt a cyphertext (“refreshing” it)
-fhe_add(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	Add cyphertexts (= XOR)
-fhe_mul(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	Multiply cyphertexts (= AND)
-fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk); 	Add with carry in and carry out
-fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk); 	Add with carry out
+```
+fhe_keygen(fhe_pk_t pk, fhe_sk_t sk); 	             // Generate a keypair
+fhe_encrypt(mpz_t c, fhe_pk_t pk, int m); 	         // Encrypt a message (0 or 1)
+fhe_decrypt(mpz_t c, fhe_sk_t sk);                   // Decrypt a cyphertext
+fhe_recrypt(mpz_t c, fhe_pk_t pk, fhe_sk_t sk); 	 // Recrypt a cyphertext (“refreshing” it)
+fhe_add(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	 // Add cyphertexts (= XOR)
+fhe_mul(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	 // Multiply cyphertexts (= AND)
+fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk); 	// Add with carry in and carry out
+fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk); 	            // Add with carry out
+```
 
 References
 ==========
@@ -147,7 +57,7 @@ License
 
 The source code is published under a MIT license:
 
-Copyright © 2011
+Copyright © 2011, 2014
 
 Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
 

From 5fa80b11ba837890887330be3ee79bf2e930ea52 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 19:47:37 +0200
Subject: [PATCH 02/22] Add gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..da63913
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+build/*
+

From 87f123d8e0a131758f673322627756d63076e9d3 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 19:49:02 +0200
Subject: [PATCH 03/22] Rename source folder to src

---
 libScarab1.0.0/Makefile                |  15 ---------------
 {libScarab1.0.0 => src}/VERSION        |   0
 {libScarab1.0.0 => src}/integer-fhe.c  |   0
 {libScarab1.0.0 => src}/integer-fhe.h  |   0
 {libScarab1.0.0 => src}/integer-fhe.nb |   0
 {libScarab1.0.0 => src}/integer-fhe.o  | Bin
 {libScarab1.0.0 => src}/main.c         |   0
 {libScarab1.0.0 => src}/main.o         | Bin
 {libScarab1.0.0 => src}/parameters.h   |   0
 {libScarab1.0.0 => src}/test.c         |   0
 {libScarab1.0.0 => src}/test.h         |   0
 {libScarab1.0.0 => src}/test.o         | Bin
 {libScarab1.0.0 => src}/types.c        |   0
 {libScarab1.0.0 => src}/types.h        |   0
 {libScarab1.0.0 => src}/types.o        | Bin
 {libScarab1.0.0 => src}/util.c         |   0
 {libScarab1.0.0 => src}/util.h         |   0
 {libScarab1.0.0 => src}/util.o         | Bin
 18 files changed, 15 deletions(-)
 delete mode 100644 libScarab1.0.0/Makefile
 rename {libScarab1.0.0 => src}/VERSION (100%)
 rename {libScarab1.0.0 => src}/integer-fhe.c (100%)
 rename {libScarab1.0.0 => src}/integer-fhe.h (100%)
 rename {libScarab1.0.0 => src}/integer-fhe.nb (100%)
 rename {libScarab1.0.0 => src}/integer-fhe.o (100%)
 rename {libScarab1.0.0 => src}/main.c (100%)
 rename {libScarab1.0.0 => src}/main.o (100%)
 rename {libScarab1.0.0 => src}/parameters.h (100%)
 rename {libScarab1.0.0 => src}/test.c (100%)
 rename {libScarab1.0.0 => src}/test.h (100%)
 rename {libScarab1.0.0 => src}/test.o (100%)
 rename {libScarab1.0.0 => src}/types.c (100%)
 rename {libScarab1.0.0 => src}/types.h (100%)
 rename {libScarab1.0.0 => src}/types.o (100%)
 rename {libScarab1.0.0 => src}/util.c (100%)
 rename {libScarab1.0.0 => src}/util.h (100%)
 rename {libScarab1.0.0 => src}/util.o (100%)

diff --git a/libScarab1.0.0/Makefile b/libScarab1.0.0/Makefile
deleted file mode 100644
index 1832ff7..0000000
--- a/libScarab1.0.0/Makefile
+++ /dev/null
@@ -1,15 +0,0 @@
-CC       = gcc
-CFLAGS   = -Wall -g3 -ggdb -std=c99 -I/usr/local/include -I/usr/local/include/libflint -L/usr/local/lib
-LDFLAGS += -lgmp -lflint
-SOURCE   = $(shell find * -name '*.c')
-OBJECTS  = $(SOURCE:.c=.o)
-.PHONY:    clean
-
-all: integer-fhe
-
-integer-fhe: $(OBJECTS)
-	$(CC) -o integer-fhe $^ $(LDFLAGS)
-
-clean:
-	rm -f $(OBJECTS) integer-fhe
-
diff --git a/libScarab1.0.0/VERSION b/src/VERSION
similarity index 100%
rename from libScarab1.0.0/VERSION
rename to src/VERSION
diff --git a/libScarab1.0.0/integer-fhe.c b/src/integer-fhe.c
similarity index 100%
rename from libScarab1.0.0/integer-fhe.c
rename to src/integer-fhe.c
diff --git a/libScarab1.0.0/integer-fhe.h b/src/integer-fhe.h
similarity index 100%
rename from libScarab1.0.0/integer-fhe.h
rename to src/integer-fhe.h
diff --git a/libScarab1.0.0/integer-fhe.nb b/src/integer-fhe.nb
similarity index 100%
rename from libScarab1.0.0/integer-fhe.nb
rename to src/integer-fhe.nb
diff --git a/libScarab1.0.0/integer-fhe.o b/src/integer-fhe.o
similarity index 100%
rename from libScarab1.0.0/integer-fhe.o
rename to src/integer-fhe.o
diff --git a/libScarab1.0.0/main.c b/src/main.c
similarity index 100%
rename from libScarab1.0.0/main.c
rename to src/main.c
diff --git a/libScarab1.0.0/main.o b/src/main.o
similarity index 100%
rename from libScarab1.0.0/main.o
rename to src/main.o
diff --git a/libScarab1.0.0/parameters.h b/src/parameters.h
similarity index 100%
rename from libScarab1.0.0/parameters.h
rename to src/parameters.h
diff --git a/libScarab1.0.0/test.c b/src/test.c
similarity index 100%
rename from libScarab1.0.0/test.c
rename to src/test.c
diff --git a/libScarab1.0.0/test.h b/src/test.h
similarity index 100%
rename from libScarab1.0.0/test.h
rename to src/test.h
diff --git a/libScarab1.0.0/test.o b/src/test.o
similarity index 100%
rename from libScarab1.0.0/test.o
rename to src/test.o
diff --git a/libScarab1.0.0/types.c b/src/types.c
similarity index 100%
rename from libScarab1.0.0/types.c
rename to src/types.c
diff --git a/libScarab1.0.0/types.h b/src/types.h
similarity index 100%
rename from libScarab1.0.0/types.h
rename to src/types.h
diff --git a/libScarab1.0.0/types.o b/src/types.o
similarity index 100%
rename from libScarab1.0.0/types.o
rename to src/types.o
diff --git a/libScarab1.0.0/util.c b/src/util.c
similarity index 100%
rename from libScarab1.0.0/util.c
rename to src/util.c
diff --git a/libScarab1.0.0/util.h b/src/util.h
similarity index 100%
rename from libScarab1.0.0/util.h
rename to src/util.h
diff --git a/libScarab1.0.0/util.o b/src/util.o
similarity index 100%
rename from libScarab1.0.0/util.o
rename to src/util.o

From 767f606063443fd991f78334da308b431f2f0757 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 20:08:27 +0200
Subject: [PATCH 04/22] Add setup script

---
 etc/setup.sh | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100755 etc/setup.sh

diff --git a/etc/setup.sh b/etc/setup.sh
new file mode 100755
index 0000000..6fd914d
--- /dev/null
+++ b/etc/setup.sh
@@ -0,0 +1,59 @@
+#!/bin/bash
+
+#
+# Download and build dependencies
+#
+
+mkdir -p lib
+cd lib
+
+# Download libs
+
+wget https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
+wget http://www.flintlib.org/flint-1.6.tgz
+wget http://www.mpir.org/mpir-2.6.0.tar.bz2
+wget https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
+
+# Install GMP
+
+lzip -d gmp-6.0.0a.tar.lz
+tar xf gmp-6.0.0a.tar
+
+cd gmp-6.0.0
+./configure
+make
+make check
+sudo make install
+cd ..
+
+# Install mpfr
+
+tar xjf mpfr-3.1.1.tar.bz2
+cd mpfr-3.1.1
+make
+make check
+sudo make install
+cd ..
+
+# Install mpir
+
+tar xjf mpir-2.6.0.tar.bz2
+cd mpir-2.6.0
+./configure
+make
+make check
+sudo make install
+cd ..
+
+# Install flint (ok, this is perhaps quite a bit strange)
+
+tar xzf flint-1.6.tgz
+cd flint-1.6
+. flint_env
+make library
+sudo cp libflint.so /usr/local/lib
+sudo cp *.h /usr/local/include
+sudo mkdir -p /usr/local/include/zn_poly/src
+sudo cp zn_poly/include/*.h /usr/local/include/zn_poly/src/
+cd ..
+

From c0115e437d42ff0a7ded71a0a08bc314b86ee0ae Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 20:08:48 +0200
Subject: [PATCH 05/22] Update gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index da63913..597acff 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
 build/*
-
+lib/*

From 314190c599ad7bedf133b78361daa67433347240 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 21:37:06 +0200
Subject: [PATCH 06/22] Attempt at Makefile

---
 Makefile | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..2740628
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,25 @@
+CC        = gcc
+
+SETUP     = etc/setup.sh
+
+SRCDIR    = src
+BINDIR    = bin
+TARGET    = $(BINDIR)/integer-fhe
+
+CFLAGS    = -Wall -g3 -ggdb -std=c99 -I/usr/local/include -I/usr/local/include/libflint -L/usr/local/lib
+LDFLAGS  += -lgmp -lflint
+SOURCES   = $(shell find $(SRCDIR) -name '*.c')
+OBJECTS   = $(SOURCES:.c=.o)
+.PHONY:    clean
+
+all: $(TARGET)
+
+$(TARGET): $(OBJECTS)
+	chmod +x $(SETUP)
+	./$(SETUP)
+	mkdir -p $(BINDIR) 
+	$(CC) -o $(TARGET) $(SOURCES) $(CFLAGS) $(LDFLAGS)
+
+clean:
+	rm -f $(OBJECTS) integer-fhe
+	rm -r lib/*

From 36afdf9c5c87493035c8b7f116f07271608c49e2 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Tue, 29 Jul 2014 21:37:28 +0200
Subject: [PATCH 07/22] Update gitignore

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 597acff..ccd805c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,7 @@
 build/*
 lib/*
+bin/*
+
+*.o
+*.a
+*.so

From 4a11795d60d4215a5aee919870a059fd00222740 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Wed, 30 Jul 2014 17:32:31 +0200
Subject: [PATCH 08/22] Update setup.sh not to download packages if they are
 present

---
 etc/setup.sh | 40 +++++++++++++++++++++++++++++++---------
 1 file changed, 31 insertions(+), 9 deletions(-)

diff --git a/etc/setup.sh b/etc/setup.sh
index 6fd914d..dd30a24 100755
--- a/etc/setup.sh
+++ b/etc/setup.sh
@@ -9,15 +9,28 @@ cd lib
 
 # Download libs
 
-wget https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
-wget http://www.flintlib.org/flint-1.6.tgz
-wget http://www.mpir.org/mpir-2.6.0.tar.bz2
-wget https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
+if [ ! -f "gmp-6.0.0a.tar.lz" ]; then
+    wget https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
+fi
+
+if [ ! -f "flint-1.6.tgz" ]; then
+    wget http://www.flintlib.org/flint-1.6.tgz
+fi
+
+if [ ! -f "mpir-2.6.0.tar.bz2" ]; then
+    wget http://www.mpir.org/mpir-2.6.0.tar.bz2
+fi
+
+if [ ! -f "mpfr-3.1.1.tar.bz2"]; then
+    wget https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
+fi
 
 # Install GMP
 
-lzip -d gmp-6.0.0a.tar.lz
-tar xf gmp-6.0.0a.tar
+if [! -d "gmp-6.0.0"]; then
+    lzip -d gmp-6.0.0a.tar.lz
+    tar xf gmp-6.0.0a.tar
+fi
 
 cd gmp-6.0.0
 ./configure
@@ -28,7 +41,10 @@ cd ..
 
 # Install mpfr
 
-tar xjf mpfr-3.1.1.tar.bz2
+if [! -d "mpfr-3.1.1"]; then
+    tar xjf mpfr-3.1.1.tar.bz2
+fi
+
 cd mpfr-3.1.1
 make
 make check
@@ -37,7 +53,10 @@ cd ..
 
 # Install mpir
 
-tar xjf mpir-2.6.0.tar.bz2
+if [! -d "mpir-2.6.0"]; then
+    tar xjf mpir-2.6.0.tar.bz2
+fi
+
 cd mpir-2.6.0
 ./configure
 make
@@ -47,7 +66,10 @@ cd ..
 
 # Install flint (ok, this is perhaps quite a bit strange)
 
-tar xzf flint-1.6.tgz
+if [! -d "flint-1.6"]; then
+    tar xzf flint-1.6.tgz
+fi
+
 cd flint-1.6
 . flint_env
 make library

From c71afe9d95622257b9ce1a9dc5ecf0e1609af2a0 Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 20:30:19 +0200
Subject: [PATCH 09/22] Work on Makefile and README

* rename shell script
* elaborate on installation in README, added Arch Linux
---
 Makefile                                      | 12 +++--
 README.md                                     | 51 +++++++++++--------
 .../install-dependencies.sh                   |  0
 3 files changed, 36 insertions(+), 27 deletions(-)
 rename etc/setup.sh => scripts/install-dependencies.sh (100%)

diff --git a/Makefile b/Makefile
index 2740628..562dac7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,10 @@
 CC        = gcc
 
-SETUP     = etc/setup.sh
-
 SRCDIR    = src
 BINDIR    = bin
+BUILDDIR  = build
 TARGET    = $(BINDIR)/integer-fhe
+LIBRARY   = $(BUILDDIR)/libscarab.so
 
 CFLAGS    = -Wall -g3 -ggdb -std=c99 -I/usr/local/include -I/usr/local/include/libflint -L/usr/local/lib
 LDFLAGS  += -lgmp -lflint
@@ -12,14 +12,16 @@ SOURCES   = $(shell find $(SRCDIR) -name '*.c')
 OBJECTS   = $(SOURCES:.c=.o)
 .PHONY:    clean
 
-all: $(TARGET)
+all: $(TARGET) $(LIBRARY)
 
 $(TARGET): $(OBJECTS)
-	chmod +x $(SETUP)
-	./$(SETUP)
 	mkdir -p $(BINDIR) 
 	$(CC) -o $(TARGET) $(SOURCES) $(CFLAGS) $(LDFLAGS)
 
 clean:
 	rm -f $(OBJECTS) integer-fhe
 	rm -r lib/*
+	rm -r $(LIBRARY)
+
+$(LIBRARY):
+	$(CC) -fPIC -shared -o $(LIBRARY) $(SOURCES) $(CFLAGS) $(LDFLAGS)
diff --git a/README.md b/README.md
index 96e164d..bd3dc4a 100644
--- a/README.md
+++ b/README.md
@@ -1,35 +1,44 @@
-Introduction
-============
+# Introduction
 
 This is an implementation of a fully homomorphic encryption scheme using large integers. The mathematical foundation is based on work by C. Gentry [1] for the initial concept as well as N. Smart and F. Vercauteren [2] for the integer-based approach used in this implementation.
 
 The library presented here is beta software and should not be used for any mission critical applications. No warranty expressed or implied is given.
 
-Installation and usage
-======================
+# Installation and usage
 
-Prerequisites
--------------
+## Prerequisites
 
-For Debian-based systems:
+* GMP https://gmplib.org Version 6.0.0 https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
+* MPFR http://www.mpfr.org Version 3.1.1 https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
+* MPIR http://www.mpir.org Version 2.6.0 http://www.mpir.org/mpir-2.6.0.tar.bz2
+* Flint http://www.flintlib.org Version 1.6 http://www.flintlib.org/flint-1.6.tgz
 
-```
-sudo apt-get install build-essential m4 lzip unzip
-```
+### For Debian-based systems
+
+    sudo apt-get install build-essential m4 lzip unzip
+
+And then use <code>scripts/install-dependencies.sh</code> to install the dependencies.
+
+### For Arch Linux
+
+Install <code>base-devel m4 unzip gmp mpfr</code> from official repositories.
 
-Building
---------
+Install <code>mpir</code> from AUR. Install version 2.6.0 and pay attention to the comment made by Fincer on 2014-06-20 18:32.
+
+Install flint manually. See the bottom part of <code>scripts/install-dependencies.sh</code> and create /etc/ld.so.conf.d/flint.conf with content /usr/local/lib/flint
+
+
+## Building
 
 The compilation is done using make.
 
-```
-$ make
-```
+    $ make
+
+This builds an <code>integer-fhe</code> executeable in the current directory that runs a test of the library.
 
-This builds an integer-fhe executeable in the current directory that runs a test of the library.
-Usage
+## Usage
 
-You can use the library as demonstrated in test.c. The following methods are exposed:
+You can use the library as demonstrated in <code>test.c</code>. The following methods are exposed:
 function prototype 	meaning
 
 ```
@@ -43,8 +52,7 @@ fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk);
 fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk); 	            // Add with carry out
 ```
 
-References
-==========
+# References
 
 [1] C. Gentry, A fully homomorphic encryption scheme
 
@@ -52,8 +60,7 @@ References
 
 [3] H. Perl, M. Brenner and M. Smith, POSTER: An Implementation of the Fully Homomorphic Smart-Vercauteren Crypto-System
 
-License
-=======
+# License
 
 The source code is published under a MIT license:
 
diff --git a/etc/setup.sh b/scripts/install-dependencies.sh
similarity index 100%
rename from etc/setup.sh
rename to scripts/install-dependencies.sh

From 0a826d55ee2ffbbb274680f7e7f9b81d07fd028f Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 20:41:29 +0200
Subject: [PATCH 10/22] remove *.o files

---
 src/integer-fhe.o | Bin 34948 -> 0 bytes
 src/main.o        | Bin 3376 -> 0 bytes
 src/test.o        | Bin 21884 -> 0 bytes
 src/types.o       | Bin 8728 -> 0 bytes
 src/util.o        | Bin 18936 -> 0 bytes
 5 files changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 src/integer-fhe.o
 delete mode 100644 src/main.o
 delete mode 100644 src/test.o
 delete mode 100644 src/types.o
 delete mode 100644 src/util.o

diff --git a/src/integer-fhe.o b/src/integer-fhe.o
deleted file mode 100644
index b838829d0960a373619bd43f8a958f01ae2bc41d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 34948
zcmchA3w)Ht)%Wuxn~-oxf*=M3S-BKY0zuK@4FeL{)I?E1sZ}>2*^t!S%mvUQf?=!M
zbup-EX^S=Xt#9qCt$Ev05d{;V25l>7z0lTH^z~IzXic@&&|3Ze|Cuw-&ThE1-}n3W
zC;6W<bLPyMGiPqk?6dCq`=34?<T!4sgFpC3bkgz9Pr`9V<KM<KMIQ0b{x9idKg;0r
zr0~$`@ZWGI;u8!uhgLRgTJwtvmn@3&hAKNtQ`F}Jxv$J|-ei)`Swk?NV6Y;zv}IYa
zvazf-gv4NQ{&jP&zRYAh6{2UBYLMfso9Q?y$lY7zI3u+bS?^=?Ro7M4Gcj4;#_3u#
zR|;>LrTK<x$9X`LN7PrgbZKK~`9OW0^K_v+DYZACdF$_y^);5&Eekabu<!Ttt&$-B
z`GrIt+!6KFmX)g}C%5<C)mKwrt}6b2rLUo7X&rjF>1g`87_|7DXnUcr`PPPk`W}?f
zIZ3N?wiOEzha>v0sku=}B-{5yJQP*_o)gq3-8-Ov{|$X*%@{l81N-JKnrk@6IRSlf
zVNk(fIhtBsw@gxl!Nl>~Decw0k8y_f%Ft6K5}c>>Ep2KNU4&%&y3D*{$=K77bi0=u
z42G(_$w28#v@dso7TqUC%`VaQ<<vRO6l4u?9Lx;ykC_i@s_Qtt4Cs$O8DCvFx=hYh
z8W&>rxJnzB&}5^px{ewv2I%Xw=1pqaYxSMhoH%}|JQx4=-Rd|ifPuA+a}g$7w8L45
zfBcM-e>8Ch{tcXBka(QW;y~no18Wbpp}s)m_WnSmr7sXG+#iVa9AHV%TLO{pKx9uK
z5-$Dpv(I#DRME`XnjsYgwwo?f!kd>sI1qU)5N#)wQ0ysV6KV-WUKEi)B(~6#j1_K-
zn-E_48Fh&j0Z%BpEnXlRW4fyPIb%6gbSwJ;+t-M3f!H>!Y+Hd5-#i<XGL%Fh8q+!9
zd~n8W(yFy_%i)mMbao_sw<;(QQ{2|LH`vAmMX?h2G@jahAUzN(Nb%YmDcl!`m23>e
z7H<i}TG$nV$mS`^0;2~K(QP_OS{p@@^x2ld>^Pkt(b<vi@blU0dZ{B8Zm_-SN18E?
zG+P;4j7sC}i-i|TiD<hPc}>Sdu2(h|&Ofq9jwO<FWRVO{BpRkhZ2>%_YiW0^e5%v=
z=v&F}|7W}f)P){YYNG90I_~IbSep>epe0d(nBv%8<I02#(`GxLRiYYNcC3z!#r9Jo
z*50KA!;W$Q6vg_eAkuyyZu&Nh)`CeP5Dn`>oA;}-&%u5cftGy=b`(d$q@**qQB2}f
zhBD&{u@qGrM2vwH({_1&Vz9KF6NstlI1n4gnBV$k##HQF(mEjbs#-C4W2B6_{y?k*
z!SjNWK?lWl$1}yPCH;Y|GO0QN_a%GCMhp9(k3~EcMsZ)@sd%B?0dehC+QX0C4biaH
zfcauaV7r;6RXv-#ly1&Sq>iFITGE$jVzgarjK@GM+^PCh=A<p2vRJr7M}^iM3%A)U
z8<^0JXpBVzTg}pEd7~%14n^6x-f!YhRI!05-PgfXeCWRNF3Z;JCw2r}3}CU&v)3xT
z-LHzW@LyPXyXV&IC!S;BXkova%3(@m^G}t(o{NS_M0Th~X=SZlZbX?RY`-si{Sq~<
z2DCBR<mlr5!1fN$j1K~l*SQRcdKwUTDxS^GR?fDZ<i%=FcnzFH@Adu>f4r8%2kmO2
zR}(1wu=!Ed685~N!W~F30nm@IBd@{^mcSm<R_Z@7uSb<is|TaXI92$ByiSiOuWwSO
z!0RLuEKy#kNm_Sn|Df#kgW&a^@G2858@QCyhq0Ir#TNpx&3e&evoI#xyp~INMpcqE
zhLm3--P@N{R#rxKfBfgjYmtw;-yiqVr?FXcA|J<QZJ+v=NNlC?O!;O-cE9Vx@~Y~L
z-7~X8HD=r0swwCI&J>z?A@22Zt)%-cl)NWH7x98tEn4easRzx8N`1+(Q~rEH2)`I`
z(OzjeRACO%J^8QdU<~L5q4&>d=m~kGIqnffYLBQHAnuVhwnsE$c|=X0bOHKlrPojF
z&hnVnNnfoKUvW0~q?ErRaerxRPRw6=mKx}<6W3w+YcJdoRRO8Om60hdCy7$Dswdol
zMD(oF+lD{l+{g>ve;?QV$FZ@I!&~3(pZZcHR^vIeU6I{yqwx<6??9PA`DW?}C?A_}
zV*~8y(uL@;;tYSFyj_=|lKDA)E8e5Zo>&2<G>T|e4X!dyY1|MeZCX_=J>e?58BxXR
z$-)m4`8nDY&6Oa&=ZJK-9(G#_Yy};v_|X-pO*%$1!xYn&vPYL!PN!kQa*j~V7_j<y
z!6qHhdf3Ts?_TqkoBgxr17MnycL6_Ui|k!Mg9>JjZBp9xX7w>Ah-0pZ_F2Q)!(w+M
zyAq>wKReqym4v$zSRPVLbqOa2y>m5LvP<<?y&d$}2DLx)SUqP7yLK0kNH^|O=cU#|
z`QBkEviN|SZKDM_f!2PfB@5gEQrYW%OK&NsdxrsccYv#(^jgV2-8v5M2*z@Y$73H<
zvM)esES}M#oWS|Jm*4Ew6Diz(@bj8O1xg|}5I=EXR}jUyA^V9J13kXoj3dbI54d{+
zD5yy8aL(V|_zW0qND{1rw#eKZtsGKOG!LeECm3a^wz_p!zWBo&9N7-~L91UeIM7qL
zpVc2cU+X)Xv5Wg)><iXek{lXu%#FaK@al~_E8E2X7`!;Fvc3fCO%O-{C_oGFuXUII
z#+}*Y@C;4L=Xm8!k=9)~o_?ddhsLARRmsYD`L&0-ke(0%k&^wz++efwqu2tUzq@(3
zF#Et{hd*Trb()rlqFo|6Oc}`@KYw>i4Wu^mki+Sruq_@T(ULaqPhu@w0@2&|7pu{7
z``xN{TGnu-i!NRRMM&v3g-`$+I=Gj*yqOWH+J=J{LLP2JKl8B3po!kTFA$M4GP-@U
z9usPSV|3t*!BL^r%cB7mA$sKqS9zJ3d#usa`+K(DYB7Do=4;=q)4uUq9WIUQp?xv(
zY<si?-ZgFCwnWzeEA=qv=1x)3u+B1mQ2LJK3dtDY4Yn!njeu8AfuiUQQt$?|v^Uo7
z>Ow0RD{FvG_Bb}mi?@6)Sd_y#5YYTghDl~mq0(^hR&Tgm4)0*aNf?)yHKM*9=u8Y`
zID*B8zLZd&gDk0(89<yPR5+OlhK}!U+=!}K34%6Kcqm$U2m=LUT1UDS@2!V&jyYaT
zJ|7<Geuc3`xv*~a2qb`kxz;SA$69<mCCncX#duk_33lnS1sO6CKsjjDmbpL~Kal`w
z)PVu1<_U<=zi6>5LI(m7k-_AoeL`J1q6_HhA`M*yxt3h6$N@dMTzft-^Mx{DKcwvK
z!qjfH8a%jT-OGXO`54xEG6TYf!an0}iJJlQ6Lfa>&w&cJ<y37O+UZRp{Q*5kq2n-p
zWslSI+uB1N^q#mivY1_q6{#8Jfo^j_AgT}dP_EDS*6Oi+G|KX$BBlk?31=2>Rxx9L
zw>L$t(Mekh=4DGcF)xB;nI20x@fzDbEbJU86fNmgwaXKkSYex~&6<C<sM?gFn5oob
zEo}*o3Tm9<DTKF)M;&XRLq86D7E8JMV5-y8)E+jnUD3L<Xi|k}N>t5+IyF+*#j%3J
zbF>8i7I!II?UM%DU4rU3VWA<MNA(QGN=O;){gB&YkBq3blhMHj5pEdt1nV7TpxlcA
z)*uSyNvW`FcXgnZCcv!my!MbE!`{RP)|<Vad*c&YtPt&z=Np{ubQLjlmr0#%rM7vg
z`SH}mM~zdg3_W3scE6V~AX@NP7n$0V@B$C8#&;M!Y8Hk|X^0BbZCZL;u1Y|!#WaOT
z@YVv>Mq}gqrKD#>IYwJMDdSl-i^WWB_JT@N*gD#2hn)9RG=hnHvz9=)%^6+|q!Ma~
z#<YFjmWxLNXZ09#lIo7Q)eH%5e5ej&pu}1r_A%nxQFXAkezjF*=;^d@9}-NZq*d1q
zcvN=4D@JO7{2rAODSRh@CzDFl3qoC?uqt3Y8ew8+2@a3dA)(o5;X9Zn<IB?8T?|-n
zf7W`)?*%XS-`IR%d~-0NCz3a;$l?z92!n_P_S>URwux&vHzdx-|G(>NNNyiDm&K8i
zy(SLSYQ9B!g_8#Nc?Z;{g;|_-IBj<(NH7dr_NmFF<xws0s1evJZh|WPVBH&N1C@8^
zvK^+ZNbG}lbOx*6s3kTYK>{A91R{Y3diz_}&)z#?{SqXtyBe$wmg=S>p2y;wadt7h
z!V3*=L?KjQ=}}?=CLFB*t?NsgiI2QrT6?Gg>#Ns=vGCr1aFltW-j&F9SZq&t6F3Io
z!IeGXjfTD&&jLY5V@%=76KhvT@9hgIiVqG@czU}dP~L4Vx7km0GcEGE>V~LNr=AW_
zi?IE^)&HTDs~lB}s!KioxD~TVPxt{bqc@D2dctkO9t=iR79JmZR_!NsLRMMJx3@}1
zm2PDSRSF9ezpiUiIkZMtK2NIQM8}0A7E^xR8eiNIXL^S03EzW4^i%I(To6YUi=M`F
z{tl+%bF>FFrt>&-`qk`?IX*la>Lj)mEmLT0v+i0{yg45tD#qJMX<^(Bs8qF#C<>Ao
zZs94Oh+6ey<Oi%KI+2T}samJ#xcVS_cz6wp;ZZRDvPr$XQvM)2M<sudJ*_JmqZ^{_
z6bRtKX>79!qGzojf;}Gx+&zJE9LKGj0UXD%n!;a^&3+b+yeJE??Mgo@#pful)S{+#
z+&oy-;yOzdqxPOa`HqCzajDUhRJv%3DP5HPL|0LyugL8hP>gAjZMiVG7{edei^_EG
zaT%i~*(J77IOoNUI-*OGN+%e#JK(-}1UKS#VOx%}<724Tl%8tsp86pB%r5XTcIXG$
zH|$2|3axuHu*F3A2Z8J}k^RMP)BkwXib86nkPwz5<u7<dr`@P>RV=8HpoaQ;pD=b-
zq6qu2w+9vUgqy+ggxLEnuu;XfLe+P=xB8H}?)mKbJFxSHQ19&!6M+LR_RvWC7w0KF
zbw#1p11VPN&HJgx4p2<vIz$FcbO;fxAYOe!hj>wvR8mJt1}f4~LJD#2D3BeNiWH^2
z*NwL8#^K_@#GrcC7L_7L8$WnP3YD#vf&}x95ik9Jr$vkxP3d^?nyY(2*nT(rUOu(|
zzwHavMqIPf3s`RwuL*IR<KlYCbn>&-Oo9H{!y$}IZdfe~j}eTY1i3Utl?bOfcSl@V
zVomBcvrBb_o+?e-8JQ}KNtnpY$X<V)3UXGca!F|2jNA2RBDW`8gG2`T!TPA8v2>_*
zZtY_#KD@4SUt_!NNf6Tz8qLDTUp8cp*5b+%mJ=2W+E;ORfCM$RUPFy|UIrF|Pw@*(
zxO&xrhuwd#8;MmQuXlqd7L8Fj+Ro&u>Iyj4t{PwmB&NC7VDJ%k1ZV_HYAtMJ;`ln=
zE`nuS58$dqDN%p<xLZA>^O_M+?GcuqKTYi<N>LWgaC-OPPfz#;!+uw_jk&E|sd(N8
zBHGSe_odcuS5GAWS__p5t!SH4bXXMqYmH@5)qNzQ%HY=il<f6aqB-~$l*v`KX%+);
z{dm>bCCF8cO;>XxSufH$n1Ro+B25+8>di46SFax-CNb|R$pO(S1B;nOTM8Iz_!LE+
zFTtQH?<(42My*;w-EOU>Xp0#H#YYg+Ul71HVA}yTCvl^*A5<|0Of<$cJQQU@ksP?S
zQsqI~AuI#pAP<ePu<F&P3Y2Yh2L{;-fv1cOyxhVv8qWvA6LxqX>d?C&ZzBK$m`W43
zc>2I#?%q!In3y7)U!g<<BY=eLVS2)gOiwW^ql)!<DsIZr=LD7?*fYxi%G}s)W3E;X
zf1pj$BRH5dTMbw27`l=-@Gw^Ce`+CHfe$@2P|VurQ(U>6gw)uds>3qwa#OvyJYOqU
z+GDZ3Y|(Zv4cjO8V{5&0`>aebQ9SvLZ0l0ZK=*9kqA0{fyH4vySTId>Sx<N&v~vT~
z`vU$%73=xiYvnQKV3t3MzeU@#o_F2DluTTr5EW)$--C-3+TN)w<|89bZGO}=Ax5e=
z67B#LMY@XdRS{6Kve6PX8IsU-tI2ROPbH=fej7!_`F77L1Th`z@$LuK5(_4>ZKJB6
zPaZWDZZowaqIs^x7lG(QeiBc&Iy2hN0*N_1-6A*nSx8T~7}iq}51j!+<Iu@;JcGku
zI`Q8+bh5AtMiRI&A*&CaRIYMVEvhc-&^aHu#-sv6!z8BT$shh|leA;Ks5y~yFbk`S
zNkqen)h1E7%2Bnby41db=U}fpPvjgQSi6hQ0B+ogCgk8B%44y2SLO^Il+lKfH<3-V
zKKbfvc6befqcSV!t0_M21BRs=Ig_6wqxNWW1zB1tzV@s>N0aLmxeJdY*C%qPA4e`n
zKl^u1K8{?z$ekgfdo=q><;9Yp9!H;FzR-U>`wB$vg5&60BXUn4N3LLm7P#~{a&01a
z@p0t#irmQK_@z%AY@S&k&3~Qz@;E+AH5@gr{BqlKJh?WJ8-JYm>pE3esBb@y9?uI;
z({jT(IPghs$H<Z9g_aC=*7UQd&-723SJo7&@YmP*=QcFdg#1Ny<<tF3TdHd+{O6u`
z?(C`lDaFOtmPpFk=bUri^qJH1^QSs)bzO64S*S6uvMMyaT-PRlXDn_CH8#zttuC)B
z3)SF7p1QhF<Ba+B<t??Ly5^=CE9x6>ZfYni56!5lUV2S=S!3B!=$xKE!%3Nr;R%Jo
zn?tuQ3)R`AJJJ;&IgS~%?zO26H#_c#J&5X*4J%Wd$P7ZLrEF;MNzZ%2Y0aV92FE@5
zPZ%mG8%onEYa4D0BH@%jqRx~JOVTcL+|hTUaO#FFccd+F+;N)Oct;xEE~#j0E^7`s
z?)cxrv#A^USEns>+zYlV@xIk*mj!F<E2wQw5$a9duy=LZf~2I*)oJsSlG;|MHP+WR
zJ8nstDs?w_$GwUMrEXZWI_-MLy+#|c|MoP93Db3Z+Pq-3<1S}YQa5zop4J#_sA*~P
zQaYGYTU}=*wcVcX#~ApHbkSSlOIVrjxRZ5_ci--$Ukagbsas6EkddyX(@@u{ek7)D
zSO<|xh&(G<J$QG5ABx<mMb<#%7Z5R7%Lm6rzNSS!S(W}6Bt~WEoGF<i@ny$duO<3d
zIX;uT#3(@aMxFiFRe0NO7~Eu(Pvi?6_|T5;X_>xNzOa-`H@VR8h|WC(4Ze#d{h-N5
z=^yI+1ITv<J;QKRaZ+D%Yp^NQ94xO7RaORDs-2XwRM*6zSsmPKGa4Z1q?D#sqeBsr
z8FgfCQA|U|$~aTyn=ea~DeQY(5>An|ArqA>OKn%-TncLj52~rJTjp=6YpPy`cVYY(
zfKJ8`npoQqtf{VD8bpY64}A#<8Ll(rZDTu9rw+Rb50>IBS?0B*0WV^u{4vF41Q<(x
zBnEiR=}obk)0-mA$to5(BkyECYHF#jt8R8uuT*Nynt0Gtn@Ve&oYX6{rj=RGNR|<C
zat<0z<u#$QMklq*HA`leEOi+Cl}>7@9=$8GJ`oir+sT=Zh{d?XC|B0_e(0Ljbds&Y
z_xP`ri&tjlO0vmz2JME5xYt%LE3a@;cBQ#ywY^GKQ#cA<+?gh}WHgb{E^EkWjx$vm
zWpSo7V`-dO;=58RH###HIVnF+GxJgAHF0j^9e7`f-QHAvTZn!B+VEg-8QaMOydo8+
z)6O2`vJLLwG)9XryBy<IH7ImTOIeMR+UYXf&8}c19KjD<Ti-C#Nqs^Z1nz8)Yw$Hl
zvyC_gUFy%gI6X-Ws0%GKwvbHwTe|D!>_q*#PjtWfo^{PuV@|yCO2@a|bjmbIHrdXg
zNtkouol;rdtb!jtZ%J{@e&jY!nT*J0FNAgMr8IkCyijCK8D~&OLJdtT${L)My(zBQ
z#9WBstlh*By~opxfp3@w-#wz$2xoHn!3vS`a*Fn9l}@Q~QeH{nn8lie>(RfNs#Ra6
z-r};O&911`t2lL~liDD?;|oZ#$xdSvozzCJOL8v4OdHgGuL#xFV<Gdkxn>XbtGHG;
z{$AtwO_FS~os`4S!o@jMSKfGQLvsS{KJU6_v-OT_rVvKuj=TF-DB|kOrFyqssvA;k
zK{NDHHq`jum6}Ysv`ZcLWk!C=hCte-T%dlfn_8e3Z75X<YN0NxX{ajm5;_wW>)+|c
zx(x$n#BMAyG`=DfH{Q^0wyVa0Yqo(ul5HLaHY&?<r3o3_U}U*whmkr;$AOW~M59J1
zMJXF9RPSQD;p+Xy!pvLZOhG1=d7Xph`;N>y$34}38D2=;&~`^=MV#wfompQO3RacX
zRK^qcuEx9A7h`E-bIK|zJajL0UDxbTPm-M_=O(=P?9THV0dE<m0dtVYRAsP-=DE6y
zO0#y06O1Nj<d3D&+LjtsDbX!PrDnT(XHun?+m#wdRcaVr>E&Lfvqgi^<cuuC;>?y-
zw$#*^)*9MfjLOX(`p2?IMvI$T&=rfk%FBcGEtn@wLIb8@kEx;yOipP=ITnjJzeKrY
zkyy9T*D2PSs-%;zl};`|$Gk7*vd@gUhIXr9uGz}Zm#w-ncUiKzCPA5N7-g<uN|kxb
z#JnY0Z-@tsYG>qEv8vE{jaJkf+FcK8%z?rDfPjwpm}d(^A|@3y_{zm*Bb|wndY}8I
zirl{2G6UrPp}74k#5eaT-(W|)A`{zV!*#9Tc(`AJzGFrD8$%tZO|(xKqsJ9CK<-90
zo>Dh#TH)Iy*=Z&lySZ;l_C~zSo9@R3%9MT12tmh#BJ{ut-`SG<sL6(o??`qVb*zJq
zcO^5+AGhNX5xQrE?<2|X8z<Qqu#dUfSQN2oU*UUstWNf_QN@p?^e6a911J3e>M*)L
z94|^B^_)ocFZYf0>*QBWHk#2R*?(Q`n<m-6IYUZwYL)ChRmV_lhm7u9Cx{g4*eg<p
zmOJSSA!G7tC&p!77nuXgeRoUID@``+*eBWVprZ5#pu?2Cev;^b(Ay%kf4Og!l)cDg
z!;Jrt>^G=m3v`&Wt3MaF<4+>A54OGm8Q)}`_ZPuTDEd%jUV)5*U~itHWp0=n*W;w<
zJ^fzD%!f?cnL2NyAmc1sWPZ8aH(Zi$GufynN3wUrUY{v<)>%>q%8wL*UCVvnlXAmM
zHp-tY*<I`$=j7*LMUMN6QP`aZ%WC-J546zzWy%CcrK!bVCB2w3!Kacc9B$~{mr^EV
zI72wBgKBGwUl(X8$K3YvDZaE^E;Up=`nULlP2%qX+!rE$->G>xxcb}__p}8i3xikB
zy<&cFZt;TP{KCuTE-qf=IEl%{m!kZbzoR@hlR=(;%W9TUPntUxhl|t8p)A84>W*Uz
zYRa8U!Mnp;*zfos1MPP+bzV~lZ|&1AcQA96JXATf#vOvB9FtVRA6{6%<SZoTI%8Oe
z+DoeX)%iPUnw#zBa&2c-(%3OCfHuZzVVIlao}srr`uNT=ZXh$&{7k}NUqyY((wdNy
zF`jd@Iz)3IyY9?Pcw2wQV+pRPZ$5@Vd2_Qfpjhr&DDrw^keE543#oqB9WkmwyJaN%
zTyJ8Oo51IcDtB(C6(^@m@Q<1&bn1i-oa(4F$Qhjz^QfWJhW<FYUuhj}l%7hZ^K=EE
zbDSZsn{wR3oHms5EO$M2S$=o%D0QrD(jj)Owun*5&8K@ELT*$|sBT$vl}=bf6ZJM)
z34D>=H6$CV;@fi5QP<~kBgbk?P&OvWp^t7HoTd)8`aH``tLiexJvW!nS01*?{>Wr9
z6we#VEVg0{mK?u(j%fvVu<op+R-BvMiu2ftg$}E5Kd)Nws;6B&%uz>v8D6t<`CNzf
zm}Z<0T8EY=44W<(N`0_tD4PtNNDq-`B+%9$DO(SyF<pmk3e(+Q8q1+nfrnly<&Ub@
z)<T%${1z|p59V^8NF~OQ9iS<J+W(x(#WyMDd?Gl>OV=qTT?M&2+?|v$Vn}Mn)oxDu
zY1rqdOh=5SX53Yfalw!ahfE%N$<X2MNp8VlEOKd1s!A*xkpk8?1Z7Xc<D|4%3F+xW
zpg`vg(z>81ZL+5(L)4^cHJMUc*ufK>Ik093Hd8}JIYqF9W;o8!Y%oKHXl9tLw@6h+
z1G9!Wy54Lr9}S4-=h(@nRl}#ldfi$WSv2Aj>_<*YNMp(fT{J<?Xc(E47x&o7Bj5^S
z^r&H|sAvRRFdN36GSL|_WDZ)Ei_O>w2HEH{(8L)?In`&1VQn~V3W|-v#$k--4y2CF
zMrrMg(@(La$9a{cu@b*$0Lq*}Piq6%f8#ZK$xy0c!UQFprnOG|oaOIHu1f=*XVBYt
ze1{Kz*6EI<BfWZrd*o+ki!tkPt~3WpbN=F+=GIe*hoG5LoIC_J2LQ8+?#GCVPc(^-
zviN)<o)>>Mkoe3%o#^=}#ClX=&WGHyd*^?(4x1gl**BY`7f(Ol126qJgO8lz)vM=4
zv(V<G1;iYq%qfP?y7W|{9#nac>J;}HRN9Ypc$BAe%psf)3=)s_A7GKQ7roK2z+1f7
zYuHLz{l^sB-HFfj<J~evH*A`}ajM!>l-D*);WLeC{-&Gr=FFSwzxZN*zB9PiU)$2u
z>|Yx4hpL;aLXG}>e|@8WCIX8e#Ebg4w_VL!JJ;OXO+zZT)&0EC!^b>X9dLo6i#wDr
zw&czI-Ld3XS@LzF=UDQOTk;p4fczVlyty|!mj0m_My9>ye(zZF7g_S=p6^)lHJ1EO
zPr&|7mi&p>|4U2W-2WZRo=+_Kr%%A1X_#Y-e=a=%`5P>Gb1!%-d+xF1&Hdo9<e#zR
z%{}3<<PTZ$OHaW5F__m(drw5Z*pfH*hsUyKl_kIK1nha-k~jB>N7Mfd=A0DgNoaN5
zzkM_qf7NZB`|n=`&Zuu_o`F4RS<Q^<y7HQq3UympiJt*$c4o9RH74dcPU5tMQ1j;D
z=~bNV$ZAT>jhe)H0R-CVIGK>qpUI%P%<(e{v>fyCyJ49rm*`}b-X!$NNdLOfr-1&h
zMend=ej_w>=D|RIShmQbn}nv!6IS|9ExN~|%{?CV^hx>|phrk+m_A-;+E!?#S6Ots
zMQ^s~cZH@s2ZbI3`miN)lJcK!%Vk1SzDa1-8?$8Y6M8Jte=qdupt-IapZwFJi?KZN
zLp{|(vt9QH&AJ}3(%-b`6s(^7Q2soj*^gIR={H$)t<cnIu0dJ$2bRpc7JUvj5&WD4
z8FO7q{r5>a%bL4V(l1)+saU!BVfr|WzQLk@Aao97%!Mlb|C%N9Pm4BJs<i(S>=cat
zTP^w#i|(~(bKiO@%3dW`va~H~(T`a4s}?<4)_2OA``Xl67o54FoetXE$5QIMR*Baw
z+T7I+hm5(^WsA*SEz1^TcWhb~v*=$5&E7C~x}!l~JygrHXUc@8o(7A)!=j@W{SAx$
zPmA7c(Yq{quSN5rrm^#&MgQHRGqI;PGPxE#*`m#E$d{73DUD7wcgJi*sU^s#mqytG
z7VTXvLw>8IGeq7MnhyI^XgbMUK~rWrw~P3&t_y@t#XOanV(yDm@4kbqxelh_jUq?|
z%PhJ>XjW+Mg?*{1Z{J1*<`$R=%x&)^(B^8F=@~dK8*9vUuFrQ9a?I^5r6yQX=CT&f
zYah&N%uOrjlUfm^owr(r?zhta(@KBaqWdlSGmE|eYoRf*%%X3$=!np)_aQ6&PZphy
zeY?>!OlZmntaNj83m?AP!p51qSqipVg7*l`-u=3zY^NpjOQAXRJ{6jiK^h)q@G}^+
zxvlm2{NT*xENh!BQl!l_EPVdsRGMY(SlKzvB1qa?sn&uvH>ON~P-HlIe_+W!Wzjzu
znicM~(*I!5y_U>JR(hH&@T_aN(9|>5O3$-sKJDR0&uQj97GCf83Y%wcV5#mJtC+cB
z_4#HZ$K0q=>W3o5N}sVx^jPWUKGo+gfRwo<We@(%Dlt>eRMdK&(CoD$D?KPQYg=cf
ze@|!*g{@Zl`<DE4Ih(NT=Y>}76nX;EzasQF(CaOkZwbw^PYcb-yvve#&7yy2(dI6e
zAz*G=PXj%Al<o@JFvFq?g=Sm6WTiJ-bWCX4^Q4u2SZJ2L_>{Q*c^2Jj(VK*(o=2_p
zT|(2&!E${{J1-EL^2I_cJ1v<~i>|Tgl@@)MMSopr>NJ<W?00i*%X;6m<PTf)P`SsX
zjJdm|pUv$n)33B-sx5kzMVqTvmNj>ywC4qpA^pB3pDq`a)IV8h$`o1YH(T^qE&BVG
z{Nq--xlg4H<^q)ZKeS|q$<-n2nkY17=2*1337v&>bI-|sY_w$7TC};Xq#koMN%~Ps
z=Ah6ckZ!ImNt;_r+H9^Ql|6h0f)DBSLQ~#cSCTe2o3zc`R8rntOOh^;J4n*C7Tspi
zKeOncTeP{qr2e-gopVlsJQJYKPb@kr=Od;+VbL!OJrwEYE>!Ouviz!%&bi1LD>O?_
zv*;3w{@fW_o-$7h%?*UP{iJmj<Kr?<3Y~>?bAd|Fnfp*4Ha@fDgA;UF%9#65w%%NR
zs+Nfi>6sJb^5$ZcWz9V(XF+r6N%^SAlRkY?ysWtpWm$9o$+FcVL;2Fr#pTW2DBIgD
z>69_|qNGPm*7BqqEc(|%({JYflq<NoFQt6zlz7=WQ{(lTyHp<7ek$pdf61Z`TC}-e
z<qT&oQz<|8%((tiq1kqG(MsCft#V|Ti&U2Fw90;Hl{J^FENkv#ISXEJR=lnvi(X>U
z=35MSTEXLHij(0iLiR<DlUE1~0M8SAA61gSLC^&*1pgkIT?qUYuo&1W`~^VtVqODW
z3eV^5!Jq4aHG)h;MCENmH!}SOAmvZRpT)pDgbdTa4WUNhmw-(F3Bs23mI7JtlNb)<
z#{(At@4}!X-;V)$74RY;>v;|X`4Zrhzzczo0Otbl0nP(f16l4OAj`dt$>(a|*ML_7
z-@`<91@InV0q}O=>jW<Vvb-P2@|nWFk4czzJ_@A&HUTMjCy@4*3eEwt+!)DE0kYg%
zSUiZ&0$Kk`U>^Pp0jcM5Aj@S)`bSvgnEpE;%iRZLf3^xX3swPDe+rfeUI;9K{8S+O
z^Dq{4>gfVr27C~BF>oDl4)8kQeBd0x@xV*LAH;^@a^O#Zv@Zgr-x>t36PycVyUr3k
zS@3migk~dsH!v0W46p*&31s`eF6mzb)`MRG3<0kMmIG%1UEpY7HSis5=q>>60WJsr
z40t}U1K0#y1xx`p1Fr*KCww8W3jEo?ATSTu089nu;Qr|_HljDcC0l^!A-w^6>@Ndn
z0dXYC`^#{3-H<mQSO<O(knQM4VVpPf-UKrJ+d$T{6v+H*B>z0gKMZ9|=M_22y$)o#
z?*dt_MbHOa3jU=m$0-Az2fPt@Ch#U;8w%s_owo*937i0=pGN|R0Mmdofq#P#@jbzP
zK-T|D!7jo77W^)d{dB+JT|mayR|IPWZxp-&_<7`?3mgnTP6cKF#{&le2LX$a|2&Lh
z{M`w}5YIawcr7pmcs=mfC`|k+umyM}@EYLBK$h#t)OsEUGW{+f)29L{KMuGU_`j%p
z3Gf@hB47)Ua;E?(cM_2055u@G0UrTQ04@Qt{Aoaz|14eSKMnjM`1L^QnE|By+i6<<
z>%cF7uLfQLyk78f!Lxx2k^ZSq&qFT)mw|s6$olRE&H#pl4*==U89+2?>;xc89y<mI
z)5c~4VM5+vbW#)WT_EHA4?xEI%Rp3_w;ospyi@QxAmtVSYk<7m%m-!xX93?s=Gj30
ztV1pE`+|1?&jDW{I9Kp=;JHXo1Hz=dw=qZ;0rvo*GH)la9@q)I8Mqz@(Y)0_)?WoI
z2hIWFzr1nyQw@9->lerOP9VqklR%E|?*Q4J`+)f5fmVpvR_U0gmH$Vga;Qq@odt21
z;3mOl!D7LQg1pnA{40Ww3$7EqL2#BJ@4WC|`a7tX_>ABKf@q^kpD&2zNAcyDH%c*;
zlmMH7(}1@CIiFx?r`KTIQ(uK(iD04NG{K32!vxa=d!dBo-xB<};5NaB1-~h{O0Zdw
z&%0QDvEXdMe8JIz!v#OWJVW_E3GNZ>5$qIvRB(e}MDS+8a=~IjJ{Y9lJi$qV8G@WV
zncs`~h4_{rpJ0-IM(`2A2L%@h@=Fku8!b3o@LkMDO#g#mRIpWWf#4;AZ(x3+{40V#
z5PVoLD0rRVEWv4lf5aeX`L_iZ3zi5@7UcX!xd$;B5ZeVqf;S4DBY2kJNWr0kzsDrP
z@~;YR7yOxEqu`eX3k5G093wbV@Bk(w>f0~4Rq)4x-xj=Iutcy>@N~gZg5SmDMSZ-p
zAYLJOncyVBv4ZJ>oL?#bw%~6CcM3i&_>kZ?1Xl?*3oaHc5u7AAR`7c=zibk`Uoa|o
zt>6`cqXaq6(!RgReDi0)eS&)he=7L6An&tSE+*I{c(dR_!GIwDe`1uMB$y${$(QLL
z$~<&X@HxTlf}OB)I<^?ZJWNSzfK$K|Cxc%I{2X}VB=COVH1Nc;!1tjZKX@Xx@L65J
z@!*MPfNuj%1W%j*z7%*mcp|2-tb8E0?l%!J#bh}^%$+w8G32xMq7j(uZz5vIW_18h
z1y96~%xVB)3w;w2A(d4C%mq(GsAS~;PXSLvmuBrpyGMa1q6t}@z>~ofX~G)dNbp1y
z$--Lhi~vu>C(DmNXM!hA1;05*`}qfg4+?G&3=7^WSS!fq>(HORSg=U&V!@e$lLSW#
z4ij_*KQilpAip_Fy)Oy=T<|Hu9|}G!*e)0myj}1X!I0n=1<m?2SNL-UrwZbWU8?@!
zf@YmMEbGUg1kHN&s_@SXnsw{Hg?~iQtY0zV*9x`>RtuW->?+|41<x1E6C5WvLU54a
zKV+SGU+{kfUl;s^;Io215&XX3w*~JNY!zG~Xx6`=@Ye_~5WG-uhTsIjQv`<yekSYJ
zhl1Siv)_LwxJPiO;FE%n2|gsqeLu@_-%sSepI9$gE_j{b<$`8CJxBP-f~N^)3#JNw
zEbAw4H>v+k!CwpZ2tF<Ngy4S&enZf#&vyvlB)ClQOM+JlUMl!`!LtO%362mPB=`?m
zr{5R+A3@&q((YdfJ}dYW!S4%xTku}NR>2j5Hw&75!ZpG#5WG-uhTsIjQv`<yekS{a
z4+Y;7{GH$)!JUFn3O*+Ikl_7-JYT8)7pxa77c~2nBH=F<oGCa-@D#xzf}hDg<j;cp
z1z!=|E%=OJr{MPlHwxY(xJIy9uuAX-!G(hJ1!oIR6Z8va3#JNwEc=^YL9=gqN%)@&
zJ|*}=!G{Ig1tWqh1#1LL1s4eh1o{8)qu=udCko~Y4i)5KkaB;OeUsUTy&?Qw!Cit|
z1RobP`?7n5Zxw72tQNdcklzVmeP-V_OZX{*V+3;qeS#m!{_H)$-wEy!+$s2^;A4Uh
z3EnSwm*7_f>jn9p7ut2TpxGy0AUwaw%KY(yqXY*FntkI3vcG#*(Ci<1UT66of<F`d
zFTw8!-Y57~!P^Au1eXe4EBFP$If7>keopXI!J&fOtk90XVv|BVAozyhUcp_0TLk&t
zH_CSiJ|K9vAiqn;{06}a!6kzHZXWXs1o{8dB|k-Qj9`u+f0l;%{n$Ja%{hF(@UIB&
z7UXvkDc33ZJ;9BF_Xw^LH0O7I=Zod|T}k3X!TEx-1*Zx61xE^+eX%+B_dyBuyd$_z
zklzhudY2%-zefI1!A*i~g64U_O5tk+O9dAR1_Un>%om&}m@8<WGq6(pm;P7mGl>TT
z-w@m@xJz&e;yVk1<{LNsu_5vW*w^qA5#D@v<pJT%*Ht=%H(yP8TzK;(lxKuD-`n8J
z`B~VDnEwy#KH;CfOxO3O@Xrg+`GE3o3jaQN*k`_$@rm%}3mC&OpD^Ei&*BW>%{LgP
z32(lra3Oi<KYW?4|5Ea3yLn-1A$jac&Hoqndf`hKXnD?q%x@EZgYaF#KO}sg@IMmX
zAJFBu3BOQy&d1cZM))^{?-c%h;r9zaXpolADbo5*6}~|DDZ)1he>&!eZ1~4qpy$AU
z*{F{XC;7P!anF47Wdt6En7>!bzluEOo3Cp0Q6KU<B>!U3Z!XHGNcmFH|3%3+m)Nr<
zzfJO?TIpBD;Lls4KVSSeOUj!|{4r8KU&>FGd~>-Sko+#mUxNx*hxyD+;#>8&H`#bg
zB~kue<k;oUOUi#eDSw`x=RAFtN%G%Js_)FC^6X~2zHgy@HlLHkzminn?j-(+BzZpf
zwe@{1DPPtn&;G}f<hLgAe7<Yz+n<y#>zSvoBB}i|l6XEJw)K5GN#FZPyqjb{hIT^v
z%B1`!ll0%4q)+B=&)%^~_H`xcZ%)z|NRls3${(JT|L3Iq3zPDlBz{qny}wDy?@HpA
zCCR^`{lV?5`n;bc?<UFPS$l#%8<XVglH~s@DgWN2_TiaKf<D}}B=Bb@>ErW#sPI0m
zN&G*Ocz##gmj6joelRIt_HUj)wk5^O7nAJ&Ws?7<Cbf57QhoYeR(a7YDDOF`_nv~@
z_xJVB_vlRZDlqf$retMVOHH#AY_6{5kKXWCZ}f}8c;lEq&}1p#`^)mnO`+v@!%}DA
zO|N9RP!m*^)ino~*0<E*|27`C0l%T4vm~*(p08g^z4#rm#`>jYO93zjKk_0kWbp^1
zlvL7-qR9<}vP21^z<ae6zdRHSwUpOXSA@!7zm`_Nu;Uf<Y|+00#5eGumn~pUSrdMf
ztvT4(jMC<HvJkwdi}NKqB^YmT{JlES0RP?=#5-@wXQBf3dFm=Fs+R|E(H^zlPcyag
zy*fiTwJc3i)WR;RudTI3JX*Dr0$vK<J@aVwGM}dz4N-j$3(VVvCQrYjXZ5KhcpeP$
z$Gd`(8V{%e<<x71`hDo2r7q#;!R(B>`o`L_n(8Kmsd|4USQRQW@BP~;m5m{a(9g;e
zzCXxcjBBYWYqZl5i~Qv${RVbWx=>kZVzQ~ZBGlLjA62estj4eX1k0AzH=?)Wx<kv$
zYFhY<cG^3)*n>=Uv*%ykuP{J)1aBgXi!IiSgIj`#0Z-8GBs10|Zj{bOJCYb~O&GMI
z)%YCUr~=3S4HNbHJ72z3gn5b5^fJV~JoCn=$x{=@5$xxC*rsM?^DS({mzUMm*Hz;+
zB>mf3oMvtb(pp3#eqzs2KhC3mI3SqxnrD!&x+)v>{5CyQrCE7()8i#jJswT)Xtc$n
zrKuh-&GUG9K~?i!6eWgbJObhaoWB95L&KVwqzCliu+qKAlp^|v#Ne&Umb&s_aQe)1
z^3R>+6bGl{7XSoi3Z8AI8`Ha<jqw+Ctq|1%TN$jUG>LTi1uI>}IYy`cfrr9Cu(GkN
zHk2>cDQj&HBsnL+3GqC(H_j<@6&v?PJlAtbJW2V)DiBu?cfZ%<crk4(er+tC#D*&_
Kq3uj@oc{yGmzIqH

diff --git a/src/main.o b/src/main.o
deleted file mode 100644
index 0b725464c984d3496cbf736f1ddf9f9c9084b51a..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 3376
zcmb_fTWB0r7(QqAlG)7Ol5J{Bi;N_#+fsMaD?z30YSL~nttGwKCy%qclg;Yv?6Nak
z+h9QuFF}RYC-KEc@u@yZeG&0R#i|tqiw`1LX&)^0rBbA*-#>F^JK3ZXia(tB&wu;Q
z<v-`2neYC(@%I2@Ji_omBmPkg4;>A(9<5CBJxGuHhRf3DrsTk6)Uq;82-iIAN&!rW
zV^b%O-IashR@ouEDEgmij47mxvX_YkBt*@ubn9ZSV>C@Dg_wM%G<zU0vu(2Xxa4<$
zM>v;(N9zQ6uzr`~eY}P}*CJg%-n?|o(*}Vi<hri_PxVzR;u)1n$2_$h@0`S0FDLU{
z!UqXGSH|lYcHMNA&F@3ntPq_U3<-XBMZBg_^_JYf-uuO~T2*hf{|m3(t=P!0b1%H3
za+#}LFYw$m?d5oP<o*pyyi2RxKgaE?xZbq92NI6`yh=Qo-evi{4?M#)g3-P6S2|X@
zE3X3Yt}}W<R2(OyK|Yq?F?k>KkWY9E<T3AAg)rxPmlxXpdXSaDWf}1c_K&X2x}<+`
zaqWUD>3IbA*J{`%Df-XLNr`vP^JXj$0HQqbWa?ME9}SxjYs>JiOFXJ^L>DEVFL}=;
zcqFVtD`Pym>Q}%|f>YQLG$Qf|8qG-#L8evH@$%wt<yU^!FH*$f**oRM?jPe{Elyp1
z<IC%$dUNXP;ul`eug(8}IOC_Y$pQ5ok~Bt6A=)bYQA%Js`<fD^ETrONVEzJCzN@gK
zuwBnTVK`<@Z`pdO-L_19+O8J#O1ELv^xb=QPi)ciGczX+NzIO(JNFc}7ski8Fy1s8
zcEPV2!NA4ij@faF%|><JFfCM2+crDJ$yT-7G;P-@zS!!#;IxgZS+p9JqgA70Q~*{O
zFES<8uw537+y)c@`wyPr??TZ#gu$x#iKx-3R~c8ytek&|#8VJA(DKf=V;kg*f&iur
zSS`D*cWtLp$GOmHG&Syx))rQySrIPdpAV!kl**Yp2cG3$Cq%O?42z1RH;+roDD!kq
zW5M)Q-zuX~PgP?NB8Y#ljH)cY8C`+k1%X1-tpfYU!Dvi-8)|}1F5tmf{45wb!TwX~
z8wgRZ@btk$N5pLD@T4fs92ApN2TI3h@Wx%Lo_P}SnfDM<#}rY0YKB!OoCMEe0Yeca
zS>;JSOe?Ue>{od56vzBo?kU)GIC?h6#4VwD@j<eBIzTa+4cDN`2C5nrrfZ~5L%oh=
zXbd5O@g3K2&E9geTw8#dhLVfTJdgfTXH0huUvoh26T%tA@Nyy&lqDrvYjrD@$<&c~
z!<uVbU58yDAHE$<l15s{Xv_T%hpOu?4^!eer5(lxG$3Km268_4Q27wwq~^4UI?J>1
z4JuC67~2a`!^MvjIL}4Y*Y~TBYL96TC#Q4!l0$r$??<hR##qEtPv;bfF^!Q0sb0&b
z5kmp^z{)_-G+$72KnsLK3gOc^vP>X+aExi%UPNddPSZJT=0gZALX(OHVJJ80Ji<1n
za3XrcK%31V+8<=-fsprbZ;%)blIu+XF>7}9CP4Ea@x^^ff*}Qa8Vv~m(I?gW;NErp
z0lL04+=7ZW{vGgejz59i%M}5o(VznbUul?!CnM1dvsC4HQ0KNmzY*;=6+qBd>4%$x
zUZ~JX{afG)qYqZj|GYJbCnraK|CP#HFX|q_u!KKv^fsa&RGks@H<1~%7X98Nx%a)U
z;LCF}OxW&6Xe~Hh9;agx!KUIJlD+|8yra^W!10Pse*ljB#&5!({H{s<spKC^u7d;O
zS>gyuzY0$NXC!Y*Zb)7NPXjo(aED1oLW1`=Vp)bBk|w}2u;(#(qMc|kN3aHua76u`
zkuv><gzck!GQEdG@F*zWal&7R;|izSKur+l>4wWh@5qS0b0+AJd0_=}o{8{Ln=1R?
HD&y>59W=>m

diff --git a/src/test.o b/src/test.o
deleted file mode 100644
index a267de5217d9348950267fa0cdd5491564697d15..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 21884
zcmds<3w%_?^~dkci;xf!2ya<kc_^UdLF6HbCPH9ogCZ!ts!I|!Bqa$k*(e}rD6A6K
zrJ!Q*RjF@neV2-~(IB;mT0~nF>%T2l>!YnLtyQsV`Tu@1XKp6D1o%_^e?I^JlH_~N
z%$YMY=g!QXJGtSde|`AxZjR$7JNSWb(n-U&pMv8I#P^0&B_8m{p0PUF&ocNtDmr{R
z{O-j>e1gGnXmMD}T0gt=yt6xWBYk+3mgp}9;;$z;PB9yn;<V@-{WBPxAF60x5Ugq}
zuL~h57@T@;$?R#K$zJhuBFo~FGsJO{z+ac@c0r`-eT=`F`l>}tjQ2O#r%i9{u6fE(
z%^s-o6fGXmUwK7EW9ZUEe~%rf3zbXzUO7?g*3Sd`Yb>u{5Nb+jU+xI2B*db;&N{RM
z`l~CiR9%km?~(eeT~w(m{;K>nG*{H)3O9A-@7L1J!|gBpg_krW`g>2}*IWE`%NL;o
z2aI1+xKUZex9_vK>oM>!{mJD`xV}f=uRL7d(Rj44<m{3T{V@D>7()sME78@O`UR32
z493mhkve0YjAuXktJV^+?-V@cucE0*@`(8MwVQRtvay#Tsm99<21C`}VxatWZr_Gc
z+O%2<ZZ6R6`^$94>4~gN$Eo(5sq%V#sjaE!@{({p9GR~V$a>%(qf37);5g4}u~U~j
z))#u5pWyESYu#k==dtd^eLDH0G63JJ&TyR5!0>FxNk_oZ4`&v>`57eN>>r0?e|-N>
zKj#Em|5(ueK8qFXSpD2#3m0vx%06bQ<FI^S#a|vl*aI<j0Ryeum6t%Q^nFX--62Od
z|9k&_OWk0p+aotXV{<-uM)}mnv6vVIT6Ze%+aqg@U4yb?Wm^NW_1gDqPt!$f+qKH|
zOVOAX*0(@!eLm0{SqwopGpgi(sR5bW1Ff$GT4N2yq;+fS%r645ndrjKK(viMN;Y$x
z1zOvxp#)k#4MaCln%epd3eGbH1JMZOKvelsj&<wlabI-i7b`z=ve$2IdCSfI$&LV&
zaFGdOEQ=l3Qp{RnYV4@uo6b}9p&2nsst3{1eJl65+3VYf!A*N$<-SBWCGl=%d2T2v
zH=B7!G1o4tFJ%;6)K@dA;=QunZB>G(`wFwytbl{f869P#>Iy1LUP@8-b<bXt&q`wl
zyZT*^na)FN#m_n5Fb3Dk_?w0KVnS#75G&nlS`WW_EP0nDw|B^qjclM-Ji-fY)a{XF
z(9lcggO{*xK{vE9hn%*<ka-CMi=!scx}Kv!k1y4Xtr#FW=hKqS^n#%?Pg%Z%OR1%u
zYV<_B>#7=UhR)8XIpA8`&Q^uCM<WzkpD|USM`+18?WjhNkWb5^(v-G<)YH1DSV^x1
zqU%*!G^P_G6OgVwMU{*uvHj?~nQpCH4>?q;*eiRe7AO}Ss+3Gi+cDEx{&VLeJm-{*
zb1w|B<~@Pf^1Wr|GPU`YJuc9u0ZL*JloXBWtVoXMC#vKFw-fX1VDpu?&rU%|SG6$+
zluSF1EC>nC9nU!><J=0uUIbxJM-cXX$&1P$>{SwjprmL_XGPvey7m)Q@(~50Iz9+{
zRBa3bCDYC$3qpeP-JWww#<>*)%=}L~Vz5h@GX~Eoi7`-V(U?w%w0mx%N<MH54zY08
z#K&N>s*N$AWSZGU3=T2M5}ZHcIj5wYA8I-0a;6q(3Q@JXt>hv-<a3M>Gi}VBywg&M
zbqUcmS*6wj+SP&^zj$-CzG$1hf7tuKxPE7K|G%()&uHCSW)}Z0m+-RItyt%a)iUta
ztm13p$L&|SiYGWfyj6Tg>%OvBY@_OBmkYTLg<pr_D_P6G8y||VaxG7A&J|qkFJqL<
z`d}?%d(|>lisjsdVxOAzotJZ_=}_!dxnIqSzBWD-U*(FP;C#1gIhRUG2MC2;(MxfA
zH=$4~xVp1_t*iRF_&99#no7wu^~hHB1m_1>)%Dt|w|cSW#36B?Y7d9RMkVp?rqZG@
zoe<gJwKJ;Z1K-^aaRa(8J`QVDZM<ZZ4iSe#+&UASulAf%GS023kvJY&R1wBuv62`E
zrs=7n(;^L?H|&*Zb|gE~>*GUFttw<FD4EtC*^o$ZKF@Pb$vC${p>}+o7R>Wh5r$%x
zk{Aj~IutrL67al5m3%~@xFJ3i#i~Mvf|6<Nk%c0``2^27CF9%*1xE$%qTV7=ph_?j
zBb3BQFil57r$zjpv#62}9En5BkM;497@#U-Bq*829$6$3oacDXDJkbiy8C<QldpgG
z$GskRe=P`-IX~Knr`yARevh=Pd!^Zdc6w~z9=R2n^!&l^luvDJ#(?)gyFIeO*j=ma
zxOe5ly!LI*k9dNCC#Gmj3+q=ySLa795X@!VgUiYc+`i>0oqK9*k@dFPJf%lv7mc$3
z<wre<y{4T=UP3bu<GFha`WmpGyBl;<&?rhBjkLOlIe_DeNVS(ARWio<M%{Azx&IJj
zy)C}}d0zdL4r@5_TBwH+3b-#(<=IjQLg%w3UR`BLA*wF6dThysipQ3A!h1I9G%|4O
z#3eR^#y$^<e>~w}j62^f#?foy`0V0*v-G)+dLs9AZjl}*x)s|atB|S2YLj~YkrSJ(
z`XtGl%;=YnscC#fFRWshZYDkKxO#CMtD`8#%ZNs3#Ej^Argk2BYW=_g1u~vuYtZ`E
zO<#OLvz^fh1sTExI|8x3+TwLNE8ZR%jAE(}H?e4}qYpR={Y4<wrrX-KSNY@O`@WL6
z_$nzH(^-){NH?>AGDf5BjyGx5K`f3<3tkDtCbQ1govU|Ak;DT_HcSl_3Q^V0$=mSk
zm%V20etOqIjj4On7F=@n+l>1I_LNIEYyCiasxJzH-MOc`y`Jv!da5MsXH`PvIl%Ok
z@_*V>Hca)DLNvmkR!=)mAPzZYOChR8pqfBepb%nmkl~66bQl9Zell_9sL8a7p)>3K
z*FB%^|9>!_evEK+F`ux(!vS(vQwsYTEba-@NzHz*jCbStdZ*f?|8S~F5DqlebP&3l
zZ8``EGff4-E8_*>>z#!R!r{%rz}GqpF`#nrjn?dU9d~g~k8bH}vG5H;n*Et5N(vXn
zo;g<~rSLbsS!u?uSn{vHB;%(myLQR{sag}dwrfe(em=wE%uiSTT6*jJn-5X1U)`e|
zXF8jWPgnjL_zPBimUm%y9onO-N_S7n8<SV)A8~qlQ)s?_QN6#Up`kY9pHW|#=dWn4
zsh#g1J8tZRk^T{7Wpigr%9x^}ae0M#1qCA=HymmT=T++J<Y)dlO`*o7{JNUT>he%6
z-Xf{54>jgbT~ygz7pf08<zKd_abZ(Kd1WZSwx(iEWqD(H1)Sv-<U2`k!Ua7Bo0@CF
zAzO5hae2|y$6Q8tZgN^&l9R-Zs&WykuWVcr#@jYPL->Gc?kLwS77tHJ?A^I3Q{$3S
z>k1tA#5++}(z<1-b%ma?IJFWvqfhI`oa)p{<cM-!YQsXu9aD%vC$HPQJhcg0(F&z)
zSf0XzA$}U9&eR&m9Z&zs>uy+{qJE8r+-WBF+m1U?=dNAOVo6Jpqxx7~URzZ@e|~4h
zJ<D~?2)$fJAbRz4ac7cL+vn)EH>kFYGB35Mxz2IV)>*SsafKR}czUtw*@e1i8+FgV
zrF+)0JY|H8xV};^dp1wE{flL6`dApKrdKuB)_P4hio3*h&7@f(lLAd&CEiSuYWn4N
z(?yY{FN<rs=(_1EJ2ick*Yx+Ll3b~mO<!#{{qLsfjrNc-ihDPjE=32)JZ014l2p_0
zvzso;JQddmb>rG~Tp!Yn+qgVsm$-Sc4+ntbuyK#+#@)I+WuN5UVRA8IHtF0Adc;h|
zN~K54qB{I*Y^biOOiXZhx~^Gc7RVZcJ`9uYn50yUj+g14(}6SK72O{_14KD5H5{sI
z@bUtxd%Jb_?$h0SLw9fW@|0y#LzYy^?)_GGVAb-JsO0`l-UCr}{*HAfuiJ|jVA_ec
zXPK(zZHeMiHSgY$C@xJKgeVmE(-Hhkn2K2aSt7aANf{+|ylv`2_D2%RrK)5%YTgiD
z60DAoC<k-rWVf5^x@J)}FA5^CVd<_(N=INbT>3|3(;3-JS3;Z4UK;JZbRAox2hzFP
z^m0vf)4AOAcD?YvDD_+~?-r&by!})?$?Fi`Hzm8-WV7b}s%8dQRc+Kg%T!&1rLOj+
zsxF_@wQ*_Mm1zB1zI=(#{6U)O2;wlQ?^XnPy`<Ne3Xwlr@;B%xcTcUU4?8K{yVWkL
zU*K=9Z>m{<w~zcxOwV`#b<{NkYisH%f?>zqn)x&m(p{&=0E~$o_l2w=a?5M^N*{yi
zzL+%BQE5#zOG7$oXVTCVl{DYkMU$74hNe3iyCDWqcxe#tj5Sxn_bWY9QnPstl<N~A
zI8H`BKqKVu?sX-U6gSE3J$>e^;Ovq!rUpyOrU$2%PAfU5>}<#BoLn{q<#WqWWC5Cp
zcjo4o*Dj!+?rtA+pzkK+q`N)be(XVQrL!Koo8_YYPX8|<`(dc^nnHLNi|xXIL9R-J
zD~GMYI7u3sW0L0cb-J6F+!M(IoLtrs44V3z!sX$R*WDa9`$VjRtSU!$Hg_=e&c<kN
zA9uhsi4%%DEaL{cC!3ewx~I%v)Lc;;a?%I#7S&MO+~kzg2EzucsQwIGge$rzd=P`m
za5%A8_OIZ`yBgi3nS*-c=IVFd+^hy2mOi}Z<+Tmf<({6CRq3>`6@8P2`m;_KIe93K
zMKb6#SXCVgawhf5=1ihT@t$!kWSz^4)xSrDs%@aDY!E9uT~`D-$H^#xf%3<xcvLp0
zBFh+mmq4b!riJu3SOo+VczAklW^(#$Hz(~Vv?nPK{Yg&0x;TAe=A_Kydz{vz7iM)a
zUP(&MbSPrrWug>?)RUZKWi}%>2?lAID5`V1*<Mm@FX>VyRhQ{L%sCacXW~t~jDF4x
z)XZw}W?nXw%uKEH$c1C0WM!e!8M(}vfJ%D~b22keMTu-Iceyii(cNQFG#@FwQcN){
z!M#VI*kHT|mg`l6)IQlLtt;u<-?HxKRg%g|`g;vPnE~v9ZUB2dP^+i)pc^I(QpTy;
ztFsGX)|(){480H$_Qu}5P&nGI0^^3Ix1ltfEpH!Sul(M=#_R_+pfYur&|6t=%VxGZ
zQ&E#Wg}kkA+`iSjb0^+bIBNKcWJjNvBA?PTrp!Kn*4g<}OBHon;(W7x*u2*j_$N>H
z7dUl=WT7*wWX_z@sd-MIq-<KrRM`#d-Gl5mIdo-XJp!A>6a7sKM`|B-j@meOk!P1G
zR8ztD>s+eP@tfvMJEyG7Yfi@<n48Gi(n<7PwbNXLPOT~EqA8VyUPhr4ICCcc&7KvQ
zF~vXPviwDUaW&G(Kt-eRNK;ck(eDheaWd+fYdsy;60JMm-??~AxVodfTo>7*IquTg
zd{TAIvnpT9<vOsB53%@66#ImSJV~d0nPqRDSr2B<9k}sto?Q=S|0B!ZJi{K${=Y1H
z^DKKX`yN=hOnb~T?ZNC%vFy#WZCCd9V2UR>xB=s)^U22<_^BQs-6MZGRYMEY1&wf=
z?(#I{IAb7V+n_#uA!l2%Y^)rnA8VzLvg9I5o?ywvA`d`W^F&HN7g*_4mVKj@zQRg3
z51ai^_I4|Mv&c-}Zlz-zqCTu^q$OWs$(M`FvfHfm42cTM_Os*>B4;AqJk}lqdA6h{
zH@eWw<M1%ZS6ZdlSh5*btl=IjeUl}(i#!lE=BbzVzmarC^j*vTAC~-YOU{t33hf7q
zOh4u!m%SfvrI(A$^joa-pIhlKq;y1g7w%yE(C4c%gebp(-Iq!Kqa}YTa&j}HWgfAQ
zg**&56H}tdl25bbZ(8!XmRxDcjh1Yl!x=^M0M6FkEH;eFJ(m4rmi&|@KX2K;VWper
zZAR-;E1g>{ewcot$gFpjmA(%5c7B+CE4CL#zPCq*{IGh_T-!Xs+ax};e?}%K<zMpD
zP|{zQzxZPM+m`&X$jO)h-IL7ez;MVz<guG23N3lECC{+rb1b>sk{c}993iNvTj@88
ztfFqEKW3$GwbIRj0i*bPE8QFwFufagXr}iimb^k_+Qh8%cdhg+xsS2$RU*^A(Mn$>
zvL3JIaDwCYA(MkYap<084mFO0{H9g@PnP_NB`3*w0PF5$$$pU;J9B11n~7HXG|PUr
zC0{Hu<6CE?o0AFl&74E@hkTc1^SD*^MJxRaky$odjvLsXNtSGmBba`sm41sQKW53>
zE%^<Rb5PbCXAFWoT+S}&)0}5eKG{l-Sn{ow{HP^w6Pf<ac?kWRbC~4$yn5!$rU>$2
zx#6+46D)bWB~P*BGeu^EF1FImSqZO(IV7RaYs7|E_(seA4oiMWWR`8S(#;_V>oO-E
zypsR4Y?9^Rf@KGb%zDd2X4#;X9<^k1=t2A2t@M9ca+(}`(8g!UV=Q^9$l0(l2Pj8D
zUTfKy0~GqX%SzvG$(eGvLYpC$Jl>LLh|IdoVGQdsCqc;-yu#+#Xe{JAtkREKa+@XZ
zu;f=oX5`+n(#??<_GP>~CONzV?190ljx%~Uh<l^&WpE_)XN6A+9|R{L{rlip@DdQe
zHXmIIj>gwS@B}0kfu}$p1!6Ax27>uC0mp;yAY3Pb>p<FF4Ps9Dt^f<57lZUS7NoyC
zkaojC`s)MI-{-i*^!Ix(54;wn-FHB&TfQYA{mlf6z(Vk3Z~!<C+>arME#c_B!skHd
zKM6Ab0ZIS9@H*jDAmeofh`H*!K=j!l<M&OF@jFdeBs?CRfb;<%<M(G2X8fK8+20?7
z?C*mh`*9b@{$3BVze_>J?KsIF3^H!HAp7|$6#97{q@Qgd{cHj0=YEiW)`E=JDUv@1
zWV}X#^z$W*8LziM#^X6~9QZKEcx@Cemi!vYzd+K@5S}g^2QprHAns+pEYVXz#_Qjx
zobmdH@LiB`dL0}KJ^(UKEg<{X46=Xql3oFhK>7?2_gvp(5c^5rI4}o13S_^N!13T8
z&<NV^0I|#PwSlz%2}t`}K-zx?q<t00xJ(xQ6O|M}e-UJS+CawVA&~L8LwF;|ey;(u
z;kQ=w`5<;ozKcNi`z&Fp@MPg=ka0K~WE}pE#<KtKg6#kALB{1*Ap5fg%!J>EK=$We
z5IZp6wIKU*DM-7EK<wmvXMwc)21vVnkaqpRLU0FyLHkEQ`n?OJ{cRxazXQ^~7Np%A
zFdgaBLE06Av>Oi6t_MiJPi1TSyFvQB38ejXAnh*$^I=yG(r*By-%~)^jRk2p2+T*m
z3)1i7NTmJEV0YxN0cn3Vh%a9)e$aj{NV~}(<4_3FZWM?wUp9Ww?vpI-_lF?uuLIfM
zt3cXc3DSN(Nc%HD+KmO%kv<Zn-4Kv=-9Xy?6&IiFy%VJUH6Yu21xWkLK-zx`r2RCI
zcB4VI_gIj2gFxEtN26%>E=a!{K-ymk(r*(;`&y9pXMwcmDI@KMfb`oBq+K>hyMH2)
zc5j088v|({2I;pNq<uL^`)MHU3qacS2h)+B3DPbFq}>N7OuJnm{kDJw;JHE{$ocgS
z3UhwF3UYq^0vrWy5k4fmLwF;o<{OAm`|3rn0ud@-5FCl}bA;1{lZ5#o=bInoeESFw
zexvdAK6nDA+FKy!+pFLR@Mj=G<$DBV|LzCz<y(Uv?B8OLc0mv>eRDwC@%Iq;@)hC-
z?Rcs_27DP0qqN@)A_Tr4fwaFHr2RD@?ZY7LE(8%$-<cro0wC>1gS6`d((j8{WNH66
zNWb@jwBHEQJ_6Ey5lFkaApL#=q}>#db|XOAWrOs)9S_yCe+Z=CJ3!js0@A((r2V%+
z+MNZaBfS))-Kik$hJv)q0O_|KTN93l?+GsgIUa_A91nd#j)ydm<KbU$M*da!2jOcV
z$HPt#q3}H_I$!2O7kqbs91k}NuK{`eF9&)3&j5M7hk+ai13`|1-jbdMvR@zKC<aaU
zy#*r4_ZtvjJ|1B+{~i!c_1z3I|9TK#KAgU&exDDrzkbob#GZ`$k3shPT9Ex-4zl0%
zAp2V(oC~s_XMp(lPQs7D(9u@M4-NsbWg0yY90ulqNE?mVJ4b^&55!m6JJ89W32zYA
z3a1L;TiI>G#XJ#H`gU*<cm+5SJRih7Pg{+k(_f3QS~ySGUzjc2hl@h{y~4G^)xzb%
zX5mobQNk4A7q}So^MvqW;Z4GI!tug<;V|J~;ci?s`q?GiB798PBwQ$*Cp=H+6LP%L
z&t_bF@)6<P!rO!u!V837!kG3S3;!higOKA2UuoYLt`@ckj~5;z>?1VS`xUv4&kLUx
zJ|QfI{V|SnF^O@~GY1?Bog4yv5A23RCx=0Q1oS~CF-Cf}fX6~7{m^HDcm%kZ#CYt9
zH0OBe<Z;k%$07pPY1a#{7G5q~B&-zjenI<h3MUKsTSTT07Y-Ei4>g(Y3O~j;rT&5N
zx5Af&&kCOuJ}CTwaJ{fqxLkONFeK!BU_CR1CBm`7kwTxamoQcM873;re<<XAh&t~>
z<PKq*@KNF2LiJl{*u_L&A#4`b2rm?#DV!o4FFZkbj4)T&P58OY<G%^t7QQZgLCDtz
z*zU)L_X=+jepk3sc$sjaFescOoGzRs%oh$7nsp{q^!>6<d?b8N_@?kB;WptD!XFB6
z6Rs1k6kaA=C=3ec2&W4t3G;<!9qTW8rf|QkLmvs>6TT^YNw`gD*1I2ye!K8`;nl*+
zg^Prh!gGZ)gp-AZ!r{V!!YrXH{8-kx4}`xJzASuJ_@wYb;SYrCg{?yVu8HI15@ASq
zzHp|nL^xJBQfSuSUZST8Ka=(KL*ZM(UkSGhe=2-fc&G4t!l;nHG+{gWM;GJ*;f2C8
zg;Rv%g(nD)5#|cJ2|tH3`um&kZQ<*}7lhnr;4AHM;oZWUgfZa?A%2gc>}!M<3C|Li
z3Qrb}79K0?E9@@heg$IM--Uk^z9IajaI0{W@P6TK!ga!kaEY)^ST1CIdS*cxiEn&*
zik>6-(V`C%{W#H25Is-yBGJc*K1uXbMV})2G|^{?K3DXMM88<{%S5jd{d&>sMSoEA
zOGV!yI>!(D^NQ%JMc*U(2GKth{Rg7&6P^27mQTf|ke@B0A1(Se(Z`GaqUdLd{;KE~
zi~c*&%SC@r^aj!S2X{TO!E47RnV&DIXXF3<ll)SoWn(}TGZP>FL0mTS_eg#<(wN_Z
z`x`%-B)^y&R(yDAnQxAx|04OjB>w`*Z%4iS+$H%rl0O`2Ebs5DvK`JB*1u8mai*i|
z@2&HHA^8oG4^`#sT)fXM`Hx8ZcOZi{=EJ&deHk)reNUXeSlcH{_nkk-<(I|zll?fX
z^ygu~_CG4l-WR9e8E1b^T>eLK`K@vK_&9qvPQNkE{$ic)^{+ZkpBh*G^|<nv#_10J
zFG%m@bS)>om7~+`cY}0_c_&3{ac|;CA$h$<YvxU%U_*15|8F8+*;^W{sjmr}H`Oc!
zFOqfSEDSAK5UST!sv^Aqu3knnFT=xGc@y5!4+k5=utNoSv89o9G==fzUbq3~Rd{Ky
z+N-IuHbet?XH7I|l9gxPky3_U2UyDMegpn9zHpUx#dmj<Dc+@Vg5KL$!MInjf_ybg
z2SvS2l@~(8)TQVg#*TDpM@NFRr6WPw(~)3Zv5v%q%gd~?U>^VXL`18qxxO+O%quJ^
zEI3(`3x#8ZMZ%MWV>_2C8Yk(7<3*n!^!ye`LSbQN4<~yWV>)GwnP93e^aRt0!m-Ag
bskYG6TWBgSJlP4_FQ}CU^nX)W;5h#c&|Ft7

diff --git a/src/types.o b/src/types.o
deleted file mode 100644
index 2ef5104ef1ae2279bce97ca797ba54e527dce82e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 8728
zcmd^EdvH|M9X@xnNjBMKvmpu?y093q%0M1M5b?o7;#}I$S_B^`*>09iva;E1vl~S)
znrS-78qunZwRCE&wVk$V)lNr8tQgTjstm8`D88!WRHsw1BDIpzj_vom_dA=r8-gkA
ze?61C-|uz4^FH^Sn|;SW`n*&rqe$TgkKp6Q_zB@bIs=a>`Y7qe@wQ_>W3&!VB~O6)
z!r@G8eTE7k9A4RU)yiRAOLNI1d~O)GPEx8~oNm=8pi?-!HrCqH9&YQ7bjDx|hnHTt
zc*UjKtu)U{X%v#%tCS0PTD4Lh%VMdvgkQ}UPquZ5v5;?bi5<F%^}EVv>np)G(-wt3
zmo#6bwY58T{YbvIQ6EYBZBUO^QW%C4^L0m(?XmQT`aR0}=<K~57p((N$k!Q(T1_r&
z@2T=7x}sK*|0}*!Piqn*oF0wuaW-(Q?FC=v#?(l@HREg|-EFh0NIVQD?7wuT+lnZx
zUl;jw_Jw2Q<M56c-&5d=WFoqBYyK@>xp-I~1K)5kq;NQjrpA-)v=**k&38Nfh3(Dj
zJc}>Zkz2f$Ua%kdZKC_Qe)psQWN&(Cvc0EZ`E=M3_OD)ViFi`BgAx6AUxghvLr9Q1
zPPcLTmz27|7W1m8`Qk}oTswmASxyw$<0NgtK2?zN_(YMAe+HGB4!kg=)LUqqYy+3!
zkt9`=CxB-v9&R;|#-3K0+4s%<!vQnfJ7f+t4Vl@O{v^3A`DtO6WE#7*<E5rg#qwc%
zpy^X{VEK@_{Q=RDOyhtV9W=M+GF3db(=?tpv->Q@Tztri9!q@xppk9*6dC)6N^ic?
z?0+$^=7ox>eUiUo>US)f|GWCzz0h{b?LS%mE!GUuBQ2v_f6(00C>?EPkD1xMoA+~a
z$hham**GvtSU#VgIjP)Cc)%LMQD=e`w`$1T5z56Kl^M1pS8~N;yG&ze{h+gwubSDH
z^@PitK${CDP@k}J{)DXgpI={dK+4XQWgImJdWN3!Ak*TfrK6ha4>oVX@>D9@d$>9K
z&eDN3hnHqwZ_4go%6`%<ZppPcB;iP-tQBdAwb7W_*U;U$W(<|wQYk*`CE-|5dF|Ua
zBI2c{BU0FhDF4Wq*6NANKhi%+`A4kskAPhk=r*&U|N37HoqW9(#Q)dxEq{aPleXvW
z4<pOVo5eEVi|Ri!w_GGS7j5prl$Y6b+wx<ZciR)+DnX{izmN=NtPl7~J>SK?EPJ#w
zJwe4S?<0R;lglkHl5r(EZjk;jitFS1>^#Pg$~VS1eX2Y91$@@a6EP9;j#h5UZ4<SA
z0pGif(?|G1zHeYf*)KqkF}L>I+J?~COCssm+E7<Av^bSY#6ruG(b`aJPdu?U)Httk
z{yCwuo13p#PRqG-=FF>YsI9L*M;X?6t=2wPvR0~YRXWz4uIr3PJ0h_Jj@Zd$th;V$
zSG1=ymdvE<Zs_V>mrg~ZvARUO_3~(>JJJfa+WI=>Dn}2rb;QD{b>Vn2p2?GqfWiJz
zN{^&*MNw*<GAaVnqPy0+^+8+v-3_diHWbH|QB{Qgaor^s9#`*hfzd=P(ydFh6=Skt
z43gnnESyDF>mv6Q_}!lr7^KK4jw1K5$h4!4S~kuy3_S~<8ZI!6HqMZn9@<!PJMG%9
zTs0U>={2wnHzKDPv(X6VIhM~kOLOii@GIB7<itp%aJ0+~g{>Hk7z=v}siQ=8%v{|u
zz5>5{U4cP5W`Uz)F2Snh;9I4HJ0qEn7=Gf>$mkAZ5vsz2V}ui*Rauy;N`b$$28J~>
z9wJJ0F45I-zfEg1DaHF0+nd4wyS@iM`+T^6(C6%*%MC-X)`P>9l5t$2`}`)_wO_e}
z-pM(l12li0!&q$?dd2ITH9A1bx>}cYm}P0d@)XOMx;>?du4H?tCz+17<0Kstqo=GK
z(VeMqBHq~=&M4#g@~JR*4CP%93>dHY!th2Ca-Eba8+%+e%Ce>78)CL;udBvwnbxX$
z2|3`Z@u;%-5W~p4A&mP<PZZn-$GMCBKZ04PD{jY+Qe}4nBnbXP{+&)|DMJDV7DLD|
zs(dLWxsB7L3Xw#rBa+htzNmUce5bo=LcS%Gi)tP)RGE;5?YX9m3FX2j?K|IMJwuaL
z3+WP@5OP43O+tW`PkMK9xx^!%m5fSbhNsF~<XK?^N+#pv;;KdciafV2@+|OP;Qg|1
zp|8>yZ!9XuU8z_VS;l2mE~suV@{R{h@!ULniC5Y7QZJZn(KB6Lj555qnv_jY%fK(>
zN|jeY@p^5=TZMS7_{M>BS(SL^qp)$)mDhVQa`+7dEyK;NVj8m6!4j~t726!@5wyx)
zu<}{u`_Q;Ht&Q2SQQKRN-bgV;tpLX^X9pB+D0y>O?_jyzrf_-XMPE|5_GAF$PC8s)
zvEXw;A|4H`i`}?Dm8C+Vi^^uKUR$op_C7HzN3V&mDO-XcWjV|2kc|kO6|#Tg5b$i=
zsGzG^A=L{-_4f9vbS&B(%jEbq{SsYJj-?m<F6lHIl(AujoMsGto|y$ZuDWVS4mwEs
zWu*#V+{`cW&HrKiO^$edzBw7c48N|=SmNJu#Ow3U$@qPk@0wqqdrlUAp(DN(Wm)MY
z{gZIS>vPa({L?U>Txu044db)FmE+esX&9$|kWu<vgj!&w^2MiA4P>8Hb)`;+tUpYM
ztdA-pFL1<M=a9Ei9*>xZDNlkt=#ckN7M?>6S)WV9e%xW7Y1PrL&uYrTzmBr-_c>&J
z{tzDh1xVy496W=Lczw38>f?y{#3Adm#2Mhx=LU(N%$^gu(IH>!koB=bVloc<o0O|y
zKTLTdWPMl=*~hoMRhC26X9KafIqVNQ<R=~SGn6Y4ug??Jko74-cs_8%pNaR6B(cwP
z$QMu+o@UC@C)YS)^tnRnug?&|GvJ8%sYBl5ko7r1@*Z~B|KX5pvEA#s<<1L+^-l<w
z^2~%6-@j&00OE!mJcgV#&_4!Zn+xs+ivJlPW_s|))VBihjtSlhl=xeK5`QK2uLH}V
zp9ee>{yHGO-vy@tg|7;T&-}sH(Tn0g0K`i+_!RZWfD(T{P~z_aO8nK-7Xwk{;6z{z
z{1rf?;A@x}68}3OiU_s?#UBPDBzP75Uj^bX*g$<c5ED2!5oqxNh3_L6L&*Po;-kQ6
z(6<t=p#3c3N62Kw6Ym91Lwp-?Hc{RkVxNnA_$!h9Q}B<l3;ve4m6#wdCCd9n;*O(H
zf=7vO5DyaXAZ{WiiLweL-z?&EqMuko{JY&RC7%#qCmtZ)LcD>PB(@R1M!b|*O&m`=
zj!IbdC+;HdApVSaKe3J2LR>{$PHZI3CjOQE^da#*;v2-B#O=fs@=Z~yMG)Vo{EL9-
z>lQ(L4)+Iu6QB#?Ym@(7<il9D2;%VNe;kOnK#Sl+=zYLy=z{qFp8qmn0J<Q)Kl?*K
zeBN#mtb|@&Fb*#2pRvFGO#B1!AaNIQJMmY<2Z?fALzPQzBi>BxChGB8O<j-M66*7a
zGl^4(dK^or>+$>x3X}5QBfd&}nW)G2*VOemZ=-$(@!Q1fiPsVJ_^+UTDRBX@mUt#{
z0#OdS_$&Dw{VgbG8^I5VdS2|MzLWSQ@t4H=iFXq>5jPN%#8%?9D8!EqR{!rNN_``2
zlH~0y{!P@=)bFOgk@^p*_f!7`^#SV7QNM@!3)Fu=eHZngP=AH`!_@at{|)swsXt5o
zed@cYe@tEO2YxxT%Y%fqqAFk;6a`88vjRSoez+{Z_$2MXBmPPBuMk~=Ft4lxS^S6S
z&%kK;u|6bK((jRf>LAHJX_YS=NFU>o{6A-YIRlHokN$V)Ur)d6+v3-6XPHlue?Ivi
zqF=v(7t-HBzwGy<hNRRv1-caD^xsjSf3rZ>*IWBG77mBo<wk8?&3N(Uw<7JbZ)v>T
zIs$Xwk#siu3r9HBlac>)3$Ojrqb*nD$gekf5&A2JzDe88yc?b_OX^!2>&P)%mCPA<
z*L3Rn0s1<bi_ivVVL7L+*9b#lbaS{?{<UmF1Mytq9O7JJBXJ(_JmP%f`NW2LEojCD
RP1!I<HJSE5Wa}}^>fd(bhbsU8

diff --git a/src/util.o b/src/util.o
deleted file mode 100644
index d9807e80995c554003565eeb8f77c2dab838f4d9..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 18936
zcmb_k3w)HtwV&BXvXHRZK)`^g;UPjH51xYcL6E?vKd9786s@{!l7*~plD*ko#22Cn
zvW@8_z1mAvEY;ge)fQ}TTk554KrGZJdRt0w)mpEuSg_Jxtxdh$djDtU%(t^&9#Grw
zNAf>s=FB-~&YYQVzWKiJ(ueQ<wNMD@75If8!d-s+s=yDf(fA1yKftxVN>?0Wna?s0
zoq~Qs+%6JH$JVBq0YoCp>sBn!@rL?Ev8G6$59G92LM)^rpIA>|u1KUg)|goxS=AA3
zjiE3SS$Jjb<%>+Uc$M`OQ-^RpF<b}_aLF7YMyL|SY6`!NzIfZJb}Dr1J6fVe?+j|(
zJyPRa(6>U9q~5uVzG!1(M{G@Beb=9@MW3Uf<GNs?M(cO~`Z}U*t7EA?{>`qiT7vXX
z%ICrLtFJZMq`K_x@5j}bXm3)6|55sqnZ`DZaB3iZ_1vq|?JxADZ%X#nw{E<S7t%ys
zpPtM_4*HE>D&3(Z-2QE0eWv-!)6~bq+h=?~hQ4SzYOJgLt6g53<4;3hP8d`q(wItF
zCFpOSzLh-hD=Zm%+2AyHY9o<Yi!*sq>Ru0we>-^oQv8Vg_jy84Y8MI7;wV$?^?Hzq
zx6yLYCw_BzK8y|MR)J|6e|mus|E9@)$2Z<a8k_s*TW+m$)O;e=Dc6;!kC<}&+;fQ#
zi-9LE#Sa36eu!oGp=&Jv(9%Weat?m})~g|${Z00^li5sfXI*dS(v$NJmOQlYu2)JH
z?#<Sn=&U=Dt$V+-?)__@E;;8erJCf!8;;k6v$yqzvzZg&uDT=P?A~zprEs?H&{2{J
zch()EqRxgBs`#)e?G1M>Ma{F}?16CBDMiTvEwN#L4H;TbN?i7mS?Id07v6-k4M)S-
zrEkD+u4PwUkK@EHWA149`zDLRQx3xRuJBVP#@exPcApYHP`8I9-`Rp+@E*FgpPd<)
z`Z>C}Bb@y)`U6<H-KgKLEba?;Wnde<&um4fAhgvj@WVW#nJrpuixTUs+Y@f;fp3US
z12jU<k4?pf9+|D%1BuS1?_*f*Y5eG;kNWo7iCvOnC;E&Jg$qL)?wlVAZ|D`7QQ*)k
z)2vsN-1Q6H?GskKB;wV80Y>M4j7}dheaf{Ymviny=?V1WNSGQ@XX-=Yc?Z|r;F!+V
zy>aY(%^}1}qCEVRGd}X=aA)R?aLLXW!v}l^;g22%i6O>t(2#U4Jpqj!dz7Wzz_Pt;
zZAdGJR3{|}GVDd|w92Ygu6znP`Kui#kISKd-3Uibo{G@5PeTPZ798ISr+qHI<rLqN
zyMEh$G;={&t4&}${_dc-;-Dh5^Ar&pDEyeMB|D!DKNX<p<5HXoZ(cYlmz?a`Utvwy
z_0-DbUv9n*wm|3<vX_Froeh}cFY)q_-J4yC^rhMOk{V6qZno}tXWenVI)%;PVq~oG
zx#M^UnPm^rfsF~w9&%7c$4rJ<;GmzUMo<k5ckY<U1iSa|^x&S7*QQ*xq2$cv%RBdL
zDWsy(EYqaf*pZoa;jWEIn#^jE<QRmr8&{xA=WM5<ss1VQnXd2;oykJe?mNqr0xUT9
z5yj1Do_CQN%Nyk&cj_IwC&KzlC8AgDjbW=j)&RQe(50qw7geeyn^ppCrK=8eoGWtE
zOwA*7x041;&;H3+t#+u1n~M#KHY=H2(XmM^XGfal?69KfAcdrh*5Sk9uG==(XA!&~
z%vUZVCil$+wIsU_p{&XEX(N@wVJ((_^Vz5hJG)5SePdEO!d+cDR(40XVxr5EP3mqj
zfKQW^Lh`8sl=i6{lo?(sg-=?{<&!Gx>>}|#KB>Y!KI!bH{5bX*6-z`3Vd%<i4rl+2
z2!)g?%9?<pC~I`tMu7t36wz=>%k=5+jbBA3sjg>k86bgs|C&=q^q>iRLJ5#7MA-?f
zo7xWah7ZiADJ^(bb}dB;I0Bt&a%1sL7wg{h&5crx6JO^Jm*26UbkWK+->g?yi?N@f
zwe9<q`*c|bu*~2FkX!%F-bdxUUQe?Ut@VUgcSdzTB0hj@N0!zGEPMZm_T=jU<tTe*
zt$!a&Kl_gbP5E1H`McrxGJ7#ql6mVy*V2Q|B7yBfj~UG#v&3~`r`UPhQE1t%b`6<b
zdKa_{)^=OcW?Qm<nH}#9$15EBW-p`n18bHmXR>uikIe&xA*A6r+V?JI@_^Riyt^iv
z>V~{_%{zGGcXa`+>0xY|=qA_y{(%kd?Y)>*gv=P@LC%;NBa=ZU-)fxx(Efq8vq~55
zUT7;s>76-(T@3oe+pj_P$2ol_3u&)cs<dM2P@cT=4N7V!WicLDrE@#5DKGaEG!+~8
zr-voGcf(&qdZgoOZU!D(jtK^z`8mMZF1l|gbZ=-trw*%i=|!{ub~LI=XI|^OyYoP>
zo_eA77iO+vuxTZ}w`Za(`EF1C0}EuS+gQ>*l0vQx6&D7!VAi{jO(v64Ts~S|f}u?w
zAMTK1Sb>qNp-Nm)4Fk$;=lV+0gKHpthq(TXQ^=j*hXy=us%s#9HRLX?;iu5I%%|nj
z8V2@{<)$$XWLFH)il&}IUk%G$cnZ1XY0B+lIX+GsxF0OH<P>%*hH8OZP9e9Q<?cR(
zTn#;-<GM)0fc_;}uJ#miJuLU;DdcwX`Q?-W<ksOFQm0fv&Z?SGHN9f;f@mt%T+!ZE
zQJYLAViommO;r_*nRuePV)mTbbEi~HUb5thrCc&&=FB-&)2nJ~rU;oy#}ideY)3<N
zLn_vhs&0)pwM1hHoM5)K#X71Nwl`&3V{PeF^^NTvH>8r$rdV|%-uO>V(T->%lvUMK
z3y(kEmKHwm2`Flfx2Yc)lv}}aM(eW;vLmnXMTHzjb)N29eT@#i*3YA(jzLIN6x@a8
zt6GycN0RM{n<DA<$f5{wt?kXKWY9V}Qc5%NyOla+ygic^vTQdZ?de|YgR`=1!Z2cz
zh4Wd;NC%8%AxGV(WLChZ)fj=CPdK`3jx@E$R;`M}*2LNdsgdKQ+|CwW;IJSV)H5N+
zX&=`5;LkW6o3t+xYg?UeLBR(w>FI9qrP9%K4E&?YnU#fRn`6`knuMJ2MTF7Qy(|!0
zn~Z1;k(Ov;l~Xgn(9hO)G6v#8P9dY-?mf2yhLF8n7gMn`_Ym<Ap0rn*_3v$+j2P3Q
zsvDk^m-{iaO@P^{13PprG2c^6OW|8=)if@Qu$E^Ti{ip_v$sr*&`P-DDNMAtt**$l
zrQ)k`Dpx_d7APhkQ}LT)5e(<yVUfsc8Z0Wnsa=lt&M1^cSY73iZTOw*)2etnl8Co9
zri3Tsk!GF#1h2zRf6^Y)9~Mq~xKDm{FbVHW8!@C3t8FA_!WFiMkd3T<0WZsrnQhXT
zLD;rQD{R}O3EM(f<H9r-9A~7kJtA{q^X`Qi?M_E~W3(}n?1;C<BFTQs<oSBGnmf#X
z$3@D>IX_Zkx7ODYOQyhbf)++u%18$~VyR3512R`jw9pI^a-L4f6_`9baQc})ha;<-
znj^7HQzG6Ri?$73DHlt5h;5z>Ao#d2g<w_4MP^D<CQf(wq?%we9KNOSZI^<;<wAyE
zQymNkYMJ(S@3=j%z+pDu9_SFV{wl1$-tH6Y0;#kL#HaM6IleBiOvt7>WUROQjdj?9
z{JC#8Z;o}e3tw6~_gucWnI*uN;tu$Wxn?S(2(BzZX6dl0g)o{<N1IyQi=pp}(%h&M
zIpwt8`R;3_JBMEHeD`TXN&kf`Wu!&$CpklAjg90PQ`6k{urzo2CtQZUVnzWAtM4n?
zYSMozOBrbqEXHd>-Jy6}JT3g+kY-QtOitq};eVo1FVz0sTx_aE@Or3lg@An(1!v1c
zEI*cSDhM-0qTnpcLBk~duezkgkY70tI)UhjwF+NYO0(N|z)?N)a^YJnS@Y1^9FrWn
zAjh;6&f*rPWzlDZuU>NQA#GyFX?K@s8Q~j&?+R&lFz4}(!pWWn(=Q|2z^h2%E;eeK
z6z=7Mk*ovDzwau(#b81OAJ2Kw9BXaI9ml^#nk`Xl&M=1OU(E1a$i=2w3>lA*x@LNF
ze2t3X0x8YT=}AZ3P{g9vi6H`Nm?Q<%Ff9~N!>sgg=H^C?D0r@~+1BU{F>D#y;!SRc
ztQz^ClxCauFmjGAoij<=Fg#$wiwWRx$-+Zy-?RuMVo}}>2>D1xO}Z9c7;jr6<YTl(
zc)C~O)yOD}0?&X{q#f_C{9RJ5!DbU^UW(%`fk@vYO{mEex=g)Lx58H3>~TM%yW!pt
z=?+Ly+71lK=Z0g`6p1G2EiElr@_Ek$p~}?lQWd@Enc!1J&Eh;Xk}rEE1VnK)$cWl;
z;f-ge3A$ey;q#Z#a!#s8Zon@giZ=o1?u+^(qYi`dNsl~Z@zQ0H%WFTqFjBi@ab#iL
zqS}Tf%Z11<UUDhgmp_6gxMfFZFBMI!COv*R8XXu@jQ9p*u{@J{kZ2OeAt{GR_%FsT
zM_q*+qU%yIysjg^<WQ<r@=ztn8(D;+kSS`WH>4-1IEdnMQBF40mO<H9TdaubZiy`0
zfNC<uoh?s+HqL5cxEqpZ>9N#1G-@NmL%inwsK?jbo@q?PMBr@NiX{`7l-Nx&a{3Uy
zdkb+klAyUgJ%~V4I^DOK$FFurdQ(Jqf8~gfvqKeN5X3UdIik&Q%{D?5=sBeiP_>*n
zTy0`gg3?URq72a)LkokPjdU2!D~l?agNP1aCP=kBpTbzY+|lYRm?nyILu7*zvIw`?
z3fW+6sZ_hdW$Q|}trcWT@4uAotCYPSsI)d)oS#>R$OKG<C>h9P8~AcL)tH<LR!(!7
ztaO{Kf=N+46S9=o>Yi&lQ(Z=n0;JW%bE7SWkj@Oz_`~)&<SzL_lLc5z{Z&3gYDyWc
z`xF?X=LPVt6%%q7l-6JwDVJB69;g9Akn#oyG0Gnx1PML(lcO@P4_BAbPKNXv+x4Ke
zZ6yf1*M_K`yr)41s!Nv2a|0uayn)MQsNhW8C_EFz#bArjV{es|BfNpT=Laq*`ef00
z#q}dDDK3@6<$UzohyAiDt{>q6>n{>igAJjpO|C^@5p0o2U{+q!A-V-j_|J3H4`ua!
zt-gqxFk3uI)Wb3I3a3I<P^W!_0`d{JJVz(oHZGSqg-Xs8hf1KVs7Na-9f2+zX815@
zt{*`)bJ52U6Gc(c#jsc=Aykj=k4BC|(`uBA@|kAXC!R4G&BkJ&${jaRI=Td{wUIGr
zSkh-YM*L)Ctm6RMoJHN%4p5NK*6bz4q=pL4nPj;x>X4lHhl@UM+6T9srH8gwu1usG
zH$6fP_<)oDSe*ax^JN&Ja{<~}xb*U#;5C?ct$(xw8)P%|SG1r7k+#|_rcyU=yK0sq
zVeOzzSw9<F+LgLZYJGxs#@cnYVa-37a32EDlb5TX`A<2cDU#M>>L<bH7PH*LskI^G
ztyn+XDr*;$+x^7#rs4raNqeI2O!SP}-!ox9&t>X?g-&#Gj`cl&q4YuaScya>W%LV|
zycy3{YeUkU+fG9neecps2fDZ>lMr3*14>;gNPY=^jC_>K2a~_mk~inLgULT($(!@s
z!Q@}H<juM6VDiOS!i@jse0MPU3oUtb&O4ZV!jd=Vy@Sa=Xvt4Kjd(t9$(!@v!StW}
z8|9~A4KndD=fQ*Nzs8cM+)&pb`E!pYZ_bAY)4#`(zxy=wAGhSqdGTQS$6~6R{??v`
z{w0?Do2Mavt0h0>6!PVC0~h-tCFKWy8j9Z%qbKCYKMAgGPo}H!pb<?}$J?3`nPzoZ
zyb7PwrA2in)sbH(1Rq1gs<X;ewa{vUEj9@BC4U{&m8wjWN&(JDsi#BGPG93d<A$fM
zk)X{v@EFkZb+H%)`f7`gGfncFtnyB)d^^*lA!80-NzXHu%n_!k+?=!$U8;P<E&z0`
zMK@aX?H0Y2=@8`2N$r`S|I?B=VA1AK*5~o=E5I?6#~ieh!2pMbXqs_!5xv-=%{lBD
zC~xI*a{Nn74+s4u)8(Mec`eERn#;W@vTV*%z3bNzYmQ3E;6x0mF>cO7y^ks}bHYht
zSFjk_HwT?$=T58qn@p2m|HU-<We!BCZ4Dpxk<JU5_R=Ao$DDNfq<8CWRA3G>NyRNJ
zN-DZ76^~ivJ1yEAN>W~!^F?y^50=bF7Cj7`788XtEqW%?<U=jf<ik}~dB!ULGSk$(
z=Pmk8i~b|i<XbUzF~;r;rb&O;qOY~+q$R(RY3kQjtNd}R{Lf62&Joy58C&OA^mL|4
z<`RqUv}7K&=x<x}GZy_a)6}oCu#g#B<C!i+`81|!-p^s0?5?!ryDa(<i+<9Q-*3?`
zS@bWNrkK3VG>yd{nf5+~8I1`rM7!tnoe!><ITAeAqRrv$ER>t0S(5pbC3Ce!UvJUo
zJa#PP&1oyO{hTFpzePW0(dOjU=cnbx9JEsFr!6USpz15|zNe<EIWr}}-&ukmTJ%s}
zgh^(MMVlj3pU?YM4@JnFjMCsVvLMl0Ec!l6fjI~D-mQEwXPjim9B)$d=d330F+Bq1
z=IE2=**I*GP41XePM?1fYRsV~X<f=vr1cuB#cHeE9BTS}J&-bIlhpcgtA#mb#KLn#
zId2XTN$_<`-Fr-vlXQMV7nz@F(P5@Z=CfA$My5&UgG_rnDAMM5(dYNRi@QAr+!A%p
z6s7vxAdd)$t*D+RMCBd8$-patnB|oVfR*?+8A#-#@b(kH6~O7hV+c3M%5LBk;6@<+
zRbGi-Q-R}<CiqwR9;OP_{}1EO8GC^EbD7F71F?ctW`Whf%Yj%)E6)a20sTPytK5s_
zfb{MFQu#fMNg&l%a(x+>_o5Rd_bQO;9|fYS@?OT<854{Pfuz3*i0wpW0EmB;zk_o#
zfUg6|&x80yes%-N&t*XB$0ry^0&%mdd>oZCf%gOP=R}p8fb)S#;4I)=;3t8!r>_H6
zpwY#^*KnuBzsgJT3wQs@S-|swlY!WOR(^;=;-3bR{_io~3&d4<3vf1YIdCp;CJ@gt
zm9+Dl2mC37$o^i&yMYV9)82U@Fb2E?cp30gAnkwAv|vBugN$j$C5#gp>G^=<f6Dj-
zBRx@5`8ABQ80q<m%HM)L!aa=lGA0<|o2nnnSd65^^GfgoB;g|9&w#bST|gYR6bwTi
zl0N$Cfbd-;BjIltzr@(hxSBD-IGVAP@f9QywSSiJVaEFzH!$A9_-V#Pj2AJ^W*o}s
zVLXWBB>g>%pJ&{}7-hVQaVFzbMla+4B56s_Ta1+dN-yJX#xF2_j`2#y%NVCHj$`~i
z@|yJgmXWq2#P4TZ%2>x(%!rdgCASrMPV!qAuV-vz9LYG0(Z_fa^McwPVEhr|y^QxT
zu4G)n_&Vp~Va692pJCj>xS8=XM%poxy>iA7<4;gX<$D=dGe#KaF-~WEoAdNnj3%%D
zgZcIF^GqSGBSb0(mjTZKPl)v-NbA8E@PtU=AnmzFgC|6a2YZ0!;0ckULF&&L;0cjZ
z!Ii*K;0ci$!5Sc*zpo?2kOl>?3_Kx*C`gYNIK#Y-5TOrl2jcJMt|NpC!6fi3@PwFy
z!TG>*!4pmd9|D$wCxpu28|Y^UJRypLyMXv}%j*bn1=r)(IPioO;Fkd>fF~Re9%bS@
z@Pw1Vm-0NJ`vLS7ywCamTgLxpe35Y<<98V!V|<A53yfxdWtfjMUdwnH<E4z}Gn#ov
zTVL|0l+n-l7oIooGX9$JXN+{<NbR0t{3heWj9+9l^YbR=TN$H_4UF}S7cov_tY9o-
zEMWYQ=cSp~^hiPe9A<o$@rR7xV*DE8{fwVyypwSaV+$ia+K^teKG0(i@v|AHFrLL&
z%IIhO3$Fw3GX9$JXN*5#`~l;Wj9+E^5@Q$R9gG>qIODa9pJA+HoX1EftK|1MMzdZG
zVgCOxNvQr0jK5+01>*~hdl|pO_;p4)e5dx^j2jtmVr*rMGBz;QGhW0vo$*{oI*KN}
z!x&FuauWZ0#y1(wI!RCcR8M~pNBAwquQA@w_<6?L8B>h(o`Bk|VEh#0#f&o;Cozs;
z3^IBcKY$X_^E<}Z8R=U%DmUx!cbNY=<2J@_#*K_OF}5;B85<bu882cq>-f3Mk7gXk
zC>j5R^$BFbJB+U}zRVay+=CD}gde)rF@FO6r0ZXqH-{zPVBS1a?lbjR<msZkB7NqG
zFo66c-aO@%F>jvdXn#rd6}XAeHJ|zI%wNO2dALb2UxS+rU3W5Xo-6479mEF9y!+lp
zJYEr)zwLdL`MDEx`=^<2Vg8rQZ)Luh`N<Qtd<gTN^sQii4)dFtzlQnU%-_KLQRX)>
zUw*FEw~hHQ^Lv<I%lwPX?_mBY^MOga{d&Z%1V82oXcFRI0{?p1|A)BVJoYW-`Xj6_
z12xosyH+P?+^Kzl+haLa^)+07i0hAx*9D7N|1zKEgRK7`w@0;V&&|a_Zoh-uuLn;u
z<{Izfd48H|(F<W)p69t!pK!Gw=Hlt^HthEAy7;*+`Bz-^zl0^b{T3Jhyo-;!+Vebg
z{OxhcZ*%cGT|Ccwl<Mng?XMTx4t0Hi-?o4J{KB>BSuwAkpLd-4ue<ccT>5BOZT<Bw
zexj?t-*)K}5qcAAy~gePQcr#Hqh6+}cb)mN=7R|6F`q^ZrlAR6M0MEa-0w;w{2o-B
zVkQ&EM;A9nGI6{m)vrl2)ULg?(J4q}a&&7ZVau{j`vt4j2laMUe_3sn;u})>m{@;i
zqPm7&(K`tkbY4wF+S)r>qltJ59~tYy{4Z;DAsXs-+ViAKCjW(o>+@Il+h^<DuKkib
z_j+B0$feTqQrAGd&wFhhZ&%CIjnQNuNfS;jt2o_3S7ZGuKLTiKZ~Ny=48!h{u>8R1
zaIucQUZwEnDB2OhfC}~1y82X#K994%jEc~Ee@f%3Sc@5me*ZqeRqskYt2S?lRJqIZ
zyw~^r3FHRKQcF(dhDs$xE|+p|`RxpIiM!lT@8lzPCiMTggAp0zTL)Ic)6QjwKYDPF
zAAJPUM>ToOpN6^R`Qr}Lgg;?0mh~43%<0b)>caZJ2dS}#H7_Kt=sH1E<<?B?+sM^L
z3Z-tOD+c~}#FiR3ph`-sqL>cS$dYu_A+r6p$OYG~)`9F#kB+!iqrU^80$l$OBK_p_


From 1a51ffb3e0ac62de9e4a6762cf2c24ffbfbbda8f Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 20:50:31 +0200
Subject: [PATCH 11/22] update gitignore

---
 .gitignore | 62 ++++++++++++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 58 insertions(+), 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index ccd805c..ee05713 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,61 @@
-build/*
-lib/*
-bin/*
+# Created by http://www.gitignore.io
 
+### C++ ###
+# Compiled Object files
+*.slo
+*.lo
 *.o
-*.a
+*.obj
+
+# Compiled Dynamic libraries
 *.so
+*.dylib
+*.dll
+
+# Fortran module files
+*.mod
+
+# Compiled Static libraries
+*.lai
+*.la
+*.a
+*.lib
+
+# Executables
+*.exe
+*.out
+*.app
+
+
+### Windows ###
+# Windows image file caches
+Thumbs.db
+ehthumbs.db
+
+# Folder config file
+Desktop.ini
+
+# Recycle Bin used on file shares
+$RECYCLE.BIN/
+
+# Windows Installer files
+*.cab
+*.msi
+*.msm
+*.msp
+
+
+### Linux ###
+*~
+
+# KDE directory preferences
+.directory
+
+
+### vim ###
+[._]*.s[a-w][a-z]
+[._]s[a-w][a-z]
+*.un~
+Session.vim
+.netrwhist
+*~

From c02875abae029f7c971c470e678e299850282299 Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 20:54:08 +0200
Subject: [PATCH 12/22] update gitignore again

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index ee05713..fa655eb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
+bin/*
+build/*
+lib/*
+
 # Created by http://www.gitignore.io
 
 ### C++ ###

From ab5135ba8d13fae57e1d78bed4cb44dd0db4a7fe Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 21:19:55 +0200
Subject: [PATCH 13/22] Makefile: create directories and clean up correctly

---
 Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 562dac7..8516c5e 100644
--- a/Makefile
+++ b/Makefile
@@ -19,9 +19,8 @@ $(TARGET): $(OBJECTS)
 	$(CC) -o $(TARGET) $(SOURCES) $(CFLAGS) $(LDFLAGS)
 
 clean:
-	rm -f $(OBJECTS) integer-fhe
-	rm -r lib/*
-	rm -r $(LIBRARY)
+	rm -r $(BINDIR) $(BUILDDIR)
 
 $(LIBRARY):
+	mkdir -p $(BUILDDIR)
 	$(CC) -fPIC -shared -o $(LIBRARY) $(SOURCES) $(CFLAGS) $(LDFLAGS)

From e5e7e8495179637cbf722b4336938418cae092b7 Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 22:04:07 +0200
Subject: [PATCH 14/22] improve install script and readme

---
 README.md                       | 32 +++++++++++++++-----------------
 scripts/install-dependencies.sh |  4 ++++
 2 files changed, 19 insertions(+), 17 deletions(-)

diff --git a/README.md b/README.md
index bd3dc4a..5cc1f5d 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,8 @@ The library presented here is beta software and should not be used for any missi
 
 ## Prerequisites
 
+The library depends on the following libraries:
+
 * GMP https://gmplib.org Version 6.0.0 https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
 * MPFR http://www.mpfr.org Version 3.1.1 https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
 * MPIR http://www.mpir.org Version 2.6.0 http://www.mpir.org/mpir-2.6.0.tar.bz2
@@ -15,17 +17,14 @@ The library presented here is beta software and should not be used for any missi
 
 ### For Debian-based systems
 
-    sudo apt-get install build-essential m4 lzip unzip
-
-And then use <code>scripts/install-dependencies.sh</code> to install the dependencies.
+* <code>sudo apt-get install build-essential m4 lzip unzip</code>
+* Use <code>./scripts/install-dependencies.sh</code> from this repository to install the dependencies.
 
 ### For Arch Linux
 
-Install <code>base-devel m4 unzip gmp mpfr</code> from official repositories.
-
-Install <code>mpir</code> from AUR. Install version 2.6.0 and pay attention to the comment made by Fincer on 2014-06-20 18:32.
-
-Install flint manually. See the bottom part of <code>scripts/install-dependencies.sh</code> and create /etc/ld.so.conf.d/flint.conf with content /usr/local/lib/flint
+* Install <code>base-devel m4 unzip gmp mpfr</code> from official repositories.
+* Install <code>mpir</code> from AUR. Install version 2.6.0 and pay attention to the comment made by Fincer on 2014-06-20 18:32.
+* Install Flint manually. See the bottom part of <code>./scripts/install-dependencies.sh</code> and create <code>/etc/ld.so.conf.d/locallib.conf</code> with content <code>/usr/local/lib</code> and run <code>ldconfig</code> as root.
 
 
 ## Building
@@ -34,22 +33,21 @@ The compilation is done using make.
 
     $ make
 
-This builds an <code>integer-fhe</code> executeable in the current directory that runs a test of the library.
+This builds an executable <code>bin/integer-fhe</code> that runs a test of the library and a shared library file in <code>build/libscarab.so</code>.
 
 ## Usage
 
 You can use the library as demonstrated in <code>test.c</code>. The following methods are exposed:
-function prototype 	meaning
 
 ```
-fhe_keygen(fhe_pk_t pk, fhe_sk_t sk); 	             // Generate a keypair
-fhe_encrypt(mpz_t c, fhe_pk_t pk, int m); 	         // Encrypt a message (0 or 1)
-fhe_decrypt(mpz_t c, fhe_sk_t sk);                   // Decrypt a cyphertext
+fhe_keygen(fhe_pk_t pk, fhe_sk_t sk);                    // Generate a keypair
+fhe_encrypt(mpz_t c, fhe_pk_t pk, int m);                // Encrypt a message (0 or 1)
+fhe_decrypt(mpz_t c, fhe_sk_t sk);                       // Decrypt a cyphertext
 fhe_recrypt(mpz_t c, fhe_pk_t pk, fhe_sk_t sk); 	 // Recrypt a cyphertext (“refreshing” it)
-fhe_add(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	 // Add cyphertexts (= XOR)
-fhe_mul(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk); 	 // Multiply cyphertexts (= AND)
-fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk); 	// Add with carry in and carry out
-fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk); 	            // Add with carry out
+fhe_add(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk);       // Add cyphertexts (= XOR)
+fhe_mul(mpz_t res, mpz_t a, mpz_t b, fhe_pk_t pk);       // Multiply cyphertexts (= AND)
+fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk);  // Add with carry in and carry out
+fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk);  // Add with carry out
 ```
 
 # References
diff --git a/scripts/install-dependencies.sh b/scripts/install-dependencies.sh
index dd30a24..d87009d 100755
--- a/scripts/install-dependencies.sh
+++ b/scripts/install-dependencies.sh
@@ -37,6 +37,7 @@ cd gmp-6.0.0
 make
 make check
 sudo make install
+sudo ldconfig
 cd ..
 
 # Install mpfr
@@ -49,6 +50,7 @@ cd mpfr-3.1.1
 make
 make check
 sudo make install
+sudo ldconfig
 cd ..
 
 # Install mpir
@@ -62,6 +64,7 @@ cd mpir-2.6.0
 make
 make check
 sudo make install
+sudo ldconfig
 cd ..
 
 # Install flint (ok, this is perhaps quite a bit strange)
@@ -77,5 +80,6 @@ sudo cp libflint.so /usr/local/lib
 sudo cp *.h /usr/local/include
 sudo mkdir -p /usr/local/include/zn_poly/src
 sudo cp zn_poly/include/*.h /usr/local/include/zn_poly/src/
+sudo ldconfig
 cd ..
 

From efbfef4c076b8b4ad48090752567408aebf3a742 Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 23:27:31 +0200
Subject: [PATCH 15/22] Improve Makefile and installation scripts

* fixed bugs in Bash code in install-dependencies.sh
* created uninstall-dependencies.sh
* added install and uninstall target in Makefile
* adapted README to cover the changes
---
 Makefile                          | 16 ++++++++++++-
 README.md                         | 29 +++++++++++++++++++++--
 scripts/install-dependencies.sh   | 10 ++++----
 scripts/uninstall-dependencies.sh | 38 +++++++++++++++++++++++++++++++
 4 files changed, 85 insertions(+), 8 deletions(-)
 create mode 100755 scripts/uninstall-dependencies.sh

diff --git a/Makefile b/Makefile
index 8516c5e..35bea69 100644
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,14 @@ CC        = gcc
 SRCDIR    = src
 BINDIR    = bin
 BUILDDIR  = build
+
+PREFIX_LIB = /usr/local/lib
+
 TARGET    = $(BINDIR)/integer-fhe
-LIBRARY   = $(BUILDDIR)/libscarab.so
+
+LIBRARY_FILENAME = libscarab.so
+LIBRARY   = $(BUILDDIR)/$(LIBRARY_FILENAME)
+
 
 CFLAGS    = -Wall -g3 -ggdb -std=c99 -I/usr/local/include -I/usr/local/include/libflint -L/usr/local/lib
 LDFLAGS  += -lgmp -lflint
@@ -24,3 +30,11 @@ clean:
 $(LIBRARY):
 	mkdir -p $(BUILDDIR)
 	$(CC) -fPIC -shared -o $(LIBRARY) $(SOURCES) $(CFLAGS) $(LDFLAGS)
+
+install:
+	cp $(LIBRARY) $(PREFIX_LIB)/
+	ldconfig
+
+uninstall:
+	rm $(PREFIX_LIB)/$(LIBRARY_FILENAME)
+	ldconfig
diff --git a/README.md b/README.md
index 5cc1f5d..14cc10a 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,7 @@ This is an implementation of a fully homomorphic encryption scheme using large i
 
 The library presented here is beta software and should not be used for any mission critical applications. No warranty expressed or implied is given.
 
+
 # Installation and usage
 
 ## Prerequisites
@@ -24,10 +25,10 @@ The library depends on the following libraries:
 
 * Install <code>base-devel m4 unzip gmp mpfr</code> from official repositories.
 * Install <code>mpir</code> from AUR. Install version 2.6.0 and pay attention to the comment made by Fincer on 2014-06-20 18:32.
-* Install Flint manually. See the bottom part of <code>./scripts/install-dependencies.sh</code> and create <code>/etc/ld.so.conf.d/locallib.conf</code> with content <code>/usr/local/lib</code> and run <code>ldconfig</code> as root.
+* Install Flint manually: Execute the according part at the bottom of <code>./scripts/install-dependencies.sh</code>, but before create <code>/etc/ld.so.conf.d/locallib.conf</code> with just one line of content: <code>/usr/local/lib</code>.
 
 
-## Building
+## Build
 
 The compilation is done using make.
 
@@ -35,6 +36,14 @@ The compilation is done using make.
 
 This builds an executable <code>bin/integer-fhe</code> that runs a test of the library and a shared library file in <code>build/libscarab.so</code>.
 
+
+## Install
+
+    $ sudo make install
+
+will place <code>./build/libscarab.so</code> in <code>/usr/local/lib</code> and run <code>ldconfig</code>.
+
+
 ## Usage
 
 You can use the library as demonstrated in <code>test.c</code>. The following methods are exposed:
@@ -50,6 +59,21 @@ fhe_fulladd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, mpz_t c_in, fhe_pk_t pk);
 fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk);  // Add with carry out
 ```
 
+## Uninstall
+
+    $ sudo make uninstall
+
+will remove the library from <code>/usr/local/lib</code>.
+
+### Uninstall dependencies
+
+If you used <code>./scripts/install-dependencies</code>, you can uninstall them using
+
+   $ ./scripts/uninstall-dependencies
+
+This will basically call <code>sudo make uninstall</code> for each of GMP, MPFR and MPIR and undo the commands executed for the installation of Flint.
+
+
 # References
 
 [1] C. Gentry, A fully homomorphic encryption scheme
@@ -58,6 +82,7 @@ fhe_halfadd(mpz_t sum, mpz_t c_out, mpz_t a, mpz_t b, fhe_pk_t pk);  // Add with
 
 [3] H. Perl, M. Brenner and M. Smith, POSTER: An Implementation of the Fully Homomorphic Smart-Vercauteren Crypto-System
 
+
 # License
 
 The source code is published under a MIT license:
diff --git a/scripts/install-dependencies.sh b/scripts/install-dependencies.sh
index d87009d..fb60028 100755
--- a/scripts/install-dependencies.sh
+++ b/scripts/install-dependencies.sh
@@ -21,13 +21,13 @@ if [ ! -f "mpir-2.6.0.tar.bz2" ]; then
     wget http://www.mpir.org/mpir-2.6.0.tar.bz2
 fi
 
-if [ ! -f "mpfr-3.1.1.tar.bz2"]; then
+if [ ! -f "mpfr-3.1.1.tar.bz2" ]; then
     wget https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.1.tar.bz2
 fi
 
 # Install GMP
 
-if [! -d "gmp-6.0.0"]; then
+if [ ! -d "gmp-6.0.0" ]; then
     lzip -d gmp-6.0.0a.tar.lz
     tar xf gmp-6.0.0a.tar
 fi
@@ -42,7 +42,7 @@ cd ..
 
 # Install mpfr
 
-if [! -d "mpfr-3.1.1"]; then
+if [ ! -d "mpfr-3.1.1" ]; then
     tar xjf mpfr-3.1.1.tar.bz2
 fi
 
@@ -55,7 +55,7 @@ cd ..
 
 # Install mpir
 
-if [! -d "mpir-2.6.0"]; then
+if [ ! -d "mpir-2.6.0" ]; then
     tar xjf mpir-2.6.0.tar.bz2
 fi
 
@@ -69,7 +69,7 @@ cd ..
 
 # Install flint (ok, this is perhaps quite a bit strange)
 
-if [! -d "flint-1.6"]; then
+if [ ! -d "flint-1.6" ]; then
     tar xzf flint-1.6.tgz
 fi
 
diff --git a/scripts/uninstall-dependencies.sh b/scripts/uninstall-dependencies.sh
new file mode 100755
index 0000000..1ad499c
--- /dev/null
+++ b/scripts/uninstall-dependencies.sh
@@ -0,0 +1,38 @@
+#!/bin/bash
+
+#
+# Download and build dependencies
+#
+
+cd lib
+
+# Uninstall GMP
+
+cd gmp-6.0.0
+sudo make uninstall
+cd ..
+
+# Uninstall mpfr
+
+cd mpfr-3.1.1
+sudo make uninstall
+cd ..
+
+# Uninstall mpir
+
+cd mpir-2.6.0
+sudo make uninstall
+cd ..
+
+# Uninstall flint
+
+cd flint-1.6
+sudo rm /usr/local/lib/libflint.so
+dir=$(pwd)
+cd /usr/local/include
+sudo rm d_mat.h flint.h F_mpn_mul-tuning.h fmpz.h F_mpz.h F_mpz_LLL.h F_mpz_mat.h F_mpzmod_mat.h F_mpz_mod_poly.h fmpz_montgomery.h F_mpz_mpoly.h fmpz_poly.h F_mpz_poly.h F_zmod_mat.h long_extras.h longlong.h longlong_wrapper.h memory-manager.h mpfr_mat.h mpn_extras.h mpq_mat.h mpz_extras.h mpz_mat.h mpz_poly.h mpz_poly-tuning.h NTL-interface.h packed_vec.h profiler.h profiler-main.h test-support.h theta.h ZmodF.h ZmodF_mul.h ZmodF_mul-tuning.h ZmodF_poly.h zmod_mat.h zmod_poly.h
+cd $dir
+sudo rm -rf /usr/local/include/zn_poly/src
+cd ..
+
+sudo ldconfig

From deb018321ae468f15b7736be1a2e64b0154c637e Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Fri, 1 Aug 2014 23:42:28 +0200
Subject: [PATCH 16/22] readme: fix typo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 14cc10a..39e62a7 100644
--- a/README.md
+++ b/README.md
@@ -69,7 +69,7 @@ will remove the library from <code>/usr/local/lib</code>.
 
 If you used <code>./scripts/install-dependencies</code>, you can uninstall them using
 
-   $ ./scripts/uninstall-dependencies
+    $ ./scripts/uninstall-dependencies
 
 This will basically call <code>sudo make uninstall</code> for each of GMP, MPFR and MPIR and undo the commands executed for the installation of Flint.
 

From 7a10c6f2c006967a1f30cd249bce698e01c2d5dc Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Sat, 2 Aug 2014 03:46:30 +0200
Subject: [PATCH 17/22] Move and update version

---
 VERSION     | 1 +
 src/VERSION | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 VERSION
 delete mode 100644 src/VERSION

diff --git a/VERSION b/VERSION
new file mode 100644
index 0000000..7dea76e
--- /dev/null
+++ b/VERSION
@@ -0,0 +1 @@
+1.0.1
diff --git a/src/VERSION b/src/VERSION
deleted file mode 100644
index 3eefcb9..0000000
--- a/src/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-1.0.0

From 388eb5a7fb0927c8d9a1b7f57062d10a4ee2b0d8 Mon Sep 17 00:00:00 2001
From: Bogdan <bogdan.kulinich@gmail.com>
Date: Sat, 2 Aug 2014 03:47:11 +0200
Subject: [PATCH 18/22] Add license file

---
 LICENSE | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 LICENSE

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..646f651
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,9 @@
+The source code is published under a MIT license:
+
+Copyright (c) 2011, 2014
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

From 20228f5a9ad98868869e6489f09bede55888287d Mon Sep 17 00:00:00 2001
From: Harry Cutts <eternal.linux@gmail.com>
Date: Sat, 2 Aug 2014 14:27:13 +0200
Subject: [PATCH 19/22] Terminate dependency scripts on error (`set -e`)

---
 scripts/install-dependencies.sh   | 2 ++
 scripts/uninstall-dependencies.sh | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/scripts/install-dependencies.sh b/scripts/install-dependencies.sh
index fb60028..70d4235 100755
--- a/scripts/install-dependencies.sh
+++ b/scripts/install-dependencies.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 #
 # Download and build dependencies
 #
diff --git a/scripts/uninstall-dependencies.sh b/scripts/uninstall-dependencies.sh
index 1ad499c..c65e2a9 100755
--- a/scripts/uninstall-dependencies.sh
+++ b/scripts/uninstall-dependencies.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 #
 # Download and build dependencies
 #

From a6cb3ba940cba3ef4bfaba8c891616b4b0f3d0c8 Mon Sep 17 00:00:00 2001
From: Harry Cutts <eternal.linux@gmail.com>
Date: Sat, 2 Aug 2014 15:05:57 +0200
Subject: [PATCH 20/22] Run ./configure before building mprf

---
 scripts/install-dependencies.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/install-dependencies.sh b/scripts/install-dependencies.sh
index 70d4235..f73b7a3 100755
--- a/scripts/install-dependencies.sh
+++ b/scripts/install-dependencies.sh
@@ -49,6 +49,7 @@ if [ ! -d "mpfr-3.1.1" ]; then
 fi
 
 cd mpfr-3.1.1
+./configure
 make
 make check
 sudo make install

From b301bac503110064ef38eb4ea870b5e29ca4e71c Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Tue, 30 Sep 2014 22:04:31 +0200
Subject: [PATCH 21/22] gitignore: add KDevelop

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index fa655eb..bd1c0e2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,3 +63,7 @@ $RECYCLE.BIN/
 Session.vim
 .netrwhist
 *~
+
+### KDevelop4 ###
+*.kdev4
+.kdev4/

From 26af65d3213eb7206d3a76b5480e2cfe67551b6c Mon Sep 17 00:00:00 2001
From: blipp <mail@benjaminlipp.de>
Date: Mon, 20 Oct 2014 00:33:50 +0200
Subject: [PATCH 22/22] extend installation instructions

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 39e62a7..bf3f393 100644
--- a/README.md
+++ b/README.md
@@ -7,6 +7,8 @@ The library presented here is beta software and should not be used for any missi
 
 # Installation and usage
 
+First, clone this repository on your machine: <code>git clone https://github.com/blindstore/libScarab.git</code>.
+
 ## Prerequisites
 
 The library depends on the following libraries:
@@ -27,6 +29,10 @@ The library depends on the following libraries:
 * Install <code>mpir</code> from AUR. Install version 2.6.0 and pay attention to the comment made by Fincer on 2014-06-20 18:32.
 * Install Flint manually: Execute the according part at the bottom of <code>./scripts/install-dependencies.sh</code>, but before create <code>/etc/ld.so.conf.d/locallib.conf</code> with just one line of content: <code>/usr/local/lib</code>.
 
+### For Mac OS
+
+* You can install <code>lzip gmp</code> with <code>brew</code>
+* Install the other dependencies using <code>./scripts/install-dependencies.sh</code> 
 
 ## Build