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  ' 'Vp D| ]/ HOL-IOA:threads=4elapsed=2.289cpu=3.828gc=0.0007zXZִF! ]ŗXiɟ}g7xxqX1OPz'ַ$y::["@"l*Xߗ F4@šFtx'C"@ΓȎR`[^N[<{yt°aiWF"9gYZ7zXZִF! []ŗXiɟ1řGtHʘ뤑 LVom#XO,I v]ŗXi%TW ?bt ć6UgK3PLcq19EV{ J)XN+j3R{(S9SƱ<˝}KT {3<ĵkV2+9+ hZDBv:4I)0sJrlk&GtwnN-aH9bu94ر_UpM_KW#$dw9-TJlyx<Ԙ RnM#*8'h4O oCBo+2̵ب% 7{Q,q•#Cz^toN\IvժA5t|e*V.c 4|(*}7"CF{#Ln.l wC tx_ ۫"=R*8{~X3>'!xo,~O\K;(/JY_5>x] k *>ߖ] E@"[;Jjv!uWœBLn Z#Og&4qք+_/>VKgtb.tz@eoaI(,)K\4cȜ^(t G&gYZ23a588980cc3ec8e5d9751475def130b411533ee3cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9   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? %q6d%= '!J?z%k-d^ΥPMDeh$^9^K*z8L k@J;lsJ[ptQ1ӫp$ڢ!}A\Mrؒέ(^ !6\#=k/ckAyygOCb^;>5/P-QWN k5++)ӥOc`IPRLkW3V LAg׭i-S¾rhGr'Ef-ıkOE"fSt&WGM!|r>` ͿUuɫ^1^xEm)=6iѠXXFƋ*: hy*/|ɶ,qN>$@h(eql!PߠR_$p~ Y$5$jt2J8lXlH<~Q4vUNPdsH{yIU47eKGRq~ۮ@Np)~zva3ހV݄`"% ^)!*v/ Ԁi AGjѨdRibU /v?% O aR*3 5VK!iu*by=71lsŢKQq8YMm@$JTUW>u:ٻŢVƷ% "F(V(+o|lΤmo6;[%h^%,X*'X IUR%^Լ=N9AaMA#Ƙtȣ0KWᨓa1ɞ@RиfNjKPԪ!H&Rj=cWt(  N3ҁ7ղ3:hѩ#&ylBx>x;c˫q "蹣$0Uh Kb>rK4y^+@ d$x˕}GK^He۰-YD^Qe-9'I\@ {"b=Ft-\ZN3B|4 |-L8\)5i 덏MV#v^S{_*`؁74>pn~,d~GpdήaBh"u*,>Tr;8Q-kܿH'rUƜr$DB%TEO4C$'ɻ\ۻ$:}EYo`{.bɻ@i1"?(n#O+Vá3rXL2[}J $ͥTx@3؇ѦJokF&B{5 jQoWK}guq%֞ת%UDaO f4]lOykL^wbhk೏ֱ05/(\EdDw0+ 8S-@RQ:Q9! ~NdvBn<(2u͍y5n | ?gQ8 F|H!0=6uχd/]{uN Qک*&'&ft2hEAT}`J-DɕIT Wpb/| 3%UE^!BЍr9~ ,Y>ۋK qGfFc\_fW}Y|k7KqE6;cyǿ YT闺g>7 ™Aݯ4*J)]wӣ8,.V1> 2kHee &?t7;S=-}u:XݣXi9[tT]n.вX>WOlK&Wqir."RcofAn$iSr]"D wׄ ]IAT`1Q ˶XCQS 32aJљ7Ɓomw4##ӾO?8t.np ,I@A <~~cI$\#IsD7[f.0{-|;y6R`D_=!V_p`wMJIJban.#73c}G20͘2JhB(b'W,"Q7$奀Ƞ,㇆Η8 6ro:) ϤdF3"nqrl$ҿCdbZA@Ƽ^yASlJ g/2tT6"HQ۠O?,TV@7p ?ahB8OvoRY k՗ӇƓpVHЂ/J[T5d୊k_)gYZb] rt]7jƀaRLmPL='݅aX n=tA]O |fC1O<``9Z"'e9{GT`=be&0qcJޭ}ܠL; -pQ9lr29xLHƫo"UePo+֥jpƦhuN֓% R[IlP\$riRfd=3ë"f,=,PbT6ekHQ=Kq'dxR{]:b-ck"T%0i_܆В|%EW'SApR n![ś+P=s3xޓc$+3 Ŗ_Woj+FQ{u sk{HLjTy7rz+X_9YZz]M & |`2a)΋I_bm?`YVWxȐB鍦]gH#(Lbbb ,~gFR6!P 5뉜43Ml,,.o@ģ7S,0;bdW{gu$˫ޑFq)?YJSۜhOoyƞJŏ <#Zi騞4j;z˽\J\wRss+*'i ;,L+ @XiExTcT]HI5ΧO/~ܼ~:^giReKu1aGL46O22tfzh&ƁKH';b]"`RjZ#s3mkk dz845 H([ЊtSsdè+4lRHCM )0ESvܭ~4Z{]>-JUz`Y~ڑʲR<7",-Nd:tS?25?j.Жgzz bkjWsnfDƼ\֠nZH2oph}{ Xv9k斣h:G lV*쌜v/RKt"orhAyGo| >d;"jĎ: m' Z@G0M['9˨cs (VV;~Pt*VC%>9 S'j|Sw͒߹v+ '`a}CJHWjYqlV֭rf4ĴdjsPܜ88NPJV,V@$qR,u)充sKCP3B-P#E_]9pµY Zq;If&YTuPV{.Av/9ZqV= *(va-Gg 1Il&~]1VA zH5ƒ:%H{^N%a}T%mcƵ GT8 YNqg(1}HY&ARSD RSFmGd݋"WW8XZƒÒz4H)G7")&Dfľp-+vMqHA+5By|>PҠ !:ͮrxu 6?|1<2 tt޾i?*X^æyD~@ԹDszgQ/ј՛7߿>+zCV (?%&/Ke8.`K;t۳enKh[Iuϸ7-*?3TsAQ#Q\on4{&*tL3j=̳-S^i(Tb6*@ldn6 5AiA$z:/d7}I,F?ֆڏ s,5t*h4}Miתx|fpz (_d`KxF֎ SK#EhxYCr4 $/T-  v,% ;`NP<4:reђ鿌 jD06Pk;4IZ$!L^*α'KF7XDY '˳쯶u?u7:%|40joBwbUز$Fq!ۊS%J~:۴ CT}CENvn9nMo˫O(p5gQXii=*2!4kMؚO#}'Aw\LW֮oߣ3AbuKMd+FWi&]'a񣫐K Ov/U<gnq t{\N3C8aRQ{e \]J5>\Gb]-srGkhMQw51 U Q!nִcm8T}CUX| գ(57VwwzNI~gM[d934ۤg-Ï?929WNo&QA5lӰ"= e@"2sy[W]kCw!}2j@XuŊE*ױ"B2,^2Vֆ %_5('jBR 7 oӗWԺ)S* OW e ]ƛ*b"4C/q ?!LxVw4[zm/kz!exW8"0\ 8,X\bXSᣅLb)0̸?,iɗ"%X#:Gd_|R3Ci z^}պGuKtsj%h1_<|-* Xߐùe̟ iҶfel0rO=S}E^7 WAժ0c{6صx(h&2|iQ;UT|VbtRm0CkGuێvx'epg"V E& i)HFSY޵g2Ҙ;ſPO7v A5΅f?/%q"b<sWEÝߔɍ,Ys#("Ow\)#Xd}FKΜ$nq 7AVu i|Bt!pj1DnBP|wl`5 L9j]TÙ @Ʈ>39q|Z;!qbKBʳ%a/0T(&jko׉j*xhþI{.=g` 6m 3H85tg'\c`[ZK6¶)z\xNIw$A]Hsڪ!o&})spg>1R•_.Ȋ}蒴rl+ n4;Z謤M>Gʨ".S(&|/UHv`@qGF hHc Rn+Twݽ=WXp",TwHfiq6ղeG.T',Y$W}d~6uB]-~w܇mC&i| hv6CK5c.vwQ|X N/6*>,/¦uQavȮPDZޏyI4p7pd~f ߌBUz0b|h0-jFy;g&>f(&cq ZC GÔ,H~EM(>$/ϮDqxqλE/ <8* _l;^uC17b=ZLbQ*_oɨ51)Y2 sJ} sAtbyŲa !(}`M]yIy2ʱJ֔~+\ד_+É6P蕪yiYp,k9pe8 s6pjvW_T^H%fԔ*] U #72*|nGLDK%;|(sqm9OENc/a6U>rN8}>TҤ.*nжpɳ4֞,'fʗ)t57e"١Z|zjrғbCiy0A4.s ЕEhm7&(ia/s=7RZy#w.+E˳ޗ撵]&w<5Tj`vQMz"Lђ6훆-deVE{sk2aE6:7Z. c^&"@` %RUlDc<1N)ia3DNRd Q'ʼn͐oBv!MQ 2[5LgSiR!*=T?+KK! Zpk|Aƞu݄w^4KazĿL IJbNgmU,Gݻ*j?R&<\'1ʣgNZ*+r pKM?(Ӣ+؎>!̦] gfԨ erDQ7ޯSxpʒŮ H'bR)VnlkB7(Q>o;fbo8=tzWvHuc0bP'F2x$53j}(fD=#Õ8n:p< (qZaN3y'dիԕJ_#1Q$ڐ_Xg(_ikۢ(B*% +sܹ 0@e_В@F-S}d3@h]+lt2̣[֓< ʲʳ\ZA c5y`R`4!^zFxUӧ9wvy:C jqfƢwja=;yA?Θ"&(h3VLxt[]fˣ\y>/'RDWu19-s ,t ?AI^hؽ E~vbkr4Q&$it ȡV^cRn)3d^XQ*RJobA39 Te-bJ֣Q&t.ģf:laYNY|<ԸX Vj笧^3s; kd7}Yk?3&1j$),f\óպ˔~j5}Z6l)Uݚqеʡ+S7Uߪ݈=+y'z;Wg؍(G0~j2\ҤSO<W|Ekml K ^t|%n}k& +,Jp2gZv0k( }5'r s9VA1Az*ҼDzd|S}^4K8ɉH5Pey>f2r8V͜tg@Pqӳ R NsazDvbXMy9s,T1i5>̀Odh۱m@B\?NVyۙ^Whĥ_AЕE6iT$.Hkm wGHGZxao?Wok쵔䖌V ?̀QϿx.'2Z4w{n|qEWfx#sX6Jl4v\wZD{LyV%~P_NUqX5PBsal=|e9l.<e Kh@;3cf Z7*h$hUcV7fɨCosG9yU?CHf[,^sH2蟞 i@bIY{s=vLMj 8xa51L5d̐O?8@4x%ct45F7%&.ז"(sT(ws0Ѭ+,Y- akݪ17Q]Dtg$ H\Z*UcmčѬDH>v]XKq*uꬔ y){;0c8uAJo(;Gg-,iN U v 4lxoJU.S%:q)`G0~ߌ 2&&:=(Da ^n? b jb;:E aFc7xx v|Kgq%AOz_IhU_gZZ$|UZ6 L[z%VyWCU;8Te[ba )+"|M!; dF_%I qB&tMf޴,OEOZ'ŌH !Ϗ6clO*fˡق|l6&YLRhh2#:i'm(1QjЗ!fQmc݉i##^כ)81%K,|G~?ɶVSKsެrOo1RĻeJ&z[| !-ZlשTꊉ"[:e ˰#`@ o293=:p7oxMi_D-:I*7kW.!B$u |( >'jq`P` 4?E,9E PUb5p ȣ9`PV\ZsKnbYbR!IdAW~^zqZ|T@00 g͢yef8 D$Ya˩ivEM,ݪm瞸K`v^QOLiofTmhE+lғa+mNEK/ ]ǼcMH|0g"~%v7v>0á'N fU]|Ǚ _ z~*xz>.h7?OqD rr%nOĻf>xz=+N kV11ZL#KYZ2tЌ'nVpA6єLD"1('Sm(] GඔV85f(u8| $ŁG0U;.e;]I6Tv|0DR5Z/C :{mQ\7=g\~&naX9o̳P\]N#zTXSf^e ŏmpي9:8PkGךFne[u 7+Qw{7aK٥λmkC]ϱkEϧ[Pvvmdu=Qq!Ʃ6ŇNZ :D6jta G?>1.2"|y (0(e&8 ƙv rȷFNseΚUtpF/v"BPrL_Uխ.}sͶĺ8ԆgM퀄 zTdXȁ#< OEu0ɱ~Bq;C&~ILEGeOk']b202 X Eʸ2 $`WXʹ Ťj7Tݕǧ#РJ9KTbQYL $ruJRMI0cmNvZ"lQEr'ީ>ѪxN&>̔: /l!])re"LkW0Z+]H^Ɛkp0^q1B}֚sZiV6=< F_[wHbq])Otk'ya@=uµv_UN.?b}6Qx/">t_zK6\Q~$( xq/}Ǎ`?Oxd1_9H_tt uE} CJ:8 *#~TCDs ں3?u"wu1hFC^jp`FNe8{i&] ֯E;(Y0*qV xxg|ecҢ3\Ũ8=̽ߒɄk6 kyu[y ^ڵHlhsnK2s P{Hlwimt +1B=#h&kB*5Mܪ2 C+YDNCrB\Ɉ6/3$#XuR|RA69/ޅэ;aLxfT݅wòՠ l Q}v8.R_h?OŖQe*k FcBgp$JʞN}̢ع-m[qzãk\ʧb,z&OP'=&a`X]4䏮.l |m.\N]U]9!zՙ^pYqTIv EmjfC"M}㙿Îܼ6 %Lopu.滲$ٯf Wt YO)!5q:E;W5aiLa", !yivF cd!hB$E.K|C5ӫCQ#BHEQ_TQ~^{&=yVvU$d]xEf =? x>w{Rd0B+t=i]V6uWC sAJJP,mU^ SҘʥʰ˄P Ɏ*n_3Gkv5@'۪F|[;2@h'a1ju- rwB,p;jO&#d'lG~'+Ή?yeI*6j<˂=<9S,c.xP.`"W?fX]^]0߅k}\I s=\A9D$CwcG$駇e6[VՂ947f9YRJF!8LKZU[֥q +Q$uм~eGiAjǼAB4`D"ۣzuB<\08BgU|ytm 7Ti\>HӸөʦou m_A F8 RobWOh6m uCzpj/PB!_ųDc .V)a@OƤڻ?0#VՒ'޹ Vp$ou.3I*ʮ0UnKK Θ⮱DDpUG,L Fk@Y|$M1HlP枌&cToYBx;(j|`xa H6tR``E,ۄBW󈧔:kDz?W't@:Evv?iZy#.Ӿ~tX>bQ y6]ƭExhZcx;{_ 0vR|_JPJ+ti[~jfwfMLk8̻myjyM}fݦ$̭:M}hߟPHc`-F?~j2n\~lP~۳ׂD;5.0OPCe0DE-)ֹt|Q\.WK\mM!/JZ9^#xͥuܙN.As;9Cu^bGW{EizpEpsT_i폢V#)*y( ϻ@Yjd2{cƯ.# lp"&ha0|ڎ&#ZIK@ʈ=Fk5Jٹ2(Oloo 7˔oJ@ҊĜG0C 3]s`1 ؍jG'l\!%Z{}a KZ&ae#O {y[#k^  0Eׯݼ9z- n ݱuSIHίܽQ,%H;PsS!zu0?7kCPssԠXun8:꙽pnd/YDhM4[*JKuY`~SgjN52&ǽι1XC/+0z]gz?zׯDiB'Bj"&= rqX+hc #O$ሚe;ܢW4d%k#!eo (0=dL4QE&;LѨ"eW7ƭ.i{VNXךvR15X!jY~o&{=v쭜B߬AJ(70jxk?$31ZyeGR_fgJb)*<ϭbu]:p XFs=iD'Bəzv:d1BaNA3\?6/}J(k<{+{慽nlGqݑ HQw;/uKQU/ PP3^ȋI^RB2zw'tbTK 3Bv}tjx|@״Z>@7ugDI(yQڝQ7 ;y;, 1QuHQ0lgYZ1]KKW<0T߀mY+ۍߌ]y^ж%#9wJRh-l}MnsJ|8C~ ܾ}v/ "/W*,\M. @׳Z ‘΅*f 7?+{@!˩]%65ץo$G _s$ dϙ[@:^ Ӹl&K wJ9-2:;JLAaO{ q V5bqLOB0X$V+Kqپ͟UIOX00 gLx8T_P)Ah6K ËlR ߻W_br[ڻ^ptT d‘~脔-,`1C %B<ػFvR>hf^!گ7v^qM~qZ?K7HphR3؍sΨQMbQ wHAh too3/wKt'lדdK!G=B`Xv+z<Vf},3`8쩘>B^\{oC[DǦkg]A~<ىW*.c OCiK$/@ԿH``3,ڈsP#~)k;^Hb?^{2{>^*#ӿZ+GEm)D o"(@j^/,R?Nk4ƼquqP.^F3If*T\hen؄9V@VS4iػ3쿎[c<؊.&~CM/^!md/JkiWHǶ>9W^/#Q9#=wX# $.k>l2˗G=h|1#׌49)3z|#e &2=")iX},K2j1T/I5Bɝ۟L۶e;Fv$҇fǯݱSHSyd! tcĔ7BsmAM.)ɒ#M^:?߅-c: fǜի#{kAycxzx+侤y ́q+/C Cz#,kQ?= !PK:ZEmu9NĻDM1S%ysѐ% 2mt./1bg?QC[ qr{HFOwӣP~7MvWb\`wHaھ1;nZ_v N =័w!nf49?miYHHoDJ ѓzjZΏʒU>,\A0xp2tak$v<}TJۙld^:aS[nL08ӑrlMӽ[ؑ: D]R#+}[^FĒ!STY 5B6N/^H*VY7x^98gCbf;$;ϭ4[Gl~z >5Iݐ 2UYf$$r~[5WDc5AuHphfWf+)"3 ;i?.wC͸J) _=_)BZtnw;KupG9G?*A $v&do5K.A֝V&ż~#>HFoC֨Dhڟa|)!6Pg߄CKa&wd,\ ړև͜&_w2zpgoc ǡf#2LY D4B*60aӓ,pU ̟F4 =xD7=.T\q+>w3V$+%%ǎu.cwA48>f&o7IYgU #,7pV3[`+W1q.7 \m$bǕ~IHaz6:L어Q㳔/fpYGҙl 2_zDm{@7XkC=2$4$adѯeXhMWQEJ+GbRA9>t*y&DgYs;&g%wb9zF~t!ѧlI1hۻ4Kz9Qd%!8Xaϕɱ7w<ۈyUvN%VP@TGk ZmuG1B]6qUx5]|_H:(g4ˬn}ff* UozbS~ʇ.fem*MޡɛcPA*x8]4܊gi˦VQ#;Rs%9F S-\2zĪwMJ2dTf<'ٖYֹE9ptK w{ 6})O .b$XU|UwQZWdW\FQ }aaN>Ώ!>o$b]/VW"0@<>9PSu:fTd ?b"Xb وumRꮡNI*%X;kL.:LR/^<,dMU~ɝm»@`*ߊ)z9E7߀xVkH/I2bNo m\ 8MJo;&Uɧ;!?*L%߮Hr>,-ժk\->A{H ,(}Qޔ<W7n9?6,OCaN3ًV}̌GQ5 Iaymt}[v`,Z:/#M̶̒chfZ).fo[Q1QROx'7z@6%ٮDsuI_?DZHC`I%߱ lt0:[R p$X=dKnpQ ÊeZ:dK` Јf%24>'iu8OsbJ>&Ƕaª} YIXtH[P4~C>K>.!|!̺0{[sl'scwȺ$nBx#5Ȼ^^1h>p>\eULV|1j_)mDMxcw H=ˎJ|yWsA~T}>n&/.WV)fyL>OhהQO<4M=n my;pfR+EB?Yc[~Zj]AіtLJab._}_0F$U|TiJ FlQ>Ss%~t,.=O~g|WaꩈמafojPLVF]< kmT2l=^(DݯɎy@s^/_sM(׶hOppeߞd󺿍6s0ǫj۷{Gx?dϰ="* \]Vw8 ,{|*b} :56Q6nC B3cə7 ١1yÿE*yqDbH|&."J>͉WUVta=ZdxS{Kar.X| Ā fgCvFX:{)+O8zZ*#2BQjzR2hlS=o.M`ͦG5;aɼ$8<^rkŎè6_{JX:ɔ? !%_I<<a.lIĴi沱 Ar !?>sD"7<.wn:gcL-;H3^9.̿boV@yy uh?`x{|~NTT\;HB/B>X[VI$988Bm8ʆ7 N*ҹWrXE/!M[ gGcXL%_o5u@,dkmG,Kz-)!CR,f_fpi/irҝA"眵޻`DyF 2z;fDb#Hx0ky a<.䨹hy=sd+Ƙ ,kNPQ>K9RY3 &𽌈JhOqMZ@"^ [+'/7:H $#t9# _6?w%!]{')8A*/ 忮k:B;a9;q[°vI5s <(Y }lϹ g0 x/Ha&.؄Z l]%+}r_ d^"7{p-83G>7JM^t&Sp,d7ؘԠЉ( g c*^7ꌪrc^vr -Gi!-'+CVxF&Ӑ? .77NMOibqNXyͪ _jFvօ@6, ?]^ J0,GzY\)̒}}-,!]%OFm_v?Pu|xhGnV\͉T*ޘ ?_*5b/F,k4[հYDx&0ӗv<aE4L77ܭʊր}Z֩(Oz·a1T:sWab֟sr8[OvA#!wr?.)fky@v4iIJ=_~+ Gܨ&SNR.FiDuJt~RqTƜ 1>{8JO# ށX<,!Q:S7^f(v*cZaSreHxtgHm K1o(D'EqWʫ0v[\(@B`\}#1ۦwj7$SR5 V4aJz+ex!K;oEnD M#OPx@B:bf6:xp)G1rLyDT/1HGJgYZ  u u| '# 4HOL-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 c