From 483810c2c0bb74f76e6a8d292b48382a9bf52845 Mon Sep 17 00:00:00 2001
From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Sun, 22 Dec 2024 10:37:31 +0000
Subject: [PATCH] split Util to Quantifer and Time

---
 .../javac\360\237\226\211/Mosaic_Logger.java" |  37 ++----------------
 .../Mosaic_Quantifier.java"                   |  12 +-----
 .../javac\360\237\226\211/Mosaic_Time.java"   |  13 ++++++
 .../tool\360\237\226\211/gather_third_party"  |   4 +-
 "document\360\237\226\211/LICENSE.txt"        |   1 +
 "document\360\237\226\211/README.txt"         |   1 +
 release/Mosaic.jar                            | Bin 18996 -> 20124 bytes
 .../javac\360\237\226\211/Dispatcher_0.java"  |   6 +--
 .../javac\360\237\226\211/Dispatcher_1.java"  |   2 +-
 .../javac\360\237\226\211/Dispatcher_3.java"  |  24 ++++++------
 "tester/javac\360\237\226\211/IO.java"        |   4 +-
 "tester/javac\360\237\226\211/Util.java"      |  30 +++++++-------
 "tester/javac\360\237\226\211/smoke.java"     |   4 +-
 "tester/tool\360\237\226\211/run_jdb"         |  12 ------
 14 files changed, 57 insertions(+), 93 deletions(-)
 rename "developer/javac\360\237\226\211/Mosaic_Util.java" => "developer/javac\360\237\226\211/Mosaic_Quantifier.java" (82%)
 create mode 100644 "developer/javac\360\237\226\211/Mosaic_Time.java"
 create mode 120000 "document\360\237\226\211/LICENSE.txt"
 create mode 120000 "document\360\237\226\211/README.txt"
 delete mode 100755 "tester/tool\360\237\226\211/run_jdb"

diff --git "a/developer/javac\360\237\226\211/Mosaic_Logger.java" "b/developer/javac\360\237\226\211/Mosaic_Logger.java"
index 014d732..1abb5c1 100644
--- "a/developer/javac\360\237\226\211/Mosaic_Logger.java"
+++ "b/developer/javac\360\237\226\211/Mosaic_Logger.java"
@@ -3,19 +3,13 @@ package com.ReasoningTechnology.Mosaic;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
 
