From 90909e7c171f583e400255e2540faad768142208 Mon Sep 17 00:00:00 2001
From: Martin Sumner <martin.sumner@adaptip.co.uk>
Date: Mon, 22 Jul 2019 12:16:03 +0100
Subject: [PATCH] Delete current_counterexample.eqc

---
 current_counterexample.eqc | Bin 1680 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 current_counterexample.eqc

diff --git a/current_counterexample.eqc b/current_counterexample.eqc
deleted file mode 100644
index aafab95ece01758cee7f887e999924a2b1ca84bd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 1680
zcmZq9VPIfj%wS4kU@lHA1aUY(9M;_Yl+>IQ2Hu?1vecZ^l&s|V)WYNpX0Wmnu=29R
zqD00FmJ|k-<is2dr6~+NnR%Hd@kxov*{OLcAcKLLS@YwIvdcgmHjo*dMfv$9@db$`
z888!p=BH#9f#q`Y)8oOm1GS|V73G6Pxsnr;Gg9M=GpkY)xj@RqauX}!3sUovGjnoM
zi@>sANez%BKS(kwzqBYXF$W}?#K7RE0Fn?&&d)6<N-ZwV%+HI@O)bgDPf1~5%S$ZD
zEKAJ-`LVPl3&XQacs$EhT9A@hlA4pB2=*#C44J_plneAMmk&_fsT3FzB_OT<5TgK~
zAS1)ddueYQo<uHq?Oe3s(1O~z<q7jE=RcWz=^<Csu4Iq!pFughnLEmqZV2g~+$6B&
z`1Rw`+sfbC6`Zf^XTIkXKIPSfoD|l>8a#0viu@bxnjgJR?h)Lkx7GS^o!5zjpG>!3
z@0>fMG2g~+*2A|GEVtfm-mbG+^39}{+kVT>e{`GiW1h^Bqy;YbY@L-3oUaLazu9T0
z*RrPF<}Px|mcO}HJQlMyJ$^QwPyBI?Lwi$jLmSKfdyeXbEGavuKfdc!##&aX?vy;I
zyK;5>0fE(yhxZ?AJ8-Hq*Q%nucU#Um#ZD_l@AJo(Jz9BuVsY$S_Hg-%y|c5^kM}oQ
zpG}w))6CQ=cxmT{YoI{zH)R9{jBYbHxqu>yH77MQClQ#=fNZv;)S{Bi)I=sQCp|U4
zC_OciISZ%(sELu0aij+zFd+DmlNDns128Q^vRoEsa%RSpoLRDg*$EU0kdgtMkTFeQ
z!DGU(%l)i)Jj+sCl3#!tTr8Nu#fHa(VHaHNcs$DvDt!}^OF$t8&dlJFk}Z)TD=P~C
D{RLI*