SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   l/xl<4 ]/ HOL-Proofs-Lambda:threads=6elapsed=100.040cpu=118.624gc=5.7327zXZִF! E]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯ @ AsZIؤVas xfwa BrPwGDe;K9n e(=ٜG@ "$?˂csPRn١In֟.];'LvFp閹gct",0+p!韯0cYM~\*&%^xnhH7L'k) ަvW`Io\lj 0DJE~7J#j*$L$/wĘ2tv@(5qYې$5:6'. &Fᔓ DD=pa壆;rt[{mA͑B%[2 ?G_W@ؕ"BRϤ;ņP?j0PNf8=|/ dt-̓gYZ7zXZִF! hX]ŗXiɟ11bu)a2W5KԫO%6FCRZ؍ڝH=yI4$)`d6 'A^_X ҈ᲉE֕=0n >@2//iVXfI,&JQL94[ԓx!tV^5=^b eBNA:VMz2@ve&e:`=Ɯ[r$'pa@阫>xqG5IࣈXa:@lnOPG C‚++mys&D$)r9-FAhoۄ|)@/3ggYZ7zXZִF! 5H]ŗXi%[2K E90J\8w+eqTBn\G[Ŀ3, Y{~' WLH6P 1&O֍n~E</.Y1 /ELi`q`6wIeZsNpsWmmÆzJOref fbJ蠰-]tL/mGH!0毼3bqc-aq_5vб8b?OgTM\7aM}֋EE1sȃFKn~HZ =W٪[RP\.'{]{_>1C!q2$2tB[?\f-\WΠ]"u? .q?/Ƃn  uNI[zMq 3ZE;&iJ&禡h*DL2AYc4_izTI0 6ʹ ` o3C+G#=SY|P>L!̛8qHBRO;?7ISnG RoٸYy>Q/jbSΏoԕi9SO0,ŗr15xy$m"<Ɨ94Ei5͑r":IUc^^rJկc}iTՋtɉʅ`j"agXhW#$*{DrxlLb}), ӈbd,߿$;.O]%5r|Q.eĮCL?JFe-t\JPz9N~{ sF\{ľv-\yf#d {%Uy=/ hMN[ҮG}(]H8IA sH)ƌUP I;P o1ފΗU{*_ң]$U£p=6@KcU"ǜ^lupO! 4Zڒc5ޮ?D2+7! F'ϹDۂ!=Aes G'#,ؙ04v* s@P꽫ÜAEU'%PQcS`YʌE'؈$BLw %(r p>2~!r"FRD p2p#}ûMHgI!",g(f736ZGCY"GϜBpq5 Zv.n.Q="+WU00T,rn)ޓ[%ާd=B>؉vt|n|=;ânDi%0JR8/?je]lH匐P qmzٓF@Jګs z&ҽ`C,*M2W]@nA sslU02U}J.WGp4T yr[ZF m6To^۫Rɡ!cQ&HqEz/x[Q7I / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6 } = y > 1i o +tJ }O b# ZZ :[L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LHYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ \_\g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! }]D?7 {?:fH\HFu_.7oӃQ[̣V288 UzߋnMy%$.z: vX )yrcPNjzIu1x_W[řU<c{|d\Ռq:`#2M:`\qV~=nLjld@nRQσ:9 eB(˗教 4DӒZuς:oʷ5ߙ|ɏgm{}{w+}c1岫$JXWP=h배2H[,O'| sKeBNnit>n*\ig26k.^g #1>/-!Vw0bo 1lU6n["P 'gmQf#Mxz7~3>U΁7}8&B[ٖ_Z+7j1:@է75LgYZa /=# THOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !c]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ tYSWha!mdW5Cw`\67* ѶKca]C(ò'CVi>PW.f&rA*UlNcWU˲}O7sŤSQ|{R0W #=Iu_iCkMI @)<7ZzxZqXʧ]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7or4v*!$x ,E5(D e ִ$31`ėAE,:m:Apw x.YSTn4$& e\jYfL#UүnQOƖl`6R!ĨM`_xA'&R'4vdrO Ln8N >! Ii82~QwJYiel"ğ'=8 `Fo[}s[n5v?SЦ[K GRmdЕy#6-Q?~P$#~d!SHc_psI3+P;r?D JVnD7ry8щZ3{t=浩F?)@_3Ƽ?8m8]ㅡϑduGz̻?Ɠe*s ة0SD\CEل Bh~^ fTr8dvԅp\;wjYSG/^ @-e,k=q YxvUJZEf/g9 qOczAAg`r*d;%/nn[[x%D/P㭹Bt $zXosN,FkDylܐqz@ŻFMnrDD[ˉI-<'(e!=ʪ]L̍PCXH`𵉟d ɜ=x#ar=dΔ#HjlA4bX hgg P^џGdw>SOĒ0FM(Kś<^ڌuOn$od[C-3T}(C᳾,e螱o!*j+va> 81 O,d2iؓľt,Qv+~Z럚gȸ0f'4'x}WtLB[Á=> ;i3\#S ~Up;LY} ܟ?ctA;H"$qS\M~Bc+zXtc婓yÓ_ }2L3=:H)i(IYp*J .eȿe0IsDݛ=G_Ho[Qt<+yl0rExALCKiRX Ŕ=# *u`ް{"v#YJҠjęMtXH%n:vFGH@P?M޻|Qp{4=ԢOфh/jR˵V- xj손&C;߼= A Q7n}tRܨ̵EDC8yG!ګ0O/1;VcR3Vb9ޝпڏ 8{v,Δ}>k,tI5OBk{ h B|v/ 3NLZA?lpĬWLLw^ZHO ћ aZνxLd@eȊyh][~XLf#k[$Da0/^xW)mhdU2-PfagL:ctX{8(N iۓbXpg9>ie/Ki'(otl ;bd$icsWA6I44 P{v6«P:f`f.M m{~I=Mzysz{$hRaɉ?7%4HoJn2i BRߠ(fDᇃ4׋Qr V0 *C}sJW 6.v[`%g > )!}6@"q+ΦJBpa,p>Q7 JB)Er_ՋWMWR1m6K 2m&FE#MF_~/~W v=Uq>6ApAZ8Nj|hF}sW5!ܚ<حxY/,AW]+bhDڿIm[l;{wż 7?#=o8ͦVSAS .Dk2q-[]0}qJzPp7 +1)KSd^uH\& 'ŀl>}p>\-Bxfٳ|\oO٭pL ޯt>R7`^;t&xV$U@y\n#nZe!ʿҤZHȐL~WzcÕ$pղW^LJ d}[YWtC2l?_XfTh~AK^LXjRa"o <8vhެYidx`{ 4#dBJ@^aT&5o:eA  Zpy3'OJLXglM=[16ju4BI@' t )fXy ƊFKC:pN?e`B ȎۑXn߯Qp% )X(`TdACzR:&WhtgqσD؂ϲ?>]7/٘Ⱦ\<{?2o8QT8AwҽqE<2m^@ l5.0&6~3h ^=P?X<۬7^,/HpT>]=(k ^~2нI>4'd[)`yM| T7")fX'`]QH>\So<&X`u*bS֌5N֞M/͛K2N`rC 8(/f8}LQ06JЯ)*(Wa+OE6!i,dsL$w&2m _Ξ˨k;V_Ebxj*3/~uϬۗ82GyXԦչ{_nqȎV5gݗ`Ϩyd1;B \@֕TVRh-GlxcEvK JWFT-h* h-k6NS~b#ѭF \^sDi l+Tkl 5=(ܡCGqgᝮ@G%D> 4W+D/$:CIcM&>PxⲗUY0z+O:=hpy=3w~mj|bf|XߨLOW71qUd$Ke]y6jN "Zbl]`qy5jBS> KmR^0  m~ /Hۮ" JNdA.A>,`ZBR CH qu<՜=:t5x>r4Jap%*x7s*.y06l$vNrO)y7A:ESrsޗYTgϐTЫSG[mQD'>iF~=q-@a|곹kۍo Pf竅r oدj=F2sx MHiI*5z($|Y,x剆z6Yn|Y x@"V)LFAn/K`cu]=-7ff$42W?)-$@70LZ}9]ԝY;yR(.n8y}C1߮n;f;[.͈#1%i߉EL tgFj$5G,sr|`rZEn<&k?KeАsQw k _z\1A2QcwnjiY;\0zfo :ߊ6f/~x_i6HBS #s5x8phx%2溁 5wԏ,="T 0}&sR5%L tux<>$ TKG9| DFC{5̌hK+Y6 TW㈬H7| |zR*4\@%xqA%53Kx2~:aIz_Vpzl+i-)B1W|{#^r%cN|U6~v1٠EUyP֒Ojof'ޘҭYS "PG31?T[&e'~=) mz5<$c׻T-Mʎ~Jbm Rq;i-jbєQnw5 qɶx5&B}Hj~ [r?WazoPsodDrF5jZ/~(Q <{%)vEݐq)9r!-4Ejx&2q|@}bUd<1~W[RB옏Rv6 Y!~ۆ7Tw̌?Jͻ0SIשk=mYVVpAIˡaєVzȢK"h)< oBA)@^#t{an|-)X4 \^vy!iYg`ukhuvG6l'1%"O(!f苆tu24T]G!յՋ3\+$RtTvXAd)/+ Ķ2zyZo&%3RNf½ގ.?iX의5E BF8 8'_ }u2\ i#[`13P>}HQ$Q/!gYiRut*nZ c/Sh~# j%|~\"oʼn|ع*MW~YgLv>+ OeH (<7':4Qb/K}cϰ0`(QVYe;4n(SMq@g`"՛!fê3 ^m dioW,/Q-=cOqtN?~pGmB Mc)T)Cmq h4~̦r ط3BE/ k[RMa" 3s>]XB*sgYZD&@ge"/RTs; sd~Ap>eQN<6/Yj>*۸DW\geF)Zli4Q\@DVv]ˆ6evgoT/L߉(+bs@KmsK&(z;o3qx=@H,, 6fj4Aav~U؞W\wv,gdIN7p +oaLE:ЇUM?.Bv@gH."`JQr.4*}guaf.<`pq.cBmv ^ΌO!<ٮHXP|d!Ͻ:nܿo"k_d0?DGx*F=Tn=Jja-NKR";HU5T8j)oÄ<˹,YM6G{=u*[1Ӱig-hI* fo?9(T-K8pu=C==Î^@)l#CZlV?zSطtI`D{CH2s9 ߠwZ$0_`T$'~b; pXc8 <"gzQ_Z; ~Vw=Ŭ35=„ݔ DI[09%LLAJ5w-|1xc%fl)H<>f}^eBKhn5q-nTKR]i9:u0Xz82Dgf/MB'+?(8)u**]3M$>^`ZY \:|xq~JXP WvUVʚ%R 9憎 nȡ2%(?úq?79ɝ;`8+GWCyx])%(@÷dfd_3XBMS3C'$ 62sI`t{y pP"_`rR~/A PwkgI(WXvfF+(ʚm3OZ{7Oɉ NGZ%1 7=d] <Cӽ ;+ٙP#7C=O֛O #pA3 _NX{DE180,)X<·?pؕՅyLR%`XI>a|z&cnBhx%:MϺ$ʦ#ߠlt 5s4EK!ȶSCُLo#xOmfnty IT4,OD]}[*pLkkW[N+۶ y"Mߙرݱ"\#S_&Liܡ2J<]aT P"vyerp0%igYѢbTGmI)6w8Џ-f"_f⒡`xyP_#鼎-oEG"r3U?LDYI4u.i^Bke0_o nXGṗSrD6>l .RoϋC2(__A::M} -M-&l몪W-]#=PB3)&9fҍ Ա,`.{9@u-y|p̉q]CIutoOV_I{8zpHÑ޵U=u VFJvYFq5P2rb#࣊Flۼ==AiL#y[]\ڛ@Gd ,Xufܢ8XgW7VaT4+4/oi ZU+\^y]+ { Tu> *,e <>0D Jb gkKCJiaU:k[#܌Rura~`$E4jg j3YFXM(4 ׇI.dJ[X2sK@Ƿgv}!FC@|+CpdZ ]Y(J6tSy&\ajqG73_$^fVnT VN 4F]KN{RTaG ViGnv]j; K@g]:GE|UISx1Cg?1>Qa{|Ci[O[mZqo2yQ|_p`WYGWa'^d(+*ηD:)Jls jw]THJ~" !S2=qN$_iB{F%uT?"T2F1O3vkH&qlµho/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s=]·Iq n[:|&[z'z5̮^] ?^V < JX/\Β?>~OFANgA`/ Oy({(H;篛u4#rWMǍG\ᯈo2=vĽP[$ M 6]1*tڷ{Apq|[dc cLBAQ>Z l>ޔtmIiñ2< o#m#īQuQiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHG ʧ8 Uz\te %+<'7~ c¢TV,xr2o^: ȫ3$U wXܤXo0˓ՌS$ _Q ; #rq1Z%ё›"7=)N UPgMZZ|^쒅I\Ԁh6P_hUO8V@r]+Qlu HJvB՚f-#/>`b0]VLE7M~ry7qʱXו:vt;_s@ej3RbT,sTdc B k^%D(r,'}߂ 5s"&Nv¸0?褗Q|rqU v5$%kh gjluaNt.w G)$e(ВGupu$xbc5 ˍԕRTMcE!Wha‰& SM8x[65>7. X(,ܣ2)|Jh&l9ۊ.\M1";3I$Yp8/){Uh"ĜPXt^W>=䚓rbY~}ǽ6*x%%PJK(7 プ| Ӟrht99fDB]sL?&mLqF5Syy^m(0+%뼺ݺnGbP%4@-GP$FAvon#}˥ǸsAհ4PȅFh '_*_`ٞ& ~,xNy"D[<`1%xddD-of\rqEsQ!m?nJ\-g]9y߲V*yd+bd {ugs D=´pF( F"ͺOtO^/ 5`{:۟esAdRhTݤ5ֽiRzS9ZR<a[Om9}ztYX UA>{ 6uZ8o譑{' "Iyž{bKy~-Z%~1 sF +n UXU޼ 0>MbYhvlAVS}X.XYV XmYTvM]/EXX2jë1fiԏ>+S GwɾM wUPJGgc/yt_4Sڲ$Wq5EvoO@c*S;`N@O"tMarHmشX+y lu A{גs)OqCO} SOH0y g#yVG׸Q.;f<';\N=ks]I8{ʐ84Fۈ\F]OLRƌES,&323e}!I<lT~)ULAS IND%OM˘~đ3:,^Ӱ2~0ڗń%%:!{`T%q'[1,Z86SEJAs8Yph Ϸk7]}0Չxkz 6SGN`A3`}Fv _i>2aS_ UO (Eb;u#nsz4~ غ8EfSo KĴΔ3K`r/p8=z;/P6h]b)0Zנ,CWTNE\X[)YB[X!w4fOMG&¨ؼ4"nf{er#ÿewlmP?RcZU2AhR?P۰QF!ӻq LN-z>~so>%~326k1"Y4( # d%hCŪOQ8's4g t{%x❠YmU3u9.-usַm93O]1kSG —%UHtXp`k?!E?r\̊|'z݆Ġ0†#ݕ$V`N>.vyZ0K'@#eZ<]qJVٝHI+J0 zȬױJ9Q)MEgvX@.Ri.5$4RePkj%T`/$J8٧  h#=fQmPAm!;H uw\>`f|_*H8z$'}"_x Oj uUq „A?%q!A&?U{XEJM_EX8 !W~tEL5%šY` Ĵw0 Ri1JKOnZ]"s-ꠁTW``8*6Eʦk)=IB"B(˺'Z?]@+>)Lؠn6jIɄA¨=IL(NQzkC)ğbK5vRvBQýVŝᱶC .8aDӄ[%Z,nlܱ[I(e(*<ܥY#DG`kjL^>ָ'duyƤ$*V@l,M5s Uɢ*2?KP[A@D% c9zb7ԉ2<`LH/Y:HjLC"Be8}-Emeܕȶa߽nd c%f~תfaY:ȊUgb6x5(S}SZ5`OW*qƈ۶qv&| ŪBn.P{NhsbrLwIen#7g\}f\I nbʮ{%BshQ1Z-#V͙m[Y6q[B 2mzS 7/&_2T W bUxjEKUˉBE\&l#0m=Pu=ϳkKIw$ȐjxT YMG! [ e>kniʾ8X{x8@OՐ*0m)V,:S{4ǝؒᾓV,L>Z 8vo`9Cd(3;2 ȋnh@j/n=q;Vk8S?~[iϨ1b%Q;0b7$:9YH[XM5Dpj,^*^l,{+—鶛-6rW,b\cM"2K=rJaNTMC>laާa*i=D !d`֗)kpyҠD h#gsZ+Zxr4w[-&3/@Es:͹(h3ӥ+L s5 P{4FkKqV]J]P b9e%:ʋ/x!ulRz-}39tzĹ*%@a3iK˃&}7;~532HצmՈ|bDt֝Rsc+ s-lp|Xռ4 -WhMBcs/F8=kɮC _Ӽhޭ/fUp܄B 4!4Rۏx4Ʉ 0=gYZ 6> /O# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A8]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqDO̔ !꩙%_|ZunC?8`ޙ}f.h{6I!K҂m<nj=Ql5/OYOEgp2L2u)K׈l'P#JhUVD0.,XQf t PSg!* 2~ h/[H2MNN)X6*87ͳ!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220q/O# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3-7x`FWJu2ZYic oƖ஧)7j%/EHj뺆Dz `Ix)6 g*)~Mkx;e왰92yN.VŴSM*|a#wTdS7:>qc]ⰊVAklVF]PQ#![u^t'v<D]i\K~V(&p9˕C|ϢNn[IǒVp_GIcsq* k|) 7R(,rrK9j?:gR$ A[ n$?gAm9(3ՂL%8Gȼb)cR@|QArTmⰗkbfI%Y!xGXM㍚B7ٛڂES1?y(@>RbDv9\5]rܤ1]*Ab=lܪ,7X%po\zǪgu<"F u̢8A'^4siP)`V|M|Ah9dNq .B']}*id5#il͜Y x"[|]:۠܋dX+.S$QDnIk'8` A`F&l񏫲8nFYc18r}|KG!GbDzEXz{V3v|.fi(Lx/:B&P m7% 6vo \fޓub"0ϫcFGl+y&Uw$To9mu)kcUi,FzA5ܣ]pX3z P:tv*yNgVH\ -!v ѫ`3沂Z}!ewƋH|@ bzpxu"s~.""5Ϣ/W꺿!}k.{sӻyMcY(*[z<[X]gz\KY ~YW3.%&7ɀ4N6:(@]]/\T?y)ŭcy2QW3XFu!Jk pJXFGһ 2,A(m%HwlC5Y[c)T"%lM]U9Y' wqNd\ӶD fp8Eja'ثa^IdiFbߗu+6LOq$LO 㬆 5ìŁm2@SPbUq[ҁ_m^Oi &b7(8m֎`í4 l?SeHj]Pn$P|-hዊ@ ºbʤ~ X(GˌQ%B>Ύ1Ȑ2]K}qk2)*-mw::U4ݦn%6']f%O0ưw&>dAuܸߌ{}P;1316/h4ˎ2Q컈v-[ f# JӘnVC^]ltS5]0OKEx3{{"p5Q %a]DFڌlKƝv>K 9MgI!" 2AƞTZjccyQj^jL_־zĴ nԞi\i=i?R wɣReGA[,nI@{2*񜕱W]99g6!$}H|?[Χ>@Ǩ1w̳-;[wQcDDP .93<1/e 1\V9j";/#QD\V?> p2Χ~,$`p j)mNJ,Yv s] ׷.ⲴI)!2P+:(ZQ*Xobqq[3z@(yA Rndհ-zW ͏lsk:q3mNЗs=8n9$Wdz5N=Bw+f2D+#ɕ*V爽N^”qk,9H79ohm7`ԒI] 6Uc| gI0k:v35͑~]^vdnAdݠJl0umd ]Wfnga:@'|g]"%˼t>H3NVW'?$\мF i҉es>ɧ!>ZCHX:h8"cmГt.esW jX ,d88h@"]XǙ\C2b~ObGnQ;ugU1zv9VY7jspwRKys_o71Tac l/CW+r %sޓEAmGx7n.l6IٍƔ' aIۮEmHfKm W,*CNby8kd+'iŋ*F"v@!)G@}45еCW,O&,$?'X$t aVH6d]+>?vLC|0~9+M!N&(k٣ G"!΍@, #"jҤh/`#!'sx+aZ:OfƕYg"ٷ !1iGy&8vIw+#ZnGt M?`S\>SE?(<8(i\)i"{k\k!:*6G{bMGv/\ mno{+J+'ӊ]q*] G*v4]Ȯ8gHKD&F*!{%ë}Fŝ{|b8B&#TuK,CCv'8E~ON5{Hp@ӀʬU=rUݚXo2c*d:{"AçYCjIl_BrgF[g8vt ѿ3Gߦ`CHQa\h7L@/7*2QJQq:R ԾՀWe,v"@܉\XipӨH(P޾ZĎ(6_W\P~o1eg%{ҌJIQ7x|hH"2ByНՃ߈*(A^3J p2wCK(`..FLYRE GO|i#!p/ Gg b(8}{*U^MFZoxoݨ@a 8 92J][sD(%]((#UO,7"+*O糼) 2kGwU@uv(ӊ%ew]T5(?J&Go:2im;߲zˇW+_zoqP°9oXb_ !t+KgSagCN l۠)e,<He#VPG*%g=XA[}mpaӚJjNcX̼])Ї<3X1yL}~T/&̉',Cnw=bguRFz_JIX-+12SL{j*ry{C,#j1 \Y*'n. bNoWN".UzHe&~Q)#Xp%>2><7)PjLW ]+98) t}^tё!{WC$yr,xM QOt.:I4u:엕_{8{in^+:RlWj" A.&wJ``*ՎML&؞G+컎X %ˤd?%K0FCq EK6Р=++b Ol &%V2%fh(s̽|)y-uE"Qꙇ:!'-.|d*GNEC4Hܹb|뷷[|D JM/pPN[')R9ӜЮksȖK GOH輦(lvл /q#iYTNWjFeyq|xWWyKEZHw?961ґͦecm2:^b=;R^>W:ˊ&#Ri,oEXOOh3++Z_ӼgN שdH>F&W%.H?j|n#>K|@fBoY]Yl7]9]G8J;!x`fkl'JN.!<1's )"d"*z~* V7~ڧ8>@!A-\κ' h6ښc)s^OӍK]bɢ^sِ󳠊 n1zy1O(pJ iޯ4ˁ[Nlڒh8GשM(,c_@Zm/Q~q?x\m 2)\{qg[`t3A"'g?v3zO\:/P0yrvYe='E`^Jc.a^ȷ}:q2E*+;m?G_>|U{yxlBlN8ca],Lj#{@:[ĝa5ACX@b-A"4TiTE{> gq "Jz 6Fdw2MNWX0M^~$ CCbx|J]jfKQs4R[ۊJ׻9/PYq xRfe:6E@يXx} D#S4dx@_l :lr1fOrj Bs"$Ʌ=K0IfUmc`Ifod]vۊ k+ ׏H^)Usk 17ਲ਼q2mŷ2W|c_O[z3gm$3llk r2a2Ӽ|ndzd68M!a39>ߖLmJԈXPF|u3'Ek?kQjq-?SE3h˭]4;+n͟1~7f0[eOدmt 5?CZ/DnWhrsw#dXbքG&\#, kY SU (clFf4aJE(G)4"iޝJ ٷq<{53y 7#K.+i7FkB7!sJ|Fz⨖0GVGdG[$0/^#:. F4 ?|;6lEG} l]H!좷Y>k'VX0"_;(?Ѣ%5!P`7Z|"g{+˾LWnqmH A)XռħciOt T٢f0W,+₃O8xz0U'ɕc6y5r00>4 Du$ | ӟ;qŞ c_iى㧓YM]KD$t:VI0B2%: X%q!j,OOvC}D^m1=S^zi\cԨEddz|  ;kNn#5&^l캤lx{ݻ箷ڸF+YxPI&R7ztStS_]ǹԓ;|6Y96mem TkpbKR?nQ36>^I5!]@}##ARKTNV^E-B\g 1樭V/r*Gdr!nI/2wkt6RnjI6Jpsg A/y)+;1K9`{uF~#c&g?椻sqJR=+ 1SLs>g$!cT4HaBGgő7L訄z%9{]^4"̻(Ϊ[h3T <"H/!XZ.Z\}ϟ.ȅ 4:)mMO'h(PW'?S´sدDPZgڹR-7zP=Y 9IN^f(Ca3G8<|Y,x}>}1rN,,lZ$}mZ"!C l0ړ9#Ǡ&1߇'r(#-^y}:O; ;hob?,WS$~+\JSN!Q)>GTً=7I*Ei k"썯jG;n4V(č_HMdN.j(SO&^dLVU\Uɇ73hC9'zzJ7p X:i_L)v5Oؼ;HνsrdK(CNiq&= ^m(Q]TYO`Wo)Q)Ǹ\hzRo%ZąKI>3Q_=zkt8m#8Ed[Rh#((=+ēs m0U~~ܕ)fxr[V^ʟ<`G,H6uA.̢EiRQ2=?X(9^pN #uEjL'hrڥ%.|]3 &z YñLuAm%zꔣ=f{~ gO202`Y{vt*;ZZg*hbQ:v=:|sO*L:Ev>IV \:bֽ:ꀠ=m2mFԅ'#G/[^HzWuSx&"KDq }ֽsnY{h.luƇ8?h|m d ·`IQ+(~lh'BL8Fݛڛ^=MSNWwwZ_ =Y9c7s;EͼQ&oo=l+܎C&Jg_]dFc!۟/1N2wGnKW1' )O}ta6BIwnC!t,P-d̸Rb[gF STcDu=>B>`1B ʃvtD RoWi6 ԓ-0w6yP"UqP wIKas*=+WR۝ڦQ%C鿌-qcfr;|/O3V`6w@PӰ"\ia֍O/PnZ11 QV4:P5]qshD-Y1xo0\L^SŘ'0dh'6-1p$㏾zVp^; pxyh1[TkA2upK\cKI?J෴9CqRў y#~~X$H >gނ"bQ3bQ\bTO7>MQ#-^gxđM_TpX!\ Vwn$]jAt)sAB.ԑk{ {NYdOB4nl*ۥ{J[@[V`5}jRQ'-"X\NkOD:5z /]ڋhKeU4l;}_28Л*@l5.Ы -T*LVK߈ *I&3}Cu4#e.(e/nD v^N8i&PU9۲9ᨁ$JkWQpV=%Avy۶Wl,HqRI;*EcUkW_ u \]<+[0l4  iO%LTW~Vԉفi]sb՛wC5_:g)L[{IL淃qx)b`r?b jR]Џ$Rw|:fP@G`9E_I7csh(+)A06[,䚳툥"v8uGa $m80P;#58Yu NLNdiP͌t})jݑ9UC¾0k.(H~έ+\W{&qճyO9%Nq.±C&(c^%[ęqB&uzHVyѠ RM8y3t^-pïS'>t{㿋ZjudV16JljxfP蚶04 oKvSnP-%Wgq}8@^@чe!!DL(aLm0YrXJג(+xA/KW\Û5TVx[J?QW-zk곇t}^Av;{锤䨥p*3Ϩ0UNn!f'kS]@~^Pu0b?-JZK52y4`|jed"A sm;"@0VxZ`"UxLCbz$;o[Qc`.nכ%$iPpc62a\(q8䒸eߍ*!a%8"Ȭa_?MM18EV]lU^X>OUBRn6uT,' RE KGH 6ƊP)HĐx!i;EIcrݒZ/*sͺMwHci7=.jSȒY̚UGzkQ0o|86 G˂^Rv#HvdQ?5lx;*ǖ[pmHP OJ%F'G.-P,i0R/޾o,ȹBqjJ:-ZU3_Fwىvuum|8Ӌfbݖ~\3;S-k/1ͥ@n wyV^19r[JHC4Jl,2V?/sT)ݪiWc9\cI.dx0>%BWMo(G5qg@EoE!ΒaU`G?(t%$# uإtѶOe!Ng0>Xw/|~K+)SJҬ?0Ax u.Z"׎]>E[DH_|iiDy8 yIy#S&~G*+.m#)h WJPQfHv^=.RڢȂ ] \~b_w[gԥm/S|l\ǐJ3?ubK_bPcmS2K8!|;j93p&4sv5B/pcEį. F+N^{ł?jŞDU,@]#6>rhpl>:+_[r`GóАw("c,j~XDSiJF TF%2Vf hT|kG QMtؼLdg2^~!8L0Sv~cJ]+=wi'iK3 J5ҟ3TVף:LBsƕbo}ߍ2Ef ? ^UY%X|ËfrO  ͓u ` RTT J16V:,޿oEtDGs\YgcP=!4}q*ތɟe$M')4N)}ybsFFpTz7Hb>69(S$VfީF dG,mQ)Ƴ3BZ]b9bۅ7eUWnn}W޼d33$%jL[G&/ @/b]kB,XJP}~FU(2NtrrBC8`k }׹U40}b_j!X_30T`\DžWE"q.1A[Loq\H Q^KT;a %nKCHgIogĊl?R;̴:Zqc$gl$( bSJK7ŸP&Q+$YCDH폊Mc:pE2JzVmMf4;s7kr!Nf|%׀*v$10^mJD<9h7ԥj] GjoK:KKk'3.)ٓCf \[vm8H^=v'xײńzN(y[6!fBOΞ ++DSey L~q&GN"@H{Tm8c {u=k){? 0dGXHNZG>~lc`8ճJG=-LR;ԷMzuTfnB]k`ah{bvKx 喏BFGӴ9a/ yз ,\?>OVLOݗeu E%>NjKh8Tzl1 -DVzk ;xpjDp^_)a:FލJ( McMBzB(^h*t8l;.{hݶsR5X8iQRN< 7mD$ >)W^)|{LJd j撒VK+}ɑnFM18ϸ\ ʹ{Q6E_gv-OMdV6LrX֥p-]P=`pNLiTϱ7dlk@Hu-{;E+`^S2ozMQfM6xt%9qo‚8oAolEH.̳K&O[ܚ3a`-0J7fe$jmZhu3'&;R3aޚ=1|TѰ_Wu*m,pL-KѨ.xsBBDTbap,+tS:MhA킅F<(,苸,~ABrW@w++jH`T +^ӑ~&渞Gb2f A{ߠўraݩ.|TlVRI]ުPXYӠ&&kA'Q(ƁV&8u fBG/m%A叿 C^A%\&1=;)B!,^t܃[60ܪ@K}sˆy1V{ A8 zQ =Z,>2NIʹ$䣘N7Ħ}(0l%Pq>dSvQK ΂ 8-( tq}C)~@6~7(±&fi^|a#Z4!utjv1ԆU=hAfkmFj .vl3Yd1ڂPIFgI}Dh(ZL zte.= |(C*Z*e*!< "IׁE`4w}-š mn'yZ=jyє --B%֚Ҡgzzˀ_j=g%>LcTS}lse}p FfkIl &v_KhueS!HO1s YǑI2$LIgkoW[hD=q |ޯmn:'}R?ްc F ތv[0}Pb_BT {)iIVsU?#W3s-3->Vv|_RUڀL .j˿PDuj]sKơ7ޫ4?xo<vOr1zj@bNI5Boɗο\q A/8h?zJ0{/R/Pӗ"lFa55pπSPm,3&F# K+qV:11Q4A' p2tkvs} bH0wj5.Y!n'ZAoٰ 8^T_Yz{D}+M8-8ĚA]aegmF9ihrѻwg 7_i]1=Bb?Cx{92o>7ǘ!%R #l>ꊂά;]I/))Ž8EHh‰ˋH;1#v'nɳf]M`U֍zI$33<8„wǝ(>~Cha $bQ |OfLD!~v'~#({dcOv*S٣,.͊2]XQpxXu?S{0"9ذD+ 2)3H~+*9 [a_Kcp}JLJ&`m0Иy7 M ƞ)y$x; *$F[عS`%K@.o'&.ɌXn,i䢸l, lC&AKCm6x!7'fTRiՖ!;l|S/Q%ՕV=0i:0FϘZ#Y -R=n[o#$9nLZh 'A|L)1Xu[EϚ0ADUdG($4;{l'\8u,E6& RPfǻpM~8S\&v@XMo$Z?zqP 6I9TWsA/) ||Gn9/ Ǹ%K?% ˩vE!lzO&Ixm_&*XئG,pR]vxb|Q)` QV^N>F+_[S7_1i(R^ʪ)~U@x'~IWBw} S!(ڽpG$67_Q@%Є=vXׄSwvu\C: L}}R^ n(XKeQm^Q0fy]Vr^ w P4^|O?{dlW|x.3VlU ~sUp! i(ppcK Qr33qcxT WW3!~rϠ;O%\)k40Ϗ8GqJGOͧQ AahR!K;bhgdB=`mLxgẚ?  #c6 (W>սl?fF.T;."*=+ѧJbBv$Kسp<\-|)9UՅsb{OG! A-`bG)cݺN"ͥ-JڑXzf^j&Ԃ*qڳgYZ o j VoG! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E enD߽L̤ٲ p"%>VIGѥh%ȓ!jWdz9%)R5pG,@n5/ M A1Q?ك$sjqh =bIS &q7Cb,lGNO)*\iFZ*c2lZ/ ro@eC(''W_{uQj UIX)&EdtqQ iQRע_ 6SM(W2~5aKDfCT7쯮2tM\OiPhǾ RIAIcG(%b=)BUyzg|# 'c1?n=m-,S=+S .MAi9}\ꛋڼFFP6V{W?_Wxj+;RB8=%kArk%}C:a_JwÍj&_94 TEYvmVGyl0H!;TW7QlkPIbF %y62(!˶&Wa)w*(a~: v"d\/]gz 88ipJga.FFI'} OsWMa֐,u$9}W]#΢&k'GԄԴoW9(vm[c-JCz6 gYZ'ejv8mr~Rg7۝% @HsЭr0mӍ=#!?+ӷv .6 r3V݃>ꎢkh.4=3y!t0~i]i;M(0tm-(MqLGn71oDmNHEQyePGb>i2&un?Oz^x3%Dr<_R/Cq|%*Za|3Td7&>TI9dUgbh Oy!Ua" |v7Q+i7[•[,P&eM2] Rwvp鳯>uU),AYu7i!?0T$ Q4&2K&Ww,z7&Ahti xn@tCE[ӤFK#0b^J7Pꣅ[41n$v # ~lcisHݿ lJHvtZV-Qx[OHV%B0oB##[sO8qYh! A]KL;S ro^R1z&hU`E aO#IK(OFr4(5aVHb{+OU,O|ԭ&/4Pr⋕gi#r/l`qs!<,G!lEr‚JZ:yU}HE~[iٜ$(!r2. u[l@_pNуQ(1&Gxzh緟Pw[mػ^bo젶%DuF?I43I9T>Q8Pf@o!{R6#C(v;zXǕϴ:.6K P4c}]ֆj!X(V8>'fqVi<Я9Kz w$8k^ID^.;^v9ӯ9@ȁsz- ,S^C( 5WU,-ZE`dpux]!ǘ{5ORO`1`[)IE21٪L"?%@4.ImJ?txK8D!~-RX$y#abvA~ܙӊXI| R _3cA$\*.^ 1wr]'*}> 9yaםJ{jpUCi i<ϳ)9DϜa]w/pr[a7w}хM_x"MbZ%a5JW4)TF+#ȁDž-q8Raւ7hI@wm2Аì :' X$\nќ[wEh.K}6ƨm6Q`:q(p-ub N] `"IO?QDq}H=@KB*-!GxfT["\Q.4[ˀE=R"©M+TX?փ;N6 Q?E].l;F'?)D\Z%Fܯf{IhRiԫޝ1\#hA}(W^w2tby(nxK@L ZFm~VT uN\+D5'pYX}@{EtHQYJlNJJ/gӶXd-9̱#DWwLzznۈdYIItԒH ɬӠ*Cwz-ȅxzɝ$bT?&#֓n~ݔ)kUlnѡ-a}Hc5ϛбW-3:vVB!0ĉJ"Ԥ[UFG?P"Edֱ= spqnun҆\Vko+xgRE+m@. 0hGztMxғԩ5tyo\ []EaO1ee'h{Y=83xuLnQ+MEh 2 $99l7Sblf~y2°o{Ǵs֩T$.ɴ0g@euY̸Y*Pѭڱoe1\YN=(FK*DWrIPשA.^ Cv1"^||&~S&!5NA*)gt9paG1'Bƌk¡.O.;Xpo)NrIS!UUOP]:T00IO?$~nwٟӛcy[`hn`ceRZꞕۦѵ6Y jX(dwy Mz5!=V}.},zrF+GE ڀ*5}Uag% PJ;ɗ,8sl&!KM dЅHg kzq*b<1+>Ha~0QC+yOP$$ILdُ^99pٝ,S H#TwX_6PB( Xd8ĕV; &raqi *'dYtȏt;.[V6KMU;3t9Pm.U};Wֈ'p`,BeAYl&opsX_iut~%kl tv/E*q;l>EٹUU1*{5˖Wk26/FN;Jpǐ:`xeR .~x]Uz$_X?a$f39uLӻY )Db(|eÛJƎ/];U#[Y* 5Z H>J8/ڨOͼ,wCp'l+SWԌ1" 6ǥI֟%Z}>&R&xL!;_$c֘]KA@WQm{9G"T+ vUykq_._o}e('rC\xn[_SwNvtɻMΨGV:(Dž_OﱚipXմwW?}8>X+_h[.Dr4by B]%O쪶~ݍ+~dH%!fz@IEs5Eg"w 9w%2,=e]FO3h (OصըdCVӊ92Z. }  ,j7eڮ@(^l|<1xI-[4I\ .1Ǥ8|2Jc7k&Zr -j#`֥Q‹4VTpOVQ&^ ](jmOԷqnv6}c#|Vhc_ϭ_wЁƨ %uNcJe%%Hfx zԋhc 5_СβɱZO54Ex)s]E[$ݢJ2ՙoQU0ζ;A gg{"LiygNWyEmF880BZB5U({+ &7Bc?,4_}vyh0w?AͦМP?EдzzOq5v]p e"T* o&FaG$>Ws:~ r-M|#/"~i'lcT6+':SIJϷk#Rݟ;Rňqspd"x,f 0T5&-"33dSDt/Ebw¼K Oc0WY16bkAGg0W1ntg/I`U(yxIj $~XKDvLWYDCEB~[xi]ݍ)"u\W'ux J2KE$,D"d6hT[,e729)˷dSOY*!yܴ|6LOΟ(.79Y0EufvC?qv`E`f|9!iGN>g8Q}TEBuw3f f]4BAvܹskrY&JF?$'Dͩ[iE>3єTCnȫ3,"jE2u=[m=clcWi3aytz Ilg| >!ejAOGۊE|>=vcq{ ML|IFrQJ@G`۶5vluz|\c1VBdA -b؄T7\˂xǽ^q74 82qrnq:_DE"r̐ƴ&i=$d$78q sG~ձ*Uj1{iSc Wϰc>CD.qu)+ΠFPjZ9%̓O`3gi S,R"}e&㞁e~X&gg[Qd-B};8x N_R`*O j)$zsdAWtãZc?W0 􏭼vPaJՐe+{`v:?SH `z g%jfp},wܗ4|t7Դow ! @+ߛu/]\U~(Lio?!@ =&0Ja`M4A:<4Nj$,2D.7Ie͟^_(4aj-06#YMEz# *`GM0e, SGۋf|n] \k,_"#!kO^n9;>1f󃣗 =[ͼdo]n`?#xNTk ci'ulM[0S1!C­`qY#R}U- )aC^p8Xʷ݌buKsgoў)gcVZHa#6~#db?.z Mf<daNm!dr'ދ}>BKܹ;*i\|fB͡m3ʺ k(C/ѳ XiUou^s_::Gb[{G>ʎ\A (*4 bHOK@`߸9X?gXq#[^ ƦjM2JYrd |i #ʁ.Hߐ~~XCYG|?>'P .:2W6n\p;0m] nI @~6_!wis_ݮ4> #wTͅz=N?"ew9'favI_p>Pb)\@i[i4=c|]jq%>AZ/zEɘ!f"`5GoA5WIǒCnsƓ_&Ϙ]S+4FME:3|Qm9u’xN2V+M\ PR=ߦI^ -k7RaY QSBY8IңlGx߆ @-B_viҥV!qևH z.J]QVh H.EO?i _!K"i- +ZZٿr_S0[;177BWàkP]h۞L}E]j̰Ҙ9F$^9k TBĕ~?(>[W `ٷc,ppDp1n0|H9LeiSXH~2(-'ǀFV cJفTwzZ6W 6tbtE}C~vz(qd2su$@ߞZD pH e,ah'zoMtt tɩ.ж9u&n4=?Er\Ow})cm`%^-B;t(ۃ Z3ey?^^mN5^A.;]ޑѝ;| a<+w'/:kgOpj 9LcE n^ 0 >:"ܳ VRaPP\1?܇cmANAwYWSz2rDq9$Wt<-OG-²ƌ;/csԳ*7(/Xȗ$LKCvk',ߞeh\A2vj|y(꥟Z?g)74DZoOyή!Tr*:6TFdrxbqvԝ!8oxӘ16nJvr;!_WF湶iOx!TH)2 5/ 89ΰ_i;7AvEbXjLn[g}[j85f]Vɚ\,0nSRCܪ7T) 19a%Z3)#'*۪|DjR+7ɩg#\Q*PJ~xW&ά̃\< s۶ <=>/@BWCV2ugЫ(JVH,rMۢ8|"FV29M(HjzƆϣ!*\lM풅~(k]8;(n/ޛFX#^?XNъLf!ƬI=$\1*(30G񭋅3vIU;WenI<HKciuU(r G/^ $k56fyVjC2SP9 N ˟j~S G{)>bUqͲ^o[ `dz3\E(NH}n7^%o.s g%~ThbNY<֒]$q/xk]LP\JC~&OT?Sj)׹ҵ0@$i"lXFՆRAZ16OQ/®xߔTO5ɇʮ#eGd&~ F''<ؽ'^txlgRȒeY7Nu!47E^%k?ekTC_/Nf9g($M+OPe&//6Jq5 [w- ^J98&qݡt`>o_W8^|Et UdMs]Kɿ;0:R,mfP®1Df%7ùaJ{emp@^}>i>̞#ZNA &!4Cp_92ksճt;Dv\4LlS(8_qhhNn̈́H1VǡUycL} 6R͆E$l)|ݶsy9uЄ߳L,lm$ *D lXLi|s{=кNw~df?k M5v>,ڂ; ['cE ե6Gq=p( B;L ա.P{*ֶsY?HA +<&|~;eD 8 F}rwm; >VA@+;X$Fo'RLiZ^ nTa$EJEjJAWZISߙ 7 U(I[QGJ&Ñ4rMڦAt&Y}.-[;.VS囫ED0 w 8?vO]o@iĦC<+an4U o< Db)\[?O]VR6~5 #i>?ʵѲt2O*$BtJPeaT{[kt~@~:K f'7ʖP4lߝ>? EIrp5{C;_zbm|+`\mFtrKʏ|ExQZ V~o$Q#&*h/?`D-8+}˂.Khe) c0פ83M#%xMaƢ! %ݑ-}I/"{.6#Fq^6u:^i O@ Tqo2$<ω-=Q%W zKf$_1>r5eBnW{('Qf1ZLgM@E+~Q6jI+B^iNq?@k*dp;@ͮYo`gaM(:(#j`lb@)cG:}^|_cn=<8&.seHf5 { j&'A lTyx+dFkG?Z7!ȒR/5  A$a*\ye {Cpm7^"s4gx6!; Ob=}/h a1Ϋc3( ||Z3pAF5\% }!V 8\rTX)WMԖgHBoȥCJ]pB)w#)1I:4&Ƌ}0rLyjne1k 2-!,3Q܅v-F;[*NjTSIhVc(iHV;5 q_l = +(Z3PjM!m\yUkӌ˾?pw:C@OJܖy(5zKy֋{۩ځwHcp.(nb\?؈ɂTD&  8MGiB뇆Lȗ,3caY\1bgo_h+e`jeN@uZ{$8lJbf*0,_~{Jv͊FoG` Zglz' u8[CȠ&Q|0HTA(=&dj 7Y j~`"bu٤R T`ȟ1ғ>Kub=">=80\D"^[&c)eFC2^c+.óHh0{GԑWH7_Wl16J4bDlh ԓ aϏ΢R8"wTHt߼ w紣!*ݲl|.^V1??:NnjhZKSB2][@zN:&׾V 쁽<Ž) 퐨Y؃oFRɕ9kY.VSi??^`.xPj\G0*ͺ*|,Bw| )0f"&dR/| O g^GO롻wP‚Lū)|fsn'!BytJn=~ ~fDMT;S4o[G'TcyQWne $q  (3 őol$L9)0|4S绘 J]̭d塴]&@d_8W<✔ nL/P-G"5OV's^";g^aV {/ڦ#yNARX|0+P}ƐUqMBC (J e2+V|xipΩa+c!GZ];ˮxtu.j$G/+atHfIχt'H_nR FװS?9Bί оj2fimfݿ c Nh4ę%>!U|(EA3]? ۡj Qө\?; w8`GgZ?9V `[X쭠 U>'%7ͻyIG&njVо]{Xݣ?F4j&-(hU :%ni0Úyo`x\m+@wnXHG 4 и;v˿!B//OڥZsΖ,t+4z4K vw|էZ( r"n2ЍLsm |*R ᗤ)?Uo֦QZj &i2Gd&B[dKK.j%?3>XKJ<0?a[|eiwd&N cςJkV,iG .q`_Jzܣc1}Vb<KcMZSуTzg6 9 Է1tg_Hkj c{k1N|oMv R'>, ۪s~w"4,ySyD8|]q(ȏk}om"Yu-tXIfTwn OPutp f5u:w#ɐ/1TUP)c~/4qKP5t&BR<^bPCq$Dhp 5$r MXgPp::ׯ#InӘ4{fRݫ{-p#:)C`宮3,OM/5QX=rgl( ktĺ ss#vT.)yuR-ic (7د{$0\:;\^ԔT[ciT)&Q>hݳC  %~]{`L=)+\؂<#10=F!RzU7?ɍraV/ꍚt6ׁ%!b~\C;8P(=a ,zQ| MvIwjqe υ~îxrίm91M O*"s` E̿(pE6  FE3&%=P>70ԧ%W mkft)D%fow{V5/qNhCIf |Gx|(ܸN488LgB!uBPGX_GҐt k*bE[ CKjn!kzj 6.?Ke0 *t$[(i1"zp|$Ą-I藶g".E1R5n~uEpɘg]L~-'&y5-X*&UuՂ;5?%'+*zs@ xLLp XG(}(Fn`{Qj5Tl*CO{K p޶!Kq: ݢ4ʸ:U ~k+mE]wꌫfsoxL4 ! FuUE~'w)b]zȞa%}5jS+xkE҂ZP&., ?b/xt;_]VLn؁Z ~AzXBw2r:zRׇJ7.IJs!}~bC,184w!udE8/ S䓖'p9Bǘ1)Skpp`^F%<bҖΈU(;Ku=U"abX#M "0C39j̛c͸;@3ZNM4d({Abd8ߡSٕJ,aĠOoݰB~^M,9D0K(iNx CwMA|&T0]l7<'|G =2+']$[8w_AJ1 h7Ǫ:.*U.fB3*{QO)&e^Htک@2c~!NYh,_|U7J)1@}F0+ x*#J-o:I.EWD Rr,I<~X}t޶8Gum.&_ﰵ^p 'rk;Tj + IwxI'k,< n ªU,=. 3iMVF+'gdz5/k<@KQ?6^GG;AM4'h2A?l<'B'u>H"QϱG7 h8(*lw|V;T[c^-a;9 $~G184e096k`ү;YN4P$Ϧڃ/HJ(c=6ӭɽێ߸…z9Fo綂Tx\01b7VG &RLDP2Ykd`܊4xZ&̙~z :R]*<+ACsG{i|Q}y-/ؘ{iC%}& @B,AFT5@)Ԫ.fٜg(,˼~8I, mB8yC,(]Gp/[cX0'wH,<~)cU?ǁ(Mr!#@hf#o]6!y,R6)s*WdrdN#Fc(v ջLnaI[mvI{Q0;3lKQj1D؟d[|H;ɘt֎jrv$k8RSST ~d> Hػ(r`Cd_4Whʾ e'_vt5G+Zd0pKY%Nw/ 6z- _[ʕv[ɑ+wgfr%NG3ߎX) _.) \ ts)hRՠ7Z\Ɠ]k-w̄.xfːi"^`1lD> MSaMd7{>P &4-4׾(2}m?=TϷ]gx`G|S@/JQͱ5l@A40 TM( Ez vlt"7S%CuNkE^)@ RVH~F'b9UB kά)ϲk{ߗ/΅&FV3u鯸%8p謺dK RHN#`'{rէW,\!m~N$^IW&'EB 0:Mx( Jj4q4L]p2Ӹ_")[,kWu| ='&)vyiP[A['hKHo!%NH\i2 EY,2 1 _}c8U+սQ8"LYi2;k8'\ g\G I|"Tkģ֎0%ptR PT Mՙ릮UegѩZ8#Vl!ǁ|vs'bk,a\ ) ƨb^:CCI|Szrf#whJy=~ED>C>e3?U9&O5ێ5?Ot= tp/ٯan,+^dH SJ,$a9~[e#%X QA@5Oo~7I OO 5p IE6i6My=]0| N3' N =,2oMnBf ^_GfLztk.Ðᵭl唵7=Z㕲ÜtuYՐ(wZq)n6!".B{>F!1RT"~<0>],P527j|(\yirJ'}g<98}lH]s>d;*ë<򢋜Fȹ>({@ARJQ# W.(+Z /sZwn=]{Zd6vL9Ol|ӭRxNMґ4;WId>$ :gz]we: cJ_{1nhWuHg֬Փ%j^xһjAA2dW!(,g] 8S3F#F*S1׊@3P״6i7@&B|H8O:Q_~ )OnLG7Q AT~R+#b`/VQ艺 .ՀR'1Lz{EGġ&FgϽ̌mB#J*p h%亡>6d͂~罤+>7Ueii}=gkAB f}hC֛QYh-ߢur3פ fHE4~#ZWcʎ 6[GSGzf-]x~gKnI1B>Cc& uRa OvJB5qP; Q-Lyӹ]EgeN{luFjh5(ar 56pK3< s͌GG!hϥ˱Wo")%[Va8Zzi Ղ"X;|`iaZwCŦ9zx[b\%A`7',=[rO'oy)pcc3iV=K-a߄-"=20|K!/?_aۘ1hQJ% udWk֨PI#3AO4,0?ZI#:? :tނ@6RO ?ӭcV"Ksp!qؼ GgYAZ*"8n$؜{jAr\g~rnc Z?ih&_0P#rROwɳvA|@?~0AV鉁iKKB.´@Z'I_<\{Y@_e0N҂1ggV3B1`/@Df ׭"jAT_{ ~ _=Lڏ/v h;wH2!՜5 b ɱmrL2]J!ɊȂN%J};s>*蟄[zIg.NV7~BLUh*g_ 0Jģ2ک3/X"<+tos0GijD, XM-KswWB(0)P1()ᚽq=`> .e".h30uR fFO6@wK#$u=/M Nz&NiAEѥh%MKՌD}}>\{C_q+y42) ȶa^ "˹oZjQ< ŏG{fc, Mj9w$[9Ioky8w/3vOqE߲*Q͵ 8VW+6=@A xMM'qvgjs/i>}}팢ۼSP}Wx њ6XISBN"3PL7Fdbb+Cp>bkU5}ʮXHz' X MC`]}E^Tf,R0J_◕SΩM v_=_>fbiMP(m{NǬ>>~h.-/|d{M\\h]Q?\}TMs0CXB54LĚ)>T2^c9nFs%͓Ӟ/5=. <0=}PH): L~(XSS2hz'Xi,@ [:Kq0?.>tk\"}Ň5{l kJx25\ÄSu{.`& NZrUgtNG}x4~Ru1.e$- fH '2xrNY:fQ${u?WI8dcq_5!jm8O}j|]R7%Ez0^7"]f\/.vd@{q,3ރIF GͯT-,b&5 To7ttP7ϿCEWR.*D-h#RMk@G>|3f!ڊi53ۂzRzC6nr~2{&8&born09e 1ts^!&/j[EL ~C'Mc,h>ֿX*AZyLb/KPK0]"7=Hϣm䣳.I2fTo-n_3`R'7:qX_\*r '% .@**3"D[@N_) |;T<&F2qݮSv6ܹ44*9|XL&LqL1"$%+~ @G|Au -H*|9LB]P.6 3euXT"eQheE֜?ߵ4 rǣsÜQGs,?T}kA uڭKmNgYZ gmga%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1#EX$Շ8WZQFa%V PaUϘ Xj ώaf4Fp\!},aC}kfbWUg,X9U!;o_쪕7 fQyCuAgg4} *Jߎ(Vvb@_ȿz?^rddUQHne#RY[亚ΔoS}ZM##ڹCT "e s}Z'_G$v9{$_b</8pji4] g 9yABP5L*]-q<(@xJ! 2' K[gVkAIO$q8;~k.n(>Q5uOS0sn^@2МL]e-e{GƉz5қlJyi@N$v';X-0yd:6o67OT roiFjo<*_ۺ O)5h,`ǡ\ȸd_=d}@kQM\s hIbí60_ Hpr!_uaH 4 d\\ l}Pkc(]f>J+U/|gb@H\ F{P jv,.uhݐ2̇n | BAso#D[H~pGO3%z5M`*%C[yQ"Xڔ.YM8ȱZa fK"ʮoqѐG+4(*r$ܵEkޕEb"ԝPwuHrr$gqNEoz^Dej}K Z'Olqv%_t&VW+Ju*FV % ^Pq"I5d!yQFM=cV*YLsȔ:BA+rN#:=QBpqqptG;QN%*?3??;2uy k}'5LD|K8"dLa.t\_ z=[JGCrEaqf?wg]!N/6!0Fz* 5{yaHG4a2,w+ٺwY#U6e[BS_wm<3aRk?HA@+dzV7Sú;`8O4t[%`#uX9<ŘI_I/?$U#Q.tVp1Zn@{.A{諬NDzo[eiXS=ha g6t{?@6֏QbePG=j+Y^4KNJcЌ=`+š,&%wцqLVTtPUi˺4lBOpvOxCҫ Pu6U#oa2d,EDtd?@:1E"*I0'Ww\-",D9^΃Q!ζÑMa+ȵsk5uTAB]'2I`ѠwWf_ w+`]?l93+yYj>%f@>2qꝦe֥$ƉzAq2'Dz A8 A_#tEf#(DMB!5CoTQ1)8(뭺PBf]9Od/5-$dXe^j!޺'\ܼc[8K!u$лd4ϦD Qwoyyސ#ƒrN/8FA谂>mE J>é`4Q?0Z+U`ſJ_N´'*Tĸf`>]4~01u0wW^O¢(UGUﰂ6 !uW \PX)N6?[-JқR -B_]5aX0O 5Se|gYZ;_?"`._~l 6P}'xfNJ^I3+sx'ꔻdc}L7;MciI!crQ8gl:L>A>Q3݇Rg &.]QJ.K2`oj|0gp4h0g]v`ۼ"2ܪρM+hғռ5;Ϗn͙fnR|҂+]N]Xl%nHux9:cbE}ܯη:ЌUJ8&N>?ԗ ^Rw˲5MmA/s$Ĭ)i._uf5=ȄbQ"sk( $@^2=+Tmpt֏ WyQPSMOW H)xv"lZ$nr7iQ-uma[NJ#µ()NhcGb2?)V,BE~l Vt@=kM`Agu/lr]\{&d/_\+Z(s?go7Y|9ym ^;JÜg}e )I<g pn73XZ<8΁|wKUAsF70ݧ 3ۻlE#[ #zOpw2U2{2--tfSs.׺܂Jx떒 xb11kL hIFX}|Y7HX>Y)V@jFdBEZ?!bFJe;r P-អ _InQY "1 ]#r񵃂^׌%7{ն93)fLR=5Q~+|ZNϴ`؂#U2[6DZDA3a0BiXWeH8y^a矈ʐ]aAǰN!gW$``.+ޮKk(<y<׸-׃#22d-R@Rj[Upi7D(WTDŽh|AߝHkͼc~\e^AY۰>bVqP],]@$=7m SԙߏAS'p6ٳ. ewwRKrH⿬?%߽h!X`uN^X[$kA!=n0Ze BR MXM%ـ s_,jja2kLgqWL @XWDIt)D M#!tvF-#D`*o7([oXS8uWЌU(*r^r{) ?8t~%3PqdEb)>͍(Q9u$};&G%y2CĜErb7FE5}F&(qP(W|֙ߟGBYҧۉ'#mB!d@⡨c ?( `CFGwb  i|~iQteOh]p=>IOWa-G2ăhРnI=^GJɞsWX @P@,\ctXY`f RC~'ٷXs%ls~D@VsE4}*>/,XAm6D9(O;e4J.[D+Xnozf& `p}1Uapdv# yypD荰*QXW8Y!cʫ@#=ˇ6ĂͭS%f}oټOE? K-Vx]L (`i\%eb%Z}ί6ã(H5by\Cr`LJDDxZwDD#Ϙy{/,E#r}Ÿ.Mxl+TCN Ulu6,sh"ӵyyIEhV6^|Ew @e00yœށ2u ҽ4{죔D=7{Hu{q8iZ < *$QCZ1]G5d 鷣\76?(!v 1Ŗ I_$ LULG_Eh / *52h|9M?֍< F LV}9,!DO86^oE-ׇf<~T e'PmI9VbQjeJ?e' ly k" T<>vƔXmL+s8&HbXܷwՃe(hD%!w_O*=PԓDe_O&E#}R"9.RǨHTԹ)â[zuEL][5iҋ&_T=2f_ m! <)0=xAJExbڱF* &#Jb3)}7AFBQ>^iˀĞn_Fm\KRkWjK2|@[.l)TFS V7qf`ShĂrZ; K X]D7yڠz wHh5T lwd+"QY [LgPA]u6[`=Esn6)9]Col 3Olݪ=.CKq\ Jfdj<^8Ĵ5ؕB5^\e#t>KQa|&ugYZ   ;]],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208S*/C# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;R]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3֬OrH$9^5z h[|^ߗ>c0&HIp>0lW-W\k+:BdA!N>/yRfeΕ 肋䄾P퇕E3 rQOAp~QM>F-ԉ Wkz}dk tRguU 9Pʕˀf̈́_P `B,xK&, N[+Q'JW9 _DhHm փaҐfΏؿLl~Zhp̽??aW4n+_Ux6Y`=Ҿ{lb%y" KYX}d 6_RJQf|-\ua{s\|:&k^q/I33Ͱ^i{⸚0D G+QUp /c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8HBm_1eQ)"o%'f[ZنJn6:8!]NEeu"&-ߗ/I3@ Jԧ%Cz1n7t6dD0lnĔԺRSJ?8A9*YQGr~&kÁ^fc 'G$.kp4TB<ԗ$a z>! ^}d&I;g'|_yIF1aZʪIѳЩXX}T#ˈ;v'6ZZBbWbet v #*K=,l(֮_u:O=;ykIv_Ptθv)It9x<~vQ~G&˭7Ȕg#9gYZb&/A# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! c]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c`AZ*UAo]s 5|(ͱӸǙyP dF/ z]\ E@],캟뛁tD(ÜЖxӔ @M_kH/Ǔ,9e@ے;b ;|ӼN5$`(#CЄHjkofy[?96h`h@P1 *3e5-CTV( s"$PAB]wXE06*&1wN<[Y^ +.W]_Mm:J}> e1ób߳dX,kL~5C:Zst@?A{XU9x"qot<&l"IEĠU*HV!'X tX$^ћ:&'uWDtf46fW3q1mJ^%ҝl$Z1,H;_aQQA,XQ1gUM%UAS"J |_]9iwj%51N?&Jl&3=,{(|V h>nw^r -Q)<ӱ8i0}?0/ `B.+Tm!'ț&P9 nc('UvTRJ0*VTQsC?$;*DP8G%p@BQmc>[ 3t` ">W驉 s3NhkqYx?I]-Ebo-蛡^,˓&8;<4%kz8.F? &R w$>BXC~푥*H %.MY`|DܢD]]I"dBU7G.!|q$4?sgv\+qj ?͕5CR d)c Wy/kB 5th1FaVEzϓ|t=xm1qx\fU4Vpoٜ'$$73: Meg;hRP(*6nsG)m8Yъ he{gnp!UFP8 _vPddI\׀tEbW>tv֢LoGŒs͝V7B-[)e&C1^35p+KV+XہQ|1\+u ),M^AP*Ź'alBX 7-3i0@{HJl W.-]޺ 6\ҼAy?5DnAނ.!$6vrS [f[*hAMPIT $:-U˻?g!S`QyV^yD)ޓ9q3Ib;B '92;?$ç5Y0Dt4':xUdBLh4=5'@٘OucqOa{HעM28gEڏ3u Xy֛u rG j_9~|CoHMI{XVn?$} ,q0wb6 .3j-0;EnS2EiUK+ZE 9l>9P}ܗ4 *L*fNǶEkL|Ru ڌ_度E{&69"=bTy=˵wN eJycyZesvwǻ2n(`'R=?\1#2miS><{TPs3 o)666\&5IcS6γ3FdMܖj AoV}RZV`,p~h`H?^_'s-˪zK,(8oQK TQDOS&xfC,v@bNqÓDƢzf1: r'چD0z_2TCp@v6{ @s '(rON;rYgm9[TY/08-du׈~a կK-L^y6撨61yBcoO|@Ώ7gP|*} {Ji8 }ĪJa:A=xD ;7ŵq|ToeEX05|,:Y="ͥ_Svc$D r2-\~~0X9 ʕ9|8;x١CcՉ[.n4"lUKŇ շ~j҆)?n (l~5?'3h0ǍpQ$"|DZƲ@l,mD<8Lטq"8pL pw99r}`uk҇'Ra:}J~u/v%d}Uhqk! m"]բ$!"ja((/5;^#ScB2cjRޕ4Ļî,c{8V>bGʂ`ˤ LI22zqk|̝s4ImI rq]/y ˓lWP>ĤWzUńIdR(P.+sǴV&K"|J*V߆RӾ `AfoF(&k:GT#Y]Πا%~vJfBpof֛V3G.IYm]6}_D%/k~r 럭E aa )+]\nA>gJɠsAR8DTRϴ!֜*M_-Zcڥ nS,3*uy/ `+[\ Z:+M'iW!Ln^#Q?=5!+";OtC8)gڈ( չ##yo8g~rbT8Pl@Nxw%jB%uvpY_ qT5e_&Eҽ>cXg2d39o->D@K:2(ԠЯk[^Nj%b1FpkSٓQ,)Ja!jrF;9Zj6b5 !P?ˌ|O1a;R'/1l`qa"tu WXeu-;2-rEE?-*47O<} ]K Q*% wk욤U™UG+PJgUe]umT0=[;ݾTP:Wq AʚE9?{|Vp/Y%h[wOf}-4uJ}8?l^`uħE+SjFNK78 `mXӷ)+-c]]"_,eۼSdH.&?lD?yt~4RC9֊?<0aؒRLi?nɌC' 鲌NbC`(=G+!.Qu7ޯXfpWF1Ľ(e:u1Vzz}kOՅ!%2CgtyJdRU6Mգvjemb=GݿdVrfd^x]hɉw9pP,r5u9\!()6?ֲ`,G=r(ҷ+ fJj>T:R"^鎐䎖~ղ;0GT,!@X`1>'?a1!{ei4(|%VkF^9MbK`8ӫ@AsCzp-SIwiP8It^ڡJfkYܜ2ESM6hc~oATŷ)1`c3k?P -I?q8(a <;%q[1٨4[GOl˴W!z%ljWv )p?c@P?LIpSL&Z-a @Wᦌ >36fWV{v6d2k^n+C #ksa끘>5`Z;T Gq(zU|EOFr5"D2TwC{ LZYH]AX/CE @?JwwѶ DלD'lJmA7RLs62Q?!btQC_/o[2_ -=# 02);i7z ⦌,]oFw" K, Kg.#e{U#\Z528ŸU|BY;ᶵ#U>9\Re ;P=mO=Cȋ.Ӛ泣wuNH]ev"ɑ)}N2vrVd3!EA*`@=z|4 fZ+uà2a*$2+!1lʠ}5"ĨboҼ@3c ),1WTE(Giq;O!!IC? E4 ֏&π_AZ>yMWSLG-nN_e^5:NGRIJٖm3rܦHӦŠm&VLÅo9SEQ_bӠYT[w0*85KtQxKFt,Fz*$(mYw#C^`. box{$ʸ( EdSj.yR\Y[ "i+- Va/o Q͹=Ru:WinTh_b+Z.F*D;Ȥ֘yu;A# 6Θ&}U(A "p؋dtHD 8+D@K|L`XO3DLfsMkBV [oNnZFq4;+ҍ{&`2(UbY9Yd_C{cp<=|:0oH|g Eg[g2SVr1=F<+V+؇w 6{ЩZ*>Cl4E;1ϓ4T9gunݵfCQgd YNNTp'PCd{p;AUh43RπLU )[a@^zl!VCov7|^}a:5IS4}C졏uzbh$<2R첥r &Ϛg'Jj%z.I`w˘!%衇x:٧1,dc(F٩h r1y(?\ߝ\?UIbx5!S̈́&GT ~Cds 4Xx-Aٙ«|ā#&[rNeh #_<"Ojbg` Ąs~OT&wQL5 INNWfTg1`*/#qGmvAUbWfCAdDiUbzb"4 "bx7B/[ z g E!ׄPҾ3LG\LF¹6]`N=/&ǺB-ygWeq(ćSrސyN~8b@Vp/WX\Y =("r,8o6#ATߕm&@+\x55!}Fy$JNҟ^WQ9.Ծ%(l'o͹).>DJ*zp<=v.Њ5kϱUGD?S^>l\VT.'BB? $a 1R\Z r Z/қE1M8G/ȸV̞~M%Už+|}K,І)#`籮mLgz,#T/Pj Ӟ8i,L-hukuM V #y) (q3;]TN Lr"=`rTsXsgǒl= 2Ʃ\#fԞ`|+:(Š/TC- _%2Oq̚Q\Wޔ xC'h_cc2p9' ,p~=FKZqS>k∅;LT1w]k*FSرgYZ  `c0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 8]·Iq n[:|&[z'^} YRDɔO.`ƁP5*p,x#y.;y1PoCktST¶bjwfn 6&RdOps#ڻ8yĤW8v)<սBN$|Ǿ:҆ LslFFУxsL`)<5H13ۧۢ-PHReBnvE=)\T(PɝW6M``oH@1yJ+A:#Bf"X0fDbt* E>𰣚r2*JKp  H+!]]K .gYZ\-/=# LHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e_]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A.d8؁nJnI!TY2\vK%fw[B>JeAA!D"EN2W> TiY,4_؁Cԋ%E+J)jTuPZ Qls$uBQjFTKrd`hɨ(~U/t7̭sgHXM z#r uܙԊR׵ | F.Bg_␳eQ,·e-İnj^ ?C]v\‡Bi~'~밷,ESjA?3AUQ˼_" `(DZ=D5]|fֆ3Ů1Bj}22(00@zG>={#Wq#7q,N DQ/34Cv/VJL`C2ä1hɣj!K4oΔR yT"\4G26dնE! i/A.!bx,ϰ _8Pv7'ZS"I  +xLpR[G f99w  ) /_רY̥1;@b.Vdbҙp+Y͐6pN}@˧Z NRg)ZS[=fQ 4RdjJB CBsa t"UŁC3Vl ߅ɮ.\B?#s 0մeBT`Xai#W;,J<<0~ G`XAzg.VL1x|V{vWEj]7rB gu!%.Gj1AXd{`7+}@i-jq[jﭪ:0J^<.b_X5Lx<'+"jȆƸO0d-tEBruw+ ȔxK}ŭӦPQIݢa&}Z]6yh5Bb$J8K.;S `-<5328Elki{GAmxSC#9 rԲ Jbgy]pEjT^vXCg=hLvΫėjEͻטٻ%<E$_̯}t7>12$|-e2n뵹NsUs̐Zx($aGȬŸІPBGkM6 ~sԪ_xa`:^Ĉ-H{mŽ`kTw EKcv+{Y$(*vɁHQ෪.eZd'YX@w(5W3md $Ձ zɿ3\!Hx4Zw@oH82O1NCP3DAcSxKoL [϶xՆϥRShqڱ ^D*tHhuXx RBssos@ oY)3I_]#'Vɭz^*tjl[B#H%,г]%X} ^3ց>{Ro@죣q?[aضd忄w̛-rZ-"h ȣ!6D*7E8DKn S9Z'~,Њ9i&7UAA.ZJʷ cX-ܕ& 4% IkYeoFyP p[ cCJ{ ^p4$TjŜ]˚}߃"W#pQA3#ICzvF8?Jr=[88z$#l}Ed8Z"~0gӹ.s/eDZ5N pd{8 7chL:EO؈]QxГ/P ?=|x)q)eUThπ^ б%ЬBZ;=z3^ *TuH.K0djزqnGqS3:3_cVZN'Y6[^\/-s50eA@Y)/uL1 %  XGlBPTTh'a^2Ã#4s^>/a+9NC':xVM%e{%vL?2D;I8M.nD~X=iDyx\J"t1<%RN$3L*$ٔHݯFgPOjhoe8`CysKky`]+-u]Gj3~mxuZL~ykٟH7VP9˼_"8qP왧+lQmfa} sHp˭xHl!9-0z,͞chPV%8$id8dI~FXs߰15 ,gd1|5sܘط"A{fˬm@d쌝pnX%'xLtFQoNϢ= }W5X?:@îoX5'\\ X(&{{1( gTwqnb{~MF^fi"@)Δt1 J6 ]+Yo  9!8Ş0!C\({ﶧgD43<+O}B; +J㶌%=*qIlCoH]|çiNhA2-St?$,U տsk{lI4Ř@$$ 8eĤ>67h*y%' ZMMϩ\X[ʑ8mE-B!(=J'%sU5;慣vC`l=tUI h3G4bn8O;@ L0ECaFMr\cB7q!!. jQgYZ ""S1/C# 4HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! T]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd:G9QV|-t/lΉ)Nȝ;|<}k Đ2c!Z<ݬ-?n6p)iF\ =8C[-w ,kyX(A'?;)KD,:"wn>u Ƀ>!Ld? L3Di4 nbӒyD!d-u"sN)n6ߦ)!G=ǧ>-@J]iLeI6" Կz$^"ݷ@EK2oi(W27bOPެjھ(ѹǕ&IY9s+ZZyF#I,ް3 ]NN63GlYdFp` *h2 ,s-IRVC ӽ<+^ʇQ!.uA mjO=ql֖RMAmEb}DU$Iۙ +I'9kL-#\0-J2۾W5nF(GLůOk"}ֱwpM=R g֔ Np.^))kFhC Z c yn~Qtȏۈc"aҴN:Q7z}mN)D۳tc}z T/vćwEϟpZnpZ[h&ªn$:YL.BuNǃwIU ˓4Mx 5LwY|Kr*:ofXJ{onN gv=٫A.(嵾К&:W# i.[Ή*kUξTp,t:@j&5VZ% (H[EF"8WQPq9;3I^қ&+ˢw6?a+ :>7P\;ˠH?9+SUo@WN364b< ]6 7R̿ E?M d5C8%E6o* 5NLZ: W(֖vIa4խtQo!'a2{)+-h=oYU^ 82 De4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21892/C' |HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 7]Άxʆ5.f-9 rq8HȾc#inVXQ 0؆g9|'Dt+x֘{ׇ`8l'w~cI>svv7|6QԱFzL:t D\AT~r-bV?Q Ϗq"x`EeeIҘ:kES}ST*6}MϵJu3 QW.(8YX9+a]k>k$V<B4ѯCTgwX-::&Z!'GV&RǕLU϶+OetqIzSᕵgFhY3EcYB3o GS*!?M:w[Qyw){(`Ao0K>+ӇQq)ʩ7Nѯ1!~%Mw ոmRصƇޙ͢A!- H%iy3YhTcHċ׺{ajBFvA_pq4;L({u&p$1?]Q<37.Y^:w+DFsVQ{[\BE\^o m\kF]9h$IEpe݉YCf)uS8SQlSXXyYFGv#1r4S _{nnlsjH~~`8'7PhNUzt:FbtREy^Pkm+'sh7ech9l9[`{d[Z9Q;2߼ mAR<9.=KW{^_`P)Ǯr緿GM=V=m{PNܣ)/唔8v'JENi%~VY'X #9B y+K`Ĵ:byD+4\4OyZ*n(*$puÅaiٗl5c jHBo6L7j~R 慝քrToDT>Ut_D0/$?.b9/; 9n;L|q4ԂR. c(Qfiε.FXU%.Z]d?^–:U4TV@ 6N44ڛE$z%2sTM=C|X\u57f2Z`Kf 4&Z7z <'ޣA} >%]KÇ9h 3wna:G2ߧd-Un'j wy'xQomYIRKwpPB ye== @NJ*xEy+M\֯b kŵ#v!^̻zcAD' qT$@PbcK(^'|e 77ƃ񒏙5sfWt5W +;*1qHx#NAIG`Zّ BnCa~4lLA]UeauU;1LImNo*:eY;ӞuK1gd/q XYV.,Ju#ZX|áUy ?@qB=tzy6 "0Q⮶m(͋?,Y*a8\vjw xB/qvW:f#$t=F1pimPlڔv! 3+mxª IwߙV'}ʻR t@*~c! 62O#`A]rY@WifK.9hMoG]lwf@l>Q)q0yJc!l!4@#8B?}S7`c稺 7-KA8 18!-CxIm=Ht1}Y[qGvOB렭8PijfRZ:URQ3e>ƒQB&Oj }mYFM$aUcլc|=x&Ui\n}z&2OE'gNa&pPI%t+PLA1|`k$- W:yX"cp-lcD3ַGĦ"Ԙn>h Z8HbF(q'%bp ס[Ў7Aput YLE }1Psc؝\H}t>J6o+ 7`j\  qq8<{[(6ޛqA+Blyի4F3 Z=cb?a@޹f x @Ϥ4-AG͡JOlg#kZNS(7[<3VER"Lİά3O{nŬ'<31xa $ .5O] ͠?%x~(lx}6?b;^OV'|վv,ˇ*^XK>P2{?5I^Z`X-R;EzXW޴3UWK: un'KiG@GZrx~N>ZCiB`l^T9+tzT:Ò-sIS4BaDll]@kQ7;f`:~n& 5gB! ꦏy֟QAэ_Sp r_$E6KC)y).@tfAWeAשdxꊔ*' vC$@U'+ǚ+ J Kʜf*Tg*3|B.vZvrcH/6ʵ "u(3xR5IL;~h8ludiݛqJgپ'" 4;4]y{v3IG3*:%SkvY; 3'D1fJK -!֜H%Sx==M2?>1D rJ?vÈ[F h gJ8 IJ-B: lIfN #)v:疕.Z!Shf]pz GV+ӛ^XOlX$|)igIZ"׉bgr\&~By*WZe5#*E ʸW؏ |4cEyw*WeDQp{>Q4MI(7J:FR>#͍|bEF\KmuX?~-{7՜}s%=J*ڧaf>VVeWER@-q,Wyr+D9F ǢkC>Xir*d>E]}8 t'D4* CBWY]ܡK?}ı؝UcttW,Wuf &y6v籰ʷ! :H{@|P qbqŤ5L{`0楯32 M>N*1;芟/@;sh2n {." wHNJ(1 y]8dPnu @Sw#:G#@L]>nlcw46zOg3W]Oo( 5IuJ8UB{P1lXL .׵A`pI^ ( y0G8'U])kg@y$1D J8 7)\|?h>%w3VOvBv.Scb)z:w nEx)_)N4D<^7Dvm!< 0]pMK$>>Jݼ[٭"Mp04 n{CpJ;cFҤ]bKC*h(lO1a}BP$m> x$~&5pᒨL?8L֊a5,aQoXAP qpTGM޷ I)lh@ Uj2LB.+=i3u|u6?4ǩ,%aN\Iz;@ &n'y6o )A6]0/w yݎj~rfd&]nr)kQ,|˧yA5մ),a~éكB}Vi '78[p%Q}P\e Z1 NM2Ð}a5hCm3M*1Ϋ\!.C'*^?'I "OklYA %CFYU~xu3fuTR6F&SشhEp(X o-3_+/ _/+?xz lƂ̢z{^3w`~YZےL\kH!i..Q ,,-%B";z&D"ވý w=M +\hLD=E f'|0Cla$tq+1H5#h٠:<&8XiFZ'4XfsT\8pPe&COë J񛿑<҄ 4_e #(%uUUK =|>ᩡV76lF%Jmy@Z7BZ486Jmw? f1dwI䍹c "~(|,~8 CƵYmpXIqYϢ--EhP j1\ٷ$. 6o h4&G7|ЛUdb&I.# L_zevd* &΅={c) wbJ>oƯ6(ȟA@ILDq8&8XDq%DZ`t JdM3݂cT$"d׾ M7;NeX[2~4%UI,!=ݤ:<|¨#=56>ka/ㆁƆ" z~_֣m*,Rbd(drD)3:H>4xyv4gjU]_b҇{ ZX~.BhAvk|*gBbؑ8Frq^Ik21|+6ILXY'?B_AMZ`q=g)73/ -N>e91AAk݀C%ӊf= JBikНT l)8^U<$,kҠ:~Uْ%7)0˼8 Q d|eI՟z*4*S7h@p)$sIXvK26\s&]OBSg[[T5gm${{:I9o' w\>#WJM%wd6+Dn$"jMC16˳/A1qWb/Ȁ8ܙ=-c"eMQcK 6G|utzbI8Vlf'@/ ?ƾ {"\L%] LLdiISw4 3 D\᧣kg`5@dZgj_*ܥ%&6EH?p2S ?ѧq{72:Q"[TQiF =*6Mon٭hq 3do2_f{Na_gG>ݘJZn-eRlI=UDUgo'V~=mFyl .<ҧc 1`|3~odb5su[;L -&9Fө >LOT…S-Lacj*b!&BtDOcoGѬ_T&*.xwVz6h"#|Rϯq^˘z'a5z5بH CSZM~'Zc(7nPwW'UAU>Z3іm5;{Q6 <+{S98]@OTg[+g;ōʍL -{ZH f<=Qa;LrFo0" S񟴥l'm9VeypE@۠g)y$h,8ޢɔ77wXSX Vh'ƮS0+Ϟ-sLul O"m}ODFP8 rһ[R6^Hte!5XNA.KY^mgJcqZlb,#+lW"ɺ ,g[~' Vn0RF?ͧ@0GyQ>y)_`Z]wCϪ_HNOԀ9* "=!lG}|7Rž[Mnz+pA\\,*Cqut.KKM7TFӓPܒU#]>|fdvPgʌ`&Hj7@dSz9_퇧o?k`\REĿ eBpXlop RCC/uCbv!%5Ya|i'q'89jqv35-0nh?f_BRrB񟄨 μp7r9!+G:>tPnS4̅qwLYYz]R$B6/r$-tet!,T}XB|!! VSf`= #c) ]1Zwd93߼fͪ)gPõWɰU" {(wY3:&#5ߡƄՓT1vb˴Y` hփs@ttG+ Scq/S0vb+<^LncPR$>0(WGp C ۮu _ ⼎{V_-9&)P.k$AY$Dթ/J|-'rw%\'-5C5 #lö́vWQr$VyH:P¢M+ ps-_#M LBN4";Ԙq;^L:#sQznw Q̄N]OozBT B= H69vS!7.7hɳQd5-eD?Zgo+S&+J >Qo-s?򧡎{CJg8fy)ګN$L2h'rW]1kc Ph`оK}bG}I? Ǻnt_/s!D(}3B ?/`jLȰjrzTԄ>al^Rб_n+޽}4Y#a>惕fNdV*O8D)*fIBvcwH:L~FV|ǽ,FLM~kƃږ{RXRu? \}OƾñgYZ n?n9 /7# THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yTTz6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8H[ ^R *3}׆}A 8XՑ0ߙD[ O5v_1g }%deL#NMrpΈ#SB<6k(.ZEƅ"X1?kwA">XZwL3A* :G8 L~9p>v `~_ OuapB8=6̜)4ESZa+ژpxnE$ôtYMfDn?Q}L%۶[ {j*jK@3rf5'i۵|Vͩ{j=5RPusss4n)^uw/† }u&+SZngsJ" BO8m Ip7YN>'k&ƬDG> )*K JCtUF5}qrViX"O=pJ"!7gYZq5 /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'m]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwNlYQ0c{5>"oځa4e#)U@~d/_9A>;/E|aQ?f |B_ڀHMC7NSRF(+N{|'02 WwXϸ܇5 TSK+Qp#D+eXgΓ<#k$lJK<>1t9*m͒,EJzKIoG <}+];Z#:(1o\Nq,G)UvD hZ"V*n# &˷t|J;Rtw.NMRxoσQ?Ʌ`"4G#gY(P«mhɞ*Ę2)Csپoe̱{?f+hrG肖*ebs-%<%0-t`ţi|! Ez*b]r H8GO,k(ޏ? P.u 4(c7 0:a== ,V kla:;=c4UhЊK SV 4IU!B{_mДJ_َ݇^ਲfJ-\wg{ю=PVUL,8˼>Zm р+ yؕY%M|[|)T VŨ{,rr" ѩkcT8`kzS<3ۣh/\iהoHB'a9UOYЈݔ*f̟>Y2T!ۭCD@.E^ uH{&W zHX4v ss;lޑWcB>;%l5X}4?lāV,A$(e("#Aą*77n}0^9lkbKX+E\lE/NϳIcR0MҘFPW˹RV!NY)5/F io nCٯA1'PB :N@%@#go`>7 %8% %l#)~MFIH"<+h4A$#r ݬөtbW{(]K^`,7Uy!>5:w7C޼2}]%P`Ն#V68hA'<͈DfnK,7+BPb@~nZ!-ݡ]".QK-wxu%%t) j@n@J|?7;0B; |G`7Dw 3 )sKUC5+jq5v[+6(ncƶQlA=VcX}^CʞKwRaH$HcoAyh_Wԯ *NL63"JI0虋S/0Uŀ;$EhU4/b1Nb,DY,C mJ̎VdyG( 7OY]›_!HCaE/}28L֎j(7ZT68""vuc17"/Yt/CsvsR&U7yt.I*T@ h7 d%/T"~ysnPC%93" ]4Of^;|ɧPgasƖb"ҀѶTBVR^`Df:=V,kJ\t Y4˷@0p[1NRFuYF,͊ڭ5^tl'}6!aΛhd#I뚏PW%qڿ辫0Np$Q8xǍsjG h`kQנA2'Zͥ0V9:fiprGO !uGծWivn)Wٱ`<M ̆oԑZg&w'eTIS(y^}ߢ˚߄{(em$xJ'< "P9|>ul4 Uj+5c+ _ $,edn,xuO,F9r-@~)yv{H)?OJ/z]2& U A5.Ú(6=c܉_W&sXCR(T>fv,_oG1dg 2N9ĎK=w`vQ[$4跢&kburkڀK*fܫ\ E] >,Ol?*e}х!oQ眀W⨞Ž]od'mtuUu`~(5!zM-RTu4*܏|y&Y a_R)̉0]ѡ^x vW $a}W#|FN3!-PִiUDZ,-Ǡv۽MdLvx|* Gfo!aU!THQme E,`w=U0~A}ݔ *A?6y|Gc/"AOkronlf89" YXrdwE{IvW9s(iW(-]dKԋ]wߞcxk+rzo X[%z<3٦;(2J2%@UB\V;D\䘷CTLcؤan.4qjFvY-:!k^,P\7@ A`K۲gO@u4_p lq.+.BJzi%Х|nh t/UiۑWIWx~i[MԈTF lEXwe@"O*y N ѝN#" y|6{)֯aͼ9L99(>XMɏߠ3YHEꇒzum aF':Y7),aB]RHg>l17`=v1/臸Ԫ#hW#Qj8.Rz=FQ[ JWӺNA; ;?Uz4?b4PgRu9ѻ4Ǯ$< a̬O;-ҏߎZ/g4*O~qrYR,^0ouƐjXݣczA(3hm1(ԮC%a:QKe%PpU1ד"#Fg`by`*qVC!s?2]1TY ĩ&vEѨUINJ_d0ĮJs9hhl Ϗ.81%^7L+ VdN}C|{O$@m)3/6$[|?eK%%QTt7dTkjU H`"Vm[t Ks[O~?/c]QQɭH 47)oЫgEYT4E))1EF~i)UϠF;bPyz hY^f(C({mB "蕎*: \D,R)+U}ȒN-CkZ;*m_BќzZ6ց,%Qd\~_~hMm 7փ8$Rm*ʒy:|"T>1B{g^OipAc8)}I6<)}&ٲ/wB[w(SbЫƟVu$d,8=q^mqY*Ez1*v3X bc!!yK#1db$ϬnŠ!- j'-^hq/r@Z$a_Ww5a39LoOgc°>]RvAt&:|[I~9vr &=ia iE 3nONk/H +;xX)bOnRQIN{-`1d6ZBQkkoN)`"#EiҗX;EJ P8D/ld$WG!|QbX6 YGXBϟ<q:%g6Wك4H.m\? ?8~+h:4J; { ww-.9Zx?F1`?ˍ(ђـ)l&DU<Lj5@Ȟ4T<-{{kT?F"{0 PfXnN D'q+npыtX2ѹ2Bi肏Xi@vE<)!).m[Fai9.[qu8x da8ld^ﶼIh;NPBsZ@}oBt7'SY/pNs{F_f $}{X\K0޶ Etʴ~ O8@ȥ:PS(iƻ~T7nցmSFw1$.pdٝW[+|#*7 ݧdE3ĴWC-D[&hnݣx U ' #Jc'Q+ vdke<)!~K?Eޯc1~eC %^.KeGX3(C:Ǘ裑%'lń|ҟ̹nm^jZΟ ݔ!fDxk`M;oV`_bST9C%s.G(T9b+5/uT'4L,ۚW(8͟qҀ"L͔勻yLHF?45,) \@mv\VG|Ww:6OĐI HŸN'4.-.R^|EANK`shLi(U p'8iθGIme=y9}\%:nu '^f[q朒Z|2 *eD6Q1ܦ]~_*#pIlPy$.ceXFLފPu>(m$I+j}-&szZxDsdxkI,sXg8V.x7AϜʃbH  ňSdt*(ZOexfP"4-}B k/1!7$ uֲJ_рX=a'VDMbsOC̑Vb++ 堞00dJ0# ?.(?ln3O=#Y}}/UGK ]uXrn)fn'G -+ ?=\N#dPy98;Tm7@L$zNZ{9k-#WXU Iy\۠-rx˾%^΅tVSF_ 3p nJfW}*f(aUJ0L\*s4Kqnqm~G_կ4 %6ivcJ!$j+~tєAq DRΡuntu9 ySlڏh񞻫tEo4"Dʵ%Qd'7##q+"vl"~_+ơ2{PG|d ܢ$|Jg hΨ F$q+/ɔ {PB0^`-+f~P^fU'۸yÅݼ2y @l IôOlI U#GzQ:Գg技$vVpS߬s>Rdc17b|Bp@!ŽLav=`ηN~(cP#T<,bfZP a@o4C@xIϒ`5 抜H%H~hm$u ;(0JC>m'[mYGFKx&TͷD:;NɐO|L,0J;6x9RWFLw!{{龬T-U$>ȗ0yJfᘸQ|"ЂN~ݨICkQK O|Ĝ׫MwDTK%tH#)_PVQ%(FrIk>]GK7Ҩ(&9/yb $*{koGBD52N^` %@āԑzOMm,jEZ6,.A.MHtVҮDH%tBEh%yopHBKBb71ڛJgZw+ "/$;[ ;hH%DGY@q9唷ϗʃzq\c&gO+ra丿³f r0ſֵ."ܜf0j+mu|@uW[%}RcPq N?׈4I1UK·V|ūug 5r52*< @F(g T:سιr٬iri=el3q3&fvvhcSO۶k=!sb뛴=YUrE:^;y DyF΢^z@ª ^>:M@M7 G3UVQ^:8s<]fQ3y]ƐEAKE0M+A_9`$rK;|e$H ,(^UE,;HN*o7 `x )_ڗj$j;[v&IrgPA^Å$_ gUI@˿Tk\ܴލ+6@vs#7gա? u'-ӭ䐍J~ اە~]L:3Dm^UF3rfv J;o$`1$Q]Fef>&J V {-8.FѺp[HbLz3 "t3OBT=ԙl JƕΜ#/h:eum EDv\=jtCx!ov,vCa2:l#,Mu-`pBM2-_.]zt'@xʁψkcZ+&yo=\&aXtݙ8^mōL=ss4!"dƖi=_}.+2%*(vz269E"8YOޙ@$ ivȃ)֘jK0˰r螱]NH"s5IyO>1ns7whu)S#̟X>a~ =LS- ڰՑљBG;0uy $'\,=h2\O£'nc#1H5^5˘'UI'-|wIV=:9ΡiGr= p[8F*:R;HD&dFJ *-XQĦRKϔb tJǥӣɝiG>+R,Aeun Xh0|!*`m>ET𣣓 eMz-ۈߜ<~mTܔhΈNcY$ax lPtlto@:ˊ3aHD(ہ/)L$$\mF1 b%؜!.am: =q4eZ;ùARm}NL& >D68Sи,3c)g3cGNTIʂK@*EI-_Y )t.gGܜ- =Rr<š J=--ס$)ؿm:3)0!X,ֽҁ Lkʡ"osGf.DMUUj$; VthxR=gnLgvTlJEz`b'e !o|X=9`:wWtGۚ?I֚F"%7`?y6DJ=TшQk:BC*O~MSnU*Eް.):}OԱ4 @Y%;)7MjU4eߘ6%_7(Q qqsBHY$kW,o,**7JJ!]b|Ƶn,v֋|P k9Og9-^3>XU P }6|ʵ52{ba%%N/y7na\&,1Jɔ?(ryhuͥ⇭_; u/x=# E6)w8+xO-̚ q֑ R>Bi0G5YHrMZΤP53+ /Rr!{S%QF{A #| VLe4Y)Q A<l̃dI>pۀ[ \ZoǜEp{me|d򬀼Ơ?ZH_UJu0bpBG-1.#ΰGҚ37A&0+ 1ÀXLX;AO4މ8?%y 2>D웤9AJz vzƐ€ya sn%2L _c^nDǴ!yB;,i GpK 7S@v*9- I:: Sn%ڍbڵL?d"c!&C ?-Z.4)J߻*XlfDGa7/j*+ͦ ȃMʤHHRv׫lFJz_%t}m}0r襖!|&5{$me_5Q/\Uh 㝘D &!ep^凓#Fv>lvIul?v U'SG\0E5BByy;5d/_+\ 1tc7ܦ!W A갵n@WÊ9Ah#kz' .n}oCBIIp?'#B UX}gpͬg< ӽh ϠܐwVC'1BRY7Unڀ]-O%ld X-u,`_\)>S|3ϻ]t^SL NQ, QRs\CR@o[-g'yQSĝ[lMdcsں ;8Fsx8gF+\E+NEd]*"`%(=SG~ywh}ǵI,JJ oF hv:\bIa!3;1R|r*?5Ⱘ o zeq<Ε>]hI|ku>vUn?t-&^x4bk+a'c@aHM1Z9]}?SOG&3tݗJl$!>4GZ gF,~Xh@  ȈX Cmzfz*\M(O~8Ƃ5nThw ao A W0p` NK߄Ze9 ؃w 婱5 )>l.+E%L4Xz[{l DƆS)*9t,C~E U0u3j'7*T|P]2Qb}W\:(M["*lZ]N:B;9ykuKl47h}ztCu n=E?aZlzjoPP@l?$*y(84#B le0uxofʌ6yJḒoTPf|ft[!z#hy+;p$h@;D+H)j*+EtrSrZLHȰ,~Y:oR=v#3rix)'ѭe (F"5ݸ ߃-=Hv:[&c99t6ѽC8\va7}ck~KgfV]gõq CΥ,. .|̈d~9obAA!BzS'm<=&qn6dz5B| ELs.Уds>ܔ*Ur+0I4n??o8@r#UҠ,ZP#Is|3/̍a+Śǖf: i1`pSO5 gN(O@E1Ι{Qf> f0Wqx[G4Бx(Hѫ1ّa7%[DNz:`BPDP.y0ku6a9F0"k.Rn ]^\.o&\ZE9{KaQ6"_MBaѣ%wb?~d R`,y&'?1FâEžcynh(\sJ:E*_@ygE,R-)84MJ@L9>Uէ^oFӋU>^Zͧ qGO[ 8it[(1I^ ۣz0}!;̅0}i\ČBGnHe5w?/GХ~4œjhijb٪ٰ+(^MU&ZRѤ U"[y"GEf4xP{İ)vI:}6qNjY1e` f*vNswwflHօjއ#6~Ze w~ D8BL^5 RR|fru f$#4'Dw;(rf8:NLߪ-ŅopĖZF[Iynza%<HrN9_? v}q؍&|P`ԟMrat+1u^RiGGdI\z°gnwFjN3q}FxC'ᩖ)d"bs.L=m8gҔ+o&8+ 1J-2`jXZ2Gh(̘,CaŜpL|P%;zf,hwndQLQ1f}\Mer8ؖ#>e_49m| dXON@6u$|ڡ ӿlJ&f8K8س g@_M XLT.KۓT&By ćOQ&w SE2RK~؋hWqy⎟{+ky^*[4cJQoJȠ3/&y[c0ǷKaVmvN 4=5`+MNڇ)p`dkmLzBbZvpuxy'N^{n) QJ# ;ϼa]O\Z|GxvN}0( ܅k76!:Xf2p-}Hhڅ ~ST+6<42!!KxJ:aoAz|TgEiI]öx{f.Wn{p%2(UQH{Z#`5٦o19G/@z /E# $HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9I]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ex@hIx㭙~~B7"YGf*!:2"z!o /u 9Y,V~hZ^fn\R8^oL$]Vtk3"Wt4߽R< dֽYNn!+9MNI1("MЂ_$ c8/՚E߳{(*a >5~n!?~mf| *caTUL1qO~gn\eܚ&m<2,@aѨC XRcyMjr$?=Bx6# Ymh c(qD^*ޛJI h'A-WP ĀXs#JyHoKRNc45MW6縩/ێ) >E^8n"Xܑ ;m)𒢔$T>Lޓh)5C9)Lpur#["u75 uō ŕ5I4NJrh2!Y½(DKC/,tR? 銅̹݉k+%Ř`&##5 L\>QE oP*'2W2RlF\X^"}ނFŌDau/; 튓t Sp.Wu3pn[:N!!\]P[ཧUr11n1A8p(gWtm闹p9arUa| Pq=QwXX[`#)LrдvyB=0e.0Kl822Bn2< Br.b5..\ phZ2d:~,,a?C귾ZYéieV`HPĜd/ hu'l3^n7f/%'2*JΟN'$ʳ":DUƔp\baAO@RrjOKa|\І+K`.^WkIfh^0CY_ wX z */?K|1ͼ彡K,]cJ̿s?^zzCq{i +{m=pXu+(U2=J;osR3vOfp?r' \qc{*_ > &6#Hx\^)~aWVns|N0K \$LwI4K5# <]Qx{ks-kL;QN ^;qx:_!_,ɌDm{ӈgw-}('˝q6A5v-)wLED/W~y߮|ʍK:绡z_j7M mqvbPs. @@ $Ģ? L&靤_e繎W1ATZ|*ʓz,09ܕsnY2%L}M=l%2*fWgTR`A_s>VR)/KEN@#ΔFdCy﬷O?b绌/I~j]$GZ܍(h j@\7rwA43󌈢_&6KE p>_; ] >O4$b?]|IgqjA$X] T>~AMKe)p#t@LkNsSEʦ3tD ćxҨKJF|9|f 9`TE:hPʭz8DreWT'Ԁ`Sr#OgYZ %b$ Jn6 } = y > 1b#i o +tJb# ZZ :[L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id Z7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex Z3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex Z7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex @/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@j sS u@Rf1JuLؒg0ɏCNrٔqb~3,f z5'kk>ݲl mwr ^N2%(i.N:YW2$_VU*@&(|TltWsC=0ŤfA<3*Lr @Ev\ZO|0Un t͔Y;, J=RAd8 -BԊG쬚A8 z ȴ,q=ϧFLQ)k}۲FJǪM@Zm(qSa!pb;/vcOY<1vv,t(hSu0{}BEF1܆VMХ}z۞|& U=7q-[:"t+dz_`] "6ŪF/޸[lxFUjr{yןvگ4ݠx]!*tij_iUBWs-$ϭr -ONl ]Q^b ѱH\me2ⱐлg|G;ߑh.6:uC4 R@9־_ ۹#W pi4pIk17C{3dm$&9H̍Ǚ˥W4NE].lEX`= fuXZ#{f,Xʐz+vC%#ed̑Cp@SOh3T7R%8ګF*V!>AF8&/Gr=![ͣ3J^A* v8gsw 6闀@rO6M[ X#(~Q'±3Y5K![~ aķ&$ (ѶLi\AQn "VbPBD`tO J/?c$Ӹt%>+aChp(Hy}ǯ:O#6DGp}aeaެ/=@87z$r`0yΫՅA2oUNi@;_"W[?f\cݪ}Hiri:j2f_Qi b*uf{ )#d.r u\H$}jƇ2te- 23{@-6&^E{ yl 8-CuxkZ֝'g{ ߷JlM Yf_uU\>\NHܔ:w{b7}HتfR'{tf@Ld~)<*Oa:f\mamw8|)B)0ep~ ELf #Y@@"O`L7SO8懙X́Npa\Y2ji)L9r>f4 3o0~9CTc xEf/5rmҿN^C)9 Vhs5 LD SGFnRK)DsP.c7uXf-,T Յj##yםŚ7d؈Z L;9 " ~8|7SҾI퇢8JEaJKiz)dq@xt.Xq6f30mf{9-/x%r\xĊUbZ*Z>acr$z9)D4? zX8U}iR#eZvߕT]Xۼ\г'n۰ٽ݆agE( V .d$L3sQ. mzqQהgj[mãO{`47lv^ŏ1~ԖyLZ:yq+vwniW01 Yl)jHqatQ"߇U1UQY~],:4 Hv1ns5t88+`c%f{{K *'zϬwHX$3H)NcԳX pa48/ǵwDWtڶrUHX%.3/{Jj)>׶XR|TM|QoO{^4&r@dU}.r\mC//Q^b}*e)\(8sOm~P-@RERAF ADeuN\ besF6lPl`d/?3e} w1^f:DTcˆ󝗰nƵ\?#\Oڢ4iXP <~6:x՞[$GD[s*;-g?EY̭z=2Kڪ0ca *dpm5 $`kA(G"53 jWR[fl@!JLhkSK2^y աuF^.ݝؑe^%#͖ 2ɰ$%ȇ2pw)j99y-T~qBslyxGAs<ēkWIĚXjF}ڞ\ǩϟ,`NxɨAJh *99P'Y'wg0Lj&#R0 !uR VgG׻"%ä&r ڵnbN{g@X/@c-,m4n' ,`bk';R=KſG!L`I+Ԛ4RƿDOE0(R95,7+FʬZŭܔԻ]0A>[6bzϐ$J wϱ-OČ !~* \ րAGkV`v&S,.C=n?@;lJl4c\ǟ p:~C< X! \IWN+m; 4*|WwEŮj0zSMH+csm<KMaf9p..${3Iߪ9|!W*mR e[p/@B*7Lʼn@US(:L4BH7fH5֎k1s4)ܴE>x-@ۡf"}kfާK.kuqru]Gq0Daˑy@nnvRy%kv JZ >kŚ&'FL̇\_'D)M 9+ӓX'=j ?bQXi|ژxvr{|_PBr=W"D 9|ѫp/L5%c$d9&Ȕ ,zuN<^GY,L39݂Q{㬤e4UeGAGoZ!&qv*=JK4raIY={y]A.=b_7Q0sov/ @MǠa@ftsv2y+ kW2$NE<4y۟06J17f;vEpnR'(mp^GWm ٨ܖ Iv+?Em5ԛC|4ѩ$Z۳eI7EPﰬ8 *tzJȌ.hoUpѳ*ߊ0o[l"6o=L 7t u<!p6|7(C—:1t[{._W.' /hc}*Jn+O̞;J3>tWI֥Jx_zl!#: rߌY,wr^k_nfršaږFi^-V0Qʼn|ҽ#~_߃.‰dT`͂nW坪1(#uO[j Zu Fb\"Bn YN0g8PTA% mP~|e(?1 xXlWe@;ps58˷O#dͼ}wu k tݟB3׃3gpyQ:"VW8wo%LԎ>$Qy{3Om84Q.Ck_F{E4¶c?V7#ҢLzxmZn8`ɢjvfgOn2;"`i7N?PŻdOx0|$u 5.83+>t.Fg ۳L@,Jz(q.vz7w)YNo2ή+*l*v:,: U[d,Gv"*a4eΦx#B7]+qr Jepԛݔǻ .h \*Mu]/dX$B9;c 4uSeR}1a XHN2b4uRC86׬VM /28vu4 YM?]=<;7U>|6ۇ&A]z& ;J*`.Bؾ ]Dp=VoV9J%aGzh ~Teq[Vr_zQW%rO|}\3qS;Bsg xE <9Kw?]K hZТn:Wk>b " d:-},2yOXD w?rݸ;K;2\C~]-Τ?\ہ%p5ޑ裙L(/'UVѼhBFM[ KQqL%1lH)џ9b ԒEoe܀J9E03 :VNQ%wa`t4OYd%D { @\m]t"H`.T)copi~lTiHz޸aKbԦa5+^9LsS{gӕeE7KLl3i@uiV;9OČ<21@v5:./} cI7ϟ,;9C.Жvd0Q6J  2G&u[ZEX 2=YYl/>gA(KzCաh?\*X 4VH~EJuzf\m1޷{҂+E$?zh(4+p ڟX){*LliM)R0oϝ<~>.iOtBŏ#3'.jQn?bx|LYD")Rm*Y$#Iv?@}[#!ދJ)E  I?a4CNmZg'.d|٨!fX|٣[^5C\͖Eazl?dH)^u.GdmBܩ8Fl`HkPSNѦ9s@|XzǥQڦQ:R_#竮{Up'̥Z%Pgx4B0 KKSM.㏦*oXM RKPXfOn#,sietXw% k`(ux$0.P`vn߸Ur(JFkJ[DŘ~j[J]]L*19Sگ<3mNJкg>rƟj`gݳ=` +ɽUg28zf؊ [hy (ìqNC/f+|0xA7}2D$|Y&ẕټ Yz=3\2)&Zp, ʃ,z*i2(1T|=u'k+ۛ~kK7|-$@_k 6}kS*vp_+U!+TgS,i >P QB+C&0Kabu6bҷȝdF#Bj  2J9:Bٵ,Wc%yծ^KψNO>68u:WBE{՗vRj6]NT/.`C#~nU)c?Zsg9xȢM~dCQ'Q-oP")4eqNn ,40(\k߱-q|{)ts}tFbT@v47ǟhsŊ¸$.rNj+biv:,7 )͡2)IdQ%ZbΔ' p9%dja4yg9x/~hάj0Yᑙβtf$plЮ8 ..,el91pRai鈆T(c hz_( pE$βK6+>&wJi!ᤐLV5t}Lk0< .@oRѽpw 7C}+KIh36gy,Z zXPL'(ڙ>9&{l݇҃OQktx`#Q`"A9[_C$]w`Y (Ap)Kr%yڼx8w qPd9Fa):|355B͛hcS?to{n~ C"[*lk4ZkAp^믓VXP4 ˰=&43lL܂#_| ꇫADKP<-={'K>jfvԜ+ UT=>ĉ sfDl`u4}>ݢMמլfp'_|u;u$TW q otAjxL{PqE:7xtCY&"y?N Բ*p7 tõjemh'@4,ޙFd\c=@A@|Cz=tXZلbznG5=4$lIZfKDJo,`}1:RlL=kG2P`o?7%Jrx^@!.O2z9-cè R@9($ 44^ z%p9>ɧ"ㆇa>׻&N1O|@9G1V-upyb7 .HȖ&l0I5GN2mzsv Co{3@Pv#cJ%4FH ԣevreJbZfU;hl$8\}΀ǜA0g%頌8Ax?ٝgW83,y䌙לKTb33p6K6Y>ϒ!'y O\Y3Y9: hDc_k`KG?I1/Jgm58֢N;w@=9&J?7Jk)՛I9щl1hhMj@cl)qQJ_\ЧN+A y8g$8&d8O> etWJ(xK@U\k]bALp3]-P7թWBqřƻ]qj1b"$$ Ⱦ3 ! QH^S1I.[jfWh[ՏXkĝ=E\d,#xuk=^/Paݾ& K3{$θ=y A)4[%ڏlf31 E||=R9'Gl(d~9K#.SyWqPJ#LY NJ&8cy2'[WU}wk3~UۡsUI}k6v=?N#솼}kN>پLAe6{ܵ͞uDGUyQLRW80[=mAEũ#uO\º$ih`wѪ37*j\Xs"a c?{bÃ@tFlN}Zs&x٣5$hε_ʥuIqկr'pt?"ނo]8fPDFtkr8,3{#N'qZePsi|!/?2 zRIaqHH >V.KjuEE=پsѬ e2d6pul/a? Zy\3Ado*& oF[\;2na X1bN˵r::E^WI'AMna+;nsh5݌r\JH 7YGKpdAz3G-┴J|M<[ݒ"ܩtd/}?$-yN-EǞǘW琝NFg{cHa%s`(92exFD5g25F)?Y:y:YLSj3V==Pnr~T<7u<\S?@9\i8^ %b7mϴ?3]drzUj߱단TN?$X9 0!+T5U*OZҮdYK:E+rNXJe^@r c6><҃?c Lيީ6ۋK V=EM0?Cl8< 5+:ɼ̸a"Lrip5E{U?GS,aA58H'JќL<0"*ls_i/;$бh@]ʆu VZsNyʄ/).-;I/9M2H>m-tH?5w1 7y:B_`>\kaKsE 5W4\RQfmՆTWϭiASAJG[ǡkkS"'ɾ[p"f`ikBҧ& /<[?Gn8U5ۤz% MB]!跃*L[#[IH7]s@Gr7P*qn:8 KCߔ$Ӗ;8TWZ*L54hnmrh]WcO @32b<ɓlT?u_tBڌwZ/cG1*_|Gꊒ0jS\t}tKO*X44 ty(i+t ])%%[ ޶Y\XމdYxO'd+ ^-eronAM:A .>ƞMW]2Ds((,nY1@u . 4@0IcCn}w]짷I:Od*9XײdJ $iiCKw,3Yq: ,nqiׅTBd_c>//¶M} ȓ- ;:zF62",hqζc27#{H_zz8lsL^fbq%?J@ss]ߞ'a*zK~Ej2gb/FF("-z GbN2h[^p9H:Voj2J I)Rl> /bvQ; Et0Ȳ(|yiYM!}Oj1UfG+3ԁX׸IzKӄvNҨw9lrC yѥq'ql:I>Af;0(GB1@'ju8W0?`qdjBݜY!q?IYɲx:\-"DZ4L%SP Ӗ+XnF-{]^œ BwV%YB5\rkD~(щMisR瓘F3:#֬IhzDeͽ6'44&~hM_RXOӨAr1^O qBGP]pU΀TX+ޅvfO܏ogsx:˂{r\=Ʒw+֑6V-{<(r|H1VaɌb/aRŰ_0finAdMJQذHS+F]bw-(~eл!%^xx&KS/QjT}-cQPDIyz@ Sp90|a>8ܾ`q*쩡\{Ǘp.c3 CURفZĆpd[ZD誂͑aBF%FR>%u&[9t膸'R%F%;Q[  k9{ý}~QPTHQEҎP\ A9c'>\_" Cm $kZa+^aKo!#XtRCs]D'BbE U4a2C St3pپ)v# b̄\acb2HXwIh mJMI|$cZR`E6H\9 +c,*xk8QgYZDO[IMsǓ8ͅQēPAeB#⤽<Ɯ 5tU1u#ŃA!Y@R&6_~~9~E3WN L/ HP ʯGGt1O;Or5O;p}5WP#U=?ۍp6WWjd C.Q9#ʒWk=v\&dk! \Q""arc0JWcÿMZ8^q9?zMqZyy7ܿZ,A9895zkBQɌ&6.OL%r5|t^2"yx!B mbS my-[|BA}T9?Fr9\2\9 mj"+ɏ?gOlFa;/u!Qh|dֶvϴedք\9crw1}q"W1S[jn߾pDnuCٍb]2`Jb ~c{T1 *plYfx>QKMBivT{sM89_3E;lGm!IP@t2ZxNcA5-tЙ񥇼|x 1,~{pKxr`|tp}~Bu貟pa J 8r9$sVJ 1COcX[]M8hi.`%y|'f6f d܆*YȈ|Haޡ*ovb8{){BYމUO/5}2ͪ HHGnJ/+Mj4kmPB#$ q%lyFb K֝nep #sשa!yY{;>}4sэ+_saJfhT?fn_c 2YwޡNi\ʎY9q7HFusN -|1yZ#GR$6^OY~N\VڢWcR!+| rMǚ9!Nd#"茸Y ;$!#Q vKůRA!&ds ZRMSxҵC^5+679p^a+Ż+ַhU*˲ 0fc=9A?5[HPga ^{ƕ u3Ɯwtf z]68(Dsᩮ=T$SinY [f :@ZVꅔ4g-X}oCʤ\#e"IVƈxT+&P=hB&+ |S+ʛ$F* כ V4qwF_ R V],:-Z8k3u#d q<(abݭ"^w"$4|AIRO2j G^ҏn]u_Z" 7#eD{֍. Ɉ-V?G'4Y$~Gqл E}+)#"`CZ z <;a5j&S#YH̜chTXmקc 8ZƐi oc΍I4Oc3bQ J9%nT>Xt|qܾǁ:яgq"6yfmKVL,KT9״兦 ]b>TO k$q[HHysӧ?v=U.2\dN :roa"2`EaT ^+ȗXYMo(!>ڪR*ώ RA&TcvOqh|H nxW. [򩽙rx,wrrڗ~S9 k4KeCLF 3&?ٯZN9g rE5i( J#}Rj!""$ZW|= \_e0[CER vhnMm5cnk<Dq# ~ /}0[8n'TN;Q3[ɥZ0 oE-z ZY929R*t[@ЗP}4C{9+ :ѪV:$޸OWW631z$9xU yvw?7۳aڮ}$悖gy;YX_Rn6h xU6IZL쫰 +HY9GJ'' z7;bˏ/*?0]8|/i^)( VBJgrHY@qeB$gqѽfj,jmŏDwxOus蒠uݜ.d҇B Z[1v^zD@3hJ=;>_]1 O2ښ) ?ߢ;B)kX_dg̠SS;+MӼ\@Ca?޶?[kZdu5XFĖftYgC 퇴UK=J·nRn>֡nI +ɮ= (Y>wMwG쪆KWg1ͺf!m3(']S[Iˣ3hR ׶+OTۨ łi˗R =l-)ѯ i mv Ⱦj3Ouet)ø\ѿX_4h~L-6GQww&;C,(\ `ҷI14N|NrwD´jÏ μဵ gOu!~eΙ蚥8\xZDŽ׋9qSN֝C|i0lDM G ƿ]Y'@sbއd;:kV' o 1xx#1ؓݮ$3DZE:.AQzE<䬈4%(&)9 Kj! nVdR MR5`0]t#YXg8_\ײq5,r`ݭ8؈?v!&^)gjDQzDU" +flY+wͰFt <"aG=w~30`o01"D*H|0퓛$_;:İ'ެC?\1"M,JEeց֞M $>c;<ȇRyq!fK*ҷOlu>`H Uo[F#!%[j9'PY>ωm86DT:P8$mb)y$74iɢ"cS v3;crK5>^ ݡ^VG_acxfΪܕ٠ 'rG,@b" t1BQZxɝy'bQ)r)Z[ER.I?V䑌nѰRbd"Q#DǠ-Y V(OdyJgQARS+ynR';Mr#!(h]g[{Tl <0%^%(%J۰~~ZdJvA{#G{6e~în9t P ʿe P:lvᨮӵ.idy)W,qάh DB#$4x"afGA.m@b~#(_j&{/rHPa'rc6>ߏ[uHW˼  B@qp1ya R&JUQʪـxNUEa|VԶrsڂ:@Ĺq?oج߲1I/ T䃰딙em ng)3(muR<}/e~8C ydb-BA9\l3-x1]E`(`L|H]/<"[+U:_n-j@cVdhOk ?Q$ @@BɓEg>f 'B%,ڪp``_є~xY)T ű?G ǐ}ylcf~P -ez3g'd\%{͋V&RϸkZ $g\iENz(\K{s=1{Fyft79TBO 8OJ;]~B^VnU>+RHӭT ,qC^" w(ō.itZ_#kH6!ɮOl) .WdM9w`# oDOE K/Zv}Bsw`UQA3$9_mp[-4%7MƉ-p1ׯB$FLh?rva"Y ^VGtjtddT]MBYȆT?D9')@̞_;# * 'T9ԘvEfXQaXDC O`-y0G8r~zU͑Aq^4eO_'_ q _j"R XnbRB?8ÐXjV ؀{KWߥt xrhT~%vl63ųz}柣iu5^, `E]a>j]lbY=c$g opܬU: '[sֹ@}7EnGPۄ6̢]^yൔZS|lŘ#;:=w[N ,R+n1\U~<Ԣ'ɸ7'c>v+%Qq< YQ.8sFU.ّ F1FR9X}}`=q_KR= 9reml{9Ȯ=w+7X .I!qGȑfO[j 'Ez8{Q;ߊRn<2[g@vC0$D [']K||mvES/u(I~0/~p(nWzhQ'TEA2"n˝}0t`<y玚L- &l(?^;)|$695@ZFAo!LRta߿VmWR2`iO `L9@5: )<x? S0(1"WYiR*$ډ|n|Pd5S  7pn&kaq>}dhkW`z+PHq{ʁjg$eK2eu%P _*C׿&IWIO)sR%2|9i)Y op3>dYˆr0Gt N54,r\iKȥy.bvWe%^\|K<&tk٥vK {"-K UѯY ۣ|*;b;R]QYMUѾaTv ]ñK9 {~oRQR.D`+VDImq nRNq{HEȂAz/Lo0DvvR8d6yJ^sx|`b6J`x]gw1 6d lyx Dǹ_uhd|a`)+]fc1H{ s y2zg¯a4o;3J)~z8ShZnd^v& ]gLosD>5[5Y۝ܺU5득pDz5K4Z&Æd(E۾_<" TF5}A/J&jZhG *bBΑqE@7BEQT\+%;cJx,}vʑT=~|]Kw3۹S6jhLFlTMEQ*D9_]ՍQ;/GMvVA/䔏xmZ^zQI,IG _Anxz`*L{C<>VO滃5Q| gYZ   j"\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AMLG/E' DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*s1`gPt0iVF=6Rܽ/J Ys,;;p7E4,5q2Ogsdk*|YOY>eC(ea]vJK8?W6q.Ș,s붑)N6d'܇.WIHl_a7:ؓ'9mi{j!s`V!@zYlfPG%~D-7ʥb℅Q냱4.u6Q]ݜUЇkugSj>?b{%[,Hr#-IꑅtgYZ5F /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rjj2+Z;ҺJj,Z$lQ(WҨ .xnAVR{`%l- EMa~ 8h}&ʭsnOpn 0];i O6gß/~ש|~8XhfeJox*ϊM-ݚCeA"L*FLbKDSR(ۓ--Ȇ(,95] aKFM.x{FV,nCv)/Mܺke1kZr+z$KN\Kҗjtbo< Mld#(O\M/A Pa8f4̛c12A>w?ՌœQ2uM`ӑqbp5#C!pӣ{,'mA{\]Eewg>Mҿ[F߉OwdںRT^xb53@U${ğ_o8I SyŷSf詸kA`>0ndaYtwRO`i 4?+5|akcvZ3kN~$s}z1-3fFbBo0}y47y6J!-L8\ IC0>RXPI^{eRNlhG{]hIo6{,*nǵ,89Vf^vo^:z>EF>Pƙ3|y>,kf6NxWqwUWX_iƩnkAgdpSKnArT|buxڥKaY=r'i)*QsdT0u,g7C$ÿmEth"بJۇOQxR,(י.? `bM抈4>v)HU&Y9o0+ȦN :! ('E<|/ $&^!>ToBmhR0׸. 7>XVHPSse\oL"%>A7@;Stq},suas#~֢tG7EKy¦l3ӌT<3"2o%Xv%iWZ@"QgYZGдzU p\Ncހhe&,o6YΘ y0:dwڵW=EyoW"=h)V"wp6Sqc:tqTm4١3n?/]Ql=T|Q!2J s-/w2QM qdbs'̉[۾7mנ 7pFlסϛzYӜ=&ctRԀuӂKVvI(&9:z\ &Pq6>t9Vb-Z25p߾>m otO[wrKt&jwazŔO_%ClQԣvh_L!8Rf;X0G|J6g@(hXtXH)fȬpӶ̑H[0Λc~>[)(q&ŇjO Z>ﳿ'BqZ!MYY TO ۡy\-1Dl13.7Le|!awr|Q˚bf0q! \:Rܛ\O 쬄L'Tm^8m@N03e+@H~x8";]Y9q8"j3:͔7#kIv !|PC9$& `DG0z5e5cu5ON9/mH;4lKJ\Zqvy3[0+iId.`oeq@S nKyJۍӳ$Oc*agobIwnaAO<3/m-v"wyP(qA~QDb9FPKXl ݗx4֕ƢPh̫%e^N2Mz3!LN۷z멂DaX&Yv_CT]|AHm ~y1 WW4-Pc^xhEʬŵQV5@Z7ƒ4ryad`~ 6B$0ֺ+|Q*+Ƶ12I /W m-B3gB6HO> q W=UNfp񖤡\F8K* j]_U_ꤑ{wQozu-R$ KLJ̯$cZȟ8C-EEwB]f@Ꟁ |^E] Pϖs$WkÑ򪘌3N ˃2- u<ٕ]1V$(^Vp^*$2|ΌasfܫAƶ[Fk/j:P"7^Vc<9V%4 UL> 0*7 %Ć+rz%IP1=K)s5OANǷ) $o$Y8hܘc*q◦pg!xa_) Hv\uu5\:XTG0߇,?9{'fd*B}H}@zj\+Vr< ?gMe{j-KC r9qv ot} Fic,VNS悮S->r7>S٭i=q9?0IEY~vd+ ~^\I ^Tw^&Y ]Iq|AdV^rɪ?V3d$skX44qU!SY3ڤZj2:DsRVdi ~ިڳYM4 b<Zӥ⿀YI qt擝8!;q [R&d& ōkB{H꫄2wS%'!%&B9Kb̛Υ}i2|2)d.m^bAZ`fkȣEps%W4X 1|eݑ˳i4; xg bĔ} 8 Nlxr?@ Wzmc3Ge 1Sgh0ռ[爴b&a8(oͅK<FڗW Li+9c }IW8b!-Q+@3Cφ݁o_>Ѯ7O)q^[U14Z zP򋐈PD9L&ϫ46 J&6K.mTDL& IL1{724%xP`e'`GCo`}́wi՗3c%2D.S_Gm?]oe;KZEKeIEB HCg(t2 " q0X.sfDdJ>:NA‹hu1Gy<<7a:XGB:TX>ܵ({!MS{eV<F|K4Ǯy kUt|6ZH\JqpCirQ6 I#=ןvLa y0,lz"#N  lI8_D;%6V(rۨ|_ $4FZT&D!+sנ佈thhObD ݧ'{L'U6iK֋c})!eQun ӷk_ ]+QD.oL/CS"Rv&/ l$6eb6?r-Ǿ$\(}1*܉41NWݾ:}Á5yhRKr9&+⨲ˆc/:cĎt3MȗJJv:(N[WݲPyRn~.9H^#mNyՎ(!Q{:ZIa*ҏ> T<}-Dsp/;Ur&U[1s@>SXۃyΨ}^zyp}q18ZzP|z"rEPݢ~ AWIMRInGj)CwO{,FۘXEG5}kHMNƁB 6 A`X,zw8})ڮ6}BpEq |4=a(d,7HyQa[yH<_X&V1d|LzH9ߟJȢ:fF59qԢ 9;6{Wց!BhKys1Si;)2]tVFvf_X3rL&3Qh^(5Ը?f!%EE!(sPdju] ),|X]+_5],5(\J4p1%Gպځ?tl<0|v ]H& L-_4+ֹ.bV=B/Si h~[ "\OcG4^tS1͘ =ݷUcT `ɉ׮GDWDx@ʋ9,*yQ(0S1wb޹B4Ks P(g''0/ ŗm K>|uU`M 6Ǯ\{!ߜDAyvئ> kl.%xެx;}pvddyzBXJ綻t!l,<_"`FBnRUT{tY6/"CIlf@LLkD|/Gvt)OS>0}@DMq&dt"O]7iэJrv?}0NzXawkv$AHy"׷]/;1] 0x͖jgkb(`Y+ᥪ vW? s/-r*'eic]bb7&]lC$OG/+? g/M' AH&L-2.GV'4ti;bCūNEM0cE> Qt98hccl=iVOqjC_haSnؓs^"dntBfMTr<{f;y6w(yO܋5kEGx !֬ ЂnJd6j N fh5'H_|vB!`Å첹 8EYARgLIL] 8OJ6f oD޹`Ypu~ܵ6CSB/?nJב6V)%&rs'co 6QiQj#50|fScOPN1@ijc$REvS]{f;ZL6{Wr?}J!N;dJXΥXm6u+E~ M@F˘9 GARd@o0BF~sd2%$a*]hBsE<ݍV_9x}nϨgŋ`-#& ѡe R5N*h @RCV5dQf7 TBdoTWg8[hrMmBӐkÖ:ȬJ(G ^`DXfMİWsg7,MȠpl\tEt6DFM^7RDؙHZUCC; _aM/[Aˊ0Ko ܬl d ^,yhqYܑ j4E}jO:,ua⌌p[$N wC˗?vF \4UlERzCUuzfE:䉅+UX×`::~$e(m?XӒ/Njno,48\h0ŠV걀wBK7<=C}+G^Y%=rr-w :pIg?]]l. .V O> clo"` B(4׊=iR AъR)ѕyd-WW{ i䏞A]x.U${9\0rz~UwFi+Fl;%(̓U mi / oX}X D*]`6ّ>v'8/Y jM:P<֨j;ɝ-9=X,CD?4TJg6_[NtVBAHO2;A_d.k$e7=~G@#d^Y Wԫ $ڦH$NDVN63eGNf}]hъ \g_ڐ{zk-?'l[[ M \`CDmV;*EnWdQ•Қ 4x&.N0D(@y+2.W_5SkLx\Q.CՀ2O,վ7⪖ߞ>ZJk?͜pS")<;bݮtCxŜh84XȨEAsغ_\ih;& cط@t"i +$ۡ9ۼa wtPB]s n#eB?Twt(+W I4C4> JS& y]t0wrp,6F #Vb7/^ Tiu.͎8)jƷȍbh/NR7;RA>q}OJb_&܌<<2 i~\'O+O8XMIÈ?n38aLm94e3nL3I ]fH:16a*D_#êo!'!SbH ĵ0FwќoO?h G?'V.φy14_)hWX!ǧ_:i7rp2FV,aޣۛ~o!b;+l#i% D0v{OAq<:+Mi`df"n̄sTVo ,W:=nG ^X8.R#i"N )p1"[w 6:L}%\e׋*S;` GEgbl)0&U*[;Vh$=ɶ c|Vȴ7 ,zU9Q8o YDD(PXkX Y#B0y|AbڻcS&rAm0 Dp %(vY5=!NC+ٺ4.3^.';w[]0`X/_JAL0pb%ՍW(Lr ߋ#;N4B(ouci0.5ou' %]Z5DCƺ)8jeTx6'ߞlNW2o#wGYzAۖ2SYp2u,[dp=rtYE7aC24` s 3Oco[Ro"PND(6qe<`K}E>@>G|8dA,ג SY FόM7^)z_ne2梠n¥ZTM3,/"_g)fa[^қĽ?c4zO!zXvMK@ <ڔt?ܔ N +aV 9uκ_u7?ڜK.IBYDJ]-b-5 Q㔔F7M-~1v[4ԉl_2G̰MPuE) Ӝ Up<`2iNm`ZPN1M y]V M4)~,ӋHfiĩ2YވTzjZj)b?XƸ/`uE 9[b8qeUMrJ4$$Dog9A+s|-QC٪qejV3";WYfȯ0BYF].P*oir%wW8uR1q )#ڥ{L*cKC)$nn3.YB#AW4 301rYs+.W(&* WMN#oqђTSΞդl 6C9:ǹP s[F L}==a݈ar6BwQN!v TSZeϡ@My_LUINF!c1p妖,%JYk çf&- p5?#_@v#TvTRS!\Y=` ACcr}ņZ)[qr ]M 4sWeUa߳x8E.(G@UW9⛓e o*Ez.x$%Swrh$ʍ%\BnFtɠTky#([\aERҀY~lJ +"8Ac5ڛhbjV}§;׋uέ.n/맾kyෙ = 8-93cM'Se:SumMO|H~y(v)jѾfJC؆V˕UWųo!U".r0$>@ȫ"yK?ʼ 9uG ZQo;5K;?bύjrejɼǙ" 0 2Ě<ت1S.;%ŀS pVXx:狷eNƏ l==D@ dgV|z2am,mgYZXne`>?2<]>ALEK Qz @i+aӏo%#|͛P4pu.ޫ 6 էal3}XEJ Z|k(,K$-Ch{toԣ6=NKgH}`{;h6{_c JV$ΏXߡ%H.=9)-q؄;: #bDF33ys"TFCnAO30uʤ5b=z}Io12 ka%KDH_'ti3]R %]E*Դ+/PI:$wq^ӲJ{(FKu;"s Gy91YL/U60* v%,׵+ށ xۊRP7iO CV* e~a }AY +9fH҉_ /QyQSb]5ZHb7)m8~xIh.=`ӘʄO!#!c󷅲k5H_z:J+ֲA&^n̸nCʓ2CO_UI07Pc8D& ;tp9IOj&!9ގ`DBū$}JwHng9X>e-k_}GcjKpx \t,*'Q)i]bpa _;mlc1N7AT7TNwh3!8S{xãDz7>pG;LhQ; S.;a.*thDCeWayE8)cywx^߸kLۦDI#$VE-ٺS!E-&Zs|KiEXXW'Bz ?&9$'v1mH2{IW!I+J5'xb_͎|\r[z7fEOI Mхl iFtNe[bdA`Je3÷?+T<.@T&APY!`o#,r/jxE+#xht ;񝠍AѯFs^tDOsg؟{aQ3Rв4WI]rk|6URzMd#%I,"@7vᄯ!8"_G1 Z? JL:0I|?{s ZMY 5v &AGL]eΐo]@+/C5ogTy10P"ݴKժqBD{ƶmи= ;&ocU0 )v +ldy;54, ; 296r'rgC:eWW=P۟*Ցpѭ0Qz}͌;܎G!." FV]w7͗G@*%•Bn}W^R[f~@~X2b ^s5˿y5֎}v,YTqUl n7daedrIAȇBvRH-2?>S%UP7ٹ95`SH[7٠2Vc ȟ6~b_SDweFsͭ9 uL+9ؒKxo^5rٽ˵?c#Ӏ|@IC)6M(3i݈t8 ($o#.dEJJzoF?ns?1V5]JeX+cVzH5մ[MJz_MV"{$E%HQe8`HoSߔ\[KߦX }Mt%epL檴EBsA7W!bq`bm,Ȁ^MY+Mg >]H~߁/tSwl1) j{zQ'AHNk1 Sa{Yfz,i|:pѡMୈB<@eNr [w"xQwLC\//x'>j"Ȓ-:LޠKd4;s`%I5ڕM:ꫦwcp.}_r7O=)f< Qy4 >Sr) EC|ڋԨ !n-:|8R&Wċ˼AbO+oOsiPA Gbpsdc ڌO:cCy5L59SbgNQލnӃdPaJcE:Hn9SPkK6 П,_x:EbT{Yc yDqUnueFBcW5kwHsf?;-zsh. BRUdit8e5Oy ?K\h&/4$H Bc|Cz P <̺{?]*|N4=B_Z{׵Σ9Vb%5p9|1*3KTgri1C IyaJ{3xkhڅJrDȬ#U?7Ki1O7c+HΉxNݪ2h*G'f:ƃSc-g詑w[cb ,x(vE?8JY@[z3b{jvwЁGL*^Pʥ: %;gI sb_C ++JIWGn|dsK}70 >jD  4zYa$Y<_cd-褃 >ˤ~Frnc?2g(EepC!VIrضx 7w] ~lZjJJFo}@͹} nlkd. x[Q0\24-5!y#/Ei腳|/,jgYZc140c958d36d39a8a87d8eb051cc84e1cc63f23eb0bd15c9fb8e87ab78f957d86194188c0459f9d9 d8b42c2608790afa9bcfc2f24c91d67da14bbd04