SQLite format 3@  . BBh77otableisabelle_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  @!DDl ]]]HOL-Proofs:threads=6elapsed=589.211cpu=1422.312gc=190.740factor=2.417zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVxxmΥ&'I4b}eAIՕG:DYvufDr6[&AWa⃓Mh,KPE@!|t8sg^z l:LpMrl#9N97,);q;.h~x ^ڃ y9o4 }5w8/&HqLM.߰+qmg"V)O5hFH{jq+3چh #.o9J0q5g_ > LgRotĖ<i.qPp;c 8]ʦO9.LOhFC^kЏ|'A骈J(3Pɏ7sBN7z6:ߠ/Inε4\fP  ! HOL-Proofs<5$C>{]=| [ 0 0(z` fdgmI73_-ؾkd-GGKK9abJ#) t!J D$lyϖ%j NْjLv,Kb)_ .̣}?pg>:nd3Є|=bL;+[yA 7R WΗ>pP[@϶"xlɫΚ'<=蹤u9E:@Y:l ۱hX&\ԇKO(,SM Hd녓eaý!&i {7߼@Fe=Qn 3~7}[0# IX%\?@0-^#=CU ).6]?BNt'eH7Wѡ _Dll 0k?5ccEMf6<}F1}Q[O[WUbm%i} fוt̝ J" kdH ,QS{[ʚ=7l N@Zs&rNIK"y&?ojG~r5!b`%i;vG43Sh%21D!YK>|+/$BṆGnn+ʫ)іTT9eOXn9UH6[)r_3lAi_#}F-] gOˀ&obޅD4.vu ŰIɫ|;sM"i$O?pt3t0Zh?d܆E%Bvٶ'~6TEkdA&h 挬tf|`a8,Mߊ)9~"ʱ~w4ЃJW Z懺!L(M!M,¿]JzeӜ$+:9h RpLG;_EWi=n",nܳT͖/\| oE`.6-~&f~O%Xm̼Ҋvb H,*(`9ykw 9LE>#C\JEb26=;%}p-$- >n>왘}9~K/lm=-2lp A ɩC=qfT6+)#V/ ;V1%+9u9oү҄7L5^tR8{xjYH0ֵmu q3jSz3aXEm1Sl ⌖`eO%q7GQɅs/MlvEv)IDcDF[Uw*m9t6q[ȍJ4s%[LAU%@[{d{ z(J[O1`ޛ~5R8WyT"&[<Ucރ14cܭ'">5]Gy}+=9 96zijDUK.<uCc業cӻr,/(238ډojNdb? DC<[uR!`o'|7@S&x7nM̒dAgm-ѽe C1 ]ЙT GV rƀwhՉ'/BĎ d;]n4tv*r0Nc@pYUHE{Z?]RQd{ ,z& c+hynDwo!emգhk0c9.~+eKOC? LlT/r@,+V*Mw2l; (_Vl$moph~}M<˴̃ ətLg./O8PTu6"iYsʯ[+O v=;%tU,iqYVԠ94w$]C) 6mO 0xGiix6Yko;)KT}jϛR_jQ*CѷG7Cs6A{ 1j B9hzgZk!F7Xq*';1twZ/MH.X݇^6qŪ+ZOd.L` Dzdxg3-Y,7()W ǎOe*G oq %&YpPWs*wk4m{) ߺmAw+AM?qje[[f֘اYձZc< Xe(d-R Gl쮔#gxeGExq*YwXL߼j%sm=ӌ%]uoo,cd IL䍼$dx>(pӃf?o,u:g8Khr/dzG̺ͷI#M*-HI 9Qta1_܂BK.+?q֟`Ey᷇.*WzG_t5 ?*bN!A>y (Y˃pvJOI{Q 8*f&"ҽIw_I9鿹-^R:07y+#ʑb-8i=M_;/B [@>}$:[5ABmvb.xm‚peLUԮ j]cDr Jpdžcg7C͐_f@4vhwpe\fbw=)?w퀒C%E>5/ Gv1JL}rĄ`^&a#5底s7U~#6Mfke)n5 AVx u'_iflθ NUtڜd 4:3ڞ0,w8%lh)yrA 87Ĥ Ei\cKraI@vWYve>IH(eVfE(I񞵲.?/H(_Fu&= k+%:ÞkrP"Qb7tis edx%U <,W43KY0Z;U2kj.B۽M,2O4$/P:."\mw19ԗi<>70M'r>zjLB7Jx6k$d$E0t(? {( NCdK7 Կ.|.'ZgCP”C2l5 T_;xteOF$\NHukY\(SQrUoS#IC}hѺ {6ᚤ(ɖ8mQW:]8 j㲀}0XpS,]^wq^Ccwr]qâZ {f,.P!FIQD-R Zb'$z0=q&m(,Fr٥PEWqSI J.޲`-cOဤ)DŚ:lw/̼:XmyVM9DWԷ-M'kx3zpYeZgjYtIX:n؄b۱ZFph m ˻䤞ARqhNXwtpFk .^AN}5#`e[->cP<Xms% F1xBzF+"jcg4 ~X2zaP..@)dYij? (mX "Xn9Ǧ1#aPhn-18y.(:& -^ 9Hms2U ؃PUwu, ڧb|ɂ8&#I Z԰qwm/=:56>QSжBM{g.\gDfc^S: % ;Tqf-1m6C w|ή⃄WJ2 BZk'[וNT)u b?flx3kF,Qy[ţ@$ 22./lb G&?qWݺCq@ 7B,v~$ٙlWq\zf7px<$ n:2& @5=|S Z&[Q2iGs]BЩ0T4Uӭ^kU!q$<ӢYLiM flr^D)x%D`3G)Jr&,RkU[Γ<|J/E(egYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!B04S['^źnk0ΖYp?zy8Xuts6+c~1J UctrHqyfvѸ%EYbnOq6V]:O"{ kWLlBO}tSt:ZezLs8R=΂ƛl<vF=la#VZYzwJZ0?CpچeHq<`swg ιHefK=Q$< i6\\oT0uDv[(K7B>i FEG;p'QW&Y>mb09'Ka \c0۫p%cFż[7ZU]/O(t=7TReO l]hapCT-<)+A˃KqF6㺓k9 S J4D&V)%< ViX/_mgQ u\pݙYLBE[(G>@*lf #]w$k *M ݓX9>Y^R)5&AzDZLxy]%(8V~QJֆZˮJ DNDGlp]6x{*sʚ2le3cc}yByP(}k9#ī$4X ˽>7}8u(ۅ/}uU{QSvN ̡$[4~seuEcBUW \}!n.5_b̈dYGK)TeU G`>Cp1m,Oc$_ol՛~vԷ3gFOJެ,]Ge7nkQ{O7 Elau"H;jQ%Kr.^ozmݲ o!ʜZx 2Hh&F+dLS׎ x#ƩhjE6(A`ÆPc@2#(l=F6(fe$m˸hSM?6*PZX&ݠ1mEz҆1Ows3O}^(Vcv~V|p%v,FpᵆܝgKt6S?EWқy)>H\0]m\'Fmn2U.(0V)y.E((ءbaL"19=sZZoNX{٫vaC𕯕rZ[S 22ԸgYZ7zXZִF! r0]ŗXi%9*_SBd[]ɰ\V*TSF9El+ab>mRdLT2-.d=*bY[J?̈Cr65 u($ 1}D^K8/"[M.^@)UwO(H0 =|͙$,[`j%tHĜ,^IW:JaxBs@{jjD_t{p1#-cmضHQ8#;01nnM~= XS7V_9Bj gx@ \+ِ>3*_)?$.NzڲrۦȲ:g,9E wױABXx+FQ$pF{Zc.R̖ 5TW*77Q5+t \evy ^]O[O\;$Azi _T"q1Ѹ3'i\Vqۨ 3_r-EeޘC=`c,@Y6qpN`,/(axJ93e!*%N)xW4J*7"hz%͞y pQ>+EXR zX?Z~М3i"4'(4F.j\ FX1a?i"4ؿ^SKܕulwŞm( ~2aO܋9LuN8j\pEr\'I d`(q?7ی3b+X}LJ,]QF iQgfW>%xD˂t59iLe >N.4GWq;z'B2SՏK0 dv D3<]9G>8%ZoHMpݷ$P& V ɪƋ7<Q)endAS;Su=oTm0v] ]$NJ۫j+ԧ^CNקdn88f@a-eJS˿^cK3I?"!/c:XzwҒm:`b2S,u_c:.+Jk|Aj=l$\PcEצT"w;vIќ]8з9A p\|w_;^x(`VlڙL=2]Ax*R]O Q~[7kkIr=*6)0z+-+4-c ?}i+ם&l=0%~/5I@'s=8G>:J̛ T. m= EbSµak+~8)ξ̺͝s0O}F$l?뀀]nNa/VN\*Jq.ǿC* ,fV4NZ(><,j!õ3-I'zD9?l<뜆^j~#EhR%(Ng }f$!Rג<Ϡب7]!nh(:zJG+:#Y@5StRK{,k)}1nמbv,'TNϚ&lPדF>"or]|vk-txP|g,<|ȃ(<"CK_֘b,h, ç{ka0TJhCȂzxWo+1#4ZLM x"ekK8q #^`i9jfLEICN%iU֘=F7y bϡz[ٟOڳ(Hw"gzrE vÿ"_ 55;pɉ(p` XRXm[TK0{=H+8q\^𐩌}:0y}ƥfd~zƤr&U8G?ruD7[:D|Kz]$TjUΒf_\/6PXw :X[ϴ <ˈ/.'[,1%G3Mo)D)k21xzCZx]c|'sQ:&sk> xقZ2B%\S|KP#NHUB؎r43L'(9϶_:COHf؁|YAdXY0,{}SHOLP{]]ăXRY=WaTfGodspOY77>aC).=f},Q'r ]o6A`V#6kq0=GB' bomk}0}qdqݞWkg1)eMJ)pd`+UbR*g1$惹wv/|Ƥ b =NJP.i%r:K%W,Ȋto u`n=$ ^'[?/~zHӦ9JAAOZ2R>nljC{LYQq% X#hO|ۋ?[}0GRCdd*Rlo@(/(LnD ]y!:($1Y4v+T <*;WtTan&<?N7UʺkwH],4F}9wT[ +P&kbl|.DAW9Q=k|GMjn͘b_…v,؉巳ҥq\|A8\,|%O~A$6~g f-D^V xΨMf% .".~(202UPEϡC%R>…'0Mk]?NU @w% w8Vsf )~.4Ɍy51(8PW魭 Z| Һ@aM̋m |adg T@:4D0q#aHFQ ΅Yߚ+~X xkA$QE0rTkvHU}@jUXoN}S1a9Y*C4r,(ZBgnfCpoO͚ }FSSq}# >m]Qo %Ñr浿@nrX] -HtR]($զL;0A(5O1;ilz+fr8n-jӕEQ xJĝy/saTJNUn|;B^uijg#'|u;y (y1sZeBvDCDһz"_|PS1}a)5 Q)Hf&}2MWxB܊rO\\k!J RШ*an]bE.,a6ByBhWb\96WDD噣n!Dkhhn}8xk! 3t=_ DiPԻP P6Vۜ6`1sb [_өbN]MmoƶP =tL"^- FKQZ̓2 E꼬A)0k &h/֫g*ڛ3g$ҴpԟVb[%)Vsd Lh1ZuЪl:7S^Nm J\m,龳~\Dzdv+.wY47%ūƌ(mG>?%sJD,9d(fDko4e~$sE ڭQb` 8PX6ɛ_+8TreN8hb[teSXL`JN±xq\ u#ӵ[ׅ)+P@g^(k-` 08CsJ[bjpQW:p`pSHdRt dK؍5(<2ϠbMr߶R'mjQ4*:0 6yz h3>7[ ˿$wQ/LX1`n9`hKm9Be+Y5F.^) ࠄoXꎖDz35{,t]nsTŰWj{͓]_GFb6 96MDEq(RTJjlr[:[/~ q96zo!RJFw2B5\ª`9s%B.|nze!5J{,Wka?mBx6zBL'7\vnȕ5%RP-aO1 .UdeEoln6aTA,}t9Mis$V XScz;^r: O-헆 Ո(m75TD+g_(ٚq. 4\pMu5L褍e "\JM#!+)w$NwmK*T5t_d]iw=2Q5S3y:/zAOp$;NI# "N![(XB`~Ь(P.Yq kfWPVлctV%Lb>\<.+CEq'7}3ڠ65ed~rHuxQk<|=\J+G)X|B\@d\p~xY*Bt9We[sΪW >[ciA[kF` >CJN\`qa#=@$òXrdF^INA.6ufV{56O^fv*'K>sG Ei#@X 4}gle\]zh-<`V g 5 qw @ݼ!gT(V5[|IWC&g\3=ZD䳼`nMiJ3ceesG[h_oImȷ_d GӞzGWBrkyt#fG䴈mku#On9Օʡ̣c7ˎA_m{.[@6EB!gOq zHN yln/b]Ϝs;- } ij}GTh%]\=`IJ_8e[Sd)bV}shsd`Pxf 95VzKԀ)υ{P# @V6NQ؃T;>9FG[FcЋZ9+vf} +^f !VmFFvϥntL2c-yhJ%; 1MZ5믓-˂vs$gϞQ" '{eO v>XHY 1BD)9>658#$ZD#ajZPH\xUEׂv5ǵt\qP=7+;aٶ63/ɨbhl\I(@%v!Թgᤋ5hsB}cBcYڟS62 r|X/9Q(ےȫC!瑮D 0ߌs1ˆ5_)4gA&IE^F& xFřt0SylOZ}~g*pygH2/J< .+L"7p: dXntĊ27 ^G о&Z1j?cma tsy9dȪ ~[gOkFehfT*,QHYu<7ōS'`gRV+]ÓI?}9`a}z!>ȉvO{V ̰'y[2/"RmfIq h[k@*mRo'XE`QzDddv{^fc%Sn OBODNRL'|'AyS$7;jS.,ͧ,Qe2qf2icvWXfݛ" 01D~gZ pxt' &I G'+CPcC;l˸^E*"G`F͎(:OtqO8:tq۾=% W!ߦP;S6iMz&!$POau0gBAf {쯽6f]H Yχ5N|v NK<邼(J|EB0U\TCFo+>uβ7Dž94\yGg sSM g$*pYiRܹiuoA}-Il/${\Bѿ&@e#*Hi")t:WڝjSwrnyEƿP3i|ܽh1,, -qYb1~zT!x`!Z8 L720Stt޼ V ¦r0`/Jy_E}EtTn -),eJ$1 |t.AbZ8uI;A%;k~3L@tH,}_˧ǣxXS#~b?#'`mUvpAjݛn~au{œ:alD6-ӹ_mtiD=ڳIdto0#DCG@b2v\}n N!b Ԧ>bnhE /zjG=.i6|̶ߗ]q-=:aE&T*W/kjPW>$Q=/r $ ENd!,Q_A05 )4KHuuJ a.Ά׶^ԖesF^%kRO"GBچZA0OJO\8qVlي|l9CnU>:ߺ*`bJf90\n10弲eI}/=K9;;XbAfN8 C2azVrCZO˚BƏ63_Ӥ~J MD JE. *ݠDjćOUH E)Yn-5l }.CƧ/* jGq4^#Nb5}q6N-+HA (Ld]gm / \lr+{Xz8zWtKtIr w< 'IxI ˼ZӀKuP%ElqWRݺ ]Jkǭ]ĺ YZ,9,V'8~Iۀ!qSMS~c6"bkǬl_uti5ډ,iK.+1$uɳ"vLN8DP{?[3@$q떌pһAd\45fRM4D{f=bv >ՙh m243jY %KT&hEV1(WUK,xnawq|~F&BN0!NWcd` щXkMNN0SC՟폺kdCu`-)'!YNw}_%U-+z6Hʭo,N^)DͩX_opkX#w ! $Z&$y(y]tP Y @@jwC-"@p<j~Z$n C7Ow( ۬<֔OV.Ҍƀ?8U&jx ;uTG?t?F@rDc#IS8ϝ]P.LƠlT/ yIy,VF/`‚7tF@mۈ \࣯V8/i+ Dq>!$B$לQĈoyPyN 6 3 i, `0JpToqh`BD6r[ጔxA,Ei"$`3VO+v#iՒ'Tzqw_H{Fv͖]4GNP L<=2DJs|h J5bF?=Vd yrD&Ft/?D Eb$;?v&+y#Tw4KKд %ϾGscRiJ<<qǡlP\Cpn $#'| vj5(NX jl!r$yM#yDhZAίKQ]lC34oÈJ#Dnzz!7jewRG 1,լ"/ʑ+vɲ$H m\=gODmb-Ó-UCCRLlOGfUU{7㐋HXh! }/ծ6g]|&WK8qBsA( F%Lִe8ke*Oeol63UmR{z< &foȖ!1)qO.~⣻&If,^6,tc۴v3qOtT Sfȅ3Ah9ֿ,V"^b0@<z NPS $!3<=l vA.AQ9.^H"wSdϻ_?Z u ck,ҀZvr]%`Dr  ^XmU>>r\'aBe$˷WFcoIz To ǃ眤}#>ˀ I~U@<PlN[(׋ jז& -}"Nd1?i#1 tñFgdѓR}]oN.'._s,+-bT]< m"4.FglTqyŬe;)?ϯˬ bt,Y(>V{w^EE%C ԡˉ$w̟A;'%#iXkޛ-t!g_BHIfT#%c!?~}K# ":.d0ޞxIђH/ xU7 Ԙa-z8VS\[2_U/yQ%ZΦ,L"aGVj9NRˢTlxMh N߼~jO8'Pշqp%M4mUWP/<<@ Cʤf9?=N5Js@ ;_Jk3&o7ޔ-g93fzȋӊw0|_;cyp|Nc$}&z7 I/hDPgml2q hy̅&<0;RcMXR F=r6 R{г"X$pH"Vr'^@P2~%UYS+y M8҃4,>UԠBS P2baEeUW>J.1voK_<5#e"~UƋ$qsɫ:E+ mER4g;7;AbĒU*"}tMj$G,l}Ioӊdq[~ (tn7wG+.Ikb콃LaA +PO:(A,t5JfoтC76,Ԑ!t{ĂIu7C.n'1aS  fL>jVQ!1PRPU<5E?tvQ#-#_~hn|U8ڇ:֭ z۹!ڤHLN"B,F0m)DL: $+L"-ϝb_1 ސd<:P@ `rۮ:2H~rl`9I ?9zjnŮV v\9kuױQfW RS%9EU r4E+7^XR&xa !>c#_/fbnz4m$)3W"E$2 O)9$9e9)Ul o?iB(yjxb`Ӽ#:f:/qne:+:Sj(u% #>G`b># [ac'M[IAӥ-I *arMs&/GqlPU)k1K>O% 5-XȆq'/$ϩ{2 z_7 I[}eNɉؚqXp(YV&Gꉚۦb RqQIզ6;6ʂ"X$])ڎs0Nbo$RЬPͮd߹Iy]:^L too17 jzf*(`3!ʤcCBu sj"(4$eN 9j޹ G MHvSlDN!]DXdA?>&ljةV.fL mQZ+Щϵq& ]oYGN@/jQC^JwDWpu`+&$$>f`u}r t^ O>473f@p[\ b wF5˴K #O3+*ZkMn^t[_b!kJm n$N˧+̆0f!uC՟HP-1S.J6, ={ht1̍GU,254u#q/Pc!hgVw[0[,D' hM6M|*i6VwyNW]#`K!o3hJ7 FʯL;!ΛI<,MZRës:B1V$w?hxzْ/E0]$ FpKh0DXsNOG̋-Rd'ڳ+[V}~bl(p+.oD^W8ЈzqBs5P%&kU_v,N3kVq!׳{@T\ך^hsb8Mp+OYn,'>qk0ߥ252u=>͒刔⌶6To q)6QuiG? ~i+J:G 4h~"|t@m13ޑ6Pik";ւvgr~EbP- SJcR #ғ7/ d3[@ }ڣa{L^T!v_ءc ݸ M}}۲JH=4s͔Ї p+V{2!R塍~ :u# ZcJ XQl#1 %6j[; VZ} A{?a~kVv[̭W sEY*~\@gz 1lgl׺{$4c~Q聜2lxj5}nNGi '̢e;&8¾cY.ۊk= W

h33LY%tOJ.GxE(" ūj×os+*?`(QHk A7*gE-|4acE}/Ëm:5 V lE\.vZ=64c_?ɕFAw啴 Lr;`y{EZKƋN nsMd4N 5V\vL{&޶z/lY`/q TZ'u#=+q 6޻< {gQc2dYӕ[)e~$6%EBwk[GQX yoƝ)+U\fhS1E{Rj˹Y٤1\E0AɠJ*E^1i], r$@֋JLHxI"^DZQkS|б%lan hcV₉[(^`u%cR5hy{W_%H04 \dGx>zN0 WQ{9cm Պ&Ry (9JP=bƻQCsS55Ģ2NP=\f_O>3ce5FMQ _1.TW~5{?CFdgC1͘X W <4 bCѧHZ/S{Ltwjc$%YdoוmsbҦym:gi๾]7A2@x3BڀH<4vqʼnaJj[!|S x;v4(bCL%r[ljV`I =EK3]a 5qPxfc7]F¿)'mv7SU-`wp ihk{i' ;5M+yOҵX8.|`z>tiX8<AW#d#<eI!C[LJO+X)"D}mLА=ޗ5# p&:bK !|PqHJgH)[t4"p7/;/8h?fK! eݍ/"u3O~0THl0 \ChpsᮅP5cs65]|?R_QGu~x zVj/gTx@ḁ/P`ƷɼvBI@-30z}Z J:a/6N:\IMrkaG RNBxɵqGjCHam(m7ǯ9ivVrFtc\uв8-5 ?cFiif(kٲkQR`󔰧O5L ٦8Uܚ<;E:@?_npG+>?K 5LDa-}ԄXQ vK5"t XRDr<ꂊ3+ꆠŊ\[kYlK˅8{]&qH:ƍxn!bKRhKLJ)WD;w]kKoՋ'-+({L -O~DS_dϒ}n+$zAs }6:QSpOr`<^ ^h90/r*ҫfژWsVȤzEFjWR3i%݆FD|TLgUd/UacWYbxS'q@e}),Ms4(CS;=o6_(ErD})IX#N&gd<顥3 "ڷУ&N *Ozr`}ԝyU@3wmFVU +w,P!m7*^ߙaIKKVӟ_s"];V'k%iQ7;77v{UoUЏRI ՄD䎈..7$,mwxfau(ZH?(ܱXp\UjԦܰG̩8ge6DCnpf;nZq`SDK,ܓGrQy\U E)~'6"q֍{ZJwaVeYцN! ۋ?*L'YΗ4+Tq@oJvGF^;#ߜƩCņھ(A@@t>Yٜ^lKv4v%uY bZmqk#"V/Tj>רJ]8x[)`;;),1}0NA쬿F]S/+cQ KB=O`AL#Y0"ȣ0UꦯzI6"9˅:0#,zW# =~%b%\Ҥ#H2`,(c6Pa%Ke?g=`vN셓 S;h,mx90[)\c O vffE eNFYѕEk:;( -Pb: P0Sy2wc87ayMpvhy0#3S]Vۉl0 /q*s@r5KL=؃拸W mɳH)wHghoβfkQt!uƚ4/E-~mb w854>g]Mco?&f؃x~.Ofhv94̗X,<LijhâR.‘|Soy7;(uˡ˅x`gwQpjաўVJv?0 p.=}L]b<==nDbO@a2@TcT47oP76GmPNYߒKnK 1ҵ's-ޡ;W@pb4UV|Y҇ #".{m.|n#tlK }:@ٶjʅ~ozz[nj=o>Hw!i8#>Yp=kȢ Z k`A7L9-b  ('OXn]015V:2ɋ><2IY*f Pz@+Ϫn3_䬣w2 '4/@m |Ő:IrF ? EAy0sAVξ_mPS8M/S6QRǯkQDl _tB;uq]~_ϽX20MQ.XA >c->Z "]J^+ܱcEz'`K5.&jEdտAoI\c3h;xt}?GWZUVֽ v{y1R Ba@m]'Om0;݊$߷3b郹.e ԱG -vmQ2j04.}USiR1~'{D>ӐE!BNU^G6v5U٥"J4;hD)xњ* Y7#ն7tbwVI}G & USQMVGAjT[3yC >iC@D ã2Hd-rgtd=cN(V8g !!IcJ`!!?./T3aRyY1g.30H݋^;(<ζ'BI2piAJ! {w#2% l`F7Ǵ%hfj53Ѩz}0=㲐#0d+]<3 #YU=+.:QT"WIGڏlw0W,겧-jߣVzvaݶ 7>pҒuԠ͑꼌]Z,iL2n' a_ P!i&U7}A\+Zq{ \ձ&szZ\;wvU2p`iqcsu\*]6BϞ9zڎ~2U <y'v{EW$gB 홇nѱN@Sڿ/"i3)/yИU{63$eQ{r;o럙Gъv (b;1q42΄bHwNHƒ GWw0AEԕIEV^l7\Uwh&j9ODOO5K,f@V@]x|4%bAwFy?)lמ E !7͘i Jg)ؙ$}\N ~޼' N3;1XkυAz^sw8~X Z᳇?$doE}CnDqZhPR2'2LYAg(u7((aMNoQ 6|Fǣ0-NóDA#xc]8]A<@Q;Ky7u }`MD-!C \պq\gD>eEy/M^Q+⥴DN `'4}5 >r1v܋7gs *$YVqP% Nk& *Y%T ƶ¯e8&#(ŊQ)Q()8$ Sl`VP(ZBns jz`xShkyD9 λaebw).>t Xݗ0+ peP,7.gh`@Ir6Gqp_74'M:g 9ӭ)mHͳ(!^[T{\\ךM@ E5iv vTcsp spo=_LL.s zOlGXFc1 9χqUyYеp&>4ou?+=V&@Znnڵӈj n\̭x2wWӺ$H]P;"ddCWuHEֆ܀1vNצ5}hF3AvәU &Arܯ?{b}wrH;Lt@8EqAWC.cq!)'`o09 7*0?^J8S`p< ~3 ̔D ~s<1/p8U]VAHB|Gs~:$ JGG3ٴr}c<D-c}f–f:FUmVjhNvQ]@Я!A_(F\|ӼF||N~xwQ<#T=5Apd[ T'ڹkuUjyr$ZC4ъL ]8TIdyV u"'4ܿ 5/sςloDK+3o>{=C!1$f] )* r8x}d&ǹD2ebb^t$ue3$O9&-.'̨|`Unѕ )w{E:{)cl| -@$kQOOf?Б%q>1qߴn㲕oáO|G'b?L _/!dY_.Tȫ gfqLdk"3Bj#þ5 rf &W,ĴNߙzrD`ߒ)TG&-!zPL3>c? i mOcz\uw7Z68 - >oi \Xsx=Ƌ C'~u"HrҏHBc/"+Hxψ0\  "yf["yi֡tx4=Y[o6[")ahIDf.pQ} 5]#a`b[xv'NE:Xurb'%hW\Iٿ|`w\T>z^OPS#Wf>~M%e1q$ZL 8pj>ͅ`,:v53'F %WcS"`ВLtY|G_A69qT0;զ+ʝsJ}s@c)/zx\mT=Nj 'DJV5Ho I̤ ()Lւ ;wae پ4`<0]XPtx!"v$]LYBM vIo(H`?+\z=/"l묙rW/o,B $>1D?qΏ$L]7Kp!-*FjAeٖB7V3rބӺn mfcY sPu _PrR`4ӛZkTD/0XI3lK'1#(DϮgYZ34e9671d550f04b6081c4ce2a8aa86f0a04ce119e7fc28fdd000a6a43da8beffa0fdf0252dd408c47f6bb183fda5883291dc47d2f5be0b05d9f7a9c0