SQLite format 3@ .0:  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 %`;Gؽ8nt*q* .#lw gh,jl({_# ۨE DԺф$nkJB+Hܢ)#e \٫.Pp5dSX"…e.a [m;*6")uLe^ru@ cL.z0T!_6ՓvE W n@sODG{&qx[!Tc @%2Uu!I H #!-즐ߌ4x鱱aZ7G ϦLz%,OeԜA2Bǚ4rÝ[^ /ԦATSsNy_pCcO~+sBJ[$YI-y~1薠rw?Swr-t=L% m0R ;VrX]X}#ɱ!} [vaaJ[;&=s-Ul6̝w^{H9\mv٫~ϚFT*O4 bQK f'Zڳ"+&Chsri3%M:)Rw}1#fzvZD!kwdŃh_ԅ )&Ү4,?Js;0\Տ3D:$Ž`xWj2>"y3mlk ?p.N.M=>%*<!>`1 ʼn e2YDXoZh)HC(Kkq NRIĺ~cNO9#O tpؐL$?*` q╡J8Llr1a0'aݺ j:uL1CIETl֩/eb1Ω*d4 ]qszOxz`7n/c)=v[֤xe&˼jDE胤O۳i]WuICk]j{F7V9 Z-qPX}9:?z 4Wm3 ?a<-mKڜ?MD;_RoF.XY2:BsƇn]&Apfs08}&H|bT,ݮcmud榺rOt['Iu8inĘX"ҭ[JYwf>Yvn fi "'%ݛp]qCLD"Mt ~wRP[)>JhKP"-0$ݧ(3 R8dpt:qq6%2> 39c} 3y*8[h-/%wYJ)z!U~ݐqP9E#ҙglZwѼϩGp,lZ5jEq7R7Ke>u_]5"wX)N⧬$sn[e|([Wo]r@0t`J3wi/"2gfAzg0γdv}[?sPؿw[je" lPG9Gb]0gzd1rNJԆz֫h*Į,@٥*|l|ҵLARW`Mڎw1X= Vي€IC>RVҡn,UG? 8?S7# :繌"襮9xJn ް6o8NV8 WMn CJ0~+~>a?iB#Sn<]IXSEPoZWڽ_g !``VI}$6  'f\ NM ?yg L#$pԖ ɣy3u7㾌pn]i.+ĥ3c 88 69t,!\)Rq6Uc87ͯDcRjAZ1^0ꡲ8iw rDu7%Ӳ}x}V#v.:؂IiokL\uMQi: 4DzC=64,0o"]͕ﺢ #l+ӛ/R"imJtV2NJL#$0.GeˢkNY;}7+JQ0i!f@SZ9 KcJF O?>@mllu'H jm{=kPڛZgҗ1U_*,:ay9jf!2x$Ѐj>cO,Y}ٰ+%x]DsRs]!rCHˍ\{9a<SpgKZIteH.1.Wd.n,*j]s6>A`68(&^xjl ̿1>LY=R*<t1JM(ۘ.Wmw4\(2V(J: zBj?WA>G#sn갘C Tr I.-m(p2 !5| Zv"ITz^ Գe$nzwrNz#' k!I_'(;>~/lF#P.ϹmZ+'z#\*|j5^񚹔ӿ _X },(w3:ҕj}UTRNkT12͊7}Dʊf?zim(i|b!L UKaeQn\-/R󗡰ޭS3XVR`;EoZd)<6%ɲnntl%Ěd=$(fTM_<.u?]}~T*L?NMRn9bf')f"U{^0@z0^n%U r6~23E= }r\zwQn &Dc;:O8XSԸڷ*y) lt4t{lγY#EώUQ~nwf+W/V1FqϙŐ `}YU?pd CLDqB$G۞%jj1" @MiRO[*\cIΓq9w;q nɚw\fL݋(bsDyZB:$@'hLuz2gZD|H3kaqǿob-O\7Mxw\RBc~}XuP'8vIrɩGK[qFw+ʙ/ZʏJUб)n hG~_Ǎ_.GG0t ÒVGZ{} pF7uw5IWۃ_nÆb=ix$q]{C&EX/L>]kO"(wX+o_gWNX Awt>{&ɐE0cһNU$K+fnZmR(ݒ?C Yť- 7p(8&ݵL+v`'b%R؎K=rgM˸ 910:>͉\#\ fO2-hgX*??ku3@G|VL y[nÀh:.[9t}9/dBeL|Ml,.90﫜lw!JIiT[vI2lcszzQ@pXŽ1jհ]MVT#<}{}`p ^%4R'X N.@sCy;DbR w`j4U'߳#L`y3:m;_ ЅG+ J$@ɜkOt٭F3vSg35JV0whbC~p|i \<,C8~<' 3=pJN9®ڊ W\(g=<ŃY @P@o̩i۹xz qΘZt~Kɱ$wdV# Q0ֿRp-~QOe3_S/c\%նYz^oIw*COZ ۦ녦G+ bdx]"c+f0əl'+w_@Ů*sE!?%>A]=jSjmiVRV˩Ol3a'pR e{?NdC}+|M8eLW'Pl <~ѝ1|58B$cJ>gXX^Gb`oCw^&/N( 2r?k=OZIa$Zh\ ~IVR?0Zar^r64G'@AV'ݏBLrPY亥$_ Y$zLfsjOZV(/U0a_ V{]4aR MTęduHKϾM0/xtZC?'jQ掴T?қb2u>)ӳ2L)tfF+#CK'BVWeϳVpCt93. z-0@c4]B%5O| Dy4t1H-!tt)-ZF\^gGuQ}G(i3 УN[J_ú*%t ¦^{ X}5]HtKลr%|HGW k=nw0 m,?zFZVsKUݵ {ic9PgxX`R8"dxLAXAV_V{x 2lkc8yz܃G d~H~p6G68gwJ @{rTɏB_23NJ1X2IQ~^}n_zRm즞wT.R<7;L'T^x`L Qr]+h3 ԠQNmmEO 6 ǰg}6"G =S:P3P$i7w"c2Ϛ?#ϘJ,HmhP\.dܶ=%sbE~-7x7Z KkgWE63xd#!M3r'4nAֈy#5$/=!GiM_qw6J]È(ҽŒ#\ԿUg=ñEXkԊ۵{~ƃ#VB>C3[a.qHʄ$i6ƭL>&LR;>˂:}`U(iqEdxж06mx2uYOtȦeZ/5"bk4/%,8nP%Vչ̐2|7-~=)t0I=HZLq[ y?J{ 0?s | e5^=b ;9,%cx[ #ϸ7j_i^j+|G T-%JpBc㾒#ͽ8?m΁v^eVQrpm6!3mFKd ŦV!2g6)}L=Hnd{_@Q褺\_?z-8Q?ly;j#o|B HD^VJ]?nR?&> ?ͳp |\qM1LD,2_Wk2?@[t4޴vNeO5kbOTXbTC0bhunn8{jm@\ҹ'+ f93&T Ђ9#t⎴͊= DJ:c$tNQȈ#+ Me1 Qo)-x6Vhh6X·XGvV]\NN05#GH8q$g\ACwj~j:Ÿ`] "G-Ubm2 w3!mՇ|`\-t}x,=<3έ8Dђt|ߡcz+6ժJ^<`ƅQsy_$/iD ZY%: `i+ʹKZ "57l^_ŦӭbQ@Ο])('Lkׄ OsewMP"y8oN1;$=fN !te>g|]!Fjn9r2y48IvybImy&T#6QXe C>1\Ynl:[' \e70-McȭGnd/&$|^rR~- v5gBGO8m GBG##xaxG_;'aFj&Nu wS)]=DT|͜?Q.ߢ)CɇvBFvqi62qk pQm 0+*')L gɠPt9Ooܳa_.wo$5jeZрڈ`ֶY2/3}ٶ;oV.8ۮ#13}871^bP|t| SJ(aHN۝12\%fh/]YD߀zTH=*{CB<'S` <^cy)([%;i~|G Yzÿ́:z@j|0K.a4{[d*q{ŗTGtwŒ/'@+_} ~c *B^z*1_J3}?'pc OGb:Evs-܅"zb` $k}8GP fzm侬mrDXQz}YKN1eԭ?Ctm=x#fPo|͹%ܙr1('҄|]ySzVzDb3?ך@FHP-蝎T@ ?O9㸅ҟpFS9 r8NM sCle"@qٌ= T-3@TQw{0X~&VLy< l2ri͈䌭UBgg=?#,d >w*8ܯT}'YtղGM <{bv YQH! jYxORm? M#1ŦC6݌ĝOSy5kEEKa@A1|K蔡gPW Av? $[ϳ醋9~Ly O~d'VV͟~4Dh̀z dwx qb F_x U>HWG wY-|a=ۗօ/I]8 VɆ9;cJ#Knt!c}3'6>JT .0 T5Q kvJ>Yc{yted:AYrm N /n>M񠬻ep}RUH?gäUv3<[Ea]ۊc,{*k^tX_gWL\F֘S< .u%G=p9_aYf֘ؼ'-%Hj@"v]h_WlUl0/˛hr˭ sn2MD*HNI""0r轜^<(-Z!U&լez߶ x2zwH.32k}ɩ:UMaǞPھۊY~B9ɡ@c=$Tt"瞸9x!1`I3Ή&*# \Bq 39Cǖk9a4׆rG9[*M%%S+B"z^ //O$ JLR.^-l Z`Pcc7LhzjL -) C֜&hSO޸@)e_i! :|*ց~ԱɓLɎƠ?И +57czՏF`KP.k#VgDN-Uu*8!M aiIuEEzHJm<R<"XtmaShu*}= Rr#O|*JAH}Wڨ%'o2vegDEV8@T}*mѷj|E8Vqv73ΛϷG_zߓ{fQZFN.o-v 0O&1B`s⌄' ·':͝'/pxݣս|k,#>8қ D pB6Y.a!E~D+y#NF[x #Ps-ǚeU5#v,Wg:s2~]JcU-|P-~ lyJ+ENz0b_z&xը\y9YzЩ=zBnbVg3MI#mG߱i/K9K0rRtL0β/ǏhADY!0g??89)䵄{ZOCG(Btc0ވAv9_X_9^ T1g%$H8<˦f |qo46nmWR3=y+&=8(B'=Ew2륗=_F-pipfa4Ujbʮ3'2I@ǽ>a0G(۶X<&yCEܹebP|3gT1̝姬p4[KTS0l_;Ħfw <44: Eo^LݩSݢj]|BL8ͥ("iW`9 Y)۷]ym IXY(V@(ˆh4SD6/l.s)O eʴt2cdh >W8ZZlڽ} ^2qvE:,,8, IXnH! (ƷtMٕ.G.ݽjP[]=43P'4Lc2;cxlzqN 9$M^@=fޠ,]hs{c/Y 2*u5 9ete}*TXMVC`Sk6wW+2_ޯ7$jX7kȶ+6?8[-NOI^{bOlٻ@ңG"k&1b+ QEYbR61_H\t/qSj݆PFf$:W$["LQiuTt sR 3*hRػbuF$XB*nlx,5k ˛f~IbΏEpGϫT/9( tAHbɏAfzbw4y SHGqHWt'O^T{KHPYCÍ |n/| & ;62_ [lSC)i# e9D5PFa5+&q!|ېα瓜n3zfOe0,z"oOW e'(J| c z.'f[ KZꏭGC/ɱ :6nhpk`JA`m-e0{4ϱ1\iFxфBV;ZYEVcC'G>E/k]#DZvZ$Ld;cG@Do-N.F5z*Vf˰#-;.ג xsJ1 @Zi-k\;ɚ:z) a` BتػHbjDjd"еl%'3< .4pD`+D](}ylc e7ӈ/)Xdf Ԝz3nX oxK hn⺈Pa̚YCЉm{Ey7ЎlT~ op{QN]YUFcP~R>bʇܕ -,kZ% ֛d8٥;2EMA:5dLƩHhzT[QoUswM؞A:'"NcFo?$Y{he~A̗`{!E_P{D2dq)O &VpṪ 7z{Bz,YRt0~!*FVWTh6o82^Xb˦ϑ6%T`c/ZG+Մ9?څ e|}Ÿ JɹQXH$𶨫h(tE4E 5?U*|٦wHm6,cF/߮ !r^źtM7Ug]QCҎau~{sQ${v.jU2}GQ>p5QCY#6ۨ#,5IYU*jPbޅ~dڨ2:9B$߄wU"5!{(1xŸLqQ> oDη7I$EU~x;K5M'D\ G_BSvcE&.ˈqbWzԀu_:ԛS)Cư |9_.P7=,24%J03x ˸hTs(EْLo<3 %#UkxmJ0f p11kPqd#s.}Ӎb ēST¢9ؽl9J<^!192dFP/8ŦѾY[hױKD+yUΕavjT_~ƭ^Tt${:͵4i͊~04F O#c&7s3o\4y`c]>ʱ ,m%m0F*\1UQng7VrӍ4B0HQX$e쎮%41NX?ł..Zl Y`Xy/Ґ J<ڈd߬*LGۮF'+%sP6Q;c0Xpӕ!cIŠS 97\gi_!}"cߜխ.ԇH3R{U>:{n@' *fK^FrȔ"\KIUwسOUSp8djl^(=7KH.f}5IwiWGoj2eL>Ỏʙ J MdgLv3IU%뜿 ۗG(-U n`60$)[{q^v[p}Z ~P~>V wDڛN@Eu9UE9tYq.Lka <ʼn5(] p,Ѕi#W. [G-Y]յY|f{P1}kףd|G :.AV_TA!"CoH ǁ6cM#b߈]!JJ'agsݬgq(*q#A6>%6}Z˨Lv`V['_Ajq0TY6QOE7dBKό5"׈c[Pޯb#}5h᠟Y{<} 8_U = {/yQ4v쿸-GqAӡJ}2r/$~N;FrOpĢ}y}`w:8/U)8k*0W+x/i8c7t/dz|G)5+](sf٩0ym2tPTQBYօ o_J[b%hð4McUqc?#0?l)=¨KB|n4;$LLG's J3n ELCE6!cIr $/2Β$yݵہ$=^e{?'I~ϩ;(U 6/5~BФF\Z M_E/ 0̬l,LNMvL:֐8O:I:n# Rк$ˏ ?-7S{ ``vM<Ywk>1=- M gbtRVx=Fʁ l}r5}$''pe/** ;6ݣyWsɸ3}b50#+ae\nIz=lZ 1tmߕ.?ȣa3kY|/)!#Xpӌ?__EmcjEt! _fD1X>Xi%}&U1hXqeedy-Ϳ#|A_4FzvYbqGtV/w$`yy $Y9_ 7Z #A$FK9Ml 'H/TiF4ׁ\ҝ_>90JYho~խuL,joU S,Mň1eRљ|D.;2}b}N$n_A,AmZ:QegdKwpI%{ ؅ɰkM+{,ڭa%ΨᫎNTO\gp-]GA}ɫ1m. Õ8vHO~6fp;ݻ9AYNԒ (þ+#WO5A_dڀG|/ڄctg%7EAUN"bNCr\VCl7x/o=i5GbxYwRAKn.`of>E44 LG*z;יy!J6 9x݄/ o&RB i\!{+ǟ v1Fc=QڣS!G7l4U/4*S*ת":Q*ɑãe k;&x<ԝD8iXqj׮ߑy E2[O+aMf,.C3Q kib-J"pf{{V xAǂXyN6Jvt l`uatbb#6okm'P:_1jveY:L~0Y \< Nh~|4TmrT8!,=rxAZVq(';^/1i11+.supҳ;wʅ=CrS lh^4IH7X,]6nq7,46oJHx9`z}cv A~  WV[1+sh7ӣax+d t8M:deH%IOc|I*Q*}[i/eyxբ?}9MkXFp.|7ꂻڎ 59 Xm>'T :osp Ble.23֣F0Ev"fO[_><# UE1w|?Ao rZmeQTKCޱ]yGV??45]D{BR%rk!b :^2crTFCtC0"WE0K\8ZE=/O愍UT(gϣXs>4ELALQZ8g^ nJO*O<0juvWX8~XMFKK5wbf>DR\G# 6 D!Dx; 싪xvuFiJ1  VEMIq5!&+k[5 q94C7+ FrLIjQ8\DIQ1ŅdG?l\}@O_z O/Cgv}!fRJјТ(s'ZGel?2y!l3VE9StHsaók|^[(?W0r Zjܭn*U?K cT?vZ"Sv(Q㝆5/N1ndr՝Pͽuo|$QUuGB,-<6E"\јbiW>2߁a~h >S%e۹ x,& ,؄`="=6?(h]M@zkʌ New@P65Ps\heN@Wͧ!QH\lCb:߭VWPzrߨؖlQT'd 6ؤ#Yt%wȡbCp;r ZP(i ֺMW9GeN!uvO'*֙_lWB8V{VP ^u 0%vDYc#QuMMIPhuCU (34^JTvXXh[TQ!E re!ٖl4V?p.pd#. Ш"&Wd^A<˖g''uWTVh(Gv6R-]¿!gdӥ:C ~/W"+Mc3ȱ+k͔}D2)ނ܀_qm-5!-X_bGv&NFы{q K,_;t#02 p$QdUQߙ`'8f (obw2ο7?e0/.)Kad'S-HK {AR9EnN'2PfaD.5Z _-bhYPu!#̏Ɔ>wSuzFaфBD"KԀwF_33$-$!՛]Sq͍Γnl5 ]i[Bre̊q[Ys4W@i9ʗ+psIS-}" b<_Ǧ`=EŽ XS_BDLօQndPܝ#5fGtPLVܕݿ$wO2jSִȾJyE"G]߬v }Lɐmb[.IIqprib&*~ᣎ]p\KD?FoZZ0-ʜet;>F(dMJW;1y-Zc|L iA>KjmїClQ߼EZ5u&w!h]ϘrԱ(!^}52!**iT!,m~U.& 3㚊gYZ7zXZִF! ( *]ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$%ӮU^jp"+ :Ug:zӌXxW |s-Ħ\ 42R$TkR{pMY綢c `VRZ.8g`߫Znϋ0P>tS[9!$pi/ w&iл}g>Jkz;!b8_>Oz79@PBDA(!҅E.F1.HT 7Zdtsci%6csY}/ѷR1G_"P'sLũ|&0LBL<. TNSaϵ?} ^Ê^|g D(}b%/6b٘m5! ޺(-_ #`ѧWKu;u!+_`r{jaO؊+ZDY_jIs!6j@7/IN9)a}\UVi  PN3 7KXqoNU4^/BȫdJ50d"ZyNd{,Cd)"FX{("TrnljP3G}a剑LF ʼngQ*}-mkY](p|\k0VΔEveK7?_Q0 8ds -rl?}SLHB}#&H 0$!̹GWiޙ\ā)iew4n8c赏w7K\v50ɕ{#GFf /Ǚ"g%[U!EɰX?ƦIAߞ R̗R=Rylimc(民# R9I7ٴ'BΧg{se0 N[k8Otf%SvR@F0Wڥ3S϶ՕW_2:h#5ZCVh YB#甉 LGە Ohh& Yohwt EpNn]l&SoZw P#?gYZ7zXZִF! }]ŗXi%EdcNz+EE`V aD5ĝY]z%IFV^i)ao,uPOky2|E"GbM?E;_!^,d]D[k5}Qf9VK}tmI5eܞbo;%t,W힐#EFwΛo@r 5Om2ai>PūdE" Ykَ.8\&{:)f`yx.PY'sm+5}d>S,WW"#w>,+ aVݐ]?Z̃mYeyU_fz-)NOSIZ;߆:X2`=zp7=Ԗ0_.L;!.I$Zy¦(n%{P9+B3ߩg># %x6Ƈ3 (qu$=1Ug:頲ԏ+,p ;'Gn?ꗨ*ԁ` +D١(O N%Nrk 9agqnk e duMphq5먯]Q{$$ͫZQDu=GqJ,L3FN7 |'%cA8x1`)lsڦGBQAaWPqaڹ囊[) Zl[Ɣ mf)"F+Oio3+3jFAA*X0ysjCaԟrP7 EJ;p I"X ;]7⦆⾷1sv1{0,41ٸ2*J:$Dp`s(=NEbjz4 3ϣa#mT&Nc3;2}˰x{F ]EG_K߾"+PRGu #4R?UAts8Aq೩ą{ؕFwYhޚܥPvOӕU'O T,>QV<_`ۈxGD[ |Uw46]һ9mr?;W͆p)E ۝pvdҶhj!Pap<lNwBƺ Q 3Gu Nl{r{z+Ff# 3o#"i',}'L /{1*Зtw'|`\OKBj$;B%UӂlӮL*. $~N<$1_j T@i W"X[ucmhn.V+'kZ/ r` \f\|C{P7IyTrƍ N= TFC?L7m`yXkJ!/];.*oUf@!K1Rܩ rN;S[a/'Y E?), ql0bI9 -; DN(V1H"@{֦>#Tm &8El_x*r $zyS[QvP%Q!T1n{ܽo nTptdWɓ>R舷=U,ܴTeQtDMX?}V)$Π!k_ޔ̠K"Xvi,rWX|l~%iOBdA:ؿQ!sZ/ Jeܷt8RnvOrJdڜ3Bevzah3n lC4orS ~}̩s LɁMtKmy%Di;\vXYenAn[a*.?&V#pJZM4v)S'vGM(xDV>S*pKԝM28ɐDnWlo`fZaɮ >]xJ6 d=eITRDnV{:/bnd{lthP%;j {G0S.COe(|lߌa:hr}tPĊY9X+cR cDs!7vpWlWXF2TO1 B9:5:Dv5S9*u4"e|%[^BZ6ع:oet3"-/# Rr-앙ٶq6q}F^Z~|N$5W0)0)+O{ /%0- "Z 2 i ˳9v"=Mp\ؔ1cϕ@0 zYݰyRNAn njC_&( N CgH d\oY |Gkw; /ø *wDh {gL&: uIy?)ӒP#B[ע!i|QF, B᠗0@+ ݘ6yԑ?V.5JgUvb"D}FYNc)i(N bBzCH޽E^8h1% 31fM !ZNNR@l9 usRiW"))v]  K $ |@4\`5kQ^G1^@`@ t%ǵe.F%98C5 TMs~yߘ#4JUf/[gv*f\2%'l=pEYS>(a DU\ޮ'ޛN@0_ e !4`⃁ւ l>Gu]FYDla,toOb8t?8;R}|kO00Cw|@Y(pT]1 QT-1]I$ؚ#r9f=z^ݰ"-8Ig`X HVȵ}uQKO[J Ɔ#l.T3h>i=Q#|*YЬܹpܖQJ*bRː&LvJ3$m,\ /L2ivsXlPmMrأ : Y@f/ ʮW-]tzÔ`*;=${L Xy !0 6㦨)2n V^oEX)aJ(apܫ6U#U~\2v[λ~m?Ld?1.^אՆIP'8ұ#i^s!KCN!RæFݢTid p(asRhݪm]L*Rm|>]㸅OZpy8ً25Ĕn ո5lI䞒wYyj_JrlOQTRC`iR<)'H42OH~,&bb02ֻeAW=QhNJ d]R77_)`!R[rMx3O;>x sA&x5ߏϿu'?x g_'UiK]'K(}t_Ax#=kƦm 7WR,E0a_dHϵ'zWX2'Jܶsۭ}nrn T'hK"zEpX]u԰ _nr{Fr *6חΣlF$Ze$8bip@n%!uX ,3FpMNԉ;}ѫIU '.+f*̈lu깲֨P^ZP߷;XNk+l+PO\n c}eo5b( /m{TirLhaFD,QgJ,.?esLhg,ADCi}!7ʥzun7q}EO.DYilI{ߘбZXԷf2UMq7]yKs󳠬nV:D9_z.8Y@ ma60@%-.v$g^3C >1 D_n׷P룽gkAA]b;z⳨A&Q5QE-0=J3r_֭0̼&f!=3SUe7׻8zJUu0#ζsW9Fw^gm2ؤiPR5 M A(ix$?)B ]} ?\ ܂f[aG0oxU9VHJ%q}|}+ʕP_6=- s/@^]HnmcE\:Wg"V~0H(rV:X<pVO=<CjBJb~ej 7n׾&J¢Ej֯},T Flq&B[MƲTWBT]D-q?NFLvSw"&uOfU]_x༰~3jof+WׅxP{-*l'ܣՄHvN8nقWuS,UrOH#۠ D?iɬTDu<:ke tLsٸ_? . -OWd]AU xdx&+rCJqdo, aeV07Kw .,g3$Տ #\ϊ0#5ډ3w+OqXYB2W9ߒYogS*;GLZ I %Fd8 ˸w-94c"٠ptp~I\޽QȠSe&G&_I/\R[{٭_q5o|skJ5D$N{VJl9vg,4 .꧑Њ ,g$Tp?3BR (GܪZvͯ 3JEVatbh]CouW轩ƭdS~q$< l/Ig]9pQ_T6 n%̬wX[<`f]XJ֣,.^%Ctc%>Qœ:b )7d,m\q:I-z5lᴱڔ5BlyڧۆH}Y-jk\A>-Y)yTG˹8yFaW%3o|D.DWX_DST; M*ʢwp PKe_?z4x01&uTs7@oFKe.vɢu Isoa_fW6:QXW-6 boԍ6jO;NtbTq`hH4q#-v;pt9øjrG6Q&AFJ@8hn#1mIRe$W6nn]r/фt\ŨUƣUUxjP5{Ǔ\%{B5>{-KOL/5aRT}|^(<7@eR3 X,(]0~{8";E\.Q )2rǵ[Z"iqJ)s)}룺BR&g 0EԞD0~zCZ%;Oa1M0o ?x~ ,Fq K;J^&%qe$r#n;_+e2%|_ˋl ޽Gǰhmxs0 o{wUG"Ve(P3d-E(k>ȺR(70{K54 Nۇ3ȝzCVoޫ$S> S ,Uάv_GJt!+x؟d[mgZbƤTǾ,6%-xR'&VŧcbWuGH}o"Lq-IFSs<4`Mbk6߳Y;O)RFZCxڼ(t6Jĝg֯6`'&O1M/lsvZSA9cfw wA+ާBPνFfvT3~>PfbJɬ ]6g_4 uG M: ׁگwfbwȓq6%Tѱ蹀40UO% Sʕv>ne.ăՈIt43AR%'}hdPM 1" yY a9 \fLpjf5;/h+BmZPvxdo,Rsŷ̫wAδkSȤnp>X @&5h-ۃde.@)W}7(u5s>}`Go|#R0Ε-IJ)ߥe ԌM^xr~@^㿶nj-= ~~"]:C߹$OhLiOD Pр*;'OID`>|D Zh~MiBϟ#e mӥM[7L =QI6(E!g42QAU>+~+7BrR<Gߺ1KO)SKbS uo͌28:P̳IaOΕ! iR%>  ' }#14wH:ϿU |t?<=3s4%N{ n+=6'a`RG3Pp/[Cj}?_ﶘnnlźK&uqIU[ X%1}A2mɇ(nò7O :lWBQ wϻ^?<]qgn@>`:IhscQ3E0RFf`Xh}ld&, h,rybHO5 -cw=PJS/:瀊g A^ΛfEFC*I6L"6S*Ffʠ)wjR+\wgVP2GoqH\Fнi~\WWrNlRኚ>}"JJ:F3\m>R݇ff DLSv:'.zn{*I1ɂ#4r r0|N !leʣpmk݊ۋ$bYBa8P2jo0Z1qن=QN=V8Ʃͱ).ƥ+#GR1]ϷHkknAYaǂpeW܁T#tYĈFn gQ;b^}la` HͶ"8Xwz¼ͩI;3<#޺Ku+{?3Au=+V$S7Шc欠 93K {Ķx)9pMe."4X/(IN+)q'Qh^VN͸?d΍8l¦eQmbm޹GA]aBvis@VB][ml(ug4^WlLI$h5C@#k3{1ބ??Lu,$w*0{d,  >[ Aw&cn1iTJB W=ڗ}Y9&BdJWm|ZWn#leZmy͕G«'}{7"5֣g#qTDo+2i{p#QevTr-t-5Z](WP}sx L(}QqcE{.Qm/:ZH2e\fIuwmRG*zvK<>1(#Ag݊$%+)K $q~mx!}_,23Փ5DpZ-zoJ2ܖMF#ĘZ={ѝ o}G.綉Γ{kJ!!bW+fv2\^/HAu ¨zB" + T nv;wLZLӥQi0kVEDAعFqj޲t9F }W%1&Xж(t LApy: ( ](tJ&ldW /iz'O֣K]}vah|9 ?RYͻs,eZcmCbҧ6=xnGHGuWP,ֶLi?`cFW#Tc>6CY] ӱUG[ X=GD욕Q(uB+ճBKB >y)Ue@ ooH[[$ O\{x|9ͮ=+]#.a Uf.!cT-!3,zΖOﺜ7NMtTo m5\P<7lO(mG५Uzb񄏑{2#jul8\'ƭlV #*}9d/Qxsq/bw0q0P pzcTvPR5^MAMm<9Kb}oZ;\O>$:u Aslg)D'0UE>d(@cqA C *xGy6դ! ҐzgaGKkdlq+$ƣe!R2pr\)\^XK&#wA(DDbaf;>J+ T@&'4Λ%w>1%t}mBU͹6lDQ G`{#zpHWQ(fL= eʫ7'U'^2?˟ l"vHw,Do@F,0ԅ%1+󊶚oS'w^DB!ҹʙYU g-z#~9N{!=}lʫA*T}ޡ1*ďPbb抠5MQD@HD"4%0&ƫ5+G+ogD:`sD"1᣷KTuǴW"тFIׄcQUODrY7õtzU._O@6 M5@<$LJ嘹vިyyc2VԱ,X :GSH9yBgl5V ]3-̯^s^cDo٬N:&.\oɶ5661BYW}%͔ GAq&WnN"dM/Ϗ[b; Hj6.2Ft+wq9@`r3I#t#?a9INm7ZCqa g>}wtτ|)0Io:Xm;x¶>O˾-DTO|SɃ4uH,{ ڍHiq Aqܠ$1:ǵ)Ɱv i]:7Z83Щy5EѺemS9|A~h/ѧĤ"4hAcu /~9]t݆5ٺq2oQ T5נ͋8QSohʧ9Gy 'ȗsO53Tjʬy"$"Rɹm"q.T 6coŏj3*:HM0|ٻWc80n3U=64p,GpDOޥ4 C=jaꎬW-k;P Z<7S }ݲ02ٮ}_pw+#{cT,b{EVj`tD,~ܘÞ0xE}!δcჸk%w>uMT,#[HT(^mW'༞lj Xoh)% ;wmV2NihNzHCS]cҺ,~6Ѕt Px1 c\"E)luolx`B!mEU3)v.O8YAӱpO;ŖLjBYKp,ώBq"3x\k&?WKI>-H oH=wY~-HaDmZbM> cB|C1WP:' @ 'Ɛ}U(Uc e2PJ6LRj>BH_ c9Ecaq}Qe8q$QbD򽒙o<:hQhvCKl| P/\x z] &rr bUA6R/QNР6*t)~/=7TOE_|Ԓj/wi_x9qSѭt" !6jWJ\`x35!=σ,hNy̢ߋfx˾: VochE+P4>TW& "fF/;ۥN6. O-K2<*r;(͵yBE,Gz2 Jq~K Ҟr9ъl!ZFv`i%^3F,fo\c Ͷꅗ9,΁۶oN r*gЄLL:qE. b5-ɜBGA2RfS~2&7&V*;~jKj[cU,6 oOP$@xZvdcvGG \m>B_/>G{ G/Kp?9JK/~ZL=B164XX]Lb5vObuM)3^݃I@q ye!j&r>iI9oAYiD}eh-،4Wb~׊vȨ0m(x!1 ͺQD?9 rȺ# ٍڭgIFP#)=/y%~kX=tvHsBs]\tD\ZIOD+w1K%kF~lx9SO@7qqh:HyզA1(GW1Rr!Ug6<"xޔgܔ0Vk(V{j0aPrZlz]1%l,t{<Lc7e9(ʐ܎Ędž)p$TCANE^KnMFKYpT'8'C%HL*tI( sڒ@yZ"XyHpS %ҿ,Wj} E6Ƥ}|O!]S tpp~k4G0YbӘYܫa ".ʚ\܉cj#:G(w0S=CPD~ ސo:ԏRJ1 miۖE4Io6Lâ{.N^UsF3w-ǽo"ɝAp8Jx={u%@D߼ƾjylI9y.`RaLPuayk H!וm]e,/& ]9$mtV/Ɏ-x0/%0VbLILP#ʇZ[sn{;_ax:ē[.E>8hA(1UQFxme{7}#Hahr{3-u# =| 1どb}Vs|4mM)Ux# d0"_x~F)-!^w >U)K9l"`8NE &:gp${ tG2әi$ԻdD%V_BHT~,d=~HtB=s:7vL~/"pHR⩱}>po*Ҧsw dF`5$~Of׼E.Nyt-;%tPk$ \kdǚ#!o"lV嫿ϲK y3BƖ+|!~7Cģ$Xx@U] mrк2禥H:{zwAҪht5/vjﯣpkJJM&dg<"qh)_ʦbbED%` r@K#KyեJ ?DMBHK. M2h!H/7Vc+Jc喇B}(~)\UgY'e|rǢ9mE̿w"$?H;Zp2#ݪdSpJAƘsUyb~<SɰwGgiFyԸ<%wX>N(d}gTɅSgwSf P&yG>yY[I4LJɝ3؇D]@t*`ct>6rwrf%&g4!@(\1.0$v5 02Z- +'#q; XM/R4_ShWgu0߰A{f|eٖ"v[.rSarp qozڈM毰g\ř1R;0k-PO>TTnGsBH.xtIaBAN yLVɺqG* P?]!A4#$T&]1?Ԣ7fMv~6BSl71 oI-JۡƱQg4}wo+pr;nɞ>۵Elaʫ8]ɯ贅$[<9o&˜*C~u3W$E>.-uWV-do->T+~TLfFe8 ĘN PVnapk:$zx> q9Lx-&wtz?\b7W;Lqz>?Bv$?h^Pb0=LXCa*ce"BZ+djdt34 3_iu~uW7H oqK !Ϙ ̜ -@Lqޏz/?^&7չmzǞ-Hgݍ+[䳖/ube0q3FvYtR]812T0e[kaX}nWa.2Ӏ+3MCU~towOReX!ө-_ocfi$ɚ̭wՖM-{Z)sEYn1݆Z$z#0[F+-~#tuh*'UGwItW?!Pi/G T0A>q\.hӪƾÎQrs }O)_1{C,VԳssn_p=9?jE[4E*RƠ ,aHO<PE0og T%Z]"?g''t}PgxٟnbBb<AS yUzT.Py@XUd?i k (uKe'> mϡ鴱9xY (FjZV!^0it`aC}YO 3:\M6A(]俎kPUBsDAZE 9]dǐNUh`cceDK貝O0\ֺ;Zb6 Pa&䨔B J,JX[ϖW'GO: !@2UtnCECU$ћ6!<;!|$iSMMe\ՒA% nvdh wev0`2뼹0WmPi&j>cP9<;8+%ldzz1T2x Y ( <(\9mc47oڔ>z"}o. oa!fyw y՛ [l[_4YGn8 KGu k=rQR =MV;\Gf VxnN?7+G^  R1waܘL$QC'ZSJ,jiv{ hh}(t7ZL~ e"'CYZ+=F4.©s6#ݍY1j w*q' RW鄁pGY Czöv 8*`Deyhu.xOҎ-.(|YVx]ܜ𵢲%[>WOdŃ]!}<{3ճjcJdfX[&ljc[D4c-q}wP~w FE7ݪlj$v0r<&rntBp㐏L"Nk_U/L.fJDeD1:s+ &ߔLyx m_*^k)Us"KFe-اhq7wsJ>ݞ[tu6GTEp/mtG;>E!C]I~ѭ{nӦfl@1#Y,A v7MvTظ{>Bi0QqkWsuAዷ, b0;;J3ؖ>iN}(kH Rɞ3T(`SǗ 5lq}Y%j> n&)ș: 9ߦSXE(0%4zav`l8b(]rńF,%Y] Hg|M{zSew?~j z=l=&׼F%A7T^\pįt+ aMSDzoiW-}UFg }}YGum+܂bZD,fy+Lp8e$8ڦZΑ)q' f'U}T[VgZ J@Ņ T4nӟRT弖aD)`UU[L&đ(2Q뱢v4Jɣ>&ra 0kGmq{1c,c1zo9PDp9U-cml((3,PAa7A 1K/):\q#nF+Le>q5ٷ󶤗%}|SžzSv .d &KOjӭQivKT^k0*?tJDg#C'#S'Ra'-)lӭa4 *aϓiV<IӈLnIC!w[W5,ߝ?1o 4W{p-hGrn#!co]FdljKjRv`{DKb;G\',[i.ER^d ̪֓6W$tɏFBSlJEBҭ율Sx^鳠$zEm+4/Ot4YK@SiS2ŀ)&CȮۛO'F`tD_u,lY9/S;!_A3Ǧ.J.mdt&ـ3Ԑ#Se=[ 4xL&TlIrɺ\h-t1L_HI~`.:CAR%7!Q\2צh\=eՎb4 ,ط( YIse1W@JQ`YvCQxHP-$oVZcBl't[}V({z*S&>%ot)`z[v%#M!=o 6vR 7saC'w<ޏ/rB-L4؝Ev .A'gb۫In1|^  ;+ƿw‡b$yd6,-vyܪOCRU;T dY??NX ӷk8LUr?)3,~lG`7e%(L~ҍJ-_ڙgίhUb,[_T}#o: s )IWM=~$^dp7+l?y#lA..S-~=0+3g٨4SǃEろ g9tXBPX-Hh7\8>K3qƀq׆tydT},CKy~"gnh<]sfz=(%Y-N䡠^m-pF1LT^C;L$W"=] 5ӑqRf[ZV Q}J:مD/m̧?N7@';}͌CN+Iu&9b/%Xdxeh*?b "J^ dLޓq*J9[iiD0=J7idAnO 7䏓jy{6py~C* ߗsB߯.1ioD+t'7҅y0;yҧ!UO8OJo FDNjVW1$$>x? J3ﻠ>.OwTokJ3<(6*3(rCh~ =`Rxk|1o/ě1Dd<6HOMYڀ '4X[yr Ο|yLܠԎf/7y0r~/cCd'H+ I3hl ߂Wgz$b(Y9N+Ap0"e6[g5Z!P7NfKҚV8 GϏ-.^ ֝Ϙߗ6Ǩk SĔ"ݠ ?ALidPrx2088<^zl#˖E 02͊3aet&)F9!@A\}2*mƣsgzr0C>'a]([{0{y&`wLY{ vKd)k3~}} lzkmH ɾ:'c%)X4 e_sͬl3RSTK.@F1l<(ހ;jb1$ygt 91,adUD;K_m$K{e>^h+>V9[.`4[Mz)ъ$Rx6!ժs( mX^̦Р2+ٯ8FD;n"R"$Ԕmؕ~[ g]Tܭ}b}(LLAY[E9+`#gX_$NXϳYK )Zkax2ǹ[#fk1UቒXB;g]V0I} $TˈXM{ʥCٵ.)"dOAANUo}&n[ jzU53]>9os')7TLgх7v4ds~WTrPb"z06ANQer>;YZ> td>zǢ.#ul*M"x4"LZ[=زPUr\ :U^z2 &`Kܼ-Dn WO ^ȹ΢E& KH[ T{zXK;;soPk<7*Ob9tj^{PWe:+n]N龅*l,8dD y+91";Gn,K.hT+pr\j{ = c؅-yb}>ܸ˲\yRWbEo'iMl@|󿂼t$[,g>8*ZƸ`&ȓt]D̞킿Hx&<82׿l}wF";D?PA*:ۢB_>nVk,=ߎ;)@|UB^dW+ 1\M,@#?"k) )r_R5X:ՑꭃFmUgmDx+5W? BSBĝLZTlݞrwk)ʐԳ6+qO(zvcҹ0 } $JTޒ x ۦj]p;hg^fO%UX;XAIcvuaЫH<!#.@R(lxWo*Ru)G@h{[Q,˗)SY]y\5vNUk+ z ɔL 0 :qa5h8`sr9O wV 5[nߞtd>-Ĝ4?BBQ:-ЖLNHDa5|8?x3e $[_QPu,Ą}=/f $;%c|]n1; l4%wv7 apMCy-qn=S3ψReN 샦G*үD}2a+Zݍ~w[}fCD w2ؽ;5SmptKD@{Ω%jýI@Se>XWYʦ,2AP3տslm@\?;$*;iphIĽd<$:ज़\-EjE׽+)V)&ZG廙jR^TC@c}UErzVH:c[pE幤ql:VT55DgїJ{A o){RZg3zBqG1[EWԔCxUMO(mo|mćkEjA̤2EM>t;aat7zâ: ΔYY Xn#X$Aa?7U~ePkddr@4kOsw:{<]i'{~NHI\)bTd]հ`^ V"#:sl]h9a̔lh&\PC#.li*ZdK`t ,]45Pn?h~,t膚aNex`TWR*8F/"̓tNss&Sk[CX\|곷K$ImAh23 N[Gꁊ42NOW8eS,dhͺ'c5  ҈Ym'`3r=ޚ{?Pjp))1C#SNr74U[(ο[.oQ Z'z9z1L塽[ܹ nwk%?1b Lq4Yk@vY"w*Cwt]H=2e{7 "3ABU Iِ{N"HXH1a՗&q#^J\ɪ.~_21lnPSq{֔I@  Uo`6UFN<⺐fIDfj? 1"Kʂm)[p)hENrF 6@Pv ˬf? U*U&~syOoΌ;{ىw9 UK(@3du}~^ZUl3 йY^б۴2dX y{,49EL iK_N(l ֐kҡ#9m35iz`6kJmW@p8. Jr5䷍iF8?8oaSnl٩_SO#W塨:4Y2qj<ƳC8hI9q cKӣS)tA3<Vn 曕߅է)m(gTKj{tZٖfbXo{)Ф;&1rq2lٶE (iI!gR  K7-RKua0xjeb:u YꤿtaG&o`?6'W#ڤ}?m`v9k[~A%?!)VkPuKOޚAUODҦO_&I{v5ǏD&īڻml*U4"7 =@ 6ax04-!/(ͷgR =<9T]_}rTͤ vB?q:q2w;q:uPNHsȞ-'AF^mUL55g6F88DIp7͡#E-[ԚV ^ ">zZ=@0fW{߳/gΒU=$Lc*nC+Y4bE`TH P!)M6ID}Kz<(3WL3( w5۬Wl .D B@8:L4VBu%Ro7>]D9}rG  MYNUsRǪ׹z]ƠDՠDhHlʒ7|pUkR|I"'a-4ΔM%Bui ?퐿RJW Er+:pō#Ao1B4 ~=Y5ؑvѶ䂷)p\aGlA)&_k!\ܹ)+)獕fw8'<;")Ϲ$~D nB^/ rfc4Z!YGa 5zu,k~KO [Hd빭eƈT{ I~dN`Vh ?D F gi#-{ 7жZR)ObqJ?hĬ1|SrʞRuvhzȑ9R9#$vnJGVϹSf_yU PS[RخZ@~EpF5"ۼ|v|zj*3bjkcєf[7bD Tn~{ɌNe"88$ U˻;*WA,o?EY`wxSku$gHC_1R'IlX@VZ,3u=z&A&g#Gv my 5 :5֣7 WJhiK*-YI4tbM 4Tkmr)>\{VZ3K5ޡ6t 3ST&)U #]R1iݤ."r,9xF_Ad@܃5X4RYGO4wg{-~L~ޚaTzOr8g @TsK)$2!Vv^H'_£]k7WQS*$}!m4cP 0Bz <%__5L4TֽfΤ临\m@4Z7Jn} aOMg?viI܀dSHP5g`EM|(V^0YU>A k8BrVaq%9E/~]2KgVh$+<^4F,0ɮg#CPѪdA3euQ<.p_) ^[kMY[)҆` Xj>zK^sPhuǽ޶IF&5Qޑa/"2 O;8{wJJD:>7~tWx.+$=y'DDB&K!LͦkO R4X wA9Dѽ;מbc*z'c31)uOI;\ug4=%o@JA Aړ&HarɐiLa>v#NsP6d6sqs[m \\>?3C*8N6RpOgD·oVoi8H!6<(RڸfБO]KxNpc8Jۛѯ(SPfxCdݫc$EwcJ1r":*2:>V {jbˑwCʷG ];q`$'IBw}\- ]Z3&)snGV(5p0BE3)oP=UԓQ`^nVr50b 7vyl*$T!Q2/ U*ŨvwjVY