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=9.454cpu=25.200gc=0.5887zXZִF! ]ŗXiɟ{"5OG&B]0\A餳AM_e-|&mK~jet / ZZ-{F\ 5߹ʳ} z%#VpB9/fs-n.!a=˂8-v?Hj/~o(aG*9f Sá<}ٿg+RddTZ "-9b_ dUoٯдOa!%>NS:ٜjsrW85LɖY-!|g$BIkV硗2S0.jA^rBygXW׼rj_ybYhl < (-`m(ËUdOʶ:.ߟ*b TB0?y)@ Wgyp"Y;SAe+ڊ, ;0P}ʹ~A7]{{'pDZgYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰KLԛ~LغlSK4gX .ʧ@_B\l;Efjl0 PQ[+tsvOP %`zVolcS9pRS9Mi9VPϩEbeZNRurK A"1|~2Q[Kd5+c ڤat=o}/ .o* pcʸR/Mٍ gYZ7zXZִF! x]ŗXi%N b`JZp/Uz{gDsƑUkSRj袲giZ˲GX,g\21EH"ni$P3FXDvE;:_^Fj(qg3'y <..֤QVW ruOT}ǩ@C%6s,;{UYA*vJS @' +ϳߒlEM;m8N/JeSA+<:Ξ(-[7"``S,z|mMPZ_(i2qZ5+{M^e4j~(68I*44JӉ:QsiBVA'({g=U1c N]N[1,Z&n.)!̛^zהb*դN , V26;ҭSxe3#̣&bkx( QQ?l J}4~ Yp2=V!LŤj7$}dQRsVX6Yg4`+:`̻^; Gqk+PF_P5DV=QFVP 17GDޓ!xSP8&~{)⡅}! V0 VVM!ArG~q<7 ,ƥ.zHmžqƣN*\Cr17F 4|1eWxhsJ,~5 PUac.x# Aޭ)=^Z^ڧЙT܃16$y[62!ꁇHsE` Ke+X_$uJ{oZؠJ= <ɽqNh8OE7ĄSaC4 ޣu%2oӦ8aۚV!OԱAq[Z[z .&y++ri5{K7ܽj۱%ӵwrT3LBL*"%j) H}ϋrh8>!ZL C "S8iz[SLҲN{RlQK5̿DDJ^ JӪ۬&'pBE$W/Y(:zCgI Ioiy[)4 ե2=Yw1 mRޫ:nq'>Qza sW1ښ.)X^" سyCCfDTVl) 9dX3bM⋂~95Oӥt9PMevs{H> f.X4 XDFKɞ5"E}hR6?ӶI\{j1Ε.zi+1Vh5Z|;0͗?ՆUѭ,O0/.M\`5[HVȻ=X{:?!I1sõ#QGcA&Wٰba%0C.jwLѨoo\rSnd]]G_~'S[}e>ړºi)D(0- TԸ4bwki?W1XӔ#Vj Ġ~e;m o dݪG$ cŌyV&fNfVqhPewV1ӗday(R@}jż"V@(Բ] a: gYZ08284b7cce0cecfbc250d0d9b5af52e79376bf764b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfedfa6cda44bf8ece034b0a2fe9aff6ef2ae936af1 # HOL-Eisbach "#- 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# u         5! T   y ! & C :  z \ X 5 "#'HOL-EisbachIFOLPIDE/messages ##HOL-EisbachIFOLPIDE/markup?#S#HOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_SyntaxPIDE/markup4#=#HOL-EisbachHOL-Eisbach.Examples_FOLPIDE/markup7#?'HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/messages5#?#HOL-EisbachHOL-Eisbach.Eisbach_ToolsPIDE/markup/#/'HOL-EisbachHOL-Eisbach.TestsPIDE/messages-#/#HOL-EisbachHOL-Eisbach.TestsPIDE/markup1#3'HOL-EisbachHOL-Eisbach.EisbachPIDE/messages/#3#HOL-EisbachHOL-Eisbach.EisbachPIDE/markup7#?'HOL-EisbachHOL-Analysis.Metric_ArithPIDE/messages5#?#HOL-EisbachHOL-Analysis.Metric_ArithPIDE/markup8#A'HOL-EisbachHOL-Eisbach.Example_MetricPIDE/messages6#A#HOL-EisbachHOL-Eisbach.Example_MetricPIDE/markup&#/HOL-EisbachIFOLdocument/IFOL.texX#SUHOL-EisbachHOL-Eisbach.Eisbach_Old_Appl_Syntaxdocument/Eisbach_Old_Appl_Syntax.tex B#=?HOL-EisbachHOL-Eisbach.Examples_FOLdocument/Examples_FOL.tex 2#5'HOL-EisbachHOL-Eisbach.ExamplesPIDE/messages 0#5#HOL-EisbachHOL-Eisbach.ExamplesPIDE/markup !#'HOL-EisbachFOLPIDE/messages D#?AHOL-EisbachHOL-Eisbach.Eisbach_Toolsdocument/Eisbach_Tools.tex4#/1HOL-EisbachHOL-Eisbach.Testsdocument/Tests.tex8#35HOL-EisbachHOL-Eisbach.Eisbachdocument/Eisbach.texC#??HOL-EisbachHOL-Analysis.Metric_Arithdocument/Metric_Arith.texF#ACHOL-EisbachHOL-Eisbach.Example_Metricdocument/Example_Metric.tex##HOL-EisbachFOLPIDE/markup:#57HOL-EisbachHOL-Eisbach.Examplesdocument/Examples.tex##- HOL-EisbachFOLdocument/FOL.tex  '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 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?>]ә>gYZKpQv:ϩ X"T\ܾoN,Y\"N<I :NƢw&ߕYɤ E},q?ğhK{DV+JxYpSƕ%f9]K Dac۳K(.덼 ;@JL&E3y/+rZ׭ٺ:XB$8})w טËaԨlTع8sK_B<LQג[vF1ĉק|MveBuړ:cL7P-У$2) `[Ё.PӃqxb${Z~9+nzRy\VdѴG` q)4o7|:$E}̢/)|o1:E'4*.UG"ԴlHSV6SYH4aZxЄl%)%}FDHM?.Pitk9]`ߔJg(҂ӍB74px/A 2>#n86 "1f*@MP.;;ӴB ş1U4?b8+an{H(u/CP*JSah% 'ԠnrGϲƮcXw$Hca2\U>PC:ʡk{!Ux,yRe MZS " KZ^Uj@ದu@\&4h䲼rʙGc,R7ԼKl xތg|6S"ᬽ00nbkmdZ wiJAˏצϵ+KQ "o[AF T<P$ ..%K6P] 9 &> ^UK aYghm-٣ÅkN 17x EihLd-(yE^M%Uٷ)M `dqZgǔZzn@^B9DW"Y @3VBQk;8z1xnPt|i*ΡFHI#zSI2Ȫ3vn T_n jRjՅ KY7EPrkI4: o'&;C><^ =qv=vTߕv1+=؄R0~R1B%,TMVewq;v,Vft 7;rrwLīKuP"r ("&j!ʉŃ#1 J `3[(+t.U)^dɸXhxnK FzZX9}O\ DyL0П%MIt,ELgmJ)&TOYrqxZy]Iv^U y?a(}^E9\8p >,u՗h?Ce%3ۢ+hā-ܼX€(͑ bڼ=_Cmjx%kKOc:)X)ϘvhN|h&r#ﮚ\fGO{bר"hzT~1lISbd=WĪж*[VjTEXvCśIR}V&Kʹ\@l4ģEU: ZVfeaD!`:?s,1?8Q%jx'] oTlkF5@kA$bR5r.=+Y鿀uV:%I Yh#ڳZR'jeDO"] ۙ_-<W$7g}\]c1LH݊vJlE|0|5*1'r"i}̅p]C xRU>ٌ9j?|P%L\! 1УaKV2Dƫ|}_H_Aqȑmԋ?3 --,'x9'A$_d/UO]RY:H, 4 ˥ǁ`yRfXĩ$ZqMoï0Kg %Hk^-7-f*6ӱ~$Z>w!+Q:˓Iyi9dc(׭-mǔ),+:E&OC@&>{Kw@)]I23(YV"6t @+s{sB1ASᐤ6RhlX4j}O-#?q銰=tE@?cGޟ!Uʒ_9zKzt[۳BqL{Qceuipۇ!-l6\In~Ž|0 .>Eϓd1uZB{ףj61x g,!fUC'W c=ö>dCǬWөrF>m dpۉ 2{/Q~=E)=Z1vzYj6LKR I+Q찒mA+lnt9_fms\{+/xⷦ@'r pXk%.%ӈ|pf/k ÊWR^M󧌞5Hor*D^P}ubq?QPvc,+㐯mZ P ͒Z=0~9O~l絁׮W+T#9=k&ML@ lc5a&Ne3#DNpNF rkZSiS `_bO ˭8۪QfϦJ<S%Y/+')Vp_`;XmZR ?%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)## HOL-EisbachFOLPIDE/markup7zXZִF! KH] !M젗OFJ84Ά .[ Z.m8+}-x'\hzEr14ޓ.#2J+a*ړajY}@|!5ed7ݜ$jpAN'I zcicnb4Ɩy3[k`#`J+BF0d5G ,Zi_V|Ph%qa2ec 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 +C #/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`,kR#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;{#$ԜKFigYZbj "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 K ;K #' THOL-EisbachFOLPIDE/messages7zXZִF! 0#]Άxʆ5.f-9 rq9otp_P"lPl?]a*">hj<pxl9'|u:聘eAzí`.'Ic[,aQkxnQ~$IvEY5X= /dzk55Wx,VEU[V;:hi]WEc.cNφJJ\!\R$@MeC"A.b 5;izѓy*|S-(.s9?D>$' :JUn TB^-PQ⤞,)&il](Ǻ>|)v ĩzIr7]mF@FgzT%2;דɪ2[B#?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 j8ZgYZ7M^h%՞M^v)rvqsOя]NCM\ynFë2&ʢH|nb#)$y=Ʃn"#"K +rN3z ࢽq[E5C],>LFPJϒD@Xmaor}Scy0g}69tz".MC;"U azA/ʿؖII>FM/N'Skzqq S[Fuo|\!Owb!$N!<P ET$dT|CA>o"\|#Y}}huj˭b^anؠ%PDƢ}W~y`Qѫc$YIxP-;*P:oxWhVG[p{ҾGD A{.pTȮw7D -κ"ʸG~@8DM1XVF8116- VVxd0}noH$!꺎3tVrK _l)2OdlEQr%~``@+LPA'6;hG|鱸5IWngtg*5 ?qSkK\vdKy>[SC I%IR]b/{+2x|6J^K! De6i #ň״yfhËϭO,q[ڗOȤ 2Mv8Fd#S >VKf:W^ m5;gE5Fu\[`I7a'SVHE\_ȥ7B?c@ێ~o -U!v譜:n- f@YVk@xφ6ov+e$bH :>f/xɐ b[J=&EH8}'j'QeZK;~ڊ{ uL]cA B,Og3 u"!73s Gt oZpra>p:o3_b-G~SӖz%.]MR;ۖ(فfQN|4@fEN1etJUB~'iPAQbH`U4^gt[]T",F׏z̗o]2/.Q51]tNisqa@-qYtvm9_/ |w\zne@us7 q$>┞:V@;P58 !AJoyvާtݛPiͦ e(҈6IΪ-@tP5/u_,lɃGÏgugoB}P6ZV&zKG:1VM*el.)5瑹w 4&JfEDE]:rcTخd:c݀vٕ,54*ߌ;$l&Z_rA,IZdA$evX|Կ5B|T4ϜTv6[-6&@[0%˩!%xnI㗡VTkA V_M)C|Q6A,>jKSNm̼_O궀R)a\ NiNN'܈C8hF<_LE˪!r㡕k^KWv]b~dl3#Qvr37W20 AM PTß;Q#HG|k *n| ݝg <{2_Ȇv=&,y߹5/U<P,II6gC+w=p8 u?cgq!k̩r,87c_!P ς f:rϣtu(aZ_UP7As_UdbI#iYV ?T|s:Ix %Dy4NZwa#|{bJU <L&ļIIN8j||w}s9WPK K KT0י1D>H-G^ww-gqmH[zYq -M{h|X!H*< 9MDO:uCht(o`n2 {~x<,fN"gbb+ǫ,p[UUX䜏@,M_}\A< 5qЌ8.9PEҿ53^W9 HA|> 6΋N,Q Qi1M%xiFS,Bb)4pn-*Gsߓ"'7oʆu('Mp׎̌ΨNqHMOwL ZX JSVuҊn1B½31zb<@}!/LĿNeLڹMr1GQ݂Qc{lW+0D t҄ nW{_<7xB+Б^p"mZl]JC["E:vsK(;_EbVa`Peyüot og hrTzau l~1p \~ Rx-vIk@hPӾ0xd FܚݹW?ٜ"qib;wxMKw]6Ng|g JQT.{*;/*= 2_{}7nT+YRfE>jmKnIFsĤ1CЗ-) ֚dB0 Yo:WU# ?zk8_Hߚ}oţMܧfFߒԢ֦qꛒhrAMV@vwFG|rHd_mז%Ii Z\$s4%ICu6[YB^Gð89"b+ޡ=9ˆ9ax|Lv*ުAD$UM?Gé9 2)-Uq>/es(CBo/"NWdw4[ Ol:"ޢ:T[fsLGG E~K=3/녎*Oz9}[pZRl~ZKgtd>Xɮ <hC^QF\g*hS1%AZVUnpsYDI&Y!3O G_Ǝ-_ 02d 6D"/6;v^' /_m$(ڳwCE Wyҳ"rO+ۏr& |+Ԯdh>21>:FRQo#91bhӈΑf6h닐dV:=q$*~=,O"zEODjo:bPM3 YT=mQɌi7) #$/,emV'ku~Eo^v")5ΔDQ״t>DxIa@J$:OԖq^7fda1}ݥS|4EB?0" yFh}5'hQϻeL^8Qp,T==iF"w.kɼW_2{WY`0Q]ԜU|sӻ'nS﷾-< ? LteXg^/n^̧@d#@ ֜d}8Uְ6V8<&Dqʶy4-%=qB?idz=ȨDgi(B ,p~|i(J?#,]#Bfa[ kJͅaW7myyo6OZGELGk۠*h%h{{_AdCd>ae:XKKHd>mbT³h~sBؖLqG{K 0_ m)(}xL.|`sFK]'IvW-ȏd)V_$/}&Fk, *hg|Bѯe \ {MBVPv8ԑ{@iJ^#VM{WtQ6u.ߧnCol15 2~(bYߨkyoT V[$r&Y+Q>UBMYu5)*bd*XE?]f^0^⊩6Alv QV)ZC|F1R7 U0BH؃GcT_;b)ݥW d8qQDWmr/S|%՜n$}!,z.M@6΄˻u";ޮ 8k_09٣K bL_j\rj+ EtwGCl$`! Z vG]9`!1W YTfĥP!]a:]*0z݊)Br}BiߛhPh/ݕJ:P1:.*X 4N!1zp{؄6 谂A3eZzw#|W0PJ9qQ"=lP_,(BU>/j/XgE@.Lu?a4QA"þ ^9>Ĉ}ͫW:<$){pac+Y)TE { Y ҋftyZX F \HiP=]!{]1EG|*%\u@X_Y SL{BD^ @jS܉hE"Jz}$?I23Ư8$qܕ(Zqr`t??F-/xW#χ\I1dz$joI;8 ܬ 3RZR<+̓wG5G?Ûݽ T`<~(ɷzSx]+N}vd pfD`7gP/0".k=c3qsRoKῨ-Q2aɋJ)99k1311M er [69ޢ`K}- tk<-3Ljɿ('ŕA;NڊzeKӯL(η7y Xђ"_h8Y(k`^=3pvz;vjh9is/:B ;B@~FL[+5^@v~'LlT.Ep1 l h'ZV >Pi7ԆF,7L8 WMGbyc;˛@v"d5;lռJ10h,M+1^sε~t^ ެ/)LwwDvG/ uˇOu'vb, x:W|,Ќ7",5{c*p!Trn\϶Xd4${&GXt_:؈+E+oNj .׉Vڹ}0b!󴦖꺨`/<ۛR/F<0kM WGz'N|0  u IV탅GC[Zl:s,9l1ZQ fЧ5rd8|\hUљ(qʼ4ԕ/Bl5+Iw Oo<LexU+OU%?s sļ, ܟl]-]N @a/镑'ҾQrQ}L/wy]4!شB|u#`e T7/Dv B\V4-BCRiYGfB=/ *O܌~Iղ[Bp۰|~{9_ eZ 1d<ʳ+:ޖv\?TqlH&ņ]<;ŨuN`ܼy=\a{V*2ݘRP{3,Ww3-l,2{Ņr~}Ν^UXCf&Wv3\:`[2Ѹ4(mu5e״:E/w[s"K&o %#Ŕۏ5C-+d8F&E離=$ݺM){#/"~CIYeUnAQCX7Dl=/C%}GN&JwO"W|HݝU+N˦T! !N)򧯾PKI3`p@b 0X/jI{gt 8brY\ů2--YeaN瀶*OE81dXfDuXьN\#`7oش(ǻZgBli?7O )E0簲uuNR24氬:k7;v9{~p T<&db=NtMK$%w לM+l\$rie'f2pb6zJ=wa_ <,iC&V֗3`%,.QӜLTJjVzG7¤y( 7y-])y*W0ҋv_/ mWΦ^q.24AԦSϪ`H>ЯVb9mΉQ*H Qb>C B>V?KIcs L+v,u6BcN;EWMY6$# IN*x~Y{En} uj»'leY¨QWoZ)o!iI"`ma;PϤ`NzSv߁]G\jr:*,)7 ST\*nFtwKttrIx9xAgX 'Ѿ,Q+hsVQ~VCOm"T?ͭ2,-w?;`0. i(T5g}ǨCpw }i-@vTZ2= >ڧ! sGE=2BX%A]*a@#DZEF!hN,G&yn>.bO޷f8 2V{K}5Rt7b*5BK}]\v>W .LYUzq}7f* {g]$ko5_5tQΣx9R.݀=K[Fx;%yvj.s,ðn0Üd/2$eU K*d!j(~HgR/t׋}IƜүVWjCftJ>;AH-_a^0: vu"C۠@RgP5GlXj @2Qa:_gz?jޝYkv7߲?w?<%Jnt#Φ#OXW2k0~= &X S6~D elSq7&4MJg mp3ul%gμ *v/Ű>_>YZfa%m Mc `/3mYME@~UTX+EoeLdAn+&|26R scIoݙ'/վ^VTAW'3X[Fkp&,\M\*'P -Nż}z`ty lbP1J3w^%85Ifk2$&clEN/ UB5BToloƽFRP|LY&eZkQVcuBߦL*k'syvU+(8a7;,'_:ytƤF_IKF/'&*臎fX_p+av5i 4v5 Lz5|wc/b#dԵK [V:R0N;nk`ݓX4ű hg=?6|{UvI>P]JdcƖ@'}{޾Ar4eD0(TM4ߓ5T7 (ugcgO&%!Ӌ>x3px:%]!쓺YiMQP˫̮QiJOdJ hG4/`~C쾈K:T3*ؕQS)SY4KN%̄/Uxi@s* 1+ϼۇQᰟMDl])Q}NVѷ6O_@im=Th #-LVN^XNZ#cry`&a= %pNP*bSA/!s` (fԌ[oT4EKR)鱂koA Jk2z?L&x%F:]MAhxU;T3ȉ7[MV6} kv_p6X*j+ o~&Gx29-'"?RιשX.| `}P3\Bwh&i : gL/~IDdnym{/anc͆ ^RY%`N_ d`lZۂgHt.Kٻ`H:@2ZRJ0- a3ܕʣwŮ,S!n>XuȃIvbn wMP0`d ?Ic3IHw[7A${B &LNa3\]{Clhԝ#^0 LEO}.HX5^l#d]̱y7y N\Th0H%ڕV[Ş@,ids nAO:jX$^>K6|-qhE߿|yV,m3yÝ94yNVwDWdM!:BW-@NiYڛ@.}f^ S ╴bYTkSʢ6tkΨLg^{ wZ+jbSݪpnL>'>2E=8+Cݑ!D!ǧ!E,Ji4`H2n7Z^W#!ܵ "*"@j.'IʷMskz a;v#ɻѕv>S2_(eS DtL;xڪJXkLw\(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(gYZ U- #/ 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|db #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` 5gYZ( #=? 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 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ū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 uŮ,S!n>3YVq22trSFUoϖ둪zQ1@82 S'= 8sJ<g4"U&.i_1=a>Sl+Flk͕ ":_!aGbk{!P^SVh{Mn^eX7A$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%f0ۿ"9f$g+y5 +5!x&_ȗ7! RUE.Yy3vB}\E3 +1yކ/YJaieao2Dcwd8#7@"9r|\ F:k."-(eyg=eNG IbAp?M!s`{V]`O \ *lD tyl|.ˀlU+MkA1)$ 5G>#aƀ}Ͱ(_ES[5f4Ihy 4%{MA[hB2 hzkHT3uڳ&qO|Z.Y`Np[[">׉r6J=7ف0WKfqBtANO3t+NOVjW .,O:?|ߝCEf5|J =BנVU7&ą yei /Vq/Fiy?=6ۿ#ssS5m&smwTۆNyRB w68X1YU ngYZ=#3# $HOL-EisbachHOL-Eisbach.EisbachPIDE/markup7zXZִF! I] !M젗OFK?mVJ@,3UpQɺS/{l# 鴌 SҮTo2sBt*KBi.A^i:.|pYmY[˛סL[!ze{+IAmW4hE&ߩّZ._AН@(I#PVJp:ԎqlꎔaډpA@M^̟kQ/7LiybNM!\<<(įX껅T4QnLdrN@((~,Z[L}^<;5*{2 ^HwS}>vVt0,HEiKW(EO)$?3l 'ub4u_--72)Qm1DZ[!EE#9S"[ˬ#3:λK Tάy91o4+ 4=TO9*vt{8;֧Znu+R^<0;f(01n(Xw]UG+v/|:R*׃{,<{XwE5ɴg>a[Ìw.D^lڶ@Kjpc)a+L)PXJǀV xAᘙ` `ւ/`*ɍ m$DQ{VU6tv jn[sRg!K6M.ZMga0؜BJ kŸ;4īо>@9Z+|VФmp`t 2ʿ~з3VdmkL}5 hV¡1O2]# ՠs;_Ve?;RcF#/ٝN< LgYZ5#?' HOL-EisbachHOL-Analysis.Metric_ArithPIDE/messages7zXZִF! 9]·Iq n[:|&[zXkP^ֳg]懥 !6n `g.<λZٚ?Y[3_Ҷo'Sa [^ 0 "2@$%yjlBlJz *2JDT{ rA;#n\ AoCMYd]$"e犥} eg)a>CߓGxZ8?U_sHzCqYO*!up40o/w#0d%A*4rKM&ns+--t䚇#Ǖ0gYZi74PD4R)=$TN:RZ:5P)GtOՖʭ KIuoE}f9xٮݻ&bWUE{b$eD Wr*: Cl8EE9)5NKx5ojVK92ʴ<큣tRnij?A q;Vt~r:1u; plL+$n'ܝ)xV6 zZ]x~Ǯ=Hl?s vOL0dd| 2wpHSe&s5ʩEi2ގp` 0c)1"'U},d;2J24%YPfÑ4~g27lgpA&pWF3>hF U's~IM7mwoI@"-\xA=Xkh-WRgaGL {c5X<)͜[i SyulLH)x%,C?>$ci-+hڋ%(Y0qXdw(,HiX Fg]mu4HEĖK5  ⶺ{xyAm%x̶p$i?H7vfk5Gi@lmGV{Z\(S:`a4&k-0j`r֓ T*%عY*¦Faa%@bvnrm VC8nQ9un:Jkc+DLh9{ܗ&K "@-G}u=MJ\y1;g+r\sP9r|۰m㔚iU+Pcg[x, L]8vjBaZm|s dm(tYޝk@ veӺf+.Jd(zCHcc_,Ҳ&"憻΋tuh8j8k@LJQąJvA2\O41owjܒRA #n ShDXi5UVKSjt0C@g1r˕wɫY޼A+>?K7逘D:_8q),Q].q]r,"N`q'[f-ͣI/31XODvc剸Xa \\o+#,t2bD|K F4!QG͟NFBM>1:S. +xw=b? vG_?'bC҈1_3##Ml-x) #)d݉|tx&8.J[ ) V1!]m{ 3xalxwZozXuH̹o~AAeP,mqO/S^lQY ?,b:g7Â+"FC8߀inrqr.˦EӀOV!e ]vKvL4ʶ^N󥠊- yAYypgb_vdؒ}% AVzWIb ˲(TLdJų+0aŅC }h5藊.ϗ] 42d{BM0Q/<>1ߝqXŠ6$-=_ ~ZɊ+uOdq(-v,M˫g [vQ?1~%eѽ@I4r!r@C;ur#BVjEw-!yIVsH->VT] > 1Ȁ'0jn gO3sW;NbU(JuCV)o]$03/xF9`BP b9[zu~ QX5NS'lj\TNiђ&OL# N>KV0ݴnn _(|?媏8ie鸾DGz@#ja -u*4* irB$+&S;OR"X?N)؛N;+hG=߇y ?BSѢxVy!wCMDuIOߡ 7*Q6;'Xd;XIs>45@0gO;]Lm'u*ԤcNqkH_92wz."KBͣV۵ȖxOE%I Sfzن)]o!Vf-}cX*` vgYZ  6u#/' HOL-EisbachHOL-Eisbach.TestsPIDE/messages7zXZִF! p ]Άxʆ5.f-9 rq9n_Kzy:6uĺ)W!hӎ"ű狔f=R6W m){ ۖ#B$A]4T/h/zϐyr?@a p:lEI %E(=cǭˁ W [GxUCSjn~Q3hqk.`v}$*Pf]{l\sQ78r C2~5 Iߟo ?TZ>Jl\K=#AQ X1vKd;3+~~#6eL=ǽ4t0W5SKY188wr.Z62I̷YMc`uHh!ɟWmBqBz"Ah~C(vt<ԄS<(*m3ݛh^hwv /#-@"T1)t1Y*- Dku,)OByDtqOD0C$/E-. F!27mU-JXiB_DsK sP6#7Q;N˩>L>֧3[⨚B6:ɵ m:sŹ*+S ZƸh9"1oBodƖPL4@h/ZZ6vpXVd"G1UoSr6"a^eC~oӿ~0x[)EO`RayZ m\Ш] oО(/wMoض=yBrBRxa.kH8-E. u @ddEݔpd(|0Yns/Ue U 2:{ӆ ˏ]4 ~1G20 6I^;e7=U`׽Prh]%hhxYhŶa8wVN٫Qrv/xMlUlr#W`ѡHJOWv ~Wgo= c2V̥tbgi.DwU㣉Ah+8SÀ]" ˨!? {ĒZ/(|U+u<:/0/C'tPGTWw>A8 LˈlIZ,ZNWL-b+[{D74h A::oAg`'tUl 6@1AБVꈠO3C:[?Oelt- (?9iv|AϑCqvݺ){Yvg7d7tտiu^/߈RبypE[ȖVWb|rш$B9?P`g` Bh{k&Ll OwTgQjӯtCBhX1'QXI )ܤSxV/uPk) $P鋳qJTZ3CBkfsp HFgWkBtZc{TObb7?sWQ_`Ho?z(\eWr'Lp+1GzT^3gQ)-D.ˣsFM+&^~XsͮBr,_siP n[:&v9댭e>lt)5FҀCnXQi 9fewjfD;Oq y?x7*eh/_YR9zBo?4QuLţ3/P\ (o|*g bh0/`$4_΄>>Ф#!JMn|~bGO.$ dݘ0G5 Oe]*?61/a$i=3m}\\Gi_VtI~P8;kx,CU.W g"}MD^Ңr'0xk7AƂ`!,MǤ-b$um [S6S ^=Mҧ C(7qr2{$K a/CҰ*^zm \%!~/8AU>yrթ/n3t3!+$LFw?Q/A|wVWh8`։nnM7n,*֍f ( ⻂q~VMu>Ab3꒢$ JĺR/XlHȭ]ЊوUfz=OeOz/lPċaBRhZ+Z oGo\(w3܍|4,a-ՅK)y2\G7]ɇ]pYβ 6Ҁ>fAIYqXL Gü+dHAR% ;MGsT݃(o]XLFfEmWK]1 ss"y2~(P^]ba'G   ?#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 #=# $HOL-EisbachHOL-Eisbach.Examples_FOLPIDE/markup7zXZִF! Q] !M젗OFK?mVJ@,Ӱh?A׆PΥO=o1 sBX|3BF2+Ͻ Jm,Ycx}?&>+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(#' ϛϮL)Z5j-N\xxpm2s 96'kykt>E=!@POԜV8GYS)Ovwd{ߗAggqsڤOB1sM\Ж$iBq=bIx9"4[3}sy.:j/bv̱ޝi{<5>S݀_]N5CgK~"NGq1RԱgYZEL)&U2&B W(+d,,+>m_iCw[E0qDJ(jb~RBVx4Y#(B V3W1^լ Tv1#b=%W٧jj|‚ERPa7pm@,19Kq*BFt3^=–L`?D(ޕGbdɢٰw0!]Z3y)ъˤdhLBشTq%^ cn[TCY͓aSo8|W]qUaRE4!fx7.|]jc[EIΥNDڵ$A䚎-%)etNE2 %ZЩQ,mrvume~hVJ#krXgAh! zh*{3Ҟqn'Ji"30l>I=Xb2ͫLD~b("<2kƯ2~vq8ȩ6 mqny{ 1P`{{[U#g,!*4d=3WEK"8=ꨡ>2],HIg+ !KC3\՚5_bKZW:~GɎԙE_rQ82b>\wSXn[5[d!| \u yCMѐ1[sp@ =TW:bYECmvz8c(y.Z? u҉tMQ&l00uxtHynW ]zJaF<9 }|W =*B.E[ŎeĔ2ۂEgUle} K-ݽv%+>dq2w'VkT. [|SRVz2R4nNt19QfyDN38 .8KR{v㺐NBGILY0H s(ɗkX]R!$'8RbYoT=vtln#T 39(e6d\yָn,%|+I5EH+2e3Rw3# ~K.@`f\'k.~8_טu3І8gnC@bIsDc%R@N2K6FB%<_ג7.9OTSjk:>S~qs̘F~c(Gonoq ӮgwR+w7rQ;^uhJ1a0 Ւ 0QQX{BxhײuD=nV8b5)¬lehh!`Cl'r1 my sj% <%R^ID7sgJ6!haWrH߮W 6}m5I H“Ru!}zGmEN sj6vɳ63+}Olq 1%/dg&stv!X 4Q.,oLBw!γqGTsTrH+2OKO Eħߺa3W>A :$?)0z_nl}BQ& )jLkw*gl"xo2e/bǢsU(LONEw| B5}66_ ?p} g{7(vytq|н EԌbږNSV!%8~@H* a*plz [xAeFM(9_VdWL%*S|8 maSI1+ A8U!_0q{E:Z]-uR+n(S._{ E2Y?9..IU3IQv (u߶W0_EU_QxnlGXw GjaA'X7/Z*""A)r#~0yWҦ&ف{h^_o7%0rsC`PC*a  9V*82?ɺ4#n%WOb*rK˓mN 5O@ݞ% u*@f/@4V1rҟ^%ǂZ^(Z$mj}o9Yf=݃p Evy]o< 'SWݞ=2gJ咱w q Q'ADI/s[ j.~ܣ ^B 0C@]Դyheeg dh9.T3,<&B!+܍rV]AB@Nwv;R)A-:pZ:r#A3gOߘ,8/=vK 0+$ }Цf *1,Fׁ,Y  b vcHT>䈹< W$L`M2]U Ӆ-+hqEP7xG5GR}ZHLh}V\) F,G;Brƒ4㼬kG)> &,5Ʊ{[ Kkө?ZAH KP+(Gd5%M2 D'W'sq-I:MgRvOeZӿgf}oakh"![a;0"F"yFKoWOaa\3h/a[tD&!?MBECq,/*gqU#} Wx<5np'lV8^.{xqܩzGWݢE$&XGWo*u~{>5vC’X,BD)K$ ^aut+ĄY=q9םܹleM=;L_of:/TU#3  IǶ 4UoO2U/ 6b 9#BfZ$U{3]0r+@gHX Ig~VfjaFn@ F?W4{AfeԭH!p\),g*bL5Ğۑ͌VߢXAy{Wq)W3  e ~ȹYMچǪ)nT8x&\&bp]xJ]9¡3fv_5))u 0x1ZN5:FI|zͯMq/8MCL*Hxv E=ž2'⥜|);_s{;-YصUiN9KPm~8 x5eNk?!c8m4qٍ-+Ů"ԇ/&M3Hȑ!.]O98`#k5 %!HuAC&b=pźFP#ٱ M \JŦw}{Rb[rz1Ӡao}rbVjg~m0WwHVa.3u GC'oqx~=>f\tӃ@k&LKzdn^Ґ}N> +O.$'A<2z v6n5U_)s"Vtտ |box7gZ.qg&=;DK`TDmQߔh}LP',ř0UAh$oJCqkxssdk}Q0k) 7М THb5﹮,12Kv2O҈a`!;aQ~*S I ~=mPF3yM[п^t)֢w#{avwɍ?b${~a$O6O );m(6DAxJfdv&C#nry6xýqm#fZ9dHnS P>X7ߗI.` m 4ӭ`oEi^| # ³#Sݲ].%{;2xfbV~d2FkL5V%ykc}%zOO{T\ǘ_8o3[V0¸F#\¯@A4qX O]\ZQvKBS[.7ZKHeU7K]-^[v'=15LKp<@}Wk%(vDrJ5"zJuuj ZoEN֞C&%9c*tiX v%ߡ4w?Qо5gL͓;5[jgO{p16p7CxX^ oUj%s+O);{T௄cy >|w`(Aa P׃RH PMG[kQa Op:JCI aU|Y?#t~ fmRs.8uO8cu ޷0guwz:\Ee-LA'(2̚f<&N9.eF̴Bo_@\WqK{AZ|y ŴJ-k7{w-4 9*pVJvTf ^BMl0O>J<'LK#! ݳSsdR3#Ϩ99 42?mIsjƠP3^~%!rn)wAoDL:8-d ^icdVKc4m:rGo,M7ap&2#Bl 2nXXi G[@]YtJ*bhS` =X/Urςnop7#A!;BwTٰ6T -c(5m&G|H(3 oT&O3~ƶ, .[GK N/u#zOH:"J D8iꁊ:#S ކwW?]hi2n{{j4g9݊j HEJ{{pH| }V勤k9EF>lHvH쯷-J\{Rku@** 20yxV>s]<% =tv6D "s<_Zmueܱ &.H-nItK0&]'FH~SBK524ITeX-,Eg^-P_S{NEϊM*\e= VňAD~5@}ğ@ԽT@)+[rW#RX#ab:Va=41L6ӹC.N4|5(svYt@CPTxw(1HL4V|1h(jOLr(1'v`ej89暣EĈ9N cҾgXG3^lQ7f5ߋ Bآ:Le7zKSBSN~|@G]fBu吆IjjPwRDw0Aj^Qbւ˜^qRgQ ,B򵱮rwf8큕4 Χʢv+ri,ή5! ؍SezRB?Qݓ_"yϜ f@sh!MH4IMh?c% !ybk4}=s߄;ؠ6^r}# LX<Jl=ÎBMal܆?)`&Qq|؆ᯙݚdsOYZ/bT0K"Y"Ѱ'3P h#{(?csNԼIYt _<}d[ҥK^^TT=\-Xy^-FdBabOB"hήFKwK9N^. btXƛE=OꗱpmZw79I{EZ%*Y3#b6+B`Odq@͆ \ )}&GAjNy*E'j]?x^UI'V_lC.ͲpLcUjN  ˯kzC^FJٴLսyκ;(|;w17 3dxw fkw EA;2 BF"J.0 Sk{?I7*L:~ ~ϓOZk`pzD3`Y`vD]t*H7CqRmMu=l-4HbJ _ǯF꒩H3o?ž8'Ɋs9 "jK~r^G_饟F2-ZЫ 5\QgpcLY%*<չ;k~Bq}P ְy;6c72)aNnU[7ȵ 'cb l±+ϰ#Ew׉. Q=̅|( XJO*Oهfl?ۗV/#K!W2ؠi# IќDCVb[FF7Vjf)b`Yjs!OOcd`Yu# Gv*s9RobCȧet ӫd@\ n$jyvBZ-q+M`sr"|6AQN4* ]_MPc%xt_MH1u\4b&9`i,+#_^VM=ħm Of (dV1R,y@-<ȩkp˹F֛C ?QCXs/BeخŃP^=%MEs?|Z_ax孮z@ qcuD"(^x! h3U!e'c-Vi Bz棬n^ )knLmבq'u&bvJN.^<ProQj#0a`8FEWnVa"]qE>:ֱУ9ଵ҄Fquzf4ɧN݂YzfX>D6g'rv?5:MǬ{e@!,DEKd.ęU-SA.h ~RqV睎A+z'kUgYZ  4#' ,HOL-EisbachIFOLPIDE/messages7zXZִF! o]Άxʆ5.f-9 rq9m )-mژñ_%ycT2g ,DEg~: 6sB[Nk4wnÆbo#QVwLOӯ,P1/zHsS A#<<˼E{/܄8Hy xEU5=>PEg&*ƟsJ,9/<=J&zq+WamFGE%,>C뿋hk.q 1^+mu&}ڼ6}c=?wKxsE8^֮FB@lA \)EpD;mzJ8!J,)*> &ym814. x&/nKGm@LPkn:~,Yr$Y%OG7#`QHoJi$MLM'Z/nZu\H5}F+ɞ LjK_z yY:a1X7NlrȒx4%^,H YXtw445Iԍb'XZE=U\X‡1f K@{~8>d Q85'ٺQw[FEӦ?$T)JuQǙi6bo:ȏ@=fNoФ̴oRTlEl $ŊD0=E}P6 [jW  S #;U!