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   6C |4 ]/ Median_Of_Medians_Selection:threads=4elapsed=14.242cpu=35.752gc=1.400factor=2.517zXZִF! :u]ŗXiɟH)0%o: rV)t#nU=GlM,׮Ԉ,d;^lUm#O`c$LKN$mSTo`]!Zo⭟ʦsNK'_|_$B/$6 y覚#s(aAbC_-;s{\:w~c٩av]QJ&ڊsǨEZRj_}MA\>]6mcGxEZ315PmAS']7h.kOSBG11 &H|`6wPྱYVPqI$=zw-0+̵ӳsk`X,oGȕXo3A/f\KR~|Af`CsLn2Rl9Uk±=85iQjid_.:n%Rk^t0/׀k n:PD jơ0===+Y=K&=G+ԺhwwO P\bk;s,Aņ`F7| ;i of~:b3AzޛyusNp<!{Vb YHތGWgEbݑ &\`l1&*5q#>TU(ǜ\{?[X&vHdoVL1foծm@@-T{ 8>;+&ؗIݸ8=L|ċñ,T07gkOm(8kf< Rfp5f^ nF/Sā4JSi[8ɓ,~O]4gEkjs9%\2z~A8xp ҴL=zO 3J22~#ZRe^TS}3wa ;R' m@SC- (g۞hEBwLc">/. SmqE1C42$DZ:^;n츜$7#?'pQ,?7H}qxicoX>v)[r1<#"bR߭£ÂS)RyžbNxA,6VܸSRm(gu 6oj&xϻ=JHOEThVh[s[r\xO|ɡGGN@# Bu/ 摚VK"Ʒ<'΢9Fgnv  Zs8Do?t^\ KSx5_{b{ Gk]h%%*ߜѨdu%DZի̃ db`ݺ>Ъ~`"ZUh%=xʎH⒍Zi!W/~"uLobZ7R<|KVvo PUέ..)ƦM_E+X^\;{(*g@ Y0њk cC2NhPhIO✷c_a~cI3NOr>~\ g}3KV'(st0_ZѼDKY"bp#_x&bk=`=MWZ|EGf"} %;M'F.-(+,[H U Q$n`ϒ1= m];Q,.*tIۮdqW[j-)DWa1]"LaOSjz2"l9"kO|M/8k K,Po>ЮP:謯JvGbؽ6ao`B+u.̀8o,ϯQ!@wQriV"@$Lu2ۘüAW Ч- vrO Ž V^%Նs83F{GUoX{oG]\rQ+o.RUY7|NHy:"w85{ ]9d=E,qC@3-cBvƾb[9r"ϕeo%-MMǓaW#}[- WCNş4# q"UY 8# /T$0}lk&@vQ݋!n?#EݵI&"g ?3}Yv $ ~ޗSጬheuwNx%9`u.Z3cC"h/7A\ezC{[+"_6Io7s'"ťөpAPs3+:^Ѐ+KC4 XN~t]c )ڄLfNYaKύ|FdO|&{e-Rcn([t+%'Bѥ*j`_aH% tjKlEc.=71ޠ WV/cG-Q+Ag=-eR 2q$v5.~-:#*\tUs^˻#D"*CJDӋFܟpÆ w;0T~a2rcS [ǒXYFl/߭;S$tsQ+j%+T58^ ؐiSf\;\bd|=P7v ~28s[PjR#mf$!,֧u{DNڣ1rdQ:3 ͝!E0Y*1@9g=!H<mzW1zU)peŘE#@6a]h>[S=}ױ*RYK3| xf\ (h.HF~/]oBa[;Q)-gS{7z'-d$/r( dkz`z֠켙 u C,ڛb/DL3(Jc3$C{e>KD09\_x8K6%ѰNly,yzl*X< 0lqbC\xn yn伦a={a=>*Lb=A 7IZ?=mʖK>)AwyUJY1% 0Җ%7Y`SJi?ISۢ"8@t3/\<#-@$La^l4ƌxf>p~){᧼]t`1yDGQ%!'h)E"Yt N/02K@lEw08 q78Sp\R5 1e6gdv&>: jǽ B/eh!1FU@iiǧ/I˜Ia ,ӏT\5Jߕ ֬HfwƷ Л25,V )e4e!Ӷ%^x{>zz՜n7H eթx--y}>}s /4.f$uѧz#jfƔBB()2S{ʃn*ZFH_Mgb齀/L,UX ;iV8e>!MBA.uDFd9Q#Ƹ`I,AsQpry(!)|hnNb4Q0{x|2_CSfJtW[(T1ƥ:%lw҄B9CUDW3rYkcl`r UkU'rf*he*82q { [ Q(T>tj~u{MN b9DF\;X\aiY"nnwр^佳/u y2{V )F:gFI!PŠR.lAɍP BLꫩvPd<.vD!]9o]*k U\$ip^p{gx3ia?f֤#ڍvqw)oo3л@p@>{.*Ь6:|Uy#+A'NqX"srtؗʿs/ͤO3LP t)a6/T 7&wO!,V|h_cX A Xk5Om a}ƨR4)K:BNy8>Xl-}UFwk5E<|Gn ϘkVce~ӹ;z  fdȬp j(?p xADZ#R{XC ~_m "ܮh>GwcV\rq0vʓz{-z ܟ哖dsN6Uyn<žoUڭ6 -_ yqǠMD ӨܞB0*2NUxLB~UU a4=iOz:=43 "И vk W/ɲ`[y71PL2NWOA_($tAl9#bk0hY2^6850{*,{Ϩu$ W53ilZhr92JdI}˿*9ԀNW~t]Ƅa2R<(|-nP:@?kL{#icX]%JE(K'A79yA2ME^0KDAn>O) 77,+Zu@r'P]@C* MK8nc޲s5hY"w~3͝zr¦4Кt^y Ojo6"!ҕylMprO[w-K*}4du5Ϻؘb\ۨL;  8]ƌ}maݓ_R50B!ĶXJNOƖ蝇lULOe>ĕ *s3 %N&KH$VqBb9C ]e2”Dn=\*M/ @k,-2kƼ^Ȣ ?OO#ѳ&ətR +|A8Cg C+>s /O%#g"]R)g'"E.r"sDt-֕] BJW҉gQˈZA#F8Eee&Iy(Gω${`Y#cWmh3?gݞ#d#~}6!oBE!pи' TD0  I/.7&$PhjVFjW Ek}t k4nrƺ }wM>Pw)>(#& >OXCY5 vH.So`PԺZ/Bu@r~f HkL3l'%ȗF<-^XaS"L"K̺jo/#*pJTuc︎csK0N iE9/0@r-Ӽa;fp(L2 Ovz?!k$SJ>Jڜ ܥó*iQI`@R?85JU%"G6v,]6_)wd`jcy9/E_|5v=ԗz*(elpTL(E=3FԲWU?/^9ؙ`Zf6`G›S4 ?J̛E`#2ucƜ$$6xzėVӒTs%}rn|MϨ Cp6R?w3y}X;Z\_watȜ y[8=HZ^='ץA i/sMo2lm'[ wQfɏGt↟N{Kt1~j8(ַQUG7 *9u ٸTqSA|%R'ji&?'1+c1EfQf^aAuq gJhnhW*ɓ)@*ZhopyU"X/V#u !1bdKԳW[FG!guy_;c>R'N ^fd &6y(lhs'zXK4i>w]=19:蹿X,З p+ 0ZE@4YHHQ&w,1#ָc)G?ڴl~[ nARrVr4@W,1/fmf$Vmn } g5@R]z` +g4!0EeP߯׶57$Q7` mA'y>DuNBN+IS >9\|a!V]s2ߋ aSJQgGNC@Y!Ls3ăA(~: 5=l`A~GWx>2xÇk@X2 EUB7HCDm;yZj [ivj[0;Kt$ѐJ@ 0 ?;>1OV_ @;;:qջZ58U] ڡӝ]ë 44#` ln%)?6Sx٧ =b1o9iN6= $O ţa>_F%== 2Mvs(8rk;Њ̇hOlz {9B4cr,j>jGSW+pW-YMQ$6OBjFnƒn5~Mbo&RC[׆01ar#'"CNJX2#Fd]řƙ/էm3z-x@jj/d"͐EjvBdniImGޟ+5Ǒv# h6tu^U6[5%*4FƒH/VQP +*a.k/8#εl;:V%6aX׵e.Xɂfzh:9Є m ( =t$6b%gᴾxL?%.!P[ՋgН*>6F,'+8]FcM+^ Nڒ2FξtYa6;є^tx]MbAztpWeސ0YyW2qxu!}-Wfzsn u>2DsˠVV.xsy XRsu`& jAq8Bf͠1KF$yinƨ|s85]+׫wu@MRYK tyS8dE| &-.p XL~7a܆_|Uigy5e { Sh!G>e h^Ld"w6wĨј{D;tし젿y70e/}CR,;9Τ#q8וx [oqFS֐QʓRmC*DOH.m1#qCx~$,2 .^`?暬W7vDc $ع )gP[Tx:nzGCmHQJp2gݽ!{[d\Ֆwт@|^oPБmkEs?dr!wS5*~WP41kh5^mLxZ3X_(P;5]p2¬ hrDX<(̷ڬgJK2.ή AV:{Z5lҰ]'k&A{w~!y?!y K fkǎ}oqE#:0WaI!\mCCO:l)Gx P{9Ÿ΅JUyQf=u VA(U^Y 3O dqC&R.c[Qey6m>XKnǷz8M+-}OV`a5w.gk 8j1ll,X׍>N񄠬wovQυ $WI | ";3o!&e AaWF2oIf)a<_Wgz-]8*dH@}hbFoXUdb5>AȢV7`[K+ȱoUvS[E&Jx^:gSPqŒֲ|Y]i䂀BͷK[ 0؂8;7DKd^L%PO%5Ձ֕\ň "Iͯ>8GO K&V4Z_AH%);) _9-arW?%MfWg! ^i6(WLt=-owq*9@LpLifiIڽRqB@`X$E{o_Lx Qoq/AoYĵl"#uGUV|m#sE _=ne> pUrUڒkz: dBI1PeLl7n!"<`.(ܚ>HDjKPPn*SÔ(Kc:!UwތRvBȁc؎cxǘFHP~67U+:icQ6b|!-(KÔssCۨf愰Mp]C{hdכnEo&̼bJQ.GJLf=[T1G%] $zaNqs YT5G!g!jM%HljO n55z{Yyf,_, t\51FIwI} Ey._ƻM^ΏQ|JU.gt'Wu˰6{l/X^-{UU#[yQ,|Ԧ #}f,e.ȹ1"el,4Dp5I} \_OȂ3 6M6sE*ZWt| 4)..,J(Rhnf(dO4.#M+ۆך"vm XK˔i'59懳һBvVvYB%BL1ŤMBܭs3_-hVt[\! 0@yuTA1M]gݛLђlא\) Pv6ZF3^*ZZD4h8փQl H #Cl,s{Kdİi %l O#7E 1} F!Dl.Y-]Ā ݒ~5ԖH'ٳڕzs3JSY ,W\wEBB~uI6:{g'\Z;5`$t5ƟBAftBrѓp,HzٮhTut yb}${f9]<#q=ip3^(#z)[3݀ʯqɑ\3qr*GT7IrU"d SOlewq)?IĒp齪ٛB,x!7&YMlYt)DSU_[Q:>l(E9~Uq4=>L_jE' 3qls&%Y\{؊fgCJw "YZp}T8_B9x[$ͧ~?J$1~mAN(f\dÔح\uVJIW_JLWGpKѳKEVPQYۏc*Ej@vpr14 =ѡd#C+X)Aq\٣f*Nb/QYbbk&3S+6trKvbc됁Hu՜? e!?oW>y"uZZnNn=Jg"w"$>Yc/ۺd|= qQ/wЕ9u[vvbh*dG`X?uQX\(YYC>&OeNʳKe?K K4h S'p+)磻\%futqף̿!+r&)|@Ս6~7qWɦZ(nn/dKj };Gۇ,m4R,=mXhjm>D3p̃ogMfٛ &~΢o/J " qrӀ&oMq{s!l ^jT`v -~^Pݧl%hCz7 :D[ܱoqcNYbk3Z9;|}siUB٣)T(IYLPJ&1 (VLᢰ:Ӥ"?;ٰ)`2Ί<^;!j%Kt `uJ@b}XAiՀK3ŀyN_3[w$j]ʫ"e/!(fiMYwr$eݦ\{5ݟ({aSZ γT`jz" Aͮu_nŮwFr?Qi [65yᶥq$B5Kp*R1+&7Ue|NdyZ}P&l}Vꈿ1Sa߽k1jD ;aظ22bB/m!AY6o,^smz9U3$0R;3NeS3vvx?QTU"P96Aw/Mx+da+gwKo<{ykiegtLIcP 3 99"~ {=M3J 76Ԥc)XpkjS4GZ`U94M.ʫa`6`5P0U r!|7 6 4Bla[',9qw e}^oTPqi}~EI<í*oO]LG+n5`GO}>ya__yUsyѮy=E :!v]?2ZME}@3R#4 ض-x]= ѲJ+P%3oH GWcƒ H)UIx9LnPlHˍA@FIpR=U-V+ꃵe3e L$]?$@ڰgkhւXFr@I&3g׺Owplϛªg8 :󸻸:9bC-Ek}A;1J1CkCn,aJ;~*7# CkMęlf+y&PM?_k@K3yX*xkji1ɾtf)B:D;&y% YM]B'cL 8U\==5WҗGDXкPX;ɞ-+\1T-.e$VE}2㡎–zǰͷ^L~ 5zǁȊ$Z9Nܑ29iױ+(*_ESG u%ch&(i:`<9+ݤĘl{"F0zYB&%Yag~ELhS>* ĭ#j&N(g"~QR8{#T C<2O{cngaRD8x-`X[vլslmI*И9aa㷐c.5fY 7TvDlC }oݗ&@@rl'x3XδXwXؤ5eյ ^&啘KŁCzYLN1Fa+"T@XAV=oAt[c:pW{ڠ5bro\p!-FQ8 a8[ܜMTy;X֭[; ayw/s`<{p}_.1w%o[,}EA-4[ەr)$- ěĈÿHKvd1}c*)*|{ m_+*sb TSG7|9_ |DݽM9D-ġ,q*V칹 XС]cbA /Z*bKyRͥnJ?Yv`م1~BϴFLU$kT7oEfߠy`BJqn\>0CA D &Igh֧y^!je#9 s觐hS,WU9WiI"-C( ,V8-bO>C1:EY(ä'~@G# oY\nwPg>V ;B~>IcsN]U%#ZdOFMif[[lѿ|6Q@PEoa,龺YKKFy߹ Popt}w1pȫyuGPba񥧡^Zҕ0'\&Ո xz*h.&&Xк@ljɺa&»cR3Y!  :W&i|qg0A)`$z]67wYj`jH`g6\9OB42R83r`2 ۫fHS( VyH;< }+¸BqN&ANH@L3C-  $:j?> $"1vYeӶhvwS(}r ḄiNWK;=MiRY5P)"\mq̉腯%Usd5be/jyg,#3 ]X|W EnǷIֹD8_PnI}K7ɹ٣T8Vp{ ]d?ºq"PJo)V43m;W  )?O1R+gvb }hִ$08cl/ŋʢ@ю= =Hs_Zoj8u.]860fk@A.lKbF7nm ʘPn\8E؎0z()U $Z؈)flִ*++c߳' Ob?$Vap&|G݁AG0G5 PNw&JYu\HQ{p~ȠE d"*dXgd8*)!-4nKF/0*-wQUбeǹzbF-KPq"9oj\r|RcA&'fIK[VR=9pGTۭ.A8]2W6\߉1 1 yN .F?=EÀ-{D hϵ`G*erj0 5v{bw 2Ybt7vߛN,pAT)(.'{x(ۮW`S# Xx1i3Q!#`?~%}Sb؂5DHf֚mbRø?xe,ń X-}asYئg@K;VDoky:e>LgJ`)k}ⱥe>YSB{v< 2(& Sc-U'`IO<{j%]s:e*s[5Jh^E&Ib34hd=_xQWq[hk4򕝁Nt1@V4ITY(Oή.61 {bV0LІ(F> s8h ?ݞ՚d"`M!w儁N]4"-6!5]= TObl.ޝ;29iփJP`7d #$aFnr䭶^MWH=L33 /J?z~\L.UtaW'*gR?}ܺ1"Ɇ(Su~keRʊ83Xa",Gj#[+hʕ/]rE=JL?{zOd}xk31ʙw?VG^Xmt<߭|7\…>T,Е3t'&?F[% ~}x= OjH0l"Dm{}f ,`~¼r/c|ѿZͰgU1f{Kl  g=@w:#Pjr^DO/qp$"E'ɪ(#W R%C[^m|@^YY% ^ NL~fAc\zMo#9'E3]Im<o?'8Ҽ|kU W<<0pJ<_k- fiP~$ wz&/ W!#7\A>OF*B*p I^GJ>g9NpXJ!5f_ə8g[.@SdS=Fޢukw D}]}4F& !L޼V֖IΆCޢN`2+T)-;v j;E9%OIfzmOƝi-ʧhNXx'>0V&!e17h\Z6u5c"Ar KSɠl&)o։Րn;bR!Jў=dQvLV+%_`c(#`TuQ H8;}; p=v 6=2B$m3EUPZ&9swj]FgU/vE,VqZsLx^/UT+v&+_n 䊊E„+Cs&wh*\  HF_숭^,\r JYWAWDvƛWcu\B`z!ԘB`Ae mhh?!.BYQm8'E#P-GM6 ݟºלc _,jyQs YW\n zv,o"A#'N?K JB.[ط])%+pցiQxE{2 vGp|" *%c`tkА!;O<"; dQ>0x/Pk}fYI: ]:q0HTf;,;H[&yI(|6"QڲLW k7gAs*5OEVFPTtA_ݷڀ='lu,7Y9<}1Qm vsc`R6c |1Uv;)+U$. ZԲc}2 #؜ֈ-Ґu&/t < eJ +9a.x*,2)WDvvmӠ;EFbx,A(iw?)l99IJf@.E_7xZ;b!@4\"d,)eY/pXJ6GtZ5$B8:1KX7hm*VYjl 6)maKgk8a-.(U>zc ^^ʼ ݥȼPgHx뗕A˾*+GRj§`F D4k6d(=@ ښ#!=$踨`U3u: 9QI@]XbHP>_|$\>q~Wpd#낊e^ޝn 4i9i0r0;7$'=FLV?ˠ5@&nz TRm& {oQ )Aatv~]Вij@~8YCoQ%$Wɩ^C±kgZ{j~*!"h&tycnb25Aȟ=Fԛ8beN{0[!BR5.tRP@B!]mYj-/QzzZ#*&)^jKL{ ;UJS%/YLO4ODrb9rȊN%+4sT,ѣ+c:pͨ N~ )BH&Js_.U#T7(DiWbԌ'ZN}ǧ 6-{<}a$}|&m=)> /'5lao5s(n; ɚ5''(4%\ihɇpx\|g5CI`3X?Nmy(4$4a ЂqB}s=RL5Qy%K6i]aCPngQlV7(.G4T lGS[ҩU$.^FKN(WO>rBth~%m= ;Ԥ^&7% xbHHþvH>ٻwXė sSP}{H!U#Â[$__ƈ^1XZ9GqLY·]WRKn{ 4]4j n%-Qhp0rNYZr|۬.ԕu_uxIJ&G@>1G:Lnf1V bEӾg 9^ޞkPZrm9 N:Dž'op!<]͉KVpJÌA;+ث6ŀ}GUb\t wYY]We2G*Ԙ= &YuAeAH1H{[[GH2= r"TW2k͏ul$ml"J; .e/ܷ;~^H|p8ypی]~H"'JZ@*8o@]Wy?e2YAŋX$lI(ɚF8Nx 0 ذt+9`̢/^0pY𲟃ݥΔsF.1yxݰ6ʡbcbqv 67w80|Gs񒱁`+=%~r4!eӢI.*~{'c\-[LD>{QїI/.")z\׀LB7ؓObsרF.h;3(T[fۀ!_-ҿ.Ă2]eMp$ B?d%:&;xб@f>ޯdO&pW$(=;aҘ*'cbN9c|.Q$oůռS8AǂapfOж 2$jKlU +B3>3aq0@BZKZ$#AܟHi*'\xyXi^#1܃I),%)@>'$7}@Ie)63O EW'GP ^wM2$2'Fz7* C *%7YGe*Yt"s1^y`.&Ȍ7snu5մfhoցftx\>UD$5fh$x A,R;1'4sp)P$FTfa(Uſoэ~bT-EG1[̉3_-fb\W ^-;Y99paVr#ʹ}}MnlFvT>JcH &v@w&7J~QZ k`Ffoد2xO  E/l%">y* a^ ni_G" RN+#AN)[h/)2LxabMY c laeZ_n5zldP—u@ w+଄V.ni1i܄&ztm]L4-B%QC8,x>XՊsHhGH6zH3:UVFkY6 Ovy ~\sjA!Z2ըP[t~K:h@ĐGMB9i+jzy;p%Up,2(rC{9>92V(eUb`)ն2\c?`a$Af0D`~A 5˲K1RDs}7o=u9 lf4p/޹Mט<Åx+),`GUAM\kS*WB7SH"t-TOrfxؔ[c/E5:ǽwҲv?8_J*ChtI֦L{2:p`9x Pm$B6JgM`ulEEoT2rc0 P=Ap*P _zI?&^?=?]7Ж)130ju\Gq<~F>0[,'qb.1Ep/`j?3+nMR˱FRD̟\r!GJ{iK=MTBIwAgt\)ߧJNW{]mtB ؘFεQ?伿 Gb6 36t&fT!00)Sb2s{RYAl_5rpt6 $4qJ|B4S&wC +{*? >E>i OtbbAn$k2.?>1~@1/`Wc~Ult '>x=zy2X6\xyޒ8za">?[}3]'e݁B@=h*#B(TiAZux!&7J]Z̝s*>%\9ʩ^1 rHhR>>akM_|<#Nd{ 8[ǜA[9Gba!ߡ#:kE9l{DHiE}(ss"P̼1JkhAٷѭx~IY.n4Ef87(1+p65+D?m ҋ> Au''^+wX,?~2CXC$3AP[;ߕ+`잊.L`W8NBBDֺ"t.ŧǮc0\cSiNu~ X | ,!~NA."t'|ܮ;h1Ɣ1!V~_3]R{mRiVυ.TaT\uZzAZ(z3]V-KЙZTҶv%, GKL[dOj6900!*"3}4_/ [V_[,]_*xX4+l[4fRi=ZppBd2s,iru Ncw C y _DHӀbr# { %)2-F2l)"x 1bi|ET= h n](RT7wQq=?ɂVW܀!pxnQ[FSvxLGޗF,2;;NtQ|lXm/@ T`uވ?ass{k m[ J"_&XHSy젴vgj쏜WڹHߌ1ޒmXE4G-#oFN2j@gK!EwHmOotgp;0Z9 j1}h$U!A^e2׋X= I})׸uiSM1ǿK̘:bgr,TD8N@(I>G7$1\\kwAYB \'Z#RseoWE~d9KX3);hVvAb!aRv$8Hy_ < q>SX4}rNMR-gy ( 7(ŭBQ0jRNt5>Q[UdZִ| #<ċ[_P,9WQ)S, 6Lpp$lQ@yg'ܱ߿n,V"(dG4!{ {w43ez^``c[d$ravǂvlˋB'dc$8'O'Ork C0E[ܬl+I;T4:RE(.Y'oeF*x"hd*%Ocv^Hu;:Ψ_vc EL x7S;NŢx$'l;kgE45/K] FW⦜R0S =H=Kq_8n0odhq ?*TBqD=E`;Ր#C- 8@FdxÄ$ed ?VV[Ƣ4{d̮JU7$N2g%'.0bmX͹m U0KGR0esbz6=Xt8gr}djj,>dN( E7˰0eYOsngYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷WyTG/  p9vj ;+wsrηta.xkzX]#2WNFżOJ=> o> `~gYZ7zXZִF! a]ŗXi%L!l+Tn=^,YhXZdQ.U.;PjDtBAF R8..13Oyp]y'lD>*H.JdVVgꔲuCS,NCJaJ &lU)iqoc`HnS6lM,n\4$-9H&@B@Ր%fWZŊd@LcANAԆpr$/E\^50h^G>+|?%Z}9iO[S9,8zU.`gճwVrC-[M뉋:% _ŧz}> bԆ=sL;ZNf̓P̩m!`JU\i1½Vk%,f5.&K!b(1O@{ DilN_kDF1n? 4⿺k E<ÝjڭR'邋NP*z-^W{ʼ/<߄=6B}o*V߭4w@i(PL+5!ꭅmVN2+D!.цޣrOR̫NLڿFj~yIt{2?Xk9`%W6$4R^2_RNkewmQS8c` 8r < H~zѡ)geQV>9y'`_35B5_1Eⓠ?gL3¢S¹>[j܉znQQAJ~9"]d)uɆJm4AbVAs^צB^IP\h ܌8~0G_24KbU"uHJhHl&wD5a'\K֜ 풓ۅa_@8j 247my4 |ȼ܁GfQ,,C|0" l4θ*8Sg'f3 V>2_i-~oW͠| x|*ob( gc Wk}Xܓ㬎a^#$2澈1Ҍ {ĐGNJo&4,HX{F=aƄT>a6SﴪoWtٰ`UZR iF%l5;a/ES 'yU+HXB6.$v -ڂ1_ =N/$6}{C#[4h?Isiּ'W+_6b@\nWT;Rq_Ld X`^"W:7ZB_U8ew Ӭh#.m0Mt],aӊᗅlZى_쒪Xw^[3:脄6'5 CFѾW_O8:6z/Lf*RKsPnjDVER8#P@Q$Zq5Zxƌ}YШuTA9%Ro/Y ݣ+}{~᷀h qR5 -|.cqrw;/4w(hΕ`]'yiMQ;ʺќG_k$&hU2)t7/qAS~j\gYZ75f7804ebf484a7e9a7fb7f777fba850a9cd2f438215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61