SQLite format 3@ .C  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   F9~ Nu8`l^H{ck;F>9V3W"rBFV)6%f弫 q#6#w?i4'oMf%'T%~G IyA,mw#*t3PkDAvmXF+rU{a|fAn4ݑhI7SfUxn\SUΈh}A]56v?؈Z.;T<(kV9q{d~GOtEC; sWH7VEv!kZ瘖^f4LVsc>Cȗ7WcΐhA%bDpR#Be2 Fbm=gjE-KD-F9ñ4ݷeڐyeu$! X&>$jr# (d&=ۧHi;e#QZI1F?NA 7ϥqC_?~Q1 F̡um!N}("B'qY"FoEo Kf(}ےC,ͯŝQ,UּR<Ӷ2,OSDZfD6=xTîj|X`b(_%&6apso37 ư{K>yqG#O/T驪=Tsm~Z{UYxzs5^ (8 ҵLZUkJkiiRxHR3=Rpx:~hu?c@_!Є:G|qjHYBW7FĮtֱUL\JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 1cbN Cny5f³ iFZOgYZ7zXZִF!  ]ŗXiɟ1)*u%9iϷ.'ʷ'#DF|ITw[T]\ƘduPl85YWFYrQy`iXN&CZr]z%AЦDt-8T{tڅD5 ,KU!"F=E=._X8 s*1sdJ:[Oc!RO+op\cFN^֚`ڭ=|Q,p_A>ƘPAf+jn (7Z7^ecEO+(R+D]%S`~Bs-v Ѓ\In*Վ, 7}CßjfDtlV.E=YDMr&TF73Փ˸sV 4[lcKq-5 hh8ƕnTz+j@e+ uV.7?* [ZMg܉r70[cs  LTx)*ݰ{͉L%,߉0\,͍(U`O$9;1cwc!ԬK+`/Dy;ir kƬmί =/.Cޙ9\ "}(XA E #alZMtLJHjS!Ս$Ag3w^(~${H JIjA\Hv^6~7Z|Q!$TgGkز6%m:yz^7~5#"?^;3F62!y;mBjnM4IEWN1aۍ!lDFϕ8d j7XT3C3ܲ_eئE٢WG7 H[x7~􁭡KU= $ri筗 0zgdDA==FUfU RĬ ]cl0~/Xw(E.lz!o ս|M\\ӳ<+[JuH)HqnL>F)9_"^@ZN>dM D*rt45AaܝByГgD?^g0mw`l|6+<ΰ ϓ^K^ `$m xu\` HMG]yA $-U RA"շ 1N:{zl܋z^%Le&S<+I$We3#eGdьHYg8\ܖcXAg޴TVX.\L? &~UEX]¸'%Fc^1vN&h4ݿ  Z"%3πYYp 3T^zu&%ډ$%;`+(HILk9̀K<fu0+'Uc[7ۦő @xlpcs@/gzi9r:̣e['?6\dUD8ϜZWS?ĭ6h#3^Y5s(@8n5cBpRV0aq+ M~K/0;I5cl&Bt_pF3֮vvG_f9i$$fzd\vNpvr | a|/Z3id= T֯W4oRоC:wS|' xe|zΘ# oM&DUA,fAhJ0S0dsXY98Kj?qȓv%g$ZR C3{nhC'O9L#/sԞ4b(+[f!pӍmm!BtIHJT`xIZT[~m7}P4̥=dk - x#J']O0<)kPiG`;B'%p:!Fؓ[DT L=ql#,/0yU׬3,)ђik7zvYgY~n*Dҩ*Nc >z}# su`-eT q^P",~vM./cBt 4~T]{Љ} ~$_ ʤجFu?"K7}V b]ԓh _zO:$U7sq•W#@j`oc su* +@U 7o&4Y=GCDJ$#,YaDM(t'V=*J18FǮ DJdsSZ}(겴W@l3ؚ-G>0`q |{ə׸:;㮐jr9ɂcX) 1eΦ+ }^ a:\QŦܐUw? 8NV+DL跚 '?**hY"ÚV"CɀŽ?1~Ƈ ORڡJJq BǭNH˱-}T?䖞'6㠿0ce:j0(I)nlHO TNY*^%S|7UU_v#50ye q [>-Bd7 53;Z/u)\E-0I8m(J; Cٖ#WvRG~QRd擾 < '@O_ftmn8m;h`=s\k&= ZҏIwE'V( L2AAdžAg~yM #DfHveyg3#"1xEbtLX^=$W ɐC36ȀbJзl"H 녯7b[95P5;᷊*~2^Ԓ}K[Mc: [MJR΅BH57?Kuj9eH̄q))gr+\tU#AbK JgV~1QEgw$v}iVA I nj(F5K<`8_ m/R@.p¸p75M M}b꿰G8n1"KA!cp @'8hDk{UЉMR8&O_Ex)ηO8PNz=c;Iu 1,wSd:"]o~WjY~oC0}ײM,>p %I~,C<;߶Z*Ie58@Ͷsȓ,fu[S!ھ'.+ %V-9" D:#CLRYXK#-0\2V4Ud4HB%k5nc; Ă0OCQPvG_5)`Rz @yN% HtvjپulX 7]=+hGK7Ij#L3Gcyj3983fe06\v˓p]P +t#JF&t(qaOӗ4I_#EwIZe$WO i6xw R-@YFq;}JO )E!KXW},9@ N9=gFdXޔEj.{7*loE|`Eҩ-ٷ+ jo/Y?%aB#O^H֖"/hCU/+a'K+Hms ^hft{5;JT KD|F {< cd ^#uR+a+qgd .|˞_ѝg)mUw݉2z`_EޖiUd¨KUb8alѼ^gw `'&=E!q{RA\2k!XcUf%a/򚓙jv'fGFf$g)Jjժi T8 ߋE (rPc6xpV@zqN3-x^$$&zgLFZcxnA2MyME:47Ym!OD[c<[PV-|?16# j;\qLvuQ~ _!qe}^"0 1bj0gߦQ^Et d$^>kuIqSa,5tNC>i$CHñ U6$JW N̢fĂCQt~ z̋~ZCˮBR&cjUaIJQ]YeT=*Ժ` L `o6 ZİUӾ2]KwS*t̷þśn], IQ- }q]{?vݺ(<<+doՊ'6\iÒi(W*1w޼Zv!k^iMvJR/1 ?|P9eE"T}q/^wl"iYzDž]xhjuxYI^% [\GH Gi +Z Qr"H>:[`sR!5|sp߲X:!Bۈ#K]I(g?3 "F/b An`Z״WB֔JCYˤ^k /6>`\4# Ke^FH1e;'GCr$hjjxo:D\c;ώU1і5@L@)?H*M/50]MY Mnd:*5LNU\2MN/Ƙziz=a CBA64 ݡN+6bԿ ?N'L;ݻ67>6u?w zow;i •M&tc}JBMYptW{9 tmczTC^kk|%ьpT"A\_CR[~5:AS"ssSE/Ϸ&nv0YD1'2}z%\JJs<,bedVnf}o $!q 7ķ8{ fꁍ5vCz\VW `VR0?~ [ͧOl1 }x%L!9 4^|+䑱ҳ2(|_xXyZ(xМ#\Ƣå-1A{]֭7ˤ5ﻌfEyTٖ`F uV*%JD$;= pwqRe2 ܋|o'>^ek< bKnϒrl\@;T3(| je)'xG{ԾfCȮ^V`v,6 u(Cgl-jR"} >4vNam;ק{vG}rv&6yNH/,x+psa.آ)׈80],ӛ(NÙ( hes1nh\#$m#l^:CȄA,ϟS:d%kV<@2#:~XKR]USP/o_&۔]=:;K űg׳?1=KlVnuUgoOXs%<䂋sŃ25Q~8p u^i+>w|&Lyʯ%KW/ױ@Jf;шeD:|a֜ $]əqS {0AcBqb[S.#"r]xfq_Uf,Ԃrouu>>K&r4yf{x 20--zᩂXA5ڈu;y9b! ~E+H!¡y4 U=gR/NHV8/)}(=Cr۰LtݵA`Qi*j/pE-+JRäV*2AC~01`qi%7N6vLfIw12Y/OIn+'QQl&Ē @Km!576$jǏkltUMޥUUfSG"q'O\sq&^p2<~pf2){y>s>-[1y>!`t.odWXPX?4@s K4d)DZRLr@P~YYVXp ĭP i-&#tǹUCl"јg2YH5x@꾶HcYk'W MWqK„ξ,MgXm-'h OɠjF0-)cݥ-N/JIv CU:pRk?G%.47Ɇ ' nv @d1LCW/j %!cԔ4Bi?HD37Kq88{gstJ6\K1)dMܴ}/RvST\H+pq|/.aw_DUNeOXpklԩ'h/h>,QxNy0yi^J9 vS#oxr;5Le [;p6ngKt1& Bv̫ԈY9 7`o_bB&87Z S"NҢGbn$17hfgbS9JUj<wWwНO/2MS2٠,֋.#bӯ"e?9%>"tS[N[Fd' ^!sT^' X0Mtx$N#{ LT^eaxl H04U+ *z^AY֨%wASOzH&vOu|(7w6EO-Czv YD PH]m}[si1 ITe )uTU8]W _#Uo򝿬].`5UKU!J5lMG-NC]`nODsNU.%Hrϭ)c\iúRhofPf,GW" RlΡ>1RͿ8<]*j% k"`lBk?1-пF" c*5 9#2i|KU5>oq9^͝ .ZaGaw@-Ai[;a-atz $"9Gkw ! 2SR.?'|SOwjvkGtJȧ :SPP1u@SY̓nl5( moVms1sಅlkDwG7CC+;ԕywa?uT%ªyJ0C vav~:8c.Scӥ[zI ~а|>n}p;{D氭VӐq* /0:h1߹ګá!2 WW +Duk |}˺1@P)`OLKKCd.UK!{ElR^0covQ͛Ϯ̎H w|(~[|ij8f$4?\m::ʾ:P|XX<3 [95U"6ݹ?Ou,SoW8炔k>7WO TXL8ݽ\,Vʩe@$F9j1dT)_&\'L"7=R5/=AZ *\*M =4MC2Lo4[FIU,:?)}Q ^fIW<<򷩦yG+h"SQDg^ t^{K0}3Ŧ _($yvtI3}bg/=2q\X1#Wcwk1Jj*uJH|-6$DTx{"I> F\xhʞwEKYܜ޲/VjG\|f$df@i׳RP`'|]>H]H]Q~FCcvnV?Gz"&q/]Ref|RY쨯Ɵ@/(䣹SbiHr+}i0wѭ%QldFސHhfu۫驉(Mޫmy< JŞ-`Oax糲$P ,+sf$ ]q!6mmw5|TW6tAqydK:gJG,e/Xch^|_ҊO<5w8N?=K7?eю6g~(E h!Doj~FؒS5 eYGϽtHM )}1ReA=!EM5 rE@f=u \s HC>^*9}0PA.f9"ljds-{_Nr iSޠ}KAD! xm}M<-a 'RTv@M23. D/(!_!D5k::+/bhȅ ;aB.%&z7p-d a`慤N Iã4Қ|u\ Ш< (@`;=q6EmJ7nc$錕/ս7#\:SFR4&2dʍ53)$چ%N|$ j&ݙP~}j^=# hc2굏70Շ,Ŗ#_Y_J0]'ݎ`+.+gTJO‹W^ Dcm֚L6υ{yKCwh*]Mʏא P KH8ު]]E'P{lC)>EGM"V]|8eiAʴz{$f;146VjXr)47GvX4LaQ{OF/k\5oc獻ŢןpD-YUj-_|˻r>l/}lpʻL'3Ϣb34lχkՀ xV ̘!9S6xviyȤs%ܴ`iqm|ixܙf&) c(l<O5BE?.'܊>WR:`ҀKL"[&T[@A3d5Ԭk {Ջ&b^$%?/`1$xtq`z3-2?OCx55~8=؂ʭ{j$Ƕ J}^DJ^=G_ i΁)P.{{@הkڿRA8%I.71(xxm}sάɪ}i͛vYs7)? UQRV>♚x;;pȣFUݷ\YEKfyd W\y&Q`GxeŝkR< J[yNhq97mFt%c.=丩YAR ց[e7U!{FB!ק[zc8*Vt6eC or$ډ9  -x}K>,b)"+݇U4K:MV Xc+JWx6U/C;G'y#WMt~jme?mCYYgR%feiυ$0P+Ga=#Id!  i .d":;4{Q>@vơ/ǜOq%gT *굸2ǫ)x?Q ct`o~1~7DQ1qP*Ѕ&11W; v#iZg`"S_WSuCoQ`o99U7s[o& ql{g:9_rdL[K;1LEl,?Qc7}x-''/r/ۀSMf36; AAI1J%m; eNny)B?{({+ƮY0'p6>{-`ï`-ȡ*C/ ,DuA1H܌ h#U CT1z[邐"mJB'j1zFX| }$;m-EL3!C2G'X+E5 khZhЅfO3Zl%j6'X7\8q:͍_<^f̗{rH̜7l򻶈ᅋGlCq+T=m[(V42?h΅d`*Tu6B& m@lYfڙ=ͱ5ΉT"xc@65jμ)d\uz&3OZ9/+3CSǢRŋ7 ¼I+1nV"/t/J2B"x].SwUYlTCC2fЈ[E1yy}nϙR` FAvý^#ا޷@unDm'=r 5,m >5\huyߝUWg;ZrRV_ًf0Y9FpHɍO$MzR ŋKEЅVr}@Є6xueWX;ExCqR8k̄@4lj#ϕENc@PPR=Krbl{|Ni 욆/,mTXVoBi ^_&3{lY>'hPh '\w뀟T*y<\a6$:Z{!s@6Xg=ԽB*~쥰;Mݮn-$6ʲ8[?6ßr5q( x&eDw y=XyhlOP9^?[Ia~esvc} ̓UG=` %7\Sop%M-}'{~} iGy۰0_8&[YM !*Ie(D(q=@Z~BD`Owݞ8_PGmQ1~o0ᬎ^Rڂز vrJ?F_xR!"\;ҕLc±4a/*NXf)`l JI g1Vɵ4"rr΋+k4_Ѯ"je>4jX\=ڦI]6 gPc0$;A_'BdI@Y%KC3vq``ou ?c{e)j)!Kp}*=! "R46~vЪ nհ3PI.$t B7\)='(ؠY@첑= HOtnP أ.j .Jڴse]pۑؿͧB}i.ㇲ5cqu8O@ 5:MX5 Zh>a ղ&i[ҋpތ*\Gr[x&9yK9#T&›U CAay;#)&TlP.(1Rx?`a:O!=ޏNY V_QSc=J7{ V\6< i;sh19.ǽikzqpmU̢%/!Un 1 yӫ)~\qyb <0v0 xAF66aڞ0P"N"3b>Cɲ2!º5SNbнd>fQ@b9_1ƚI.&)U #Pke#R@yX+=3dTf7et? L6qbI< <[VX+Tftg ˜( a ;{MꙚAݕ='?OFv;t麰? lL%]F5Wbe2MӆPTEj#~ԁg5S}@n<:aЄꟃB^1^ AMc9VWLA}{p3=G}CoB0Ur[/p_+ у6n^a."_/TwR`sѾ3OgYajhmq|A G-XuیK0' sĩCC`CM]eƫ3m,1Gc ?s 0(OhGD3Ȳ#/RBv4*bK-Y"j5K2՗)O(qA%W.W! vm2dX`QI|Jpb+N!DŒ~F$[oY]ItEk6[k*99M th1gR#CwֈUNk.5T !.]}""_%У[w!lf18<ǮBШsxc\^=OGƧ|Gbں,OSTz^Ue+lA%߷\PͶrD&V8 A& H>QK%yW;rjMΘئJ<ߧm`!C1Z[yI0T83pw{QLh^Ԡ؉NB:ֵ {H 42_/!Γȷ ~bQTJ/#p3Zak+$ɱoSh4ÊfXE~P2)z#5 Ks(H*DҨ/k hjÝ-OX)!^Eu8/]y-+9~ ֱS࢐8]_}`[zRk/F7 /+lMN()` GaP" ʹ F^y&'+9&) ߾qfD؊s6wk9V:KA^sKQ?(X2uGЧOIMTջ+ci\6AJ P:[,լ>'*u|%QnN섮2m0QFhet̘ܪ@a.P h/*@&wrہW ^$ ͽ8Nb3sӍK}wu&] &%%ưV"R`XUX &( oQ|@7!3$ْ:O?ӂ}  Y:BD=Lҭ6!-(] dq3ꀳG,=аz2e XlB)$\)R۟TsÎP 78+ #97E:Wi+ۻ|T-1V3(NfU6ׁ%†#{N9_,fx#>$XlGaof$|[`ۜ6}ugKy+D!Pv`\/ޅ;P^x53ӫG_ >d"]`̀ ll\>2M+ ts͖]=ƁBP ٰ΁$yzs(Ct,y'V%㩇E ǻϿyrhKbr-0x\E4ti[ VɻR+JWүne-L!*' c>ݖ[x,ߨb b[QӚq|CR(;TM+S'D$hgN kB`Gx&~)원Viq('7xlpXrI޷UV~뀎NPomQ.̏7ںu ǹy]z5Jx&צJS~*@JciLeū( qHJ⪢: ~JiW:wJ\ L:1(@IPQ L"81,Gpq.f"5E:{2zzIL'e; X(hsa {r?CZ'l) 4*0w>ֽKz_0q=zrlyԟʨFyYcyNy_j0b@sڽЪѩ6 6^EVCEXȆCp)T2 Va,Ȣ;O/d/M-$p/]uοx8c›8oTD8A@ "FКl҅\<kV![нiDP{>4A!W\лji0WlX>I]B27F(]ma{ӍȢx F'#q|T?yin!}yJ #J9a~&C"P( Przl(<;:vz?vԮإM*н>e[E:O;v`TV݇ozHCkȾb?A,;A禦- ǔ=ڏ"` еt7y._[OְKohP wz8m  GL'ś}$bNgs!{l^zE[G{W3p| m:N;bHvaG?rk*C=@>wR")Km9L-f/Np=۱u< +V畑dXavB5oqa$%7OA/q#N?&ȜAzC0\>Ը%KK9D99ĩN<]2RHߓupAiaLcjX/|h \Fkq.:5]ɲ $e)j?p1M-qG-3ȑiP;Cpzs9m>&ȰI[,ۊzY^o(,Z1b]#q󓩸,<6Q8¢VRoty?8p"cDE)aT;=7nO/RA+8CcLn]}a֧.2,? J1'aߔy.5Rvq?\1@auſa@Ōi)4}li Mk;߭svrN+ XG7J"[}PPز&n"Y_Zcb-S yMšuD?8shf /̌}$5R/HN^߈︌lTO)*WH_s%DFLJy7KY8u5IE6ILߚ+B9f;>q}Ր!]m ĥ7/3Qⱐt)r[6Mh@m9p@ ob|JKk$m2^WeR#]+$|]9&StjSvKnUR}Uyԅ :ng 4 3E<_}-VC3L")`gP_$;&A ƏӴdE*czq8P׭?k>iI[`[wU׻ [xjY9nǠ6)^\Cf}grK1|]@^>XW+m]JՊnCղVQv-7$x3,pK8h,%OvClUsgBb=?jt,jk+JV`koL=GN:/hmR3Fq#K ȷgxW'Huf eG$fmXl< [U*hc zcwz ϻ{dxǬ "njÓ^U%JH6$YxHso548޿׫cnVX69XbeFIdW7u(ȩ !{ſ E\})Jz`>Y4^.E~r\? TG>׷CS|+T|:i*t,`XLK)W}mp> Jhi|֣blWKi0ZV(6=RIlҜ7^v}j?M~m]ð%+qA>QΦwqAn ;E5YYgW2l&y'= )/dWepފ2"]UPǷEWwxMq QJD|V'VngVsW)Z^.+P%WBKepOyW;[EC* HF).e^mBc3Ԝ6nx?C g!:|C,UC`SBpzDyv}⎞rE eX+m(9,y~}AaOe~A 8 /e"QɼT;%%841ҾRizf[?Wdt)צf')jצ2FX*]S>m]lKǵ;HFo{ZTMB*/A^qhW߰rKa0*B*;T8Ab$ݮښn ZJjwŴ]4nKsiY1t)5<Ȏƚ0(Z2"#r?;r-} -WzUϱqsnY -]Y'C|}*J-d{|0S aCo6\cQ -2 䈂LCx8姄!m5ahyUj{8]ԑ"r~壻QIw_^SO*F%0Mn"/z#=H?JBJpkG)pvTe]#JJ2k1eG r&.y!YyY*A洈,EU{Y\8% >&QXͬfBk"XC`4._ˤqIՈȂ9kx V,ѼTWB_}Y_: ,槶~\s|9r_挠|&ߤ?2`Dtw_iXw 'ry>[t^%?+9E"'H %2)$;`gN-`K~:ȩ~#-88sʐ;"J#ͤlF  !~:9q`Rqqk\Eu5LJtCxX fgFf秛sMB=p5'!˂t*>p\G(EQL6P 7<4Zy\5![cAj$Zn3D]9p0Z%Sbg8^Ib%Vک8!nl @.[G6ߐ Y=xLV c&1#7^U('" ɑy8oyَ5m^*([>ғgZԅ|e~7%LGԘ|ʾm)F}{u0ͭ6QF91u%f &sI ^@$3Ufu['\/M̢ANaeۥ*q _3_kmE$XYkiZ,6g"yo_2H,+Ý9ZQ}s*H!;ks䙁!/ _mRZ i) +p"əc&/WX"ҞȐ3:rߪԹ\Yuis)`M)sj}(tՄ~ aGھ{c>K]Չ;p3]B 1&9{̠$8d,!tn"{2^s =w 1|>i$^sٺ4r_aϼ网i>6o幒wۦ&^Q|\r=Wr%H՝+*B}{ (h_R~Z~- 9A>-'6ry>'7WO'`jo E]62kyB 2LTnG]{i$aJpQv68] $XȣhMC8JwV8B~iQTw~E97F.6",*wJ5)ra~jl}leBD-E? _U2@'y vyQ{qkp#N%ý*^0d5TiL@`P`T_ ](#窕t 8ϭ u_E5QWΈK*wBD;EOYd-s յi=T#Ga|.1g՛:w6}.qC>cML=3eJZ"r.,P*K:a5_b֯OZ*$Frao,Γ҉]%$ ;P o^.v񐦵~-< ȏ44狲_V(">?O6Gq:>,x+1N'#yesL„C+vt||qn^n/NN34Ods$-JUsi?"M|Fj[;;x$}@C`?yLa[ w܆K));f}eN_+ d>;f8I}vzodIO$~X;p80Јus7b閐 /nԽF|@CVy?A[N:+BףJ44FJOl(Iq,/'*#RGîMHf;ıX!&j3(/`ʗ%lxM8mpeʌ-Uӣ̱gYZ027f2d2e65d5e7ad8312b4268e396b1962366bcb5de46abf17e2c5086795d60e983eccffdbef3cbf 8142a2c1c4e75efe740335c6e0b236116ad9d132 0aa4d3ce8058d613256a5e1c336906162edf589e