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 =+ \, ]%]Simple_Firewall:threads=4elapsed=28.710cpu=97.452gc=3.760factor=3.397zXZִF! ]}(]ŗXiɟDYK<;>Fb8БrPA>Rpblt(jFxķ%?MW1ne=>{g:Z pvrD/⟨i}[fa\(tV n): Y(h<*ojxݾ܇1tW꺡9{'" bt,JI K>qWXHG`A'rZn? 1+>mscW)%^}0h(N$ns5d+)3%pp W:<Sppj|h)T)< ud=ST f@-j1/W[KM-@/iF}˪]ΰ_6\qdb*P%Rb@v>tɍq A6Ǖ\2.x CtFpYS2q7KOF<95(w +k&Am`Kdr@q{4U'P:+<9,f@CfOһˀxtUH͆zPI: }/kϭ /㷌Ėyldw`GRQ֜xmޥtӑG ʼv IK3gY 4иKB7ܣ/uPdAmGt lÕ{Z^:%ZF[<9q!j5J7)ݿ<.+ !h "rrѳ_:X K'ܡ=ME@fBi:GfF]"> .ȉ n(ϻrC{y Hj"'dR9>sW(%Zs?IM"g; 56:9%^SqpΞ| OM/GeQn4*'E:X4P302?Bnnn^zNW_-Y+h+EwriS20-THi)jPcW'{n'/>yd1=N0:fxfe1ہ>y4͒^@J> HwyKJpॼIDnn͇@iG8IU^,bAʻOĹ!֒_ fi0udSxo)P4Dԥe6h:b)12J}{qjz׉$6$Ry9]a/Fx{R+.,9,d'd!SbR&{.j1;fMf%4uyGfy;dWcK"/亟>:B4v"ykRQK3]HS 3r >n#QB3Jx TS)1%9DCmh|cTuh%#1cd+]vA&]{8]sbwuzVbh+*`0ZޟjPJ,/7} 7ܞ"O,\Pyg`0:g wƮ# ݧ)ʟԆ>yD*_ЍT>sK)"3SH_. RvAEptT{w G\=QANDP϶J&jf(f &!IdjA̰{2~| + Simple_Firewall  6š5sLcs ([wfjML+>E΋9UF Sl#εBYNO#鳽nÊ#1qzZCаQs`~dNƊgQ4]N9& ?+hF @5z- R[rk]$16d:r SaHayTae?)Q}G%~rOj 4 ]% =#uoucf>y7-0v8D A v?ڬX{j{L&W"5_XZ?p3w6Rv}R*a<,%Y&BB~x2,e2Ḿ(;CnRA<6]{Xc]{Z9ځ,?aX>&5aj ՙEtBb*W9~-lf/QHlʂJI+·X wYZJqL-!IzSG *D4--q`[",8(&0N'a^9>@sLlx_'Sg2nSΤa\Qx9ojUQ5ː\`LeZz0-y)U./X_!Tl$zU7#-p;AJƼsHPonzҶQL?u#}_ZOmL%B|dȲ8?O=KI>\kA!I|!\h;Y;hNvq[X> ŷGLF3Crb15ÿ3ܲo86y$HU1DyI(n67Ư/ޥzk%f:vΎ+$m8G4N6}O?dhFGX\e<&|ߝ4[1 l^2T<65{`r:tP?Dj)~Y(:_38V6C0= 攑b+{~( E5Ghq:SwHIa=]2Ǝb>N:Y\b!#! n}>dgԵée5Qo%g.jp}N2醬8Rhu eDIZAZ@hcsP-Ӈw0+EO3~ 1|7:aV|Z#$/B*dqV'h-p8`%*&hL1e%|ӔSXN֩`#W @=L_6f3ϛM=Zk jI':S!yvuv+g s3أ|b |A `Y52OYu?l^MP_61AU\!U"%AIalaʞ;gu8v:ID'>3c:Hݝ벝o@ϽmW%ֺԀJ9NP0U=u1~q=S"v LsS<*\I鏓/n.pmXzTۥjB SAZ)i~xU- "T*ƛS7cRRo2_Ŝmp5@uJV7`'dtt-[ cY#,|eS-Z!-pN<[}y ;|K o`b_+[s,umbj,P&[ *hH.OvW?~QM;}`ZݰEL]Y$w]?zr2g7>_݈kzfXl0!o4 2nN[L|;O4^W2xDs-FƜNS)5UNqDt|ME;5Jzi7zGuo:D3-u-c4-"Rɱ_`MI}Dj|Fi1v{5ktͫo2>Ew Yz9&IYaS K7zXMS\\'HE7rW ɷ{:}@]x$xl^DsliU`LV:e[َ*=)P 4yVA!H||>C%آ{+ڲ[M|OHoW%^{:. $<&bHncM y)fӼ~'p,)y=-~kb7pC*bH%cj&?l0w }(ߏyOwbSm:%Yy4:U;Q8OBWsLu?1Zel\& s 7"T~ SAO p!.D7)Gix90k;΃C=h+̥!L ,+@# Vr!^j68+svLU*gO=:}1Ͽ9h i.}4OaEpBMgK ^YdiS3<ڛ#~X?߭꧒.KоOm(ձ2!ȴh "6 :}(3e+!tZH_˥\7b(Rː(.MfSVmO$1;ݳ{65_U_z1Af\Em*w4OW_^[#s-Ǽ"}X095KgHke0B'ajCe%fH m /(`|9`hqWb$uN RXnmgAɬ0mUn&Z )>?.?J > ӹm tF"SmmgQDg}SOZȕw•J7p e)AdQ `*7G'=23^|"ᾓc$L1/[9qmp%h.eIaLUj1UPHxʰQodwL&B.rmu>\Hs'1Zn&&f\`]ZORP}C5oPEӪ3yO#Rq+g"Z#nv+q@xXɎ}XXU,iDc Z#@U,]+6QřVE0YT?w  TqЃHr[:|lME50aIڜpHj\r)&6qG"?Y=Kr!N^xIS27ԯ߳~"ZhTF@ 6j P5nqavt,SWք,Rx \l+y\8Ft͞im.]6L@/ybJў>{AlAq.,}<+izRMqoG-rN)Nm#<:=]D\w JMix)(]anNҒȘ}w_b ;N3,S{Cw/윂n}-\XT9(`H+,L L!e\PFs)WHe ~Fg:؁qM#?1A!sIr}헸<ԯeGɬ+ǘ8xbVK_F-*0p WQMq)Lp봁ui",h`s3釀1U44P(\wwOq︮~|1:EM}]O7ciq﷽"ۘ @mvE@q3g!w;7|o}u=w4#S%؏>p2p{[{;fMerK;G M0Y4*S%ĪQR9B8upN埨{p,/"{h3(BD?L"S ~r)zmpصoH-O8??c&lzMȠ,>YY0g!`$_7? 86-!7!@-QA,QL53RKEi@@Z?;"KJM@h-Rym}yZlA,avdANv5@sԭ?$y mIZ1=y-8Ƴ 23iv~W1惹wE<"׮;,f#\K/r5fad! z?w u]cHBccP J51vemCi_P$%- ';1l|)D+&?{_kƪZ(Jgz>wg;yEHFiJ-εF/G[1&cmpY8D\L)J 콷؊@9IŜIz"j|k c춦N? [fҸl]"71 A"ph⸑7/_?STC 1I֬~+/0h=`МqA5UH믝vVi&0xxCYsp700Q.+N>bϴX:CZ(&mdtB}#)\w8u`r)uWiv&=2U\uԈ@kc60ϖɟ /: 0䷺=AQaL:׺CC7fhp%zKR kJpe,c!g3 jP׃ imcYmm'1e;Ve @+]ؚ;o#V-fZ& 7J^YN9=J:blN_{(|2.)|A=@$1]'Um]k)o۸c3Dl kEξ#z,bfKc~%2ɘm^ݍɤi71\:%qv{ڴM;8CN\e#YcPo{'({&xxk)P&"6-X1.Vkg H?>#r%'En܈pVnQӍP|_+6Z#fsOk£iB":[F`wΔBd][e=gr)X rE& <&* Ie 3 1_Tۮ.A3eR _lݘl %e~@6D6̌eI xizorHJ_Sy,Y\  HI$(っ3~$H,zaAbr0~IǠ줠R9U4i2h=,Ikn穒ZIDߤ)N !w,xM\FwpJީ#xtw\఩#OAR,1v 6f ^eJ#Xrd@0.k5rGXn\3aFG\U!}9TΞ=ym㎍d6_W|&K%v1?țvV0 %+vT]kM q+"#Ϙȱ^퀤о9rd,ն,.= m0E"Kl DPE~a(?o-9lxXh D!20zʄQe\Ι8RؖkT8GVYU^gft?NNy^7$`bhrBH2Kj۽(j$&Dqߠr{ԁDŐ[^>O;W@V=J_y wQgg}s (GD2\$kԘNBv[0ܝډGOc}h`su"% sHOׇ +A\=Z-O(%v4Gw eQb5f.?B†iѴT A7HArWpR\OfW0Կc%ҼYH6]M5H:wЁXCЈ`Bp: ɪq(,|k>5r2yɒEL%"8-ccܸU&s>\ ] ECRGF#UwSmӧc^VFWŚ FpG*/j,֐F~&Xj4ݪ0-:#*UaxTLѢru?< d}Y'kʏ=D'nb1v*%Lkտ w$A+2snUgq}zKI=] Ek~2z ?"쑣=mU^=qŸ k4p!K1u*l.:`YA3(8(U(&zeGW`͇Qy~[Jq`HԍY'w&&#aU}%@Eg˿;Tb]2ضİbҒPb3T?JVLW+4VĘIx_~8Tӛ@`B[n)p4XAN; U˩7^Q1N7]4pӠLf9몴du0JSr.*>FvϲL{ƒABՕXc85"^`c^m a/Y? 1 äGg#kt!'i^AH8br5x7fux^@>UQ<9eaLrHס2G]MX!&*P ax$52p!_a6OWPz8[\K߰RK%U-4b L y^<+(akf籸c9?SWεCtkXy&9xt3^x,l})CF)Û-s hB_)zO-|r MӒ"^08=h^f5(߿c4&gI 4r76Խ%!z*HN%U6O4^IJdڗoj vZBjYQ3xF8η.[hfvx+ n Nə%2jFZ Ui7u ).AM$|n}$XwEסy %mHDe'|ӌ6@ѭDq)LFzЎXOω+@y@h٢MT$WMW'i`JJ=]yj B2Կ1n7͚p2͔O%:A,QpxPU кH4@`*_#jitR cFr[5 &kwJIuQO%fΊQEM S q'u ØBTOXK-w5+C$p NR&t*x OMM!ϸC)CT8Ӛ`R"PH=m0)ņE:!!Ŋ‹QwcC|+/?Yc1~v%GZ)r)):L ^$|MФܷB/@]&MýGn`&/V-yњ#c,YɶU!InTU{~5Eyp<".u>vʔ\ݭ9,pz7f?f}h+j ~@ZQГВFT:1 _Õ-'J7w}/hdܩm_מlɩ2}m.ֺAki(5^dWdv"(p> @ z 10UYo xp뭇u )&D!Q $^e1{>ezL<Sf 6B_۵al$OTg03`CX+AJ2ӕ@)pf2gqD>FY@2l sy_ ǣf6bbxfk! g@,5C~:gX c: í z;pƵ˻͇NC>WzdVUXW#c)3e5C_@\G>-iaGSm%KDŽG+N;:xjY;45-KF| ^2mxr(H% AfW6aoj!_.cnې SMY_5`iRr-3DdGt bڸ+ p33\Ӫ^B9M$cc(7Ti~~r/|ENZک d^֝R楻kw3-ܱh_'\K4kҊBLݳ'(x" X&8ŵZ:v8 ¨LΊbTOj,X==iS*Da1~bCٜDž㩙˔*RFWK'oJx%uctyB@#Hٴ}7q F&~6 < Ato]t FbM]h@Թ.n<*HkqV,jksb)%9aM/C߰uc0uSsΐ94Lesx2E}hQBCfb2 M)3n5 vun=>tb~MDp*$`b<;JYlR ja"c2z>ngׅG]Pvwk] Re0 ZV4"+TCh&$쿗4hz x~r!Qog^|f rXAcϔCOKE*Œ~P W;h?nj2%EΧ_dx0~m}vRDk"}P:(9@s4K1hHLVܬS[sk(]',}d7M&=`8BaĕRIϪWQvi${-2LsmOhSL~j03Tf9!QT9,wyQװL ]8My^ FcܬX>I=k1bS9@Dvi:#S|"Ԡ7> 1ٰN;Qv0Rq )/3O =.|NX"8TS j|\HWnWZNMm!ue1ȗ'&b`@ƅ2-V~-R'챨JG#E" nvu,@|O7.WREXtg#o@< }FAvκ$xCY"k-Q`DC<Ք_-MN1öצw&K;OOC\[<^]T._YbnZ.LӮkk0F*A Yq}(*@=ۼ+=i-;JTIlJ%-|Iѕ%\H7;.ֻ f)I2n )I?: KT1X {Y'+/y w/8@𑛞aRH}IQf6  68XnAg-,զ@Yv(+tJN|Iڊ@vB[ 1, _,H{q2,CbYHo`e2&6Zz},BT&ͲVpG_b`ѬPdbڸI2erkW0[xbZOk"66XrIUHfj uU b>U;aa9`O'E a5jL@O[dTOsJ 'D}z!Gen=83UwD鱈g7yI] 6 `HA(TcK%,n{Ÿ#Ց)V+^[hXD}ݑlakjl߳4SWq5簺&]o(n#D*W 'Dd֡dF̭1^<2KVܐ}Nٔ؂MKwXU\.-0`,_FBiw~9H:ό8ct'yp)TJC^Kd~7 /=0ey:(hsmzֆ3Gz{)"d |f-̤Cq8i)<jȨ` .W׃Lʈ|628ء _ o\%@qEAJTh'uZPiG;Ztaт_ƾc.2Mklŭ6wC;Xi>LYc"-9VY7e,IZNdBu$S',!YZ|SGu}XbjQMd,Jݻ{@7_3P YaWa%&)|y 㤞PL[B ~CVdQN$l;}U#8nzлuakYmmQ/Ԡcv6FΤ=*/ gh=>r#[%:F<]Y9/z c$~*{{7ͳ{W# {mp2ȵ7)ipN55Q7]c]!Cd}'Q%`S`a>ڛCAU1 ]'3~( 쾰Dayahg{Mz #oYTJ>cV {U5 ڊBWYݶ2TSi،!̦70!M /whe`dea^W~"m'+`eLOY~@jqPz /J{bZA)IڦSz^_`S,UmD%o΀ 5ǣ6[Jt V ?H`ՌVcъsX5kmUXӑa$6^ِ9a}HB#s~:jLλ.ލE̝# Tuf [~2$tu1ʆk_2qBch VZowll$O \m~8$`}u۴*LrH qme}(d?kme@Nk֋đ*Qa,`n64bHs8c!8Oj>tC)XՄbGpji'Rkc/: 0>I# V&.8pʼn8hPLG}hFq2qMD^/ v X4yߌP_7*WdFQB3}{ u z> սH4wR;6~Ƕ=[p3 k?Sz Z!]x~)=@T}a$ 1JndeG7HYۑf$(UGnc39M]Х%PC  B3ϵn^28+ٔ|'97aJyf\) qvIc<ڐsLбT:3wu>^2UMߔ^!I`RED͉{--?j)F_Na_0ceGyojA>sa!=GHxFO [H6A\p*#Y8i߼l{%? us$Eڃ-[oqn$B[zE& \c T«+6OD}h,4k+b׌):lp98wN8VB=a(NU@) IDy`$Aɼa^6ffΞ΢y+y^|F0g20OlץYhX>Ba1׺р(VU6#qw48 p_nw4kqH.6Y ۬) a`>Y + Dq<&#h9!E٥;7P)xݐ~hƇu>'vT`TaL \d3P6`MnA(Rܔ.v=Tցp>0=ܡBp{Ŀzۅ)d[!<5ϸiy,5)ٟIPBY6k"ٍtnGվf\ݵɌ:v ^[`D`JCi:A.0۰,d;i3>2]lhhg3u\VS1"P^W3~4zZ|0<ʻP{%Vrѽh/ 3,~8D u{w۵SK? FXB:jlA}Âߍ_b+Zg,x@%/7Y_u -a|9̖W'o# C !D3xs{:0IC[b# { kAjDh'UU]HY-  a䪆 SQ5dłx#'qЎ08M0q RФ8l7ʶjOe8X@1dzL]]d'cWq'aZl̅YE㻓*]*3BM37])t5:6L:ꌼdwa|?Wm=ҭƧtn%T^o[ k(]'Ѩj 9G<8*ϚJJѻ0N^ 0p:FI}Q?mA_m01&fpd:Ֆ MAS0NTpQWPģ9\Q+ᳮ ɳ ~_9-Ql8"붧ڞEFdϭ9Y.T^L_ "ag߱+Lv$Js@=K4&;}&GΖ{de__ "6ЮZ3n'൏yVXM>̭ _O|7G)J&<(oC"nAI .@ZvbNgљԧ V`<y̾X`*~gnWGNC<ǘF"EQCR|}G +_;SRug]vݴMej^*Ddȏ4Po }D-V_M/\Uρ ۟0M\Io`moV̭nz|ג~Lu:A'KѴֲyAĔyQ>STTc6Y/+!3Q5qzZX>>#@R9Mzj5b^ 54K 2_׀}*R#W~Խ"Z8%ɻΊꗍvY#Fj ip3ˈwznUgro !PoeF'(3%6L#iF T yg_ $?\;ai@!8`z r נ/;3\}$2 Eɋ5cnFv$G,3+Wdzʰ3oP2@",Ob涩Xr\X>Ѓ_͍(xfc03l>8bnp{CkfZ>\<ȼ6rtM \w~#;(cS}t lAeQotŹUiHR_Y+=*"Q";Fϝ]LVT: C:Εp-v,kY G~ĭ`z-n#(l Ȗ] =?z3QQ -u ohyz,OGUUՂ\arRxPJEeEP9`o|}CFuwz(c#DT2Sl-i:c;:2^LPJXլSx6{Ym7y qu":_fR&ِ&R [Tm Q zYg"x~Mc gV7L$%p,pg4{7ꖰg48eY6M)njO-a7!Ep̻/wh핾,2; ]rW-Ov?J=%H4W5 >wkˀ#h̟_lpK3zŸ 3fs%ƒa@,v`_n3o_M%a>h"#nFX6W wt ;f攦f9ۡ A0~(-By!=zdqY `C)ePB^6v .<]gGCڀ˃#/YhT*9W: W6]4čԅ9DXf7;DPʓ)ko`L>6@=r;%82Ia&Z6 B_Bеqb!q[ -{@ Br/h[p0O9q\>4 XW@F{cQ5ƶcL țGN\zYQད)zX\J)%)Ojj)L-veKg"/$;6cd.RIYrִpZb%{_^ vOJ,ob_GkU_4BMFjGğ?,0M HE4BJ͛Et$Tf=lV&\!cBL(P/KXѷ/jh&,qҁS{r#N9]n*rq.K:g!^$8aMY搣R9+fEFyH6Xk<@VvPe1[o EEYZkPi >@"OxNwQ2}ʺ# IhO޶H U'mxDrha~PAkaM(ğݨ3!E!|J8N]MczJbryȒC H0ent\÷aV?zLb1b{]0!5"ϝ*,6Tا_$:gLn"ARvL7sf/hHZ?$TGdҽ 1x']w#R5&U{]{\~A]-7&!VHׅe@mu!?68]C[5'K&2Ok Aژ 8MEjXk5ɖ9.G10y ><Xwg};4*(oQc}ULEm%Gx>QHqOe7nJRUY5`Ob{EM>\p-٘ 3f1[Q ]m-A3"ЙV%gQVS3ÉiRGH3ueu];lN6Xd(x r2%>r;[3rms@T?!iyCIp=O?#(f8W!0VjjD XEc^7t4ro0R@i%OWox^ gR_c|6i@қ9sp"Zq&>?N(AQݹW KQ m4깕XYo"Ҿzߛos)&1g jc3*zNӶttjյe(:?tOz<'4]2ϒTԿ"QbKD,Tu?m=C-5#*A2Ch<8nȶn H.s7jT:bEo!sL. Q~RnWB~!+jIUVNvw3OXB9Pc>i!\:L@wᴞv^ Nz3tߘN=0Rt9o,p'ȵ5 k1@? WĕMhwӦLp{9R@&. L;4Հnim)l;?dcfnl <PNwo+rF "Rbfź¾q!*5\D!e&jK@Eo ]b[YI<9Qdt3/3҄ѲҁnUTH,<{d/da.6Փ싍 0_iFbg pL~?(m4Zךpy@eK$ܲ4E %ЏIb7Y1ܓP{l~YB0~Oll?B4yyӔb%=Z^Z v 0*USk=%R<~i)A w֪,{<3s:S[a1#Jv/ex>~!`̼:"yŔ$KQ)6vD5GcѲk]$"{%˽]oNʓV.Hf "poŠ\ErrX̒o>4+$ȥDNo+_)ɧﶲY2MfL_Q0J֚{ JpO 5z'[Wr='*l<(s Oy{P)W("phe, Pj=8ua4ֵ'jiNiHS_TnoڴTk0EуV]ecn]OM!?eޏk./~?2BNR'@nU?&mC>Gwi1b;$ZuXe_:!٩7JF6(r['`: :QVtI&\y%O gF"BCLA,. ~=M~UQOhhoc9y"ui?ږu@3GMZ=$}r+CꝬۍW6LVcs'^ hC l6Տ@?nQq*kuقɧj bɁL(ÿI&s 0O.6/i_n\wcO)5ouzߊ9^qA iv@jbNcq}Aj?ha:ۺ8)H#4_*ۻ>/{ygt. g9>hcuIoc9bn~&3y!OuϽY8 j۠\oy)070#zJ,hdUѿ'n6_ UI8g HeTjL2 'e:HU8"XNk x_?p(u-Ȇ m/GTzr]خ>1W+˿;'W@U *ZV0Z!\U퇁XnĬROV\@h֯gÈw[M?i=ŷ ;viN9]#:iXv̋[Ղ<<{5Kh?@pʊ]BDF9L,]q#˧7kuD3,&Qfoh9ʜCbYeA-xm~)q3Iþ2.T$Ђs})^GU=BP0,5ȫTEhqJt<}V{B"p9fzrƄf'-0Q ߓV6• vp,R[MklxPn2* oS\OVo:L 4&k=E*1E B*7BTr$TYe9CON~\'Js]j^6Z>!ދ5,BJ[6uLHN^\}zDSDɣI1KĄn7I`\ ڻ2-vþ&Mݹ1sqQbwe}X1[,u O ȉ? H#;@2 V{EBd~GE%5o[sW>=M ۱vO8"-̀i{@Jem#Wmub³* LfLBPZ){u䀖dK {+"c?t.GNWGwW-+:V$A45=g|7i[0%NzGl\'t`_8FĶ4HٖPh>j^JaRb@NX_cm៱\W>@ګndyWdcv*>t.oW-(Y%+=0N2%xv$Jo[σ#FbhW 徹${#K: .!pb|^hLb촜ȞcTسq(]oچI9bR~mYZώa䇭.>;ixy7ͱ(nJ? Fߤ}ק?2@U"'vt1D/0(.cL].D]S$_ uG憥ɺv$kuz|c񛟁~~9t-Ê%"-n#2}{NnByz+ɝP.󝛰A%Uu<gǮاA݋&!ԜBRF0ž. ![ҎjB?cܔ A9n2w6>P)tE$2F̞:lԺv.ɥ [Fdp];wo$\ោBm,ap-d '&?(5a!G D6t{fW[wGN̠*D޹@?.ʓoi)u72PkRty91!<B'̏65YQG7HG}Z_ I3&YU\bRX}[bMk7_8sd uC U1%oK^ao{d]EvՃ:`?BҺNp{˶RHA;!z!S1ѭg6~D]afRĠ>vzKTDO.]ʔաq[8==Qwľz^^Q93t2h>RPu"F9]>p6>SNԼ;%&V {'T?FETLk3[VVʌPfSUlorvzgPeO2GE Y+*[xN]oB6vՌhVt;;$'Kߦ;^ )$ kVK/5M1i sh^7ۖ\tbY1uQm :B$Pwcv* HIl ' AN|K%Du#Ia ?޲7#p5}y g2~VAb<*}R82X?|GXdzuj* *GF.!Rv)y0"OޭwGW< -ٗ~NkZ6ʏ }tz8OwoV4w0uRdOVH.K_&FM p=1zugRͲ1Q3W?3RQ+qÎMBa*8מ[kғ?'6gT6jYڋZ|_!_D7KQMlu,A'>i8;S*kU0&~bUpYjIw%w Qͦ`e+#~0L|JJKEg53YV}02^RdzTM>Q9G<.|DgB&? :c @˜W)D8g%nkX>4斬 .Zd#gQl킒}xhrF5C 7%܊B{ߺts|2 =)bNdLh"l >ogHw 1 8Ў\sa*)'!CD)ĶecdY{|yo8|kⰩSq!&RʽeӴ;,ȿ S=`AP>ޟvJ}#M QRAvcfrA9-dC> *e5AXz#)ֻUk!WC!PP.]R ;W9揂@ge-u>RD -;)[pg lֺuqt3qdkrwcK}|D[IujMVgqc&Nn`;[M=rIT) 4f EBBwKj %1o%Lj]fzX!+uۊB7*?*/|+2νY䧍rق)֞2;X4iBY,s>Gur@Qe.[Q}sᢶLVq"@"֖*ծ$\}FzpDv=6&,l8 I:\c;I0,Z=Me+|0 J^0U]f΁ 癄ەzy'7e`Q[EA_]ڷ(wHp#ę(I||dD3,kI4T"1J2jmcaFѳ``&S(pthSU{  ٨d}Kloz6vC?KMPM4ںE6(|^#SdEsMyZAYmjp39'J=z!*ˬF^cpҏ S%s(*ޜTgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2rxۈ[I]qf~W[DF8\bȚ[ -b;15o;c!m;€޶g25}$VV(Ei)2Wm毯fXTPNQT?+p6$fˢb1`QnFͰpUYJ! }!*MkL`[D&Ap)9ڿiE|"0;BjC HШPl}>3@`'i.6 R9,Q ~̩COK{UĶC%iRܨAB66`~.z9%+iWH&IMI|W_~^PlIÐn5bQPOL.vD  &<^R.ІN۹4M BgYZ7zXZִF! Ď ]ŗXi%L ;&f56ba/&l1r;ò)pfGH Ā4v߁nm]qW&MC$"݄NQu^⚅Ih\a=/sfN֙A3CO"hӽ2$5tJ8;⯊@Z# 4~HlʾMH5cB>싷Ll8]WQ3P],xs31Lg'@P`ySڮ< {/OwYrB~mtZgVZ8͚q$<B2u1*ǁFOUývuK'*27s}LkhMu`JCtcp&4L.>M׉1ڲ(DX_um$.&1Dǚ9' 9S") C8FQN{MRޒn_5'l b/;kŏ n`͝1S/+h[+$4 =wMgr$]s</#r"ɞEc(0kћPEt#{.wѱC\M^ ʉ~|l&Ɓ$.Jє0 ' Qh2S(&@RGW;fp ӜK` yyH:F'<m5{!jMsENw|vRṽ<{OG-72r{3!7lpYVDv!4*ZA;o$c$T*ϹήA`3NмLKl]#(6Hj_$& GF PNz ׭ V RX#4Dl dAX"q$=qX֝8@mc2+hT'IvVHslj HqW?YXdPp0s-q94B:c0hchưQP=9I^9-07yqAj/u[R~*BQOepQ[Wu'}!iGd<)dQ$>ڕ_ˆNk Bsjl2ξ>5CFv}ä.͜/OH>榶l8 0R9Tføۣҍȇ=Xf]~Eϱg"EFιf.}zYY *稺gߵDgP~ :!|h>I$D5E~ (THl-p 7Ad i#81Kzt"ȁi5@_^i"W<*Z ň;[4> [l{/XH:j~o5veq.|y=s[65kVzjf3sIC񒕍?S]V+ X9_ґg;n!H5Q&$DIaYU.VG&j <6 9`@f]ZA(ONjmⷱgYZ5f6d75e97548e73d1e90b807b7c49f9b68673e6ad3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 63d0f9bef9161aa3d53a4c5c82dbb673747ef23f 3bffe0360b8021a5194deaceb4b11c7204b962d8 8000dbf8e27746d3a2f95b51a6d0b5c863c90ca9b5a1fb1b2185dd3feac50798de7062b8e7b0d5de