From 1f40d0fc6efd0a80fcf0e6e1ba6e7fc144188afa Mon Sep 17 00:00:00 2001 From: Jakob Jarebica Date: Tue, 11 Feb 2025 09:53:42 +0100 Subject: [PATCH] Remove .DS_Store files --- .DS_Store | Bin 34820 -> 0 bytes .gitignore | 3 +++ CaseStudies/BankAccount/.DS_Store | Bin 6148 -> 0 bytes CaseStudies/Banking-Evaluation/.DS_Store | Bin 6148 -> 0 bytes CaseStudies/Elevator/.DS_Store | Bin 6148 -> 0 bytes CaseStudies/ElevatorCorC/.DS_Store | Bin 6148 -> 0 bytes CaseStudies/IntegerList/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.model/.DS_Store | Bin 8196 -> 0 bytes de.tu-bs.cs.isf.cbc.model/model/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.model/src-gen/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.model/src-gen/de/.DS_Store | Bin 6148 -> 0 bytes .../src-gen/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src-gen/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src-gen/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src-gen/de/tu_bs/cs/isf/cbc/.DS_Store | Bin 6148 -> 0 bytes .../de/tu_bs/cs/isf/cbc/cbcclass/.DS_Store | Bin 6148 -> 0 bytes .../de/tu_bs/cs/isf/cbc/cbcmodel/.DS_Store | Bin 6148 -> 0 bytes .../muJava/muJavaMutantStructure/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.proofrepository/.DS_Store | Bin 6148 -> 0 bytes .../src/.DS_Store | Bin 6148 -> 0 bytes .../src/de/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/.DS_Store | Bin 6148 -> 0 bytes .../tu_bs/cs/isf/cbc/proofrepository/.DS_Store | Bin 8196 -> 0 bytes de.tu-bs.cs.isf.cbc.tool/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.tool/src/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.tool/src/de/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/tool/.DS_Store | Bin 8196 -> 0 bytes de.tu-bs.cs.isf.cbc.util/.DS_Store | Bin 10244 -> 0 bytes de.tu-bs.cs.isf.cbc.util/src/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.util/src/de/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/util/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbc.util/src/test/.DS_Store | Bin 6148 -> 0 bytes .../src/test/resources/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbcclass.tool/.DS_Store | Bin 8196 -> 0 bytes de.tu-bs.cs.isf.cbcclass.tool/src/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.cbcclass.tool/src/de/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbcclass/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbcclass/tool/.DS_Store | Bin 6148 -> 0 bytes .../tu_bs/cs/isf/cbcclass/tool/helper/.DS_Store | Bin 6148 -> 0 bytes de.tu-bs.cs.isf.wizards/.DS_Store | Bin 8196 -> 0 bytes de.tu-bs.cs.isf.wizards/src/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.parser/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.statistics/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.statistics/src/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.statistics/src/de/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/cbc/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.textual.tool.ide/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.textual.tool.ui/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.cbc.textual.tool/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.commands.toolbar/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.commands.toolbar/src/.DS_Store | Bin 6148 -> 0 bytes .../src/de/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/.DS_Store | Bin 6148 -> 0 bytes .../src/de/tu_bs/cs/isf/commands/.DS_Store | Bin 6148 -> 0 bytes .../de/tu_bs/cs/isf/commands/toolbar/.DS_Store | Bin 6148 -> 0 bytes de.tu_bs.cs.isf.lattice/.DS_Store | Bin 6148 -> 0 bytes 76 files changed, 3 insertions(+) delete mode 100644 .DS_Store delete mode 100644 CaseStudies/BankAccount/.DS_Store delete mode 100644 CaseStudies/Banking-Evaluation/.DS_Store delete mode 100644 CaseStudies/Elevator/.DS_Store delete mode 100644 CaseStudies/ElevatorCorC/.DS_Store delete mode 100644 CaseStudies/IntegerList/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/model/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcclass/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/cbc/cbcmodel/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.mutation/muJava/muJavaMutantStructure/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/isf/cbc/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/isf/cbc/proofrepository/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/isf/cbc/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/isf/cbc/tool/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/cbc/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/cbc/util/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/test/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbc.util/src/test/resources/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/cbcclass/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/cbcclass/tool/.DS_Store delete mode 100644 de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/cbcclass/tool/helper/.DS_Store delete mode 100644 de.tu-bs.cs.isf.wizards/.DS_Store delete mode 100644 de.tu-bs.cs.isf.wizards/src/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.parser/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/de/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/isf/cbc/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.textual.tool.ide/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.textual.tool.ui/.DS_Store delete mode 100644 de.tu_bs.cs.isf.cbc.textual.tool/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/.DS_Store delete mode 100644 de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/toolbar/.DS_Store delete mode 100644 de.tu_bs.cs.isf.lattice/.DS_Store diff --git a/.DS_Store b/.DS_Store deleted file mode 100644 index ced7971f67712d5b855f39f83f64e3e9c0ec212c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 34820 zcmeHQ2bdhim9EzcJ4sS2u6AZe8U+-WWs{_pgrtp zPgQrl?y7yS-v2_Cgb>uw+fgY*pAf=>51;jb5MB60@TtJZI`}$&QjQ_0A$-1xPZ8P+ zQ7(E!uQ*k-iDb&%g^I!m6h@#h0)-JMj6h)oJ`5wkx*LbbZ=4I?g%K!>Kw$*z5#aeD zf)AhT%yXY{mQx45G!*&zP(Jg4->?JZIbxpc%yXY{mQ8V=Y>KndluQ$YjOM71@a;I) zndd&^Y%~{SG#6w(nM@0XK4$k1WKi##5W-*fiHa}ozP_O$l&CL3D2cXDY{A`x%1 zez&%5iA4|Y*2gs_I(u4UozZUDAl4DZEoW_wb#^2UHY9pGJCd^PM&p9V>-Fx|OAa5d znYXYkQnhg2g=LY$l@&Gf%OdmVS6q0Z*E4?FX^S`PJ}svvWA79)(Z{e49~ z2BIU`9&ba(m}<^{wfMe%P7uRxD$55=RT9LrO$((YN9~q8>!%IAke9YA0H9DywT)bmq@z(W$MjEQ{3C z&dWk_GVHcfPBLt&NX3wMd7jLWf+_=j^}AL{8OWH5ljF0cqVV_dJ?KoPy>W4~M>J#B zkBS45XA|zZU-Iis4t`C!Um4%GFSr+PlyZ+cf?}AdPt)Az9HW8nbB+RyT5pU(v(#rX z^kzBw!+N||bmLbGbR2X#ez!s%St=8v(hqlT(fGHRGgzL#2q}kMUL@UC)TN>M`73Kx$ag*XJXlVsq|dEf79%}i;k;z z1Kg#&eJH|j@3(nipX7rz5(W0SdI5#6@W24Al-^X|@ZEvwtG()b$L!Srbk*J+?{1}+ zwLGZ-pje!)^irh$z20&4^cXFb-s(>>=sCvSt{%T-_V}1BoD$zRh!#rE$3(d2ML_P1 zXUoO;_>QOkT}8QL2J?yy;O2VKB-Y|wjusti3&y)HPS}Wn5h+x!U&w05eVV2Lm}7uFw6HirETK##k-x?RQVFu{>jj} zc3X8uPQC7wp^3k&;NJR017xUEoQK(<9sd%*AV43gyzoq+$jgZItx{)h0i2?=9AmeP z;W_(|r_d~sTpZ731e6Bru(r;ehI1T+?}jO$F{o#&V{FgwgKVqJXqIjmR9olYM);+E zoaC_EjC_uPd_qy^5m;`R1I-b1&-HS~b9zKd22FcEc!GUXE-l4>S;a2Qg5rs`4XYPa zvsYz7u3nWay6&_OvuLhxcX017z}?wUNgil4yjnvdmRIXV%d6$}`2!<@o40J<8rZ%q z)}H9x7`q_4TOXB#YpVst_1)0}aA|FAPsDrocP4l1quX2K?Y;5Vo@jkM&NriORIxW8&|AZe`J(Cdd%2yfxr&<(K>r#dt=e=%?D#0 zJ?Ct1O}0lnJ7S&twjPKjV{P&1rq0&=(b4pT*DG61EC~j;^|r-6)*I_Nq)+pBWNmm- zFmP4}USw^egQ<1scY2Kbr%nn6ck-3S?kK)H%my=N1_PUt7zDl5ym4+>Ah78?IQsOY z`KXG@KyY)swJjRgJG{no=FJZTw;nKhr>{0E7cCA1x4~n&A6-d~rZTg7SzR!=i=Vuv zHQBSSE82;-y4!qw6W(e&U#suvknc1`A3ZAA5?t-kpYiNSp3~YLU3U;p$RlR`I*&*G zX;IJAnmb}W3H#zkzNp7K55(Z##IPG~PR}$jojj)1%`$$-q4eq;M+%D>q84$ZP4HbO z#3#iS;w$2N;sNmk@q~Cz{7U>*{7Jkc-XkK7hERaUQ!!1X5}Hb6i3ddX0Whf1tPNADYle8>^LSVQrFDsa0uBjYS~m}m2(t-+7% zB+T?1YoALmVWlfuR;~&x_|Qw(3nLAg8b6^p!h%-2q`~G%gNZG^bxMO20Yz}62uMb8 z@$L~wUZ^x2m~08ATVOXscB1EdSOD}Q$Z}~@>2eQbOZN=O^v7iR zr^SonsCZ5MS-eBT$xk{>rdd=$^Qn%O(+V*8YFbNMXe(_8t23kTrE@4o=TQ&!g4xff z3+SKdpXp!dU+GdX{Aa-O%<$LK*XZl?O}dS4r|-~r=}!6q{gD2X9-{w-2>g_OPA?h! zYqK@8vE!hZQOJU=T_DMFFlI$bflN72QUKJ{JGhrwypPM-SegM$>XqhbS_sSVO94w0 z2Tj)ubE$w_I*s|`498#xkU zRKW|pM(lxy^RT#5Tq|w?s{X#XOFSl?6)yl+zb@Vs|Dd7d1)82hvw@};(lWq|Mrs1o zSV!w=0}%CQ+C{smmD;F7;^{8>7$xcBCaS)eE~hK#N#xOIM6V)fymo*&)UNju#E@u2L zE^smU_6#i$*>iyaj{jr_0!(@i5O9|@hu9#X=zYv;@gS?E`0(M1vPgARr9=Rgl~rYt zdGl&qk@-t`oR5J3F2lu)htWa+Z0lv*SU~`X9(XM)8vTBkkTvekx!XS?xM}mIEnByx zb%cBn9vFL?POCk<4u8v%hUKf*nf?~PfAId6vg7$%{EFE)2!D&;?Qik>-ToGTs=vjb z#@{l|-|ufRoh?h3r8-+4HJvSuX`L-AgR9ayTUG|o7}(jeGPoflXN#>IOs7i)-0Q2v zE;xb@iOa?3rPJk3D2Ru}PoW-O5x;}mt)h&}M2C+CpuqwgRGq!&V#Hjk5KvwcuCg;@J<2u1+snfJG}> zRxS9@ik2G{)h>B|P?0|)M~h!|wD^zVXz{C#7QfTc;$P%-w56(poT#FI-Tgs`HmI4el01P$L8303P0t_*S@1i{bL+#SJ zn4m7|ro#Y3pMZ;z9gGZynA5KX6#6248Bpj(xEgPUzvX)XLw5lT-An&PKcS}$&b9e@ zwZ+NCnO@9>pItC$(LF{gSH^PTf1q%--~1&BCJ z#0iLUpzMG~ss54o8yc~Hq^hb0{*j96T>T?CjDdxd_>Y_e83i#7`}j5{S2!Fa!1jMG z(nK?7L~&MosGYJi{t z7k$BsN<;}-5i~H0bG-nB@~5wMAyiiqAp@hhWT_WVc^M%CE(e1Rji7TkhYXbPn61OS zP+}#>`lu5t#aS|Te+W^sPl>C<*I?CuTigTC_L%s&cnMbh8weZ_0tchbC|M~@0%V&7 z&^DJ&MHpcLRNEp%%$j95p#|`56Kwn~GIG`q8$XJenW5NvVB@o5yBOgF25?u=r)4r~v$e^&ZDUQfz zltiXrM!i$9?&Xz|lE^6@k288~Hkdt!r(kK_8#TW2(|GEY*1gfxS6#z%x)F#rt7;eW zylzFM&C0P$JYHJ`8FeM~4Lno3!_l&9k&@*ePk$oC5xscggq1BNC5{vdBvg20{aVzg zCQ+Cd&y*KalPI!K57&tsk$iQJ_#xE8GL`tD^L@2GeJF=7WO1>t)Tax$>-gHTaD5nxm{*VI*X zHIU60I4j7-mMe|2^-bT(oGo2QCRlGEnGBiRWs+w}ML{f+bnaG$@8LozL5Deh?3Kt} z5~(DCU0v&M35K|mv6~f52VyxPYi{$kaxkmTJ7G&!1QhVHApCm&rf}(#h|_piobQkW z3Rd2vVE?m(s>e7Kv-=wtEdLX0`Ii6=F7_>9^*EY_8yfP%Z27Z>pT^!-bZAbrPZnL8 z(;ztYSx$r$jaGDVFSsW+di`#KCdzZ56*kB|C1jaiTU<_oz7->$N)_r7@kpmufyAdp7$95&y3o|0&sp`TE z*f++)j8no>!%k;{8LWpDWGu{(mJjE&mj^10g&ES~;hO5eys%-zNn47mY6FYlV>T9M zNQ;Uqm%xW&8+~S?Kz+C|>~bY|^hdF}16^A_H5~4DCg6pF6H7*gSBKZS69vrrGt(vt zm=`w>kSI`RreE3SnVL_g_@BeVolo{vGoS27a4Wnhel32Fe6qj5sqi=PcNzw_!g$zd zGo{EWnv%Yh~j4PPh_c<{FIyb_n$n)60Aff~Q}nZ^-cJ9WrQoADjx$(h+(N ziRwq?`iwtvs(^GY4An+xBehX*EX>j7YGv9otq!X+HfTGwJz9*XYe(Y1*+$v=*3QMR zT;(3!5ZEOOOM`hS0FM=>oVr8|N zSXpl;R-S1mR_?JAD-(8N+9>^(RZtUwp{O$5U)g@aqOcx>ZZpu-NnmjyG5tDI8`7wE* z>Jpa0?4xGwQ^>2*+3nPd#2tITK9{KQ{s2x<$(g>BJ8~wb@J9IlnRwZpX}UPWV{R># z2f9x4xG!&X6}FoE2D8=lLC=`Hja3>Z06WB(hRO_bqX#E5_Ttwp2>NltTIdA zb>=2kd84k(D|x1_Fp9B{bdFo$y5n^eBCIHtA)=9TMd=s{AxOk4O3P@TTv6IcYp~vKqg!Mvv3a%rMcf=vDeP{T~O3=v^&f zW}tGAs770&E!S4dt-2shw%>dw3XVhDi~@^XE-6j@f>&e-o^#1f2vT=~@>2Wrx|cPr zTzjTWaUSg(>vQC9yCXGLbkz#PzU)0RLMESvLW2v$a$fhOP{gO?bjv_2Uzrw)gj|7G zuAUj1?UOm(G7!r(WxjHs%;}baSgxt`RfimbSgt~HYDfvhawT$bLUwq|$cN?Xx==$X zB^GhTtqvI@Cdo?q^h7a~sWwsy+nCEHChwVMTuHxk<;#fzh{ zNk=61)7U)B*ej2>4Er|1PWNFKj~`*t_ET84&9T^5uv6ae5R3i0HcT6?6=^{&q)pdm zYgI-^Y@u@Rk5`TB!|}-~i^ieHJ__QL!7_>A#xe;#BXQD4jvA3(ocKx_apG!KoVZ36 zC$4dc6IZ2(6IZ4YC$1hyoVa)C#7Q4OoVb2KapH^l6sOdc5+4nMx@xd+ vjmu!+suY8TE7KS(Ts@G%!rqN^21~*IFWCRi|8#==)AlwA{qD59+5i6!_S0vy diff --git a/.gitignore b/.gitignore index 8d99df422..ce0d9863f 100644 --- a/.gitignore +++ b/.gitignore @@ -130,4 +130,7 @@ local.properties # Spring Boot Tooling .sts4-cache/ +### Someone used a Mac and added DS_Store files... ### +.DS_Store + # End of https://www.toptal.com/developers/gitignore/api/eclipse diff --git a/CaseStudies/BankAccount/.DS_Store b/CaseStudies/BankAccount/.DS_Store deleted file mode 100644 index 117c56c9f4e126cf76afaee3dc3dd73416e1b70d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKy-veG4EE7TtzhZEz<6%}U711^!~=9-g#LrnHWj6N-i3vYr(ow1`Y3!pyP=n~ z5)(p|E!}+=pM7?|Dt3>ETz5U{5VeV@g~6DdV%j6T&!Z+Ms$pjr&UmINt!C3sZK5}n%LcQ2fE^TuqO-aCyxC_p`i0fq5Rdq~@IPQ7BZc&NfE`OJh_x7Ah9tW)Ae6BbjljC9l zJ)5O(TLS&qyk)7U9T!;?659Z`jL7R;MV<2XrA&+hD|F?(l|FM%j83V?^ zQ8D0>te181O4?g%FUP&sV?1K8uw5Y-Trg=n4hwF@7Z^dX=Xn846$?RVAofQf&|s4> I@TUxX0~45p3IG5A diff --git a/CaseStudies/Banking-Evaluation/.DS_Store b/CaseStudies/Banking-Evaluation/.DS_Store deleted file mode 100644 index 487fb93c192af2da9ab81e2fa3323e165a72f8e5..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOHKko5UmCh@v~s*#$>_`xWP!qcmNXJB4Ch&$q>=4>C3tB6mkV`;HytYnt{ZP z#+WM7{buUZRr4CAXd(*3=h=X$M?_r=#?~>WJ;HV#4QZL?3>ajMN4leu*30=|)bMu2 zUu1yyu1hmoVCUwvwSUv9TuH$vFSq-A%BmuDy0Dsd)+wv)iVk@t^~mpo+O!5k)3lEM8|pAinm>NL zD<`#eJMXSF%{RuPF3x~6;0*j21L)Z--BU%ModIXS8K@cH_d|xkm>Wh#d39itBLJ`i zwFs{HEWt6EVQv@|VSxk<1!`!pBSz40=ri-n4WpulQ;^J9$1(>yp#;eeeJ1V{az&q= z0cRj(pslw(?*CVZ&;MzV-#G)$z`tT3bc#_i#3Na6Z9E+J+6-fi!NPt~u@1q7v|{*j dD?Y~%fj;94U~U){p@H}x0inSsXW&;E_yh~6WrP3# diff --git a/CaseStudies/Elevator/.DS_Store b/CaseStudies/Elevator/.DS_Store deleted file mode 100644 index 767b3d650c4afed31021322f02d57bb3213c92cb..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKyH3ME5S$B<5(GjiDcw@0r81Eb^eHF_d4d$j5h1-liJ#y%5MM#f?A^xlBasjV zLTFdooAch@c|Etj2LLzNPWwO)K$j}mI%cs)q+PTjEw!8yogd=~3v8B){&12tyv^_z z8IZZ_V1f)Q%u$-ZbREKVGRrlOG)t24G8?l+665mY=Iv^q*Yq1+>qp6!-Pf3VFVZ{FZ+} z-J=>)-Ys~lj8l#1kXJb#U?lOF7z4(DG4N9cWW}O%PXbzL3>X8(K*4~l4-r)`R?GwX zrGtgP0ub9Ydtu$5;fRqKh_PZGkQRyyU5TNq(<_Dx-D!{1FILP0hVJmkQd*q8+35|% z`M1*^v613p4^|ih#z2jMqww65{r~##{lC`B9*qHG;6E|o+Q~2(@QZYBZG4;T@)31J p6%oHYV9|vYzZKJ0w&HWD7uqAK5M#wWAT1O-2zVN-Fa~~=fiF6AYG42W diff --git a/CaseStudies/ElevatorCorC/.DS_Store b/CaseStudies/ElevatorCorC/.DS_Store deleted file mode 100644 index 3865391177b7b5b3cb5fe2fa523290e57336ae8f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOHRW;4D~<-6%|rf70XnJ1M~)=3UGi*tRek@l#+_l1-o2<8*m4XfY`HT#|bz9 zE1t(zm1J76L#VPP&zp?x8T%=j$q?fb15vT1KH%x80{Ap5Qd&hjKlvpmH(?-rMz z7jLJb&*)d5`AvD90#jhV35}8711*u_m=@(tCNNH5IJrlJHS}65X1WIYv diff --git a/CaseStudies/IntegerList/.DS_Store b/CaseStudies/IntegerList/.DS_Store deleted file mode 100644 index 676925566879edfc8e4e5b9bb840ea7d99f49d4b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK%}T>S5T3OKqh5OSm`AX9@fb@)@LKSy_E({8inaH=gpcHV_#%Se{IqnF6g(9v zGqC$@W@mRM-;$Xu5ry7*)FtW=QG&+UK1bIeJkPBrC#K=WLH2l~DXnJHZhu(RtX<&@ zI0OHU0seMRX-EYvXhJ*R?|f;Y{?skzMV=34#Q-x%3}yHG{_D2MYV-%IVtTZgYJ1I#D5|}7QCv3?SBqANXQ=sY6EU438k?!a zaAh%UXCu#**~p*dW1NflqbFq5F)d=hiJnVj5&Ngk_FO7fyK(HZYKVu=#^rbzK+R@J zE)>0Y2AlzBV9NmKhZK!5Gb|M)b)b_g0I&_U2*y$?fhjA1nPI624J7DNpe_w|#R$3_ z`qb<)!%|U~QxMPC$2`eJbV@GDYv50cRj)prwx;uK#!Y@Bi^4e{u$#fumv| zwDW%6!z)>Bt-T!A+7#^>jfL$>MOlK*%CQW%6kno=U@qkWFf%L_p@I01fY9KbGjLD_ FegUi&g0cVr diff --git a/de.tu-bs.cs.isf.cbc.model/.DS_Store b/de.tu-bs.cs.isf.cbc.model/.DS_Store deleted file mode 100644 index d992d3d1b1c7ea984ab8c7acd1582c307e4258fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8196 zcmeHMOKVd>6h70W?Ttlqh;pa7PAtGGca=|=P`5VJ7=CDB32sI3q*57DC89YGz+#&sLQiIs4p0xMNMNx!9ilm6jYfqeZ^q<>cEsa z~(be zAA(NU>h+hFzOso-c5-Uk^Sl}FQDu)0EB$JJ&?{BDJL1tCXhn5CEb#$GEp01G;N^0;-Ta09{lfCf`htILb@gDu-(OoUEch#H z*AEVI-ucT{Z`|K~61F4$N)DBnUXtjn`h8r!MlA(|iE>I9HVc&+Z+BD^+22>zZKIQV6YU^pG8-+Y-q8~BXNope=>WG8T_A9#tsTl`` z=D2v&7?SBrgKc?nYWtgwnC(Bh_WcanzXvnd%ahJC_Y=P+|a%;u(;&L_kOO2g`-+&{)_K+T#+`iD4c2LrnIB$ns0>?VGfQ>7Vy6U;Oxd zM+SJJ9W%&J*RuRI^97wHzb6swLc^ue5XdOCIdT8rz&`HY0Y<~kX*mSO2?3TZSIQ-f z=;$Du9Gtjo`^b-xMG|_kqS6F~P!W829S1%B!w_{}%Zi%Dib8_)*B=6m1GYTuCiW$_ P|Kkwk_J0|h<6Qg(#mXfU diff --git a/de.tu-bs.cs.isf.cbc.model/model/.DS_Store b/de.tu-bs.cs.isf.cbc.model/model/.DS_Store deleted file mode 100644 index 2d4d897c5781e9264667bf2893fae4db38e5d144..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK%Sr?>5UkccEQqq+ya@S%1^-}N)`Mq%z?}yo%sQZWpSvI9Cu()4S7ydJi)i*)ZD7tazVr z&+)*yo-pK2dd9QM3n%cWq+1XHiqX pUK=#FM~?u0=s9v>gLyn@n|_63pHZV|ztM^D5HLZa3I%>Zflrl9N~8b) diff --git a/de.tu-bs.cs.isf.cbc.model/src-gen/.DS_Store b/de.tu-bs.cs.isf.cbc.model/src-gen/.DS_Store deleted file mode 100644 index 9981f41022baf2b38aab1cef992fa01a00ee1547..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jr2S!425mzfW*>~F$)La1`&c2Z~+8mLt;SeIXcfj3>0Qmp=ZhdVmDUXH#D_~ z==L#eM0ycfz>TuDFfv6xlR+-S{d_&$ZdWU$&5~Av_cFTv+DB3WDnJFO02QDD(@`Lg z^2KsGkHjaT0#slk3fT9dz>PK8g8u11@DTv)PskGnRa-YW=-UzAegcr#QM`h?;d-$JSd%S?3XDGjE&~G<_^ARzPOt}HHBcf^0DX?W&yE{rsnKZlEIBWB;`#ZC z$rym`9_KAE09esovGHMI#`qI=JaEK_+xd37jMwYM(^%wQ59qwc^Lj2zL_h>YKm~F$)La1`&c2Z~;Uakvbsu9G&MM1`0E((6eNJu^X%H8=6`~ zbpN>SM0ycf!Hu%DFfm2GkU{R(`*6FAs{y-cpZ_K{S83Qz$mKn1A4d=$u| ze6^m>Bk@V702P>t0``39EI3<=Oi2dR9MY)z%FT`gVl3p8zCw6mQ^exL#}l)?^E!0^^T>%fLVdeyYF|;dc-- diff --git a/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/.DS_Store b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/.DS_Store deleted file mode 100644 index 190cb510ecc6a9cd6f3b78da824810dcf5be7ce5..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jqp4=5QS$ngtmHOJS^?h6Xg{|JDnJFO02QDDRA531 zuRzEqg^zI56wHPO))TycF}?arq#hf1*pJCfqCS;o&S6IxA}k6!juY7fj?6~ zyWL^8#Y^Sc`tf>JKW5d|4G#L{2yZ_DNbD$H!QHT5Yys9}3!(z!kATa-Km~rPzzZNE B5pMth diff --git a/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/.DS_Store b/de.tu-bs.cs.isf.cbc.model/src-gen/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index fcb3aea291ec2f9ea6511c484cf70ebce25a2f86..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jr2S!425mVfW*>~F$)La1`&c2Z~;U+R$@TxIXcfj3xyd~=vlJA*s0a_4NWZ~ zdVG!tkzPbLaHH%k%uJDYGRRGa@i9!d`+c&K+bU@VcrUa4+$N|16`%rCfC^B71u2jR z`DVMIXX2w!0V=Qz1?>A!;KrJ4LH~3h_y_>5QFg=HX9=)a0j$XuLb>!3`IYi3U^V8z(JrxxJ5fA|p5CIXmPr%zNt$R+@C;}oN0%rpLeJFI-+H^^cPX~v% z0#LUMhw(Y?64c@WYHhltGD5Q~rDmzMD~4q`b>!3`IX%4*|M(?5HIN=naG*JwY!Jq*($uNPr-_j-F47OP$Px5qtvV6Dbq6 z|6rK_Y;!w&0V9AF-HEk_nHlo|N1SlMbh!Rb`}2A7BJHgMp3+Cm_H$d10#ZNb>!3`IX%4*|M(?5HIN=naG*JwY!Jq*($uNPr-_j-F47OP$Px5qtvV6Dbq6 z|6rK_Y;!w&0V9AF-HEk_nHlo|N1SlMbh!Rb`}2A7BJHgMp3+Cm_H$d10#ZN?xg=D2=5s3wo5i9_;b`n}6*HhU}BM3p> za0lQ99EB5b5DozE&kRwWKo=|!isnau-uKLZ9?#2o#zRD+KN)q2Tq1JdjP(|Z-x#;E zuh@pEVV+R;$Z1UZAd$l;S;@8)RspNP|E2)HyA2vrLLue&E#6-lp@o-)efaGk$`BE4 z(HTwXHS#aucfggD(kqJTM8Ek9=9eX=TVWp1BN|-A7u!qxP0INB(0f8fwJ-7Es@!Or zpGS#$uCLK~66Zyy^G$5j>en_Kj?;2lTdkMDshkEySWNPMm_6sK$6;|AnfQs6$s!J; zr}21tr5&<&2$bec!*&TQ80?Y6zUd-vyU zZ`SK|+TQNHz4^T9Y~SiW7#yFyc{_VIfBy*sf(b0F%5E6^1)mXA1i1*ZG?D2E>X}o6 zP#F!EWcrSl%YUZHT33P0@Rp=$P@(2gq2~M2Oj7gxGWfiartd#Q4|{T0l_wLBAs&xlm2=dz9A)_fnH9t{z;{zsp!IxLxNl-nOR{3M?ou@VRR^L_KYbd-b zMVcjke@{tbDBopMwR`uw?zgqkz74g_95p!_V+@b2RCxR^#ywlCvl1}&QGuvHRA8!r ztPcsBV5(RK^h*aje*_@5IqZ$sa+Z*sL@`w?1JXltA(a?XogOhaj9Y%Fr>rz z%A7|lJ3XN|U!CKL4~I(w#y%<#6|f2{gxgiw{}1M$|7}vdiwZ;qo|OWwotBg! diff --git a/de.tu-bs.cs.isf.cbc.proofrepository/src/.DS_Store b/de.tu-bs.cs.isf.cbc.proofrepository/src/.DS_Store deleted file mode 100644 index 04e88abd7bd7c05bf5e48f250de79e4818c072cc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKu};G<5Pc3E3M>^cz~+g)8)K-#1Ork(07z0%L@HNQz?y*%;wM=66(qiaceZI0 zl}cp*A#^9*J^OrT$InqN24DvFWgqAP=u!ofO`0!6#zmJTiJmQ@kvVebDmIXyTnbjl zpJYJJPL69-&WfseexvHTKP=p2>K}Xe?EN!v;<7BST+Tk+mrf#vikntPSTz-pbY#g223X#W&>_1*4CxXNv*ZiOR9*()dA-zZ1_^lSSiK( aR4?>fX%N$hbwGM3`Xk_JP@@d|Dgz%v5@N{! diff --git a/de.tu-bs.cs.isf.cbc.proofrepository/src/de/.DS_Store b/de.tu-bs.cs.isf.cbc.proofrepository/src/de/.DS_Store deleted file mode 100644 index 82e4e6b01af94a7a3bc1a14aa21eb4dd2499c91d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK%}N6?5T3Cu6ucDl&|_Yq-~+_6o;>yel^-EFqIr<=QDKWNicRo!+qtl+7<-#)(GfA?s9@z}netT6x3g`x`v zf`MQl7zhT=!GK@V)9Z62kDS3kFmTZf$oY`a1hZo?)T0BPmH@yp%qq~OmXMg_m>r8D zW*}^#KnrCrG1$UkPwtl;i=l-Rd-1`(@>lV~x;pYFbtle-(FX&;K%aq;4QF!yKj4=c zEb{vyF$xBPfq%vTkE>O+#HRdi{joi{YZKZtnuz!nQ6SKJj{pqh9GUB+%_q^}mmQ0t TWD&cD1LGl}ghUq%`~d@>4qz|) diff --git a/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/.DS_Store b/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/.DS_Store deleted file mode 100644 index be7204d4b60082662d53f323c5ef07e4ad669c40..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ8A}yTCR!5F0!@%bnGl(tG|k-k8px8P?)wf3&8TtHp9fjHEO%&! zraNE%(7mj;O~2dg7H;o9PL8|2s_L$-@aX%*;FOGr#|%#Otn76@A? z&_dZu47PC0C-=*a#n8fuz4&1N@~L=X{W|g|btle-(FX&;z?gw68!qMkf5a~{S>%sH zViXJn1OJQxo>$vygH8F}`eS=?*Cw=QG!gMDqClXJ9swB0IkHlt*^}t-%Z|lRvdFxK P1LGl}ghUq%T!4X3|34?0 diff --git a/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/.DS_Store b/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/.DS_Store deleted file mode 100644 index 7ff7ed51bbfa0b2cc7359719ccc503a0218c6890..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOKQU~5S?jU2y_!@7g_2Gxq%zpRhPLyaZEqppg`zeN9rZA$uWA8zWKDZsp&G5 zG6T{Z&rj9^OCBQP^=r2xS`g73Ly$$85HU}>EkGvY38m!5AyCadZ7b7 zc8B5ntEqolZMJ#0*KJ%^@87|@+%#>UTUfwNIo;eJZ-?IQ7w`UgP<8pH#bXKvf`MQl z7zhT=#eiJYkolEi%)vk~5Da`VAm>BE5Ud@Gp&lKWv;_cGFsne9UP5w`W9?WB;eoKF z0xgxj#b8T^J$YR1SPU(lSXV|JU-`3nVO<^eq~XN1Va&lmFfeAooAia;|9ALgCY$_m zN<0Mv!N5ObfU9QHtg$J-TYqd%?%IU$fFUArMHC41(N6##i_@% diff --git a/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/isf/.DS_Store b/de.tu-bs.cs.isf.cbc.proofrepository/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index f7ce416fb726f004b9f3a09675b8b91795913d36..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOG?B*5Up}X7;rO)i&^#+<_7H$S1#uQk_2>-p$Ei$AHhqx@erQCL-^{WCKy}} zB301+D)meHLAtw$h<8u@mS{~xD-1yvWk$q2>pJt`b0ABNZfHvxpwhx!e;(x97t~Qp zUH>@#el-pE+kICKM_tC{``dT$p)^f9lol3nQ(v!cU#`dA{ul4@VN`YVti@vr27-ZL zAQ%V+PQ`#6)R5JMVa&lmFc1uUF(CUx!Vt`k)ljz%OxgkfmoTe9mtI10l4EwPhVVex zQh}Dr-eRz&!=5}YJ61zWC-&xp{mq}v3+vlaKWR8|HjFtK2nMDMc$2=C^Zy3F%xsfC zO^K&qAQ<>(4DhnqH#;oK&(m91-#6Wmpp}iD-c)$TFA_QO}yr-1!2?l4E$<<-U}R$*G9EdqdAu@Z|CP ze=GCDdb=z8gYM|+{bL-kFJ0H?(nAM^>f80*>&?_Y{Axcuj&iST30)_;U?3O>27-ZL z;Ajl^HNChz+6s|47zhSVl>s>)5}IJ^SPk{)K&K@Duz^|yW2q%1CONi_)esg4TPV;% z*-H$zaOji!wT{)$!il~3U|;#Gcwt=~`IEX6w}#ON1Hr(QfpeQK<^I3LCo@~*PeWoB z3L206+qCn_=fZX|#L$dMdk^rR(J^+ayphPtA z0klXF72g3r!JC~G@~rJ66+-f?v^%HWH?wb^z2_Sr5xL{b{D^3eh!S+Rw{KzSXuQt7 z)oz5DyRZ)aL~A;sGC!Xev#N!*2~)rnFa=BjQ@|AX9~8hdn_JTJ+?Q1wO#xG2kP7hk zLyFEe3$_;PzdA7Z5&(7^)4t&|>HzPP2Ac(2i}kLEDb<4ut}c`qPTaAcG8{GwwiYYy zAWge5@-3b zjVPx!VVXp_{azH#En%q6?6&=p~)Y3kML@|`iuN~N$7s}p(0i6nH2Buh8s}Z%UKusZI>E_zGGX9isI=015j*XBBI~#Jn_e@1E=Wr z;uPu84{S+ekX}Pgf3f{x!(B?RaOf8Fx~c9)pi0K=fBswGD6#o3If5Jah;Ei^`KW~5 z7f#rkDKIDnwj|po*jg-R(Ek040RIEVp8sBb8-}XDZ=j?rj{pDw diff --git a/de.tu-bs.cs.isf.cbc.tool/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/.DS_Store deleted file mode 100644 index 0695e075488d8c0632736ec8049a3486e795c148..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKu}&L75PfS5a-cy95`@OrPzH%EbO$;>Q4|{T0l_wLBAs&xlm2=dz9A)_fnH9t{z;{zsp!IxLxNl-nOR{3M?ou@VRR^L_KYbd-b zMVcjke@{tbDBopMwR`uw?zgqkz74g_95p!_V+@b2RCxR^#ywlCvl1}&QGuvHRA8!r ztPcsBV5(RK^h*aje*_@5IqZ$sa+Z*sL@`w?1JXltA(a?XogOhaj9Y%Fr>rz z%A7|lJ3XN|U!CKL4~I(w#y%<#6|f2{gxgiw{}1M$|7}vdiwZ;qo|OWwotBg! diff --git a/de.tu-bs.cs.isf.cbc.tool/src/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/src/.DS_Store deleted file mode 100644 index 04e88abd7bd7c05bf5e48f250de79e4818c072cc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKu};G<5Pc3E3M>^cz~+g)8)K-#1Ork(07z0%L@HNQz?y*%;wM=66(qiaceZI0 zl}cp*A#^9*J^OrT$InqN24DvFWgqAP=u!ofO`0!6#zmJTiJmQ@kvVebDmIXyTnbjl zpJYJJPL69-&WfseexvHTKP=p2>K}Xe?EN!v;<7BST+Tk+mrf#vikntPSTz-pbY#g223X#W&>_1*4CxXNv*ZiOR9*()dA-zZ1_^lSSiK( aR4?>fX%N$hbwGM3`Xk_JP@@d|Dgz%v5@N{! diff --git a/de.tu-bs.cs.isf.cbc.tool/src/de/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/src/de/.DS_Store deleted file mode 100644 index 82e4e6b01af94a7a3bc1a14aa21eb4dd2499c91d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK%}N6?5T3Cu6ucDl&|_Yq-~+_6o;>yel^-EFqIr<=QDKWNicRo!+qtl+7<-#)(GfA?s9@z}netT6x3g`x`v zf`MQl7zhT=!GK@V)9Z62kDS3kFmTZf$oY`a1hZo?)T0BPmH@yp%qq~OmXMg_m>r8D zW*}^#KnrCrG1$UkPwtl;i=l-Rd-1`(@>lV~x;pYFbtle-(FX&;K%aq;4QF!yKj4=c zEb{vyF$xBPfq%vTkE>O+#HRdi{joi{YZKZtnuz!nQ6SKJj{pqh9GUB+%_q^}mmQ0t TWD&cD1LGl}ghUq%`~d@>4qz|) diff --git a/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/.DS_Store deleted file mode 100644 index be7204d4b60082662d53f323c5ef07e4ad669c40..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ8A}yTCR!5F0!@%bnGl(tG|k-k8px8P?)wf3&8TtHp9fjHEO%&! zraNE%(7mj;O~2dg7H;o9PL8|2s_L$-@aX%*;FOGr#|%#Otn76@A? z&_dZu47PC0C-=*a#n8fuz4&1N@~L=X{W|g|btle-(FX&;z?gw68!qMkf5a~{S>%sH zViXJn1OJQxo>$vygH8F}`eS=?*Cw=QG!gMDqClXJ9swB0IkHlt*^}t-%Z|lRvdFxK P1LGl}ghUq%T!4X3|34?0 diff --git a/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/.DS_Store deleted file mode 100644 index 7ff7ed51bbfa0b2cc7359719ccc503a0218c6890..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOKQU~5S?jU2y_!@7g_2Gxq%zpRhPLyaZEqppg`zeN9rZA$uWA8zWKDZsp&G5 zG6T{Z&rj9^OCBQP^=r2xS`g73Ly$$85HU}>EkGvY38m!5AyCadZ7b7 zc8B5ntEqolZMJ#0*KJ%^@87|@+%#>UTUfwNIo;eJZ-?IQ7w`UgP<8pH#bXKvf`MQl z7zhT=#eiJYkolEi%)vk~5Da`VAm>BE5Ud@Gp&lKWv;_cGFsne9UP5w`W9?WB;eoKF z0xgxj#b8T^J$YR1SPU(lSXV|JU-`3nVO<^eq~XN1Va&lmFfeAooAia;|9ALgCY$_m zN<0Mv!N5ObfU9QHtg$J-TYqd%?%IU$fFUArMHC41(N6##i_@% diff --git a/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/isf/.DS_Store b/de.tu-bs.cs.isf.cbc.tool/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index f7ce416fb726f004b9f3a09675b8b91795913d36..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOG?B*5Up}X7;rO)i&^#+<_7H$S1#uQk_2>-p$Ei$AHhqx@erQCL-^{WCKy}} zB301+D)meHLAtw$h<8u@mS{~xD-1yvWk$q2>pJt`b0ABNZfHvxpwhx!e;(x97t~Qp zUH>@#el-pE+kICKM_tC{``dT$p)^f9lol3nQ(v!cU#`dA{ul4@VN`YVti@vr27-ZL zAQ%V+PQ`#6)R5JMVa&lmFc1uUF(CUx!Vt`k)ljz%OxgkfmoTe9mtI10l4EwPhVVex zQh}Dr-eRz&!=5}YJ61zWC-&xp{mq}v3+vlaKWR8|HjFtK2nMDMc$2=C^Zy3F%xsfC zO^K&qAQ<>(4DhnqH#;oK&(m91-#6Wmpp}iD-c)$TFA_QO}yr-1!2?l4E$<<-U}R$*G9EdqdAu@Z|CP ze=GCDdb=z8gYM|+{bL-kFJ0H?(nAM^>f80*>&?_Y{Axcuj&iST30)_;U?3O>27-ZL z;Ajl^HNChz+6s|47zhSVl>s>)5}IJ^SPk{)K&K@Duz^|yW2q%1CONi_)esg4TPV;% z*-H$zaOji!wT{)$!il~3U|;#Gcwt=~`IEX6w}#ON1Hr(QfpeQK<^I3LCo@~*PeWoB z3L206+qCn_=fZX|#L$dMdk^rR(J^+ayphPtA z0klXF72g3r!JC~G@~rJ66+-f?v^%HWH?wb^z2_Sr5xL{b{D^3eh!S+Rw{KzSXuQt7 z)oz5DyRZ)aL~A;sGC!Xev#N!*2~)rnFa=BjQ@|AX9~8hdn_JTJ+?Q1wO#xG2kP7hk zLyFEe3$_;PzdA7Z5&(7^)4t&|>HzPP2Ac(2i}kLEDb<4ut}c`qPTaAcG8{GwwiYYy zAWge5@-3b zjVPx!VVXp_{azH#En%q6?6&=p~)Y3kML@|`iuN~N$7s}p(0i6nH2Buh8s}Z%UKusZI>E_zGGX9isI=015j*XBBI~#Jn_e@1E=Wr z;uPu84{S+ekX}Pgf3f{x!(B?RaOf8Fx~c9)pi0K=fBswGD6#o3If5Jah;Ei^`KW~5 z7f#rkDKIDnwj|po*jg-R(Ek040RIEVp8sBb8-}XDZ=j?rj{pDw diff --git a/de.tu-bs.cs.isf.cbc.util/.DS_Store b/de.tu-bs.cs.isf.cbc.util/.DS_Store deleted file mode 100644 index 1fdb7b2c968571ea990ef929dc8a281c710be866..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 10244 zcmeGhTWl0n^qgIgnT5*mW*b^Y7I}oFbW68sslb*NY(sfSTPWpGc6Y`yGCQ;E>~;%H zlSbncjbGyXPffsxiHU-LsPV&u9}VCuF+}+AL!;3TW1`}@_s+sTT4PKA6Xzy#&)j>? zx%ZyeoO|y80B*`@5dakcBzhQBW>7UjVR-gb6rbCp5=7z$$btbD41r?~RZx2!o(4P( zcpC6D;Az0qz<)sll(SiprVHrRo(4P(cpA8&0rq`R>0vPD!f^rlr-Lef1Rywtx_O~@ zItOqb)rBz^jtj_HX-si?K$jKWBL)g~!mEs&V9bT%0t$9O!4BxojP3~q`Rv4}a&o|! zfL`rsz|%mb22|>jp$;6->GWQ7evkAd?NnMY)GVEtDrI+cBuqO&SQdWq)6E~ZO-8Bx zL(25w;+a(%j=l&9$kEM$2^y_54H>Yh)(Nup>fm&lcG6u33xBqTy6e0!cJLFY0f{oI zwRx)lTb7nlNx0xm*cKWmWNS3_~ICdu6&ItzN9qFuL zTh4Ah;}8tR>V<6bnHlqHmMmLUA6>Vx{r>Kq7pv}`smuz@2@H@Dt*r5&p=b8SouqDQ zhBefeH?-{GJ;R1$Buu^6il=mW77oc5=Py`T6|4>}Dxd`6O-4xxN&UHmaWrRSkMTKb zgKA*EMho0#Yit%xQr?m|CKObI`xvG@qf@O(67OCfTp8$fNL)#Y3&L=qF3@{~tS>8$ z=!pc@2K&r-LN{ea6KqX^=HQ-TA+@Y*6`iet^}&7$#uSO@kOX1T9iy2KvYET%PIgCH zxA^2-HZ{0KlJ+uOo2Kd7#i|7h=XZ7mg9Fatct+omC!bV4V=JZpZPd?ANf>l~DTLokk`#)q5H=BdRapKG!V+kN`(P*RrAW=g)9@UegxBE=ybmA2 zC-5m;hR@+E_!_Rk_wY0P4u8OP1e9?$E=CoXU}d>9|WNAWRy7GJ;@@fCa(-@teAJv@u&@dNx2FW@D-g5Tm*yoNvEbszZ9 z7x2~iYJH1+s&A#Q&bLOa-&csDy`o*HeRMl|BV?Rm_nY7wm?$u+H*X0^XDi)rMBAZfI(a-EbMv02a#5VHDZrq03aVPE~kK9i_If!w52#=siewoJ+JcgqwIA>NMOR^{U>n2iUsrdjqTllu9Vysd_PEJ>1QgJ@27^}><(`bWa zLyERbBUGDZrezz1V$=F*`g+croGMn{>^8zRi;kw~N=tVW}a zWmbQZ7EWc-{Sn(gxgr-L3q z-GvXpg|ER!VDH&(NmjTbG`%O;Kl}Z0?4K>a7yv|X8oB^&0C2Dn)>>FSAY`YqCN-Em5h+4hzVx#FaolWPvf39YJ zKFp_CZ#el%z0Y{qf@OOc9LLdY(B3*!X+Dh8Xrcq+FhZAaU*a@Wv!0r!VWwk!V{lqd zYtVi@pLaX*{jR&{$hqsfyB)c=_hGSUIoogF?H>((B%@UQr1|18r{hiX%D}4rg{{?c zD%2U5m90$Qo9pAd{Yy<>$$n4aL-q=d|BQX%PtruCXQ*Dz(|B;r3@`)CK$QV|M>v!N zSeOB3fEg$=K=*^hLg-m64C<=`EBypOY@k{Tw&^WFG18)Eu`q}h6k$RUO{lO>3}M1i zFRhWt diff --git a/de.tu-bs.cs.isf.cbc.util/src/de/.DS_Store b/de.tu-bs.cs.isf.cbc.util/src/de/.DS_Store deleted file mode 100644 index 60a21827a5be89eff70ba8b156fca55b3449832d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOKJl#43+YMKsQ--=__Q{r5mOv$N?HA1MOmh14;HiN-vYsWYJ9z&?ifUxE<&! zg%kfv%JQzzNJnpi3hMdvezXv^AQD_+?Qb(5puP26B$vmr0!uqQfs5W<|*& S_7V>Chd?33J7?ez82AKr^)Uhf diff --git a/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/.DS_Store b/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/.DS_Store deleted file mode 100644 index e31b68d8ed7731eee10e4fa599858479f35dd97e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK!A`?447Ix9LrR`U_UUemEh2+lPd1{IsSq>M}C3#Vh>hPu7Hp& zInRmhG)KmBx&4c-B>U@D)%w$6*+H7*a{=u0Ic4JC{3lW7}V@ zf9xMNyLLF9$`-1Z*K^=;XqrPm9MA_VdH;6%eD~?=zV)3RFXmfhq=W3>SgTT7o&rv3AUc@Icg3ftIRX zVyLBKJb7I0m<=sm)Qb=GFQ1DSEnmm{sf3HxhS3HC!N8P(g>~1w|L^h3%oh36l;{Nm z!N5ObK$p#~*b_yGpq0dl!0pa1{> diff --git a/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/.DS_Store b/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/.DS_Store deleted file mode 100644 index b6f9719158aa454f7bd5177f5c8ba4f7eab97050..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOKQU~5S@ur2y~NWm%2iBU8=!7K`vk%(+@Z}5VF_d+LQDEy+Yr7+S=4~8A_P} z>5b>3&jU*uBI512+YqgZXoV)oqRfbxXI%>qz5=q0vG3bq=%G^Ou0Id5_KKeAL=W9* zynZ$HkDJ|oI2?5wi@$BBFRZg;{G{Q;*)aNGAQ+f3;6?gc?*DuIGP6bgG$p=* zfneaDF~G}uS8uT?zgvH7Pwv`;)}V<NI~69dX&Q7|JMO*K}Y! N1eB2If`JP#@BstGD)ImT diff --git a/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/.DS_Store b/de.tu-bs.cs.isf.cbc.util/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index 5d03d6c0c44ad8f74912059efde160bcacf1539f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOHRWu5S?j?REbTOEPaLUSeh!Fpckl;NU%udN{GD=#5FhvN8k#)`2dNCSXKzl zNcNk|$Db#~_7D;8pNAdMmWVcJf-K5{h27-ZL z;BpMeMGe_p8%7@t1Ovgq7XxxWBs9V7SPk{)K&K@Da1FBxbg3mICpl)vY6uU6Efr{~ z>?HD;)-2eCZWfqJ4c}jc* z1Hr&QV}RG~q1|Isez*SEp4_zw?T98Kaa9xu^w}c-A99Y|sMGvObi`%HYABWRAHY}e z;zRff&g?D(f_fyz%p|kl?)>buUpKp5#u%>;{0d`5#+U_)n6aVxM$nJCAQ@xH19F_h z8^%2^lpc&<7oy4V7a72BmtzB#uz-cL-_PrXL7bG!?>v*ut*quP%PLqmZbuH?q?HWf zdaHkhqjM=kZ_;mh7eRa2EUur(C}{;zyRQ-gzYQVRmqFyqVOoQddH1@V-^m;4Wg<&0T*E43hX&L&p$$qDprKhvt+--jT7}7np#A3 zem<@ulZcFPQ@L2!n>{z**++&mCkOWA81W14cNZlEfg7;MkzE(HCqgga^y>{tEnwC%0;vJ&^%eQ zLs35+`xjp>T0auTJk0EFimSL4CxogQY4)4lnOSE(%exr>5Zzhg1GE4@q7r%!ai|gUldj2zTiHew zv`115vRLa3CoIeWGw}a2K;NzhpCE!uh^pW3^p?>{WyS;^?6;mQ7M->_*!P!hweWp^zpajr4wuWO+}(Tj;%)zPHp=ytB}c3dzMTqLWPU}h zDXfOtny4ztdoRB=9Lcqjf9SqD^6!Yh3@3S}^K<<5tIDVvmixhgd#94l02XF|8DIvg z4AA+YPzeKvrA2de;9yz+L=TsZpiR95yEf<79#9z(fjlSy+Y5^ znIECBz`Tf%IdJAXGjqP(olj=Q0|2Db_bh-s08n&+sby@wF)=TE!WQ&M8j;9n_z(k! z9caSCM79|)3K#|cn*w6*u0aQPZ3FJ$^Zt!-7l#nx7#HXcqOKco7xQ1;Zs138vG`6F z7E?><49(CSy>Z%n;KcQ~A64qTE73dWJaETx-M#RegIa$5n1^xQ51Tzn@VzFcTwnU3 z#|IVO54}io9W_C-G+WDW4u{18+bdb40vlSERVuJ@d4Dv@(v9uigR|OQ&z48H}4BI>oW=%1%9o7I3F0gKwD#?P#zuF$PxfCg~QS?7PW-nFpajx zL?OBMu9(7-~%LMgfajC diff --git a/de.tu-bs.cs.isf.cbcclass.tool/.DS_Store b/de.tu-bs.cs.isf.cbcclass.tool/.DS_Store deleted file mode 100644 index 90c3267f5da28d00da2e89e28bbb2f3112af09d4..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8196 zcmeHL&1)1%6n`}nwa3{wt%)%%tTqgShpZ;37|CI0$G8$i6EYziNp$Rw%Gji*Yv}Gt z)DW197nePVXa4|Cix=@9*n@agk0N*#)SE5~yRSaROivON1PNFLRlk~gANA^2sp`A} z08(yxBLIT{U|{8F=CRqNa5=9VN=A(wKqP1n;K4CyKm-h1T{Hul0nLDBKr^5j*p3X~ zH=7q@i|@Xa>Q*zL8Tc+4;P-=tm19X^OQN_sun{Q$Vh;|Bf_=;bgpH-Jq_8DXn4(Xa zJrHF|REj~QIm#`rj#yIIk|@oANOK@+W}-3_B4$TBOQ-`WNz|=oKr^tB0iL^?;6M|6 z2vYew#XLU2Q3~-yz+5L_j?e}874g`Aq6miuT!eElgX2HL1YCmOy7d40oW2*kfx}q9 z&-MmqL2absvbuUu$Ufanr_RR5Re<~+c=&eoZyw|ZUv=hvkzV6^=bYk7*^N&c0n$`M zN_QucdYfzi(WRY*7%6wpPfrau<0L|950Yu4J;lC~cFp*4 zb05x1+)#Wxb{c^nC&R-pNG98}W9KfzF!IKg%5}CDN8VLj6qo}g*yB~UNrOcY47Yo~p6d1W&u4)dhu8xeJ8M02CI=wbzt&W}; z8M01}o?2VW8T*UJ$EK@GK|N%5FmfzJ-RICNe}8H@J8I3He;#VccbC-y$?f(6U$z&R z+nxWRcTd6GTi93V>+9b?U=ALvnthJ#F4ZC)^jQ|Ls2ntD)hxug^a+=RQxRRpCC?@F zMpE%_p=e*1!8G-*t`E)JY@km6`hakHKB6?7uSLE$xwsh9WUixsc|pvT(E3EU$k0EZ zZ?cj2ER1Jq6eC`?qsR_xw0!eQU^_IJ49hG@SbfgN2zgY(U8P~WepoC1@=mgqE0&JR zo(aV^frd$DLc2~;I3>r5r3*@Ez!4b3Lpuvga0~9jeRu$m;3+(Z*YE~D5JEB}PkPA! zIY17QL*y_~{xj{}`msHYM1oI=?cGY9*UYuTx+Hx{TmQb3r&Mie`fPSfQztT8;?pX- z$M~b6Kq5} ojwsS`M3s&UT?S5Z+CzCWz33g2x4~MJ*~;yu?~TuSWEsQk$k|FwK^xwTDv3SzpK(@D+Rx zA3)HV*{%3{6_FX3{buK9ll_wHW`z*4Hi#-hl!Op2D5B#*^NnB}^@}*xgF%U7gozHp z#=&-MjNxxHfX~hmk!T+zy7lS#Ex(Y^1SlsQW?h?eA9j;C>#wdpN~chqnx1i8ch)@* zuJkbIH~WLE*6f{P??~$;oY>9qIBpLcrTJZ*_M36q?omM;wISu~Bu*netm#1-WmFrO zfa`f)qqI00RjONMwYIT2E~`;>tx{I&)s6Aka~GCYwhtTENhj5}hHeS(Bgve_3EY7} zbBVH662iS1sE@e9VvlD+u*XwrDKvw?zRDHmgn`$~b`Z3nMdN*D{;jmP5 z6ZFzVrnbr9GiYx;pq3r3>jB zpDfm*YMhfCbMVqy|P}Riq+Y zN}l7`&g4mx#6-laW49z)5YZe>kVP30F^^77+<69M&9U$Ho4y@}9>dEJ`Suwd=txi0 zQuX~O=Kf{5-VEEF?rCy&T?cK4rfK`3g%v!NkN5kxhwmQUFCM$slNGLXo#=vrU?3O> z27-aJFyNQ;{N^m#BWW-Y3|uk;ay}$9!R%NJ_2@vSB>->=vkG*nB_t*}X2)WP83W#1YjWN$gNJ=d=edg*|8W(7O`tM PFdhO*NOZx#A29F5-d`sQpA2P*L!dT4#0x<#xArXYylx# z8b4=j&*w>*8H$GcBo|E=%vbUxk-QbK}(U?3O>27-a# zV1QROWO-v4Iv5BBf`JbPcs?XFV(pj>%h3T7(u4vdFD MAtY2V@B<9I1JAc8kpKVy diff --git a/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/.DS_Store b/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/.DS_Store deleted file mode 100644 index 9d92c50105c66ab94aea6493b51e8b8fb4597623..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOG*Pl5Uolg1l(llvagVx%QlQB$OU9F_<;!>2=4o6ZoH2N5aO$kI)j7DAW{Y0 zuckizc`)5wM8uotZcVfzq9vLji!vc%o^;JT_yWi>#;$Km>7mlxU4I^A?Q?pfBi(n$ z;ri9oKdiUAvOnlH_;mUX-j}9n`_jS!ZtDBn_3O>h+x_A_JPt;ky&x?l7zhS}fnXpQ zI3ELYQA3uOhS3KD!9XzZ#ekd-2~99NRzp2H&}j((T)?aXU1|x*NsigE8o~o%O9fgg zdx^o84tw&r>{tygo!E;H_L)D67uMM^e$sH_Y#4no5DbhN@FIOB_x~+^naLu5oDyHb zKrryn7~n;-Z8q4H->pBkCwFZ^yF(L^xGD++`sfjW4>?D!)M@@CI^wcpHIz}ruIa#d N2q+=Z1p{Yb-~-7YEa3nE diff --git a/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/.DS_Store b/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index 7ce6b70c460a1acd87c55532ddcf8cd089e616bb..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKy-ve05WXu#ip0{9(XY^rF;w9R`T~$df+1BZMeKeQUWRAs+8qYI`vEno2gHC7 zx|8hhd_Q*lNwIxI#GB`SO|&AS3QdqjDTtVhu7w9*0$Jx6=z%7h`l%ZV6a7V#e0xP5 zwP+oke1AKR12%Q;93I!(Zrts4H+*<2#q7qWX@{{@ALaMs&FgJBuK!lt{^?}R#S5ki z2?m0JU?3O>27bzbTyK!-$}sw1AQ%V+z8H}6A)yJ@j@eL;4s==q0GBYUK$luVa*|{1 zm<{29u%!YmmA%AZONTvqTHEDU_-yP`xyY(*-% zi|o(7KgXXGJ4ZykIrVFzB@r#q1X%_XBI-%g%$(;ymK^Ec z|E)|<>+LS@4|PZU_Aw0D=eF%q?w|uh<@5dS^?q#cf3+W;2f1ejp)SsVGvEw31J1yu z8L(@5aeL{7JijyG3|t)pay|q!!Dv_%>(PO(mH@y8>M9sZEg><%Fd7y`SRkySKn-Op zF<8T)59SvQi=u`TTk*lR^0|27x;pZQ>P{RLy>|wjfiVL&I$g^B|A0?svdABY_{@W4**`L3}c2Xiztx4D0aMrDSWSWf!P)A49sP zIO;ds-J}%l8k_=7fxo5zuiZ@wX@Hg6r`-CDQ=z)|SdNI3Am~I%2Oi!SUY?GhPphKB zC8E+>-YsUM`RE3H-cS#G#xwz=9*x3LH|iuwgiWUGl zo*!31dV_93HKG*tFi+TW*kli1LDupYh@N~1(L#(xvNFadc!^;kT&gu4GeNrhQMJ-( z5mg5lRUH(_z8SKmfeNb5jk8EAO?n5Uhm?q_cpwJ+IMBVuhrG%Q1Fgx>(K#lwFupLc zPcyM!a;&?uRE{-a^7%%r(s((+>f3^@b_zHJoC4np@c!VTF!}~FLA`aL(w_jp8k)7? zn!hDD$1~^~%mm?qDM} g1s}!yzk)XSJiY+>1~Wmlz}$;~mcdm{ft4!o1t^=>Pyhe` diff --git a/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/cbcclass/tool/helper/.DS_Store b/de.tu-bs.cs.isf.cbcclass.tool/src/de/tu_bs/cs/isf/cbcclass/tool/helper/.DS_Store deleted file mode 100644 index 5008ddfcf53c02e82d7eee2e57c38e5672ef89f6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jr2S!425mzP>H1@V-^m;4Wg<&0T*E43hX&L&p$$qDprKhvt+--jT7}7np#A3 zem<@ulZcFPQ@L2!n>{z**++&mCkOWA81W14cNZlEfg7;MkzE(HCqgga^y>{tEnwC%0;vJ&^%eQ zLs35+`xjp>T0Mmc4M*hpwNQC;*VRcsg_s~F{Y_dL=UFuL8Z+mAq{SJLN+l%3FNLf z@ox~l=+%>W@ZeeW?7@GcUi6#UN!;1ppcIsNu>84&Y>jZ4V9l7m3XsRNbV0zgjSu`Ia9K0w;oO6HXu1X7y9XRv!<%9N=s z1`Eugw*?$BujC+*fjP0joS15vsT~TFt;5ciaANsDn%Xd67>F|<_U;*4B%f;7y@&Si zOQi~LwgQ8r$CFV_UMxB;cc8`a8@zeG^6ttwWc3%3t?h8jHr!!GaHxxu1(&Lbv_);= zsB4fS-WvJqF0ZIK#PAm}EPj(km?O3tJ)|-)oJwxmfFyVM(c&F#LR7PJrEw|x!ve{28m7bV9Fl9|y)7HJxHt&@> zjXH}AVmkBd&AFtsAlq2TwZ zevG?V$EtqCbr7g9iYfJ6rN1O$A{l#@zaYn4%vU6DV{v-+bjQUsJ71e3|C3tcY zomQGi>W71Mqzz9jqk*cldYV7O>CkH=xd$+*mO*|U6J;rFj`O2q9dm4jR8g8oY?=bjX(e2n{#7j7%&X{6%4S6VyRd_ zsKYOrXw+h_ZR6U)C5pfe0x3;U35a+ux8snbKMZkiD_vg6K_H<)`Qrxx`}SMWtpAlXgWuZp;B}pJ)bo#2R+#A& z-xl0Vc^-4=p!o51?mRGip9GWXco3AYDfLpRG+g*W z_$rC3Vf)TAl}~~sk4sHRq8O{ZIZX0MRRcB6qp{}trod@Atzmm-HhZ$S+mVm@kLMjZ z>vebg9og@9=ku0x_x{8E7sK~yma9*s1fHpQsA{{-xPZ^-texocVr`X|;jAp=DKF&O zzE&3b(!AvlK+^oy_VvLp^Hk*{th>;Mc-F400L$lWUzuqMRspNPbytAS2Z@2uWvmVA zqXQ%T1VC(Jwl?(X_n$bD(PgX+VhNfsR767+{KOE3j`@=7xs0_zLkGc+55YYPexV56 zJGL)%br7yW8(Rge0?P_)m}Hyo|AUL)|H~wsvIG|FOr^I*bxyjL8D>1yo rKt}aygPMX7U&q>^tN0!UZCEDBL39~wgP4P6e+0A)HnIx*Qw9D2n@g{@ diff --git a/de.tu_bs.cs.isf.cbc.parser/.DS_Store b/de.tu_bs.cs.isf.cbc.parser/.DS_Store deleted file mode 100644 index e8da8920f166de0307b309eb66c6984628d13f20..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5B>J5Pi-EEzqPu3I!5-0VF~LvssM5y!{ z!|q9?(N22(Osq_Z0;0g*Q-HtSBF@l8f^&G^Z~oBr_L4Ymb(0p&(uR;e-flft{fN#t z5&hH29U`Q3|MQW@emIm)?I#ham=NJJsagUZ@)D@oE^~edwU`JZ8`9@Din^8Ep9eN$$&s`PcET{_UMLCM%c~j59d%ha@yFXRDXWHB{JGi35dK+7PVDDa~SyaUdX BluiHu diff --git a/de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store b/de.tu_bs.cs.isf.cbc.statistics.ui/.DS_Store deleted file mode 100644 index 20c567cfa04aa211875a3a90b08969a4b1be0c78..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKy-or_5dIc0!DvCKEbj#@=qwL%kXUGg_6A7Qg!2f*exJZ+uvJT+!P0l~o1G0| zIfxxGW+s{a?&fEA?z`od0pJGDvmVd^(54DDjydcQ@r%}^5iO@g7v@;a?|b8ERW53= zX84;7$h$kjBc`bEg!KJ&%kR`%Rz)$HR})&fA$k32M zppSE0;u@oL7d1w^V$xdh`KGnh<|?briuT7Pb%oypnpk0pX2R_6aB*c9I}{gI=lod+hszahGzN@; zl!2z+cI5mY?(hH8B)c;PjDdf}fNK@wV!%g=XKU@@~nU*Q8N_!Pc}hzJ(q z16cY7w$9A1x_fs4D-oT6-S09#yWf3bce4Qi)jf~e08IdBU?Z$8U{_)kr&h3v@w5;X zkFg3{unYZYGK>q^;t&Nyf#0S8t=$IfKo9ny1J?Qt(=^6KT@1#f_F$MMWBn$T*Rq@> z4T3OELyiG#_BU=j<$2M!^2R6joU~a%9TG?(f@6qjyCJ$cw@dW-+AVS^W=}WkOwk%P zNo{gv87{3Cn!gGYID?^0$+#RkYI*4^*`)$&2U;yt=hDbW9SZ7_D9mdL_+^ezol~1i zF62^rxGxsl)GosPxBG2YDL0NyadwtNwc-)gIheu`>P1AS4x8%LV?J(kX|3FSaB;@4 znas*@c+{B(aru8n%Nwn+s8M=RKok%KJ{6$-!NW%A8_YEF)`1;g0T65GX2WMbo)JBA zAo>O~jp#vBx)f2DDs#n9x*YwU$@2|n8g)4+o*Bn6Gb?jLQ9L{PJx&MZYm{CT5CvQX zs`_J-&i~%*`@dTxpF{ys;7=)_YQZ4r;wzc6weWIu)_T|uv5`?;rjbjqGsiJM&{0hP cE3jeAqX$IaV5Sj0X!1jVWspu3_)!Jk0ZSOMS^xk5 diff --git a/de.tu_bs.cs.isf.cbc.statistics/src/.DS_Store b/de.tu_bs.cs.isf.cbc.statistics/src/.DS_Store deleted file mode 100644 index 9981f41022baf2b38aab1cef992fa01a00ee1547..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jr2S!425mzfW*>~F$)La1`&c2Z~+8mLt;SeIXcfj3>0Qmp=ZhdVmDUXH#D_~ z==L#eM0ycfz>TuDFfv6xlR+-S{d_&$ZdWU$&5~Av_cFTv+DB3WDnJFO02QDD(@`Lg z^2KsGkHjaT0#slk3fT9dz>PK8g8u11@DTv)PskGnRa-YW=-UzAegcr#QM`h?;d-$JSd%S?3XDGjE&~G<_^ARzPOt}HHBcf^0DX?W&yE{rsnKZlEIBWB;`#ZC z$rym`9_KAE09esovGHMI#`qI=JaEK_+xd37jMwYM(^%wQ59qwc^Lj2zL_h>YKm~F$)La1`&c2Z~;Uakvbsu9G&MM1`0E((6eNJu^X%H8=6`~ zbpN>SM0ycf!Hu%DFfm2GkU{R(`*6FAs{y-cpZ_K{S83Qz$mKn1A4d=$u| ze6^m>Bk@V702P>t0``39EI3<=Oi2dR9MY)z%FT`gVl3p8zCw6mQ^exL#}l)?^E!0^^T>%fLVdeyYF|;dc-- diff --git a/de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/.DS_Store b/de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/.DS_Store deleted file mode 100644 index 190cb510ecc6a9cd6f3b78da824810dcf5be7ce5..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jqp4=5QS$ngtmHOJS^?h6Xg{|JDnJFO02QDDRA531 zuRzEqg^zI56wHPO))TycF}?arq#hf1*pJCfqCS;o&S6IxA}k6!juY7fj?6~ zyWL^8#Y^Sc`tf>JKW5d|4G#L{2yZ_DNbD$H!QHT5Yys9}3!(z!kATa-Km~rPzzZNE B5pMth diff --git a/de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/isf/.DS_Store b/de.tu_bs.cs.isf.cbc.statistics/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index fcb3aea291ec2f9ea6511c484cf70ebce25a2f86..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~Jr2S!425mVfW*>~F$)La1`&c2Z~;U+R$@TxIXcfj3xyd~=vlJA*s0a_4NWZ~ zdVG!tkzPbLaHH%k%uJDYGRRGa@i9!d`+c&K+bU@VcrUa4+$N|16`%rCfC^B71u2jR z`DVMIXX2w!0V=Qz1?>A!;KrJ4LH~3h_y_>5QFg=HX9=)a0j$XuL3p3{BKRw6V0DD|mxJ^aNf&T^m8LQ2VVsmq+vEgCL7wu{QDo$(zaK&9bl9 zY(zwtx5GkYCL&|Fq1-KW&Cbm`Hpq+u;ke@{7r7!f!0*hs6KCz5`Qjfg&1ru=pR9mJ z1*iZOpaN8Y3iPHxw$|~qw;Op86`%tDqJVuL3f!I#t zrYh-rGxh1Jc?n%KfG~QR4}d;^E-l7Rk5od~&#NIVvv6{dJq~b+a~v-hgGnRW4bFfw z@Y@*B1K z;{o@W@oBR0u;arM_fTC~50)L>VPpy_1KEG{>!6g3?|D$_nz zIoJ&)NOiJj5{{57x^@PfftZ1|zV>J}nXQW&A*x8&-;BA@M%~LW3)3;71vF2csf=$^ZZW diff --git a/de.tu_bs.cs.isf.cbc.textual.tool.ui/.DS_Store b/de.tu_bs.cs.isf.cbc.textual.tool.ui/.DS_Store deleted file mode 100644 index 201ce0e2124e36eb44093cb50bec9a64c912ab72..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5Iwu5PeH55uk}E5Ty%Rka7bjazGT&1W}_T2#N$pKm?_az!A6zCHF|fJ$SRT zBJoe6LV#wZ-Dl6v>^wgyJ6Qm(znFA^4uCd?V6@Gt#$;Va#WsRRlAYh<5T`iD@${xU ztVEl`6fgyTn*w?OoMC_q^sx5(9cQz-l8qL`HcBzGEKNt#Y~?lG3rWVLd%w^}K3$S(tjkT=WLE0e`Q@|83 z1-=xJ^C9LCOakVL{^;Q3uK>h|Zf|_{y_*<|gO~)&73rZlO(klo3s(%M>Ga1TE(w?` zYC4>+%zZ*-7j7udSEoPr;c$tf&8C1UP*k9$uN~?CgXa5xG0EOc0aM^#Dd3`XnD+Te zp|@5(PI_(3am67fak-*T;S}1je~?zZ&*6=0u{;oyfVm<)H2WjqWw6N<_)!Hu0rwk# A(*OVf diff --git a/de.tu_bs.cs.isf.cbc.textual.tool/.DS_Store b/de.tu_bs.cs.isf.cbc.textual.tool/.DS_Store deleted file mode 100644 index 246ba3967e8b87149b92e7252ae94bfef1bb8387..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5B>J5Pc>K1ZYA>=?hTg2AgODqJSod8YMwVk+2aTiE?||9EJ;U4mbiwU_KU! z_ajjuKr@p4cE>ZGw@->E2H^USlP=H!(5Atd?9)_Zyw0OyTfxK0PWCv)87^=#pLU0p zXmgkXroeAgKo5X(3~-4aHh#b3e6dur$qQi{rID`2$9fWDXLXkXVPE!dr)rBjD({%Ft5SIol z6g3@AD$_opvI{p9C)LUCB^)kQwAmCe1!4tS`r6_CKWM)H$4T~P3YY@_N&%N-!>muA z6nbmrND}&GQ3c8n93#51IWD5E*PT1%6b4PsWRZ Am;e9( diff --git a/de.tu_bs.cs.isf.commands.toolbar/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/.DS_Store deleted file mode 100644 index c9cfbf584190a6a111568350d7f8b3cdc86e2198..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKu};G<5Ir{q6_8LT#F&iOIN4K&93I=TwuIJc73oM#KD%p6m? zp<5c#BpsHr#UToa0)I^bes|Ysk0x|QQ+yWhZ>yJNqp_u1+o{ePWpUh3vp%9+AXcCE zU)#$v2S3alU*}imxW z?b0!w(cxf{r2Q;QQS@-*g`iI{*sRL&iPA@WV1z5p<#*JjTKhU@@F4z)#i zV9E{!+M&uFF_aw+f9UcehuWeYPRgu|dECm%oluln9sbaylZq@#FA9hPz5;>$+T{Je zyZrp`50Y=9fGF^<6j1fJ7k6+=Zf`B!9PhOu+65XL=V^;(2s*bNn+x8Gx6zCt7V-r! Ua;PoB1Cu`jMh59bfnQbN3q_Qqq5uE@ diff --git a/de.tu_bs.cs.isf.commands.toolbar/src/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/src/.DS_Store deleted file mode 100644 index 439037504caa9bb4918cd9162d7e31e28bf6902a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeH~O-{ow5QS$-kt(t2lBKWE9m`O{33>sPrh-MHRI1qf5S)U0a4+8TOrQ~ATOl+f z+0XWP9Q%{v9}&^*Yr7Fyi^vLzsw~VHn`d1M?|cnaj?oN5hk`7mb=RL4&Yjaew5NS{ zKL11ayxHxC{#cfv{lnO?AL_d4h6Z&~d3(S6xc~OGzxs|ZXXB0N5EvE&f2~Bx*q* z2>dewx~zBg7K`$;^~dsf)+VGUBpUl=7GNk(E&-@;AGs|~^Cy(d=DSRZ+?VE7d%y{ z%s}!@CNq=G2b*Mwh*yVhK{O|#8JZxAG9qFgow{)6DUdbCzT0p5b{KjL&qL(fr}RPx zdZ3o7?>{p4PmA?t*zR;se1BU9ZHK05`=NzZczS)id0&3_=zj6oJs+>|f$)%EAQ%V+ zf`MS*Gz|D9J-a$h`p6m#1OsQxfSeBrO)xtaLp?gsX$b(Fz^npYY6*!+j@hvoVg|w% z3bau65`!%q_T+xqu^3u7u@@igD}NO)tg9n`Qg`BP7=17h4Acx<+HfxS{~dmr(IUSN ziBT{R4E!?&c+#w!6*lE}>yPcpU7OGz(L}_rhysCLJpwS0bL3hlZ9a((zwB5HC5zZK Q92gG)B_z6F;13x11j6nv(f|Me diff --git a/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/.DS_Store deleted file mode 100644 index 460f0bcb250b0e51e0c75f524c19c5b9917ae5e6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHK!Ait15S>|9Sn#q(kNJhY2_n>`e!>2Lv;{qM=|b_IkMJw}3NQYb?`39ni}k7^ zGcb9R%uJd*Xp#{T-9B|2k+q1dphTrHBOIP}Ej;)fsGOr2h8~72q;=Py2dI39kEip!A|)gk2nK?IU?3Ry z4F-5sLsl1t(FOy-KrryZ0MCa6C035vupAv|N(lg5Vz>xw))LG~j+J9Jga@LQ3ba)9 z5<@K=Mb_qck7q!@vcqKdnko*nFa**0YjbRcBkhwuQdy@&Vm)kmGd!DSGs zg6>ySpZ+|U?k*zY^|4zKEs1D>Cdi^ph?pl`XC8bGWEo@Ix25z@Y38m!53=?dJ=1|6 zy2Eh&YU&?Xn{C z22RI-T-1=og<)E<093ODFc?gMH@D;)Qi~jGr`|I2%SE3Xo O9s){8biu$082A7?S}4K* diff --git a/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/.DS_Store deleted file mode 100644 index d65b0beeb65f69906e7184dbff63f5a6fff3e579..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKOHRWu5S@V{RYFKzvh)=yHY`IGPS6WL5(yRwu2gmJLvRZ2!M%9%0X3=@hy_Au zCbFMBKgUmsogpIL9ELT~iinnIf-HlIh`MSzbLR^nYmP^Hp@H_pz8@=z{-R3WeMvoK zn(!RGf0y%!O`RIYr}eha(@uB8S2s1EDYtDm=1y%yuWz^ScXhwvTYkIe<24IXg#-h^ zKrj#t1Oq>1K(05)^3pK+U?3O>2EG`O^C6)LHjc$mj}CNN0st3Kt6(g(gv2Dr#<3W} z0$~dUS}1#o!4?jEa=*s07+N^77a!~^e-cjCq{`d}a!m@{y0)0N!+_xNP0 zMgBY_X2C!(@Xr|FMZ0Y`*p%O`C)<;|HlaPBiHKj30R-dOPXH!zj$EtJ>`BJ(YaENA UWD&iF1LH?P35hNk_yq<&0C_btyZ`_I diff --git a/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/.DS_Store deleted file mode 100644 index 54d2f73a83de7c96a55eda319d006540c04250dc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5B>J5S@V_BGIIz^bJrtN)s(7$OXb?B`6#@0@C{sIR*FNNc6n%3@A%nAR!@y zW>)sI=jZj4*4`l^UhIZB(Ts?uXo4(*hKRapIx*)nAlDo{-O=Olv`&3)B>IagdG~XA zri>@i!TaZgEqyhm`}uO6H(TAw+tsnhCU;$*au17ewtu;Py=i$3-|*T#9IVDGq;YWu zoB?OR8E^)E&VXESkm-e@_s)Pb;0$~+Am>9s6O4vMu^t`hY6$?GKwSl6sU;*P7)HaQ z2n&QY6sVzWB?fCa^uhe1VNuj@;<_^O*vcQp3)j`557nJGDthk>I0It_PIWqy`~Mc7 zOtZ)zhxp7Ha0dPv13c-L-2$7kyY*;$a@Pj56`F|n6&XM<9{mJhBIn3uHL5+x7=F>P VC`uO5*KnZ!2vkD6a|V8afp-r=GXDSo diff --git a/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/toolbar/.DS_Store b/de.tu_bs.cs.isf.commands.toolbar/src/de/tu_bs/cs/isf/commands/toolbar/.DS_Store deleted file mode 100644 index f3a619cc44e6bd9161d2b4864bd5eef904366912..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJ5B>J5S@V_BGIIzbWfFz(nQM%ask*ZB83x2AbKByQ*aNC!CiRc8Bo}`Kte(Y z%}Dn1&d>If*7gt)FP?@u(Ts?uXo4(*hKRapIx^=IAlDp;?&x87T%|rY68%M$to@YM zbW2+rXm9;FVM}9Ex}Pssd9%}i6Y;xE2Dfh4lXU{K}uU9Rv;TvAN_1t0t0e$%0(BLPrIwJGU>FUH zA}kQrP@smgl^Cqy& diff --git a/de.tu_bs.cs.isf.lattice/.DS_Store b/de.tu_bs.cs.isf.lattice/.DS_Store deleted file mode 100644 index 756f51ead4350039220cb741f5797e8bb5969582..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6148 zcmeHKJx>Bb5S`^PK`f-Ou-x8Q&{-bjFtN}ED{ahyQ4{cp1nc`VHda>t17m0B|MAW4 z1l+wtD~&NT$?luX$IaX$x5E;V=`Y4zq7D(Yuo#C0 zXO&nrCOAj@1 zK{spT!oIj9ZPFcG(j33U0@{f6u(S8q`lzV4XX&lxdD9~3?u*EvKa+BQ33@|cVNdsa zD^J)*dA|IeTwYi^_J;KwA6!%A=NQ1uW@&AC)Lj`+29$v%1AIPMEXGu@^yrQbZ0-sG zY{KjWx;wjpmJPsEu=EHE#Q0R8Pc?GIFg_i2D{-k{>CvZ?ah35LschtiVq|g{>%z%T zF0bpZ3@8ID1`@A!c>WL8-~U$$swo4?z`tX_G_zsW$7{)Kt-K)5T8njo#lmr=N0)+4 h#<5d)6z^g=fzPr6Oa)7iut4;WfTKY-W#CsC_y8-OlKKDu