From 3782568df6e047d8fdc1f83b6aca785e38e9dbff Mon Sep 17 00:00:00 2001
From: "(no author)" <(no author)@71dcc7fd-b1f2-4e5d-bb8e-274146e81173>
Date: Sun, 10 Mar 2024 17:38:04 +0000
Subject: [PATCH] checkDataIntegrity - major improved version;

git-svn-id: svn://home0/checkDataIntegrity@3514 71dcc7fd-b1f2-4e5d-bb8e-274146e81173
---
 bin/checkDataIntegrity/Args.class         | Bin 0 -> 1654 bytes
 bin/checkDataIntegrity/BufferPool.class   | Bin 0 -> 864 bytes
 bin/checkDataIntegrity/Main$1.class       | Bin 2528 -> 3210 bytes
 bin/checkDataIntegrity/Main.class         | Bin 6680 -> 3633 bytes
 bin/checkDataIntegrity/ProgramState.class | Bin 0 -> 1859 bytes
 bin/checkDataIntegrity/Task.class         | Bin 0 -> 4187 bytes
 bin/checkDataIntegrity/Worker.class       | Bin 0 -> 1407 bytes
 bin/checkDataIntegrity/WorkerPool.class   | Bin 0 -> 3055 bytes
 bin/module-info.class                     | Bin 157 -> 157 bytes
 checkDataIntegrity.jar                    | Bin 12897 -> 19231 bytes
 src/checkDataIntegrity/Args.java          |   6 +
 src/checkDataIntegrity/BufferPool.java    |  21 ++++
 src/checkDataIntegrity/Main.java          | 137 ++++++++--------------
 src/checkDataIntegrity/ProgramState.java  |   7 ++
 src/checkDataIntegrity/Task.java          |  71 +++++++++++
 src/checkDataIntegrity/Worker.java        |  30 +++++
 src/checkDataIntegrity/WorkerPool.java    |  62 ++++++++++
 17 files changed, 246 insertions(+), 88 deletions(-)
 create mode 100644 bin/checkDataIntegrity/Args.class
 create mode 100644 bin/checkDataIntegrity/BufferPool.class
 create mode 100644 bin/checkDataIntegrity/ProgramState.class
 create mode 100644 bin/checkDataIntegrity/Task.class
 create mode 100644 bin/checkDataIntegrity/Worker.class
 create mode 100644 bin/checkDataIntegrity/WorkerPool.class
 create mode 100644 src/checkDataIntegrity/Args.java
 create mode 100644 src/checkDataIntegrity/BufferPool.java
 create mode 100644 src/checkDataIntegrity/ProgramState.java
 create mode 100644 src/checkDataIntegrity/Task.java
 create mode 100644 src/checkDataIntegrity/Worker.java
 create mode 100644 src/checkDataIntegrity/WorkerPool.java

