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  ' t\ ]]HOLCF-Library:threads=4elapsed=10.329cpu=35.500gc=1.072factor=3.447zXZִF! 盶]ŗXiɟH)0%o1.@ 7Щ&XK3svAR˜d:r Jw#BjO)k~OMy%XSؔLHKӦH[N z dɸqo~f?$Ju7@;A>GPbm~Y fH%ha^RϟsC`^LrTS%NqSpBX/ӨO{LM8BLXm亰aPC Q M ѡ2{#rȑ+Uu6g !7i0zgw ddn*qg͋a&6^B1}Xbpi NӶ|8Hܦ%+w_Q`_Z(7nY%_NgbPZtV kbQ>=0+*>Lj 8 }u T0qb+Ǭ)Ӯ1*RHJM0KX}wӪRA(_VݓGo;.Fs6TɝtЭaL Mל: 0@4ɢD["LSJz Ƣ/Dx*VX-j׭;V4}X. `.ްX㍫.=~i3R!Ǒ5{P|@iaJt)nPK-Ϯ6]>0#|Ѹ_e՝U1>M}|@?. 5ty@T'}nn3*1UB>o%v>ӯ\ۼeRW4ѡ~Ztj/)} U[0N>AS,I U2i90]v &5[PXI>bc/xsE"ǩ,`r-rS,I+Jhǫ_&ȜK+#NuoaN7K}&IuЉК+ P*xw>5-wKFLuw-\TAkD ;E-5N'At:%ˬgtySU/E{^ ׿ t腨P֙ǂh ֨P_H:nC'ôf? q,KTT LX Jpևl).?:0qOG3M{\EA'M9[Mt,.-m> :QǾ;r|۠m ݞΏCТl..#7)qm8+Sp.`|v2㶀9F,JDU1'tsڮCqĬ [p[l> 4p-}!ixve[2ܞBǂqKrNvMyꤲOBTinu+׎55 a&m'CÓcX69wFIle/*)|_)E v*tcOa=Cց`OuvzU\'[ip,H;9 v$}VeP& 3<[qK˳\&qN+OPFF膶C45:Hhݖ(*N"S>%s^N?;L{A uqQ7&Ȏzy[*5;L5|(Fړ5KMSAN*W(Ic!27}uQ|_L_Fj'Aiv8  )/ vhLK duy."M8?CTܗ{co!-h 䒈RaAv ~ QrIz"k$54[j+7Pϒ^ids2ko BnW(~~_@?&i Í1$]1!]>Ix&}p2Ch@M7\5C8ĥәRam!eP3i`\ub3#jc__;aVT.Dߚ9uĹ4Ə`IAwYMz^78xQ.99{0$<ˬ8cl dpјRpVJ} ' HOLCF-Library  ד&ϖcJJc١ m.6jvJC|äFO8J@܂AKd\UdmB<&ݮC6 5EC7,7#TSĊ&e/*[WR8ދsQ K|Gx牫EźT'5Ct8H3Y "q1HH#\Z v򋿾"npb#p%E c-VzEJX ^lysgZ+Z6K$K&<  K璅C:8,xT^ Xd3CGZoS!4u,rk$)r5g-L6]ͪ . mGz?1 >:Dzm \|b-xꪬ_&dό4u݉o xb%/1-|_hpZ8!_"ur fWbK~Gyiu&B3L$uԇt]G5 :w4ϕm(nF(LyxSʩM9BICȀ[o[#Cs ;3ؘ!Xwdq:R)_7}r 10-:MŁD]A 9&] їs@kĭ $PnQtV ,-xylr7,p~-Ө| #:88f¤ݴG,V/ np}p.H_ʹ8+ (2U`;n9WRol/@eRI@?אuz/xd1 (--N,'{٭8K`]/]. f4S3\ g9c PౌTYjo5ۏе]j.^qz(r1 J_ћejzX1u+ ,xht^$vRG.~:|펺Qb:i7+?` &N^P ~`.09L{F4! lX|uJ%on@p, a(nǴԗwTD1Dp0+rPU,@rE"\'ˣ•<_'c_Q&Sn#*Yդ[w|UJJ fꉵBQ&uW~ -l9GEU}9a\s$0 §~MFl.v3g50>qffTƜ>Ձ u/T#xP`5]5JBo/0xMkܯ%e|RGPHw2RA6L%-;i֪'=5b 19v(1D^FO>U9l);ku_̼U)}Gln4* dMS׷GGO:erjzƄ6 `(mkfF+ b?{j.jB+'X*9fHlCdCb? _?'_ץA)lw`BPKcmiG٠Y3E]< `L 1)EwN=9A;6!oiG0Ln5DڢIÄuL(zCrƃvO>AƅVzITA Fj߬,G.s~=(Aw~?  f` $7 dwܡhmvG&&/Aiϳ3 xJ"y1qu.2RScIjfJ5@D:;˚;OV uGTXB;G2b\KhNWQQ?F`= # PGx-,Qe9`v=:K@=op]"+DEyk_~$FrHĻ#ͥ?mB,U1wc#$}o 9pGf[(ll KBViDqtHK~+I Ƃ]E+o.xAt%;^ +ڶk&Ũ Ie Q ԫ=ϒL&ˇ@h3b[3ee!)|{ƙUh:'.0RMFǷ[5aJԚ>d᥷ %Ig?W Wmk.;}j{NF;F{U1]O,:kg>ݢ%+*ջ`m(wGJ2 tg^DDF=#n)`ғ?0M[#ǴX>?W.ĤY#I4Ľ)MDtC\DZ)ƍv!z01\R&Bv{kV۠" \|Je"o,Rw{T.a>TקNh0̯%,1A_B`uZ 㨴$oɄ,@[gYPƏ 5Oę{c$Z`2ku罰d鿼,kpZEq r:V?,VpiW,fNU&ŷ;b9]/cq<[#J%e7a+3@@v %zJA|u(URl* 7,y^ ˼ kgD~*Ry"*R]:Ȩ+ -M`%Kkc=aOslgG )G2s[i65dvhrB9o$MlD)=J"?Z@~86WE/ogpg!q) .\`НX3'q+BD:g{t+dF ܦVOvmON2Qݔ;/ ` -x8#C'DŽI=cTgw^?!Cן>FbڥA(`1aضD!3-,ub!>>=ԝ}=-ETAPJ0Ҹ#ؒO7kK{G(?J}Jg vf F[^ZdA>}/FUB0 ۲5:1kZ1 Cyᷳ,x@ԕ/oZCc-0D;:Gݢjc:HX'*H: Nívd}!| Lr $ ]Λ/2-J:{ leA%vI [-{L@>#XA%C{iʁPv@Cgq+eH-˅-@23c$ZU Re2z.’* %:\VVͫfAo0ĊWMnr$lnуl)vx8UN_Y}xJ~M ƥU,,Wk١<3YۡbIDQl%S *<zcOr"ZYVmR-sfILm$%0WN{'淺L)>COX{%򽶩\i!IV ^߼0ܭ a]E{oB,f'[3ћ6qhX4:XpƵIa S{-Σ~ $+N4-kw_ԌCoܕpn+̸7۶ce- `5m"-BՌd LIp'E#b=:(~ӻ pcBWrph.syt"Y ]ٍXS4:EE]BcN6L{βKL °.2ЎH!n峌6&CQp 1& ^mw/ds4шUͤ!N?xLL<ŁApQiy%{#f} &֢hZə*|x1Q9,FMCo<2gte'ṂfPP,g\Xu&1[ Ea_0\r}X][C5.՜\5i_Ԓc0XZMDg֙yШU/aH#GkOմ.VUiJQl!4-n}aM/Cl{iU-!8AG?Ʒ9K_J}&C^r‹d<Ɖɣf~}Th&B'lj#h 8<8 $_~q_m2Z*O?jft7h=C6/6 [񜴼bn٫e;gX"Vm1 Ȯ]Zk4ObD0Ƙ9s]h%+q҉z @w1˜ZjY O-nPCHR8dOQN FFlR jv!r:1Xv|U]lJ,#NpO1xh+j3ej>`yC}9=ަVlYu$Ow"?&8EW3lCR1D8* ӿSsG7ZV^y6(Xi#/zRigJhq9 XQ>2}n ydFwvmѾfPZ([?%!-S{R;R7is) [{jwzO)6|%X0ʹtڛ=x xyH%/Lk̶ٍs2[ymh4kSͨ}-#(/nԛ F7x1<wȇ%rh~%͂-CXPQ{?9eOc h\O6~`L0XITp')U5"|G֢^5',nspu5-=ڋ'昵h.W[] .`I` +QrV2;򿟹j0ƝeTNI[돈2*Jn)%x3u2dCG82Ӯ&;*/"L;+]=$k)OI;$!lN1`Flv^)֚l7,5W98 d"A?Y- BAF6H#&! i7Czk%pBn kv c |'b609h %ަX~@gR+~.> *raf Eک#S1f-GKWK=6 UX8}bYAMDr:ASN%(u`E$ͼJkT߽3Kc,)tDqWy Ad8 W/V*rU㍺_ ntor>;/Kڎ~BIf|+䦥,&~)}CJ4!cy h;([}q$ܪ(+/ "h19*Cnᔒ梊$]nF.W.[CJ3S`Ii_{zƽo_vMϒU{_tPZ Ğ(cRܕ53 m@(WS''&I3<#ϧ^u z[JLC󗝦jvVyM35M2'5 ō [#gY\9GC2@E6tk0h̏3 w( nȠmhY~Iݖ]UNPMOv6ή,1&rٟp-D9)ǂ{L[=B3đk_dI%TNJgj;Vwi=lD߈E1t>I;bG`^k=u;VUN#62.0 [d+}1KF6#iQ֏ ]cg *^V+>^q'eJJ4⧳BCz4}oﷁ9;JRʊ\"i}af-Ui`').n~Ke=R2r KMWxx5VތZ4 rRF4@4O,Fwm e-Lª7o"N?$v WM0y+Fzڭ 6cDDa:B+*ԓ1k"ޛS%_E~_,@%xZA3v'ö~Nr[ g̫=(-^s-٧6т),AI4IRm*Og[-'VR>@5^)KW}ucc;{&M?a+VpDrS߭[(%, b3eP0&esDEBbNU} WC-cP3H^]0'UT9,NL3K<*B~ǥ(SpsnW &f *r}Jژ-ȧ@6t&K"P<X>Hϯqךr S)I 2/&Dh;9cSxۋI]\h.TC*.w[pR#JƟ~C!iFS CDmK2~0?[{Y%\B`vvr5aV(,Zԇo l:{}inHǍ  M?؇=<\yޙnΕŀ[tk>?u0XG2m[P nBJKZ{GpciQNx|dyuxm(!0radvFPq6X)bP"%q^(Uň; S6(݁{,l," #? Yo4hZ?ZJxmc @X:𞕴g [O2O,2M K2Yirm̯?̴˧8 àLbo=poT? Iz 0͉ @,qE%;K/T{X]wʊoAg0v^4!zv$w B4gBy-PMۖs(&@XԪXLzQJ ́`~Ͷwj݄WA3дvSȑk]vP`ulI$ow2Ŕ@NTۅ;i_j Owklg27\#r>t(ձZtoEm0'v/#nsZ6|cQ^qF3t&xIZU<?J8iNQZӗ I. 2]A_3L\눢 AGtTv 7ᐻ!`n.8C;W[HAxPC3x;  u@Ac 3|<g Z!D+FZ(9.(1oIרQaz߸26XF(f!*UC}) 0p֊ ,Uv JyvmiD"IAFG䛉_ȶ}a H80u`Nl kIIgvydDI')qOҜ79/u7&AĖQLW)_"\b 덐%=!;[ o]R|Ea +ڮN4ΓSsHם{.Cѹ{5%;IölwG?^l?{`Fp\e+AOP+FG(͊ѬTfB xKup8>;S‰UF: G)l8,UϙlB &9ԑ*&)nr87#m_0KV%ϧrn]Λ{#;mKUrK~ O ]61uor6@=9DL h$]0t⃉ AM٦&#K-$C5ă08mvW3Đ͐YL?ӹ3(\Ls. 9F4*SCι성};>}mHln#v/Hʁ3vٽ2}z3#e|O43ePq!$א˝ Z? LRSƢumk ćcߪ 6<%WDN, 4d?((P WwACsSyf՚}z3𴥚^r'2uUϷ _ڒ|X0U Gw1l%~Kg~$& y:!Q9I x L%GMpj %<1]쨵#%ʈ8{9鰕hh{׻OmL8bx.TK<7g $Gdj3 -z4D}LD_;ZpZBT%/"gL>8NU7 !OjHbݟTQ54 )Oe}%34q[Q38Q6;^07) l.L =~gwR: 0h_"q, %?ڻp4p '01 olgTr$mHzxi%u5ݩ tTQ$fۚn!6+|&4f 0dr0I;9cºX bPqӧ)wjMjEh!|E4Ei^!+l?9W>z x+&LV4#70IK~@̣Q˟ ,MͩhYMR`ED9)\#Mǎ4r9gK#D ׫{nInh1I]EE-]|3 W6٪A 2 e\&{Ⱦ*AERҘWZ==XĐQ|ud?̄TQf·a(g2fH"}$ªK*>Vp WuDC\*22Y%ЇfO%sq15FϪS IkE$|tHG&4+4,[(}NYNXcmaX 'g|erE9EW-n+2]{FhAw?}Y>j w)#n}H_oZت/Ugҏר(`~FW2,U?χbNZ> CKtAtm >Wd+ v846^5Ց)FQ(G2i0[IpRQwqR' , ~ B5. `mde›WfrrOƆ4CErk̞yV)Oyl>ܒv8@́q_* `bR7aּacc Ar@RYG9Am{$d~uk~B1[ZA;gƹeƏ?]5`-6&AHƿGUjjLO#RmdT%;ΨsnukvSݤ>o=}I3$pph9b=jƟ9S{f ů2et͹g; Tl^p QP߱.>DЕpvy*k/'V`݊(W9() ۔m0bvkևN  0nX~w7I$w ()iP` \jlgW"78 ٵǐԦs PIq#3U55䕕a'X䏯{|/J߂uM)ˇVl焝g0O*74/5.3E6F#Ad H9OVލ.x/tHI $fYfL079oI KruTDxJj_@ZQh=hLO08oB&C摘$:F>$A ؜)Ja'9u ϑVl E3ЫɚD*e$+-Yhv<=уpv}x6=u"第)gl%9XmJC&Sfv&7 ׳X8n|-CAVF8ٹ'X[8@)`p*rJJ˹9~E+PG)LEnMi@9FK=䕬U9j VCI deHGݰK퉷(  H>#lJ 6SԲ%$FNfʜ=+A%0:,)v^Z\)y9Udl=|r(=ic{R:ߡ=-,x%7bYg"{Adsh$DDMBmzXo2}r$h:?xd/7NhG;KXEYkMkH)fi¡`{⭼;+};]:#(z};DASp킅C rH'Lr U Xvл~7p񎾀-#G +rM I)1"18z*6'~KehƝӞ6N׀5JC%mpσҵ8i}Ur=jdp d&0 KLzD嬔(SYHC׭d6_JmnJx%#a@%ՠ=-<Yg9Kգ{3'H 잉7)wex)VqX:fv7MnE™<ÈwOZP2~ R~ a3"L>nFȺ])AN3 k@SԚfoעAܯ[A wQfl᫄N8S0DZ\?ސ -f ~3szS?9!h{ޖe[~P wY/vkT̑@N7prl~}(@35eGO"{we+,m9֠D-4z'x%{ϟH)*;MN9 ڥjpB05|zyA,v%)*v##G^#L0]׍-kdIH qE[_";n$6bPn^Jqya?x7eK=nSPq bv7Nl&3^|y i,!a`};ɹ& (Ve7G&W<\J Gź?"`:01*nx57v- Vhjqr-B]WdMm$X/ԃrwEo˹ec+_EﴸE 79Jh2&X%R-kA-V^B)h:}.fh2J0+nw(LI$>s-eZ¡02ۉ0`2E9K}&,_P)`֠r-KiR _F$VN[GyU4SI1бU2qv2?9,-, K}0jejף3K;~|ٕn(- ʈL$U2}XdL= zJ^Eu#v1形cr,wn iwGCzLpqX, qĢ+1?"p/*VqM[#.7bKP#w&r(!3FX'r6#rbt҃Ty6醴!*Hrr_,c6 1Ӏ$Y }2.o9Epj^x1b|d# g V؉e~`^E{z4:}уLtTT`! }8C{ޕ^oUf`Q_SϦԤO$:HW1PWn~ۛIdceO`[/F>v9}ZR>ZtU~MF4-z.vdпD&‡l TJ1c_Z{m!f)6m =-d_*0ɤMs<2wO@kS햢dXԠa׭ih>0EtN:oHPfe|*^dr|H!~ģ_1nv Op_W?T0LyS8֦҃'R\&cuεI-Ljrë`R{oTЀpUdӼpzsqQNJ!,f&Я[u/X| JU/Ka Wfm%0;eEߌ O3D>>r;l pHeՂdilZXK%♹u`̢ݕw \~Y3EfM-D_*TDLBخ$v>=M<7HH 8.Yb+@.JhSxJIReN+IOjGq?; V`?AB3bufr7eޢ7hAŖ"]e_oւNG) N"sVG1k>C4/>Y*e+`,ȡ}Fz9CaPa(&ʂo8KDhPߏU7wcU x=?3b-](d@K)q݋[n4ǓVL d1R̟X)FO^цKw ȩ{׀<]yFt0ǁ`20aRϥvΤ;cGao4A+N+X!'d]qQ^J:E"g)|wa>} p>fH!P$0W;B]ϓwf_B0#*eM8&Ra TDpǣI*$l8xP څ1bR-4pY9cUYa36_Idﯜ#Mrmg@5FxiqEOΛC&kȼtNfZ^c̣ln%'ӤaZ<ZLP⚷/\aV ~Rs]4ybW]aPS$@,%IHE*##)J/(L2؅Ÿ5NJ)mnrp4`31S}';FA׼f29\nNz9)%3{O̊'y[j_"CPI퐍LTm֦IdB ͿRԨeJɮV(vc:S8J'axōaw(1bL8핈 B:_W@w$wYa$IBd,ӗTͮxㅾ<]ios:˗q`}UAX &R-Sjյs[CBjF+]'*N$Kp h3MP}<בTc/(a*i/% | >?u * #~y.3!O{f=4ye8<y~1bltQƱ#C;%#LҫwK}]:߻3O8дmJqfKOewjGaVb{a4rvDz~f7m-?[٦[c}(Ya8-fc@ YW3c7.7]`Gghd k2aJcYFR2C^ʩ}?)ᔨ!k>FARwVDOk-iP@Xy~'sբߛGXZ٩մ s uq Ӟ a:QG]nEr/9h ?JoSCH(U$WGAmv&0nc*JE-긼ʌHM ]Dw|2 g!LHSQcjl0#rTID+Okνw}/Y4^&hw%Jj/Q58sD[ǎ켟mTǽS%RLeHP8=4w_g)x] l}kStdgp۷7AtKBri /haުT31XĶSSܫS|W4Q+W fl#8#W&+F_ѹ/7M`Ȭ!h0D]|n%ёs" (az0聝Hw@&cfų(Ŭ0b*F@}* pY |NٺwS8ƽ)LR&H`($P@3}܁LŁR?rwQU;A釿ئ iX!0ZMV4sQ P1Q\W%`DfZl熐^ NWrJ c%}F[P`QbZ|.P6~QETQ=%3٬0p.Jy ⎈*ڷ]<S*F;!&iQshfCBe]r67Nь)[n?-CΩ}\91C~κwe 7<|u3<*,T"s4(5ɯXu[#ըQe$!íLă_n̓wkO@`!(J$b`S_9M<8Q(YնL9:ҥnD6Ξבs뷾H|! BpIj1]2v2 uTq/LuY ppN,$詚 >s2΄ۉ[}^Ԥ7H4(I2W -s@ci@(PzԲRcp;T`~`7hZdØ+KŐbY7CADKG "t\#6GSəs)l|4=h %y,uޟ.AX&MV8jn L,'~PޅpIol,g\Fs@hY'LQ$QJWI.ͺwИWδ6K?NI x2W\>47܊1R$ %"@r?8@7W_ 0Tj.Z8I]\VrݚRIr=Yl(Mc'6 !͂/$AE}%^%T N_hd4Y<1쯽)=07JKTmat}xT9zN;-ӡw8mK8R CN)q_Zm FL-ry!DJ#??ML}V[CKܝ:kƸXv]1qc0Qz+ٸ \PWIM(0Kڇb8n]*{qG?wdOo$/ٸ&R`I" sUޯPуKx R~ Ȼ >kC;CXxtȾ .~}}\n ZڜưnNl$K0ƎYB*|uWWpBXgH {aq=;6∯is.i;XS{Kt׺a!׷ O7Y-(2$#8Igx\KE[I#xi :Ƣ8m<y=k'kt?A큃DZf}3kX.%>93KJBؿ~%p .bF0V{S\W?U-ό|nثP,԰r)J |N:. <lo~BYϫbL@HH3p͑L~ ٗ8d-ljX_WÐ6>" qVջ]O%#2>Zn0X^2j<ebC6y1/NsxP,}[4j\݄*b<_~_!}FFRWc1A_-^vz-J=nhaW7@\(XӺC(p/Ӛ4.i?(o;'DƆe[!Kori-iPD7X6h9qklebmXEi}! u"zٺp~^?@Fw pk r0Vs%dPGu*O:F_[ם0Ҫ8)PL::~$3~ESؙN"=C¸EjP戽0 2-O5,y5Xz޽Dp44K* ]Jf6TR6c7J&&`S&ahc&2T;^:w~#AmO-&;`%s@kw]u)_ϕOYT ȻTQ;W GH \4@)\ݽBXalLOX{ͻ'_2rb߭n&+7[Ϳ9´BEƽAa3>_ٱvxɆJ~A 4<企Q\ghWYEU "3EZ{O#vw읡!PeMMq1P71&|kXTXGx 80 `sޅ3!D3r2侐4eɒ6e$Y$۟uqTON v.÷7o(#_#7َVq@ 4Ţc CR3?M}عieu N+̖ exTC%]07vm 'C[7N2|>%wZE ]}/Gn+\"-Y)+ ^Ƥ%)p!ysW.EPܶ#$+^wUz慴 *F P2rQwS`t4 Alp,9F(r{KKm9tFξV}1s.t, fV\ɲs ћ r)#O&_#Wd9 CcҎyYB?m' ɐ=ξ:㲷9b'0&{4מZ gyHGQyV}mI5iz3nMT(؃ QY*y Tgc`otGէJM}R`4)~*TKX~lp1vZ 9qr,Z FܠI ~FAbF[bn~ϾR-|ESt>K9b[4霃z[ƀy` N, ^mY\QC)LS%fzBFḻ;rM餯 KHS̎~I,5i)fy-a|OCL"d3goh>Rצ;<₱%$e遭I ITʿUuv`',1tO8s+Xfs ߄A"_/i= [>~6C0$QfF6gb4s-S mWf%o^</"WH[&FF3k,yoN2(R'AZ1w{!3`A@ͺ{ˑydEvt>0I7U$MtOvc <8/OӖW<htu2: M5l,P'*# f'[F@C~Cg5'lLs)'D1 ??PT fݒV=}ɪsGZ иC]tH)VLS&B편Ř1ܭ/+oշDR4B:홏X,ZKIF=$fpjn=gsoESy,R bmm_iu˃ˇ:R~]!kjsm)i=rvlB:RGk~ּq hJa8èjR}El]î/\%pKc;bvΈtn w . JtQ}k9TwB t3t٪{BCgP}mG0B>cAKΒ > n}d.WP0]<G`MB+N](Aկ|R<ef`!SL@쀨Ш`N=~vߌr_sPv2۝ ݵ>Cm{T#6$ʊMGJcEOťzlTTמo^}HA u \Pu/@۳l !ë}ֲSjKj,BB):c1$'%l6;>׆ڸ(OjLd: F\m[4ECV u<.)y@U X ӞZr{섪;I,YG&LUf.k,&6(LLd;I ʞ<9<PwIOƫJf)"xBpLhgŗDh $W6:=\f SJbMytWCqC&OO>9FshΛ! KE! 򦈣Sʉ!sB! Mf e.:~]ܞD=7w}7d0PMI‚1@RGdHe͎w*/r kxtuJ:0]4,:7 /+Ew/A414AW#eD'=F?[ DcxVS%w*:a0vik\V>)?ѳsAC=SՌY@̭'vK8gaTȒ އ` 4RLJ` ڸT{,uF_\:l'}Ed]F6{lpeEӵCvfj n)4#%.\O XWEGQ lfE"lp󉙲-M(h_:?d]8N4Ix!k>6<,77/]6 eU9n˻ v${PްI<\]ĺ`o@F:bc1_ˁxN: $a¨2Zçu<>UiPo|"L1S%INQ9,\>}uצEZ,&"IowW\]-Z0عiq"${d9 bnt0IqzC+^B|b0k^5RH] [wEצAU!1voוD>ȸ'-7CK-5k qD8+QjI~5##-Fl|wgZTa5Hn)dI){x{3Z WCKrn!a5ɪe'IHAQN*Wdͭۮ""[\2m{9[Il`YY)E?Gl1m )c Y86|_k-iEˢ; DN5]oh2 i)o:_KsJ"_yk.:BѠɹS|AR鬙W[Wxw brsN~EZO^Jq&Oy!:rZo!3ڟAgY0b$id/~Vv1j-,tjD>ccKxDo6o_%*Iǭ U:@&;sH"@uρv.X$epT Z))/F-R`ĜǏ@z1jQ_ = ()Gw宼Z~1lF KI@G0SKo2L~)'$3+H,#JSݢ!CXvDr&oivu^K2(R6i)U5n&Bb ! :yרD-6&xtsa q,يۨulуr[ĩ{$b3"Y9M0RXC)3T-h5:[6ԕI(ۀN;D6͔֗%(c O$8Mb:b40{|D7; !+#_(+=Z>%/g#Gp -w=Mr~)~%] Z"7ZVJYʰuQyt=AhUdg`++}ߟwE8$\=)#tuXjݬ}S*WA$cA+}su# N\ N#GSȌ{J@bj.dbXeZ߫Dv%p#)o`Ka^^k*_M%`dMq և994¹]4AtGy=keCSly"d>ri9Sd1V ]Zds#UP޾̜\vo.&*(,әoě\%l,q?hp/ i,"<~XY¤J%- I]+Ae]I|Z3VmW͒w; 6=YUT󳐇d;A.75@)8g>PǞ~WfEIƳ}/o;]\t)u(id9.Qj؀`d۾}%b"oLMu x#SdSZ dѭ?`7"pCT5(oalB|Y*<WK/1V]lQ55Ku,9xB/ UR|tHIA1qܷ)8ξA\0uP3`3{׮ DPd(gl@wyqD|_iy%-1ٳr(q'L70؟DgG5Ȯ"dOa!>#تLd98 #%ʀMEځv `6['%J6Ư'=K(_@l3avRd렸ŝ`Dq#E'w!,#vH"T6ʂt쌪3|ZsG"z1يgB˵\mƢk[_d$'5'FQ6RD䃱e]UQMrBA"zϱj*+؁U @rWU1.+l":ּ}dgKg (RE~׹͗Lwu룚Z 60-Q+XY߭{YV+Ouv4_,8?ę?X]chWR1^PU5EQѯiԝPOQf;΍ 2M}ofb= qDS4c6'r>ƾW :lޛ5 /ٿ?u\vZӘnD0Q(,g$XhЪҴjU%+?:]r)/[橄%dF7 "pJ%0t}ћ*W^Qg5c(_ kԈz`蜢UY@1Q:p%07fQCt%n蟓gmQ4|ͮ"kV~]tLd`DX ؓ>b"FߓӪ+`(v/6VL݁xO1,QBsvgVׅLlؽ~̓ťٸfn)@- &t^SA.e@r4ѹS[Ճ?5ۮ `Lbyn]ȚNqf>[ GIj3Icu!e ^&[2|Es|G-8?aǒO,JΧ+W2%9Y] mΊgr2Vtr)׍ mڜ>?1L*oe#F3S9\^@2DWPTE_gg[RS`y`Cj4qAبDŖahLN7[2l!aĨ)8TIP`Sϖ9~te|^>$osH.~\L~ϲVM!tb5&bLx$ N`/ =t.CkR8'Do)vD8'#KŅ }Vˠ%sEYу3U7h1:.ޟOyY"+'o%Qw(B72OZZhXcJ,N-'RH>?|Qv$K ?T ;aE a\A6O{E/lc\ד%|5wLػ䦊'j7pR8^N7JxfLgNb:d5-GnF,&F"ƣ3e>E=l+jc|RN4l֭yxA;aXgEzdͱ\vqd8SH\LfX0$h |*v+L%8"}_H tSGW*@X# )&rRbq ?!4iRN{jt%]b@~? OLG1а, _m'BެO!- Dwΐ - +eIP!{׀$a@^%n2S/oDa~(42nI_AX9oD]H^mvH(Sѧq53\ ]C~(OYd*E8򾻊CtbrS[w+ѼƫKÅ=j]jIdp Kf,)q@}\u^7bxǃ^ #Z9wiXjE`JaRAlPq٭~?%3'5 m ߽3 jp|Gݮw\6$mT1lCجdM˽r0I/.N־U">/k%"C]Bvy~FqQx^[$|W)| !tU;V tHt*թCZUS"7źM%N2-OS|&+$ eO26;+%C)$5 }TlȪ|c }Xu)O4Žuފ%oK*.=G5:|&dxZу PC蚹52x -t[FlFJ^+@5Fz.tnڻǫg4Fq(.gx[ib#g$dlӇuMwdӘ-y/եnϬ'(vؑsp 7˵ՏTiU|mnX c$}tq;NJ(LՉWu–iw^尸}X[yLnY^fZȱ#q1ZOC?{qn1%~F?{# {8j ~soJglNa?-3tx-$9ıx1MSQ-[¨Y`@{xbi߫OՅKg/jq耉?>c|YQ1jۦPihd[[P(poƜ fgYZ7zXZִF! :]ŗXi%L!l0ʭxT*;SBd;N(8]ܶ^] Nvh'82aeK$P7ZzE' 6h,/ +NhT?ub@> ]e0/ʼnGG_.#@ E$'K1; !aGhTzE٤"~RMŶ+ 6L_a=V!9\>-Iʫ-nbF?'pȮ+v13@zn"ְS T2.m=Ts(hG%;ivkBexmVz7ab,И)cJލNڎP.i:uwS9U`lȐvaԩZ 3- Fv- V}t2:3[WҊ#Q{hf. @@bA6dc=N fnϜ˪=\O)7 uKG݈. "xgBose>$]olA:rIEa Rf[UKRĖAcªckzopXDFYyPB38}OH(+60I~yyZ7*9/g8)Hѯ5(hT˧.dT12LvaYHSbhBZ 6wq!wym O9E7RU2i,\]/ 2>r9V6n(徳ٜY}Vp EQ;I]Vq}ſD/Ƈbg(A@ ? FuT\ߞd _;?ӏke6ׄD{`0xQ%xSe}$a, %B\;i}amjtn$ #증Lm7"fsɪq|ىat++dwݜȹ/ զ+z23x GH!q 3 t%m;C]s*LqBQ 0gbhRpUHn`v?[ـ¬ 0qB_[5AR[WU`ovض0F~+̸i/ &ѬAVA҆@[*\V_mmѬB>S|.ѮXuD/Wvv*%6