SQLite format 3@ .0:  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 $$ !  ]]]HOL-Proofs:threads=4elapsed=763.354cpu=1693.432gc=117.124factor=2.227zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3"qb5;By}=$Vn *=>M>9 f=䖮i09`~qDZ+7!Ʊ;+$s.M5՝# \tԴ&n5|Uu9MSCqUư{͏&Y[,1#}|έiӟ- `gs0lF#9ל/*Fi(!!5{rbQ|b$a-\Az"`QO,9DzOoghTD+xI%xK<%YW><I_,O8-ޭ#[U/:\ rKBi"Tgd5N \ nH"X)Y$gN vw8`kziTg6gM}j5 7&]s}%ce;`!M`TwEHf̫Xql5hwYӄH-b'IUm"їUvjf"ًF9FY̓-2:3zT1g`Osz TYci`rF"UFsh^LZa`4{"i|pwU8*/|ğNFgM?nwW , (Z6_B&Ic`?׎Ǧ aohW(IJ,6C(x홼˵F{8XRQk \fKHDOa;g-zR\,y䋄/`A} BǀCᩤH$UÎƧ@ʧ:&|)3;@D^r bXI=U434\@{< lz^ᏺէo_|ʫS<o/4s<rZ&p >d6vO}l &N촮k_)w韚B5)kn0Q`EZ Wl]ݍ]ڣTsݥ@vV_vSO*_goPMn1 g/+/Oγ=`$9G(6Q~aF_N=P7C`SlwONuM.is$T κ*|QcvS@:;5g(Z~`J-ģ0`j b4s~`׏BW#!2(وC2b^~T렯Կ py0%߻ӎ0#n(Vj"rDs^լjtUey>Rm^4AVWqFeqm}gNO[!c .&(MG9Rcu(9~ΖZ’~WT\V ]!Zf\)д˭!KKbWp&u;r_rj#$.B՘}{iK;#]H/OMM0!0ܑH&cߟ$y.VaFYr(PwsOsKV\1\a5*pz^l;e &|K_?^4Q *'|CF2V@@ҟ7$GFtj:vܲXïYλp†m+ $"HzŴ//$J$lfC5?&)$N}9*+oPcHGv,P֧5c)B5akB]y1$n+3ՐB{domYHyX kЬPX: <58~ܹquMᚎX}>!-hhcu7HJ\_ $ u*E).}w(o=)4娟춲ig]n1bK=7B);W-$]S&J\\ 5v</S%>UB.W_qt@U spo.n|Ku_u%' _~ Xai2x0!^58M~0d; "_TY@uvR4ULRẽt4!~=I vhQ(`1nÖ#߼&Y1$ӧ_=oaxZbӮkv.y WrYԱ]?yP*/֪3?o  )@V i6b?´%j2M*-t[%ǵJ*?p1#YUxaz%U׷;E~$~94RXthl\K^ ([*%0=N'4y~ _@*%.Mcw9ЕȆ ,/85sDP}xiGkvJh{*4I! ;2!-9f"6Fwx}Gʯ(bF,ywerC i]MeS "=y7M$EK‘)Jnb*.Y?KڇУЍoDT,Ə^T@5ۢ~6ݍLGٳ| viZYB"W?l.B× 3 h. t.EJCz : - 5K3.?LUe\86f'$O_߱E⇗݇r"|4Y뷀%Ԟ'#L.%Ň/bHN'^qBۖ>cXj{Fi9SLr)8crī~t}Usy Z( :,Rٮ`% |KY" ?minڿɢE9oY~v o}PAR*v{hS Pc@,Wsn&4;"tѢ e ʩ#auuا cוDjӰ,% 6"l;I:?brU+1q*O{-WK!YBfes Gǥ1ȟRc. '/:@ 1$? Apn ~|}Id>3fx 係~5V\~#=*+%t/,w_R> po{:P.{r>E!OAB b_j&=' .$QŐ9,5 I|Q:=duVM`d)@S5!sm6nqn<718s%I)at+Ȧ> Kj:j_w/bq@L(?%SCMU%eT[ٔ|1xW}|8 U:\Gkk< dk"XFPCM怸VHϝ &R-U2hTDa& 5/.@*Vs=5Jl)H7D$Y(39 3ɓS # ix(+QsxtE>ykUB>NQ+b܏O{i4oMB`⡂1D 0R4'vyF<+}8f0lfaĹ|OT 7R 4_zdP82ݷе'dHV"T񽿕 T1A[݁ Fo%uCUO K^6/y!ݘP%۳54&Ӻh&[ؕg8?C?Bz땔Ȯlȴ7k1nR̶V23o3J#"NKS A`TX*vDsO7EsJ BߖnbuKܞ?tM7! ; #UrK}ctX%b/} rjԅFL£u/o-R >ť3*h 8Eǀz85tJq,cHu_Euq&42-o[4ȳICIꔆrԚŔJ avRE}g<*UxLwS#KӺ*@!x, ^eX|Wo.2ݺt50{x1cGғLC|e' =UcK;Q+{!.z>P-:gc08YqM=);(L9,뚲3 }$S ?`i A`*"=I@N㸨ⅼcE$ O/£e cF31v|}⧮齱lo qNShw}>;—:p\+w-*f+xw8ygj@)L\?Yz}u<&ߍ'FMvwr2HS/H k%~;nE 0؜ zl3=U6Nӌ O+&_H^4ԫqqׂ7mV+VڸTWzo6ƚmwU*?C߃@I-֩QY=ȿk&"s?̓Ц?,hʢSJy%Y3gk=LwK'~gSzPn:O ,GBgD5 p~0PAoS921=8kW+E|9VPDq ".M|5'Jv?RؿfXk8:_ThRwXC`m-JA{nvڥ04? .Y=%)h{,2۸K$!$~B+|ruҕpF6:П)Wz\蝲.2O`uV̑)`:JPd?\'Rm$t.b{{2@4E ī_F0zA{`'З$J@ ,6pyp.Sŷ 9©daq"ՆbBd %\Vmf#?Ը nX 0O(,Pb5&ɬ@C畒J( Ü\KǏDhnkcq(C|?r4z&@Sfk'Tزk|9Cmh`\ 3X:\qKavp=Ftu?;xJ0)Np+>jv/$bY4LFs{SNꣂ`.ŝ\[U-힉%Cz+PRQS|wVG6fY,>'k/n9?bL uRCs^ZYrm=y| Ӵ*P"3 ^xggh HYd4EM!!an^Nf\*BB?t|U3mI *^ j;c,ЃWj?)>Im&zeȃVc.(d_sZ(oT!#:!Ѽڐ ̵=6>3 nH阻Vjw󶚓 T#P@#"Q3K15"`5G2Q/kqAPK#P>rcp:|#L_RL`եFiMcvB:[4e UEMDFwR߬ hhC`r̿?UJtPF,ol 'O{2XЏVHyc*a"J%m ]UΜ|q'1usyvU I9C@q8Uq^lUsr1o93m/7.~MKagu% ;3xO v C=4D%Lց+L[Ϭɶ, GAo?o- MR41't@1T"VeW :nY& 6kr$vE4B1$oVXA<$?s|!.Zafp3˗>`u9u694!~v %{x\2 p1vm]b蕙١`Gzΐw&eb68ZgoӲI^} _qp" +?; TȲgؚ^^Qf%{nh(A%b&[aV5 2$mȆ0c0uުD4*cu\M [<_U-`Mi)lhT ZQ00=h Wr偮pcmEd2x ʨ^[#5VjBz ŌScup>u\Rr[$5ӹ2jxJ[iȭu +[IY">+5yYҜytthƣ ՐY\)6Gt+qp2zζc u7:0XMuRz6~ч%m|5 Y_90FdWȨ ТZ0f4nV.W{(90pL7O2I: Vmcqqz ϲ/ZuLs q3-h}]ߖZv-F]Sj+ mKُNx"Ͱe:̇EHl)*Q`?E^BT_e@AEIU_sI7;k'F+P|]$^K I@lZ^yxbc0xW$G" 2zZgYZ7zXZִF! Q]]ŗXi%B:`K[u&b;hG|t EJ񭔉If&a5O [=L86AɖP1LG'^Zn`IJyokюRN}0^6F0/b!L57 G̴hh8|[^) 9ncaȹ@ʈ%cċ{D:·R6LߣAf$D s3sC~r*"- g]>ª1tN:I,.<Aڦfzkѝ)YvN$%Hx~<>Æ62Z[T>vo,|_G%iH'X8s6u 0H>Hy5^ fCop6>O; `ȉIW? d.NZR^1 H{Y9( }&rzx[< ,<|x##X"֋4|^J!۪ dCuZ6 OzC[kUK|$*CW]@I, Ȉojh6F*"xB,Z^}ZW}5 TF皣 ǤRTҩ޲kUoXN#l}+k2,왇:ejb! a.t-Mk/uOdDQ]h|k沷jW~hWO<nl#'$U[yQwN' [[e!՟4^5ʾ~Lfc%"uۂgj3M:Nh koW@T uMBӤ4М@;4\{;{΄]/A^*z5 Fdt#y2x41_}O4R)H,JkdG cZVoY?uGrvo.UMBмcTmtLrnrmmt[jAQZqQaMT@{Ivo֞)Z&g˃MV6a3̩}BT5Z^z0-v^\Oy/| BJɯk)P0OpvS [r'=]ign-j*U4FP5OŌ~WVa6eq،Wd LM^_\stkjj$#IsN S#DźyP}/ ~ &oRq,E:7ˁ3siL{V"=n=-6yVW>+|H%v˲~ݫ+ )t@_3l;{6~LkvJO<@>r:=^ &xR>$PԙNIW>;r7rWģfD,*le$qK\V{Wip|X6Ƹ#?D12LA9W78}CTEЪG֚p= С;< d=F$/G}Zz)Z9ܰexsLo |">Kq;aOHHP]?,0M+`& :-^[gx9쪴Y&1" k3Ͼ!cUlrCөGN!Oغt\vG(L5T*"vZA]g!Ծt7}P''2SB!.v.K[DžZ]lіF;$vn^SDI e(i!ZE5Lx6@$QYmm X㫚~9"AJ< ٨sBӨ 2ylZ1Rx">l{pS dK"8mSS#EC%[&r?B3 g`DjeĖ FO}ߑ9*lxɳ9|dsNξ*x|XEzw@&Ŗ:(%Cyӆx00( ?ݝM *&g"oChSQBhVA)"H 3lR: Cr '88^3с؛i-'ԞMٌ_?RG"ZaɲGI_E}j~wuH4YOi(I#a}ѥXCqDp?5,\J ť3k%&VH0@ųzv֍wo->(]d v'1نĖYjJ]a; `% Sy3NB,8=m:Ь?'*~gǬ\\NݸwPl3_?(*7ӥӛ2[0tRFU\J7M.SVs`F!ڬ&ڢiHY%3|L8EK=CiճR!Q"@+zyܶF)b\b>QpH _~uK6KP9v|lu"I#[9 3iܒOWPbi5`!/dv²q A&0kd’u"CW[L uQ5oG+I&H[G8gI\҄Rƹ~iHfy߹9Y .v]˳RASPq8'ș/f]WJdISHȁ?ؕe0T{Ef&:vvts:n.: &Lj&/Pv7㧱 aɕ㰜n/mz/0IWTȯ4e3j EW/ix&O yf^w4'[rZq;v4<3ey1}2ѻ*D'du +uokj(I#`H#n&m d&8HlXLTV,)8#1}lćOp_.g-Vd74$BUT++yQZV_3F st9*vA"pm-żcQ-C8c®uRUj߱˛y3YsPO[?B#Is \()mb %5n4˹to-`Yl>}I b.rXYs|#=C~ܫެ0+jvDi/} $O R fR1(iBf?UY뎰k67i/<fTt _*Ch7JU\D/*FZfI=1j1's x$AENDb[`)bcϳ' yKX,hsQ -_ m7ٽiR{DlՕ'D[d(At?)LjR(˶ތ]󚔆)B {%?iJ?eJqAp 3NDQfFJ$h_[]XɂJ9VAc`.,Ѥܿԍ :*mDHX*L=y0.<k)GP7sc$=`> XtfךZw+UX_O< ]LY-'Iphc@U)Q-)}Y}NMi@Splt:ZxFꅥ Z )$sDܵdƓFbe4:?kz9NRlE\-[xCl4 6m\ӪAC2;^=iK©n_". P6mdJ\-4hxA8b`| wxl/0]Y  #C>?:WU8oSӧixK ?q =_ fAi[fvo}s|jyC:%=!#t,J";!/eoxښyxFN"0PdTF]X6tw8c[03PoQ.ጩzIQ/!|o7?oCoPdEyӛ(!Gyb.p !K3hUySL!k&J'&Ü[J54;*Jr&C=0W.Qn77Sl;nucmIRZ( N }D7RnӀ(Ck&dcC|䙏o\urc b5BzˏT?#=).ZnL$o Hع߉Y1/.TQT[>ёO2Vcvf3 ïicӹ}țXzP4̭"PЛL2P|zd, ުQ ]tSD3Pͼ&kW2,!}CZ%ԠKoXt"{sSa*\2Z(ۭ?Jb@=XJ_ɻCzLE!swI4 J^i?@rŶN̻'G1?Dp5Q]i~ } cm;4X8`M`$tOcrUPd?킷4XME(vH}tw-rѓ;0 zlC?3UyW4]-wKtP#fq_v}l_@ZY{#XHT/:}D='-c@g&a\|盀~V)s*ch/!/!Sg=oH/S<3\\؎{ub0!~\lPA&qM٫*z'^ Vu#B3ꚉ9.Z&jbڊJۚ1ng/S,#~"يոzx)q{y0wk1yf~ c.K &fioRSݾ9 BGg-oQd/\B3#ڇ c ƀ=>Tk*fY. g>#A4o)آEB\-H2 Z^oWHDQo=-¾p@T5j2vC{kk\c@RwS3BVr7|LqRjJ}؅ hG*Tp{lN>)C _'Sltog* R}Ew Pg{۳7GML=0Ǒ:ZRyeab_ BnN77GGɂ^2'+*26$` >6i/zz; Œ%q0hP&;́#ʁ7x _M:xbO +Ph侵2xiN˾G $cNG&H G(!C6tnkgvo]L!5gTIϜy7j4c'&=.+\~ijzv&OV/;BsJ+1u+\4_%=A[pϣ+|Ңs1p|KIT["›wI Ծ&.&'#JGf>yAbºGgz6[=6,cV69D~Wh05g{..@1XȬXRA9t8ԓcOXC~S{jQaM]1xV:ތ:h}Q!vGO#S1w;RP+Iխ &[_u-,l{OzKӵSOKF`He9X 1 %z{K_'-4 PwcTǗqvjc7 kK[q)WT q˚qi~wU,s16KޅA ]O8"FK3UƜƍ9<2RAMⵢۀV'P}q5 1d-<-[:yIx:V+ϰ4K,WeO}*[kĴ=z- +y$wW09qN#􃦡^%T RힱضIqqՓfikF|Wzױw!CjҒ?6Ѹ7rb<9/5-Us!]tR~ _d7#`\\OQ)L?R1I>G(\dDipe;M}'.Q&D\Y sd5_RhFdlvwfh3f˧)q^WL:,Ab@!)ۘ Nb#2qUu 0;4/ا$돳>3QyGC(F*r2l5P~z2}M_}_Ƭm]_$QGq|zyFψ,/[U`$`:sa9DD*9ھukvx'B?PAWzʅQPb1:S-2>?3 DKs]v8sg " 7ET9tl,JhHTa nl  ?.vw.K9Y}Db0;+$sϑud/{KCы[:=l^0 fN up|wMȌDTb l;|ތqM`6d=)#Uפ'ɤU?-8'+ 3Q'l0ƂSM]_cj3kq%߇ۘQ]$_nkBPO4͆9cΓpNl"FplǴB|UJ4p@wy,۴ 5̤L] IkVhF:Ԓ3a ݋s!%̧M`of[tϗ,2ُ|`ZOw0سWo{mk5 UC:[w;Npf Uɚ91-eMxE=EPa)h;Dࣦ'd "v!+^`mKXD\1 ȕړvrYfq FOt'E˄.K))v]g b=[6t)V'K/mqYƿP]S9g/}0%IDW4[Lܽ2]dDw_9+~ )?r*4ä,h%~*zL噀EbbKݽ'3qqb8RxBM)Қ̎-<1~f'XC[fht]PWr:R d f[;nɾT6ֵ?`Em{T47SB[X {nz/92& >ߎӱ\k2廝)uę N¢ cw&L'<)6"`#^| #1 |UdMGEŒ1 3g Ei5z S¬<17dB `ͻg$P$Je5N{)/p+8QԐv9O6 fߐF`FH;P]tR>%dC\ x7ܑÚkeg`rŦsS YZ!ảP#pOφBOp\h 7 VzJ Fkо k61y0L~+SPGdn9j!`Ift7Ur# }Ǯ%B(f4`5/ zm@=nEDoG1Qkn<>[6oĿ3UIK锣$oڣIk!AzǠ~sxF]$:ڦL̊&f!S>CB I3,7ֶzAN )950XĨsбnXq$frXTX\rQL~R% .<6L;in0rM!`a``mf rg)ցt Q4.{"Z/4!'"$Ҷ_~habU¶ *y,GAGh8!Rt{Wg1$8g\j, 9ɪL\Js9]1|~?| (8|@*KNa)_  S?b3/h nAy:W5^jiSX%JOC%Ӊ{Oh٦~PVnk EN$djh# )زЄ/5}NH)4J,*w$ݴP"-6&UV2}L {֗F _o>?ZFI)jDTΊlG֡3uo4"dJ(9R}~Y$گ׫[݂̗ZÅWb1e_~ʼnz #{?HEPIlփOc,US{L0f"͐B,Y%U`HSXsğ$qF~j5Qn|<_Hpe8Ȼa4uwqMmgڃxhTA?PŕvĬ.nWۦO!l;)"5^$7CKEq,@cdu}#1ݔ\u DMFO-DgIDg5*OeOK2l] n"]As1#a34q j! Iap+R[}.?H vԆ%n2Z dYҨ)Nol-0W%7'ڀzTy= n gm B/S9k/뉇4&H'/ݳVd]ru0.5b!l,Vj(D?c/>c"|+IVD.@j!am>'jH7!N k G:U(dEPBaQe;gu[> xl.DS8޾닒?$US30HW&|z!QLbϲ*:-/;eG~Lxm "cۍ7/#P :E/r<`%zUY@ІxbWerEj?2E(2g 9'>trXx-fP]hTdn Mq7J4jWNPMgUlh׫+{`>Yğ')Zaq5F5(ײQmJV&`"w7n཭^ZWw:-h{YF(]N]$Q ,W4緘Ed=YAQkk^bjbT ̠E/A-3Nֳ 07VMm,l5`q*ȏ%n֪ kSu0޷Z_/y:Ho_ތ ~&v$/xmg. cfD>Gx:x"O"9v讆95jIEkj}uWY ųluVb|-Aſ|J7Ӎ341{f KE K61Pf"r"f~U?\ Ün?sxy<Fýt "W4}2L? zW3jwPSUvid_2&NbWG!=}z)bJDޞɊ=Ib8$sL85!'yQ5ju9x Tφ&sk,֒{K6Pċ7BA§Z>i Ibm?xj}#^PW*7TM c"4E@f/iC,1v?>GҜ^V%*:^UẬKVW\ϊ#ӥѳ\G>hT ~Tﱒn_gY^ky A5s9|x@69Te uYNJ˒ Op,KæR@& Sj5uBoN|L- "rŏIP,5$o@"^sNH{!,ymqkRJ¢,H] JEsUjtM܁(WWġ kZ ]5<:e9$`u/Ծ>aVՕ;$wO1ή68F ܮOS= $ao6,~J*X,}~P ͍Pvb&ciKe630- ?U$r8ӱnD+,@epoG$God Ԣm=:f紺7Eio2b KZ$ x6l"͖k"9x;Њ#ȈXr$Gfb|P&X(^I4ׄD'eqXs`ӹKQ#ۑwX6Q\>1c{I=EV2GNbxfE}D^{4{'hW3Be9 u%x/̼<,Cm7"sS֌.F_S^8cb'{:ʡb^cSQ6*cܟ+U;(1)^&is mfK%"J+n"}Wb]_Yxk{#()iH1 X %4T;U򋞉9Ohw G'/JDzM̺;HKIh?fSnYEPn}C6E=?.tؙ*uV2+wWf + K3F/:n*>Q4YL^'"(uN# rI&ExQߙ lMT=(A>+l!ts>9c?l6z3fU55rHI"+Q1k Xm0f;:rkjwk~#(xCcSPE|dYeBMv%yh@ִ'j2}UBaH@E:'OLqMTcV7n: ܩyF1`GXO"^Fܠ97p&XL\LP_d(ve Rrn.Yƈ$6EWiCϩLzS0MuUQC5O?5lĶNL @wg2&膛ש5tV͐#(so%(g 5, ŒlQee9-N}_cϿ<eC$@>U]]en"[f S wJma h *'fAPI󢄈1a62]*36j 7b𻎤ʳ'=}[䮺?ΎW(ب0p3oaP^OBs i*w),>TG!bm,ᮐK. 7&3!~TH K9 f~2\Qjg~%I` gWVgb>C$2!~8G뚺3*8 1!Nθ}sHV%9)W"ywrMhL^++8icCi}R@d?c'XO6s5v ;o@*n N* D* |*n&ꋠmی3&IeA/C?.Uh,[R7]- @v0r_+-|5zH^1 @8~:pYgK+ܾ S@#ZjԦKe~-kȄcS}Z^@FFxyUF @"?Y mdilo,{<(aӽMA;TSW*LTq`A, cUR)n\ T+Lncw8_傥G\\aF Z` "p AG͞)u0H ;uMKxׄ:1&V҉W;(܏{uɄ#WR#k4S$L" |G(9#E\FZU9ج?hppzss!Q$9h,:&ẍQV@g.SVRn5<ңJ-RwډtD~ngJk¿e,2d5 Sצ,b#6B.3lA9jK ~G 8Ne?F->YjB.ԗ=-L!}CtLJRR"7OL;'5vkvxԁtuWEyiC ?=!!#rdlu-f^?uo*&boa 4r*Nߪ $0ŜΉ+eȿ>կ$촛7 [y;婧u t:hV5?cojB?z[p†RގrSY GS t}SiNLgs{{(8ɽpyD7\T8x3+YA $s+ Ȯ%V #Sy~mxAEEUe-!IBuRoS>װ$sG)hhO"@0$ .%pK^ykϣ_{ ѪIʲ6>ݻFGZEs0Pp 8Ǔ bNDfz0mE5NǔgYCX a6/!xCuROtƜJڴ!rl4X%L[4cg_TY}7=ւF 6#MIk6u`D]uv*pU2G1[B|mP?fԋO  󓞻ID]ګߖHy8)&}ӁjdLWKz~.ٍ/J9Z4&I1L 4]|:4 ݫfZnJdu2XN9MML3ںwY=eexABSywu5h!0+pgQ hȚa=?d{}+yۢQBl7U YDxim{; ˣ(Ѹ BJ]~dc  z;a%" UKEqvm%;Q*4IQTK^` JҶ#9:.vϹc\,˕`4+5!ٿ`WLVn8Nŕ\@%ª# -JpV/U(r*[lh=>߹ֆeL8=5;z'9 eD::tTYSV V#j'| +V>#WPx'Z-{HI~,WK(ɇp]547-?0*_-v%R&>/=8to~e3ZSc}]K/ȼ2ϰCf tm8ķimѧƬ1A^*dn఩`7&g$F,87 ɧCˋ3l}Ѓx`|@9lL+hh“]'3!zɏsCaL*O}eUi8 fP?E99kuPr4rWRעZMe|~u΅|RPϤIB/rjނ YR<"s%㘸W.K7z4$g0` I: xE!i835qw6sb☯3LZX&aiՉYNjzizm QD<|P\vM=i憸P*c2Ɔ sYj6D>mn; @ TA+$4Pj^* F(I YN3y9i /xK1E9j(K-g~BZXHlVbZ]>=ļAEώgSHK nO\GCfb1:ŭ"˕6< v<[F `ȳvIˬ>މs|$ ׷?/( .T@0Jӑ J8^`%KsRL95X(9eR >})ql7Zf$[Yº*OQDOQ>n af.r\d]⿡ ;$#14rqMVewsFɏelj‚fi0-á3_YPITCKidڄ5<8a@ҕ Nƽ* պN\^C}$.C**hwdoP)/GCC{>GS j6X"]oz'zwKQ{NJ WS }j({ 88*; CV:,lI+qqA,`Kh d&+D" }w:R!++c yE TO1']pO?sl'F}*ڻ*lє=Qxt~xa lހo-3Y3yā)ZJ*Pʑ %El @=b0ك؄eP쮨0# N}=h-N. ۢ Dn 0팘R??(52by  TA@ NFKWΏESЅ-~ᇉDd CzEw&/>20i [Ă<:"j)Ѝh6luv{AWȣM8$Y4 *~lWLAEd1:Qc_f zbvwj_Ou?*5׭(b#]#/t6'’MN;>osy.YA0޶$B^Ìv~1=fAJifYq8*Gj|zRn?gwu\~Xjw $,6¦Ư׸%*8.oAi7PƩ~$wpb HLfP;D]L; 7U _DXX܋(}5W ?rS?S8_nx`ǡ\B(vzJ'k&hcRڊ2"(NO[cb܍6C^lfaSB­*gɲ5L@8@i\ʁtE~s{C[$IM!E! n661j/Vl=fMgmmi9rUSR9s.ON+Xa,#PmԸ\x6NV _ _ Sb6vaIZe>'9S[Dp|_ZN慊ɿqUr͇{znA|7q2f$R葅`9b/'LS(p@2(%fub +n~⹵{TE4r95A/\R.Lʇ=%\Scc9_ el/ͪnxj 6xصLº~ On y1\^~k█>QZ<ϧ?5#9 .I I>:ŲAU:-Q0HL#\B\u+9Dr!<ǙZ}67[:,53i}Oq.'!Py/,Nj$KBz12zz _2w/@ 9P谊_.:yjc?iQ;GN`Ye\QY%iQ'/\ Uz!AC+6 bgC U] 0۷)0mdI3h~(r[߬%q_ F\ShV=`T)BhU=:5L#}Zŏ+ \/41^8 wl^iɵޟL!~r/kC$͖ 2 S$\7~&qhU:藚PH?zq p(&kJ}qu}nhhHA'kd\bo:mT|u0Tn ~[3091іS#ޔr.ܒ2"u8YpYʃ(dk+aG03+E`ەe EIۖL>mӿqeuk f8b?|aL^in!8DKq\q+BG>\^CzX:$a1mJ;7fKd3(Qq6226;edݖk lʂJ!##'^ V}f ^6ܠ0tzjvKL8*}sc&iK &{}LG>{|5-)Ehr <Ʌo*)1^@=~]p߮#'- ȆfRgQcBPF4Y:%*k.:F:I/Z.\0nrPJ#!Ou;1D7y)7VD f5^l"!%I@ (<`e%33ٔb.:uDZzo8rZKNvK3W5L:b`4a8q~\ {jMRL]Li\H+ ((lF{&ug5&(~R_ْ_n0?!uY 92.3^;tI|iN >ӣ{n@np*S +^S2%ͫLN tJ EbQ/>N䂄vzV؄#B𐚚/fwzq(I^BT7Ђ&i$sYfD@~QVCP{,TYm) ,AdLMv"zKb$6"'M:Y h'r_;ߘ& CYzftTu*EwQ!.!X є ?x{ܽ60is^XhjZBf)x˳bz|J'g"Rj#&IV3j&,XT@UȞuM4=&~!|/ ^;jG9 ُ?5}yqK*rI[zɠ6aYHNbY^<@LS9^|rs;o.fK>QT\PW]g7_ƶ^ilfZR򽅫Yetsx rbC<“'pT`SddSr`ᵷ3D^Z4\LrmGJwGr%C"È;9O`@ 5| Mc~\D}$kYƂذB տ'U|@KxXf v- Y5}`NqF ~$SMc x~SvAUf7ޜ;-)j6i3ho0ۚK1@YU5r3~XU# R7/7 ?.yB|D;,s:4q}Ĉy1)2nnFį9y%A'G˒,-}|AmJ*iK0|hp+S.3PD著Ŵ~YCw@AkW8a+pIWL/Wh,J =oxw}BC)_m%#+5)ijSLNi6ZBNxZ9sDרSo69YaiAb8? ˋ|𕝷{zPk hwl1/&#ٽaїeiT~S@q*-D=u[J%1z-} LfEY8Em4A Ӓ)TY  28D>0ִ)d'i`::t?!pٔ&L[)cVY8l/IJ N) }s"!lgJ R_Gl6b!FA@ u6b>q\cdDtWⓁ_vruƊX&{Te*r8$jET8bޫJz|=$9޼WB@IGI%Tb#_}{CvRn:J+&P0W1{A/y^9kh52|- "bT?1>rw%:l(>˪o6SW_ѧMT&!qyȍ#l;_u0u]Jḧs\[.U(ܿ],fD8d$"U&2r~c7k=!P}DHVh,S6ȘX(:n|?ЕA\ kɄZlJ0oף^Uj:3ce m v&+=h9Sd&YX5dW.P&Yf&jτFN|ðҋ$'5CyYe+o!= @7) &Ix]W aA>=~ŖS51~|P [o= #0\I֮g1YRq NI/C4,aO̺|S]!A! L?Z.~Ɵ!{R]>b7< {ZG2B 68f8/&0Z~!Wsm!۳/]]-W+2Aي8"IX'wx[H ) ʂmqT;|8=&`sS q1FMN@VbZYW{%m ز+@Oյ'Ug8J5MNH؊V)<漴m3kj R[EߑeXryj$'.#95DW,ƶ (ѵR$Oqn'T_&|5 TK/GuM&E= ɬ`x/Ρ& xɍ z {^5mhBpg zIX<7fj-JwrI2gBn?Ew6i7 8_Z]fX'-B]lHa'rW2L[XM K>pqiLŵV>/HsYhtv]OJ!zf4eLRVVJ((9B%xMwUtg=gLMJóZX}ѷ?  9ݔ !e/WI'}4&dہU4MŌU9 Le.fpь"GsN}mep y\Q?|7=?k*ݘYƦybN'{K"d7ӋrX. 0O?xXҽϙs&ÜMi (;'kWm[m)+rxב;u~wK;Z/ϽC89RM m@Zc#0Ʒe/blE˜9$AtuHۦeu>.sB%G hV,Rj U_GY}e+}w,j9ښɛ_nD5*gsˮȕ.BK7wZQ: b!ض gbl~Z4U,l)[MXrޚMycfiV{M<Hf? ppKL!8\>UNr2[WMjVq<1cseu'Fޚ 4xxiX쀜Rw6 |'*yPp [Ll$h*B^etZqnXr~B4ɹ6_iGRVEsrA֥¹Kb*L폔f?Uw wqH=o)[o]:`^3z`'m~~ta;$RYf<"y؝&:[Oz/~(O`A|7+`̈́or q_]>|2HŶ<'--Q̀+i^zϺ>7\KPg&! >G%Уr࿃Ѷn7E>^q隅t3M"J$C@𑟟fjkX,o3T 4 lAWg)JmiTYb(/L=OD"CeKLyS[ę\1*7s ,g eWw)}-bH{YE(| .6O] ΜyVD,2EL3A}(Y5z}: ۷_/=;OM-92l)4httAڪ X 25#̑Tk^W!^#e;05f*`wdjM"i-:/ywA Y%WΑ&I :Xt D_yQIK,'}v-9L!EAaP -0Y%X+Yኝ_$,1uR_P̪oY.̭ݘb,&Vw,$>3 "bv t mL$"LqAPV P5w _VP:(<+eCb5\ 1A1E:eC BY ŀt{0g{0+9Bs؜׉iiZ1U>eccy$<0/ibf;`;lاu{w'c J )}Z`DBN~{Ӹp;}('b+} ^6jhaxzĄMqLXd|N}8nڂ~DzɄ4 GAuJGa龜j"#J,8%8s,*-o"G"YINrpe2TH-OpOj8~X#ymfޕf.ni"QgQLQG`u#)MXX״w˱x @Cv NĵUCZClF1.eHݳ#/mNw3dt6WMh)Eb})nO ;Yp|Bm4þBդ Nt,ߒ\Yd<^3\nqs*B.e/bϝ׵L\&vg)* ෩t E`b#݆0?Z`Q];BvѶMY%Q!}r@*6LbTayߔsW@.F,clu\r(ư:'_[j"p2š8@E*1tF4";k׮h䔃1,Zӕђ!~2҇OR8[o@+6".h%:a>r^'`jO9 sW!_ `%㲢ǩ9)T86q8;9)KN:@` 뵵yQH@:'3JM+hɘG?_qVӲu*Ide0`~O'\tMfƑ0Vۑ}ijP!x#L2TN'x0 O5HQDʛ?*c 2Ze*zY_w] p64vE*Nw. 29x+ L04(\-렮2kQy `|CgZ^v-[*Ɗ7ێ>ΏDs|(}ψ ť$>]u*ßS0li&xZY,l B3)F @lxzn\m,g:YUtjRf qyI4Li El{K㘳s# !/=qNڵу2K  `*{Rn벝*r@}xXu8eLc>jñoe8`GHKbc+ڄ&+-A 鞴-n<ுċ+ U;f&2TUYΟk"AgG":zkbC *ٽD`gBUJz_&tVeJw~\0cb7"nAxr< rÊ)y[?R 끘eJ{QN#C.!^"f/cg؛:$Tt0a'݁Law39n)j\-_E_ldޛDh0`5*@Qe ]:kem\oWj]E3-5]C3P@3&`b R!r:a)SH ;L,QR'Iul2PI/;Oxj><:ZB0]- :KoQ 6d*!W|A+4O6X3A]ꂛUe: ڡM/rr!`-"&G<;vRvhGcĪǦT?U~Fj$ b"tdxW1&,tR/1ҒHlóߢUfN5r9#T*ͪz ֲ L\&m w`n(_7mvN.n;7< sw`Sdqꎞ^"t[j ]᧺+sNߩu;G|)y䂽([KW r?.L IdvUPIJmrsymR{9fi~x?>5<43#(,X=JAv0%C8&#ws|sdCFhںx0iQj NPLgF/#z&bX1Jɲb 6t,Z%q˔'K)N,|%hXCX>t-iu0γ铎SRC/FȋPz8j/X_A dYR/:ka&s"[jHSZ2}]3 I#D ~ѻiRH>v5cG/ΠG~BN"QP%@r40' EkB "Dbt[-OStf8i*+Uh~Ly Ɂ E3"lNݛ2!YxX@'͎Ef* q$R=`rt/xx8/Wa^5j\sV0iؗq=;;THRThE6{}@u$ʴ-JoEsle(c5jD_h$O\odX/dAdiatĩ /]Y6jgp-edp~?PpCg9SJޙi}kДp8U/t>ЦznWmp}qЄMbyb?i!܀+*vS}D5  ( J&G$)>3Yc]3yr\gd'&7Ssy)|^< T;?L Y5ÖϢ8Wݺwz_G9vͤiqkI`=Z`ow7ȁlIn?X%܁(naQ~QAθc{:}?58h1旎GR޸:}&;<^Y(}ɹH7QBpDG26b St?cZO DU:щG;'PB)3huoI5п2LeA7>.W'99.])n>՝Fk7TucĮoɓ:u魼mx9]EHo*NAׇTbs'޵MHHЄ8~'"##rK sƠ70_̫ŐfӇTfckr+9P:hJ@XW}^A,8Vց6-ߐf2)+n)7lOy%6ss=M~H7<6ûpw;IqOZ"z{(WB/w| H cm)%^ͮR~|'3t{HxGfx~(kfmJ(W#-hdcw$O708f{9诳sm5:zx5KDV"5Mmc] C`[n`"PNrkcmMyڏ={QK(N, MײBۨ;DÀ9/t-e9f,XG l)|dlxcZ +Q@i:sxҪkXxK+b,`*LAz: ,O$yq0c52ZI8gu/~ /e.S)筨Pٕ+l8 рLr>r[LI ~籯n, 0rWauWZJ1mg]QNW{̭gaYςlznu:&_(3td$ԕc4Mt 5huo[ ͕A5rR4H>Bi|^XPza΃˼I'Q,ߑ0SȸIɵӎlx4[Xww1Vprjhе$V- JaM]DOџ/MtgDH|$(]=xp W̧J=\('PdQNbit._{'&;2y41A[o!2R1b ~XUn#3T^"%;-Jv4܌l͜d0ڏ$WvYK,7!BϋBBƷz1O%:♝Jl./8س!ਲVp,nELH$; ,={o mdÈLLyܢkݝh1J)7/C4fr^=s qdta.Vn^׀+9Q>/$TRƫG_UD8Y#1)b#\{66SիmwGږ6E:5"ַrYS.>ʷ(*ܧQK~!ȌuYue@'\*oP\=9c DM^{AޕRIg:ZM( |tR!ffv>*ӓa kc'>_@ƄŘS 9vy/XSz`C+Fg0@ hfIaYTHk,K/٬ ^*ҏѢ˽ +{`^fGt27 ;O{G_ɑ4V}c~idpcv4HBƗ{c'ZAJ.5 _)G&'Cr7Й/ts}V<@;fkoi8(\fW$V5d􏁗{JmL$fFB:.\O~"Km">hĢux;6U?҈/e nn|ZLW$f'+) ׁ垑#q0ReKN7KƊ.K%,O!t?}Pô͞ w vH)]5m Iԥ 6ej3b]iOP(SDc|&9/3&.o&JyciIIJNE~)˨AfQI3[֢>R>RpD<gk㫞Ŀҏp1N|ۺ+V=2S>Ҡ+C+f,bO@k@2JC PgTZyuPYW2}"o_mn*d7L*j'ZlA^l.a#SwxǟwEAU9z |֘4 ?ɤdm HyO+G:T\yH9CҴݨNMxz?ߵ]p)D!QA ^ =7xI/0qp}K\hQݤ7ZE1 gwg ^Cǟ?R 00SHs(k-^40̮īD7\u(_:68y1*̭vg^B4dx_10]v썔ѝuOob}Rf=SYK+guMEYW9ϱ:IsdxOj~J5bw ś'QMfsLoH*LasҼTS˱I>QLZ_[ }4pq2BsW4k%!O2UMw&Mdig1l,`8YFI(`Ъ5j> > O /hp/LN8V=$_143lN:5LĐm2N3l%_7sah_vL,$6Y:+NM慏_$En%n[(CSmv?u 0@~̳iG N[Y!kiug6Ra%>w}+b`i: hP'E{&fzw'=v' (۵Lc4M{LC;6kwH7g-hA]UXM 9}pHg`7 R33l+!_/͸&)ĢS>7v~Dφ~אX5\}B}4E\H^^ K, "`@#bF)ن/^/ .esMB %`rdt2RლL`Z0.EMTatt$:9=ÞHλQE7q`UUȒnlTvY+\T;MeR¾cH^֘%_-)YbE'c}t?{paLLȄX ^#EZ#.6L zgm.MU[EVsmj(f A8bMLZoUfޑWYwG-6y髁MBe sۻ?rSZPF#ܰr՚22 DGԛbqA[boaB? +R7ւa+Pd;Nc0GPΞWg;Ľ髒6[\ z潬jm\W.",%4Xaz'ֻsʲ.u%00y sl^M}g y8Ń{JkAETp8Hi!YW D\w;q;[JvM8 ?.*nsa?A$@i23~fVk:b. Ԉ2.BDŽ6P_,3%ʝsٓbػ! ȿ8tk-ho jmR(c Jh|$iۡ&.Vbej$!GvlzTUultZfL;.ho"~U+ 쪪MAHvQ:ڜ 1$XD-Sr%6!N!"NO2j7:C 6l ل*v߁'oR̤eIނOAkTp,V3XSNyD:aqCTpuĤ>/oS|^mQ/AgᷠA5((^[BKo.o^Su p((Yo Ѵ#d&>KHkD@;=°N{KT*_#yQc#N_{f3aiCʺ٫Dȭۨrj]PI$\`nr.]?>3Ru,L{ѓӢ7?KH,Νt#Kޓ-쪁vsr[?MNP dqm(LޛA=KO7; bU^qZ4^eڂK[@Z]տ>9B*ˡ:ѷkiZ} 6w[I'h+z^=lu.ַ|VAֻ=n'*{T!v ߓ@-;TrIDZ4 0tZuN tMFCìt?~i#4fKJ~Ùn2WUf"IZzm``DtcOT9YQs p5S+/5̢cگ' {O'Gvh}֟ $7KD©~oS 姟 HGg:kA.e.@hJeTt"R@VRFd6k=,XotXK7YQ58'3  J/֏Ð)D;Lj-nrHAfïG/ 7r6vH XθsyS [V'f4 h6&[wu%~lHT^&ۄOc*FSu.*NKC8m8DV\ _~va0'GH}"$qÏ#XhbEs }ElQ1)F@ǘoV]aNhGhsN]? vݜ`aJ-RR,!\x&瀂U;_OGI j}Js')jo b/ϧԨ=fqҒ W){{|G,D_Ho߃ aNgGrz7h]"=Uؚ<{Q׈|f)B:3 IX1%Ѥ |(dJ ^%ڢ@&DU;ܫz}O ɸ$>VZށ*Bvh* 3Bw{ kMm)0r\ ,qm#J٧yrm3QB OU~p.vG{߹x@(4)Syp:Ŵ% ֗K=k,oSDr?x,^q[t~18l> rp{8#%ǁ_?i: '8.Krua1zaaK+{ d;493==ĒI:GP %j` {FҪ̊d&J~+D\T;- x-=O&|$j5,C[\HOx Bd_D1Pƅ qPn ϿcInXJQ} 2մ O>ZZY9%:=d&( CRgҗ$KJXʀ \ab*6c `b0AW[}D}eBFvL,@!~5i*x{vY@LWfG`Q^ⷔ9IHO6Eٳz&!sHU4KchRUHns3'*sT[qQ!EfU}$P[w].zZ Չ6 ߾u$I8LM_TǸO$Uc r88';sDwx rbLg_TvO# XR⯢GE2T|O]jO $cj`&a_Rp[>[?bWÍ˖FaC ? ^Э7Y;yjnl2yWO-LuK5QxW)O1"VBOwk2kYן:+̙5!tBZ?tRZ9Y@LGK]d$!b5'^Ȟg{pj#9T[^[bѲ^f\dU>"-ItPS`EkU~Fu<6v]02AtɟQuIj$&p*a[hm-DnbMtbxY]@ݩ %tEu9% )cˤkw GB“z $ycDvLS&l:?&MK7\(Y)5?ÉcC0S.[Z9A@$dv1\Ù/v0>!rs~& \AYJ!D$DZbE{` <ǏJ$9 cCRnns7GCXelzTA İs$ڸ`E />oÍ& ӏ!PऊXiʗ"`!D>D|e(Of1}ɻY#ޢA%gYZ3c42942744629abc5e7ddcbd434f4c72a20fa64a13f786b8f4762c1203e3da5c15d634b6876ecf3673bceeb40692d986fea47b2c0afafcef677372c6