diff --git a/bin/checkDataIntegrity/Args.class b/bin/checkDataIntegrity/Args.class
new file mode 100644
index 0000000000000000000000000000000000000000..5a2fc18e528e937ec6c30d94cc658fad3164c5d0
GIT binary patch
literal 1654
zcmaJ>*-qO)6g>mkaT^jyQ&N^LP!h8QTDqDpEUFqQT~rVc?UR#?5|hME?Fkb9)Q2K9
zs>DM-pdVHBj%~mq%frlE-<fmInLGFT@4xdu0Cun+#TY}j+ThjZzAp5VDR|vB#A$KI
zt~*hL7$%SP6TR5d&3f?*uUdAEA>7eLV}l`GzS=twwqe#ae{+)|<TQ;A11mAah0*3^
zqiqO=$hKh`;x$7d-;eJ1luCsoinV9ecmm@{Dwx0|!+5@M6bC6#5Jp5=(+Z-VbxT1E
zap}9QAb~hTvTT_AW4B%5_Mu*BajD#@>a8Q)HsrVO42g!}FwB&Pq=POu`GJduRr{>l
zdYcPw)A8wip<lMEkZv9mmY0|`rTe~uyLiB`mLJM6FjTCeI}Mou8RVgYMJzMSjtD};
z5&pfaw@6+lnC4HFV_p?n;j4_aq9Bh|hV|i*0vEf4G9(VHu3hEt44KKeER=Ow2b7&%
z%My;T^^TV&CxJ~oj^Yu+!d0c%T~pRW(TnJxRIr676s>X*f#EEu+%Qk9CNFxY-|J?r
z#ht~nWi`7UEuhk`!hpvI9-emiK6k3N(Giv%gzU9+#|b+87~lGX1lhIVQ~AkBMz9gX
zbB3JTAex*vHQ5K+Wd|e~QZ%M$WN2g=l#*$3+m*qo<=!wXT_tP8y`$J+m>+$V3c*Vf
z8D95dgBoL;o<D@N>>aYwvUA*(`o>+UYiNzpn1F&Y+#st(YnaxY`WrXZl^#;+Y7bND
zTn`yF6Y3#*M!RE}p*cbvk|9U)mWRR}%+eR(T~@iDb9u*HOEODUIoYv<oFh9Ga-mT&
zrIZ8>`n_PDW+`ZiRv9L&{zB>}8U5TcHY1inkf~9S7#0SwWPXfbNeqN!heJ~IH@FbC
zOycETqUt&B0oSEbMY+tB6YBm8X+h8uaGfa#%A?@lCr?Z=EirZF9O@`k2x~6sI*PQW
q3IEi6*k^cwm(Z|{SL9ES|25uXmmYqPzH{_=URilX<&~6MQ2zmSP)WrA

literal 0
HcmV?d00001

diff --git a/bin/checkDataIntegrity/BufferPool.class b/bin/checkDataIntegrity/BufferPool.class
new file mode 100644
index 0000000000000000000000000000000000000000..444dc5c8ab75b286d761233796550c1b992cdd61
GIT binary patch
literal 864
zcma)4Yira%6g`vdHjk#=?si*iwcYwoA~YZU(52KUf^>bcvSRnsY&x5!8<RCAg8#|~
zw4fq>6Z}mg-bsTM1!-Vra?jjz@0m06{pZIo0B*z8pfIcj2O^l<<vG8f<RZ+X{Eg=q
z<FUvdr)jLA#;|b6Uvn?!N$5Qq9f}}lsJ|>kAsF0VxmV;->;-8O6j>&c-0MZjMC|)<
z8cd=jd?ItV7>s@tCOj`PB5t0U*d6-YMAo}O93@e{&7j)OfT4CL-4`0>80@oZFkzu#
zVF4z?Ot-9NfT3lfjv0mq$rcZb7bB59<)fHXwt8v6;{nei8JD056%Fd1A4IPhI=%ne
zN4nKekY6?18TzvQ1q&CkM!+<UV}`cvoEY(kyIUGM49d_a@~9Xy%=L2~OdjxQrAnO^
z@(S#s?+j$kYZk8K1|g}uHijkp-<r-IgV|4uED-l1d9=pqC2vaqut83!^e`A!r5&_t
z6e-YAqhY`#WR{SdgvoFA6RhXQnE!z0I|>yn(ky8pV!K3Wl4e&#k5;)`caO33H>F-u
ztdj&R;~XXGSi$*<yjPKz-=lei)vs9Jb-%%A?%=b&>%OIIwG_}IwV;+JX`Lr;+B8cs
zva<AQ109Mk(a^zupsit@{x0K6)#nx+M2a-1k9&lx&rXG!<-uE&zWBQ&B~~Tr84^u_
F^9#0$ti1pL

literal 0
HcmV?d00001

diff --git a/bin/checkDataIntegrity/Main$1.class b/bin/checkDataIntegrity/Main$1.class
index 473a9ba84af72249ca4a58ec77bf026a725f243a..fa4361bce0a6ec7f61df5c9ba00226d179c8bad2 100644
GIT binary patch
literal 3210
zcmb_eTT>KA6#klB8Fn27@d}EfL4*ZeP0Yn$h|5J?vkL@POf(mV*>-7}o!RvCs^p%i
zxjp-0r7Ew!8Y_^?Ln_btL3v80a=Le27hI53g{ql8+kMX0=klF1{Q1vszXM3&I}1$=
z9qv4L7sedrq<zH;QmDmb))9Ws2@6q%w(HIfC+RtUAvrmBox93HGZ~p(Uj)f(!sE%a
z^qLi+P=RFFe#7y4ZaUsVPI5jPlnIq~`!dF)tb~_z1K%x6$$gb{R8SOdGG&%b;1`A%
zwrYTqBSW4~$wElCWg7UXj~*-E4CDfrQ$gS{9B8C`sir_CF^wN8M{$OOjkKp^P>@b>
zMyrs1^J(D=HOz2l!$CAcH4ZmAsB^B-@d|JHXBncSL7vAznYLk}MN2zv#1PlgZX26n
zYpKJ=7Ho|pg1t6cv5z6rr_Eb4!sip^;vAPbXU?M}v}Xd>@n#(<^zZ6sRLu*@{oY0{
zRro=v*;bO3!jB0_+z8|%!(25>HFiunYJR9v{@R|SloWGi#gijWC|pgT)Z?visDG7q
zjbGC|EPIMBj*s7Rc}a=D4=o&~R2X&<AJdbylNgSm-$EZl*BW%Kz}ZM(fT3k{aw3<W
zxHzskw5|c&AIS?M^^R3~CQ^n?Iy%bT(N)Lm2d#;zdq@Yn8PDUSg%=nGR(i57gpC*R
z62le|PV++9bEJkcWxpK9D|pqyDTZDH_{=`EF@)1Z7U8>+7pYZKe*PR+2JJ!|!#HE%
zb)wrEooUm286m2M3!-Ff(s7L8tOd$$R|A_TJz(P;&XY;0OqcC$$ff>SUD^va-q3Z6
z<;JJ8>4{WsJdP|TEljMKS~H8G;zb)%I-G6Qxsww`o)w-a!Z@apvoJ$NZ{Sva@7cJh
zAvV$EkV<FZl8v`?kTFGQ8Br7}Mh;xIaRu*C0D%r*XN3Yp%qb~+HKQbVibE}UkGf7f
z(d}uwZrY{W^Ko3ooCT+j&vj-tT;v(7l1B1;0<UJrOlN`?G(P)hEnH*RZ>nq#^jMd&
zTv9w=YYnQ*HNy=?{OGRuxTZ4Ey{#7Fbj4E!cA1z)Bhp>SI;HB&Xsr?WtV8hR?1hE}
ztR<zcTQ|`35q`_9Pieh1<+Buo%6x_DhSB-@6jeT8)lsx^Ry^}|3slYamCdNzJx-JM
zhK(Y8E#0#50jM%p*Sz+Bnt=MUk8B*rAuWAk;~);vRGbOQ(&d%5kLf9WOnXceoe>4!
zQDsTx9<3|)ij34;)ArTR`RR&s?Z`~HVPZt<xbJ#FNR-QRH6P?H+-W=wv==tM!q>#P
zBFPN9`mWTuP~$Cwo%Ve$M?EJDIgQVj2_CBRR8(|Rj1hV^A==iizj*+y^u;qPeecXl
zUpxB0CPq&y+DLmFNn>atE1)wmu!Q!+;1YHujxJ$Wq9eM5J&B*u`6Hb+p^M(lWCL_y
zKfP@ucj5ru4U#Fnr1c!hQTo+mut!LW=$%LCeMoCPN|!<DuAEm<wCx~{8ssRBAxRcY
zm+&d%zeqDmi0<I8IKglqy@{XDzKoY?*|Ch*?%w+W+ezLvu#C|Ml&D8YKl}w5+S;>>
zH+e;E_U^s!VMQMx8X4}okIj$pcKf@_c%S4L89YF<ahzcv1#|?QoYiUQH7Pt~c6)G`
zPI}Qt??DV8P46s)aFLwXX*y|=>(&BvQK$y!Rs-y#K;|I`JB?0U#{x+nS#F0_u)w38
zXV~AcS!~3jE12%1r?RnLo=>ik=f`eD5ujx9Onv#EkWa0F{G@^gxh+LL%cqbN6sG1z
zJTdSG!og*fS2KiWG@UmQb5k@kHh^$*J%r;}e6|lCu7_}NBM2X_i9kg7)Wq`{J~!(Z
Z_>$HrZsRV#AxY0E-Cz3eTY8#s`(I7q40-?n

literal 2528
zcmb_dTTdHD6#mBEu-GiO5K198($W+RWRtc@(?Z;uTQC@t0wHbE3*+@*CYW7ocN~!)
zkUvo6rBc<`zNS%0l|Dpy?vJW^X6-u0#D+?>v^!^K=6vV&o#Vg${__=pPf;)tVHk9F
zgtI%x6;HcL6nv>3+bdkUBiBqA3_TC|BW@SDTd-Gi4~3&lw2@M{>q^hwmPKJN&}&l$
zQh7c@>=7@HI9}OR45OLwVp++e?Rc(J_I=?hn=5ZmI(8~tGM-zQVrbWD!LBSZuyhrr
z#MMqfKGdOPWT5D_sc-M`eTKGa=}MJkxOHM<=|;Tt*d~K9>*YlZ45uxaXxGvi3o*pC
z^p1rNSXz45LMP&JL@{Kc3uhUkqguT?BVCa#@8yKQ!E;4HI2q63#ZB%@{axKO)Q+T(
z&SsjXoucb4`IUUmNuN^g`HvZL)$nRbzeCBHszg%T<4XB5S60HF;em8?T~hyU1yf@U
zw`*lv6G6GC(;A=OcSK1^&kanBF!Y7xqcW#gYbP;W#;A!88O}FhK?Tmj7!p+1+12bu
zI(v7X;o`COqj^aTI@543jFjP&j*fCS*>K!CXiX(eO&x3puHj=7A2Ey{cD*Hpg->vu
zp;HEHqEIe!UqgjuzaOVI`pm>lhRY`-x`od{dG403<BL7&g_N7WEvQq7L`xmGg)dAH
zm%HAeX~J9h5-GaF^Ld8;DiP{>a%wE}WY)r*MvoSR(p6fpa9fukwlTl9lFp_!s0PM%
z=zQn8;?C|0FI8#TUCYq|rwe3esRiE-6XFECii&-QJg*e4L7N(-<OM36A9Z|Rd`p;b
z)jy8aCcYvQhwH5w6{luix3Gj|E#0+{#WKTIQ?vh5lWAjLTd;9SOZP1d;}SLAx>xoc
zQDIh0&)+NBW2)V{EVx{iePY~fCI0%tH?)G*uMXnrhNG~FlA3$-u2b{^=@wRm+VS!x
z$jm^Kab&>(k-^v_k7x>xKB#kHon{S<Zaw_0wCf6gw#b7(P=~f>MW7a`s1zL0k)Bg9
zdQR)H3eZYJHC$<=hARzJ`bUb<(}ixj-9yqGBBTWjCB_fXn>crXzQp7K`V;-e0R|F(
zVDL9Ojo=);+einPz<GLGp*(~OxJX}2r<ZQMN3ua*?}ykkBt`YkbA0fO)_RnyA<A&&
zyo#cA#|d9sF))cMq``Cvk0Ad@=NdUV@e)@Ve!_*s@92Gj8?^L2dHM^wNa!DbiRlRL
zRgPw88F=#aXT->xU(xm)^V+9q7+F_{b{&Jbff3xS^DSBPEs4ddZ^^1}Y0_^;bfkaA
zq%lCfjO8Pqw#q@W&W=&DW7O;z$Y3SR0rkv(LSATs{3g30a!-nUUOj@Gpls;u#uMYO
zacANM)*7ove@b*7Ay%cRpHG0W(F(!F=J7t<YlSd;5`=G>B2WiB2;=z{--YY<_<>df
TTgX9>q-Tg`rT%Tx6T#L$&MP#(

diff --git a/bin/checkDataIntegrity/Main.class b/bin/checkDataIntegrity/Main.class
index b333cbac1da189aac52353e92ca489033834f649..99724f1c19ae86a122df0f3bc0523baf705bd31c 100644
GIT binary patch
literal 3633
zcmb_e`*#~x5&o_vdu3%q94E1xlq60`f-O5yl9mvn)J<wTjf3R4_*J*%v6k1;TGFoA
zT_rJ;wm^Bm3X~9DJy0IyO%lKsHuML6;T-;^o*us0l^?<z(jU+{+Pi!2+_^K~d^2<Z
z{m$xJ050M08d?;(^F=dX8a8}m)b`DSYxzs*oMG7-;tCy$#&siIHta(B+T5a<_Z8YM
zShnR4D#UvGrWN8t&b*mK4DC8v(WbB~YuV;ltukl2lg3=xROrk)d80gSxR!i3CgXn5
z@)Y)G?{j>Hsw*@@p{w_~?4}tLzH8Zqj2xXDxtTYszUA1ShE9b&n^GGqNhs{qu@7Ae
z?N!6|%u8;8=bnsI8fA>gXEZ#da5%!$an~uhMrFb`e4=mw@73^d6KoSpo^Muk9K<1o
z-T9j9nzlb_Rm_}KE(-#L@v4R%h2w$wHQy?y^N!t+OdGyavGVCl!H{+ALK273o<uj^
zCx9PSc%k=dh|dGJX8zxDebX9_D;$gfX2x+#raSI9<s^=wS8VN580@_-#8C@d(antZ
zO()Th6B-7hSu2s!aS~~T)~ewbPcihpecQRC;dFC|0!r<`qxgV^$H><p5Vqx{7p$_G
z9;YfDXYoOW7H2^r)4N?|6hlL)CN<>IhsgN|xFq9_o=)N%G6K~Fg;yHKyo;zt=nGgI
z1?gs7GEvJ-hzsC@xTxWY_2k;{<}#5X*q896f_}p&mt<nnHJR=s4Z}BN1;7UNHs(Zp
z+VU*laWjn&ZL9_I!kS?nBT`b5#tp;rM=Di+Nv5CDaYd%vEfy@-tyO)Qy{hBGG8<oX
zEL+k(r(+D)xVy@V;Y)@x+m1#OaGTfNcv{CtFrkphJ2l%Mab1PfI+-3E5=qi29n+HZ
zv4Tkh58xRcvv`&Unl~-h(ReQj&A|xj(VhqfiRn_Y<|UZ-DV0H-$#+i*kiwA%#*|8L
zY@{Y@TGWOu9AQ0|=t^XV1PGHjylY}A>?G{@QqHIbRll7m6m%3}5fw&GVPBXeOttYa
zNUmvAG6|FvhNnEEV4m;UPVSSEpFJ0ZCZ`6&@ia%TWK}u%tgTtAV);E4Z!n1p91ZLu
zVRL9cNJkZ)RL}x~lqs|?BDEz6Jk&HWX1g~#OwcS%SI2eSAWMQkaqd1kMx}BsNoIda
zp)cZ;?ImTD^bo*a(D9i7FsDWuRq&En{qldE6E^3dE4I0&S1VJr8=u$liZD>v;d17S
z__BsCtrs`}Dm`3t4e6jdzJjmP4`*S$FLn1`Z6s!sU`Et@UB@@1%qDy%?8lwFP<%_r
ztN1ocbHyl;EOy@TXDq+SHy&?G@*R(GJfc2}>EG4ynxtQAkba#^=Ubxw`{MVyUBR`a
zaUT$?exT!r;%+;wGTB1sJ<;@I9X|;)%`N$+*GfbAi=z`QxYfyf%PqPw-#~#4BMd~d
z%gmVxr{?BOsan)8#X2A%+sKoS<9ohqRCA_ZbmYii<F^`q!&0+J7R$cwl+1K!YY5F{
zBhT7LO1z5SDcs(QOhY<Uc*U^iS!$1F9j8>QHp=K$&$lqAY2)Nl)r=6|T4&Z-vt7lI
zQ7%tdzM0w8hBp)VBa>v32AuCv3EZLA0)!W)ra2$X-eZbQ7G0-SC{}Aer+RYMT-r<E
zF9eL`({VjcvRRDUw&@O)4bL-qZCg<|whgB!&o%r_;n4pU<>fSlNnyvB>G?TRZlNBI
zkUp_S+({|4@mu3}nxo>_np#2PE?-)Z<WrUb9Xo<&Ai%Gk{A$O0u!~Y1e2-IVx2RDE
zk)TrGrBoezvi<);{O%gMXY1I%hQqTfIMO_<;E~)Kj?MNDbo8v?{bP;Q^YQ*=q+<WT
zsXETA;oR*0c>jrk6`Zf*@tG6L7~=mj|DywSWCxZpzKqHC*ItJfe-rUo9W&xUEO6j#
zVC*g$)j^YYb8atE=;9sbAv}TocovW2W9;m6{90fSU&Ihz#Bkv7W1%Z}4$o5`>lHpq
zSvEgR;p6xOoj;3F7~C7<?u*D{o=}*S?LzErBsKKEBPF+6!!ZqqFEV%J_Dv0f_-#I0
zI6j(sOM3%5?_r^HaT#TGXAS+cso0rR{7kC#OdW2jO`a>bnZ1Wk6POqK?{Hh_-pRnw
zrx>RzjK?UQ%+kRebA62U@)~+Dj^mt5;c1*^7neA8g~vABN)eXN25yPrF{ln&$;(2+
z%6~SjEHZ?tWqi)8;|mQtzP5^Q0yLRsap^k@!YaNO%+Si)5|Bs2r5|xgrYd{!dhlPx
zPq*xp@U7x!!OUjl4h1MplWsG37|-AYuMB4yuPH{Oz({PmQVgOYG<_a#;ODelTuDH^
zjVX=AFpgjFy9K|*uQ(py_wOn5hv50A;CVNA{uzJex>Un+9Obu+I#$V&HNFeU&;17+
CR@)K)

literal 6680
zcmcIpd0-UP8UMZPCbPSlTnhn4t{@R}AOTc@8$d}oT-<P&5H1gf%_Lc}N7zHavrw(A
zt@hBWwJo+DrL8^0wjl)Xwp#6J?|N%nYY%%_+j>EN@9pen7Gm_DCSl(7z4x8J?|m~o
zeq{K50L@~fh9ZH9;XW(ezsyXV!Fby0O-9nYo7&AtT!UMna=Uqv*%US7y-jPjZMVW{
zfs#d$cqF|<z*Se@CE#vLbXz{S;MGx#5`l_PByO$F#I{+<PIFt-67Yu-VKdrgCL?le
zPrB26k(7WDdI$C`JUT`(1SZsN35|%+kxoY9y)BZpZ~3mUHIR-Z;wcS&fpLl|l4uI9
z$**`Z9uqWF7pT&)JC(L#IwoQg)v%IDf$A&^ZeGjt)8t~Au@(<b5LmoEW%gQun&SnX
zBN^5#T5G2J<}S&$^Vp{PBLi%rkr?gd!xT)@Fx4TRgM*Igs1eWxB-1FBt*#qQS07G9
zt%jKbRU?*A?y{0PPQok!&w!asS)6-^GlJ3*bvo*m&WTLg&lqUbF&n2a24ZHv)s~2d
z&Gd#yx{tk7+Ki{^pIM{HbG(Rt2sHXpgt_v>c~XX8{b*z^%=J-_({!AU1ym=TNhYm$
zx-$~9+9T1Z3<<{7Dh&(CTj`ofN1{z(%9f>UGSi7zB;2%AHK9bj*N0|!Jz&6;b%f1$
zoZ(T^nY1hoi*rU-XDm%7&E26$D(%A}oGGLAEXEk+?9$L$7#}LeO0f(pG%RNTD?#E6
zj-E)=YLfoeu@Yws6eW5DT1K(aXd#=mN5L^I8debm$A^}JVC_5~f(S`b+Zl&8n|C!x
zOEAkx5lV$ysG|>Suuj9;oJsOxte{FM9p|D$K;LOb`{jhRpTKgPW1d!O-g1l@lDsRD
zilh_C7Te{8^wK};b#!3^eVeivpzgX=^<93ru}Q~fY~ggToSt51?^lBNWa43o?WT^*
zz(6!&C0l$r9~Wx4fYCLAg3dl7wOeHv9a~`vl<s5*2brTHW>jE-(`v_`=?qfGQ7wMj
zd{Zg9(W8NuC?5$$X;2-#=wm8OsWc%lxj^#lY?GZsO0gYL4gEyf$RPzJI$|L7C4$Xp
z)S}RZmavIi&6H)I=|>3$bnE~#SBV*xSy131r>0{8#`d7f>O4@U)8nD)m~q-=%;|TJ
z%uyXI(@iEu2TN1Ywi#T+l-QF<E;qxpa*b23ya)4}WN5pvOUG_pOd~Rq+M;HPd1PG9
zDN0c_$q>2}mut9;*VIS|sU;m(;C*Dv{j1FwT|T~GyKN^Q_Town@6Vw~9i6{ybX+CR
z@bQdxD<y9YKQvq|Q{o2&7TS7@ZFgrt=9xC*8XX^&39}*+4=1e{Q|8im_ezVo>{@(O
z!*#hNm1ZJsT9!$g5;{6QhL6)GiJn|;ok-+mU06U!yIhOwb=)Au_oNe9#(sFvDA9Y9
zgy{kwK7~(fxFv@MrH4$wIzEHX(sUP@(Tuf*32|JWOP+>T>8(tcs}nvf#pmUY+m5+h
zvh_tSg*c7mhgV)MKHMoS`2~5o<g{>-$$RCCI=-aRy0t4J6OEbdm60$?HWnxzkoUGM
zPeww)wz$2>d(15_a{&?Ll)BKFtYYRaj(9^R$wDxH7l#uWdGR^}bxZ)-=To%GEc206
zP5Z0UmdmQ7cw43?MG+@DM0BFjrl6cf7G<)F7-f`vQ1V`!P*{NN9>^78vyS1uC_669
z-%EJH<k1CKw53(9mUX1faDTfwplUk}cWL-80W@OPwnR)OH&qRKqGoJcw^>WI+;#O^
zc=P6Fs79_kU*OPtwx&Zi+ka!uI1T6^JbwD!(^+<Vp}Fe2idk9l$Mv$T{eC1%ybZFJ
zxL$_-6FPp1pD}Akt$1&m*^SjsP%ivJ$1i2!<V|I^rBqV(qZC)mJMT9Veor2ok!-wZ
zc$(hd(yHNEx=ERwbxLcdr^iZK-NE=k#x7<xJfFLQNFZ-*$D)+)MIFDz?<iV2Ay*lj
zxeRF2GfO;&mt-~a2Uc#jdva^_T`mX^q|e|_lH|`UYeq;Mtg^+(EBKp+zvj{?4{=cF
z_&ff==#UpXBfM@)YkklUUFM>H;ollw%N1+NL8`1{0rMaHm$F+sGG>&xD&?+VQ2wjm
z>_?g0`wHIF@s@l=DGo;yDZaEEVba3UoDd2&jDo~Y8K}AtqKKhwc6ZAHB*}bkQJP7%
zPKCsL9r2@FxS5|svA`-P(R&F=n`V^UuL(_HhH`5@%vL8lGT}byqddqp;T4#g^S)eK
zok*`>R_b<;lnR_!cv3LVoE_<wWnG?*(KJA8jvp<y8LnZO=v+xzr4$V?UfoPl63T2i
z(jy}Q$Jvp$Du;WSFq~xa41z(P!G<GWM<SC9TiF=&%2!eKo<*m(CK734!yIV0(tU~U
zlut|%(=@?%t6HU(a!MqAQKH|H)fWpJRtbEkSz(4*o$i+2nJ#d%(>peG_Q12vcsGmT
z+E60VpBWgtC@R?4$&@+@x%1i?<$AM^Xk*dW5lLGu6(wS_N1VtkC>=64P$N8|)*j7M
zqgf2t4qixVP{*Z^e8=R-CmO_TO*G~_?6gEk<y&fK_Skk1r-(U(NNi+E;0OPItBh%~
zg2k*OoE9xuR_1nsWfV)+SK>(@gqW}65j;xM&a1?u_FS`$@2R;3oRj5*;~L2MsjE^1
z<o?Av9>e3@zlhn>Cd?yIy${us^h}Rv<vqL7id(GVYw}>CYor&KF*9{CsAPWyi#So!
zLx`rbpA@Wak2ssY6gB)3kw~UIvZN>yBn`1R5rLYJx+-d7kyOk~hx<HYHL<{X`OU^L
zyOv3rvxU5gwP2h=sT$WxX`(~mq~pLcTKH>Xy}-1wNvT#AD~zVqR*F@x{Ops$3|<8;
zbqN-;$In81Y8*GQ<t2gQhJ)}NV5f)|2GlZ8&HD~a^NN6N8Ao1}qk>eG?7O*AC6959
z=d&CTTO01zZi9Xg#`%pwOg_-ynjdO#&u?!io<D>cOBzaKv%o#I+P!r_@jW=XaTpB%
zDcPSrj5)df)L}|y&sV#LF<%XaaB6eOVKi?#h%*8nZt(}W^)MD~s&*g5l7P3-bsv@v
zq3tk&n+(rX!&_Z^5a$eG^#;S^9YkktuWuL|fgzk1C>_SOY)?15hY)6!gNVR`*lu_l
zXB(x4Zjd+uPN#~nA2S1G<ZF}-V&@<(k?o#gd_YNO_y+Nzja;Re6H2Thd}I)x7{(`a
zdKjKT+~~bwAIep42siIXv47tXJ~xcp^F%!4#$nu%KT++_-235n4PpNQTKq7c#S47v
zaVt+<!w*rwBznxC2Tq`GreGYV@=Mw@{!Yg%)UZUKfrX@7hM8E4S{5*~sP)O{=eMU6
z8gV%(ZpJF?!#Pwjgac?Nm$kSL>+mqYLp+WS^4v|X7qcL_1aIO}A#jD5#FvxB*dyBc
z`gI|$RMB#!j1sXGU&dXOYaG|Ug0E8Qi6V%vu~&p?q7`4q-3-TBB0yeuQ<K@^G~B~p
zG37dfZ{VBMrysB3TZ{n@<$Dna=`Js&JH+2XYJPxc3{%Qd{<{<R@+pg@X_WbXO7H-A
z*N{VY=Y!mtrGF?-{}AaPCe>zW6-V&|bPeCuu#|r+Gu#@QHFT@z`5NsdH0+(u53o~?
zQkAhui%6y6J9TG?N}o)0+#rEAi>>@Asj9)fp1av|A}yqBR|Iem6XAQ>)9%>AgqYpq
znn!Nq=z+ZrjK*edf;JxC-{HOC7L+nFCuoECp;2-OKjz25LHuM8KM#0k8{T33iXhHn
zC*V6}5Wjv9PX$U1x82i4piBhH5966lhw<DddBO{VF8RIx<%9TRpd!EED_p2FDvZ)W
z{AEFvQEBM1<FBr&_TLIaf{1MYnT_*eiJbj7y}GLC4%8c^uIeg7cUAj`@aipj+Sdzc
zy`;VU=xs*jBRIjR9K;*@;SZF_p+^mkvImTcM{t=@q1G~ia--}~_>A&E*?v?RWk&g(
z9I+Y1+mg_u2)S!aLN06jQ5Vpp{3V30L5r$Pz;@5DV2Wi%GL$|C=!vWF5?-aRqpVyj
z*mj78Vj)|I4g4*!TaVo`^K$k)V%w##y`6Xl))Na|%(EMa@XbW*76cfPZMc9ay^tKX
z;W~tI6Tgh@gGJQ!FxGpCpa^4PJ00847l0_9N1XUDDNjOdzz%Xriwlqum+;fh9_&)F
zG$5a1uh2yqd6tNEqMYYwsAq9fLF{@FU};y$RUg{Kcu|F?xuc!6j-Nf9TpknS#CYbQ
ztN7)on!QTOwoyzVva2ZJ8ZnVQKl#p7IMoyauYmt881ADKv{E5Xf{>t7e}v&OqLJfe
z8lF;rM>O#775)KlV~!AwucJ7`$v041B-^sGH{j*#7duCZGHujD6{LCQ-dg^z$|Rb(
zNEkwzyH6GaEHh@P=S=lHNj*;%O>l|1;#6^(>YYw!o}qdzVu?6Q(JWQZHuYSto-5Te
isGjGjXS;f?5$gcRFZ4mS{1NAhPSFK}?#W)Q!T$k*lIA4<

diff --git a/bin/checkDataIntegrity/ProgramState.class b/bin/checkDataIntegrity/ProgramState.class
new file mode 100644
index 0000000000000000000000000000000000000000..304fda4936f44cd5dde33f14cc13ec40cd0171d1
GIT binary patch
literal 1859
zcmb_c+invv5It^_ZW0#Sq?FPYD3=zJ<+9vw;Z|A@Md2cf`T$SP)=HKp>*95gD)C7m
zfkcJW2R?w0LX5o&EKt%upva!dtk2B&%#6Q&+x!Ax4)+}lFiZz+5v(q7%@-prS}N4*
z{!=Aeig%YZ*TO-LVdNEm!~G7ATK+Q;NVUR{k2P1CfjuNWkiCfXYQvuE>9FGmG75T1
ziAeig%WfF>b5=BD)T%QSEaaY2gl?{D5i<<k2%}KnVt8A9xKl^}`&@0AAvZ5qL<xf!
zcCia141?9$auEy_7kLaBZLbRl1*7eAQB1V`E=njc3^&3^JnnUyLOtirjv!n^2E4P(
zRcQXF#++`4bm=3FZTKgyMji>>mMc#=)kJ8a2u3Lp?_RaGQv!%_Etj+kqZXzA17|Cm
zSnCyPieoMgV}{{Ub=$Pk$XO2*qs`;Cq0eTxXk1oZ%%a9Hvjdll)CA&nk9X*XV`($l
z08g5)M4;=n7slgh7aq<qT;ASe!p`q57)ndBrvh<5G{q@roBfRGUn2ajlseXmuO-aK
zC0xKI2N!8veoca+o)5diPm)Vdy10xh48`UT4-6l(HwmLRa#i@r=?6So>4<oyA?0ds
zt)9s?tx3j`0-vw1i3Je{DqPc2Wg+t&9>-Zj>f`0#PO{PK*+Ql~4-esd0oNHO?U2{)
ztR_26Y~9Z5Fi}Tql-3xnaRzrWiiEOhh}gj#!|X4z`rO;WJj0>>N2xIql1NEjAe^P?
z8>Du~p<>38w2B!@D`_OHq=6)9)-Jdhz;4pIgfge6ywBL<O>dy=o!-ExH<8=Gm^YE%
z!1zb{Jb($>hbRch{Uq%dNfL~H2S^&tgf-u%Y+#ejlz9y(C8L?(c^o9YoU>4e)FQ1C
zEqeBFh<20FECsV+yiX{<C&S;d2Q0+F^iK%AykyH0Wb{KHNO4QZSU*T<OUU@YA!QuK
zku<Rr>0KOe6GwqRLDW(<S>lAQeS8bh3E<ry_sN1hoJ>JgiezXhcqcb;svjx`-+DZY
sb0jN-ziJD24RzeWP29q5vX{ty2Y0bRg}+DtC#j4{UnO0Y^px$W@51Jpa{vGU

literal 0
HcmV?d00001

diff --git a/bin/checkDataIntegrity/Task.class b/bin/checkDataIntegrity/Task.class
new file mode 100644
index 0000000000000000000000000000000000000000..931e1a4a87928c2ed7908d5baf3609fcffa55fce
GIT binary patch
literal 4187
zcmaJ^Yj7J^75=U)dnI|5I7&>jdDU$mSaupEr46Z^rpRvG*w{&kgPX)qSj%g9V`*1e
zt<sp#ltNr+OL>%1N(l6gp$(6eL`hTH6bdPn_xtgSpUg1B3^V=JVKCp_l^iKnV@rGQ
zo_p@O=kc9$kKX*>g;xQj@HYhkfosweMtbsg-PQXn*T^`gJC)e07bX=11zHa3hxJ5O
zw=#)cqX&(&tDs3>xkoL!W;QWiw9>9=TZtaqDim{uBM{V`OhG^!s3SPVr7nTSf~&iR
zz;*R_b~|>)(Q`wRg}hB$P0Mt*3EbLVkK2=2Z=ps^e3*Lm*keWn4Opn687%@0?eXC-
z1Y#-_gyd|AiZCJq3kOWg*jdbt8qQvQG)qlm19n=^4(pC7-^;|HJ7K<)rP75`dp(^t
z@-E%nKHz!HGVR2;nKcr-b$6mGJ{-XctWvO2;MzL=sy0H!wP>U7(st3Jz>fB~FVTxb
z+P2a~$1yB7p}Tg@Oea#_FkoAmt_ZHj8U?Eb)?JR=)pn>@i*<B^X{8+_N1-We><)v6
z(q;XP1P}ij{uxFG)+^|&fyvNR!8LL!Zomez+eL0__4TCTyB*VVhg`?db5v?0Zd9;I
zV6mrE?XrsZ;3fejFLz`uMz6g;KHQAW*rMRQjK_Rus<;J7fskwS1k=heoD~;&0QRXo
zcPq9jxV1j=C7e{;CIvO-8KI34CQ6Tj?ph<g1616O?F@0&urlt1=bS#teus)3=o1JR
zilc?HDy{8(<#1i8%llOf%pJEWM$hh4u?xGYUrwJim{)1tz0-6jWQMuA<q~mQ%3!LN
z<vY2WQs+SFz&$F4uvZ{pj|+6wku>s-qH4h#!7%nIxKm(d9q4u!$Hxt4w{2%t?8gDR
zCnFIQY>$t0EBKJW(n{F(=+>B>OEFOjg<htHRPrtrAHhfIT-TN)dcP7&;zUxqLKqbg
zP6Q(ulL<|p)n#KUEOqQ)zKtNGVge?0ArQwH==PEBcwdb9KPf$*Wt!CSN*!-X2wM`V
zHbGu*i<jMpR5&tmLtf%;cc}6TxGIWXHjhrZMnNX%-71b?im1`Y#wzJ1LEj(2QQV{8
z;}ryY`JQqdeTqmuhI{EG<4{r05*N+1q_0nY;|F30U{YH9Nfn=x<*qTEwF@kO)A+Q4
z`zvYZ0cP)nW8W<cn~Kli0f8uW7%JxT4kKdFLrbfTn`8E>*DxMZ@mV~~_~vD@d(NcY
zDSTeV7w|>q@L@e$G<FeeHE#9qldigMZNQgQJc=*VX#`DARxi-F#T5j2DtkmG^H=ay
z1&^~<d1$)4q~e6kDuw%Z>N%Qy65mkp^%}FcACa}0x0i}1By)t!gEU#s7%|=xPf0X9
zEzn<WeYuLvht_;b9n%y%%UiFucI~u>is=c7={bEAe3MC4$q%`-({_7V_s6POz9n#d
zt)xDSt~STy%`(SFl*>BCV(2Sao5GA*T3#lipEJiG^kehwV5!KnOb1!#Hj<T<O-?0c
zv^Y*mV5HlhOOm5Y(lTEP6Y<LA=A9^c$Qm$?%-s!M+~#y9Pn6exdU8<DdsnT3Ggo9-
z1wBNXz(o}rmN9-qcF{>2e!&RK8+e0s5OZqC%vicxbXX*|R~cBA;#2DPGh6+|TDNVZ
zhArK;?XtY<`9Z^-u*aChm+&(MZwRdM!s6LvT8HgPBjKaQujRdZ+O?f239g?DJYEg1
zGPf^q2g_pCD6AQ<?a5-kt4i(p7_8a2cPekxVXrRh757yMEsN;Uv)Lh&o!7!9{4|7L
zGEPE-@M|JNB-;kOtFA3)7IM0qo(SQ$bOh<LeXOGXUSJWaa{*1Zi8dji_F0zUc$sSy
z6#PkG?L1G_vt7Yo1Xf+0l~vGp6xxW027Vh^0AsSV<CPkdeVuGt_-%&D)hK8C$ss8V
zJI-N2N9S2A>R5jki%*jjKr5dy1o>RVrxdUl3$O(5BBjmWhHJ2tZxrAiBfObBD8K`V
zNdK5%o~sK1ajN4C7MHNRgzHjmOYrVP;YUv(@*?7GB_uju!p&^z&R|gqT_wD)gx+M(
zf9=<T7cfZWUqR|TK9FoYj}In8@(~uvh)6cSjFJ7^|6#^RKZkTul?1J^iW1dSEmXqz
z<|Zwwh2=zPZE97Xz$zXu#UBJp$oUH9so=gD>}YKYJd3S9t<c&uUBcmgTBxD5Neef$
zD(CUB6LZ@?F@JlQ+n<?zP>Wu|GA&xdeKUw9Bl0!my=sw*ntBPNn(D0`NH%McHxSX9
zlaU!L(l~jJZyZWEE*V1}BX?buk;@A-`sP6`EFTLlUVfRu4TCd?57Oe!^Z4BQ5*{hx
zF%Dn5fG4li|1@E96mJo<V5iU`R&v}YdPOhCJ;D$MM~GwMK0H$%pDT|u-Z;(sroqF|
zW9+3tG&B<rtynJGeQaVYzk_%FAXZ}!)?gobOswOHaU5q?{V+Ot{jJASY@<(M1HQ*b
z<1BZ*jvMg@_8b4eP52jX#=o%z|3N$6!Y$M&DKh91S!@-D*xtIFPjP+>+o<JjVj3xN
zKl|7x(IZ~Kb`Qr-qlMa@s^FNjZ{vBQwpkSL0#6RGJs-q(@LguW4zZbfJkPW`j(hNZ
zoaQgV7N(IubBTIyM%`V!$W_H#^=ER`n_*CF!VhqU-rXbC)21`bD-(Yw_|7pckKz%W
z=PXK1*Wx8ypaw5f!wp#SU#tku;x0rL2nCyi3Q`=v)cT?KnO4Bh2tU9qT~x~_xMx1!
zw#Hc=TFY5iB6m-}jpkXZqt={1Pp&*%y@F|;NNK@zH2OBe?1VXya>F%pD_cCyS=OD}
z<;t=CX#sz$<UPrsDks;rq=>gy{OUtQ1^5qyJ33#(<`Q1LT;7_<LhpJ|kSsyG#%BOO
n!jHZ2b^L_mGSc59*Dt*1ue|4Pyyx!-MliGjf5e~hS7`qS;};!c

literal 0
HcmV?d00001

diff --git a/bin/checkDataIntegrity/Worker.class b/bin/checkDataIntegrity/Worker.class
new file mode 100644
index 0000000000000000000000000000000000000000..dae09734857d5288981d77edd5943f67c182a414
GIT binary patch
literal 1407
zcmcIkTTc@~6#j-TtSt+aT3T*a0WWR2toI8=61+u|su)O(z75ORE-kxtI;-;FtN+1Y
zz%z-6m&Ew&FY#BXXLf50Nr@!Jm))5&=X~dz{l2r`eth}@U<nH*x)?^BnsDm3xZ?Lb
zC92X@TlQmL)`c`-FeEql3vM^KSG8AbQt)*KL-AIf3d<cTSLvw4(EU6RfnYdU4$A}O
zHf+cDoIpz9Df>plcj~TJeWbG}J-*^rJ+1;tCG&?US%`8x*SDX!4Ph^HRVytLP|t$v
zxoVMt=R2`mlGRqJ)4{UztCDZ7D6T~55Clqv3d76)+v9*s>dwYZe_bRHL()Po1{q@c
zLM0A{qZUjYF)_rDJwTlV(#YzvVTSAfaD%AfsD*CyFbtGkPdo@V*MwZ<YYoydRrVd;
zsBr1(eLHBVn%iO+>!d+sIug;~B+~)@3Kb-OwX{+U6P<weiOG=JPh_k4n@mgwUN24~
zZ{iHY<lmiYp@3rO|2p+f=L?Zj!r^$hwjmr<GBHC}525zCQ-Ae23pUP@Nx9>QrXq>*
zoqSxVXl2h^xPXfcy)I3qltEJo8a>kasfo)Bxj$p6$F`kt`;`WEeUE`PiD4&rhCZ^n
zQ@_ufZBY^{ejpujhbD>oMKa83e4HRl#pqwrg_M?=Rw?Z-ipIlef=;Le7QLfLANuL!
zHDw$0&KCDDP@LUGs`we{C(|=~$n0WdhmK+xqh~5i>!W8s0Sq96B*rOTjLLBgIoc5r
zj)!FQY66qgPOmhT7^Y}#5sfIKza9N|Fi1~L<qhTP?5S-G7vCZE5vLfwV!BM5k?HrC
z{eW|Ce}3PFQQiqba@62bn_iAu07JCX#IhKsbq*txF-j!HL#mkwzD+erl&;_^Azh=&
SIE+~Ou1R<ln5RG&O1}VB(`dB-

literal 0
HcmV?d00001

diff --git a/bin/checkDataIntegrity/WorkerPool.class b/bin/checkDataIntegrity/WorkerPool.class
new file mode 100644
index 0000000000000000000000000000000000000000..ea625e89f1b7bbc5f64ee669180b681ba22476f8
GIT binary patch
literal 3055
zcmbtWYg1cQ6kP|BUI@3PAQaOIr7c)OTT-jGl_0gHtwmF$f<anehj1mAB=@E_CvEZl
ze!t)P%};z)M~kg9jvpO=iR1Vi#C7fsBx%EpGlog-dF->#+H38-FMs@V{Z|0T@uh(V
zf$nt1N@q_>CC43QEqJzCiqE)S*77D@H)kLuuys*hlJT5$7UB=hEm~<MU|jZ1irh^4
zyCr4k;z_%x5(3Rr_JSi-$+H9w+^{{8-0;4{D9?s3maG!b^;MlqyH2{~d6uK%Cvt8&
zYdZ_)v=z;V|AW~`VB^?s{AoL9#V4i8_;+m@u^n5D3XBfaLv`F+C?@J{OnUBuC-YNE
zDl0J_O9_O=+<7a4Mr<`<qD`Q2AeL&zE$B4RQA6O=Qc+oX6Wh>5E4M^0I|F=#H|g1q
zno^!6^NDt96g9COI|RD&GHZ>I1*v9imEowUq@&1w=fHR@IPS~Cvm_@GK{s|9=n=TZ
z7pK;>iC*lYgav(D&e2Y8b`eV%*ds7d5w}W(r0ry_`5G-E*o}T2{Ox3epcp+*n`lPF
zz~CAXKTD2#o?OzY5<v|8+U|gfFg6*83q&_ej|hfvhrZ#EfczhV1+n@_szRy>CJ{^N
z+wL-PHx4tOi<UYmt-MRFLIdYxsdi$HYKwbJ4EtQtVnXJb0z()vaj#B+Fg5a23y$Hq
zf%^ouRH)R!n>c|nrhuHEzd?bZ#uBmf0<C1)nkePxEN@!Q<yaT(NjEKXDe2jIUS15T
zjLl@&Sua^Dwajt}N#-=M*E96fJ%Fuv(XM(nHJQ&8QW@szJUxnWer<tGL0=HqQSW$w
zg*Y~|cGB6ivfu|`V2U|jM|cg%z$1*T&So_h@>tNN)K$*p+FI8Y8aZ_(Z55Qw(lJ10
zdwezgqS1ZN^GXF}&957^;4wU5;BkT771=gQ7ZWKwxq*nfITYA%1UiDmtA$2j^0Ktm
zseC~#g<10Y6N%tyWDG3SbdG7CYZEpWwMse5D(G~4AePc#b0+d&ej0Ys_vN=B#wjRe
zZ&i8M3zmX3vlRp+=!7krP$&sB*<6&$^#ryJl>3ZdIOFB@L<=rs$-osRW`(D<T@%mX
zSz>goE7YcA%|q3Tgq>;#&zrc2Htp#}6EFEeWMpx|KNMPYZATluYT{*GRgo#T<fX0C
zY~(DDN^%eB>&e#%*HuO3$--GnW!(8<1aILT18?(<Qc>J?F1cAN9&}4~Q})%<GR-)b
zbi;jD;H&D6Shfxvo{`Rc&MNjLT{l}QB&wJ#_ui_NnuF6z1*?wvg(~~C!mnB?yBL$X
z+!Vz~v~I$iP56L31nE#5?iEe=hyn&w^zIP?=D6cn-dIi+ix#u}Q-S`QVy_pCfzN9S
zqXvIDaF%!wI$t8pF=lH6+I9El%<yMToU`k%&s(?)w(ZSa*#d}G-x|mbuAub?w0B>}
zt-w{>Huwv6&vu71E9m<PdpV2EcCTRHPuSmhIJAtTzhG!~-~PcLv3CUrhr`iu=qm1v
zhC4&oaYQ>f8Vz4Xg8TcU;cFOez|3nQ(HZLgcJ=q~iJ%cD`Fn^+fL4UCm4EH%K?erW
ziGzG2A43;T5zIM6S<yQ%$Mq~<rKfmelo1j$PUC()_2>-78Ic}6fCtHf9wl*>_Z*=0
z1V<ry+=GWO$%xN!zY`6syeMoy7<kygG_}HA+(==D4j$zwM3=LgCX8`KJ8jVc@4JQz
z4bV|E_)$dstzNRc%SX2@FkMI2f~O#TbaQA6cxPn=4!f7JwFBv&VJ*W*E~8ana1B|3
zuUG&2p2m%o&m@X~upVF5KF)6E`d;n~P|6s|>%(o>Uv+(V`TEVYby1)v9dt87jb{wZ
zHnwoWIxnMn&c6ug*Lqz8JIvW-v~hGv;5Q5<_g%$voV_6M&FbG3`P#`45T{TFDNvjk
z4pkxOFC*xpm8LyF(57i8DALYYE`wv}W>QA-9iQ51tQtvY4U$)u5t>*-^QY#hi?{cz
zbF|%0j=Q;fgzHDSa}Rd%e}@5#RH2Klqid={cLy44(XEnNjn%-AM$6~yD&bY&lit_3
f(16$R2A^9vdXJFa_kTac$6V9Z_X$437l{4~*vRa1

literal 0
HcmV?d00001

diff --git a/bin/module-info.class b/bin/module-info.class
index 52a3e4c6fa7d1badc5c836e8a7bbca953f78d4f0..d68e9cd397777f607a04a877e6ab2559723e6480 100644
GIT binary patch
delta 16
YcmbQsIG2&*)W2Q(7#J8FCvr>$05xI-^Z)<=

delta 16
YcmbQsIG2&*)W2Q(7#JALCvr>$05v)V>Hq)$

diff --git a/checkDataIntegrity.jar b/checkDataIntegrity.jar
index 7a1a7f55b80ac476fe46c72e9194d39d8b367dc1..36619df17a10a427b25a420c879ac37ffff8e641 100644
GIT binary patch
delta 16867
zcmZX51yGzzur3k^?(Xhx!GpVdaCf)hiv)KTcXtWy?(Xg^?hu>=UUJT@x;gjl*497&
z&h*UG)bvdE*I)0N<|Kn7Dak^9zyO1RfdPw5wAPA8>i+Q0bC&4e=MSoXo<Kryx_=9@
z;Ozev0>MT8EsTK60ut;T=9Dmo-%~<oSyzDe3R(8RvULnz%oH;`U@?ZKina<|mo3xG
z_XHI=T0drkw5LAgolv%HvdFJP0|TErAHRA{z4LGU_%*!j09MXDPCBTRB__Ih_VI1F
zj5-#&_B^x}JD5LClK)op<pa9lHCb!krv+*5XipqPml2lASiloC(?@=SF%5_Pdy|la
zszp~FRl=&n@{l?EcE-V0*Nlj=<;EsZx{RvH3WuL$lZgzQPrp(J*43@yp|qB{R(*+b
zcO|qBFJrTZkDF?D+3_LSD55WH@YxL2W52--LOW+wwJXB#ulj*P5m+09+~mW2`N`G>
zYxr9Ekcm`R8~_r2#KmcG!D_K_3*ow>PSb%_xmgRb>uCa0GObahQChJ(sxlNd!uqHD
zHEr2i%;7r9bCyCR(~w^P*)59^rv0Y3Q^sA=q_h^6$|*@E3SL9QL<{kYl_qmurbg!7
zxH`=d?Q`yX7fp8cisFnbO8z1>Q@R}X{qvZU<52_!96+H82fPX3oRy*TUi7oyaGW6T
zrHZy2+x4xKDANvZ_WU{G=evp3mLqYbD=7Wj9iSj`TZ1Ajb5z>XSjkr&_BRV~E2G<s
zQHE1*x6i2SC;*Lw`##!Ei*&3`e?rq*u|#s20IJxI9{K_C0L}1as4bE%%4@qlyMQZ{
zZOkX48-wZ|<gmvNThx9Oj^R(WJ&Iwm9|Vha=+YRn%<4MwfytPwK;}}P?DovLPm0tu
zETZ7dhj!Ch*9i~_i`7#C2Jat~WIw`0^o21BLV$t2L4tw(cUuA-KWGC46#H3Fd=+FN
z^NNZNyp6%a+2Ww6P$0!~^D$7w^-?z$><FPg@-V$e!iEPB_r!|m%25cNe$cw*+kEc)
z@nh8Cin#{tp?0^=h+Fz@1lx##SY=ld5+rN(O@se|yt;@i3|$aqt$XK%YSGBBz6wdx
znMP$^qklj=J`d|g@^ToU8~wAwk3ythX?Ebsu}qs)Q8mQtdhi6#T99`_I@xh@GBwZX
zQ?xp7f=s$eNS{Leu#zn$<Zhn746e&HPI-XZp0o2d_Dk}kNxWY2H~!06{5pPStVyke
z`1zfySSr;czW3RZ)gMA8hSzPQVxfC-+OMB6yjP`g#_Wo|HT9zb$|5;Kf(&qT6}A}-
zfe0AKirftrN+M0V6KfGb#MG%H+8?xaQT4A;w?F}X5{6Y{boIVlYH&`5K>vYz-46NL
z(ZT2w<Kaun$Z@T_<5hgkTBIw;Kg%wCeQ2Tv4hGipd+GnX>|lR=_<)kop8;C1TDpsv
zZ_EfCMjo)=zR}3w$)OWAMd39I1t!3Rn1&SMLL^w;v-0okvatJJ$$v;$8*Fl)S8Gqx
zusIb`Z5PWxphz9C4=;|iyXazeudmRv!yA0>N(;cnd3pX4aJBh*De#!-GW|S#%YCz#
zM-Ik>5{bDFtBb?=>gz>gI{;wV{Ip{88WmQRfy#J}zaU56C&^uYe_HHNU~b<y5x4EB
zx`ReTxZrNx^&RWv(e4s=L9|I|7mwU{MIPdL>r?@J`Ngv4QdlrT4I@`6cfdjH?%_!(
z*52Jxz(_B5f*8?iS79vSs!TjZz)%YU`_&-cIogz^5EnIIaEtKGiV_gSHGTI<W{{t;
zpH#pce>SWrS1#8&-P%{HzVe}T6E9lQt7HU&0Zofbeh~}l?3Z@S>Uk{k2`XQZy%Sb5
zhaOF#jt2DN2}I+(TJaWk@h=~{_^gJI!sD3<KLOwcE`)`-t~m0bd_U1BNhyXFulx)V
z;*cmL_$E=9x&9s}1U!I{jQrGQoxgDxJW0a|D|uEt5r2kEBFBE!F21W&sG|8LiO1NJ
zDn|l28DtAZU*|v1YIv$$6XCLhnK~?+)?n_eY={aqP2sk(P+BUUCB);VM_feL-vnwZ
z)C!2G48qlkhSPwn1hh8CYpymeD()Pw%|J8G;V(^UFq%qEq5_alovOv|Js~VSj^Z>n
zPkQNeOIg-(c_~mgAL0ulA{|+gwc7+f0s=5;tINn+!)S70DtdJ|VJctWeG82dm*$YE
znzOuZXV1Y!s3b93oyz>LJ!his;g-yJIHmLVoEu<T?xkuL&7=emwg_fh^m;KNN+vh7
zus`*wO-FMDKmf`VgFaTRP%vKR1gVx3T58tf>ZFD@XhkJJow~$NY0HG$Br-IW!{i60
zug~ru%25=zNNw9Y7s%#@4cR#+x)$h=TruPX5}wEw{Y(jf$F<k2@aX(@O(x<INu``4
z{+)1ntil>%@q{3GZ~p1?_a*{T%ucj~1C8pDIKvaw*;qh8A`nszIMpRLz{A8H_C4?{
z6~lZ)jrGH!W)ZV>la1)aij9kw=c{h|lrDAZ;W*t5G$vJPgieT?N=0xz`KmH~wJ~*d
z$$?pub6sYS8IS7<>zON6x9gU?GYJTFqjU#4VE!my*$LgAstv*X^vvUGF^vtV&LV4W
zUFP+G774&`;jc;kWD2AEW^Jl<3l|LA&U3ENFO%cI-k+$=2C0r<UQW8EA~xES^BHHZ
z9<2ffmLb(lg{rPKdW<epZ%@+rgst0>s)UnMzAy*7p>f6yobfP@R;yyiSIl)vmbPUv
z`cX9mq2RkYdYtGNJm#oLeK(LO29f27WwnEi!#w~heSKY9Cy<aHvWn=uZ<Ed)L@u{t
z+N$21?*wejIPkjUM{AD$UPIZZ(Bm5M)r9r3cNk+MW66suAma7AWG;8#wJq#fT~KP8
zi3&|T&!HbC@{TYUqq2E}DQ+%sexWWw(%6ZwwHLC2l}>e-`a|_~7hY-krP{T$w#N$<
z{~<sY=<yvpC*f9bvh?OqP1?M;^Qkhz*W=r@(+fQLob7ywfRoNz(_Ds?^r)X#%IL1k
zw~B>o{p^ab1Sh@VQM6KpqMXCRm>}*{IjSseZiSAlUv)CzPzr@mymhB$EG<r2U~DeL
z>NnhiidSE1zZ-otNr#MealV;S{$$qsGd}{rJPHBYn~T%sF5ctLHWcKnOwLOc*t?rv
z7vK)4p?i`spXRdDz%&37x(U+|G_II@4tAh>l1S&+WD&1PAuZg~@kn<nx_^KM)uxVW
zs9j~bYjUw}QtrMIVs0nVB_UX9kXWD6rfQ2n3Hp`pd|ZVB4Ai+<-;w`JEkC0IRr>(o
z;B-8$I50Mz%7j=9wXp1zi{zinBT%)If_v%6Rg#9ZlD>vKo|T(>l&l5ifKuT6;*Ba0
zTIu{K+o36`Qu@w=09j_GWrC>`95DzBWemLZO=+eF&C;F<rS)ua!u%7C?#M+AC3(ME
zO+xnvMOE_*<%?!@l}UKUtD~wWd0GLSI>4-%j1|l`Mql~Rrd5tc)NWFf2ObRRjbEyR
z-PaD`?NT*@9j&pBw@r=e&7+;~rQG4~Dz;j&cjLxFQoQ)gr5>n2hE9!+VVQf$$b;Hd
zLuM?IeR?uQjRacGLg;eGaELkzG7AoulfYKJY<0EWWZo7A5VRhXhng~j8Xdq^GHV^i
zqqB9)E{4+?_6G>qa&K`)c4nMor2UXgqnC@KI=Xs`>uO`Zt*Ak-I8%mF74m~KBX~FI
z77Simhax`%Nz1HQiM^h_yVVkUBnM*ZDSo1)?-Q{ksiw`)j^8&RKNT_e`p&WnYmRk-
zKZrj@JT(?gCCOP|1`GZ>$^n2I5tAETmO_?ws>IaSm_YUy$iog|F#vYq>vDAOr<fl$
zkDvtd(Asi=cd})gwga2iv!5Y>5rK8ZADG(l$4|%g(6tr?0+uf85KUIJl;ea*0+yqV
zbR03p*_-+1*UdB)<~L5!4wxh-vPWO3zjwC#5okv5rbA;lmN`<+^veS_)q6Gj<MG`H
zhYY{^$wSl{Lb!_>iRbO82&Oy<ZctwAIiJ@}wKm5(9L;eZ8L>_ct1L}nwt&$)kuvRm
z)Wpu|*Y(E7bEL-ma<IHZS~*C{u`8{6x^hRi7LV13-^%1k+|THNexVyx;K9Bn^2#*W
z??G>0G@nc=rtd(#C}Rs4;A0Uo*pS9;j-L{r8oyEKh_neUUH9q8=<-$^vl;DtbiQ)0
zR_o=I7Kg{!$TMsV)PuV$v{2mThnl2TrWBZV2u^f>=gF3smQmD~Wu$<{O1YqGmz@#G
zu>KIbJ6vmHkg{@go`m|*B4G+Nq32`2L%813h8nq(Bcg&zD<}kD+&vb{gu=}JF#>=q
zq-d8qAfa_2dTwpK6+;s@BbM9g&yc9qd=k$+BoU<3BGsh4zIk{tInL=hwPy_p#S4q+
z+`KpO(0bttn4Zb1j_9kCL|*}b@mhp(+bGc`f|SOHKm+P|QJ@iUU6oxjrkK1rT=XXq
z2!pNYXH2F#%~Jrnhchv?n=@Mk=G&d|#jMbUQ_I=Uf>ceNN0N<3H&~y}2TN?upG`fN
zqcM^<opm`B*X-Km{`xIYUvCuPPe#3YwuVXwWS_c-r>}jx*{N=pq>;gNNIzrB&h*Z&
zAI~e03Fn{7<d@-RJYg;e5N7HHS3IvPGH*rM&`6R`+l&B|$%l#D*@Ov%iEEdxJPN{>
zG;eVHg0^{&TVT8UudHs8_8%E$kMqAVK0&@oRWTP)zkmDuL+oSx8@91hn#h-gVFOj7
z3yB-rM4A>0H1HN4I*+kuzFmL&nn1{J_=eYRDqeiR4=W?1(k&T07?|>7`vbnu9un^2
zwqYusXP)H%YT>0XE(B1<+aI#ei2ApGJ=;hs>!@n0r}cbJPu}1B_$lb+xtKBuIk%yy
z*jXB)WToOD&nEnAtue{jVS0bQvGF66PG-NQAWg(A&3=rpDmWk>cqiBOrK4jKEE2tt
z@1*MtcHJo5?i;Hcq_rbCQ}HT(YjbvS3Usx!HO=9yzV6N_qKC#r$y<>nCMCi#zjG;C
zQRaanF1vK2fBkxv5FL#VczIufD;)elAh2)(-Hc5>GT0b3A#2YXMj2^Z_K&?Q!X&_6
z2?qw|jQM}<U0@nY46_ioxBKI|LwEi9HlX_*j3q!GiW6Zz8<6WVUi$-l8QCSzzMb?@
zZ+;e8e%t*71k^w!<{F+c<uOOWVN1yyk8_GSAv#`#mkc3gvuSsKN+eC=7^`JlHZ63=
zIjz%=sVEf(LPOz+t|x5(D^Q65(7}3bmGIkZ;G#oM4&tR*Yk^lv2ji|d7!^2T;L@`J
zZBM;>p7H23Eu%9`AUj0^eZEJO32@|;O&`(?1Ydii_^8oDCnC??kudu!YfH({2=8O%
zIK!DSTFaJL{d{46*(S>-5P~$E97~gToK+8G$je1l(Jn0}q!g`GwlY0nm%%Zz@R1Y2
zIBbiFT0W%Alv3+JJ}H7OB#$1)=(zG_1CPi!ksIX-k;nsTd(Wje4X=z&z2dCEFf;G9
zBOY^p_3<Zpc0tV4fd-2-gaK40^9s_9WsgZnSEZ(-Gwd=vx_)+hcpV&UpDc>Du~5-u
zI+h8KsDL_o3ptrNCqFm<(RW}1T_wh-h2PcgD$cwpLZ6cBPH7r9wUU$hx8Dm^jrkKn
z$dt)i3r%zu#Y?;-f>myw=zM*Uu&jr?OAr|jDcZ?GJqtHKBhRW+hxLbZ8Ac^rgZ`lM
zb+OOh_($E%L<il>S&zZM=rD@AnTF*#MI6y+El1wPxi7+yzWAd6?Go=@2Rs7a0N&KM
zh+_*jn;DU9^OMt(0q|0({G>`TRsy>)@LRDAF~dCyxP_Tkbf=eX@vm;Cn{mM*6tFMt
z{;?yG4c`_crqCGr88@o^pQNC~ZdQAlTU??pwYERq;hTzu#>DGOzl&Va4!J9`*5Z4+
z29_CXQ9YdFxD0D)bN5E(oG7Y*D+?%C<|c(3Cr+8DIT5g@GT1mb4N$=mGS|xS?@<iV
zcTky!*rxvKjS9qsvf0;7iMIRskN39d*-(l5+hOK_{{MC}F@~Dbx(dD|ia-H;dl)A4
zE<CprngK~$+C3B>I4UI<t8lF?L60+u!rrWPk8HA@6?3(Zg#L42$B=rs)S&t^7ywA0
zlpQa#BDMe0Gb7;Jc665p?8Bf0*9IPAkYZY<8Vxvmps1-sg|MqbxwW*LFcCrni7@#A
zb656MeI@QaO4V;UTjBSm%NUmlM{Rv@cGG4f?yFx1X%4m=k>e9H+J1CWrq980WE!O^
zNv*TfS9FGj(1tt%q;IbiF{o~m)lM(`%mI09k)`#YW)ZxAuK^?(MlVk)6mb`qiF8T2
z^21Oeg^HP2DlOk|5$6$1B=exRB$EdKFd~<sz2tm8V~%v|2CU7Lk^6`kN~SnS`ChpY
zXnLdfAh!v&0rN?W>YenE3WTAvOhnybf}keyJ~JJKfzfk+vfGgiXu+OPj@*1qCu;6K
z`^GL=6?8sAc#2F~b}U363h%k#btOWpr&Nh|%lq~Ci?}^DP;$V!78&n!3wk(U(JmxS
zI23_QYlzUZcYL^10~m%0iRq)jcuf^;6SR9vV!5r6lFR$;LpwFpyl4&jLaoe}_-AKP
zZ^h%MKtVdsW!@#+xO~OiyZ}6+*|Gqb#g(7e%_i)Iac{84-4`R$v65Y)13|^#_hn~8
z^T0KNq&0O&*J~eb>(JM&P3O)4q|IIJ!x@{Bl#Q3-U6i~(I5>|7Q<FaK@Q0(9d`vx5
z71TBz99_zt=at)HyBIzO&;f)1!3J@D3i=4tmW1kQDRDg<Miwj*TPH|(pb@aK1odz#
zD#rxl5=&;`H!JmDSgU9`egUJCB5xLj$c_&sTi|S{Bi$O@oAjAOJRJo9xbDbDUeh$`
z;ZZE@!HH)srb}|Yh4m3e3cx_n#DNIDIsT^yR^3ECvlENMb(#y%27KbDqIY^ho}Q9H
zE<qbmwV1s5CANA3X}_~YSly4{iJ%GXsM<0L6FXae%{J+=dYrs_xY<@2LIZN=W$7%Q
zTl*a*d*dL%of_6yYAqpCbjrmwu34(N&L!<9l}4&6dE2rfohP{1q%FoVfSg@y{3D_`
zuw|xR!)r-n+DpWZZ>c#^{<AzfXdYC9GJkxCBVM%fQ}NGTvEHe3Qt?~6LO=e0+Qp6I
z1Q-%SPwzqrN3Ng}m%g*pl4xt$9NZKKDc%?u=5tx^6(GOSfU+2AOM3+^xh9r7U8V#q
zn6?2vZ*V(Y_GL;q>3%bxf-iXcl~RNBO?mYxAY$7O{XfP?2A%!LhM5Rr`JO|dbwPvj
z^H}iFs~SdoBj)E$bOc5JoPYOT@pxy~GoX|Y#l4VhQYl7J05#3!l5O8MB{UDSo~81O
zYUUxwjN!;i=*G=4p6DPieDdwQcg&I4D?-sJfm}g<ob8K19%(>F3_&suntA~cs=p2i
z6E~#ez+-RsxRgF{xZ?~iLaS?X6KR$F5!i3)di)LHvGRR~8nb4FslQylR_bT=Ai!{n
zE<Y7?k3Zz2h=;3N2nT7r;0UX!ru%l#ses~|SS#EVo<e?^khsS%Itt{9vY_L_eRvZu
z41sGZTy1Ocl$6BMMxw>xodQ90{$RN#-+s_Lxg%!7#acscHsIgs5C2i5B<7M~Q{m-a
zF~TLqpW<88_)FO^GMU_I9N?L!2Y`)0EdMOrje+q}s&fn|lH%bQcS(=}L0o7%LFX>U
z)M`}#gm(2Z+eJWR2Z7%c_GPg$xFy>cfwmY{!5)ng$5DcHmVwXdm!k|Ot!nRK_st^!
z;RCA+0l487-eS*Je5YBp_iyEatoXxbRRh<wcwfV+WiX(ZlneBHL)N&96u4+KsK;y?
z6hvsTEPV;vfn*QVeRC=c4{C{6Ia{RJ?d+u|stX))WATCZ17Gdm{y{n6?fRy~enV|3
zAO7A_CZ5(>z*{_8a7iEmz8hZU$T+swZ}cte_wNrT_uE{70Ru}+_}!=ipAj`Q%3A9$
zYz~YPs6>JVP;z##a5l12bv1G|V=}Qda&f6rvr$AB#t?wiX=1EULP7N*fm^GVxd9g}
zr<sN+lNq=c{w$v&-9B@<bH4CxAg3^#3JqQG3G%1%Q2RVo#X?~C>PA+5{bMGd%hA^J
zo5>Zv{}+bUV?&%9y1sSoopk1p+KEXuUvDd9k}+$l09Mt(h>>|;f!&~II^?nEls=$!
z5Gks4H3y^)>G`Oa5VsD8pWB7zk8FgFHWjiN&uX*D$J=^ynz3A6Ln*wme3b#F3rkcs
zSAjc7gK3tI>1qPaW5Dad5^kkuE9u;^SZt8}9h<AU%NZ@p9gkEly+{ecij>50Ly#I|
zmQ$PrAR({h_~V{urv}<7CbK%!O~f2%(XIODF<*9r>tKm|ELQBu=Y#Ucv>D9S+A%8y
z%RG^Kim~>L$zP&Fjk@z=$YTvZeY1IHhivm=BlhZoB5_Po$B0@hvEVQY`ub%O1?&3`
zq}a|333x(kO{ADqQNx<u^ot0QOfw)lXzbt=0ocwp<b(J~x^gUX#8oRYfux;OXJhEH
zey&Jq=6z!Oim*9Al~C=Q3yH&i4ttZaAwugEgNO*Ym6~uZo(ET!=yrs%xh{zQqr<GH
zUcOe!Tg0mp{*}@Q$4Z(54c~T0?t;+p8uzBbKp24o2b;2V!ov!F1Rcu`E8<_xK~ca3
zz<jWdG`}GZm%Khpr}oO#O5n*dkqqIN&#PdoBti8AA4Jm3!e)jT`k!ha>`bzEMZ7iX
zqC(gMh7i9=pSCK{eT4T_)<HXsOrMJ?^N`D6t+VGo?tvBIG#1~o*sS3`i8&_&ZLNrR
z^O;^4_YlgQ8(*{ky6i#eY^Q;d@=M+N3b3TW6F343Lc4jdr*bS2R<<0^rSX6`g0)}}
zZ5&lGwPI^~a17X*jToX$g$4NuADWD>5QZ3=?ECj2(frC;Q&M51g}k6SNlxtTR%LUw
ziW*9+xY4)$ik#yAS-LWuBZi()N;3f2PKv2|u#jO=%tiWfji|cW<jV*?M|egtoe0h)
zZq6&s4k?ilbnIjq3x6*GmXt|+SE$jT+hS?CgnU}W3+$gmJ@1AO8R7S#F8ZHCJum*Z
za*2|V1B9I|T>e#`Xti~Pbs-c1{7i0Gdr~18>AX7#O4bx1*_yltT{TV>FJ)o=2E`0h
zafDt4yN}_3Q_*-l^}Rgenb>mPcCNU<@R#p=pj93Va|?@~uhXN<U^XiYs3tg7oMLtW
z;A@BNtMPK<&w{=5_Op{29O%a<Qf98!PJqr&3hNjhi?HUFZ7oxr^2{8&=W4U7<i37N
z=*jhFZG_5+xZ5g7<ys_$9MW3j)#UCmr4a)OgQmpsV8XpM$5XOsK?I!RVG>b;uJ1qy
zGeeS?ZwnF##{usBLTI#Qn;dZx5k|Sjt9!n$xpW(L`gU+>t*W3&!b|O2J`QWYe!wlx
z5S?aX5Ywk8g(t+4xA^v-LQj2^kMTaF<p_zSoBSty0cK%izSBK~8y2b42DqdNbgMi1
zq8dU8{46ZNxFI)06d2s3T}__AxpDWDXHhrBg`X<B^`_~Zal-`teT#C+N+Ea2^X@i#
z(Ug(N2{G_<vE}ub++9cQ9hixuvH%m<SXX}2RDKKR^``UCIMzFk?@_}88Ukj9+?P`u
zb;w!1$_O3X&h1+mTWW(&59?K7)vX8{g4W^kyNkLN2YmL;{SrWL{SU(_TeI(;<=?p>
zVHv1yqDV`i3k#|8D2{SnxxgV2aJBmz>KY_)qw4J7HH%0s_w`xj-j_SwDgmq;mlrb8
zDBM6aIc6*?mY3saPK41_QadSym;{bbGQ~-9bElyJIMwk>6u8uB?0~&Co^|1&%rnE4
z%wrN8^F}0z*b|Nr)-`ktQHhb+E`nS~c#!|x-ma&@U^K0~#HDI_RFzTST~u+dSE@`p
z)-Qd>4EMAd4ryuhPXLl10suC5IpI605l3bzG$3l+c{5R*D~0KuwN%I(bV>MRoOt%>
zA?zgtwyKF<ZdpC|X0FwaaiP5uQ7}p(bz}qO<SKe<rxM;_Qj>qaHCzbw*b!|u2uen)
zSN5I`p~55DZEr;hxir`glS6$*r9AHq;*UmHhU>=f{JxXie>)L>MT8IHeyhX=J~=?s
z!P&;l`Cp}IRMYu$r@VzQRoY?GG&XEhLg=qKf4Rbrpzw&KP-l(9^TkiD)zfxAbJaNL
z)qD@?_P0PoWe&etHQ1|BnzpqGs}(~7^<QSX9A;kmuy3#adie#i0E<lhG&{(0t`@A?
zK8R^>n^-EPX}22d^96nGTQ4APWoNoo??``8ze=We85dzNgOiTItyH(DicIveUg$&M
zt|=`8a-vQ%;kF9|ZE(pszT0+LtNuaWRQ}y@gw9P197WOuVZLcs5~#K7*FqJ%cUpzD
zQ-HtMq29DQJOcl6_-1}3M`RXPa*;v2kBhhyWkl$1CNq1-Q?~#TcOl@?cH?eY908Sr
zVSu#<W%OWNnT4Rya4#%eIAj9+bRbSdA_b9E_dOK70WU`DSOQrTFnT}m%g{xBM7>Lc
znh;32y?f7=QvI+lEULaq)o)3Cw=@$U22Bm|aYAz>`mmymhb8JgiAwb4E16ETfhif=
z^&WS0W;i<nIzV$kga{Dq_-3P)J$4}bN<19Yh`3vtA8y6_lGAshlhbGjVnC$*N-(QL
zp<E3dc&^iU=m>^y8A17aqN@UpNVz1Mm6O^s5x05O(U9Z#S_JLx8ymnGW<>1~qThyF
z;vV~H?GZ)i2J$3~uiAZ&5!c*}QX#Gn^+nT_w9Jf(zU(M6e-^-kR}d;=IJ*{cmmj;N
znP@kYPJ5o$%~Bs}x{Iz7TT=WOw>5Z;WGBvo*LTvO@AZf(^m$IoFp4Z#gC~X*{@c<`
zTvXE#t8jEfQJENvbkpJ%d)`&d8y`+?bMbAuv)jWyR|uR#{7-*X1OpazG7FDWLh~)q
zMh5YAlTo6(NSrDIXUjry3Z;-?9KSq65NTaKPH_|}87r2GeDlt_8oJmCTs7Jp=WRX<
zSy?;PuCgIhNABJ~_IuipFiGL>jSYbM+t^C}V@GY^vj8-7R52tm-taU+^dyBl0`o0V
zjD$7OU08AUoRyc)Ap$VbCkKt1^t8<_ma_GeHqbenEetBv4i+^{pqxFW4tPG(D3+-y
zJXYfm1P7~?rk~Vr9{KoAEgR(Q#&!dKAqt^wYg-yxem!d8`+Q16eL$a`BEm?)7IWRM
zs1?T2pbz+J&kH+!^CLWb^=v~OE1hO!;)P5~7oA8kvuHUACK!&Q{~;r0*?0Wrus-2O
ze6Cn2$9e`ADJ5mcH~c4iX_?E4Zv}yYj_A_tg^-^=k9=2$#301I)m1qZU1QWEm+ZV7
zc-9~}YRyD|h}{)pJd#!a2p4`Dr^FM%PEdIuKpO<;aD|&+3;vm*0B=xA8q$8oWW4z8
zj6(BMMi*|#h*TU%8D*Y}fy2h8B$~!}ZOzVv-PW#geI>ApmBY9u8tdG|@_ccZ(Q5a{
zjfzq7cqRK8Dy-c}k6Q<>B;2odHe6+wz?N+t`l33)uyi}|FM?0Xq|*2Sx`wG$-__KI
z3kwbb(3%rGGSaL%D*UYH-})9IWCYXTKEBRX9NR>MQYy|4)z+>vG1H+w<puYP1;diO
zFNnEOMvx!Z&y3HsQe{SSzu=}zQVrFY-9(ybi{3vtOu(Yu$7m<9+0HGZewF;B)__&K
zC93E!^n=@K7b@fpQE0^jm6_ERbr)kgg<tX%VCHh3V&VZ+qs=`yQ!fa+jx%6|7J02V
z3csIl=W^7-W{GW#(}xRR1KiL+ZIl0HmMVrZ6`3C{J;)MKj}^8##d+l)?ZT}{I*4Z1
z)LxwYVtzNP|NSOJu-VexmJW!gXg+K_V%XRBq^f7*MXJ_eXrhu*U!~%pf#D(Hkqu)4
zNEKP?;~@0PYPSI8hpdQYiPBB>P~tnBkQGGC%;l4)C8D+1g5b9DARzR5rtZ*<6l8WQ
ztSDPmacqaYUC&(6^s-~l^1rMJVE3y}XgemKcz#Jm#O8snC@ta7>7hSQJfpx=Iy%Xy
zb&NK8?}l%~qm>mObXlwrrgoXM44Rz>B<ZiGC9Y~SI+bVAitAGqp|W234AE+MNyw`A
zSP*)}F9&m`_s%!F5vFv-Z@Z_cw(+MwF+k^OuSQKVmz4ele|2cr$(^_LZc4^+Tg%{r
zyKZz_A3{WF*VNp60G#@J)g#*x43paV+JZ=slr=MvWabVIY={^2UQ$Cyy|woNzLH54
zld%i(cB@A}U8_L&WKB9lKFjbT3A!N_tt1w^_80cK_1|wOyT~RnN6c3iy^E6VanBR4
zTzK|)j7G|Qxnh4PWtE7EV=t~qO;d?!uit$_&W-Q#FfY8y!acE(d|wtju@a{DbRf6E
zK*WG@9eBl_#Uj=kh<Tb7KaXezNMhAezoGN`<t{?I&b5ad`@5f)G~1mc5#)9XbIr=?
zPsbDH8Eis(ub7In$Ikw+gpw%{KB248RBGV#FEAGfG?7yJFfaLpaGPT)Y3cgWuNOAt
z<8k<VSQBN3Tz?E@hx^sr<BGyV^&4drKSe$f`Tem)p_TPC+Sa~VbDH-fpgRcDGfWDk
zbOdSZ7uCGJrPudrDoMLTnl878@M^hEzLQwVlsl~CF*4x}VyU{zP1%AxmW<fKrQ0Q=
ztbymZ8gZ+DY8%mnbESuRP$6|e`Ibe-TVs;V5WCdeKc=%2AH#mmyu!e1JBuZ^U4VGw
z<NP~vqMi+jfjIq%E6k@Ha0!dIzeI7skRu$Uni&%{_zIBZ{{C%F#>e~`U#eAl%#IMI
zc}avjCin%0xH8z$Q2>UxDndx)X+SGykDc8wh8baraHD@2FUSXX46uz8%lH1<Tm1;*
zL`fAY^ZUe&K={9>?%z%;AsA4Zgcwkz@%j~i5c6#)p|h^eir~lyLVj<CVx$h8GN70g
zj;hx^Om~#^9v(fn@}RaMxq;qYQd*9-M&)IHHo5pDa{iXaL27PE!*1uJ-)`ocJOR>U
z%s#h-4cb)ik>!y0(Nvaq_v<F#k9TIQ&)|*_#JHAd$0LVkO*0O(^anI)KWqV<DI;1<
zCL|0qTsB#aXyW6elnRQIW0h!@Jm!2&r<gE<Z9`CfzLyPAWZyK<CoNG|;+hC~)M(|U
z9Tw8*WC9)<G8!X5$reAp>fva3u4Atx>w}&s$`UQHR`B?M`c5Wdo=rg6+u7NGA78#`
zG@U&`uR(EDS?cM9ix}32Gp+#WX0)654YIGDT`%8+3WTS=`_1*pL-0XrgbI8*`ci~y
zMk}&w?z7y(SYe2t_9KZQZ6$^f0>2(}8W@AuD9dJo9T^4I%WavfYFM+SrtHod@0QhO
z-lt+eIz^>$OnbrGO5>i-8G+;z3%<>G?P1H}YoY_(Zqi?F3Fw4ahx7-eId%r#h3GZo
z3=$2jEHedct)!!TWYmqcXItbX694podkkyNn88|03>$D*S9JT4=DxOihy$Oyg;!j=
z1F0GG3Vlh^bxJwxj?V6`OcgSk7~cOBAOz$ikBj0=N1#wGz~y~W*!zi>xb4dlK`zCn
zHvAzwdegC~3$~EnvsDnVhv2~+gWuxa+EOjyk^l|y`r#6lW%|n?1iXZRbdmrHd<6ey
z3t;2H?!c>8iq+;t9>GyIT>FSY2QhKXI%e=OoqKRkBV*&CL*`4Z>&yW17rbmYJG}>7
zbWv{k_VGmIK~&|&3nU6d(FMYm>48`lGL+FaOi4tKY$2aCxn)HFEcQuixD(Thk^-GQ
z;$ueY0OWoyzk@0<;;>2^K)a3D4$cszeTvYgZK)1Ir)Y}(X47IB%3bdhFPqmT9aL$F
zUMTs(G*5fxsvxuo8qy~@xqy3D%ci*6v9_~jG&mk~&y{Zxrc%uda>|FHHqy6+>M{~a
zD96M<sxtZ4R*$y<ep~aNQC7~m&0NHVtIR8A=@|D*4SIFz7Nb|u`5%`3>nFAsKc>-u
zl)**O3#DXqAY?L5b_$IBotvD@)V;|C&@G%|wDQr#>o{!-TU;ic%sx}iVCK%!NTUki
zd>@wosRntdff4$H!u!{P=2V&9)Qg7gO`!oT-Qo4L9RD~1z|`G?!V{^R<2v#HdRU0^
zg+6=mu`t|VcNrs;uil5*Z2<br)u1TVl)anthQE0=%-LqEX+CIA9G!XhYeTImW*CFQ
zk_vj$*gU|sqkpjZ6HK}UYWv$qbY_=l&a+#a66da-!}kFvWavvzBmmb9Hd1p^M}pXd
zRSx5?$${-gKv5YF<uCK&ZkDy#Z}1m)_N_uja?3#l@Z>b6<!PwRduEhh8SADewSjTf
z@!q<c&tvstxMjCY#Lrk;tk+zP>6p}ZN0mBpZU#0pnGJOduZP^FU!j=vBjxnk&94&=
z<Wws*v)ngDiU@juja)HPNoM{pX<$nn>BsdEgQyv6fWZ)~4&2_4Y7_<gJ+lg^y_6B!
z&F|V)V^)lvB9vU|j~g;f2GulZZszA@--vqwFf7(N)knZMrpQE)R85WLb626odSFjB
ze#A!4`v-TQPP+K+VutVbQZIDm&zPqs*t67X)9pK&bkWehl$KZ=pN6qfTIJq3NM%eS
zvC_3l0FqTgKfKa)ZU}8js+!u$qHQH?B|l75P=nNMWxfJJt`8_(<uq#TVEL%AzuVk5
z`0KFCuCT9e&M&q4uZNuO73^Mm4u}$igfK&s9Zj8eTD%RWA!0O~mIt~#?`E$keyIqk
z7kVGE^2g3Dr5FUD`l0VCVWJZVNquzG;%g7c1Xz=&d`hro-&>Kn&2aqGv<tow9C~7&
zlV5||)^9NzN<C8p*;RlAH?<>7_+;V{=6Z75kK-35N%Pb%)tlc*y5>vpMGhS!!L^y}
zjwc_wt$QbV-N-ODAZxhH{pns$@+VoeJjXWC`+x`LS&d<_uRD>rlNIbH@Mb2@<4LLG
z8K8uz-w`|vm8odZs|b@y-Nvkk=+Nzcr$07NJ0=+sD5vU=TYgV^no=?wZgfuhh2U|Q
zWOMJV!R2MeOUo(nz=|+=K|>rLw|H1&b6oLE|ByEL#*?4C;>mL}cAH@j%3rrwQTs)J
z(g+o>fTrC!0^8cybf>9ptZc=uKie(-697uj>i0VO+-OSa!gu!!5^ILt2z;%L%|-~N
zH89zCk727tlhL;bf_)*;AGEnwB16eBnaDNA89Ga!ao927*p}PAil2J*`l%F~a{uJ;
zGi9k2pQx-+!nrg;+;~(aYhSYKU)Z;kNPX$Id(DdU_nioeLjEt3Oa2d%E8=EuZsx4y
z;9&bdK$MD&&AbwhpTazod~#Kan`(*9kwEx&pS%9C8Ja+btx`4J&so`7?q5t)Ovs*U
zI(ne#_CED)Q|x(*xUvajjkNL~`7(LBbiMz4g6gqr;iW^cF*b-e(aXMhb)urSO6|P)
z>BFCV0-^|aRl`mH2>8kQNJgaCAz1)P%NDXWu6vl!ix^SQ4^OU0Q9ClPHk5|_?MChL
zS(&WZh~G2cx)~?Rk2~BmxkPM(pR@MUU30kZRX9ylziozaeHOUry+R$e8w1NqNfMh;
zo>3kw(5PCo6xYyFr_?AWPZ;Bw1;CncqAD0cW5y@-Ar_h+5wO?=CU0pO=iNlyWqb_%
zZby8uM3wNO-k6nFb3U!p;?D_TE{(zJYD>+%y2(hW7cw?OeM>{k&Tz-hRE+#oDOWV<
zd=Gz~cZHC6s1CpEm=!1X%*L?(Zq3_{VE%bjmGmlDrqC(VSykO6h&OL`&`?YLBKJ#)
z9+aEf38x_%8$fXcv2TI>9d_vlIfI|jnVxcsSV4Y3SQdn`;t%B6f-hN18{`Z*g$r;I
z>eZT#A&0zEd%DtFjHC2dv%CYRnw3{A+lCGHyDq-NzOvNXc}v9&B(gxQ$in5ko94RH
zMd-GMcCFHS;^Skjl0`~gCSQ9Mx&xEASnn|U>6oDOL8jk)AD@$&?-I1q%il{~{lNbi
zRZ$$da6f<3bPazam;X!CUH%;j_y@IAGjg%{pUt9a<A|?``Bu%~P3ejG8Eu}Xrfm{(
zQ~^}jK$<j<u^Nq!zYgo<2*iOqyVu^*T2t4k;Gp6tLcyj<l%y^CCbW&Sb}J>F$WbJp
z7boJ`P2Bx7ioia>GH*Z#{bQ4Uz1EmAT4K%nVZ&wmH&^#6)BA4deX0`xK@!|;1p}jN
z67%Ko=_16zm9H!5!4{DJJK9FPjDk`6*^q#3jV%Odzs}>+!{&>~2{DfO+j&oGnhi90
zX*z3gYg6coYvd2e-7We7QM&~fp_*xpT{`s|;sC3wDQ%u|R4hQwM<Pz6Q@`kL3&`lH
zx*50j(cugiURykg(Lx2N<ta!qo<f!Hh4-?2z;m;Nk+u$xVIhNX>ufT)$FA#7ZXU*&
znwcBYU*=#73b7b}#5JEGu4n$Law1~YX_T%pRgwYf9J7hJXo_CLt*}ekjh(HA(J)L3
zNrG7Jnk04AjWmCma)n32Y#KoC#0D9*#eBKuAHP{g*q&T7*O37rc2)!JV|TnNXTNJ3
zZZ1~M)MA|-L$9+6(96arvO9+!(5Kw1iTakm;Yz?S*;q0LjrNFbHP`Xl_drLqLor#?
zt&Rp=-P#TlUki+n%#}vBDECtZ3}P0$b-;guwd5Hc<Gyq2pk~#IoLtG@-HaL*u{dpk
zk`9QwQVG5&#GL|s!A@dO)xB)TT<6%(#(hRp;I#)vl)I?4vG$3bEX*kTNfpTqU#v`_
zSTImu#L^zQ%HHs~o(nY#aU0-FO{dObTy;e;UM<e@HE$M6cr_UeE1c*1elgiF)=vuo
zlw8D)BK$xcrrv8Bz&_O;Df^!1x?@iWxk8TOC<(PjZ;1zJt1NfEmS73%#Jj}M`qB#|
z44zdUUq5KWC4Bv!b15zR0SXkJhlEIsqQ#5<uo=R>XRa!j=+hOsRuupB<OxMk?&zi3
zboRBrb{}HY3fV|Y$O9F@NQ{cZOk;RloG#NuX^h?3<hvDoJeSDya40X@X7t3n)5$Z!
zd|{v_U5EpKoFH6H6T0Qrp59R@lp6h0A==mWBkAIrg4{Y!kG|$xHsPx!CmeLKXjV41
z412UY0aSus0X#w8NTH-o+G%#Gu!Vw_6oon@tSAI0<#C|v*Kq@5067FsO3AO57{w81
zO*``qe)t^<!Lr@A)dtmvOWYqD?Pl`xH?%(5Br^B_Xt>tQ;V`YcnYriC40Men`~eGB
zA1q|HE}pdWv9usIM8O&m{1chWQ(Qc)7M~=ulg)`>+4&NkkMwZ=6I+(VjH`JRKXP*m
zLk1==-=J5MlYdOxZ8R|k#8$ykef6o1{{hxVw10U#rt{bL%E^vSSAMEsa*Rt*e00O2
z6n-`!&eB6A_o%$?q8z1Q*J{h_pmpI231fm4c7?~A!v`qMNj(0mdRzP{Y6AT^x##{M
zy^XMKjVOMUhguS4w6D)ti#8aSQ&pcTKQz(8Y+t;&$1*vBVB9s%&7NGmUAAx^0b61e
z7Qrpia`YBqRC~$0b>E(OREfioFuNUptX~+AMpMJ@(lI?!R-w^fCd+1vB_NjG<4MTM
zVDb}sBhW&-C=fOI(=~K!;GKV#J3{wPe7A32vghM*pr5%7WwTvD@I7JmS$zk7tKc}X
zi)88m_BA_V4SZ#5OV9;@^KcceVzRYoiqT8;C(_<~mjKD59BYZTLdTB+DYdsYUV2{v
z9dYe!dt+FaX(Q_8zM`56UAUN85>)Jl^=9Q2y^5kwlpqQ*m~JXIvAR}GJ-5j(d^wyx
zE)3tc=TP^@=RU{2dIvx|A3>zsVoiz&UAYsCtDaaLaQ>7wyim{5>o@qIq4y<G{X0dJ
zIaz*0w>4Ie#Omsej9sE{maX<vMex)rfTqkhF)p($nO$pP&I=Eb@l4U=M!F8dQe`~Q
zhwGXalVOOAp_gyOiixqGQ>)x7kGC;eDRF~FC_Rk94t>I@2?=GoIkRt%EE(HLuiO)M
z%ai5jwUd~>P=0Gz(-O85dq$h8B~5;3*dxYl5<;@Rw{fq_als8Uxf|A%tVYft;1x*v
z3=?T8Mqy*nHzQd6PGVx38IZO>Nv<IfiynPatAtvRVPib2rG=)gDi3_X(QxuEdjnGv
zYce&AfxgV@iz!a;nP1V~JIJu6isWwigjH@`9v)ng-cbKEa?^T1tkc3jaiA#w86{G`
zr%tOO?6r6%HELuz&MR7cYWNNwfD?0KZ4ap9!tx}H*Ro?{3l6~vw|E-L3o}t+Dg4lS
z8WEVOk5S-26c&77GW#6KtlE<202eNpzTt(Hqhl~2D$d`xYjbq{RP>Nz${)KUPikTv
z=~bHm(x0Vl<G#d7{%*Q5sO&_XosOH6hFh}0J^ETKV|0xAFh_!C9Ue*rU`V+T<f={D
z?&a%7uBgSg`JTeYwd6GXA*Qy%52dQ(Z3zV1G&^kq*)=Qy;?V32!N2+VfdAej|AcKn
z)LjepE==IChozl}Vbu_c&=e75>)<<wUKnePU)2_kRW$JH+=N)N!~<y^GbTr@bKrm>
zM%ovD8m+OBEcU3y#s9(+K-?8{#RlmfHrW9BQoP8z5p)Hj_-#O-Z&Qv@pJIxy`*sM)
zsMb@;Owqyl8l(I9tKMDO*JfMr4*JyIeD!)qn7@S~>ieRitlfsiyhp(35$<l+lkjdV
z?uhr5v|QM7g<v6W53KxW-it!{6-svxhn^Y}wHRfq-QxVl9UX@=!0(oEL1CWY*O=GA
z;R~e*yc(VF?6D5aR~nI1L`~g%ijps1`!JgsFR*APM~7kG)Ol)~1jRc#`BnGP)QEO)
z?5%t;Ga@|>j6ExqDP?JBq~b~R)fZx~O*p$kavXIf-tZG&g1z2k1ONru-Q+mno{;aT
zfFT3a*Ux`!6Rj%B+7pA{3<VvOzl{^C-x-B}BR>BcxBmu{{@1uIQrFQ$*Ti^3k|uyD
z(509w6;_-15LbFHLxY7%&qacT7xCaO6=OPLN~NHnrtRJQ`1<R1iCW)AGdSPI?Y_36
zyRf37JI^&o`WuO`Ud4CA!_4~Wt?jpm=EtAUR~Or0cOV@^b%Z=qZ3_01mVHq`GRAxi
zsYL;L6A*Q()Gh<B1L2<iCtPg$MtV$kMmnnWXs(`{{H-g_S4H?amI5boW)lQXlc9z|
zvtCq$*Grzu=o)<HCCRV8De(D1k85L>ly>xA90`m@kEQ1o%n@u}I_k)NWQVexF|KKa
z5O$iTlJSn2twlHHEq_N?9iG7kRDUbqPMaF0BaGsGXy~suNsvXwkD$QmfOMC6+7<3Z
zB1A;UcBD`anuM{m)E3`avDJ^LjA68-qHh<{g^qZF*(x>Ba+c!_v@nTQE69zhS{a(j
zJiuiYI&u1qiE?xvP&QN462l;i@0o2;dZxxaqxK;oG9qNqw=B&@WU2K5GS}D`4@|2f
zr9}GeLmb7uKp{z}W$F~KweS~o&jJI`0r}@AO)+>+oUR*Cd%UM#2?Q$|b|gPsjM?WP
z5p!9Fv3*!h3MJm;&Ltx--FYuCL?*A45)tPs1hK@#W&aS#-XpWop=*YZ7b7=9qKgFa
zdg(Ha8h^70UOQX7Nlowv#9Hr<XlDv_hYaI#RoQ<aq-GUD+bLTRz@&N5VsH+~i%G>I
z4?a(H9C}Wa_MOFP25!hX4lA9_6>AnFqV>nzd&}Ol(Qb{0ll65md5f<k_+0vs#3we%
z0drOM;}K_bgc;Q{;Sts^=Z_HZM@8A#CtU0y@P?#7XF_w=9A*yyFoppWg+>*Z7L}R`
zq<dt2*@#SzQa28idPaI5`ji;e5$SksuJXZp5B+`@gmxkZY(m(M?+U1kjw7frA;mH?
zFgV>~h&-v2qhE+4KKp%UBCRs=THMF^+PY+9D4{-zK~}Qw!Ihw7C{Oq$PLPxQ>cv?S
z<zO@{W9jJ^P@Q}o(9&M>A!C_T*|3z$5-6K-+Db`4Ym=Eb=U0iP$y%|C2kUZC7L#(#
zX4EjiSuU^2U6)L}$Wn9M5(Ry5!bw=uE?wy9H_*ACRf{N#+gSucTvUH!ZQr37v=Tk(
zvKQaj9OJxkn`<)D=jH#zV7jJo@XG_4*wQ1Xi-x`z@hl<>fLin$imxc~OhB0~4|pZ*
z|9Viw@CBPNdskx&<GHED&H}D=Wv#b$Yw%_@v((V9Hqd;j4QHpAM`AE+(XOX`@#&if
z%^2zS{8;%7F6MVB@iY6OT;wmwj?i-1)9@;<DF_$HNzoxSnw%1ps@6C8tiEDWCWT9M
z9OWnS^pkq(fcf;|x7#)>nPpzCxhX3D#nvVN)ms0yoLQW<Xi0xh+pCr!Js_!p7r0&X
z_Y{rz(HRI{hrDr@0lrX^uQLLxtBW`A4@`!DSmxs&Q=r*g=AF*yg0bG(Tn8dn-Yd8l
ztXa+AaD08N>kvQP7ZBCpj~$F(pQWVyc|DXByQ3|I0qDFaJ$^4_IYR8vuoIpi$_ko|
zA|BZ9XbB7PeZ?oZqp3HDIGvzH6XU)3BB^N=@3Dqi23IAQ$nOp*W80mO3KDNTd69Fi
z!y%qISP&Jha7wgyQ3xqmgpsoIJ~6jus&N?kyC=?TCpjLGF=^};kC%+~T@f|Txs*iO
z%g(yu0`wU5KYX2)&&wO(bJLhLvP8O<mwJO^{m3X7%8O};iW_p3^44{N)fgg`&VahK
zms}gI;cW?E&iYoCh)Pz2xIU|nC8!419dB#5KLV6#gVvwMMFeJRYwPMuxO5g~yQ|lT
z&wRtp7KQB8GkPN2yqWUUEm^EU_{{LDUZqRI7yuKdlJ}q*kpFGh5I67vEzrD9r2!k2
zgJumj@lfWr90G<@PDaWvzr-1jRuWAscz=?|L-I2JS=MPmZdNCmXYDis#BxDY^vlH6
znSjrdP{IMXZG^4ul+E?y&X;KW@Y4Ghv=a>*F9oKupDBnm$B3G+4j@7=`~2qE<8zb8
zcgB*Zjm3}s*iUfVBu~WugbP*z*KdA@3$Eb*Tpr*M7-0XKkPgIW{GT*)BSxlw^UZ;b
zT>lm(8F~LLz%z;dTTo$Af&G)d{!b<`u!_lm<j>pR39eFq-$!7EAAoV-bifH_L}23w
zbo&20_}`fVeE$)o1LiTy{L}g0{OiyEY4aKNpUxd|J_7k!2>zMZKXg){5ep{7Ajbbx
zVgQ?1(Eh3XhZqQ){av|(^FNiO41Z7Q4@dBCVj${&hReVQ8n6<R{NV`x{XhEOFJNi}
zzhf?#|LOG)m+)^!6y<*eg8vZ^{Qs$ie^2ZWb?R>l3E_Xb*eCuoCfEPcs{R)JLoxX~
zNKgD9QDpKzqTGMePyQDE6UYBM*7RRtFsk3exWFe?43a+$;r{~Q{yV`G`ri$S|FbBd
z-;44$;6nbNX|=HZnHK;5Md|*Y+8<m-tLlG^qW_Kv#rdZLuK&es{ucdXH97sI68{~$
gM&OSq)&Di3lw_fPgNtBbSiiqGzj<vpqJQ50A8|(%X#fBK

delta 10767
zcmZX41yCGIv^K7byNBQ!+}&YucY?dKSOObtaR^!5-6245cXxLU?tx$-@Za29^}l=H
zo2jXDdiv|GsqS-n`h0zIl3{nOFx7$Z2>384C@3(K<z2c7m|X~e%Nfdl<PH7b5=sHf
z{Eq^J<;MAgfce+O2;IhKfwsb;{R0_>1%jb#E^`vtkk^Sk_qjp_J0|s9I>c3}T`8ar
zL8z4=Cg}Te!d@uQ5vpHCGb9<;_rX1^9}%ltntG6$fGjk$f8ru=FAZ#CJG2G<_#0`P
zVA4~8Gc&dz=<Fxl>s~)J{I~vH-*U7R<*+p6BQ;x3>V1bo^(hEMu4+L!2qotNfKR1g
zBFA8{kn0vG{5w+ftQ>VV7PaLoTFdk54PCU{tJfhGC%jer&Be3R#C)+^300|I0Gk~6
zuKmIyss6ahB#UQ?^DGsxIm)9dlxFWv`0+O~84RXV)SFSA-Nc^>rfQ599F*4F*2RI!
z%!xIFFs-x7^?8DNx*+z(k<TOvV9Y*AlUkDvFP=4RK$A0>%UmNlumNx%qS{m#Vy(1n
zp<i5WBB$L$*LNqS4RmB~+|_RkrGU(Lj@R6~j{E|ww5%_hb<l|va^Vp{77WJ1WPSl+
zepHq^uPrJM6`cYFa?c3r2-j54dl!@!%1;hHpiVIoq>T~*1lyd2{AWYJmPlpzDt*gT
zegL5B@9Fq0&O)qsp+sGZ`wo%W&*;8!MDri|utYtDPW%)4+JaI<9-4<jFekKnJuT@w
z?~Y9-V_!)mNK-#Lip2VxPN?<s^~Wb!wYy1OrWH%Rdyj0uinAY~nLA1I?h4IaV_Rnz
z6vQ9liuy6b*JxX~-v_bNT)v&<3Vv4}?h;3wuvz9=X1k<69FA&+DakAOj>|yRzQkPi
z?g5=S$CjO;{=gm?(S~t*|7?|;;b}@OA?9vn{N|^cIuIG<p0`U!0uBb|1s(?Gzm^Jh
zK`;cX0O2{Y16CHRtE;N2wivL`s*s5g)S{4Cl&mW(iip&X`5FxtE3LF%Qy6+e#Jj2J
zCI=A-{59eI`jj^_+5vtaz<!7|;TS}ieeU`4ohX)%pV7ogNzIsP>UV3Y+}Q{uGq3Wd
zUj&zy$}r(GoIx#LeBSa>fKr+nx#r)#4F3kFRwRH0BV_D|nbRLk*mZ;t>_^qHIt4_f
zC*+X@M{ui~Nw|4jN@|tDH5EPk)$JOe00Z7!_>^d+iJZvsd87(-?DY5Wd9Dv{2v@8X
zhxf!fsK;(BW@6|_1W{jJ?6^RS&+%eaoyer{Axl7dA^eir)z`e`3AtYN3r4znie#{Y
zNhRmm>nIH9$ptpUDpvyBn<pBATeokqsGI53?Ios`rj}rxnPr=pb9N19K0=sLikmEs
zT567iKwEvd>l~%Z?xIX2?ETKbco0o?YO^^C<V*Eu*oz(*y|iIrV4D9L`u`65zq}qs
z7%Gb-4%S1}C*LOt1nZ|-lXyBw;i~|OHHe07cr`4$3vm&?*`&OG^QNDskE?t8j5RAQ
z7JF^AZ!_KS1L+65hS^2RYr`+<@usy6KF*G=9~>@!)oVPxd~2)eo*f!OoBGCm1KxVg
zy1Wl~eO>mHr-G}I)MjSH5#YDRlDiGHj}h><Y6fq`5+_%zCELhBc-LwkEQ{*{H{y)*
zSK7#hac(;C9}toOj=$<7$_zphvI6@2dkGl3x@!PF6%zKPjlk}u%#$T}M%l0^u0(X!
zIFjVeWYxQ4?~+B^6Sy9I=DakMdAcsoXfdB*Hw3-`)6ed)_@Czi!1uCtYEFa0m?<BS
z$iPMBLCG_rV!NbFV;b1_rD;13e7r;Uz?Q1A`UUZc;`c4x=_J*q_9r3fD^^&=(AIsz
ztEyBwwy6|_qd2W@&=-l{fRrk%)EF~bhjU9FTKN(itdlScH9~=+ZUWJSMhu_IPv%A4
zCnS(YZFwP1{H2XN?L52^G}fEc7;V~CPjEUmOsuXu=^}^hJlPVfrG(FVDeq@oJB)?S
z8ktJA#5v+_!_2(xTZ8Un@;XqJ*+3c!YNkYqlN@&&V@+n%VV%FliT1o@mIQ&bv+7Ku
z#uCs-w@Tt?Wh`Q$9O5Zrdd^q=*`$p&3xv38x+X{6uClc%!(NpYOW08NWSO5UaA1aT
z!fD+#f^NCYifwY(1<P75eyK?2$v%1)FE1b1N4S#1!h=S9%lu$8C!`Js?B%=HLxlmv
z<zA6x+7E&Cju+U}T7^;1zGa^x5T-+I5Z7$zc*pX0-`1l%fGW0*`3f`3)e{`fblhsY
zBRx^qW+93<&k<;eiXTYf>;^DNuEEQ2Us`G9GorHWY#C<d<Vp?R7{`D%HC0Ut@N0px
z$U^ol8Kby|Z#fxc54^*vHsA;VE+MvsRHATnC9?QuBf?2zX0Ys5Ehc%pN~k;gp>A#T
z8sgD;L?4PO(j}Zb!}q`QykJ#U$x6v~g<2(PRdUhlBWVLH7*oCrtQE?q#Dbe6Li#ue
zj3<gY<V&Jxm(7xb5;uzJR%)B@BRwvqk|#|VQVB<xuDJ;K?4rz)L5t<qH!LgMEL9d%
z)#l%=n|`!rc8AG2Epxm2<h6g?no!E!<}|K&-_@;%eqHJ-Xe#MNayG9wcR3Lz^i9hx
zd2(Iz{Fx4u>CU%R{|gTSyFZvyh}D`-xz{DAnY)JTu+152NHir$5S?ZdVHd|_^biff
zd#W5{#)ShOh9$;2?d0OxQ&cB63suMZ&YAQOBD&H^MU$3o`-{6Ad{4GEcVLH2&b02S
zOL(jZY=?&7yB<5C$*&pGTo*UmIRfPmpL`u*kgr?_E_>LVy760pK44AzjBlxXK0BSC
zy)n3FE!^wYHaT1>`>T9&g6|Kivd40Fe?NSZC>ro^<OKP>O<m*mFh~*I^CqC`rw|D(
zT+XX=&Qcun92;?pE!<!YBIDbWt|M5db8|l$kWh3^3C7~?<<539qMgF+77%0pxiP_v
zLcpu&o$mh8c!1$bu@~GU{Ek=`I!1g~WJ0o*l-H}Ebj__z_)9c2r=FelKCD9q$&HFq
z-3{D%8|9>(&?D0*=w)w{KHxKW<8ZF+OZ#<tjv#sa&QcSm4o|#vms(`}OpvB{$2-Q3
zQe={qzHOL15&mk9S&Rl55)V{txe_GE8REQ?@3U8oYqs3<YX<A(AE7gMGBQPn^Dt!B
z{UkTcMEi(prg62u;^{T+{<ARZ>#k#B?pi2#!AownOe_aSypwtwho3y0e!*^zy23nf
zemqzz)_mc+mI+=uG!(?^8LUm#z4y=<>`FjRhJIWA5Jx^Z8ez=k*Z%C1J;e=v@>L`>
z^0Der<}dN1lLI5q@ntOKw>X!{Y$B9L!6gKwdd$&BPvndX%EAmp(PW$@jo9Z3&8bun
z%N1GqAvx$>Y40TX$+ZNV?W1OYqF-Aaw1BYYmS|8*UKtT|^<C1TR0alk9l}g;=GoQr
zG24T+uNj`x43#%X6SI;Zu28@_*Zj{}o)e1qf-QYRXy6uSu^-IWYR^VJT~-;{eA0%w
zyCl!yZyR1-1R08+c}|i(<mg;y*7qC|{{pesNTX5v(rK?J9>z*AYC9zp7!=?``GxcO
z`PK*py^sKF?rT~x%~Dp@TW}PnR4%;j!rQD7)hW1k%JX$zYkm2Z@(nfN*Tqt=Z(c_q
z1}o^m1mHl~2YinP7r2)X51PHW;qpk65_I4NR`?u-D}x|eedTJpk7iOhz*>Ng0M3E{
zVnv~XI}y0(Xb961bjD%&Mbh~r?oKucFM@m!^7PC7MH<V((&*T))BSdMig^nHsXM9L
zUIehWBRcl#bSgTXrO7y|x&1<5FJm8jligE<2VUObjB5z{UM(W%y8@W{DW<W1Grukd
z8lv_8&>Qalh*0ftHIwdOh7>@1(&-RLn!TBLDG9hwT(stxO$b_3H#K2z)*ht`jQ1XE
zPV{$QIe6@#6ho@UwKYea9CUE%KF-uUb;q0>YB?IDkMTGMk<0KGz#`8?wE3zDM6o$p
zgN-^;O(zAoq<ra?B<zRWC`<<g^mfhLNxzzZ)Z24uCtT9HB&B6M{rTN69(aWW;3VSL
znj;%IEco8wi?=!6P*CrTv)Q}8A(6&=r7}~=g~-pmT)F)zI3smvPryiWj=MC$@4!ze
zWyC{F&5F``^G>s5{2^*PXnPG|ueLz-3e5S0f=PZt7%pP?*+86*2>PZ9hP_yRt%Y>J
z<1BSh1yOKQHDh~4MjOPqPV|}RFw=&rrLK8J%}?_c!(bd?E1{>&JBG%<2LTz8vS&~~
z0I6wUi9-64mhV0Sb$x{|(mk>wp69{JRD4mL&_)Q$+U*j4`q4Ypl`A7&3YF5C5samm
zLN!=I+5KpK@JgIKB99brb+r=0h(&c$Tr7`>sk-6yjuJgkG{n_^lYNkP{18vjb?u18
zjj3ZzR*AvAi>xF+`o-%eDuCo>tIznJi}J(tq{!tUfpH6NKywuGRYzjtcAg)RC;xCI
zhF`*}YM0Kz>xT!iuJVyb_~*~*YT%+ws-2-2ZP8udFXTmuTQND?B{6G=&#xqbljBV^
zp=Rp3d^cp<!f^v=E?E{__+kW3+E+j<#67eN%a<S~G@`<h9ER`uhcZ(Qp(Tt)HuV)3
z8i|q8P~TQtxURS)7ZUk^jW6j*B+oXd<zLpeZ9AULPs@{hEEEGaMs-M@_rWMH8o?Jj
zogGHHN~`Bu@k>ioJ?`1W(_RQ#bjrK2;l+-}B42X^=J#iR@YJ@&M>IpODd^+|Bes7d
zTs4&LVOZd?6eZN#3`)pVvODH67A<X0p8IMl(6UKZFj`h6s!PQ(9vYSXHLatgIbr2B
z_EbZfwYMbIDJaLzkyq#j(F{M{e<P7Xz<zl5XXD6CWgdHn3IlVE_rEueP!*iGchhql
z-`chU+idx}UISlY-vctx9EgiWUnLHcEf3+VsSczzyrnPNiVLXHJI`l#plG;Me1p?g
zf;QO1T*-N3p9ABLDUVjrr6JT@j&0r#iPUL4qqSU1GKJp6Cv~QA6{WIJBt%l_wWMXJ
z87?IlF3hyG5`AkGR(kN^GEQBv0dXsDJmr{!QFkVi{7XI@=sINJ<}JOt8#K@4X)U|6
z-P?sa6`qp4?NO?k<Y`?bpO0Q^u;nm}nx?#?B9DTC`65qVGFXzOBzH&5KN1O+eI<W6
zj+=JneQ@nYh%!7S$God68-`jLv4oQ3j~GKRs%?<byuVrB8_3bQho*I^l5VihruImw
z1#xRI4rH=?s%nQ?E)xEFb2~`yicO3t6GWp!=lJu5k=XV~?48ws*PZBV#9?XvjW<hb
zA(9zl=DTIgYrAesNN1&<n+NI=I-Y5ETVx#owHJtOXdy9xP&}YNsjjksa)A<WfT0GK
zkf!3i2~D&lX7@2!6D~9;oBfJQ=3jaUP(DZ}QdnVuS>k&JNXW1|=;KPyVEfA!C{cyk
zuZ9G)HPaCI_Aebu_T+J1RIb`Wj%@4<FLlS;jhPWE09AVK`0Y$N4?ke_`1i?(Y<Wy;
z-_yKB5#>2=xJ9)r#X(oqWE(*vJ#qrmI%i#kb=bQdA)LH_V#&`@tdc~}nwXte3xZcq
zkYTZp%okq8hA))Kka;hKi|U|oA(Q#ic2pf#PsTO#nO3q3{UM@V0jOVP$J)cS-g}M~
z5uYeQn?vy&EIf1+_cK7cOH#?}i1;|^_T6o^h0{GgUR$j^Ln?EtwZ&8%r%#Mw7+(8B
z+6%4lo4O%XjCwAOm@gu7Btx7bBXw_Wflm3;*SKT-G^!K6VN3nvpAo-_r)t#XzmJVM
zt*eOz|FPyhUA-QXzamc_r2k{hbNJe7$C_mF*e`O(Z4m@WJMftTkysJz-}uCEu{A94
z@bJe5VOf!PX(_9a+O1ZS?%eh{f21%BZ#6UHlr=MBZQFVj&2np^l0{~U6F)t){yNQu
z`Vi2;3PH07s0m6l%=<ljv9)!OAly2LpyoD9b_yZr9DxW}^O6*AM@#rUqu#69WxxNt
zBbv{Mr-^x3;~|$-+gV#5<Nl^PRsw!T>rDq;x+W@5rg^Hm!WuVAg=jp43GxV5{86KX
z2K5E1o}35TfH|!RHEdn;NpAlNLnXQTZm-MiBpTba%C$XsDTs)_h`Ado?BLq)D09b9
zgpvAE8IXeIusy^9lq)-05UrJ$m=?A)TG!l9Z~NS^7vT3lA1PH+<@B;v+i{S@EVYm}
zM+qW1%ZH9Nu7^TbV0(nBx%+KY41N>`VO>$PmD<U!qsG-3Rb9@OMrOq!l4eHf^IRpI
zDH6Fzg9>*n4SyHtxX3q3<E7v<0oDg`XZ#1V6e__k+~WXduF^5Ci(zzAF&hWoNPSNA
zp2K-K*V$G+Vs@<HyR=pW9URhiQ9%LGTOn17ib9iH8vgqG(71O;1z&usEVE#lo@l8^
zOLuT|Fl0&>55l`lGGL=`)g)dg-tvo5K4RivrT2b$Crbq()MukNaSpQ@+We-d>Qu3y
z_%$57{&Yd<>P?k2-%9kDd~~)jpG#z^OW5s4s+vjp-jMUrE&-pxAVl?$!+y*ve&$vC
z<<kpV*PGv&^~9>vg5_`DQ3u)gPQH(+pQGRzOn^<K{f4WeyiNP4n!qOcWS{h#a0E9e
zFlb~#>czGY%k8ej6qW?#yBRR^f=+dhd{ZM5yfyHFqHes<qb^LB)3Y-+`j-OHPd*Ry
z5vuFl>B0T+20oWF%VtJ4YwI-Eg8F#Rcj}voPhTIt!{iXIJygcF;qs=nm}yHwyntia
zvWMtt$Y~A4mRgE~tINLC2lPx+7NL_YGKb6{5&7@cGhWqDZ+IVfJhEF@aIBw54_rE<
zW!Yk5BwxZs!(wkrIWLp51(0{MSI@WdU?cxwX#S4ae(N)TB)X`55rgy3LWaa9ngHO;
z?HmuMnCJ@{XRJ$Hf*xkZE9xKLdZMh~FZ;{4!jb=vZ(R_(g9Bzli{HuY_LVDY;0BN-
zC$PKtxckgJXgw39md2((9EFIF`q~1~9BQ!AF>XMYnVwT=WA{`!U2w~N*=S*T$H)O%
z%hlX~Fu^0);yu~7SIv%?zT3V$&0?34-68<^Un6-7ad18Hm!4k_qjCq%hp{$G6}VV2
z9#~vj*H1Iz!L9J-^31b<{fBwH1i?dg=}B)tVna^!zI5IJdsTQ0NK8OKMSL}<cIC}`
zCh?9-UsbPe_43Ic9wER;@fIE_?(pfbc_g(4uaE%;>#2Hz`LIzO17%!X+gso9w(8u7
z{k8S;&!QgUg35C8s>5zmPgsGP*HPzOm8<yC{g(y+@ImF<C_&RM^YQz_gdXd1jyG}`
zdTuHM3uc?A_>%G@WL6ozg1hXBOp{+S#q9fhi!Gq$uVyk1rSF01Rlp1%FRQ%$&%t?n
zZ`o&rvEapjIBzAXzEVTY^C;YZ4Zw?K3YekE@-($HmLE1nIfe9luIL%AQ6V<k3F0<A
zrx2|sfpeF0pYU#hl6mp1VJ~`7iPGOh7$SMtr>hBUVGPd^q8px&@izxrSa{eq*-=;&
zJFRLX(d&&wC*%@zBlH|YCy!{N=~KTRXOD9w1AoTrgQK5`w6hmC3*3TFEz_I2aEMfX
zs+BSme{(lpR08DWyN4f@%b35X;9Xs?Esf=NPzkXB<+n?o(k5C2E%Mh2Gwr^A%gQF}
ztR`!JeN3_2A{>$~Cauy}NX~Sm`|<GZZ?15-XIw-2FTyGX;olZzQ{1HsEhA%s^@Prm
zff$e+vRVEABC)dmdj2q5XfQA+FfaxGi_pe{=8_X({C{TrPc;;io&&6Hq(&x>|AHjU
z$~VT=U-X&G-X4w53fibRC$*k##KB3AD79KhG<e#h%+a=ZA@ElG4LElcSXBNsK&9Xd
zb3nw8bt;{o<IA#`@7Z<O{0`2>1-Bk2ttZXEuaBhNC5#4k=0`sKp>2W_1XKP>iEw4v
z0_ev6(o3u|B&}4}L+fBB&#&KE2`N$a4D9G=JWmw23{tFj#%Jr8rOTc_QQxJegd2CA
zFhO=QH7c16yp6X!D<t2D?7Qu|DlUzrvK@XXa)<Ca6S|C|!H+F!FdI9E_UFOUF-Xg<
zCU<V`t^um>W}(azZl}wWbsw(lXet0ROkIo??**Luq%x8xmm|Q`)kQu|^?i%8ZG1x5
z@if7(WLW}Z*d&VwCW6P2A3+swf(c9+(R)W8+24KrA#rl~WUlS3fOhOuZNJLYnysWh
zc32N!+z-48%~Qv6<v;de65RVR*{m7Fs-5IU@5g9jk}}>Uzw@9_t+<jbqtA9)KWN)%
zqM<Q+FNH1*=okcly8Ra2#?NUySQCatGD(GIYl)y(emZXvNSD#Y-{*F%@S2cch$-Z$
zUI-}h@=9#0#Y3zzQv5YNblwb!XZzUySqL^XR?RIdPZ|Qu*JitsFw3YDkC@|r8t+ws
zj18TNlI4Ujf)uAP`U%Ud+IOAv0IMH`U3SpX=f|>K`AfmE?-HmfOj)^TPhzL9=!YDY
zi=C7mZxs|7O^OW2nn0))EZji!m5(-I4%jCA--VM2eE5lci#C%@+62@0>py2aN<W>S
zLj>f^WcwR|<5=~@;hNXd4NY5zm?$^meoa>dEz4BEOv;<OSikj|Sy3{-b#r~klRL1#
z)#}O;A34}~b{3v2q*(^bb>%Bkbty<!87r8D6!P8L;74;gl9w2WwgDn3;;#NU+j?&!
z(sUL+%fg1zutUW5Iir()Zy18^068KY;Xw?i;#1czPPI=z*|D`1RYTCSri28W+8LRK
zI>bdO^=MolgVAO#=KL$+>gUvXg=4k9`5d_lA%ZdH*=H~4?Md0J5CODW!bghPYm%-W
zPRNl~Z(Bn;zf&E(#=01}#VzXA!OFR3>#hyMH-Cz*=gu;n^^gC~7|`Kb!+^me<QIgM
zeJR=EppN8t55i|FLdhYq2j~q4ALCv~za&^Wr%?ukRRF|yq<;9^w)bPK`saxKLd>G2
z)dYX#m<j&XP@%Z`lr8p)gwx`N#n9}%oM#lVY8KMD(33m7bn{9#TgMn%Y>QBnSC&!o
zcRm>iE|f49w)n%djGzMlNYA<priVU<;BXGM-`(&T>GunOyXks(CathDiCXdI_Qes9
z^?bk<sVl6NS$aJ#sK$dhIAoy!=Yk5t;VVua>YDy`8r|2f(DgcNrE3Ta$q@q)C04Q(
z(6H4yqyG!}&z}ulM2ea8uQh1<uQ=#`$n(F~kRlc~@PfYIN3sQ+m%%R`U)q0A522zf
za$pCaBRG|)z<HqbN5Uenz><?oF?!K_J&y%ZS9#oinw7w^Lub<iy5<(%=7u)bMKVoC
zZ{Ewso4r%QQp)o|cUJ6b`r<UAs~q_I>z)7Bn%~XAL<axOgb4UCOd1PbpT&qr8<kLY
zsPgE69z4hS3pb88y)i3*;&*Y@^fm#{8JAB61t&M>YOVDlJIe`*!{Q3+n!&rP`bG@Y
zb~0$6E)3-ZNV`BzovIdZQG%~?PRW(mXOLBr@k>m4Ej71u#U<R#Y0L^q5RPE)j}5EH
zZv?DP8#rkimeY!Bkuxq0Ub#N5^Gbr=TnRJSxL}?ZWAC~G*Rk6OD)bt4Y0nj1q<d>}
zmTF6!xE;PqFT-haCe_YQKPaj#(ym>o;s`SR+y}`Udf7Y)L{%p24Sa%*V?fnYO(ss<
zd)`qh<8gDUu&jfc7(k_Y76ZwlYdah}CfO+WZxdBXcck5s`o%l6l6&K&6_BJwcdlgg
zk6<S5tXc)(;21IMNL>o&i)^TYd><O+i_>6sB?VdItXQT})p~505uBZTxR6QHQjsNr
zsgyW}78466t3bo7ho=H!&xTUJ1BK%e_)2i(IrqKf={gh7D+wZ7YcHGFG@S#I{aU-6
zEwktmB--d#Tzfi}t(KHbR%m(yjHnQw1sLy~c%pbtw|B*1s47sHP^(iRe6w<gyvIY&
zc(K-!V#X@Jd&OL6q?zJ;d7Cf6%7W*U=|jK~9s+WK&D$Q3QDZS1u<vnT&fD5ap=2Te
zM|cmRhUE9?XLv7{a?!$_V2>fMq^|?A%jM>u6ZSCaj<{*O$4}Igr`<V^e(8+hNP>M3
z$Mm9-hK)HlNZHMADX1TkL5MXNDa<-P9585O?WK~fzm$j<AZ@=AFFOHxcFpZ}U+j4&
zcUTJc_BjxrD7pEnQAPuUHy4$d<qsyQ>bM)B%6gmmLOG>z=IZ$jmV%>48EX(Jgf0yV
z%Nj*Wo$q_mlZVV=UsPlWyu1K5THvzO^QSX`T~Z4`70I3pg(VDD+jKEaP+_ij{CUhz
z9CBx9rK90tlEKM0y8KpY>}mMf_n&4NPDe4yX`(j(Au-XE!F!`TQ(D4k+d9!5zG0An
z0mhuM{JkV!9ZI2b{qd-YMwy_Np>ci0G-~Y~W(vJMUNo3|G%Lg$F^AXGQ*g$OrqVgr
zyT<{&YTs_MG{HJ|N(k42Bj{|XK_)uEs&y$Q4%Lu3d;7Mqk($a>{;SxMl779}nAfC+
z!d?%VS3AzqT&q`YEGKtgpA$2@V2Z+)Ki+2k&V+L2H;C7Isf6a<Gc32u<CSiZ`t3xs
zP9NKVo5y2G%A$KlI^K3>Aeg1#M>1M))2VMbT!+6fj*5}Hp`EnFgYnq)PFC<q)yQ{&
zflji^g{$nh2Lk;AaVjhIX(>-)?K#4Vark*2IPgqdDYZtC236B5Ul)IWimFqACGYMa
z71Q^!(X#|G3W<ecd4{x2=r68v<)3|PnU}cedA!od-;mHm{hb>8{0nSro%zv(OKtFa
z2bO&!-;Elow!7#CV|0bu@WP<ex^B#QudLocNQgY*C1)Ln3?lakT3dBwVdR`EI8k8P
zW^+#0Ow-a4lP5jPN6=xoQb-do-!Kev!{@*M!LpZXA2?!jS1?jJdMr<2f%vFhWzI)@
zgJ5FcQNCTanMN_9J^+@LN2!EE{#jXfr@AD+zbRK7w%@SPsa@M?B<A=Nl!WasN=L3|
z5CjtTpSN?H<}BFzZ8J(xu|tiqW!s>R%RJH?{LV+kY&_<YoG%5$T<E$s!!3QBeq4<!
z@&Ja>Pa0p~)5f?Tx-rtxeNonlPcA3aWdXkw#W7s5?0SqV#ejt@T}0<fkOHgr_#dje
zb4D)4@lUD_lytP3b_12d1}^<R$rD()xIBkM-Pqa?xrYgoz9>+w&J^rSiJVzrtV1bC
zYG)VS%-$xk&G(YN7%J;nsjqZcsh|J26nY5)dxWTJ#?JOdpAtNjjhkJymm9tepnYxl
zSm`|6Hy;J_5(*~5A2UxD=Vqk?w#Y_D`0|u7cW95h9qlGLJf#Zh3@V<+WjBiD*co%L
z<GROg;Wlx*&qc-|_P=XLM~JfCRF+JgkxhByV`-AcYZ<d-IC^}l1$It(D$I7HaM36-
zh-6KWGm$z;)}e@{<JOfR9F|f^ANvB^!PX*=7|I?UIsguwCa2W3mQP3R$?qJhmt*Fr
z@S<-&N9ZexRE7=&<BgiQzY$E0jbqAC<#wpkt|^>fhgUo#x0rB4MZXkeNCut&v7gS(
z_t)k=-X`Ji`AE{emH_1mi2Y~Fb<32Pu;~;)2V{ZAcjMHcWYZI+_@+#ik@wwRf4xIQ
zg06VYgGWE4n(6di@WvxALzRVMsJItg1uaK*lqFif)1_B3UySjVW-VutHwnFEU;aEp
z&RI~Yet-N!(_lh6Zt63F8JlQS?|A#w&3He@%|aat)RT`_{3KCD8~eEn;~*sy?6S5#
z6U$10>^yW*{WW0{Nd)iHFo{s$ry)gw4%m1iJMby!dAcY|akUcYfMW_FwF=qYDBP2O
z;Pm4!*DT<|=R<LI@HYz{NHJnJAW@+khsKZQrpq7z4{fdO4$}M_;B_I0Nl!U)NDSC=
zBJ2RYZ+fw$oxFjd8Uk78oKKf;gmn<en)@WU9Ud2N08SxJze}Y>TS%AhJqk4<uh%Di
zz!Yz^&aoVQq`)vL)HLCHn2jHFWmh{Yp4KY#RCYsup7WL)?3v7-1w5voAiIs?uQrA2
zs&3a42znh{X-+a}sxg4}$sJPX=>#iTO0s1gzWJn!L}EBP7EiYYz#T#YtkAOLPw@F%
zUGG%i;NE?``iN#k@4kcI=*<5S2mpKj1S2%6?bbO%rgHiwch|eAV_=}m1l6LU+MOk2
zFUan6H=K7Ulmn)HO%_EOjz>soW*A?-mRX!P3z4%j`%olt2Me}~g_AYsOsjk>yKGW%
zokaQW_KQyTMR<6Mg0-@i{<@m{BGWkpb=~^Gqj?QH_Cfvdj^2F=Ry$nmOJ6`<2>9Dd
zlAFiJOik&QIyw{7^m~~0Y(-_t@8)9Eyt}ql7oe<d|IFcgPA{a8@DHr<0i5YI2+=i(
zT|<_FhBaTZ7o<CZZn&4wF*k~`r9J#nyFTGsxckq08cu_j0#sWPp)>PSp<vkT{xILD
z<LfEnL{iiHXWy{--K4s7pEeg`HgL*yoi}`S0+vM=d2d5CjcEnBdND^>_`^bft=f*c
zLx;k}AkCSMd0Bf#ML>FXr?Ja`?edL9(R##Go!-O;6(X_lDNk{JAPesk+{b45^lRCV
zkuJY6L}K4T33KDR`t`1Ksvi+3hnAM-%8VE~RkPo8jx-oGO9dV@32;xno`daQT)DM7
zrK^{uD#T+Ba~&V5A#5L0(K|@}c?&o01*jq*8Eu$*l|<$hvo-qCzsxUu0_D`QHTv#V
z#f?be(B{x;JJ&I+kbErBDSvE;vn<n8$5wnovJNW9m^0%FUrx!{Q*^73WcaBdyy0Kf
zsBZKr$N0EwA9H?|j>tjqc^+Kqhb>OTaRg52gPM2!m`j2_WJTeFH|5cBNHH_h`{v?z
zSKO+0*lxX0k?D;2!^E9)dd(VH%)xld+bz>w3|BdBzi%aSKj!w7@;i72^Tx`B<W;Da
zw$uvVnr3PO2*9S{^kr$Ni4FuA$ThVswI?o>ybhuhv5*UUOqHn1I4~Ob>B0D|=YdJM
znJte9#4;9=$wMx|NUohDc0Y$AW-%`g$%ys$IfJ-m;S`dQf_AoHc}OJ-F5sUnpiugO
zBTo`RM^iaWN8}o@%A{N*ACMW87!6!+;9HoqlTh&}NqL~cdKb5kbD6+r(0Aw2B2}&a
z@<#9azFDfRaGLTG-1v*+nQ}?dTXLc!^@5{cq&AkrgUQ?+`Q6I9J{WceJL8~?8tDBq
z<3&HmMc4ogg*kB?SBw*6j=lYp`}NyFMnwgfVuXamiioaXJHw#iQCjb@zU5OP3#E>I
z96?Fd@9DgCda4%9j&{&!YZBPrcvC@X)dRavDZ8o$apE3>V7fYERdcl=N)e{2S-IRc
z)FwsY4;b?k2?U|>at;FQEGy{l8{Ebm)9V~vq<P@JE6PC^o@Vprfq=n{@Ejt)jmu~r
zkqSzKZL!LB63N#dAwtTjJRzywo6;&xXO0JvXHl0!ju2o4<NQFZ$}@T&OG!Cn;#?t3
zyov~Od}UINj8|I+$Rj!P{La5nZ!+m-xaftUkq!KA&*bIfaX2-6SYqdS*Pk$^lk;US
z8UO?1O!6m;frZ0|`JXgFD6EXsKe>MLGVK2-elmRjDBom+{!y-Fr2kO_WHnL$qzwL@
z%mszYno<2J{X54<;ooURFcwf8IlVW3F#kSI68;Z{6$!e7&kS`#!ejm4ANOz8Ui?3e
zqOqaZaw>oK{BQbE>OUYH{J(mZ`9Hn>n_W`;PXlJ+zZ!@^0SY8<{*X=oW|(mP1N=@3
zl~tg6^MA;u|A4Z{pn2qk&~yd#zk&Y_CaL}docseMfDR}U{|)^2bW!{V$ou9G@QsSO
gy$idglewp-IuP-%0}U7$?7waaL>L%!wm+r+2bi?TS^xk5

diff --git a/src/checkDataIntegrity/Args.java b/src/checkDataIntegrity/Args.java
new file mode 100644
index 0000000..2ca1246
--- /dev/null
+++ b/src/checkDataIntegrity/Args.java
@@ -0,0 +1,6 @@
+package checkDataIntegrity;
+
+
+record Args(String path0, String path1, int skip, int timeLimit) {
+	
+}
diff --git a/src/checkDataIntegrity/BufferPool.java b/src/checkDataIntegrity/BufferPool.java
new file mode 100644
index 0000000..c9bf12e
--- /dev/null
+++ b/src/checkDataIntegrity/BufferPool.java
@@ -0,0 +1,21 @@
+package checkDataIntegrity;
+
+import java.util.concurrent.LinkedBlockingQueue;
+
+class BufferPool {
+	
+	private static final LinkedBlockingQueue<byte[]> queue = new LinkedBlockingQueue<>();
+	
+	static byte[] get() {
+		byte[] buf = queue.poll();
+		if (buf == null) {
+			buf = new byte[16384];
+		}
+		return buf;
+	}
+	
+	static void put(final byte[] buf) {
+		queue.offer(buf);
+	}
+	
+}
diff --git a/src/checkDataIntegrity/Main.java b/src/checkDataIntegrity/Main.java
index 1822296..2aec56a 100644
--- a/src/checkDataIntegrity/Main.java
+++ b/src/checkDataIntegrity/Main.java
@@ -1,47 +1,28 @@
 package checkDataIntegrity;
 
-import java.io.BufferedInputStream;
-import java.io.FileInputStream;
-import java.io.FileNotFoundException;
 import java.io.IOException;
-import java.io.InputStream;
 import java.nio.file.FileVisitResult;
 import java.nio.file.FileVisitor;
 import java.nio.file.Files;
-import java.nio.file.InvalidPathException;
-import java.nio.file.NoSuchFileException;
 import java.nio.file.Path;
 import java.nio.file.attribute.BasicFileAttributes;
 import java.time.Duration;
-import java.util.ArrayList;
-import java.util.Arrays;
-import java.util.List;
 import java.util.concurrent.atomic.AtomicLong;
 
 public class Main {
 	
-	public static void main(final String[] args) throws IOException {
-		if (args.length < 4) {
-			System.err.println("Usage: checkDataIntegrity.java <Path0> <Path1> <skip> <limit>");
+	public static void main(final String[] args) throws Exception {
+		final Args parsedArgs = parseArgs(args);
+		if (parsedArgs == null) {
 			return;
 		}
-		final String path0 = args[0];
-		final String path1 = args[1];
-		final int skip = Integer.parseInt(args[2]);
-		final int limit = Integer.parseInt(args[3]);
-		final int max = skip + limit;
-		System.out.println("Path0: " + path0);
-		System.out.println("Path1: " + path1);
-		System.out.println("Skip: " + skip);
-		System.out.println("Limit: " + limit);
 		
-		final long start = System.currentTimeMillis();
-		final AtomicLong count = new AtomicLong();
+		final ProgramState state = new ProgramState(System.currentTimeMillis(), new AtomicLong(), new AtomicLong(), new AtomicLong());
 		
-		System.out.println("Scanning Tree");
+		final WorkerPool workerPool = new WorkerPool(parsedArgs, state, 32);
 		
-		final List<Path> paths = new ArrayList<>(limit);
-		Files.walkFileTree(Path.of(path0), new FileVisitor<>() {
+		final AtomicLong walkTreeCounter = new AtomicLong();
+		Files.walkFileTree(Path.of(parsedArgs.path0()), new FileVisitor<>() {
 			
 			@Override
 			public FileVisitResult preVisitDirectory(final Path dir, final BasicFileAttributes attrs) throws IOException {
@@ -50,85 +31,65 @@ public class Main {
 			
 			@Override
 			public FileVisitResult visitFile(final Path file, final BasicFileAttributes attrs) throws IOException {
-				if (attrs.isRegularFile() && count.incrementAndGet() > skip) {
-					paths.add(file);
+				if (attrs.isRegularFile() && walkTreeCounter.incrementAndGet() > parsedArgs.skip()) {
+					try {
+						workerPool.put(file);
+					}
+					catch (final InterruptedException e) {
+						return FileVisitResult.TERMINATE;
+					}
 				}
-				return count.get() < max ? FileVisitResult.CONTINUE : FileVisitResult.TERMINATE;
+				
+				final boolean timeLimitReached = System.currentTimeMillis() - state.start() >= parsedArgs.timeLimit();
+				if (timeLimitReached) {
+					System.out.println("Time limit reached");
+				}
+				return timeLimitReached ? FileVisitResult.TERMINATE : FileVisitResult.CONTINUE;
 			}
 			
 			@Override
 			public FileVisitResult visitFileFailed(final Path file, final IOException exc) throws IOException {
-				//				System.out.println(exc.getClass().getSimpleName() + " " + exc.getMessage());
 				return FileVisitResult.CONTINUE;
 			}
 			
 			@Override
 			public FileVisitResult postVisitDirectory(final Path dir, final IOException exc) throws IOException {
-				//				if (exc != null) {
-				//					System.out.println(exc.getClass().getSimpleName() + " " + exc.getMessage());
-				//				}
 				return FileVisitResult.CONTINUE;
 			}
 		});
 		
-		count.set(0);
-		final AtomicLong countErr = new AtomicLong();
-		final ThreadLocal<byte[]> bufs0 = ThreadLocal.withInitial(() -> new byte[8192]);
-		final ThreadLocal<byte[]> bufs1 = ThreadLocal.withInitial(() -> new byte[8192]);
+		workerPool.awaitEmpty();
+		workerPool.interrupt();
+		workerPool.join();
 		
-		try {
-			paths
-					.stream()
-					.parallel()
-					.forEach(p0 -> {
-						try {
-							final long cnt = count.incrementAndGet();
-							if (cnt % 1000 == 0) {
-								System.out.println(cnt);
-							}
-							
-							final String rel = p0.toString().substring(path0.length());
-							final Path p1 = Path.of(path1 + rel);
-							
-							final byte[] buf0 = bufs0.get();
-							final byte[] buf1 = bufs1.get();
-							try (InputStream inputStream0 = new BufferedInputStream(new FileInputStream(p0.toFile()), 65536); InputStream inputStream1 = new BufferedInputStream(new FileInputStream(p1.toFile()), 65536)) {
-								int len0, len1;
-								do {
-									len0 = inputStream0.read(buf0);
-									len1 = inputStream1.read(buf1);
-									if (len0 != len1) {
-										System.out.println(rel + ": Length mismatch");
-										countErr.incrementAndGet();
-										break;
-									}
-									if (len0 > -1 && !Arrays.equals(buf0, 0, len0, buf1, 0, len1)) {
-										System.out.println(rel + ": Data mismatch");
-										countErr.incrementAndGet();
-										break;
-									}
-								} while (len0 > -1);
-							}
-						}
-						catch (NoSuchFileException | FileNotFoundException | InvalidPathException ex) {
-							//							System.out.println(rel + ": NoSuchFileException");
-						}
-						catch (final Exception ex) {
-							System.out.println(p0 + ": Exception: " + ex.getClass().getName() + " " + ex.getMessage());
-							countErr.incrementAndGet();
-						}
-					});
-		}
-		catch (final Exception ex) {
-			System.out.println("General Exception: " + ex.getClass().getName() + " " + ex.getMessage());
-			countErr.incrementAndGet();
+		printStats(state);
+		
+		System.exit(state.countErr().get() > 0 ? 1 : 0);
+	}
+	
+	private static Args parseArgs(final String[] args) {
+		if (args.length < 4) {
+			System.err.println("Usage: checkDataIntegrity.java <Path0> <Path1> <skip> <timeLimit ms>");
+			return null;
 		}
 		
-		System.out.println("Took " + Duration.ofMillis(System.currentTimeMillis() - start).toString());
-		System.out.println(((count.get() > 0) ? count.get() : "No") + " files checked");
-		System.out.println(countErr.get() + " errors");
-		
-		System.exit(countErr.get() > 0 ? 1 : 0);
+		final Args result = new Args(
+				args[0],
+				args[1],
+				Integer.parseInt(args[2]),
+				Integer.parseInt(args[3]));
+		System.out.println(result);
+		return result;
+	}
+	
+	private static void printStats(final ProgramState state) {
+		final Duration duration = Duration.ofMillis(System.currentTimeMillis() - state.start());
+		System.out.println("Took: " + duration.toString());
+		System.out.println("Files checked: " + state.count().get());
+		if (duration.toSeconds() > 0) {
+			System.out.println("Throughput: " + (state.bytes().get() / duration.toSeconds() / 1024 / 1024) + " Mib/s");
+		}
+		System.out.println("Errors: " + state.countErr().get());
 	}
 	
 }
diff --git a/src/checkDataIntegrity/ProgramState.java b/src/checkDataIntegrity/ProgramState.java
new file mode 100644
index 0000000..feff392
--- /dev/null
+++ b/src/checkDataIntegrity/ProgramState.java
@@ -0,0 +1,7 @@
+package checkDataIntegrity;
+
+import java.util.concurrent.atomic.AtomicLong;
+
+record ProgramState(long start, AtomicLong count, AtomicLong countErr, AtomicLong bytes) {
+	
+}
diff --git a/src/checkDataIntegrity/Task.java b/src/checkDataIntegrity/Task.java
new file mode 100644
index 0000000..fe929b3
--- /dev/null
+++ b/src/checkDataIntegrity/Task.java
@@ -0,0 +1,71 @@
+package checkDataIntegrity;
+
+import java.io.FileNotFoundException;
+import java.io.RandomAccessFile;
+import java.nio.file.InvalidPathException;
+import java.nio.file.NoSuchFileException;
+import java.nio.file.Path;
+import java.util.Arrays;
+import java.util.function.Consumer;
+
+class Task implements Consumer<Path> {
+	
+	private final Args args;
+	
+	private final ProgramState state;
+	
+	Task(final Args args, final ProgramState state) {
+		this.args = args;
+		this.state = state;
+	}
+	
+	@Override
+	public void accept(final Path path) {
+		try {
+			final long cnt = this.state.count().incrementAndGet();
+			if (cnt % 1000 == 0) {
+				System.out.println(cnt);
+			}
+			
+			final String rel = path.toString().substring(this.args.path0().length());
+			final Path p1 = Path.of(this.args.path1() + rel);
+			
+			int len0, len1;
+			final byte[] buf0 = BufferPool.get();
+			final byte[] buf1 = BufferPool.get();
+			try (
+					RandomAccessFile raf0 = new RandomAccessFile(path.toFile(), "r");
+					RandomAccessFile raf1 = new RandomAccessFile(p1.toFile(), "r")) {
+				
+				do {
+					len0 = raf0.read(buf0);
+					len1 = raf1.read(buf1);
+					if (len0 != len1) {
+						System.out.println(rel + ": Length mismatch");
+						this.state.countErr().incrementAndGet();
+						break;
+					}
+					if (len0 > -1) {
+						this.state.bytes().addAndGet(len0);
+						if (!Arrays.equals(buf0, 0, len0, buf1, 0, len1)) {
+							System.out.println(rel + ": Data mismatch");
+							this.state.countErr().incrementAndGet();
+							break;
+						}
+					}
+				} while (len0 > -1);
+			}
+			finally {
+				BufferPool.put(buf0);
+				BufferPool.put(buf1);
+			}
+		}
+		catch (NoSuchFileException | FileNotFoundException | InvalidPathException ex) {
+		}
+		catch (final Exception ex) {
+			System.out.println(path + ": Exception: " + ex.getClass().getName() + " " + ex.getMessage());
+			this.state.countErr().incrementAndGet();
+		}
+	}
+	
+}
diff --git a/src/checkDataIntegrity/Worker.java b/src/checkDataIntegrity/Worker.java
new file mode 100644
index 0000000..c7f885d
--- /dev/null
+++ b/src/checkDataIntegrity/Worker.java
@@ -0,0 +1,30 @@
+package checkDataIntegrity;
+
+import java.nio.file.Path;
+import java.util.concurrent.BlockingQueue;
+
+class Worker extends Thread {
+	
+	private final Task task;
+	
+	private final BlockingQueue<Path> queue;
+	
+	public Worker(final Args args, final ProgramState state, final BlockingQueue<Path> queue) {
+		super();
+		this.queue = queue;
+		this.task = new Task(args, state);
+	}
+	
+	@Override
+	public void run() {
+		try {
+			while (!Thread.interrupted()) {
+				final Path p = this.queue.take();
+				this.task.accept(p);
+			}
+		}
+		catch (final InterruptedException e) {
+		}
+	}
+	
+}
diff --git a/src/checkDataIntegrity/WorkerPool.java b/src/checkDataIntegrity/WorkerPool.java
new file mode 100644
index 0000000..036291e
--- /dev/null
+++ b/src/checkDataIntegrity/WorkerPool.java
@@ -0,0 +1,62 @@
+package checkDataIntegrity;
+
+import java.nio.file.Path;
+import java.util.ArrayList;
+import java.util.List;
+import java.util.concurrent.BlockingQueue;
+import java.util.concurrent.LinkedBlockingQueue;
+
+class WorkerPool {
+	
+	private final List<Worker> workers;
+	
+	private final BlockingQueue<Path> queue;
+	
+	WorkerPool(final Args args, final ProgramState state, final int threads) {
+		System.out.println("Threads: " + threads);
+		
+		this.queue = new LinkedBlockingQueue<>(threads * 2);
+		
+		this.workers = new ArrayList<>(threads);
+		for (int i = 0; i < threads; i++) {
+			final Worker worker = new Worker(args, state, this.queue);
+			worker.setDaemon(true);
+			worker.setName("Worker #" + i);
+			worker.start();
+			
+			this.workers.add(worker);
+		}
+	}
+	
+	void put(final Path path) throws InterruptedException {
+		this.queue.put(path);
+	}
+	
+	void awaitEmpty() {
+		while (!this.queue.isEmpty()) {
+			try {
+				Thread.sleep(10);
+			}
+			catch (final InterruptedException e) {
+				break;
+			}
+		}
+	}
+	
+	void interrupt() {
+		for (final Worker worker : this.workers) {
+			worker.interrupt();
+		}
+	}
+	
+	void join() {
+		for (final Worker worker : this.workers) {
+			try {
+				worker.join();
+			}
+			catch (final InterruptedException e) {
+			}
+		}
+	}
+	
+}