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  h hp;,, ] Subset_Boolean_Algebras:threads=4elapsed=39.997cpu=104.024gc=2.488factor=2.607zXZִF! 潐rN]ŗXiɟH)0%oFݪ,&")nI>lVZ8K\L0&ї*إHA`P ߟJ#81|x^u:r炿p/m ~-ˊ:cғ}p=1?fq(iͻ½lDJuyf)lc@nI4HVs7:."OBj4V:JQ4h$hye'}h4dC _1lnmA,G'f5#дku@xeޓTT<Ė8Q(B+5R'{(-Hi|;fzn#__ Ș10o\0+?օU%hlwP?dfSRȗl#w>Q']iP|OK6x= *=T!Q\f0/`1I6Apz ; Subset_Boolean_Algebras  1|u JTZCJed,%@2uJxGl8pgrzxf1_a*.'uA4`@={ ~%p)}BгVYFvtj-P^hp1m;p"q61ϗǰ:Q$q/$?1ZA~hD.DW6H^e b=sUٰ';eH0NuR m4;)1%TAʠI|Uԥf)8bCalP,7~7T v$T˽8! 3S% Eڐ$Ƴ0֑% u4ajt=y-؆&Zg)^[$~{ _[,NW}s2J W5ig3Ye^ ¡FhkrhTz?` zEn 3bo1Q]D$L`,,Y0])m,;:_േ8v(ǭ_el~u |)ױyyk=C< ӘQc0ׁȐ^J nX7i%Jrd#h` !8?&\A3x8J* OE >Izܺ9nڕMs~!BCi}/N*VD ̤{Ȩ %y@KfB6}f :Иrԁ .~?]/s UҫU䣳M\[p 3X0ɛIDʇbJ`6O[5ӖulX'VTsQ-=ӮoW"C9ʕ ΢PH˰Vc*WA:G,Tdu󑬜 Zy߫/-+W]Z`!?]Qnou7Տ{ϸH~j\Ut|6-y{4W{947lDÛrJץg_b ZlQ (%_,=V X~YȪL@ ?'ӜK 6^Ȩ@ $QvDNXTUQ!0N! q"&(xr°<.?r0ә05u丘;MUr6t#$UPZ]=ITǐ(̐)hVq$@Nh"AFQ mѬ2GGz.3Ĝ7uwzñtBTK1T c$T)}hJ}4 <0RQċ6pVuB_^jqVk-r|SFTi=aޥ  .8:bՏy0 լA>z1"jҸheLv[!1lj}]d>0I?Sv[Uj#xl+dHȼH>ؚrQ0O mZ=:>c x0^hi ^i ~Gm͂u|I*T'QdC,aрِeC-1$\Iy0 lB6:-EiP[JL Y6A}R݈6}C{u;i)!qT! d8(i7pu{-m;ǡ\kg\!Z*2#TyIGHtYaZ ,'%ɬ>u ɸo_P :a4A982u1`?29ܯM^^ʅIwWUyy0$QEdR [x I^gݜaAIFc%,;7oZu4^Y0h]\FJ>pS06w$!F%#E m\SFJri{]P ݺsJhh>+1g2A6`\у S5AŠ-sFEc@As^J4֫F8 ]n qPˆB1ɾFgU_mԯs\C6a*AG80C>6M{5 6\؀ĹtCh5jT=ѐGRqwm`8$LzTpebz:ڥCSd'Lޮ*C@ E^s k3/_]ߤǚ`'Bs|7FcW(sďir:ĕ[!bJF^i1mi3?㇛t] W8{%S j!o#4;9aKAx |9rԣԌ& ]gx u*kzZ`{ ӃǓ"#zߋZUTgOgqsɺ=>6iz!sMd-Zeci:RK (8`vgBL_s29HXC`!}x{;H-zrlt\_L1םbs@XcLxBC{_pKn+4]Aif' -Z,7\Rje4GG.{S:P3VV [; [3RC(d{2J~n*nBDBhq<4UɁ{fPOn ѷ^ZoF*4FY !\0u LXDYʫ$!i8N\@PKW[Z[. ՁA|~qU>.p+ f<'K\iڬ;R\IIpy?fϟvIDwf+2о" Vk;oѓ)~IcDCԲP 7CYFrH'=? gė Om|/W$`(J?+ ُ#+jJ%TZ^B^~XǨ՝u8c¨0!w HLLHϺo@OSP 3y7[i5a=4# Όck@{(D싨d7۶LJ-٘"ܩ|H48/a $HKۀw1X+tB^u7Wz*%ݐN](x۬V_\G b} B?Y/^B,[[]wispfQ@X1 x$cO竷˞h2-|g87I$55A,՘v x`W.FFc , mbRĬK`jR<@11鸇Ss8CS ^&P̵UDd{yWipS/jLM* l%LFLuPe-!<0Qw# cm_l41UU19xA,SӬ 7k#[6${ UsdӔz6,#y*VOgEC.T$[}@G+Tt^6?|} ]hEj~Qդ(u1pD@bSd^s-qO|6qH rty"pya$4肯s›~Y75 ~&ÄkΙZfjt @\|ZmʋwĔd6Cu&ps?eMmlktC׫6լ,_u-c:ήPxKX^1{r-~i9,L; Q.mО2iԈpUEie\/B4l:j_ )bO23Ε-hf!`A?6+|/~qgLV}sHHts;\jR%` =7M"d'?2 r7$Gn;; 56Bul@2g庋qR] HiqΧ9x؀gOrD; vG DTA wP+„4V_FG['wnq;|IͲ LO\ g F0,XZ.JI5E^>&hHu+4cw_h|@I[U=   JV_'mVEqӒ;)T$ӛeLWt0/ߊ4Fi|1Y:|T:rbÉq,H/[-m?\EY̭$N+!;5}#_$y̧NR:kPFʀL] %rĎrMEҩ5爳iz`Ua#L3%>/WgC;N–>{C'ܤb[3n5&, YL< "̬9L@d{x^. q_R0 !^Gq]b%)n,s:evՕV4w2\ko#Xh83S .aǷdsj3gLӾ[Z1J6JT>m#OfKb?w@"6X*-[4wVQ`>x+$+Uh8U[y=wK.+z{ amɘg_+d䰑w 6/K|ek65RY e;؎fu ?#yY)_tmms"ep3r4P`tKsB~KIl;n*;y!lX&;dxJ<蚒0@]Br>lZ%]Uv^=6nxk> OHݗ]+B SEx ҭe6 w&Oₔ(;k >2p;~XAcUs!ȫ @a]mqveެ-5 A%N1eEij2YZK|jNLt~]n4^#!]؃!mV?>S<;[)kJ_%e`VBĘٵdP-5y7SwQCi`٫x&ij?غӺ`t:&"3cЇZ`iHz҅:rзKja$ص_Iw/M6hщFE-`0p|f/jvh8#ơQ" hU˃!kU6HmPk K(] Ĥ P;&KNr޿*>"x.&DNph9 oA>n*"GARJN Aџ7q𨩿lEWn%qO4\lۢY7"Cǣm6rq3[qo[2X|pZKa^V* #z,{JN|< j_)[+mOr0LQS{LP*WQ!mMˇ {i$sw>>!2^r-"ǵ׹j;y0f7BuK-/ | U~ Bׂ2~]8QDؚHKŒ.ipU?}5:Xm-\u?WGY8deB4oì@x>E/s1Z|~ ZA{G6\Hmh KLXpV 'L+j|[gW QA Kql\ QRW. A YK`?_gC.gZL׵`L%ai"sOŦ.gԙDk"yc ahB56G0BpŮWw>6J\ZgiPSbZm$|Ru2B1gJ{J%TƝ\_K쨋Cj>\4a웄/([0<Ė,*&)ڮ26{O?r" :<~وHG@{RLG->K_˼66 **6eMh/S1Dj뚞#-B7 ,6O o))HdKTEXҖtъL%44,lщǂZr&ڊa'y0KG(/ݟvAtƍnU ]7)*h A]AwSwkSa|]dlg[Gp4t\U6 mo.C*W|ѨdRjADoPxNV @CʓTݺGn`Kv"LL#B^jpݜQaڲ ]dIRq3pHtqAg˕D$ܛ o2mgРr*^("mDA*ǖ43*\Y:{s+rR\ki*.rsԱFc&}K?$ϡrmd"{Pb3j;@D˞5$\Q ԭ tN9F hrxeD )<P}{lL9{n^lH]P?P⋇XE"zNk$,~?GEQjM 3@yjhńqЗUUPSLM7[? o__~hu {33_݅Kw@bڬ(KΥunPlQ?ѯCB4bULJ3;jM9!p1IZQ# vWTNV9O{e*!rwFPqSDsmNkD!ċc"J^jHpZ_y9e3: Uú'40[@#^& [ xkO}S8w$鈳Au_4\WۗaA>)JN^rUmJPQQv+(#=zJ:g= >(ͽ~Ry"WgE#fUvA"YHe+y<Ba^&(fCp.$)P9QIW eEGAő̰vy2 ZKؐ7Ni偼jUkI?<^c-;Yy /~ת@ !] Ö>ca, $%4[cB+_{1[«URu^Zu=ΑJ5i(yV43@u1qhtE3ѯ^k\cُcR@Ehvt祃#){\4%"ӍYUpNa'i^2T(^Opv/  h1/~V SoYTOU蘆[1"MO7N}APgK" 5U {p) W ti%fAHhAMKYf ()\xpف]3Nh{{@[}kߋBIX3F>){|R+ֺ":p=JFN*ާ|vwDa(ZN9Y hS<#6ij2nyl(|yWjm{# R!x1d3C=,lf&Dž:E5uAN6|~GHl'HW0wRsY-Rvõ> SW-ܝHuzݱ|2&?cvy{YK' QfVZGcgKE{޾H&>׉$qGI,`H'Mu:5ʬCGvkwU?X*. {ЃE"PZWg'WMRكf깦D$p.xN sJݥ'IVYxƖNdʶ=yWWǛ_]ױ5sb`-*Ec>N}qv1)pLE3x\\t'0שHgPbslIυWNR%<u_H аuJ=h#]Т^;˃DR2SVBKoq՟\Z"7ÂT0d *,A`+LM_vb…LbkIbޑU G_oL̡ -WGl&}*?sy/'#thf b½~&]~HWt|&8ta犜*(Xס* Ci f?12?r`aԨXqr'BTY.de^Q,@6!?9/7ˇcsJqn/"WƉzUHGB{yu,pq<(!wOB`V/ p庑[zP[3)rG9hU& .7沇#;wj/JptLC` 'UKŔ8=`&+$)Q D&/TS0}}Q;z+ω5vFH=\.t?oQ*h|ză~[%xKߦKF;V/lQUK- k.,/AZެ]6Ltyjak][Q\Bd g.nn(cɒ @l?'amdk}?LҔx Y![*I^r- ?G6@kQܜܖ(n{Y,z\5ev P Z] .Λ?ٚԏV`z[[K?Xo #JoRN)vҲ/8K☁dC%r@Y1FMCVYB- xFQ͓1|&+w9έ.%}8kUo?@c jqdjJx +"T̴Ka6_"T #Ba8Jd<;σ7id\ D] /WQzkj$nnUlg̔: %٫jVi4ǛeǖR4TIЈx92Afz,|%jsmIQFlyba[FX)U@2 XqF]tDZ=0?iF̖G^Ei[Jnp@Ǽ 9"uޫ Vp9|p}_Jn >4w{2I!B:Ǐ2tlG% ӏKE'W';m MxHRaDC>,8C~!h!lLL(6:8-4.t6)t%(%f ZQ&`l\%0nt"†`"QJQߖH|z=+#oGqJtBaj{/]|G{Y4<9 C'_ 8 *Ќ)++h4oS\2} 鉤 N)نlQ\tLQFUR':8݇kL6s|suOҝz }Hږtj}.(iWOkuGK[NxXVIQ2/{#%F!^wl ͦoaP|!65't(˦A;cOCo&^hp] @Jy~uz׫ ֫L:3Rլ{TayeziH'G:Z}!<Ǎ3C^; "h =*+O&Vip;]}jZ]b͋tmڽLBZ+`Jl5P_84rz,`Yh{(xclIz8T5-oas7foA\S㩷"-5H:ٿb8blsvjM.(pHʉyQEMz0'tFL#륗wf&1,L}r,ryW_fܺ*KR^=\1ECPuO/71z4:ϻ]GsZǀb4%f_,Iں&g>[}jq{6xk*够fB,li7odIX1>xRږItNg^Muۗ 2bt6i=;Ʊ?:: EWzUm_t" `,ԕyدBqhYzAB[r]VoٲW Cp}/>˨H8/\H/${!>ѻ˨jfapCտϯڽE='8"Z|TA /\~I4J[7j$.7D-ElSkOZaz˗(j9].>6 8u&'1RLnhWc9Mɨωi(BnTb$)FlzA2Fk'źA!֜d[C~€L.F-Qt v$$.l^v(,Ldך0Ga^ r+7d|`tSlYF2F(sBI]y} TZxS$(}'S:rDf|wc4VКaZi"*[knBx(z `6#mstZ~9BV|y%wٗ5n,.=/e,XIk CbPdʞB6B~G:iZau>7ڃ[-}T= &c3%q_ǂ/z ?UGv}) V[3,%kG2 a=6DV[3+,/1:!ᔥV қݸtc}4ReaC0ۜ_;M Ox,>oKAs 6NVT ]b6U`my K|URLExCJ:H4OHpOF#Py6NBf:I6^\O`m&S'7  lחRtChC 9 cS~Y"v#ρÑ.YpIgDϭaǢk A `cqLW律X''٥9'\ci(k*%'B F;=z nl9k=%eonpS"/{:=ܚz[h!9'5 gn{yƏq{\ ӳ58N \ 1\;3FQa *&G_v5U(B ~%?Y* Wj*UK_GNb +,7u G =[OK<,ziZ)|GM6Ee"ɡcʭHIbxتfr3Zj<njaiA,!X#7@~qV8=; *r|Xlm3@ws#T.&́YȋNB0IZoEn+v"DT/@@… ^J1;l7@:஥m·OϨAh3gt4跹/\D,n6SoYBȌC^*˹}Q&E88)tͤ$ =ѡP r:^Ng4O;Iؠn-ŸQL1|K-c>DE;E>ZU t< &/Gg7By(.|s,Qs-b s)jhm}Bu*fƬ]> gL^0Ԃ?uO] s~v [a Fo Fw}FKg BsgG"X23;)2 E;rH$¡8B)|+pX'n-=]HU<%W v |\b;%/CT$x]ivۈD^i & a6"5~X 0CΩݻĝ2uZ9~Hi#F +}mC{ps&4Q~&?yrwajIϞ#42HږZOK^dQ) E-PYo2\B`F4nfNkg @"1[օv{mS(7)ڰ[c%b"L])~VqnT-O|@g/ZRgzss-#FgP!겻!*4r N")\_DomC[!BVp'1I"YB2VQ'|Gg hO^r֤+m~qtVlx,X:4ϰo[u<1e.]LJ9PZgBU˃Ƈ~ *a>[LF,/:'yrHx!R1P8x $LW;:!\W=mB!lG{ۢڃDV:hk ~6 YVw@b~O9:q+}g}-,rG5\9zHQȏNOYnAvOSPdoB*iuQ?vt0q-qO{8%ep" 6rUG|vgdׅ,ܧb\rSTڿbNYfVȐ_V@`@1NCu|pޱ vϡI̕ ;A.-ъ1E|zkje9xh2I];:o%oT,ʙ"${?md]k( D(YllqC|h2)jͪF0?rUAbL$! *{! By ٭]Z\C.s#'#^qY0m b]ہ)&."}&$.%T} iɇSJYq7F3sˇL&8K&c4&D B wA95ʘa͹7B~ts ASbM-l/"PG%]vJ+*if.W8Mä P&e_\Z7*Ի#uH:9v/%)e4^^p,c`y"^fKФaCiPY@8St…ỡMg!CLwn܀I55!r̅n&+4DPc)tPl̫W{R_@iuYRs7G}T:*=\™am{n4xB^ڊ!pqcf>6.ҳ")1}c~Ju7/cACÜ[rSKZ< _ d*xwR4$G3Ԕh)/އiw\r߂@wbք@F'`r*bSN:{uÆCE}Yj-l6ܦ ?8րw0F" aDnAډByʉ|jT?2pT:Fі0U+a=H&^kKF5̐9bk*KUz$D<+eDŽ;RmJ9 g' z$ 0?bFX Z!cK\E=L3Y|k)u(D; C(~dZ6TԭBW!գd)WMb{ GӤF d8&) #HNEaAXSugN9yo}W5Ubdi ^G9SzfQG5` - $֠,#B39u8.'8=:dTu5os*R&M4f)2TVm1T6B[m %m*PڅꄹGDd,//h}c L9/ αme#VMn`&}bi7ۯeH !}wm]\$3y0wPr/Q ӟY'"bRubtRy$ WSlN5xty7e]yhTpD YN,&(W}yyfG `#*>3+?ӾyOaZ#tr= |<} 9Ht&'Aa ]SYhD7rʡvew/Tc{G]n1D66dX҇l :k,@O(U}Lk 2]`aҩZNz}ƒ~5Ͻۯ4iH]@e"u] IIGY(UY;8BVi)v:O-g T1JY v #.f-mɿlU"i0 13zYadXҕ_$wOL ԴXdm2?OF$WkV S7ʍCVz 7ݍ 6aYIJK^Z#>9dG:E5$o=C{G՚WP1p?^\(Mxq~K"9fE$C3mK n'`խ>{ r`\\:EG˸Ûg$k>٠tN%0N -x$,w(pePTbf2 ,U#+kK@AtqOP5 roNF f1[ʎC fb \p;d-Eiz2AxGt(r<ѐ?Qέ,&>qK9b12d8qd˩|f>sNʯu7 Z$c^gPG{+JDU2NL;_~Mv*sDy;lO)Z `"4X$ib CQ{ohF q{pe5_'q`0ȏ>WE9H1V~eqYeRa:.n֜&w:!M,?{KIG8i%I79 qJB.Ѻmft#lk0 s/t=H锄|UΚJۓ^]֔:"RsB+܈Pys1,h*5VLK;R&.>ޟW =+Sa} 5&3=~l+H H[s޲zTH+r3@+N=ퟙ?F*hVZO^wNw~MѮykڶ,Wiҩ%Y rA%L8 ofU+}?>Es'#Z8P"Yr K+[79߿-Aoު>K7G˘ij)!{eIq|e@V7yBR[? M&% ZD.V p: V pM5 fl`kw?vi5o+V\a{EWc |IhͺA9/{F*B|hJ'÷ŋ\ɱMi=9\Y8\03( oef7b^qJ%.;3Gd*fAaM*3"VT|@)cRt%Y,H̴Gw/㢥즐5)9U sdܞ;;:`˨RbıM%rXc=lyL 8\Ld=S vꄂ S!!VnGƨ"<Q>.I;ԍ)"5)Q?a|hEfq8ugsRVhY=is{3 \ H$IGֲl]O5F<0g*ToZ+ p<6T_y"hyrAY{P@: ߢpu%.s(*Wzt}>3vL:Uz1[:S7h^K׊'4!ڶ̥ߕ]wN8Nh L\Sz^FHp14uՕi⪴?IX";rJS=H,(V_Y 徻3,0o0oϻyuh [X x"K=RsrN}H[KUw)BH h6,0=c.8 lov2#LTm,nkFȴT&Bȶ9[:X{ߧMtԧd:sȕF^2uA.W[g#uv+f }6S|ڒK ~psAV2R%0F§5s0(9fN' =V%uQŽY^AQQsl=z9iGtLw-{5kkKΒKuXbr{)oĖ$N՛{@ 2؄x%0@,Dtn ޭv/gl̕Xv}(7We>gAyH{ʹ =iA;9a'=mC^v=Mѫ=9p[,Y9Y3^;@XJzjN t'rR&b,{p,q2t.@hLvQFT 2nm]v_ Xղ%qp _;5Aώ$jkw{ dxAϣ{P+DЙ+Hh<^R!nO*Ѓ$MʥF`̃hj} Nu9h6E Obc&d˰!yP dG(9 ϲP *AhD DW\_!epGmRO`i"o0YhHHxk`Ĩn+t6 S2EvzO 5[QW7c5cv%+=9^/ؾXsn?lV1s}A"&t6~)t#?5ftYm/^fnfnrJY2`^ gR>~ u,0p&;*dIM܈y+)XGCSp <FCPaP,^lV=Ev)MYq9+!#O"rx#!6[e@R^cbR CWk 6@m˱XGO 񝓘0] 9:n0-),rx=e--cFX͸p4&rfDpz;!MJB IeUӘZ_ʃ2L_\@D(c+ۼ{TYAl4S&>ˁ5ĂC炳9pj۵ͺEQ)cc\&7#Ge4)̱XГA"h7 G5 =85ɍQ>в7 wgю_? XACFˢ47'Na>@$nS}Huڃ;r^ۉ+݊FM Ⓖ$7F8Jܰif/^sʎÜGvއA=ؓUt8K6O)SXJ9F1Aniq'V qJsޱo'gAe#BH,!,[lLY W[1DqxT\@=:m#B!#P"}~65[;yY#[ 3l7)7_ lTbpFb( Ҫ$1Cɾ,_E.\j̭9bZm ~Y!S̺J}ߝ@ؖ}̲UjUifPOm{ޱ8J `P9ulտ7iܒ›w8c,QE=q?\TkB恰*{!Kjy; SRU=d?,v3ծmc[* ǣe}WKM7Fe-3^ m_xb`*Le][>n_z|ur%(4j- \qhjV/PVODt*t7W+ 6[%,IYBluVnX `L5.A+a$V= W C jW."nL58%gdU FfQ$06$Zu[22,+".V,eLX._ޝ.Ԑe P?.P 5~5jsTvt^xCi4TR6=tZ$/eZC< xbUIͱƏ^ioV3dMX@'G7̘~i6'3)cm~Fa&d >1@sq3Zb9 ) %aRU\\wr-AihuW;Uo\,7Z R m{CE},1p'pҏ-_m_!q &MHpWY6l4}s|Et}(BMfzhG}EdÁ`@KnrSD!_ g2;^ <7C7ӎ~0w)6 Sn#}4I ":R`6- ÇIA,b8kA*Ƀb\ ^\^LO'd+?uGoHﳚ>+t Joq$u36^x[;fRLpTM!ͫoŪAoaH!fj{3N/pjLzg k6ͽUz yɐ.HX Zp@ug^{d~3x7/hQq#m<}<{bk8#xS>D7*}ѵ8JB3jMݭhJKkT7 H"̷¥dF&- Vi #`uYn;O%STar$ vOj5"sxn([Y;pͅM?5)@ (1Hr\|ѥguAՃL-n 'Qr gYZ7zXZִF! eQ]ŗXiɟjqNƣJ90[⊷*}I-4SY철 ZD{BXtElAAhmfdT}YZ7zXZִF! 5]ŗXi%L!l+Ernp Mc'7~!JmYǒ ۑ P&B[ҀKZ y$.ud#AF)lsřjZ+՜K!B0=IOȑh s5V&7{:r} r&<6"%RxFbE~!yGSDz <j0| 53CU+wM I}bςIvSkJQ7\= B("̅~yR$Dp)5B3Α7bo= jDB|0+@0qV*d4I"c!mP954ҖNu_5ʪxA-b(R/r>=r{O*uL#ՆeF54 Qg gj7By?T=X}&_%:' nb< XyKtnu+S6>,ܟv'@/oD~;^ *]rG1%DIbnFŗ7#KۣVJy<׎kw QΏ?peQAR\SHCƉ,bq^2\Kt-߿2gRcxS-5N^aW'Q֏$iڄ0,-ԪEdnokU4>_ Ze;B8}X?qqu;C0YYjlT[bTnmGx=W@y!%)q Pb{eDf smwa " 78:p)_{ct?K+(Жdf !oNtZ}Yo_&ROMֹmAw&+{[kd{{V:FRl6^5>8Ѡܷe A9|p`Sx8"[Th(&U_E$SPsn@?.XC O#b( {ؑa fz0FD ^ęO } iWYLUkl>CǼaACNq<Ϯ m!DZtҶn&$9E&G@h@{obtp+Rٝ"҃*t1{K M35:eZ&?WʫQw@̛^V;87i\zB+R우|myY@G!#iOpݟ KqowK>VOT 6 n=IEֱcE5qzheӖ](p=c9An>BkҺ3.D} u,CI"<Z|؜QBʑC[{DސP07v~X؏ݏ!1; pڞE=c]RNX^ E qXS&O}tl@LW$ZEEC+u쁱QVE[ 9|^fc&n!Kn< nI5!>[Ϛ3vgi"J\&XǸ9&l&U9~67`?嗞gootNV=ߡaG{4Pp~ђ q3$(J=/}HGW<MC% 5debm@$9OU_G<ίJ{8{ۿ’*5>VS݃)绋my!45O6|qtl=+N7z,$10l/4 d`OPOqҀއ~Q5D P)bZ<\8XAKuY~=&*dD}]$S[*K#Kzb ؠaYQlt&Q7'sS+'CA} sc9{Sxf^0=FXHBr 1oL$1epk'J6Dzyw&q%<)P5#{in ى^OW,Jђ3y)f,=Jzuk)lvH'DNIvnk5R@@8}]"ĈrOl\dl;r2|HB?q,cVfR$L.K}XcXڑңD%*m Fk٣ 3x05Z>pQ7\vW2ڎZw:БQƠ9j(=1>ɥHF. 5CFlDMsn!S 3pΉ ~gچ%Me{O{79`5{ =㳾S>aZs,>chV ~Ej J&"JO'Q k @85In-e܃zoOk}'_*vҚp@oumcp`S~4Ra\ah0GB]S#:ysP9iLo|X҉rIoQ efmGي+t,t|CrI{܇"Dym-/˸,Xk[XiqYXzZ2+LcϨS%uܑmx A:VSuU6PI 42-6\,SxdE >(T*c}Yad̦JYS̃Л6jSjb ~'g'lXRQsPTl[0fS˟<) gTglmEU'' t.Lef$;(gBsh͛zs; {kۥ>>a}K! 1I('p!e+m5-[{>m @Zm҆_n Q? % !uw{Y"u[kE= 3i]Vݡ0?ͱq7}MxMz )복pOA!c!D:g>G{Ff}Pfp+4Ud,>3xALJVAWHЖ6t g[}k[b]d>u~}g̎b#4أP֍ ;q"}oPDTe޾{^OyU"/'mVte凙9l gYZ1104dee8c680ce03d2803d26aa553a60e0df17308215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 3cc12054eb661e048e3a792ac4703b0f2f7f363b