From 73f5f074a4e6526f27abd20d120ef1c413c0cd0b Mon Sep 17 00:00:00 2001
From: Artemiy Romanov <artemiy.romanov@yadro.com>
Date: Wed, 3 Dec 2025 19:27:01 +0300
Subject: [PATCH 1/3] IT WORKS!

---
 src/main/java/org/itmo/Graph.java | 132 +++++++++++++++++++++++++++++-
 1 file changed, 131 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/itmo/Graph.java b/src/main/java/org/itmo/Graph.java
index 141a0b6..e970996 100644
--- a/src/main/java/org/itmo/Graph.java
+++ b/src/main/java/org/itmo/Graph.java
@@ -3,18 +3,92 @@
 import java.util.*;
 import java.util.concurrent.*;
 import java.util.concurrent.atomic.AtomicBoolean;
-import java.util.concurrent.atomic.AtomicInteger;
+import java.util.concurrent.locks.Condition;
+import java.util.concurrent.locks.Lock;
+import java.util.concurrent.locks.ReentrantLock;
 
 class Graph {
     private final int V;
     private final ArrayList<Integer>[] adjList;
+    AtomicBoolean[] visited;
+
+    private final ConcurrentLinkedQueue<List<Integer>> globalQueue;
+    private final ConcurrentLinkedQueue<List<Integer>> workerQueues;
+    private final ExecutorService executor;
+    private final int cpus;
+    private volatile CountDownLatch latch;
+    private final Lock lock = new ReentrantLock(true);
+    private final Condition queueReady = this.lock.newCondition();
+    // private final Condition workersDone = lock.newCondition();
+    private final AtomicBoolean isFinished = new AtomicBoolean(false);
 
     Graph(int vertices) {
         this.V = vertices;
+        this.visited = new AtomicBoolean[V];
         adjList = new ArrayList[vertices];
+        for (int i = 0; i < V; i++) {
+            visited[i] = new AtomicBoolean(false);
+        }
         for (int i = 0; i < vertices; ++i) {
             adjList[i] = new ArrayList<>();
         }
+
+        // this.cpus = Runtime.getRuntime().availableProcessors();
+        this.cpus = 6;
+        this.executor = new ThreadPoolExecutor(
+            cpus, cpus, 0L, TimeUnit.MILLISECONDS,
+            new LinkedBlockingQueue<>(),
+            new ThreadPoolExecutor.CallerRunsPolicy()
+        );
+        this.globalQueue = new ConcurrentLinkedQueue<>();
+        this.workerQueues = new ConcurrentLinkedQueue<>();
+        // this.levelSemaphore = new Semaphore(cpus, true);
+        this.latch = new CountDownLatch(cpus);
+    }
+
+    class BFSRunnable implements Runnable {
+        private final int workerId;
+        private final Graph graph;
+
+        public BFSRunnable(Graph graph, int workerId) {
+            this.graph = graph;
+            this.workerId = workerId;
+        }
+
+        @Override
+        public void run() {
+            graph.latch.countDown();
+            // while for each level of graph
+            while (!graph.isFinished.get()) {
+                List<Integer> vertices = null;
+                try {
+                    graph.lock.lock();
+                    graph.queueReady.await();
+                    vertices = graph.globalQueue.poll();
+                } catch (InterruptedException e) {
+                    System.out.println("Thread " + this.workerId + " is interrupted");
+                    break;
+                } finally {
+                    graph.lock.unlock();
+                }
+
+                List<Integer> newVertices = new ArrayList<>();
+                while (vertices != null) {
+                    for (Integer vertice : vertices) {
+                        for (int n : graph.adjList[vertice]) {
+                            if (!visited[n].getAndSet(true)) {
+                                newVertices.add(n);
+                            }
+                        }
+                    }
+                    if (!newVertices.isEmpty()) {
+                        graph.workerQueues.add(newVertices);
+                    }
+                    vertices = graph.globalQueue.poll();
+                }
+                graph.latch.countDown();
+            }
+        }
     }
 
     void addEdge(int src, int dest) {
@@ -24,6 +98,62 @@ void addEdge(int src, int dest) {
     }
 
     void parallelBFS(int startVertex) {
+        try {
+            lock.lock();
+            for (int i = 0; i < this.cpus; i++) {
+                executor.execute(new BFSRunnable(this, i));
+            }
+            visited[startVertex].set(true);
+            List<Integer> initial = new ArrayList<>();
+            for (int v : adjList[startVertex]) {
+                visited[v].getAndSet(true);
+                initial.add(v);
+            }
+            this.globalQueue.add(initial);
+        } finally {
+            lock.unlock();
+        }
+        // wait for workers to start
+        try {
+            this.latch.await();
+        } catch (InterruptedException e) {
+            System.out.println("NOT SYNCED");
+        } finally {
+            this.latch = new CountDownLatch(this.cpus);
+        }
+
+        while (!globalQueue.isEmpty()) {
+            lock.lock();
+            try {
+                queueReady.signalAll();
+                System.out.println("Global queue before latch: " + globalQueue.size());
+            } finally {
+                lock.unlock();
+            }
+
+            try {
+                latch.await();
+                lock.lock();
+                globalQueue.addAll(workerQueues);
+                workerQueues.clear();
+                System.out.println("Global queue after latch: " + globalQueue.size());
+                latch = new CountDownLatch(cpus);
+            } catch (InterruptedException e) {
+                System.out.println("MAIN GOES WRONG!!!"); 
+            } finally {
+                lock.unlock();
+            }
+        }
+        isFinished.set(true);
+
+        lock.lock();
+        try {
+            queueReady.signalAll();
+        } finally {
+            lock.unlock();
+        }
+
+        executor.shutdownNow();
     }
 
     //Generated by ChatGPT

From 41acea62ae9ea5ee14e796c6ddc6a968b8665251 Mon Sep 17 00:00:00 2001
From: Artemiy Romanov <artemiy.romanov@yadro.com>
Date: Sun, 14 Dec 2025 13:17:18 +0300
Subject: [PATCH 2/3] Add stats and batching

---
 images/stats.PNG                  | Bin 0 -> 42406 bytes
 src/main/java/org/itmo/Graph.java |   6 ++++++
 2 files changed, 6 insertions(+)
 create mode 100644 images/stats.PNG

diff --git a/images/stats.PNG b/images/stats.PNG
new file mode 100644
index 0000000000000000000000000000000000000000..de354c26733444f3a5180faf3cfbc3aaffb7d680
GIT binary patch
literal 42406
zcmeFa3tW<C|37X!w`ZH%<F*c-wraXo>C{Y9!ELqdWOi2bKzqzwni47=K%lL*o=RnA
zX_iXMQy$4k@r1Os$;^^@08#`hG86<dxkW+Xcin)lw%XeN+4K5;f8XDHy-d=Z`?{{r
z;r)4kKG)~EIl6h1->Warf7!yq;?;F)S8uhjc>aWi#WTBJdI9{V?xjmU;K!_lt$v?a
z)O6Ymga14i^|AlQ78bSSe@uP$Jox|Y18aj5EG*uB5B{FDZtJ4^78WJm>sEifJtcfZ
zfXH0hhlA91Uwr*8D&h5a{J(wo__^ezU*x3cBny&;U)mf}?07B=_e_5oHe8HY_0Bn$
z%M<z1BMh9VE@?G!`={~(gZ;$=O|EXO<H!DeeSjV`bz5yvi40nj!48aV{93bd(X-~4
zrKi`z(}uq`x@5g#dS!9?Ukm1$Uw-)GYFG2i-N%mZF~7X>rd7N7<-x@cCuW&nZ~Gr~
z<Ad9XlY_Y;l4iI}#3X3PSqss6xkxY9iXrFw(cP0M-a14$?^O#6@7>15URmtEcw9{O
z)e8>y`5MN2Nu>PQZY}4%l(H$R>?00#E18E)C?OftB!iBJBI#NwBrRV=G?bAvWlAl?
zM>BP!$Jj*<qL_hb6iGiRF*HdIpl2Oqe{porN4-bNH3uL|!+lGU@5SxXLtLg_#?<TW
z4Wss?mX|FQJ*eej(&JkR?Hi=}yE#2+lMe>Tfrj$d^bB=f|J!PJ3-!?Kh=RG5_;sR)
zw%L1cy`?&g342i^?9V<Yes0X~g6;y_R-^YVbvW&NT=U9yO2hzhr!?Uo7PoLfBZhM1
z=bY8YwLf>4TYg3vzWVk-NHynLu$0sizc>5m0?dL&Vm6CWa}}+&XxO2v-yN`#gD6wP
z=n|Spv#94t9rT(bO-{J2mx*?UH?QL>l`9y&O#$xThADNB?<SH8c_W<?7>$zE_VdmZ
zOT6b=q}lnV=`^Q~?rHJSo!eo*OLcX<VFikGVb(!B2l0bogR~=`cr>1wS7p^6)$65!
z>h_a9t8&i8qACeM6;}|_gcEwp`|j&@s6W*CZ@k6n1-km!V7cT})25o!&&k==kgdc`
zKlw6;f{q^8Ysd|@074e6ZR_Z1&+9vqi^~LNN?vQ#UTyGOrk<*{YWL$mV_~5!KPtl+
zs7L$W(z6N*Qw$?kLW_eQ8yAU7I7ce=_qQ^Eiz<gdj}Ig*iAq$ij$ihog+=%(gYDQ7
zz0+8=2EBo2_~tc>pl7YxQ}$^{8iLHw7p(J5`+40N%{#@U1x5O1yM*Xxn(GmI-zyc7
z(S%|8i*3B*=<nZO#xs<a?Q<>Hvjup>FuH_OE3M^-(khRtRhlBv(jkn!p)h9Uu6mr5
zw@4#d`vIiUOmanuLzz*`u0B%cI~nNMZFm`B9y=qPy(PM@m=qI^LizH<Zo0Ee7K;rD
z*>2))(wq-to9kEVDWuMEC@Xfn@f)uSSt%QxoY^~8H{w};YFC^MB`@61E3<zSHMy6)
zqjM;>Q8r?SX!Tns*+4cdQ(yCIPEZvlpH#Je7|uJ@Pwr<Y8k`7D87vfPyeA$(T)fX-
z$*{DGrE;?d5-cl54@h=qY`{^<Yb&sY!{;&sdEOnKIqJ-Bo!m;fF4723{A;;Ik<n?=
z$v%h_gVKa&sghz4QBVpYM>dr+RteoyVR&qu-FD02iS-3B*j8EHW<x>EEUXgoi8gVb
za<Dq5c~I9ZXrlN@zDl^9UN~o8sLZChL>r%o;MPJhaXYlBvc@hRRvzF?Wo={Sj@Pj+
zQmA5XEN^T$zan-Ao1yC*nYsY+VsL3JIp?N*K?psO%eF6JlNg)wg{4}X1SNj$ozAc3
z^AoExH9^sN`d~Gc8xoN-kU)u7cPAokGO*>boH2;%MH{)GZil{Q4K>B;go!Gz-A1#4
z&PFkU2iE&esLq}_jxXx941!+R?klt2qElZG-qlRv2vMPNQ&)QV>+N4jWQeWzRd3*l
z_#+-d4PDsaw~tWGs&PHDEJRy`9?4AFq7BzpcGwW+?qE>rUh`wV**MA(Cw5ud2zs^*
zw5B5(8xo3!SKe~9<99Wjyu82sHO-{7lv||rC3-F;@29c2@(o><UE<V0iF)ETy+^{?
zPg%oo-j`>0q;Kx_&Y#C<nJy4%Csp>o*i%j9G1bB)%3-IKULyCn0$Rj{V(q^O?cMmU
z(^6rVFf4PtmRl)_iA=H|5$%!1(A>O5_KhzNk2Nuf0~uvVQOEGOjLBa{kR{p8TP5(#
z-Qr6ew{i087)o_(qC4AeC~Koqs4kwBEEz3S(vM1}igy?gQaL9ELd0F~VuVqfiB&aU
zEMK=x(dc)w$R(aIFs2v83D|ar62m>gZCsi$jcUD+-Hhd8i`AJS*E>rxo993YUiS!2
zvZ(p={p8OGYdCT4aW+y<te~#&m|e5>)nQ>cg4dyLEa@mska0T)VnT88JK1?#)Z6%T
zmAOqQ#5m3;ZX~M0(pKaWMbx&COU5IU;u>qY3FX>h#Rqk0F+uwID{X|r46H1c%amTf
zR7BLJ2)Gzk!m0kKD4VMxiXB&^r`NV^*nnOWrLvA@mh<Km5TC6kL05SbZM)EGp?hA)
z8uXW9L&Zw`p<ZXSIG&KMPP?FRMq`&YQK8SueQg>%c$ZsC?bocKMM53LA@z=(71@~7
zg6-BU#IP<=awIb~(gtN4C~s=3L8kOJ3?KQasBo{gTfCJO#_F@*8*|o+JG^S|uH^o*
zzShgadks~YA*8iv_q_x}hW$nRzP(<V=Ov#;`k--rO)s=L&yE`3*DFit7@CxIb_v4=
zmoh9lxENb8CZ8k2@b<0~4`>AfVLWxCY^k5%JzT8AzJjJ3O@%m;wn-6D6)_*G?Tt|(
z!+5I&3%lo>TK)pVexH4eH%*r;30f(wEwo3(TS_HuglcT>>4rf?s%5O^%-t@R5ec@h
zFG(OH+bk;*Bb(^dK9|o?ZzUHl8qQzhB|JroSkC9=a8ucn95&}Pmx;9;g19$TQKi==
z^gG#{x#`+1`~cp;^<p01n#XUF)mC0^#fzByYHeP)Z^Gq`u?u4Z*mWUF<-UT!AzI9N
zaTsfdFWt+aVbI1musQvr@S0p(iV{;1DT^v$bC~Wqy7}_PPX8VJ3lbGnZC4rjfjB`k
z?;Lk!=4aS0wl9sA!xczJi8n5&2|gkmGg?a{aKraXQ&d513Ez5EYJbW?z8w~*M8%5x
z)a5u`*W|gq5dzIr6^WA<>8I0-p2me?Lkau6?p0IeNXs_DGf8c$UBh<?R7%FE?Ch<H
zS?7Dt?)CN6KJ%f}<0njkANm`{z(gB`%S&Wv)>PQ<7QASy+w4aCHeR-E_}SI#I;2M~
zUEc4Tta|U>etQN*Jh_D>v|oxlE1npyZ;Q+>D(r6kJYcv1+Y*+mdsjfPsA91Q>$T@`
zc=09Ow@V1O<XE!3#%Kz5-iWfcF(*WL=Sa^5bxD1&LC`hUP6%4YU<6COwqR?Lm}hYN
zr*@NybNzW(d%kC9lSrHpnFQ>?rzdPHRTg>Ta;Grdi-Z;65K?iJng-1|NmKU;S$O3k
zf>S16W*3tR4IwVrCyTo~3MRiC=w8`#`S{%|m)@~pYHeSVb~L0jqbM@*I%gr_M&`$k
zWirvIPu{wMFl+(4n81;9f*Q0js1C7~zcJaxnjNBiqgrI$DNI%p3~_WtR6jYdDDrX{
z2Co*1Htdq*v1`_mlLgrYUaSG6j941c70F`1iun4}Xv%ts$0mn$7GuZ7SYm^$RE6Z6
zzToE-qigZzo|kRbOiZ+LwOBU(-#xsY)gBpL^P1T91j^Q^w&laM)^zONzAenwoE@AH
z^g@AS%!qVUT1-7kV_A+I1Qh0S)369H_SIYo)vUU;Oh)B#UByRk^;z%n4Mgu1AISs$
zEaP}|yV<|o-6YU#r#8FBcSz@;bf^cX?EK>Io!*WksCOBfT!t*?oTAxZ>Itg9?5s=C
zoZlkNAJSp$qkHOm#QRX&(df{6`vA!r>1bALllVd=?)#1Gatu?0;feDI^P$%3Tea?d
z;ZpIO?{`W*B6M~0xVrN-)ihjVZ-KR>TT5Uw9%Ly_BxWwAZwiZRVOIz}bpPU`R>w{L
ziwkULw2{TO;diC-JIInXyK3y2YP()CnHAWf3KF^oXLVjpTE2#y`PnXFy^z?_N!}Gz
z*7+^o(HCdGM4Hvw?V`d4$wm?c8U9<T)sdHJl{I4v<50)rsN;ezv1d$DO<lMo#b$Uk
zC-Xf7@iNl(S;u7*JEiWz*g1XkHsu`moVfg+Ru6%npb$xv=@<>z!pRY@9%_L4V7F3+
zLzG3>KtY_83S!!d_CBkUefb5K19TJn!=O+`X+7UgUIlq|2Ms6fD!^lzHLNyFJk=f=
z?G2)2)nk_k=;YRby8bu{T`Xg#hfyfBNZCq%ImO!#(8?;QxICta8o_8=AC?QH*mmUU
zUP!tMJ141Ot|-0JbF8$FI!~0go{_~pyP5F*&mPUH+e;ZAkGu39dBtP#cIxn8=6Q56
zBUDa~3&<Yd!Am{4#aF03Z_kxp^~cc^wKWZd>VbZ`tiji_w<%gAZPWy_K2l@GZ|`h`
z-lsd4<XSUdO5ba*!G~TpoER@x4{l5hw#~(SU)&QG*vsHAtrL!p>R;!JxgD7iKT|7p
z^Brk8O0+HtYHf&&*6CXKb8HXcIg>%G0a^Lj0z%$g$W=^q_vjqF?g_=T;Y&g!eTsh~
zEUoCBLe_j*o*fDyL}vD@L$;$B&PBulc|=M5uxqnrXPW~Q1PG&AcnF8b1q^9FT9)mQ
zg(g_W`ssYVzSh~fAU*hTzJ*)))*_KWwspHa5RnvsQp}BJYU&`-uutAFp*t3ME!_`U
z^qywEy6;>kw2K;tPO3QtoVJ38K%)2+tZiy~D=8O0PUH5m8@JElWO?mcQ^c2z)pJ*h
z70Sp^NguoBXseJ=kB;jO$mIa7yO3Gk5uSzO3Y1vbQz7f8;%dTq>$JUOcD<xc+10s=
z>XC6O4)61}M=f7lLbXpw3?t(R;z{BXk4yk5Zi;PnuMuLY&7I`Yv9dVr`{Me}rQYKl
zGVfAFcpzE5vX50p@zb<au%z?l*jdysVRt63s<gz@rIs&?t@FAqt=2PBN>pb9y~kb%
z*1EPXmYp5nqRLR^3`(CZil?rd2Z<TZ;@ow%FP20QPKNWcYQ>}fNEpU+w{{~t8=wmq
zRDW0eGDb~jF0RFuxO-!Vsx|+p6aJo!A|3ULLa=upxyTVGJ@gsMnNbz~Y)PRq;ls$0
zJ*Dc%`i-RBw(M=Thx~?f*`peN4J4jhS2Pxxbba_{8&=pI7JpBZDDz3M`H|t2aU)Cf
z<<<_)Xr^@Z7@y^aQGbVY9&jlY`{MTxW1*W%u_NNu*AU8Y<rfTotc%QpnN~|_@^Nv0
zWPyl7vX`X1rgDusZ#Nv{^L4*p!O|rNqBzynElze#*5ad?x2%gdv;u3htvf}CBY$3Z
zgQ&lbXDYN?+SJN;HnB<fKICQVEHH%M+n9)tV)Io^n1U$ZW``)0GQ5lo={<*ox*IBq
zHyZY%nrZ1K)n$%Nt1e`lq>(QX3iI-H$ZjeHO8wfJmDRe24j{flQKqQFI$zL!xjsVf
z8n?tYL}0H<Xo;iQ_lTF)DR3=XTM;j&0HO)mxG=Hgt=)less>rFiky0faQFI)r->Px
zw)3npq>sxZ$-<UhxI<MC=S6zBWMa_0nmUZbqHv9UqwmELDp)11-I3a7_t}QnMy(Tn
z7$RZd3fy1N%v#Ut&Y&v9ePhxKj)FOy4qL)p`B+4#VWcChzwEMeMWKBz2eVGHCSJMX
zxZROWuMZ(rm*SWe+W8_}Yfd$^Bl^0uwhx(sL+$NQ)$ZJmn+hM!UyI|HHzVsY1coRo
zGgx`*Q(kI7@+L-2?z#alynT%QUQKA1ST3HcWczg&?<r?3iL+m#9wJbobetf9OxO=x
zR9buOCQ5KtQ&_1k!;4n&w-^92D-#%`ayX)n2CWwru_RF)ClhVRDtEh8q?Npc^Ylux
zZC7VaYo`*y?A#xK>Y?mgPo+8TR5ccjwm^1WaReogkSy~C8ZE7La$m#9NBV}87K?{4
zHHxSK9b?D~Jvnk_NET(aP2>BrhpjcDEvuQ>(KR=R=nwTLQe>kTrnV778Hkc)ZQ4xt
z^NwK%m+!=dR@YEk1BT|F6gm@hMZhz)*Qy6<(^c;5rhsxU=cepq!~icEiD56U&&-jJ
zZ4_yZsLbPHa{48jMs{7R;<6TL--eyl3<^%p)uOo{&@4af%=5TGr1f}I6UVwNPgms5
zQ%i<k-O8)%)|{yc6isPXkr;WxYt;eJ%^hoWDTJVS^tF99nhjfi%#a~2i|xp@XpdGM
zb9<m>)lXSPg^8%`%3Q7M%|ue$Ce87~+W6e@#q#4)`S2yp;JuNC%XoUQ%Cmb;PB^!K
z#@MLCD_@jwwXPwhypS!!qj=8BZL;~S1;eprvR$m;f_Y`(JExV}bmV>dCI;)e{>23z
zHG~2I&R33YbS8tO%O1_JltRM}PFu-j;h}Evr=lV}MPY(l*ROH;;+3udZWV3k8YJYL
z;noj8j8)CW<+s^&r@D^i)r_e%={s@zRS9Pb#fqDmZDU;g>Sl<6Qd*ku)hz>?z_wpj
zgcu&TYh>nzk8=U8X40)`TtueCPq`{gxy~!6$Ym*%R#KCjq&yt!?13jGvL-)|s^+;U
z0yhYT#Z5Xt;i?nJuY)O3`714B@}-ke!ZI5k2#~U|gaK~Xr8s*nBz9?J;YqSu;fuPe
zUh=T}tdVp8pe?PVWc1u3&F;<U1=XT&K2WSGY#o-KUGJQW{IJA%3!t}}K|g3TLl)B%
zj?mNWf3~3`OCmg^EbXfMeHc&ex7xQE6oxaTocQ*`3^eK11xbNsbCu-BEdc;&HJ8hl
z3lW$P3$3wB3H#&vE(ZW=gir$8;S*8|QumxC*bu7XY#Ae-uVI~_OA%@~!-2JhauY7Z
z;ZOMuV-v@5!@RPwDmC7QBv6JZPL;qec+?Jmhg+^bJv#SnI9c<25xeLZpN*?-Wu6oU
zBrD#cBL%Dw<sm;w0#2WW-<-FsQnH2|rDRnrzpZA~-D%;??X2gMDYl2eP^#ALy$cD$
zE-LqxH4!UbSjX7O8_ua_3C8~^;QdfNCLG&9mk34D7AgCAjqmB<c!ihJX|JSrnfl*b
zss6fCiU^-J<amgPsT8m;+gFos=dibem5+m1J9>G46Em0CqTZK8%;$*ZP0mo?K*q<z
zM|ob7fz#^budhwaW3n!C5q42sk<es#r+<=kA`>Cg7V*OoT(%4`32@ifR}pv?E2)_+
zpoWN6olv-it*R>+CH*^D6@-)`Pc`6&_g95bqKqCnsA|x{G>HWTY3D-yTXnwwE>3vk
z=BuE@l?r`#-uK^-^+Dpz3x*{0e5fhBbSwHD-Dg$8Z#1vQr}gkG-62tRcn|uMQ==K5
zkG~MimwV_(4}HwUlzOZPQ%<buXKgk#S?;bgC=PAdh3cubhQx2Fzu2?lHO*iks~(%H
z2+FUGNcP#61|7o0(%2aqI=*$VBS3lF+6uvoZYH#H>Tw&}<eY?lYWDcPdgp5TN~cN*
z)0+!uLfX`Q-A^mDo*xXaO7Zng%CD)6-wW3};_|$lA-iwd&czpVcWA?PG8axQ52r2k
zAiiD*`*0IE7Pg9OefY@K;^yLTUdN(+1vmr;17UiJ9Ec;9DvlGJI58@HFJb$xSUPV9
zKN08Kjm+flQy_y30$C4>Gm^%X*!5}}M?Ir$35cQ83iay<B!Lj=W696cE9b2$2*q?<
z2i8K4_^>&kEb>fvauHtJ9dV(-rLe%UJ*o-D=(gH&7X`#^kX~wH>_Yn@!)5)qJqznH
z=P#j$$|A9NT0#ZZUhE>h*`SCKKn<<Qf@aEla=(n=FcK76-CWP_cCD_@sxOlemx*N6
za$A82-+1ljjxKp&i8zektMy0ll#3x{%8jA%3Q2g9&)d9p<j>05&hw}g`!?~&sI_-_
zta@eOJQjm1kX4bOrXF#kM7FS?E}S?(T_LM!E28wgmbg@vat3diS1y*y(+OOViO?eU
z<CZdNkc$2`nsOVbKxlcU6_u$zPV^auVWY25)i4mT58-}KmlByqYAJbf_lw5zv(QF!
zX#IM^+@C$Bh*vLoe5O0Nyp3@1XC99vJ5sM#?qYU()Q6XzmsLdkY>9pkj^0ql<#h3R
zzMS<z5iu<k)njQ}L~Lmb@jY3mdI2Scn$UGh22=Ohr4!>Z#oD|!DqT{jboO#`&%ve9
zpp(K}oZtekTbxi%*r%Bl=R@6LESQ8dz3p_jP<$%1T@{MI2is3MUfog{BgXCkIr3U{
zWX|Xz+^~E{=1^-{Z%Ub>AlxbAGy4!}O=l_tm4Q)T!#AJps$JLZB|B4KyDGA!p5KM-
zN0q9Mhwcg-<~0y{G2Ts<b^`Cc`{=?$+kL6paxF?`%YIdUP9K6284!g><Qom-^v}FH
zK`6%vGVO|*cWN7J4J(>a1N>aORq~=9zCYU=>JLYI6&6YSXrpoa3e@?iCPp8g*-V$=
z|3!IL5P+uYW7Wcib_As}y@lk9bC&6Tma8Ik6Q1ih>}G;<e@_FW-&Zbt&(_ZurM+9o
zlMDZq<g{ZiLV7oE10;qErG-?8+_6JCI-0OWS4E{lsuZqRClWX07U8!plVy%&b?#zz
z$^-MTfik&{n^0rNO8|-f-Sl8eU1y@*`-mKMYrtFbQZh>UmRNfo07`$3QwSeHV-Q2}
zLr|~R8k~=KQl#c#m<PkauF}-ELY2(_oamevlz>1IUn;kJMf3F*U-j7?j9TuC7geR<
zvTk0W6oT$?(7P3@E)w786%&>+(nC<?9^Z$P&n}e_I3Dcvu{7lNhDgn!uUcIy^&f6$
z`FicDZ@XMb<-J#@uVwWcG!|K0S^nhapT!|mY&0ryM9LJzka1E%Id5f68Pbv!!NuM{
zri{<c)bcynZ6$2E7qM)-yk0~IjLySdUpDsB3P3nh=JUI?--^5JFU6#maXs+D;mFWv
zLzLum@^>Qxf$p!>A(Q3YrUBi*N?GsAQRK0dR+UR~GL(?ak$moDsg%c+D&IYI_wxex
zdIBL)DoJdmH=%YqGV~fckt^?YQHyDrxMuoDQM09VjJ`$?Z@IN@Bl$=vH(MBi3nAF;
zz<Hn2tSoR7kYdMv>T{{Wa$2u<_6VKng3%zaI(cIC`00|`Y64Xf!{|g1hHsW609ULl
zq)F@QuJ51Hr1VT8rG#n#Yrt-FDJ8vziEkr9!kP@VRXb1`jYio@Q9Y<0FB#Wy@rRS#
ztXW723!hpUAtwyQ_6Bhx80<lzZohbLlC(AveIb?`)7`keLxmf7@MD-7qS^5;u<l&1
zOIYF|bbkSxPQxsV>nn;Fj!;5@Bt{zKBXeW0IO4ii+|rCK&XqhtpSY!r#?_vwIjX3+
zqk1kT7JYZTGP69>E#vA&b)T%FwnA>75l}gZ?|V?FF5jx%p&NE}7h+$jIa>s1Y7&&D
z^PbO!)>CM4E!sNGzzCv>k`Si8*(5n=3(RVu-1qg-uV-1zQ(t3OH<b_EDU3W=kYTm_
zN`;is)G5X(+rk?HW~IFCaN-MZmzB?0uo?o1aq6`4mZ*8Vqc;A$d(Os1%H!HM4@P~q
zU|xe&_CkvT>G(lO5<B-AK4(@^+jFlbeYg5S>u+xXc|5a(KEzz|(ydpmmfw8ds$F{r
z`TVV5u#>7-u05m$yGjE~W{oJW8?xWu{k+a_J>%$I-2uuo_m}?Hc1O+oZRTCrkA6TK
z_jf0jw}O37ZGf*%rFCXbJzy;)Y4{@jI09TZkz$$*<!7cr%QWa^R3?$Kxw^dv>}HZQ
zI+i_YN=FwFwc@w%72-;96)544g565pD7@{Bv@`DhUUA%#UE+?Jg10pd?)$vJ?qhPP
zRh!qoaPd}hhSha=n7QU*KJq^|j<yYqc5T%EaMifIN?BdKj-#PjQqN^Jvc7Hmh&2c{
zXGQvyx8MQ(X&zv+RjK=yUD>70hRI`Y(GR9Na-9wCUxbRkUj#O#uV77^*G@Z0HRl~R
z$mrk5JhH)7^g;I5#*OM*|I(G&NKxQ^x7>^y+PADGcqAQ9X>}ALb)uw(!zhE($cUke
zNjwC>Te><l*wRJmDVI5}bx5^!4HOhhGvt3#l2eT>_N}}>#`ZPvVxp`HHR{+XYNhD=
zYOEB=)A!bTlGC?TVr4FYdqGWy!XQIvjrWhxL>_M?BS4q@4GWV8ZKc{bS2c($utPC>
z%f$*TS5qKlsSFnPxtTIgnY&<gts!$cNe{N=Z$%jQ;qTAx{UJEu-0)%fT#s30R{wTy
z-|0)Xs#>Vy(;&^UP2-KTgTqSiIINes5d5oo<>Db;FOEg1ahZ#7UE?(?Z!5cbU9y08
zj8At}^enR~U~IIHC>f6$iS()O7hz7+pAQ?}qi0yP*P%8sxwbNdt$i%j@yrsVw$hdw
zcl4286n-?a?z=M|%8vGH0v&I)%^o;YT)D1s6jQL=#_{VI@3^g(9Hr5ppnGM~cBDF_
zLKkwiiCJ{!+=!$N+ly3#Qoj19xe$hPsqRMMhc&$6yVcrPrNmZpGxxTN2oa0hf8HYB
zz-ZmZ@6u5vSUy8p0;)Egde!K8mOGNCvcce*hl6l^n5}AIW)xqRQ0W$D1(c~g4r}*d
zz(<a{fkkIFt?1N;{xJ0Uf&;zUEgj`&E{@1~#fiEQtJ0#v)dl{W$BW}MH-y3?7@ayZ
zYg2Tl6)1KiHhrQ-&*#NxCfbfp+GTsy_a`y+uh>>DcfjsPOnPm)-l@X%6w9j0;+3l(
zFl@`@*dvG+P9<&xgQwV=MD)zQfB8dq2Rz%o6FOGM1LIyjJfSH(P<6DW+Y0A3+@E~|
zvhFU?H@j|{C}D-5E6*!zi^6Nv9bHEss6sBef5B(I<-O^f@jVI4_<V1EwjFwYcDHs5
zD}~#I>j|P4jX75PB81&Zg7N5oG7Q^~=y%5N@&LmNUo<)f<w{;VtMBmV{`H(idvz=J
zR~PkIwZ<*DNIYJT;#vI!X;ixe%tB9&XiC1Wl~_fuwjz3c5yT&n$KX&ONQEvHJYIyK
z)x~{PI8w9-`+Z|u3v>wzB46F_dn&Vie|%!nR2`~LAO!_0o9aNiJdy2Qh-)cfAI0dJ
zIzzl`BvKdoIrX<%+2Gy?(9m*F5&?Hm+_Gu_I|k>ah7qQt>$bM`uJcSmc{$+%wgO|o
z{d0@sel2~CmVOey^<sTb;)&7su^Yimq`CtU=elJ$0s_;QeNK0_148RUtqM!Xm;u9T
z)}9qB&tx*`z8gTbk>BO}kFBh2{F-#h*%}n6#bVOiUenx6T+p0bkO6~6A=zXX@A&_-
zg6QwRr~XW+Y#n1)Qhunl<GsDn@ePjauwOQ)L^_V>BZZv1CnCU8+6qzfevXwb5?5P&
zq0Zbw{tm&+3KfTtci<M#9B<(XgnW16r;aH0&#~9rib-yPWE6|mG|%wj!6HcdU|lth
zT)Rzs&amn*m{4B**`di@eEFtCgu2EW%!drZ3M>^*w{=p7)p%E`!vOC5w&5QJ=4r~T
z6VG>6mpQHg*)>Tg7ZW$C10DVGcc7|pQFTOb_AT+<hV`s4gMjQoh%G0@OzrUX-8ABW
z_^iSTD$-}5<>wqzdQPi|#p?o-)943eq~Zt!TSMyoS-gy)c+^f2>vj$M=ABc~Lj`-P
z^)J+{&&I6N$Zr<j>N)zIMk!1}ml>))9bTuvoS>ojq?hkh;aL~dv=a{Y_)DqzuPcsn
zF=^0T4Qh~>om9#zB7Ofc6tpujy?Ktutb(TPgtSxmVo1ct*awhBDT<Sq{lU6hoK5gC
zt6))eFZ#^*;m`a}LqCN2UmRXtwCRL&5t>m-3aLA9)$V?Km(1GnPIO-3&s9T*BYjsm
z^;i+#(k;6Mwi#Hg_FzGj$9G|T_~jiisiA~AA+a?_x$f?<O&{e7?|FV(Zq<Bh)Ps!w
zBrz1#9kHXFAcr_at`{z!1$t#Hc&$z1aLLV(9=UK~wLzGPANZh#)y*!80KFhrw8oyF
zTUJA}JI+k?%)a8{6+EDVAd%NRo}oHB)%_^XDjNb5?I!PNo83xG%fH#P?j~lQ?$z5_
zPG#DkNv+?yZu$u6x~9$<m*%9PN8!(kpNq>_<t)+fSrc%F%=&Pfm?ujt$7YJDVLPK=
z!S9!j>XqcewNC29P_{Z@AB9{9+Djgp##$K#|9!Q??dX4ErmA^6vyW>u>lv*M{kZc7
z@-J4-{^^V-CsN9k)ndM^aXcL3y9Ur9x?e&6CVA8{KDCl?fz`Hd_`y$ePuV#Z999g1
z>LMbLn!pSmU}r>x;821Dx44bc6hX>m#iiVGl1!qn7U7oKimLc-xU>5P(DIZOrSi|u
z0`<)x9O5=FyLbYh{s#Ev0b8?99oCUu)_`A_WADUsrxzjG=ED77JhQp)KB1Z$@f`R?
z=n<1Yp3_qrUDkQA9=Zzr)xzQlon^h2C?+v-rvL2qQS1Ndoo4W2p3oatUgp2ZFb;ad
z3=?89)1c}JAo<+UX=GFpDsbL#!oIMmaB+*I$=pA;J1QV=ZOv?+TQ*e$s2i2n%arD#
zh?DvtMrnr3du+Z00XM7}znbwW3xXYY$8=*?jP7FVrpDNYy7UT)48vi*JCNP{=zWs|
zbk^;(qjw8WE)%bgHw33^0y)pcA;LQfQ!~a2W#$gRgMs%yvugKx*L%|<kn0~E!0GaM
zp325J^N1<W+q-6kk~%-J4*<T4@t*I9kD_9P2?Dwl<8b)(PhNW0^v^fspJ*-G)$zI<
zrRTb{4kwZg8GDv}^UL2~|3v7`exR^wN9@br%B&v9zOios-2umLX-j2e&3%bimP}k^
zW>w+hgE?$5T0f3{nRhsD<)Z@7F1Koj&bE8)3o&rnP>T21nZhZK$cf0E7U!+E5I$K0
z+21=M7JJ8AwU;<1c#F|5<reW8j^2Hc{>xCB+cF+CK$~%wea_(!6ZGD(0?bQ3=!bv;
zLPDzzHa|}Af13WKHr5@;;n;cN!s#Z-`#vH5GcA>-IApx||AID2c%Dx%-oLi7^MAcx
zKL~{K@4;z=IM0_8p_xywaWlGy*=#P-$~G?I9hU8XP-oY3R7?RaqS_d!7P$AIHUf5c
zaTdKjDopf<&)pPU1s*voB)cZcAzW5hx6%K7x~7p^qVYJ4k5^xh$ybNMv=IIpQIwMw
zP706S)zjueR4I>hSn<fMQl8J<xJZrGj6WA^$ajdBd3^ONk89YoU=rk4q8=P@$2dRn
z9_5I8C%#6z6VdsQcfbDNjno`V%36iN5AU@Pf6wDf(``iS|FP(y%f3-}($a=j#|JDR
zTh&8j`ycD!NAGH?!##re(#BB_lGfv^m`~{Wj{uT@@DqFsHj$P*l|2WhhGe=Mb+{c>
zaPc>8{sVAxS)oi7vp(QnQk&>?CqF92s(o<YFX*Pa%A=wv<JRqzkNsaD!7a8Fljs0f
z!$~Ri4Z930kExPRo6*>U&W~QusDJZQ-5S^XOAQlbLyDK_`YSc{XV$(@c*B2gnfV6r
z{?+LNR&9%?F94aT!@yw-oGpW|i%UQaVz$R;`G9-CUn8KCdiVGLufILTR$=#zQ6g7f
zGs>%Y^UDW$w-vKYQiR)YfRJ7;vG~g_ymf?%V!CF%@?6~3_n*HaJD@)JrcobBS3t$Y
z>Nme!?fT(uhp)C;w7iyVxz=bE#)9_W7s5hIy7F7`-1@f`nHPWRF{I}~AXBfAsU_YD
zEE@-Nj<(i;AJ05<3)_JI$mAq`1M2pZl|GRR8XZETvZ<h6)uEQa1uWJ=ra=%xfnfHN
z!Du}0{;=jU8<g3L15?dhh~wYF9fQ0$Oda2fZXQSY_;DcgqGo`V09B|J?R~fwhv^Y?
zj~_vO^zNC%1^(S!^ekT)jEmOVggG$}+p7&m<hZTo0iaOsivc-`w<o~sY~4Y23wBie
z%OBHW^~rd8^NYm|gR{*{>GcdCt~)uD!QhFEyDxGHOO}08^+s}SDSQRKP4Mj2fd|u&
z`tLRZWh178{b1=7d}+p$XSp@IR*Z(YclRU0v+D+fjUnjf+2){a51Fx9PnLOW!8rwr
z!S!7eg~D@Va1R1W%@e`0HW}uztGf?)-P>sYh9*_<{^6tjofCZK;5;MH2J=}lkAF|E
zXs!O0Xx9l4Tu4*T`Lu;qExvhH=JUKZfnmbW13!SpHC}^>zhLizMibk*!T^f<lF`_?
z?V>La|FDhhhpgM7viGGPC%%Y+M;yQB74V%tRB3_@lNv4wDD@VF?N1o$Wvliphk-~g
zdhk+T9+%((jLvP6%3Cm0110Q6*NnY6!iEY>2=#`V;5zsLDE?RhU4ADFl`OtVks;vY
zJQfERDztm9?Jz>v6Q=xO)+-wufaT&73d(kqYSbp!F&Qt&n@%5i!ZN;xeawmb=Ex0f
z;g`Bb;Wl_Y3(q^P0i~f|!SML^0{_<Fqb6$J3wY;=CIyGOzis$2xbi>ANl#gxU8^4i
z$-iNgWp6mq1x}ZZ=SqypsT;}5m<VSO;7Ij2M49{sr24D%<8r<|c}j2G0MgZt!&^Lt
zMu&tD|GUyX=G<W9#uEVK+7Xbf6k|Sx(1!85@%}gUpuiw9G($1C>9k|~-V<<XaFxS}
zm@n%c_MAfQ%x;H7P{?;hxE5m3q$yn)mptixSM_V+b#3SX?l`4xNVG;Fn)0`5bRSN;
z_e;2a9Mr=Rx5V+AC7O^{L{^9)QxmYsltnxgdb0_4yaF&C*^E0l@WX1lRxuxd`j5+e
zJ7{Tep3ysgc)uYu`?6+C0csD=pK!keW=i+za|D3^{8$2Do9;6my3fPWe&7Mkrvpf;
zx&5ZT`G+XOno$OcH34XfF+4v`HK~9{(6TQp0@kWPO@ldTmdTT4NnF_Iuy09)!#CIy
zNmGrzY$*8@KaZ!nOWhRe8zV?TJjs)hBZj_k|3$nXs!E9=!O)(#sHs<P$E)UhWQ7*i
z#<kczDZ<&W$eP-MbDf*=!jrDxgS#%eq{Uyqf_PGdp1Kdoc(K3?p2=hGOOJ|wLUg+%
z09eGn`viOVZG1~vra&4KhUMy1m&XL-D=`@L7jS4j*T_D;IPkZDHT-z9WicE<ZxF&a
zHvX0c+}|}ocn6N@pDV`x^_Yl$katJ%EKD;#N}$ZyR`c8F-12s^y)jcbqis1I|63|?
ztFA$7<hwr)NPaw7`CG)H{wR2HD;VJ5J*4yFLj2z%u=rmq0@(!9z%$%VJTuLWpRiId
zP*_+$LnI$>F+oSpez<AhG=qJD*~#FF#SF82)OJtVw-R;NR=d6q)7Ia+@GVdVHS$;P
zZHM%2|0Cu;<9D`k-+Pu!NBSo?Z`D;$hgm+&BA<W&*oN8SlQU_C5k`#p0q|7yymx<r
zqQ|Jlm}3Bk)~0{+3m`mZV#bsRY^)I0to;R<UIR6w?&(~^1aELE08)}$$c4o-DZt~j
z4TnmQ)*PU`v2_Nh9=BFFN`YlGuwVKGF(0E!V<rZ!8;Cmm3vNBeE{v%WxK82r$+aEG
z#08V^28OYpWJ9ls#I(W{_D4y~AKqvGg2^%pQG;B0b_(7+p-|fgc3L%h<>5`-01v0)
ze>7=hjPE9D$K_-{eYlCzkfv0nq*V=$$)+M^1R4&fPg0`UfWnV}BtF#4a)=98me0O-
z=3@11$reO7>7U|<NX`?bZSrel?E}bY&w@r0pY9Opj==DllV=^`WBN>m<C_#XMSa8s
z;FQ^zKN_vT<kqH=S>WVFP@(u{ht7~fb->^k(Dk;^B9*ZMtO$WTv#};JGntP8KF>&(
z`Fu+MbUa;#_;Fdl__0TR9F_TiU%u4m0fOzF9LK{W^FZ~>SbDJ6Shp9QX{nw)Soo7b
z=W(L$qf2W51ppUO++a`3#T1kc)&Eq8VU#rtwue9R0}1{H*EO_lAi#mT#y1EtDD=fm
z1{V%qbvPjqt*u$tPa_qbW@e=?`3>Y4D*$kwZn7>@7&lf0<4;*?N%eu*?a}!ySZ3V-
zb8)C4$1Fa$=<)R8gE{jz9MMR%XfwBc5Eqw!xtaob<gr^y=_SmtsVb}(`g8NjTkGUr
z8)8MX_4t^d-B>W{ak!%^W?*%EYFpDN4rWe|fQqr2U{o($cd#&_y0P%sc<qS)BGSpi
zS6(Rm4zTq{eBD?RFi8h?cN2OU3!5h^_XDbz{gcA5&+dRF%;g@z9HTJdnu!s1%*2U$
z71W$+E^$CZ%R6Hp8KWD2;|*{<#5Cq~<-}BY;fn9Qz4fHgFW?eu9H`J-af8zn*#Qsb
z3~&a)p7TB^=FF&aX4Mu!WUc<2^8<)?20!5I_Wk2lo=HMylV>7b6+F9>pyo0orJ31)
zQ?LZm+AW}*{1C({?iI{Hr?J#K2<&HO$upj0A;XC5O>>`SoM4`*Ga&)M0pgucLFr{i
z%%+>b)t@W40rinL2Z15akWKFGIN?l8y$BbMw}8CCIMbP0ma*b=(N3*<_tQrFN5Ak)
zY{TEn{okQoBTfY!flV6t7;GHQu<u?o`mYQz!%4XCZpXF9`jpWzWd~r}lp$b-A$||w
z&!;A*Vmy_38WT`kg?81kct#ma7FwPIK=8g13~JOyxAX$!0v;dRAl&wN-!k$S?(J4z
z*mGf9ZQB4!OUK}xj(Zyy0CUW$tJp$#ok2%rh$nc;-%|mhh=+$2F;iIn1xUHKLALkw
z;{E$Ze{6#PkIRTSp@EiIwcjiR9O$Hx2l4R6NNNlG6%K@6z+WGB{F!3aFQMu+P-TJL
zx#oNHW59=d+baMLZB<vHN1gu>W?)7!P%U{Piv8}5ehZM?+d``+L*oDKH=D*`GhW*L
zPW*U{muiF)TcCu8HEN_8)5K$1J7ztA4R3HMoL{EQ2IOvwk>CMKfQtawhE8J$kR4!@
z!6XevcO!Q({Sp7sBcs7PVAFi=DWk%}E;&QyrbjbYcBiQpoUn#}`KL@5?j?962Ek@H
zZ9On69Q`L?l;=&XQfRDG$PN@dve3uMYQ|9>7Au?qr{~@Rh08(k4Zja&njrl77{lN6
zLZ>zJu&f?0)~5^3kCoLUVP#sZkLL?d=NykW!O8na?}GCnay2*^GKx3u%NL<ljn{IW
zQTmj70j7S#(Mdp09-%1z>5ym6>4wWFt%gdgc4GqpE83OLSzWW~o~d)OZT?@WRM4>W
z0G#odBK)(_F%}CN5%$YcA8x0tg=^x!OP~IXhCro#Ap4Sgst;(lWWopIDp(}&#KLXH
z9edzfe+IaJ-}>Rrq#DtLe0Cpr)}Lcu&+0f`>3vgkSk={E)6)L{R*aiQ&&B&MqA$-1
z{nbXy<OIxKb3vizn3Eqe8DNgN2mxM87B}Ss=9s&X;tjAYtP=#3jx4q<pi535=kFT)
ziD)byv`gUjiJ^G-n#?o>V62HN;cNWHj~h!C$S62d%LOHpq4=l=OO?p10n&<39QXCC
zet@6i-iKS+cD*xs^S?KbCoIc5I||<RDO|p(+#tb6>DP?@C9;RvwlR?~Yb<mSY@l6|
zwh!tv?%vTKUTr8npbP0VcGX6_`k#S4Ocovr5rZF4K$`|pmJHWOWF9%D4Jm!nD2<ze
z{m&2pb|APIYsQU}m1$>=-tEqAv{loOlEcLgCpz5z`Y}RXv!)8cp4aBTSW3p7vIn4Z
z_~3u$%pjgT%-tHV?F2nWUtAY0|62SXg`i&tt{UTpT;^XqS#v)>A9nrU%^Ih}=BqG8
z_4+ME{f%whxBe3}rs_L5Ni{}kQ<6G89Ej2nr^0`ZD+C>aV?O9ndgyL5Z0r%2d0Ybj
z#OU|}%<Vv{&@_X1n61NGEN1HRCyCcn3-(X3oB2Sf*NptpR6>}JfxoT}JiZF@q;TVI
zWTWs(A7!JzvDrUG6=RH)4~7>Lx1FYZzroU{DwfR5?G~I0!F7;dr9!`U+&{&;|2Ej&
ze;e%I2KzU{e)l)Ra{ory|DP!V+|m{3aH1CRv?=h@s|;-UK7B3aZ(n$N!Ty;l-`{NG
zZ?^IL|4O!DY^8oM*rD{*Pl!oyPxT}?p{WC>vPr4_%iPS()NJ<C7Q&u7GkNf?RXeCA
zj-ebfWz3lKJHay*c_^mu&g{l&hj^^3`S>RHsmsVu4SkIx0U^D`a`?eNtN?U&z5DH|
zhYyVY7e<@}p9ce<Vbv$-cHX~WM-_!4O+D(^U+-D}=P9pK-dcr7C7<1|U+I6Bi+-76
zJTltm^|Y1Xrze!)z$_2FfcIRi?C5|dxtA1w$JpJauEyoJvsl1hn({%dByr_~Mlmh`
zJSGg(F_(eYUZ7+N3T90<lLMdy>M`|7B-&K+^!c5Vrz8_p_sk7d;5E2(x~^%D%nD_G
z<+G`Oe6_;Vs7}r>P6I^dq4>KAEU+8V0kY@B5bzq*JUYM@o_UUso0ky2bS0=an9H(H
zD8;UKhSwDfmu11F#<FbZ-C)q**XWqVnjNBF<0^#vt)6PH@u^`3ZVih$vBIDGw%T!#
z#^WoQDBjfY7xRZL2-EeLr%oY_?Sb%7V|t;rW2{V~!C#YKhtI<~R#EEWsyhBF@Br~!
z-51NwThS4Dd<^OA#E^U3f<~VRK~V00L6!!JoIwX|WU!9@T0KRAqm*Y>Zz3I;NB!&N
zG}DiE`>)56dTqv@E8q;_UtE~{n=G692L8-0?o)%p{|%+N2))`MA+0R%1Et|V-}vxH
zsU8{b;U$Cm@SkrP`Xe~B6N4sxJ5YTGJO6)jm-~<CiBB77wD$p(;wQJn{eLY6r=)|^
z4yh+i+wXs_dEk%C?*3fRg8$%sQ?JFJ+ou1cMD3OfXqp~`3&(%DC*u#ZwFq!V<XRD2
znTHDh;vEeZd=}zw!^Xc%H0VfLrk+0>+HPt9`7fB^?gfp9Jm3bOzuYZPuT|UvPt5<c
z@k!cj`7RmkY8iWsZe=uEHo&WVq{HS3F!fApRMP!6aP5;!@EPGP@9AEd``|c0XwBVU
z?Z!M|Q*D;W%{v89?JZC8n_1}lwk?2jhyG|n8E|oO;|X(9sv7?(_|rl4vDbdR`*RDw
z_eC^d?AM+IP`6%fg|%?9(%d2iE_Mn8t(<V1)Hsp)K2Xs8@UEFwq3I5qH1^0JiWrtu
z{9DsvmI(&e!`cQ7dP3z}KZ29p!X;ktk{iJp4LGJ=!GHAvo?;0w177F*Pr{~y9uuz#
zL4!mMIQ9znaDj`Pr}cMJ%Qz4IbOryZanXVBeZV?Ws6X#kj)6_mFMrqG?!O@V&YA}r
zflb%~E>6x}0wxAG5967EZyN731TTB=1Jg=oDc_nuLO=r1{h?KuS8D8{0v9Xd-!r$&
zD%Hop$z5<KvwBUIc#HALAqM+J&@KS4_2iRcz!mE>^Gb~o6TUcX+T=!b;ah;_Z!ylB
z6>M5bOW@}h)svv;46pTA{FA~hQva%+G(|Cxd*E;hpAUPYXh`#xnytiiiLv_<Xm|Nd
zZQ6l?vftW?`5gcL>AJ+kgmn{G;S&a$10O<Q-!l2ph%WNtA8WXERq;$TzU}c)e;k?l
zZS!m~Y=m%g_pkj4K4k%)(}1nfsPv~=nez3=6BeZYYXx}34!9BA%JOSxfR9HUi#Ihb
z!e;#E7xr-Hy-|X1uKzs=UNaprF?R8(bH97Y=6tR(9N`XlxC!#0`sG*0k@mm?jA*3r
zUj6t`3k%Xx1BYO^J@D7YZ4#oXt<nf2de@+bOwq4VeHhjOyzcwq-+m{Q091V52vdY3
zYadH??vHvTsz3IHXAd_C7_T*Yij$djfhi=L`38JjBg~*)I1XIbo`eJ^li@BCKy{4n
zWF~>|MZfmo<bOXt{@asQCEKfDtC&_M951dx3b^kAZZ-yBF~`I$r&ngy=>1X2A#gMs
zbpF6?4@UHOXr8~n{G2<;n<a2p9{hbvj2<$rY}$5BI%_sFIB;tL+^+%VIBmc&X%o(7
zVdx}R8Q=ssJbOSUjRG{&Y*_8L#L8FI)2RQD`rRTPR)6iA>hGN39!O&!BrFmmzQUq4
zIXUb$({q4_m{txD5G*b;JYQ^s;RhB1?0{y$nC<VD9)Fc#l&tw3zaWVEtA|w+u~^Yo
z0QbBa`(E8!UwPZqN%UtXQvbl9m++3!-Z06?>^=X{#6-UBE?Mb28myDyyc_<$wsRo2
z_08LH1B<T-8m5&4Y&a5b2sHO<49?gtK-uQwrt}Bai_v+EQTSwa18|y|>y7vY?5z*f
z(mn-%2yXb0?tc|ZO_G@=`h!|;53BZ|ugs+qxLi_y2YI*brDXA@EwE5c;)ng35A^er
z2^ij=nU^uhm=hASt<~QF5dFPL$!1-HAD7+&Z#DI}z-uupdOs-QEdWD+4kEMfzytm&
z-kIENI_r6$D>!>}PulY2Z;g&H?GXEaB>WWc#xFC5?*s073GS|(8TQHE5xE4wJv@_N
zW(?mU<l!|No6~^ct|fuLfCa)rF#`^~KwBUb5aG<WYyR;t)iA}G>6|l-8A1impnyM#
z`#s}h5%U_|Ito%>wUapY8r!YmmTT}0bZwcm`1@bX#SA<3fGy3~>I~cfCz@WQc?SD`
z1XzD~1_sP%5D7o!<0%aYjFkKaa8NTyn}3+7PQ4gBD8j7lUz8YsN*P-P9-^Av<ld<5
z0MFzf{Yl9LI|S?_R;^Jv&B=lWa`R?mZEm_oC**?<9M=bwo!1Yd^n;0dc)f?4F%L--
z29{}aF)3*pP=1T{eaAop?ToD&V;PXfHGDicBz_VcP=7GzKU_Ufig4SbLIqAYNP`E^
z196xw=^+aVoD{Zw0NNRAwSyhGzC=xr=PVyD+5kf)Jk}f(R(K`sg7MTGd~y!{R^A|h
z4=n-aY?>+z7&9IP-<5I-5Km{59m0nCOYkvU{BNuPJ3T4W<witRwu4jnTNH?QAHCJI
zWluZLqo@p&pjcoEbPwI?QBN_u__e4(aD0F2D-$f44R^+o85ui3+50@*A<Yl$;Pj{$
z8BHSuGpDk{s^K5TxH27I1{sacL?;+CjnW;+@HX4AnF9dHGs+$s2mCtBJdVjvW*o$1
zy+D7RztSI=-5{b7JRJZgK#$&P8c@wH2NU35qV`ESpxK8_B^fgUf*-%~FLN}Rtb!ja
zzyx??HqKupdu>N6z4jV->Ri%+Gb320|3K%`WMvcmj?>Ou#{+Ysrvr#Fh~N`YQ=un;
zcbKLLhZkdX_(kftfXRP64*1e`0{(6q|5uUa8a_e!57>-=!HqqH3}EK4<EI9g0N~Nv
z{yvOTP64U|rYQK-lukaRvU<QcXTZxi0H84^*)T1Aviq#JYFDr~_C9yNYxRS!cy*2T
zZNzV$*gEKNLOEG|+pR;;tO)u1i|NM-!q04eAWY3E0S5PphyVD_6Yv$&Pkg>9*a|$e
zOGfne)CC_)+S`c#<?+)Y(F-Qw4+v>KD$vB<#%<)VHT)l=a=d5WoZ`O0e^GAXeR;8H
zft_LFk9mWgE#?PJTZG>L&tvw(xi;vH56}aTi|~m9TL_wjH^u0M=0`wVD8NCF2XwTk
z)vyA5*oX1!Rw`VuH~;5Kf=kvb=GUi<&u}(<)(HHo1;0F-`3a912OE~=_a6M!bB<Fg
zX3n{2nNb4Tby{enJn+7pPgjby;2~Q2(VtMZ2t#4bz<6avZH)`HHaWA96c88(KE4J(
zIn(rHS-r4pOgVflmRZrH2aouLp$+fHW|l3X>yBk2&xTF*$-y7bfQMQP<2#!mh@AwD
zCvR6?g@|d#@j0nE#_L);!Y0F%*J4S}fyb}=a1izvsZ*PY%6fdGOWMJyN`dHBrE-^_
z7fJeTBtq19$HuTRx+=yddZeI8BI<Fg7a+*sV<p3N9c^8E<nVN|V#$bR{PmPg_l32R
z)t8#b{lsGhfk~>qk)cVo>Zf{HYqxG^H<n5*4;?L>nAbZo5RYzw=cXLjj$PR6!;EH#
zV+LeN3G5$65FI`pU<mc>WTy=EH-QFwPi;SjLc0c!BaCg<e*7cBp_-*~w@>xmy&&~7
z?4|qsH>eS(T9uOr32fK)YH^~np3=zntC{*pb%C6Ah>6X&>q}CLFp`fEHQH^GNSr*F
zZ9`qsOXTT!7*9Vo1<UqCT#_s5-Edq?hA@U<Us7YK{;t6mLE<9dyUC7I3X|&!`|FWh
z$#F%1E{*-%;fg`~FxIK)SN1AJraK5|aw$D$8$`p8%wxIZs1WgR5j)6_ExN<SG$r$~
zmOqcxur1Z66#=4EagC(9T>;CQD?+H85ENy=J5C+P6vn91q@7T0lx;{V7ccX>psUg`
zenfP5s?&Rl_zL!t8l@&!U8ek$ER;~(!vlx#rNp+aGXq5BR`Q1QDuRrwF2%cKwOsVt
zV#mPjwyjhN(9!gP9~8k3jo5sJVBAeT`4alRB(2vvt$Z*#WY}lOW2~zv44KeUvsoLa
zMX_$%OfOt(b763slI>N~g|Ai@_110Xt&Ues1%nCE>IIVX;c94X0tux%QC4;xc;3TF
zIy6aB%qxqEZC1XaDIBfBl3`)K%b?d6NzfRXCnA9_{$X>Ia)2L6L02|GyBL!GB!w+K
zDwfHv#i2fD?@CVPYWZO0y=u0bBDk$FD&J0!q(+VxD7@K24}!(muk`69yklNC{oC}+
z9tIyt3vKcv>;e1f&KEXScwv?gztHV?z9Z!X1db%hY<M26-!{rKWW&~<;aWLjP1Ch%
z`}5JZbsKGCs72~vGEctBH?R@g%ud`OLeziCVhc96L8Ts*#8&iP+TbxKe2$YFU)fhr
zZd+W?ypQi!Ad6R)&|U6TA@6DEne^O%0&Lq@C9jAo8(rDFpW?fapcfK++%{=aoX^%1
zI;;<%oAo>DT1V%uug2RH(Nu*T41cZE6VGqT91XRnXV<K<RU`GZ4(?5FO-qd=hhRgg
z9P-SNYyfW$BU3nhJ6l^dLX|I17cbw&3Y*8eTF{}H^0ceV#ARgSy=fyOxFLysAFBv6
zpPd`NB38?NO`BE$oeCGFyrOHuq<79`_jNAQ?xIo&6}pi@R@^|+8Yswi)v^$SfJI2^
z>svX%7B!Qj+RD|<JyIqsme+`_M2apO!qv3i2{kgQ4RdBV;qp*QVs7j}r>7mRMjfM>
zYK;u`qcD^0$!+_5P`JL!a=cd+R=PsQWJSCWfl<My++lH3><e;^ONO|Zw_zULEorB$
zJVF{1<s&SLM6Xm3bzR8Z%km<OOguD%ER%~WxWOI6Nq7OdTPIBy3!|4t+iO}m7}eyp
z6jU{~SI<kp+0X{pFO$_A%?rQxITLC;7Kcx(aZRdbLzm+C(9L;up=5turMOpS4K?2D
z99>8#%vf1jA55i^us(^*j)nq^4-TPe@)E`;1v7S@M3R)q!g-E_mRx^6(u+dQEbrB{
zMZ909ph@^er`LuD73?Nty*IqN%4%c49gPwf#%P6Ri*R90H+F5}3FhpgM)~B)>f*c=
zhpD{bCRQwEi;Od<nfn25l*9J26HoNUU@6oC_a>k<frhY9w0n*Ch99a()+I*ns!?5H
z=-fI-)OoRU)TgZvA(I8QTro5@GB<JM4g6d-i>7H<g56k6R6ra|I#1Mq2qR~<FYAzw
zb7<qW4Xk4|mA$E(F{~YiOs#7VRXG?U??`FQ=_liKjLf!#(wy?hC3S_acIb@bnWy-L
zHGYCi`_ZIg8F7!jAmT?T1i=wE$#?QAC_Va24YV*UIm)L@*(F0XlPcJs3do}=G5Zs%
z2F7s+@Ojw4L_B?BOz-oZlN<_(=;K_zf-pj1;n&DlA;PtZ)P7%qD5STZCFj+SYjB2>
z{BUX+nLco7WMl#;R8fSl8fsc^yQ<*D61sqeMWgEU7<;_n%;;2uU$vxgtX!GhWG^1&
zdZtHs#s%=Ub<jg{{KfaH2ul?%JaoZ7>NbI4Q*`;`ymBnhwQheUMVr43YeN^}*Q3RD
zgc|AGaY8KzIqcFbhj49TujZ;a!%ukxCqMos@rs&C4KIA4mODnbSyhf5!fl|2Y}2Na
z`<WQsCh#HfMXYUF7pD+vS4>(ci5fK^DjHm`tK$0>(LMM|H+~ZN6ebMogk>>e5nK!^
zf7cPkwrVObIC>ICOk^{nwrkTalQzj?Vw+DWBI;1$xtaVPXb3ZKsVWYIh_OFzTsanH
zR#o@laww&e&^1=XA@;`jK4aDXkIL-3L$59h3&p)#%u6TpWUS-+w^KRU$)Tls{D7qO
zoaUJ&j95Yy5$Pq&vWv1tU;j}qX&B&i+Ays<;!B(7XCv>0vqv0wiH#@5Kf5Q?+0nxW
zJa2Hb>*d^p;+%3HK0^}GR4;4Ts}1IN#}xAt_WE>R8V<#Ak#Bo!qCv&6B3I$?)H<1`
zSIt5{@ycx-y_f1<+adPMEUAd-Qs5C{7w>(282f(OxJyRQencF9AELdFh-cJ^$e#1r
zd0xJP@fd<vPK7$8nF<ZWUl(7ZxukHBrI<6-tXOT~XblkgUfF3md!8S!J)J+^HOiH-
z;17wqX}hkYGt&^P9cml?9Nd?lnOu<V#|nxrfSTOYH}l;1@i<?W+&+w2C+a6q%i6}*
z?pl%Y9c=&L-j1>S>Zt8(p3F;pvlwe*8`#Zn_RHAuDF?be-VEIw!fuy&(v<Mb_bU1%
zu5tVfejd~yr^wHR_pEdaXM`uW+N{JQIWcYjr?sn%YU;|`&WxQ-S8bivH3|Y@S}U}*
zN)dq&NO)&d5EU4Uh$4{IC@BJo*AT$OgibrPwLmh6715B?Mg&BXK_CeU30BA4D#$f_
zBtk-Hz2cRGB#q=l69ex}aMsLpy=%>ncUb&La_>3k?!BMA&%WoJwIB1^riIJu)`F44
zcrqij0cFkR7`mn?dJ2!Dg;6cWTt<2Z?0MVG*a<<5fgq?8ofOhkl4ekAPM~dQIW$6l
ziUO6wD>SF+Rph?n#@w8auBvjsLdggG$;qkE{3GOyAI4wVCXF`U<uOV-6k~A?B$xOV
zrQapRn5&ydp;R#O=&Hs<4v@_Behtiujy`;n)zFiN7kQ%7xdXGjv+HvT2O^3Zfqt$e
z-_*%yI@%=dF0HVJ&d~8*UN4!rT|N(*cR+4V!SW*fblstWfSy*1OTU)j6NxEZb6|(i
z)lyI;7TS5iV0SHP)Z3~7(#`L1-`mgc;TG`>3B$t@bElnus>Xe#(P*r+8t#9bL{>+a
z!a-wD&nvZ@;@r$*2ge^@VU@wBhw2_mnndo4+GvW@eJC&0294A1^iCUNkLod8X%$9j
zB3CTqzNa_Lxo3qTExEQQxNN8v4YO6LJ)ADzXt6W2{|h}56X@Ovt;Vam`H#Q9x)xt$
zCY)hhDQGdpwzYR#?5eU9TUPr*xw)0qJDpbyR~p`|{X<74*v|cfkQ5U#ka~tbY%W%k
zK)4)rlXyy7#k9m`tl~IaAPX}lu_i<f85M>Ei!ssL8O<7;nZV|XE*>HWBCi6#nMO+W
zO_?YgyEKNsqbEbkaWvjv>8=45HI!WJs2pM3UNdlpY#{;ggQ2=J5{q?3DkGnj*;*>6
zUz~e@f4{EpeSG7ovR|4%f1gPjE#)Q5n2#y1sjJO{gjE%r@ro<MaETSG_LcM~Cn(L-
zO*sj)XKe!n&K@ukQ_tCv3u%t7U7uKgM&l!NSw0X4gSV8T=28U>*(Nt)=#c7kce1Z=
zALI@)+jSBLW1AVZfhzzwgE@D?HG4d`86|WhNs`H-wMY%8ZJ2eLCDOG5c_R$WJ_#Cv
zMzFQwtRi%NtjtXF<l)yeB}!4p4Gzm{ChazB=kC=O=R#`+BxH*)B+`wWmauk^d-|BA
zxu9mAw+sG;1XNGBD$!c=t{~HV@7!buQg`TU<~$!o!GnSpgM>Ro%pMT1N;R}+1rz~v
zH#!@a!eX0aV^O^L`*l3)@a{Fm!q{G2k3UTafyTQz<MV@$Dh=<Jc7g4-ee!-vi2;4s
z@(88M-OC%7gv3j$)<}KUz0i#qQyx}M9*quFsuL8v#Bk;_56=Q<ia$;&l=5Q+ekYx+
z6Z!~>()bK3{dT~XLyZhVv!qcAbSIMyG3u@0?iqrUZKlUOf1X8C7U+g0BP`Rlj&@hi
zMf#u%84pbOZ?QJ6omr}V`3+^^@n?f4_lX7hf00iHSCla9ylDxtp-)IskoC|*^}$hU
z&BPyqxnfRL+=e22>cH3CvpaKB+}=S+bx4c-N%lm!l5H^7v9sjU_n;#nJ4G%jK5nvq
zU=9P1go?ZQsb@-|3Glu;O&7CWFLKuCcMLzRmoTAYu}8hfQ`Tn<Xn}Qj<3zvR6YNg#
z>s%jj=wWA#-%9~znrU)Icc~LAg!-A<U2rxWXM#KE+A4GJBzHz8cP3rEf`<4@fXRua
z=#`jB{>bDdU9aWRoNZ+fH1mvbv^&#jz+zau+y7$FvQ6_8eJVn2*YS?!x3iAu71^b8
zd=%#>HHuoy-UIt${dezY%xnD-uM98jwlI7$<r<|(MQpZci>)(PAv06fX`*#$^<I&#
zCL~0PirNH-b*v3!iA7zS$Au+R=3z_IE^`|4VLJk%pO9gVygIQ3su`;sq~OVC)=|dS
zq<UH9Xb4ur;k~6ghT0Mq3^jL8PH1IZ>1B%nr(T=Cg3;Gww1<ZMt9s7S(WKcNEUmcc
zwb7d`@;RFlbx`y*h?8->?3digeI4YaU~??v7tWXRA}Q^3hkWvdc!D-kY0b0<RhRg*
zRce{V{^?QlRrKbA4F!`BP&HJ7tQjSQIVZijZ3|jZZ8UXil@1THu^=@uS0p=RMmk>{
z8+dfox7X&+=HfG8`SuPm&Vn!$cbXC}OD+sJdg3VF;KNOf42h8Tt-Ea)p(blVExec8
zpqejZDhDfHNxE8MMx3#}d+WV>4cJ=qyFIGy6VhC095eD1mh4~1=Q;sHaUONXG6t;0
zQ{>Bid%53XPbeX|vY;@D^Bhc=5MB0R))+B4-nt(j7m_oEm|9&qIz4hnRwXq#AK6b6
z&e;2Q<0+K)m_(3uMaR*%BlIu}YEc^`^qy50<>j;qs`b(Ws3gxD8YFF2TeSTsGcSl|
zD24WOz~SDn_+}?<{eDxW2_d*J)nBdF?ZWKa<J`!#l2%9N=d?NLkxqk*>NIF%uBT^5
zai9~kp0=kWmD@5VCnM)Ldh8jc7!E>n-7bo_VTRs~KDw_@btznNC>(VhAir6ggKSCG
z=}UX~<1#HxuG&~`k?i+g68GM$Oz+0LtaR5h6u3Bf6l-dj)gf4ia-65=c3JaXANMmC
z${N{Mn#Rjl$4f<~zm3hwEyL#RUV~T2Xf%QoTtLZUbG?;n4OT)(cJ_%t$Jt`9^V|e7
z3<}L+9apDroW3n933m@_*n-J&zdRZ?%45BkiI*NhhGmn4Ob^zYt=Bjuj1t3(&2Sv&
z(9f*!b5YW~59QfCBA^kdGL)N9f;|Gqt={tZx+h|9S|kbgXY-cP6=KJ&`28)EEMgW)
zH73kOD!+5yY%5aog{ST5*8p&zK8RatfK(SyzUTI)83i%M^}yB7kqX4lu^<P7ju(y}
zy}5pWG8f-kaLFNG2eZRV6%M&4Ha%R280J@2SX%+s*KS;<2Pb-TEO!Bq=^r)|K}wP+
z_X|-!XS1~4x(3Y`b|e!Q2v@nyx-oH)M@DFHbx2}Ebl;js9<jOlj-<^Ns#q-5>CZKN
zrZiMqIiMIC^Ax}5kTLK*cQoh>$xwNMK`R;-lpXB!5zyJ&O?BQY$(vMuGvdWlvINZC
zmIc`mnpP0Adh%+WGAiSlHE*VBznJX!{%QwboFwNqYlVTa5m$#aHY6us7c^-D6kW90
zmGYrII<SPd!?sx|X%H{$p<FQ$vy&AhbSm5f>Fy=Vxm$@s2fz}cDRX=Ur`0H_wz_9~
zQy=w2Q^YR3X0ES6Tmuq8qyM3s<YD>HqkzN={MY;4o&QkQuxd<F2<MiuepfMHqo<2|
zw^}O1?e1Q68yhoa+r1v8VJ{!8<hUVRoRY7>4`3`6Hd~2cV7$~lHv_nNR_Y8LQZo!w
z+t;_KEqgE*bSV>3Ld!Z|ZUuqkO~%l~<g)I(;06n;vF*^|{I0-+Kj17@`%I|5fT|r-
z^Ga*pyKuSlnIgx+6la2M^Loo>^Yr1_vVJwJqe%;L;0q}HYS4+@G3T_c@$O~h`_5hB
znrTH-hxe1!*)disAogxU%K>DyRo~8kyMy|8nt%SW)pX~g`av-DUFdPJyXeK4J89^i
zm+P)uZAwCU?`AI;Q^DoegfZgpFebSe+8IMG_{`b#bf+4T_`=c;o{kYe{a649%J&Ff
zE1Vh-|Ah9DdK~)uYiQl0w$U#>>soQkAe%RmpZ!!d`i?b=#Bh9cF8+ybSNIif#GgI$
zx3)YsdgRHB@K)w;P&#W`e>OataAV8k`Jv+xq&JUICv6(?pK&=H0-1fW%Ug>)Evc8_
zmVe^D>E0QNp0E(y*1Tw7|EjGjdE|@p(ETpf6I*;x60z2-`J%}9195Y{jU4e6I!eRe
zlw${fXpCYzS4W(3=Y$EK?);Pc*XYM`SIjus``$_9GIOD^*w>Z*mSB>a1d-9QHFI^g
zP2upM`vnzQ6&E0(3@qDb{d2AN(jp7A|L2|mvLYN{d=A|EpI3m}o)^0g+`eSV@9)Q-
z`UeTve|MmtEj2$M@4q0y&pZBUi0yOgrqEhVVE+JfwKUuNQ!vV?6jddq643(8@Hm3j
zLDo-|+5#ls<Hi1!YxJ6bzbPD2iH)w*Qrk8Qh+WykwH-3-L1J3X9~s1Qim_giAyScL
ztjm2mr+MhRAtt{X&HWU<%h8M|Yk@B~&(6jf+r@-%w50Uw{xx>qPYXW5!bls|cQdEo
z;l6m2xpV2Loc?-i|I*~*1CP*MO=8B)nOiT7tsvVjXggM9;#X##uklnZ%n3&ugL<Oi
zw-^>ZGvi7FA>5qQmNc;7s`5#*05xkS?eAo(;4-~m_h5Eme&JbE%c<Q9xLsrQU)o}i
zjUhL>tjkS-!&zB?C-kn*<OP|t?Xc^|f(7@2Cz<!v2y#tf9N5C`VnU1)RnNexq~Enb
zIZ~?UUY7$awcb}+Q5lYxPxX(ZW%`#~<DK7B4j5KV@xOWUWt33aK~CS&n?_pI68ZM-
zs_2C;Z(V4i4y3PE1dV~%A_H=px%1T?!aVTUwTm)*?<U~AAJN5c)_Mzce6*i5^~nbt
zGYat|OwQ;2Zau2lg7#Pfltd--6RiFQGhS^au@&Ugi8)rrEUQxOd=yce&r_wE*pA-E
zvvb%EH(s2IGNmhQQzd=}_;3gv9BZwnwt;1@e-k;h30`$?{y<`3oc-QFQt|cg{8w2u
zw^{paQKoaiAKN11)HU!GMkA14L9179NC|_nb+ayUM498syQC==r#5&jj``{L=_~Qq
z{Y@!E&soRb;yyJg)LX98V299ml~R1QUlz2aad<tZ9YZ8P5UmMA2vdc+!8L}9oz)}m
z&+WM#J{`eJKi6sdV4zkU0`7A%1a!X4uQ=vvu@{%2Ybop#ZC@X+8k(&7nmJprDE#%x
zAuVa5MG+}ifx6uu-VT`W`o$8IpwxH%6+fs3{i+99Gog|17`D`%|C1?7;*&eJ<~Uv6
z0lP3TIN0V1Vk{W`velQA@yG$h#t#V@#`KMocl<`8^I(-Dx=c_sTrzuAokENcK`??`
z>G^~5hJcw>HM%Wf0#!tlH&*1q#Siru&H{M%QB+ZB7IWn!SGUC{4P1TIBL{fQ8m2Fd
zbtfQn{SY0$+!M>79zob`(+)a?H&!{1zwOuIOr99@1bJd{1x|E+Zm`pxU7Yl`X%9Wt
z=$wL9zZ_pQdtXLlC85o61#mBs(aX+XFpyw%w*!{5mn<o`>88f{<KFuSiiJ@3O=<r{
zspon!`xbpgm{L^!@a57DFg?QHhar}7s)eofwF5z1ML|qP*(fCEg&-er>HLIOr~Jwz
z@gB^iEyFK29m89JZ-uo8Hv|FlogO=n`4_(mQ2(0Cg+8;(MtX^6&9oXQKO8I-F;UAk
zTy$l-`ysPc1pQ)CS7r^T8<CToVlmPEW59X<!m!k1n1Ww13|2!FELQ`VF|#20*M7xg
zS-gp3f-cr9>($nY1-ropjM2v+2EW^w!kGU@>o5{tdzc8q7|6GgpNx-#kKNa1i$|iD
zF8Lw*_(I{0E$DV2Er63K)j9jirJ3v+A_qKK101-P{(dX^vSUmQcqTUs=5%6moO9T^
z=!|8umrm@WR^{m?{piquZ2;KHQk>*$<ga7#I@sm)Z@|Z%{KjvBQT8M3MbfA*9bw}y
z!F%D27)91VEpi`^Hr(-ncY<^mZR#}*u_{D0O<W``F|jZ;fH-e*inF+zTCvlb*9Pxk
zxhpyFe4t0ie6gDCiJg#|HBIYKqkklB2V1Jx>V#d3?Zm-0lBnN~Dy#RtsBu_7Gb$VH
z$DKf_w7>e9cPn7k@3||&oLl#Xo1>n1KJRrl<hu=vz>5&2_;9ruWv9=L-UWv^wDs;Q
zFTIvnG<#roGT9|$j>=BH$|?y(aMZG=(Xhw*qaQ=@w_q83cTN%csiU(C&O=vN&3-Ga
zO;CiRTLkYp3^wLxgg6dO5DCZ9$_F_C$5kZJC@y>P?x~Q`5}vs?27%WH<jBWN4loBd
zk+@?|pX^m;*qTwz$0;eSN#){Y4l>&c?u;qV1zWjIc*O8@>5^;hPv-BO@bg4J^xs2s
zRa2EI{e7s2zO^}#D~6YD&irjydXnLWA3I7ST4nygvtI6g&@qeE{rx*^-O+f|Vh46h
zQ@t8+d_@R84yXAsB6g^TR(m5Rav;!UA<={N@~oX2S|5iQIuZlV4)rood^8;Fvo=|!
z5WT{x!>Oag!13CT5=OvaKd=Bqo(1j`7h4TtQZTrwmd2gdlvAhu5qNZ@m6HWIaVon(
zECA>Fw3FOB>U^R*U}za_vJD=k-D?_w0sj9j;lpb2`Da0qICL8)>N@4q3p%>v(33^v
zg9%6L!+UBnK9og0hOzF8pO|z>q>T>}{UXZX(AxTN%C|Stmo)_=z$Dini-sCm!QvMy
ztXxu-8W42`gYEp})#5Hx>>V31Em_{n;9rM)z<o_EtuzyC(Zz0HE`J_l9u&mzy)3@t
zUiYS<SON|M-S?xRLc}!`t7-j;urU&YP>XDt0h%l~_W3mu457>Gg-LF6rJ9sP8ydrz
zVo`Wr{x^7%RZp~Yo~^3U1_S?5E5aQno|>dJjT3kQ#Q~?tr&ZtUNIfOVRi`mhBfl^%
z?MRGYwwn5+HSy6G;SnhOP?C58+xhry|6_()sud^7j(eU8%iJ&wg}#XXc<K?|CM(_s
zf=zQ97zMS^3^qA1JuyU)*44xIHpD6Wz*FhvZGS!m2@%G9(Hmg`Mg}*bdF&`mgK$xP
zRKV63)>OPQ^F&4p8G++e<)I`ryxw_Uscgw7nIhFSOnPhI^;HIb9`4+qf+JrmAFbb!
zy5e11^gFI`$AjTPO>B3yNfG%SFGhEF1IJoT7G1~>om>UwZB}6AQJDPAsCus2`riyh
zD}i3~R?v!DRR`XDnz{3>g_%dICtmpH*OPwyTS0$Vdl`FfDQWShlP4b}hvjcpeE83=
z{_OUe@Bg3f{ybR>q@fE{iRCrFeE&B~cRA+WbIX{o{OVN1>z8)dxqsMvt$bwJZ-W<8
z;xCsio}1WmV(}cto0}I8XVkqBAjAIT`@aUxWc<%TG$%p-e!p>%7yCao*O0fJc`NOd
z|G$W`>{hnZ`}X3uwBevrKQ8U)alfnuDrO)4di<uPvsw@Dp@eAd{lK?g+g10A)OVoB
U6XMs;`Ugzgnz2Rn#}7aKU&%k6p#T5?

literal 0
HcmV?d00001

diff --git a/src/main/java/org/itmo/Graph.java b/src/main/java/org/itmo/Graph.java
index e970996..6d7d154 100644
--- a/src/main/java/org/itmo/Graph.java
+++ b/src/main/java/org/itmo/Graph.java
@@ -21,6 +21,7 @@ class Graph {
     private final Condition queueReady = this.lock.newCondition();
     // private final Condition workersDone = lock.newCondition();
     private final AtomicBoolean isFinished = new AtomicBoolean(false);
+    private final int INTERPROCESS_BATCH = 50;
 
     Graph(int vertices) {
         this.V = vertices;
@@ -74,11 +75,16 @@ public void run() {
 
                 List<Integer> newVertices = new ArrayList<>();
                 while (vertices != null) {
+                   
                     for (Integer vertice : vertices) {
                         for (int n : graph.adjList[vertice]) {
                             if (!visited[n].getAndSet(true)) {
                                 newVertices.add(n);
                             }
+                            if (INTERPROCESS_BATCH == newVertices.size()) {
+                                graph.workerQueues.add(new ArrayList<>(newVertices));
+                                newVertices.clear();
+                            }
                         }
                     }
                     if (!newVertices.isEmpty()) {

From 3be231657a0e23f60234137bf604a2794ed2cf71 Mon Sep 17 00:00:00 2001
From: Artemiy Romanov <artemiy.romanov@yadro.com>
Date: Fri, 26 Dec 2025 15:58:41 +0300
Subject: [PATCH 3/3] Add jcstress test

Since the bfs implementation is higly cohesive and jcstress actor model
doesn't allow multiple iterations per actor, it's impossible to test the
implementation's work layer per layer. So test is made to check correctness
of visiting mechanism
---
 build.gradle                                  |  6 ++
 .../java/org/itmo/ParallelBFSQueueTest.java   | 86 +++++++++++++++++++
 src/main/java/org/itmo/Graph.java             | 13 ++-
 3 files changed, 101 insertions(+), 4 deletions(-)
 create mode 100644 src/jcstress/java/org/itmo/ParallelBFSQueueTest.java

diff --git a/build.gradle b/build.gradle
index 568439c..8a3c45d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,5 +1,6 @@
 plugins {
     id 'java'
+    id "io.github.reyerizo.gradle.jcstress" version "0.9.0"
 }
 
 repositories {
@@ -24,3 +25,8 @@ test {
     }
     failFast = true
 }
+
+jcstress {
+    verbose = true
+    timeMillis = "2000"
+}
diff --git a/src/jcstress/java/org/itmo/ParallelBFSQueueTest.java b/src/jcstress/java/org/itmo/ParallelBFSQueueTest.java
new file mode 100644
index 0000000..dcd260f
--- /dev/null
+++ b/src/jcstress/java/org/itmo/ParallelBFSQueueTest.java
@@ -0,0 +1,86 @@
+package org.itmo;
+
+import org.openjdk.jcstress.annotations.*;
+import org.openjdk.jcstress.infra.results.*;
+
+import java.util.Queue;
+import java.util.Random;
+import java.util.concurrent.ConcurrentLinkedQueue;
+
+import org.itmo.*;
+
+@JCStressTest
+@Outcome(id = "true", expect = Expect.ACCEPTABLE, desc = "Each vertex is visited exactly once")
+@Outcome(id = "false", expect = Expect.FORBIDDEN, desc = "Each vertex might be visited more than once")
+@State
+public class ParallelBFSQueueTest {
+    private static final int VERTICES = 20;
+
+    private final Graph graph;
+    private int visitedCount = 0;
+    private Queue<Integer> currentLevel = new ConcurrentLinkedQueue<>();
+    private Queue<Integer> nextLevel = new ConcurrentLinkedQueue<>();
+
+    public ParallelBFSQueueTest() {
+        this.graph = new Graph(VERTICES);
+        for (int i = 1; i < VERTICES; i++) {
+            this.graph.addEdge(0, i);
+        }
+        this.currentLevel.add(0);
+    }
+
+    @Actor
+    public void actor1() {
+        Integer vertex;
+        while ((vertex = currentLevel.poll()) != null) {
+            graph.visited[vertex].getAndSet(true);
+            for (int newVertex : graph.getAdjList()[vertex]) {
+                nextLevel.add(newVertex);
+            }
+        }
+    }
+
+    @Actor
+    public void actor2() {
+        Integer vertex;
+        while ((vertex = currentLevel.poll()) != null) {
+            graph.visited[vertex].getAndSet(true);
+            for (int newVertex : graph.getAdjList()[vertex]) {
+                nextLevel.add(newVertex);
+            }
+        }
+    }
+
+    @Actor
+    public void actor3() {
+        Integer vertex;
+        while ((vertex = currentLevel.poll()) != null) {
+            graph.visited[vertex].getAndSet(true);
+            for (int newVertex : graph.getAdjList()[vertex]) {
+                nextLevel.add(newVertex);
+            }
+        }
+    }
+
+    @Actor
+    public void actor4() {
+        Integer vertex;
+        while ((vertex = currentLevel.poll()) != null) {
+            graph.visited[vertex].getAndSet(true);
+            for (int newVertex : graph.getAdjList()[vertex]) {
+                nextLevel.add(newVertex);
+            }
+        }
+    }
+
+    @Arbiter
+    public void arbiter(L_Result r) {
+        for (int i = 0; i < VERTICES; i++) {
+            if (this.graph.visited[i].get() == true) {
+                this.visitedCount++;
+            }
+        }
+        currentLevel = nextLevel;
+        r.r1 = visitedCount == 1;
+    }
+}
diff --git a/src/main/java/org/itmo/Graph.java b/src/main/java/org/itmo/Graph.java
index 6d7d154..41a10e8 100644
--- a/src/main/java/org/itmo/Graph.java
+++ b/src/main/java/org/itmo/Graph.java
@@ -7,13 +7,13 @@
 import java.util.concurrent.locks.Lock;
 import java.util.concurrent.locks.ReentrantLock;
 
-class Graph {
+public class Graph {
     private final int V;
     private final ArrayList<Integer>[] adjList;
     AtomicBoolean[] visited;
 
-    private final ConcurrentLinkedQueue<List<Integer>> globalQueue;
-    private final ConcurrentLinkedQueue<List<Integer>> workerQueues;
+    public final ConcurrentLinkedQueue<List<Integer>> globalQueue;
+    public final ConcurrentLinkedQueue<List<Integer>> workerQueues;
     private final ExecutorService executor;
     private final int cpus;
     private volatile CountDownLatch latch;
@@ -23,7 +23,12 @@ class Graph {
     private final AtomicBoolean isFinished = new AtomicBoolean(false);
     private final int INTERPROCESS_BATCH = 50;
 
-    Graph(int vertices) {
+    public ArrayList<Integer>[] getAdjList() {
+        return this.adjList;
+    }
+
+    public Graph(int vertices) {
+        
         this.V = vertices;
         this.visited = new AtomicBoolean[V];
         adjList = new ArrayList[vertices];