SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ((U/t ]% Pratt_Certificate:threads=4elapsed=10.225cpu=31.716gc=0.4407zXZִF! ]ŗXiɟH)0!h]?W _Q7k75\ZF)c-AʞRĬcE -JbAD&h)3[U{-D49ֵ=vKd;:'^1-*h+xjgn{G bk5fX7pfCA[\ga@DKxW5ǍC`㜈%5#6쬫ptue8e (::rax~(XQ F9cB #}+AvEMk"D|nq\Gu\ct's?&e`2o@9 8X.fr;Dζsaࢄ: w_f8H>EjcĚnװ=2[(hVc2nc|ʍ`0Rt8Ol1bIvgYZ7zXZִF! z]ŗXiɟIPDOB`7"_khg[#b1 ԵD#ѵ~3!|9T[{H]qgH_g!Wɑh-.Rd|@īL\wgYZ7zXZִF! Kf]ŗXi%D4$tYP E.$ d52X@qY]L}SI>3* dŽ]. H?!$pM?fe*`@ҋwG#tUM4,eTľ-}^4e]w\/zrV7F=gy~J:TpL; x:bDddk{C=ΖT2Le[yʱ[԰$JB i]3X}4jZK.~@SG 64&,^i}:?g8H ?wtb(u^7+d:?k|2(<,yB~^񯯶ifodT''0YC''%V uu ӆ_ '5&|Bˊ]u T k14'kjvbۃ(Q=":KJBPq犑?a۽0S?>s$iz{.|\ͽЖ`L>PlpDԐ}6tADllk>2]#{E}vRP-UWs;|]|M }Y?10f_^2W59lH#gJJ#~Pll.%M8)sYl~ !Ir3Sh<܈$>]~Jtq|hJq09a-vpt<~1ZM}d%j'}kY#?:8 j~pP |hz@"x$-/]% LPratt_CertificatePratt_Certificate.Pratt_Certificate_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5L) Kf Nq]Flu0J?7TӑYBV$ʟv*f1{Y"H+fC2)P%mH5VsJRN6\gШAP@Q~&zEa+Pq0hrkfS^rWᒃ>mVBCMI,wg)f7%$!Ӊ?mu8tLzMaPNU4Zƹp~HMQιLdEh514V5#05#Ŷ!4(a 0 _-a2FWVTgS'Q &A[J'IS0TFIFs&6gjjWO_!S%E)~z=$z+P$i ϸ1#O>Sۼ*~ qBA_>&֟V^N󛾜 s*luV3 u;'m!?Ú(vBSX䥖g[|q6Ul5V{6F,ux6Kn](oN+*- J6aB0H&fAJ3$Œ@L|a-wӫМ|OBdoH21 LK܋ԍzUZ O̸{eCzg|vUSϱ7 eV$ָA-9k 1ъb/"!$ܽwT  s=pм,<0z.HįKd*.GVixU.olI8k#YkP1 M!ً"[j BGQeXkr%V\4Ѐ,0 1_Ƈ=>E,UW em&\zz:A^ÓʢZD:ǶjPᶁzs1= ,ڥ 3(VhG@$'CdUȞ 4q+o i$]s= 1JHҀ0ȌcnʂYԻбRH{ejNz TUj|5$tN,sG5 'H3J<WO&>w:s=^.l%b઀+[vU/,?s2Z6%H27ԡ׻+4[do 996%J1a=` Ң;7JG{3ްVa D|BS, d( V&QSvHtʦG\[:}@j,[. څD؊{fGg#q)`"U(h9V%ívZ@qC8kУ[ NŸ  Ĉ%L*}q8Bi*rמ; S*C :XQ-z<v;H婥0[30F]sISc* wxTju !7Q 8:i=D؋}ͪ XSͦ7DXm`?@NZek/[_TՕ)»sM$V KE4 \Kv9DrX=+ĚJb6[PYza!<Wa%2TZ>EŬۅȼ*?܃^>MiuPٹL`htFl|<2#uз ) &c L CKIhW+.=mTǹ1mCBOPz<t.UqfNeeǢ&I8Yd`Ms1Y-F\w%FW8BE"r1H=.wc}}8bz /KK ֝Jnmg|7Um4WȮ:1fx9^%AQ5s~(ɗbaؘ6aL 4:|~ A\I <_ߌw>3{рIp HǪ,WOKA[FzkT uQZb-l!6c>PZ1ƕCeZfMNà#wHW}E[(tﳂDv 8TV2}JE# @h h'-Ѧujc "ӡnTt kx3ޫRW-2e!5|镲=ͯrJ6kΫ}9^Jp@2{ZQͳqCSgmZ2 q$Tpu\';$L,:-Zf&a ;SԒ8Z9>:I^ ]` ]HV"PY"Rv nY_.i3b'3%}>g:襘 Efq cnrB(}L#^pGk˫ E1Ck0q%hǭ{C?ZB's!?E`1C{穠"Gu;>W:Co89n)SMN:E'OD%5gc6ݝ7,Jr• /jN)}†0Nfbzr:S-m>%cIJN/7VAysgwV x')d\^E̛^Kg,zer`QcyJ?2T|p' 4 _qøGJSu:J;_Le+Lv綍V+A5iaܖOM#.Ί;no*«y-IK|:判N'*N>( GTav*_n3z'?" 7$8o-)de>j_R.ߔsl]֑^13*miӟGݡt4*)bY;@p-Qr{8KZ\׭zpvj#EC{:xTBLcw;k "b [hge7vS翪 .KqMD3fotf$ATJin?}. K[nZZfuHboi"'+'~?=?lXNOYQ} x*3P6R2jN /&Gيt_~Rpll$$_ڦrwKSJȥ4WL{qܺ-㺦R}+x^6s Nۘ\PE J+;,b3\s n7 Q6/(5 PbNE7ŃUniӂV0{$ )Fb Dqܓ HQEi@ތJο+KZEq`4zMI _\؝ uӺU0 `KV?2YRFOS?yZo畃<2} b3BK=$oFQvADHtZ;/hroG e\ .}mT L7V ]CC̕ \4dDFb#d: jc^[/ڹ I^-;xv{Vl("BGi-nmfB.f ~+Y."47j:M*٤pܰS_/+8c -h4 @]%M.9`{sѐ__ء @dqI18Z}Rш!NƆM3_ْxQlJ[}#N;DŎ.d~iC ň5-wS#/@hӂ@tV ͌vKt0Ym ᘥ=㊰ykoi\7OCn9I+e9D$rROUm5*"TZӛ,TCu,a{ :ld}Ŝh@oXLlQmN]%}7*h~Ź]ӠoEZ/(E$!V.1`XLR%; L4zBS~v qH#27?֐oXHW[Z  sQ!<_~Y8Ml>[{ERjylD6j'g(%U(B =-=2bUS,Jr{kգ_C U5xpe].'>T ˳il{YGgq C+^_½? wyz?R@4U[E68 78"L/GcWkЭdR])}1{3|{v̚T@9u#2N੠xiK.S,Tt[r]gsVP]Ȱp]c"-\ "Sb3Axc@kKJ| zc)."V?4 k2 -y`XR˒d<ȓl}gOt)>;eJz^As)1le/\6xiE!Nir :l`IG_ 2D5 =Nv($ iN$waB%t: 9;5rp]Z cѾO=9xӃ9"i4H 1dUnz]a"ֲ6tsT Jj]ޡ|653^an6=* r' W+ am<;xw$EEў2l&l[vAK[yⳏ@Fw@{m<6- d3PW76e7Zi섻R?Z%Cc^4 .J|wG4(`gYZѾEmk6ݾ盔ز.#=IO{/ LsBj!?y;lr[6'F[y>욠KCl0KUV"kQ!lFdh!4р1'\ܗLEf%E}UBi#|BiSOfxiƻU:%&Q>9P;AҺF [jc8BfFD5᎓nIQXV9{QKllxOPDvmMUJ"𼇷OE}cA䰝1}wݓ ~0 #YHgs B9 Uk 8yl@#q4γ\u6dҽ_gU2B!NJ_̂*id]s"#1GuG- wg03wEzZ4tS*sJIC@5i(ne鐦Αm2,oà=t4ssC?'(N;>!Ğr%:P)[9(!ܫQOTwq޽CқF_EWߦ츏@}aqvfW Е4>6+ܗGC33lV4I$AnkjAlҼ'(޲dm!vZkټAȚZ1'#XWсrP_n|! 4xګR4Cbsp*U/ΤnupqLJAdZ2>\NKWJxgԜٞ NDJ(9d&xA\KlNe-Ws{* ea\}HL°$q0c:{x"kzVuhSDta&fv%r,|<Ԣ=I!.:/ғ`\-–nt[|;ǻ1ox[OӘ2:V2ӎO+QCKa!kv*Yz#,hsYjR5Lm_h \vʗ޾ IusB9['NHť3t՜'*T3c 5T (RYqCڹ! Kd@t &p;bG-'A? -A̘`荃jqR(=ŒN]2OiIr\7nڙQ8lŷSLrnVz`__'=8Á ڴɋcy%O{muaP@ ء.J Cі'02}iq2.Q˰ P}6Ҍ:)iVXa\8V2(?9<蛛I$)}◳n/(^#Ӝ9&FOd)1ds(Ȇ<>c xpLs-"_Xj#9} AWO"Tn*0|2&D9COfvhMM)2x/c <`B,-N[ZOc}{X5Y~0$p0?ȑEIaZHF{-@>hc>@aݯ4D[A> )[]B~1G/!/"Lzm{S>9>C䲘JdV: + )}*Ƙ V%8)bCvB U2r<ѓM(o0,݂pl?vw>v+ېBFiYx*l~@v^Q.9ekS|Zhah}jǫ9ͥFL2x"lej(GŤ]X3)k'6Όkxb@6%e#O=O1B?gc͖[NZtØɬ<+uk&ԟ^4Man ͥZ<ٍ>*Xo11z1CCeVmjهxG=]" IQg 4)6=U-Mo>LUC8hojyB%fu _7xf1{=vwO%&;TIinЄNP4-H(94즄ꘑxBzd[^@'*>c1IhC5'V݋Fד?*XKП(p*s^Я'ϻO8xh*6!5n^g <- 8sT S]wϿCNudc>nx"* T_e=ೱf aA_Tj|fpcBM0]7u@0q%Qvs>Po3ĭ #%]HidžfKtrP[aX?*;5sD^il}7SK\c S bͼsH[nYjc3H|78֣ 7`ϏG}ԜW%NOf )=3_U=ҪC˖D Ej%ʕzdo1Kn'&d2k;^yjٰG57y'ʞ:vTI-y~_@h 9p-׉<CVpȦO0nߙc73 Iڄc!K6GB]]gWcxԊz7i͑7`Fxd]} \d~4F}vviw"XDS(lKsӷ8ՙt\s|wlY=TlI$1NoJ9?;>ަuJ+}ptz ޯ|ۗ28E V&a4}:J4X_\Z彘!Io{R/1'n6op D9Wܢ* #+_GPģ쇱WE:yzlfuv‡.t@Vu[(_0¿? G<֙_Lv;|}D d]U 34aj[:"{ ѩNӥ&N@,9$2qScRA2TEݗ4<9L,Y^\G/.3b]|`/Mg/]T;ۦnBTo գ9`IZFgV+s3+C4kKw rW+qcka<U8+xaCL.0/P<񜎙2~O k;7OO< oPq?=1 ukM R.MDyoj Qgpʮj%R#`4d1 TdZ2^k(u9D ARWl_;u):ZpԥUE3up$S G!,ix4@Tfhm芎tA)#p43ِ5k? Ipݽt;M97|@r2C@ƫW ]͊Cj&'@f@8摤eS1b1`I0m6D־'؝P3,uG[Ig"y9M4c*IL;%s՜i'〺l_z1׾[֧7`*^gK`$彐V!Ǘ<"#>Xg6z5+0,0ITbԟY!܉~$zŸ?rh0< _H zqʓY42Jxwg8֡ 6;'g!"8UzdܱL9#5$V&py>Hv><7KǟzԷM+vHvW㿵k"PmH?H< kC[gU:'Glo+Ƚ&^8u WOշuR%?*M@7a;"k"b5kBoOLV{AHܸmo%ycByT!Yۢ|cikTwL>dp&um&T5f>lm8U-eiE \)C ~Ϧ`19?6gh;X?,æ% ~aيOqr;d:G3BةV ƊA5Il:RQiN`ToiM lWZ| &ƶN1%LWL'/ZRIV1xcmR'%F; $Pc`և\δÏɭ9ЁwDmF@ٳ$ݪ 韽.v!4#6/;{)Hv(tn [5"+?O?r7xGpKv)դgsÖ-UZKH q0:U`͢arz0/nȭfIʖْ. ZwjI&~|gˌO``eZl+=I|x(C߱NI EX'$#]SZ%ƲrʘsCJB\k-s It!0ji$mh3%]QnL[U|&gU/~qX6*Z1ke%= h8t!EgFeD( y5zZ_m1S^VD_E#cJLLQ^ϙ ākی'uGR DWmUڈj˔^rXczXI_4+c'"ֳ9ꕂpN9#3w%/ȍ|8dwv8[Xt^33EiA,B ?gCQ6r5<(I'Vo凵k6TNL) X܎nkx2z37rG; 1~&XH6 b8&DhAȭDXvW ̕+l_VŌ+=-_-ٔhLWÉ,v 쌛yl4GͬhLЗ]L;+q_[*ƝO |^pj3cD[XS+{X;\,,k4g vc985A._eCY(,XlIM{oRqD;";M4]jSaE.?VI֟ۛ6I:b 3xN ]@.R"vg2LBڸ9Pf~6]\n]o[LB" 7MSe.k? L S]M50Z]uX;ɁvdIkMJ Ǚ9*"Nit^(!ba0O*뱳GL\ã^M]qtdmn~Ͱa ?l ``l],R-,ϓBYBi:6oYǼ z$ڜ^3U^ r5fɔl)(Կ_FTe{dw1؞?y:n}M?، Zp3y/ ]k-]8$e:w Qp,H}](ۃ:`{` \ ƫ><9#=ߕ4cRD,,ОEf {\^rȓ',ؤ7N$d8Bf2[7C;{r+n$ƭO2eeI\jl]6 -m" plDty{mm*&7K#$}kW"j#daC̃|EV$!y8YDbs~/zC ;O}zH"+Θ߉(dsa p3{m*P5V㚨kR`89s*62kQ?{YYUz֝9s_eSzae6 ^%%C$ztHB؉ZYDg444"M gLRB8nGy -k-#.{sjĶ%.o>i+ꉹG84y4@22SƓɱOSAZRԚ٢@ٞ\c$(}yL $AE\x>gu M{b>VUhJc#c,r+!R(E!ztJS(Ԓ`x0^4渡o睍/J-G8fcU;H$T9>WSw\ Mѻ>=6JVRG4{yʋKṉɃ1wt!(@([*`ZҎ=Xj}H1" R0m\ ?!٤49.fhbShXv9?˩4 BDpE?*83a0į!l޾v]~a\l#ٙā=]ԇKts\3T6bF[^Asg~/f/jHaӋrcd/Zf:WQ3/-A6x )w )ю{p2pB1j6\i"3E(&r-yͪb% mwky4' ggҁ-&gasnU'x{Fwf(ʸQTm#C s"o@WdET_]zgI_YqNsdd;2;o;ܨ9xMoEH\OCF T]1cbRE0C$>|i..𩂼xg~7ivQ{ lqܦ7$ev{SqbFSH븺^2́Jjnf 3rޑ怀e} 'pX>k:xiЍ xt(SOSDU]MpTa֟?Q@q&_ c~4eԚJʂGŀp'1 NDJ7{oN#'FP9\$G+`Zu'144qXMQ-V>Z|vC &_x!yI aޥXsfPAcmY(˵1 r"D{lم .3`'7mHVa/T#7w;O=ۡc?u:%Oe>zMqKfIQ#U9ޠÉZ4֌XxӰi b;޸4;j'AC@zC*FY~nH!*W1Nwo2cMw7`nXfj\*C& s+Җ`p^ΕSM`wp6=kYce3o/}rJpk/]XO; GEiAıey ZgIDhÞQI؈@3/g^~eYN)ŔPF8cUr‡o[tҨw@]tdXz7܊ ^*+8W/pVmq"TpE+h= fWB+0!V0[^AN2 sP-^:@PO 7N(=њ$>KQ*ʞ9xEݳ}Vzh5ܦ0U./Џ Z'VwO'y6][Ľ /4ơYK9 =r-+Hu lbE<}W|;=T^l`=IC퓠*/ڰFFT\!Lsk V|C'b  9MV{`9N\yybSeS(+1)a Z2RmQt@2 Ēy 1,1 qpڔᦰ ~tuGOBPi5SjR =A@1:=.Uƥ$N mjL3#jG;,!s"[uS M_)uO?0Տϻѹǒ7^<[ZBcc͇,-}P٢uDl)U('[fpcHT,%5xGxZcilp:NX@9q*"Ё>܂9~g[>&԰ĩCwk^r|yݪdOo Q՗@T5>)u˱&I` R{Ae0ty `BB-=_WNI0\ѥ5S-^b꾶<;Kr[`Oћ\nz\"^WMNp>׽Ob Huz+̢{Wg_bBZVio78)(Wo; %b Bn'BL?P+t}Smj5jk+'XKnbRvRm!$U zѪ/_Y9a/҉/Ɠ hTz'2."o/XmOhw[-4INxޚO˫YD(q1_T1E~hQHM+hN,I^X"ϒOBi~0"l}FIN=0#}٧qa{U5x{,N:f.5vG7:w%RF @:f]X}P 5ԐaѻO1}xhK{Ro /as[f9򿁼aukUƢ[Ԃ\e~CQEl3lMRzqo {;xB/+}8ƀhɵn/kH0Z0SS H_4H_9cdޑOGELNje֯A,}|פn޽s4'^_,]!dG>\mڤG?ku%6լ(:"U[#ә3""V2qo~_pNu"i乫卥m2o)|4c%ɲTW.Y/s'mJdO5nQqw?M[j KGѐݓe8R24]lAbqx7lz@[:K5o4 r,|!ElEkrB` ':z.;F2s{ `9'dg4?|ahY6Emg܉$G^ zp,h ,b%P.ق_J޵e`udĥn&1iI>%z]nFgICƕIsgW螙Cԏ[&JHt0 y35ޔ Ǒ?a6'r-Tbֽ<늄է58;LNS3"tE6Ң ,S\  zH\J.OX(Ika3S7 vm3I%Z}dkz[&a2Ey- ڷfJ_ ƚ)j]E2is_2cVWk>Ĩvjk4i]=&``jե愵ޯS4ǭ3@Y8N;rc}JXzC4P_Lyz{r)%E|I]N@Gڱ۬/[m5S5H԰$JB i]3X}4jZK.~@SG 64&,^i}:?g8H ?wtb(u^7+d:?k|2(<,yB~^񯯶ifodT''0YC''%V uu ӆ_ '5&|Bˊ]u T k14'kjvbۃ(Q=":KJBPq犑?a۽0S?>s$iz{.|\ͽЖ`L>PlpDԐ}6tADllk>2]#{E}vRP-UWs;|]|M }Y?10f_^2W59lH#gJJ#~Pll.%M8)sYl~ !Ir3Sh<܈$>]~Jtq|hJq09a-vpt<~1ZM}d%j'}kY#?:8 j~pP |hz@"x$-/]% LPratt_CertificatePratt_Certificate.Pratt_Certificate_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5L) Kf Nq]Flu0J?7TӑYBV$ʟv*f1{Y"H+fC2)P%mH5VsJRN6\gШAP@Q~&zEa+Pq0hrkfS^rWᒃ>mVBCMI,wg)f7%$!Ӊ?mu8tLzMaPNU4Zƹp~HMQιLdEh514V5#05#Ŷ!4(a 0 _-a2FWVTgS'Q &A[J'IS0TFIFs&6gjjWO_!S%E)~z=$z+P$i ϸ1#O>Sۼ*~ qBA_>&֟V^N󛾜 s*luV3 u;'m!?Ú(vBSX䥖g[|q6Ul5V{6F,ux6Kn](oN+*- J6aB0H&fAJ3$Œ@L|a-wӫМ|OBdoH21 LK܋ԍzUZ O̸{eCzg|vUSϱ7 eV$ָA-9k 1ъb/"!$ܽwT  s=pм,<0z.HįKd*.GVixU.olI8k#YkP1 M!ً"[j BGQeXkr%V\4Ѐ,0 1_Ƈ=>E,UW em&\zz:A^ÓʢZD:ǶjPᶁzs1= ,ڥ 3(VhG@$'CdUȞ 4q+o i$]s= 1JHҀ0ȌcnʂYԻбRH{ejNz TUj|5$tN,sG5 'H3J<WO&>w:s=^.l%b઀+[vU/,?s2Z6%H27ԡ׻+4[do 996%J1a=` Ң;7JG{3ްVa D|BS, d( V&QSvHtʦG\[:}@j,[. څD؊{fGg#q)`"U(h9V%ívZ@qC8kУ[ NŸ  Ĉ%L*}q8Bi*rמ; S*C :XQ-z<v;H婥0[30F]sISc* wxTju !7Q 8:i=D؋}ͪ XSͦ7DXm`?@NZek/[_TՕ)»sM$V KE4 \Kv9DrX=+ĚJb6[PYza!<Wa+5 b/vk]$:KtO[]f0U0a:v?A^umU!6~˦tٱ!Fu:*lpj8{~k,&!EQgɧwֿ߭qzTUϊnv7f4\S1*ikӷIvFũ"[Zi+ͨe4V %M> y|Z׉_`N{˿-$:Ptgxnˀз{9Ͻ;jV|+qn L%e9QJ H˦\k-cgj䀪#W)~Aި8)!SoJ 8 p{ݣe{-=&W~i ![WoD/|ܨgkѓ 9f}S=6O/gl6nWϻ bG+BՀa_62E?)o<Q'%J/PQp=hi~<&9ϡa)黊?+W+fDʎ!7|7-"4@dL5ưPߛ*[nV=i#55`:ӦtӲ tIi $ٲV>TQaTCQѶ{{(2 [,~a٨o( Ch ͮ{o6. T'9_ЃlFcw]KL&9 tZO"з_MTWB08f?.v^2Ⅱ{/[%\hMb &h̞@ 7$%,iS,]6oV:iqٱU*\eqO-vѰ "q^6< %v`_kODv_s Jc,uR?j<}s6; 55ĮەWsi\oK,Je)0ZB*1urrtn4Jw>#\[ A]Y` Ң̽2b83#Ifi "4-lH(V͖ LC(0,3(Of.+jc'wjڌ megS!Q0CJιB1I.%)xZ4?Yk|Dp3+nZ*6Ã)Vpc3EO LY  5Ǹ%5"Ksx-(RS!PZ;B&L~ai]WcWA6!D qG 4eiT .:ɂy[}qimd//yi罚} gB @ӛՄ0QĽ[M9h[RдXz~Z[F9PҺ3-4Zhg.n">6x+j-t9H[rE1{Ȏ%a@#Z5{Y7E_o:6i{Gl dIh(uK"__TU{W=a.S1 l483TH#Mֆ |/1ZP*udRKu-^<\8U*&ɔ|>l 'Bl7VOػ`ЧG1'6FfuB.>1x~@~ek)f:KPjig5]A^rB8*t>K^,)O0#؜NFJD#hY'mr?4v>6XҸ>{1M99&EV R &T'*fFT1Tpa;:& n)KaTUT9D+k{%2 G~qk>xY2 kld$Կٶ1s'd#:aGԘ\d*Y„K1 V(ş~'O=cK+) ^0+QOtxTK(jq=JcrJ5nM_OP!i<И<ŮqҢGܦՇ"5G;I[0 EY>ǎ; Tzz߾rԋr:5ׁ'<($8U~MPa|=$q}#uQa[ {f7/FO{z[moDJA Apw_.8 T bqx?b(Q'ãbz )Po}WbÞQ @9&~f7cGϱr30>#Ej|Fh*)1╉;t.zmmjL#+ڞ>˾