SQLite format 3@ ,- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ffn3t / HOL-Data_Structures:threads=2elapsed=736.732cpu=1047.672gc=27.752factor=1.427zXZִF! ]ŗXf 3 HOL-Data_Structures1-q恈%kV^M[-a2'161畕\op+ot)h{cJ^R/p-G-rGQSaA27^@ ݬoНY[UJP$.0fG&lFّ>@Jc{f͚g`;dBWwfIP8R*OWf4v8_#=6I*ϵ 6ŌEƽr^_6LSP"![ h:|ڗG2'#|z  ~_NE/|  skjZS~ W}⟀=`1ÊVFX\Cf[f(@FSI +OGZ*}tW~7^E Z==e?0@>89I$U2zea A';טb$4A[&rLs$Ulb$ 4k )z9GtiREOz ץ R:RX X-"ξL^F{ӝ+/ؐr{:Nnjb5.%ͳ7mu7yHd" |Yv`&jU,}dP'Lq_#i R_^Gx)!伦V>(_IHEϕ5pl%lE(&ZSełiQY'>%/aTA˪U1+f.)uQ35~347?5RK'u6}mn¶Km(j1iJyqtIzJovzs)roɧxn˔qZ_鉪1b፵rհ! Bu;Qym-Ǣ"E]m~\7B$ڬ~-,vFc۔]F3L2> o-asҊxΦwZú8AJjrGΏDw ߣ%zYW톸 ۲Lz,IID;\) cݎÝq̕*h}Aͥա*tQkynkѻM|<;G/m.n77Mdi3d&5| 吟H4yM5c0 vU<@A5g+gW-ȘL km(FLtX(/VMZdgh\!K0\kOZH+>\5t'}243Joj:LP0#cL:D1ka'+["~K=}by Ou]b`-N9۞ U& lR]@v+|6zI\ ShQ!;KK?{ &D`Bh| Vf^wfmυ(n0&lv\\ Y$JD'{W' à>˒elۭjWtU=tl* uV34" k|qxn⒞:ub[k:r8"8@IJьyA 0}~~! 3"oѴ2ݖLg+y"S]剶x˂㒊('FM3aKlZUJ3~ "cB >[;Aclս I#>T 2wa5/z Ýa[ldc96{1m*CV~$ïgi[3B+xM+0*ToV[Z:rTe"zƣY`g9-_\]m͸pʀ-O~Mk4R]*7ut%|ۥvB|ώ&n)K_Bked(Q ,Gu-+MKiBt "#ůyN24vnzڥ">H #r^O7h}^H N9v7OSbPN\I=hLǒ ~ w9!-~펡oW WƗr\po &7?)j=޺Fy/ImKU ()7ElU:s>OMg?PËY`Cb܌c뤗K7y$$\;?& 5*zF;{{DcHn]/Ϡx I x?o))[ |;?)8ұ\xJĔz`J1FHJ;h_!/`{S1_DĬpWy{~8E]_4k:|XaSsv L(G m[x%VnӪ_>+/۪#L hi0W=1prZZ=2C@& Xb\qw8xe9sL"i#-:doCã{}s[JS;#exdavJx&ʀm8 שG~%SSbC)b>'vXy6Yyb)3'QGh-|dc`?6-]'s[.֑PȲ%b?lGvxILKD}VGk*hȇ>h=AV 1/xz.m#*(< 0KqAФU:ď=ׂyma!om3xӋCrȽ,PUȳ<-V^pʘqڋ̮|r̿5aGk[5 h65-~*Lyk>ZBhD PӅ'B~G\kZtRŲD i&a4~AAݧz0+V _ SkFh8̗"?tBdWp4@1j.uzZn&iaXw#A ql!1{(FyϤ-4Dl83,$qt4ANU.]Geܣ}%$JJzAP#m%*KoƙE&?/Rv V0q1Ubwe9V FӍgģ1;u.>TpkѵVDs' [>\#}T,%g2K7ۡ'j~I8y`MC+fi_Ukgo``eBB6 W"'T%,gIp LuRc٣|XC}rT' *c ;s=,x+ !V޸8ӭ4kiPK g< Pƿ-j%wT?&ƣJ }N2Ьu (H{ zTR{0a 沆|DWRu~!x5+L&[eoaߨse40g3Lc/ՑH,%4oB$=NiظD' R%K#0sJ72 stjKqy;Ƅ{ OqLp nù6K-jJp|Z.ݙAw=ZD= Y jU~WA; SmC^lk}pye-15;J`œ 9 {sDߡAG8+8l[!ű>>[I-.a~\/VMQȺ+L?Ͻ}N Hd"\UEku=X lAڌq#| vf/̽ ]{Iz7lp W]SVګQD\ʠBEae.כRu,4]s'`߀#/oÁ?<]LѹЂFj<3 w<{Rzf]|^wW^<Ҹ1Zj3i[xQZtWUCx.q˸G'Ɓ+[eE%;Pi~;eaчo<+bxpۡM$FKtE_+t](gqwv=Oҽ*Q>P(ۍk J#$/HgZl0bCȓ[9 'QD(L!@RTrGz, ArSw`2\g6}l ј׷7Ui&=q* B]R~`[Kϸ(@Dvm*Rkg+Lz:@8H@Dg/2~}oc ̋M꽉f"lD=LN8g`u}'nn/>QLYFg|pD8qI r Pzx?۝3ϢEA0"=擳]у N눜4G>mso*dS v*dSHgd @Td1~sϫ?,9nZqo߲+?Yw7qx}d/ 2%05@Ms_a#/<<qNy\X*(i[gN0^;=F:?}~v9/5i}d!jz͆eH""znxNaUqRkd6?Ưk1rs;&C".Z%W%tat">s>/ћ\O<З_2 ; vŴ2;;[krɓk]LjU~j `1e^C(ɥNG/G7YJ  UpûyW#dFUĠssvQQuuMk:mRK%\>~/T_7CVO_%sa97NC#*Xxc+l^ esjrX{C,XN )7iy  ЉrRgρUѝN y9۠@`vx$ê߳|N*8,O=}I7\Sw A\҇b6~u:&15Vht5f!M&kN>}}'3˳n!EFS=EP]$d>"a.iMK!g r7 r +7)9U#W:B8]qUȶٓ d0a&/AgYZ7zXZִF! zW{3]ŗXi%#gvbRL}ӮB؜7[A \Sx['_9hiN"U¼P[F י.ջT]vp=/+l4r$ nG]p)GKӲ 2WzQSKk:ŚYmDbnBa Ip\ ޭv(// Yg6 \m'W(`vHJb:()-FhYžZOs>jެOK%=Ulg``LHNO9/H$BZJWˤe^l5?21Jphn}cF77 JȵYs (®6 }H:ć~:h sQ!Qd{A[!%xP&;y 1\ﲢTTCF ZdgWr 8)c_0yyXs8ҷmҏ? 5E71>JJ$"xIRL^p4injMq)``ǭ>7YO9r5MSz[KҬZ=!x:gFv%wRcc7DZJzDO5X6qsUق"3fafcq]7~y3<6Y;;i%2G]B9EnnF}a0՘lrDYzOgjYTJWB}0sy%` v,]q߶ϷTc M VI=]< | %<620(@hk-HgPkJp(~*2 C^QYţH ȏc˵(PLɩ.0Ypm%ZjKEL,(&>ԑ9XA'Fj8r|7"AQ;$O1Lf1HD@U#w}icOlh^%7W$Iiq{y\o PwI 1+gj7n|aAЀ][-և_CYer`ׂ<&;ٳ,Hwd&Mw4IP 4R.>mږTPiR>` }"z*C G=z4l"WzL-R-T%c %;5^fZeapu)?FˀSǪkK;NVp-ߒR[z0!T7-~~p1"pWĝ58aP{{ .$fU,kd5* ?py@EW ?+'qFmmW.9[?H™P u` < m# ϔnj.ĄW++wrj / Ml`? tKhqcAe.dֱP70 !8f/p6i;PH3 uz6tl;L^LJ,{wAT/ ϋoiHsUz\7vVo3ϦO]/-F7h|q`~<vpa<ܢ|g`Z3B{*UC$Q.6-ܴoƻGqYs*ikQKMU5u& L*~o?kZ#}t)@~Us"߄=׷wӷ$,Ј-B(Mbh8P#˗QX^߅"ۡlBv,,D꺷Kʘ}A TyS` 8!`zU^#YUXtƯA^(Q5-ĹQm8"#.UC7rr1ր|X߹3YM``Վ oj"TjP+Nj_).L6)\$ۙ+ow,C.c|]!I|3K`Z.my%;yӅL9oZSf\ ,b.[/phDEd\ Cr>v;8̻3$bƏGE͍&""J3rwT2#vM\žv? ˃^w:6Kb F蠗0? 3R1x-=qG_Pc̦Φ2c{:!Gzaoxt|CXGYCl<*:<^Qş@ֻ > "veMT~J%7ț#A= \شGW1v2%gbU90IV邕ߠW,P"TsL@PG򚬂GL=Nѱ$l"H2 S*?l)zG+C?T~Qĝu>Rd~Y Laq,{(x y-΀UY95h]_','\_^&i K옲m1RlCGvmZ.Lh2"&?$m$_eL9V.T'b#ӘoƩC.lE#1N0wKǓ֡F@o)yh&|.*j;dx-@tO *HEch#`4)" !n1 PpzvNy>J\³a}+l{Yr mA pK9Uwp8YR3Y Jgt Y<w_A{oQR߱U^tkVqESD2[~ ~7Lq+czIc_eoE21s&eP2_\W}Bx)b-`^F@3$W(s8Nˎ4Qv{gXX8Bs3-6uY%k/0fr-̾o~:g v^omgv,:E 2S497E1 n׽̫5X #wt a"v/l{E gA^*|w\:kX`b"4Kڳ+K c>iξ%KhOΒwmw"X/#^qQdT@;2R_;Q~L}!NXȔtڻqM9[F  ա8(7i;LTY` ʞ$Vr +ySH u3ٲ+-P[9vp/V:3NL6LcTb1Tjv 4(iބHb:~a8AL;颂 U›"L DϨMu2ggGq16I7f#|.Q*@aXI~ 6E!Z}p w#_9U%b{ 7M>A7-s]ёS6 j@hS'8l(C-qFuRu+4#a2?d.W%)2`tt)Wgd=_۵m'lKiKpnW'peWp8Hd[[[Dr[WY@M(T1/m5woiWLj!7[w k.Tbo#ݖ% *:Pb{Y:֓k26,x_s4̚$)s?i9'h( Z>9;U\V*^6^Or%&ΩµߜPQc9dOkqۻTGIFQoɔh1]y%V].7 #4 6ڤ78H|[:>A5GHIը(#kA̛NoQ{d!.DH%4 I\&.E>c6"x^E/&9=]S|UsUJ05 ys$;eU{4>{X<^|&Мi1&%yb {^9}`qLLiJ5Y~ w\5 0n4s{?1$l-̧f'ֈ!nݰa^!_@ru:7mԢynUR҆t?1)V"윚4m9.!)J vJwH-# Q]og%|mOܘpH^L,}3;(ލ{kg /8.ʺp17Y7ԭȻ>it;DXXj*rîp%D&Q$\ d 29G+Nc&Lj2 (h Iej9`vf _&ƒaeAXR"F[? Li"Tя`}swpi0#ǀTfy;Tr;? Ynl_**ʥ}8AS}n@6&O²93a!y3c@&uKzEd]2? Tr#USۦw6R퇰Κ>4Bء j !gӸX.8܃<ъOU-1|ڂ0IsE qn].5>OrSƺ &qsheN~ GtԖz 79f,l$ lN0] zc+d nOp꾢b!_\3%9}sZd3A{#gਫ/,X*+6/h()[6UڗtUZ=#&bQ9+ntR>q:ZKSKû1rj!*'SNx1Q9f3v-c? OiEI(G$i5J O9I".{V0v r=㤥srVSęndq# ʲf gf#ܟ2W]Q.nHs%8ڎ4M5!߉[Y] L>F 呗=j< ^שye|w chlUvAHgD"p-4ެ]\eG\#Hf}d/i.a6Y8+VRfMJ5_븬Ȼo+ŤZryKW=JBt} ܑu!ZބjU+v%9mܦ qa7 {Ʌv#N)"~>{QU"9"NQ,$)VvUXf Ufs mv̓fw7T^[d%9Ľl^-ݔ_ێMٽgEKL,zh\7p{п;ÀqR= L,+kj>}^{I(2?Xy Pw `*XO9 #刳G5=-fs\T.Q*hA-DlZ)wT|umcL0:A:1H{hC!)ˈ0Yr b\h}u62dvFn rl6-ʁ#ߩjaBU;Q!BUEqRjWbP.Yn,\`J^Obf! 4uM@JbɒopʕneHC:)ށ`B&fk A.<4l M p=˽{uVP=!=5]L$1RmV~wKwd Ty?_U`Q[;m ز4xL\Vn lF[oUv&M=V;] 2[+^ ~l|Y3J IRjX=^UH3*F-5(ueg[]u\<@Ng)e;I,0!]PmtO|’do;R sȔ˧ $fyk6;ֈuqE["c=ZV]'&W8z^tߩ3T䩝[†Gz[81qeôRa^h٪ѰdA|f+fhS{px,ygM|lN~@a(kh8?i*pnG}zb%R(Hpm2,1c>>Mt73 WP/DCmc@kaq<д$we:DOONco$6c@H&z@hfl)m~$N:6_% |8m &nyQQ Ib6.̪9p)X "fY ˿:3+)Mғ)J3FSwltLlwtt8?q&שZM,#"C)=nܙG2CT6-6?u0X_d)~B#}enGsT21Y yEXlyI`RHpۉ|wՙny>Բ﫟v04 8Gq*΋yX4+~%BJmN'C ރ{9ao1(ˏ.֖|OJB*c bP4ΓB.N qMN䉉x:?]Q kũK%~(=2=;c~"dL<3vָwkt(۪~t˃Z[ G^{WxNw7&4@ - ?m`45|>0/ś/92d&=}?~U(0k?o .NFh?H1+l୓K'XU|P^y{q8PdQa[]fW q2W.GlpOgհ\8l-~h`2c (,ɪ64#ZAz?Dl|%`f3]686_: YIXG);n}ȰEm6$j =w‰*n%_a@5iJE{N-kyƬCIӯˏpW-AiiY5^"cС$Iyŷ'R6+@1+ᄟJh&phJ9O~{^~fp'呅D\7Spf'uxὄcopk1:ۧÆet9%CElLd;]U3-1=o3xHeץro:/F#[: F̬_zrF24JǴZ]ݫz%1JaT3Lo׼+UwTk1t#ƥm${=7;Iώ{|q K(5A[6coaoָ\vm[lI$W'AXf a:=/ȗ>1κh"բܿ'&y7GR{8aE4`YAy fZQ|(&Ea>;02$Ѱ~Ucmaaն??2vÏU$lkt6_`n~(1 *5JtIo`(b Lӵ)S\Ky}qE( `sG:H 4}*(gFBD<4o3CXteΕBy.B^rxUeu]X_Zcd_mg7 #E)$w4^{CcBxu*|WzJc947lA;`3h{7"d(yl(k7A2A-o.V.@2ǀRZj+j]6r8CkL&)qNzoBx䖿6I5 M.pRīX) \Zciqww|OX$shDs:X+^L=C9 5C= ;Nlz=X;1K,;Zi]||e4Ɩ%+A-] mM>J`W3.x>.u,KqpMO#.\ ~AԾ0-oBj`m4$5L[Q~,içiUtFq_Rr/cu̧TJ8Fp hCƲOKmD6:l_-w,UE:C>A +xl>É4uiʆjMxEyѩUeR@j·tD#I86'M4c`A?h:'fLG(ٞ|?Usm׀q\q<ݧ;z,OHQiM/Aޑ'/yqS]0$5Ilx uQN#~ Nͱ0CC1a cA(]Fc~^$ Ϟ5s.&e\Et5~ƿA>W}pS1^߮JbZ5|uW0;ګEghB2:4Rs+rX|5*P< V]2⯂ I2$H̐.xFjM ZՠΜv?G0ǕEv*ܣ]qq4J$5b@c1h^)ӻZ[cƄd9$rjc"q,A4vLtc[g;+ye `У|X%JOX9RgJ J)M'qA]ѥRNACOg/ RfCM>U)&4Ru{Į$E(^4˔֑'idyG.ﲠUά ِ B9Bn}؟=ܩ'gz񺆡?Y2M^Q~:*CjL-EDb@rqyd+M|6brh;vOoYh%ld&-bQYRahP7x$&=v>6 GvLՀZ/Fɗs_>4enb>_2@5> $Ϋ_A[ 0]:IH Vt9[I%gqڪz=FMWmf^kd7T|xHJٮ9]Of9rȥ SG5vj/ c˫SV?ي.%1!~&||e$&7E -cБ_M5~԰,~u%xA)$w(Iǜ!B),_ntTF0XmKn\Yj8֯ud!3^> ǴS :r8MD@ fJ5 F ,U2?+p<)QbgPN~׸_Jxd~krM`C[^j5U8lsKߞXWb5}y{Z @B5R<*KKOAGN, QyډۧfB# Q.-  ؒ6R[d|`Xk4VÍO8&o .@1wCcmNpѦ sP r2۳R`yXm{CHH'Ԗ_ֳt-Գu:)#|w/ԝV*//]5 ѢJo5n)QKJx?6/X)cmsj?AfGD?qɬ̃r4dhNTyyEpB-~ALft/b 6>M. clԑ| N4a%v0϶KJ%@rh.IaS >$Ͱ6p?>jBy-6}8]K>Wy-СVk#i>oLtCe㾰k1kS$pe"& NsZ,ȃuɶF#9j5B{bYk.`C(5bH6cꍼ=iCaTW*+LDX"j*o3"\G}';TM] 4m(10ZVq{å4`)mw"#)3*Ӆt۾p/MgT138W?vDͅhj4ȀyW h4+\K%Dkl^p*[ Qu[2Z2y]J63Ր^zRNhysJ[U/NmV+\IR6Li@kDgRؓ,-u )e|}>ÑQ굛=]`X c%ut]8rHBLhDY:~WT!ǣ_$[,9c]nǯ 2XH7AxI84| ,Dw^jtJM0&_RVy%m/L;peR8]|EQ 5aSQu`#Ep[S*)&wjoh(Sa-k1]wW>G-z6x87E1YRty@%싛x 9*ER>1nG^ C_UaWj6vY<ɰ}uv+*v`!i"X @}fqmjs2@m."jAܺА2"f >}&Dȸha"16v픲s]p-yupy{{n, \Ejlnž"e%XxoHQK)*\5Tv| m`qU>Iy"Y+ #@ü7C\z SnEqP8Y | I?ʶvϞy@!{*I\epO8\y\ꆍـ:;o$oZJ蟴.3[WQt-] wD *h3 U_ߎdd,I\`kObZI(f¼-8+8ǽC$\—@ yR1y{@R׻[$%N1ΌYa%m &pL%aBVz:/ݻh}Cfb -M|,l5.:_sNkGygsGy&T ?煸[ !ܝs g"#RJ9/#B$kge`rdjT vvVftɽO~~t-I~xoB3mth+@6#HeTEJ9 O2a^4oI>rWZIvc2XDX񺑯;dK%\mξ.f@ 9G*Z㹲Y>%,V4%s^~/7Ddٶcԥ YGHNR~iRF+8H o A=Da(81F|Xg >]Di{D?3lp{FH }^KA&7INW` tEY7S$aMajc?iL]6p+ F/O~$p\1:gc2j 9B(>k|>d 5Y Yϟm g\EڊlӔ@Sn׫)BĀ2ٕ!A [v\U0eN z;2dm` utSҲ.`/aLg$ K sFj(C{&!K[7GBTz-@g;H7Z~=_pm~GOwU\Wj3Q>̥/^ 况ȓ҂U4;4^:[ 7=hM=օW[ҞS.٥"\{?KYbmcp^?Z]H+#=(02cG~^2q;w~6urFaTC>ik,]L>>*dwC)&tU_(i/[#qԾ1Us&}N8§DTZ P 8!Jd"%KgK>ڱSBwaضI4{ {ܹQ` ;R?żY?#/0ѻkl zi$sҵZ++_J 0栘YC%\R|TX W xhm>Ag XJ>4%c:B{h}Spk"E@9P;]w["'r!sfV)8tG4FڛW%`@ #(ݙ 2Zz!tRȻ;撏h wNjL[>?h\g!-Bvl&IÆDb1CO4co՝ 3{^=_CB"{Up=]zhÙ.w!VX.]]- uyTc;jN@^PWcRR#O ]Y 1+ +Ơ/Ve*4B PkDx}f^ :"oy5G s~iqdGX9ߝ- mg+7G>ÐoTL"k2e(e%<@rl.PdsX[L$5%| n7'e _i?(V7)FSp()3VDTFU;7LAF1i V8f,C3ziV<I8J U 5 hǴ%uG ɕԛ1pOnFZ/5a lT'm+4!Y:#>6!<}uکn{| eX&n&tq6jdEa<ՔALt*c ͬtJ,eg [{5 { -:k\ˠ:%qie.%_C~SL}T_k"sIpAuWv \&\Z!mAߗ!s+@sO^F;ԾA-W'C'm!F@Soji8<8YQʺJ72qLf||Wɗgnj:{Dm174gZһ{C-/\W9zO $ aP6WbaTY~Z"Rɏ)ud#S-aRiM I}"m36VTs)׽ I]U0DSZ6oM͑,SY5cH+뙰Ř0<>kcYsYn&ʷc&*(1 oͬt[aiz0g0ßP5*su!a>`v=`bf|.d9D+_:*n.3p x-7 5}}p{(^0 _{{#-H|OЬeJvUζG:T^- iziJ"{ z??b>=En$< =B Mg ӹZss?^ HԒ!cGT]}T_  $bphOх?f <@_?<ߓfnIi6=n`(9kvZ@=%$I^NAmbX`[A7kTr0VSpȁFwW'\Uw6J  >4:(Jhsc*|9e0U`p? :IVԏiI7\62n6a;oC;Ÿ2C* sP L Qu ^u[WUӍ1B% G~'ySP&sGz<+0jnt\vw0'=ao{R))wkM@Xuo`%&iK_QTgq:*I ?6tG 95`h=US.y0lf/':>Gn x[z5 c3SuM4϶+`(7O0/ܨfAJs 5l$u8jL_]:sE-g`k^ISWgШ? wʭzNUD1DܣõÄ~3' u7.[\4 KzQ_Ӧ'9.O[Ɯz_0j<:q:?ړM` MBr@;VnJΖAYȔqs "5Kݐ Yզ@omu=N>v ] ΑWFU%a򚖾~owQp>Yonߘ?l.UgxqG)D<7!/Z% q[s XG 3֋zZ DEpOEΥ&Vͫ |C2Ʊ{]j%;2zk4=d$;s=<5L^3$?@#An1H}ha-ӏuѽH xPY/15k'Jӹ٩{4 u09i~H m=ۂ!4+<o]K(*bUjq$-OLOc!Sn >"hZR|U,٣%FBV"# Y<Ne)P dwd`3Bz /]n+s7*#"Eb tV$)KqM8۵W`}H`Fx~(M ѻN^arjT`@X:!r7V -|W$זhw?`t",&ؓ_bS0`3 ysL9JzJMWM2\H-43\;֝To/G: s ӘаȍH]mux B'0@Ri'.$$#1fɤkӺe~́|J?23$kcXɊC'JOً$cs5|{?INPx@[=Q8 I5w&T=6z X(\|%'B޸Tn `DnX+mF\\Mk ^`O8/YC$nP$,bA?%;׳\@_ϊRUv.JߐJWuN }]>?X38Ȧ5i+#i!ltQ:.ì&*7?Pn"#bc:u/$w; ns1*IEw@73xolsޝ[ dX/B~Ўg$NeaXD^SʥkS_~b1U ϸfv%įn%إΎ1;p 5n™Xa t hg3˨*dFթ|CzȝS(rJ]HN8:L cĩ|#EWxElDWEU:*( >n(c@kG(z I쯋AVk˃wmJÏ'cІP /5cW)d aNPw;Ov,Ott:2"̎G+q}g5T[v)|0c"5Y40ݤ\pxFйu'(Tl_]`go"hg&$R/B)UP۾bةLkQ̄/אz|ah$΁iۈgvIaj+cJ.\\Fo&B[S*I}ٳ\F@芌J͍#c>tGq3ĵRkYÚ ̺\̀O\sSF>U lPvk Hh8ߢ fv$\G.Few%h (jAKձ?ۄ@V7}._'[8VɍľVHЌ4oҦa'P1["yI [f:q}Ʒ&3ENDq'w/"1}m9aj`ca/VK79Xt{aP7PRP@Ԇ[/GJ 8 fE4"J`3s%CIyAَ2߹4deWu3'$G٤/~!}zGL9n6RăzQLƏ-C2R-$mNfI˒\:z\+=a8a :Q< ^I-Zhpcw8Đ/=On[۾cTٯK<נTr` +()&okLF/;A{:/0 .YvܔM$iE^8HI\rFWN}Xp3CJzP55#lK ܢ4,[K Y^d89>|ir'iy@6㥧/lȇfڍ إB{AcMtDյD'c,9Lx&NG^ǝãADq6^RПɵUt-(MGQSCmշp,K(6{x [X~g=p,VQ穡qms)\jasjWmLwxf50e 6E (պ[k ^kD^F; $W @a}F=LF%@fmmɒfȊ%*>wׂv'HxV<!j̺DdXEhXҩy:kQ- 0^S&X9Zz/S@p/{v\!QzA^c=+(ȧGǺiL5 &S7'{5y ű* SdWU 1{'v؞}ސ椯pzvW]T* x`8Lza1cWz;` v**IvwUDh :?zQ&ELpv7$8CqBxmpJ[a[ĉ#kD}O&,41@FA XG`!VY ;)bw*yS;D hԑܐIkۭWøHdG,Bh 'nq^&զv+_p6y?#~)x{8fr\"Yz{8U-(c]`,i~5o ۍ:@74X^'7vQj(\T:Fn%w.IrN['xT=U' v L800XƓAC BGs !5#vB]mM_Z!1P~Q /!|du:͹25m|fkbz\^~++' #P:MPD޵];ZYT_4CPIR' \v\t E_j9GQ%Bp /s'<t=+0wAYu{h @M &y?D^uJaV$vz[đR\Rea3+l\Fvp%~?$ǎ|$0.;@ӆi9 p!NLL,"՗a^zDM;\'\;%ZIp]up S\b՟BCMAR;줉:O 6O\Mi9,&> zU*"K~1cl9F~Rg!3 $!jn@r6f4wFeYmȯ-6pR([Do#dDWfK91~w0`_%O>)2?YchwKW*ڜ<*I o@+7 :TZ9E)UKZKs'1jl#W8E*#4K`Xf#L.(E׊+EWW4Fc݅ZN K^@Ygtv!I4٢0>=M*ۘ'&Z*Zk,se[aM4'´~ BA4 էuH45 VНm_:n7v7aA|rk/\t8-H?-hQ^A9 0U웤;yl^oJ[)"/=I>[5}*jw3kRoʖ7p <_XRظu2 R`1\9O1_ g YuhW׆8En1tzy].W pŕZTDe꟣%e&*qͨT EQ`.I[W zWIנblp Mz' Υ ز_cNۣs!Cx}_Xy36?N~2eϨ6jKw̩6OWW#nOyWGPT¥N^Xl)cH?qu}5O & [SL(h=5~hZ̲;=BLaMd^VW,LE qkƎ"8+pv?Nn ےZ:CxT@ØK% FlxIǔ^n-'S-QwIHݚD6&8W^gA/h QPm;T؁g~i ?"3o=T`Fyxs\8Xh0#Ӹ@IӦlC[;pQԵ:>ꮥTp@vh]bI0m=J]yI% 1׶+zNSUySDD@Vi$5CQ/?"sP:vPç^\WѸ5Wkt^ ~.)YM"o $N['>tg֐z`vZa)!ʍY^>X[ߗ[}"^pdJP@Sx^I7aYR&m3A'co]x1L2bOj"V[J eNI'jw^fka@1G y=,=pZ#%Lxt_˸>ȡVbC4'O9\&N֝'z\3[]T=K{5ӒKo@dHۨ_s _%Z읻2P\CM9?m?ǧ%_2@Vv.cq1z|xvߕ2٢Š?9Fʴ,&%I=,b=.0r{kl5C0 nOO(^ [aH{:@[HFFf"}{ۺ+׿p&Wg9,(8[n uMh%zVL$K 27C}8 }@Dʳv;m.$^hFȹMPM.0k&L^VI$ ZyQugHό ;R2jqҎAv K?k"ar#N wN;L _:sU?ec3K@38?Үiqa;Bʝ[(&\?4 !0d颯f? K[ę!/o`/UsJb*i cQf:ZYTGLY@ӜAJSQNo^dS.M+h1b̃tE0܃:1aΘl*%ciy!tYVjg8$!0bt:uB\(Q3,:0ѓ:} 74u5ch#TKZbbr+Z h)X-.4_?TAxW HxM j:MFZVי(EU?G,4mdvŲo.v" 'hN\_YN g0%,vt 3KO`7e<@'7J1Λ6L~" N,-'?eCbT3#C+IQ*h3I, N'EQJ/I(p}"u8ФN”\`"xOEiB*-` ~h;)J l^qs$YYGm37(X{4yVCv΍"9Kq26#`KݴְњLN G%p0Uj6׺MH6,mr/o{w;_7d$.N|l@а7ra0 wٺE<"b#iB|ֱbDzXBO1 4nWW˙bCPO^.0rU@~^7a&%_'E2![xάR["ܰ; /)KUз%3Wl.;{, mܵp.X]+ C,hޘAT&/,0#BeL탑zئ @*rA9ѿwW^vbV7`R$%{罤JO׾$3ϩb5߿L,=@`.9z >m]V xͻ#ܜ.9'قmhy2?jkj଱ \HfCm+]B}r+#/YЛn0!^H=.Мy vKZ*a]5WQˮhJmGX紳{Ai"!ؙ<>;1Ҩ$gYrdY5?Pxþ5vMN[nqC#YB+u:B9Ev^kx ҢOpERR#R>gѿ:)yA/dO -J^vh ' ]8QU/ug8OaB^~d /[nJ$_W{duUjߐaUNAgb,Jf[oInEf@/5A#DZ"0:`SV !s1?fU+Fs="q>`^7$jXOsqZ<~?Mr aL񂏄ӨK*aZj&2YC|G1ι&ʋko 6pQ*Y!kW?RðS>zqWet]Z_9c* vX vĹܶo\"{uD6+U*>>{GfהF &vkb ZnN_fNB73JnŁi䔜iy.Mw]B 1Ps_{:%,xZvE[.8l7ӳ|D@gk/ppg1l7ǥHeamT:d6KkejlLoqنЖ'mk8&0<Д`g f .b%ž[B6?=t-?{䏖[D{9(إ=0X8P[IALU|lM0 %{mg 9LtDi{F 6d#с}nʕ篌{ VNԣ Pf56>gYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 78759369f7db0a7b2e1ca4cd148107e261ab15f1 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb 97020981c6aabcd5f9a12344194388cc00a68b45 a269b1b646acf003dc2b5cb861100b5a9dd7733e a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821f76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575