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 [/<44 ]% HOL-ODE-ARCH-COMP:threads=4elapsed=642.551cpu=1393.396gc=13.112factor=2.177zXZִF! W]ŗXf[&}k%h!a& 3̛"IGF$:h4a:VvեOBszEL i@]3R( ̴ eΰcXXwE<:b89r7b>8M:lPb1FIv7j{ߓYQ>:.Cތף(zƋR/Vemr2 ۶|Z3a巭;HDHXJ[ձ s Rx/]CZw9h(,ΡP=;G!4$VVzѠzQ:a;õbQHgJҝe{X9}6nn݋t9T1{X6jBvxCD76| N0 [M+mEJWLmje%%֒EXdžLjDqU7ItLa"X=}Ο:}WUģѼ`d"8=K1^rgYZ7zXZִF! [X]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).CMa_4g1'W݃JVQ)ןֳ,t\ }YZ7zXZִF! (]ŗXi%B(!]\['vFj@R}r/4HnOw;JbK*x&M Z;t~wq 0]LDF #m\gP lI%sB<9 TiG;ͣY$9 Դo|'q)(D̛5yQ,oBKHaʧqXYim Id V 곻I-}MVJ_ .*ҳ.>tp"kT*Kv,Jfͼ+F~쀸G$"x󐆛~ , -JB}N㓖_HRԛdѓD(L!Jy'[ڃXBxߖ !CNHO)bkq܈r0s%\1!"+mcr6+Dw>%s; mY- *P"%ءWh=N% aŀp1y}ohB,m=.tA,.=\$$ [7~ [ t eMWO͡Mr./lV|ᓒ,l5QE y'<n0͐4ƢA#6LvN_j`-0h;C hKGESMB ƱtY~34$N]sz0Tf3<4VKR@EA`Li+E 0њ[n:L'<;]C+w3j5NVa3GM/eR;4VO 4mKZuցc OMs5[%5s) o!`p\AߛDl{9Im;QK` ˷dcJP2۶6;>>m󎃎 . tZDB!k6w;n`Ba^~Æ['NQ =Fjʗ wUp9n)p糴+/ TfrWbASXul(XNj=F$w?S# ,ypJnȒd4ijS`c Ѭ`vEcjfzv,גu@꽭>7qA)2M;\G2s;`r}>Z#NC4eJʯo3g$]-i yҔ]%6UnϗI}|6' <$LL0i)@[NeY[&etd#,8gRܸ:V@ 5Z3qOk)?w=gkj !fM U)]O#U(dZhl*`EU2EjQ-42,п׸# g2 Q0pG|AcJ!ZwǨ\pfAUlCA#A(WОJ庂A. Qt6ӽ$4)pOURM֜bT$+ŻeA<`aJ;XCxtױ BuGjWvw3{>{6VSR`i! u\+I8?j/o®vSӎˢe?"Tubߗ-x ]Hd+;m"E 4E\8(-1|&ػU>naѦÐ,ۿ,4Цk8+8_H'u4.Y;e`HB!ԃ"_Ayʩ;֬џZl撖IS~!K1~P3^{GmCc|Tijϓ   / HOL-ODE-ARCH-COMP  ~T ._5\W6SuX<.C)kQ{-NOx eN~9+n+MYVXG7ZL'n{ U^<]yoF+݅KQu-Ya^W`;0 Wb&k0&?¤ܔ&ȍscEYȫ&K7Ve&o;o:;g2@d  [;ǯ-;\2vlgg_EJ(:$fr)$[.㔂h9aj Nxyp>s7,R܄M%Ld-1ٛjv1y;O4n?Bww2s' kP"`IvC8S\^(!5%| :%dW1*Vwcس@FVenXw Y<^SDŽ=*@EzJy/Hϳ #T'ʜ./%md9+>nDg9۸,VbA`lOz*!;Je.BKDԜr.?n.T`X Z 2Blx ="g/A S0I:urεK fs2㌍N#nkぷRbļg~ RZWi㩶a\y߃ZhDw~̥1cc Ov0t] "Џ:;STl4u2o~&K# B <7iN_XW>fcIAgLă%z Nׇ4;R(' `-~Q`}^/sv5'~ho^8*ߛOnWgy%yQd   J S=@+UvK\")_C0xD6 gƑ/ThQAzza;]AΦx. 3ݻy%pm6q|wsMA ˓iM`xv^޼+1YIw9urqJ({_:q*dkiĵJ04^yˌwqu1v9w93e_ BWS!,=ӗBҍ?s1d"6/4D!, Y3вolnhŷA=H,݆y3ًOA#Qb(p,3i)؄9`̋\k&$ͫ*۪YJ7jKK xЉߐWēتSHx:haOs{ &h| ٤KOZ{ٷ?ͨSXBgHh-fYUI_ 7C虱 {\Iˆի^*z>̍+F"> zfEu8jXw =^*Ǐ8+-GN*L!D \$Jv-C@:A分nKͲ"'u25eu/5'? g+Q 9GۃcNss(Dq 8cՓ-xt-@F ۍ`V1~f>'0K-'FG4ouk_('*@,@ VcͶ#B9@ٛYGrUhwbl?G7*`4;p->V0/FsIqacoV!zl{UվۭuHznr !ixnp9&V7ݢUׇ/)#dymv` _7#g.ٵ;8X3t%'޸ &f#zN*j~ "2Au$@d'S0.Q %Wsk<)MfG )8axu8Cx7=u?la0D\JVA~z5bҚGTjUC+s{:g0fEP/4lJ;P+w+ҽ 9A=,xV^|}h(ťxk1SjreM *X,HҏP<=z\[03` CcL{5^ JV(?u^:">k1fpLEXFTIOۛA*َ/zA~D'v:@~}>/1}-- V^Aȕ!k~˭3?wB .LzYJVWHvPSg%- - Nznb//n.I2<㽷,_X"4:OI*U[o1[\+R.߄t؎|mYfbq-#uPEƅ1$b&}uBUGy5WlyC pKԮw,{`K4DJv}Z:? @j5`Mt+ۛet~ԡ{ov;i+h`&(߄nWCƨ Hq0/AɤGދSҌ +cs{D':D|/陁 } : a mӵQÈQ m.O"`vfO Q-NdYߦNW0)d`VeR8 g(As?}ESzhvv ԶZzB 32XCb0:LLW(DnvZ|H4Op C#C <9Qz\\,'_C&խ)PVELyZ^G{1? К~ |Tȿ $f<rh!u| db– f=NY"aKBF&Nl2it[6.QSӤu pyh+KX>V0r2 }SF Ḑw*R~4н7iX;9ËS@kƒ1DqtHJ |T5*nbC&AeA`CkrQxIl|t :o'#._?Ad?^OPQ!C E1V 8Պ#vߓT䶴pH.rg7Bq,_ & OP_ϵ@}ZW3/D.Г -x}QA6Y˄_HxA/ \\f$T(B EY ?>'Q^FZxU~)];$T$_VV؆'is\ BM|^6 lg}\~EtC6X D~K: uUm?-+A!2n(  .-w8Pഊ9i$վh^rkF{j-v-[5n>ԥ?=)=2\K.#e9|G~Vޫ8(t~~2g@g!8N VB H$c9juٳZsO`=M~kBnչb7SѽGq!]ꎽ* h_#V׸%VNJ.V?.mtȯѐe6 ` fozEV+cg}HHFox)K"8oם;Hк,ߺgI^Yk9v]WZQ(!I#!T[A=r7>y= c 54{}J!w\hs/P {Z +TRb-벋lht;HeXv v5M"AnKC0H}cbr[`dv?rޒ$[DJ>R-JTo_@^tݛw "kSd< ߌ(_%$8͇ż.:+dow f[ZGF{cF304[Ӷ[b,Rw&r)[*u qA 'o.,<+R%UH&%9o&©zR̅\jL.7rF@PC!2SavUw>Ʌ?s/T񿊍(ֺ@fvdi8yqeұsդ^Agq\xǻ <9} ӯ?HI9*1G_&g1·u,sx$6OX0͓KvV7ɾeBn$9 @+Xh!EzC;7As ;Y=}EG,dx?&X0HCc6'qe#A<)e-U0."V25J, ꊵnphƓC~M1T4c{Tyڧ=99bea=w{ty+>~T[͡Z.6~"+43; LhfOcǙ_"F$ZJmakŲzpDz53?22((w9GM03L|x`5p|0Ư(FzmS-$p)\/\8|0;@yۀj6<)s2\x|&@}A(CHu-?x3OgSۼir%7Uca'Q{|@B#LE:na){g3"K?5TX^{+F3n* 4JCޠy>t82/?yGg׃IK3/7eI [i8Ό =h yW#[^Z*VzV X3M3ke*O*9HĘV-Q_rkgakeeQ7(zgU幰L.tfO}ԉg+5qK $Nj՞?&6`I(%}<n.?#2;W`C%3C}/"ȱ&|xr@&s:=w-}DCsҌkXiǶ$< EH]Q 4zͩߩ8o/p9lO@NC2C%wˤ sabbq8O\Tc ['Z8y'JX2G>1"o\A괤1<,.^'JƦ-;Qkm5yGƚh;$pIijygKϔum_8"QBXv>s5:!EK~)!0c񿮈@?WJ.s>,iQb~c]맓ߐ٥?VVB$#λG 1X>v"Ⲝ?U+T6y!^q?B)]QEGe 3lxe3 SNbT{FHJ>].72{Љ+ PKgxNA+? df W; 2lhM4fpXv?LwZS^uT>V1'q&s7ZjZtC:PS؇Wd#SKʱP=JrdP zh'lCeCT]5gq{=36Kt(CMzU%qo*}( ڏ73H)jEx݊Co'iϷ$ )Т%X2,'r<{Nwy:aL{n= kDuة&Ɯl^m 2&x`Ny^xˉl9/Xg bG~) t&u8.{_h_ bw+w/ϨA\XP qla ĸ4}f+&QsjLF6xHʯF ԕ{'CuG(^}R##<`ɼO 9%߉=?]g25< ȷm8v_-WgU(ǀgpl({J_P{14u't;\J~`F ]۪:fuwOQaB73.F')Vq'f;"ת{ʄ *Z s [ڬB;ّ7>*U*ecB'a_Cvd#PK< YSMtwMQ3*s3c[W y3ɄzwY@漙x=e"A"(D b)#4kpp¼lQBA 45ec=Tl?iuXcԙz h.$k~ ّau[-O'v}{T6zD?yЗSU"\Y"BUx{Zx׼@BUZQv嶩-`"iTYΧC ~C0FSL?JiN rkFNH yͥ2j$ T[5>zD:$ L!;28D%B&:RȎ݂75wpTTR?ԕˡXj;_(Z~gkCgCc V:Ɨm (dArDze"7Prg~0"HU>%~1v(3jqşyδ$C(W}9jS5 I%U_α$*ԘθWJS%u[s.,{Osj06f:Nz;PqTd2RfM&qPDw$ 9ҶL0C̾(ZF0am>?=m o,K!g|P?'ѐ61e kvmr3Q ,)L@_L = ΢bQ5$|.ifECJoƥ  [2B{ 5Z4g=y 8KAtl'J'Ɇ܊8-=`ֱ Racf̧-u)! |~蚁n-z}@!PG '6$\ȉS`¯T$\:y "qz HՈ8FFj  $q;HAh>k+[qTZ오S1PxL ]a,O= ߱./f|蠟 9zSced(<9w&[mtJ: "Ck1USkDUȉ!7oPϛƂw$EvMS'Ep&Dȕw$[R8[fAFV8-L%LS=Y;? 74y0@ؑxT)g."{} dMGAcM^w!Ǒ4fSy \ˌO5‘B%D]voG͒ &(Hy/TCG/"qekgwmhe~ƛvdЏj^^Y /_8BvT{`ETMއAz#T4GE2^M3h ӱ[G-(]a) D!^u+8M,%TjvH +!Kbxw3ma",xH2_56s5G_v6gVP ɧ=6+v~%3XCkɄS#@R)t)Yj(N_y$NsbT&*ʌ}`v[&3¸[,vY2ډg6a::z9k<׭`yyWե + _砪^$P-QKx[0p7`V? Zӟҙrݚ*.O`?,!5Q~-VJĎi}kn%s/tN&h.pJIGKj;)'_3_Cb6CHؕmlQAsR,pjreBGg}ׂݡ|{<׀3S N%^ev+<\ ߯zTU :ez4L7ǔ 5 u20 {{*\_1|{>~ FVhjRb=>47grW+I p1*  Iog﫜bhKڼnNnk eL *\aɀ G|_m`F[ ^a ƿt'g Jrʋ6T0r22`B= xO1!5t;ccKZ`9By>8_fuͅhS˕,uh@ D?UF}u}GaTޛ`OݐI˖axc |@Dv*sy15`\8ɢaC?s2hSF:!|Gd_DaXM^+t_6|770kW8/)o~p %_EB"( jlDM$lްՕxTgJg ^j+lf,еYA5qc'CV ! &9ð"@P X0FUyyX.W,eH;T9)7Ihp]HFgw-J_"v -KlAk;miA1hgY`]3[:VcT>'9w ԕaX9?9Ca|jC|>߃N!$Yʭx:t6ތwl.̭cN"Bν֨yXͭ04:嘟2$Ɨ8̜qQbڱ'إYSil]GTv sd2KK8G&j0\$S, a)gs $;vX]S]VPq|QE%yb­FRY\FS|/AAl'3szgykbw֯ɿ`+4{PccƆm aUGsO&pUhYtFh-I!q۹[3{N @!>f(ˣ&NTW g(wnD0aN̳M DUCQ3#֦v׀.3n U`ѐbjB8_9@ h΀ $}!4wJN EgjV (X/uf[<mr50s՜k>K0&_Kգ`0BQH)n(YE\Fq}MB?I{2 ,'aj,5 J <=>j] +#:15E5T娝+hpnDEX~73S̩"#͹_dICnS3B!,M$JQI:L.aQV!y)y%푺&'wk@OP7#/{(;9r\* mg\~801>l=s-uQ}/*s\rzN_@Ÿ%'g>,-CGH/N' gXqI( ; {D/`Sj߆jqRʆ_߻rpjȦۖZl4ťH + IDm42.-7ix-m=XTO V951I-iq<];vzTȚ]X[SӒeYuYgFQ!voNk ae2h0L,tlpi)rrH~wVQWIuմ1b~! Y"[Vj_5:yTMs[aauKM:&V 14~ NRrDLP0& 3(?N?` NKY mP[2;k5  ;RD!5Ku2u(;-[ݒ ͬU5S}*CZ eb_w w1r+U|mHlɻ<|HX9vfXQbAȎB:kxfT OmgKF'%DY-Ď~Hג5__pKG[bHs1F={z^r%;>ռr{hĽ b`~;]Ejvi6FxesuR!G>L?N⓪i{hp3H܍ "6ˤU"mDCl(^R,*.>e4p^BAB=lfuT j'S0 yP?xN!Ę|j|+皓v_pZ*~pljl+ۇ_PlD9c[—=w)ڜu55!,\8HPMnzL"Z{ C\pnyq#׾î1K-1P΋]LC,bܜ-4zcgv=tz$6|%2nCGEilЏ^nN3  ;/0Q˩Ju,~vyt߭>;9+t<Т uK)&qqhۼ`F]] wg_:2 XD]`!u$?$5!hWdU$xa8K *LXGxCp/ռ= XTq3 o&#O'G*d|}(3-+^3,m 6/~ik@iV8סzzxӦ)#Po}P샦fؤT~'0 B0e`p׫J-'b~5$Eg:NR%tD5IU @!+ن$#eqUF<-^.fW_F̍q½n-+z%N@FE"-nY,vW TpgkӲ- v/t }7Pn{݌'#\NJ4ȃ]1=)/F8,֚RhI/iT.QofZJPEh</ٴ aE;u/^WR@_[N5Sg)nO45n ,TzGXŠytjq\\8Bb20 qlvGgY{%߸! aljֶ>IVj :Wpu(,~Gq:24IA#A91>2M_8r^_ ";qn1|wf0eW@6kڂō8mVُ^R_(놈-8=g]2jK:[']4e$=9!TPps1%/dlLv;u`ѭg3,} B۔e0y| ltr2=g5ju=4$Ǟ aB> hzH k?Qx__Is)'kt{ XB@YG jT (~bf*/= Wd9g8dO[x1a-[*gCb;O\wQnVr*![yv_Ž.7VReT3V;36޸o.r!}/ ~^b]M+K7 +sw¥q3zTMBˈ=`P {q Yq;,CMOxG'E QEЉd9`N(hG:yr1 +: :"]=88K=+]Ih(#(OԔ/U Ƃ xTdąi]dϛ.*exZ73SI1N;޾ifUl P?M4'=}]Ap>%#K\ GIZ`z!dk*Ӡ1 Ut11J$1b7qb#Xx &ͰQ}kyA%@42׆59O0/ "<uE6/Z"n65Z[9ڍ ,w4`)ڙrӰgyl0@R^T ՈWC?뜟[OV ah  ?ix/K&U>#;pΏ2 D_|TE֛pgb"VTĚ-dWhNT -&˞s ;L/`$Uxξ|$&,'45y뇰%!xQ{d!ʌy"Ѐ?vꝏ&cdog&C5CL8" K6@^?q?;lpR N&Լ >hjж\3lQpTR6κэ: 8<^[UK*sfb9>fEHA2gmۢ NJ 0DC udn{,8T04/XwXzP`.3R:@4"N#[zk<\p8:iEyE:75[$B 92'e47(;k[/g̡Q0 2*Vw^G2*k&TkNdf[$ge?3@^Jnh#Q%ru@[kq KEpG鼤` &\ٖ2%GH0?|KuY<^|rVhx4&I[,/ԃ r D5[ie{1y& ΀eTZJQ5@NW!:IsWZ]´D iOa]B=d'RvM&I)'8ImY~{6(VEv (r8Im8~ߋ .xOPC~2(LqWɥB ]"*.B@uˉr =; ~wæ\K)(7݊I%b}xs2 0S[.dg95y ~r`-YFǰyOor`Y#gR6/igM 09Qd5N שG})%Vh mj#T2 D>1|;/: +;V<#J)/Ĭ5o߿zq{g5*(!_LFV3M{>HhDDwzb)>n;B%*  H6x8Uܰ(:ҫik>b0v::f IMɥgJ1֬Rj)}2@a#'{azцzNtD&i%JDY0펅7֣\4ҀuaFTxLJ$0/b4t;TQfvzz:GBۀGy sA%F T>BdLDzρ?"T 4*pCĠV^36z̪Ko{ˈ_S9{0bcP9U? xKSI|a72nnQob>m2 +.'=}fXq!Mgޕ|󭆮< ~%yG<_ylU])eS1 lܬ->%H]ɧȿfθraH(g5hӜ! v-Ϡstl jRsi/c+"3raJozV8_ Tb Tmsͺ[,۱c,5qO*'e,U>ےA( q?IݨDeh_7:S27?MTE .#|GN/`Osq&+xptCRN{p)>- &FRAwH%7mZ25PXs)0H$fqS0ZUF<-tMl_Ǜ5ė-Z"tU P=a/b./D1},`>5ckNv("R4{vba|5| Ʒ%65>VHBɔEf8PPD_M 9#@g Wz*ƧJ, Sg6xqFWTFLL&y2hha%$n"љC&:G R=DoGK..0@i"$'L`my6ft~4oG3#}W^DY-Zyd5`Z=q6eFLm3tf<ޜGx o#qt"&~mJ`IrNTQ2W6ÈB>&a *5  ?@HZmK@w@9j|1 -8`ǖ ᬍ9m,h~_BJig_3w2٘>eFE._ Ãk񥉹2}9 hb>I (w6]{v-^ I+%$N+okbÌݹ5Zy4׵N#}y!_kH 0vIQٔ.쯑C/XyVOn2̮NR0ĻrPF<]lY _/5щzG#=`g/Ԝ5-e ,r7ŝC\gtW00h鐻T ҬcV[滿溰<.f&i"8Aޫڼ w ~ VG-1»m2_?ȒEBvJK]bSq5c@ea!Ҟ(*qb Წn @+4U9R.C{|6w_c> 3\O48Z.4;l.#w4ѩh8bBƝWT~ϡ^B~$`<͓j2R5яR>Oh]O3wb}r_'OR ^v\? aclH,h{ س- 3bFǰVOoS85t7T1ju{0٪j9*-[iDŽkd6lbCvDpX;5hq8j%2Fbj?;8ÿ]`k'/ǭ1 -Egj"͈$|{{4N2LMOfY/IŐLt^qD?d'54>4o/c{<ݝ'В0}=ι|'-c5<%Csߤ|?-@fh0JkAY1-[B8 ]%@7~*m<)"fa6leBX})Ul˂z.:|ۄ`C3q4_ ڣG{plmyVωZ>³gԑf$33 v0r? ?(Zq9>O^N616x\3fZ&GhItȓǭ h?d=d/y@b 1m ~ &41vP91̰QH Ke%cž; [J{,$K&qWhI"cĘӛMYiC+\ASkt_ky0N|1\*(t͋/#.Wk,p~_/ o9 4ٙtIQql-ԅLK-%lѪa O/:i_ Dz25񏊼=@n.M-.=t I֔$9RH쫀)\c>kcC'u /;j6!g#ëbP~ 掻:&3h5uRd,=OWk_y->ѕLiE]d^ÐR3벪 nxypX@`3/1/?lOjQ燜nE:GK> ; C#%hn寭<۳FpRcM;hIHChKn'Ujn#IGL6?n)?XV'>f͗h} )`A>A|mF=EsqyGA?I)#͙p7DN]*)f+=r|=%{I=~`_3s]Rajahؾ_3\ƒNNPYUľ_)5{^{#D + b. cIQtP Y|c\+x3%ur*Ht/Mښ,qQL]gj fS(ؖ$iU&h!׈(Nk <qm.E =3j oHI[~w2g" 'B$鞈8yDx2N`S$Ϧ=tX39i?8KIlJ9QOj qTzgn*-mx8P9%;$8G1\P!%q˟nF[q,]A?ٹ >|FRii)EzSa7a73)?O?eL,Ҫ'ɋO&9.@-7H:oҴ3Ɠˮ{. .) %LƵJL]{5#мژ^}y L XU_^F,XpҾ*ELF[=o/P2DFM@At2pF CXl JZvXaŚvѫXTqVSE71Z$){;+;x9~o)޲J8?͙F4=f^c%UԳsEq[Y4\1IMSO$;3z88='qBEc}E:= @~;.-!4PȈ\Wwh퐜WV;a-HAu*44tJ [5 (G0Ի)Ӫ_4׳ѽ'>Ի9C(bu5j%P)]kl:B\+W0+Il?&uz:NXy;Y M[ 6t_{$:{׬ܿ@#å7od,hs<,_k1-s"sˇcӘoc"Eiz< *8+]2GB y32a|hϟ^(!f2 ),J r,b =/mun\@Sٳߌ\ w{>c d3>o\nĴɦDa{8 #J0oK|qb.ܯKBJsr|؍`IqɷdMH:zk۠CbE'2 &]U3ڷd[A4Aq9*"h|gr0L(p _~SYPZxaUvVC3FAwS|xf@e[wҢSLd%vHue #t^.-cSՅ?CbAFXHH{GxI)]ܽs8oP(fv2{*[hD(J=~G~_@ khk Ml>~5q !BdQ:YG8ATRpF`rF#kB:rCH.VQz)d((IC^gv~t)s2ybaj}p6%š>̨gfH'{32|L41yh}ٟ[*j-{G|R:vJ^:ڱ:Ek/IHlTľytF4@LQ%>M 3!wSpNےY#/ fVQI?VC/X&oJ&V[M⥬un>w'fK콥!$FPĿa0aW'Pu (/|lq2PAyt+'ќdxzbVj[etINbuɿP22f ߑny3?٨sY !brO7l^n˱U`&V }Ř'Bw 3yj?J:0|Wgo )ȳhʇJX5Cto%se \Fg0ۜ5[%](2>&7E/Y]Un,onLMq5xNauAf#$dh+FެZ/xH 2->#[6V"B_њ|,ŁtN?ÑˤP_kX饊W;aFW9?2P^AŔ؎i-P׮s|5bstucTz5@8~(;݊FcD,cf 5&b;{n1# @V&) ﷰ 1xBhz??=6FE.ӗ Mf(IU$.CC]M01#le]a 2#:^"x1!hCkkQ6_SSnχ~Ic5K :^UL@K/f'Ęp\O|g+,}ČI])**!=3ey67j_\hc ^HRyaJBc1Rz1gJw9^fX&uL>2hX,=FlRĕwf? ݐ7 'TFR="Z$ @hzMp'vp&;'b}CRa沉=Ny 3+ ӏ.gi×/5,ւ_W &(,08{$P1mfX^U#.=y7gٹ=@Z} %?r@ 7*/T`eu2;fq*gx8b[dplٰ,KLSuWVB1FQ! ek>'Gܮ;7!gP$b5dufWd- \/4҂'I$8AzԗctӸ)"ϬV9%B+^@ACC:,r"9wAUşd漖p(e~sa+\]pU}aיI֝U#|QiKk. %0#gnJ9/0!ow`7⨤J9uA7م?:R@6pԏ;h6IzZ5_>Ǖ=$۲88uCL|gpXmry:@Q`{5K?Hdu}9e[9*|M6 1R |ш2!g>$x^Q(ҋ ^ػƹKM[KQRHBoCו HtU*|J{\:*`>0+uY## /!J8yˬ'|[8j.4ki]tN>hgxit;К)j8LEJF%TgF }{e,ֽX*mn;#ȇ v'ε$HTvMY9S;q} XO"٢w/LV9Pm sTmyZdG .S6X??LKTQ&:j.^fZXsRn\X;'nX@£eA dceQVuVN*3 YNF!**8r3Qz̦A\5z{߻zi N}&?f'!Ko`\J݆*Pz+!\rqqJ_zhQҖBˑvҮD)L= SUJBiR7z𱥺Rз@c٣ %[%vɫ.+&ᡵUMM .tV^ K8OL\=u"߲$KWvw3F&MnAUVb:8d[- kbkZM=0Vq`(eQYT÷a:K.35yb^FF!vCL~NXa耋MHC'D~20L㆗nfj=lm` qw&;UԁyF'^#m6$H U d8ƭ[[ZG(w60J:!aDѓZ,Y$ކB2jm+ s I,+zP(|挌-kܣ ˍ].!U_j[Zpݲ8ЋYQpG%$Y/^i1)|Li-Q11DeERȥ>G8_4Mep^~rTXG$9c#i0}F,脳5`Ez!f! bS!O!dBhXeWYt 0詙P! dj҈+WS`UKmk |&XpJw/핮<89"pOѿ64>#q-wim T+ ;H5Anlk7dDbhɼZzM)Kh+00jUVЊ  ?(bcMlR5pG#HXyb:ťza )&׮Gp΀, ~#+|~AzŕL=O2G?YsTG07TIXȔߖ$8yPx)cv_ ѳ"hi#*QxLV"?"tpYwZ.udEh'  {Hwվzi|Z#j:*~ʯPmT20A<,6:I&-;NMR뤻i FՆchfFGGC6,MU {vfr75*8J6.ì9Y+z;Kutћގr+3YW'2G /LFVܪ1uBu8 $2l]-Ik]8b9]w.XHfДX̭ӗ}^oD6{渦Mc=60&#saӭTJq q{&l Ϧ"Mc0(Hale℞<8TLgYZe413c73c08ae0ff3edcecce8ea998d88561ae6e576b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 82553a243b75b17982a7629e2aa4ca5b186893ad 8291d885c2bb8ee57864cd3cb9d390864065892b 1ce42d3717bc774ac837b7b9c8901d9d042a92d0