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  # #Zp D ]/ HOL-IOA:threads=4elapsed=2.167cpu=3.568gc=0.0007zXZִF! ~]ŗXiɟ}g7xxSr)Ț:6$ ] yP*HAw &#W/n'1IIOn'~.oh+wcɱT{d˯(NeҜ+;S[8{gYZ7zXZִF! Z]ŗXiɟ1řGtHʘ뤑doyc9zεcm6x9d19jPvvo'gYZ7zXZִF! Az]ŗXi%T[DiYbo yJB6_I|Ǒ[k@K`+P.;;\uGR_ʾD`"ǺudE DZ0`rea3E"RB˿r5:͏( ȿtqKP6^aud 9,Ģm!ov&]$v໠8T+I 2Uw`tZ]yLL3Qv ɯ㿠b+D(TɇXsٶa|ԁ ~+ hx"V}37"FcOR'#'>I9[dkŌѷ8M}\8)[;@O CdXǴ+Xh(]mOl@.sAB7#&P Ȑ5tʢ񲋍 8 g*F\|uLjTN/m񯓌GoOҌ.^HZ^f>zuJ6("=$hY-Brqo(=tZ{e< 3<}'$Yw~J[pf͢*Y_ |3@\OpyXA׵LMwJ浍|_Y%c͇BŻ)Meҹq X ΃$gYZa60052d6deffb9462c3a1f0319fad1239c5abf49f4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23   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? yy>y= '! ## J?z%k-d^ΥPMDeh$^9^K*z8L k@J;lsJ[ptQ1ӫp$ڢ!}A\Mrؒέ(^ !6\#=k/ck b93xE|<?Qzp5.qӐ53KC 8ʂx֯d5g=;eÚ²&!u)/8OgLWSb/XQRsG"P(34sfW ̩A<- #:l PBL3GS/-SOQw+di]hJm Ю!zEA!*~tl)(AxvߤUHPmXM NJ3'}BłuN_" DQic7FƎ-@P+M9R''ñ/mNĊ(X6bnҸduZQS J*%4T|f4"u=0Ԟ!͔UE~N nx40Zť̏ ɏ[XGR?i$/]vN,s'#IVr 9#!8HOL-IOAHOL-IOA.IOAPIDE/files~~/src/HOL/IOA/IOA.thy,#-HOL-IOAHOL-IOA.IOAPIDE/document_id232V%# lHOL-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$jtI!c[vLsKg)G2ݢrܤǠ!+o}`1S?fPs2v[Y_ 遁i߹9]g;(2w5 Ff=kNRL*yM|xXϸQZ1B^<'5f S%',+ayTpDAD9icDqsNo=f(ܑ}p_4!EΖV@JFF40DaM&Jo4Q |AWCqtӲ݃_"=Ύ50@܁}x Nqm2A`6aKD(\Lΐc0]D( btMU+1h 0Md[o;usQƫӣ,S`J ڇlzu<أeHLyWA|N.?3Cţ,9ܖjoXچU.rf,Π |>jd2"_P -VD={),6rmPJ>_yVnL(W{pB=ӶT7wҍ[Wzɑv(c"r$.7~U($ /Б枬V=]Y7{1# A;k+"'!b=|$`Ϛɴv!c'(&v'~fFfa[̺ƂG0V_o$IĠ.V(2:S*Qu%-.9S %4ZүP贪Irp ms=*}BCH"&\!/Q MJJ:H@Ztfvӵ YI%ܞ%h 2r r3-8Ɛ'Uiyoh Dtm ";M/?v-šWaQԅ WRxQ,Vω;[r&-#$񢢐b{r9_VlFWlxe8m(mr'lFI|X#%zQ\{ńXZ*w6}q`g{սO/`㘿0MgyE> Ue&Y8c.W f1y #h. D|[I 7NBվ:R17`׮+J6bU岻[?#ҧ Qȧzл^|/[k26K'K`,v|"R2$֐֝]b|-zNzaȺzWhjdl n-DM$+/m+yjN@:+ 'QZ:aq  I6aN Y͒xQMSM7GOP7 hQ!94#J"գE ӲB4]p%+ DY;p.E,4--Q_@莽E.kq6|BYў Z~6=n~nXx;jU@FD~Fj5B*RQ TW<T5ti#.:6ūVC g6ܿ/:Ǟ !㡽ZDQ'JZTR\&(6kG /j]6Yx߽nD/x[?fc uU%O dY )K$դC?[]o0״R8+Sj"釒PN>zPw^F9C*1/R)vm}TW ; Q-Q &|F򣃣4`%&;Kz$+csB@]0:+FuU{ fä9-|D-1L;q& mFfs$0A*xJR8rphoރ%O zEz$–`$ٗ ;=#\|YNg"ӒGC&mE5fh89L… mUz=Oy~lxUCvÍp iӣ7RS4(%^#Kav)J}O& ,=0·q ;[VSi@mEѵW0Ob_Ґ!MPV 8krXР-[?3%$pGaϪe }>:cB* 2N+#*C)sʲ>Q@YՇ",+ ë,ɣ.ͥ) ' 0eN}p7I-G3D0rZ{KAmd5`_ؘGoI^l&E1\ɏ(Ӫd =<+ؿ{ytC5]&7kWOǶsjKv%=/-LEKbϟ[̢Z,!!ȸ=chQoSj+sol(xl 0a0YW^zn]m4\](tsEF,oR?&nI yRb{}QL%{M#CuFcxb`0&== Pf {!Y{v q KtNSxy`:|GHV+-amHmeY 0VFd> >bXntFCŻqɇ}`gYóc^kHezѠG)rK)ZS#5 ŧ|^PnJI3}o&.'1*3q:|&S:V/nX"i^5f}n&ˢ 1gmCuhD&8sl?ڴY+GϩV^NNv}8Ư"Z᷂ˁLM;*D$<_ؑߜy )" hJ9}@пk|4;do?oK'w|/?86Ĵ6gݤlVQ-3)L,x_6( hC(u6 CL wnEoVf*9ů@赽z}-RwDz}]1%(ϕ%}~JCQg9 xZjxp*zm:<3F9-ฝrRkzuf)l$2v_黚cNh‹W ٞn)&[%!EwVsԷ 'к̇AuF>y.<6/l[3>$,QXm0f8ir%pUVʱۂkuE XHE3>UB@yV4k&yِJ?ă ѭ׎Na߀SXG١ "P;8@d]. e.XY_(I$ˬ-'`TBs #il?`JTbS|=儬] |)6a$"g__Bs \?Z' Q\S.,5(8 Zh{BO3w] Q[ͷ1&HouF'=Fkb]i$9X+`Xe&6؟x^-3,/-/ 4QBu:=.)4)lfh<֌37T2MF kV,(!IHփƽ>b/Fx* l齙]v'^!HKhrSM1'-1T~顝-# AopA`QCkO #Qf]C ?Ƚ4#ml$1*;3ݘgqV:#Wm^rx *ː9ҳ99)IěpѢu&v̂;9c"Сs 뻡C6= ^*.brhgbNAbQxPr6@sooz#_>ǮK}BDvٯSufΥ*`Rn' 1wzi5JE&aYWT PN(?vjqQ18mlJ$"ҕ{ x fulp0IIL{Bu'*C#/jy&~V16\0(x _ H .d4=|s禬ʏ{&]Iv]z3<42\~%J'q`ځ|]qrPN`zM=}FS*TP7 d٦(r$ 3+Q`jmiFlf1%̘ǤQCL(xbFI~M(pX(=,CQ~j|8?ׁ,e tGwxӸ:LAif6݌$r̛@`_7k69QKn̾Tа2b6&܉,MxQLȼ55ާ/dLg aA!yhJ[P֖9r`q_݀d AF";)uɘ @jR[,:e+źտO+ Pˤ!viwjEcc pgO^);JT%fezj^e1JfNR$!w(E5Lz 'FV57:4qQޮ;0%Tnk!{uMoKӂ &}ҠزARÈTʣ pEOY0Qqଂsӟ[d,=RZҢ=MWqv3"&m]qu^GwBQp*& g \RڮoqUʡ*%u+:]m(hÒDv78GCQ0-&=7e7yS=9K<jts9VxGe[81zu<glHIx~S1@: F9ٶgBuôq +Ы.6+] *Pp[A.bRwO54lFIwVքՕ.ܖcߊ$zGj_Ɠ@WfECl{UUll?p cN^bQжV%9vP*d(F vcUo~$8|2lC9F1<"~L CG ~Tr<6%G?r \=g ( J-'a/'8|`ԋq0^^+f`l1|w 4RqXJM[9}R)RA~RcƁ?0@nͼ2{0 Q-DZONcQ^=w@-GHݑQUw6h=ttMYNnQ* TG[ژ|fsR RVԤ kKzixV[WhD$`XW4:c B r7.H;{>Ԫ2 c[ !P>S8Lb 'έ"YG' Nl'񖌾_u&(B|Nb_ȉۣ\WJI%(̃kPACq8P}e{5G əI+ʗch4,Q dlF@aq6q,%C#_9)O-9mOX-0)e@O-/JyG+R@S}63Fe\ -żUh1Fy34i֐GDsvCPn؄MsC F#2A,"@oo;o1鼳+-SKWvp =|&b]MJ3yW?8Aj[EǍW:ͻ,$r/vU_&}X5"4bE~TpQu,<;ܩRyɅ2"j{} E0٨ {OD&Y ӟ&Aš5Tr 'B?sk\ qAjcuc*xlxt8ab4v+,AJ6]Jcj:o&LL Y\{yӔb"tN߾7@8(ԥ 5 !Ύ!1ϧC{]*gK6^W%D,',HSg*ۅ54΋dj 9!  qYK.ۂYyg&9}@X&܋*y%r5 ϭ/1T:u,Qk2`ɼ2HT(Ø^+}?$Zةv%ɟы6ƩRɱ4,,Ӑj#6tYᏕb#J+-%6^DjGN=@V \70P*yX2I@݄)xW2򜌢P$.T&BVz rX:_MԤqeYt؈ Wa2a\2E!WG1auiMar+@ b.ezܚRh0B]Lkk|ds!咷zvXڬ3tx$@zg`c.ۘy3ϯנp@g^lU ;\I(2-;Hh9W(}=&}X:k>q ưFK},ucW]KSZN)Ԏ_YN8x.x䮆,m~0^o.ߵ0%ӻq w/CX-·q;l$:䌦g:ҁ6ֈhql6|l Ask:_Žb9^eħ'Kqs;0aP {-nYձC('ZM d%ǟ5Njv$Fq3+/#:2 /6S-6⟡6c}t*pן cc 54]sP$IWZiJ + 5g`PpCI$}Eo&MB֩}^`?}Vulpl̹m%}i^v " yq0QYr|COIKۻ䀦$CY7j UwbTZHC̄\A>dnSȽ8pAP9U<ꦷ!:}[J#9xh*r1z;ҝňj@&!]+߳$Bm z1 GppݰeʐR 2x8ݑSfu[E+I6½py hHB 茴=``dea}Gz;̿qoĐY0JO;`y3{WBU(߭3!\B-|2|iD:cϖ@fG 8˩iJ35%L7"$>`Y'f<;9^خfw2T+KBJxva1 [- QSNg3Ew.]kا[O;a7J_iam`:Hlt_6KXz#3D[8;_-d|*=07PPxW \Q8۸(KVѡEF=<I'p6*q=J({u:oL- ;xtgAg4tmgNK=VkCKE<T:fCAcM8E%<Ѫ Hf3kL|?iS3j'iQbx;2 9O!0IOaWtA{Z~ˑNF {Ra-PGkT@S>Gե@z RTN_ϋ<>c\I =PK`LU˟F Jq)9G'\UY|c ![h|a @ &Rݝ|qa^HA`bFDU= $hjօY <*+ai| c"_XYԁRFHIw+¼i-7 (0$_٣6;G)r,QysY)NVV@#Q "Xnr/^yzT:'Q^:H7D~Nv@x(48w6@z587 G%Rw?=5lN#/(J}/=}ACCMp kop= 5=ioP iChXP{ű>ߖц?嬕DGu9`rHJꦩ?-A{Az"hџc511΅HKODT=v\Fkk &z=QE@3sA9Fa)*0vZZ $ F[X4a-dcvMF=tI ?6|0۳.IV -0'W>߭!~' $Ȟ^7~ [ƸZ % EB>=f|m7'/ JP8>u2g%w"gDEh,x mf,J6е*˭&cH 6u^}RL`ٵ T4a=RB^/٭Թut; Go&},)KZ峯EcgSy,ICKUi]4j*X$CVB"匟wՏ&o~'>lZXHr)*q}4>Nwl!o}%z84=c1g9DtkVE@qe$0-7KN{6z=uzŪMRA ? Ýh2Z|rYQoyp߬ơ7_^M )ʢg=総r`Dϡ' 7t'ݽd^vRp6>tv B.@`zޒ"# )2ŗ J/1ZCK-#t]kY4S+%)I2GZddmPF$jk<,t*s)XX7xhs깎m&jQAHr:yzKRo߶k:J"7$OxcR?mM(@ͅkؙ"Jҋ YXGeOޙ_B< ^=%$ 3Z*dm0)g{1eޜ蜑2ŧ~6'\5øcTUPbY}YTW,K1ͳ[G\»؈E&~4*p ?ʲMq*8heF3,=TR`{ u[<(nDnŇԾkBK{ jkOđ,0;Bs3}K$B ǡPnf܋jy]@֣{$ĹOh:kGOTndf_v j(=PGeG]mutE)[}###8,QBLJjgnBD=K]mw9!*Cs;(zZ+):'\ XcOemJN,x+ g-!1<.^a""] {uޙb:gMy#&CtQo1c5w"Kg7muBbkbB-^X\ #%\YQs3kW1*v̪GFHƉ7$l D?dƠg7$<@waK;q`c~]8VɒُE!!tlmrq|4rqQY0^QI~ ?'~1j*R Nj H@~hF-lY,"8,eCzN_ôzB&U,m0D;L..p9pt7N6;\MUЏjC`$EjelR/rn g-Q*V~7/[rPRoPי1WRd2(Vp(|rJ{E:Fnm+*1z&,qr򕰃`e;5Hd ^ih耺v†LOn)U2t(^ܡO7N&P]JiWڐh.u+=6eDn\A L ˠxG81BBoCU7QZ0MHbxr^ *zӁAmz$[t1_nPI9l\@^W"z~qqjЬ:65 {&[RK`cu眲)CksʌLWw"jA(R…EC5d|5H #S":`Rvn>3c|NfՒn )-(9gkK{ΔȵpKڂƆş`!ج_D r]@ZC N4TdoX.-I{`Îq+2hi=mªQ vȩ<>;;g-oJ&ݒ>Ю{) :KBUE+K@ dPA]gH$aUM 6>5d w/Ufu06K J%4 d7AAgW j#;?/_ %{QȂƤk1_tו% |=<ѮP 9([a*knm$3ir%RdU"wӦ~AQԪ=f!kMu ǹ_XH[niR$bL,1Z8r'w|(9ty5>Pэ8@yZdM;m*- ¹ΖC$;Z074ەqT N=gѳp^`*#eكA^sDAW=ᢧAw ;߻%caByUIB=ic&XcϻW CfN* w)֬,_eB ϡ$/LyӰ9?wCĹ95kUxߡ- h? sC'3L4B7{b[*; (&?]@z[ M :K,e}18i鍁Z8c.qS-QG֏BAgztݟ-* [v }>$Xӡ8w "bJk26&X0 F#a[_t;rvEpҞ T#Kֈ2;6Y857- K1gB~jh+FE W)X)+Đ2l_!zZ@Q- A5XO7RuDHObܡq>L j!bovBQV5`O{;Vӑ쐸:je{U&w@C=Bibg3ڜ_~B#Uܯ0`rX|ARi] 1dNXݓ#kV~LokdtnIQ)IiQ/zQ%px V,K>(#ҍF! bQ5930GɾBJdYlZPҠ=JiiL"zo=p9֡Y}k!3njL d'Ȃ;ֶÎY3WIS2cjB_myZGڵѴC,Х5k|3[t2)т3<Yd1v1ipTftVW6 RHNr UTh@lg%ܗwb*/BL•҆MŁ MF Xg2plqr?shckFslhbv=3LYsԶ1?z&*zyh";"Zt:`d-.Qs0´'Ttew b^ilь"}9*uR䏕R>"fȘ# [d<Wp'0 g:uoQtМ׊ '[)fm>iM=]S'z@J7{4' t)}Kr[fXA;WB`ڻ QfLT Mє`=I}A(- ܊@E#lDP8jTlgLҰ'(و=?᠙6WQkj_ܾx`5 +dtx[c"jo6_6GX?s6$9b1aBN|JGo-E!(2Buf#ލc:7ʧ(C1LmX gc 9sg7B>FD-uc dMF椩~|LxF D: cVG sڡX`>ߕR:{:nK &oeej-]f:&)h?j}y}y Y9Fne1&t{ L.[3VU%+B"bHi46] E ]mJd߫CL|1CWʄ,np-Cyhy1TQ~r+xt-x5adžρ:34!WSJǿR kYyÃf x?M?BE=px/5ZU=]^% ɑ`PiF a?w2,u%Y9h'JVԒ,T=Qd傓J̊g Xb/D~QybY蟵h'u'Znoӄ8\fQy7LzZ<)L^D :fr5l1=ڒ-Hya.OcXZ6v9:a[.)jYl`&נ2SvENaJnkEь`[;ч;ø+O)=Ur*{IزXR%d:t܋:!I=Mb?yA.QFdnµ6U>Hµ ů.Qvq3˚kPH,tz+XEK = hfצ\mDPHRy=%|'h1Fi+.ә!i-7l)z>VD7+ll_*)qݏCi3߹e\Y2AXBP6T=m-`~wZ 0EvlUuĨ*qN_Cedw)iߏ0^д\+` [FmM(}0g5΁f<<_=lyv Q.ZjQ,6e.E6D/kWgPZ1jOCU?nho@VEtD\2*(wv %ojY GZ- y6kmwpįeLڽm\4 56㢔Q  \3VÁV+GIi910Y¬ma fE8E0׸=-w8kJP!αmXVv[ֹ:ܣ}Z~wGV%r'371]mlZlT9E^{~ʸ/v`D92ppylIC(5'pD:q԰ܨCμt $ r,=Z`fӕ OþHD WXNֲG.;Iybct:JW9F k =H (`k}Wˍ<0go~vѾ x=!Zice4bF gSkƎ"bG1`\I\!C47Qv(:)O`5:"Q!^K=gX " }yNJF8|~p"݀-c`| tEijaP-xoA]#-pdf*T|a/f=Oİd%_1\HQ-,9(F^U|b7_I }6, Q4v@mZ6kD1&u飯ۯ`{lADVyr :+;")s4TwxJ/,5hׁ~`qBPZ'lʐFA!S6OT@ lUy/a_bѪּ/ ^>ɣ7 ޿Ky^Y%ʂ:5*/ռ;g[]F=QHZq&*55Tt5iJޮD ϵYa(Xɂ}$:&T1zҴ)_kb,[*~5n$P%ބo{ԥ6πoNFL"$y/:b~W!?I羨PR;v)z$G/9EiՏwvrpM*+8QY cԩ0u}ƞR;/ntn"O\WQӃvmYWkUq cX1`zrx?ܚ KWt.LsbS0uK{ucR^XE"aj`\)ެp%2iPR,~q\D+X =.ώ8^NGC(=u#u(ҿl6tzJD\exxڣ2լZ}:Y wbmv\ek rpw(GQ=80ap0+EOmXzu\*/@\~R[oYmrE3m~EUw1C6zH"6QN9@ՏA[z aůAj\2ve:aL[]L2BU$5OD5Y3CkjP3JQ'P}w,^Qf4hdOM,rIhن9Aԙ"[~orY" -rϴ(Q#0pd! ]Pq⍖`NDzZX?SNE4b^-%:ɜ%ȵ8 Nhy9Wͭ(]l5jwti*T&ms:_ݎjKB:A8h}HQYP 6jSiR*]6z`3Φ氍PqSL/ɛ=Koi@0*MO<mVJ4T24M`DbQwC"kzZ Ty>4)n_RlcAZo<0'GP JB[ں|߲`7m; 8:kUx "#ydk Ҝ:@ Er{ K* sKgetX 9L{ )i/"Sǐ%=Nu3bXe7 gSv-Ipq{4Ǿ5Ÿ 5WWF2y`ף+B~ j,R:al䦖w*İr#YBϒMAڳ~kxu!'W녱"z+,P%2-fHv -NOL՘z~|kjyn]@)--i7!r*JW74~SU{m{ u!=JvqBgTeyLۚHO%+2Rf;↘ h&^VhYc* ?Dh  E5NHkEHљQ)"[SUR'Bg^ Lޣ^šemJ{(!l-. 1NHGT~*Iks]2DПF0pXWˡ"$l; rl~{p]-51$Y_/Dgy<*HԢV#86TsIBx%.v&-?I M$&Udz+K|5ft9 ߙҚ Ɣ=ሪ1=9 3\(8T $N[ 9Sp(f?ϴ4A%JIDU/ڪZ Se|8A?fe5\ BFp[ {8SvGHѭ/^?$6{qYYC7K]w: Hqw2㢳Ď`5/z]k2ñԭTt?)37|&+Gk~5ֈ h IWG[߷L*JVH^(X]g?o AJ鏑wi=O!&׻Jt,}*- ϔB.j98i☙'J(MUdm/U ݮi=V  $6? ;KJJ4DgCx8SrI /go4/I#_2XaXVMmᶖp+qOלC'E\AL8r@]۬*H\"Ŏ_iC1mZv5 0zHAZVj2dk;+qfRC c2146UyؼHΑl{K,N4LJ&'_b=}oK}߁jD(W+Z1- ITm $LsA/1NH2١F_W/n8؎ E wFPs c dCl@8C+wk#uL />3ȇM ro'N4#㦼?#q4&_Z,!U7uZU0)>j$fUWcpӧ"YdΓ1Sqƽ{ɏA?[Ljec(c0A/ep?q"Dz*>3z*K}&9`H !VDpYNnZ 2)uuK݃_{n ex* p?u%R?"&.O.6yU֣8L#|Qɢ dNkFe풕ΠV8>|c.S3RPflP>Iڂr$>@_˪soPɴoH^ R7C|WŪK-GI&ȓTJ:dT+L`y]#=\9Y a9 cĎ\Tu3(ds4;k`2t=rgz{38Gq5`brbZ;G w+zI-j1;DDzUX[/}!]g -O6-9"u1^suQkF9kq4ǂ3 QxyV?DLK;NC,D<4{4!M٤:`u TaQCSdY187[+?oA%e1O4+{cyWAxeYN:+AMfL#d'H*`j*c'N<l 0a/kat X4]k!6z[JaIzVM~)ضQ{S KF ]\(=2>y@Wz k5JP2w1KaB}vp(ز-5er/g8'\֢8>K>&д­ 4{SJ} /!w4,ΈʓAGG`mYxd7e?~sK8!gs8&H6ڥT 4)!5z[[d@]]  btSy$!N6串q$*!f9KJ EiUpa+&̢`:",.[Gv̉r o7fdoMMY8xкD\ 1tJ.^>-ho4M5[:F֓p3=JCz՚zWX-oW|ǩcN@. *Qʸ&(棥֜>V9i@޲j" (N9wyQ5^)Pf.rY-τ@kT^hєSNf <ޢ~_hc:@ c$6HR Xd燃QT N(!74᪨z1gOccP T6 iV "kzkH 7" Ҷ/_hqt_H;7 *x_RjKϩ]>9 IY*-)4nhK) FpE$yJܰ2ԓXMDž6dOI@JYf8_' D^ @Xn)3AO wKIU#N{88`J1#@9~HzՄ/ahw?3DZs06KĞY4ύC*N0R˃1BDI&7nn@J<_9)$IfJ"!,Ⱥ>vq3{%_M[p?v40Yhd͒cX,y#Z9N-P ١SP쳆*B$TRy?xp0zqR\x&疟O@+Ǻwɒ!Az#Jts-O\QQw$Z/0Z:rZ{wNެޠk2+Vwӿn(lGؕG2wBhk;iݤB=LYqꑣD5+4Ŏ剀<UJ!j0ȸёHc1"fo%ЪRL|5ƉlS@UEpw).JUgdU?+#ƣ:8bpV(TUŬG y-)x"3O)ϯ~tlR#(dͻÇ7 TɍR@SmA.V~d7:l! 0uKw"7 5܆WI3: vW.L*FK򨎞m]JɈE{ Hޭ9ٶ' e۴Βn]`z:b[%0 [& p*Kޘ9' G.SgYZ  8 '# ,HOL-IOAHOL-IOA.SolvePIDE/markup7zXZִF! z#] !M젗OFK?n@_Uq)E $*Ji54'!Rdig=c.3H>>[φ&t(3’uq(5=0mf1Φa;tPg)7f{Iv F➹AaV;54Hg xgkZ]V9@KjSGtd$ b YT|Yk4s)]_$ a\Uzt6wtSF~ U;W|ݤB[IJ eQ=5`SM}46xm)FgB7S=m|ݨOEt\H͟12s"*.pُ8/싟mBކ_b8^ߺ+;飥>D%ٶNqC\jufY$BS$`%2؍L4s"ܾxW-T7 J3rGGnɷ>'њl}$$bt.3gm{˞V[Y=50ZwYC4Q .P {:ԂZXssFdC , (~N|v {h?1J C/?Ap$aΘR=i#lx3}k+h?l @ɿWslHa  þd3uf+LE2ssV J\&H\nDPHN({IXi|~P7ȽEJ`58,W|CJsa&^ipD<#Hh4'lAPC0KWK{[5n׬,o0Dz̛@~FXp|4{U =y "){0ZnX4mާMj !v76+DCM|u=;30$'X؈Vw|R ռpw;CS!IE|A]+F+y+