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=34.674cpu=105.868gc=4.216factor=3.057zXZִF! {]ŗXiɟH)0%o( i~ :2Of|{9ٔKT*BzE't]荱CB×lGGN&'(AeOq=gӦh lE9JǼpc '^CN }[u~4[!4!@Hm8ݫ`E Ǘʽs{`V!U@jx.ڙWۢUT5x *~f4)ԁ7> g@_{1zV ɵ]mquOrxɬ{qE S u:ӫ{SjK2%$;~툎6,əF 0ƝkEl2.[o~sbZj=BmhXEڠM?Agix(^:l2'h M\Z{έ&{ĕUP۩uZ/qeSY*z[*)fG{ٸkjӁ֗z-,MP Hx{~7]>˰E "pG OiG̮3/=M1@ؼcHiLяѫ1vhQRp QwBvuldD,$c4 tU!]_pNMӚ.:v;%R\ z.Ǯىu#vv:=I拚[;ќZa o*1P5C("7 _Bqkc/p (((+vSٗU)8*X!+ uY|Pĕ@an"쩜it6-"GyAZp816 rk7)&Ёk7 (]!ZX(O8:Fb 頋F tC gҬ%4/=ǃJi:,S0fnÿ)u$1$㝢{|:ٗ[t^*v=[f^~aNoQ&\/ !Z9ѝL=q̽D\_q'+t@M㻀PTC&</=- 곈]Bv!nU\,j-nQ!xtP$6%3ZcnN&yy=33/uTT|ovvCP8;rw MĎbbz&Ωft Ȼn0C~V!OفI@U/Pm8$9 ,ee]S%1eLC;vij^"7ZȈR|VZ;92C{BFB R^f%0./u\n +J+u9p`Ԇcp;k#6Xiڎvw 7/ qX>s04f-OXَ)jׯ$aLfiz8mYʗLZ\&ٓ- HJ)O|+ N*U+A'd&%#{ngNSJ؇GPf*GNInυ>ah$#( 9:% 6HT;&b>o~B %a6Tz89{KʓҘ@OM$mljb5\IK0UcP„vӕWOpgH}Ly2TE\ ӑcewϻH@,KͤiK.)|dU@=Q'!mL#)#w)g ;S|hAG=^Tr5/`]~n >LOr S~l5;&&,"$H:%S-#g(dRFiDik4}ߵbv$™Mdk.xM{' -x!9rzdVxK*؂$Auù@"CAHJl!ʾ- `Cf'jz_Ol-|hzt YX &dJ"[΄ ˗FFy >p&2~a޻}f8q3Y?OA\a˽UqO~8bQ &9IܜڵR|^6%c 5:gz,asHFCX&g$6+q3!j0zsKGk|]f;7){wID ћ< 쫺Uc6΋s],rS }%$1ب=/^F?0 Bђ@@ﷀ*8A(٪yN?!ێDULQ_+ـm*1ՑH+4T J}3 KTr 66YdCjģJ9'ւbbNʰ 3T>显eG,![W)M&'x1@ f[6%vD%qx:p[֯2ZNxj?7NI9/=ۮ*Qd9&z36ܗ⎋+6aש|C ji + Simple_Firewall  #A}؟gw $r S^# iO!0pOcvPDZ,yZկnqq/o|DNvƨ^E?&ox q>);kJ,;N%|G+b #%>0 ,{3>>G=4GZ'`u]xۿjUraA‘wt,aF^Llhgh0Œ?<-^I"23zL.yt"`mN\5F*࣎_ÂݱRp!Ը8@5HW0U:*P`};7U-5!M(1qyL˒v`MgS-2UDI^.5K {7C'〜0~WL= {-~I)yM=kcN atpgMT5+3)@䆛zg~y! N>zl)JTkDf ;0<+T5P8+{#!3|5uDz>FI >S2WkJ,.7-Cm(5 sܕִQ]N^[3>qg,g tRtОQZQC(9`nyШQ 2ǻ,GZXWtzf!+##|L3&gmB" $šI23 5 UU`Z(s7SV-WU˪*^|22(^u}<,&*Qu*oYO Iяw3wI bA||hg'3 U GތJ_P{aG_u:gO$:22h9qhԬHfr Y_cnG/uLN.M F2qFp?% {B܎Duv!-(U]y5[*[`} >` Y!;6YQ{qs6F&n#1_TN`O%[X":#dUJ1PK_ش"RQytz׏HIվgL,Mp-3wKSƣRz4V@&+>i98ChH[ υa煰h5Ox'gI kwzfK_:wf0ew*b !c Nzx&^ASǽn2{lqqʖnl,tdXi"λZʪ"OD\*H ׳ 1e9qd[8Z#%"}Ԁ(HӔG _q|;QƁЃǛUA/ LPy^o y""]5'ػ/ ;Ucha(\G܈3<[,@ h.+KH[[pzs77b ӭp8ܜVp@Sg+6EEG (dv9%AlyɱQxQrf, Eu;!.yk.4I,Rae[Y]rL{񖯕BnNm,lIӯ`3P'ED I!j{gYL(j}6_>qw=d(V$J72#|[[Lܙh=nPOp'Ń ;UޖUUf|;4 ăq~%2RZk6cϽ&>S%-lhV$BVCw2c/rATTj2^-iIW~cX &ˇh ٛET^/z<)ՏD q@7 5ȒnكyJޮK**V춀rb&_C#+䰦zYrӔgSlcSuD%W43Sq\LgdIXs#1Ef^*=b۰ίg&f2L@eN.('x:/-& *"־<,7dz犡HU[B  AHwDzG m`5Q!ܹ138N$7#f!fGZ(~ qPv-jrtnkm㣢k_ K^K믯4K@zQ$ B4 Mݞ3,`0yB\Hu u6 \Y5s琭z=/[3ȣ0R®,]ab|4Z(y^U10 M}0 -lV{gŠҀǤD* _[$%/NpOcKLZ`QIUf^[B%^~T'+ )`ź=9uXX qrNӨEF>A_]ͅQ$VSesL+04_&҉ЫQ ~|7tZ$DΪVblB7AO{1E9Y[r^}' RAd%YK.ڮEb)&GоiJI宒Ŧ=G띲SduAQP^~@^y:VQ4݃A|dQ1O5PQGjQ;AKd98')C[V B fE+@Qv+yyÀ;A2 1;^'J!,jYv}潸A :(A}$[fPH^(`C֔5GPD3,kqXqӵ` cEgOqq=}nyBѧjQnn,/B )ޖ,63A{뽭bc ]zHx PnZ6xnG{Ch;t!D)֪27u,|p %=[ַ-6k|Is.q Dňxg Q,_wFn\*S*4)GH)ݠ[(#ZVŋ{ Pz:R.R]>muu44B,(lXN@/4VsuIDG i M_/kxI=nDYYKHrƗ [T?y8l/~[4qv=@h '`x.$?3e$jr¦1jnMjiO[+gg29l F]!F9)FVy'"J$v#CƈŢԋ{4{+ϐ e5¯kʺӠx ,W:=YDY/X A`N^nX."1wNOhlWt)uDz`]oH0iE8@_{ђq㖧-E.eɈ 93S3D̊_$4MwpQ\z#zQpB;\3 ۚ^ ϳЧwJg[[UЅeܡPpAge H˙*_%sHU(@w_Ww?B ?H3. 亭#=znt"NdAlwWfb#9KֹdK:D^#{{]oXeZ,Yvk5sTZ8v`B>JH&WKڴd3"]wջlE,=;zn$LQ.n?O3Pe,z>ԬX5gO{\RUȨls]Nal-yVދq@+/'^3ij~XMto/^Z21s<B~lxyv ĕb"Ek-qYϐj)5r@&"5atq䎿OtͬNé6U*fXDOebbPzu l Q=-Gj\o"Dy賭g|4H;+Z(p; ' 3 z}ƣ'/K6ZD82uV*o:FEN)wOSDr7`cRuy!(,9 <*TR@um,Q\ )K ;Fy +NQ؜U8YnF@vjrm`sJ!|L-}.&zRر8K(cƓA-(̪']Y5Q^XNE%ڕhs4Tb_%1h<) 8Xѻ D#u(؁*Hpΰ%h&VA FwӐUb;Χn5G5@zI}DlhBKzBS.W~ }8WPReW+sGF#86p#6m?R]\/<<3Z-'Em0УQ穴H E@7466;x|d{sWx Nl8MLw[`^QjB_*tvfLmH_8{w|vڳO*-DKlfW1S[<6*MiYnlVJՎ#8_7u/hU=Wra+g@Z~;RmE|YKliyAB;kpp0oVV ak O(iu4urԕP%] [SD}}meu[ 4|:Ə mμk*虁}rwud 'YM<[iyƵ>4z-T_vwBFn{ agp%/3laVp@t|@]}{-HnJ7x[)dgW.pdGK ڵEB oʁs_oc> m(eVt)AI hz<8km>P@hqH&c?jeiuЎ/h CǾN=- phD\mR!ZT@ 4<׽A_)Y@E.B{x7eӴT?#-sD>h( ĭ7JZ_V62ng!mBoLI#tBL96'6\z'7Q;] Tdlۄ"^uuucz) BʭWchCei /"Sb=o[ЀpM?ɖz EL*vnv$U3#Q/pT[=vh?b4sF{ά D*o1pxia$CNW^Y0U<( wȩ۵RVhM)%␨J>£*eH[ 9"*E/Km zQuE$quUSNhK&W~--UoU(ݧ HJWD/t\m"nE5DBT( C2T:{zobpc:e,85#?YtPlTO-=R DzvvB{G۷LV/n"kwc(unPr 78›QL;bI7|UM]~-AL&*9&Q|,={Vbb9D,P绳n`.#ziLng /CPMDJ.S/CSA^|2RFVQ;k"lZ_s}r26p3pUZcۭPDgWNrp$J9[I:ilׇ.<5TAm$}b]~Й,q1Tq, ;{ nAs%Y5 =[Z9a5*aEwϷV搫{\3śjRL7cFb.J{9 BL3GeX mj,)?TNTPz^Oh2(.En誦77H|Eo~7f ݝsj=m2FFzL,忔esw?f`PՏT|kT#&1+}Nn>}eIXМg>4MAUjjg /(y\M_0p8wfbG131yX)۳/GUdƇYyr RQÙ1{l &1.3zy`V `#=͔ 6f;Ӟ,f(['2P5W&P)6%iyDd5 }.8ZKfgC WqwV{m/i} j) ZW /ZVĮ3F<R]s{74`z硗aH 5h,C8#S٣/SWE걬;z[!'j37k&5 Ytv6.I$wcO%jwWF/5CVCg[_*AK7S6,I"Dzw(TFr]DCX1`7ݴRYRQUc}b5^pDN>+KSc3 (j\09;u ^?ԤHGsEHMś= ՗Yjx<"|_ah}1&K"2'ԣ$vT djEk~U61UsA XExIWO^ `2nUDIN$vfI02 ]tv D+&ɑ_`{p0=}g2:EU?tHe_ÆkXqg1X2=+_ i_CTpkp5I7Q[?R7} b,NMY2;ni}zZdzO98O;c֨:<Y98W 7M(K2'"7uA1 ~z LkjH Җ4n1|G.Cߞ8TԷcسU)>qu.m΄,3냲r |c-:^\$ ³z{:yP.2ü^06I# \=$;?mm3>;jP0 Vcme3/ĕϠR>AkS429{8V d擔1g+M+un'Ï2gxI.ܲ-֊2hd6JA;K`{`C/p"(#}/pa)fD7u*PӳP)㳄 5i̾-mwu}UK-XyX=&md4 %^e&cR|^Ӛ:m77ߓ8 {]2ZtׂHZ4{/%A6_c-+VNXZG\ H⽺i/ Dvk$^_&Քjykm%b~0IYdE~1P6s^KmGWmgdDeZEWλ0{kfHG! BB[^=82(jH,&,97n#%Xr02q+9H[X[R|.j+:UZEhK ұ^n 䤼,q{Z"a4-L[//,(o:A(>"UsK_"uq\*:"M%o @@pf2w8`:HFWhn4Tq|2.?H?nVHcMlzLrI#0mGQT;1iz`"̭| ,DXOyǻZJ0LtٛXQhCώ;`y-|3L{Y왥oR3Ox*sY2L:{9ĺTssqY`O}z!}=y>xөΟmuob +&.Tƕz!ny:ûB:,X|AHc۟b~vi:-XO(D驌Ί@K }2ԌO׹?]C+>r2|E}Ùy[F6@ XrMhmcߏ}2$ݕdubQAev1slSkտ_N]FW7͆5 ِI\;dlǪTbcμgdf3닐6P\3Po2P"Z?Ę+Yq"hgCLq5n qnuc\13?6؃ !W QSsӤώø 8)2؝&mv[ Y&S ,4i-1a b΍g7__3m1A}HZzZ.YTU'o^P ChΜ$14mYdEgIp! P੸Ʒ;K ];=&95Sځq=89ǢoHx^ܠ hdփo20.WJmZdH))͟HyfהDq|#Yjs ?[ٶ&-ȣ61f{,2{XwvwJ#!S֦ؽp(ͱ)$Pvuř+6h= :y xJ3k\l]3K%N;YкIkOa7OǿaJWfE[(CixOҕQ }*0K0xhgJw*ZG'oW}j~fϠY+.$b:р 낭՚guE9K~W#[O}+BS? 3 Dr 7}#U l+㝍BpL"O]j揂Z%QpHo_GV*ot)ūBLVYb?ѯh8.IiX(gS'YM0!暶Ne6D<5ȗA* { .FB @3*v;Ek]@NMqw5G+_M @ ƓT9],_ }(4J6.^۽«2Fv xÖW:0=:5R#9@j$`?/a~cUJbyMJs!5zF ;Ԫ`~]\8D H}/k[Wk}5.//N%)G&%.l\Q0x]I*Clf-kQeFM JOA¼TOZn7ʸꪓ*HkSB2=(x!\蘿2x^uL'{z%Lo[[!*qKƖd!6XZ 7ç<|S'rhln) clI?$c4mg;kI hPBļ A\ X2ۭ$(?sx/(jvSia͉k3|S@LөҙF zˎ>^i,Mmn,ڿy: cMwXXG)vj*?6 xUDr^ӅS)=%qL dP\mN~wGBfg%:$;(O2\+`˔*"x}[`–!d`{9af/9r!4\oq$uv&F'%g蝣Sq0ly"C'B 2ЗLvk Rה(upM2ÔL@C}* G XP(6Nƛ`&hď7'_Ek-IC]B`/ l$d[}RuCHOs ]B>xJL"jM9*魤@4 dV+8Q6O XrQ;oOWI!IBO\^ѷBoʚy6tegjG%098U@QK@ פ̫h_#b@=Xbi{CB"Zi[.dyZOgWGVcf?ç Z]T`x^jEOC|C $$p}V`BBk7}YB'{6Ǩ6pe)]t\RrXam1Hb_5x/9^]#Oi2Hp<f]/jZJؖ'PrG-=J# |?Y{R&H,-<]Ji&6NJ) ^}o)3{qZ-rɥK*7B3HKN9=$0Ox:6TltQvyNIXRW;:$L<}$EZOv:ݯZtdfRʹ~'N4QD7z;wc슺h՗yUTm" e$w5ݸ_u*O|u *aJX4j^rvG)#Tfi>wlj`Od\]SRwhhf,,>=T-Aq)C6uCqaPgnZvS ۋ#ntkQ*$s;-n"=-{q' Fv(Bm!i<ygo8Aɶ^|&4E[KW%Ȗ+i̱n4{O@586~7i혇Y[󗞏}bNvSE-@yS Np*  Xs,\Mt1&kPgďѪ0ho<OC]FWrd qӽշwՃG\=&^5Ϝn8T 1wĿC?TDzHg5Ȅ Q퀶yAiBߍQȘԥW=߆ %S}f*KY-=$i?6QXHr>` އ}͍xqD;lϧ+:DSMnS=:tZmd]lZD!q@)ÆnSJ }{(s8`/@w3wL=#K0=rTޯoF(U6IZY.b CPNyT L ؔ}2>{S/xk[EQAO(^9QN+xf2 }FOo̚5u#Q]@ uO, I݁kQڳEVxmѧ-n=F4V@ D;y#՞m1 IPT0 .3^WG8@bn9Er3Tm2m1IJnpVi9 ea{jEeR( HMqX7 )omiǼ4۽՚?Ӟbo[!a1~q蚑HÕ~#ثAx'I0Z+P ODqjdsPĥ:>2ad ׿V p'0f+{IboIp_>Bt ; )^ /:yjT{25[ToAH ۺ-\! Sh<&ډSe&/U q+cY gV7]ߊݼ&45!S}R2G8Ԡ6&NP])=P:nǸyYE F44#BHwO(YikPIIs.{p4+ ;3$_:9 m n"^ uѫ5B=%MO1fr:ʹ!2 5fr6@DBr-6 3'!X8nc)޷mu>kM"f㼕y FDEug.m}rT- q=G@F?>Q>:B n#n8# D[]Œ@qsޢ U.qFCx9`dL4D Pi J?QF ʂxB`~RX\"T[%}@2j8VR[m^EXp!Xp ( 5\Ў04(t*v`V*G&%Kj[6Uc>R'lQ'7t5tC~_IڭTG:NqH38 G(KQA(hP*JZ!|c,roTiRћ5vC@ҳ^Š,MZ<+aۼ%V*+Mzϰ3%ZcndUnkVMJЬ=:űf1PF_k]#AynOQ_51?͚ yx:x:cE9o2EP2B8-Mz]#[,Hr`ϊr&r@,;$<)Jn7(s^uB/ɬ7N3f,1/*ci5\3;]NF%+r/{?9ߨ6{56.!3$vʀP q_ǦD)7TfVQ{:;%`/ɬ$(HLȥ]NG[D_X[r]c9@I' g#{ںև84bO#"nڵ ??Tʽ }ܠ_]\Aaj-˃[4Ru-Kg0#^ۓKDMP_.b?pz%`6Zo ./-Sl ML帙QN+8,mD⇗NUgj="rnoj=']mz1<"-Ic 9aIg]{7ZLJ9>%tuzNyʶ/+lȯjuK2isrlla~Wɰ #`eשx-cakkdIZ"OJcK>jCge5C' uVo9Hw,{vh֌tҴ'γ=N5^++kA.|o5Skzmm$ wV1gfh.,+MfO՟Aⴞlu?iݘ#:Lr(y+u &oǺߢfdkJwpǏ~؉\k+ᡭJ=2.zW_9+6i+k7|rѓRnCTt^/9A8݋Ki!ޝP{Hen0o3iL 2VOH70s$+f5(6ɂ]p;`I8 k[S#Di-?]@~>hiv]9ф& 0]RUm0Ӻux^1*>58swa;$SǮ@|rC sGauEQ?pQ>Xkq (X(ҘmʍU)DsP(\]+T0.[ZBMٻ4r?}-CŃp6*}\̫?0_nrqwBK~!Wz-ЖYp>̬E*ۯ#ZB[D'.֒a1Hqg`ryB[o` pYB/|gXh=kT1IvQv4܍wioJ0T*ą~?[~K}//Jc=PV$ 򩢳ށ1ې&^Y7M\f1Mދ'糟Mx[_aF_R95kk+[E|J3d*Md>Xn8^@o+5:B; q&YN M_X3UGrɎ>wP_?f#ȄhE2 rr^ܹ۩`W1A|Et߃x3"3Hg˱i}. e[4ѧxdHC4u^}7艱Yd.6YøLq6=)NW$4mX~"a+DwBVz u\n}dwY̟Ί-*Qy6UU&6hy( % d.}ݪήBgXnk@_ri=)2v5HoAu9zU`i0j#9\ bͺM~OȽy)iV#~ qEJY `pN@5Ahw{5V|vjL8bX(,ke18nTʂ_ EܭA"z8FF >+!EÈ ehʈJ7ښ(v|fr,nH2tE+˓DOh5ty<ˤa~B1o!(XIA!k&:XQ^?<yKE|nIs^_'x~vjDRƞA UbaI?w[j4wVb`N琜ycuO1'u-Lw$B%@I]4`کQ_4sp37ܾ,R8ӡTGl.5M q(! AMktUQWWziv1z!qU>vp[0OshLk ]WG6ڗA~Y0OW6râR<*pm/px@9U)Á{i5Ιw)|2< _u>2_ S< 'v{#w iY$|RJlQٶ3 Ɲn>)3Fc-RFLc-LvJ _M%f'%^yaA'nu=sCj$0 zbvp*^N 6xׅ32l g>o` .W N?67jOf yp{0* ї8MP qe3u!gszaVr˚<|+X,GE 0?B=VcRKK0x; V'11UW F<+`qLfe5T/\AЖ@6~OTMok 3f@%P@YŢkH^ݹ&|wirI+bkzSpWC/&~qbr`AoχZ"$ž%ᅬJC4΄sŁv[+o /4nW=(B#d~a`?O;(S64zH pˇ8yl]5$%ՀJzA@ RvPqN;78׹ɫKS|.hYXt6|IS9h kM7rIM=l)^Z?n8Kʼ] AajWab~%;|#~_h%6'?fQ() E:6X׳\5!3pAZq?͑Y}hy\ acn"ۉqLj]ypAdEz3,?޻YvA,JfRwHKEʋtk`ġrey S9"73ظ"7& "-सI*I 7xy1X9ӦKVw9Zt Ƣ;!YOA"0e#r8Uڜv3-uZ)Edct&\c$ǣ븐~^h;{`>s#\ tBN5 7J'n5ܐWs"hX|n٬Rk2sb,$lI-3*v~̮哆(wE[IsH%6>Mwzޫ5w*9f$&(v m1K֛" ]{VO) V {)ňlQ{msh6aL'$>` Cw+'-D^!PB&#z٦}jnЋW}U2өRP^K^%ͅ x_a;. P8qpFp1Ǎr?r+ZC]2#͕0`t:ˤgL'Fe,K=q;W=,9p^OLmƩ Ƴ |樠қgB'ElbP0<Û3!H.]lAd>7KGki19`Dd\⑊4BVOkAh@_Os"Jc?$ǑmtJFf'>*>?>_OSO\,E6G˒"i+ͺ键Cē6iY ַg Vi.l[pYuiؾmu{䍟D)QC=|!B> YM%%+>7=+0g͙F 8Q<6\鞔u10{9$Ve2OĞ(GZklyIN~![;BT&`Ze-37ŒGNe6sXV%P'k* *@_c;Sc!4d8I>mCfh܌G?dKЮ41.0*X~D%R~čxP<;tXHtMtanS{ 넇$F^xC]cL&n UB[٤+$κdgСQ_'@F;q{SL?rVG}v;KV x'ъfzf53S0JF( /NTNav̀$ARN),M\ P9\3ed ɿ!$;ԮAt܍Fy0G2_@]@DO׫ei0zm3߂XyUKcrq.a%ODpZϏq.dqWUgD*׃Ul(_ hvTI-OYUe$s~*o &iɰwx@r*LLH L-pg0Qb 釶"$V(F %L꬘b r'M PM`#T+( v 1JϖWv H\/s[g;y䰞~6 aC ,N欩h8hxOZ`DC~pžu~6QxuHq\FWkbM)EE2`ćۤ ^M&?0P ,_kc͈ʄMm/d-J\anzsm:j$"ZG4B!DW, ?2^%5yQEnu{|\ &{+Q߽#9<^t+s^f6YQl6d@ZjhD]#Y0zEhN]e菗<-bg؍%wp ô5T+tCt-87ΌfBC`(o>EmhV:5a6&ҿ11Z}ЪFL j7ΖgfvXw0[Wg|G ?H!( ObY/U0t3d6_5] zջ\u**GicϿI?:-Ol+jK Rmqkb0]BaoZ,a=*uݴ)fr /a%eMi81>BsEԦ˾ivI {x􎟅4V~A#nl 2m)ym_PVH^?񫙩eV3Y VsUC'_6`"L! nz5u4YF O$aJݝ);ud]6%Ke>0ŮPUroQBȝXr%1\)ͬlqx_at,5>_(Wpޗ;'69T4+>=ۥw7%eFpՅ8 *s++#gk'5[rp_gGk0n#61@WSs];Qޙ=v" ^tɢxsz`"O/HSs/K x455';rIx2. $Z7I})x*x sr'ftI{lg!QpP+ cD;?W-#~ [Dsb96fA۞ $r+*cz;*JLDx":GeYn^¦+PЀTcgqDr0ʞ7G',O-֯;g%D69%%%rMGGh 53AطB!x,vKB tSĘ$hfLņ/WtYCJ$k-\0iFLq 77d9w5kbB(d%T$7~] mA-yk[j0N9?Z$ADMERWڑa"$%M(Z |&1E|l/'F l>.J*]f B'3M,p"#c-tp'iR㝱oWZp?u:[eWz+(ttFa UU Ug'&; H $ȴ?qyARߖhr[_":1||1}ˊs:8h[.QǛZrM-eX8=G2woA3j$$-yig"pBKuI$ qV^ ǯmsHI3׮8&h O> p3D> y$CT^ހ# x`%5"\Q7f+K]Jrf-K ||wLɀV0Q ǞzD0 )P R_Ei~fQiRՍ{c~?@JN>]wAޞ ;}u$hә`[ܱgYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",tV{N7NQ5Pwk!n%J?N0r@^4҅˷[\K=>J5W%\K!APٸFe\&;]@3>2[(6LxCpv$9Nlߎ S,S=ɬV3 :<%Ad Ĉ@̜9?ئywnEӷ587;|X{:(km-g;ւ ,0oWB^@L.rf/ Ǟvv!] `L9 zklN)ڕ90ЛTdal/3=!BuPޮA$/N.CG1ͽof8@-.!h5N wٚMKARVkqRd{6;0 (gYZ7zXZִF! R ]ŗXi%L!l0eFUדO>y JGEλcckwҘ3uj=,Eq޹+|AHVVᴯ}4X+U% (d z[3]\XEfy%=LEv]}"mj1l;uk }ˌP*?-߽qZzz*}nj۵μ\Zl/"3pedwYxN\Hbid]XnWE-Q{*Bīé^(v8bՏOJ':ؓ9ԱR)JrPn-O|_$/ϢӖګCw[^r8*?vTowƌi =|/^Ooc>~KD"}6Q ~_bm%`!mZZ"gsi><`4R:+~qMIG~ ăSM/Y! 1ψ8eԨ:9K&,/T"ךWZ0Y+D,CY@c-_H9[L[l^/0׺tUPQ2f1I9EɢaQW.UZm8]~dHs^V5 .up- Zx%J}87>?]@~. [b_+.x?YMDi,{ӲHHoYcq}Z/u6.v\X5ͅ^?p-h½Cgm p-v_VŹHI\GUHrjکąDœf#KܣtKpBr$q|JLZIŚ,pߖ`ԤQ?B>60,z7k`4q4{i(_ Y%Y$T_g…l ?,5G| ٗ XKK݊鸝)=t|یwn0Z>5 OlM'UD3Y& zJѥ|ye< -vNDA٥5WIY_iwʻܱ;0?fFs7,ȸ>[Q X*g[86|R<&6`.dWT:o~')YîނYMjh&J~w.otᄼNd㽧mF^3/Sp5qɌ>?n[1$jZzesDr㝲BR`i== jahRJ`I%=:yERrpciHСGZ 1 E?L6; b`tʾ5;I?&s4XdR ^}k;hAkv` >^hS0vKNҢ L^l\|Ŷ:/t\bi:m* A[)DNQ +zBzLY6NfnʌԭC^-Rx:mb4]7H5<{bgӕ9>m+ҥԠz O_KD--c G vW׈Wo:j6mC[ESӪ& G%#SUsCc>] I3$^Jۨk"VƜ2PNN<c.qxuߖeMF@JZ#&)6zGm<ԝVHGpŰiǗ@9J<(S/ddq1M*⚧B׼t M{~X'x y/+@~:9&d=D sş 7scBW4^}@5>͕[MQ c>K?Ɩ-9oU/g j 2 {