SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  p4LT ]/ HOL-IOA:threads=4elapsed=2.851cpu=4.724gc=0.0007zXZִF! 2]ŗXiɟ,ra@Oj ꏴ>r.J}RL4!YƠe(2f^NF+ x,P&q~Ps7|.GJ$:]MGΐS.m=znFJ&ng9e:,[ձgYZ7zXZִF! ]]ŗXiɟ1řGtHʘ뤑3/H4u%tAњ|=BfA)#>h9}Ggу:R\,y}qgYZ7zXZִF! ]ŗXi%TYFDyP&>陚WV1 5#xj'"B\;}se EU ^;NP+ޘNGug _/"NGAaft`._o|q"7 :%Et)~dD QށuN1\-%KE`Jxֵ\釃W9JX:ZO(_RHh.(p ɞ$`e£Ƈj,Z3ߠ#^qaP DXMS f ) S fcF19i 2<-"i梉V!(5wΤx(wufˁi\ĩ/+6Y4ogMѾxNCީN0 sLxckuPx\PSk(ziSdLJIča銉B$cdJG=V'mO8Nl=_ v /NJ/AU'SD]f1('4G0s$<< AJ4m`լmŵNkYȶir[&SćQj7M|5'~(ܸ$n+CKSݷR]lvW%)zgYZ23a588980cc3ec8e5d9751475def130b411533eea8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b   HOL-IOA`%/ tHOL-IOAHOL-IOA.Asigdocument/Asig.tex7zXZִF! 't]A-MՋhvG"uIBm5"A ^Yʠ|.DNHkT$Gp{"B6Iw=_Da뮱vEEJ,&hJ#x?f@՚lݵ; |2P+iÎc|EjdR/@DȫG9%9wQ+iCD[ʺZ qrg$=>r}/edy654=5<J[UiV 'c9tJLq5~|mÁxx| R;%8f$vR7cSl'2і .Z#s֎9Hߙޯ+#:Qyl̒)?pA77ߗ3Ast%a#UO@upYaۀ%(Bi,P7RLN AxfVt.az-k1WO<ɰ觸v9Upk`:ҌUiɌ=)o99sBI@U$К.8?ZDЊw^nCn'r*?3e8DwחD0դ2//9Wцsg#P(t^ gʒ ێڶtQj{ w'$.E_{$wMtȘ8sbY9W;h3Z"z)!Cm%i#)MQ?04`J G?'''a Na2.@pFdAl5),.~IFE7jk @!n/XQRE -ϖ(ka",TLn̙8G@=+xk$LB6lW|   'V2 rM'%'#HOL-IOAHOL-IOA.SolvePIDE/markup $'!HOL-IOAHOL-IOA.SolvePIDE/files *'-HOL-IOAHOL-IOA.SolvePIDE/document_id ###HOL-IOAHOL-IOA.IOAPIDE/markup "#!HOL-IOAHOL-IOA.IOAPIDE/files(#-HOL-IOAHOL-IOA.IOAPIDE/document_id$%#HOL-IOAHOL-IOA.AsigPIDE/markup#%!HOL-IOAHOL-IOA.AsigPIDE/files)%-HOL-IOAHOL-IOA.AsigPIDE/document_id(#-HOL-IOAHOL-IOA.IOAdocument/IOA.tex,'1HOL-IOAHOL-IOA.Solvedocument/Solve.tex)%/ HOL-IOAHOL-IOA.Asigdocument/Asig.tex     `%/ tHOL-IOAHOL-IOA.Asigdocument/Asig.tex7zXZִF! 't]A-MՋhvG"uIBm5"A ^Yʠ|.DNHkT$Gp{"B6Iw=_Da뮱vEEJ,&hJ#x?f@՚lݵ; |2P+iÎc|EjdR/@DȫG9%9wQ+iCD[ʺZ qrg$=>r}/edy654=5<J[UiV 'c9tJLq5~|mÁxx| R;%8f$vR7cSl'2і .Z#s֎9Hߙޯ+#:Qyl̒)?pA77ߗ3Ast%a#UO@upYaۀ%(Bi,P7RLN AxfVt.az-k1WO<ɰ觸v9Upk`:ҌUiɌ=)o99sBI@U$К.8?ZDЊw^nCn'r*?3e8DwחD0դ2//9Wцsg#P(t^ gʒ ێڶtQj{ w'$.E_{$wMtȘ8sbY9W;h3Z"z)!Cm%i#)MQ?04`J G?'''a Na2.@pFdAl5),.~IFE7jk @!n/XQRE -ϖ(ka",TLn̙8G@=+xk$LB6lW| N{gYZ '1 lHOL-IOAHOL-IOA.Solvedocument/Solve.tex7zXZִF! ]A-MՋhvG"uIBm5ȧW:x75׺Cڰ٤Uw(cz.Uvxjx0F=TeHi9$_>qj\#r +/Xk=G 6~[[ Nd.Om-#| /FgiR ]eRT@TuIy,*_6m g׍b'!Gn!L1H*+:RA z([oM{zIvTŬ3v_бN[Qh,`0Y~^F#Qk$ J8oV_SNrͻ | 't6ouup5ȳ=RSH'9V<"n(Ary-:_~h.@%(B Y1 LӳTT,NB!D]0oI8##soI`*6ٸ%m5#|tmhm&RWgQ{ٗYhS"7/S]ST1̼!$r7DUZ?Un>)y$G%7ħ}\ZO<^ŠwRD WpOm_dlU)ULR6[B}KdUagSzAv?S=rIƻA)n[ǭ[:qH VK 6P_=4* ʠjyDU FCE=aKž"yt'җr93OYAӹ")YKg=CF (5M"I :k_ WG[rP {܅鞌Fa D\grV=*aozY!D uE=EkȟEl|sjΝhQt=ǫExEe+ӗFo'"CXfcɾE<؋&L ~K108-˒FGW$SiAp@N;yA/Pim4fM[5F1M<2v+ eN 6K28wԅy}UrG,0 ︢d 5+=S{+ޒ* t||-]Qi]jjV@l?`)PA:MۏEz喷Tjt`@1U.R6~wA35BugSUݭ1"c畊~^2ssåtͱ:Od~@cՃa0 3%a(mw !\ٮ:>p4TpuC +1q}1^KCYEG!GLfWU H6ѹC^TKcS~=VUZ:Q"|,sül]rX)\6Eٮf^0*DӉ~bcHe)abL@6nERM$Q'~M۱ixH!y``YӶJF_d`W53AעAUdZlJ!tT,6Ŋ0 TP`GeEA jFMh+ӞOpP,gBF'5v `"iM`.%EYw# n,Q`9f-jK"A]F[iQ@ qC<[y.nDIU+b*^wnϴD=|х-ҷurDսB,8&wA\g~8QGguЭlxryoOS֟mh߭: /o^%$fL+3IOsZ^%bSX}0=}aN}C#6.$jE[{B 7^m[) jv ̡sǎ&`ud`K_Boӟ3|HS*+: .{sn;sVV/-aV ^m)4rz G Na "\toZ\[SsS޶ie7mg;=g$#gnTVŽ!>jA~Zқ%̲ 5`*l>qfeW"i@󔬍(j?C>80-PT*l9]0;0Cv"eZSa*8  _esRXǃZ 㬤<뮢P,E Q<]Ի@Y ď)kDbٖpA}wz0[43\2S!E]c63/ zU@^ZgޖJps4%=Jn;lr]8A5utĉ ɟ7Zz%51]PLp~C1H=+Ox$p4ͩ x4YۦTG2^ e!)5HAfM !tǟч۝v;vC22̕GK=8 1v'~wY c qᐯ=Ղa`/icBl%CI]-=mHG8Jm|X@i#7Y' 휙ukN.ň"׺8qEt5:)"YKܡ6!<ܚcszR:%+fy[0~GԦ]gYZK𞲎@`3>"gzy*Msz 4}% \yK>V 4VOgBF,~*Y_4h6y&l ZF;Q}:$S *꫚.E]9π1$\u >ڊA8 (ޜ>d!#Mh'%DNy}gQ %%AQHt  C%,8ז {S$suk nUdY,M4W3lFRwb^Ȍe ~9Oʝq 5%s  ʮݱL{-~fqڢ>S gwm10j -IKty Y?"zizMraܱYl.+3!aMIu3{wV0D9o$;fBHnhgIMÙbxvu:z) 2e%bl/iW}@%mu3Ta5 j*>[o`m7BnOfQpyiH>AǍ;EuQvDK<4opʏ-f&|伙eBЩ;(-@BMZ Ka{ږ)=["1bp҇H&# Dv ̨;h߼:Żb1e͒1%FC'YI`b?$;~1] "\KΟ{ 2g~pAK9 rnЄPppB&#ڬQ9:aLcef丝6&/2$=*]| Sg[n{偑rwO% +zүwVg;Oc5KX[j#ʧ~80HQBj|VlTws̰ge  iI`f s:ԇnjݾm_kޏV]'%'? qʄTquJ$3&O_$8 tN.s'ޒ/BgX¡,(!zŪ6߅U^j1ymdqw11yߛwAsm|>:* a'ooLy'mEaDKۏsv BA9ru7nl2p%cQ=IW3Ɗ3!To|e>9 h#rU@ B: C97)-S4[ 6NV0C\E& ׂwwsBݕqy>Mi0k$GuvkT4sRVKyH꾽+-:^H.ۥACQpg,<^ VFGĤwj1|;aP8gfÞs{`]Pn4Kc*j*䷃]o hK ^T" qB|dhQiL?Ly]If%pTW`O>'e;F>ײn^.1yv _f鈍 !KDioWfv2tԫqjdoz f4n|C =`YOS _ :ܺF5Q14>oF` '$B`4Y{fo!hHI=1`? jD@C}]su9vUBHJKs`2(a SqX8l |k8h!r׊T~j*Ϸ{˶ƍUWYT*&SR`fSvhqy-7n]0O[亖WLEv#qy@[(KbfX xt$l)؏_/b:k¸dʳvހ1d'Qg-'"[ʗ ]hO|\2;/yALQ+Q厌hIo&S,ryW0PΘ)^I'>W bb}{}U,#ɽ\ `a8v`Q R*`"u΄2~?n", J!^@tlpAdHƊpЛlGh^P+ m]Yx$Ha01/x}=TWQۊ5}4 *%Wn+,+:yǀhSk385(;eo``l2 @Aej~HSvr z&>6ْK!k?~1WDAVfυň3wG]DRV;o,Sm@.G{oqKm0+lkl{zghx>/G!DrȎ]&{?z!D$ο}VrPuWbCR+a@Lο!Ѝ[>@$ekXzs Ǹ&a*҈d2r*݀LP<Km/e"|,A4s@;coۯƢ$23/ p/8P>*Ng$hCi@^6r@TxٟBUI/04O@P^FVT*U}E½p^^i:uDG ;4K0}w2?2Y(Y9|L99v@?;;w 4ӥm!1qD!ouLJ)&|sJ[2[eT&?> opZNAX{R@wd5) @ݐ'.~a}U{Zpv]RBeVPKŰ"hg:?NР,&@&\R\ce <\ o_Tق_y¯J <"AʰPLj8vJd,EǰKS^ٻ<рq?ԏ s(:@>IO({S1fuŝf;UX0~5q(f6tL#\S,vMøw8w6XF7V5q[cE+]m]l?V\G7jF:ce58X3}5 rKB:`z~%_ErfQJ n:>1޽AQ3I̵1 0y& Wi!7ܮ!woZvY ;S%-kZP\0}|aA}m b}oʁ*EpfCeŒkje"m}.$TH-:'z;gɥ^bWfF<06e.qVl_zb *9B?-R\xpnzV )tf+SI&.-1OwJ+EUѱgYZ  ? | ?;%!:HOL-IOAHOL-IOA.AsigPIDE/files~~/src/HOL/IOA/Asig.thy-%-HOL-IOAHOL-IOA.AsigPIDE/document_id230J#- LHOL-IOAHOL-IOA.IOAdocument/IOA.tex7zXZִF! A]A-MՋhvG"uIBm597 X4 bӬZwԋA%m7ʢXtjZU'GMH- q쇺 !~ײT$ b 5"$tcy]Vtl )bGPSu'HdUz)dʞy26јL@* {0GFV?;mZzcD逺& 6*fFQ2Y7-p(|!9DM1;0ha3[{X'tv/>{vGtꘂ W? &(VsB0- L IAzC&>)EJ Sښ Y^Lx ɠI\zu)}{9ˣ.wP.\/fV# F4t6!s*vMč:h¹SӋN"+Xvo3sRD9p2`Űp4ʖ?Ќz?KC_@&&{ s!,8,SlY.p{ >!š>b؎} ?Or,3ckn0V9{>M>Cyx@ }k x3lGh{`YhhX>bB]deB+0>AL+F+{Y3GCdrjd@~Y{{c9bszVP2t"xI8aPri~ͯ^1Aԃ.a[.:$+ofg U$ь6$12Oe6C'ytPu|uQ..A93;6$ ;Y3<)ԹWbx-پy7ԋf)b.f'5^5Ʉd UCAL;QbR0? eu:e= '!J?z%k-d^ΥPMDeh$^9^K*z8L k@J;lsJ[ptQ1ӫp$ڢ!}A\Mrؒέ(^ !6\#=k/cl<ſQNgjجRwF;r]1:t=؎^pubզWONItRo&؜Q~eUNM V p9Y)zWԅ.8̝F OO]ծٝ% {=QW3 #L*L?湞z28?DP̯0&?䕂Xi_O7!2\!E[T$zcoMgU# O&Py|svQ+2yt{-Z 9#!8HOL-IOAHOL-IOA.IOAPIDE/files~~/src/HOL/IOA/IOA.thy,#-HOL-IOAHOL-IOA.IOAPIDE/document_id232Z%# tHOL-IOAHOL-IOA.AsigPIDE/markup7zXZִF! w ] !M젗OFK?n@_>W3V LAg׭i-S¾rhGr'Ef-ıkOE"fSt&WGM!|r>` ͿUuɫ^1^xEm)=6iѠXXFƋ*: hy*/|ɶ,qN>$@h(eql!PߠR_$p~ Y$5$jt+`}mat̋1F rXN&o$ZK腾U1N9@K`ڢiNSu#ꡐ~+ >Mc@ xp#rzro2'.[qFО#RMF줰@}Bƾ*9#_a 604Q,83{}B;VqN3H9R{)UY#(`f D*E} WLiO%;B~><2z>'USQzI)"[XsV{< 3=0M.ӃCzת؍-UWi&ė~*.QI"~P? &VOP~SlmR ݅R7u %yV׾C[0dQ/ܛfؐG.Es';PPN\ҚMۄto H9K*I+I>lRt /ˌoizycMyD,^IOKą),GPd,=iF+#k)^גVEN2m 8|ݱ Nϋ(v9?p'  qS MUٙC?~<6_5dAYt:X׋Qbi50x7fM_Y[}"|4[.).WyҶ(WX.sJ"d1hjB=^AD"J"Ϋvi^g<]$gEV] utk |b' {TV榽6dL D{Iu/X{m*WF^\>+% %8cƯ,/T E^$|L0{B"d»B`CL\96^o[5'%vTaYS\II CVs)tP6/\dS]H 1z89Л\&<˰1}^Ey(UkJ.aGY-LԘ/blE=$E<+\Kos L6]@GkLJ/k=Ž~?ILC*r2G\/XfgֿqXFJ|a&t!JcsYc0oZ׫Owq:թ ލ!W~6f3zi[Ma~̻l$]pHى<:"AF }51S˕+.Yc{+pt٬Rwh :OT#{_uABw] Us[XBngPYĉwcX05) zP0h}wX gǭHtn=K&\+\{'Ze4kդbZ^1@c0/?;5r̍1ʼn0Aޒq2ڭƋ4%Gqlpݻ[2$-_ AnWɯBɠ~[@_Ơ! 9*nM6D8B e V'Mfo+-}BRӭjemgh5{wK>L]]FK{s8+dK*訤v5vwD N^Jm9n|k>=ú24N&'m™c "Vܜڎg+0,Dgv<uh_u$eY)Iqb  o~wHIB/r!=my)54;kkS0 RvYc0O>oإX d!'a bUlđ֛%Jp()yU6''"{HU/Đoމ.4LBD`H} :u!ęf[cUXH]vd%aThnأo Ѝ tEvn"^Դl456f@P'voӺʩJJ>ZNhV 31y&'u2=QɰﱼHϤ~6 C]q}-ȣI_í;eby 87#&25= %g?}S= fsߗ[wkr|t,DÍC+nX0uwP \[Fr,eHS0dě[?d|LVS3m[s _w fD~1W)fT~nZ&BdcgzRG4PMidm SYd֊ 3 's FO& s1"u@ 1cZmW⦨, Tr;Qdr$yH|UUUe@cjh8LmH!Nb 9*O (zKy Nޯ~R~ZDS\}Swު2$1W@Jl+r$ԅ~Q}(.^i#}xoonk5]s-)#V.uU^'WcN]#*C֕ױA@], 4muP5w8 jxRk[:On!Qb:tss ޿l l2 +5kF%-;@drG@)p}p,K&lxVD6SߙF':fO<3]EFD1r#Z[Z?Z; =Kk"R5_@/잯vNDϞ}xBYR I@s^ ;ҎKU)LYvGIOR}pJ|vr UFA|Gb - xY4&Pfw!5p PjlzENb[]R%^/S'ozBJiܭjr]0y #rÔұ{';.+w0l?DQA6ЫOnr{Lƺ/%^X%{5mcR=>OmcqO0+39 {cF-T;p=ـ LPqj(ŌXrD۴t7J\Z(ǂ[|W}בbl5e{n,rn1dpU6tǸنzeCi:`Nn 2x-a$P z%,X,erE ]A d MQŝ?%}'gоƦ<(8Ϻ >ΌB^v+kyNYS@FGЈ^ K$3կXr,i,+z[93 E| #-|*f3N15؟5kqO!Y=hυJo/x~Ɛu{Dk{/cx>u27ߌ∦#'ȵoB] x+d8~Kuw$s#Ga]/MfsEo2{Ӊ]~tJwWC˔AX}k;t%'ybnb7/IfW}8 o9:z(0íXu1 N'^̦k|Go vT3w_x - t$Ldb8su(R`4\wmآ߰ 2hmw?H_rXP^V3ToUB7o±47<ݹ rCr3,R/g!%n(,~X84a|]<թ:[[YnLud\xt#|R\ĦѼT| BPgRаPiumsʣyUhy,B ludM#zI*p"%n;[1}1U1>[M'2P-HI`?s{чEԿB]NgH.R;sN|}Lw‘/Ucύ^Yƨ rsӤHv4[rZJe_U$0zD4Ft--,'tPTkUAYO-˷;|$~9nIZ:03l֦QOd79qִ2r$_ ºg ۢ<'5~kA{i`GoJ]BSipnl rPx'Ny+MdU~?0Hqt|xY$NCT"\nHޗ&7 b]NmjoY znÕBV9qpH8=2.lIdpQS;A2T|^sO`cɾ6V s=w_p߷۟aR6YuS5Bl,|jz CԵf}?dz֎W>C7*÷q%0ͻUls=ڤp>{2<[wb>. Inb'03l:qꗈbPu#[ʆe` yFh>=ʬa7"}vqsDT۪SbYX1iq=d.xl{tr/hbTfB܈=5b8K:3j5'Ua^MTvVK{{pa8XPv=H(wVJߦ= Qc 7UH mJrƐd2w#cD|H54 Bm0Y= BC-<՛dru J;MZO@m[mJh x18~JiM3zm~XVwphC̑ГPYJ)\mICFuV js%Z5Wr6rWh(xC+cxoGLF^=A&{dv$Xeph:iץᤈyvrSvTx4@rVϷCJsگhYD=A-a"{/ċ2mn5e.S!cr!~pr]VT*y}bu݇$ ihCӽ{QIzaL63N"0 ߟM)M %Q7%$w/;YnxVBo2!QVT'oUV+ D<%zW0Ai nkZ%z7ܜJ\K o,~z Nvcf*RY{D6ِCEz)TLa,b|XB@\S8!o7!)sA)SzzB@h~M$hQ5g+n,N{WʢzE#b5I+&QJ fH(#,Ioʆ_;1YOgMZ/˛B/)Rw$Lo6,8Y8&՝5յ#rω;u1bV).$- 8cYO۲8O*7 uŨڛ2S V y!, yi< ]B|iy!OIt*tKX¦ٜp R3iC(6(?`dfxD~=ڼ m{2<%Ka%pF_Ȓ(UK[tefIڡLWpn^{ДgVt=|ԕ Nv-$whSt=dK>yR.n (&½fNj}ƨ#DSr^[H%Vk ϓ@Ѧf9""~V3"tDzO9FCfĂ~dM'|o8Vb w:8|bC{VR[@/nz0ٸw:ckHWBDU`cM%66(8G!1GrZ,s1>(wbI1|t!V%˪(tF^gZmJO͚Ş$Vw3Y21dw':b.FQmKϬQ  V';6 uwH9M70:9ʻڣz 2 a% c*m@G_kK/oJגHJěJ{ I(@-?vwoSe%=tEH+3zW %&&&QV)<viusgGU,1reEUbΘhg2v6}9ߑ)pcv59[.Dŭ7f(ۮ(QF9žMq@Q "^ho>b5G$SuQ(9<=U \ ϓhڇhD,eoi%-O` nU@uWpe}mgWLgBR%[d?>ɛħ7\ek_5+eW}fˌe[<% ªU+)52Y h*$m*m5/Ҡ^#mq{bғ~0 f5ԧGe,vZÚ1{oN*K;+uDN"«sy )m7E`҄`YM>}ӥI UX19;LOH7; >-@:Bdڊiުجowh!T0%,vevꩡ Vec2$*%Spz-GH׽QE57,El ~k+4X$ċ[oATU)ZФXBƦySezPnj%4 Wo7X\]8&q#0풸 N{tv \CL9CK/|ĥt4-Bq~2 '7Yu~W`9d.{+[ju6I(8a]-HHr d%@AeUR To!oG˵Hj“9{}7k!BKh0L`vuiM:oY"i礛ii@nD#$?DUwwLQm}pۉHSFja^9Qs;Es`[ZIKT L `'8#i9C; !zi{F֍IZ̅pQKnY'm|ϭVPbvS$;6OKl%kԏzzEK$jx^ Y b9k_D-.ы [K2|/P.-Cc PF E0+sg:<} mjm }PKT2rgN?B %STI9w: x3 ~EYzNF7i.1\AB(/-@'Zߦ_Qn-[$ހ k̑s֪w,˭GEbOBO `;jhkzaw`| HC"g4'__3ӂ3ؚ9DFdpjw/'" X2ĵRHs;&$JEUKcƒp8>y"FK=<̾i߸IkBN܎R2 E2s|_wQIO>T'~\vL•vR0˓Vh1|Th(}ш.xA.94,p5u{vx>ǎtݒoA@ @Ǩj\?lUe5#,h /8T)yZ% Zc4UxנQv*т,եbv q6-0/,*Iy D]h9Dd @KMo _A0h|m䣷.(m"Or JC/ IB+~240wLi!rYcRg.sGBgG #V\A5УԖj `cWСDv:jYDdrw,lt"&om9:!Whk.X)+IxZ\XI24+JL&M^A8Aa=r0h& (d<X?5<0K:ἑ2^07J A #2] ZnV⫍ugm+\=f 59]|'N2ӶL],.W &DaupFjw5yG6oί4v7-_h">0Jr>|>IX*@U7 5Ѯ>py* __L [߅#OS^ncN{AA1`_WgAl?~6mkz, [ q+szӣ :'ށW<;=l"(g0#/݃V^"o0ÒN6Gz 8-3g)/i DthjR'{Td}hpc\hsW+QPF4d&'QKaKb6:8Uk/7;+7Ac&d]`} .ة;5lW~cƕA=I h[2hUsu AY1!"}"dB ,78|p>$+|(y(}%E}O_Y"c?t8w9&IT -!Ƣ)cAiz{S̅ =ϴ))|>m/˝Ť/rGb+a7h]c51MgOzOp0kS |7K+zLRڑ[rz3ٵIؒJҒS~e `4sɮ1H`V 88w.ˎ]2لjZR'̜ #N[$shqF!@2>( 6:QZ3 yGs5kÖ;:̓ɵ"x}$Ro hWSQM0`qʭx>.ըރdגתF:.) ~^1[i~嫍qôsS=CN^SkQCmLCtdzkCF!+xկLx"XSղ5r]QưHpԅś"0|,0GR1qnT%[~~BrpFw:0BWlRhd%qjkr L3]-z?}WzR:'zj;? 7)CfY/%jȆP֚L U|SD\wujK{tˏ:|}BtR5+gtdR]t"ЙE̹E(;bl8{z'1 ԳY=]H7 @1CH-2>ss"]Gz蒵SR: |)põ@d#Mh?>EuC\oMc[G4:֨#p迟pCg}/eZdVg>Ƽ*CCe~!𹏶x(U8tUd8Vgڶ7>' 8;X<rChuF*B GqaT,tS8Q6)Fd4f]nF$6PV.c8:ui"NagS!䓪( h-*J^Ygf MFIBUI|}e  1HXVTQ$j`z5H-Q3rE/Fyp ||Fmզ6*(pa(aȻk2- naW 9hsuWeSFyvXu=eH` + ]>m>AUڤܹ&VFljTD]ޜ K_/tg|h|Jt&;THNvxIכj/·^@:lr Xc]ü¯!Bd!zKS}J#"@' -b6k=!KJ*an*V+T<.^*`8+5dZ^lћ L,Hb#]KհP&+ubV`.d >Sq!<Ϝ@O!|aڕ!GmQ&ͻOS[`joUR6awsG5Q,^d[Aj'LZᑙfƗ۴1J@$֠n)f01$ CiԢE. fFjQ:v{\HE,jVlkjDˁE+HPiiz6/ڡ]^rxVI'њ)6ռ7dX\Cdyj$8-h99cۜr$Uneҥtu|_9ݓ#%Gy38-ST*&qĄƀ{2̞RoUeZ= qvzSY[dD]Z7bq]t20T2G 𲮭:vԖJgA`G!ձ D5'LmɾłcP<_$s0AD\=*FNf7G鎴YZV=)ґ44\w Y{O$b.Є|Z#,2ЀT(\~{HT$1-҇x3su~9wX4=J=6΁骟Ei[ي'~c bIm䃱O!6LGo5rEmo Y,#(6ecamSugV3Ph֟ `9KY-N XUȑơjf)ɇ]UEqHhXlEoKjQ|Il?Oco#XըPFu 7C+!u@|ȝǂoD]R)؄{y̟5t1|WS+jiҡ wn=BXݛ8a'H*d0Vћ&=V%&54UG?f.z3 aIA4ګTi@ӂ1 =a`A *[I (5,|M-zs= D>,*]NUm~Vnز^^jrhhXEVw=[[  "FJ#6an7s~;{|2v+Oy4?!x{-}vo86!:xLO|SuhkdaG (F+9ئXji~SCMz:1.&`}v1,k(½TΕ+Y/M0PZm'%&wi'ei;[{QDT> bGDTLqkƒ8w[:D-̿+)J9]lAI;*m<%]3m؜\a?jWc.zc/O &'>цlA(8 +8~YC S0\Rp4!.9೔(=?I@!ዿ_HeML`eEb `T착ca1l,NWPQTx CAHĪfݦ4rU#W:lgu A/P /Oq^ĸo=|_儻{ʓC4?wQUb̼Fmc-o?ǒaq[@l& ]V#@j)ahm̄;K4! ?;-%uOհuZ6\ ߝ]%B"ps'n@[NT8A rbsӨ%kxVbGf]eĴ 7lZ âjHz_a2*g[8Ezb)ߛJ1mrhEm'ͣ4o(Y!PށeWXX W [)00WB]AJ{o)6v`e$W!a gGjVjzjwO:ei@ MLrGer ךY~F]! abrd^hfM8`=%t^#JFp!ֆf)?||~SG0gB;z٤kȝ!{G4l=fU7!:En98C},Q3/[LArxN+!ѴW۸޳Ұ/w(r ]Y߀^\oUy :bhezv+$Q&'27 b owu^Mzݍ1==NxfZ LD3 Vs"^`'wbhltS_67wx WGsp ],B`+B[/vg'? gB[#$W[Sg]Ӌ+7+7Gބj,ΏCDc4"}\Pr?"/\ \x߃g*bV#dWKU -fo9DYaKJ mW^w= X'‰mz0-B2eAbF_~KBΝ= H&s|hOբ_z^aj l#dW{\yHtU'QH14gYZUJ_eAZO|[wmwJ4M?G+€!Zm֩<<\6K­Oz=q52c8zb9*pCXZ:y|"hŸ"H'Ű~6-ZyظvFT%ʾ|2xXivmdPc <]g4z=b̂fm~ r;_{#dD5\?'FJţFFuD-B̴6n#9QŐFlWyY>Stce۫0u:HVMIVw{,v`(ACV\g$]1 N.PKvw*u>`h%ك|-u"YEB] `dH'H̔L&\ģSµ`_H}@ t&EN8pCZB 'Pt_(A%HsbdIU_kJ+ <& l'A@R vYΣgDTjt/ iQ BԬnAJ%>BFj|GJUf~Si'Bd%Rq:CkaUr^wwLqke#& sX]<l9t9R07D$nAp(s/ 'a`^ʹ{荴glHF\߸zQ)MW*Zձ[dh+a b ^–~Sp8A3c蹸(O8"!2% ?]!%qP%3VAV99 V _k+˿YAf7rgS4ZmD+pvI =Wd,y/:V7Nkފ^kiaKGO ]4>Ξ05= ̀./ɕjGr+ӵ>2B>=^!HE\4fk;rrBEV\tx""vj,kf7\hoLj4ZFAYgB氄©UK5ayWrsi%6O[Ѓ9,9tZ/1y6@.Byp}F湪4S!pKurAj{jZr ($8@X2*/k`C|5n |@.#IG mnSy?GwP/B.΄.{-&WL1P%؄E6cqg[_W?+g9kMR96SZ(xbhH>Pv omՊ:OR;EN%hJx|HF1̝E6nI &ڼ}SnƐٿUј^~ִԦ7%fgՔOt7kU_&oc;^ef>AjӖw|c]TœI ;t*fp6쉑~`5^ |dfݫyٜp-໘' {Zr)7[|o L[(D`BgpP| E\~2H|NHJ9Nf(n_q|iaM(ne~Ƅ@m j# ' :AI5#B^t =)T{#3u~Wf3(y,vF8l0a74,ƫhRR+GUѰ(; B˴@ qHSBy\`|JB%U6 *H1Y^5owӱLʷgDe$egI^S3cA+b|b׈!9<!ܧ2o//Cٻ7'a=q{HV@T&xHA>/-y1-խ^ ׹E]lSc7R/,%ՅL  &ٞ!yC+P!IGқح 2kUY|ܨ8~]t&b |8׌m y"t]SN b HϜ[jZ㼚Q7̈óW yx=;/D^)9VPY+=u܌MS903uk;v0D8Mg%[ۅ(s8q2Lc>A7'XsGmJbؖ^*&wx!8+hйRYZm=UT 11(fWąS :(7zLJ&ayyx  "ڋ8ס$eϹ)Y-SYĭ]v>MMbjY"Qĸ ,LP/ 6#^R}GW$ڷj-=c./ fil_;K+koh^ƅi>%UwEeab IxOZ$&{q 0{EdkgiQxhplnWZLFp]L>OD!?΁55{8BnIlƒ>I^ivrIz=x&"J݋I520gEΤ3J+f=ǐPFV"0AV'|a YN$yU,ذ~*י&rOjCeN6x>#3RQKE<@D' 9BF xUL?Xd5ǶD : ٧MR뎺JďىDALBTNEGp Fu5nmH.[vu6ݧ$(ނ{QiXCb܋YkTwߥh<ȐO%.UBFV8]4{Ȋz6=sq<)nHQZH ;IOɸ,@? VLWkMhtP \83]h)֛Q`ґhjBQGIL@lYM E=.o?2Ng^jv[ X34 V4ۀjs ^/ƲKWT[´-R;*r4ˌ۸T7_TuAL (/ƙ#݀p/,+[y+ k}A@`qpP)nu勞Ku09@.ƥ:ӭ@>,!祋9ia@ɨDHݵ?D2+t|ʱ6iBsF =Å6j8݀v3RÇSi& iopZVހ,*8|yp(}-׹֖O%'|UQEg)e_OؑZ #tMji'Rp#Z|fJP݁#6ffK#K1iwK#&!Hl5dw8ޟ//.Ҥ#F7x[+!דi=,2)v.ntk >u;ia, ^%vɿfL3v*y$4n2Tѝvk >BVU$91K@pvr9k$kcGA>V' P?EAt)J}R<=:ٹ`sgg9*ʌ%37 HKJ p$ S]6'P:߶rKF ʄ\k^YdJ nl `@d\ϳ֡.>iyy]Wo-eOQaut}ޏsxSoo4ި}];T^(ll8K//oA3 bE9L5',b;wJ'4t$'}^j>_'Bn5OH/y:M^EP9ϟ+ f<.ݘv8}@~MTM/IL_ћIF1S0lj*)d[*&o n(zf&̈2CtQv=@'Ěz]p|TT-E g"ra. voSU&wGZR'%]2ȫna4UZI]Kp B$:Bt1n c P?8 _šzuf*R"l4|"uqEƾ&[>uU^7T+~xb%z2 Ul/  ʴi|۶ @n0F &ؚ)c9WN]W`6βь 2ih@`W$(1.IJ>cG&JSo']SS^Hhĸ"01.#ߜY.F@)%ܿE -2uX~ǁx!C5I*ƂA6bG9e JN yWFMGI/fΊݽVS@Yvv\'8%+5UbУ}$3 169)예1lٔz,[nYi4.qrDˌCZ)/$n Gke.Z$"q,-?'>5kM=B)x]1>ApGy+^ *7\Lri<8'DX?@go񊑖.=o1xx  C>] ɉ<ў]ƺa!n3+QR^ux.8cj  9Dq{~,{Aʠb [<܆Ay~ $CcLUJtYUʸh ߳.? -BƅiR~IFtmlE=վ~Gl6{`fIm'|6CA^yLN7ñ˜6 a'*]yf1%Wf} 7A1\pP*2yl`1={Ht!٢U3˓TY+2ӵ4 7DyRn-D@>ug4A*4cҎ-5g L{=yVĒad4ybD Pf@zϞm'̃U gm5_Cv4yktN`]$O >W|GӰhP=U"&Adsyd(ӉiHh~ k}&+_-g_c1-F QfL^6 Q"T C< @:Yo@-`Ǝ!͈a#Fת -]VOT!qBKϺ=hIz;# 'C 1^&jp,00EGz,!E4.H*>=I/7C.>XB|W[u(K?#gGkgYZ  @ '# >[φ&t(3’uq(5=0mf1Φa;tPg)7f{Iv F➹AaV;54Hg xgkZ]V9@KjSGtd$ b YT|Yk4s)]_$ a\Uzt6wtSF~ U;W|ݤB[IJ *iSZ4 Ng8e;sI,bdLQ9`´&E;<>X Imxvx [ʿܻ){M+;)mP7k" @pr›%."xM?jfci+F'9LjTΩaJ[3'ip::Nr >%֦t=a>&_MQx8PU^]O冖5UvUywz߸g ̜@miG<4?EU}}S?O'ۣb}lh;UdM'gᓒ#^ă?ODn6(Nz}4\l\3voL ^=0'pOƀҗ_ȒoHSلpJuVw`Ft_ uшWLqC{0Ʋ9t(O{ , \`+.fcեp-