SQLite format 3@ >.C  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 _#r || ]/]HOL-Eisbach:threads=4elapsed=7.447cpu=24.148gc=0.5127zXZִF! ]>]ŗXiɟ{հ]ĝ྽&$Al4!Ku,1ǟ12{ds'Yw*J~_"]]BT@. 5kxiJ3`g9l rR(U!\3Of@LwYe {oSOiC"a4vX1l ''BʥyK_NAS-FxEmgYZ7zXZִF! gBw]ŗXi%PKVj^}5.FjɤKwou X܋eQoU\ui. Fonz-TT:?@ɥg 8}W0]{{044tqڎ )ʿЙQut[!?&Ye~숃 ~n(hzrz"%1Y!G?PmolP*U,%EY" yVmhy TBJb5?QGiE]a!WH: MGpF+M9 65=rZ}zs W)N|QJS" 6/ ]HK[:sa$ӼAnڱh Y48^τ5-8`-waCu La+ f+2+(ЗR8V1 ,lq{5bYM\6KcEX@kl=񂀉\  ]/ P&eh 2|JS/\o!g|L Jϧ@TQUX },]oo$<աMɞjWx _>p֠ɇ|dviTăA & ")g=hI&z˻뛊U*''@+'C\B*L h !K/k_Lņ<~Zt)~b9WO;0}O482 rF=1< Aȇ*zS=\k ﲅV(|jÖQyY٪ SE X4ndǒǪ )QjwO}!PSP_~Ę! IݾVK p>J~\C64B?DED?ސOyFҾ+78_w@c{[?.4VL5W?QOu%9*@GP8W%G+ _} pj_9 %2lKĥ db=DS`Rrll;F r.|Ip`s(V76R6WMǫ(~3v'e #\f~|<;A@Q)c*A\l֧|ڐyUHxr=Tષ0KH޿f#PʦK ^HbH)-|m]b4^m$qo6Dx8B1 bGׯ/g z0ps$k2 z?&!P65AmBVQM.<%ħ 5$7* eK abN)`9mAǽDϘCՊ NxTԂExf')j]G$E0/= bFgYZ1ba8205e7e2c808e7ebfe68bf695bb83601a761d7527c097151a176fe2b7115e283a3ad22f3623eb 46d6d70bad25fe7d15998c1bfe8de29513678f57171496e4c9c77702163a29d21228192ea1617a10 # HOL-Eisbacht>~ytt#57 |HOL-EisbachHOL-Eisbach.Examplesdocument/Examples.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 M.&z[RΒ9?=1#8ǔNlue+9t%%3Y,_0 >:wG!:IdĎmQO =m4n0m+56|ܩJk`8mq4?_p%;*t*\;שTo,m$a2|a1VMl}Мj|@cQ"(߂Tl P:ںz/GC۹RY&7Mp3loĨUOӣϻhN sA u`73fYm!`EgMkNߗMAq- T6n4PCT@Dè"8׾DK<~dpM4K4,<:+n$(1DEwd+ZtjnMUN\*3sJ2кn7ۧ%>{%_更 %/ l[L$xy*zbcA1`Hhtc}c7[gN*7$C,LGϭ9uoYXfZdf)iUi7=+dYxvh s|c`#. zsfz@o8^s8})Hu*Z02at><aꢔgN] i%o.6wqvJy+n1YrѸTq,L68 b4$BHK-| Ë\P]orL.N6z6~ G x,1bNJj%'ErFӝe5Nta {ҡnKUOX^ {FTˬJIk86d\2R[/Xgɋf|:04E@LkXJޅ2 =@N!wk& YT+_k Z?0nCjvOCa)@rAGt?jwvո[5G (W@h }W%e9hpnU0 Q|k~hA (0h3:EIq,@P>мDw|H`xcb^x>򩐰jΗ[cX XtbOMTojiWҊJ1Y#d,+z{Vg,}kyӰ\.߆#[]DMx777b5*x*0uOtj܍ ,<-y5( {6:H)6dWoKa@r2o%!\UpZ =,E ㆞xn`1$dJ[a8N5hffu6ĸ벙OUV e[C~Lp.3O]to Mgx3(MqL 6WEmںQ|dr?R;C* .~YA%ӄdzHf~kl-`] ԾZwB驕νM7K\Q^-*d!;,h^#be~OoqW.uZ!#0 ȕت\Mb_P+א^Zr_ܒE`FkIu8iA}whC}n2r.! eZĈe}@th@'8l%H=iuvVġU_ ԶZ>ݦu> Vg\{^xAmn * EN=*ĐNNC{Yb~]YQ̹^C^e"i3U)ϫtpte `r){șЮn~ R؇mxY8%Y+x *][7(k]ՁIZ-+;]Kvt-!|V B>VEQlټPaEVP%Ϡ]Ȳ_cխc67|j²m)48w>۸)~> {/7̽YXݑ~u"h uhh[T@6 hq{"V}w{K^ҤqEáN z~дBzlJh,^%kE"K`ЧA;v>'$Rؿ_Lh9?B LlotrfŽR=%"!!ڎ{_K^G4 lLu>M.j׍>4U{ZD5B7ZZJkga*|Cv$/cu8h5((7@nOѬxÏoBPhykzڃp_y=u ~b @)S2<~x 9wfߗ`r-vti![TUشYDάѼKz _P#l&ȿYl.^4]:[ =w!}6bK:}5` sQGN+p R+xSe͎4RKaHd a_~o}MP>-<mFΝț)A'M]p-vH1EP{>]!A*)]]j7FX쳪q=|3xOVF˺IJR%=|ɟs6%v(QqIC>''2$I+TR,V+_ ]O+ <=:<9;88766554331100..-*,#+"('"       > G @ &  ` Z ' ] \ + ! ?L f f d 7  dAuS1 ?"#'HOL-EisbachIFOLPIDE/messages> ##HOL-EisbachIFOLPIDE/markup="#'HOL-EisbachIFOLPIDE/markup12<"#'HOL-EisbachIFOLPIDE/markup11;"#'HOL-EisbachIFOLPIDE/markup10:!#%HOL-EisbachIFOLPIDE/markup99!#%HOL-EisbachIFOLPIDE/markup88!#%HOL-EisbachIFOLPIDE/markup77!#%HOL-EisbachIFOLPIDE/markup66!#%HOL-EisbachIFOLPIDE/markup55!#%HOL-EisbachIFOLPIDE/markup44!#%HOL-EisbachIFOLPIDE/markup33!#%HOL-EisbachIFOLPIDE/markup22!#%HOL-EisbachIFOLPIDE/markup11#!HOL-EisbachIFOLPIDE/files0/#/'HOL-EisbachHOL-Eisbach.TestsPIDE/messages/-#/#HOL-EisbachHOL-Eisbach.TestsPIDE/markup.,#/!HOL-EisbachHOL-Eisbach.TestsPIDE/files-4#=#HOL-EisbachHOL-Eisbach.Examples_FOLPIDE/markup,3#=!HOL-EisbachHOL-Eisbach.Examples_FOLPIDE/files+?#S#HOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_SyntaxPIDE/markup*>#S!HOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_SyntaxPIDE/files)7#?'HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/messages(5#?#HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/markup'4#?!HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/files&7#?'HOL-EisbachHOL-Analysis.Metric_ArithPIDE/messages%5#?#HOL-EisbachHOL-Analysis.Metric_ArithPIDE/markup$6#?%HOL-EisbachHOL-Analysis.Metric_ArithPIDE/markup1#4#?!HOL-EisbachHOL-Analysis.Metric_ArithPIDE/files"1#3'HOL-EisbachHOL-Eisbach.EisbachPIDE/messages!/#3#HOL-EisbachHOL-Eisbach.EisbachPIDE/markup 0#3%HOL-EisbachHOL-Eisbach.EisbachPIDE/markup40#3%HOL-EisbachHOL-Eisbach.EisbachPIDE/markup30#3%HOL-EisbachHOL-Eisbach.EisbachPIDE/markup20#3%HOL-EisbachHOL-Eisbach.EisbachPIDE/markup1.#3!HOL-EisbachHOL-Eisbach.EisbachPIDE/files!#'HOL-EisbachFOLPIDE/messages##HOL-EisbachFOLPIDE/markup #%HOL-EisbachFOLPIDE/markup7 #%HOL-EisbachFOLPIDE/markup6 #%HOL-EisbachFOLPIDE/markup5 #%HOL-EisbachFOLPIDE/markup4 #%HOL-EisbachFOLPIDE/markup3 #%HOL-EisbachFOLPIDE/markup2 #%HOL-EisbachFOLPIDE/markup1#!HOL-EisbachFOLPIDE/files8#A'HOL-EisbachHOL-Eisbach.Example_MetricPIDE/messages6#A#HOL-EisbachHOL-Eisbach.Example_MetricPIDE/markup5#A!HOL-EisbachHOL-Eisbach.Example_MetricPIDE/files2#5'HOL-EisbachHOL-Eisbach.ExamplesPIDE/messages &#/HOL-EisbachIFOLdocument/IFOL.tex 0#5#HOL-EisbachHOL-Eisbach.ExamplesPIDE/markup /#5!HOL-EisbachHOL-Eisbach.ExamplesPIDE/files 4#/1HOL-EisbachHOL-Eisbach.Testsdocument/Tests.tex B#=?HOL-EisbachHOL-Eisbach.Examples_FOLdocument/Examples_FOL.texX#SUHOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_Syntaxdocument/Eisbach_Old_Appl_Syntax.texD#?AHOL-EisbachHOL-Eisbach.Eisbach_Toolsdocument/Eisbach_Tools.texC#??HOL-EisbachHOL-Analysis.Metric_Arithdocument/Metric_Arith.tex8#35HOL-EisbachHOL-Eisbach.Eisbachdocument/Eisbach.tex$#-HOL-EisbachFOLdocument/FOL.texF#ACHOL-EisbachHOL-Eisbach.Example_Metricdocument/Example_Metric.tex9#57 HOL-EisbachHOL-Eisbach.Examplesdocument/Examples.tex   t#57 |HOL-EisbachHOL-Eisbach.Examplesdocument/Examples.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 M.&z[RΒ9?=1#8ǔNlue+9t%%3Y,_0 >:wG!:IdĎmQO =m4n0m+56|ܩJk`8mq4?_p%;*t*\;שTo,m$a2|a1VMl}Мj|@cQ"(߂Tl P:ںz/GC۹RY&7Mp3loĨUOӣϻhN sA u`73fYm!`EgMkNߗMAq- T6n4PCT@Dè"8׾DK<~dpM4K4,<:+n$(1DEwd+ZtjnMUN\*3sJ2кn7ۧ%>{%_更 %/ l[L$xy*zbcA1`Hhtc}c7[gN*7$C,LGϭ9uoYXfZdf)iUi7=+dYxvh s|c`#. zsfz@o8^s8})Hu*Z02at><aꢔgN] i%o.6wqvJy+n1YrѸTq,L68 b4$BHK-| Ë\P]orL.N6z6~ G x,1bNJj%'ErFӝe5Nta {ҡnKUOX^ {FTˬJIk86d\2R[/Xgɋf|:04E@LkXJޅ2 =@N!wk& YT+_k Z?0nCjvOCa)@rAGt?jwvո[5G (W@h }W%e9hpnU0 Q|k~hA (0h3:EIq,@P>мDw|H`xcb^x>򩐰jΗ[cX XtbOMTojiWҊJ1Y#d,+z{Vg,}kyӰ\.߆#[]DMx777b5*x*0uOtj܍ ,<-y5( {6:H)6dWoKa@r2o%!\UpZ =,E ㆞xn`1$dJ[a8N5hffu6ĸ벙OUV e[C~Lp.3O]to Mgx3(MqL 6WEmںQ|dr?R;C* .~YA%ӄdzHf~kl-`] ԾZwB驕νM7K\Q^-*d!;,h^#be~OoqW.uZ!#0 ȕت\Mb_P+א^Zr_ܒE`FkIu8iA}whC}n2r.! eZĈe}@th@'8l%H=iuvVġU_ ԶZ>ݦu> Vg\{^xAmn * EN=*ĐNNC{Yb~]YQ̹^C^e"i3U)ϫtpte `r){șЮn~ R؇mxY8%Y+x *][7(k]ՁIZ-+;]Kvt-!|V B>VEQlټPaEVP%Ϡ]Ȳ_cխc67|j²m)48w>۸)~> {/7̽YXݑ~u"h uhh[T@6 hq{"V}w{K^ҤqEáN z~дBzlJh,^%kE"K`ЧA;v>'$Rؿ_Lh9?B LlotrfŽR=%"!!ڎ{_K^G4 lLu>M.j׍>4U{ZD5B7ZZJkga*|Cv$/cu8h5((7@nOѬxÏoBPhykzڃp_y=u ~b @)S2<~x 9wfߗ`r-vti![TUشYDάѼKz _P#l&ȿYl.^4]:[ =w!}6bK:}5` sQGN+p R+xSe͎4RKaHd a_~o}MP>-<mFΝț)A'M]p-vH1EP{>]!A*)]]j7FX쳪q=|3xOVF˺IJR%=|ɟs6%v(QqIC>''2$I+TR,V+_ ]O+ TNLEj 7lBw\K?2 4.L6U)` yNCF//w?#/wRCKclO/. bCPC?>]ә>gYZ #AC $HOL-EisbachHOL-Eisbach.Example_Metricdocument/Example_Metric.tex7zXZִF! Q ]A-MՋhvG"uIBm5v'y(MKKF1,Q=&Ow,:EB&M9D1eYvPRCo(hY~ݾ#|P2>?%kg FՎ=2@J4- R !D'JQx p5T-\es/u5QP/Qc%X\~o89gfK6żm{>lm7%9:-O2 +"Xw"Vbxy|֮Q[]?Sd6}FY|8^r.⫷vINZ%6U!^qeFSJ2eG_(j-K=m8(Y.،X+Rk3?[?CJ,Uwd^|f\i䢧dIyǡ gV4t 2t3PځwΘBUxu)89g9".OqZXݵm{Blu9uoIӒ$RDSUIVebb^^7m8pBRs!$x^fC?x7lk>#W"蝰SHȱ6V )tr#s!T]) eOu<Ԟ1'%rThhmg|0xSފIn'/S6}]Y3Ŷg"F7ǛPn;=edOX;dnW;{W-~@ӶGN[ј g rn n>'WV4_'TK? m+{K:$w TzbioZ]noo-y=B@A*URPw0Mgc[Ě~'τ ;;+TVD6{c?l' P8t(M[Ws2~$ @X3y4͓h"3  ?UоeT˽,Pի+b+@LC,yu<7c~Q,2(th,&g-z(-=:@3̦mi]>]Ln+ jFT>2>g.Nߵ$Qv\5ʃ74ɹɅ!Dh^B5pg| UEIKmQ)|8+#\-3L3h5Hf ~ԐyN?yD|p}ֿ~6Xv%Üܨ:e6T춎Dq?T]}v: ‒?/697]It!^+FN/&C&3CCx껰WaT&*vʮ'+B *Ywı.ݡIpa8Y9>c@@%r\^CM JUo᷋pd!N٥X6>uSNy =Y 7O8(3΅š"^lfSlRw7iXq6z' -nQ!YAU(U:gٴW=pfrgf]uGjRLOpV\@T+k6'~_d(8ʿcFv˷/SAbd|KaA.1DHp?cU (&lK`^dHg6##ArI*Tx$C` 831OŽ|:ݹ%~kK\W'e1?crzf 1":'{b0'*frͼu~ ȳ`t>ࣧ[BQ*ryd-?cjSٚxā`1@YmK0!d l!)ΐ17K)Ч(^[zI1w^A|TNHU4ǣx|'.>O޹WtESO8{tT쥏',ns79 fe۾Oq̇ ;vWX㉁'?ouA٢^hs?NNi9*{+L=~W~>X#`䰌o*-[B,ssҐgYZ'VBc)$d;ڼᩔג_8JH?g Bn•5& }ßr H&6 ET;R)4Օh6ꂪQJvvaOykw-#W*SYN^oxc_ze,a.يIgo47%]b͛B &XZ#%]ׯ﷡Jcs᷀iʅ&J"k#.p 8ꖽFAtUKRw*)'@1Թ<7/ewZ!y(Tu HW [w{_|vFNQR3ˀJ^SةQ"lrXoKluw@hx=nÍU&<&;emѶ'/ M (!̐+c9Ҁ{ #޼m].g~IpYuyUAa⿹ba`THK2l"TPIO_ 0EiSӀȧ&щmL-95/H~8zIRbo8_7M_ܥw^|PWqC Y RHYʴӚX]iM V?߀GV2$.qU *~S<{WXŨ9EC^W XV[d )lGjڰ Q} szT8~UkOWO9b$WNZg@ cc=*O|j2,:Kc&u锦?bDsiAX[Jm*fFd[:գͰh7+|’k\Tb~W) ɞL6+ ,ťE;TW-KOJ}̛R<=64hnId^ӌ(k+v{zV ;B d\_ gc;#P7y'_du+ `pY鹅<29_Xڣ+ըh%CBf}L܂= y nh+b9G8X}Avc "EeϬ:J|vDNcጭ^9ձH]I4~#iqjFq$e MQrV цݏ~e&.8ӂb|*Q5J[_$03԰Z^mdzL{?o[ߩ&m4d/ D9?F.Iaqf:U'!w!q'GXXکZ|wż8 *!n'DpOE:o5Pq>;qH FXwH;Nw o!4;ɰlPa=;Y="s4u Rvn&\>FepņqYp""=\W_}1wWīWAz4 [!]V喲R 9*+jcb>Nbt Z>Fņ~!g@wrv=_E[xmk X8\ez싔!wtu8 hmebBnnwA. J;5{YZu׭VR5 LDJyu3 L| ;q-Q2P֖;oֻ/p8Tߖ)koNk8f2cKbgޮ/E4lIZ I=9|NA 1򹣈/*Ё㟳Щ1+CAN/. Iu9?lYj ̢J&  YY DҀg+6Lz3e0\x 7^Z' Ɨڏ<3+&{4ip̞2Z1`ľz#<e21zbP2?\eӣN$ ӱ/dElf$x=t3Cik` ga|YUJA[1T𓰀oBz qjWȀo4jfu:ssXm ᗣ_ז mZd\iw~|6) #Y&N/>k4ҍAiz9f.տ19 #tv 2hէ)wECs#`2gc<bE^,<"Ibw` zl' ~ \<2Eٽߢ#u37qgYZ #- tHOL-EisbachFOLdocument/FOL.tex7zXZִF! K]A-MՋhvG"uIBm5^L2N^WY ?-`pUU>7wSYЬ:=QϟN8I[(T]M\ME@aS%ACx:RrϏ J7eB Ddb3AM`D43jS}#-jTGnr;zHoo)0ȿm3уi5mhl]4zK0h,7ZcxZO%ωDttK |Zb&}(,!rRġP- Xf*G\ cwH"# ^>2rN\EYw45TRҰx&co#s.CѱW'joҤ&.mB|Ilt!߳#{ZnDh y8QȓlT&Pp#OpCG9xʹKܫm)60?[W/8G ~oDP9xzMc;, Ent2^A`L9v|lVaV71j dK_9I?'3%vE%>,5FSEU@{E&e`QϜ½6%"ғ*C:r\f@lA|>fU)R"L~_z IdP7`Tܻv(sr jAFRoJ js ph$!7ӵ|gz?s1ÔmKJ̰[s=7:& ډc-rʦ QΎc`T]!ɿ"`j-+$"ʀ4O _aԣ/9*?n,zEjo:]ЈӹXppj04%MXLyB]3n`4D?zdSsvi#`rnfBu˲2r9aZ:-m-ȅǙ@ yxi}/U.1ܫVbiP܍DjMX_v1uqV Qqф;`}mQl>T -{K'g(V)V@Nh4-iKz}-~8oh4RA(/T iG>JH.E ˭׹3bbsWX.>\V2Ml@$8>`vPᦏoyiip$QzUԤپSZpt|*Xr68"'y@z#, ">XX`yH_WESۢ#N@1R D}Q9.!"݄6R3}g~_EqOzĸg$/5T>H'D1![=eǒTP<°n ;"?ꐘAK,0+l% Od:Q1b?rH.iZ9v)*y ,bcQDDb̯ff٩hɻvKJs4ô$c_۔>gMKSio+BZn|ay2ddnŠ3h@걂Ssp͏^bf )^BO(iQQD(\]wd9YW\DdIWeuci1v,ۍ3ATtP="BF - -׮7mEQt *}KSyA!:oՄǍvZcC `/MXְ0n/>Z)_ %e}M†xk0C, mxkv U' 7\I_u+-%wUϘCM'#=!}xJJ rIFyhX#-; 9Mm0ʋPqv6Xcb qӅZrS.7_i_)ιFq`^951(=?EV27x[YӏKkU "1’3DK.ͱ g`&jEa`J^-'qz}+td)ТmM o |nO|VF"ǡ M~.OnKҠݏO&\SrGd#֔Hxx+hD# ue"Q0ȡ^ZlF㈋>ބEl8Kl\G; Dc8.2R ++R#35 dXCI֑\x5oK㣅Kϓ8A HuYՉ&SR`@XOv8EL]j,vi8 x8Y~EPuzLdTw(Ul?=2zG-c#GpQH~IA&A5)i U/@MwleP}h!".JG^'o2{E[\ZIݪHR=71z$̈"Foڍrh䲙ryYqpQMP(zϖg.%%C;FBxz2H8iiq{a/47'sK/{%)!ȵLW4궰lPdzx=veYb֤RZ s "<\9x`\#P|xtg6<Ow-PȐ Zlks{hnϊȅqV'KS҂RGs˂>?y>i!n Ś`?SLX/A7藦j-:Ag".;]6L3=&~줆H5svaH 3mZ;'/R> L/ԉ pWM~5(&6[Oh7mDSxf餞C?8\>ڹʺ֓w / F|kv/q_䨯kRIsݑ(chS(Bpѽ~W0Q_؂ui$a3I&\ـf^Y àu/$n] <ɥ`fLz-T(MHA KIS>Mۄ$/R5İ[hVcBKؾ2feF>p*%uV0R6|[1wQDz6^?vs[մsK-O }AG܀JztDG/ cy7^0YEr Βz7Y$6 u7nU'4ew?9c:ASo!m>̉>[[j _A3>TJYL/}a["v-Ŵω>&{hl!7+If\>e?hS&~zҘ/==\oFV2q׽[2 TtGN[.c&ѼW&Fcdcj.3eļ?cz>R(%Ko=V{CθR4=R舱*$xx YE {0;{#$ԜKFigYZ e#?? LHOL-EisbachHOL-Analysis.Metric_Arithdocument/Metric_Arith.tex7zXZִF! [ ]A-MՋhvG"uIBm5gN"(|ʨG{{D@ЃE.zү! wbP&l*Ұ?aL7zk[m  K!'o|Ϫ.-[Zzc|bp]ͽJЩmG6~+~0 #c,]en@kWJIܷlؔ 3֏k.7K׳=\T?7[ӟӧGecӌle|C]//עG&NR>~ē1P3z/M.T_aR^2(Kz0S0EvOR{- ބhiɸYI GD$7>D.h$@/@l1mYViy;6Er`AC` 1[ܿr~-P "A#!F52! <íIQ,VXB=2SjږZ[rt\#ow)`k;XQNp[ԧWz U9I-e_>M^W4lˣ>KNV vjŶ;Jhhr9?.P]V7qV0T\kVd %ZnH&3 w~jgX痈|VP Hޜ^u.ϡ?lT Z/(7 G<C#XD4'3ຓv:@pXQoL-ےn7WD4{3̓~_۰iݡ~cpe0VՃ,>Z7v5MCUDX)tcoYv1\&fynʾ-/qEh[-z5VSl0I>?89}m{DyzÓBcK.̤L{drH`Os&^ꞏ-;A܇RBIxF?m]W۞#jHΗX]Yvp(E-m?۲*rRXqHQEnf~\RK~Ϫgc# .3İv%Ox%""Jpbi Q` cQ&Ĝŗϣl~Pxژ(N3xN>^^]#k8V"4]7=Ho HZc~:~kIsϒű0zjef7VaH!8I~0?L~gYZ  ;b#SU HOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_Syntaxdocument/Eisbach_Old_Appl_Syntax.tex7zXZִF! ]A-MՋhvG"uIBm5aL'k&h)x|Ey^Z|0W$`3s 4S|Aq,o'm]ezT=2G gNһAƋ MaXq#F%/G^gHW;#)aI C;&dugA` 5gYZB#?A HOL-EisbachHOL-Eisbach.Eisbach_Toolsdocument/Eisbach_Tools.tex7zXZִF! 5!<]A-MՋhvG"uIBm5aL'k&h)x} E?Xj$irZZAlBE H.96}a'׷hҿ/ =5boSS-Z R2] $&ACXrjKlW*3A#b;2fBۍ)v'UoiOhxNM"emlg$Xѕ`rold,í?Mrm:S1Ңp1@? K0YWVG.¦ᤩIgtGy7N]{?\A9(_%!+r5Ǘn ]0sJu%_KOFtk:jUnDzgi6?=Ko~vu6|ˬEC;9ۃ[+!Fk,m* 9JW6}Q`E{>خA=\E]sF>X(>aR(",;kl,AV׽4^?u꾤>"3|mJ {Z?^2lK+48h+F%wv$굢m9Ǧboks0^ 2C s GO ծd"؇4֞JF >j#chcjs"eIK>f?"Ct})`֋N-fL`b9BĆ\ɼ $ټlW A<nU4{c1oi(#'B3a[ӘM Y㧓$a74p.L~66 C0Ej "݄[I>Fd5*d{[XZ]  $J?w,I{+UڭyڞQkİTbJQnU9~cBTϏ,=]̯utϗ/뙳`f]mVz;_-n`6E Nb--n՗e+?Psof -JZ[}~6~|Rƫ_|cH'z=~x7!וA{Z>DP owlSV(Sܿ8Q>m>%M*xZͩެ}*t{~8@7o?%ݷ!@ep5Lpf:« 2{9 !oܢlztopˤO8wҢ(^߽oe0"Sd.u׆\p.v UQ3 U j8ZgYZ UO #5!JHOL-EisbachHOL-Eisbach.ExamplesPIDE/files~~/src/HOL/Eisbach/Examples.thyC #/1 $HOL-EisbachHOL-Eisbach.Testsdocument/Tests.tex7zXZִF! ["]A-MՋhvG"uIBm5kGRcp;[ּxJXcdro|`^9[Y%ĕL9F|L,ԏJ.G.@t%K@Y-%Vt.r$2O&YMHWg]qE499:-EϺ@tvw,~E9B_/|ٌCO[~)D¥69`* 9e2婹C \ b.9r c)._"~{fVJ4KM:c0}Iy{Ma$oVʭ-h>a:GY6/=23vnmf"IKjFOE-30wthdS6P1q֮4x^JСQc.~H:' G7[I HYd#$Q=nseK ZIۂc(R*~`|.֪` NyxU!Ǜ fXD2pB/hdqef8{a΂'ӣ0k4{Dk#ypNWz 6mo6fm ^/F©,68VGkݴXNxjy}f9Q"凃R),W {Ƣ Z}72`,k(#=? THOL-EisbachHOL-Eisbach.Examples_FOLdocument/Examples_FOL.tex7zXZִF! ?n!]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( f^f &%E댷?z2'lR>[VgJaEŽQKLe2DbV5D/M6<CPW- :TWRaO2i]Q`m6:Y )@n|[;{dSY Ć6faрw*y4wB$;L} N{G:& Uu Ԟew;Oj?UbρNOyw(^d?2AX; ;Dby_ܫ)2mr,@L0M&փCD߉t>h J e=D O9بU :T'l7vq-Kjǁ``xm^&"~xp{%./]~Q(tFå׆`[CΑxb+l;GklޣHV>F2U-yzX9^)>". Ys ]3ULKi.L.G^4V7*H< _ S\sGˁj0(A㕣C\f2񟽃$EkeY+aEp>20vzf̉1,1$]܎$']S\5DdCPH27<Z7ҰCi杨T Ґ; mѪ6mϳKzۊ2ټFu"I?|$|eu 9Ve QlRG*^Gxm|XɸSwc@>LOڊ+)  M}j R\hEYitѷKZ)Ayߞ2Amyl dLݣaz7"j ?jW1^,ht-rmqH4:sV,=L;=.p B j 2I2t {9iX.F4_ү.It㖱/3{q5$)VKZKAd!-QUƦڗ1+8ӑq Ul%$hmKgf9peU3h8(T|ѡ@)?BVS4.~zB7~5#2DqWYwpjІϟ~#~B gYZbj "6BtKL%F"|M@r)tS˯g~:FGԀZ'#VF$+e][|+\8}JQ.G{ M gknqoCM 65K2CU-ًe"=4'BO,oێ?tk~tTՅԈ h8#$ә2K ]nJ$XLꪎwSU F3b1ne 1y 4|iG ZU>P&(!6UH8V7E7ƭ z| uaoFaa ݶ 㞩].c`)6 hUg746+e*N`i[?W1M\h2p E+Km~w?Mz B[JhFx.b<>Z>OɎw䋆tzv׽\E1E-ڹA9f֎OXy4fnVe,ĎJͱ+`oZPaJxw2}3k&M|YkM<PijktR~끘вu11*SZ'9A|mkJFf!NbA < ccmHsL5e2a]K.5qAa%CuyEE㎈'1Bi 葞y ;|xo1Dރ^HpNT49i(ů\P~b?9P٧U;ˤ5S (?R@*Aa>s{^΁o ,%SӅ#X0(K[i=h?2܆ N1Uțaq$:bh,~߶\Rq]ɾF3X>hSt/7Ai^CIw$f[=G';Wo׎˛F@r daK"4̞ceh Bݶ\ݺ JSryExXODo)4 ñk\>P%33nr@"U>VK! '֫ظ$i*+2dmih HYj;]3b5g&loQW:m.¢HB4_\|wLRrBϰ'c 7^{pFEEA4%D'rAT7,RG:{GFʙcuQoCJғli lR.!Z]G-O\M]̀v՟a@eOc `Ƌ"ܾ֧LS*$*PMNB7巶Q'=zJT!2]CYC"N]zt~"0IOi]F;pP?OF1ƋqRnZM=+WcVŸ́ >c!Dw% O_[ țϒd[8dd+k@$s'::=(|IL`_0VN 3-lZsd|q|Ȁt,򞠿#9ωTe}L4$I9kQSwA[= Ec\{u/jY7҈!2vDP!gR"WCM/+h,fՒR"T Q!>k0za|f=vY:ن!12Z,PQy3zڗty)^ڀ~<NY/P@rL(?(/WI*3VjbvAX34TtJM/E]ꮸ-k/..!{ v.pF"=(硣Lg7mOC 6*ۉq)(=IU07&l!zuPʇejtP'mQRu@gcS ?D1.h9t<)|fKi \rHTXGnM4=MMGAbr -ޢwLgpt sbG5Jk3oEǀL 6Yd(mc솂|55 UgR.S"I/O y &iݫ}͸`$+4 BthNCmق=Zg=\a#7<m `qB =oHLmӛ i``:@,F~fŰvA~g-c&ϧRgtr[e-Xdhk ="Z8A\猏bX't7j)8M#3h0PCvW9ƺ-z ҁ~GO*I5}</YE&4K>X.N6m}`y_A.yi"rhim!ELrjb~U.ÑxiӸʌd\X1GcD0f$jVEe*P O+A^AMyݹdsfcq W:vd8X|SD"}=UKOs{ ֍7ͫ V-{Vx@KS&yi{a,%3I3PhS1\y2!5o$t &jDs.L:Ԍ7s;W}o8ERI]~3ӝkH )73$0=JQϞ@:2tj!2h\Q^f{m/p`p e+io5 x4`95ҢR>1rrwq{/-cHV,q}T;6gI{yhm{?.6  ٜr=| HPTLI(Up7)( +k5].ߊܮ)2kqm`䊧-"`{̍\97{}Ӕƫ9:wK扑qgOW^eajOe }w vY6xb8?p> p;l3 )ȷ y|^7ƃ$WZ^'L~"{jz= 'Zv̸ a|uiyn. i[-|B`ӸoƧVln5Ē X#'oPU`+#fPv]2f.hP'zO\#:QFq7g/OL _z=NozϢ+}6? @cÇi D+!_.sMr֙Z+ ud*XhǮwP6']Ҝ:@  sc>=Q*LOOwCENo%gd]?0~nݍ_r5A#% N4'OBfj6Ks;d@LԁUf6Sr*Pw&_BQ.JQMf[+vL+2-hORk5 A5&,zO'ǸmݯmZ: W..HS `yn/{:%: )p#9Wώr'5HH)%RF⟸-#yW["8&fOefywvx}N7VrzICh)~ЅzتL3qBC!8~p˧:?"$ߢyA觲C:X+c"Fr҄T!*nR{ *K.>-Cig4}Pԁ#L'q'' ZB 9{UVc.ۜVEN&r↓P9-6,+tHs \{@M z zLȄss,9 x/ >FMKTg_Z/̈́ nǭƿYg2o .Y|/̴Wi20R=׳0?.rŨv>LC$J[Wu_|[-DXʺ"R0Mv :7϶}Dz}i@ X6V t2J_qB[y4ߓ4,7jbOJZG!VY0RXtdΙܲt9© Y_̥'9*$a x$)IgJ2d>h?@ВS鎝tr?!Eq92i쫠gjcR.dsg+c|v=k?VYV+rûfh$9Cb *#sNcm az7޸SXKԂv<`Z'D{'sa)ܾSRRL F áA^G@f-%ɉ?/+0t{ɾ]PF] ӵ 7 Q, Yd=b&ባ&oL,mCdKsF= Ot&,zt5h, -dzz:A[䣣$?Bb'YU/YF2un"YJTxgl{k016~ǧP<ħ8d<}ʇ FaQp`l4V ItjM̸lkؐuQݮb>}B[[_t:EBc4G0BZb}E-\"G 4^3;JJ!4hm GM>v†Az,P_ BCPZtOZj'곔4|=ګ($58e+]gCOlCuF/dþ2?+ ĵgjKN[)U-=i%^ÀX&Eg,7elF S+`1*ot]a(-+'6M"r$zaU r;;YU?MLc Hhl\~G?ƥ+n-O(p6ΒaSP?- E^Fۏuʿնwa9F! s\xhݶoAv1Mh$<=/J@PZbgxsk㇎xk>1寖.3   i`˶+sJWeN}f٣ ^=ɟЕ@+Wh6X-"#6Wj4O4&LPMk(99 v~=-+'#,Za0뺼|Q\8ݤāMsltknߗq# ز;:ȢL7aװ诂KD{,;2o>blPّN`g?_SFCKPnk?uO~Ԧ$4w J{ĀїqU~? Y?نJC; zT×x9۪,m0<bvEܖ`ҔgYZ ((l #5' |HOL-EisbachHOL-Eisbach.ExamplesPIDE/messages7zXZִF! gx]>Ů,S!n>쾀!K $, .t_KŮ/2AI*X6,9<;[&sUdU&69eLR3XLdu!gO:g]W K0)nBt#Sx6i∝dyAp8H^EP3L脿oi”X _4SB@jڤe ꘌ [௸qwQo)8ӁF3.WVe08N8[\) %;㍲%Ud}NP&쐙Wmm<{ riS5$}#ډG>n ,)8'T\*_t +w`4gZT|pȆ#Jb~[gdJl-_OhzrF4ݲ/EۿN|!RclCs6g B;~}ū`P\Sqn! `mP~HQ?cMc"#u_/8E DMn&3&4˗+8Eza#Ƞc$Y XH2eA˗lIG^nΐ /Om8Yp2sITxo˗,H+C/7K ܁  ˉc)B N29:W>6.93L}{ye.%(ţ*<燰 IN"v@S tIt^@]Ή K[;;sNT4ō#8^e^6puJzMʁh{Btr!qа)5< "b 5l.#oir1W΋'u;Ф~GĢmji֩ t+R,z)]@}t‘!hݘv_1%@Jt/SNoJCm 8C \|-Pǎ\M I/ᬉeV~:^hgF=[&W"OVt;(_|oFЏ0XrL4Vd`a4m7k/2hab tLo옭JTFVG:5!!Ɵjxxٯap ^t r=-,3i?k,Fj7b αgYZ- #/ HOL-EisbachIFOLdocument/IFOL.tex7zXZִF! O0B]A-MՋhvG"uIBm56۲R;4dBUe>Z1諘C1ٶf$d8e3R!k,UÕAT5':H'e(\YhwTU_M _^nxn'-P>#&tw4ۂ [Y?PXD,,";h,?@ҽ J-ν_"dp~&@Ƶ>qŌ>]M' ]#. ~EP]O>Nqhɑ莣Sˋg.Xj|dv #5# HOL-EisbachHOL-Eisbach.ExamplesPIDE/markup7zXZִF! ] !M젗OFK?mVJ@,Ӱh>w\(sMqVr*o760S_O1p0թby1v s<7/ 1W?/Ս"JxSМrM 1S;SI:5%}`Rv=e0X~2ze @/}%=3 `eb]= 2b G)!=?nU(/z/F Uׄ /cj ? fNٽH1>"'T0S#VS=a%؆C` [JQSbTP1|(2/L wQ2W͝[ "'{"DjBdy՞c\҇0)}r_nJxI8H=|5Hg?[ea ~2:TgC7ӈwy2gQ9 ;DE;6lT̙z.zlh 4Q{ic,&CR3=qُ%ҮNjr2U8*ii( y~(}+L"[mJ.]AAr~o?bv%3F#]~[.g螑hN}j_%eBuEB̏ɢ>PlP$V4{SmWls/nɿN_ym4y\q}qr{< SHK^>2Ƌy|q ]RF8|# [ 輻83q}QgczпOk^yzzf^.`Ω QM)g^8V#Ysf]%r$蕆{6_^0dަ6`@wW#3*x> œZE/1 wSA`b Y$Eae4 YKG([n+ȯ5hEbgwSF>) {+Co@,s,LRu#Bƚ)rJӖОp#N +y !۬uc +@(ʢggw)4-;D 냲μ=SJ!նT4:5BkM۝ת (+J}m0S0a QS`qˈSR%#(V~!#S,S}=lo+VDrU |!V7; xr{^4tʧ@kb"3vV5FMA1ɏ94,SNښ$3鲪̤, eAQ^2Glhi4 XIUx`sv`7 q;d^u0ĢH *<`16~!=D4E'4?@b09L;i\[ƠwZK؅\[?c𕩃6}4׃mu8)qd?n}XJƑR(D3bo m$Gc5ʭ/B%IAb֫/qV7Q@:^K尀W9T wvXs:ǹ^AwL &vy0al4oP~ПF#,~^IȉۢD,0FGms+Ί9X(gYZj2FKT׌ ѹӫ*CU6v!'&)4Uߋ=L?U@74Soj升*䓯 =%n.9 XExu)c2mMdFUw:|nK1foidr?M]q$⑮c*:+s'N0_ЙV]?.*fG=%UsG mf[ר/iZ%?yDz:/2xy~X2.8Rn72rpmc/yo6ߍL\BM)ɮt0|o jZ $1Hޱ9ע&l8Q+1ܨK0hn{h1{!"=)t̞TRIH #c#؏1-o 8^6GR1Cl$S@fl ul_]yTb#g#2wyr` Z{NaNޖZ-:kӴhb GA;tqXB#ҦRVѽ$kp!ł<XNxt!{.I?heЅ2ֶ'.NDw>6?7d8 [ZP6FADw MKfY9yZn72(yMt'Bb59:ҋA;k1u\eՃk'^콢6a+oKjdgay fc>=or+Vf;W`!'.nh3zҊĻz|,*NM0 Œ-ȭOE!?}=ܝO<7V@f}X%},[| Q g&TB dlq %Ԥ)cb!ZǁPO@/hky#y."c#ب<"hZxix̓2ݧ͉.ZM۶DfMg&u?,4lPۙ*UTQЁIZ=YH#8=%PR(+|\KM jQ{c]k4=sƊ?Ke8$px{_?oڝ}Բ e'")-`9_ƭIҵ;IbToc]ЯƦ#,U0W`p :y\+ZL384yx5Ḽx6pa86^ 4 /sTjWԎyT?z,o0$ꎖڴ(Hwv[ `%&XCVVXU uSG՛RU7BYa$xI2 TmF:ΐ[.NAq{x p8T,w+ ^NmRKSdB")X^"P#W=ICL68/nHB`ۄbU&V#&@0eHR863g2؝su# {@Ɵ s@=:]k;jK1ʙ)Om]CݔCoj2fU?YS~φSlnںoU4:0y_)ƟF eGfi ly3ȓ}}Cό^!;"/MzL8UI/Z#MZ٫a/EOi˂hTt:'rDc'ˎRDSmQ7[{Bx5"ArJ8Q 7yna:Hpt5ﰴa?\q\ӦC,JYƚ^QڧM'Ƀ Jb]{"`3oƫҌXAzZY"i"u1ɭhNЋ1y'~Mh*fm%|<0M8-%@ȯ^on,%Im]@w,rCjv<'lEMyL:y*N/iTA}`:AHyH[2(-]L*X͇D ( ̲"tl(hܯkّ(Txd=cE"z+6sG+k 7z8D$%{@^aB_30vDF>vߩpr}ĪGkjVٞZ~Vl &fW1HQ6W 䇌I<šVʹpV,'a)$һ^{|5y]T:ONwN%]y\y3++mG;ukF2@k4Wƺf |-m ]] Z\ .+uLbDj9lZ"/b'/bfcѹyu ߚfJN ~:WHEa{5֮olPEX_˟/Sc(uE0b|x$$ƃɌ@xfN&f_8 >㯦+vھboD'Q${qw!a'U=6|aAN?|ÉBvb]]9B=JpfP*Esa _֒I }$zXp5xb.&aPi3ggQ@k{$Wzk4P&eHɺ,od"-[2b8ݐ̾ḧ́ZBPң&1c?5x2yrwxywa ྮNW`[&NYw#gs0za <=ELXAOܴ&8|[F=\;mvOIr@1fc  )J:sB 4[V6(-E#ᔡcV.>8:-NJcTbbkUlvڊ8QalF3S|$JxNi1#gT@H}ѧ^C7&maCBe„Ft;{q(Ta:^~CaIVvp|vCrUs'. ] Jn2Ty5JDD6wJiCmK"ITƾ Hr9)?~Idl,kR{4VH0?։~ଵJN]8saEhK<9(qߠNEA o.] Nkw*l1 }M**Iq!*&},PIT sc~' np۽h>K+-@m#Fg2Kju&]t[Ủ1 qpiSNa 9>ť0tpyT;#8 >E \&4JD Ў6ȗ"uܗIzrȰ}ΈPDS7 Fe<G?F-5𿶜Mm1w:?sľ6FP#av$f-dWo. / - `&vlF1oFPRnXȻ or_ 'e8y3ɉS2B T}ýn*Ϩc nӮ5ޑ4b䎾&,B96~6p|/eBsLX[[9CD.v"D1jpUVnNB=O.b*ng\B<nmgt4 f=/^`{loZ Wڇ:⎌!h,;V; 9|A1Ⳓt aue _g3CꨙC)3j 0B)IVKn[F oA7Kk3IwV\o`G' 1|-\>Y'3ґ E)EB m34.EwB|0)buIoJ yl/$O<Ố^u wH}d9.{%{H;ޮo/9<_NJus|1L +2t&5BV.XVacF8 rFTEgd}D߿ƞ= -S_Y| îa6Q[^4%Ҍ+7ۓó(0 s[q\lս+=[PKT*FdvaO_{5;Dr@~G}~2ޓ0.I?sц`OFBI҈P=`B. a4FQ@<INk%V^&F6NC~Di!$Be8a]֬wp1ۂA¨@);5h"FZ j"T\ EY'1cQ8i!6TN7 W %.7'XɋV2lu&]!569$? ԩWOu:_aRj*Ij0Ygtqv+&^FK^\n S4㧡*izN⊌z:?OkĊ}HL3{xz12K*_ƀH1uM_x|xqoP:/R{s3S\ f ou(D,zpKD'DChqYm2𼾁~eUd m{{Cx/,yea! ?_9<ͮsA4nI_ =z|[[=O\s5 rDG%͠9- ^; #:\.`6V⦕$R>gٻyV~ 6+ғ5wP hꎥA/RҷA\xJ48IB'$wʐ|`Hth&oHݏNh =:MGJۉQ'x::$#`}o\;{`@1α[kPOұHnF! FpNTs h>࿰eL0+ -mn"KPO|q75 4" }$q8BϕQEK|== EuU=qoOdhpcEj]攫o2̋6(8%o?KjdFw٣RID&iKђG>[Xs'XT%?UYJ>T!JX A後{2 8l CxB;ė 6$k,X D?nq1`ކw7 MV`:ҥ*pXl mԋg -ڔLJ@! &lb3s|펮JƱh*'Dn^6tnU@#4$Wx2?3oZa-yNS=H0f$KqMp\;>vh:wv}HͼwY<`GA c=-̾_PM )c5r9͎N`hϣ@ ޕVV!Ǐ?tT;V/5Xhuq WY2!Iœ68$@PWO hU]l.72#;ٓJ7DTNTghR`TIAOcSXV BMQYU=E'@  &(t3L뿽5VQڮ+!e ,'T>WtY3qVl9??!Jth@ JVYn8dcn_Ϯ]s}aI}Ы|B$& g̪F;}@'udoPV@6u'*vg=< eO:0.\s&(~}fLw?P+РC=PzS4^A|*E9e -00Ea{X㓬8Of9w)1c*׊D&Ktn`T?@R(5SU@FCWmN[ʲ.SOf2Zs#32xħp"'j;Ex 3q$0Z84W52o"G8yѸAM f1oZ: P>F yz$~F]RT%D!Mg6z V}q(Ű{9#ffB{ g"L5X5q<{SH \9u/P-R(\L֛pbYr4anxP¶4Z1dBM O*ʞ}>.PyfFvRǾ.v` X-]t8aNquPr~G {cRQLg6Vұka]?zܘz)Rd҃0ja/b;`7p+w$rsn-gj|83m{c+ >I$(34{55=beG0F=I^&!6?vZ4SLJA6O{3Z=+>B֚l\a!-1vfj*mX:sdT}&ˎ%6r}Ek,5Cl@D..^j%y?3~(8U+(=C{ i~#$U,v_[ZUn_+4(iB #4lV6c:W .i땕]x U wb_LQSyXtĪ:3(WZ/khCNƣ۲ّLS걭QS׈V]J'm )dY|/hsld>|I#J^8y+MYq\0d~ CQe1Y^uC f`􊸺NpzI5Q#=@s2q;|*z;6 o)`{4QTe]!bws.1m-a5(.O#. ^KxHZ_ـJ/gِ#E|N2{c @g B,!` !Nޱ`mad3 vL 'G<+ƨAeN396ZNq=zqxPh%B.Ăi5?GxNĠ<a12K-*;{汍/&Hhew(C'<- aH `i~s٨#Iq&+hP\s[FZNq?\$J%j_=/{>,1hگ$I3{ѓ޹I54 bҜ^q<aq5a$SV쌆71a"Uer/eDZN- ns !I.`h1WQHqO$S3@rqt=4˱tNX]H 8[i9NLHkWD&Z)i:oPW6S5^EEdM_c#ҶiqS? ;tr?gε ,&__2-;Ë=ڨ˼m<3~9 52F ^YeuݡCa4# p/{jW ]CӾDyzZ5ծOk3]BwC~墅wYݱ@ umL?$SRX(ߵ 1Edi 9CƿHcucd&nty_FjuӧV 'Z|1/ljw @.fLui'D2sZT bMe۰k=7;X_{ T0n )H* _2=!Y5s{BMEC @Y\\W_`Mt v&~1?X_, mg~8q277#:W6{2_A $vT D֯ELV->_42pZW'畩ȑ: jH-AQ* ~W}Fƪl۞yջ JInhnO]pp%gp]mֶw vI_ qh 4fOaKNFhmY/jo>B02b6PPiږ8u"T(ݫ-cj,)968u|E^g*ᨆ7WᐘTG74 Zk%M¤$ M"D) X0E@ߊ8텲j/#+SDJܡ7\:GbfU%$u*%IǡI#ޱ0EKaWL.mITmZ~\?DZbׂiO2XѦN[j-v`>^֗V2i !r Czi['аLh1mBjJVAhXkNx">Sj+Gjqp j ``RK[8nD&lDi3ظ^)6%Ryk_9O:t Xꉲ)xSZAMs#t{[ i T!$(.~\SqkM1b":谣e 0we7g3AptX<{hhF zk-:   #% \HOL-EisbachFOLPIDE/markup17zXZִF! _"] !M젗OFM'8ꍽm_(͕+vӛӠ{dj_pJD֜JtF%1ԕ4l'=3䛨1a-8( ,Gaft}4|J' ΒcCru5~*ڴBp-ᾌzgU ~S+?̮pߚe|99zwȡۅ)vRv%`/q+* ˶N`El+foƆRSX8-\4޳5 L/U`u@ Dm(Zg\.QX+׌^\:G]0W@_wnd^qf#W"c'g^qK5PsDEu:3Q’F%ap|),l!JfW[UX%DcqrجΣM!hD(D^ɫ /wg͠]OS=]ޓ=n>>H# G^{nLg|0[i4d=:y7n3ɎJY+,H#! \HOL-EisbachFOLPIDE/files7zXZִF! sf]? ʹ'/!瞉2e߸rP >+k2\mX~> ]BQq7Oz/H ͝߂?9)w9͒8ɑӸ+9 ͧgYZ.#A' tHOL-EisbachHOL-Eisbach.Example_MetricPIDE/messages7zXZִF! :]>Ů,S!n>3+hfq8q.D/ly\zE5pbwCrF0J9+ѝc2Xv%f`7Q33.'_q=8J)TyK3 6v>}'F1(p|Kp _ [_ݧLR87SdI;t N etהU ɂTjFh+ƲJ-.cD ʖ7lW,rmgEx"#Z5w"RbUF ǖWZ%G4˘W 9[X^u xP&vvL|ΪsL_2Mw\,K%1mxnCe] asN!_Wf)j&"YgYZ#A# $HOL-EisbachHOL-Eisbach.Example_MetricPIDE/markup7zXZִF! X ] !M젗OEE ;+nk`an1Fܹ!80vקhraԝ9nHua}YH#xlf>7A$qV4TcDjpjV$j/Б{9b̕"Y,TjbҘ; 4]eJ..ymvTiQ۔ĥ]ipӎC]mm(.8oA7n1zz=Ֆqaw73{${u+at$\ l/yK^vDFJYUAu5)7>zuՠv_nocwzƧ%qzA:9J^@j kq"}GS֕z>ul=9Xr~ #5XЭ쫔BSɜQ|/BN^-d1iԆ0?{XЗYn}'zNEHQE)=v$S`E"5n/<֮+ݲQK[NIFEҶ+5}y81|Ӆ.X&HJsef\#!fc 9ΐUZ&p 6Niĕۀ*! 5\cE،aP'4Ğ_^ 2e$ P)`L@eO6{w1UwfCR{`^l 4->ZShOLngXK1rxË [. M86" B@?k».yFGCy9WH v']?t+ g!o!ջc Uo4ֻm|9uzQZ`XBM~I%DUqEE*Cz QCbaэ1. 4YK{}53p$8پRR;;~bK7N?ôDBfvNǦ(|#N*qtw}9{ٓmx/DPeTTPI곞t+xY[wW[q J78fѩ8l-24lO4K`|粜)j[MEQ˓pZUd& OءՙNt=vmMz=9D,Ӂ92g&LWʻ +7}Lun0 [N$[JޖCZ4qt3%f `1h+{p];D/shNg>]di9k{Az^M`<υCbEz.&J_cKTԓc T2e^4ɯ+;&eSPl ~Y&"pE¼vuttQARN54M^{[[ bZc HPO wn)|@z ۏ\&,*]u)#Cl/LWA?~h9  ͫ :9+g\4)o#CJ |(*ZG`Dur"S,IvXУ}fC8$ޝ; SuӀ!.|]D" CZZ&sf^?~Y CP18=ҚmK0*vO3 qǚoQNV[qfl~]x C(B^j ^m54N;݌ˆu ƌbʐ›̳rs|`_;NѰ=( ŅLj'^A9cZs/n lr BVoq|ezU2؏L=~W7l^GwE>Șv/Z!7eBkC RiCfo!1RɄm&#*AF kmpڄNǶ)84!;x#ui"[GJɨgfc/4lonFiOE}i\qk<n?ǵhZJ)WWƵ ޜs-r4.oeM@g/8UЏyV w 3n Ui% )T:&Eއ8'{1T'^W"oY**A†H#񧑚a\Gg~5ׅI۷2_' ][ 8ؕ ~-K4uyı>}Q![l| I's6,%h~m;cx(H FӍ{mXq}R|[U `{Y{~ư\>WqkOKMmB:yƵ`Ɉi$ +..ej.]*p5cîhpq5b$YQ-{Χ6Sf\ .0U8*W3W g;k3^ye 4n9 g.*9p 0|Z&1&d80PXt*oEuxSĈ WR=YshjCƱuhNI:C^,ɥq nyXU>d/E5W~`F )k5왕Mv;4 6+qq;@8&޴jo_c<^Vqeˏ? E9ن=R[9Zk\uޒIpY `+{sP Q)FAei\@gN5W>]%ݹfğ]q?nU[ ƌzRR7y(u91D]7 Dž,6c4*:*qOQ* H,R*/ @$s$~$Ť ;kS@pHOFv8WnhBNRO VPr;B=b.%oUj**T;_v#%  ҅ɷ?DtS6DzɞAlAUټŜ5fa?n/Kp[6/1GY?e5>u]dU[ޅ<t5iAecM@91Q|̙[4'r:\pKE2\cn'Z2uc cc"QEϧ~?pntZ8bf ?N0j73o2 C4ץZȟ.Z⡑|#/Vd@JZFyQ4-d*}ot6*QUdsVNyn K:X59WAkx#w^mBMLrF}@e;yi}+shvOmSmBc!va9CTLk{VIS(D$F兖DXLbfeSI!yoo?~,X!Q+fu|yei=] !ECgYpORP@Ґʲ3jO'] l@?MRЇ [@օM91<:D9mC6XPEKuǠHm KR z>--\6ϢpA#~}Q#?s: E>",qT&1}j&ph)E \њe(SD-tW%M^ƸA87Kjauc&Qݡbfڰ@=ϦۗnG }a.R][o/OKuDe\<,ޒC:lHJ5@P@A?rhCǓǶdE@\2xsgu,7qFKI՟B`"RN93 [PB5PKTܮ.3r0j4GA/ Bś]\8kyG5'1:xYѭn× l"T<'cOes54a%fEk^f6K@&MK@5\C/hu$u YRˊTW(㾙Lpǂ }0# k׍GL{|`3[xIvM d|c`b3>r8J0[u-Ýtcv B̿,WzoMUF|{FU,}KKS'd< eY< jTXimY]3<"NW՟ 4S9SK:8 oZ> _\bʣUM.DZYbmx$A4we`XcmKmGpqb_QBjEȐ4'#%߫Tggvnp&D8,=g-.rBVMb>GtEzC. rlǠGK(.;.GtM|vܴR$ZE運-Z+>ܱB&bij,]T_/aNdּ-Q""ᔀ+ߩ$z F"IG)7b%ply9;؇o-K_R U, Νhm:m]BR{wRl͹k^.yj>ThJj) tBKV-Y~`laBHeCAd6~4$>l2,QLksql3k -3X.#8)}|PiO}O> *xo\3C;-KW*b6]{I >6Ҭn0?HoCYq)@ A.`B^7&q5?6)'V \!gٰNJyLȾ-[ s݀ͽmeF! 1^- A]EuuhNzq0p*˺`Ok{3r<+2VJk ?w/ _0jC'᠖os_VXXILT!pH`e$ZvDsGg!>:Ag˟/60j2,?:K?*hx8k*utDxC3+!-b,b`y~ 6їE~o וW 5EENn+4vXA.eu(B29 Zi}c?W8 ɳeBqu<8 H:n$״ P-;Ċ7e[uPy 62%1rMM'ƁbmB+1pzPx<Qdg1NRWGxZTU%&OZ{eLFMCygE+zj]j#zd.I GLL2t<;)kF?$xߘ'f cKi&q *>p9fM:1޲ p u~ .9 rz Vmi贚؞󪼴DU.-.qY@H[~f( 3jeu w[+n\LIB o?e3q$WUjy@<6)jΔߪhj\w(Sf^2H\)Ze%u a'-'JkϤN(8r^\{Qeg90US4^?J軰6P⚷:iD~64E%]$ڌ_q:+xS8cիK\=53UdlIiK"JljNɁ#w $~JGP3;$7\X爹ϋu2U;94P}̪Ryͅ.mT}WQ `3:rG.ߐU2IGMLa=\\/F̝$d>2~8qzֆm iVp:T]O7-DBqq| P9}MRd ] Y$| ?Pj"I$_%OAq0Y^2wK;p$`GJ+73hƚuȓg>% =8OWjvu޶"e%QM9q!CjTVQHh+I4KE8gYZ5⺆!f0$/]]%G(Ö$Ts.- !|^~RM߃PʹfƱ%EmX7&~A sr jft-Ar`ꥩdTH]K xic#22yť \9g(W8?6fS36|P ʜ/BL5A)BQAr %(]Z6q2]r@Xqxc󧸁,n>12ɭYdKUA_@)M?9Ѓ}^U#-4]،k J" *{d Ξ$Zd噃q4rw8 iT-B}I ]&.$Mh<~*?E?fOk0"gXd8Z AxuB 2XR<&``DdU񯽦!D8zZfy#麦f;N<ӆmmUzڤ{fAq\1H_:W`蝳`A։`ÛwΊWq|Ai0@A+Š AmOФews;Ԭd0Bw"1䆄Ͽw*iQXk-|%:d^Q41w@KRP0S*OȠ;S}3@6vF?$2 pk+5F{2z/.ձWMY.'"4X HUhBm,UJbD j u|{]. aqU"k?Oq|dizB8__^)^kb3&$ĥmUɈf`,MYv8;<;%qF1_ 3VЯxܜ6'v Gzx=֒oVK-O/ ۂx-p%0t(8[.9Ô[vas )%ORd5=u̽h,T^-יiԼ:|/P3\WVToӹR5} m"P繲mhjʙ\Oy|1^{]B/ёR . ]P`pU_SVi=Ң]fU.#v(Nd%=7nMjsϣv:gL=I [ҽ@gz\>zH $ *Aqpo% _Ahٌ0ܑiy#J()#BP[ .򭓌lYP: ;ڼSjk|>GGuV d϶aU'gh˴܆K'\HHx~9O?@ogL-ARϧHШ2PS9aI cp hN'KJ4DRf<*Z()7P]7F+I㛌56YRu|)W]n˿E2(MxRKG1kO<5(+)[uj2ã!Tp4Vߢxi3HVf%YE! ӝ|?"6n#,ρ+'EI\q|~Pa*H:\ϵ؄I;L(ЈYcE7^Uᔯ!yd]/ hͻaK44sGWBy]WMޠXǴ"g(%LWs# *pw1{K ֱ5!fh=UN.1_F.u4ɹsg.d5e??LQ5%~_@CdG>$ ХߡyZajdHp;ૼ֛SQXvдD5 pp^'O _pcj YNY՗ 6/eׯnU#>U)DC;b#ox`aNYq,?j.1 _W]O室м_& @Ҧ{o훆\2`|ĘGwĒ^BJ34f_\ }[NP2iuLaҒDQ3P)<! "@I(x bSġ:OEL"hļjȱ1ۥh`xH F!`X.޴K"~}OGSS՗6crlx9lة!gӔ>ᶶFxJ2J?DV:2+}" Ԫ,A/O)*/jԹt|.;Sl1N ?neO"( FA^R}\gh8֮L~OځpK=F'oO3CmABjAU,iٱ3].J `L7|uTc%>nqbO{L=>?%`pSFҶ#&sᶞE^YZ X0<򯛃SLO!fnʟy43 u<1.pUR`9=D_(vE}ssVS_'\zqaB=^ujf- nc3:5:#Inl'QMjьeǘSY"Ǩ;瘆B삋"ic)##fzR6@Aa6UYjN:P:~(5$Qrl$7 aaz:0ΊǜqfBCGnlϑ1<ijqK0S^Wy!I. Rd,#qי 5u)/m_XjEjiOU4sO|8\_tN߇?PYQ愕;|'W :N jPC'ÝdhX8˚]rG`ANdNi5?:0Ĥ ֒`)b+;5BhlV]Chv9* v?`n1TM8*IB!)[~\v\m Qhl~ #y^RDg^*,7`_ccJB/jO0˝"=(?SvI)lU,UWb@_ԩV2a~ Š.jg+(+ X ?KBQ{weNh{Ţ`^O";Jinz)W*">߮McWً&ٟ"d7OliZ5 p2!ERo,EƵR[l$TH7m7X*ғe?wGFvX CT wh֡Iee CO<X'l } Rr{:Yh̚Z3ez}ZHo- Ylqa +i ģ : N=ʔXnyPp 8N#fHj4(kHHrյ3 "ng m E!GcX?%ӡ5^(gS۩/=O#o(R[ʣVp?-yLA=N :q6e#F aܕsd0қHYrϬk7\r_{3^km3*i Zg3Yx~ۍno a5zUJ\ OԤO'xG2gP8Mr|8lpbc#]d[5-1p&#O[u/~qz__zg2 H@]j-Ar^dvoy4B$0EZX:j(pB@@*SbıMO&I+oLqSpl J{ML:PUIw1Ndd2HHTIurmd?f$KT #0RŨX |@[fG1H#E3ؾNсV ɗ \D73ծ|5`p̸5yu9hzl\s e FrvצPeJF;Z |еkD~^}=pO 2SKRo@*XiؤCrUa۠>OJOUyaZ!n:PPD ͭa4#=.C OYT fJv0d, Y~ e³rbm~0%![by)1F1 W[D ԊVܡ(pRSF&jd4q](8AGX-ϰ#;ujVq}qA^[}[oNӛE9$B\oLS׉舎%0}'Ƹ HZZoV M[?%͗O *" ;A]DhKL4AC;vQV?EnH q:Uٟ2_m wbBBخ *aӹfR47Js?5,*SCW*:Np1'Qq8#,LɮfN:lQLl )ǵ?!atOI{10T̜55I2:! zS%s~*gzet葐taRU 7ы\697rl!"9QREQgU:ߗi8=ի_;0n\8NJ}K~V/݃>Oh@oP۹XT40 =^ u]x9cJ. FhFҀcEK)`xfĮ]EѬGS[҅KQ 䘸wi> TmIT,lhT89R8 EFOܰBg(ɨ` Sz_KLv1\MlSO)8դ6HGr.MςAJ7iǿWWlv(k DE bFVNRd&ue +HU—_\RК2MayqE`[E a]1/2C(*8"G۲M}zPX'1#~ǨZQHJP0%a><)D"I-̬hq!*lg{7^{oY! ) CV A玸ȯסkh!#f\)z1[^QQsVgHuD }䅓<# U_ɍRiKk "GtT 4A0WyruJYKJce&9Z@W6Ƴs}PvZB(pEߓw B ,- XD0fR]~YmkC xӘwsEܲ}ےߏ.k<(_Fd pF: :I"mn>b}oh8O8X}I2\lYQN eOx:8h,,Zަ%\$J6zuIqA%y9V- al`ZƾUs~\GʴM0U &$g[{lrl0q`槪62Ru>XW劺k68aVNN{ a#ww@n\/yl!2Пݦ; eSk~ lQ+Z~IW~䪠.U0jsz4CZ^M PImg) j I]1ߑ,4~z̙3:R?H0l]Kuz"E6R;A$kwxuYJz֐"xWgղ4&/0^Dr83BNN*6Can'1H ]OW%ujd!.?)^֑JpގqjE' u:|sּ}dw~B M'jRRaeC4)7^)`5a€jaP]9œKK[T]z >.uwkyjqs7ΒX w9IYݑu+lŸ3la4;Y9?Uirgm?~J< FrWg(l Ewu]RP6y2.4B*BEX![\Z'CIq%Ʃ+26)LOB3"kdHɥCiJc?e ltK_Gsf,{4Pmhr/ؒD;eJ>yi/6C4ʊ>d f)۟ ܙE?j 0LznfcKQ**2%2ݒ5oe| );C) FTm:8wUuKb-W9iGXvxNY@o e`Ln~4hԦcXe#t `7 c7h,vE:HXnp3#*eZtzz]KT0SӶڜ"bqWǺ=PǏBUsIJj`2.;Ug5_ͬq5-= +7ĺvk',6ٜT?l M 4[JuQl=I'>QuK8yU"i15pn6Q+aגJ,g@I@ uׄhFXuq&@׭ꯑA9 |uU'{c n )jPG&d2ܩ#s$]xIsw;?~i~'ewV_ls権kkrɮckZg3 vk5 s.XuxU XҒZ|=%3Z֯m;$`\i!{,;+k>Nv7TNCg1 ASlͺwqF>:夿 ?8uG$bIu%{n}f#ڻ/;TfC 2ld=r-(k77[M%2l΄6V9cԬ{T 6+%]Hº ܵhp~2sO?̒~ezJ-t/d)u<7A!ebyNv |HGh0WpMױ n5peM#:?U`ohn cU/!IDg[wQ[tA mC޺ h2yh2=1Ze )7K35 nj:;R!~)HSߠ0eY{+Ch4fNH7A屫ŇI w^N%O/R~> s6D* DTX(ZW[q%q)fnd9$yp!zT6e7 ޶U#B19aRHCʽ jj)Ԟ#7W s驕?-TqlS}M狻05{V4HY&Va'M_ MƸSό"["LnΔtH#N^Gkvq)R@}U !iЊIzD`),w2`Od)f 6،{1D顆Ȓ8;v!l`*RUg@0_y6':A5u/FD9}R*W,(&2ȼTH8'L$d1_Q Ҵ*= *aMyOܽ#Y/dlE5 ISMf(ɵt1>$zä(/[əkbj Uv>TyPc|>q-Cm܈F.1?y& +hS.bɓcSN\~&#Ǩ=z2@ܴZ7PzAG ^:Kv- 1yB $uk1r6 oQI̦K9.lmEɧ%D>Yz U{ﲍjLc`#E g ]QBcyU]O<ʜJ,ʇ}]ppxH8/n^9+@]2@p9"`|b;b'7BnQjn!>J@TڴmcmΎcƫ'oD;4Y%-%pk Q-4 9ٴ6|݀yD?-ܚu0aC}oqxl6Vdt*zq1ha"8z|=kBs4>,%<"d;b,36թP:s<@ʤ+{*|Kr@x:B{45Rb筭j/11Ɨss!!ԦX@TRMOl TMta -Ihs+;IAO;d-u)A>vOFz/Zz-DAsKW6?bP)C DgX}psTVn#*ӻosDB}9IOL`|K a gS ޛ۞_ۦWq J}#@6B[b_?2?TTO'j'B_#KN}%#/4s(==Wdb!OAQvHHY-N4s&.xQiD mlY7_/`5chq*9qԜE:GA g(>*"ʱP1pFjڑApʹj^ZK~cź\(fJthIU7Y±R!w4 )߯</Gp@G4TlLCܽ,7X3an΋H}ڄhh>-$I/JWNҎްr9s:D$Ƹݽ14&ى)co*LϺ%`"u}f+G4+IQς=3y!x' 5PG+V#gkty54[&MSۆB0x|kХaZGa %frV*S=*Ww{=X&Mܔz?/pM\d)b[A#!zC:=$fvSӎ/):ͥgSZ⵼BNzB 7Zcf 4i5YGe>YV/WIp z3ixUmp}y rXl_}Ƥe̊,[bnMwTdk]މ;iW8mg- U _h0A#X P]ddvnkL&@QP5 dJY\\U"Pz.MśmybCLVu<#u9žt <2sF\KJg)g~8E( XiLJ2 zl@R.'PrES;l7b˯c=A7jEġӖ7nݡѹU,/lE/m58l5A" )wۣi.5hqxn; Z٢f؉`D*7y0/! g±@@$;2TxU jS/Tiձ]Mj&&Re`Lok ,HsRtZii9_j~k;n(VPQVph"ۭ[AdG.>'%VK^2!4F- ],3?dd0*e7d ó;@ONAG#srLg̋+@,p=ٴ049!9jgb.M B[)< \e(LGNZό"ZJTsy]Q m+``>c#(h]PkUp g_yP ^vt+Atf@PcS9XqR(֗x$xԈ5HVX$Ya))1֋1",y@9X B=L'KiKbgYZ ss #% \HOL-EisbachFOLPIDE/markup37zXZִF! " %] !M젗OFM'8ꍽm_[$}rmגL :\qEvn:']V Cu҂>=ewFv“ձ)|Si+H; mi=g mJW`ɺ6QWheUyni9V-꾡k[a@SED8u8ĉr^%ؿFNçfGAT+?nDr(ӮMo(Ej|W~= @ t}%>z&ɰ';QB8?++њoNs'+=;p>B@5#reף◘Vju UҲx-hr촫虫gǚ9aV͒-c;^̄oY,zWse.~ôkxt~TS?dCb2ov޼7}hÖ\4G+n0j%H$[a*#YWݥ#kJ! ة?j<)INuX"eSṭ S)R\JS: %1M.٠(N#yJK3)^sM[-/%xXNLhAL5J;?״[^ )z%/яr '+Hev݃ݑѻ9@,\jBW٨;83-{..),ˢRqtʨ*+ݢ!Z<=dE;r#X9}Eρϫf?>61R$I6j9>Ƶn:ɤ"I 0u:3SPNS}7t64KFR*HNSJ!A0X_J8/7j&YEJ,##svq8 `/ެG|ѿ<]žmo7|(KGwYv*6{~AJ6Bx2Cs/ <_5KWI*& )$XoE a­ֆQ^!Au{£Tmh#eX} Xd$P8yk|z$QN2Й\ݑ*$ͻ+*\ҩzn*^F2S@GI'lrH6/l#)%1=ܯZ`z"Lވ'Q(nA} k:u9Vi8ܘQYHFx4 >DU 1PL>2v4Hj>dC_Qb\ Cئ@u,@el! 6ցkʫouǿb5ZRJ~$8d40iSR` °bfp$i\ջGA_SvY@ХM]NW@Nn Hxkl84'%ץ(BXgf/8oM#Qe8gvgYZ hh# #% HOL-EisbachFOLPIDE/markup67zXZִF! #] !M젗OFN>*>#;_].hv-$4GDw]ʫeL[`OݕGO V*t`|i߾j~#OKڽ-p+wϏO|E&nr YA hgd-o^ bn}y =ρe +ME~ aT>;>3xv2dxZ;{ Bj-ZΩ8Cqt ;eOlqCuVC@󈈮v[~YNgdՊ,Z􉀋NZbse0jDo)PPfNG Uork+j5I;yL),@7om-hn ;<12lCS,5}AAT@yqkzB"KڨK#.hIN uйvïSQmqrl6]O,cfa[/kblM#߳c?sQ3^7+"/D0#ldǻaQ6ʋd%]#ry8OE'K }xf\JT.b֌ ]G--0MzP`4<8>\m(H:bH(łY%?wfz`'J?a)UʵqYX 4}'ٸ|ZٽdK)%s! IAXX+~ tՔY[ou;pmbmx;YN|x1-ґh8? e&ɣꐸ4-^aM'GMvvp֪П֙k> k*xfH idW" ^Fli~OzK⧖C DF04}NQ2&p@jH^.+yl{SJ=YX}RNJur:BO#dr>`<7h% c-mé_S=r7M-J,p = ,q #% THOL-EisbachFOLPIDE/markup57zXZִF! *> .B?osmMWAu@H}0:=ewRnP2pwlm5Tg`f_c^8@ak 08B7 7B?2eܦnbnmPzgm)[zS5AN^ߖƁKpW*A\8Oѐὺ{g_[͟ʂY,kij|>S}-FcB$h{4#2q "-`^3o@ip. ͗ᛄΪQ7YY!бnybKAq)Fyͤxj +t4k-F.Kpj1ZEvbu|i_jw~gdݤWfZ+gNc0́9P(oLmD|E^_gW6k"åeL22V8ю_uǚ GoǭYM4@$iF"+rL@NH k\%=inc1Y7fC:g*[;Gj+;cZ 5չ,zRoTQW2OӾ<Q1ʕ u^X5m})C2J5?K,m\NJE?'P({e!n癓q罢s2a3i.ҤbifnMMA<|͒/!eQQ Y͸TCǽ3Ձo@sE,A[0 ʮ0  Fz9t#Z?xczJڅMs`;ҦOAZIsgiv**q"kչ*mN31eѨ1sxE/DܒOfIh YĻvRM)mG)0}jDzͻGI˽p߶EYCR#% lHOL-EisbachFOLPIDE/markup47zXZִF! t] !M젗OFJ8NuV$ΚD vW)YKrޤ aM 07WT "`6Ą'[l9812*>7@oymt## E_WB LXH%_%\?6s@dNl9(;+`[Z4\tRYO?'c¼l0[Vˣ#͕=N@vܣ!`_RcO2Nu /0)M}wU䯻ilW;kRBB0cu 4{DVɍ7D`trODwg汃VF)ue)#Ɯ3EnP'R{r(ߒ ʹWYbBTq]ﺏ>w ) z1O,x]?ql}X,t+jmq]J+YwLZX^\fw.pcmd`oqb2'$ MԩՐ$C)/l0ݟ:\5v8ֵZ|჻88䢛msU<2dKo!F?_O=/:Қ$ `Qh.ã 탟5aĒ]?nl]skSJ]}c;M%hWkM\Y` 9 _EeX?[!&{x,"~{Ռ`@&<=?P`ywtOj&kȱgYZLYrk\U&7*,܀THYr碥<[k9ȉ|e%h` G4P7Œ;Z j@)}TE b؆ y8 &$72sY!^+ e܁ҥ-&='dͯKe%:RP1İ[}[͘(,s.vZ$gcƝ\$7#T{UXJgkKl,M{!g|ml\UyoWtb/NQ4eQyɄbj{`g,J\\yR6u,}e-㦣Z-!`%!7Y/5yPi+՝-F 5|^6#S6fSLЂ1y'-A em+(etϫ11@$/F s[x2 ryK&qecHq՗еOA>lWOa#)=L& $K.˜i0Fq8 K7B|+4E>e\-zjBbA :Enm@wD[mfcȹUy7_!/p5cGtͩKFbbU[J-* a=&֠wQO*`Ǒ}Dl8^A?@>3_W@>PѹF/1p\"@` ycҝ0P -2҃ZztivHH^\U"1_KqXLU6=eb 9ZK}ш&jqɽ-9$]2s5z.$~Z#x=p"uڴM,,0~6XUXڋf;NM5KfM < e@+Ynw 2U:"rwE&_a2h;DXSkA|K.g!#u󽈒@T㇖0hCLk{xIL(N 6Lm>dͨ7{pp+Skk1,V=>S.JH:Q" i Z d91 Ɯ""H@GbA69@Μ򃋑FZ}"P}c0sq@1O6N 6szj7Zsmwkʨ]m85=ޡN*vYoOhjN쒒\QA*;4P8΍7`-x:!BsILb['K 8zSD̙ 8HuOW2}c㱸H!%3|PXS^Df!MAY/A$aG(6]{@hEWlp.t.1˓(~yI>3S _Z`kݣLCOsZs/ÒO6oim~dFc1%)_F[m>;q>y1]3Wb!-`tjפ<9Wܡ1XV,_7҅wd|Ȁz]iR漢SbPrU1}Q]z6vWEiɻj-g}+XTInY1V:|?aN2 %E.S/䈊oC#4ymy!  ]HSK(P? 0:f}Hw8XOwR#HIhiR BAE$bP|HAQOQveŻkC;/c n^c5"@ǿdLuIr~+0P(F ۬E Rb[$@2Or/<'ՊlQۛHԢS*XWJ^[00|iF&'c^>8+Tÿa` ę V6;_5a|<7xmGu\V=ޝ1xt}UbyV:.6 -B#S~ޤ}(As-)D/n;ffXjI668b2{Ref6G vke&6l6u໼㑽$wF R%j?Y]f'C4W]կM]žϥknQc{)8OW]/a9mC3(e2W AqUe]q|*yCqO4h&V0':B.@Z_0iH@@)r2ʰ@H'@*JR*4O_l>/Qb_Ƥεufl*V9 a*`h*kXA`G\qW&wuɾ}9zf:<@'PylEDi*P[gɉV LߔT4D ܽ=f|BپO#Yi 8" Hl;\x9G4DO{~j5[^]g `ZN19'N|䒮/d$a%MXn"KWmLq|ZE",CtsV)gSd)K󾓣&uєm`!DL/p+ ҕ_@-ZZ8YRe.2K ,Mo B0[(:N5оH0#-7kQNΎ-oBW_)NԎ?z+HY2E7iq*EH/*;tJ ,D@\cUI;w EJ:ΨyQ/oV*PCtث *ʐ+JqTReڱAEnBR>ȟ_XeVhkGy1gT{Юx2vX JCA^pxʈԟ[TsN+qۃt+Q>!~IC|ƲԘ5M,*Z,o691-Sŗ$έCƵy[K)'GL!8F^գ 1S}B}mY/gv^fd& \'MZ"3y1S^.s8e<)E>R<{8qlahIP8@8dp(q< 6kmo Ut [uJ=llrۑ{I>j/Te-o/" eP ˯ )fb&g#=϶o!53Tq Tǂ!`s ?/o74P:9'x}AFgYZ!Ѽk'E_oGz;{{K ȗqx;!] yW4VI`ߙQ7R6YT@qʍ'0\.T/ 툹ZI`M).o*CB(1 )(|@n0KXr 8ETsh6Op Dva;'d=t_(/[!i+Mr-.>6X> S<ڤq|ˍg<(AL2ubۆZoIUUSr>V6 Ȁ:U}GPQ&0ǓBv$[MYk0ntßtP95qr + QIYiS#U“XG-a yd5 Z z"nT\ds6=Mnr9`iGvOp2+o؋+vWfuyDˈ}H ҜT DѹhSP.iŀ8w} %N7/0k%A-F *X6D5($'N/PԔ8=ծZt{Bie{hg5j 'EX&ٮe$oF+R%9d֏wr(3i!'iŎQ9k!|YMj:MV0'u@yx G ka܍QPRd Kwhh3s= hxDi(s0 ҙ>!,?}\` ^fZ$7 O՞jsLb]W2@XjR60ř6Kġ/iiFs<.N^vR M+3 ԰nx#Tf :na0"zΞ֭y-::0‘8k}HZ:˨R**X'<_zR!9% T-kudO<7:OL>}N.b˰Z$œ;ޤ|ԌAr!+J/ݒl< (f a7(Gp2_ !U*ȏ@>Zʝl|#^KGd!@!lnpTcw/:B|d~}#J@͑1-B M؎w80nTɩ;T]l o?ą e23r#:8 "O"Tڨc㷽D'j; 0xZfYެ :B6B7o}GܼOڰ4|EfAc2=7!-wcB;PW|W>Y 5lM#ْa|ͻ'^\$HPa˨R+^_tu)Pbڿ~A7jULơ{bjׂ3Y|@!0k@JTI189Dm0C3C&\$ oy!}Uڞ׋ۧ(,s(CֆuO+CmԲ]Aqt9R&v}3IzKxKE̱H.(r%PI&oL؆W~/yҬ) .*};Z:>xV[s>'}7,sf |Pg#0Yr!LЀi%?苨E{/$" >,vAؗ j tvQ,ބYid_OUF- U3;x-m/o۩R|1jdRND0[BS6 XOaXg.$2ln`w,Am&3GWFK$\ډ+6AkEp^K @@noeGiM<&۝)mom}41X&Gk0R8:({{xjF@ώ6Јy腜/ۛ) cR@ Layh'<9i^ƱmC᷌o W7O{5]B:GV?k~ЪɢWB)/ \*:;Q |ͼR^>w/؁ŏ㡄tcGq Gy|BFM1Ň{]b"\RW%Et=5gCP%II5Y=ݻx5s٢L#4~wE 4,A=肈~aLγZfuK8G{~IH౒L) 8wxi8&/˸J 2fןFaI{$sut8ĽGO12+mQy3wъHF8_4$qdq[>19#/R eWǓ4h6P5>c Q"tSqco0>C|[I) ;]jS+& cBV ;5dfi^Pɍ S-P#e\q,a3Yu5Qo-{5j}* ZP:ewTxbDM4Ih`qTdAA?U'y@ .O#%&8(bNrϹ0iF}{{}]L>z 皏hE+}(JJlJ!ña}`˟8)ژodO*R܄⨕˖+h0?7@>3w9j:ބz0"q c/')Ǟk4?P`B{]ozB"RHg21oG |N; v#$ %]CS0*(sX=$QG) ,CTY t\AR=Z1ͼVFo'vV ߖWNQ&6Ir>#` ;WޞZR|Y`l`0⚖f!MyJ|. 2d۞r)i.%`RB)9N|y`^;±KVۿ]~j;ݚ0Bx*3T%#xxL~.dΑFS֭LDnSåAuEMWm%~9*o'Ujس=X-* TXc@'_@7X::Y8%.W"E T_#2b3Dmн|qVl~mN`\Ym>nɕDतe/<0gņ jj^`tB]i(5NIFak HŐ\ }|*Vl|as*O_z#͋%bB{Lb X(_)#=@j! F{f |t)ȒGpWc e OFNp -p 'ިeި8π}8Tuok0/>V\URஇkJZE!z ON 79xem.J93 9$Li G8%Dp,B}}C[rsih3n %6JHA<5Ts L80YZC_oÃtrm` yP};L㼄xq C>Y_sIJd` Ά,H}};_ Xbg}&IW[#L4 ڞ:4\?e ZhmtiG3}fD#GxAfp{Z*?즢T,֕\:`9h[?$g1J];VZ0%/uSgjam[PۻHX1`*l'BlЯ(s{n+X CǃS1u_ʜh5,@v#ѮC ?tQSՔZ1i,Cx]2bZ a̖J+ "OO@Z'k+iHD!#'ZwIym핫l&g(0ޮL&Ymyu6M=^έ;Y+X2Gabz g)io1t ]!AfuFt[73!Z,gE=m_f,#>W~љ# |Z;8ǿ !_ʀ7mHGpgYZ  $*#3% |HOL-EisbachHOL-Eisbach.EisbachPIDE/markup17zXZִF! x] !M젗OFK?mVJ@+Ix5H=g[m7V6}۠Zv:tF$2PX. _@Pd#B,Y]\"trߍ}8,r]%LM4#Ab ks: E^H(n ,(go43V ,p<PYe-@2bJo>_RR=C0j^cq'u/=2)Tk }H؅+ro.2EQ>0ڞeyђe=X_i6n!ylN-B)*}t ڶ[ƁgenYFV0Yjay;  2TUx'x Xa Tޒ*j"1 ڐ=4lXwXe*`M3дy FOH9x~xtUqsgYZL#3! DHOL-EisbachHOL-Eisbach.EisbachPIDE/files7zXZִF! C[]? ~SC+cYQ;S8Y$;dv͞xP6֬qAiKaTW1 CfJ)u @(w4ocgYZt #' ,HOL-EisbachFOLPIDE/messages7zXZִF! 0]Άxʆ5.f-9 rq9oɼ+Zz@DDz"m7Y`f6|䓷VQ.snm7JG/~TSa-T>%Ɖ8;CgOwL~sHvXGӋb|8jS`:NMضH Ȳ$4aFD'>}ف\S%r~]Mf[/mѪ.׫X @CUEiTa6okĿ2,1 |ϔMk wYPzJo &TJB\p$SIm"mLvTsoȱk*|lApaT^# :Uvw6$8X4tLvS4Ѻ!x~ YL{IuY/@خUj$%## HOL-EisbachFOLPIDE/markup7zXZִF! KA] !M젗OFJ84Ά .[ Z.m8+}-x'\hzEr14ޓ.#2J+a*ړajY}@|!5ed7ݜ$jpAN'I zcicnb4Ɩy3[k`#`J+BF0d5G ,ZijfPb)hInS @#43Cy칹w.W+nЋWA+ډqL4o1ČK{[IY Z)͌Ds>јɫ+n( We8Pv@d~5dbga0J`:QʨvsΦ;?(1%SC!C]IL0bg#*#% HOL-EisbachFOLPIDE/markup77zXZִF! }] !M젗OFN>*>/㷪C'DL!IKWwA$Š7HkƛY v 1Pws ta&|ofc(k>մP4Y39[_zpՎKƔѤ_Zw?4|u1_HfUQsp6 Nq8rY7gyDk73|ʲK'3h"\[3jR~ZoF8FB|,oկ!_ EQ( т&$Ӿ8kI MoHC[ H:ˣŅ0&L9f6Κ x ~_6>VQ)ynZ%,K]܈cGӊgd|X{0m']Tnw.ut;-ns(4ogqBɕO$; U,*P !(ϫWv Q7L5=Mj w~J_Rr-CcP.- h)W;3UBI/onXJ& CKO_k=ΛtZҵ޳tJ<;}[!DjsV54ᦍ6E$SN dZ& zBTFOp(V]p,@ G.Q !B,p6!s?sY`&nThaM^#)n=!|P3P, y(k<,pP3M1݁v>(~0R%#.xiS[ RsRdM[o?>A2Waǹ D^o;-qjEɛ, m˴$jcoh&4Gy(,R; 5uU0R Ir#F8$aY^gaZf3>s< d-K[ǫI[x$gHd`Uq^t %Q-9KI\dD|x޹ZwĿ%kN!#kb[~|pO#5V fIbHc5zC۞Q7դ|xŪ_Ix ?o6{(1aJưk$NvBNmkD{3+:h,kE^'LB;W{ =1% 2%c]l {>d05ȵ_0zbBœ=S(tIYߠ mK9sZe&n!ߤ;H(<vU֓(<[}f `@ޜgjE;q̶ -?DUCPCSU"Erx&Fw CbZۖo)fBxdhrfªՅJ,b=Xw#q$ZXtuayRG2W"P'g{U-|C~_C\k(iكXxg))J˃.)ZV;kxq"j$/mT| _0M&;<t<`iy6\?vU/),AIJ:6^&0;2.;!J~B^JX;x냕GRy-yP09M*D܆l6IXՊ?)!3nykQۄ;ta6Ͼ&rQZI P"])5ѽJTI(!E_R\'nHϫy>B#H3 U}7R3cNr&sҘi]ק̖EKv0k^A`/sWfX_4{yush́\/gjjT}G}\;&+5":)R:,_ /&iP!„C6%Zq'̲i0|v?lݕИDj)v]jDK2:a&Y7M RR1l4G;;ך#۲K(!cxT=E?Jk#7B)Jt$ӭE~6/ ɲTm1]XՔd-Fme<"Ie0Bz2){#0s3Rﰳ1g,*nx^e xko=o5zjdnp,FHg5~\oE}9xILYSIOp#d[g~j>z0-46FX.%5ٿ\}?&ekqa˘Hw4dަag7j_!t?ӥ׺}~sl8[$ J Zh&Bz[56gTF 3I={aG2#}6GW9KYs2!UԹfUɁ`%0bql lGZ,Ǔ.YcXZ;܌"Vr > =9R̗xBUhao63SʸFOD1֕8-lP8 i t G^"=NHћ8 {T'V' krdv3!gkXWId'Hǽ+5 vZ0eR~ nͯ]ZosyC{2}/wٺḼ /nɚg|΋6T%{Jďo`/Z4H|Riɡ̽7]RSpP2|G'$*^#jgk0 $6`ixNtǚ!"i6XTX&ΧEH,&'G"Zw3c] ]A8身>ZlРTم,.PIIJc;Z})Ј2{su9IB1mڈm9c=v ¸CC2b1TNN^6o8]P8m# `pa*ײ.ZDߠvs<'g  Q0l^8mp@$'pWR+9KPojG{=3HigHb1Q}\x;ѷ'PC$P75N<_]d]ʪ#PHVX6rK-to]\,bT1fZ%B} bx{:A1SN k;hpS$ٛY%"oꦎFr˕bW˰ +VFºn=-f)c.I$7֘FXݹF?EN9h[,I Hh;"B[6N(=%Nh ! cqd9mf̟0=sS&UPʦ' sЂj}6R~h1~S.f _Yc:NUFM/d'O;Xv2b6;W-2:k'5i9bOVD$FIg?$`L-TH"j^<*EcsU%Vc m..e@إCM.2/ʦߨ̈́:.# Pܔz( G6Es :A{9[\}?\Z.{z<:ʧ-YKȝ0 C}N)A1.OR02ا[_X`LKГiP| Ummڡ/2Qq7WH]Aϴ25' 2mVː x6קm}X+FGĆѣg^,B'I]('9 gVVlܓϾF~Y-Pm-7?3X͘}\=6J:";:/="XzsHפ1.G5_,k}H]>Ϭl~;ՆѼxd@'$b/>DWPy~3v2V? ̴r !lz`Oy%ܢ\ܨ, oo4ǘro.P{Cv~yRP\JF(Q b?ZRڊW;cJ~dkQYz`ٗpy_HR*!@^cg߷{j@%|/L{|S:lܽ.rd]eIE1F5Z3V;DKH"zAgYZ%#TQHYGQdY"҅S0fbDPk g4k!i!}=i4[)-.t|.S~>Ts4.UKeXT*evesDΞzL9R"߼,o/NjgӉm#i e\M5E=nJ -EE^â !̊L/%Ѹ/Ƕ8[V5s'T D`0_0t(n~x9o/n8XӖ4V <ּ_|bD) }o(cD~.w!^p.ٛ.[//%MYc c0µUL[KΓKG)m 3fZϿ~訾6qGue۩(VtԮpɺb5vW>d@yGWcz!l"L8LX#a>3al}Aڍ?\G(E,Pw `[e~ C* 7 Z`h-yRiEo܇VF%U'F"x^ib sQoZIgt{3;mcw+pb54>E! hn$MO<b$,pe慀+v,"ͣ8s -Iot~Vayـ)]YtMa=۸ ךECz4k^=&-fWoĞ9G>;i"> e"tE*shJ;9?!'X/B zNa`B@!rub#b[6 BCcO\[5;ʍD$ Xd4Iio&xWC6F덖I ~E% D$ֹ ~x٪_ik^ ɋؿTعo( Xa8Xm>s3!B0GD$)ʤ}+'u =\*zอem)^.vVO-DP~`:L-z% In󍚸kFpi|=r͋Nhܚ9fO/?[Vg%<êb!H/Ѻ^!4]tc[v Euv'w@onCl+I^N O݁F-A˾e-0nvbV=NEePDUI27gJzfmѹ9K^P/{z<U?  Qy"W#Dri`KoF5?2!4Rb_o_ЀRZC"kꄋp( /~nU?Rhz$ NLybv;d*,xN,ܙGS `_3fR׶!?|yP1}1]ǰ8)_J@> [`2_a:O4XQ7bֈNK'=&</2#⢉@[8G5)oD9VStQtްDY!,b2YF=QmƧW)"793zS,t 뷝u ^puNf'=\#5a z/o`0z$䜹;TGl,PSu-9?g'ayu:s;a!&AZת(CETĚ>mF׌X[T6iqjT?Zo#cy0T!hb(.D|n>/I(N\z僼]3}VLFD̺Qvn52g;3cECHn~H{X~$>jqD9s>z(xS$ڮ:`ر<e\|%_]A-ԇ`͵Aupv8~"!mxiBGAƤn]o%+y㦏A$P2ws;8d~J/Hh#ۓRw&Zga;KUFhL`ǂ;~<\򠎘\t%a+']0`9(T/ۦrn= LYv ﱵ#}ǟjfc+w "|ӁԇQ\ѺrQa*:k$ (A8#ÁP58){.~d 93/o Lm.t())ksomughLa:ln:[4]" UGl9%kL*&{W'jչ rzj':*BA8yѓ6~'AIӟ 흶w9.a-sH!o eA-ce[0O_Lg#͠#$lO,rK<핐2ezvIұfϢ_2XmBSNUb#Nzy#{]`cڏgJۮQ?vM<@NdiQP؈5ݝ8aie(qs@- ;D0XOŁSGzΧ:m (Hz * vtHޱFwda\Ie.F%\۱Lv<y8zq$6NJѴզYw@xh[Tk0g tAV!0 ]~0.1{0kYN ݠu2?vqI Vwtj+3ܰwp"YU! ucJ^{l%ЧH+Ŵ8Ҍk4Zn.J||s>ZILY8OiʝcyYWO]ohE/xx1=s/F|PתρSzZ{t(BDxuRkcN7.H RJOByI-Q-l1 { FiUЫ34b(BB2C8iLoO`Mខπ## \s5+Ǿu-[ b4u^)uB$ezK $E%Cњ׾{'*j7VfIHYtW4K']w<2^!o-v;f=̳S}A٩HB&jOP0bрxk=w`2ӛLhŁISCAQæerzŶնi6ex#?׊[Kt<e%/H?d2Fݪ1!% {:Vo/wإ*#P2%uB_ _.|>wX?aLgԚ؅U?0s7+@HY1 %tU{+^ f?9&IEXya]Ke5f"5_O5`EC]u~ ʚ䣱P{<ɅUYƛ-G v! nO"Śf/prW?6&!o ܺ3ejn,T jbk˘[F(?mE"3?t[F~o\η}#yp cz~anE ػ&xL.q)?OhE^UW?T UyJ)ɳ||N)j̩B׿nՊ[ 9MvoX )̣M\Ix! 9.!Pjx69d.PNc1[%_[JTalԬjxrn40sŒIjdw9VE(-P:[FPۋeYp3}PsK!6cdN Ne*[mqWIC@MrГZgjR ˾iЀsk(C Ug{LSE\(4k,KCRcŃUC]>5rz&BiҴ¹KcGPDhEQ ~ۋmNG90p_5_ ̋,W*%k%?EP!<E'EĵUޚ~.ԧ0ٳ?|,J3}4wⱹItwj51)Aqé Lc.w,CZ쬙ɇG?7zONr0{_}jcUo ÂA P^rJ_!1ݮ(Y"j4ˈY%D]5$䱀-3 AgO~46٠9b[t`ڼn(va9+d#wP4WB{FӐ8#*R qvb?͠W$ sk;i^Nr[#~#XdSyۉ|@$ P'c*]< `ȝga79@c"ݡ-90'RXPvVJeum8‘dH$ͳ/Obs?L'%dGU?xdդ]GS4QW1k.] ͬqǂv/hJ[/4@A~PA8\9l4OK6d:ZD]]ӈmDRDh_raXS픵8Kr@T>xq]U#asy2)٠6X ͢iB-Seb7[kLM.}c7CW C۬Rh&8|'T#OɌ/(vH$g (*T/ŃVm>_@6CzfD-<,)&[Y ;g%_Uq@|ЎXٸOTS<ڪ䦲GNdf!7$' uQƹgr?. s`Ma57VAg(y/e%/]޲caO|[⽮Jy؅YϜlv"\< !ޝmKfUz\V,MT?qj\Ynb!A#&=^W5?Tf`,W?*X0U81~K@--nَE]x-a kQKFް"gYN?L1#;v88TK kl8Gi\dՇ t Op'^i%ob$sJY Vw {CG}-#CNяdfGX̉^,\cMnus{R:" <<\#z,XVI+tHA *aReOv,M3Z JY޿lyul ~>a-ou9^k.l˜d`WёX4ćeP4"kVGO2V3uP] 1ݭ+## !ZzOHC?uI%M(\; 0kz7kըeq @ވռ6RnPtmI2vyARC R)i5WGE um+p=%$s"NxNQ&MJX2Vh%TCQG 'j{7vO6X1WWMz3#8Vlْwr#Qqf eN3Bm[I0DC|}KRdZb Tch5vk러5=k\1.{ѝj(h~ eoFA4~xD!sz݊eR:S D@ˠf CJZ P@ӻaZ+1O$(l̨7@JK<~+Z"1tۢ卑V[ۣ-uy0:ƚdvj f-8$r[-W $fT+Y/_9TdmPƋS\ ldՃ:2j\ >>U^uLbskHԔlH|Le_!^ɘآfBCqzѭk&@SRqW' F;!걾VG1R!D[$mZ"FOU~DDqSqpn}Ç0و<>11 erI04(LrsGX1' ^Mb0'.|`4Ʀu<[Hx|lnx.BPU|yC 횱 "QM_C —aU} KwO-CJľj?kx*zo!h+MNq3Nh Jn>"-h_? R),Q+P؉s{u9[q6-ɸ儃:wk|Xj! |˙ʴr iDjU(SMkjU>F.@ 2U" ]ȓnw |+Ymf#mZ~q/Q^zt(gp% y}Π8Ev~ "t%^,XU蟋gjZT`Cl[Q:`yیi_9o(^'y~2, |xYvDP'Jfr`22IDzQ,4V6(M"=ꋩ#r;j8pǕAaR~%* RĽ; Ef*wNeu{ա?k԰L)Y0=1Ϛڽ5|T3眔i$񟝀thwosJv/>Ґ|}+qs֖?[+q04q&la{\J.m^첎qDi;3ṣc"Gfn¿hl=Y2;?98DZ5)\ |-& / p _F%%8F?BZyV>t⊲6Yk$WQJ}c[5\fHp?o׭ɱt8IxDӹy8Si֜?p.#/?=9mTlwZ:`bOϿzyud}t|M CKǧyT{,8abB F(c$jβs S/ ?s 3V4N<0*L)y}RSex^ Tn5 ZZOYǿ[cUϰm(^ {M-j O , Æ[`+^x`y3(iOd)ǂ|lE6t59QO\"tmKa'~X郺9Yeb2=GWAYؿ7)垖Aٍah巡Dro SUn%Z-SUdY=2Ϧz_|Uޮd=`Hk7'eK9Aԁ(FKw/`\H7c*jDE;DdA&~֏ʂem #1C96/DonOqi}&?h{w#Fj2E_'8@2@5YoR\NWwkǾTEK'kǗ8{Nh5>&mV^/{9 ?Gq/K=]w'/lNө'*]oɋygf[m-[vDG}W2 8 c>3M7bCC`1¨Jq_~?|=Hdxzd) I|GF_H>C2TRZ~I 3DAJl@::`6f ;߾L6$ X>wk]UF.b Qmb߆3Ay;{궪\ YNϻtyE=))8x/P9ۤP*I-FgiʝU?d䅲y #pԢtZ4)nnND->C> 8|~Eo<jPidka`[ 9ZҁQ7tz'5va 84Γ=7%Io)GxwI7l`<) g!|5!DŽ;I.#xmRc L){B1_5_WfzCmb-@d+!534H6BКL- & ->z̗gA쏶bJCK F 2&ɇ\n5m[C~Z: w;ҙ`=g4O2zEN8^|^b}ԝہu("qndAWrP$~1: Z\|"MJ\~@#wڪCGia B Jah-8 ख़AgG,lЂv _EN2'Ӂ<6K4vRLS'r:T5]YvU|?YQf.G:X| s[踪eYnV#Jl(A["D3Wu_1YsOˊxl-N7{ HV[SF+O~>zcp&5q~`?l~ЪHT*'gԎS?X]PL>Ɛ=X!m^K2Bd&V9hed?4EaXZ8r#Ժ+G꧴ɦ sBKDwT^O,z\9J&w?}trB KL522zsLJ!5ٴ`NkglumEf5 sfQkr<ڌm_#Cpa4^Pu|->Zvht.m\̏{Pڱ&y`1,D.8؍9k1#"?!73Yv]=E6m5o-(װO}`@;-ݑ Nh]P@3sjJ:ms ջ͙o۽% 4^&kHe;Յ㌗Q,1Kkit^aOI^"«( pH)F*?0kE), / o6{+LJ%y6 d=1gIvB& />9[v k%mvm5 dxt tcawWؘWe6e˩nuFiQKN(ߡ]U&%?O80:X1nR/Hq pd/Gg9Zxh}yhY|Sbq3xu7a ۡg_zqI)G&Ʒew 7b)NUMtb`Zy li?Kq⾂8adhBhJUv@x_R,۞|ȆQBB!+tF0P/(blY@N̜ٟڸ{XȹCA잂gٓ㺐[<jP |:&qvY_9Xs%*h˜(4,ͬ*|Λ@6=ى;;ᵥ-R yYDM\y"P KijfE)b#3% lHOL-EisbachHOL-Eisbach.EisbachPIDE/markup37zXZִF!  o] !M젗OFK?mVJ@+IrN^am{935#~kYLbH.`BJ,z! r+m:$΋e-Ǫ!yGMF)"(07? M[FMu.)NU=ͽy2WKE{5ꔠu/{mѳS9jWs⤮Am7_W@ cg>NRz|65QVKSQ$~[@tP]PBaGN[P~FouE~[3.qu#Q~5ű ל0x8^kvgemL}elZGv ÷Qa@svʓ&H$mN ls08fapi鸛PA~ND@nI0}X9TP܁`(T]jlb$ \jPf:kNV4kwh"ʺ~}*]{m|n%?}[1OW)cfqKvdՃuwjY`"FEOMΚ L4/hwj,4C׺&3H{\mH#O%ԁKϏ}b5ʏ@yƧƨnŒZj' +IPKDSaÑ>0:B/`s$nDK41ÔuypQƗ9H(0#u[)k,; j̉'3pޗ@Y r W$XpC ˭]x.^q~gBmӌQܘIϏ] TGJ-dU@L&aSu/혖q& 56+MpOuDf,HfǤ@S:Ґ1eQr39) aCACQ$u=$esL کA3u/6M\w%yߛ0[%Rp R{>%|y#.#u)!AW_/n^ohK6{ir h0SۇDuIĜ)EzOy_\&He t( SᾂvriC`iV| ڕ7qpu(|tt~OtC5R7WsD\L,)ucx ~_V{!(i$gYlձ_DPˡkHrv4AFSFd%FǞSƲ2^:8U|QS]p>"E/ ` ~PAlwe¼4zMn^Up;cF/R0Y{i/EQxfaFLwB ރ`n^ڳXsT6H)rW~ޅQJT?XtOf҇(^g8)S[#8'iɯa2ղi\]*[pkͅpHЖ+NU7Ʊ30/Ђ;΃osEDvP)c),dyO2k:5}>G,'kxgC&otbS (tYy(*]z4{035eaf*<㻮sB52lr* e7AhPuPP)5eˇNgֹd5u5~ɜGΦ M؆3Ưz$%7;M]9A[p tX@cg9)yXK/^{ kG|\OZ9/r5k|~Dx#yoUagDQuXE= Ɖ̕wT~BmH0욈!Ddw,:20Iy0Ttޡi5F@ZST)k]. }@WC׏s OEC Tnb/a /᪶ PZ135?,lBt->l#ӱc"c*rw-9ZλLuH ჻Ka]._*wT%g^-`/ئ1(7nٝ'a" Ss% VZ^ TF5[YN$ZX;3Ɏ~aZsvjC U~Ÿ|C.wk~WrSfó:ƻ64R5*h<7=Pyt|B=(yB ڒ#JQnK}}fLʉjrU`th~g <F+Yy'bR 0N wgZ 5>-2Y^Z?gYZ*s <ϐr*b󷚱GҐ="ڋ}ߠ#S:5:`/8Gv(](gSIl#= X*Sohԕu(m}D]iBDRѥ䂰8!oE(۟1k56}s";3J* d6d_vYfT7{/˛t%W˸ Z8aiV ٶ R?㶷8֌2r$ŘiXm6E%&߱V-ww_!MP|@k$DeȲ+7A/rNB4PیBlCziejӕzgdF!5_<-J+,`lZk*Vgh mgX߁zϵq-OJ4"V7قTY|Ӿ%D 8"#5:?P$5:L+3tO2S x]btc&qBq B_V-l [{E~ V|wHa* JJ4^ 2xV|(!/;_h5(JA]X™|@Oc/a=9(s (b Җ!PX=*O79%IɻJTnws cj2~g8L}p{&t0()_*LXI\n,,.iCsOQ^N*_ܝ= [CD!$8&]CP@f=K>ŚC{!p l,VzeJB! v\BxSȆ4N1,F,wSMoEA ! ٻݮJtV2NԈ${ qu]] X3އ [6>^*ܴEMv=[&+TG.h+4b xBo(؏9SZ쒟Sɗex=,^^l.B)зp  -U~lDϻysֶ. cn^(I q/7@mzt)o5 r.k H}w?I#f2 dFo'lJ$:-];|~TvM7m|FP)D{!JK4ܮbKe8bnE6*t}Tb܅b$/!M|g>5jF-%һeQGAPYC[WOy5`e 8G/Ư2.TPD[Ds섰}iӺ,=UOsE[SFAnMrhFʏ k}YR$k t䛽-1e*sЀE"Lr*SAh?WA*?Z XhV(僌+0Ɉ-NGdX+XX_ACqAG|B>W[ݓc)G(W\H+$XH=8|ɳ ] P+8) .u1*\j[_p pTu,+DŊ\LARGTk^}WL!5y itݪlK6Ig2MfѱT Hߧ_7BK|bi[bMo<)gCls`QT%Vi_bQdž)oTN]T(ckr*x{ǹquThJk קr<7%S"4k4.G؏iX).DJX89$0t62+ö"{Fr=C2& r,-R[V+v_ kbKSLТ~|9P4$_sy}03lقP} | `^ސ24q߈zpO8@C ]pW^(P.ɎjV91Yb gh<+=]hBemf+|3\_?3U"֤3  {RIz{3_DDdZ ?YZ+2P|ϼf R[P f /Ki( Ǿy$գ*I3?Y<,HhjhƍAFSK7 ycxnV^6n"%`'%(l]&i5E{†vf%RE]+U%\ 1x/Z;5 S@2 C61l\X٨2f -%, V!uRegcS"!Xt]4kv :}<# ,?.dxޜ= ,T:iKktNI_|{ĐJ 6@l A8Af 1`5V[ܟy o|ڹԛf.Uk95DŽxM =FK?Sl\ VU" <<2GyCr)|d3/"7WM ,k|Cc`n>Fx:g"oh.Qp?y( lYӤ:3pEi;O Hs)b!)-O3[ ğ?#{]?3m 2DfQMep`P%U1weB񢗃ZfÆWz:hPg@Fݔm*zW ЏyeWAt42\"MVԺ:7O Y,)9 tdSde휡rԈ'4a M2:Ԟ)V/>ÒT]-:cht*6%N9Ww W5gjzoCoC|g(0[-)n"s,N9|Q ZʘNw"-Oi;gA6@X4,#x w\;@h,X+.J1hzHM(r }sN.'>] @|\-px\w7Ppc\Z!bYKn aY(|$Q%~XUx߸1~%+*GaЍgN!I[ή"ClQo D_y*nɛZj 'Siub! ;` ʺ m_t9Μq2 I0Hf*\ [z|戰yn'$2YE$k,N `ߢ83̠:HkXusQ<;@=(-/7`~9au9LW1VY>-PoC/W[bXgCO6m 4;9e(f)K5[KrNN8K'׹˨`>XB?ڰ~/|pN e2_*])thFӪ۪&kݻ>;f>2aɤ$=&_s`IuTݭ9g#'_TW(똢J81>,gFp!:صwòna^`LSuZCQݙE}bh?P/c ۥ^DC&fCLPYj}LʏF L\vm?DfSn^ 5RեCVASoC;12̩5\ھ s2|cz BЁmh$kv,ՎoUIo=ʽ8 _ߣTWu(V4ug˭Cu&wYgvp{=Uetf 'p1nքJ-Yת#jQ)ۇ2wtHOFvHQxeJ~V,cmI4.P )%Ogw)uioЧOC+Ҙ3 ̚u MQ Q@nzZkCPԦݳ&"lÃtv*ps:Bt‚StJ=L8Hi V:S@ix"Ǐ"!,0I(p)Fiu>`A1 Ǫy[Z񷌡Q%\G }.=*yoAZMe`Q]hI;8oݱ&Q Zo7Rj/`%J?6X/Ӫu `*#)=4՛yG9/(3Ql!/ɟ7އ̯n[5\GcnOcWa'M=&%b;ּJ4-GcQK>KɈTptCm~~K$PvArIsz=n{js&u$*17s"Bw.2mkVIbIwJy7Sv 3_2 D!Ye01v[|" [+fVs)}!/}vVv{tQ8rb?]v|Y!<<Q^qj|0תSb {v;qdTc O5Тv;EVccsS$;aigQ*yd(K*uiFT.ws]-r<zfw ମ7Xr0,|BS 2mRO7&MqATգ&$*C@c\^B0 =t(~yu2)GҾ ==K-[KdS|jIj96fzXZH1O}}bPiykD.5!V+jB PH1ݺsD~)3˙Ɍ5"n y0UBBtRG, Iw.r,X-vg,ċ{۠ G')e 6ּؑ]C -A?6n!Dʿ#9śl`6j^8_] QeM5y8 Nt]ju ,yK cܶeĐQ3}MAqf\*p'TeRF߶b?]<~p xܨo9SXjrD.oۢ|aA]uz_2 )⟮kaJ@* Lmi1yܩ/'ڻs|UWA{շۂÚ3>"]I`ٌrC[?h:,!/\P-̟`Au/aTs|.rJS '_648mA{S@:b?*S(]q8L1x뤮.kJ;u"wV)Z]gr q%u]hV1Ϗ@ְ@92;u;tхvJgi'`&Dݲi)ưihyx Q`>S1Āh0wAv݄/&xM%p3NQǶf|%kP|(fwA_."{LܮlmWJB0,h^|?g\ѣgYZ  @""#?!dHOL-EisbachHOL-Analysis.Metric_ArithPIDE/files~~/src/HOL/Analysis/Metric_Arith.thy ~~/src/HOL/Analysis/metric_arith.ML ~~/src/HOL/Analysis/metric_arith.ML;!#3' HOL-EisbachHOL-Eisbach.EisbachPIDE/messages7zXZִF! ,F]·Iq n[:|&[z8>J%_ݎʽaۘ[7PsC# ˁ]4vƓ~&Ha U3o~H]n}WeP &Ҽi2ISٹPaC8s9>J]ֵ, փ]-CjVӡ`c#RBOY +YtrCQ:u{Z9n>1W|ƧVlxX=N|7rT Iepc٫ɥ2AsL%P4= -7T׭/OzyC55Vp_ס fF3M"7 2k (*'\Db2bӡR՟k|\H7Cq{2 ȂmmZ@d6(e qvb⟦]YA_{,1zXWoXEs ȫ#X =l=~iJuB֑XΫb~#Di9r4{I 86]43ۭ ҕU8Kk3k/E/v\ᠹ4]]l?3;BLΉA1\qt'/Q%1;!Anoߙ#fWw}>,5Tgz/JοqE>U~4nTU̜ f[Lo'^kV}8YH68/OSWQYU ngYZ= #3# $HOL-EisbachHOL-Eisbach.EisbachPIDE/markup7zXZִF! J] !M젗OFK?mVJ@,3UpQɺS/{l# 鴌 SҮTo2sBt*KBi.A^i:.|pYmY[˛סL[!ze{+IAmW4hE&ߩّZ._AН@(I#PVJp:ԎqlꎔaډpA@M^̢=R`Ԍ)PVBHe ,#ekcdO1c@wem gAN4J$xLj_fϤd"Fk m\&G%@ލ, R0aipLc}7տb!lcʴoAڛ1JCvFz0ĩ&-Jh^~ŽH&rX~#7:@tX+`RGPGF&{aLPfrE;Fg2nd9LFv8Wϓi9Ma/>'AQ-&sn#VK`ip c2`aL4cvXalI49v%K(o#k| 5u jR'o+d,DUșfx/N9Ϛ\ۡ'[ .I^,\@7E} JQ/AX 8&;][}jx$ezC6YNYڿgsp/1$"sTy7}r?ݗk7naprNճip~π x'o<*/3G(5sOjf4<쨉/ j56YFq@-h84U, \j; 1XMn)^.3@?|lPB&kHg"r x>HgYZ ##?% WHHOa8Ȼih."R Ńe)+V IV"' ,O.+G?쌘VMUI־~j#>q!A4 jtq|Rz:GqOKbZS"IZ3E22J _+/kCad: X{`(8-¿|N:K/iJJDc0[[~OZP2RPx*j?`6&-#@{&!_&e;lR{xMWgjklfZ=Y1a$`˫NϞGϞ@DZHCSZ0N/'yl.*3`(Q; W]ShftjYFz>05h!v#)ƀZ~6 Tm ƨBl9ftrмwwHzBՀXI)ky1 ,]hl,xM 7?2JՄSjRJ#l!q |7>/j T˙Acۼ:\Mh-oR E`Ȕr(=ȻFr4s{7X?2VCM;oTW`:9OnS7/ަ D3܊$Voh$K4r™^_A gS |4>[3%F q~q|YieB <3s1wj铺E]˭*9m.D~D (6ee7?,{1SAYx?!82i PϤzyy$MM-NTUmK8so`rۥkTPy>s {u BBAnH_|aw?ћkZRZ0e}9oBLg5;ĀU#jz0xzLϏt, b^O2.to/Fl"Y6ˆQa^?"\+y!RQ!4$*jIV!FrY[Q{K)OB4H[>i#ϐWǧ?k0dSW>*EƠ ⚅ޢY&N#'7.M,AbAݘSlBku-aP j7E9%[=fH"+q~1}Q;G[:(!9ϩO:#hX1:Q۰Mq] F![7UliNHp^;=j-wSy09Ov`Um%k*y]B%ZPMcÑ,a`E'/5:2V#X])|2=g4x{~Hogm!pZ6#/^h[bK=ihg4Zpd.!ЙĀZMѐQ1TT6Hyten6cO֤2B(6/t2ƒ}r^fG,a,(l6Fi0%s])-ǜrmHg7eb=Aأvե&aE*+]eEro%euLWqURy:.*$OF7NWqxbEd?D啒-h0Jk ӄjF\?9nJ#{i*c}z>SP{DŽqQޏ3n)H|JSo5B&20Fpc"4(%Z!gy|k<:6)}Àvڷ2͡3߀%=]iVg}YT~ܵBĵMt'R?ߜ܄ i]vg>em=s;ߎίcgﵔ- sMRr4Bupu]U2Px f/"pu[D &)!Eiocp^{Ѯ[C]i{,^RH2vfGaM_z։ŗ#X]C[PPº+c&eL1e\' &"%[$(Da6K]@̷UF (T6xש̏b&Bɷc2wXXRiQ%wr.¨"aJ )>U O2j`_s7ܕ-|jˬRh ((/yQQtF/Rpq C!G`2kuҾ!8mC/ȝ9|clMȠ@|=3I&KOSgr]ѵ--<ʍjkޤuE&x| |OM%iN53@p|zׯ)Yb:{gYZ  Eb ?*#S#HOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_SyntaxPIDE/markup(* Title: HOL/Eisbach/Eisbach_Old_Appl_Syntax.thy Author: Makarius *) section \Alternative Eisbach entry point for FOL, ZF etc.\ theory Eisbach_Old_Appl_Syntax imports Eisbach begin setup Pure_Thy.old_appl_syntax_setup end m)#S!hHOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_SyntaxPIDE/files~~/src/HOL/Eisbach/Eisbach_Old_Appl_Syntax.thyq(#?' |HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/messages7zXZִF! ]·Iq n[:|&[zY4<ё 8%ن FAbtIP[ībA{^3;Ԏ(ȡa]K6=]zt8[Tu^jy'6-m~Xfn[4%[OuޑT6Az嬬Xp-_!xO݇bMW1Ťu`߿/qj}J94{тx=(`_jdC{9X[=`^ql+\Yzc$"~: \^ݱgYZw'#?# HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/markup7zXZִF! 6] !M젗OFK?mVJ@,3V'%)Z5j-N\xxpm2s 96'kykt>E=!@POԜV8GYS)Ovwd{ߗAggqsڤOB1sM\Ж$iBq=bIx9"4[3}sy.:j/bv̱ޝijP5Ev?ns]#VsRwzk%q{S_Nu (RԱgYZY&#?!THOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/files~~/src/HOL/Eisbach/Eisbach_Tools.thy5%#?' HOL-EisbachHOL-Analysis.Metric_ArithPIDE/messages7zXZִF! 9]·Iq n[:|&[zY9RlhXba¨mG"icKNX jyåtIXOlseUC29<wG?S[@͈Ih(p ƖI^G!?F2h:c?Y[6?!P~ @N6g ߄k=J3m۽ YM פ:k()-6Psfd'U*W}8=YpAycnæC3'Pa.`p} NQԿ uIGǕ0gYZ+$#?# tHOL-EisbachHOL-Analysis.Metric_ArithPIDE/markup7zXZִF! ] !M젗OEG'Te@ږrej s%G- 5^t-d#~ oo=x)靡f2;.,Q/q/ s$xe3nJ01b 92Hn~ ,Qг( TyOzWGZn6dܻ5?X6Hг)t}m;\x F RR%ܾ,bPPͭr½70_:w -Xl=,ء+ z޿vūEy}Iq$yxpdMNM+' { :mR؁GXN0m)_Ҵ` a }yؖV^葵Uђ$J2|Pp@4FCۉR>im8Gܥ3?UMnؿ1t4NrAnzH,-lY>\ܗ! ^N+wQ9[ TR`A_]ʲ=2$dus ^gj_E=aRka;ZjQc7 h'+پ0Dہ(]}!n6ZzSP8(h;$qSE^E.7 ;?q%-}i࿔$x<%5r!wRYWlR(]7,:L?t84{ =K\ 2.M*9j7~= Qk-ǂÐ6CCrN xn7?)-Wm uBhX1'QXI )ܤSxV/uPk) $P鋳qJTZ3CBkfsp HFgWkBtZc{TObb7?sWQ_`Ho?z(\eWr'Lp+1GzT^3gQ)-D.ˣsFM+9\"w<͒C]4&#>O0c\{s'qwi4%!X~аvb6<VZЛ- +pI kNxH(rnNrϩla`8OgEq:}K<78;pՂgsr C㐓T7Dg4Ć1\o7p+O`c!7=յjH~-}un%imJLw|Lq7  Y9KGPT?0!`s62Q p?P UI/[E*8I=FޯT(<4x{-o K(Nܒ!QyXTvS6jEt(`en6[{;C 6P5-2 x^> ($}YO{2'RdT+v352wS тwBGpj5.,ݶ4U4VwSUۚu*n3:1tzoE0Cgߕw}Z@C-cygJ[35)hi \PR`_@9du;'2rLC#gLč9a3#,fH`G!%%(7ˤtZTʸX :IWa ,\l+ƽ`A`E!H>7Z.<=]P\vOa͔'߽{بP -0T챜Z= oTo fA-mcV=W^/Ycu\5ZɮFaD ֿ"4(#' ϛϮLT*yWZL?I`[c׮/m4peR޿5%#Kę gA 4$.V^v9|U)W)GTҞ},8Z£;0ΰndf׳rgTkR8T$ /"IhV"BOhVM '3׿a_Q i2_'` \r!$y{JSKw%oh=R)xߺG .`+J(0UbC2zɃ Ɗez2t\.!8,%v`@0ƺ/ʚd(EG _mdWFrpAд爼j砚ڼ4!}.CNb9[CX g XANM18C|x6~ "=Ӭ4go"d bh="eS YH ͜ηƐXPzq2$ 2Ka* v? PrUrᵚo"<ŭ&[C7C8/- 77[545p'NgmJՅ-J(5*b?0yFOW;-#*5LN/F|A=X]XnA|w.(_B6gi šducAXӮy(D[KZ@p$#>ꡚ8k6B%!{b[m`Oxw~h40+|,Qzi!GR=3Cޠtѹ4s;:1]x9Irv#==RW zJ7wAe\skP7I}IBh^N37ǏqTqq 9Iw!d'X(-- ?] &‘[7Q4hӎ载F ~ lrDi#4cw2 Weq;Vt݉ A tauBv{3ߕ6z}yh3(0IȧWzH~kMGkN+vXe޶{!2oQ@YgP f_ k@p_/,0$X݃'t o8k)J8-{V&e*:N]@Ƶ8^܋E'3.f_a&mA?#9b҆8"pIuATN A3:r6m @{.d(QMJ}RLL%=|b9#%}&&K672q,τq_ҿq?%hC(R9I-3ktnyI%TRw~'q1TTH'p.KnF/#AUi0Y#I‡ =e#YQv1BCT?u`184QY 'q#A$ƤJ9oB8V<6өBe&j{)sQ^Ns>0Jw=-}MMx;Z"n8G1,1DHK0^b-71 ]_ԕ0SEwQ?ՔeU0".S*c:NvWK?uJZQp޽&i1rvd͖,8l1,,ȱW& 0g@ԫȐ:5>O{U,28DfN1yƆە]&NJ!h@ttQiH3pYrr[Z+Og#lFzˇs-*PqAɱgYZ hh0#! |HOL-EisbachIFOLPIDE/files7zXZִF! ]? O=%4rPԝ[Qzs|b48Ypkܢ34^H)f$@'o]}޻K% W>3jߍiNVҕ*LHqӜٶ+/HiP#]7И* <۶v/`؏YflgsgYZy/#/' HOL-EisbachHOL-Eisbach.TestsPIDE/messages7zXZִF! p ]Άxʆ5.f-9 rq9nth,,bО=OVI^ZYL_T]ն[ƀ*&Xo6֐-~n^nW~yjJoޝ #T7\r,obEy!FN>Pgg]׃\sdi RbSӾl"Ӯ)0fu!XvPJhLVٍ?A~@uo2-5O09GeK%JU _]c'Y^`v]L4I8zZ _0XC-CMos Z(}%Q*Gd'5 &vPc--Jb̀eB <S|Q 0ϚBFȁ5TNbǮܔJtT/aIhG*O8Ezg}p|qŵ]hZ KP,:9hCY[O=i"0]T`Z:RI~o,MӮȬ>L84I9q!b M!Ua͍IDL$uQјm*]܊rgr[:TV& K pT&#;e*.М"S|ׄ&tL#J7l8#-|ͅ?鰅EcJxWC$ KqD=ȣ6CWZ&cƺ^Abc6V$(  "C'Ehm.mLeW .PO gnL>Bp@.(Hq,DzCDv(^Lf8# *N5 c8OT[Uq oOr3 N^b|xKۇ" noUnl|ZsVܠJY Ju{Ұ1V3YʄȪR1Mc+dupbM՘8p'@$FX~e#v4?YxY:|<'0Gij#hNDʇzW,oMZE&BGZ9Xi>T&l~TMAuES`&il>;BQ GjsFbuP ,ĊĪ?Hnu/,eϰ*VFbs6'n]HD/G<4pjK/F\ᾙ h2?|Zq5%@d rJ"t_x֠%s? &/+*h=%hg ˮ 1h]'3.sRg,1 +?>0^`Ibfx61@C1Bdm{&2j&xMq,"#0kqbp\O[sa^J%eybG/ꙎYs%|J`,C0-Z7)F=E' _ x-q;Xl*v"jj7ALG횤cf W>FD/ bV,7Ik߻ҫ* JުV=\ƅVpk. CA::M)a`"D Ql7c%\Pe}es |抬Z*7(ht\,S?\4(H;,%gh62 rn428}*(wQ(9loyzP5L')v;QiI45R7 "tKSWsVVbzqG#o,HznjaH0QsE:eDy`[р WQs%g gYZ #1#% HOL-EisbachIFOLPIDE/markup17zXZִF! )] !M젗OFN>*>:%\ZkϠ^37(IHܵ-kP"(g9P& o1I>f͠,v2OZ) 6 OAK X0*LIŽ!oh~c㤭t~ 2#ov$YI:9n9(=]q+!wa纶1NRO""XCbc옾}[ǹDiLy'!tw`8xXgн-B+-:9vHۏ7؛ɑwM>^ dg0D)]9uUY-ð d_F#AEKl 0(幚ۿ 5|^(I#ZF "R8/*Ld=#|.&xNCzj+Jd/r,U@Lag*Ed{SD^C]^ BޠX{E[p-ˁerRï mxsij3JW(m-}F+mk5+4[,0nuq5aȲppE~RrpjCZ٧IAsԜa8|i {=q*D })es rTCv;Fij&\wrE1zwzin"DsgP~^wR"xo~@^n#.,woǸ Evbev +6꼥R`:NGz޻ƬhqPT՚9If{wObZN6^*9o,K}u!2ZB]I_PELGUoƤ}vr8j5=`~Cz]u9\o CBi0,0 |}[KPWOڴ|q:wi5-2h4[CZJ1?c3{"|$aCm+ʜu>+UnK (Z5(@6cV^E{Aiau4r>ކ:24S@BP#dB-LKy6ubaw[]AVՔ kPly Ϝz.t_PPKTҩ' pEH \vש\Ef4^bXJ?1{Ft+bhx^bhV3 AviS}/,"|t6*ݯf#r78{3?*>ώVMZ%]$t[qzYt5Z~oDx.:yM[]M!S 3h(z0)c3Ѽo"hi4&xnV{^F rl0Ж1:g{jN_lvK7yDiAS7/em8[OCD͌:Д]y"7F=I]5XFQH`֋>уo86:exgş0n܎Ͷ̷&vahݢ*֢+AV iJ"feњ @ |@"^;LzĢ7R- CxuC3r΂!@{$򧬒LDu TQuBuq]W+BvTZ| F]\DsM0NiK;,c&&2lml 9 bZ\_{ukh/<7*e{iz@kV+vX,VX/?D&'ٮZQT?.\>CIE`4, M.UZnU]PIzN‡KUtanL)Cgzm/4ץVo˅b&j :}%hNMڕd77H"\㮎~nb1= g8N/p{rc$m6rg-]r;ǜt 9q}+VgNɍ)FV`mcE|=شhB/BrJ&q3a!4OŽ*$1.gZ֬{`nDso+ c>䅻GFZTFF-8-)Ts ޓU''́軙*,uNFM^BN"li!{۩Na QO/sң%%f SDWUV([)7Hv3xOp9爣;5ĹM<頭~Y='~ev:^Q&#̳Nr2*ia."ә U1^:OOJCam%Ӂ,0"3vڀ 4P3,rIoF+ĵQ d_Q~𨟇ypTL Bٻ04y<>/sTGL%.D64 `㈬(M|#h#"LL, Ζ6"e'lo>,Q:Bۣ7#mHtE1d [Ml;X?4G'}P\Yo.里lrAHU {tt;1;ǎaSjgYZsu)_` ,kSg|Yo0a\+ ~Oց_&yqd9hdQ =a+jbJ42Oh-|Sv;\-fzղ$,T B J:8\nѻE0v@oRā걢|OpOkphDm,P ]K۲'_Afm)*;Qvݮ`M245ྼ͈>̘}S`I~/pQTB;qJR4݀uK7d@o(*7^JJxڲoe%tIgu-λ A#o' \hO:!xtY]6g!4=eeX`a缬 E "$_̻XB h6"Wя)fQoL~sr+sNK܂Q}nZ+$8^M"|z{o^?JUIVu[fּST r /aP1 6Y io?󩿈0oK0bu)ab x^ W}Pһ&vpLo&1JZ {nyD4i;rFYڮ =Mm1lyY5`TFL3Au%JƦzhs{ځ7onmTV}\߃cWhrzsVFqhPĥlj 'wVpA~&~{Tɤ #N+ƀ߃aIdfn&V1c=\UwE\bOCz% j [¿xv4n7"3)l#FziY7k78҉rDRNSks'!%, ņ©dIK] PO{p2z%mo7(LtsZP%C#s;G:QLF%9&^=)w5Cs=O0@kĹ :\W؉, ɨ>4pڑ Yş?F豕|tlK05#cD] Ugh- vzK _/ޣQ =F1.wy1Qrh Yrl( U8pS  $l[O[LjanC aiX7!V{֕%>gOwgD?Eb _qדq{kH8CkjjKA]kb@Svh,oX~'%wmo8" jN_# (b6☮s^gGM[3CG^cBcSGj8GGѡe(RYk7?C=S_D_Gj};>pT Qsmʢc`1w!ã&&WW1l? xFUP3:'Rڄ b?=a$‹1BFr?Q:lx84[/8`E;Sj^D^4cˡ,,)jk;K6K `gPmLD]!F]`ll<(3f41^o_%2s^}),v[,1mI:v2+78A`޲dYhgSˁĈyV`|N|S su/L8s㘥@f׺M5 iA\0+w;?M[=~u͹9]"˓;P7q~[2":8$]=3sk"%#CyQ;"nu~SQpAz44Ld4 \`-Ufھwf[me1Q; x tF8n-i<g ֶ`!n]M\>jyL=;DÅܒ'2Br+"w-\Vz:zPXW G, ֯LL9=k}q=Fk$ۇ" :Bw1 9.;wϠE]!lw]Q YORw딁)@آͿ }%3JK'tn#q i1xsp'u ҩt#7uiT#XCX,_=Ȁ+4 ӯIh^YꔿNi T=v xJ58%cG>Y`VrS(ބ,qPA$LI]0TF9 Kl`D̴l?R%5L`~ŸQFf BN<?:?Vb\ѼRDXdʈpr+fe#a3wR$HFE6W&Oq`[WeO\wC<1:͔Zr߽!g{L=~Av2ocFu-ogYZ 6 &6/3#% $HOL-EisbachIFOLPIDE/markup37zXZִF! 2I] !M젗OFM'8ꍽ~@kXA]:p-ceKO,2YW5XhNB]t}ª!&p30c.x6S ʅdv(#ҐsA4X(`Q{`K 9@)|MY\iSoy/3 f;q׆h3Xɯ͍=(kk)s#0Rm qζ&YyKϵøA|tO2P"ݑ&ly\&S#2;W\ U^tv3˩ )rBぬy1A=Ez JǒYd͓@=XBMer(JC }UТ~<ˋn6pP4O2#% dHOL-EisbachIFOLPIDE/markup27zXZִF! Jdk] !M젗OFM'8ꍽ>7|7Kc :K]y ##鋫#mSxoVCOzpj`Gli.(K.gOX'Rhаe,/! x>l Cʂi3;lw{5^,<Aq};%.MF'GN"Ήx3P$줁g&c-tE` J@k Lj38M5Fr8 6Ӷ"j[g:o^(eG 5 #[ !4çV xeiN.@ FU 9⥅#AEMAxPRm|h!=I[ةl5%NQo9<1SDqXLO]ێBT20ΣGBH@([V?}A'X_oI;x~ E gTBlb%M}:7*2+)#d?7)Q|'fZB5mA$7xO 0tUFR(H.gb]B:`JăJ 2 s}]F}G:b)rR/KK2~V+ӫc=4Т-U|F:#+;1l;aJC\\jݿ7)TCy6dxUG~ 'y)Ŵ,,J"{ŭ]BK (UT͜<_#+Afi\]_>8tĵ ,j61ܚAwKÀ.JD3\ӓήikԂo3Ĭ{%_cE@,Z`x6pW` R5B4ʳPS z"w 7tYH$]ZƲ(܏8%$մ$Z*80HVO׾1hyD.!!֕}?RZ=oXpQ}ސ52f+Ʉ;Gmψ21d/j{A .U~S%((Dq\nTYn649F;4C̵7;#Fi"/n'|z0|9p{@?@ru%ֱۂI 貵yhhNLYܤV\G8$3yh 9HdUBd3^DY<+rkvw! SVENќa(D>`&yjf+ɹ5|"НfaK|W~9_"Rx&<խ+j:o[gއ Z :i:M$pPzFѱiO.-i?zt>7MNk/yۄW43a~E`S(R!u N^Q~nPNv 0g9g1TY]۷i~HP/8>UܱT[; 31b^ؠ1F_a2R%f'nQkh+Y >~_%ns.DPhJ!,`RVFXl( 5Ru'R~ Z^NɻR2C+-Xo(-}Z> 3ACer$.)jl~6@/p'AimEn E䛻:{R)`L~գkX[b 7X7l (%Qjڧ˂q]dRךcWTacʄ鷟r@v蓶QN_{O>#X<{5&ac@Xpqg]Š1Pi njkBp{)PahԞʥS XpB7mGQ8qVT^0aCpI/q+l {J. $ j*tI2\M13тH`Q;X|5NzRK*XXY~9)]No^d&!8q嶊>$6Yl;LN-H{*$AsJ9#|BuIM6L&lE~)@z}ns}kphe8KpdrGi jL{2+v*>Z#y5X*HgHnY26Oa]KqMy |8W¥ey%~NP =8*Kfzu!Xή?z˒I6Gؼs@l߮'HG`DApYin3#M\tj9ʝEaJاjwMt8H9jMt oŇT딿8E|~(3Gy5X?zst;x}}f*]jV.̍xq= kfl弑hډ+.M,=%+E _>g "-= l*W ќ]XT+\ p*ZW`N+l.Q*{cl'~{Skw}*!gX먫u->b@T~WZv :&nb,' \>'雒'2gwHWʂFu{}@Ls}ZN<3,`uqŪTt5YPx2`3FB^>|%`G1b*. #M3sJ/xo`YĮk NDZ; QA7 "61YC;/z۠#"L-;JB4ePBAH sf!^#h1J 4kݤ%WBA]wh $c>5N?OcUJm y;qBSնxKHY_"eg!; k94F-kխ$'aAMRRhI/S H)msY5T7Br7HOsK>DtsM,R]%@)3FV<ϪZn6ó0Bgoȉ}>uvA!6{XH&X˧3̸ ~au\GYS>E;}Ax E7aO֚`KѦ2|6JyƹH(2ʫ>'!`zWJH@@rdCb3C?h (~נ\i3RY(/Ew[V~4d4{C;ID*N/qyl'B,v-luLꐖ|uT!0d~Οs3A{aF^Ҧ$B?׋atq}ODYWS遍{): ğxo9ꨗ;W0lq;z S;;-HLDt10D.taipv5dN3B_Vb.lȌEM#p'.:b<y3*)/4IR6.x^J K8R[&`{+dE/XX3y/a{>le_or'ɉ&b\C.Xl(q#T#)0B±.b~%( *%~=!Gk I\ADGR"mO}dI1Ԝg؋ dR>&1[ZFNSU^4. кlXO,K M@r!d䛗u:6vMYOf槪NiyRsѶ~ o[;w@[dbg,e(q(\{ѴٸA~Οye2bZE(xJ3kqpp|ߘgt %d'zmRvHl-5lb\-W:9-Zsx+WDFs;8NNjR_z{eW{Bn8B_ w4\`{gc{CCp;n8zɺrt8/i~d[dI0An~Q-6Ə&20]4[pA]htźg,!V%:^}Xo$T28m5,ߞC@|@ ҙڥt.&"c6IB큗8-L_OǖG]$;UyK.yOlRz5UK9TEe3xPk)xQL, P"yIv|ɕ f%NѪƔi~pB2<jFuB,܎{ ) 2եä}mJe%)48v, t_dLFMϢX/ܠ._kae,$:1uSKg=VKv|ahfn=Y'#WV$R6|IXFyQ~޶KJŪ35&?󽫹-+ۊi0(s.z|fp-u`@kA$_],-WrV*瘢[E@  mVi2,xV[RQ \P2ǽSm KaTu Ԡpe^}05*{J}C"*-0E㑐֏) eZgd`JWq @ ,PFpMC/K.ΗzL'(52z0"?x?ڦ~gYZ ..O5#% dHOL-EisbachIFOLPIDE/markup57zXZִF! q k] !M젗OFN>*>Z#y5X*q2տA.&}~o9y< }$Ş'=F"UmHd4dE&@4['=~)]4nJtƞH\svf%d>BbF UB(: 9mP(+RWx]&9oĦmeZfOM(Vo؃q@QggkV!Bݰk+XGѾk<[^ lS- AKs[l+l I w@cDL=>FſI-3 x-^Xfu0A~Bx,bޥ(Lbcĵݒ5ӹ PEC}ª(j@vַ{_ GCk 򕼟Fv,P2Qt0oS2ʩ 2{+a(Vt ئG7Ƅ5 †_hn]xH ܶ䋑]X'/az#~Ű})MUHP ݊qyW~FX;wbc/WUU ~fu+gCe%}9L,cPN"u+)UF~Zϥ]f4ctxoɚ37妉{ @\<_jl(o8 p"O F4@׆YxR8Ds.M=YYR-R̘.bƕXH*{wgıL%-' v.?Qh ijf]=SZY s?C ΪH8!%C 6p}hTb[Jܽ1tko wiI|Y2} "LYF cW""Mj ϤLt6Xd:f2&u z7I\1kW.մ,Ix Wo|.i|$F`E+N[2%WL!C-Ndx+Z P gb Ĩ2' u嬓5_V3gv9`E o m*Y%K~F6wwNh>ܴ%BF:tN`w)k$2{(~cB&_b8TĚp:Z-g0~YwO_UN٭FUI_h4޹]?oO834.chaDXbhʼ?^sйyyBH2P2(0< xp]VIa>|-C2$AɮOj]g UطcL÷.EDʝr!a.=ڴ Y@l([W,XW4:+QB[7WZA JѸ[&d`+g7`N TTaR fRBhO stIa6e%9rhe;s;+0H`o@B62χi6;8V!.2p4BuWߖ OCy]zDU!GQ')^̆wC -HJ$7@EiVP-IJjˣw0ޢ7LEd#jĵe \zX'H2 <%1)kyY=뱁hk7aw#b2#"}2Nx=Q&5M;"ܠ1z5m.`+=~hXAK2_%Wz&8^mN*>Z#y5X*~zԌc.M섵&R31Y~a901z0!;!2֩bE ]33./uR'PNQΞ;u'w1x>%V!p+2Fe$S[PȊÛnmN(_#҇} : Zeyk Ӈ/^?MzX=\C`( Z>('do*Axc@:N 4 8=a6J\pn5ds~nӶvu_$?T۹`q(?ӱI!+Dl_,cަb} 9߹#SزPGRy\LG7== 3^|x#X(+A$8KOSE(YMZ,Ih\ZΔ<;5(HxP5ڞk1F8./(.n]F\lao;d|??deCl61d95YlwQ:J2b,Aa}B.Xy0e >~5~F:MҎBeǡ}W56YZISء:FB<;jԡ:Ѽ "TA6>9@Hn6[2!f)  S>H{1 `OU|f3gwGW&C=+46/p`qw Ӄf7MDPI,^X!_ݪs/›hfA78ncYÀ9C+7DV|N!UґK[1gRy˝@%RPYOB,;|Be6X&N= w:2=J@TB%Tyȵ_];U-ODvutc˫Hhy"TP+tٳ/p˝k$-,P ~O򦻤_&SXHȰ691W}/eF@wM Q~=qtd:yl {#ȟWt0US u/#'Oƛkhfs/ ]9jDĵE=L8X;#|Ng!!gnUZ35h `>gͲLem?o Uf(R-G@7ސ k"og(Ka,t"L`iTz¿? /,y%n%M,qzT ھKFj'EPd0oVxs'7y ؝ 'cgçPބ8,rh_%nF5;2} *YՁfB0Cʹ$/S3 LjʈUKk%ɈC"9 UlP:FY#*7\~o=LL;+%lɩF^Kk ׏FFƒ6yĬs=я9RA29M/{~w]a0J`ď@OВ.sגYt i a"Oά)m; @ۯL.lGN廣_5f7,JfB1q'HBDb:e{;sȡʩ-t3?D> LaδD7+TZ<jL )dT >I~`Q8'/ccql߇Q۲I%ST^B]&/GsL\*'I< {r}SAb|ׂu6ut?S7ۢ){ܯ9_ʜ[6;1W n,m#ށ#_/lyЈ[z6h`ru`y-MdnA c@yM^R5n\~*-hHmD61pC|XduO|GWVxcs'%).[{RЖJ_d M00#V2cYj/w.xy/GX~ 1a9\C[Ԣ 1pOEeO9ˢ\1A>~#ДM+8a7Wgx󲌴[`(RSb#AK@wPRn;/Ɠf mxzWO(Jٰ\ȑ1Eӭ:F޷TB(K*kA x!Cem&z߂BR g`i:1ȚbXfG? o<7CU "Baap-h*>#^!:={q1UCݏB=iEStlL$ x|M/ѽxw߿<<88gJe55s]Pih8FPjvUY}^ǹ7d9f&ÉLi)YQ}\dD =a%j]T+E Bv\BaQ]~/˜ ('@?ce':lZDZP=r怬T`nmbzxl0 vsY鼟԰D&۠'D^:ՙ"g\PI /rf0QLJM^X(ko\r{XMB,`\eC!+ F/?3i?Z#S5pSےJ\8 殴(MDY4!dmd\:P#㵗$f6F=c`B0cؔb!Y)M [}g!E.Ѧwje0l9"Gs@Ґ5U"kRWXMJUH]{6VVӁPc=V a+v_݈v_%a8r zFh7P"&МJ?ȼ'׮MuU-/FNPeoڏ:EJrsÜ K2閤1z^.iv[k%rFY|dO&yعCFWOdȚY9{?{cO{;Fb6Gc5v ۣ43eǣW0߮о8/Ln$i݉L_~m /ne| Xr:Kp9k&W42ޅ6JS~_`;a= emBu"|/" _U P4ʕ6~i!f!_$1$ -,e;oF/-zUe0?ĢFbB Z|/j)n$M0oo|,s eJyE_іcv)Upϙ}xz& b}Xv^n*0 tNn\ƼW&F 2 `8D#$&I&UtagQ_sD,k-0gL.>oSv 20)z8% $k LnEă f/Sf"R٤HU5綴^j"r1O f}rI8ĩPD>6ޕ=M׏E7HoSjۼ>8,yBRa^͠Z_<ֱE HZ͑DbhʴYIPaJ ԤU$3}nb|Bg\ }7EE˽ȀmZbA-0Tɷ?b?j4G6}d6{L`eu:Tcp?*^.q'J'X]ĄBrR_܆| ~oET1ϙ{rTe(rSFO_xy 2%d'c`A| 0ּ#\Vv92yqˣ*˩H`:S} ;J_Ey&Λga fsI(7qcf٦p3vA(E+a]'# l9בW5?x 1 %%fK}g/v!`!\QDkc,IbRjbPE^%>5hk:u;SƇ@'t7֎oFm M!´kҷ[\Q3 \ƀRR96+hݹ}tH@aXcxRUOyq' (cwj*6 %uU^sB kfOVYw[3^ǿ3^bRoUAeěY%%F_:\2\3yaF](\U5Æ?Ê3v]hr O uy;_VɉDʼ,U3"ù9U,-)dΗWFe8CM._N֧w}0=&eh=]a0PwcXǘ?˾mSA 5v, ,7A%0Ԗ7`ըfBJ[G=c~"+r.N !֟/ɓgf^CV8akR4)Uo7>yX7YsD&>VE"<^}9Eg.* ;b2XYYS( 1T#wתdeݘ鴺\?p$jYj_)4~Won8#6+`AYݺY6.1WG0m^I; %y(`1W98)*ګ}blǚ|m:kFj *-(c wm` c? >{@zzDsP!Z=Ѧ!Qa9NTzn}B 橡o[eJT"qDEf͂=ExAcD@ 8קbW(Ë<63rmTL/CC@jx: zZ\/KƣhC MR5(} 07)YtR#9M܆coפCgYZP:#' dHOL-EisbachIFOLPIDE/markup107zXZִF! #] !M젗OFN>*>+qq*0S?H^ZΜr-GŪHYkn[0#WGMY8t5X.v]%|7$#R!~53_Oڤu,A2VkO-mٹR#oOHC`DT|0oRPU$d ۷t!8oR)eӍ}8\I< Iݹ?DVx(vH'$R~h뢤`:ׄg,{/rуvLS(۳Yy  D(zXysVGBc[#ehRR-˓:e9P{tKh.2xe--Zl[>;<*9?O"aJ84tv_1QOZUݼ#I1makSAj*}D`z諐   MwY93ּdyy2.7[׶u: @'zDE|Diߪ%`w .eII@Z,x-W) |Z#-=[ u~Z!ڸ|:0乬`>~7Ab->w&Ikk{"6{rsAyq Lr_&#/~KSMFÅ)-F;̦[M#e.=S/_ĻpO~Q!J9 ;$_h2{(0Eͯ8d K> *!oGW^`S_՞v!|6GZ-qf6dl:4Vo r׸Ye3=uX그ʹR}4{99Ƭ>, K] m/hw2Naz nkNŀ߻ ż$bkj7رrv9nxXPo\7Q'iIqWe< RgTDjIc7WbȅZS5 CdxȩJ -tv+jkVčL(]u xle*tP@(׿%TM\ Mk_0ӌ*7:㸹X NOD>Ny'8ڞ}sK==jtr:G%UnD{jeLF1V(EB ->$evVpq&WKt|h_?}]+q}QL4hytd|<6uJ(nUQpMaW㸑ǁx9R"Au=OXNU=|*IvC]Q|a|*Rh=l}WrU][2BA_j,x1; BCRǖrKgZBwQ=g@ 0Dj}!NyД)+v3o⛉$ɷ*>K@(bGMeYUPia )xݱG`%Xgqup`H4s1vNqkxlhD)t J2A a?̖b 9H_rkɍ>q*b5 $Mžt|?T$֋z$Ip ;t9=H1KϞ|2*_Gv"{a wȇC&!L{t^9rxh/M MhF֕, _SRbNL+MLO,XxvA3/b`"2ʱB"{˸MW#~r4]AםmQĘ}:Gm3OEWtZ1IeK|u쳧P> +3,gboF=Ƹ$OFW5V6iY< ͲH=:?qkJmsuBkHf%9Oʬa)7UeIq6"ߙ#8{pvB8YGYG1* 09A?w S_yI{ǫ7 \r . v SZӔ^ iܤo$$J̃Rj{eIVޏ֭+:d1)oQ>+^í t*fkc wk1'ۦ )gYZ  1 1L<#' \HOL-EisbachIFOLPIDE/markup127zXZִF! rf] !M젗OFJ8t)t^t Zx|Y1Pfiޖ) ~VK$!GBI'5|@QG˯:lkA,/o-a*ˤ|"~+!+GE'n:|S7z>sX.=ٲ>d; J4"c,)f~U9|ÕA<+ oZ^SV*8zM9nQl)LvKcfsJ@Иw+$RSe+ Ԏ*Xm\bfH(/KbszzC5_\  ! 8n/gPI=xP7֠?5xJmXЃ&YPIݴup#-I"!zJbw0[e ul* ;5oS>ጄU| Th\m؍j|ko7ڷ ` Yd>lM@#.UdNgkd{c01XuwErBhN+O7LLi`5J0*-Tox0ɶl[dǚ")Ŗt؈Jj~AЃ|o0i)&nsFR1gJ2#F%>7 ]Ip,J ئ`m4_`0czCuڽKc^ȭ-.NM?sO6֘rel̨qFkV3zweAJ1˯s: t"< zk *IP'mkZf%09/;[H4˧fe6Vg(M!'Txh[c%j rZjվM.&i +Zvxg^KZ UJw8cro71r;h6}M3uZ5Ya}$ܼ~wJ{YUrU#J1fAM CxR΍t' Sѻ Օs.d` E~@H[BC|"CM.TTܯۇ9> ;z}!cUڮQ"']d )Dg¢ -j A`C ?bZ*FK|O*4xaj/f!Vvk+K垄 빺i%Mbd~y, *Q\zCB BfgYZ?MsSKr$J7öҽXϴK]EX͉٘߆B <_!ގO1Ђb XB232[0XwrpIT͆x޷QNŤ+~]KY`BKG/*sp7_.FR I&ͦp^ olla2gMvb~G&k9FpBc{Gq]k YuU+q6!UٵBY Ɉ#Z #ZsSxA@Y2_m{zSX{팮L,YvU^I#څN⟒OWR_JG?8}Culu]dU l^hǀ݀ZLܡ P{uzYQ<|K;0Hb ?ҧó*ǵ p@^CkRRQgNU<껔6Y;o jUSjsߟ]ad3_9+mer޾HR:Dždhve[.:_h.4YO=ZEƍx)cY` oV.9@YX!$Ly3޿P -X\ye `-H;P)x;yG m'F~KHnsTW8q]pC󋆳O](x]P.*o٤#w'|&A01|,K1I Y^EoR"=up Bs)jfUNML%;WqW0tkPo]j@xRe,;Lgڲq,0<`{Qs̓YaWVVfo81D{A}͒AbU!A#=]B ˜h [ݻ:ErztKӟYu!VJWR&KFLִJWkà(㦬C{繚0)`/uwzul ضYO7aŕ+פuH7龽1\礡j#)鴻"G:ne-Q+HcH4 ugeS9?rɤܠ鰽Rrekp^IfwA*\JƎbR#[H_J*q)O! $nnjzjS;) TFT D"1$%׻QGm&'oS'"{ʇ]H]&sWvڋ}Dx3_D7hMpk\K,Z>Y߆)1H?kۛbʞn;8paZjHM3IYD/Wgpkp g0hzr3Ya 8LmCKC>\q;E+s_sVJxw(8z]pV:QQXA#N0/Ita TOՙcGSg03а`߀rq>Wl57U'Ƒg~z ~% (p(p&fc55~%9|A1$D=~=_x 9up>MTOX13ԁ1 Bn<; MV 8ab߸FQFfIFz2vQ(&ރWL&i*v(=1GܖGp{+Pڎ$v"Yh4鿢> ZJZ7ކX@p92A$h`c,'ZU )<1_(j&LfK fl*gC( 0LjM#?rLM"p4(N%CџQZa6sm vǒ&QFbzVeLaanVH~%U/Z ⹸[.nSc;B1*r].*I5hiѮjoW>qNiKeUHcE8~21ZݳߗXMϻVIsU#誥Ojn:h0H皁1-RW؎8۳aW8;uZi*c~1e5Ui_ofp9\Sw&P*,3f@:d^{~vخG;6g܇d0L!eJ9.fRb?*y۵Og;{A12EvE3KlӪi=>`hFC:<2Epqr7iyE7܀X]j 7BJ /[rz2fjbύi,;va8qQ sqRz3'=yiSSVxnyU'` k+|>Fr5*fYVW;)ɺ4$uKj4b B6Uxb)Yf7xG0˦b#:Syuhg/Jpx48*RC߆&[%ڥ$lm r g¹^chE Jʌ;^b9[1ludpL$uJ!d/v}j"U"yMj6duAUį˴&iK:{@ + X$dϜ '͎ ٪60-1t/bSX7Rc!(p\K6Y}?G2 `-~47O l1ti&5 &l.&?} W Ӆ-+hqEP7xG5GR}ZHLh}V\) F,G;Brƒ4㼬kG)> &,5Ʊ{[㴃^RM2\cYgVnUu]=)l{fºːnR^x1]:B" D]IoCa҂Շ^id!wV W9%eq`k`!DA|YE!({ʚhCQ[z,O[H1R|>f b@xKZ I-ufے>›/NH!.`v]3 8#8*H$3SeHCNCF waJLd50Y`ȝYU%2L>ÃHQ5!1<KYW'!ee^+߾vEN,!Ӥr>d~TM UDK7qN0ݲ"VZ٫ 8`. 1!v$VЕ\ TH;nUo˵!:7vEɶ I톱KFاx͈-C0 VK9tPWO6ˁeΠOt~_oY{qlo Bgf$EvZ29c=' ԣL %VeLB꾒b,&Uօ7g[7ËR QTAGr/=6^i0K[5Q46/ȚTہTϡ(K^9nC}yP\nR* gn' {oCUl$`\@z nP1DuX4BjA lmQ~W{;*R^igK8i;ql\g$ރbNֱMF@c&_ݗN=/;y<2&QeMB?;:[MõLלB)`1yrİ: .y v |@7|:Ű=nO ICAw˺%|cGMDg8"3Y+`.,Eg@A{0c,`Oإ/Z$k֧YI߽[lu a 5X )e$N5 %`#6F*F$hO9IJ ᕀ5k bFEBjbCp<Țgګ.Ș>GG욌9$yk- AeEr:U3Tb1@sMftl{^)uo<%$kد*>bU\dpL[={*smQxd:>Ex[&&΢1м/rx_ $?AA;G+iZqN&g\}DFױ mEv߽'Z yhx~ EZCHKf ?fb(XAWjlP^JU;%Q얶 0ʉT`fe **H+8 !J)?J8ڐ<-JӫTGxvTXmp&2pG!6V%]xY/jzniX4MoH!ӗi^ȹb<~ݫKnP~m/nkE)O(y}2h{Zy6D\1-@ _w#/J=3^ @@!?rshϼi':B_ 3ǟa]5ѡ|fb8ym>=&hE=STJ4֩p4׏.!k{Wm%NSMhxgV%i q(zn#cG41ة\c ^d焉KP u"4e,ܰ֕e@TQc Ik & Z9HM6ĜkVWS9C==iInb^@K{e)߯wNޣSDSs"IOMwy2g\åɹKa0(-}(c\W*[a'l $M H1JI՗d=wzP^UҮ݊Sf u\LxEk ΥQ)ٷ_^']rQԹB5ݰz #INV?O Un*m"`[OajI?U.'K1F'c*pVBLCR56?S)#A |Z\*GERJ~34 ɻdgyx솥N(=>eoSe3DINJ-Pp7݂2Su-SB;oĮϛW^9] jKXW(ki t W3:V4gC)0N*HO;XRA?x.nk>Bμ u\1OsddӒTY}ï䯲_5GPL5Kk#6[@G k(T. ;gܺd@LBWf&b?hS$K } {w B^l(?r=VXqH:a X@#CA1E^έMu`]k]'?Uvg`CC^S'ȃYZ $c33>s?#K N o:#m2R\\= mEne?KdWtyDp/&&f0_l+aicOᚼPtd s}i*LM8s牤-JkETCF׵| Uޒ"'ׇkʯϥo{Ӟhh4ؤ &nv0y{2Qm0EGIii0)_j.X3x7aYe" >niA+!DY!?UкXzq:0?(;.|8!pD)1`q*%6dO>[{%q]"h~Q)Oɸоr9nС4#jU0 W.^-*LQ3GBUdf%p `0#\Vpʡ-4lgծ/ M!{l( ?+Rqp][j|afQO/PI(dݤAE87EtK )lPZ}Ҝ/k,c=PW1F,Azli7CwUSϩjF_fG۝&ULX+"R=c c8,)&vpzNuE$Qx=6\n;ACw7qGҥĨ"Vn-ʸ0*YE'8\_f rf;e\_^Ebs1b@ rd ".^5IЕE ΅@8 q " $nQ% E mUbLi/nH3ocDFށ< 39Ai4@*$YUPb >6J*ā :ܦL8Vǟ:xĔFX?a%hvS~Ph>{=2},P.i''rR75h*-`μ>J(8.0RxF3"CwL"?FTVSߡ2eL,:p2'=w!)7F;lF>'!(JteEn#͖ WB.zᡙw;?ȇL@R选?7\3GXd> P4o] f d4)XH)fν&S~R5rQʨS52+\fBYo$3jn2StM/?xB8>/)6aV>Nbؑ#FM3&5*DQU+^U8$q4=1:bև}n[08آqԭ 1:]j,JX"U 3cB.2wE 3>dc&?wC9,t4Ys>?)}5yI ⎊t #9LzͬRg烤FZ&r>Y\Q&:vp=il4- IwPŒ];X0[Q{MZ26VnTٍґ8c,GݘH?V4e,41#qj: =L7.8r; U#7I9.{/T5wl|M~^p_1:)Q= C9.Z?VJ &(_kS5G B/ 0~,î"{u"3' =Crzki☞$3h'!#JYaWg ^ؕDhOc)BVN;Uk6Z_bF ,A58c)鱗zc7x|qk/ kf96jD9OҗjJk$Mv 3Rumw,"O3sYIS-_h桕! Wd+k\nӽحU8wFono?&_^1'hƺ5­$A-ɦpd ӛYl66ﯿ b]䲪cBN A'l\#8vtT÷|_`S.9G8L $b-zkDq9yEӛr d uPv̥? ΄P~ bo%Ҵ q#&XQ.W6tFIKSaepv+AKO1]j ZA'[HgYZ  4>#' ,HOL-EisbachIFOLPIDE/messages7zXZִF! o]Άxʆ5.f-9 rq9mՁFTB#L7car#Ҧopl޸ւ9x3mkmvK4#OB 2JD=M-Ak2 y*ϗ-\q ]٭*u~ i)1Ka]f񏍂KM_@-r3%)ZC9IAY_&MJSMޭSqVj!Щ"g[v2$!Pc}Hޚp\&rqUr5Xm\[SHے%LOBQohό~LV=s?ʼnbف%mM*@m&e0ƭZ+/ $*k y| A?Qʨqëo\cߴhr>3QKh΃66)Zo9%L!Ȉ6F= $woǀHhC,| DIV+#;N_CɛK) >J*f2Tqat.ӢL7MS6JLTT^Jx,.r WqKCK浛@N&UE(mx Tw/^/RR,%~oR4\{R}ov=9<>)dHX(PdE1u'oHJ`Mg,4PLȳ,lys36&/Sd""M !iC.;8DH╍*Yz pPWΡŋh>۟?LJ2&Z3| _+XN{7@tO޼5#:QJZw@),. 7v&W8: Sa]^)3EّZ}Ty@ofX>B6+l