-import java.time.Instant;
-import java.time.ZoneOffset;
-import java.time.format.DateTimeFormatter;
-
 public class Mosaic_Logger{
 
   private static final Logger LOGGER = LoggerFactory.getLogger(Mosaic_Logger.class);
-  private static final DateTimeFormatter ISO_UTC_FORMATTER =
-    DateTimeFormatter.ISO_INSTANT.withZone(ZoneOffset.UTC);
 
   // Formats and logs an output related to a specific test
   public static void output(String test_name, String stream, String output_data){
-    String timestamp = iso_utc_time();
+    String timestamp = Mosaic_Time.iso_UTC_time();
     String formatted_log = String.format(
       "\n%s -----------------------------------------------------------\n" +
       "Test: %s\n" +
@@ -29,7 +23,7 @@ public class Mosaic_Logger{
 
   // Logs a general message for a test
   public static void message(String test_name, String message){
-    String timestamp = iso_utc_time();
+    String timestamp = Mosaic_Time.iso_UTC_time();
     String formatted_log = String.format(
       "\n%s -----------------------------------------------------------\n" +
       "Test: %s\n" +
@@ -41,7 +35,7 @@ public class Mosaic_Logger{
   }
 
   public static void error(String test_name, String message, Throwable error){
-    String timestamp = iso_utc_time();
+    String timestamp = Mosaic_Time.iso_UTC_time();
     String formatted_log = String.format(
     "\n%s -----------------------------------------------------------\n" +
     "Test: %s\n" +
@@ -55,29 +49,4 @@ public class Mosaic_Logger{
     LOGGER.error(formatted_log, error);
   }
 
-  /*
-  // Logs an error with stack trace
-  public static void error(String test_name, String message, Throwable error){
-    String timestamp = iso_utc_time();
-    StringBuilder stack_trace = new StringBuilder();
-    for (StackTraceElement element : error.getStackTrace()){
-      stack_trace.append(element.toString()).append("\n");
-    }
-
-    String formatted_log = String.format(
-      "\n%s -----------------------------------------------------------\n" +
-      "Test: %s\n" +
-      "Message:\n%s\n" +
-      "Error:\n%s\n",
-      timestamp, test_name, message, stack_trace
-    );
-
-    LOGGER.error(formatted_log);
-  }
-  */
-  
-  // Utility to fetch the current time in ISO UTC format
-  private static String iso_utc_time(){
-    return ISO_UTC_FORMATTER.format(Instant.now());
-  }
 }
diff --git "a/developer/javac\360\237\226\211/Mosaic_Util.java" "b/developer/javac\360\237\226\211/Mosaic_Quantifier.java"
similarity index 82%
rename from "developer/javac\360\237\226\211/Mosaic_Util.java"
rename to "developer/javac\360\237\226\211/Mosaic_Quantifier.java"
index 1fba0cc..493b3c0 100644
--- "a/developer/javac\360\237\226\211/Mosaic_Util.java"
+++ "b/developer/javac\360\237\226\211/Mosaic_Quantifier.java"
@@ -1,11 +1,8 @@
 package com.ReasoningTechnology.Mosaic;
 
-import java.time.Instant;
-import java.time.ZoneOffset;
-import java.time.format.DateTimeFormatter;
 import java.util.function.Predicate;
 
-public class Mosaic_Util{
+public class Mosaic_Quantifier{
 
   // Linear search with a predicate
   public static <T> T find( T[] elements ,Predicate<T> predicate ){
@@ -21,6 +18,7 @@ public class Mosaic_Util{
   }
 
   // True when it does a search and does not find a false value; otherwise false.
+  // Hence, all true for the empty set is false, which is appropriate for testing.
   public static Boolean all( Object[] elements ){
     return elements.length > 0 && find( elements ,element -> !(element instanceof Boolean) || !(Boolean) element ) == null;
   }
@@ -41,10 +39,4 @@ public class Mosaic_Util{
     }
   }
 
-  public static String iso_utc_time(){
-    return Instant.now().atOffset(ZoneOffset.UTC).format(DateTimeFormatter.ISO_INSTANT);
-  }
-
-
-
 }
diff --git "a/developer/javac\360\237\226\211/Mosaic_Time.java" "b/developer/javac\360\237\226\211/Mosaic_Time.java"
new file mode 100644
index 0000000..6e30236
--- /dev/null
+++ "b/developer/javac\360\237\226\211/Mosaic_Time.java"
@@ -0,0 +1,13 @@
+package com.ReasoningTechnology.Mosaic;
+
+import java.time.Instant;
+import java.time.ZoneOffset;
+import java.time.format.DateTimeFormatter;
+
+public class Mosaic_Time{
+
+  public static String iso_UTC_time(){
+    return Instant.now().atOffset(ZoneOffset.UTC).format(DateTimeFormatter.ISO_INSTANT);
+  }
+
+}
diff --git "a/developer/tool\360\237\226\211/gather_third_party" "b/developer/tool\360\237\226\211/gather_third_party"
index e2c9bd9..1e81ace 100755
--- "a/developer/tool\360\237\226\211/gather_third_party"
+++ "b/developer/tool\360\237\226\211/gather_third_party"
@@ -1,7 +1,7 @@
 #!/bin/env bash
 script_afp=$(realpath "${BASH_SOURCE[0]}")
 
-# This script expands Mosaic third party projects onto the scratchpad. This is done before releasing or running local ad hoc tests, so that the third party tools will be present.
+# This script expands Mosaic third party projects onto the scratchpad. This is done before releasing or running local ad hoc tests, so that the third party tools will be present.  I.e. this is for creating a 'fat' jar.
 
 # Input guards
 
@@ -13,7 +13,7 @@ script_afp=$(realpath "${BASH_SOURCE[0]}")
 
   cd "$REPO_HOME"/developer
 
-# Link sources into the package tree
+# Expand the third party tools into the package tree
 
   echo "Expanding .jar files to be included with Mosaic into scratchpad."
 
diff --git "a/document\360\237\226\211/LICENSE.txt" "b/document\360\237\226\211/LICENSE.txt"
new file mode 120000
index 0000000..4ab4373
--- /dev/null
+++ "b/document\360\237\226\211/LICENSE.txt"
@@ -0,0 +1 @@
+../LICENSE.txt
\ No newline at end of file
diff --git "a/document\360\237\226\211/README.txt" "b/document\360\237\226\211/README.txt"
new file mode 120000
index 0000000..ecfa029
--- /dev/null
+++ "b/document\360\237\226\211/README.txt"
@@ -0,0 +1 @@
+../README.txt
\ No newline at end of file
diff --git a/release/Mosaic.jar b/release/Mosaic.jar
index 18cae8758636de2dbb334de9d40fe5a3858eb143..f5b1a35a901785f2d860254f6b27de1bc05449b6 100644
GIT binary patch
delta 11071
zcmZ8{1yo!;*DhKHcb6i?26u<z?(Qyw5AIXkU5mRr6n6>~Def-Cbt*XY_U(V~{on7)
zS!X@#Bs)7N$(AHLt!c2id9dheitq?1FfafZm<`R0WON4je}F#}-ue&pz5NTjT>n5S
z0j%IZ*rExm0r;CyiL3?ri0VVO<T(bh)t#TZN}w<?<Yju+8zAu0%Zd!mOSd3JB_(BE
zlam?65J#&?ZoRelULz+)Kr|p^phbq=M51$&lhlYrVBi)1a-=RvYA5$rKDAsvm6uUj
zK{BNclv?fyKka>8tJCebUiu;$=xuu?;-3H8f4Wn*q2K+Pw$K>T1$Tc#nx>zoN!2>C
zAX(EzCX}f{s{t>RcW(yFQ^Jg^J(D}WkP6U_JisV_>cWL*+#sJ8>=jz*HN4O=oj<*7
z<dXP!{>@1IHY;mLx<zBmLS34i+|5nEe_&jC;pIg<0D(n9PeQHk)}}c+jcJkBal_%d
zU6=N9aiH3nFGmi7-pYHMrG-qGUzDcxf#irdjOD21eI=uXaEf~#)nEaI4yQ<R^v`N?
zg=lBK^Hs?@af0SAyUejs^KP%)+#y9vD&--$UoApu2^95psO_KP{qs7Qv|4F3kiGME
zUF<G6_+_&yq9eAX+?EK0_*TtrL!|U;;XZ9zApQ!0$O&{q{5BA*BlAE!Agtx7J@oE|
z2EP1O_s+_#l}tHwsYvcX72m$`;*aSPa@dE*;fN#kF1iKwGp3ZSc~!MOg6Zxp!(hI=
zB{;U$4msr7xislmx=cW3KI7ACSgKY=PoyIHvR>_BZ`s~b2X@?xm)q*vHrpcM#!-0b
zCoph+=zR@Dn)Di%0DbK#_tpdG+}(|HW!62vuF@%Be#uRg_vVvkg+#4w=%6(LDTolL
zI0U@sLWy^%Q1|pY{Gln%+qAZe63gO<pP_>FPUC6eDfc=5RyYS2m~#5FZ!d0kRc*>i
zaQ|?FyNUpuKEf*)cBaJJwBtqY0&-AjtbjY=e#nRPJzrk1cdQr3Iv4q+@KXuzc4P`c
zOY=M*1xJH>ON*c{(s0cxkoo9tU*tOR`l2zj%#lwQ1k>5kYFT`{9YPniBHubxypH8Y
z=W@!!+HF4#K82%BGY<oKM9sh=y%L8X4!i`eTzSh%0Y4PszKyHZH?latV<m!5*Z^S)
z800~!8Z~P#Dg94$PeJcH+?L;ejXJ4{;JrnVZ(K1ekWQi6yCB{_S;Hm+`mOP6M}rWi
z5YR>>Ni*8MxTcz+^E=CSvCS2@HVfogx08Ge>jLe6q(|kP3JT3(aW<FI0~-+Gg}g*-
znYKH0N8cM|6`V~}$xH>m=#(8g5%dpTO2|QCr}?2_d3eqJtrrV--r~e>y$zm${d5Rg
zCSDrOUQ#Fat6ny)1vFf()g%w+5*{J;4xFcGtK*aVVEW7r55>*#j%bgGU1#$(1Z~?c
ze}2)ECLmUo%q}1EmA3JRopGCCK%Kbgmq;{GM{qxI?H8_amvHX8TcHgum1P|=lv+qn
zPX!5#P@jwKa)OX~fN-JxXlUxh)RZUX7g*6!-WwPFXWo7qW}t%MrSzdXzxU&&w$viY
zH}muX3}i(cTC^MWpqbq}7SYiXi6sQEs^A=b+T~`iWh%Q%wiegaTfKmgu`v7a0qXLh
z+l86Oig54LGV^C)tnxUdv{X?iC_khCI)B}f%6pFSUQf8!|EHTn5`80jJ|4l>_r(ma
zU-m)i9@;qCC_slq1L5K0u(Lg_{8yAQ&%9bJhb;9?qlj=u-8bkza!2$S@0`DiD1~!w
zsD+NhR~!1w?bE*M-C*)xZ5k^DP3#`xFe{bB4Hl&NjKCj_?nyPP9**ehIev#!H#*)<
zU+_vl*b<oTdKL{$TjgpM%(@xmP_otV$e}}=p@h{5+H|;#6&vHL`Wwo&=`Rp#C~Y5e
zmf(yB6a5q^8@LO6=C!$uWx7}M24V^2d2K7Ln}3^yyfTLt9!|UC{B@>1;{FZ9_C`6@
z1$rmp1B^C9TkljkCeY2y5P_V<x)=sTLhvRu{JL6y5=cN*4`d^uqAm|~)-mIE2&UX5
z`{>)P_k<&r76af0HyN$6pvirt37Ybp+fD25G)2tof7Ao&Lh!r3j~$7uUG`UpxXMk&
zI0VJ58)d>!q7aK`FJc~7YU4M!*<=M6_LGs-+kGe=6U7?cpTs|`8FK4UP=di8owgt#
z>`{`s1=`8-2)k+X*i^Y)T?_M@QPnvsT{pM=el7FLT=AuXQXx+q30J^;i<m?+W^Xxw
zJl6lkGW}KCmb!b!%gNlls+i^@*qTsj+RsUO0zJ0eN|L7`U~lI*4nUY+bsp{(7=xYh
z6&tZ={=C5t=~o!L7=&xP?zW4DxPtGaTIB7`BCjIg8{I6<L<`unpv`L8ku{12k5t6)
zmm@wf;`^4z))Y&p>nn%?5LW%nQR@B7?e08Rv2cf0Cvl1QwvwF~2YWjIu+}V!HY^sS
z5m7gCe}o6TMn>DMH3?!6b}E+es6S&vzz=%*fyhz$)=%@18<GTp?h{Q2-Xd^U|1?ye
zt;=aaUSX`&^>2_yIL!Wt^|1+tWS)8Pt5ITj%}j@KZcQah3hu-YC%elwkcLyu?&OwU
zwGRj#=dt4H<~NOUwiDFqm6~BSk79Z>?<?}*bvVW3_9Sj++~p`z-UVXJN3|A?JTG_W
z<>_xTE#<ZN84w=4>}x&d^~M?EXa&nwaod<mZr*GhTrZWq)2*^^E&;{EjK>*qxZZhv
z-{e|%RNm$FRpunv<ONGjdp19imgs2}M{8-(kLqbDf&5o;)Ax{tK6Wfc`*riI7fcg?
zP3S$o4s_nn+o_DiM)B;R4_%ptTpQWDXqjt2G18qYbwZ2)t*2WhrhKS5wn>+lYXWt1
zRtB>KMNh`i?5&V9luk|t-Em$?LFV;RO+8V>@$CfY)iCeIgelF?FnYzuik+8EkL>P9
zkl>DRte4Qo3zZHai=Lq-BYll#ci#nxSa0Teoig5A+t98E9m4%b5aKU@*wV~z=_nYn
zgMRE+B*<zc<$$kjvZS78qFF>d2b^rOY~vY*c?8oKU{NHL4E8w};f(vB1i?4LKA(1o
zL6P{tC;{64;jn3n>BhYf&D0ZL+>;}pum``Oym~$)RJO{Qq|8e~20v)m7w8kLU;^AX
z9NFkeJwBHOVtWeY*><Zd!}2K4sIUAKp4*xML#|qKy`>Dr2JcbRpn^*QO;KR<ibYK7
zA%%eKf>_J~PJw_|qTuo)b&_G0hYIbz*fD^T*JLKc@g%|n%2Gf&Vn95=bVY-}FZa7f
zp-O;oOjLiNc;0=fqp*%fg6fvsHx|-?1|HLS;nA~n%UV$tv@~GBLC;b8nBKANO4!FU
zNEY%=X^M;baJ&ALcPoy1qP%!Ctp-&DL7$Wo@<}CkV$Su3A|k=fccM&h?gp}hiRmMC
zK}+l8=1f+WJ5vL7Lv_PfWKlB4nz{~t8>u*TuhFUFwH8AWlNI3!^s^#13(-hi)RXZj
zfl)K&%6v_pBl1YS+4&1>L|L$9(Qp_l1ovynCJ8E!G+gp5gEyHCXi9iO#7`Y6I_)yV
z@Cn;J?dhsIX}F>}QhyPg=HIiFc(RmUBJ6=6_G|NNFWHyh+la!`xMYP&LbU~e8{>(4
z3i0jI{Og4wL!%)~y<tqyfvn@vm<JSBbU;-e%H@3g&O5fi|3Tmm%KH}kp5gii!U2U6
zxqR<H@R0!eXrP&3rQ+f&ig)102Hw*$z)G~b)`fi@vf?@~(?Ems07q-d^N2f-O)YH6
zO4(ac(EZwEHUF3>PF!FS%RKw^qF$Abc<-C?pg}{iZo-Q2cu3t^#iM#gt>mJ7pyE`O
z!=VZ$hzOoB>mF=;Ol^_c#aqFGWOKT>##4E|@khh4*VQ4;<(I~C7gYGX8%kd#B;9GC
zjnFu^JMav5BK@K|GF*^5b#QHl{EDG6YU+ah8l)@!4I9%cIO9mpEG=;?1SLh*S89;@
zSspXKs9a7?{3>Bsin~^LD!?A6Skxq>QY<&D^892eN~0e|y&WtItDZLnL8>ZOvIi(+
z`Bjxk6Ew>ZG>M<BQY)@99=ql(E-)RNPr7k7hnOR~=hS|~0DV&d?FWI5s6caH#_f7)
zCl0L9nYb0;9L<_?SztphJ}(lXn70&u$h>UU%dqR&G#Z#x_U+l!56cWi>>*<wid7)V
zUzA34R^$+_hI13F%z7gLnH2u!m>(Buje?1J3{?{%rTCUBA!?xd0l2$_BTV+EBr@ja
zW-Y5KC_e_#VDTCo6E*q6wDJ)+AMtmrBb#_wIa$2EbftRfSmA|q+x4w1+*V9qGouD^
z6ZaqM5q;V+CSdYmR+2<Qk`~La4<I3W)>(ig03$q-4ChgAi~R*6oi;v#V9oQZIf6ic
z(jHW%yl$8I>!+O1%B0QXA&Q0@?VTL`ogyFR1O~>$k}#cdfPv1BG^0uE&WMuv;mPLM
znMr5#vhK=KM8oMrawVM>+35pyxYjw^NuD%6JtijZv`0{qAF>%3vpkpWO*&br&ae#Z
z{s(Tkl86;sl$%G06@`gx?CvjnSd#`71zCf>H0+z@BN**eq-sOD&}#YMGi1bSczS()
zhm<vHCRCA7-GdqrT9HvyQ5DzyQwhd8wL^8kSbHDs!8jmj?oe~FH)Bi{k54<`PHcv$
zyWl{zohMREY{J1Z0Gzhs#Yi=Fuee79VezOH9$g8Sbku|R#zC-DZe(oT@4HKSmfhkY
zI@kU(53dXj;gFNBFE!ah921H3{1l?UEZpzK7Bzn`i1`|{8!B9*0)l^9PQZLhF^j*j
z&buhlOz{}U;**Pkm2c5?-lrQUSP$hfVj%ni++w(xF|<!fK|L%kb{;9|BI?J`#P4g@
zcfN@k<WsR}M%H9y{As0lldF9-<DJa8r;|U*R^zF*O_K@dfc!;AYWW1(>*u(1@bt68
zBr)@}$v83Rr%$-!ig9A1Iqx_Ib<dz*XBYJis+uAa;4+u3j1>b0hKU*m=AV5j9t;2g
zfca<dd5<p-K@T9a{`gz$dirY0ncj4R+j?OhqfGh78g~(kwI+)4!fYCE8eJ(~XT<51
z6_*DWt~Wh0eoRIpkiNnjsBk_GEmKzqAZD2O<1H%S-{4`Y9)6Zo6TV7-7gNXc@4w3%
zzd901fBv51z1?senE(67!?fs+OiOwg$I`Fj?Dtl35a2TaOK0?=?~yzrzl~)<!Gom9
zWKv~4I`G%VMXU2@PkHx<(%rdA?TQ@syD>Q-gf4|(2|ZqOY3^z$zCl5<$~iJk-I|C9
z6?>T0RIma7x_0%N1`-JKO*d><Li+Vs>P&kkl$!>k&93gk!^6p#4r#`h;83s%)1H!M
zG~ZH!>=UUpkYBUoW?Z3_#$Bm&`?olcq{`g!_7<?qHfB(8=IODCSNBv`GevPuWr8ze
z029a~zMEHyLNad$Z82TNjRcgsgM>0`hvkX=Of><h;I=qvAc6bbu}X6UB`R|Yf$moU
zV8*VI#K4>;@-S7}x4jmQs)_~WfHh8hd_5J&%`b4<ic27y1z)&YxIHls&|Y1ZfyA3q
zT!l!bd)pREfvJY>Oi^4!y!lPaI2Oq)!+|h<O`{*0Ugl-za+E;WfZzgW-Y*1GYi&YZ
z6B@qwPe9gPSwbN%Zv(7LuR~0DJB=m`LY$+!Q~&t*HvEOWyz+(axwiQPX91AJh?NY4
z8yxl4J2@t{DHv<<0D6_hWCA)wh!b$pUac%f%mKJ1=D8i3@(#;iU9kg{QFw9Bc+bX5
zk5<>;wdHdD^eJ1mBpLT<FS{c)&;}T~R>jo;+lulU8Dv*l-(2=aRLJUjf+Q$G8~#X-
z$l8{RoNN1Kh9mQIL7%<wGcA#dD#aky7-tE4DxdTb0;zFYN`;<&)XY}xqj+G);6^N1
zd`|J3h-!Bu0(f%m=5YF@$V^ocPUc8-;B;FVmF)+1WH&nMFk{8MVNRT;jX1bTBB;y#
z9!HGefMU+qWo=X<F-9@8wop%pusH|K|JEg&8h20hseOYSzR6_pOZmBlOur>$JtK}H
zB*SnaLx}`gq?3w(YyR{Ch}avp&RDC`;@{d@B4ne)CBr8r*+JlM{Z9KQc&F}5UgI$0
zXEJWqb3P40(>#%}Pt+8XKUcS>(<r#CR!f3aF0L+=*CZeFOR+=3dr>sPmbiSw8I6Q&
z>^=$HRqmG`R1ytPQdyO6^za-&+@d0_mb5wRX_!AoX#zQBZS_=i;3!%|3-|pt->cz7
z9E|jIrl&se495$T1SU0l;V9-=<B<%(Qc!9;3-Z-;AhzSc`71GPgK(#Fl(N=V3qumI
zGL*`ox%v3dEPFj5ZuT@z@)Axq)+LOyaoB|4=^e%+J7C?(PPIr^s_8+<SSRZ93*Om@
z#trh&L{$PQk1Y6%$VN=M!&SzHz9mz=ZTMzSX0RYc2svJ}If<4tIeIv3WPyDUR}<@Z
z)XaE?;)odZ**Gh-aFX``p~`*bRvASH>fzlG^W-W<g?AU_!G~3!kI;5n++?eAowIG!
zLv<x&s>Tt=hEtj~ecld<Ax8U3s&QjIv<?b;n=XFdq?s*R{YBKgfC(=kd{*#j>x$PY
zQN(QI0b^^T+FF_j$2kp(Wj^vTU5H9JDzbBooXSYhDI#Y+kzTShb|Fw}#InatoovIH
zB;sxHJpV+?y%;WQgYfW~ql|YZIJeO!Aj37&YS@4Xc6yA1EC~vES7h$x8D!|^KXJk3
zTZ_4e&{w{HE?k57NBmee8N*WV%i}7vbN9g=KEfJdAE2+WA|H<^?ws&vcJ+shbWuz`
z#YgOLoBJMKINb>WU-5Tnr#RfvVo1JMQ|2EB-33a>JKMH6(W7sn>?4Zag>tw%Wmvw8
z)4~$_<}OA;BN+=3X`}}sK&cBJ6FJIU9p;zwC{6ac#K;eJ44s&;KTihi+gi4H{9I?G
zkJ5dZni+EhZ66bf_l(j93DD^~Uo2_*O>t<Tn9yq}9kV}t>?TT#pgNF|V0VxSn}?S7
z)%ykFim%&^p-ar^EO4$PJ>C*kspRJ)@6~xJsd}9<rrtq%2jP;}+D~6hOmA6D10E3g
zsKPqR;<k<7RjerClGu8DfLickPtYBiW(EckpAxL($1>GyZ;V8$@#=gFd?~S*DZrw?
zKh-u4`<@?c<z~vq=hiaD-D4OgClIE#{Cl2LC9!G&A=zsKblAkw5R~E*l>dNnAOLUv
zz|7<n(mw`asix5+Xb*eepqs^-Pj!Ozh4LGhfU*9U%wyIO%k%fnw4L0_m4++Cc?>6y
z<2NT4jwHIi%1UVq<`r3M#T>$5lX9G)XU0ZqBW|t&O?MjpyI6@(**=iF3hyA+GxZ5h
zfW_|^eVU~;#x_%SrXxDB$Nf9Xdhedks5BwP6*yZE`BXx3cY5T9u=f*knD6qc5ObN;
z0a9smu5zoKIa8wDagtf7oVmeiOP3etd;s^&=FcrF&B)0`EiKWq<@F!2Ck@4fjs%5r
ztPJE%UL0DXE4eb1sqdY_%mgzPbn-#yk_^O+WFpDz`&$CPn9eQaub)&ahbiPn;&f7x
z3Yw82#Ab-L32K{;8!GGar!QBqpl}jE4*huSl{amj>h(2WU6`(1`KK@eJH2eu;wLoO
z#PfvuHHpni8I(NPRbGF45ytKr+VZle_^hbk>-mA%PhWx6EJd^^b#xv|p6KVQYoRuq
zQOB&LHU=$@kvm_uYOBDhvG!Uum&C5EY1mwlDRCNBACZDtfy2u~5%s<gv#l?^Sa#IR
zQ^q#M>MRaI>n4__X?R^pYCFz}1ovJFvCwPps^BckidG8s>mN+-y$UG(=dAeF&yAf~
z-_^CLUiT;65+d43MrDIalvsevb96)V$m3I={O*33*G#K!$#!t<K*|-%7v6m3AoWFu
zfRBR5Xa?C7$jgVfWSv@=X=sJ@0?yot2L;URV0I;=AOlDP_nBsMtb?7D&ka5hcv`@B
zmwn3Tw;#9x2xbr1vs9IbkwsyLB>)OoavAUgRpnkt2|z(sUF#KaVh;YC14AJG<^)E<
z12^V`K<Y$?xj0l$;;lI1Rzy2YB`XM$SY!&DG!Qcc_>TEX0q<mHp<QG~>4EU0noBQ9
zr~*s$gJ=xQRs!6k9>tc#Gf6-6<ncWs<ud`_2ju2o`9`m2vPJQLIe||wZ%ZY8wVv<E
zgD`z=deDd7-pD4l2T&`H;XZ7>lZt}W-}0KCIk6s+3CF{2Td4`4L3~E!bc8b@%Obw5
z3L*wZ%*3@;p>e5{wL@=ITXXi{;nlQX_;qyN%0lbMnvOV_>*{^c3_RZ)zm>$}kD)y7
zq6_^cz&_bYeG;2=qR3FpR+2{XLB>>^Hc;DD?Fi?Vf7hk{vM2R0A+aa<Q@I%Os8(VV
zRbta4avZs|dq(>*vkNPAh)Bj5WE=3#k4XAYhflF{6%#EG|KynjX7u_!6ZgaJ8Jp{e
z^?!)^jp`K@JcwCH8xZYZ=!NGb3tr=WHAoeg^>;FUBUGXxHL>d=(?&kn<4PTh_=z}+
zyL>~HW)r0e4L{1aj%t0WQP^&!5T@|pW&xL>95-q<b@qf&Yj&k6w=WptCm8+XBu7tK
z)e=2#$nTLL`*cI1{%ewY9H%3$u&mm9(UjfL2$%;(801NHIZj41y-*1h4LQoW6zSsd
zBfz_kxv&90E29n8VYelz>VdL>;X^99p|^LDJ7RA#y<QD+#AUUreM!P86i$crg2*Jh
zg@4ouAky|&5EW&k-CC<be9@kQ$Dl>@=ln53C9hHabfGz%{QUFN*w3zSP|pwwAGXxr
zdzTo(Oc+YG>JZH8q`~|&zCZQFTewqKVJnOY`tarvTW2nIRfcU3<&m-L)Y?c=Op>iP
z<XtaHY!F6HP%xDr`pN<u;($<LAyFpshd_ogI@rcACM+D7CvZFxq!F_XiT&6GLa_Uy
zB_}-ue~ViA@q=K(KzC&dxJ+rJf`c%KSV`uOWLyyipj6}a?SBIy(5Wb{fr#nT7Z~=$
z2K^M@Tc#7enKJ_ZO4CE8OIs!Ab1KGh2*U}N5uM=C$Qc}qC_+Ym4y{Ns$2-1zdP@MO
zTP(v6)*fM(V<wIRL5VKLD&*U(;8Ry}Das8Br~T=mH7`_Iv{RfB6si5wzqZVKR?5Ya
z`~{Zfr>tYS*dgOyZ7mLp2rV<Tb~DkSG9PDI{421Cr6!DbX5wK(7zj6ssuWN<r8!A<
ze>>4}%SoJZR>Wso=$#R{&6MQxI5c=eKUPSX-YmK+hWoYyGW;tz3J>c31wI+ZJERLu
zR3xrUJ^JAJBN~Bgc-Al=ksMmMf=xL4V;SqxjNp+40PjH(B*S2ihME;-e<Vwz*_a(Z
zJB`wqiZ5Yn9o1s-vk^y+IgXoYm@+5!T#r%o^U<CTuW9AJJ%W13r35|>L7{f#P-0%b
z7{Y8QToDQ~WTohRrNq9EwKkaj91}?dvg=~R*e6^@hNl2UF4IfeITWK$d{m&EAtrIV
z(x|(U9x|pgq_WoSpy0yPcm?ipXHGVvi1f<3ewcvPW){^4o0=I@h<^U1B73uTv&BQa
z+46Pa>DXQ01dqZI_Sq3zK`(qj+1=Y#ouLA;73;GD1Sn`oRO)|5O;$Kk>RTargZdL?
z*c7K?`KHHRwf@cS+r~kip&1e^i+Bbz^!-+QZ{6Eg2|-ya%h$Hg!#!%QNr}Exd6H{>
zi5YGxuKl)mLHE)Mju>LDc!OL`Hw|3`CdQgfLovH16SPjtXkr^t8p|Q!7dXr|PI{AV
zD2zIt5PF+3yJ-WJmZZpNKGsCl9<Xnzuy1y_aJ{8Vh?XGTbj+;$WXE0_kb(TIt!zcv
z1$R3MW;V*^XNWVn2uci~1k9>Q35FM5BXdiY9r(EFvNRZ+QO_R`?G<r{$|g{yvY6iw
z9Bl5Wns0;2HV#?t2@{raRb@(Xa}zEMOQtj-)br8)b6CkojPa(!(UJ_YUjkh7=kM`U
ztZuZ%*io7#$=eyY10IF;y3aZ9N2$U(O{jyTatGTxl9wq4ZN)G<Z}D2QH5q=|cwv-$
zi5GUxl(AQVV$a0_hZ&}G;(^$Qc+cE_bih5bvHcd%cZY~TGok5|zwn!{;RoFHbN345
zf$I8s^}OeckQh{u4LS|+%ggjV#&7rmynY@!@8Q)TRqsGh7sCwxJtA4SQ-`DlbEl5U
zyqRb#{Y18ncWL<TfJI)5c^ya4ur;>Qpq0m?&u&E{){bxPuy{+nTY5t|qVV94Z+zDI
z>@_q~|C!8-M`6{O*~(vSWM6N@&lMJ;xU11dNX{I+Rf|d2;tGF0CZ6&6(h<wM@!VCc
zn*y_m^ajw4O}`2&JnTH`eldJc(Ty%<-hSYD3+@>a4Q^kfm$xV=#_>X8u_!1fxg|E3
zyed_`_@gV4RXJPIA{WkQ)^}=R-I;Gz1BYxyVepOhBqytIP=e43qF7M~<_RFx#rF42
zF(kcmTjK6j5d;#W=d0KCB_?>$S(nFeM9zG<x&Qrc|G2NNJ^p0zn(GZtjzhA(2qL8V
zm@(J9D|9o1i9cObEGC&ghm}>+1xXd8I<)_Yg7w>Xs+-Yx-xyZ0qXyhCvD=@x2l-&c
z?j`vRp7NFw&z3jD;`aS^devuK^&*4X+o*gN8<_r??lz6>!1K@>^}Jmx#3gvUFbTp?
zyD}f%m}4N+h$i1*gbSE|{@GpRQ;bHAD{b2>ZPc^aKW80Fb9mh~STHaO^#66%(K1e3
z@aAuz-GTW6?r)&ofK3XL=A^ozgEt1D2j|BTb32@nw84gBrMzkOa@5CN7Ljt=K}gER
zLw3@z3gM8EH(IkX6dNcF%=2Q)P+1op5MAVc7==gi6|Y!gyEu2h7CH8QJ>Gm;+3Ej{
z%ndsG991!khVw3b4fh99%Q|1Am*?H?=QBhJw@G5bK}o7Uo%Mx3t55kNQYCZ1VZKnM
z=qIHeazV*%%U=nR&O4t>wc3q$JpAS=Ho$K(%=r5@0+&Hv@W1@s>lOtQmobEG?fB+<
z=skXg^mn}OyzRAo5D#qHJ--}inF=Pk%6~JX8ro%Y<C&-LT>6EiXXY!P8-*rdoMweI
zEBMCj5_sTUH%ZL{p|eUcPcUQ@W$#cnsWeip%5d1opnqrBt(q_F2edM*x7B@loja2E
z6kf~PmlRciHVwkX4qY4~h8&?K8d34V_O)gnCEQ#<QhheQ2QIXwHG*`)u6Lr(W%G~y
zJVmAgmkPgRCpAjssO2XeAu1lPx<j}zA9ZLPcR0N@wa}I!Ygo?48COkfs7BY}NlkUT
zraY*GFMLns*L(`PHPm*>ce6M)2Gg_a0_0?RCiG}E_N!b^{^iGEzmwHb6Ua?h?Ru3h
zxx-3pNPOKKOvW_UaXEtzk+zBi)I4-E0P?1JWajo{_5OBmY&vF$^@7YW@=+HKxN!6$
zxB47Vs|GtDMiNj1E2^>OjU(5lED7iRxTNi~UnPo)F5ML-GkzD95<OH$G94djkD_2D
zM1`x~!y&Uth5^;2lV%NG(S4CW-y<w~-1i|79UyKVYf=u=6-ehmsKntI66G$fDl{Qj
z8;K3=cc0w+#lY>o1+}fRQ;VN;zd1WJd`tvWP{o!*0vwcD-Y4L=1J{pMX$myqc^*Tu
zsTqEJAmQNFsnVpGhSTJ(EJ`+yWuvJskYm_kqS4q`D=RIo&Q*`kTJx254y0D4i1+=z
zY5viAM3dr4@Ic>O5o*T_j3M&%kjAE$Ope4JnMvlAF8k{CJ%#tUOUpzv$`n>#y5x)S
zo!;TA3Zi+8E#(N{9U1<E0&)u(GFKuta_Z4}ive5JQquTzJj08^RhfO<55EfRK6T2S
zSNMOFOxc~2i5VUSMiS}2lq}VNjj!d2%kY2n>mHvEqV8$#>;bX?S-Y`XI-0w?=cS9g
z<60AqK~%j`orc<!6;kyS9D+mS-)pF;%h!FvMo?x*(zD&2U8CD*Zrr-G;)~mS!11{m
z2#-A&kWQAAWfMHOXL*LB5aHjwunAsn!~Sah<6GeN&Trq>>lT-wz(*_G%J0%KL@^Q7
zxb#$|5Eqj6_+}@5hr^Nd9Ggi(oR$pB2lo&S2G&c<52Z2+wr{&!*_EyzGmK3x1zC37
z^1dG?thE_LxS&+K`1K{REWSq9;Wfm=NW$9cWdZRVUewa@h-J8M&*M_?Z49pb9;!h;
z^_Bt-$}OJ5U?=ZOmCh@_h@}{cN!_l91H+mO$Qt&d_9O`P7-hwqV8OJz!(B2)xB(P*
zN@iyCrAJB6)p&!OOuXA^)z}@Z{RO|?Nm`0H9XqTDhP&#Apk_$lyrDh{Z-kdA?qc-@
zZ}?vJVOD0>Ig?EVsCKoSUBlflqSwl!mNFqo>xDFfKDYiw7Xl2iSwHGJy@&Oa9UgiQ
zX}v&x@@`U-bM6toAAe0i>AYOpS@YQro_Ewi_~m!cKTpWD;iz*295Nf`GiW~>m5G{V
zKpBttbVL-?Zi#~0^0h_iJdX(hr(u9CBK_SI8w=Y>Z{x=Eg;!6A#cCV7-Rf<#?c-!k
z#N|hcAktl5FR(n3eW%I>ioIT2-EJ>2WQ#=;OED=n<TdxgJH&U+$uh9aNr|*gBv64U
zVaQ}}flH!#&r68qM-Tpe?gj@OJv<9l?`~J$v3Fd2*XfSyh6za^|6u1Xx^Tk}b0T9v
zajc-b`A_{A63=)=!B`^#jQ-knH|Os5DL0ndGUvz9>bdV*)8ytmkIN_Rb-Gfmkg5vE
zpzC_usq%`^osM@&Gi}|TH?wVB^UA1M<?D`xYV+^y{pqD@^9^(+GMAU)gRH!2C!hRN
z5O-Kf!(#sE@sQPTEvh-iBP?PIgaX)i9sSrCu+|8$`(@Y3vhU-Du~;Q@X+BT{7924o
zp*d??>>as8C&MU|Jw|^OIE>5IhR|PefvIcqMM=d(34X(}jEdk`LL<GkeQz$jeF2q4
zLjZdzMR3+T#Gh(TDB<c6{G+6w;dv2b%=c&&$YlAOSkAu^>eHKAAu4}GfDkjN63_C}
za^BK|RU%({rBm8{={e1k^;UO+=Z{t{*hI{+C{kaEl><Li3)2xU);fY|AuS{6@ampi
zMUqVyJxSlDwr@hIo-=#*9w4Fplm6HN=(NJ~xtu~K>piMn+!R=(-qIApPX}|TuB;w*
zxkO0BW+CQu<DB>?hkgj#$Brjo8Srgr?zk-=*s0hl0kf)FTZTUY9OcBj48vqJihJqO
z3st*AQBvn~Nk@ue$^Bzy)~B-HcQ~NhRtJ26!c&o<i$B<dQ`C=W^H7}20md5%(^4n?
z{)Jrrg(U~-S(rkPQQ?&{s_K>BIhIZ~=(RfGO0nwat)iRyVgE5Z6c)LY><BP0=E(nL
zc3Sj#2ax}|bh7t+5G|0C_5T=~_!LzKTy?w=NV`0jvfz4a`KQ;qI&JzUuYq)SYPnJ@
zB3$+b*3Gc-`;@+vsevgis3C|@+vpzlS&f=Y9yAaYm^0RUyy-rD*lXGkc}B>-(A6t6
zQ{&bzeW#`RoY*JweYj}rw4jm_UxCfDazR&Ou==gG9;Db&jYEGFPsiP_dThcuT>dPw
zN)1q=I@G1@{TnWib48z{GP|~!ZjqJvx<t+MO{kPLN~DSAs_Su)N=Bhg^K?Yxw+ce8
znYxFcYj~;4q+;6n6igLUbnR%)Ih%X+jqdVfQqWb^OVlHAlX4(IhT)b<!_t*s!$yAN
z`730!3gTM85{g8(aRJErJwcO3M>2$Z4jfuo`aX76-h>gEFjzkeC~kUDd636Db3Lir
z<&Tq@yJ>mhRR|zgYS{kVvKlAKU_P=`WM7c*1iXEIl|y!L#=9?}5nI+5aUxi-%mese
zEwPXdF3K+o{mky=Zm-pMPeDz0_8>tzdv7bV1R)N8iJRiZ)Tb0emAlo)rhw%Qfr*WG
z`LaS5geHLYMis_gVxSl!4Rqrn=%`Fvv%@jn;WZu4<(%(+jY`QSh#%H#^tAT&p9xQx
z)qw4Ug@F<J<7?CuVc}3<{{NLqeVBhGWSBov@&8h4yfno>w=GlarN#cr#EmrDU!<0i
z{EK!n3V-pFj48&SAejFDhR0H=Wi2TG$@=#ylK1~H{)+-c$=4*QVz5Z5=n6=wYy?=T
zo3dzs*`3Rh!pSlIyOdoH?=LsxTF6`s91IK+A`A@Qe{efv`!{`@9Qj}Rf4f)C|Da#v
z{5L&Rj_7a8X!4|R*1Z2NdE!D#HI_&F%kAG<^Phcr<o{QlxBu;_{~2&RnE#CxI{s-T
zLF8XGQj>TwQwRQUEB~G<_W$^2b=iN_q5NOvR8vHJ^A92BpNHbl$k@sM^YwoKwF#m&

delta 9955
zcmZ8{bx<9_@-@!I9Rk7K-5r9v1eZW?cPDHD7YXj}?(Uik1b24{?izyUOY+C}-tX<!
z)|u_;>ZzTrIx{_|Gqa!@6QR-66k*|zp`bueP}^vUacK0ge}O*;cIyvxll_A&uD_6g
z4=wl?8#JLcK>rM-NbiAE6mQ%`k3qo7t7v)f5Q2=PNWNqeO9PJG;SM>)4u`18#X83_
z5)76JSISgyRIL9zmy>Y`Tpv)*5Va;s=WS(E$SA*9;y0$219{|7d|Gl?<8HE}tIk-k
zA@x{mk21>$_;qgGBq<qI_#*nLLdfg&SEk$K!=~FrR)kZg2nKMP$V1_Oj|M}l^&Z6_
zVR`x-wpnY)GE=F1QzhEG{>a`ozk|-8Hq+cI<}BJg^fB}Ofa~D(oeALS9Fs(-uo@(y
ztpaNGgy8K)lS^!mN96BZrAiLUoJm3ymV<RYz4;?!YUSZHK@}}QZJh}&!2@@nybN}<
zy;epF+n?4t699P{L4?3LWIp49WTi0QWI`!rB3;%w9Z)uX>s{&AWHdt-O_ECU6R(9-
zPDV@Bv{Wjs_8UX1naWCgT_~zIE2r+XV+z`Yjp>z^<HTA|80!vnMtQy!2`+06fjwPj
z-?o%{InjvRvfO`>R<O^Q?e+HS7Qr-4n2R_B0`CPn9Dz;d`oR&J-o{zeT1a6+l-sW&
z652OA+P-5OV$6+Nj}7LE`DWb_1>a~B9364BBlSbivX+%*T%Eku;{G%sO`MJrOZDQ;
z_@Kq-G7#Ste$WM%4-+2>kJ}y9y&EH{0Y1Bj%T8AryMcFx#2Ph3+w>>%x8X=Dj8)P!
zMMDM<Fn?r!cd4s#XkC-ojOo2DiZ;*KoaQgK8r*KULD*v0ack=&Q_IM*nbwRP+>gD-
zYV;f3lW5JhK4M*R-QpN*J>u!qlwiZ;gpovz3tqU3_R^srTJ5tDI`SpLHodD|+#;d9
zFwb#bPx{<jpLn)mxmTsW+H~`RBe2)M=Vp-tcsfim*|#^(<&U+F?-~(f+G;fWee)c=
zCM=S+PQ}TMN8bw%NFXy8XV++6wToI=$$V(k%zx^;bymw76#{!P6O}S?`o78tA@r^d
z`=JIbna6g3lXSw&Y{<5!!$V1KqIAU}Nnv^BhfyS)@|@JE46A3u=mLGwS!{>5^@}Ee
zuC*R{HYxKMC>pX(8!C@-lF~0hA$)2c@@P2f5wElJ?5{Ji*{{`_qo!@CRKE)j)6Qy0
zh)%-4-fTE8dg|y+?Ua{zP<+d^wY$#2RE4~pI?VqInZnN6dTOHe0cl(OsoPEnL1*|4
zk`^~Dc!}B8NzkFB@|I<|(1`w2FuoCRt4<hyvqo2$CjHa$X&|18M%^N|Jo181pnN2M
zbK;-?gi(6?n<_;slBwjDooq`Yh>YtYx7^#I;WI2vv%t>XYi3qUVt4%yjl1_hXB9}#
zCk^C<!ebD7iMJ&@YJr*El6xCdX=%Y(czUs9_lEFIJAw%tyj-bNGse1?%BgmMp1pta
z3M*)bR%}u>ct!70e1Q-f<^|Ddm4?}X96stYf|hIttX49lM)7{B=hn8i&<)ev16K^A
zl=6{@wr8XU={51pxU1Dq6QM_R5D$f(;~vfQ`<}!G$9`ex`*!~C<>Wmym3p1<9jX+-
z>aN$lQQpeP-sxEER1>wNPdheXdi?MyK}_wai}uX?R8+`nkA*Ko=jk_ixKEf8?kC5I
zriw0a!h?s{v{lDfP|US_(4bOyX4<U7A-u$3Q<Hd}&BRLAhCgL5w-wq%nt!+|%Jc&!
z<V_uN*BzFQ)tb;;_++Z#Rt#8NMs>1EZcpv`N{LBe_O)`gs2O`#75)RjjKA&jy0*)f
zn0uUf);*i827j7Ae2^#`=-9klO%Bk&eKcCV4e#Obk*oq0+k1&O1(>S1atv)ET?gPL
zMo5+t^K4hQk?bw}-Z5-qp^$Rd`Ov!Pl0YSy`w|@uO;O7wWL^=nFuc@dRuFpX-{V2=
zfHM7QxiE>e_Bz`4j@AxvPd==3-DueUd50_-qkgQy`2!d1u-KZ`MyvvQ?Yjdz?=(G1
zmChKo)b2B$V^NlCL{2o?j2_UT?p3B^n>b6=U=z7=u`J~Z#Wf(#Mz;q_AN)d>EM<Rt
z5=J*LKQ4QcUnYlXP|9spXP%8&F587)w>R>s*trk8!!U2*qzVzR(!XuOQzT&Zw$;)&
zGZ2^~sy9@$PFF1Xx`tXrbl_umg7AG|4@LQ{zkzO>9HPTze(gu&+c|x_Z@zeYyP3y$
zRo={qyz!OHWOmgW>-&%9&|qF8f5}tZU=8m@o)!k33hh8#Fk=mx?OKa?wIZmymm=>W
zTw45%vGw+E*=%IMQMtG)!>5%^C|Px-g9I<JIDQCXkR>_cnn2|lkbq4)cQItS9+=VM
zx*@_u@6nrn=XygBGq{4Wio<af)^rkynGhYF%Zzh3mOvPzV;;DqJ0Ke0kWej>m>q^@
zpt3?5-nOi}p&|gkI5DWu>a7$wLw*Z*&CFSnFr9TSMkfL2diMMoF-JIsG<?V+n*~{T
z{?UVl)%x1tJwY4Z!taF!+Q=vS--~d6&*+4%C+iDP_*Z`V`gNz{;+3Fvn`KJQhtgC3
z$USF=F+RhOi%_U0rsK7c-A%T9Mv5jRCMmbuwd}&dw=tU+TylGVfrRw~<r%h@;7cC}
z#t<M9__7RKV?s(fqz}2TF)c@t0;kg%Bw1o8W1s?Fv8<;9RdM#!kG&%;!z(Sro0M+2
zO_HU25rkpkF6Za5wKvy=zx!R;ysy$G7FAvkp^Rz}w7r5oDBahbbMBUOWcl6SkZmZY
z5mf5*A$y6$7P)lOIV2hFAdEz~Z)LFc6|3t>50V4We3L%DHw@nL&E8QY;+yEo?!*m<
zayrZW5fY`j=A6u$O4+!bV7S@llFs+k_DS125$Y0-M_67Y#|lr?2EHyHQ}qkcr?i8n
z8SU3Jf=0I2;F>K>g-=#x18~OKAKg?B1{gLrR`qt1y>kVeU-ub*kIzTVM`@MZE4k&?
zJr=hD)AqOzU%W4gMG)tm0joGsp4Kh_?+~)^&|7mi=WwsVK3n^F#F*?{1B{C3Y!e?H
zD<o3Z_;6X;<>ssUuhpE*b&+SxoaGxV6;PWvG4|HzJhI`f361?hB|bR;Udc~+a%OI|
zLouSdED0&is`dE?+!vb7*?WUOSEHl@eqcQVjV{qQ#8<C91m5XZ0+Qk#`~?p$(l5CC
zge%_3tl2v({$I!a)2f6g9lLv>jdw--lW;%mfHrsEb@sa$@9%W>7WiklbwYf)`{0dt
zkc<x)vbSxJE-OKkUt^rYa-8Io&^I}33Hv5{u3@l5bxE@rW7_!#dafuXJh=vRe6leC
zMCW_2?&28vsXn9JxSAWZz{V@2?qR?La|?yqTRvx*?g5`|`#^x`UXX1^lbe2a-{LhP
zhVq$U3OqUch%9lj4p2SnDq(i_d%Qsq4I)9Hdb|Lnwy=Yw_Q&6za(K_@4sNNGet00_
zL7-#9qHV>*=eYk?!EKbU(4_^1yDtX>rC4?cU9O<!>}kbJ4jx=Syi2+9sSTVID;T=j
z#<qE9lr^45*@KC}6rQu+7tTE$s&E=@Zyim4+?K#?*PHa_r((+0*>1jnM}ovS-_H+M
zXQI)`4-1O0a^TOY;G$$+J((1#Wo9({6xusEu9umStomdLy&xJ6*K68=!sI8QFsq<G
z`>80(%oUa_4t=~N(^9ErFm=3gQ5dN%ORIAN1$;zTs)q~t=#$3r<P)Tr&haam&@E;#
z^@-_?TjyBn4ql|Xd}-m&BtjdQkkIsP6^!|tHY$xD6X&D%x%+6*KK|B*i5N&%DG80L
z8G027hul4<J1}%)tX9*uNrV<af~S@ylHP_|6`cD%t_K^-Fb<9K-ujhWrl5Do=Gr3R
zi+9{GLqN^Y?wP_cH$boCrhmB1Kc46uc=onLfX#60YGdLs2RH3BeSdP!O*L*3KP~dr
z!sfhYer=dibwVMt^Y&=saI;+9DsED&@+70)4+kr@1v@drCXvNHxup(J{&A}i2wR`j
zv3pi%{?=>M^E}RAB*~PEPa*032@%Kn8MmAaDw1!WCVV*<d3({c{QED#6I2yKrJfPi
zKx|e5h_;bl?#M-wLz)K@#!gC@Yg4L5L4=QZI%e5?&(BA`av)`t(P+j$vQ}E(X5Ymz
zettghH@uo6B8WjtY-$S^1qy2YEfmz>ECLq_1Oh?*%@hy?_!6cRF@YjIKmR}3!Ry57
z>BOn+lv&(2CSx;HNmVeESsjc$T-Xr8RV?LO=T1UT*+01fiG?RVMGsLVSz%rs&MNiR
zfCp;bwQCTCF$mW_bgpnoMQ*mx<%HK}rP1S*xBAIBfoOKKi)+QmCOFpNbt+5f*P7d;
zz%QXq0ijIb_bwq+1z_Dq1|y6u1#f&0Ldm!Muw!YYm?lp}crjDZCC_C#fcSPXgJC?Z
z{hfJJ-0|Y6b&VsIl!59p+zR76+A)?`P^cDd-rZ4IBL1Rg`SL8z=g*%5De1vb22r;L
zGBdRA-`8{)t(Ni7Hkx<V%{E7xcNP^J$Z(iWz;V;T(o3g-bAiBNdOGHgc%k-ny8*!{
zZ;gi8WYQx}Dze%5IxwkT%}<>0R+}>DzUVvb{^Kg1^#CQvdn6qOP+q)Ry49J<$ifqd
zlxv*W<(YkKAZn~ZWp$>hI~l6jECif}Y{{`m7enzb)|(ky-jhd%DK*LtBx=y`qg|PP
zG-9$GoUG8q4%D?Fm$S!g9hq6y=>Ae)b41ETXu>|moh$gF#(69rh`V@(UZqNxsI!Q>
zkrF8rn5smF4b5$u2bM<0-&w(etkk}EirC`#k46@n){uLb+qEz6v6xR;Yu6@{7};jT
z;pz~%JY&FEtJk8AB56J~k~}hU5ze1xpmlg9r711z12ZaE<pVJ4+f1HoKam~3DM-fQ
zM@T<<>uQWu1=0&GRB6<ve@)@Mq8FN0kad_<s7q~P(2a<}DkPnC?dAG~9Kv57MBX^m
z`jy=-DOs+xxhxvmLvisVbfs)47!8^CBaW%1N<!S4&H2=NgvU9j^d*gwn{0cI8rP5P
z0qpFCXdt4wmP!!MeR~HSA27O9w%pz@mrZRQ{3R`S<7>``pbWgVKo;;!t7FYV0n+%4
znL|i+7#2}Arn=&V{GobBTto|8En17hJveX`lR~L0l33#F$(=8k<?WmHq#q{sDY;mT
zC|;-$@R-s{fz`Q)F1>3=ZL;+8bVkZ{9;=qmgg|w7<%<qTUl9tyF{SpM1k5Ke;f?~1
z|HSIF&B-ohOlMgxSq>#!<a;62l2Xy|1f%WrDr^n#a$E47lw^$E*CcJ>^%A->o{oIq
z9tU<AM@fB%3M%Gqt78W-XPa-O6ejyn{S&(6%^Ly{NM*A#0Tpqu^Z_Y6@L3hde>KXy
z5*VdsCK^p+0_*j5QN>sFohr%tJ>XfaCpwc!u%OCvmzQYhF%V*4ma`?S$B`DR&xZ#0
zL7#rNqJGW`oaB709I@Fv{no!!=5)Bo5+!dn>3p4>gu~KaFglap4i+P-=JEH^sj)z}
zUd8c+db%Ve#K4(zNwxaMX`cmoK|v-p1#~A(TNBJu;U76dATKG<iY<|BShlPs9p79C
z5eMns$-D$Sb96IrBf$f`jOH%qOOCT)SpC&3Zx@Gj$B;)fk<qu=DKOoVq|!kx(Wb}V
zxBD>mtM^bNqs1k7sM~gM9OZTBWyi=<ZXbs45%PS94?;hw`6(&R&m~qZ%e?mp2NwMa
zHz^yH{aYH8*By%!IGW!nmWO0K+|WETn7$&O(7<>j$m%|dD7M<H*}5zjk}`c;SGwSU
z-!ygjVxJLhjY)dR8IY;fj{{boC#(ILCVrknJw}xE6fMWQ7l@fgviaQzdjd0^c0sD8
zgjZiC2U5@fdDdG35)t|R#brJE6qv)d5&7J3-whVixx}X0o0*QIyuVc~YLW`4*}}km
zhM&Np6*8_(woZ-E1pCb6gq|@W8-K?@l9rheH^ymsboo-W7K3EbmQ_`pHq}%}CT3~}
z@O-Qiu{m*BzuvL3KdX_wuU%1cQaudl97uk(l*(C7X6IRrSzI33jFLO^04zDr2icZ-
z*<|gHPI*{XV?NX+0mOAh9#ac1_dEvo2Uy&#<vI<GrBw!;uSse=#?`xSt_;!e+uz9{
zIl)+Y{@imZ^VQZAVHIPkD)f3*)IX!$H$B&nKlUqvs<{gE^9>qMdA&ZU{K)JwKJhw;
ze;N(>N>GSI@hz6~xlg>&4~W7w-NwT)Y0O{&GX#HM;>huM#Cpy65ptX!b5{|_Zc#WI
z^wQ_3%Cd#z>8s3_S5KEEhbr@CNN*M|LTcHTdbs06ocFf|_6C{yr?z<XSx2+RWF10j
zZ7W$Gg5WVR8Mkd@EdMS?E}j$Qeu-2*NOH>7naj%5l!cH4%n{hX0T{G{PW3+LI~+>i
zl#GqCcOoDj9faZ=jJp0g+TI&1$wZ3}sb<|LVY>zw;jD1sKj3s`Vj_`NUxmb&XzCE?
z(AVP!lG|wu$FuADWD6s_!}d?kR-m)*eICsez^`$o+B3Z)U*nIH<mU*a#no%iYL3V9
ztNlQSD*(UNRmlMV6_}f!@5OF=8o?S($VqiEGGf8j!t@mzbMQ}{1({=(W^JkNrFuaS
zSsuXk?lTKNTtx7Pje0tn)17;y;RMGU@#a@ilMghJL2ja4(P}HU>7FCajR6Or6P234
z3w7NZKW$!KWH`@x4H$SFPv;WK`z$`SSAFL;&{RIR)}={129PS~@=FFepNM&E%Rj`p
zhQDvYD4*a<U?1krnW~@W^djOANp?7WPgO*#Y{299zQnf_Rnau*c>c`Bpy{^sPfWA5
zM0oH~Td@GKc0-(w*J03USTJ}1-K{l_n}z41BW$JbNnyd(@|R0f1X2TvaOZ5Dr9j!w
zPx`-I+dKMY0Yw;h5+23I_Yh8GoPAv9@*u*4cWM~}DkRkYWxj#CLafkHOGC&Dh^huU
z@ODE&Xc=ErZB%JJB6f0s0vA-sJmwVKw;-q|ToiGW&D(qaw~L=IX@LL~n#+co4D#o<
zpK(EOCL8Kg(DX@&6o^GQmt^oHQZ{?g^bmQvEdteCpz!+5p<Y0L4{RzDQf?GziZ)S=
zPI4|d?bc<iI73~!Wvc}WSGLJ+Y86TfL?dy(Tw<{J*%M?~p86J(KRkQ|wRmrWAp|kE
z>T;S_DPMK>h-CoSBGIWq<VFJj?uUY_Zl3-*YVbr-D%*OZlo8WaxFO79{7mrr*17LS
zjJz`f`0e2^s>5m37~lU!A?%a4JKyH6BdZmDCs^KoDAyOXvGq))_lwx*#ixD5$Y_iO
zNpe{M$x1>uGO5}Q0|E;zu6gFdTq+Vg!!lU6D==18<%e$TfUuY)^@bl>tf8GX2=9DJ
z@bMafe1<h~ihSe<z0{qq{D_q~x1)_mGxMDxV7HVIRIq8mV&SwgLV5CQP3}9-HT2?;
z^OrcfT3S0RzXcUKK_=IjHGPW771eiz>-2ek97%UuMC}+iM*+-5h}V^9R#j*_zc0~2
z7cNs+tbxv7w{&GMBzI%i$U3J5K8SqrpsQ^Q5?QdCBEf(65y3!l&ksGf@{5QQhTppl
zRKPc8t_%E;Ry#%FntVSiu<3i(O1oQZ&`l_2>FBqK+(&9p=s}l*8v%F^!nN^4cVcPj
z%U9H59`j4`sMLVyXy;Y@j|83_JEY9LP&q<7q_3|Mr#o)Eg1_1c_n^*#Qb;8kL?RV@
zaoudhhz=ukr4XkTVs>PFVNQ<ZZ>K1zj{tVh>Df1h6sN^C+X0V)q=il<Y@cv2W?L@l
zMfwW-n4Yaa$ArOotA`ugQ)391_B&9=6Hvy3S}TI+Y02a-P1wTaX~h&xPA50U0+7|P
z1}6hFF45tl-AQJond32&YOC(CY5SNYVyCFLD{rt#39C5uX)?RuK5W;g8YMexcLQL~
zyWbksAi3TRbfhQZQqJ<+kBlzg$mK8zzd6(2Pl4FM-<gT-=Y_0GL0|2!A8Ofl?S{6d
zDH;Kg)GmW*tTXO7QUogEhcOc(*s-8@plJV_HY*?I3y5PhD)0IB4%HH3998aHJSdW&
z6i)hrom80;HR+ORIjbopwvQ~IFo3s*%)GO|>VhU9#bjHg?Vs1(N&OBj{F99#eeTdP
zQx)Ek0by*jF_*Y6sRg-+(A>R~7t5iXw=TG0sUh^TUkI8bV94%Fuw}o54YGeN5I3io
z$lp@KhYvNxtu4`D45W)OUCQ9}=9d&j`Yp|UK+&Iq_@$UwZec|CB+#50i34DQIA06F
z8PJ@rQ=5LMLy0E$oHft%@;OboyiV0Yz+iWtQWqxmuV)Rasq}(e%^MmyE6l5I7v&U0
z1`L}O3wAUF=x7LNeO5ydQ_iCVotJ6WWmM<K`jw-x#pt+Po;=UBKZc-o$5#-YMqnNC
zUCv~HrVLW0oUUhWvy7H!!-2ARH(tN=eVMjYgIKb?kL86&eZneSsWkkjoHQL;Y@Zjl
z_*B3Brie8*(3w1nF}N^kjK6x@g~(<kCD0Xf1Y?@KCDE|8W6bQSGUhv-{#}9Tm+Y46
z7#Rle@iolnwb2zIHr9i!^M}ittIa4$LuJ_G9Fd(JzWnq1E!kb(aRDg5>M<ZH*204R
zmkpdm*prY8fvDnIZ{$h)GOMO43To297Lp(QzSxr%C?tMyrak~VUdiP;OZ7Jf{3<a&
zQR-|{U+PKhHc9laR@su8a+R?J-C?tc>@?JMDR|et1kQp%2STCj3{T}ZqG=(lT}1x%
z6hRjx;<4+BLj>`h{J@~NK7bno;Ay-FlzJSfomQ_2gRw)uWHOMH2@P&s>gke7+HBbB
zq7NTz6;b^p?DU5cI*$1vtJ+5v|KS^a@o%>EVb!JGlJi|F`)fC^Yod(jDj}aN<=2g@
z=RoCGNY-<>^6PNc^P}7+IZIM-S0wW9VD-GkvUp^xFw)aLQ=oHfQ0LM>v|E{!H(svD
zpSgh0KU2QRzp~)ueo3j~p*4i}%7trvU=Va<7!$Ner%T3?2w{R#r&f|kbH*!1nN_D6
z>;EY6U1QsJje1PFL@js~?86SWU89-%0iB2Z1cvuk(hckDZMtu+g&PE0W@70(8|y~v
zfRkFuD|=5Qfwvo&D_706=oiQ*^0<PfN=xEg!BOw&?DH*6xvH=PZ5pPev9|G#v6?k%
zYNH;54H#JXS*}RbrlM#HXXazCh=enZ%#}*s+VC2|vf<B4rep}&aE|98%X!0k3AxTi
zU{A~#ZxFPn$-?&i*Hge1BX7Y~gQgh)u>SBxnv`Q_r6iwLN<aB6(y0miUHbhsDK3(7
z_i*@)(-?K3;czzm#}60l8@^Rf1$mK0M5E=X8~k54p#(VhaTyND^9bslg%sdLYKB?e
zj1p~Ft38q?wwOLI?z~Rrb)t8{l9vBS9xJeg(z={(A}`+tPVP4mUR&aRJNy6$7}QZd
zLxI#QODsSyVt-TiQ&($32Mj1EL8|}B*c-GMauEKBd%xIDVg8AG`<zlh@+Zx=TDYM(
zio8yv*ZS5h?|sl>al^D5#cRWHG0~)ku#2h^^m=KS6HYlhB9<_=BFP44(iF0$F}6Zo
zGuJD{DY!IbZ)9D6ZMdELOk8C9@dD2eCl}waH_I9^zZO_aeMJ()h`NZfAFnN6?mf?|
z^bTAKv`O2bk}#(<(vXh@A`5IA^O0zoJViQa&=#AOD#}MkzE~`t9^ag{pAlL9*~TB7
z*=h;GjJuy**Xc0$SsEex(#||YcuP-mRN1mhbmUeRuR+Ry-|8MmzBfS(IxN1?+{chw
z=Tj0AzZ=^TEiJ*L@YyPth-|)kM>WvLr)Et)VaQs)$3V$L1?L`+ZXQn!aflM?qzc<Z
zsi+t=2t4mRd*9&b0PM4`#?mY*kiEE^+jNfl1x{2Tz<h7KbC7VtNpxp`<eEH*;n*9s
zSF0y|Q9=rVpL|WJN+B8a+}9HOr5=TA7Fc?F0GCE<W1K#XLHyLeR5fhazN;vl7e`BV
zsLzByvihjuQ&bByb(fxWuN0t(^{mxL!H$da3YTSgv|$VT&J33+apGC&Q;j|aR->fw
zjQ&I&#gSru>R%Mg>S<2Z^!XO*V)?B9D98RhiNzMq$bMt~GUOSluZ@8ikreK3v}&XM
zo)IH0imQY}RmJ(hwyyFG-lS(XO1#$5i;-B_XgKRU>f$(1RI_LrkLaI&HAK)bPvGWI
zP|D_bC@*TpF>yeoD2#t=7%NuCqPMi^Rm3*k+)dq@<<v}M-I!lDLJ-*h^@!x&E^zrP
z)4rWw+pTi6QZDndpT<-iA4{8y;bv0w`J$9Fgi)r-oWJ-tu?pkHmm}oj8>iVC*T7Vg
z+sJ*REm|(%D4zUCev!#QMkKexk}|AKA_2RRw>Rk*>g46iSi8GOK>)S&Du&x8)8c74
zxv|q44dgy*$Ui!`WqkWu8RwSQ2#Xq@vFQ>m5C6=pgi>d0i+lsqZN<wn430${<x{{1
zxX0&Flzz<Dw;%{ntTg#&>wSX$h;Q4YQ=s?VFpVJqw9mp9>bJO(2RUKb@SIlteC?}0
zdZz1f(iqR_(|)Mj2Ds4i>IoN^84DEss=iL|U@??BltJoo;t&_JIftLNBoeyj$-s<k
zUP1+N;w~4$2Xnadeq|SDTD8xQE$ru`n8%O`>XMxdtMS6<hbbR+E9VmARXNJC9pMV=
z#r&iMuuBSV4RhZK9uOAcUeco?;C6qr7005G4|jSOPWH}W0M;SoqfTSnl*Kg<Rh%7p
z0=?4o<hy~?F6yy+fgx|uj~I<pxZX%`?`=VFZ|Uo1D5ed6DM(HAQ~6WP{g#!uq2Q%5
zwy;1=RNGW{i;&B}Als3M#df0Vhq~wZD}sY+Ry30+IEThr6$}SZHUg5!6Utu_VR?+@
zMTUcdf<pQq5=q$S<ZCG7HTcIL4H+Wekp2;gu`C~;<!)ooYG!Zh=9ZPD?1iKCW)M(~
zw@ha*vXM6!c~bns-3h0LC0`{DT~>@MU#dUno3WAjWmsukN$t)b$*|SAZ(s)+Ka82b
zecDYp0Hx=%A_3{;m^pIUr@Zv>-H8{mo`bf@mrbD_5x;BPHw9_5GHc|fGZGp@Yicd;
zA=(pwzp3k8NcE$nYriWq@ILGyq=a`$euUhi9$Iq=e<Y*Zg1}a}<k+BEvvqCCO<U_h
zU+#Y8Cb--1Xmjbur8`?K$Cf)vhihL^liGJ~ky|2r&fyul-3rGpXKAKM4`!?G{E9`A
zMb85#0$M{=z4=29xA_)(3iXCefo=cum1|C5VM4G|n0y>60}VmBxmN4Yhk^g3y;(cj
zWKF|UQ*{CSy5=rKse$W<#ap}#Q3*1l?O1LAU01cUMha!u5Pt|0I!}@KMJe-S&hZ`d
z3H2_6n4Hf117op~tm=YoHabX$$xITkDO&!hCb6+g9tu|3V;dlztYUVm$^UtrdF=sw
zFF*MhPKApaold;dT6<7byU%+(!p6+V27dQ}4~(|6H=K5*xHpofh-X@Qdz|_)ebJ|H
z3p|{WiOXA~9TRKM0ZwT9`FWME?39n$N_6c&lU7;=&aJu0MHA8;a$uq_7uojbV4GDh
zx_hp2@>oWCd`16|rA^C1wJZcLvLFRO`rW>V6smB-=cvx!Sal*;D|z8chnzLtNN2AP
zS(UWi-qTyFYo3QqVJ>^R>-~6krBFmqT^$_LW%p5rG3kf3`XS>}xv!ff3m6o1BUx@g
zE;QoA+vx0B=xXcJRnSKMUGToolt%s~X%F6RvdX<yN6<^saJhM^$lh;Y_EiZ`Ue3lx
zNQT0n@6+rZC_fp~lR)EY#xt~7PD%{a4U9zDr(AY|Q{iBl%(8i$ClqtH;B5(<hMU#?
zxh%j_XzzEJIz@tJF#1-Iv2fI}L4BT}(u9xG0bc-n3OuH__*0}O51+OXSkJoQOkI~R
zhZG4|UEA=N!x#7@sP@Js?IQquX!Z$$6F=h6PU<ra&XtYmgSC{bKg_?M_j=nBjP~<x
z`r@p`7k6$1P#17(z6(*P_G@TUGwj}<hk>1a=^54@X)+5<`BO}?%4(4JGVU@s9mQeb
zlYNKUjd@pP=Yx=4YvxcEYyWjw8G|G612U3m8^{S39u8XYT8tdy^P2(yQ{^4q1(c=Y
zH=7CYw%%h{Fk};l3TgKSCp0^HK$ZFtd$q^nDX+W#N|OW;Q7E84%q3;lWbj1@sqNP@
zMjHloFKQRHq-Qegok@Iw&{%T>zaFn^GKU}x?*Ts<e)a*(1*M^3J`s@Tdl7v639NCM
zME4r05`+{7={eleXzd2%H4OKIN}&__dw)6%i@k&>KhU{D%s6{YsL$iV#EQjA1vVCv
z><x69rRI}*(Z4^cpfFTdqHp5&0!AdF_l(|Y3UE1eq>eU#zq#G(QH%Mt0qn<z=%KCy
zK-3%h97Cuv>y6N%Io<kcevF7|{ww~M3Z>w#;cE&q>2<EK7iB=nSN`fsUmmA|Ze2F=
z#ohI@qw8(lZ#MaoHhh|K>4kA&%cpmDq95-mLdmZ5r-W_nHnx=nTP^cTzYeXyKI9O#
zD(bw_A&_1zEUMr17!=&V=Dp}=sbXJz%}M^_H%aMk!_ZDAxoHHSWdu*+V4FGFD>`=R
zGnaMJuRfNa4=@r1qZDG{TW@jQWBjF1bu-4;Uw<f6;g5QvrU(s#4E6sjuoArF`Tv$+
zCDhA{{iDxYdA5H@tMKk0+AAph!#0Hv=zp{py?-*yKNTi{R`DbGU(<hY^LYOd^?$At
zyo4{j^nbJ&;(swN6yL&h()=?;GJq0<l~Dhg6_wt?7&HGf$10Kh3;Exq&-tHte_G0H
z{~SrUQ2%@yGz>1(e`Fv`<+m^`Tz|T`ng6Ft&+H3vvdNzX<OCZEis%2tQ{qjyQhxVu
m(Epw$_W$FAA^vwz^8YL=YKrg(e?8Fu-0gp6)?E7U+y4VMyYq+u

diff --git "a/tester/javac\360\237\226\211/Dispatcher_0.java" "b/tester/javac\360\237\226\211/Dispatcher_0.java"
index 869f6ff..7f4e1f2 100644
--- "a/tester/javac\360\237\226\211/Dispatcher_0.java"
+++ "b/tester/javac\360\237\226\211/Dispatcher_0.java"
@@ -1,6 +1,6 @@
 import com.ReasoningTechnology.Mosaic.Mosaic_Dispatcher;
 import com.ReasoningTechnology.Mosaic.Mosaic_IsPrimitive;
-import com.ReasoningTechnology.Mosaic.Mosaic_Util;
+import com.ReasoningTechnology.Mosaic.Mosaic_Quantifier;
 
 import tester.TestClasses_0;
 import tester.TestClasses_1;
@@ -34,7 +34,7 @@ public class Dispatcher_0{
 
   public static boolean test_make_0(){
     Boolean[] condition_list = new Boolean[4];
-    Mosaic_Util.all_set_false(condition_list);
+    Mosaic_Quantifier.all_set_false(condition_list);
     int i = 0;
 
     Mosaic_Dispatcher d1 = new Mosaic_Dispatcher(TestClasses_1.class);
@@ -51,7 +51,7 @@ public class Dispatcher_0{
     TestClasses_1 tc3 = (TestClasses_1) d1.make(new Mosaic_IsPrimitive(21) ,new Mosaic_IsPrimitive(17) );
     condition_list[i++] = tc3.get_i() == 38;
 
-    return Mosaic_Util.all(condition_list);
+    return Mosaic_Quantifier.all(condition_list);
   }
 
   // Test public static method
diff --git "a/tester/javac\360\237\226\211/Dispatcher_1.java" "b/tester/javac\360\237\226\211/Dispatcher_1.java"
index 8bd7462..4758510 100644
--- "a/tester/javac\360\237\226\211/Dispatcher_1.java"
+++ "b/tester/javac\360\237\226\211/Dispatcher_1.java"
@@ -1,5 +1,5 @@
 import com.ReasoningTechnology.Mosaic.Mosaic_Dispatcher;
-import com.ReasoningTechnology.Mosaic.Mosaic_Util;
+import com.ReasoningTechnology.Mosaic.Mosaic_Quantifier;
 
 import tester.TestClasses_0;
 
diff --git "a/tester/javac\360\237\226\211/Dispatcher_3.java" "b/tester/javac\360\237\226\211/Dispatcher_3.java"
index ca28d1e..e79a1af 100644
--- "a/tester/javac\360\237\226\211/Dispatcher_3.java"
+++ "b/tester/javac\360\237\226\211/Dispatcher_3.java"
@@ -10,9 +10,9 @@ public class Dispatcher_3{
       Mosaic_Dispatcher nested_dispatcher = new Mosaic_Dispatcher("tester.TestClasses_0$APrivateClass_02");
       Object nested_instance = nested_dispatcher.make(new Object[]{outer_instance});
       boolean result = nested_dispatcher.dispatch(
-        nested_instance ,
-        boolean.class ,
-        "a_public_method_5"
+        nested_instance
+        ,boolean.class
+        ,"a_public_method_5"
       );
       return result;
     }catch(Throwable t){
@@ -28,9 +28,9 @@ public class Dispatcher_3{
       Mosaic_Dispatcher nested_dispatcher = new Mosaic_Dispatcher("tester.TestClasses_0$APrivateClass_02");
       Object nested_instance = nested_dispatcher.make(new Object[]{outer_instance});
       boolean result = nested_dispatcher.dispatch(
-        nested_instance ,
-        boolean.class ,
-        "a_private_method_6"
+        nested_instance
+        ,boolean.class
+        ,"a_private_method_6"
       );
       return result;
     }catch(Throwable t){
@@ -46,9 +46,9 @@ public class Dispatcher_3{
       TestClasses_0.APublicClass_01 nested_instance = outer.new APublicClass_01();
       Mosaic_Dispatcher nested_dispatcher = new Mosaic_Dispatcher(TestClasses_0.APublicClass_01.class);
       boolean result = nested_dispatcher.dispatch(
-        nested_instance ,
-        boolean.class ,
-        "a_public_method_3"
+        nested_instance
+        ,boolean.class
+        ,"a_public_method_3"
       );
       return result;
     }catch(Throwable t){
@@ -64,9 +64,9 @@ public class Dispatcher_3{
       TestClasses_0.APublicClass_01 nested_instance = outer.new APublicClass_01();
       Mosaic_Dispatcher nested_dispatcher = new Mosaic_Dispatcher(TestClasses_0.APublicClass_01.class);
       boolean result = nested_dispatcher.dispatch(
-        nested_instance ,
-        boolean.class ,
-        "a_private_method_4"
+        nested_instance
+        ,boolean.class
+        ,"a_private_method_4"
       );
       return result;
     }catch(Throwable t){
diff --git "a/tester/javac\360\237\226\211/IO.java" "b/tester/javac\360\237\226\211/IO.java"
index 18e8a8f..5615a09 100644
--- "a/tester/javac\360\237\226\211/IO.java"
+++ "b/tester/javac\360\237\226\211/IO.java"
@@ -1,5 +1,5 @@
 import com.ReasoningTechnology.Mosaic.Mosaic_IO;
-import com.ReasoningTechnology.Mosaic.Mosaic_Util;
+import com.ReasoningTechnology.Mosaic.Mosaic_Quantifier;
 
 public class IO{
 
@@ -53,7 +53,7 @@ public class IO{
     // Restore original IO streams
     io.restore();
 
-    if(!Mosaic_Util.all(condition)){
+    if(!Mosaic_Quantifier.all(condition)){
       System.out.println("IO failed");
       return 1;
     }
diff --git "a/tester/javac\360\237\226\211/Util.java" "b/tester/javac\360\237\226\211/Util.java"
index 210fe71..78e30c9 100644
--- "a/tester/javac\360\237\226\211/Util.java"
+++ "b/tester/javac\360\237\226\211/Util.java"
@@ -1,4 +1,4 @@
-import com.ReasoningTechnology.Mosaic.Mosaic_Util;
+import com.ReasoningTechnology.Mosaic.Mosaic_Quantifier;
 
 /*
 Util
@@ -10,23 +10,23 @@ public class Util{
   public static Boolean test_all(){
     // Test with zero condition
     Boolean[] condition0 = {};
-    Boolean result = !Mosaic_Util.all(condition0);  // Empty condition list is false.
+    Boolean result = !Mosaic_Quantifier.all(condition0);  // Empty condition list is false.
 
     // Test with one condition
     Boolean[] condition1_true = {true};
     Boolean[] condition1_false = {false};
-    result &= Mosaic_Util.all(condition1_true);    // should return true
-    result &= !Mosaic_Util.all(condition1_false);  // should return false
+    result &= Mosaic_Quantifier.all(condition1_true);    // should return true
+    result &= !Mosaic_Quantifier.all(condition1_false);  // should return false
 
     // Test with two condition
     Boolean[] condition2_true = {true, true};
     Boolean[] condition2_false1 = {true, false};
     Boolean[] condition2_false2 = {false, true};
     Boolean[] condition2_false3 = {false, false};
-    result &= Mosaic_Util.all(condition2_true);     // should return true
-    result &= !Mosaic_Util.all(condition2_false1);  // should return false
-    result &= !Mosaic_Util.all(condition2_false2);  // should return false
-    result &= !Mosaic_Util.all(condition2_false3);  // should return false
+    result &= Mosaic_Quantifier.all(condition2_true);     // should return true
+    result &= !Mosaic_Quantifier.all(condition2_false1);  // should return false
+    result &= !Mosaic_Quantifier.all(condition2_false2);  // should return false
+    result &= !Mosaic_Quantifier.all(condition2_false3);  // should return false
 
     // Test with three condition
     Boolean[] condition3_false1 = {true, true, false};
@@ -34,24 +34,24 @@ public class Util{
     Boolean[] condition3_false2 = {true, false, true};
     Boolean[] condition3_false3 = {false, true, true};
     Boolean[] condition3_false4 = {false, false, false};
-    result &= !Mosaic_Util.all(condition3_false1); // should return false
-    result &= Mosaic_Util.all(condition3_true);    // should return true
-    result &= !Mosaic_Util.all(condition3_false2); // should return false
-    result &= !Mosaic_Util.all(condition3_false3); // should return false
-    result &= !Mosaic_Util.all(condition3_false4); // should return false
+    result &= !Mosaic_Quantifier.all(condition3_false1); // should return false
+    result &= Mosaic_Quantifier.all(condition3_true);    // should return true
+    result &= !Mosaic_Quantifier.all(condition3_false2); // should return false
+    result &= !Mosaic_Quantifier.all(condition3_false3); // should return false
+    result &= !Mosaic_Quantifier.all(condition3_false4); // should return false
 
     return result;
   }
 
   public static Boolean test_all_set_false(){
     Boolean[] condition_list = {true, true, true};
-    Mosaic_Util.all_set_false(condition_list);
+    Mosaic_Quantifier.all_set_false(condition_list);
     return !condition_list[0] && !condition_list[1] && !condition_list[2]; 
   }
 
   public static Boolean test_all_set_true(){
     Boolean[] condition_list = {false, false, false};
-    Mosaic_Util.all_set_true(condition_list);
+    Mosaic_Quantifier.all_set_true(condition_list);
     return condition_list[0] && condition_list[1] && condition_list[2]; 
   }
   
diff --git "a/tester/javac\360\237\226\211/smoke.java" "b/tester/javac\360\237\226\211/smoke.java"
index ccfc75e..567b8f6 100644
--- "a/tester/javac\360\237\226\211/smoke.java"
+++ "b/tester/javac\360\237\226\211/smoke.java"
@@ -1,4 +1,4 @@
-import com.ReasoningTechnology.Mosaic.Mosaic_Util;
+import com.ReasoningTechnology.Mosaic.Mosaic_Quantifier;
 
 /*
 Plug it in, see if there is smoke. There usually is.
@@ -16,7 +16,7 @@ public class smoke{
     condition[0] = test_is_true();
 
     int i = 0;
-    if( !Mosaic_Util.all(condition) ){
+    if( !Mosaic_Quantifier.all(condition) ){
       System.out.println("Test0 failed");
       return 1;
     }
diff --git "a/tester/tool\360\237\226\211/run_jdb" "b/tester/tool\360\237\226\211/run_jdb"
deleted file mode 100755
index 8334c1b..0000000
--- "a/tester/tool\360\237\226\211/run_jdb"
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/env bash
-script_afp=$(realpath "${BASH_SOURCE[0]}")
-
-# input guards
-env_must_be="tester/tool🖉/env"
-if [ "$ENV" != "$env_must_be" ]; then
-  echo "$(script_fp):: error: must be run in the $env_must_be environment"
-  exit 1
-fi
-
-jdb -sourcepath "$SOURCEPATH" "$@"
-
-- 
2.20.1