From 89cee183e7ab4cbd02617d9b4723cb9938be0b51 Mon Sep 17 00:00:00 2001
From: mavridou <mavridou@sysadmin-Latitude-E6420.(none)>
Date: Fri, 10 Jan 2014 16:12:44 +0100
Subject: [PATCH] Printouts in BDDFactory hidden
---
JavaBDD/NQueens.class | Bin 4597 -> 4597 bytes
JavaBDD/RubiksCube.class | Bin 8445 -> 8441 bytes
JavaBDD/net/sf/javabdd/BDD$1.class | Bin 1625 -> 1629 bytes
JavaBDD/net/sf/javabdd/BDD$BDDIterator.class | Bin 5537 -> 5541 bytes
JavaBDD/net/sf/javabdd/BDD$BDDToString.class | Bin 1145 -> 1141 bytes
JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class | Bin 2000 -> 2000 bytes
JavaBDD/net/sf/javabdd/BDD.class | Bin 13218 -> 13222 bytes
JavaBDD/net/sf/javabdd/BDDBitVector.class | Bin 7840 -> 7840 bytes
JavaBDD/net/sf/javabdd/BDDDomain.class | Bin 8290 -> 8294 bytes
JavaBDD/net/sf/javabdd/BDDException.class | Bin 504 -> 504 bytes
JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class | Bin 723 -> 723 bytes
.../sf/javabdd/BDDFactory$CacheStats.class | Bin 2031 -> 2031 bytes
.../net/sf/javabdd/BDDFactory$GCStats.class | Bin 1099 -> 1099 bytes
.../net/sf/javabdd/BDDFactory$LoadHash.class | Bin 463 -> 463 bytes
.../sf/javabdd/BDDFactory$ReorderMethod.class | Bin 755 -> 755 bytes
.../sf/javabdd/BDDFactory$ReorderStats.class | Bin 1150 -> 1150 bytes
JavaBDD/net/sf/javabdd/BDDFactory.class | Bin 25742 -> 25624 bytes
JavaBDD/net/sf/javabdd/BDDFactory.java | 6 +++---
JavaBDD/net/sf/javabdd/BDDPairing.class | Bin 1501 -> 1501 bytes
.../sf/javabdd/BuDDyFactory$BuDDyBDD.class | Bin 7771 -> 7771 bytes
.../BuDDyFactory$BuDDyBDDBitVector.class | Bin 717 -> 717 bytes
.../javabdd/BuDDyFactory$BuDDyBDDDomain.class | Bin 787 -> 787 bytes
.../BuDDyFactory$BuDDyBDDPairing.class | Bin 2037 -> 2037 bytes
...Factory$BuDDyBDDPairingWithFinalizer.class | Bin 763 -> 763 bytes
.../BuDDyFactory$BuDDyBDDWithFinalizer.class | Bin 1203 -> 1203 bytes
...DDyFactory$BuDDyFactoryWithFinalizer.class | Bin 630 -> 630 bytes
JavaBDD/net/sf/javabdd/BuDDyFactory.class | Bin 13601 -> 13601 bytes
.../net/sf/javabdd/CALFactory$CALBDD.class | Bin 6385 -> 6385 bytes
.../javabdd/CALFactory$CALBDDBitVector.class | Bin 697 -> 697 bytes
.../sf/javabdd/CALFactory$CALBDDDomain.class | Bin 775 -> 775 bytes
.../sf/javabdd/CALFactory$CALBDDPairing.class | Bin 1218 -> 1218 bytes
JavaBDD/net/sf/javabdd/CALFactory.class | Bin 8400 -> 8400 bytes
.../net/sf/javabdd/CUDDFactory$CUDDBDD.class | Bin 6549 -> 6549 bytes
.../CUDDFactory$CUDDBDDBitVector.class | Bin 707 -> 707 bytes
.../javabdd/CUDDFactory$CUDDBDDDomain.class | Bin 785 -> 785 bytes
.../javabdd/CUDDFactory$CUDDBDDPairing.class | Bin 1234 -> 1234 bytes
JavaBDD/net/sf/javabdd/CUDDFactory.class | Bin 10192 -> 10192 bytes
.../sf/javabdd/FindBestOrder$TryThread.class | Bin 3879 -> 3877 bytes
JavaBDD/net/sf/javabdd/FindBestOrder.class | Bin 5140 -> 5136 bytes
JavaBDD/net/sf/javabdd/JDDFactory$bdd.class | Bin 7743 -> 7743 bytes
.../sf/javabdd/JDDFactory$bddBitVector.class | Bin 766 -> 766 bytes
.../net/sf/javabdd/JDDFactory$bddDomain.class | Bin 858 -> 858 bytes
.../sf/javabdd/JDDFactory$bddPairing.class | Bin 2820 -> 2820 bytes
JavaBDD/net/sf/javabdd/JDDFactory.class | Bin 8479 -> 8478 bytes
JavaBDD/net/sf/javabdd/JFactory$1.class | Bin 829 -> 829 bytes
.../net/sf/javabdd/JFactory$BddCache.class | Bin 1180 -> 1184 bytes
.../sf/javabdd/JFactory$BddCacheData.class | Bin 578 -> 578 bytes
.../sf/javabdd/JFactory$BddCacheDataD.class | Bin 837 -> 837 bytes
.../sf/javabdd/JFactory$BddCacheDataI.class | Bin 832 -> 832 bytes
JavaBDD/net/sf/javabdd/JFactory$BddTree.class | Bin 516 -> 516 bytes
.../javabdd/JFactory$JavaBDDException.class | Bin 567 -> 567 bytes
.../net/sf/javabdd/JFactory$LoadHash.class | Bin 432 -> 432 bytes
.../javabdd/JFactory$ReorderException.class | Bin 570 -> 570 bytes
JavaBDD/net/sf/javabdd/JFactory$bdd.class | Bin 7220 -> 7220 bytes
.../net/sf/javabdd/JFactory$bddDomain.class | Bin 689 -> 689 bytes
JavaBDD/net/sf/javabdd/JFactory$bddPair.class | Bin 1921 -> 1921 bytes
.../javabdd/JFactory$bddWithFinalizer.class | Bin 694 -> 694 bytes
JavaBDD/net/sf/javabdd/JFactory$bvec.class | Bin 598 -> 598 bytes
JavaBDD/net/sf/javabdd/JFactory$imatrix.class | Bin 405 -> 405 bytes
.../net/sf/javabdd/JFactory$levelData.class | Bin 442 -> 442 bytes
.../net/sf/javabdd/JFactory$sizePair.class | Bin 493 -> 493 bytes
JavaBDD/net/sf/javabdd/JFactory.class | Bin 92425 -> 92245 bytes
JavaBDD/net/sf/javabdd/MicroFactory$1.class | Bin 929 -> 929 bytes
JavaBDD/net/sf/javabdd/MicroFactory$2.class | Bin 865 -> 865 bytes
.../net/sf/javabdd/MicroFactory$BddTree.class | Bin 532 -> 532 bytes
.../MicroFactory$JavaBDDException.class | Bin 583 -> 583 bytes
.../sf/javabdd/MicroFactory$LoadHash.class | Bin 448 -> 448 bytes
.../net/sf/javabdd/MicroFactory$OpCache.class | Bin 3858 -> 3850 bytes
.../sf/javabdd/MicroFactory$OpCache1.class | Bin 2304 -> 2304 bytes
.../javabdd/MicroFactory$OpCache1Entry.class | Bin 534 -> 534 bytes
.../sf/javabdd/MicroFactory$OpCache2.class | Bin 3138 -> 3138 bytes
.../javabdd/MicroFactory$OpCache2Entry.class | Bin 546 -> 546 bytes
.../sf/javabdd/MicroFactory$OpCache3.class | Bin 2464 -> 2464 bytes
.../javabdd/MicroFactory$OpCache3Entry.class | Bin 558 -> 558 bytes
.../sf/javabdd/MicroFactory$OpCache4.class | Bin 2574 -> 2574 bytes
.../javabdd/MicroFactory$OpCache4Entry.class | Bin 570 -> 570 bytes
.../sf/javabdd/MicroFactory$OpCacheD.class | Bin 2293 -> 2293 bytes
.../javabdd/MicroFactory$OpCacheDEntry.class | Bin 538 -> 538 bytes
.../sf/javabdd/MicroFactory$PairOfInts.class | Bin 899 -> 899 bytes
.../sf/javabdd/MicroFactory$QuadOfInts.class | Bin 1016 -> 1016 bytes
.../javabdd/MicroFactory$TripleOfInts.class | Bin 965 -> 965 bytes
JavaBDD/net/sf/javabdd/MicroFactory$bdd.class | Bin 7598 -> 7598 bytes
.../sf/javabdd/MicroFactory$bddDomain.class | Bin 713 -> 713 bytes
.../net/sf/javabdd/MicroFactory$bddPair.class | Bin 1140 -> 1140 bytes
.../MicroFactory$bddWithFinalizer.class | Bin 722 -> 722 bytes
.../net/sf/javabdd/MicroFactory$bvec.class | Bin 622 -> 622 bytes
.../net/sf/javabdd/MicroFactory$imatrix.class | Bin 421 -> 421 bytes
.../sf/javabdd/MicroFactory$levelData.class | Bin 458 -> 458 bytes
.../sf/javabdd/MicroFactory$sizePair.class | Bin 517 -> 517 bytes
JavaBDD/net/sf/javabdd/MicroFactory.class | Bin 96755 -> 96533 bytes
.../sf/javabdd/TestBDDFactory$TestBDD.class | Bin 9475 -> 9475 bytes
.../TestBDDFactory$TestBDDBitVector.class | Bin 665 -> 665 bytes
.../TestBDDFactory$TestBDDDomain.class | Bin 906 -> 906 bytes
.../TestBDDFactory$TestBDDPairing.class | Bin 1016 -> 1016 bytes
JavaBDD/net/sf/javabdd/TestBDDFactory.class | Bin 11327 -> 11327 bytes
.../sf/javabdd/TryVarOrder$BDDOperation.class | Bin 3043 -> 3043 bytes
.../sf/javabdd/TryVarOrder$TryThread.class | Bin 1682 -> 1682 bytes
JavaBDD/net/sf/javabdd/TryVarOrder.class | Bin 9928 -> 9937 bytes
.../net/sf/javabdd/TypedBDDFactory$1.class | Bin 801 -> 801 bytes
.../sf/javabdd/TypedBDDFactory$TypedBDD.class | Bin 14006 -> 14006 bytes
.../TypedBDDFactory$TypedBDDDomain.class | Bin 2427 -> 2427 bytes
.../TypedBDDFactory$TypedBDDPairing.class | Bin 1845 -> 1845 bytes
JavaBDD/net/sf/javabdd/TypedBDDFactory.class | Bin 10142 -> 10142 bytes
JavaBDD_tests/bdd/BDDTestCase.class | Bin 0 -> 3409 bytes
JavaBDD_tests/bdd/BasicTests.class | Bin 0 -> 13440 bytes
JavaBDD_tests/bdd/CallbackTests.class | Bin 0 -> 4640 bytes
JavaBDD_tests/bdd/IteratorTests.class | Bin 0 -> 3572 bytes
.../highlevel/NQueensTest$NQueens.class | Bin 0 -> 3026 bytes
JavaBDD_tests/highlevel/NQueensTest.class | Bin 0 -> 1797 bytes
JavaBDD_tests/regression/R1.class | Bin 0 -> 1599 bytes
JavaBDD_tests/regression/R2.class | Bin 0 -> 1252 bytes
JavaBDD_tests/regression/R3.class | Bin 0 -> 1919 bytes
.../TraceDriver$TracedBDDOperation.class | Bin 0 -> 8164 bytes
.../TraceDriver$TracedCheckOperation.class | Bin 0 -> 1882 bytes
.../TraceDriver$TracedDebugOperation.class | Bin 0 -> 1059 bytes
.../trace/TraceDriver$TracedOperation.class | Bin 0 -> 740 bytes
.../TraceDriver$TracedPrintOperation.class | Bin 0 -> 1513 bytes
.../TraceDriver$TracedSaveOperation.class | Bin 0 -> 1638 bytes
.../trace/TraceDriver$TracedVariable.class | Bin 0 -> 999 bytes
JavaBDD_tests/trace/TraceDriver.class | Bin 0 -> 17003 bytes
JavaBDD_tests/trace/TraceSuite.class | Bin 0 -> 3979 bytes
121 files changed, 3 insertions(+), 3 deletions(-)
create mode 100644 JavaBDD_tests/bdd/BDDTestCase.class
create mode 100644 JavaBDD_tests/bdd/BasicTests.class
create mode 100644 JavaBDD_tests/bdd/CallbackTests.class
create mode 100644 JavaBDD_tests/bdd/IteratorTests.class
create mode 100644 JavaBDD_tests/highlevel/NQueensTest$NQueens.class
create mode 100644 JavaBDD_tests/highlevel/NQueensTest.class
create mode 100644 JavaBDD_tests/regression/R1.class
create mode 100644 JavaBDD_tests/regression/R2.class
create mode 100644 JavaBDD_tests/regression/R3.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class
create mode 100644 JavaBDD_tests/trace/TraceDriver$TracedVariable.class
create mode 100644 JavaBDD_tests/trace/TraceDriver.class
create mode 100644 JavaBDD_tests/trace/TraceSuite.class
diff --git a/JavaBDD/NQueens.class b/JavaBDD/NQueens.class
index d48679cae7b0c68a695fb2df2d6d6874c77d85d7..df8b68ba3b7ca8a5f0f099d972cb1334201a0d01 100644
GIT binary patch
delta 17
ZcmeyW{8gFb)W2Q(7#J9gH*&lc1OQ7-2V(#L
delta 17
ZcmeyW{8gFb)W2Q(7#J9gHgdcb1OQ7&2VwvK
diff --git a/JavaBDD/RubiksCube.class b/JavaBDD/RubiksCube.class
index ec626d5468ce66dee69a7ca27eeb742ec6a63044..ab9973a98c612d83356aed71b694dd60a7bab2f0 100644
GIT binary patch
delta 62
zcmezC_|uW&)W2Q(7#J9gH*&1xQP*Q&WB>s!w#^K@0&JTZ_%|{zFfcI)GB7Z3F)%SO
QFi0@4Fi38`!=oqy0Q;j1H2?qr
delta 66
zcmezA_}7u+)W2Q(7#J9gHgc@w(KcdWWB>s!w#^K@0&JTZ_%|{zFfcI)GB7akF)%YQ
UFi0@4Fi0|RGKg-z!J{Yw04JmjTL1t6
diff --git a/JavaBDD/net/sf/javabdd/BDD$1.class b/JavaBDD/net/sf/javabdd/BDD$1.class
index 18123a94919abbda62c971b88680ff58a95b904d..2be0dc5cd3394fe3604017b450d7c85720b53bbc 100644
GIT binary patch
delta 48
zcmcb~bC-wX)W2Q(7#J9gH*&0GVJw=wiN#u2ih+%Rf%yvqJM&itN#<`1a?Ia1|6z$`
F1OSRg4+{VQ
delta 43
zcmcc1bCZYT)W2Q(7#J9gHgc?FVa%JniN%^<jDeMbf%yvqJM&itN#<{xSYsIhLO~4a
diff --git a/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class b/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class
index e1ca74fdae94075c0938be09625a31fdf5c28ae6..66219e35612cbc7eb8e2aac13a6c490715baf712 100644
GIT binary patch
delta 44
zcmZ3ey;Pgy)W2Q(7#J9gH*#nSGA^8KB<RAg#=yzIz+BG2&RoI3!(6$!QBZ*e04R0}
A@&Et;
delta 40
wcmZ3gy-=Iu)W2Q(7#J9gHgaeRGR~cBB<RAe#K6J8z+BG2&Rns%RZxKi0021(U;qFB
diff --git a/JavaBDD/net/sf/javabdd/BDD$BDDToString.class b/JavaBDD/net/sf/javabdd/BDD$BDDToString.class
index 2989c9ec349ead973fda5a99de7c088f04d064cf..a5e88d00d3697659312d500118a853fc9ac66957 100644
GIT binary patch
delta 36
scmey#@s)$))W2Q(7#J9gH*%;lGip!PW0qlOV_;-pU_HM%lv#xl0Nct5c>n+a
delta 40
wcmey$@soq&)W2Q(7#J9gHgc#kGwM&)W0v9OVqjumU_H;k#d>OUAhQZ100QC)S^xk5
diff --git a/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class b/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class
index 7cb3fa3839fcf24485775cd712825e41fa1a1ef5..6271a434f49dd646c17914ad6705765cd6648c77 100644
GIT binary patch
delta 62
zcmcb>e}SLl)W2Q(7#J9gH*&bJGHOlsWtC=UV_;-pV6~rI%sPv)buu5D6~7b%8v_HY
SCxalX7lRn9_vT=>T1Ei>w+)g2
delta 62
zcmcb>e}SLl)W2Q(7#J9gHgdSIGU`qCWtHaUVqjumV6|u9WHq0h&pL~-aWWU16}K1z
SD+2?oCxalX*XCfhT1Ei%RSjqW
diff --git a/JavaBDD/net/sf/javabdd/BDD.class b/JavaBDD/net/sf/javabdd/BDD.class
index 10872c173e81d9fcfec1882355b71df2aedc4d10..c41a8a40d29e42ef6a068878f3bc76796908eeff 100644
GIT binary patch
delta 142
zcmZ3KzAT;N)W2Q(7#J9gH*$zbF^Wx=l`3O)Vi1@-O-ga{ZYi0~x1|zU7^h6OmH))t
z#Go+QNWqZVn`z?YB!%USoSV56h1eN+Cd+D6GaE7ROrEWwy7-6&6XU+gN41VKXE8`k
z?$@?u&SvG=d|LYi6JyHeDSDF`nLjbuOx7}3%FM#Ldh$5~S!Ns7t(#vN>|g=_QdBIr
delta 163
zcmZ3Mz9^mJ)W2Q(7#J9gHgbqaG0IJrl`3QQVi1}<O-fPOfJu_Um`R?&oJo<vl1Yid
zj!A{VgGrUak4cRolu4Z-fk}DuC8;D9#tD;6<v%gkG00EWQZSqxuds}fXEU3k5Idv5
zWJ!%`W-|uf$<sAdnLSxnZQiZH$i%p7@?Ndu%xMggliRgzH=ocx&cqnAd4k?#M&?%x
TR+H5XmQFrzAhY?s!FDD9*aIx1
diff --git a/JavaBDD/net/sf/javabdd/BDDBitVector.class b/JavaBDD/net/sf/javabdd/BDDBitVector.class
index 09bb60005f81293c7716fac52a960cb5d09bb31e..b8621fcce4e39df57dc091fcc619ab1fca999a7b 100644
GIT binary patch
delta 29
lcmZ2ryTDf9)W2Q(7#J9g8E&vMFflSnPcGz?-l$zF2LPEH2+{xm
delta 29
lcmZ2ryTDf9)W2Q(7#J9g7;dmLFflSnPcGz?-l$zF2LPE02+;rl
diff --git a/JavaBDD/net/sf/javabdd/BDDDomain.class b/JavaBDD/net/sf/javabdd/BDDDomain.class
index 166204069ff06ececc89fbfdd3dba97c58feea96..a3c2c1dba030498182a62310935eb676d5eafed6 100644
GIT binary patch
delta 52
zcmaFl@XSHr)W2Q(7#J9g8J*Y}m>3x(CMWVrY}7a>$#`t?cgfexK@1|3pGs*mS2A*J
J=9La*1pwCY5Iq0@
delta 48
zcmaFn@W?^n)W2Q(7#J9g7@gP|m>3x(CMWVrY}7a>$#`h;cgfexehk8spGs+N7LpEO
F1pt^n53&FN
diff --git a/JavaBDD/net/sf/javabdd/BDDException.class b/JavaBDD/net/sf/javabdd/BDDException.class
index 533cbb4c2784d34b662401a34b118997e436ed2a..48e1411f5644ffeb0e87a49ae634a7f4b98387c7 100644
GIT binary patch
delta 17
Zcmeyt{DYa})W2Q(7#J9gH*$Pn1OP|l2OIzZ
delta 17
Zcmeyt{DYa})W2Q(7#J9gHgbGm1OP|g2O9tY
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class b/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class
index 34bf5e8afe5eb065dcf32f0921bb593ff791eec2..8e01d7f8287aba7071f194fd2782cc3b62d75c1d 100644
GIT binary patch
delta 17
Zcmcc2dYP5u)W2Q(7#J9gH*%b20suoc2C@JE
delta 17
Zcmcc2dYP5u)W2Q(7#J9gHgcS10suoX2C)DD
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class
index 7d55ce5773dba85b005766c2fbc3e1f05fbb9aa0..543b90269af3fa3f1bb286c4654cd7d5055b39ed 100644
GIT binary patch
delta 17
ZcmaFQ|DK=Y)W2Q(7#J9gH*!2@2LMPP2Oj_c
delta 17
ZcmaFQ|DK=Y)W2Q(7#J9gHgY^?2LMPK2Oa<b
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class
index 0df1e0e28d36da2b9a9c6e0339752d1ed133768f..4f65ef212bf2a95ef9a0934b0a1d7667399f719c 100644
GIT binary patch
delta 17
ZcmX@jahikU)W2Q(7#J9gH*z?$002RP1|k3e
delta 17
ZcmX@jahikU)W2Q(7#J9gHgY(#002RK1|a|d
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class
index 1de4be8ed898aa6618e55d1f1d5cca1cd6bbc055..2cb21078cf3973be6a00c79ce69758b2eeeaca40 100644
GIT binary patch
delta 28
kcmX@le4bh0)W2Q(7#J9g8Kl@5m>3z9CSFw9Xf&4*0EjsVa{vGU
delta 28
kcmX@le4bh0)W2Q(7#J9g7^K)4m>3z9CSFw9Xf&4*0Ej6FasU7T
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class
index b591654fcdd4b16dc2f68a350c3348f562c42064..86a7cf0287ae82cf080bc50565eb435efd45af0e 100644
GIT binary patch
delta 28
kcmey&`k7VW)W2Q(7#J9g8I;%=m>3z<Cw^4lXugLD0Fn3!761SM
delta 28
kcmey&`k7VW)W2Q(7#J9g7?ju<m>3z<Cw^4lXugLD0Fmek6#xJL
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class
index d333bb9a368b70ecc5cf55a24082ccb2653355f0..fe3da4cbf3e5c48e15e84799057d39c9d4f91c91 100644
GIT binary patch
delta 17
Zcmeyz@sES!)W2Q(7#J9gH*%D*002lx2D<<N
delta 17
Zcmeyz@sES!)W2Q(7#J9gHgc4)002ls2D$(M
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory.class b/JavaBDD/net/sf/javabdd/BDDFactory.class
index 08ccdf944436194e5e30d301d6393e20c4187b09..f1c93d890ad4e7a35c59433e0d71ee432b92f678 100644
GIT binary patch
delta 2054
zcmeA>$vEQ#qrj<uyY?|KFc>o*WM^PvWRRRJ$RfE>Gf8CfP7&M56GYS|e-ZI!V`mIw
zXS}-EUi1Jn_bo;hE=DsZdmhHyo4F+81SZ#Ny7EQwFqJZ<a54%q$M7)6PQIWi&KA$Z
zoWPto`K_j$Xfh9T3R5>D14~I}ZYoGo8V_^&WCblTwoD%8Ear&GHd>OC8@04p@_CpG
zCa>2rWGtEdP)km;jFEvwp(I~{i{S@z1rKv2V+tb!PkL&JZ+=Q<T4ridF&A?+b1ge_
z&14O2dBZy9dPWA0%;JF3q@2uTMg|rQPt7Qh)<z!YCPr6A2A<4f$K>SH;^NGtoKz0x
zmdO>`%3{^bZ9L5FP_4lwi6xoI9L$}QH)`vtbn`IxFv>A92&Si&xTGfMBo<}nr90;&
z78i3dJYnwRVeV(1Fqv6LhjG$m109QqDLl+m8D=mtFej#@Ffwo^C+6fNB_?MVvop_N
zWDt(_$x19s)Xz!GOV{^L%1TWxvF2j<!7z=R(U5sI5Az%bZAJ#RqSV~{vQ$O}rsO1$
z!{_rbFJN9c`GAft<KoHhbd))lGB0OmUdG6vH2JQs5;G6;iplo665PwV7@3(@^DwVr
zUOPES*U(};BZCyevY^sDP_VmJB&QaXWaj6wGjC*M;77>278T_eflOGw`LymYM#l8b
z$Mi)QnY|c<Cf_yi*sN(7%*pwJfrUYcfq`+>=2ojojLcT7jFS~?PSsCg(qNp<q{UFq
zz`*c=K^&xjQGrpBfdR}q&$yI<k%5n~hw%b~3Ih{^IAb&8MFtfHW(G|LLB=HvDhw<P
z_KeYtml(qsSQwlbBpEL=s4%cH<TGkBUSYh-z{*g>pbHjbV_3uRj`13U3IiL%dWP4G
z*BLz-*cmplFzjQzJUQ1^Ht+_63IjL8U4|~kn+z%pJPa=w>KSh_dNS}bd}b(Nyv^vz
zz{e=c5X5+g(UXCnQJcYr@h*c3g8-vGg9YO~1{DTD#&QN_#`}z(3>=JA4C0KJC*QV}
z(|Ewh|BFHRF9SC_<3mQ}zYNmsjAo4g8GIP{*%=tw8K*KbvNJwlXM8wW(N0kg#9#y|
zU|{&qAjH6hrX;~`8RPlM?DiMsL0)5IU|<M<1`7j207C;fSd<xb8ShU1Zoi08V)HBq
zRwl+fn-@6UW@Nm+xyI!;3llT*=1R{7M(Jq`stgP)e;8O<{xNW{GBWV6vM>m<vNFi9
zvP~B7-pzP<^BHe8CdSK?FZ-Thyu5jVpCY5AG6Nff00RS)i`F*AW;?BIOy|v5L|OJS
zKG=NA-<FB_6NAlUsUSn<MAnsyy@Hq+A58WRQDl5DIX6U|@xkP&A=W$(*cqQPGO{x>
zvok)}d?!Q~<T$QyGgiiJlO1EM_{A7l85r0WGO)8PV&Gw0Jh?5Vs@{}=fq@B>6gGkx
zWef}qYz&MH3~Xz_2}TSe$sESC8I)ic7#WoqWI*!F;mi>Xj0`#q3=F>+SQ(fZ7#KpN
zXEKQDXl-MT+{zrSvx7NqD|6Cv25}HeXA5&u>Q?3?sBEg%7G}5O3_M!WJUZK$GnO;R
zXn{l~$HvI1>oIUMFtDv>U}4+9z{9qYL6~h5gBaUp1|_yF3|eg47!29AGnljOnEX6e
zp7G9P_PC(>EVxUSF|abQFfcF}ve?PaW6&kuJs{6BGk`p=#=yzIz_yQpiETdv8`}W}
zF1AAqLTrZ_B-xHI$gmw{&|o{pV8C_?95`BF%R&rc*@?lBIh$!SD0CPM8I>617?>EC
z81$KQ!0D!yfq{XYf$0x}45Kgu3v(`G95nbE7}&tUr=hil+3Pq1x3tU-=Df)P@v6}H
zI?KS$c8-CE?fm41czM}E1{JUc8q7uD{0cIbg@K7*oB>oS?}=CBF5b>?Mrs=qn=o_f
z<QMVgq97fhxP$0mWME=YW6qgulAsw~zJs}H7K5nnHs*#|41Bv8+aiUTo3}F_+ONBf
zxqJt6>nsLso#QZx4yZ(z&NfErZOpxJ9TPzk+N^sSm?N2Wf+JaUgLg7dp1dQ$n{nD?
zmc&5m=~k>dlB~=|%NWFUC0SXFwlU9~$-pDYvXgn%<buRt#%Ys}B&svdWu7tlU7{1?
z^vQ-vqKxw<yC)@NEZWX+Mv{FS)0=G!w?URzaY%A(V_veH!3M%wxtzfW!di8Zc^$}5
zj&01V4lu9V4^p@4AoB)<*aooJCP|i^j82RUv;M1XWMF2{Vwle`pLywI{^Y6J(-_pj
z0sEGDGqXK7)xTxl!femL%)rC&fYFQ5n}LNvn&CLuq34rjMYl3=Fsx=^Wn^XE#=ya_
zl|h%0m3jMQ#uQP$>Ff;5><mBngv27*nU_vhNzu070m@v=JDGPeFfbS~urcT|Ff#9E
u;A9kIU}WCIz{$wNz{tFpfs=6y10(Z31|Eh$21e%n44jOD42;YN7&rlDs`j-2
delta 2324
zcmbPng0b%;qrj<uyY?|KFc>kPWM^PvWRRRJ$RfE>Gf9M<o$&%AgKG5TgN)LX&k1uf
zvonTG?iR6~{6WNXv%Tm6X6`$TDqM_aO!hpCcQ<oM#tDdWGE_51@GwU*9A{);PAw|p
zV&q}CGdV-kRXdJ{sgyB=lTna4frmMfL4}clue3NdC9gC$J}EUVzbKW9p_)0FhdG5g
zb@B~Ox%zY-<_xB8Mh2FW%-mFvwk#gzY>+lyn6|{UlGGwD21e#w9_Bpe7)A!Mq?DBS
zl+?7u(wvg`qSXA1#JrT8)FKY%0!9Xb;F83m5{07F{Gyc9qRhN>4(1|81_9T+6eKY{
z1x5yrf}+&olElfLT8b>?Jj@l7^Rx^ZYbGzylGChXWMEM!$yeZF_`%%3!`#T2!pOjr
zo?7CYpOTrDnOaoL#oWx?%Ff&}`MH+7VH<NhBLhcfaX@KOPG&MA1B-^IW)w(kCl7NM
zqbnl=PiC=Wa&l^Mab{9ZDhG4VWOHq0v1aBz9_D_i*5H!FlFVcd=82OFwDnXb^Ds|g
zlw)KNOiwLwNlng41bM?bC$YGgi{T0LG#=*Z%rhn*($-;|HTk`^MZ_E)=D7?r7#Wxo
zQ&JciIFl1|a*`60vy0i87cepiNBd+YmL=-vB<7{-`zK|kCYM-qG5lbd#?5HRyqJf1
z34=Bx16xsQZhl!RBLh=%63F4pd6-u)ubf=3qszE@@>(5b&b7?z*_qcdGAK=+qpQTs
z!@ObgKOG6~^<0e1%$s?bw=i#=tf*^fv7M1Y3Sn7LX&xv>T`Q7P3raHc^VpepGBWTZ
z<Xwx3@{2$wtl!+F`-_n=dvmM42qUu}gYe`z1|BSoObm*fpBMyla=v3=VGv?qU|g`-
z!D<pC=K;p^R;-K%7%xt~YJIAHI+F(DTqZ4sas~#57YyPcWsC}piVO^3)+NTJ42%qX
zjFT8IGpH~yF^DsEGG1X&VPIy^WDsOr!l1&y!eGys$as}8jDdy0i9wR_8iNW0D?>h`
zA>(z%3k<9bMGU%NF*b%Z3||;;FsLxFF|23!$as^{lYyOKQ$52zurvq5eufnc4Gby_
zoD3%!<}vy*s4#FbTxOWUc#A=Wft%qjLl@(11{DS#h8GO=jCUA48F(2!Gn6piW%Oj=
zV-#fwV!X%b$-vL3&0xcLpFxE|fKi{pg7E=^3WFeHIfEwSLq<;q4#p}5aj<Qi46O_d
z3~da2|0d7171X%M$p4E$_%8!DJL7pq<-ZKl?2KlN{~3H3_}Lj4*%_xYGO{yXWM@1-
z`I@bw9EiaPQoz9QpFxO$3r&fr-7>~YllRzNln42rk%56B02+1-3;|#dGBYSM=rZ1)
zyvBYJqx5Ef2UaG=dz(X@ZZk68+-&Ibn}vz#|7JbU21e#d3@Vd1dWlXx<+Y3P+U8bo
zHYUbvlY4y6Fkagn>8HpjDbK*hAi%)D<f65WvDr>*8`F6+7EzYHj2Aag_P1qXe#c-v
z`EsD)W{#l$jEom2bA%`|UYx8IqRx16a!`mh&qa2|r;Lp3%*^bJ7dOug(FM8Uc$gV0
z<EF{~qOG`v7+4q>*cLLdvn`tJ9#d5x!obA9#K6G7FExvScN25C_BQ6IZ4CD|GB7YO
zGn6qfFz_)jGcd5NWME-i#lXk52ArV8AX=Eim^OnF6azn_5`zo_BRKS#85sE(7?`7(
zV;C42bQl;IJ~Oa_j9>_np2;ApqqU7Wb}Mtd&JO0Jt;}i5l^MiAOr0&vX{lS8)1cCs
zT3eXijx+FRN$YH5&YA2It0u3;z{$YCww{57Z36=j+eQX4w#^JmY+D$#*tRhkvTdI{
zF;<@O-sFw3LG^iXn@=&Yf_%#m$YLiukHJ@ZCWG82h9knv`P&%oL2ZINgh3CRJ2o*K
z+0AewQkc1LJHr{BZA@>rG2BK89W4ef1_ri$3`}hM8Q9nkFmSQeA7l__JH#N(c9=nx
z?I?pG+c5@9w&M%|Y^T6Mrv-5lEH5$yG8Z##W&ow9Kt?47IdE+FGnat#A}BGlGcf&O
zP-WC&U|}w0jDrSg4FelENHw&!Fnb+m;Fgxz!CbbSL0U^|3-jc=adOaDKFh$)c5X6P
zyu55Bg9_LV4dyCveg~P%!ob8Y&HyUl-QpFwtG6?pk=n+@Cd^zrxhURT6r=+bw-6nS
z3``7a%q5fe#cM{_?_h44#UQG?jk#kM1K)1Own$;-?(K|+_UmqAuHV7jJBvYE=QvDa
z0#ss>&NfErZOl{QI%a|-v|0BuFh?@$1V^&y2Jd8^J=rP2n{nRczJx&O`BtntlB~=|
z%NWFUC0SXFwlOc9$-pDYvXgny<X;KFjPoY@C8{$oWnM73BGE~Fz7;D-u@xIg=>dix
zR_v1O+nAS4zL=O$ziK<f8A*0X+<`2$;*jLn#=K@ZgAIhWaXEt#gth4)^EQwr9NU;T
z9bn$JAEa*6LFOF@u^nKsU6L$28J!pzX8l*&$iU2?#W0^?KJ!{Iy^@g;OmAjnW`N|M
z$s3aDwC6FXgTwzV^KNE)aOQc-yocGIfti7a;Q^x;qc;N!gEYf&uzw<xWi9qHa4@W9
zU}a=w-p9bfu$4iVk(GHr0|z*RIWzG5Vc=(HH2lY4!_GXPoq?I1;Rm0PSR_01+R5vZ
zwe1fuFfcGNA7nlRYSJ*UG3YWdG9PB(WE5jyWIn>c$;iXN$b6K6lW_|JBl9r^9)>^$
RM&{!ToQ#4DjLat(I02!ON>Km+
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory.java b/JavaBDD/net/sf/javabdd/BDDFactory.java
index 2dedb50..cd2d704 100644
--- a/JavaBDD/net/sf/javabdd/BDDFactory.java
+++ b/JavaBDD/net/sf/javabdd/BDDFactory.java
@@ -1703,7 +1703,7 @@ public abstract class BDDFactory {
protected static void bdd_default_gbchandler(boolean pre, GCStats s) {
if (!pre) {
- System.err.println(s.toString());
+ //System.err.println(s.toString());
}
}
@@ -1726,13 +1726,13 @@ public abstract class BDDFactory {
int verbose = 1;
if (verbose > 0) {
if (prestate) {
- System.out.println("Start reordering");
+ //System.out.println("Start reordering");
s.usednum_before = getNodeNum();
s.time = System.currentTimeMillis();
} else {
s.time = System.currentTimeMillis() - s.time;
s.usednum_after = getNodeNum();
- System.out.println("End reordering. "+s);
+ //System.out.println("End reordering. "+s);
}
}
}
diff --git a/JavaBDD/net/sf/javabdd/BDDPairing.class b/JavaBDD/net/sf/javabdd/BDDPairing.class
index d04c23dc6cdb8660d3b67d6dfb86529638ee851a..f072f8248873d3b184c3466945e489cbc6f67092 100644
GIT binary patch
delta 28
kcmcc1eV1F{)W2Q(7#J9g8LZeDm>3x(Cr*^ysJVp|0F18)e*gdg
delta 28
kcmcc1eV1F{)W2Q(7#J9g7_8VCm>3x(Cr*^ysJVp|0F0jqegFUf
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class
index c491ab0a79d87db26e583d8791d965283ffd36b0..c7114e830ca8fd8ed874af9e2fbafa7eb64b1e85 100644
GIT binary patch
delta 33
pcmca@bK6GX)W2Q(7#J9g89uW!FflTyOb%p}p6tiTxzR*j4gk!H3Ge^_
delta 33
pcmca@bK6GX)W2Q(7#J9g7(TNzFflTyOb%p}p6tiTxzR*j4gkz{3GV;^
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class
index 5c06c00013b32255d2b215c6f587774550c60f51..48e9b7b0d4aab541ca3b9484fbe9017d786715c6 100644
GIT binary patch
delta 28
kcmX@hdX`n-)W2Q(7#J9g8RXa*m>3y!CvMc;Xgh%k0Ek2gYybcN
delta 28
kcmX@hdX`n-)W2Q(7#J9g806R)m>3y!CvMc;Xgh%k0EjdQYXATM
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class
index 216be83baa57235512e15be17d1657fb181f651f..3fd75071c2e1374e5cb8f3018285a9023ec19535 100644
GIT binary patch
delta 28
kcmbQtHknP})W2Q(7#J9g85GzVm>3zfCLYw<Xmyhb0DT$=OaK4?
delta 28
kcmbQtHknP})W2Q(7#J9g7!=qUm>3zfCLYw<Xmyhb0DTGwO8@`>
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class
index 346ebd440e95b4d74590e081ffa723c72f01b341..7821da803db73d68726c6e22f46cd69bf80a37a5 100644
GIT binary patch
delta 29
lcmey$|CL|h)W2Q(7#J9g8A90^m>3zfCm&?i-e|px9RQu-2}J+^
delta 29
lcmey$|CL|h)W2Q(7#J9g7(&?@m>3zfCm&?i-e|px9RQus2}A$@
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class
index 1dca5a7948711241aeabbf2df423875e88ec67c5..1c8072d7e83da2d28506fc7185e12787e0437f11 100644
GIT binary patch
delta 29
lcmey(`kPhY)W2Q(7#J9g8C2LAm>3x>CO>49-l%<n2>_cW2`B&n
delta 29
lcmey(`kPhY)W2Q(7#J9g7*yC9m>3x>CO>49-l%<n2>_cF2`2ym
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class
index ca0458a64849468b6fcc848a015579ba9edd79aa..ed69bece13dfebdcec0b51d60131ad04b318b66e 100644
GIT binary patch
delta 17
ZcmdnYxtWvW)W2Q(7#J9gH*&0I0RTU623!CD
delta 17
ZcmdnYxtWvW)W2Q(7#J9gHgc?H0RTU123r6C
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class
index 41d3d00a0badeb42f5a3924ba5e8d28b082550dc..7d987bf8d6093acb0953491186ef8c8e20eebd1c 100644
GIT binary patch
delta 17
Zcmeyy@{NV#)W2Q(7#J9gH*(}L0RTq62AKc=
delta 17
Zcmeyy@{NV#)W2Q(7#J9gHge=K0RTq12ABW<
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory.class b/JavaBDD/net/sf/javabdd/BuDDyFactory.class
index 29cc5485ea57d329e9b1e34c366ad2425412abe9..9cb3d38d57b37b2ae5c0821185080e5fd9fe89b5 100644
GIT binary patch
delta 86
zcmZ3OwJ=NI)W2Q(7#J9gnH<;|m>3zPCx2v@-l!ceBgw;H!yv$5#~{jJ&mha-z@W<D
r$Y9Ih%-}S6wv0UgL<T>GX$<}hGZ}&z=CDkid{QQmQG2trESm%XluHxY
delta 86
zcmZ3OwJ=NI)W2Q(7#J9gm>k#{m>3zPCx2v@-l!ceBgxNT!yv$5#~{jJ&mha-z@W<D
r$Y9Ih%-}kCwv0Ug6b3(rX$<}hGZ}&z<}j#FJ}DE(sJB^KmQ4ZxkPQ=Z
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class
index fb09d01e9baf471d4ec18c9290113c9a58467ab2..3a4c51dad1b7299145916a337ecc8dacb019ee06 100644
GIT binary patch
delta 33
pcmexp_|Z_{)W2Q(7#J9g84j>BFflSHOkT(+Ik}F5eWSra2>{U~3fcew
delta 33
pcmexp_|Z_{)W2Q(7#J9g7!I&AFflSHOkT(+Ik}F5eWSra2>{U#3fTYv
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class
index ecfdb2617f26eae3095a9e90403b752bb11daab6..722d15cf603d0fbbfc4b3adb370aa6946bb136c3 100644
GIT binary patch
delta 17
ZcmdnVx|5aT)W2Q(7#J9gH*#!b0sue424nyL
delta 17
ZcmdnVx|5aT)W2Q(7#J9gHgara0sud~24esK
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class
index 8689d34ea270ebaa6039785d3507f9e903ab54ea..6c46d777bc874aea039b4c9746739161342e681a 100644
GIT binary patch
delta 17
YcmZo?YiHv)^>5cc1_lP>jU4}(06IJdPyhe`
delta 17
YcmZo?YiHv)^>5cc1_lPBjU4}(06I4YPXGV_
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class
index d27f290215a8b60dec9eae4f55e0fa895ae262c5..4c743a9e84d2458a8fb0b7283c1862ef70203c76 100644
GIT binary patch
delta 17
ZcmX@ad5Dwa)W2Q(7#J9gH*)M^0RTa628jRw
delta 17
ZcmX@ad5Dwa)W2Q(7#J9gHgfD@0RTa128aLv
diff --git a/JavaBDD/net/sf/javabdd/CALFactory.class b/JavaBDD/net/sf/javabdd/CALFactory.class
index c508848fe9b165626c8bac11a084ba89ea6b9caa..f9c2a6ddf73746a44d1809f6ac6f53002dc77388 100644
GIT binary patch
delta 50
zcmccMc)^k5)W2Q(7#J9gH*zc#kY;BvVc=#kV-R34XOLj9U{GMNWUyqgX0T!I-h4!W
GM*sk25({tu
delta 50
zcmccMc)^k5)W2Q(7#J9gHgYT!kmh1AVc=#kV-R34XOLj9U{GMNWUyqgX0TyU+k8ZT
GM*sj~*$WB)
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class
index 5dc9c40aefb0c8aa662fad039e2861fb01ce5bad..809a0cb2a47e71abf59f8a11b66a9763d9fffcdd 100644
GIT binary patch
delta 29
lcmbPgJk?m>)W2Q(7#J9g8IG|tFflSHO+Lt>w9zP85&)I~2;%?%
delta 29
lcmbPgJk?m>)W2Q(7#J9g7>=<sFflSHO+Lt>w9zP85&)I(2;u+$
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class
index add2ec30fd9a913fe54b056f651135bbc2ee9792..6e517f052688423ac29780bce0a36510e1912202 100644
GIT binary patch
delta 17
ZcmX@idYF~t)W2Q(7#J9gH*)M|0sui427&+p
delta 17
ZcmX@idYF~t)W2Q(7#J9gHgfD{0suh~27v$o
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class
index 3fb4360ef55622e0a4c4099d6b072468ce3e98ed..b9ce67d712c8d3d306685517d7bd1ab5a7e623ef 100644
GIT binary patch
delta 17
ZcmbQpHj$0v)W2Q(7#J9gH*#<?0{}UZ1#bWV
delta 17
ZcmbQpHj$0v)W2Q(7#J9gHga$>0{}UU1#SQU
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class
index 6940ecf49f467d3e065eab86f4a41af529264cb8..f2f8c4997520fae14b4199964b2ba9b9b54448d9 100644
GIT binary patch
delta 17
Zcmcb_d5M$b)W2Q(7#J9gH*%a}0RTge2DtzL
delta 17
Zcmcb_d5M$b)W2Q(7#J9gHgcR|0RTgZ2DktK
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory.class b/JavaBDD/net/sf/javabdd/CUDDFactory.class
index d08b5a3b69312afe82cb0bad8a1bae9e6b2f022c..ce3f8271060a592207d6fe3edb5b2e376bada588 100644
GIT binary patch
delta 62
zcmccMf5Bhi)W2Q(7#J9g8K<%{FflSnO}@x0wNdMZh%`Hc2?IBS8G`_WIfDd)1%m>E
SC4(h{HG>WF*3G)2i-iCn3l4Vx
delta 62
zcmccMf5Bhi)W2Q(7#J9g7^ku`FflSnO}@x0wNdMZh%^_22?IBS8G`_WIfDd)1%m>E
SC4(h{HG>U<+GbtR#X<la$_?iL
diff --git a/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class b/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class
index 5a2b4793e1d097ef89ed197f5a0f5f43c7889fb8..aabe823ff8a2c2916a422cddc649093e9008e11a 100644
GIT binary patch
delta 90
zcmZ23w^WYf)W2Q(7#J9gH*y5?FrJwl!(+~Ez%Yk_i-Cn<F9ZMNc|2N-J2s!>iDgue
uV&MA2Ai>VC;17ccJHy8R4EhYr><o<T40h}c3qbUAZ+3?1E|dNFZU6w1$QPLa
delta 92
zcmZ1~w_J|n)W2Q(7#J9gHgW{>FrJ?r!(+~E%rJ+6i-Cn<FN4tJc|2N-yEdQXiDlG`
wVc_}0Ai>VC;17c!JHtk%{|x#J%<K$|><o773=2T?bZ>Ts>5NX3efe$x0KIt^r2qf`
diff --git a/JavaBDD/net/sf/javabdd/FindBestOrder.class b/JavaBDD/net/sf/javabdd/FindBestOrder.class
index 445df4aa139cd8c218af425c7da6650c91f10a89..521b7e68dc08ece83632d0aefd946cd931327981 100644
GIT binary patch
delta 72
zcmbQDF+qdl)W2Q(7#J9gH*zrX%BeCiGJpUp<7NicjSLJ7ObqG_3=C{wVe!p6yeF9%
XLpFaCxXQ?AKKYDLEu+w6FX2-FJ^Bz~
delta 76
zcmbQBF-3#p)W2Q(7#J9gHgYiWDrqt>GJpUp<7NicjSLJ7ObqG_3=CWhObiSR;tVVd
eqMJ2%Pck!xZ~i23m66eE@(H0@M$yS`!lwXXju3wU
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class b/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class
index 37cda9c77cc841f70dca5cc7e6e4f74dc5086938..4bdfba96a2db41dc23cd4b3afa2b27d8b58e61d7 100644
GIT binary patch
delta 17
ZcmdmQv)_i})W2Q(7#J9gH*%QE0RToE27mwn
delta 17
ZcmdmQv)_i})W2Q(7#J9gHgcHD0RTo927dqm
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class
index 8f6a35aa74f117ed1c438cadb845ce6ccaa93993..0bff17a0167807bba4cd855198d0e5f6002a70eb 100644
GIT binary patch
delta 29
lcmeyz`j1uM)W2Q(7#J9g85GzVm>3z<CO>49+^Bh#2>_bv2^jzY
delta 29
lcmeyz`j1uM)W2Q(7#J9g7!=qUm>3z<CO>49+^Bh#2>_be2^atX
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class
index 6e4d5247414ba142f8a0c364ac8f21d9baa93ff9..9ed78d47673a6e3e66e6fb136813e1c92db1dd92 100644
GIT binary patch
delta 17
Zcmcb`c8iVU)W2Q(7#J9gH*y3q0{}xq21)<`
delta 17
Zcmcb`c8iVU)W2Q(7#J9gHgW_p0{}xl21x(_
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class
index 56d9bb6b42ffdb9e968b87e9c36d12a548343ce5..383d5e3f1068f629ffd2e3428db930353eb4ae7b 100644
GIT binary patch
delta 17
YcmZn>YZ2o(^>5cc1_lP>jU0ct06V@0ZvX%Q
delta 17
YcmZn>YZ2o(^>5cc1_lPBjU0ct06Vz`ZU6uP
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory.class b/JavaBDD/net/sf/javabdd/JDDFactory.class
index a548372bb4f8a00286eaabd32f37c804652a4cd2..a2beebb20348ac0ef1d173fd295673e52f3c4b71 100644
GIT binary patch
delta 56
zcmbR5G|x%k)W2Q(7#J9g870{nm>3x(CmV80Zq(c@%y?<@Q{lsme0&V7eE%4P85tQ_
Ne={U+-Y%NK4FKC<59|N{
delta 57
zcmbQ|G~Y?!)W2Q(7#J9g7$w;mm>3x(CmV80Zq(c@%y@b8Q{lsm{QL}TeE%4P85tQ_
Oe={U7ZQdrD!3_ZEbPw$S
diff --git a/JavaBDD/net/sf/javabdd/JFactory$1.class b/JavaBDD/net/sf/javabdd/JFactory$1.class
index 7ba6a8c80ffa8d17a1e81f1a9928f9514de88bb2..109a9f314491138eb65b7f81ce2e6f3f3f680c1c 100644
GIT binary patch
delta 17
ZcmdnXwwI0L)W2Q(7#J9gH*%OV0{}m11@iy^
delta 17
ZcmdnXwwI0L)W2Q(7#J9gHgcFU0{}l{1@Zs@
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCache.class b/JavaBDD/net/sf/javabdd/JFactory$BddCache.class
index befb604e3b24b4f087b5df6303e92ccf6a372502..e0569ff81f372322cdb5f9e8cd7eeb1bc06e2c87 100644
GIT binary patch
delta 63
zcmbQkxqwsP)W2Q(7#J9g8I0K(m>3xpCSPP!*l3``%y@5dEOVB)9s@T615+Ra2U8G(
T08=o72vZ1y0#oSZTg-<5`@jx&
delta 59
zcmZ3$Ifql=)W2Q(7#J9g7>wB&m>3xpCSPP!*l3``%y?^ZEOVBy76TUp15+Ra2U8G(
P08=o72vf-9d(4Lb$de8B
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class
index d448e3022339583671346a946e12173132cd1c80..f01e60b4322247f0a4d7974fc9c66731fba3bb7c 100644
GIT binary patch
delta 17
ZcmX@aa)^cF)W2Q(7#J9gH*#1p0RTVN1^oa3
delta 17
ZcmX@aa)^cF)W2Q(7#J9gHgZ@o0RTVI1^fU2
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class
index 147a6b546b2504417df56752efdf018a93d464e0..1d5efda56eba5e249406aa3d9e8e5fb174ac5b02 100644
GIT binary patch
delta 17
ZcmX@gc9f0d)W2Q(7#J9gH*(lA0{}pI1`7ZH
delta 17
ZcmX@gc9f0d)W2Q(7#J9gHgec90{}pD1_}TG
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class
index 508f895f7469192543093704f8e3e3e8759300bf..579cdf9ddb6d733dc7b133c580f6b9876d722e99 100644
GIT binary patch
delta 17
ZcmX@Wc7ToJ)W2Q(7#J9gH*#1o0{}nI1^fU2
delta 17
ZcmX@Wc7ToJ)W2Q(7#J9gHgZ@n0{}nD1^WO1
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddTree.class b/JavaBDD/net/sf/javabdd/JFactory$BddTree.class
index abf936dd251b57f45479aedc9746d3e7445999d6..2a45506e02e506f096c91fb0edcbdfe4bfc35c09 100644
GIT binary patch
delta 17
YcmZo+X<^|w^>5cc1_lP>jU0a%0XdllLI3~&
delta 17
YcmZo+X<^|w^>5cc1_lPBjU0a%0XdWgK>z>%
diff --git a/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class b/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class
index f58f3f3c5b2a0c7dbbd530ffc2e7c2d7fa3df96b..a2f6d9ebb2841fffcd66e7f71c65396698123a84 100644
GIT binary patch
delta 17
ZcmdnavYmzF)W2Q(7#J9gH*)AR0RTQ=1>67t
delta 17
ZcmdnavYmzF)W2Q(7#J9gHgf1Q0RTQ*1=|1s
diff --git a/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class
index ac8b7b6d61c01fce4e8ac5ab2076a4a52c828e15..c7f0bb22731f86665a13b78254745d2363aee6c3 100644
GIT binary patch
delta 17
ZcmdnMyn&hH)W2Q(7#J9gH*&0C1OPr$21Eb=
delta 17
ZcmdnMyn&hH)W2Q(7#J9gHgc?B1OPrx215V<
diff --git a/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class b/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class
index 21c300ff68fc733cde7ef3bc6e9f516cb13cacfe..f4dfedfcfce2e9421183364d85f2270fb82ccc85 100644
GIT binary patch
delta 17
ZcmdnRvWtb|)W2Q(7#J9gH*y#;0RTS61?2z$
delta 17
ZcmdnRvWtb|)W2Q(7#J9gHgXs-0RTS11>^t#
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bdd.class b/JavaBDD/net/sf/javabdd/JFactory$bdd.class
index 120bc9b0c8e0b32710c127ae46dbab91e1537353..12a88f2fde0f0fe12cc3a168e4b7283a4e050be0 100644
GIT binary patch
delta 17
ZcmdmDvBiSp)W2Q(7#J9gH*)C6002ZR22}t6
delta 17
ZcmdmDvBiSp)W2Q(7#J9gHgf35002ZM22=n5
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class
index a948ef03d2e23ea46f7fa7d7e20c280a70e7a881..166216eb203dafdf6bb3d0a969dd679d7727cede 100644
GIT binary patch
delta 17
ZcmdnUx{;OR)W2Q(7#J9gH*&0G0sua;2220|
delta 17
ZcmdnUx{;OR)W2Q(7#J9gHgc?F0sua(21@_{
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddPair.class b/JavaBDD/net/sf/javabdd/JFactory$bddPair.class
index e9392f84ad96c2ddc9f6e5af3f51f293fe7fd75f..1cb77d7de1ac4d82b16b3f70d0647476d1bca9bf 100644
GIT binary patch
delta 17
YcmZqVZ{+7V^>5cc1_lP>jU1Ki06BvN)c^nh
delta 17
YcmZqVZ{+7V^>5cc1_lPBjU1Ki06BgI)Bpeg
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class b/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class
index afeb77766eac8fb54332fabeb09bfe1433a5631b..9c358ce9a47d57c88a53fe751bef89def531ef5c 100644
GIT binary patch
delta 17
ZcmdnSx{a0N)W2Q(7#J9gH*&0F0suc;23r6C
delta 17
ZcmdnSx{a0N)W2Q(7#J9gHgc?E0suc(23i0B
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bvec.class b/JavaBDD/net/sf/javabdd/JFactory$bvec.class
index fddd1b627d8c611846a961038ad571a8a8c6480a..5ad880a2e87ac89f1b674e93891c4999e83de978 100644
GIT binary patch
delta 17
Zcmcb{a*c)K)W2Q(7#J9gH*)wf0RTdN1~~u#
delta 17
Zcmcb{a*c)K)W2Q(7#J9gHgfne0RTdI1~>o!
diff --git a/JavaBDD/net/sf/javabdd/JFactory$imatrix.class b/JavaBDD/net/sf/javabdd/JFactory$imatrix.class
index 37b1657833cb13bd9b9fbb90996ae501ae38a8fc..74d7a84769db1e6ce2152cd455bb9b17a135061c 100644
GIT binary patch
delta 29
lcmbQrJe67C)W2Q(7#J9g86?;lm>3!4Co?jNZ&c4?1OR)`2Iv3)
delta 29
lcmbQrJe67C)W2Q(7#J9g7$n#km>3!4Co?jNZ&c4?1OR)#2Il|(
diff --git a/JavaBDD/net/sf/javabdd/JFactory$levelData.class b/JavaBDD/net/sf/javabdd/JFactory$levelData.class
index 9c0932634ae6940dd78014370f12825b1bb5e4d0..43e683b38e6f95c2437d00e7ba717a82fc09761f 100644
GIT binary patch
delta 17
ZcmdnRyo;IR)W2Q(7#J9gH*#!Z1OPv$24VmJ
delta 17
ZcmdnRyo;IR)W2Q(7#J9gHgarY1OPvx24MgI
diff --git a/JavaBDD/net/sf/javabdd/JFactory$sizePair.class b/JavaBDD/net/sf/javabdd/JFactory$sizePair.class
index 3f73736570d6d6436984cac445cb4bd56a496583..7e017877a8a9e2afd803f7f1dfc74a46372c43f0 100644
GIT binary patch
delta 29
lcmaFM{FYhZ)W2Q(7#J9g8Kl`6m>3xpCMz;ZY}7c)2mp}W2o(ST
delta 29
lcmaFM{FYhZ)W2Q(7#J9g7^K-5m>3xpCMz;ZY}7c)2mp}F2owMS
diff --git a/JavaBDD/net/sf/javabdd/JFactory.class b/JavaBDD/net/sf/javabdd/JFactory.class
index 431986a1ad67b1fae8c54c4e34dff6ab73025216..e6fb982f93cd3592adc2c1a07ad89dd83669f892 100644
GIT binary patch
delta 2567
zcmeCY#Cr7ttH7y$yY?|KFc`DfvNJF-GKfzW6cpd6ek_7Xl4bMzh;1T_@{^b4E@ZTu
z?2#AArp&-9#}~YLYo043W9H=F`Ii_ICZ8+FW!GR}(-Ptfo6NI7m0Opwhk=pdDFXw`
z`OQs*s?5x<7_26*D)Fp8%lx0=E(-(0M;1m#Ru(2kDHdi%Sr!&XT^3eGTNXCPAQleB
zBo<D_d=@UoW)^P7=`1{qYgl+0_ptCWo?+o<yu%{E_>o1B@e7L(6AOzllL(6llO~H8
zlMahGlO>A;lP`-TQzDBLQyGgiQyYs6(=--Yre!R0OuJd+nf9?LOin7@X`;%&&&k2Y
zFZ_qWfSpPBH$&oY1|Rd^43WPXT+Dwn`21#Y`NLqs$iTp4#AFQd1!LIc=&}=x5tCKQ
zli4&GSmiW=H_t0iXJkCKnXOWUk=c(yc(QDjs&E}kGeaLs3&T8?R)%#fZ48H5+9wBA
zwJ=`Ve632Dk+FC3tLjEU8wPG^b|GO&F0MZe?2P{zcqiA^STerbyuIciBl98#jmgz@
znZn{M9~jkHJ~EoId}4HE`OFx_@@4Ypy4{Sbo7dMnGcuPk$WH#+U@JU_Ri0rDs{+Gr
zRz-$WtV#^`S(PU{HqK#G+kCIl1)@x~*;aTit1rV^RzHS4to{tASpygzum(;pY@WmD
zznQP)03-7%2Cc~#TP>MmSxY8!wy83{nylX@&g{V2GugFmH**LB-(==?Emo1=3=Sfb
zE86=RWjAwl6frVhm|Wdi&TquPtHjPLBqYRT%;U=FKe=|R`ew^6WkyE#$+6w@!9nxC
z+mtzljb*ZNPZi_B&FgxKn3&%&SWi~&FJ<Onvz<J>UskxB&4;m_&6jZ+n;+v+Hh;!7
zYyp!G_p37Nu*FP%-antwb8`Cxbx9AVZUzAcHpbTsj!Zoa0u1bo@eB+MbqunTk57nV
z{>i{I*>$20<B82h6RnuQNpAgQTjn`zEt6kQmUVy2HksiA+Z2W`Y||Jy*rqeeu+3mp
zV4KOP#Wsu4kZm@j3ELb-E4I0ewrukl9oZHz2C^+=Ok`Wcn8LQ0F`I1(V;<X5#uBz=
zlkKOdGJjy(JUMyFaYoO{+EZPj&f;QR4|Ntd*jcj~#3y%7%?CS6Wts`&&B>9|o-;==
zh)s5$Zpz%sc5ia|^dpQnCfm$-#~j2UGFf+~Df3!(_Q{DeGeg|K9%W(3W3UH%lof2E
zJ_Cm!;~xeUb|&Hf48aU+><o;I>`cN8jEoEn+}!^exEYvXLJWTxgh5Go24g2Q2|G;Y
zUMoG>e%5S8ugSM(C9|nAu&M}$OpaZxyt!=laYp8O4C<2|<_3!2WDjR}$sWP*gFTXw
zojr<ChCP~5kv(SelDX?Or5JcPIoLS<FzB)~32VvzW^nq=;4Ufohrt|V*CJS^XPmdW
zVIC_ZWAo&;`MI203>>oTLP9E`lX({CGa7ETS>VUWoW&qDxp$$a`ULiM3=7!TGpuLd
zz_5>fBg19(O$^uAH#0nC-@@>PeJdj;`*ub?_8pV2E}YBR!N9`6%D}*|c=Ebj`N?_(
z!jso7+Q-;1IcIS)hc*MdoRE-K@Z@>r>YMqOC@?a%PBvKjgRx|?=CWi?4F(PgAt6qw
zV32o(H^alE9ctpt$pWjSCeK)*I$3i0X2!C~XP3kE$bj`s&R)UASqfD>0jl~qWA5aH
zmB}3H4D1p@LNeg6ocwns7h~FFj#al9<0d~|1(oC!2brSFSTebL^=WXHh+Lz{oyf6^
zA%$Z%LmtQ8$+c@T<pmhngc<)ZXs|O0tMWjLp#5;Sg5qx*qu1m^Yf<7Zc3m|ia}$HY
z<lE~##jkVnGCb$xWBA6&&&bLtz$nEj$SBV#G}(MZyO0C}7at=^+-<(HVGR=_|K`Tc
z>5Pm=C%@cM&ZE!34b9A^p_6O38Za^b-MoHl7$f7J$!y!px%C*hAkwDc;Cy~y`vo?}
zN0TS+D`Pfe;GN91UzXXCD`&FWeq%;~%~AVnxEN<|zJ9Wjk$D}1_T=ExvCJ2_GbgV<
zEz8WpT|D{p=}bnU&8BA-u`>RjeB)xZvJ-;<0|So|11pa*0~e1fgCLI@gCvhSgEWs8
zg9?u}gFcVW=AuhdGK|ifd*97wWZuW1KUw>OtMNj9VTL9AA`GkfMHx2mi!tovmtfe#
zFUfG0Uy9)xzcj;bei?@M{IU$+_~jV>^UE``@GDH7{^6utG6SCs1B0l@e}*UqE_Mb+
zc19UcPGVpLk>Zo<KL#^4ZNB`GiIFj8^0iNyDxwT*e;K&gS?t(Z><s=eC^K^YVi2=p
zU|=a?NrPsx$jvFAy%>4<7+4T0H}Cm!oRLv&bIZ3`jLcFDZj%*%C<@#2Z(?xb-^}33
zzlFh*e=9=(|MtzkKg=2VWf}Om9T@*Hm@=}n*f9!hp7N86i7{yN{NK|U6&TqV92pn{
z3>a7ij2Jisj2XBE%ov0OEErS;%o)@LEG7s34Hcdz5W%oeAc|pyfGfj#0XK%d0<n`f
z{<UQ06DXYg^6yq=CkD~U3;!7~if_LBFNu>ee!Ce5<9seg-tE_f7*{YdKVz_*-YCLo
z${Z%-vwf=wV-pYKt?3qujDJ8`cDlI|qbYNT@QLl&N{muWjGw2ssW8?u+cEG@XH#X=
zWDXKxnXaeGsL#kVJx-NTh4H}jW>v;Z%t;Iq(<9Uv4VlwKWTtnhF&<%DH{DmA@f>p)
zgXnZQ4Mt1m*&?pf!!#JzGBL4EXVql91h(v!CZnRbgGdsCvq&<7mq;o@h)5bkj7T~|
zib%$GE-gl1M#f9qBeWT78JU+cXimSO!)VAHCo+3Fhc2Tf^IMU%(;ajfcQR`*a83WC
z%cvrtYQVt2dY91~5>-r2(+%|)e}Zb#>AL!0i_S4Pi=1ch61m6_B65i#M&vR>ipZ7i
zvHFZfER4d_FBmhv1*<+_!syG~C)zrl$CPnCk1+%H9|l%N?mrCTjMI0RGMX~>ZGUIV
zn8V0CjX`yKtT|&YGq33G=_kz@_wsyX5QnOjV%$F2f-#+$QE~cjYsQ((P7DImr`s?p
zGKY(aZ{KdixQvnU_4GJ9#%g9O2EOTc>=<R49mL$G|FB~;XB60OV9z*5im`I~*+|B%
zpbBMrYZRj`bBRR%_JdK3vK)-s)9)uS_Aus5&q-!X7iM8#;$>oBVBX1?0r5IR&h+QW
PjOi>OiS5BDjN4cMcnZaJ
delta 2730
zcmcb5fwl7ztH7y$yY?|KFc`7dvNJF-GKfzW6cpd6ek_8CL1y#&h;1T_x|5gXE@X6^
z?2#8KV#vTI$M=Upfbl;A69W@F10y2?<L2dgu8fS8li%iFVoaWVpdgpmf`MI2i0==B
zFi6?t&>DSiUB(^;Muw*h3@oQNrxdC(Gv8t`o7_|4nSFuzKf_%X28NF;jEt--OpLND
zER4D=tc<oSY>c5S9E?dUoQ(M_T#U^u+>Fy%co^5S@G|aU;bT0*!q0ezMS$@Oix3kF
zi!hT2iwKhri#U@div*J|izHJbixg8Oi!@Ukiwx5=7FnicEOL_rO7}V#G6-^Vu<;B3
zVK88468_DQ_?yA!4}%HgF9xRH43WPXT;LoZD2IW8$%x4q;(EsP$&O_w7^5e1l_!f^
zF|f&Lz`}wV6c+4E<_wIJO&6<go>lI^$arY;?Ftb_W-kVz$)74!`5Rf98TwdS80N9G
zGOS~1o2*sU!gzV}`YK^Y#tD-TS2qgTGVn;V3kgedas6RnXXN_Nz%)6u#**>X=Kh+4
zjLh>G)F%hmW%5h0d|*^(`N(L-@`=%v<@4n8b-NiAH+R=NGcp%3$V|T2V9P(BRi0rD
zs{+GrRz-$WtV)v=8|N@8ZQj@D0#U-+Y|FoZ)t6x{s~^K2R)2=mtO1ilo98h0ZvNDK
zfN^p_9qZ)nt>%+IwW^4}Wo>2n!rI2j%-YT<#M;3q&DzPR$J#yFux&T<ECzwe@7uJz
z|1$_Ou!FqM$j&6p$jHdR07@Ki5l|Xo_|4!zjIzmc?fr~;o7c4$F*07Btk_wu;LO0M
z#Lg=uB*bOR<I4Dlfd`bN7+As9ffC>3f-UNs&vhy@aym0GGq5l)F!W7+*eN+#xVsJ<
z@Kd@?C!g)EWZbsdy{CwY`4NM~<UM_*+T3h*jIwO@j23K8jJ9kZj9zS>jInH9j0J4o
zj8$wtjO}c`jMLcs7?-m7PfqDqo!r|$kI`qc&IENyZ>DYr0R}e4*9<O9Jq!X2?2PdY
z3=H!b<R<4#h*J5_z{$V?b{r%upn<^#6JlUwV3>Szf)3-&&EF<iF)?3aFqv#T**17S
zTPwpRwl;<fY@H0(*!mgnvQ1!k!ZwlNIol+L4{TEyzOYSW<Y1f5D8n{`QJHNfqZZpN
zMnksQj3#Vz7;V|+F*>p>U<_ni$e6;mm@%7e31c4H(#h8+t4^A7jL~QE@hPrQXLB*G
zhdP@Z?Cc{95|dS@=Iel*%>#BLG!7Zz@yG=iW`GDzo<7xt@#^F=Q=c=3F^EpyHqCVM
z`)P+6Z%y7j{T;I(gYe`fGfXGnosl8w2@WY1hCBu*a7eL&tu$reoE$e(R)vEB94L@r
zVqo~ezyvBU7#NslFm^&SoBw3FHPVx}%$&{WJ2_xhvZx6In~Lxs20?HV0B1Nx2FA&G
ztCTn2nRT3zc@~4(<YjXLh3~M3GrVMvVEDlv$;i$g#VErbJ(+LrdNDZ$UQP}+jz0{#
z>`cO1vVR!tLAieN`MF|@>oz}|%gV^uHu=rGTz)GCPFZ##A(cN2LLi&K<=0A>qnI=|
zPnz$?$ehF=G5PTVP5H^}>lhZWuV+}#zJXyM`$mRq?3)>$vTtGd!oHP}lYRSS<Ark>
zXHLGj@CRe_<Wq~1C2bfu<b;H@FpG`Nri<Mf8K+FHUGjsmd~(^+WC?QyP6;6)PAL?%
zP#<$|hB=6F+GK%czZfegb1#Q$k-?^A@~q`toGlD246F<c3=<|BtdyEOe~IekH_I0>
z7EJD6kt}Y;z#$<dB!ex0C(EwnVl17kvGNvU;$-GkP_>-mSnSbdESfxL)oEro2EoZ$
zs}-43ICf8-wmMT)jDcO4@ehLrJCm^L9|lfP(1VIv1_q}6aIb(Od>f<h<g06NMD}L8
zweuL6>loxG-(Tk`e2bHp;W;NC!#7TTMpjM%Mk!9g$@c5p#bg+``4}-Gdh?C-YnT`n
zHn(m{XJkAv`R(R%SqBClB}n073XN>klEr|FiI0JWft`VY;o;=oO+}Msw%%dfKl$g@
zav6IDZirUXKMW$EWP++wee<Gi7uXo@O)lPB#%#pEGx^P4*~z^7j2MMCJM63BVw}8r
z?}<uA=4A|;lPyohPM&p2X7a968H}Qvl}|5XW&Az)*oA6&I|hCR1|B5_Rvu*rE*@0|
zK^`>*Ngj0uX&x;G6&~%)DHo+=7%eu}zn#s<yoo_)vg~_T^(Fiw46FG?88+~XG3?=&
zWH`$&#c+*Zn&BS548wbVS%z=?at#0Z<tI;lf08+cfq!!12Pq~IrpYxQf*G4PU--bp
z$QVEQ@<(uN{bk@{XR%{vvD0Px!=TK_`HMl!ih+Tph$Ri0J)<@!eDY%C<7Z$+Qo4Ej
z=i`iw@|)|w&SGR1VsM!(^IehKiGMSLEB_V-PyVf&1HPLx3dk|=b2~8pV=!f8XR%}C
zW!gOL2Nx5g^X7%WrZKWGd}FYkZ2d=aa>Sny?u7zT3@Zd&8P*H9P2T^<a`K-)TbP|0
z#3pb4YrrJJwE4;3Bu>Vp?e6T1^SKx~w?7wTT)_w`<fl&(W;ES?T9~nshw<8UUj@cL
z%xMgg(|r^fO}DoyGD<QrzMno{nX#7Hih*ysyb7b{bRQK)Jx2cN)hdiCjC-apP+`2p
z9LFF&y;POaaQZ4$#>0%Orst_Ko?{MT5SebT&S*KkMxAjD6XW0MS{jU(K*hoI{~C;n
z{LUiD3|=Cs3?U+E3^5|<+s!o@eHj@~Z*SFNtOeKM(^+*G4X0b_Fj`D6(_!4ftjWMV
z-B6cNMNo;!fPsPaE~7Ujc$uuGr|L5PWX@xdo}Q=&Hu*e*m&iqi5Rpp^F(Q|@&(vcq
zVqp}R&ST8@7F6?3|6|PPJKfiWaUQP;1J54@Rz_}6(qx+c-GtGUv3t9&DPs;J^CSk9
z>2u5&bEor~Gw$L2#2^7xD9*^V{i-=*Iy0l}bX#l2nap+!{L^n*Gb(QXXU({jk@5NT
zCAN&!@@5RY3=Cox46I_73|wNi3?gFo3^HO)3<hG(3|3+;)1B-X%^8KaSJ^Snkzy>J
zE*{Ca6;w-1KOf0xyImlPQHFz2Z@O+0V-I8Q^j%4e=_0HQ%v?-N3=GUW88aXrXULsy
RlFXRS3YOVEKbdhG3jn?_&Sn4r
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$1.class b/JavaBDD/net/sf/javabdd/MicroFactory$1.class
index 9edb927cf0520f10a8c6fb96c995de8ccab12207..3570a7ad17bf6ad0f478f45d0177be2b0994fbcf 100644
GIT binary patch
delta 17
ZcmZ3;zL1^c)W2Q(7#J9gH*(Bm1^_(I1|a|d
delta 17
ZcmZ3;zL1^c)W2Q(7#J9gHge2l1^_(D1|R?c
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$2.class b/JavaBDD/net/sf/javabdd/MicroFactory$2.class
index 9cb48692ae162a9ac0b4d1f54d4b6e7e0d4d7ec3..fed3662fc312d5d214e6a2585432af91d5c6829d 100644
GIT binary patch
delta 29
lcmaFJ_K;2B)W2Q(7#J9g88q1$m>3ykCo3|^Y}7Gj1^|wo2Z;ax
delta 29
lcmaFJ_K;2B)W2Q(7#J9g7&O@#m>3ykCo3|^Y}7Gj1^|wX2Z#Uw
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class b/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class
index dcbce9d41adc8d695c4ef2f3ff0951c0fc440ff0..50958b3e4fb60298243e6f77a60a7b1da5048bdd 100644
GIT binary patch
delta 17
ZcmbQjGKGcX)W2Q(7#J9gH*)YW0RTC=1#<uZ
delta 17
ZcmbQjGKGcX)W2Q(7#J9gHgfPV0RTC*1#$oY
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class b/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class
index 68447e9e34ca45a81f53b35a8502bf4d6677169d..5ea0b925d87342b09b7501b0e9ad0f70c89a66a4 100644
GIT binary patch
delta 17
ZcmX@ka-4<Z)W2Q(7#J9gH*(lB0RTXN1`GfI
delta 17
ZcmX@ka-4<Z)W2Q(7#J9gHgecA0RTXI1`7ZH
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class
index def445eb430f11594808a660290903f4856f6721..2360662abb5593d86d7a469b0c5ab3881a3b7f84 100644
GIT binary patch
delta 17
ZcmX@We1Mtb)W2Q(7#J9gH*)M?1OPyD26O-b
delta 17
ZcmX@We1Mtb)W2Q(7#J9gHgfD>1OPy826F%a
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class
index 4e8bec4709caa37da844f763effe17b27fc6960c..8d5ca9b67e6733069a88f10e64b51686f4af444b 100644
GIT binary patch
delta 145
zcmbOv*Ci)#>ff$?3=9m$40G8Tm>3z9CqHDB*{H+J%eZ2)0q-|S1EwboR!mPB9GIRl
zL@+&PNMd@ykiqnlp>wi5pQ|@NgD=Ab1{MYf1_=gVhKUR;3>gfH489DL7+4r)GH5aQ
xGE8P*Ven&MV9;dX_`|@<&XE6yL6x0>`458}J43)Pkf1s{L)b3{j>*^gtO2UABK80P
delta 153
zcmeB@n<OW2>ff$?3=9lL40G8Tm>3z9CqHDB*{H+J%eY~(0q-|SW2PqzR!mPB9GIRl
zL^C~SNMd@ykiqnlp=Yu^pKGuXgD=Ab1{MYf25AOghKUR;3>ge6489DL7+4r)GH5aQ
zGE8P*Ven&MU@&Ch{=>k_&XE6?L5ZD#nVrG;7X#BD203<y09G(dot+^J#F~7b&l&*3
CL?m1Q
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class
index db750f2b399dec810cc60f87f7b825f1bd7e6c2f..a83457e18b712cfd34fa108a13950dc5b9f17608 100644
GIT binary patch
delta 32
ocmZn=Y7i1Q^>5cc1_lOWh9GtZCPoI8i3_DC_c3yAG&#co0H0(DSpWb4
delta 32
ocmZn=Y7i1Q^>5cc1_lNrh9GtZCPoI8i3_DC_c3yAG&#co0H06^SO5S3
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class
index 50fb32b5ff5dcd0b42f803944f57dc194dd4955d..cf02efce6d9064821b27f8450337a05f8b051036 100644
GIT binary patch
delta 17
ZcmbQnGL41f)W2Q(7#J9gH*)YX0RTDv1$h7f
delta 17
ZcmbQnGL41f)W2Q(7#J9gHgfPW0RTDq1$Y1e
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class
index 1e716eb046e18a58510eaa95440c8fadcaf69d05..0b457f243d176fcafa109d3e5932a13cccaedb8a 100644
GIT binary patch
delta 32
ocmX>kaY#bo)W2Q(7#J9g8RFO(m>3yUCN7kooWRVv(S(l&0Iu>04*&oF
delta 32
ocmX>kaY#bo)W2Q(7#J9g7~<F&m>3yUCN7kooWRVv(S(l&0IuE%4gdfE
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class
index 396f72e10d84124ab96189ef5407574fb56af702..380d67ebb93778f1323455679dcef3255b550e53 100644
GIT binary patch
delta 17
ZcmZ3)vWSJ_)W2Q(7#J9gH*!cZ0RTIe1)Tr@
delta 17
ZcmZ3)vWSJ_)W2Q(7#J9gHgZTY0RTIZ1)Kl?
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class
index 73a9a89823fe263657ce573d86ca4d05b5a760fd..e848a1d3c8b863e92c4d6e66cc58f361fe0e04d5 100644
GIT binary patch
delta 32
ocmZ1=yg*ps)W2Q(7#J9g86wyjm>3yUCN7koyq=kJqe%`Y0H^>7WdHyG
delta 32
ocmZ1=yg*ps)W2Q(7#J9g7$Vpim>3yUCN7koyq=kJqe%`Y0H^E;WB>pF
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class
index 86df04d41c49b7722b2e7cbc767a7b2c1caee3c5..65b3e1136edc9bbdcf2d29ba056148ceae28d5c1 100644
GIT binary patch
delta 17
ZcmZ3-vW|u0)W2Q(7#J9gH*%;k0RTNN1;GFS
delta 17
ZcmZ3-vW|u0)W2Q(7#J9gHgc#j0RTNI1;79R
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class
index eb41f353f3ca1eef1fb3b10c923957f068ea663f..78c4320ad0e87dc74754ef656c8bfee48040fda4 100644
GIT binary patch
delta 29
lcmeAZ=@St+^>5cc1_lOWh8T7RCPoI8$%)J=8%=I;0sw{k2sHoz
delta 29
lcmeAZ=@St+^>5cc1_lNrh8T7RCPoI8$%)J=8%=I;0sw{T2s8iy
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class
index 67f791620495bcec82d95fa31a72fec6fe504cab..0e429d89eb44712c257230e3eeb37e6772977969 100644
GIT binary patch
delta 29
lcmdnRvWrFF)W2Q(7#J9g8D!WQm>3x}CkHZ0Z`9^z0sw|b2Rr}(
delta 29
lcmdnRvWrFF)W2Q(7#J9g7-ZNPm>3x}CkHZ0Z`9^z0sw|K2Ri@&
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class
index dae1d2f9e8a543a7d093c7659d204d8753210b8d..13d4aa277406e3431f0eb92242c11cfe8cac9b30 100644
GIT binary patch
delta 32
ocmew=_*GEg)W2Q(7#J9g8A90^m>3yUCN7ko+{ehd(c~Zp0K1+FIRF3v
delta 32
ocmew=_*GEg)W2Q(7#J9g7(&?@m>3yUCN7ko+{ehd(c~Zp0K19`H~;_u
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class
index 053fcfb58921069292f0d41d44a3c56e38c2a47d..15262149204a9c18be59ccb190b894e1054e9873 100644
GIT binary patch
delta 17
ZcmbQmGK+=d)W2Q(7#J9gH*yFu0RTFN1%&_r
delta 17
ZcmbQmGK+=d)W2Q(7#J9gHgX6t0RTFI1%v<q
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class
index 5e55c6a0f3f12177ed02b53e603b036ce4c689b8..be8436d532862ee83499c53169b74031bb7f123f 100644
GIT binary patch
delta 17
YcmZo>Z)WE>^>5cc1_lP>jU3g?065bH#{d8T
delta 17
YcmZo>Z)WE>^>5cc1_lPBjU3g?065MC#sB~S
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class
index 0379e166a19a4fdbb82e7da3752210513e29742d..8804d74c9e2a26cfb2aa2c66ce91040d3cf44347 100644
GIT binary patch
delta 17
Zcmeyt{)3(4)W2Q(7#J9gH*$Pn1^`H12POaj
delta 17
Zcmeyt{)3(4)W2Q(7#J9gHgbGm1^`G{2PFUi
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class
index 0766f7445097542a2d084d3213f68cd589f0c232..caefc2be68511b5b3520941a919ccc6cd5f7b9fc 100644
GIT binary patch
delta 17
ZcmX@gew3Z#)W2Q(7#J9gH*)M{1^_{q28{p!
delta 17
ZcmX@gew3Z#)W2Q(7#J9gHgfD`1^_{l28;jz
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class b/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class
index dda406daf362a153421991d657633d370cdd379f..6c0f4534edabfd9967af1fef9c69bff6f5e850cd 100644
GIT binary patch
delta 28
kcmZ2yz0O+T)W2Q(7#J9g8J@B;FflU7PfV2FsNF0J0F<=|?EnA(
delta 28
kcmZ2yz0O+T)W2Q(7#J9g7@o2-FflU7PfV2FsNF0J0F<Q&>;M1&
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class
index c01ea3908fa08fc4040e282df33e67fc575ed6d7..2bf25b85ee0bf1ed129150bac53454d1fb1b451f 100644
GIT binary patch
delta 17
ZcmX@fdXkmn)W2Q(7#J9gH*y?g0sukc29y8*
delta 17
ZcmX@fdXkmn)W2Q(7#J9gHgX(f0sukX29p2)
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class
index cb23798f71b237773d3f8d1fc96b3f5ae961eb2c..f32c662445125a80f9fe9e8ddb1564416a5fae50 100644
GIT binary patch
delta 17
Zcmeyu@r8rq)W2Q(7#J9gH*(~#002hx2Au!^
delta 17
Zcmeyu@r8rq)W2Q(7#J9gHge>!002hs2Alu@
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class
index d559ed757c8fa06cbb191edb447ba802ee87275f..3d96e6ff5ac373b9de9bdaf883ee63fa4a2171fd 100644
GIT binary patch
delta 17
Zcmcb_dWn_e)W2Q(7#J9gH*%a}0suo42Co1B
delta 17
Zcmcb_dWn_e)W2Q(7#J9gHgcR|0sun~2Ce`A
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class b/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class
index 4ed9e3518795c10b586c71e0abd47d60e469cf52..082607bf52177662e0899a445a69770d8d4acaea 100644
GIT binary patch
delta 17
ZcmaFI@{Wb$)W2Q(7#J9gH*%yg0RTm=27v$o
delta 17
ZcmaFI@{Wb$)W2Q(7#J9gHgcpf0RTm*27mwn
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class b/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class
index de6e719237394c434983edf2d5ef840712479a5a..57c6d76f0da7495c7a8fd2f765d34985e2b57b19 100644
GIT binary patch
delta 17
ZcmZ3=yp);a)W2Q(7#J9gH*(Bn1OPnU1|t9f
delta 17
ZcmZ3=yp);a)W2Q(7#J9gHge2m1OPnP1|k3e
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class b/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class
index f1dbff0e21cedc4b6a6e666d0d21ad060c6fddca..d6c80e7f0be09add385fe23cf7f11bf88bb537b9 100644
GIT binary patch
delta 17
ZcmX@be2SUl)W2Q(7#J9gH*y?e1OP$D29f{(
delta 17
ZcmX@be2SUl)W2Q(7#J9gHgX(d1OP$829W>&
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class b/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class
index da63492a10a479cfd37e1428d150fcd1b5b8e934..ed919578b06a502cacc035435f997f2335815d10 100644
GIT binary patch
delta 29
lcmZo=X=M>O^>5cc1_lOW25EK%CPoI8$%c$F8+C3n0swn12X_Df
delta 29
lcmZo=X=M>O^>5cc1_lNr25EK%CPoI8$%c$F8+C3n0swm*2X+7e
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory.class b/JavaBDD/net/sf/javabdd/MicroFactory.class
index f68b294ef693fac2e82227d7d248cf9b356f56c1..4f63db3773adf5446115bc19be4d469156354e32 100644
GIT binary patch
delta 3047
zcmezTnRV(XR)JIhcI{(eU@+!TVrO7tWRRY$C?ma5TPKA{+F)~JN{j>}=j3fQ?TnU_
z?P}vC6d73lGsrWrurn|+GB7eQa0jq6N&aWx-h94Rn2|AJ^5eR_j7gIh))z~wF|ht;
z&|zQ$sf4H%;|YN%p6uHo$!M`Tz2Q0&^EC$3$&SsA^~cyk87{DeF+5=lXZXPu!N|oH
z$;itV#VE@b&8W*3!)VVI$LPrx<d#z?j08$XLOa#Ms4_%s7QDg>ea6D&rQmG{$3W
z>5M1YG8k{NWiq~G%VPY^mc#guEtiRvEssf(EuTr3t$@j%t&qu+t%xa-t(Ym3t%RwX
zt(2*bt!(ng=4xgo2L8$UEuxYpzZtx&O@1>tTN^SkFvT+^fIQ2<!00r2e#-{Nu*m_f
znbPW@fKXsy1$mF1DIF9RYJm{%ZT`}#!N_=QvuwKvBeNfa@MMz?RpC0eqYQm)#~9|Z
z9cNg_c7owB+sVlp9W9K8o8NZCF*4qs?9<gA>BYeNpFt8i%-E$QCB+1#xVZi^u*1X|
z85tP<GjPMW42%qn5Q||VAO#EzOmi9MLmbX@b+bYDI!5Ms4C<2~_7n<>vKunWvl}t$
zu^ThmvYRmavzty%>|M(!u$jNll#w}&L2|NtzoqbE_DF`c>`@GR*rORvv&S&pWsjZQ
z-#?R4V6)}~sItU~AY}~<YuOta_OLfGoMvxkxXa!$dF8|(j5eDWO=@Fg{61N8O1q*i
z1J{2BGX{20a4|xYgP53@7?%MoO?;dp#W-s-&(wpAjB=CDO=}kqVBr7Hpn#%<onKgT
za_)3-F_8C>%!2xV@|@{XjG>#iPhZB!$UQl3X03_=C_vH7;1!gF*c=QAwaE&zq!@!X
zThCg;$jCeS!R%UPeFh#3n|UQALD~#LA(}QXnq$Do=sfxI-1*F23__Dj=NU4maCA;y
zI<JaRZ?nSuASUKx42F|S7gh>qaGYQ);yB6J$Z?8s0>^2_DI8}e|6QocEW&YPvf`rU
zlHN>@8MqlZ7%womFg;=5X5eH@V_;xNXONlva8aVrPX-=A1_q|n@VH#NIdpLzBXb*r
z;^bpXe1(s3GBRA?WMa6_$;|MMlZD|EC+lRTr7syxHuEgghd9D+MP&3_PIHD2oED5s
zoR*B7oYsuuoOX<goc4?woQ{lEoKB3koX(8?oGy&9oUV*1obHT8oL-DIoIZ?woW6_`
zIsF(HbNVx`;tXKi!5PAMoHLa18fO^eea>*k_nZ-vAFcSw9Ks+p`QAzo2~8z)=|2o=
zjFuorUtwGbNq{V=o4r;kGciA6u$Wx1Cei%?XD7pB&Mt=MoIMP`IeQuTIr|ueIr|x9
zIVUixa86`Y=bXf-%Q>0RfO86?3FkCM7tZO7A)GT9!#QU%#&OPKOyr!+n9ez8GRIm~
z<|mvhC+n<zEa?djMlQxh3{K!+<OT<0DTCN#jdl63VEhXUMn;{<tJck9^qB0qKGR4U
zl$X^Yc^O=)2?jx887c(HPs}VZ%}ftBZJ5o-Jc~hX^1O|K;ukpIGTh>P$MBN#J;M*q
z4~$%#9~t>MKTT%Z)X1I3%+A2gz|N4#kUqI@lRUFN1JC3Qn-rvfGFaOEWl&^f6#mJe
z$H2hM2@5L5zR7PkePnE#d~b8HtOf)7e+Fq-wg#0k>|$cduyotAMUqi|^Rg}CkSu#(
ztFCrAmo-Bpmkq-NE?b8ATy_kLx$GI1aXBz-<#J>=!sWzpg3E>B7MCl-eJ;1j0^5S+
zXEH^D3KE8L24=<rutOKaStl68CpT^LV62&ZdfN-ew#i$zXUb|auz_+0a;YaKrU5JW
zqIS42G8Rvszw;4e#pI@4nWkzW_e(%S5#)R^F-{4nYN#kQY^7jf3)U|&Ib`=K#)`@E
zdopFfW{5#mL(Pzanlbsn9tp<O$v5|0Wz3(ves89<D#(4Pilv}&IoW@o1mpV28T%eE
z2Qi3D_TF#G+{Dc^xqkmb#@@+_2c9vzF$hlPI%vqel3Qi6)j?-#S8#%2VaR5%11Bg}
zaDozJ;1Fi~%OKCr)XDglA&8NYoBJmNw=e?(vohQZ!IO6$Jj@t7x%Ln?7jcTgTrYcA
zg3)ub+2KRXP7DH*e;=0Rj^U1Fi06)D$mC9#EPcdRmXCoAWScU`HdP)I1_owbxGf%&
z+m7sHjGydqG*e0iRM{e@U@=${o_znP1Y^?XA4ek?nX4G&CI=t)WjsH5;c;PRKJHbM
zHy=-x%wskI$9x7uI<qObBm$K`>I__y4NoXA|75V-9C~6qC*zmNyq8Lutr++ww_Z|Y
zcHo&XdFdrvMuE+bFRkKY+_<^#ZVe;zCI+3!y!R8CFY~rc&b=?o%+A|4x$}N8qtNER
z_h+&){+~SkX|=Kwg8%~qp9TXfpC$trpEiRapALg0pDu$mp8<mkpCN-jpV4N+XJ17a
zoj0rhp3TU-k3oO((Lb)n3k6CTmI#zGtQII^*dS2Ouv4ItVUIu+!&!l9hHC;f47UYp
z8Qu%jF?<uKXZSDBz{n!dIN9*;N#<k*zR7?8N->I0mi!mY*t9wK9}^>E%;bXqnJS_T
zY=0TJ*jaknS$YlrFeo!}{$dcbVqjo7z_JBWaxq43{`cRDk(ZBw1)*|#7$f6xMn<*m
za?Fgg7@4IQ+@|klVN?{h7Zhf25)@%@6%=Lg6cl3!5R};doQ2Vxkzba9kK2LqAA>0)
zJ4-L4z;-=0MlL4CpzW3%jMEqu7}*#c85jg7GO!9xX5bK<!oV#!ok2)&CWETr3<h<<
znbTi$GKLDz6WqzLP;fWH3c+Oz>jjrH>=oQM-J6Til9^BN()4C7#;wdw45HJmxfu-@
z#kc2jGkS6|#&6#)!kEFu_<g&AJmYLe=6ek0)AuPbnlgtAFWmk~fia4Q@z!)-UB*Am
zSqxIsee@VjnL9)!wm0Z8N-;5ho<7@vv6k76fq%NRA)_X9kZ8zsXG2DPMxN=#hKwqV
z2dB?4WW3Cr#2_&}&xp~GIZZTY`aC1XBaG{&CmS=KV-8~woo-^nXvsWVbn5gR6UMbn
zOsvzTO&KqNE&E`~s3`6rx{1MAbTfmO=vIah(QOPdqT3l#M0adgFk|#(WW2mR&z!N2
zk$D+|=JfX#jE2l{qOYgRTQXWQzZ3mCJ=~IUC$k0v*K}bkMil{70|o{*Q$`<1tT8!F
z_poC8$y~-DJKe<^WRaL0gR_`CgO`{hLx`9XLyVX*LyDNn_7ZExA{IuG>Cf#M-+@)%
zaA5Rh?iaf_UB!`cK94a2_a6pUMxH+m;*8TTI5L_t_HSo%V$5Y^p2na$z08?0mzhtT
zZTcf;#=Sfr8N{J#r5Lxbabav^W>lQ6=fOA=l)0y$@?cbC4i`__{>p=K86)GH=@Y#e
zYe2bax_~#MEVG07#OXTTjOL62+f%$5J*5~cr>{$8+{zrqAT~WMjnS65MDoJ+MQMz(
y9E{r259BfSFy>76&1Xy(W?^9BWny4p(P7Mkc%30<`iXqTbQX}rc9R0e{hR=ajQqI(
delta 3362
zcmbRGiS_emR)JIhcI{(eU@+oPVrO7tWRRY$C?ma5TPKByL2+|rN{j@f^5ktb?Tj{)
z?P}wVtQpw;GsrWrurn|+GB7eQaQ|oEh42^|85sUEFhMvBj0}wIOp+Y`8JIS2trccu
zESr3?ZZBi%<o5dFU>64V{|q_|Y#=irrik(UXAp!5zzjmj!;C^!!N9=e&bScd3I+xi
zt<Cxk*O{1)F&IwfY<8?a$rj3Rfh~;T30pYB54H$KUbZMkS+;0KUA7oTC$>07Pqui*
z0Ja3i6t+ah3brK1UbbY$DQqc>OW0Bwx3Hx#o@C2lyvdfy_>wJ)@gG|*6DwODlO$U{
zlP+5UlM`DZlP6mdQzTn4QzlypQyp6wQy*J7(>%5crVVU0Ok3INCf{t%HdbK}<m6!E
z7yiqj%+3_c_>Uo-k&*E?gR>#iZw4=G5b11f$iTo9&y)c11Y^?V(v}U3k(1S0Gp*f0
z!K}c*3JM~2rgTt9tNmx-gA2gI2uT4fkT$Ps)nH^iwE1$I2qUu>gV5wx?W+8ZY)2XT
z*p4yGV>`~Uj_t%`rH&Rx)6L5};usn4O=jzAclKit{Ldf>3t*6a>{4P(VoYL!Qe0gB
z8Q5VmAd5k<3gaV1^yD*Ll8hHOKkHh@$UKWdZSwS<LVgK$Lq>UaBSt-TV@6wclgZM(
zYZ-YqpX@bdWKLp`n9SI3$-j&}l3^`-6vH0&Xol15F_V4!XEO3^e%=pNB0mwNq=8{A
zdn3ah_9lkY?9G$2C;niJ*_<+|jgj%!<kyqiV|*ES{xg^{u!Dk&5t^jL#Kgq73_$4$
zCJb^rD22lKNN$H~1*u_RVA{a=2@)$zb2qP>a*&ZxadN@5c8OpHq5ljDaK+$Y;ujWU
zn#?y{Tml>{Sj?VmJza{kjDeMbgMoojaq_{L)|+QePiAD~oBVf1t!p5I0EUsgf?`ZC
z=L^7X133+c^C!=nDaBZ_dFRX}jEn-4<7VS9RuUYeVqymW8H9*2cJsg428@jMllAA$
zXLe%{oP2Sv;bgXXm5l0}8|DQuG4Es0pL}&eC4V-@3C1FhlZ=fVrx+)2oSvMxP<3+G
z!ex?vOph7388{d(Ft{^4Vc=%qWK3gVV8~#Qo$R?NQJC{51Ct;F1Jh~7`Ou(Vxp~i`
zJVxdw28GGGOMLlHaxyYp;ACRB&&ka2j+13_?~<2{2Aj*5>N7EKW6+(va(Sfw2Tlt{
zCQeI6PEKn^DNZ{^MNWH04NgZ!TTW+2e@++1SWZ{Q6i#=>Qcf?%8cv_dwku>O$F2Cm
zoWLM5IdY|k${z+b#$OCfN`DwkK(sW7ZwYeL6?oASw0Y-BWhUlx491i1uTC_7%-O~8
zoU@1FH)k&+KW87K7-v7DEawD970!u_>YS4p4LGMTns82Ibm5%N7|uD9F^+Q<V<PA5
z$?a=YCvRBuNYV!!CR~h*7+k?&!VM0SG6wO<tJmhk!{je4Oc*^T>#Uo{=so%Lx=d4h
zP@$j(DFeWTui$?Mekd1~IKTx0ND@{YO!i$b!FX?T+WOgy%+nZDC$nq}6u!*)mf;rX
zJBF8>?-_n@eqiL{{5UyhV<UGVGdlw}13N<|L)PRU8|9e|7<ea3ZBk${`^msG*>;mS
z<C@8#n?5pjPIlj19O}lv`JX`=sT^Qn7ZX$d&maI3f;ov$InFEq^DUG3=8v1j8JXi4
z#3yra)m5(IvSw)HvSFCOWy>(1%Z_0gmjlCAE=PtVTuuxpxLg=+ak)-T-Wtp}XY%%~
zvW!xbuWt2VoHJQ&+Y83d$?V%RZ9N${KzR!sCeTt;OiY8=a<q553nOFy<V!mqF;-9B
zx-&D<3FKo5Xn=$AzL*%N1l%-GxdW~M!PX&10aOPlJQx_5rC`2g>}OzQU}Iol=$(9L
zx54D@U8@+YC!6ig3<TRF2Gs?%M~Y;7q~Z27PQJ4HDr3>)ReLhc9YH~YYPJ+HsYq|H
z1mo(-?t33F`!NVl*4k$}IeFg##;(aM`=2p8F$he4yWeoK(g7zM4{-WsVaR511gCFS
zaQYT!;1p*3%OKCr)XDglA&8NYo15b&1CuZV1G6&Rnfa6FA2`gIFgf{PW&ox$ImJj0
z0S(4HNXf$JH0jVGWh(|g1_tgB22t)%2377b26OIk221WJ23PKAh9K@3hIsC{$!`z&
z%JDO>gB+_2a;z#RlL-R@vo73`DU-tw?_^AxEO;c--vQK)LC%k2#AHZlyh2lh0nB8k
z_|0pNL@+X!G00BlIOZ#SiF+x-P3~n3FSwU8eCJ-l$jQBOa?Y_-g+gW%a30NI$YM4H
z7q6f~RfB<>kCBbzFN4Zt#Z8jn47-{4_;yal50j5xC}lQd;GJxHQE_t8MH@!p&GRp=
z;$mF6+3QXXBl9W-t;r|vCQjD7Co|daUJ;|{=7aZUvNHaj9Q~x4*^YsK^35l*n}0p|
zBEo2~`Tft?jLe%DbSC%yc2!>@P|C1cpp0RIKsm!6fhvZx0@V!H1Zo)W3Dh#Y7pP<S
zCQ#4tU!Y+!>z|X%DGdCRFaD8Y5@DMB=1(wV^Ja&?OpJ{2lb!!%s){kN|7GA}XX#~U
z>D6WW!=TK_`HMl!ih+UU0LvC=^hIsH@Xw2pkDq}RN$FN~#^a2P^4s4tGR|UT7GiLj
z-ownO$n7L3!r&?>%HSy|w*3GzqdB9190NbM1LHpiQ$}`{UPfM~?QE=!TuhA4+XdMf
zr!lfHd}FYkzM6wka{37l#t`m>g1Z@32rgq-FSvZVJ}0B)^c+scEzHggV$+qm7!8<2
zn6`&-F?w<`CT*W5%$UK&_<1|K9OG<8=35MA)0fIKnr^=*<(Wcx}3c4&xu@GzQ7(
z=DLig+Y59VC7BrCPw&!atYx-h;G526z^FOh+<;M!k$-xc0iz1z-s#;2jF&-W-}FR7
zM#JgT3>gnIu9_ZY#CVQ5h(Tn!wlSmS^bBLhHB5|ur;C{|UIMkCroT2}ROELS-OS)6
zx|JbBbQ?pA==SZ(ri{LfjAynNnlaWfGS6dBpZ>|5(QvxD1*66EWDCX}%$f|`)8#A~
zRRooo3>X;LOc{M3A<bkpJ;;*rCvzTy^mIQfkjY~53|?Z23?X7l3^8KL+uN)di&z*1
zr~kBLe8*hGAT#}yJ)`e*YX`=8ye14he;8O9dHyhnFfvVl>cD8q*t1>QkujH%c@l%l
z^lm4{-06Ru829jgVvv9;6lY}Ge#Duvk(p6;x|=)WOl3O;eg+2d5C&H9PzE;fa0W5)
z2nGf5Xa*heI0k3&1O{L6#O-VzjLR4qUrb-?$yftQ*wb~q7-gsXdNG<Y3U6=mV)T?^
zES-KXg>fr$7=!5awp2#j?Z;CYWjGl1ra#GL>|xBEUYN(2F2c&d%*DjSz`&vdD<v3m
Tr@zi)OlJklY!Az4+|LOB&du!n
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class
index dde710c146530b15884ce9f9b6affc25d254f99a..f796f8c50e942f14e5f50fe57bf3dfbf255e2ccf 100644
GIT binary patch
delta 29
lcmZqnYW5O1^>5cc1_lOWMqYLXCPoI;$qyM-H=3SP0RWBe2+aTh
delta 29
lcmZqnYW5O1^>5cc1_lNrMqYLXCPoI;$qyM-H=3SP0RWBN2+RNg
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class
index aa14203887b23fccac4319ec3e85b7f4fc8a909e..dc291f7dc8aaa6fdf346fe60bed2813ebbd7f6d6 100644
GIT binary patch
delta 17
ZcmbQqI+K;-)W2Q(7#J9gH*!p50suRL1_S^A
delta 17
ZcmbQqI+K;-)W2Q(7#J9gHgZg40suRG1_J;9
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class
index b30a4cbd919d34105255b8dbf37dda637e620097..1f492e30dd4918d5b3f5485dcb0121d44dde8dc8 100644
GIT binary patch
delta 17
YcmeBT?_%dT^>5cc1_lP>jT}wP06D=0+yDRo
delta 17
YcmeBT?_%dT^>5cc1_lPBjT}wP06Dw`+W-In
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class
index a71ec399c7e0fa770c5c4a902cab94f3f3b8d558..ea35e1d4435bccaf7061213af3a34661ecd42916 100644
GIT binary patch
delta 17
Zcmeyt{)3(4)W2Q(7#J9gH*$Pn1^`H12POaj
delta 17
Zcmeyt{)3(4)W2Q(7#J9gHgbGm1^`G{2PFUi
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory.class b/JavaBDD/net/sf/javabdd/TestBDDFactory.class
index f185edd46230fd7d8d8bbc0fd1ed61d8b5b08179..ae21823b03b218579359bf1a722d7960acf5bfaf 100644
GIT binary patch
delta 29
lcmdlVu|GoK)W2Q(7#J9g8E3OIFflU7PQJ)5yHQt22LPl%2_XOg
delta 29
lcmdlVu|GoK)W2Q(7#J9g7-zFHFflU7PQJ)5yHQt22LPlm2_OIf
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class b/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class
index c7049fcb25677c4fe13a2a20c4980bb6eb8e3338..cadae9eba106f26af8733cf1faf5f67c84affe67 100644
GIT binary patch
delta 17
ZcmaDX{#cyj)W2Q(7#J9gH*(zO1^`EU2M+)M
delta 17
ZcmaDX{#cyj)W2Q(7#J9gHgeqN1^`EP2Mz!L
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class b/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class
index 0791d2343294059095ed4b310b8a055643cf960b..ab66c1c144e5320839ee090834bf412d7a65f4ad 100644
GIT binary patch
delta 29
lcmbQlJBgR$)W2Q(7#J9gH*)B(F@{ezWm9Gho*c<$2>_5%2yFlW
delta 29
lcmbQlJBgR$)W2Q(7#J9gHgf2&F-A=`Wm9Ghn;gkz2>_6B2yy@b
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder.class b/JavaBDD/net/sf/javabdd/TryVarOrder.class
index 5a3c2b220de2951f46e53ba0e437403cdd7b1d2f..2ed3427fcf768447bcb8fdaa3c7d6e31e1f1e348 100644
GIT binary patch
delta 329
zcmX@%d(l_m)W2Q(7#J9g8E>;QFflSnO<pJ>wNdM)sGKSTBLfJqGHzy&-^jqgz{H@)
zz`(!;7M7Z<D(228yg65F0wZ%4gVZF6=*jUCX7VBoTN$=7Ffk}F@-l2^@L*tOux0qb
zu!CVI0}I0}hRKt+NZ86uV&E11!@$hWp!Sbp3Oj=_J3|;dL;N2G33dj@$$XLuj4qQ6
zBwd;RGq6mql$^|{GMQJ(kdbGyz0?*){mEaX%o)Wu>qv_-GMZ0zlG(^_#K6PAz);4(
z#!${6z)-RIpUh<z#%+@?DL!XZnY>HsGh^7~b;?^AFKkXxVP|AcVvv}erz$CE!I;fp
z%b3gH%9zLC#aO`LKY50#Jm)sX8it*WwG4+Q?@{$tQ)A%d{?DM#z{<|R$j;yh!t9Lw
W42<lIrx`;)#BT-{dG5)|YD)oJq)r+D
delta 348
zcmccUd%{=X)W2Q(7#J9g7;m#PFflSnO<pJ>wNdM)sFEfFBLfJqGHzy&-^jqgz{H@)
zz`(%8z{J47AjQDKAU;`9%$-qcbEen?M&>*Q>B)b@qnYg)4JL<4n9GYZY-QNSz{H@y
zD8R6t!GnRB!It4O!w!a>3@i+@7^Y2LBVnsBl|exC4+AqhgW5laDeMf!><nS-4Do*$
zMA;b}nf^2AO%9Y4oh&QK!Nlk^SxwTFh4DWF)8stK$&BignWPLE`6ru5ZDBN;{8GxC
zQEIcIv?wE^@nmzEjof+++zbp1WejW#<(t3DTxMb1Ir+5Wb4K;ao0UE@MowO?yp{35
z=2#VWM%_3DaRvs)L<VlgWCn4@6b2c_bOu$%3<iD1Oa^PlYzAA#Tn1OhJO(eu0*0W;
v6IJC|cQV#89G$#V)mKW2ft&jegAO}mzY{y-X~qx`@teU#o`Y$!j@nWH(xFil
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class
index 1ce9a07dbfa7d5ca1cf87ddb8926af2c1dfc183f..8db25cd0f8be05e2cd948bf8f7f1fea9184ea4b8 100644
GIT binary patch
delta 17
ZcmZ3;wvdhE)W2Q(7#J9gH*!ca0{}a*1)l%_
delta 17
ZcmZ3;wvdhE)W2Q(7#J9gHgZTZ0{}a$1)cx^
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class
index 1b8d0db6142ae0bd7f21497a226450e54eb29b77..8a8df2b555981c0431a28053e5583fdbd2802eff 100644
GIT binary patch
delta 28
kcmdm%yDeAX)W2Q(7#J9g8E3OIFflTyPn;;XQLn=c0G=xebN~PV
delta 28
kcmdm%yDeAX)W2Q(7#J9g7-zFHFflTyPn;;XQLn=c0G=BOa{vGU
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class
index 4ea6adfd5019c561ec29e688a6559bdc195b80ab..37ca9751634ee77609a3880fe54b82d69cfc10a7 100644
GIT binary patch
delta 29
lcmew@^jk>a)W2Q(7#J9g8A90^m>3y!CpR+cZnU-I1OS~g2%!J~
delta 29
lcmew@^jk>a)W2Q(7#J9g7(&?@m>3y!CpR+cZnU-I1OS~P2%rD}
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class
index eed31ee315d7911f44fe9b0d301ba3d9bd49369a..a650a8664e9818ca7ee5046ce216c6a1a6f70701 100644
GIT binary patch
delta 17
ZcmdnWx0R3M)W2Q(7#J9gH*)B*0{}lw1@8a=
delta 17
ZcmdnWx0R3M)W2Q(7#J9gHgf2)0{}lr1?~U<
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory.class
index 21b6ce365f97f88ce15420cfc84f53549e2b3f41..fb6d0d0123a3d63c957155d82c0d231b6e07f3f5 100644
GIT binary patch
delta 25
hcmbQ|KhK}z)W2Q(7#J9gH*#<bGqKFwEGpb70swwT2uJ_`
delta 25
hcmbQ|KhK}z)W2Q(7#J9gHga$aGcm|)78ULk0RVd#2f_dV
diff --git a/JavaBDD_tests/bdd/BDDTestCase.class b/JavaBDD_tests/bdd/BDDTestCase.class
new file mode 100644
index 0000000000000000000000000000000000000000..8ced5ed167eb3b239c909c586d1e43d78b0146c6
GIT binary patch
literal 3409
zcmX^0Z`VEs1_on>HS7#bj12rqDJl9+E-oRd#U;*(#i{HJEQ|~iS*3ZICHiSaiMgre
z`9<0K2w65p2BECPvPAvTlFS@^&yv)l#FG3XMh2d=#N?9vqDsHS+|*)52H|KQu&SKI
zymbBGlA_GKbZbTiPKcsRkP0z~0<ba8`8heM$t9WjdDe^!jG2rKB1n=jJFFQQ*z@vJ
zQu9i485tNo85uZ}6O%Jii!-ZI85uZil5;ZiGE3|j8JIOR!x$M@obyvs*%?F_83fQB
z!oeWM$RM4UTB28+rU#NtN=eakDs^$Gbc6VTgF%9kK^#qi7hF;bQ@3wsa#2210Ve|^
zgA5M?I|BzJ1HVsZUaDVdZc=JdNMce>DkFoCPkwS@PFP}5CWsFe<OMk$qCGRU7-WDV
z4+AFy7dwM8BZCOYiICv-$;``6P4USrF5zNOVo>E_P-75eWMH!aX}9BI&|uJFXV7G1
z;0Nmf2fcGnVsSAKgEoT>BLjO{ei0~o7#UPGAmIyE0*xI_Bq6XaYYqlIMg|s;*_;dp
z3`Xn>hKvk?2%|moN>bBPi+C7}8B7=%SVAHLTp1YzF-!qD%Z!J?oWX*Tfipd|#5c7h
zBR_?a!2ydKkP{8W4alx4N=*Z$5`BmX*6a*cD3R-*l$DxX0t!4E9tK_pJ}w3W20Ks?
z*)uY*Xn1OdfutOH82CX_&J3>X3@)IQ4ob`5a6mPlhrx}(osoepGp{T^JC%{a64|*B
ztE`co3l&0kFI0$~!IP0eGB346zc@`F6nxMe2Z`@WZU%1#Uv>r`l!!)T2p$GM27g8d
z=ERf~Mg~zVj?j!^X9#3u&<2^TkKz%}yt4e{L{P2@Ni0fFEpe?#PAvd&xflW%f_WH1
z7(y8tgwj(>(4-j|#5Iup5t31qUk*yG)|?FC43X>%5h&pvTv=R_n#;ow#SqQNz?@%N
z!pI;BNd=kt`T<3mc_qOmMX8Co*6a+ij11xkcR~`LQ)y;SN@@`YLp&pch+AT2PHKt*
zD9vRi=44i7=A|oeF~l$=g5og=EdU_;tu@0yDpGhDQW?@18Q2mF3R3e@7#Vbt!wRMp
z;x2F~L4=^TTXQgEFfuS%fi24d8I_G@0yHv_!v)m@kRx(=81fkM85uZA@*$Fp3?e8&
z2@$pCVkl%NW@jj3WDo`i2Wmj^FqAMPF*2|hfWj^(kDZ|mrVi|Icyur_u#{wE7K1V!
zG)cjVX;3Me#>l{!&B(x&l#)`An4F!M4laDa)`5+II)#yeF`1EpF_)1+3Mp_<^8(1Y
zBt`~lADoF8q#_<3?_l%c&a`G^;0-QGOwRUAEP$4G0x7A*B}Mtr@-{QI7?cUxc^Env
zIvE)_GU1hq7%cF>wFJB(;AUWD=;mSQVd!OKV986ZC_xWqXk>9Qcrf(yFiZdyk}N6t
zd8r_clXw^=GfZJ*V9!V__5<r>*3gV%WMI|s^aLd(W(HL*21bS%pcFTik%6^1wIs9v
zBr=<aL7qVn#G1>)Fb`xVYf)-(Y6&9)H^>dp?99j@tD%V}pg@JtA|3{A1|E>>=7Nk{
z%EK_9VF4opTTyCmei_)2D|i@|fo$L?Nlh$r$uG}iWZ(+UFD*(=b;|_RA_7P?Hn<97
zQDk6bU}j)sU}a!skOWme3=9n5I)s6Nfdyn8nC4~R1JnFqnumddL4ZM!fssLofq}uB
zfrSAC#M$;T2uCsti3Ufq2#E(rvI<ECZ)T9*$iTqB#30MSz#zrI#=yWJ#=yoP&cMwe
z!63jO$so)i#vsNZ&mad@1+r2eW-#M41`Y;x1_p*Ln-~<1F|cgh&7c&yok7Ki*>*X@
zv`q}sGDd#7I~dfhSR`45bXoT@Xhbq^V$ctcWC4-e7)-5LC0Q9+_cB;UGVf+Eh}7D`
zV7;BeHaL<6%5wnmwlO#zVDPYF)0Sl0$>7Dr5Wbwj9Ax4_hJcw2ypk*j7y`C21X;0c
zVhG#K5ECgBx1AwDcN;^pQ2I88WJ#8744K;)a<(xPv@kKsY+{h!xA1?4_GSi!jSP$o
zQVh8a1q`JO%wXR;F$gd)FsLxFGpI7~GpI3$FsL&~F=#R<FlaGYGH5fTFz7JkGUzfC
zFz7K9G3YZ?F&HqkFc>l{VNhdO&tSr^nZXnsN<j=9pfF)5XQ*IcVBlw1%23GwN)3Vx
z^BAfa_!yWNq!_vwsu^k+m>Copd>LvPOc+=gEE!A~>KN)7SQ%0nI2jrk8X4FaiWrO-
zni!fHSQuIu7#K7d*x3Iv@USy@GyZ3YW?*4wU<9$*8H7QM(mxEs><pzp8RVH5SQuJi
zal|kcoO~D<^fxgm9A{wJxQRhwCqo+}gU@mXLG7IkU5pF|7(9G+wlVZ+?_`+B$S~{w
z8%A*OFhGMv4jjc64D1Y+48jan46+Q?42lev3|b7f40;T9U@t2$Ff%YP=tI3Mz#s)q
zmy8Uu3@i+l42=v-U=MIHFth(*;AUrF<z--GPy;&+ls+RFn85n^wYD=%(~{oGV67#y
zmB9g#E``7e*nxqC!I6QJ!HI#7!5PU~eyFveum)uVMsTQuG6ECW8dx^41ZN`#25v1u
z<`;s@FSavGM_9qdz{J47;L5<o;089DhXG^^H`HhrhMDjHwPs)h%W-OLW0<A2jbRSL
z5I(Rsyck#*ycswce2@&{gc`&MDiEOA(w~75Y^ku;7KVkenDEiw#;{m>130sRvLwVv
ze+FKL00u#ZK(LWw5N%K+c^TNiVGMFr4?{21aDAvNS+%w?EI}B@26lQV*cgZxS)s--
zf(lQlW)rApE{Mw}GBT`zI|yPzB$5eSa1)ln1IYr_gyoD3h){wAbu0rXLmXC9=D|&|
zW&p(?0|T!XEY)shScq;=A_EUY5|Tl@Q0K5Ptb`k+&A<TmI3q$c#2@KM8X2J)85vfA
HeY+X}+?wEn
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/bdd/BasicTests.class b/JavaBDD_tests/bdd/BasicTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..ce1f7517c24225d24cd917d505ac3896cad0d370
GIT binary patch
literal 13440
zcmX^0Z`VEs1_oos>+B3nj0}89DJl9+iN%@8A*sbB#q10$j12r>F&7t*h;w3bDkB41
zQDR<7el8<}kWW@(S)zVvNoJ0I5LnEbk%7Y|IVUqOv&4>(fmuT{jFExGIX@+poq?N?
zK>%Gj7XvQ?KRW{-Oe!ZaFI_*lvbZEQmxn=sL6DI_FuAm-C^fGnBr`YFH!~+Evlwiw
z7Z(E;gD?++2!kji1Dg%hJ{Aox%`i>|Mh0;n237_(Mh1SL%)C^;(%hufqL9R-oK%pL
z^OF;E!V-%zL42?v7XvecG{`6pMh2FW43G^1K44G71Hzh-fh9LFGmnu$Od}fNX^2xx
ziZb)ktu@2A7!(<l*%_1=8N{<n^D;~HOHwOJN;CCAffiJnmzP?^!=S>T%E-W6RGP=g
zAfka}h;vS2aj`Wxq!NqLiy0Y&u~@;#z*~}9T;f?Am0FbVpO?zTz{sG*!=TN;!N|Z`
zlv<ox0us^XVbEjHXJlZ{NG$eCttbJ9RTLM4A%ihHgApTx7{qaDMTxno<@rU~`i{lL
zsYN9`3?>Ywj0{|fU|vX3X(}TFi$)a4TZ|0mJPZ~LmW&MCd8rj8Zi&ey`9+nC46+)U
zK6$An`o(GbphyJ=mx~Kj+M0{On!%Qx!G@7R5~m^_20I3OMh2Fu)S`S)xMDL8Y>*=l
zgA+(4b3Vx1)(kE@46Y1rj0|jLiA8>;xnMtff^78QVen+|Vr1YfPAv(8%CTs8YJw$w
zco=*c{1_S7GD|YT5{noa#5Fu|SQ)?&#Lf`N$RLF2b{>XcQ24TCg5v=cu%SE*VGQAn
z3_Os)b1f`Q%qeDMVAY5MhhG3gBo9LrNDpgfF*x1=7-D!BVnOl7l2(+O%E-W+l#;^8
zAdM$D85tNW7#T#csIX>aV60?hV60+f;0-QGOwRUAEC45JMh13JdI?J`0)<RE4?_k+
zCL;qkBxL-HQc{aRZjAN>#c=>bHV;D%C`g&hK<W({@<5)-2dVG`t1x6J<Y6d+xH&O1
zhl?SAp@fH_l%b4~fjKcRg^@u^1DoTphA%rq1tWtrX3)A;B&QaXWaj5FGB74GGB74F
zGB74HGBBnvGBBnxGBBnwGVnmX1a?2j5sf?yO(1u(=A@RT<}fmFgB1AWmwRNUXMp5e
zc^KM2j$}{FO9{^`$pD2#2M<FhC?T-tK~e%pT{jOy4>*bC<d=i^eLM{PAU;b*W_kuR
zDE;zFKvI)<7$$?HnDan<Lx!oKpqj?WppKlS{gbj%lS{0TGC5QPl*`#bj`U0c88(xL
zVHU_Rrc5w*4iCdzhIxz(Y^l&xB#u2;qZk=DL54UM6y#JgGB{&X1<Q(9;sq+D;^gAu
zUtk>-1xu-mco-HlEMa8eOaz$=3NJ<mZ)|2;6EqZS%ri1D<rgqAC=%4o$iS3j$jHDL
z1!5S12xAao!pOj$S?pGnnhFlBbvz8~L6OgqkyxAos$-bh|Ns9FEhxc31M&i>SlrCR
zu!dnCJHu8+26@bchY}o&4B+VTF9Jo+4jzV`pyb1rUj#CWlfjx{HxI)ehGih16oE|M
z$HOq6VF5ISMC5~Y9pqs+1k%M`fzWn@hv6tl8*@c|5mdEjZUM-^6Fdwj!7`b-1<+`9
z%FKkwo#A0P3zB0^0*Np(aDXD+B{MAzr11g|!$puJOG;*18dT0FwYV50cZG-HDp)Qj
zwYZp(feWP1Gp`J4<qaN&n;==X%)BzNtzdKg67y0(dhhTs+y%+9<biWGxES%vF9JzD
z;9+<Ol48z-@E?Q9fMuX?c*?`D5grbnC8?m$d%?r-lHnC219N6cDkFm(u?fi<N7@kr
zdBQcXxU?wMIk6xyIkTjal>q|kVGKbSLmtLp0cH8GJPh9$zB4j#rdE`=<U=ZQd5vf<
z&1fu15u(5vW&k@E!*7Pa><oVx86+^%4n#4iYWWAMQM|Ca9cC0KjKKtBOygo?W8`3G
zWM^a$0ac^=xrrqi`c9eYo_Qsy>8V9LjGT;Ij125$i8-aI{%MR1k{Vu`kWvLrr8O7B
zZ$=&-MqWlfMh3oAlwbmB!>$QbH3l#W@GuH83NbRU7bhp?f$K&iY>@@=t2GY$85!79
zz(HHg$iNis#mFFyCvX`V7z-I07>gJg7>gMh7)ux#7)u!$7|R$L7|R(M7&93e7(Lk;
zMc5fd85x8z<K2jnfeT(;6tgp`Ffs^(gD*2*-_sv1!^yzQsK&#n&Zxo2z?@%N!pI;B
z35Lvk{eYs(yprIOqSVA(Yj#F0P`eG(ltpUQIhAJSq@)&cFzPTea6rol1ujNSMm-(|
z5k`GR22tb^KN#K;WYlCd<Y6>oG-hOAODrfz1yzr_$Vy>V0mLnsHd=!$G38-2V>Ab4
z>wJjOphhD!=#jKob1_;nTC+1+A%y^v*LWChKrUr30Qoj2kBh;Y(T<1F9#m@b=YgBW
z{%MeCErupZMg}N@Asoigf-;z9K^eThPzHk#$V6WrhHs31pe7;K<PR|))RJQi;9(48
z3}R&9OizX9Ls{(2Fu1PYj3GRXp^Tt@L~&+SDkFo01~eEjasVS6V+0RlB&gfKnUkNF
z9tO%aT#V6-vFwa7j0}R{BmxdRc=j@5i~~iaC)7x=BqY4S87hH?F%cYq#i=EJiMgOw
zH)ApnV+yE2!VT#Kf!iXC4Eh>)k~>z@tr^pK7&Aa=oj*4*J2fn^2y9elUOK2GiNZ)7
z)|%0t?2Os4k^<c6^2yB0PEGO2EH2?<%wmw{Vqj#<<6+Ea1l1%E=Q+8!Fftfo%g)dw
zjlH<#W-MYXVFzVSK5(c(Z7VL}VJrn@Q|3fan-wJoz>;+oJE*ZL2G)iYo=&A{X{kkA
zjO7f{Aj7M97;6}785uY-OHzvxOF*@v7%XDJmU%+Ot+^TN85`Ld8yFdcz-FSz@-Q|r
zHZwA?fchrrIRxq;E`|WcRvyMSP;L?~f#xPqbq+~l#axW#j2)m1+sVkFgPc#H=>RkG
zAYK7Ej6oNq+mwrei?Nr7u@BVwU<WzHGp__xvQOY)oCwNm9GQ6~ki^LFn{hIzke&kS
zV0nRxUqi-eJPcus)6rUxP|LBTf-pt~#ymy_Zb)exoLQ9$>TV?Gm*#=GdwHM^5o<oA
zfe-DUBgF!!Bb$_xQq0I805KXInxF&(>PciVGB6b<F)~O%<dF11y$tGvU`B#9BLiDf
zYFd6#DkB4Hc}8Y(2B_%Eg}8_{F|8!Eh@EjIY9Ak5T(UE+hLu}jcQ_UmC02qQ!^OCY
zaV@BrT?Yy$Pt7n;lG(t+xRG%aX!s#DH@_?uBj3W~n~QM^593x)p9|b)b;{4rNlnaS
zWMIk3ECy9I*<dq@OLIyX8KiKx06@8EHxJ_;#=VRTypY@!oKc#V1{y}tKp6&r+N_D(
zZ-<J3(#L*K>N>#4Ag$qyGckdxZ&NPD!;DAS8IQn%3K1y9JdDQ}kAs4>7!*E?460Zi
z0EsuSHjpxFP&l3hh2tqi8vrcpoS&1Enhfe~fd(%a&oG{2XFQ8G@&NS#594`I7Gq7$
z$<Ip##luA&#!H~UWzQ^j%`GUYWMtq9&Mz%WPIb!!1r0x9{74U!Ru~z0JV65>;9(AM
zS_Stz7!(;88JHOu7#JD2K!Y_53=A?191QFX91M&MoD2*MdJHV!)*at&2Cm2*3_RNz
zgf=sXZDe3zU}BJ9U|?WlU}Rum;$@Hoi-61#f$P<0U<AoBuxf2*kV4bKAO+UK15v;r
z!ywDRz`)5M#~=^2*aWJXO^9&^g91V~7XuRm1A{CBD}x-832Y2%4C-KSXuzyzRAyiT
zSEH3$+ZZ&pwlV1JU@%zDkfybb!OTZ{8-tav_BI9wKkaP{&K!#vIJG&pF}R0ovutDV
zwqjw?*~Z|%gCT@jXB$HVh}MPhS#+U%Nfw9zGl&6Fp|g!4T6Y^mG>9J!vTWA>nIK0q
zgG0%UL6CugL6L!lL5YEzL79P%L4`q>L6t#*L5)F{L7hRHL4(1FL6gCXL5snOL7Tyg
zL5CrTL6;$#L60GYL7$<JL7Aa~!4T|W6NsmvK_<))#}LO5&%nqa!4S!iz>vtm#30KM
z!jQy}$iU2C#9+^m%#g^y!jQtiz#zoH%=eE$hMmEhogsjoA>aptD+41#Dm=jMF|aal
zFfcG2Knbw5umD32CXPK^kt{6!k*uu#k!)=Kk?idL+ZfWoq35g3x{blxPn!)KlAtiQ
zVg&`a6&om2vvx4#vg&SQ0MTrqzydKOS+_A{h3{Y}SkAy|#V*N)%+t}`#!zg<&LYVU
z(S#DvAdS%=_0b?{Xt)P$WME<_V5nrMVJK&)V`yjSVkl>T#6uc11X&nN8MqnD82A{>
z8H5=u7!(;S87vsA80;9V8C)1_7`z#583GyX7{VFs8R8in7}6OW844Jj8Oj)37%CZD
z8R{6^8Cn=T7}^;;8G0DJ7$!4#Gt6P|Vc5Z7#;~8k4{S>iBrM_av=kaob_`VvmEd@C
zVJKm!0>_g#LoP!#IGzF-(iv(P5*b(-!Wj}7Y8et4*cc`=s4~<sBr>prW6^?vo$n8W
z5IckQe}*Uqc6J6vc!WZtm7O5~Bv#Jo&CXEH_@6-=#A5_!j(T`p|6yQdU}s=p6hMjV
zza+#p^EL)=UvP~3fn(f?1rp_~+U%g1X9MLOP~?L042Wih#Wou#)<7bVnBKvVs|`v{
z%&h*AENuRftnB`g>@1+<M1l!yI@=f;b};0!>q2O7z61%dfGh(sSV74I#K4h&AbFMv
zk!PzI<QNzj0vT8sf*80Nf*JT2LKuV@LKzep!Wb+V!WrxsA{bm4A{o3Hq8Nf0q8TC?
zVi*z`Vi__S;uwk;;u)$L5*S(-5*cPQBrz;zNM=~gkixKqA(de-LmI;|hIEE=3>gg9
z7%~~|Gh{KmV8~|p$dJRx!4S;I&yWXBKOT_yfv2CZ@bq&Eo_>zN)6ZUL`Uzs#22DSa
z4C|rk2bA}D7?`1{<`=^=21bTvcuL4(U<H>b>rhg{Y*JH#4mc@nV`vH20VRia5DON8
zI@=h!{6OgdRHlMTNu6yBy<h=QGSJ<|&}#*fjfN)?P*Q>Dz)`lQAmS;GL7ahsp^$-v
zp@@N-p_qY>p@c!0p_D<9p^U+Tp@PAVp_0Lap^71hp_(Czp@t!zp_U<?p^hP&p`M|D
zp@E@-p^>4Ep^2f1p_!qZp@m^0Lo35fhBk&}48;s<89Kmm0V#9W!Q)~wJT5YzaS_kp
z4vmXC1`TLjpoe=410%x(c(}_!tEV!Qa8Je-?%=GZvyEY*pEmP0hIT6!T}hT53{ya%
z1gdm;tyow<Y*6TeXpmSJR18P>%|V2p7lRN314B0h3qubBH$yK2A44C5Fhf6sBEv)m
zb%sd{It-H;j2WgdSTamyuw$6U;KDGS!IxnMLlDDEh6sjP;1r(6(92NDFc>%HUxY
z4Gk-G26t#!=`c7!!^)V!8b?_9FfcMqhliCD12ecCG6f~98nJ~Hr~>!Z*~T!#PX`oO
z-k@{{szYYaWMF4r&cMR5gTX*&8$;GC26mR^3@pq$7z{ww5z7K3KB&3^>4VhzAm#q3
zx<Mfv4Jk3|5FrVv<rgrpFf3%?W?00)$FP_|m|+QnBEvEUb%x~(It(iq%otWOxG}6^
z2xVB!kjk)zA&+4#Ln*^Lh8BkP3_T2s7$!4p1c#y)#J})Rtb~VRDm)YuprHs#X9^75
z(ER<EK><<^I56@$F!DJt$~rLqVBlh40F9AC8dr=A3@qT<sX!LwRS?$M#;`EbiXGCt
z0avD?EFf`E{f$KqRHHk9<gv)Hf%JedrW`1&AnisqaO-j#gBZhh25E*J3`Pt)8O#}W
zG59g;W(a23!;r<Wmm!~FA2=)^HE97fEEpIHpkV=GEoE2+ZV(nQEN55&ZpjuftYlaL
z4!r_~RSYY@Wm^HmYK9dIYzzVn3E<EJwQtuj%!7mmg9if>xEU&{wT)pd(|iU#5G}M}
zJ_9TB8kRK-4A8~{xT(u<5bPvKyHyk%0Sw@3nVEr6n1KN_{t7XbX&nPI12+Q$V>l?7
ztk}UMha|fdrzD3Jmn7E?hD}ImN|IfY0~B20vY@aBWm;KDPH1Fs>|ofmgTVl-1w^xN
zV~7Tu1~SvZim;iY;KmckP*D~_raBPqQc+fzQ$<;cGnFW}vcXMd!)q!iDM1=_(->44
z7#NN-@GzWU5MemUpu%v9L6_k)gBima2789H4DJl)82lN|GlVc)WJqAR#E`*onW2K=
z3PU5qRfcYcYYbBvt~1PKxWTZL;U>c>hT9C=8169aW4Oz3j^Q4|b%y&44;daXyk>aF
z@R{Ke!*7Pij0_A<8F?6<F^VueXH;Q$!KlmdlF^*u6{91=Yer9oH;jP{ZyCcF-htCe
z0VD~)k}hL7Ea@_aGeDCrV>m47GKRyFE@L<>=`w~xlP()$AT;UnFnWX29S4H|qdU0x
z<YW+GbOu-ZT;Q~5%)s%VL4koA);8S2$jHbDDHI?i1A_zOZ-yWc5dtL`7#X&~%Ufdx
zc5uFFM=5VhaF(~A8sFOw)B<R?Vvz*3^S6hCYNCi83<jX2>Z=1Hw=rxFhjgqAbag=-
zSVsV*Nv5T}iD4Hr3k%COhP{v?wi^-Gehi>Y_K|^w;S&Ql!)FFQhA#}l3||=(8NM^9
zGyGuCW%$Wp!tjg1n&CHtGs7PS4~D-Cfeil`A{hQN#4$23q%krw6f-h0)H8f$Xk%mn
z#}TA*Z->T_FhdSBj?@_<z#-1Wpvw>h4sm7%69#W^h(kJ5$c?I421bVc@BlP|24I^O
za^JI<gaAB1H~<fXBPu9xjRXqvXi)eaW@cewhKFAdTKF-7R+Mlsa5Hi;@G){R2s3gs
zC^GUgs5A00=rZy%m@o=3SThPTI5P?{crXex1Tu;+L@<gn#4(C7q%w*#6fsIL)G=~0
zv@$~a@R0CpgNI)>Jp97p;TH%GKQA2N7sJ5Fa10iH47CjG;9^}JCHzFd;Ro{IaTXS4
zL;`t@@Sq&H)hx@v!YIeU%_z^n$Ed&{%&5d5&nVBJ#;5|0a50F{a0l~19So{RSs0l3
z1Q-|@P7&>t(=5#RoTARa!l=Q(&8W%1$Ed|1%&5a4|u#;8ZMQ_d0Xl=IBYNYRcF
zDuxU!j7ALHjK&Onj3x}ijAjh-jK&OVj21*Y<r2|Oxy;PMj7WhPPO)ZSVYFf3X0&DC
zW3*!sW^`bXXS8KdV{{_gDc6X0%5@fIq{0NlDXt7GjBX6vjP4A4j2;Zaj9v`#jP49-
zj6Os=<rdLSxy^!{FEO0r&%nYMz`)HI$iT-K#30NV!XVEW$e_j;#sC^#BPQA2BibqV
zS(x!fP$UBjV-y27V>AOFV+?~ZV;qA#V>E*rV*=4m*$8tABR@1VPe#ei4e-qTh#8!N
zo`5nowB!e~p`{p@4bAXiHZ;e9+0Y~pW<%2)m<^3|FdG``U^dj-Pari*J)+=nVh~_p
zU`%FUVN7A*W=v(^V@zWZX3SuaXUt^KX3SzRXUt}BX3SymXUt`YX3S$qXUu0PW-MT+
zXDnpsW=v(6#8`|JG?U?lO9fKl!p6YF_nV=Hfsx@EJaCd3m_bDr1E|A|7^Un02M(68
zN%)|pl@*JQE~vnNZpEr2$qMQYvTkFD){zADq@P={g2p{2TCwR!vcaT410d1hn%as@
zl1)cv8v|S`N(Btk2^my_1X4L7kir;585kJL7+4s~8MqlM82A_~8H5?D7!(<67}ObS
z8FU!y7>pR}8LSx_7#tZJ8Qd6~82lNV8NwJ_7-AS(8PXWr7;+ig8Oj(t7-|^17$!4T
zFwA1?0S6p-yn|sjJm4Cj0jJK81Fc4M7}BBDh!H~~v>LHyhyXWySQ)|?Y;lZt6f!U}
zyoLoh(`g1)1|9|mMo{{L2RLIcIKbKWa7QwWFuVzfWD#L_7ZAxR!tfy=l1+r+Q-H6w
z&NhZGe!9#?A`CyaG5oS((Pc3bVfYVXvg)!Li7<QuG1+w4j6@h2K}>c@@R(Dv6^A6a
z0bUGh`h!}x#a3L*X57me&g+VD8;LM7?_gxz#>gEm!ti4UBda8fF0;`#M*bZPQ$!g4
zg9KQ0S>OVnKmu&KtS|vaMvwrzE*ne$qJ;xp3kO0A#1>A3Ef6y}(aqpOH-igd21E-N
zTuTc#qbRrTzJ>n{B)LF?;G7_W14Mv2E8v6&NmVS{7$E)Tf0GcY3Ov%r*w4ViIDvti
zaUugB<0J-Q#>ou&j8hm)8K*KhFivCeW}MCt#yEo^k#QzN7UL|2V#e7FHH>o^ni%IX
zOkkYPu#j;9!zRXs42KyPF<fC>%<z<P3BxzWrHt&1%NQjXmosWIu3)rcT*>IoIF~V$
zaXn)N<3z@KMo3?~3X&dRDUUG~n)37+JsE`=MHrYEOhL_SMo|W41_wq9MltY6tv91C
zqd0h^HjGh;Q35<to5(26C<z{^&0^$ZlwwF^;9w|bWM!0QNMzt-sA2fSD8rD*z{OC{
zaE(zG)ItF_*DV=X`2I5#Gw?v$>x}a3jL<$jq`3|!85tOUGo1d<pa~z+WmII~U|?cY
zVgPmN85xy9-D;N246L9D2PRJB0+;a{IEim!RNc*}87a)Dy`524dmE#{Hb#?ej27D4
z7;S9@xNxWcNOloMhk!^95k{wgNC7qxMwfs{0d^5aw}40i4iQF=fJgyO5k{{7zvT>k
z+8~2%^|vwlgoDflC5-pF`}Q*Ywqjv6V_nXmAju-isx8X8jnO|?SCkdRGup-&yp1tD
zpoNuDloh1mK3JtNSWc962V>MW#(1!#B+I^q|6dEFn6V0QnXxgOu`g#7m1Nn$m}JGF
zt<5aSv5hfp8$;S|#;nNgj5$`E%w}B68N{@AFy>luOL9tb?_?}wVhC^HVie^P;9B_q
z<!;9E$nA`kR$P*tJ3$LLt+<ynNP(2qF)|!r2(aRj<dWps#@Moru{|6l+{MT+>;EH3
zu5FCnR@|Ey#3WhvZDZ^);{h{8c_9AiXUhNy@=CIZ@)(Kowr*pb6pmpLAIKuUos3Y6
z_$9d{`C%6E?PNr@h)<GRl5Yp&RG1t2motb+^24<XND6@R8b4Iiixzf9QFeiph5ufG
zOYnc3h`e@=!I*)8aSH<r<5mW4#%&CIjN2K68Fw&fG45p0XWYe5!nm8EoN*6B6XR}%
zZpM8KlNk3i%wRmgu$b{6!zRZ440{+4GaO<(!f>APFvBgzV+{8gk25@CJi+jS@g&20
z#?uVH7|$>=GoEGSWIV^n&v>3ulJP8~GUG)?9mY$H7L1n}T^O%0`ZHc)jAXpdn80|0
zF`MxwV*}%D#vaByj8hr!GA?Ai$GDd9KI0C?yNrhzA2FU}e9U-(@d@J{#;1%g7@sk|
zWqiW;o$&+{BjYwE4#rpDn&S_MWa5P9-*@o*dx>!dBWRqpgt3=#CZh-gGs7gte1;lE
zQ3e)<sSN7iJjlwhpFtYRy2q%@IEzt^ftBGAqdenmMmYvHhNp}&U|DvC_lz8ja~S6`
za4<46d|{l&IG=%&k&Qu?aRH+o0~aGd0~Z5mHiw&0hv78iLdHc5T#Tj+DvS#l7c+1(
zx-f8qWqBAA7^X8WVVujr&6v&5!?=`Dj)8}<fuWpn8KWEnFXKF@4nD@UP#ye?CmHk@
zmov^~;A6bWAO|*&pYa6)E7&{%a0zmVL5S}kLk2s8H6uHtJl9_aQFcZJMj0OdzYL;`
zjQ<!E*cn%_GZrxl{b!Jd6*C}}AXSWv5J`5%a(2dg1_rVJ41u8S0E|%6Fx0F7>3}Fy
zW)OgsSy&AND_j9KRNy}Y4+96fS_X#ypb2Dl@aP*CXvGX<?2NG;IzG8vYa65OJjBTC
zZpKxSAffGyYkW2_h=G{f7<+7)?UpkLX=}-DWAuk+Z)QeWkmSPuZ?r&@yv$}S%NgvU
zIz(AgK$#O%0PSR4&%|(m;kOkVDEqR3%b<RcB)hI8n<#thHiloIao`pfMo|`-h5rxA
z%wiDT#2~hfaq~<D9$l?%3|1g%-3{<DLP#s}EdxK}I|gaS_Y7)`9~iV5KQfpzeqeB7
z{LJ9a_=Ulj@hd|N<2Qy(#_tT3j6WFK7{4&|GyY<j!}yzFDI+*BGsJ+(afam#bqw(g
z3=Gl?J&fBJ=QA)es4+A$ZU-l64F)N2vSem(XGmb&!2p`>^<r=Zi?J}oFlaF(fD>{i
zgDgW0<4y)PhDrurh9pK%2N~4SRbgP~c3}L+AO}hpjC}tYgcw*s6N!vPppha*1_tY2
z4AKl-pjB3oNMX1L9fbGO+QGQ%0HcC8v_$h^wq4F(C^L^i9uhQmvNIWYwFN4+G42ar
z&cLND5D#K$YsnaGV>}2dMq8K|WwiD!{C{418)G*j?6g3G)JzNv988Q10!&N{qD;&T
zl1wZN3QVjFdQ5B#rc4|R4opl8o=jYz49@@=BKKnyW)x*$U=U!i17|u$1|bG>a40Y_
zC@_dJB!Gv7K|U5_U;$^0a>hRl5{$nX*mxPZK<i4N-h05n!obGBz~HI1&jy^%b}$~=
z&UnICYa8R~1B_?<z-dTs6N8vEECK0?vgnAig40kiIEhFv{QpR2C*uW12GFbm!e`*Y
zZYF*PW+nj!ekMT%aV8-KStelyO(qcrQzjt>J0>v(cP4SLuk0X>V5np~3r<yT;3ABX
zfuF$&oCcT}#2JhjcQBr1U}lhFPyzdtg+Y^n2b?Zg!Nq|n1Ji%d5(#$3GmPwvMIefS
fL5hKi@iJ(Y2ICdRs|*YbpasKQ7_1quF>nF^pLT_=
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/bdd/CallbackTests.class b/JavaBDD_tests/bdd/CallbackTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..b9cd54e08f7bb6957fbda9a4d1b4f6fe3381c7cf
GIT binary patch
literal 4640
zcmX^0Z`VEs1_on>TkH%>j0}QFDJlBSi8(n*iOJa^sl_G5><lc74E!KrCl?oxh;w3b
zDkB4DdUAYnVopwK3L^ufCnE!2QEGlsN@@{8Fp80Zw<xtZvnmxX#%7b5msw)R$iS?j
z8OF%K;+&t7%EiFUz{kVD#lX$T!0(fpm+DuVo0M7<l9-f}%E%z(lb@WJ6P8$%3F1Qq
zSxPc8iy0Y&eL${4ajZ2X150jVW*#Ghm`1cuR$^JAeokUux_)p;QD$DcwPqL>gBXJZ
zJA*hQgLqbHUS^4YNoqw&X{J8NV?m{Pd8tJ_43Z2|j10_0rFo1DA{t1BIOil57h8iJ
zo>-I)asU=97#a9-E90So0}4b&26YWjpS;u({o*uzkc&W$c5-oXOH3}wFRD~=cMdK|
zECHFz$)LcX#Ll3|$RGex2X%R6aY<?}4}&s;3L^t^erX9KgDAvJnfdwwMVWae!6ikh
ziMiHX3~CG-><sFR48maDsM0(PnhaWu4D1CU9XWZ745G+B^H0i3O)jz44C7>AWYFPZ
zU}a!qWMHgdWMC}@xs8!QnFtRsGVlhMBqnG3CKf>BiLWHJxWwHV7DHSNj10y+3?`tM
zW-UrBPA%bJkY#5uXJp_9yBHi(;6UbNuw<}iXRu;q5Jbp$=9Q$TgW|`A!IqJMB_uMy
zm61UZ5*7%p*6a-Sj0}nd!<&o2jKPtI!HL0{kwGv$wZtVgIVZ6wHN`izBqKkCk--5u
ze4xn(Il95_wAMtjz9=;<CpEc5A7X+v7lSK<J3E6LBZD-;55cL)rA3(~m97=ZsRbpO
z`FT7H9t@t03>+o-5IaCg4%twMs5KXZH-j%bgAXHv7$n)I6(#1Tmgg5`>pK<~rxum)
zF!(X}GcvHGC1&QJMK06`P}&a!xhRN{K_1~Ezx?3R<P3<L;jRM3R0t14C_@+{1A9hd
zv0rLM2{_Y6fgBRS!w|_3#mK;w2(~(;s5F(4fkh(<WCJ5Z3=cyrLmVRmcV22m2{e&2
zGRSIZ;!Z-=Tnq^eN$d=Xj0}=EBaVk5nIVOdL8vG-J+rtZwFr@}7#Z}DBMX|CamS2i
z7&8O^|NkIM(|H&&7%~|d*vb-%{7Q4de)I%MWb-iOFyt~aa2BVQghAz4G(0uIlKDIg
z1q_9Z44g@&nK>!WrAeub43Zk2(Vp1+XwAh?%uveCP{PO{gy}gRhB8ogU`Z=VO$FIo
z!NX7q@}@{>9yX6M<}xx!;r1CL17j*9gDjE)j09)R$e@TMk2U(O85x+9Qc@Thr18WV
zBLjP0X|7XdNiib>b8cb<BLhoWVo@<815>moBLib5BLia@BZCMQ6Rg=8IvE)x5NQxK
z=dd%hFfs_|R>mXOD3Fp=2X9Fl1gU`##VI309}fdN0|z4mV>Tm$1{SA4)29lGRz?P4
zP{9QigOy$!4BhMuQy3Z4Fe4G0DWJ%l#=|fj6q(|%s6;aoq-G`$!z_l`j0|j<B^hCf
zMT`vM8n~0uTposb4D%To*c0<o!ZS-U7#Xy%`N|q=I^<+XU|7h*u!vzXBLh#6tACJ-
zYfyZ!r&|ak12*+&o`RGR;GDXYhhZ7Raz+MrXaq4b=wNdNb^}0#L;}M~9)?w*kdZ_r
zbF{EwWDo);0eJfXk^)#YJUunT*csM=DsZ&w-3gQ%Q;RqlHZU@9=jWs-fb=TZDsVBZ
zW!MC2VfcesTX-0@GHhdHU`s40NX<)OWRL*`I3h7Zic6?j)*K8w7#VnV6!KEbk&W90
zGGsR+gD!Hx1JQ|6CqRT?hJmbi2i4R2K-IB7sIoo4!@vnjpzQfMDIn*9a#d<Mge3$?
zg&+<h5v~R$nqxc+$3ej-hDcb*sz6Fk@-UnNm23j(sU?2-DXHKpIXJTlT*{o`VK@sa
z-2{rUNS^0mxBxO-0y%Dwjfc1qWELX>S8#r5QF5wVCb+Q%b0(-YRjdaJQ$_|JPf)80
zTwSIXGcvG4+dJ$G*BKeq3Fak8vSVc6g(eRep9jhZXLbff21W*E1_lOZ1_w~vg@J*=
z0hI5-G$#WG0|NsG10$%3$-v0K!@$6x&%nsQ$iTqBs<oYgcOwG>0}}&30|NsaSWu8b
zfPsO52h3(=5M&TyU|`^65M~g8YBqstW)ouE!61sz&BegPz`!8Fz{((sWC9z5G=mHS
z0|O(2EQ1`>giHozuye(vXEBIuVvyI_#-OSdxrITSC1ERrHpoO~uzQ3USQr=>q!?Hj
zq#3vwWEeyl<iI8?Ky*Xh#=s!PpbK@o7=s>zJ_8ej0XQ%iMHv_w3>ml~)-owEuz|zk
zsMa<HBOyj1Q`Wr<W|7RB7%YM#S%mC@w=p>QEN2k))!D}2vV*~EBZv_IVrXq+2;RXE
zzMP>=Ya2tfua1`XHimdD=B*6c0wQ)osb(xX+ZfUWL>4h{=?I8yW5@~@5ZS|J#ma2P
zww!@il2w#Vl+C||jZu_MKxE<nPhepMEs%GYFt9CWkkJuklVsh-kY~j%$-a%D2&_^l
zb>aW}AT{$C*jbh{urTjn2nX9+4sy(_|CJjVn84v8$KVR4)foaAAfZ;rAkV<Spvb_&
zpu)hxpvoZ5pu!-{pvEB2pblyxGpI9YGH5VpG3YaBGZ--FGMF>yF<3F^GuSg2Ft{=p
zGI%i<G59hVGXyf2FeEaVGNdz@G2}9sGn6oxG1M_wGPE#QG4wN7Gt6YLVVK8Y$*_XK
zj$u24J;PoGJ%%F;j^G%o0w=Sh&=`_tU}mUdsAgbfFkqMpWyv#eFw`*AGB7b{fLV16
zObqr6bqw_k4Gc^Sz6=EnjSOrI%nX4HISfq<Yz!<6=?q~E%?vFJtPEKUA`GnzYz%A+
zjST8g)=UOghBk(F26k}Vn=|mmu`{@OurmbyVc=kA=-~XvpvKOSz{vQQft#J7i;<Iu
zOYj#18<zv)e+CW)CUyo!c7_gcGVNyQfut9P6b2@6LKBpp#lR0srYu_-deKv;8v_f2
zI|Da^2ZI2E7uf%h6e<YyKLdjxLq9Zy3Nq+1OhBYi0R~2fiLeyPI1TJk28KD%6gmkd
zg-#|Sg~lRM=u}V&?FA)GjztWdIvk*csl&XDVTPZs4$C%%8QU1<gzM_C!dYxkmd+-I
z1=|>wXl-HW-N6v9yN#g;obXma65gVXI1^qLgA@Y;gD(RMLjVH@Lm-1VLjZ#`LlA>J
zLokCHLkNR9Lnwm=Ll}cTLpXy0LnMPaLllD*Lo|auLkxo}Lo9<ALmWc{Lp(zqLjpqv
zLn1>FLlQ#`Lo!1%LkdF|Ln=cbLmI;rhA4*F3>n}+_F!OVU|^U74P@j*mV-Bug+dcq
z9D^ByE<-y5GdRgeF|eT}nLnW3S;8*{YX(M!)eLK(sUn+!1)M5WH!;ZXW>_03w0=9o
zM(J$~n}xP-W7sLPjbZaPhCSOD_G+<gW!Mi&DUh<253DJdL7pLxL4_e7>;XtBQH6Sd
zfkBnwAT*VzG8|%HV_;%nWH<~@9Ny5xkqb>6N01W-s1PGue(54o$5Bw~*srsV;RI`j
zosR4_hST9%TNw7kikWke*uDgbZ5al622e30!=M2#X2KXm85kIf7+4re88{fq7$g`<
z8DtpB859^Q7}Oam88jHG7&IBG84MU|7z`Qe7%Uj-8LSx^7#tWH8Qd6}7`z#p8G;yE
z7$O*28R8k*7*ZMP8FCmpzySk^*<5JA$iRyaLk1gY%qoBj4N&o+31)$c4+jQSXv_vN
z2s2y+7ayRCK!|}g9<?ygWME>r1g`cjGh6{zG0Y5h3<(TZ88{iPF(feDVBln!%#grv
HlYtWe0*F+G
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/bdd/IteratorTests.class b/JavaBDD_tests/bdd/IteratorTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..9c3f4cffc8a83b70303098cc8b3e179e2e23b274
GIT binary patch
literal 3572
zcmX^0Z`VEs1_on>qwEY!j0}QFDJlA%C8<S;CHX}msl_G5><lc74E!KrCl?oxh;w3b
zDkB4%O=ezZi5(*Yvxa6EBLj<beo87A12Y3B4+AR$8zTe1Pi9`KUukYqYEejHQcfx(
zgOE>ta$-(cVo@fD4;5r7$;d2bWDxcNS%6}%H6sH{ZenI0BZHVmv`<!IS)zVUVqUs_
za7j^SUb?kr7#D*egD^XT5F>+lR%u>liGE3HMM-I<KFEzhrFnU&MLY~545Ew-%tfVn
zj0_?gNQOA)Bo-H2gB_k&ln!zL7AqJTcuG=>OJJ_zVqj#D;$e^m`Hr<HwK%l|BqGbh
zAjcrj$iSYFSnQWtQ34K-C@uy?24!{zB}N7@h}+VN5_40_^NX_e9gB-oi%NJHR2Wnl
z8MqR`ypW>OR7M6CjVO?>7#Y-g7&I6(85y|qQY%W_5|c~viz*ozWHmH>@={Cmi_`Q$
zp#cgoCl?o}v^6sWGp_>|gARipJA*DGgCtIsJPi5_28;{>#i=EJ`6;R3cnHp{0^9GY
z=?OBzh=;+L!Gw{4Gqs|`B_9$A@*2^en$cJs08wBK(r3oQV9sE{$iSJN3fCvA;fc-J
zP+jZ{R*Vb+An)jxmSpDW2PNjE<mYlRSTb;e2wNToJCI}9K>^{JR|2xcfrr77!HJQ9
zr7E>3ACx$-8E?(S;KJa>&fv<(Ab}YY5X*TO+!;I=8Q3yQGQtvz7#YMhyl@!h#o)uv
z;LXS&glQBHgD-<0BLiE0QFvxa1|x%(29_YQ#$m1tLjVs$AjmV!;MC;B5X{36!Vt>H
zz>x{ff{YAiM4PDM<l+KLtkzr%UJT(p3=s^Gj0~JG(~NLC5D^C`Mnv;4#DEe!OIlHC
zDmz0QBZDA9rAK0MMldKF#4>PlGbA!3voj<yG6*3Qz>MNyNMQgaFi<pta-t?uR`gHG
zN=+^SyEmPOA%h{4k%6N)vBWvQG_M2{DOkhPh0U(&`lnfY)_Z_*S}qSm9z#AO0}muO
zxfYft<`gqBuxYrsxM+rPGZZouvojPiGVmf?7Mxnb!%)Id%E-W+n3BTCAc|Z%K%Jx+
z1@e?ENPh(nLnTNtTPoOWE{0f!YEVH}!^j{B)d^0&&iOexsmUdo`FYk5i|cq8>KPgs
z890klbMwnm9dmN<=!jxxXabdHXl0#KX=YAJY7qxR3nPOPEGjiL6_WGwN)j{kiWN#S
zQj1d+QY%V|5{s=AxELB4+CYwLNAng^$=S%z$-~ga(9OuemRL}bnwP@JpbPZ}xR8Z~
z08%_bbVJ=@&B4&i$iT=2va26t(gZXEAgZmABN`%vFkliRgEGuFM)<umg@<7(!!$+)
zj*@(cDd>p^B5Dmv3^RBbW-_!hGO(m2X6At6ZZ;@S&4H8@hy(yjn%0aA%t@dWAdMxV
z!3tMK2CfuvIS45z89f;p7*iM-q_Aj#lr7eb3`{9Tj0}uLpn4BsE2Mn0W@KP3$;?eH
zW@KPb&d*KC%u8itV9aD>U`>Xkdd4J11`#ZVTQf2+W-&6bl_eJWmF6-sFeWoHFqeS}
zFQ!aGkQRhZNd9BWG-706DmDaF$_NF)sU;v+7K7xH3_%K#85tN|7#Wz7j2IcXiw)y*
zGxJJ|<3S3zi;ZABLq-P1Y(@sgLPiGO;F84TY~REJa2>+Pz!jWdT9lmXmI<!yVGaOQ
z$HjUedl?ycJVDhmxbjUcW@k9e$RLMVq#_q%j11gJg&Kn*10w@70|+oPFoN0{42%ry
z3=9nV42%qn3=9mcTH6^oHZm|UFfnj3Ffg!z1w|RS85kINz-(3q9tK_p1_n+BJ_dfM
zW)rApHX+6x3<3z<TntPM3=HB7tPB!JCa^JxF^DrTFfcMmfX!!TU|^Zbz{ViVz`*!e
zYa4^4);0#29SjP~882vUV^H(a7Sh_rpdBvA!eFb-x`!*0S;jw-MaF*{gJHNf^EL)k
zKW&z645n5ryBRDaw=-B<u?jN3Fk=&BoM6VzY{s#iv00K;lzkh6jTxu*HU@huE@m_C
z<qYzYtTG@m9$itM)@=;VR=kp2lDyj(Ji}YK8AZ88IT!wapu3I1--=t3OOksVLy#2@
zgb@Z(xs4%eH$!aXc7}K>J{W_4IfJ$&&rXH}Mur0nURDB<0w8^9mV*2ef+7rAI~Z~#
z`6LB)G88Z|goD(TF*3~he-WgK7q2FMxF+763=mBqgQFz*B>8tTlru5RVh8}aL6UDf
zLlxLs{+$f9Obp>*L4J^+proKAA55?@QmA=5L#w2~HiizNo^1?$LKC+!^hpYCW9Zn%
zFnI^Vbdb_nj0{!+%NayKc0)ZR2vQOS5&%2m1;}<Hl(ld$igJjuE&Nvliq={G^g+pk
z8JxIYF<3D$Fi117Fvu`)GsrUVF~~6pGsrVYF(@#|F(@+VF(@&ZFeo!vGpI1QFsL$k
zGN>{5F{m?yFlaEuGH5a+GiWhnGH5dtGUzZ=G3YWhF=#RLFz7Q(VlZHs&0xr|gu#em
zC4(`;CI%CR-3+D-`xwj^PBEA>TxPIfxWiz{@QlHf;RAy;!)FE?hW`w<j2sMhjDigI
zjM5C&jH(Qdj9Ls%jAjhZjE)R0jNS~cjA0CJj0p_xjKvHdjI|8zjLi&QjQtGWjI$Yh
z7#A>jF|K0pW8B8z&v=L-fblqkALB&^b;jEavW$-yLO{u%QH4Pkl*FMKNSN^i!(4`W
z42%qNjC&d8Gb~_WVlZJ`&ajYS5d$-WHRA$?#SDuWSQuOwr!y>JSjxc4;K?|NVHv{$
z1~vvi#$JZy3=0_883Gx*7*;SWVBlbgWh`M>$*_QdlOdTgk6{(VY6dQbGzK+>H4F<F
zK!vy<!&-&~3_J`~3>*yW7*;dzGE8E$XIRg$nt_{PHlrEC28N9cJPb=1bs07>Y-HeN
z*u*H$u$f^C10Ta~Mlpu13|koZ8BQ_CFl=L3%^<*VnL(IgJHrkJL5BYfG7LLGVvHOx
zF-AuQCx%@NTNnfw!x(fKb~9{Y5M=COkYm`xu#rK4aW(@h!(N8f41$cC;bMniVho_Z
zR2u_7-+u;I22OScMs@}rMs@}lFtTK1WMp9Y#~{MU&fvu;{hz^tK>&*qkSsfc7dt~D
z7!|TJ6f!WV^Qix3NdLpY&CZZ0AS&>mfd_~2|3Re^JGii8V%QHZ3J)+GWME(bbyf~B
KcrhGd-~<4h>RGV>
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/highlevel/NQueensTest$NQueens.class b/JavaBDD_tests/highlevel/NQueensTest$NQueens.class
new file mode 100644
index 0000000000000000000000000000000000000000..940b23b837976810136fe8c4bebfd769164758a1
GIT binary patch
literal 3026
zcmX^0Z`VEs1_on>dUggTMh4l8%=C<$)UwnZeZRoc)YQD<kksN56)2mXfrXJlAS<yf
zQ9ma!FJ0e1DJwO(gpq;KiIG9tCoi=`zc@`FB%PF!qVMG5;+B|Pl3!G5&B(y$$H>6w
z$;iMM!N?#M9gRh;H6sISA;?BX1`+Ji9L4!Lr6rm9d5jEfHko;uC3cJq%o>_uj0`N!
z`6;Pf49pBdJPdpc{EQ6zKACx`ex<odsYM})Nja&E3_?En$%#2(iA9+pK2(sUBqOt!
zkwM-Eudl5c8Q6<T^FRRsw$O!>fssLqhk=!Wjf+8sL5`h4mXSdcr|)?f<QWtg8Q97a
zi~LG+!6tZuOi<!sU}xX}nV`bMpvs`e$iP{gS`r3T#iHS<=?Rk5;9<~Y&|+j@&d*C_
zWDwKP#1=Rp^K^I^xEXlZ8Mr_keI5o*1}>0(Lmmbr24hABw#<@@u*4!p25}8ftY&}|
zoANN2fh=RGN-fIgVz6MaVrQ^qWDvsi91nvvNFh^Z3P_nP4}%?pJtG5Keo=U4Nd_Z>
zmIgLw;;`3(!I6i-38bGrF)syV02c!zg9{IXD}x&&18Y)gW=;wt1FMFor)C()HV+;K
zPmtwo#fc^Ud8r`(dh;;wGVp*TeR&xC7$g`OIEoWXobyZbK*=+ck%2Lbk%2Llk%6r!
zwYW3~B<RA(z#CkWn4ImKSO85A>}f@*sg5~0AalZb7$QJPi3KFa$sofJ#lsNI5W~p8
zl9!m5!pNYA#e>lFuHxk4;$L75G9`|OA)X<Dk%2X_pdhD`k--~lxDYf7YrruwFeWlG
zFeWiFFeWoHFs3jvFlI9{Fy=5aFqSehFy-VhGH@g&C#Mz{s~9jc$YM=7P#0Sxlo~QJ
z$YFCNOeHA4!HhLRXftMH043Qlgop_!5{q~k#KExvb%-fQu#|@(6cn^v!TF^{$*FFc
zpbRPiEn`60Ob=9sFf#CX=H;apIp-u67pE4pGgL7$h+@sCj125h&Fl=dj12OasTJyY
zNW?HQu!19qL4kphfti7Uft7&^l$jYA7`Q-L5=?V4aDi!V1|BfY3#FMr1q=ftg8%~q
zgFXWz10zVk)^-NLjSLJ7Obo&d3=C{wL2U*R1_lNmFq@S@ltBz^j5vb?L^I=7237_Z
z1_p-fn;0awF-UJ>P~60zn6ZdKa1(<hl(UUNIUFpjzL`NAB6gHPmuWMD9<%jw22Ez0
z<qT4r81$r!q&G20N`bUXCv0Od2yS6y1ev$+|I-!*Mv(Zz|JOh|jKPMP_<}Tw>OgcF
zZDTOs#$Xc;*Yj!<gSO5#28VFC-ZLP*QXoy-QqnsZoZ(8pz?D4R#Gt*6!F@A>7ntGW
zsj;4cfq@wu9B~Zd3=9mW3~~(S4C)Lv3?>Y=43-RbpaO#-h{28_hQXF0jlqc_o57i(
zh{1)SoWYf$jlqRs0)sol3<f8LMGW2y%Ncwa)-d=oY-I3Z*v;V0aFii{;T%H{!&Qc0
za4_33urZi1EM)L!;9y{2ux3zU2w>n~U}Pv^P=~TsGKfN1MGR^TfebthObk~Um>7Z>
zf*F_?LKqkrR2X>W{xC=}{$XHY6#K=%$^Dmsn~|NtLhvVpAU8;m{THZA1tncb6f(?Y
zU}9hb`3)36@}K|`fCp+AJe1zUL+JrHaKbh*cx__{1Em*804aeT9nQeY5W&F35Xm6I
z5WyhF5YC{%5XGR!5Y1r15Cit47}z>Bs3+MO#GxJnIi8P!<qrcZ*zG(JXSy=DL7d4n
zkAWGKm>KQB(XZ|cq5L3}6$_MRWj149&Y&gAE<GQV6!oNxMA?m?-r2+uxs4&#ibF?|
z1DrD08AaJQF(@wle}&nM4Wx-p3Z_XKq(_v^2t-3P=|VNJF^aMwX>t^0lS+|JFyj#A
zn9X1)%CU(-aS?;2D99vbxV3tsY(}CSMo{}XC0Qgn!480%wHNFFM=9w9QMMG)%wokb
zOOi#B6=b}wBnybr(FKvP?0|@`Dh4?Q28MVBIfi5g6^0ZBErwJEM}{;84~ArhV1{gl
zNQNASc!petGKM^cT83<f4u)ceK86y8X$++diy6uoRx*?`9Av0qILT1VaD}0c;TA(Z
z!y|?UhW8AO3||?V7<n0*8ATcD7!?>g7&RC=8TA>u7)=?v8EqMQ!0DimfscWK(GHpp
zKrBdNXJ<5LNCYQrK1KtEBnBP^W(F}v4TfX}9tIW$IYtGB6b4YMC5+((Ln;FY0~>=P
zqbx%j0|x^;gChewLplQw0|!GHoHdQXm?49KgMowLAOi<jmXqNTOpK8iE(S_}Rt!A<
z8B`cJ7(qFPoxuWvK!u+&(|-nDbO}aA1_os&UMmn1;9$sP$bzI*1{IJN1_lODs@#B9
zqUwTu&&0qWz`>BskOS4B3NM5=Gf09W3AqqP){+Y@??L4@k|m03&@9nIvLufoAKenE
z%?yg@mLO{>fR*nID&V4lfq`WQLm{XzM0S=jk|o6q{7_3&7$AUU2SW+E9bqsX3``7V
gU?-O|R4_0w2r)1*Ffvp!R5Nff)G){})G=@Z0KH{PbN~PV
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/highlevel/NQueensTest.class b/JavaBDD_tests/highlevel/NQueensTest.class
new file mode 100644
index 0000000000000000000000000000000000000000..edb842c5e6f85f7d04bc785e9c4b2d27f0ebdbd1
GIT binary patch
literal 1797
zcmX^0Z`VEs1_on>PId++Mh4N0%=C<$)UwnZeZRoc)YQD<kksN5b_Nzk2L7a!6n!Tb
z7m$E+VsR=X1FN%#tFt#F1EVJ+1Fv&_UU5lcUP)MDPH8GL0|NsWBLlmmUvRi<P%t9{
zQ?v^s1BXp=PG(+ai5(*Yvxa6EBLj<beo88v0|NxGIjF!G0x*UPj1dlFl))Hn3&1Qk
zhb14NjMICdjF0~z3`enm0uYPM(J{FL!pPADTf*iz?S?o+<nYaVAQ!MXerkNNzkz{)
z%}GgTNstDJ5ftzwQ4Yjto|5uWErEf}X&YC%z55LYP6kE>a~=jxkSF<lGV@aXN^_G^
zi$W5Ua#9%?gnaUo6LZ26i!wocs34mS*y~&j%nUX>3|0(0j0`L#8JWe54B|dm1KpaD
zfh9LFGmnu$Oe5MSE3qt5KPNFST|c;_C^IkJS~HA`!HL0zoxz!rK|HH8FSA6yB(<WX
zG*cfGK|!T?d8tJ_46Y1rj10_0rFo1DA{t1BIOil57h8klAh9UDn2|vkixrFv+$E{S
zCD4Sx#lXnm&BNfs;LFIso{?DWms(K*j>sr327iV?c7^~(1~G_3(uxvuQ_J&<vh^K{
zi&KkAco>2hf*BdO62ZKXqS91G1{RGd%`i3x!F3{458c;sF@!TjvNJ?5GVmdM>YG@S
z!NU;65Y5QIT##SR$iS-M;-cvSa!4!>LmWdqBLjC{YDI}#Vsc4-Q6(dTtcIpfUTTSc
zahg8J6lj8lN?UU=Br+tkGbAxG$YKp}6{tsf7*ZHg85uYdlao`6i&YF68RRtZ7z>Js
zM22)8h76E{V7d&r7_u00*cq}J86<H!iH9MVA&-$kpg6U}FFz#}oKk`_tH7b-sp$!F
zZ~+fPAwv<uHO8Qj^Mu%0!oyI?P==5*0Y`@moBht2ATSFQFI7AY)eJR^3_OsqcP%VU
z%qeDMVAF7Mae<gp$HPz$N{uj=n=&%+=7E#5e;UYD#f%J$nT!mKd5jE<E{qJk!6k{w
z*}jPdVAnD-a0Ta=7A2>;Wr9+^05k|eNl*_I1&j<lo}iQnPH(Bjj125h6%2|Dj0~V+
zf{8(rft7)cfsuiofq{XEfrCL3l&=^V7+4rM7`PdD7#JCN85kHYGO&X3E5lp?@jdL3
z%=|%-EPO$ctb9R{Y$6PNL6Pht3<5!s93l)tL6HJ%A`Buykpk=@3}Qi%0vsX?5<!sy
zoFWWTL6HJnA`CJ?kpkQz401t{0z4uN3PF(qydn%rL6HJ{A`B`)kplc83~E7<0s<lo
z8bOf)f+7rBL6HJNA`Ch~kpjXZ40=J40wN*|20@Vmq9P1NL6HJtA`B)$n;FbDg1unD
zz`!8Iz{bG9AkN^=Ai+?{AjvS5L5g7}gBZgc1}O$huqp-yMo=*T^`1ThBLgD?0|Tqp
zb_Q#NF`#f^U=RRn0fhtu11p0qgB=3{11Ez$g9B8v2~;zi5aSL8M}%%J1||ju1|bGk
z24N%<*cjXyJQzUMd%{EaF#{Voe8aW2F?j7@@DpJO5n&M8!4TFb$owM1W;uhU);5Ni
z9SjLO7}BJ-F=U3b*e+*~m)XIPzk{LJOLG&0nG8#cp$J3y4u;Ad47Dvxj4}dTOa4Cu
z88_?yF_4p(89?D;298Ww26hHH1~CSC21y151_cI11`P%!23-ba215oF22%!A24@B}
z1~&#J27d;5hA;+Au=BMTSQr=>!l3~m#^A`%08Ths45|!`3~UTc45kc%3{4Ep49pBI
t3=9l>3@m>bBpLrO2s29mVqj%pVrT`2d>cbMsD5H#WJqLSWawbv0svs;bUgq7
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/regression/R1.class b/JavaBDD_tests/regression/R1.class
new file mode 100644
index 0000000000000000000000000000000000000000..1b2d20c3a89e6c6c2fe975164d316d2e4c521ade
GIT binary patch
literal 1599
zcmX^0Z`VEs1_on>40Z-4Mh4!Z)byg%;^NHwJpCX;b_Nzk2L7a!6n!Tbmyp!r66eI?
zR7M6io6Nk-5<5l)W)00SMg|t={FGEK24)6M9tKthHbw@1pUk{eztY^K)S{5Yq?}Yn
z1|gsP<iwn?#G*_PA1cUFl95>qQjKD#H6sH{ZenI0BZHVmv`<!IS)zVUVqUs_a7j^S
zUb?kr7#D*egD^XT5F>+lR%u>liGE3HMM-I<KFEDRrFnU&MLY~545Ew-%tfVnj0_?g
zNQOA)Bo-H2gB_h%lwQopAdJNdMh3Q$)Z&sLLoNnJ1}Po}X$Bca2KJ1^V!zai60oPE
zxESOZ6xbQ$85zVNZb&Oi%uOxNFUr<;EG|whD&b*JWKd#c;7SDZLW)XL85vkKqCl=^
zWKiK@P-ReKWZ=$AttfFzOfJbUs$^u4)zI|GOD)kaPSXeZ8XD?QX=^S94F)ZC22Dl=
zNt}v!7_=F57#TQID@t7QAz>)55$&lNjm2Du0&7+V2w>x4FkmoZXE0=Bkiaw_qL_!l
zn8AdRfi1HnBP_9qkwIL;3!97KX7X||STI<zGgvY*2w|GZ!(h!|!^psvUlg8MlEKKJ
zrGdqj)>th7xz&z`!Jff^k%755wFHz@a4583aN=QbW^iF-;3!Tkan3KzD*-tit5q(b
zFm~f%aA)vfWMC^xEb=SO1xL3hNWzPU!JEN{k%6-~wImEG$D-k>>B+_5#}L5I;Lpe)
z0E#zAYV}XbN=+`|VF+XhVr1Yb$%mv~P-@gfN{$dwYc{(lKel!}&iDvQR$)90;S3Rs
z3_Ose<62mnm{ZKiAc35Wq5520TtErRf+32BAsUqNSkj78QyCeUlTuO`8Kkjz5|)}6
z85mO-8KkhNfJC)5BLiavBZCMQ1=frVOvQ$b42&)yh7ltJZ*WOsa<*?`0W@241?QI*
zC8xS&f-*jPkf9zZR2UQ)7#WzsX^okI5mZbtFfy<+FfiydFfuSQFfg!cZD-)v$iTqB
z#K6VCz`zC;6k_0JU|`?@vsoE<7<d^N7&saD82F)@O`w|Dgcx@)2q1KGF)%SOFo-a)
zGKeCXz{ViPAkM(Rz{ns0HlLk=fzgzKoq>~qfuU4u8-wHy2HE8dX<FMDlzp^W_Hacq
z3kdjcV^C){^3@Sx(A~zMuOq@>x{X198-ux@&Nc>HD;8ZzmTe4<maN*_7+eKJ7BO&X
z3y5rE@C=8Fvukf-@ReYdU>9Ks-oX&6yNw|dq#+Vy*{uIFK@MgHd)Ex?H3<fG21y1k
z1}O%925AO41{nqe23ZC(1~~>h26+ZQ1_g#N21SMx1|^1E21$kz1{JX9Jiy^t3Jo59
zhB$^8hFAth1~~?QhB$_J1||jr23v*%hC~Kt1~Ue82787?1{MZ827QJkhGYg-hA;+k
zh7^Wm26l#21_lNd24=4R49*N}><o<T3>xeV2J8$L><kvn3=IDn<UnGe*kWWz14mUl
E03&8te*gdg
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/regression/R2.class b/JavaBDD_tests/regression/R2.class
new file mode 100644
index 0000000000000000000000000000000000000000..f9b108039c55a61308751776ab4762f5bb59282a
GIT binary patch
literal 1252
zcmX^0Z`VEs1_omWe|82YMh4!Z)byg%;^NHwJpCXeb_Nzk2L7a!6n!Tbmyp!r66eI?
zR7M6io6Nk-5<5l)W)00SMg|t={FGEK24)6M9tKthHbw@1pUk{eztY^K)S{5Yq?}Yn
z1|gsP<iwn?#G*_PA1cUFl95>qQjKD#H6sH{ZenI0BZHVmv`<!IS)zVUVqUs_a7j^S
zUb?kr7#D*egD^XT5F>+lR%u>liGE3HMM-I<KFEDRrFnU&MLY~545Ew-%tfVnj0_?g
zNQOA)Bo-H2gB_h%lwQopAdJNdMh3Q$)Z&sLBQ6F;1}Po}X$Bca2KJ1^V!zai60oPE
zxESOZ6xbQ$85zVNZb&Oi%uOxNFUr<;EG|whD&b*JWKd#c;7SDZLW)XL85vkKqCl=^
zWKiK@P-ReKWZ=$AttfFzOfJbUs$^u4)zI|GOD)kaPSXeZ8XD?QX=^S94F)ZC22Dl=
zNt}v!7_=F57#UcqQj79I!H3N}ut9n}4Ei9I%=vk#TnvT`#_SA6j0^%GYaxN{pOlrF
zT*AX(!eGkCz)_M934BmsY9fUuMAVv#!JNU8oxy^UK?u`nJPcN#;A6`yj!G@c2Zfsr
zC~Ry&?!z<+96;s__B;#@AYH7P#r_}{nlm`@FgSx;%wAktP>^3#0<zPUhrtb$+*s0z
zQd1cjn3Gac7#XDTgdrn?2o_muMh2#00}x@z$iN$1l9-(Bn^*u%qg=uHrA5i9ZkeD|
z%pPQ<2MQwwMFvI&W(E*oW?%%Rc?L!Xb_NCpeFjDbMg|53R;}#}92*%J7?>Ei7#JAX
zz=DDd+zbp1JYY5}0}lf)0|Nsm10MrFRI>?GGn)|O4h8{)ZY~BU1_lOU237_UBoo*e
z#2CaG7#J8CB*5mgGcYjnGB7c)F)%RXYHeeX+`%BboFPtY8-ucs_BIA}U+rxSx_;W*
z7z}i_F_`UOum&-8w=vl5V6fKN#^7khq6;EfLBf(O5OFY@6~flp#^9p6jll&Z=OW3v
zjll(E$*lhiK@MdGd()1ApMilvoPnJ|f`N-cl7XK=ia~@ynn995hCzivmO-CEj=_{c
zp23<yfx(?Yks+8ti6NRnnIV-yf+2@N73?`XhzFp-!_N@L;LhN|z{nuN5Xhj-;K{(m
zAj#mvpwHmRz|3IEV8GzT;K{(kV9lV#;LYI4z{=nQ4sIr{-waU<j10cuDDVRSM<xM%
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/regression/R3.class b/JavaBDD_tests/regression/R3.class
new file mode 100644
index 0000000000000000000000000000000000000000..c8c917f1bf08f243a8e99b00d74b9437eebccedb
GIT binary patch
literal 1919
zcmX^0Z`VEs1_on>EOrJaMh4!Z)byg%;^NHwJpCYJb_Nzk2L7a!6n!Tbmyp!r66eI?
zR7M6io6Nk-5<5l)W)00SMg|t={FGEK24)6M9tKthHbw@1pUk{eztY^K)S{5Yq?}Yn
z1|gsP<iwn?#G*_PA1cUFl95>qQjKD#H6sH{ZenI0BZHVmv`<!IS)zVUVqUs_a7j^S
zUb?kr7#D*egD^XT5F>+lR%u>liGE3HMM-I<KFEDRrFnU&MLY~545Ew-%tfVnj0_?g
zNQOA)Bo-H2gB_h%lwQopAdJNdMh3Q$)Z&sLV=e|p1}Po}X$Bca2KJ1^V!zai60oPE
zxESOZ6xbQ$85zVNZb&Oi%uOxNFUr<;EG|whD&b*JWKd#c;7SDZLW)XL85vkKqCl=^
zWKiK@P-ReKWZ=$AttfFzOfJbUs$^u4)zI|GOD)kaPSXeZ8XD?QX=^S94F)ZC22Dl=
zNt}v!7_=F57#TQ=Q%k}Ui~LG+L3Vm-dV=)o@i6E!7%(!hWtL=wB^EI<h--Lavkz>M
z5f6hgg9#%8bADbbC?0SqG-I$}XE0}E5W;j34}&Fx6(a*vei0*smIfAoS>rU*hKIox
zq?fHUFSD>Tm5afQ!Jdb~0qmZ<{1On~iHE_N!G)25qa+`aEI`q$i4@NeQEQM|Hy#Fe
z1`kFCw$#GX#GGP~$FVvG9H(BOc=HB%8PhOu<e4$}@-X;;5;;p+Q7YJR0Xz(WpcKNE
zSsayGl+Vea!4M4ceh4FjA{LvV5vt<k;^JQbc3~I~LpVbOBLhcbK|xMsXkI2GLp;_X
zBWM~H1=z!xk%2iWC54ee8jB971Fabum?{hy8APxs0m~UOGB8ydfCvz)3dE{1WMp70
zVPxP9E=f$z_Dw8+=5(&${L-T2RJTk}S->7-tOrWqj0`-Upxg@1lc~k*3>l0J@|Y<J
z>KsUTF*2}%!;L|afsuik0R)&C7(t~D10w@F0|SFT10w??0|NuA)^-MtjSLJ7OblEM
z3=C{wK|uy?1_lNmFq@Tuhk=)Yfq|2OkAWYm*#xSYO^9&^g8)J|7XuRm1A{OFD}xA<
z32Y2v4B`w742%pCVDs4-7?{KuSU@TmS+uq>NbX>eUC!`TYa4^Ik2c3P2K8`l=4}kR
zzS=C?7<B!#w=o!6ap~x8V=%Sil;qUe#$av5rn`;7&Wb~lZ5xB5B%371HU`%n44xp`
zN0L()q=H=sqJkZyf*mA-P{9Q@g99Y!2qOGpdUbR+F$C#sV+gfkfm*-<(#`@>1lJB$
zqzh8S3blh3q=*$&(KZGj-E9m$k}M#C6-2Os2zC&`2_m?*G5CP|KI=ahDEyegp<l-!
z&%nSS&cMzf!NA2J#lX)X!yw8a%OK4l$Dqg{&!Enrz@W#V#9+pt%wWTy!r;xI$`HVy
z&Je+%!4Suw$&kyS#Zbhc!%)Sb%h1lC$I!!Iz%ZS`kYO%^5yKh=V}^|krVM)+%oq+a
zm@`~tuwb~xV8!r>!J6R@g9IZpgB>VF7z#inBMUUv`5E3aL^4D%FfvFpJY<Mwh+$x2
zP-M8x5X%t5z|1h6A(bJHA%=m4VGn}?Lp(za11p0W!!d>gh8PAmh6siw42cXe4D1Xx
z3<nsJ7-ASW81xv<F<3IhFmN)cGhAgbW{6?nVn_z3J0`B*3?CVo7*fD#F_j^Wfq?;3
NucR|*Fk~`t0suWJrAPn(
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..9b548a978c1a66e77a1fde11c66af520810be5c9
GIT binary patch
literal 8164
zcmX^0Z`VEs1_oosGIj<gMh2CVqQvA>{SXl8Qj}SiTBHJIr#QK|_!p!WC6;97=dm-e
zFfu6OQVCba$iSRmP|V1{=*h^yT$EbE$e`qdOH){4QD$ONPO3FnlOdQi0+Ys!3>^6&
zoAXkN85x9pvJ%S@^-D`KbM(VflS}f8tQi^DN-{EwRSXyzgfYzrN!w)RWtP}6GKgtl
zk=G1kWMFa5Pf6uuU}O;CVc=un=VD-H5aVGGU=U<v;P=VQOZ6+wO-d~a0XY!lg#6^h
z9GHWlf-E2>FfyoNT7V_|tQi?tiZk-d85x*0G{ZO<<QNp#8RQum1TjK~he44+2^0*a
zC5#NB5Wi>U>jxBN=9L7O6s0ESTC+2#FfxdPLnS9MFI_*lq$o2l-KjJ)CndEA<R>*A
z26YBDMh4c*yp+@mE(T2oZFUANMg{?NJv<CL47!XA>}82LrK$dDj0~b0o|+IlkxaJc
zVo+w#2ZfFSNCl?6W*7&95hDX5CrF_Q4}&R#86yK*VnIP_UJ4_Ft_Btz7(!6zgYB~5
zVX$PdVr1Yb$%pujkwHWQtGjF%?ARG>85xAZK0^&B9tL{`14ahc0#ML_g2j=Cft`Va
zi@}+}m7T$bkwF0?@S!mWi)kJPHwGC-1`bfn`6cG2axi!>GB7LHDu7J$;$iS+@L^<N
z$}a$=5U>M~1C4{hkCB1V78LpcJPd&hL5vJ+sfDG9ImKv!=%198np|S783i&mgolBX
zfrEn~jFExS8l*P@6i1Pa3~I=s2-AWQiq;$q(Tog?8X%)$c^G&Yc)1wj84}qU5@4~9
zl#h5Ak{FU188}jNQgc)DN{Sg7Bw?WpR^^&knhVYU*4zxK4C(9)pd<qJDY^n4h75*G
zMh5P@)QS>Uh<WId26Z$CLpCD=la2z	SVRJcfKm2L6o1V&D9tRH)8ka5jnJU?^l{
zVA8Y(d8U|$p#+qqS&B2OQaKpP7#Wy3RTV(#tpb$ZDj6AMuq9nYs<L6I=3%G-MJGEr
zLFD8yGO(s)78RE;GB8FlGBBnxGKfRM6Wwptj0}urj10WNC5g$|zKI3U0)RcWA~m_R
zB$bhY%e5jowE$F37PB+7A*Du7f4B@MgEK=14?`zI7b636Qc4OVgNRRFYKeYvnm#B%
zlTuRjom^b3xfpsF`q&wI85x8yWqBC-K^|a9D@sk}V3^3rz?_#~!o|SIFqwy83P^@6
zB|jc2G>wO0I!K5!B|ko~xHvOCkAq<*BLj0{UJ6LZY#xR=AZd_}#Jm&^hIycrTm+I@
zz{9W*B*mJNAD>^u!LXQ-fw>|dEVYz}VHrpYq^klXw}O#@r6La^xr&EjHAs>@B|jb{
z#=)=_>_V{4^*jt4K$0Mxc_5ve7#UddppMzX!>|=33DOA?<6zj%$iSRgk_vLpP9BC`
zAW4wU%#u_NhCPf7f@O(C#qr6dMMd!?`SGAM2U59@hhaZRCCHd!qv8S%hJ!GrASEEB
zAT1!Jhj|!|z?Bvl6>~5gV`ShdE-fg?FDi)#nGRBQf`{QGNEKH~emqo;gW)tNA6H}+
zmlT7PoaJFS2T}qG=2WmK2g3zM2DY^PqQsmWkcvw@43}XlAfg-$R~Z>Nic*V9iZYYI
z@pqkv;RZ+zcS?RdOq_$^7FbnId_hq@IL_|yFx&;H0y(EBH3uZj!Em3EK{zxoJ1@UH
zPXSzMf|8+vItRl;Mg|sj9R+1B204buJPc15o-#6UBqk@P78k1+;;I=vxfog*^g&u)
z@G!h&c!khn#K>TQtun<~{lN-RYt1l_d2e_a-ZH#Hm}gABd7c~$9~c?DxU{GRxEO30
zK7mRH0}h5Sj102DnN_I@$@#ejiA9;k`FRRyiJ3X6DGG^cC8<RU91PzW8MqWQ6v`9x
zN>Wo4I2e8~GO+0=r016?a4`I0WMI?;Mf)Ef25ANv4u*e>42)bHj0}tnV%Ux4Vvu8G
z;$dWFWI+Uu2_u6INr8>rR<j1RZ&*R)q!A|rBO^Nx11kd?2g4MQMO-|L+>AVo47|x1
zsma-{pz0{Iq>_<AT*K27QurZPVW61nVdUdsn8?TvN->()N-PeB=^$%_co?`qm1_^9
z2oJ+NMo~rvEe&kSv6{if(8DOs!zcl&3s^IY{qs^mj+NqJlx76gztB``z{p^LEmW`>
z>6Qp;DOOr@G0HJ2urtatGDu>Ur%**ajEW%tG3V!{f|M)sFsgv~ELEvR`HT$ACAkHR
z3@jzN1x6reYVa`3WE2Ilw0Ib`K@MiiERISo%I9R1W7Oqg*u<#E$e@VD=TOU3z)=M%
z=NS!n7!4VX7#Ua-3kq^785z8>1{gu3uzBAa<QfwmhP8}(ppZ1<VKis7U}RtgM>`_}
zi$)YAZmoD27DIev!^3C`iZ#}x%*@;ZP>kC1FmOX+)RBi_JEIdLgB`IBw8rWtkV{;6
z7+o3N5Gmc1gg6aI%mg)b!C~jY!|2KA#mK;3lv<FJn4HSUV2I6eFfBOU<HN(~i|igV
zP|W)CFb05906VnM2Z;soFb0Fe2VBa7L_&EO!$2aSvfdF?*7q<*@GxA31ZNZvV>Bqp
z*r5eABLgR>6&atLpOVVK7{|!K;^g9@z{%jun83rB2x>>N<bhh4jLD1)jCvfP)`&=O
zWpPPru3mm=i5|4cqM^jWn9j(+u3&3xr=X<G!I;U&z^9j&pOWgFUz%5<p{Z%j$iSML
zpOOk{j%PA5FlI3_a0Ta=7A2>;W#*(ZG6;bCc94Fa9;o5L$iU;7mzP@PoRe5woLbDz
zSjfmAk29-4QZFL|D>xN1G6;c<L+L6qGVntLk$Q!E5D{3Fz@Wgu$iU3Nz`)MH2r8Ty
z7#J8qO>;2K$-n`oxu7&Rl;&aJWnd5x0QJ@w7#Ktt7(l%>21W)U1_lOG1||k31_lOh
zE$yug!dlwf8ALZSFfcGNh%+!SurV+)Fff!bNH8!k@POIe43Z2|U`wPKWFST`mNBp}
zurM$%oZ7@7yPH8dQfmu?>JA2t?F@QChT9m7w=tM+W3blR!r-ut!D$nNtdKi|>nY^B
zjlq8=gQ(UPhG3{v=r#uH<qR<hgFJUIgo6x<f*ZtQqqT)0W*bAC?{Wquot+FRj0^`D
zoc*L{GH@{4EN9>b*^sr3!CH44gOkoqh8#wQS^sZ?1PdV67BS6dkbzntRJxr(PiqT9
z(Kd#1h%+}a$Zlh(0)+rGI0U@FfmFpH!%)qj%uvIi%}~c+&QQ-_$I!sw#?Z*%$<V}*
z%FxV^&d|b8#L&u6!_dai%h1j+k)efQ7DFe)B8DD@!wkI)CmH&{p{NB3DQGCBGgvd!
zGSo3JGUPL8Gt@IQFfcLHFo-fVGH@_3Gc++UFi0`5|7P&~%b>x?&XD?tL5Q8fnf(_7
z^G^l=P(o;CkYQkAXklPrU}0cnXa%{IX(<CMC_)*Zf<k-?L;E&{Zmlg0o<bAAfz740
zong{)MlY}sB>X`_Q<pQEgN0_mRn1z?r~($63m2NdoKX-gv<NP=WI4k>u+Vb2(8}cu
zufalV;6m$`Gu!|RZG;PLUe0h7EVK<Sv|~BLCa}<MxX|9^4D-Q42jD`7mNWE#g^t37
zjxT4Z1Ph&l3!PcckOmey4;Q+)oFN!2bOkPSZ8?JjSm-8P==O33-Q5hWk)VVubPtj|
zJhw3z3q9DzV63%;L3jtlBS>o5&hTtMNB|VhI~bmWk`dE<h75$zYfwrplAg~H0!n`G
zw=sN#CA-f^=6;2k3rd1Q-?uRsOK)Q+7y1cH?jN<bG5iK;|GSOhBgkDs|KaxTU}Quj
z)G`KH1_p-73|tIT8DtrzF&HpRXK-ei!4SqUlOdB~7DElgY=(Y@ISh*!<}z$$n8$E}
zVLroch6N1o7#1=zGAv>gVOY$l&ai~hieVXJ3d2gqe1_GG<qT^Wn;F(Jb~CJFoXoJE
z@fgDf##0O%880zxV!Xq!o$(374sfCtgCsaeqGoJnh-7317agDkEXE)tD})L(e>0Rb
zFoC*V=!ush7@Uw97!)C)$jHVb%*e5gkrNcgpke})o*8+!GPHv{4k@Gfz{TMn27ZRU
z3<?bUzz%|xRf-S?F))F;a~M_yK&_HPvPuBeDlGOKV&G>u%pl8f1j!ybxIGKuWug}Y
zGXpCF1H(M6EsSie3m8DQfRbA97KV1MEsTO-j|gvNXkX4y3oXxlmNTep!^$(Tycnc#
z1nCpr!6><nQ5NJPZD^r(4digJu#ykd2;b!la)=^PTNiAKuoa8;Him9V79Sm`&ikO?
z)CQTwz`y`0=ZqM57#J9iGbl5hWYA+c#Sp}Bk|CPm3_}{jS%yM}a}3oC=NVcVE->^k
zoMo8GaEW0q!&Pty*fFqyd<hK!Z3Y8yDaOc<#$e8<%FxBY$dJdN4i;l#sAdpkfRt>l
z4D5_*3|$N?;4)5*flc`j0~b3(s`7sZIR<8S21a&<9(IOQ1_r603<3;Hp#C<rt|2O1
z)d_^FCVIFkfx-eaTxIcwt2*)FdV@ik;TD4)!)=BjhFc8L40jpQ8169?GTdjVW_ZBR
z%J7h(hv6Q>REEb4a~Yn}F<iI8(ksIh1{P2zW^jV0S5O87r8}hbx`|O|8>2orXyvrF
zGt2@dqAd*VpfGaK-UiN<pmYYxnUFLk1x_0;7}OYEF=#QoW-wxS!(hwsmcfzXJ=l-n
zVuQg6ns$sB_@OBVRBW&?FsVr~Fo8xsATdvz3yqOo2&y?8h;ZR21~rB+3|b6d8H^ad
zG1xMEXK-ZrMYIc-Vb;M6g$&H#){-tLi$X(`on<)#3-dNcQ&6};%QARLU<pcq@XQEl
zcKroA0aBFdLIVjDG$IU40qhKN|3R%VP%Ds$ok5O~feAE%gi*+m>=0`#4*5r-Lv~>a
zkqT&OYXS=qwgn7$LPTo|qaC>La=>&CBLk9qOo#}W{aD<C5il&c+`}NegVA{#qdOLd
zFd{jGm>4=ju|vGEJA{cuhn&RXkSu7LRfEM4ju6?#=!YdJSdd(xMns&P!{P#rIAO(z
z6L7@|%{<!}1F<-S70DsQ#K~o9I3xs%L)b}l$PMxw!hlplZ(|I{;t&oJ9dZ|oLx{+}
z(5M0DTX+mbVsQ^Al6weeUq;3lSS7_|#K6M9&cMK!3Ty5l+B)D?yf3&FZvt&)3p2(-
zn%NFp7~?@Lc=v4##=1~;D7=BaoZ%)B8iW~>AnkNeUjW`!6pDiMDLsWiy%;kVW;0f1
zGuGt{kqC#0vdm-<5M`Z-=$LL|kcGIy8qyw{$)GOEGK)b8?usOcvq3h2EP!^PTUZ$(
z>Sz650#Yx{V#c<dfe+L-__>Y2x`mBVlueX%;eSvkL#SXI!$)wCfZR2c!3=J83dC$^
zkO(uTL3{=0XTZY+QICWBz>I<n9E?H?LX5%;{*0mwt&Cy}y^P`vGZ-ZpW;04MEM$~o
zSj{NSu$NJW;W(ol!xu(LMg~SjMp;H>MpZ^NMngt*#uP>kaMXj_jEt$!Qi6jq7TP`(
zVho114`(p+GG;N<F|aVqX6RzfW?*ArW#nKGWz1n<V_*Zf8PyrM{xkS9uz)H+c7{}T
z24@C_zYKwljM8RIe;9-rxqdOQ{bXRbV_;&;1r28~<}v0oFfb@FurL-d$}tu(fM&+z
W7>mJmt{h_t3j>2QgB)Wi0|Nl+$S(T;
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..cc0faffa68998d869cdff97af6fcc8c4d19151a4
GIT binary patch
literal 1882
zcmX^0Z`VEs1_on>GIj<gMh3N#qQvA>{SXl8Qj}SiTBHJIr#NS%CTIH>q!uNXWaj6w
zGq5l+DB@BJSH{S|RAR`;pyY!~WmsZSW@1uKsx?TZ5hDXzNk(R|iUA{oFs2r3Mg}&U
z%)HDJJ4OaE4J`7SVT=qc&iN^+oD7T%d^`*s44hmH%nSlN3|tJ{j12rfnR%&xrMXF|
zMIj(N85x9p@{<#DU~Yg4vVfex$biKHtRZ2|$iSXjk(yjulFG=ytO0TZmup3GY5^#i
zirE<?85xAL63Y_xGxPO5{oyhoCra}$urjc5GRQK>vopvsGAIxVB_0L^21P~&=A@Jq
zMg|d|ywno?;xv7b=}9Rm`c5t`)*xe*c^KFk*ti%}8PwSs)EF6rFxBxeXfS9pGO(o<
zmL}#DGct&4U^7fJ3S^u%4}%VaE+Yd=ab{I2BLkx+JA*zWgE+`m{hY+Sbp7CxqRhN>
zr_#)vl++>)217;$uEe6$c(B<TTnu^)#-Io=VPp{1@IlvQtr-ULzZnmMIfDfw14~|F
zZYn5VFw}v}vEpH{X0TyoU`s40NX<)OWYEQCAch@KmsxW#*fBCN=_qh8I508@YbvBA
zX6B@(=qaRD6r?7Xq^2l<>~I3v;mpV&qY<Tv$0S!q1~wgq^!yUACU+hN4+c+029A<^
zNMJBBh-hGHx8`DyU@&H6U<C&aBLia;BLfG_c18x?;F84TY~REJSVAn$$S>z)2xJIm
zX9!|s5X49wJPaWWp^Oa7`K2X{45AR%X6EY$6lLa>1eX-0Cgy_ELpTpZ1SkSoGxJhX
zE4Ub<7-HBNq8S+k&;yx=A(kPIk%7G|F{d=uKMfRNo>+Xr!H~enz{ttPki?L}&XA0h
zzL9L^VMt{#VPs$}06B((A)S$dNz<BxA(N4TnNt-UXxX5U&H;rq7E54p2C^iNhasOq
zjFEvIY*tPlBLi1(erZv1s#|7GDkFmcxO{??ReB&VF*5LY=H;apIp-u67pE38GKhdx
zpp{^Z4Ezvbq{501A_6NA7!(*78JHOu7?>FtK{=Iyfq@Z}wHO!#1VDugScU;qxG*p>
z@Gvkim@+UiFflMNaBFFAW#HA)-p;_kk%57Mi9wKofq{*Ik%56BkwJ)ofq@6i=4KFP
z5CI!1${@zT#30VVz`(-5$RGhW>^uW2*zz2$Eeujy7-Y1zFeq(dklDtdVxzT%L5pcV
zLkNhT#lX(IoPmYKR$690gVSyXiOAgydXYi~+Zl`?8cnw`SPI#0W3Yr60Os0nW3ZIj
z#^5OAvW>w~dK-h|HU_ut3|{*|u4M+hR*Hd*fq@}~L5LxhL5d-bL7gF;L5CrOA)6r!
z>;nae+n_!WVu)h!X7FKPWKd^tVen<}VPInLV_;z5W?=rqpvvgL_?y9nfsw(VK@1vF
zJHZ}hU?|zd5U`s;FH&m@L)Z?6$n6Y9Lh;)eEVnVZZDUA;$`SBO8eBanIGE-$$iVbv
zK*B(48$%Y{z-<h<2v3SJure?(<S@uE<TCg$<T2zj<TDgA6o5SliJ}sy2SJ`;Wnlcx
okjuctPymk8LWUv+1_mi`;s|6Y1}BC<h7uMA23dwchEfIw03pS@^#A|>
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..3de24ec48ad91214ef7ba798729fd10725467489
GIT binary patch
literal 1059
zcmX^0Z`VEs1_omWTXqH}Mh3N#qQvA>{SXl8Qj}SiTBHJIr?{jhm8Sa_q!uNXWaj6w
zGq5l+DB@BJSH{S|Qj%Ix!pI=xla*MOsGpOVm#!aNQk0pOZq3NRR+5oftYW~(Anb!-
z5=h!6GcU8mj*&r31B<+77$XCVbAC!HCj%n`FAoDd0|yraGXp;l11AF)BLlxrW?rga
zX>L+#QAlD^PAbR=`N@enVTnbVAU;%(1>^)q1}qj}^|m!51AA&kYI12wDkB54hGrNi
zgE)gEJA(uxgCK?%co?J@q!}65%TkMy@{3a$85pBL%4K;N<QU``8JP1+OBfkMApw(_
zuOCp9nO72AQk0sQYYp;~A`b&A0~;5EGJ`5Rg9;;qFgOHJ74k5sF{m>#uor;z=HxLl
zh-yI0Lk?(ANbv@jBqnG3CKf>b%~_n0Uml;FpOVVXpv}l24mKM}lT&GCPD*MK2ZJsn
z1Czc!7lRgqJ}6|>K`cWa1|tSzMh3RTf`Zh%6h;PJY_?)J1Zt)=$Ouy&1~Ue8Mh1?O
zd`NO&WDwEN#L!~R$iNkxUs{x$>Xr$LLjiDFgrrM7keeA9cs%p+Qj45(5{rvdiy0Y2
zz$(yED<cCxL>Qhh859^88JHOu7?>CsLBY(xARqurLJSOGQBDRf21W*M1_lOG1||k3
z1_lOhE$yugJX+e@8TdAWwFxjVFt9N&GB7aMFbFa*Fz|rc+zdht!VC-yj0_?SqEI7z
zz?LvD2yS8!o5{eti9tqd3xmQo1|^U|%nTrd_`tT>Gq5o@FbFU>A{i(MHBbZWGDZOg
zMg~o|$u0~mU|Xd&G05y@(25k&+0LK`G2CDqg9+3MCa@I{w>lviEd@22iNONwBTEJ=
V1_lNpuxrH`ticwFGuW^&003Wc>q7tl
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..29daa1b15ff41d896e2101d9f6a26321e9478ffb
GIT binary patch
literal 740
zcmX^0Z`VEs1_omWHFgFjMh3-_qQvA>{SXl8Qj}SiTBHJIr}!777A2Ns=I609urM+R
zWF?j*>gOcprR)1AWu+#UFfy=a=B1=oFfuTDGBU6fXI7;$GBD*AFfs`FAk+qz6lLb6
zTQf4Sm1JZVs~9jc2>W1I2$HtR%*!mXV`LE1z#^|1#>l|poS%})$-u}Uz{9}Bz|F<L
z%pk<Wz{4QS$iS?j83vLO<zZlFU}I$9_sPsl^()OyN-YXWOv*_GIVnFmF()jsC=<ko
z3bKHl#K@qGX(4(DSc5#6kzdZpz@A!>np|3v%E-XwT9KSu01BUCb_O{{24S$LGxPO5
z{oyi<44lOo`Q`D+`6(bB!TF^{$*FFcAQuUM0~r$FdLXTg3_PBBd8tLtIf=!^sm1IJ
zDvS(*7(vCzzz^1lh#eLM21W*E1_lNe21W)}1~vu;21ZaYfN2f}P6h@60Z@Q}RWLB{
zFz_-kGVn1lFxWCMF)%SOFz{<>Z)M=u+Rh-T#k7?{WFrFu0~3Q70|NsWSlXC@lfi^R
zoB^bj5u}_!f<Y2&xD<mh)F^E*pMil9p_z>Vq}U8eBO^p33nPOxSfdQsMT`ux42%r&
jU=fh3a2jQSX%qt!g96yKiVR9%_cAgtGAJ{svM>Mua~h8`
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..98495301d4f0ffde965581326d2074f8a5441648
GIT binary patch
literal 1513
zcmX^0Z`VEs1_on>D0T)WMh3N#qQvA>{SXl8Qj}SiTBHJIrvwyb=9Tytq!uNXWaj6w
zGq5l+DB@BJSH{S|SjNbp<bz9LSYlCTVp2}3H6sISdQoCQ1|tJw6e9y$Nk(R|iUA{o
zFs4pxMg}&U%)HDJJ4OaE4J`7SVT=qc&iN^+oD7T%{5%Yt3|w3c%nX7&4BQMnj12rf
znR%&xrMXF|MIj)o85x9p@{<#DU`~MwvVfex$biKHtl?qJ$iSXjk(yjulFG=ytf3hO
zvRsmfft`T^#FFM=U}a$AWRPW$XJ?ROWKbX!AUq5T42p~l%t<LJj0_?^d8sA(#cBFk
ziDijNDJl9+E-uzw49X0u><lW53__T)JPc|K;*1O&1)xZC$uHq#&|uJFXV7G15X7*V
zhe4Y`hmnCfzqEvrLDUCihkj<hJ~+OEONvqxbFJAK^cWe$!7@3CdFlGWB}JKe=}x7Y
zIVq_{AYU2qFc>lzF*2~^CFZ7rLKI!CH5Y>kgBd%6DI<dbx*QLKIfDfw1AAFwPHC!t
z8Y6?62E-L$yZn=~Qj<%pHIalM)?0Hi=rUM=V%3_FK@?dFR9-WTgTa=Ofzb-2(4L3E
zfx(fHfi1D1AT=+AkwF)m4h&16egxa)%){Wq;L6CrQIZd_fssK(1FO5-89dn;JQx{-
z!CplTOdbX=22g4NM@>#1C>niu7<>`Y6`Wea$iN$1l9-(Bn^*u%j-16A`Q`D+`6;O!
z41tUcJbGa5F8L)In${c)!Elk_RFDWG16Oc<X;E^jTV_rwBZB}q2SakR9>__I3_PBB
zd8tLtIf=!^sl|*8{9qL+NcmO-A_7hYNWy#&VOVBiP+(wWU}j)oU}j(hrEmrY21Zbt
zXJ8Nz0A)O|3<D_RF)%XlGB7ZhGB7bPF)%Q2YiVy~;M3CH&LFUnfq{XEL5P8YfsKKY
zfq@}}L70Jofd|ayW)NWz1sf{HAPzO6ih%_zXQ#D=L1HF@fYufUsVxjL+ZdFVGw5t$
zP~Xj<8wnB9-@#zKoxxJbW*dXuHU_6{3~mr{nQaW-AX}Niw(@~J5WyhA5XoT65QSvB
z9n^L|1_lNe1||^=21W*dxI0>*?(l@TLlvvl0dT9AGbmwI5d>F(?xYw7O@>$o4~94-
xCwZbeNmGu2i6I0WfT0Xw3=9lX49pD73>pmKETEXsV2EH~V31|dV2EU30084cWTXH9
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..dcb5377a5c6744fe105e59c8f28d8964ca7d8b41
GIT binary patch
literal 1638
zcmX^0Z`VEs1_on>cy<ORMh4ZAqQvA>{SXl8Qj}SiTBHJIrvxXKrTQ177A2Ns=I609
zurM+x;!+A%#>l`}#>k-LgG*spVo_#dQckKhBLiDWMrN^!0V9JjrfQJ1O=ezZi5(+@
zm<ASk%`ip=7U%qwR89s)23{Tpb_NbE24)6+9tKVZE=C4^pUk{eztY^K)S?iOb&L!`
zKKaRsIWX&?f-E2>FfyoPT7WGGtQi^DQ!7%FOG{E28JIOR!?+m486?>mBp4Y4G5pKJ
zAjKff$iR`9oSa$=_ND<=fB593mgpC!>1QRDB_^e$=sUT%xFsf+<QG+1vopvtGKhmD
z^m7vP()EK&iZb)kok}xvQc{aR{+8!qU}a$AWKd*KW@k`hWKh6x1=JfbZ}TvyFsL#z
zu;eA?rh<Y5-E3<v26YBab_NYb1_5+A9tJH2ZAJ$6vc#OyRR1(a1~m;Igc|>(tkmQZ
zYfU5}h;yyE7-Sf9LD8be$RLWW1uCx@#=&5~$iSwTRGN}f2~usu!(hx{!pOjuSWu9f
zm%_-Pi%lDbP0)Y=TWH3^V9sE{$iPvO53z=kK|}+K<3M3&#lv9DV8h73oRpHn$RL6x
zLaezM>=+!_8SEJuBymO;4}&9v6C(plabj62BZDRuCu1{NGmM?Vg^@uR9Fm#&`kwx-
z70Iaupd81@z#CkWn4ImKSO86~oW&XW<?+ejR4>lp!NcIm;Kj(moL^eP$RG*{kIa1i
zfTGO2lHih})WlqC4hA1a22m#$7f*jZki(oxU0f<Pl2TH16hI;E2MTF_v;f8#m9PNj
zU<hPnVA4_IU<hVp;M4=ho06tA7egpRI6Ffal5dcl!ov{3pvTC-UI21kP97rzS8#r5
zQF5wVW=<+2g8;b1fs{Uaps-+M;PK4MOD%HFNh~f-EoNlk2dhXyDrkfuA}FO4BLg2q
z6qe!{6c`v8m>C!tm>3vAnT3HtKmb%&Fff2cIT^SZ7#X-37#K_$m>8HC7#O&<w6`+w
zXlZX};M)k+CcwbJz{bGHz`)?jAjrVLzyoG;GYByVGcYhPGKesULX9Y6U;!JUueF7N
zX9t7WZU&i1tt||4TNo5}FsN;3&=Jz##$dRO!4x8BxsAbgIRlH&MzDce47v=?49pB5
z>-fNK^JLIs@Mh3s@I$gzA8M^D0|Ns)15++LgEPntZg4lmGq8Y-Gu*`B4zgd!dpm;;
z+&*8SfNczh5U#>D21B7Bh=aB<gdjZ21@=S$g8@SzlFf!to0%9Q!NC&65Y52AAjQDU
az|0`d5W@m;hB!kk0|SF1gE&JR0|Nlg7m!f^
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedVariable.class b/JavaBDD_tests/trace/TraceDriver$TracedVariable.class
new file mode 100644
index 0000000000000000000000000000000000000000..01380f9089af6ebd5feba3001629b6f900ce49bf
GIT binary patch
literal 999
zcmX^0Z`VEs1_omW2X+P~Mh1nFqQvA>{SXl8Qj}SiTBHJIr-UUIWhN%&q_Q)xFfs^a
zC6*=X=OpH(>-#5Vr6!j!GO*+&=B6?-2>BqSf=h}r^U|#u8CWy(Qc^1z85lho88~th
zi%a55i&GgHn3Gac7#T!-@={Cmi_`Q$8k15|^qpK>tQi^DGK=HO5{noa7^4^&*h(@o
zi&YF58H9Z>+y_!?lbM%UV#mlJrh!FXGmMde#W_DEm6L&yL4=2akAa_yftf*!he3cr
zoRNW9Lo*B{Bgw<S!@$eP!0(fpm+DuVo0M7<0`f4(Px;A-Ij{hL3bKHl#K@q8X(3vG
zSu-+l6ldg@`z7Y4axy3|D6umrGBOBa_=AT*nL&k-fjPglgpolM5{#Mo`T<3mc_qOm
zMX8Co)*xr9@i4G5uyHYHFlezeXfiSggMv*TRUr?9HiHf$18V_DFC&Af2E;UQd_f}x
z94H`XaWLpJGB9y*axpM681gX4F^GfAHs)b40R;{_*od4wkj-X13|tJ{TnrWrR_qLx
zj0{4U@y5eo4bsH{))kyu!pOiCoL^d$oa&aDlgh{-08UDfWTgjkHzNa&XI@@vk#kOB
zadB!fBLg2;1w64aC@?TGFf%YPurV-#yv@MCz{tSPzyYQ?!88NNQD8m~11|%EfB-0d
z85qF21Q-Mv7#V~Z7#M6Bm>8HC7#R4qw6`({Yi(x`)neYtAhD5wfq{uZiUDK@NLq=3
zlR=F^nt_3Vhk+5KoI!>`7Hqg2gE-VEO9m#e9QP&$d95uBs@oXU(T&ky;9}53GKL#&
zj4s@m5U4Ryn;7JU^tLgmYi(mN*u)^ejloE33xnx426Kd|VhpSd3=G-~91J=PJPf)F
kLJWEgk_`GtHb_BjU}CTVd&!o;4(usL21W)2273ku02_J3mH+?%
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceDriver.class b/JavaBDD_tests/trace/TraceDriver.class
new file mode 100644
index 0000000000000000000000000000000000000000..cf48f98d291329ca70c4ba95f63c17217b2d74d1
GIT binary patch
literal 17003
zcmX^0Z`VEs1_ooM8|(~Bj0}P$MTyC&`XM0Fr6{v3wTPX8g^@uZE3qt5KPNFSUEe<`
zD>b=<k%2kCw1kmC)CVk+nXeyEl$lo&TvC*pm}||*!0Y1b<{0V|67T2l;u_4z!05@y
z!0Vi!S6q^qR}z+(Q<}=mz`js{k%80KF#@89nL+p10Y(Pqq?8m!25FzX)Dr#TG<}fq
zNhvA%PA)EPiOD7TMU~c!3{08D$X0vi6_g^ZW-3l%WRQTk3+&?HlA_GKbf?m^wA3PN
zMh1?w%$(G`#N1Ry1|bYp){G2nx%nxjIjM{cti>gX$=QqyOwpc<44hz2d`W&WBLiz*
zeo88cPEJhDNM&STDN8IWW@KQ_O)Ow!5QdmpT9TQg?~z!X;hR`s&B(w~Y*bu;-CF^P
znIQLp6%`m2Gcxe!Bo>#%Cl(iHrsw6R=9MrqDEVMSiwZc3Qo<68G82<>Qmq*oxbh29
zixNvR^Ye<~J_EZVEEN=P){G3CWl+_{j0_z41@X!Gr6AL}ax(K$VH}Ve7@MUe6BJ5}
zUW^RvWvN9;`NgS>42)5X3>-GeIhlExC3cJq%o>_uj0`N!`6;QK42BHG><mUI$tAe5
zxFj`~hk=!Wjgx_q!5BoC@i1sJ=rA(y`();&`jzG;r51&NJOOfcesW?C%u`T7HXEp2
zq8gB}MT%8xknLQq70IauV4t%y*fKH*gA$E?X1>0sKU{{3fsw(UhryD;fssKBi#eVk
zgIG#3Kq*TYGq^#q14=g>46cj}%zEinTnz3Ep6m=BsGcnW#Uu}d7lSt=14n9JN^y8*
zNd_YWR)<HiGx#zx$b#Jpj;E^30)6)=&j6(4%+BD?$RG|@l9{jXmYI`^B+13##}Eke
zk`)(&4?{4B6~f3M0recn`$+jhGYk|0VIW1}j11aPMaUru30pL6;9%hm24w`_!~$@H
zurov<2Qk79Mg}cnjRm=enIRVB8a+^oi05GtW)K0f5_uRT88|?!WF7{71_5@4R7M6d
za0nnd7Lu8{7*ZHwK}s`t7z7!FK&&ht1~CS45G#j=L4tvUiy@DpfSn<qk%13khHqj?
z1`k6aLlG#?X67+6uxfaEYI-s=FdPm5X(;7kD1%5QR)CDE;9-zr;9zH{Vq_2mn*xq5
zXy)c(sAQ-Cd8C$+fknepGYq7oo`*q(L6)7N5tcl_Iv^R5i=hGH>J}abWd;?H@-`j@
zRS2tthd~YE{VpB`bqK46hd~2meIFx(0-<t%i=mfc0?0KJ!O0v$xi!dry$q9i7^X0A
zFfwp}i<;8nR1St|j0}thoD97TGk6$gGKerTuz<=)knd*mFw9|?%gDf704nh<kmDFq
z8CXM-4mf_GBAS>&91Qar85j*g{$0q!pva&EN|1|r7?v>TF*2|gBo-B?f^1vH!?2uT
z1tSA<dTI$HgBljwu$T=pbQKQ+F9RPJ!y1Nl><nue86<JmAUq7~88$F7uvDcM<%5Dr
z6H8@d4GM})AR{+3GKgSP0J3Q-55qQ)QOx;ysUYv{;9=Ma@(z1yMQU<s30Q1555pdi
z7*BCVetCRRYH?{!Nij(CJ|2esAPJU~{5)_iQUvlbCs<i>eo86_!(m2-u*}?o{Gt+t
z{GxQd;xs)_@=Hod(bKZ#Dkx3L$xK#A&PgmTRtQNgE>Wn4i4~V5mSiR?l;vlpDC8z)
z=4n8x!01?o#G>?KO@(SME{3BF$JrT<A?0MG3Y>@G1cMbL1A76ePS43>XE+5bg}`wP
zG0mwoGbbgrh=bt_BZDFr7ovhza8j^UKydXyrMCtb!%2of5OJP|;R3@&Mh3RTf`Zh%
z6h;Oa4Nv44MKRo(gW)nG1G|o)fq|wq7fAb6koIeg47$h(1ER+opD{NW8F-xZic?F%
z5{vvwb2UJ@@D>llZH7Cb$~m(t6<n2haxmOuWMJ2{26;yTWZwfGhKCG~7#TQ9@*%b`
zGKgqkT4W6}?+FjXQ-)`tl0PRERB;zGGDyPIf(roGywY4~9c|6c@PgqLJHtyx22oI?
z>Z2>*VR+5(hLM3gFSVk?6=EK`)zG{KN~!O77~X@bRJP3G__D+z4u+4642(LUSpLkz
z@C6i^tl-E5Ra@V97``+70M+TBc9?$};ampsxitsFFGdC~TPMBDl8ms#A`K3PKa31a
znhGGV{NrKx&&a^Yz@L#=?3-Vd3UxB5S)`#E#lgtL$iQgL&d9>Zpomc@LEAF^u=WcV
zBQql#55qwQJq|_=Mh2Ezu39ce2F6TA2F6rI260Hyf*xMhj0}urj10<{bvL^4pq5Z^
zYDsB9d{RmZCj%p+01tySsH!;1C<IFRdK`=*prSE9F(orET>+#*jE6y#L4<=*f{}qu
zA+0DsSAm03ijjdyL4$))hLM3o0o)?gQQ%;d1E~PD2Q|4E)-WpYFe)-CF*2}#@&F@)
zJgA<*QkEcEww#GMIr+(;C<JL&<zZA~RA*%1Os#;XTSy(_36j+0Vbo&OW@KQ4#0DdS
zI4C1w7J8th$*9Z2sK=<!$iSQkYF(qWN1&-lGm4RcsVt9?fg?F1H90#hv51jDQv+vc
zI=Q&O;|o-&Fq$x$u``-7GN|B+USu6SjOGkVj10_0sU=(tjEt5%jE0O>j0~!{?Sr)m
zp?2BuFxoPxfSa+YMTvPS#f%J0B?XKOYQ#C1i_wwMnVr#zkwFMEz<3y4z{PS}QEDn9
zgGh2wYGO$$xO9a3n32I(BMPTg2)E)?f@+*KJEI39gBq@oLsiVh=*}>KlhK{gn}^W{
zREe`@=B1=ofJFRw82v$|0Bd?tVnGH-B#?)Z2Ncq{0~XbAYeoiPh=+p{%Tkg2>y6t4
zBD{-Ym^C|N7$bu!F5jZ4<zfs4c{Y^Mo0Bn=F%T5X#f%K<IKvf1vo$>SoIyz%$v1gK
z_y(sPMEDogK5KTycs$XIs+fy04&>uFkdNaSlX)0ZK=H>^V#vuD$C$>$m=56@fpV)M
zh%jPg!0j7Uvk?K}lA2VSjuap^SgTW9QG}}7nw>EZkM~d&b1~+Eyq62|UM^!14`VU7
ztyz*<QG(AOsD@ZGG6+FZDRQC0$e^L2i8I!aRa$c~nt)tk!srdEw`;f<3>m9=7;6}7
z85snVON)w9^GZT8b5ngYb8<i(LS_w3FHkj5&%>a}pap6c#Bwk;F*4{XAo|=21*t`8
z`9-;@DLM)z`6Y=t3XnEnW`3Rms2^<wYECe=@Gx9pYy~xXyf7OP&=!?72V*-U1FJ%G
zZgDIJV<#g6yB}!00c5}$#%><Q9#ETwD?POYB<xq3%fZ;k$iS!%suL#gFir%?3P5GS
z9k$@is#K8VWFE#Tj8hpIKw90MgG&-iia|v#w$?ASLQ;V$v*uzr$~c{e;RNFhw9YK7
z@(2T2FpGzAHmKy}1UEH67Jy0<P}Yl2%*g>&YT&VoVopY8MsH9hKc9zj0Z0Q2sLjj8
z$jq>Vk%0?TmBL0Kh^i1gL8bXp9>!%LpL1j+7H5D)BiI>Npfp-N^GZ^S@)C1gi;D7#
zxEPl+#DcV~=3!g|(#8q0)fqG%0uo)v!?+&Qm|@K<_RmWNiEQLy+yoL~%PfvcEy@Q~
zT3dJ+w}KqcU6h)b5)T<P0*P<uVcY={=K_mog8IiG;axn8yFtR-#o3t!@%g1C1*PD+
zZ!ZtyK9D#cSb1?tQE75XX;CT%;{iqnHeY|2P#;&2_Cq|3he6Famb}!|6p+ACkia7j
z#^a0(Z2qAk0ihvW4DO64c^FTD>Up-*!qUVXQ0uECw}6B3EF%MFa7a+7b4X~AD+l9w
zMg~q-KNpDU9E=wk8HB-EJ-!Sw$`cQcKn}*sj0}t#Aj_`uFkS<-f;rPuK?7}>dFdRC
zHy9ZhH9?ZMco?%8b2u39Ffwo^7Ny36tp-Wl<6*qd_<)gt9pq+kgTjoYVg_E&f((1a
z!x+OD%fa}BkpYsvK&>|pMo@DblzKoskg^v%jINAs9E`6R890g)%Ti(DZ+IAk8ACW2
z-!U>MfEzgR1^JnICGlzbMIfA<8ef!}UzCyx8o=RT{J_Yd<>w#bYNe2wo|g|2Q-F<~
z=_1rA6r~oHrWS*v@e>c@XHYb9fTK4xKL_NPuRM(3Kmj0<n358b3hKxu7FEK0#liT4
zk%7?`r0y3F<8M&=hr6^OC9xzmv^X&x)OBS1%fnd8SjNd{!uX$ui2+nlGUXR=FflPQ
z@Z_bI$AjFTlbV>u$!NmF!o$Q0Y78*v7Zh_bG%&IAFmW((f|`zyzJnuZuol!n1a~&T
z-8g981?lGIVFEW3nDYw^L3}<QCVo&o!<=7W1mX+wFbP5V#*7Ti#U-GjlQK{fkujN(
zfgM~5g8FjE1FBHt85x+04cVEb7#T#sR)gE^KACyhsVP30#U)%!k_@pNOtOp&te$=W
zp&=Yh@{A1X&Y?j;@qVrmA@PpE!T!#kjv=n`u3@fz@%}C@@nCiFVU9t;988Lg3>v{9
zAn7p2ASA^I13djgT!VaE9m8C?m?Rl>Iha%!8MIR?3R06xQd1Pvb<`EgGg9*uK)Dap
z+6U*?VjYE~(h`OA{1Ph#4kk5522O><5(UsOsR9>+4MQNv(YLr57@4$q82K1#xtJuG
zba<F_ne-SLI5JB>J-qxP$iM=^%brkiYi=e3CL?wxLq-N6Oj#Z#V^FV;1=Q;USzyY;
zsLWsm(qhiTWC1FH*fSD~{ZcDRxELLotazA2818T}tYNa@VX|eiV`SjSP0UUOjVLoR
z$ZB9K*+FuddFj@i42(<;JPdLS@?1<#OfKw9&R9oGpvrleT$$WJ5f2)nVAqKDjD`$!
zF?sMXC@{z~GH_*rir1Xf#4^xGMowmN2_u6TQb!FD;ns`{tk8jHrpyx1*a~JSShF*T
zb1(%mGDwEzW#{FW=fQKIJ~XK*a4-ckGDrkh=9MH?D5QeQbSni!ta31gGBWV0L!uEB
zwF>GSOyP_SZ0b4+`30an#}vuK6vY$`atx?~0>xGo#J%9W0qyaE2ZhTs5<&AF>G`0H
z&J+)dqDLG|iHr<l1x2a4xrw0SS|K$rMIk>;0W?O;$iM=!l8YgdDTRkA2~@qX6qFWc
zFfy=b76%t3CWC@V!xPluV$Upg%*iXw1w}QeRA<WOVM=34=U~cZWDxVqFHuO$Qz!-x
zDkCMp6sCM0h6_xf=>!dDY^@0JL<eYa^Z_FSTM~HQgNq@Bsf35Al%W<hm62NFlbV-a
zk^!=|oQElcDILVB<Y7u>s09@s)jUi!pk&Am8Xko9<T)9cnd(3TCLCN$4NOh!OpUP7
zP;h{Os@L??A|9q@rWQs94)AcECunv7rLPGKR!=U5lT2+OU$leTLRftP9$f;>*W~A<
z#Dnr4BLgqE<aPyBZJ8yN;2y6hwn*b(>S1JH(ox`G>SJVJQBbs1U}RuSWMp7WVq{=0
z0kt$)G@>-aIGCm|GVp+#$O>tRnK`K`j0`NG@iI_qh{kU43`PcCaQSSdpa4p^3S3OH
znC7rE&1Pia2k{}3WX_;LIUc6DpgNNs)D}z3P32&k&&VJPP9b{W+E$?&lv<3S96dd~
zS`Ma#j0_w}DJh`VNHHj!7xOSYWLg4hba`UNv^5ulA=5G*rsYg47#X<JQ%eGhK-mKn
zGAN_8&``(XAxt3-rd5m#(jnjmEU4M4kd|MhkeHJL8F?-Sm4|B>893Y=J$+nVKuuB`
zrgc0_>p>m`wJUv7iy@Vl4bw&*rcIz4kssWc08b%+=d2hRSU{tYj10n9f|!wk6Wn+P
zwZ1`}y%a_U=G2M`l-WMSq>eQ^(-uYsj>P2T)Z$_l14ae|EIlD>Y{ek7feT7rP~C>0
zNXP6wSZjJBY%pSEu)t;mrZ(u96RfTWPgB9%X-vK;o}hesn1^u@<6?xXOc)t#NOBcQ
zR|qr}!^m_TGy-FUFw>NTu!PnTNMUKl$iNkxUs{x$3YxNFWDo#HJY+r@JcP~2z~h;h
zms$kQC#l8kOy?OH6fs9)ps@t&hA=X)Lpvml3_@TdQ;@yF$RGj{1m|d^&Mj0JwGYY2
zzz<Q4sStHYgpolQq7Y?lfsug^A_|LQ21N!&24)5Z(5w?^wv&N@L5hK$frEjOfs=uO
zfr){OL5hJJiO<8p1e&k_%keV^fN4PnAuuh>AOfaEp|lu-IG8WNzyYQup|li~mWI+Y
z46<N(IR<$!tpKGJ8I-_$Wd;>6tqP^pp!(FIv<8&cWYA(@VBiEz(=sqH=reFI=rZUr
zFf!<ad5jDoz`cpVU^9aW^JWIqjbKB~85kJ27?>Cs7~~n)7;P9Vz@iKcj0~0xRt!uG
z)(i{`EDVecHeh2M7?{CoIkdEexVAIcp_#$xz`)Mv2sT3uqK?6l!3kt90|$dMg9rnt
zEo8~yfMM=(26k{XXlZF{3%P7#aGS{>x|_i#ayNrtr1o}(fb9%H%Ne*~Jelnbp&*-?
z89=U=VqjxnV02|*VsvBRW^`weW%OWBW%OjwWb^{NL;+$l+$CC2moPABfo3fkm>41$
z7#LI;nEo@!GBC5TGq^J{FoCH5AV+~1j1XaVhDdO*L}NJLn}G#v38$8}4k%o}u44kb
z4ji_O{tO(90Z6Xlgu8|l?ix<e%qasC*ots;D;O^^urRPPFfg)cZD)wl(%#AtrzN|U
zAwf%LD?^gjZibY|?F?yK8Pc@`9QJT+WysWG-pY`zB`d&{BPiUlgCSR_cn3qtR)%t|
z-3*nHf-DT%8LGE3)M@QzXo%d-(6p7I8NqA?>223y*~-ufVs-Ck=#A9c&d_hgBFVzM
zm0^-3i_p}q4AZr?Fw_Z6m1Nn*Fe@C3l6f#C^B_vJ7`HMk(Av(h2%>Kr!_or`y&xmC
zwlJ*R#;|%T!$z>oJam~YAerq9+qJec?1HG>3yOP4=r%DZFfcF%Gq5m*FmN)4GVn2m
zF$gn;GsrPUFsLy`GH5eKG1xIiGx#vZGK4e6F(fg@Go&*nFyt^MG88hVGE_6BF*Gu!
zGjuR!GE8C2W|+sA!?1)gmti$yKErm#LWVtzB@71`%NfowRxsRRtYmn>SjF&#v4-IX
zV;#dE#(G9(#zt_gnn2<P7ORXbuvleefyOEWBMUgSF*8&%bTS-ZP-0+VU;@pSKr$#}
z4+9GW3j+hgsZ9(fLWj079NENRvYX*#q|oW@3}>~rFeGeaI45*z8^aZ$>)RNvXl-F=
z-NtYeBzAWj!<B6e_qQ<|VYYz?KlWYD;GwgV;W;D20ft^b-7O4nXEK;e&t%{Rnf+lK
z!zZZOx?32g?_l`4o#Cv|&ut7>q(R30h8g#%g^^KbC&OPxhFSl&ZelPIW@OyPa71eh
zL-RHUkPU)R8yK1Wbhk0G!j!%ND`nrta0C=fkQ^EWDi9f488{d_8AKSn7!(-08O#|w
z8LSw48EhE)7~C2A83Gw6Fhnp;WJqD0#L&q&nW2ZVk6|j~G=_PMGZ<Df&ScokIE!IB
z;|zuajB^=IGR^~sx*aIzGn|5kx(!1gBPY11c3}u)<YMGzU}6Ylum%mKGcYqOV~~Q1
zZDwF$<YDAxU<T)V5eC-34DO8V3@`pL$gnf?{$fy<;bmX~^$;O3!>||}Qw$98TGCq?
z`8P3`Y-1FJ2B0vbFgSJ?MYl0r5oQ#J#7rERBMISv;!T)Q8XCO9jIyxsJ)#AQRjn-y
z<vSSVw=%2*1s5byi-8l<LIzgGB@En*OBwtbmovmMt^|7-Qmn>9z0AN651IsHU}Rtd
z^*Esp-p;@bPD<XeZ0V~5%D14*!?KN0#ZCvrlHJCrv6W$?j`miD={hW18Qy|&pSBJt
zH-l1<&NfD!aIMHK4BadVTN%0$j?-e`Vqjog%fQLFj)9MHJ%c#o1_ouujSL!$n;3K%
zH#3+sZeeg>+{)m^xDD)JEr?U#4)zAEQvg@5PT*X?#30UK!f3$20jgOT4H=D~o|w+S
z1lFmerM-pGcsrwo_7+BKNXip}raXpTKP}zuj25t@_Zs9%NQ#5h2|F1$7<VxUGwx=P
zW!%G{#JGz=n{gkKt90P5(qXh?v}a&s5MYporV?2OR%prr)ef8tOn(@J*%@B&F))E<
zy`YXvWncnVb28e;7^JkfFig_g!qC2efnR$I!^Ull4%$px873hdB?R&i<3R>~#={I^
zj7J!x8IOY<1Bp`^xMO6%7BhmACo==1Gy@Z8bPQ@`6Et$wb~Cz1YHerq^wR}dx|PvO
zS9&X>uddEk#sE+z)dfYM?gnsej;JM1F>o@TW)NgN!yv|ZmO+~F9D@qud9WiO@uUWK
zgc@j4iUHJUPy;)MiGh<rmeGze2pmtrj3H3><TEgXt3JiujG-X+g!_V$SNm4R2p#RM
zjFBLxfYXu=!YPpSeVKui@d|?=<5dPR#%m1njMu@=P=FW)cZMR^a!_kbf-#B_RP!={
zMiilzBLzkr$npeOU?l2lZ)HpZ1x6~!1=s`Q76T{aZ3aQcI}BoscNwG^?=h$_-Uqt^
zGcYn3l%Ro;$)Lml3ydsqU}Q7qK;45B7`Y(#<ii4^02CO7Ag5ptj7JQdjE@-v8J{qS
zF+OFGXM6^B24-LsgWFJ?3=)iXj3uDN2O4UGTAl+fr!;mmnt&`X_tA!=j0%vw+Mx8H
z4XW?iwlh|4Wwh2tkC2xPoQ$s+1Q}m5NHM-)P-A=xb^|1FYCt1|lR+MuQ<y;OW1u#l
zW?%&ePMy{c#wx8XjCHA78S9`$<aWjekSn$^oD*hj1Q&^nb=w%5g&Eu61>q(J)0qq|
zQ1!x$9pECBVdXZ)F0ig%ur3h4e;dO&NL9Cq!30!@ZDX9Yjd2=;H4~B1<QUi)7#Ke@
z@GyR1Fk}3|V8i&IA(M%Lp^S-<p_Yjm>@OaOi=qAk<#AR9#@`IJ3`~r3;H~CHXzxG;
zR3vU=c<i&BK}Z``vHI$4VVD%I4Xq-P3LkL#W@2aHX5wHFW#VLzVq#}dX5s@|3yD${
zsI?r>;)any6k6Os8l&Lih8t4cfYv6Vw+0#3LUWxBD8#oi)`4Oe;yz`l`xu#hwRE;H
z&fUt;4h~;-oo$Tsbha@rggN*YBD|D99S9~N26iT41|cR91{o$%1{Ef820bPT1|ue6
z25TlMB*)u89na6811>8W8Dtp580{E&p)F}a2IfBuLf{Hjnw^pP7dVeBVq6SOETDoN
z)Z?;(6p~Ar7BFz{W?UY*opI%Uh|nrq2)%X|122TNVI~7-3lrmV2DTO^CYd!13=EKB
z9um@W48lzE4AM-B45my<3>HkvNRG9FI+lUK3R;p#GsrXCX5fH2mXm=+_z#0LBP*yN
zU&5e=5z^iapgs!&gP_)S#?4yW8MkR|XWXf^opBE+_>k&rCUpiDCJhD-CQSw&CM^a5
zCT*}QAjwP+>Ix>%<P(M!PT)pA1A~B;FysF1j0d%}wlf~t$|#Dkfe%zFGU+m~GwCt#
zGwCClEC4roHx|cdfr<!F*G@~A@fgVD?Tkl!mNRgGEb!3=wdfd6%>4faWDz7lAr=`i
zurnDm$T69KErOH)@=%L-7=##4gG(V$o&hIRes%_T76vBJj2OD#Sdti+!HKI`OPKKt
z%mv!QjOVs7o|wtNvJuq8Xa_Yh+O>rlFMtKrw1gQiL6lzc)e>gB4q^*4GJ+_b?Tk0W
zm;c|REzEcutk?me_=vBT&UVJTep*5wKuWhWLItc?&<xR)WZBO6Fnsy{Qf*<z$J-cB
zfYO;T<5RGK##jtQb%QoUsqS{h=i$r$8)^$Pz69&kA*fS#JLBu{<^TR^3p2h2YY_%F
zmfwTg)!P|AF8}ug+z5m8fP8h1GjM8YZ)f}h3WV=aFZqG|_)}{;;~y&)kYZhkVk=fj
z)?*AH7l49El4T2{wInO3#Fu2z*~(}v$s)}7eJkTXElJkxj6at%%$8))-OBh6BB?9P
z#0Yjx5RwP1*w6xP3qzeG+ct)!R_v1O#}PReVih~4Rm&O7P>cgB)RJV|&UhE37?c97
z*d*D6K7hji|2-{81WU4j)oo+Axs{1ol4T1M^E?I-s37w;Cbk0%y<3^Mz!EG=;4&;Q
z8D6jq>yp2-p?X+hG6Kv0w!@2!N1$}gWX{0OWXZt8WW^xPWW%7yWY3_@<iOy{<jCO7
z<irrc<jj!8<igO!<jOFK$&FzplRLvnCJ%;dOr8vnnY<X8nY<Y}nS2<<n0y)Knfw@)
znfw{mn1UFMn1UJ2m_itBm?9XRnIaiIm|_@xnc^9PnGzTin35P%nUWdHnNk>QnNk^B
znbH`$nbH~im@*irFl92%V#;D%!j#RppDBm&6jLtab*4PVM@;#QFPI7#KQI+Cer76W
z{KZtp#K2U}#Lra0B+69DB+pdEq{dXoWXx30<ipg!l*ZJ^)WBo`@*%?-20;b}re;{q
zWh!Ab2j^UK1`#IEU=<TX3WFY$mBpX|TC~Ez%uvH123oJez{0SVK@lpun?V{}d@?h<
zXOM!5ePs}Vh%p*5`a#<Aj2?^@peauVX2xJfT}DuwnuRfeQGrQ>L5YEtaU+906KHUZ
zjqwzN8j~24I0HKq1A`iq1cL|z8@Rb^%pk!2hXGWenEhsO6V^A9{KFv1&d~dhA&{NH
zot@EyouT(Hg9nJs!2FXznoV0(l7R^{b&p>1FzYk0g1aj7m~D15Nk(pGlJ?aSW|G;?
zc#zo+ocdT~XEA6>vIsNDfs!BtABd>{&IrN?W(bSTat41LNtSI)O5qS~pv(lxFl@^i
ztRz_=Nti)vH-k;&ZibVQ!c5BB8P0-6J+25dsX`hrosgExb|&@xEzFF||2OJvW74qG
zlHJavsk4nq+lpm5gQz6SP9}X&m)+fp6_in#Oh6)Lp#JxBNc-ca8H*?jYt9}nD^@7Y
z29bDd#m;QTv7Dh!k{#AMvEr2E1ouK#u`EGkSLvAydZHYx1+y4LC0Ru|SaTqXm@NI5
zGuTP8p^4~-a!9i7Tf`s?Qj4Tg1f)`ubzcfxtc8P7ltYw7;9uRs|8<~_?aFOT)?1nE
zwYD(XOR`F`ZDVpoh`MWSVRDyblVsh-<cO$x<}s)<Ffes8Ffny8a542V2r~6E2s2G!
zkYt+3V9Yd$!GUQqgEP}q1}~=R3;|3t7~+^_GGs8#V(4e;XPC+~pJ5i$0*3ia3mH~0
zEn?Whw3uNR(?W(LOv@S0GOc8|%Cw5%F4G!@XH07u-Y~6W_`$TEk%wsmqX5%JMop$o
zj229r8LgSNFa|SiWlUjO%UH;?ld*<r7h^lqZpKMWdl=_39Rz2nJ_bGp2F7{N48_Da
zhsl#chk=oSi*X8*7n3&w6N4~A6L=7UnL(1F4BXXaVVK3p!sG+);4Wp5XYyt8V_;#}
z!oUWWWo0<aa1q=dVPUw+aFQ{DL7ah=;V#2L#!Lor1~!Ig3_HM$EOv&M3>{#TIT(I0
z<bX3CCpgQvGw}ao5N2d&l4ShDAkWU=&M)<g!QdBYSVM@BoykD(KZ79yCp!ZpSP3IL
zlRpSCykKNt0ITnn5fuN$Ai%`H1X}ljo{bo0GO&Ug9}Kpj+D02v+kmPjO+<1J*v@cP
z8#LyDCAEXAD{$Wr(!hYU*p4vpFdbzOU^>QN#&m+gn&~7sbRlhHTWIJqFxY|%8b$^l
z21C%wQ)r8ggMsl6gBd$RF9Q>3{ROmD=?HD<a6<Y#kZw1mc?KSVWje>e!362)LfSK&
zaBDchfe9Ky`NsGFYFrPreQkyqLIL$+wlYkD448ns9I!#lR&bvV96sRj6R>w7c7uB&
zOqUoqnJzO3GF@R1W4g+q$aIZCi|IOp3DZp^Z=1p0V+Kwbpf0a2q*P^K0<9v#h?&XI
zn6U;GOTIeV;8M&$iy2Y|1;HaFWE;a39dPu7K?<XGNMW>%DFTuEz+)3k_ZV22?lbT*
zJz%h60#}j@kT|i1JI<OZ23&=(GMF*NGKe6@i4{A8JJ_j@Fr1nQ>H{z^FbHdHXNvRD
zKF+|c#VpK}u#G7K+zW*y4Tuw-GO#i|W8h?Z&LGJ25*$8|_!5RXft7&|T8n|&pWwtG
z2(}nBXAh0Nnb6^QYbMZ$X!bk?ajh*3nV_a-HcLv>R)%ano8=7rT3Z;BwlO8!EN5Wx
zl@{Pyz`zSq(Ftmdc1o{dU}TVGP-W0yutDi-yk%fwddDEk^npQ>=@Ww`(`O_n!a|9O
z!IDW7JP-+TA`b)09|l=QFLnkS27U%6&}==_nduCy;L#%`xa*=omS;=*BReN$D?=wD
zo*)hM?+k)WKNu95ej?ef1Pvet1|=lhnHd-r8JIxJ6QGtxLNkhtw1C2V261TtuK5gt
z(gK|G8Mvhdc;_>)GOuAlbg<Y!y=10eNY==}tpW8CK@(*lPckzwN-;2j)+9i!$%9&>
zCoN#GkbzTLz;X$Lva~=Vm|e95WU(Wd9km2xaXfa5e<N9}2e()c$$xANEIi!Ypk1)n
z7%<b_c4!s}*bSK=@nN>r(%R0H8ELznDQnjMZ!!W(^BL3-C0Pz+=mDv=)|Q#HjVUi2
zqDeq$!T*oi+n5SLLnn|#3(nxo3=AC1j0{}NObp`8%nX*yYzz*}tPI}F9ANh=fD6z7
zsQWn>JeZ0Ygg~_hgB#c<kUl>*1M^=7E_Q|#Mm;tLCeXSxXi$bhgHjOW2pegp`JmwB
zTJZlfB2|EkIA&f3R%Xa310>79dY!BcJYahuBZ}+{ObmY*_!$|Pn2Z@7LF`~GXJ7&i
zIy3Cn+QN{|yp5?CYS#h=R>lol(%{f~52DLvGMIzZNW+80MjF(E2Z@0K2CQb*|N9_1
zYZgNqh^|=95GO653U;^h0tP3oEexHu(gLar7}P-Jfu9y=PJyZF03$PKK4=S5Ez<%9
z9!VD69ZdCGnQCP~$`>%OYi(!z2vWWQRK9IzYyi2SbsNL|4KS<W&HFG0Q3eKPAqEa+
zQ3hUSF$NK4aRwP?Nd^^WX$C!J83to!IR*!2c?J(=MTSsjC58xQWrh@H6^2Y^Rfc?K
zHHH#qb%q9J4Ted~+6?oUbr=>i>oII*HUh^bc%p}4H#9DJ8P-8VHj}}MsRKN!P{JU`
z<ijAsz|7FVAOs#3VFB0EA`Dy{e;BwK`K86V|1jt>a{ppr;Rm&Nn7S~^%T@+f&{#2p
zfwatg23=VC)P>B|2s3rVW)qk|V`DOq;vCerL{Aas4EoHFt^j02(*Wvj1_lGBesBo|
zVod<M8^oFjb~iLb>oYKb7F%IBE)rTd@=4EP-~qW!2b<N_47|*c*<?ua=Yw0#$20-l
zXkuXCV**(SN&d_XjJ#kACt+9^2(3K?q-Qbkfh-henvBg#dj@`H2XHJw(!T)QN&%>q
zP@nNLa57D0ng&h#$qX#ud8Fl9`(`ny!iFK4rh}%%7`HLa1XrE&;G>lrg_#xzaqVDQ
zw1a8s4yJk=PDf@lmgNjGyBQcGwM1Erq_;EJS+OcevTk9lOLS~uVH9Q2+PCokW37EG
zOBh_?#;@GYa8?0rAapr{suc@d#cD_|f@v+>YEUm^!$t;11`CEph8B3uWXHhIz`*Rz
zz{>2wpvLUUpw8^gV8-mjV8QIiV8`sw;KLli5W?)o5XT(Ekis0y(8wIh(8e6bu#h>N
zVHtBIIK&`RY0H^5Gi_mDU@&7SWLgML9~KPxOj{YWz;U7sZhx{c_%LuVZDVj^U}b1y
zP+;25w1WYX!lf8k)&DVwF|sg9{AbW%U}k69$;iUM$j)G+D8RwAi)l9`z!_AbLu#y`
zRurfxg|wBxbq%8)*f~rL3<4ZXdzkiO(b5j8o{+UbQaD7*KBoOpEo#tWlMOUkz5tXn
zkoA}$S#yBtAf}$}Oo!0yVUk7CbA;(AHa*AC?b(5(=LFM9s2-#cV6sOK0aGL`r?6^q
z$Ek&ZiRm<G%7^I;(^&=v1}6p%rgIEym@Y7IGMX?jGF@a~V2op6WV*z_z?jRx$aI;3
lfsvVkk?9Hx1EV_wBhys|2F6eZMy6{F3=F*tj7--V7yu!PV3Ys=
literal 0
HcmV?d00001
diff --git a/JavaBDD_tests/trace/TraceSuite.class b/JavaBDD_tests/trace/TraceSuite.class
new file mode 100644
index 0000000000000000000000000000000000000000..be0fdb58fa5cfdb44a372bf7483d54ae351fe3c0
GIT binary patch
literal 3979
zcmX^0Z`VEs1_on>`|J!%j0^%LMTyC&`XL}PxHPjQm7RfwkwG9Uu`E$PCowNw-#;lU
zHMxY5fz2i}FSEpskwHwu2O%3=Qk0pOZtbZV#>l|poS%})#lXzK$-}_Pz{SYGtf3jk
z&cMUSzysEhnXm7bnUl)Jz|Fu1Qo+y2Ad1B-%`lJ(K^_Jn24O}9?#yDB%%arflKi4d
zu!&Jz42%q-JPcwC;*1PDMWuO2(n3(<pf-V=1yU`^!yv`L#>l`{RGJr+S-{A^?~|FA
z>Q|bZlv)&$n3R*s$ROmCpPZNzmROVt;zI>lN-{EwL2~F}WX;IHk(Qa0nwOXh)(iF?
zIJBVQ!N|Y^3a!k<ocQ9*s#Hb>Mo&ft=9J7LMg~4e=)s)G$iN$1l9-(Bn^*w0m7PHy
zCHNr*f<i=-he3-$n~{MtC$qQ&6p+P?41yY((WvHuRO<3D=rQOsGO(womiU34D59YW
zQHJbDb_PR625GR{GxPPGO4HI(i&9fO^9o8!f=h~06LZ-aj2RikVG2N2B1v*F7%`ZF
zqR|ZG42bD4Pl2M)fWZPJYsttUfru3({nnac91PZs3~YMf(B)!KW3c66uw$@iWZ+26
zODPV|EXlx;K)^}Bk%z&F!I_bPqo_0woO&4<w4oLudlK$2WUD<vcDph%um!m~y7;<+
z(ug|`g9n2rBLhcqMt(WStBed<#2Tj=#>wE#;LFb7gBo>}#U-h^JPdve{)`OF`K2X{
z45D!71QccFL4(<vogokw&PYyoD$UGENiE`F2xes9aC7wZadoj$;9>}1;NxNlV~Aj9
z2xnvvhDDC2ziUNuYC%b6ejX1)Bq;K^(o;)(Q;Ule(^Em3qIno%7-AV2*b)m0Qu9(6
z8FaDu4l|KJ9bwJE5YNcK$OSSfk%u7(WC2G>J}hyjFr=|Fq#`*7$#*;q=?wgg4D1CU
z59j28+@8t9kOe9q_`zb}<PVNPE(ULg93F;ThCD_Fmeh*O5=I6V4RF!I3d(K8j12r}
zshyF5F_V#j1(FY$K$#U0!pITM$iSRhQGp!(NC9Te&QQS4P>JMxB(0!i&d1JB!^j{5
z4(rmA%pCoy%mV$W%mNf;)eIIK4E2l*oLpKUpb)LV!O+Oaz@ZSU0OD(LF;p`&^Dwk9
zv@$aAfHG!kMTu)(38++)g5^$R!@+XaTnz0Dy6g-cj0|EJ)`L}mjP2rK=mv!+S8`5%
zaVlK6mxrN`p`Vd~GqEf&GY3?zfeTPikd}!&43j`wSixGj7%CVhGBPk%fkIFYl17o;
zg5*(aMg}HOfhK{e3T&}8C&NsJ+3XCn7#Re?85>fyxD;iUr55op%wd?z$iQBfT9lMu
z3@R3*KsjeV55od*9!V`K;$T?B$iM+g4w-rB3LFee7#W!L^z^tGW-=@Tl_#Dc)(Q~I
znTuf+C>yMXMI1Qqz_S4d!&*iLCN3_Js!UMI+Q7rG5#(j2^kh~BFc9wGV%W;Cot<GD
zO1=%rC`wIC;bGXpu#=I2wKyj=wE&b5y})%Gq&R0OPAp4>Cnr>ktr;1(;I1g<VA#*d
zzzQl*6hNVTkcZ(A!(m1S7LXN;4D1@wPM)5co}kk2D9BUC;9_Bn3~Wi@GMSNqDcXsh
z;RGWCOKxIj9;gO}W&^OrkW6R|Dsveb&VmeK<6=0^aFLzi0waSUIMsmFdFGX*ri0?(
z62oOi29AQnqT*D~JW!#8tt9Z|V7SW2z!M58Kdcl$rYLYRTnDAa8;lJ6AU>pd;GC0K
zT+G36i;+P?!3G@Ry2YSogkDu<ft^A$v=&qV1)D;AQetsxd@LgaOJY%aF(ZR87H=>z
za0Ta=7A2>Gf{c-YACwYO!3`5VkfjWY42%rS;MikhU}Rur0Fmqr3=H!am>F0Y7#LKv
zwli?-X5fz0-p;`5r@M_oU?u~Pmafb;29f0qoLbs4+ZZG^GB7YOGe|QqFvu~0^vW}^
zFeotaGAJ^LFeoudF(@<0GN>>pGpI4hFfcG^LCj^4Wsn2gtHL19puoTgvWr2HL5YEh
zftNv?L772?ftf*-fq_AUf$2YkECUNW10y?w8Y4RcHv<DJ10$%x!oUc!kFlA74Ma06
z(cZ?O;ir3?fn_7J8Ow5peqB)(Be0A4wLnaWqsu_dZ45eAth*TuB6l+wMS=vjGni~=
zFt=ipWEHa7#$Yp(fnQ6KRgz6+JA=b=24_iDAs4WyC0KMjgWGZjJuB8t3|_k#0wRTi
zwljoCvTkDt-Nq0l6t|5bY8yksHil%7P=<iW4u<R&7DiDP-F*xH7i?r;WKd(sX2@d*
zgNB(E10MqegC+wjgBAl9gEoTzgARilgFb^kg8_pxgCRpCgAqeEgE2z^g9$@FgDJxl
z1~Z144B8Bf8LYtJ8N|TBz`(Es9-d3UVFwD&CD8C>Wth*9&rra?%)rYqjiHc1iGhVd
zpTUNqh(UpYmBE=ogQ1wAgn^BrfI*X?l%b4)6&&um4D5dxxY!xW|1hvJivDFVVrNie
zXQ=qkAi}^3jtg!^c7}3BP^^S$F)=WL+Jw*unZv*Wj*tzY(AD0~Q02Fqp*m7`J43A%
z3oOj)wljoigTku;5ne3Y7@DkDmowObLaxn<O_B`}8Eld)kjM~~WP?Tqx0WQEB+GUN
zH%XRl44ojN$%++3_00Nz07OsF-NrC^IfJ$z%u-N9>0-o_?luNUG=U<AfuV(=9UeJe
z3_=VH40a5h4E7Ad42}$X3@!|&46Y0o4DJl}44w?33|<WB3_c7w489D-46Y2-4E_ua
z3;_%+41o+C3_%Rb7=jsAF@!LzX9z=ztPSwU+5k`d8=#TJ$xscB4rT^nhC+rZ3{x3c
z7)%-b8KyBzXJBQpXD|Ur8yiChgE}~}Aelsqf$blI1v^6pJ3}=)L;D{F8FmIW!CwsA
z{~3fCn8DGd28k+l1}0EL4;oVu3@i+63=9lin;2%8v9N4rn6Zgr9ym=egvHNdc>KsR
zEnwi=%`j72XFJ2v<qW1^rtEfx<;xi~F*CzTP~@(GYX(K>I#G}f%x0|188~+^tZ!ju
z6lE1)TloK*2*aiw3|p2nuv)QhWME=YVX$RzU|7Xa2abzX(2Qclz{9}65XHdC5Y52J
z5X+##5YJ%3kicNekjUV~ki?M4kj#+Akj9YBkjYTTkj>D^kOK~L4{%!Sf`@q*I0Qi%
zqzfF<Od$U=>|#)2U}j)tXl2;VFqeUa!HGeIp_E|{11m!wg8(?wK(d7zC|j5?db2aE
zQvJig#mM@ffghS7K-q&49LlR08JIxrUj`<Iy$lQtEDVecVPIG6U|?ea)s_yh6uA!?
z%#ad8P=jF)ho6ovv+lla3<u0uL|NuCuxtdYRg2VR7G>GaaAX@p^78-p;YF?#IR5e(
z#25+~WEhGW)EG(_bQnq*Y#EBczBhr`2lu@L-1iPp-^(zlFdSz%!NAO*#vl&%DGRs&
z;9+0_r=yd9Kn+e#hEoiuA*qI;2kavT25+r>EDIO}b~7+)F&i;$XE?K*!Aff%>jDN*
zh>#YG(GG@lU~wf_y1KHRAw-CA8^bkF^0*049*8<b2wXqZFbFf$GH5f@F?cc5gFV6n
gt|Pn|ZZq6rU;sOim4R7UT#kW};VuIM0~5nN0MF%(djJ3c
literal 0
HcmV?d00001
--
GitLab