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  i ig7D| ] HOL-Datatype_Examples:threads=6elapsed=80.236cpu=385.380gc=51.424factor=4.807zXZִF! ]ŗXiɟd)&]hRySLvꜤVT [fW ^ԺplD-ޑSP%\1d8pzY>fGS],Ա}ポ.3QPnq{~ Ss׉k cebaچT?"gjr5/'۵%ҕu5S;x ;^x]m+1`Kʹz@ٻÂܘ ,\L*JMVd(¯<DT'f)Id+;k$Cv=vͤ;I_,OE[eNSN^JTXcsbb8? Hͥi{@ٙ19&]c Vm ~S͞XRJ-F`,"s/ x71Nplk⁨`2E@oh( ~ /< ^,48ɟcdye,6);n};9AOWԚ꜒猌* up5[N_> AĥPe*MB߅1n-pW=Ak,_^ =fb,dpѰ3!b@$]ו~tx5 xv'adQi$4Ի+,MW+4.;~e0)1RH Rg@7՞WD(rE$d rP>.b8 тx5鐢-OJ?$acI#~!0$OÖZU㔕>`cX))1&@Ӆ|;{fU+SFU\ҮR3dV*ig&Lr7=yΔ /"} WG@g4@6f%vg-H,+fE_V>_~# SZ:3S F*Ďf,(3oQ+-60IF2\[Ջec?nAbBlMgGda7"R)QϿ%Z1c7[ï ne$8hH`k/QfnժU<,on{Y]wl}-K7 ~S>ʃF eGT+جj6Z %d/r7?)&~U?SJA/2K>X0R岪Px"`SDGgNgnN²Ƙ(hYvN~LW^ޑKSZLJŵQn Dֿ&fyu 76ɋ0gVchfb-(A01|1E.3(p^L ^)L'^&\!#-u戄zxH dm[s g+{@(pUmQ`2Ϧb]@X}7yxUԓvzܫMچϗl<bv'ЪIЇy&QIξ<nӶy ϻc";a`o1t>)k N#vAxx h3AwR®!JbїWB#+s)%t$,mO~=rEx|v,/wj@5lʪmaIE@g4]wo}Q㈮?q<~L}3!.e- D&ڞ/L[x]N0-?dOy7q:j .qC.HE/?E嬉0&IZR%PFG*[J0vd~ L2e 1|cSՏ% ,=30HH#nN7X$] 3V/qVwyYZ4TN:ݎǦR 04 (x*k0m ӛVWT-0D6-Vfݺݯ.a3R,xm$;|P@TE\ÅHAJVY!ʣM-y>0ðTt,}5|MS&OKcr})D]%cAHTc?9 "!RS-ЩQ'>3NfC=_L(kJ$s\]JiYC|{ /l怿iȏsՁL'̻J5dZT0`[DĤ3IUPZDt~ʂrIMp [8 Q7 #Lr@Zx,;qU .ğ+D8?I8N5ro+&nddd7VG|XooV+1Tuu1K v w1 *; rdyq5&S_w[;:S .#BXb8@#U=Jy R޿F;M@Q$ejRH'@8%pA*w,S[< XLx< DK1rt~p-;rcTa>kvs!I |Z~\\-tkLzCbU$_L&q>"M5U\JIz{p6~tۄXOX?o4]k -@yX{ M$7^,!&xshNszMf8Mi̥e]vGЬwΒ \SCn55K UGpg X+`vPQjYMtuh1harԎSN^Eэ^έŴ<ի"5؆&X|K3@ThctmPmPjYw RisQ!D;hҙ6LnYj%j/ZBvV|o𧇥w2I**4[ҹs;ד:6T_E^qx3{g,%K w3'T7ia)%.0xC=caaT%9U4y N-QIȋL|v3+t0)/m9$gęZ?UDhT`Y1kI"<J@s; |~u;GyDED-yy^C+1M=b&m,DX*s0]\k`]1o_[n[ghF#;@ұt;3k~VհVti9u~QT3P^:rePiG\U{c@x\+B{,mdʫ8rS2#nV'1 $9kxI!BոtK:\ aHV(ɒ䠳5?=ո(xl[Y ,7.NޏF'4yCoNdۙC_H^ۈjrf7ϻY|:1${) 8Or)R6d> E_ :>aW%+6UԞ x\MoRۣ P"Eb"ϥgoɧu@\UE;PAXT^в1hȍT,Xs>زgbBC% 0 * $pxaUvc>l_|<17Q[ [ Ч1C7aVGg^;t OQZD.Uׂ#IHnAn!5%9&1@m!r "zٜ=ܴI!og/i@yu)Kٲz C%I&5v2:.?p݈A<R#t T=nDzR"Շ v3cdv1+V]WyS<QSE˹4L෩$xƕ&5⾌hy##P100TT9+e;|/04z++Fp|ľ0]KW J'jDt/\bRRj+W{Hs: >5$;X`QDL%tOS4ZI_WJ~=u5w㷊 ^׾+0poja_OJ~#Q󰊑ׯlنI{Okw )-E]548ֹȒeRz]I!l6i:J]%;>l{Yz3sϐ;Ɛ-ޥFL??`]iSH .j I;+$xtU2=;OpdFE{xQXXl:Z}c=*y"#хt Mߛ}deB:~ ձrT;7?VN[S`43>ǻ c:$iˣ!RSMۙ ehQ$xar=7 >~ԟ:8# *0i d,Qxg5ӌAyԕ&~(2Um׎S#5W8]h6p@A/D#;݉.GgFGxE&I{RXg:*cXX73c'ajYCu Dx*lAHVR崘K| PWobUEEK<|y= yp홫ıc9ŞA[v$#=[G$'RL2խ78!UϑA|!: FrTR+-\,WVf+l z{S(tyCgnL-}d[}}tf9f+#L2[4)$.d)e3/7c8n~b;?Jpgq!âbxn_Y;{~^-HB1N~aAj =-֙YjAD!όmTXS=6t, 83XTL9Kc|H+yא>t' OթTiq!+`Y|scWl} SKC!zX cދ7O ߫O jJl0WXZӜiEY qx@7.'&%*HHeSe V6AD%6pzt_YuBg+#R.M4Q&yKD/BQҋ'A_>?ӌ2Q_J G`{ =_ٍ90MLf]pK$w~ ?)"¯U^Ua" myr@S *tLNxZ` hkppRhzAfWNLmRJnK"v[~}S?xdRZ^k3}m2Xć\ȶPCc(25YyF*M 4r}4d]T`d|=x+P\y#\Q/wQ w(ֆ O@A xχ$,E`lcL PbsGӔ`5J{TKوOV՚FU<7Wt w!isԤu~wxcH-* >C|+PlU@kO#јfY?jjHy&<.Y0 #tLg##x`Ǐ2µbaK\ҕ||5gÍk %pd™m|M2UNX"۸{s״Ц@\tykh|N)qWB1'z+׌9*4@lqP!+\rQ b Wh&,y "0+рð囿gW+/r<][CkRɇpkD n.͘)_>I$i/H~QmP||ddV[AеjoˌaǨݻHnW XhÁ6c^pmcoAά)_d\ɲj$ }тZja8; с$]\,n¢R.icn唭\WI;뻧>3/#^3Σ~,2-e(-;9xb -$0,t뵲`9 *BN3r4U&\8. 3O,?{fg >6;Ba.(p, %1]nŲ$h5kQ(GM|'߁\d`SBÝ $_@ {U.b9=] Q֑9p&z=G$"PtgΉ'LER [)1>Pkdiݹ%?vm>GtHL=$1:7fnlqFGvp`ٝ"| c1ֵPm<+e;.w#oF}GaӦVqib /J.'.HKDYH{!OhMǦxrTXxGkf':3aBB]O1?{fV3Wb 5CrBdQtg& &, 4[H57VNLʳH]0PX'0;-k(*.ӥߴ$]}?1:&d|;z:24 -fS=m]gFd;3aڇ_^Zߌ-vTxbjiS9ÞU^)|]x 57kR|܄^4UxWO5%O._;yW>5q!2kzEpcʚRkoy~#16PAv2鉋LLc1cց4O襸*>#xogaV^ %+ itw(vo2ЧȤ,6C6QaŰ֙BXH\I]ע="MP#o$tr"?9i宼ֻC\z̯5OD]W5Ӡ!}:S7 (+=6re|NLt?ȶ&Lve)ckGyG,I/2mTF=aӇ/47xyC`m*o:r%IJ1q>itF =v?7. Ъ,L[5xx#r$S*cšPՎ 0BR7/*4HUv%]P@BWѡpc~GŘ1YOvI88*sBL؉m|ZӼEq(}TѥXD ^>/j~+2vG$ԗJqY=.C@'4`F}w4d\wNy)m#ϱiݷ:M,@ lV*o'W0qZyQ/r5.Y;BÜ^ s:-B+Ia6Aεfb[p  !fBi׸ps)N'aWo"Fn/Sվ4gD*!fl-E|khih'܊5pc-zXt>JcmlVr 9e60e}'w"+ۓ *ts=ƥ?X<7;̓e1 ANu;jNK!B?JYm\3樋RG;Ѧ'tx> V;ݚz_2bߖɿI5+`:'&K-3 懆MKP O8B~1q̰5nemJ(}*>a{Na(\9ѝf[)hyqCeX\J/v@o@:@*B 1!f6zKq@ r&v(pA/ g0 mPSXvZ<Yctvc8K>ʪ;=RYggF:ҧ\2vd*.Z*vbmEFV?e3e\24 R꽤!S&cj.p. qI.0_!2&f˅Wz65pA4@rY6/m!1nhKd%04$?0X* ,$5%d2Rۍ15:0Z4Җ<Uj\`X+)]Uzm5sPV;FK (&Ψ` ݀W)ed%H竛 ?5*J\9żü9&aiWo Z4z]q(5q0` iZLsJehj\aU 6v!%|N :ō"vp8tW9[:@k7/{-QvNDC?V,77?EiemxB'KxJ}L!r5D8'Hi PTyJH0h-~=SDBq ,bTKcCyPZ0u!>Nzrnp:#ƀn$Cm)ͩ]55{8mAlEӍi;bWDĘwsS#eC:<[x:1uHoqI/ݠ;s%qq+c0[W> &ǰ`Ǒ^ƓF ǵ4Ȓ9-޾hXIWZe cď`BĀ^$6t$Ǖm SoR:4FPٰ4,g,%]vHYZo(ѽJ6wf$V {tդB@v ͙>C34oM;cwcjid ^9B RǷ\Q6 .u_L!] ݔ)%tP$yg=:YK~>WdY a&Vjfry=C_0`tb$ +DU*rzdyKZs+zRY-]JIyL` ]ahߐ*:pi@Lkg DiqveaxKyig4 _]g!!_1m{PZEE] +˫3xyUn9QIeEs c;?lbnwt8 H94YIOnC\9mrKi &BZL7j:j:@nA*BƩq6"oƃ 6L}98&bmdǏZ(aqIb[m)~K6uUUI9SM}0j%ٱ|fP^o?˼a~nZF4*h3ˈY'Pwvqփ&W=18ys83QHJQ6ynSJ;AȈ h͆tCQryQtBbӟbP+p̦t5~ʻ\Ұy[MsvN}_~ ɦS)'#@(1M=&? ]N\Plr`dF_;6sQT&hoZXT|yhĭ$2iur/7\W5:`@·W v~\yo&_QgRheVo63Pk][;Ã-kR";1j^]fUnE)6~/ `"c.8Rk_^1G6B'YʾEʘ~$3|v ^}lkv% jVx=O/-dK4~}lhŜ?ˈ[>ҞOA9]WEM A|]Z^CRWɨ6ϨMۼ3,s;&8`<"iT`LO K&該t/$G_$LDˣ~HC/8\|x~v㹷j@){}ZЊ&5v%(g#:'H0XQގ^~KۦQ;")i$Z*y*.c\ZN!<DJ_[.(G}|-X<8Gu@!<טnes5{l/:pSYY~t v./ P#لdߚj:oDnkK;w"#s#yZtV}~[#T#U#hWU0PyqEzw7֐2́N!5l8HHyC֠3-=0:%wDYvْ7mUύ¤b٨*qʒ8NytxƕO(W@%f}6XЩBeE%voI3.ȕf@MrK; xCoPy3ߒ*ZJmSBդm ~QAVX'2ҧY0hB kc@BR1_DNQ5ق9PlYIKgv,j1[}H'糮[x(yt|h \&jϖGBt/P^|GU9ɱ%Ҷxm6ecoXn9օЮCȓɨ4bD V)5=V=xP^%|́O/(}L}oZjY)뮝a3OR!҃ [Fj"}翘ıYWaҕn{7:sxeeZ]*Rxű6jbsFEQ|fvveg~U1_R2yA&2R|*YN2[;_7$&㋜eg_sfdȀeQ]bWDʲP)IbGf [J*2p6`F) ^6( ҡ|&Qa $1)I-I7%((0E?Au4‰`* _&嘖V;1~,g՘PvSodC?2Գލ8cr>Go2>|pĸZ`"QX| H5'G /JbpFp"-S^n:X$_a)^?ڹ3 aЮ@vWpA/MJ9M"9ӾbAY+p 5/pkZ2v~Xnq#=k՞^䢇v.+d)!.1c/D^UM# ՆDsIL¤B@ƽvϘW[8J zJJKO4Lm]c[u=KNpizvw2:Pn&Mu=d‚[RM+Yz Svķѡ4ziU;r.F/ܜä{” H ݋OH.?pY28YBX YwX\ @o{m0㱦/rG }B/ r3O-,=7fxu63NPo:}*J<5Y%!,PmЊ&9^ՠF]Q\ldDesك@+{ «⚡j^̍eHSyO^' na *<ơlX^Z,E%܎AƐ񰔧g*L%9#j]kMtg$}Vdܭ aCl3"I1 n:mU"܂@xͰĿeʙw's QĶV|,i:vטaG,@;_  wUښ|ٴI!誽TFQd;?[g0No'^=,kz{V:D=M,ۯT .}J-QEZȌ1]0/?P;躮 #E.Co^~8"qf9e@w8pc*10C b9햬S1tJJ[h F+v!eUU=Yuhȟ*wa*={nhj6GЋ8`+/|PjrCDHʺ_U/5`(bKhZp)Fo,`C1 $;@̺FIs`_M˞.F2v0rOjMsubz)xÇr4<ˇL`w^jj,{9 1'c¡Zb3dXǢPLWZi7md>^]!Owdjn>]h!{f9&?HȊsҰZ(ߕR$%%"Dj~ռ K7or)A3fU 9fl|R)ĪMvW,!;_$tgT0SFeCn3w QkVme%c\^RGg2]HlPmK,a]LGq⧏ۊ.S%غrjAxYH8kt~u^>2_ J lL%e-sRDŽE/o3jҾk]&, ݪM`ZV9sRaE\T>+Yeoā!uI[ҹ_רhYwO_ݐ8ȦA< " V'c%="l~\NG _|?Cz-c<ɰѠhX1 Ue狦bpQeiX ~lUpo*o/s%*U9צ_{IG>NevY(`R4;g>Zn H|{0>$6[W9PHK/L])ZG3ɵSߓz6 ZG2hvhp45U?>n^[9m$ivIIJf$gkV8T;gDD@ȕ;SM}DEQ[.%U,bd:,:QߩȭMyk}0 mzMT/H% ӸbX֝?]ֻT\duC=99dgguQ/WQ"4}t8 Pˎf=vc]/2_K.T6Cӭ-ziQﹻ8Q ̕ s8eZ6qfk 'rفoL[}cc6Ρa'7 =nc/ee|[UzeWU(ĸM/=lӲP#(A{i.6)nxnQ#:r$-<ϳ,4Mǃ1t|>̾6 :K+FϑEej(V*g]fOثw'MrO /KϛI hwWaȷta RVzKYem2H!+;rXSYI w D䶯bdZ;L];(#M:&T>gcpOw_iYku+,vA gUrgp.7ꋛ3n-J҇_2|90ҧeYT^F%q|N9ܐYjzU9]E uK5R8 ,icq#H|ф+6pQ|[ * &5x9|'1u{~*Z@0I.Zͥ&숌v)MS0HVJpҼ_Ao佝FT[IA$CʊzѮԡ<ƦP/Kr l~gQs!A}K Iz ZKs`"{q1w,\Ҥ`0^*NJ\RYT-{+-\.o1lƂGί H#>,&Ceg!_l!ÿrD13ߑkڭxH;6# m}Zs4BBS-:M>(u_-S>Y/2WZcM3B)^([I'֛bՅ&0H YEFG}hiN?@ 6vuиTGkmj\- a&ۗS0{OQGO(cQm]b ʣ-cZu%K~W &:=>aUe6M1UL yPW/GȊ 1hw#hk^_zERu?ièx RZ)X{/[-`PGz^*ݩu+:ay}ʬx5N Z)A+dvM2&jr+A7;Jg﬜P@6qF~` _qO CvQ8()t a~a2tp$x;2~D6#G^foRKq[$d2 fwJUvǐ|Mlg 6d{"pQ71Oi9exBq>KaGOHzO<4'>%TZ0 aXcO~skL]xԽY'r HDkCZޡ y ) +1ɔI#GΰjŢyT |KK7 Zd\5ŵ@IS@e4{lƣfհ;cA }{U9pc'Q}%JR9֋pc3#l*nG1}-z"t*hԟB@>vgxSe-'@~N.cpvΩH%o}Ǡ~FF|n_(J֜Z1`M/v(آ̚. hr[ĽMdUԾfpVb3ͤ=T~[(iֈGDq\wEPgۭ"@ZJV$E;Փw%V$,3 dtv$ Ty$'^@NcjbcYnjD!L&*SxRh ;8rYvH!k 4)s[(u4O]1{Ϭv%q ITzA}.4CuH?wlj]ܔ>O+bb%`EuX ~t7VF\jueEޒqBA1 FO{@R:nUa|vu]ipwj"d=|(75#<c,tQ%HdBLq@' P_tCܭ\?$>-%\E&Rng!aN4FFǝB?עIIXSV6C]]p(֌ E4!>n18OG9o\6NSVv3D2*nt+=8 G(4EqƮ%uC,lH1+K{$MoNu ahbJsC=n; D7Q|:~]M-0{>ԍǪt,~_Gb#@/w)+> t`YqH0Ľr2j ^zs/j”TkfZƸ~ܷ?l(U%BƭO3 Ž>o:.ΐS.Vx9M9Og#Og.QIAp T{HXm+FOh mdr0l[:XlFš㊆Z(56,Un@ŗӭ ny|ㇹɂb+pjJ C-QhW{ ѢLh_ez@i>R*>PU'>$>2pԌRN(on%ʨ!OW83s~O*K8ؠl4b& rL }`3 >pO:-̏vʏV-M8C-P2 +NJCao|[/;T&)+ FײKfnydKv;SnQTǥS%<-x<'ՁMݿ]*{)ٌ2ZJBSֻ=ǒ ][̨C@te] utx.e1C3|(.{wf5[i֔7vLL+,B^5t,?=j#gp6ʒl vǛtaF2zR~=>0"a+].'`m-@q"[NfienW Jp<8NKh 2 `~8~(E4;Δ3Ŕ vFZS;K@`:Ji0ޝ&tG=U)&p\A=sêcQUJ#mm)} Ik L c*Ivp_dGw}`N0|FAx:_LU2Q z61V0Zկ*‰tdү&-24θŬQkqV RK:wiX[|YXRgh!&WQyÞr/kP$ɞywAJ &Qj|U:MpΣNΚ|I*'.8ozUQ}n}]Gu1}`c['G } q0}K{J'V|ZָIίZ)[+cZl.SCsx?ۀ'JD<p4ۢPdn[3W5-LvZF@4#_!n\MN|+l}V<UaĶ#[A&9:i;`hvfΟQ?英j¯?b*0LB71C8& XKqqZ_ۑ.{"'B:涰r4+)oEOr\Pc$@24UXoY5I <-I+p]"*#B` b~^ c2ˏTӝ'CV7}JXϋ= 9Nr ==6zz48m7 XPƝl@%`Y/l 7h`Q(R+;6){w/B{ 9P\Gc薇yo։vs 4+߰iZx![\ˏo,,s/1xti@]sejBIC˕#V ]ɩE;;jY9/-d|"1"un b)WŔ`.X3:c~Q2bNa6*S3_bȧG5vax)/YqEfN)멾᭢z+_Ρu ʲ-֞8 s*3٫B !"VDQTwá9X&yFrY!#yZBʰ)Sқy,vd^skwOIހ ǟuB䯁e!.-}3qv~@ɚ?ȿ,$eWT7]ȷdXP`.&bdQydv%EhӒI1-TY/-?2>+z *߮c e]>(NWa֍izltS)&NMȷ"2~M?7ԧEQ~4lJj 'M.؟x|ܥ}w^~7g ~3ۊTXmO@,gS_tF^"=D!/^u/%䂶djv$_ AQ]:ma>Rukpdb1}."<>75PtjǠQxK KhBYNNZ"6pkv}ĥTAs.A#9O.n ~\N?DLKҮPs@迹kTzW&$G]_h/ m*cQ@6j%Ca(7%~ pUx-ԠX{(|Wȹ҆Bw8#Ҿ -`QtpGMB}їӓ\4j &rIU ^6yF|,u۪.gdw«C"M3̕~noxvC"0kѿݺW?ZĮV ގQ+7DAaؠ;ߦ.)GMUInF|_x?藃]z23 FH]9 Ԥ҄ eCm(džP51;Mc? QXv IA>VR2%`Wt0"?b:IGGvQ~'A&f={&'fk>SAR~r7cώwڼHBZ'4gY\K8Q䨑 ?hYbzkrد2P~=4x{bVOiU0?FPZ #pKP^ZBlW&}HR@ub}S2HzR0Vn [RoVq,ʕe簞>078mxYk'{䥛sZGxtq(uo]Oan^VFk:~ަ󋘡:jژ~MDrqWȜtW1j ̏aaBP9'ꁌ6.Jq؍:33p5a,٢ܳR s oVp}?vM|S_Ix@k ypET.''5li/鍋ğ ,P /p7MZϬ/:!ʡPsPS^Ҟ >R޹mf7]&o~WsKSfT+(V;0+?1 ǃ(u[Nm;t;TesBIEDrZ\F%CXJ+fz^sYɐ"YWk!eK.279ȝl"ҽ\fYY1}*UNcge燽f p x 1 lX~SLǂbm;1&u:N[JqM(pc{пqmo-cI舸)!K@c3 (Pr[R%* oG{Prj#L?3P'9QQ\aV~J;IuՓ* #ӔjMAIv##asA\8'`p<2x$};P*2A+:eI3"va(!v \>!'iPiil҇+)D#KW]36<)Z51Jآ0WԴL:X`QZBܹH)/_<#u&7J,AC,{uCI y/?2 :ɇ[> G1ܱ >5j#' Wexͧ1xyA:j䳤'Xa?? Xeի"d9*{O|-ʠPd&aϪӄɗQKT%Ӑ%o>ˬsEE sN$h:'<*S@Is༜m$&^ M6B Nz>.~DϺCnfߝmߴU!Bu6d$?IA@9 =Wǝ]ҡWAF4s1ۧb{OѬg骺dDZUN0 *x taVVx!rk+΋@QYkԚq* Ca wږ>}wVʔ=|&f>`e*օH'H๜b=&,i;#Y^pڻ" wAU z@U%Ki xErRYldZl<`%&s[/ph>=M>6Oxv]0mWWh2HHOWm5z=$83vGj'XI@8o&Gju㬲bQgS6~BjgI2tXO_k.h"NTDbfwޓ)ͨsfe*) יgٝŒƳx9[e&8'34)P4k=~irN`oI<s60e37Y!!&TFsl#p:UY\I6ѰryZi܈IX>/ L˕8x{BfLM0cX/YC ?hbT u{b9CsYtй ҧ [KA߰יlq@˺Ԩ2Lm$>3jiN|^բO.K\3v3\)t,ՕVs}F?CW/1TLVܢx1l/<ͮqA7릜 h-4skg)(E%5t؛2ĔO-srh eNe2 zV#^'?VV8J@Ɩ[#k)\o&g-m)p g5A*w`ڠpЎA;5ug8V(a sb*S7$fA_~j:ZVD`nhpLLȳ1TS_h-)E`@DN9u6ZKV/AQ .ƤؠuE*ilU\)Guƫ'=H".%bIGŭƎaE9YV&?1u~ t+ ]+4Ri^! UD3?3MCb] _L;$dbcqhk%{&̅O"4_RqIklJc'?j SY=99:F^K7ʺ4=4YrpJU%#ßuI?$n\=T2֜Ђ-+5 G}l~hईt <85ԝT8( Ȇ PA6j;ր_g"hiorԠ<0i;] c& >1=aXGqc& GѰ+M OMG<5$`ُeT v.R^_$7 HKreiAطa;s\[&Oxh4CƂf :nL:@~3,,s`2aA~Uo9V;Fr7x X61͟ mnpneE+4޴^~`JD]T?d.+r2í7# &5V̷"4\a$r\X7cDgH Ok:ڪ޲;:rrq#,Gi8ܡTn-XZL~|qj p3 #,,:SJw</8FXV+ê#Ģ?!<RIv>Dr*C40<̳IiXAa3!ӅK J⊫AxP'-tGg(?EMU4u"^YxZ_ZuG&q@lð52lu2+ ]i9MUh)KdDS W>3Oe_ UEt34lnR6]E0縊ʧ{XCs}S9:F0"_W"3J%dQ?XbelPD;ҼmD[]Ok>\ k aX#W|gMN4P^C3nH9VƤjSV=AΫ=1[`Cv lAEPh8p6IRcՂbsJv*M ?jTn#֋^8G?4x4%kdmH3ib<+?COGgW`faOp&ͿG8gRo]cӬXc@)q h7=yK Kv~7K@vFW֍+RiNƓt:`@V΅tKW$t{9ȑ QD avƒ,9T6Ya$a n08}U_U+S!RW54 ^~$afJsE=05Z ^UWm.Z (E|;Qym3˧6J<9WhHTL-L,:)Q|upFx$lOzՆWI)嶷xbE>~UƊNՅwٺj[ rihe [xVAW e+vunAGLF_&kH2[#jUH-o&HaG8LhZ`#܃^rec*̑lz jv5Anb`45rT vMs<\`[bgTz=OvXWoVmn}׆5r"eG4w=NTl xS2|t FCtʗ @/cWA6!xsv(qiUk f8Y(Fg@j=7oY&a{!S *E=\-hޯ3aJu/9;V4]LDάs+_HE®`} X#B:޲z;ӌ۳V@$Yr=s poRgYSS_D}6z^(NQ:Yl"mgS'ntg:S nD) o ]]΀~O;y'a0z97~Qݽ@\E [x[doPoD~ }gD/ ==Xah&4Z:Nb/+rƚX^y̢c6c㟬µwHv,ΑAGkIAԛr_"([zN@~g"hQn^SsSlp1w7ԅ QVz Vo +u֟9-"wx[ ("% v^ . c ز7`3w-B4]tg,5K2 [z@FsDe "^YLR)`V"68i) D|>16*x{赖-,mx;; إdfR94CXpnu/hxpekۍ|{\umU>ݵ` "wgYZ7zXZִF! v]ŗXi%L#K<s R%^\h( S3DS`eI Z}LRo(4~ m ;`iAcaιy)ۘ&kGG~]~#KW>4fNüPF>08'.*E[.T? ~3fCT$yHL.P X :JCyda; 6B}  bg-mg;}ʐ-Љp.nt3w{QKb[j&2҉76GgNqUW hJ(3N&ǩ//VB ܻ䈊S+tG+4rLF%n~SK["5R Wu} .;Q0o/哋JBrpn?A)S2C:L䓂Kbxے6Q w"m% 0ha;Ԟp]-Ni; /"Ko6u$8 Eȷn٦w!pc^,]Z7ާUwmvd uqz \e<-ԔSѩx`H>&ʚr 'gy5!B߈(@ЩwA <_kq2+}먹W>Jf昼tyHuXf&sga FwgmD;T$y9]eĊZY3 )h`"[L YGMN`V'G8xBTŜeYR/Dfj3jp2NI [~9JGEơ=x.0 IqA,A'G" jIpL\6}Ij? 9ԹF/'Ҹ(.1{>5v"Q#I~BHV=|`Nl(m-谜<WmttLTq g/%rrϚG._!.%PKZaŞc NlȗTzpi}g^}4?> B0fqE b nTh xe"\PBQ.p %Z9@nfG:1gDeq̟Zd 9,+lmJS`*`WL H[njl^Cz\¨j\x3ʂm r]@qFe3Juq68Qj90:kK0Pm9$Y,rϷS~.c98S SCt7:cXvo'F@ofwu؅z4 k'~y󟄚wQyjMOӚ4:q:I:MY^,F hUX\ -?_0d$$Hy>C(6oc=3x HQwOj a`'#T`1 SXωoєd9EЪkY6jzXBڊS93 Α;v_ "?dk ^=.Ur]NとyVV$ FEa~EڝGov;u1,N|Ts52b|͉v8'=xH&51F[4D e IN=n}ox~J{j7)A# k&$=Sg~eˉ󯿑ό%[xYyYDB+yqUV ڱ$ϟPDD} wz|u69g(KS|wԢ1p[&IXu*Tm~@#[aVFhA7i+fN]aR 0ϓzBκ* PV8us+7(Gz%fۺk,9 e>Ǿ]sn9ue 3.zҝ OZr$|oЁM5iqM}}[SC'AcNU:0pAyhk7/r<6)g$/m^߆(^^DtTR֗aulej K ϸƪ Xb __hŬ@$b}ā\LZkF7 ,t:Y!5Id^)5ZR@5( Ur| a{[. u6ǍNdjlvF8lay< k#؋ܫ)C\,Mj A_nwZ-FÄ!(pـ "|ԴkyǠ6ɽޥTe+񇹀rl|h$|e{_`H>il~Y'}Zq qԁR|3M-z<鑳0b?hcg5=:?4=~-mx:i Tb-Buʯ];@ >փ<}?"!9_zBVWhNgtCxG8@]aJPnG:FJ2nvCZhqgPKfS,ZR-w= K4oJ(#ɔk?hm݈mvA<{Bm;)43>ӭ0 ݵ P'ԝbzb#XT "ʮtoXAHd_#+Np C="T[AրU:mPtϚ%pR(4پ-8f3 ۮ%}84x&iG»UISw}>pdp>4Mz*H֟X$MY^kPWؘD"#0c,]UpfB5"0B Tq(Nɣ9eYj(Z]&vYɋuhPbYt|ν6q+vVe&ZV_5',I}^8ڠJPi ұ$`t5Tͯ޳Ӄ Ђ,~Od 8.)+E}!teWv".dqwAK^ڃ=a) oTsɞg L~ZYv{7.Ǝ .X7h&dn\M9Ž pqԪWS`zgxmz+^z~#xMzf`UC:lH1/"s7hK._cbyPnV|.& ꤴO*e-[CrP K7G|WWBl^zs/5XO^(j?*~H>-8XSQ}L/`D*^|\I*e2sPqh4hVS8WDe ;SDt+E j^ev="2 T9#L9U+/J(.\ͅ韫=(#pߪPhbl|A.7_#<(gzI>IK &wPB-X P'QAzjiwKĊ}VAC:W 䜩SʉG]aUۤԷjW8QpeyxߣlUo{ < t2-> fPӮTQiHmvھ>tVcyG8.ܧhF>J)}9WּicMWX>Aa_d-% wz-5]]07dݲ֠Lp]yT40gnk[q_Eg:x>2wqZ Ots]+FDr`/n: ?8#s_peYsU;KS*.3a6^l`+cèÈ8@ºpojiR.ƣLtIN,*B2brfD4pk~B_"G@l:@Cٙf"]q<c5{K C/PGf  #GnC:\z7[ѫSO|4~w_$fHVNqV'H{ u}[ui RD.AY:F4#&.Nl|&KL5 3I@53ٛD2 8! BU9|>6̥Y_ HѨ"Xn YgSmъw{R*z_lY=CG@UM#ˢv971 'ɼp+Hբ '5!_4HacNp$Y8_iB)4VC7: jۧC7F.3_te}̡o9v?m/:/(ucboșXn!AA2f, .sb0IU1cbX-#Tc>&b"bj#8?[MI(ZoOEV_}+( rm E_o/bƹ ؋,O> ;~diLoƏ?qV$b,$>NpTl 8.` rvC?rb&׺ |__&iʚhhh2Fڧ,rx4{o-(DNSqo I-g"4ruQ`IQ_9>%<#%{..1W~3ʹMUI'xYe .Nk=L΂Qfdk+O Q rǙk.AJ_ sPDe}88%@5[GgYZfef8abcce4ac5e5406a735586cd20c0878c66d21971b735bb93991ebc30ab05e1c5d2490d534dd41 5e6da02360216761c8e3eeec3df5cdc5e01ade87 cd005c5df8a5f1c80b3276163eb097e8f896f33e