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 p/xdD< ]/ HOL-Proofs-Lambda:threads=6elapsed=101.868cpu=119.179gc=3.8137zXZִF! G]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬FN̄^"7Z^VOI~,,c# ?rjP;rqϭݷEK7|OJ-U;&2uGJ{0q#odʀ^e|b|1yIaB4nxBәZ;r7 Y0a=PlD;?7jˎ+GrR/xxD-,΄rn_$χ0I[{sb3g_jC 3e4$Ih/UɥfJp걚"p'\#)|Gt?E㽙2go(Y=";ZVNFSm9npR/62Nm@[ڍ T(h7"OX%^ 7[");s->okqNd}UB:pt jKe[#l|>_ 4dxeoX|LCKz+{潙1Y$ϺPYgYZ7zXZִF! D]ŗXi%ŒIcFQT=Lo2[;8NĘݖr"ɢsLǡR|*m1 u6AubzꄑDH{}#r!fKRW|S`Q)8(ڀo(ViEĝ0L# 5*ߔ 0W}8=JD5;e<$A<"jWE6&i0wgZ_g-tk9di;L+}5~QrIغ-]{,,y~&{"B,*|,3A_Fޜc YT( )t% v>D,5ۋ1'VR sfBPmm^J"ٱL|pA {LNhKiQΑ<ijѲuȠ6*z{s}Bh Co -17h{g?N`L% ?`0.1g78E~+j=hUx9LJdCI/rCÉ;r^ah[FGi8ߵk3P@iYދ+ )|g[mQJpHyK>"g3W*~ΫPr`!CnzmU9Z_,=|,Ky 9k)#8V 6 쎧uHWCKVϷ Kxc>KgeY yzkT_Aѐ!GN,Ax0VCIUK?w y}i{o8@!iR9CZ9X[ܕ~3Cv,(oCKZi RTDK0XoO/$6\0c 5Š1- ᮵+愇#ۋ?8 iUxmw~7nJ.Y FEQ۱p":<<UFq 5}AҚbz Z&{Xiɦ|pSuge7cvWDmYsKCbq!)Ŭ>k 6C0;A:—iyKX84ckdm0n'U28S1uvȟll[|\.\^I";j#p=ʏmȩ}bSvy𺊄8~|XP\R5Xreg#_KoK @I / 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.,,%%!         > n67 } = y >  X o +tJ }O b# Z :[iL >/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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  \#$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,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   l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`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 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{{): ۸ 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(lgYZEҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>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:LYKlQsێ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, {{/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}Dz{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 X /=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇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מ)^ΦEY~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 . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{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 0_0g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216z/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! |]D?7 {?:fH\L6Nob#24n8Y7g2$Cn[,e.ccr/5 `⟦Jq "6(Z| .CÞ .!Kx[M9MtE;ө&f@ *#NT(cY;f2J2I8!n[8/cg0Ix9LZ9l2]Xcivga4Q9j}5{oim3pg[EPHQ89%wS>bdz٣cF#vBSy'+kwT\q1˟Y;D Ĺ(3_`Jka 0pj[lTEAe-E9/.ϰCRӺq^Nw>- } DǘjE>>@]{_#[n"s46qNx |u byax,K fDr^_ >,am;D &$MYB-1)[Cjy4K2Ntm"iRm55^gYZ /=# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~@Z9~+/yJ9L<#ջ,2ޏ(!%Y8Euj,/kiۆ!*&]^O"MY)聅AѓTGֆfkLV /.g |4"0gU؆ј4ayz;,ᄻzdpz8XtI di6mxh=!"cJPa$rA=x/m4af]M]/=!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\7zUsu>fvMY׃(@ twmublB SXrxnG^R씨*8rhʱ8:jm@5~ȼ:@_QrDEБH)T͞+} ;{x XsPvy]k+%AeG 6~83.F Zl1Q@q 'x$5A:d0)qOKϏ#[t !y銕a_NN@ں;T DzC:$g"~FmX^{ #P!𽋟Uu)z"[k$!CBIog 7nQ?.HjHęiϷBsFKtOoK7skyt:'Ѡw'#Sb&wX./9}hTɠz2 A.&YS+R>wAqU =*CV8$GV弉m?"E0ox*G C]2DUe\!j|޵q?v:y3$K.\^ [7 -%%Rm?WLvp9%81cG2%q)~Ўxn$fdO"  >EB|A?F,{/hE漦תx<;-1dwf',MY=O;~T>4̢jf@Xv4_)Jb% ,.4tGg8  Q}5%|zեD0J1a ʲ/ rځq 5ߠdQɲ~= s4UY9'ii< =.dm-Iקx18Oc?Lq jޡ af|p-\EE8seQ]}}6zɕ8,;v[+D!Ac4u:R!W>6{h+7TR&g=X'XUMipe xi~nrȂ qX}ڲ.é "4@}N=Wƅ|8n-*K`H+աo\DO]c"w0%4x!/ 0h Fbg1UX]ċٍ; z5GDskHNѣ4_E1~DT5uh+fi9U5wq`B.a~s.juRGq 7DZy-։+] 4-%:fTKE};\o5+쓪BgQl϶"{!\YM"?wN;I_%0.}}qO 8qR]8EkU`9HߜRL[{H Gv|W]T}ro*v-õ5~ )n)YR3Vp22"_4L5So igo `\q")oGf  X,J&.P7b>@7`=<ϡ,V:pTϓ*^Ypt(E%p:dKoiǸ)z.G `Ľ\6^_4IxȆZx5qu՞r骎a#1"Ѱ://Lz6چvJ]D UkhBg^?$eT\WqaDHMmFg "}'a&a'#i3  qs$.M`F3¶ \LOӸM#C&C|aRv'  :D.K gS3qhiJ#O$jkg$$1TkӏSX)⋙1:cr_ps}ɜ{/\zz\ #1bv)B)~1ˠ-݀PFGBLUqf㈟ac4Y 9-Qmz\{XyF|a ʶǫ܏%'%\Cc}aN "h2?e˵"$ r`#˒`10-?bLy2@h@CONP=șyh3/YM%H!!J7 +gE v-]Sf'2|$bٝl,rVv 9 ]v# ?KoQ*N%no' O([&~ j jN#oFs7`D\&K2obl: (rF|;\g=IAxCF>?ϡ߄(@ YއlQ!G4)3{c0 +5;(:c޵fvi4$4&W4 D`B.[6FȨj:&>Dfn(У4NrLn"!cLBp >րœb1T]IPx}/a@,Ev0).q<6Uܔo9%&Ze˥3VT~ռqh @~MRq~B0Hg4fXXgTV~ ~3Q \oYAWL" A >#F9 pft`xK~~ԆTi}H n"eIsR X^-ep_No EEqyo4R+.D|8mܯ/ƻ'S~ujx!M':7ߓ۝PɸJ1U{خ,U2! cE}A{҆]O?Na` HګJx `W A~' _Ь%} L$!1N GKs]Ht+#%oYookK3)B.Zi0OwZ'X2.gGJbbT{0¾?}TCJjM]Fʙ5?Tپ0 ,۲RomXvLL%z$ Jw%9SfQA\lMWoQ]Fd*y C>:1q;l>+J%ie޶S`t> G3m?s\Mp5Clޏ+%ArAqTxnL=H`9a/Es+anZFLEECb[ Eۋ&[:4ۍ.*++4z{v !;21NVW9g20ԓHQJ.2 {<1qlaN6؟Z͊=]Q3;`˦/)loVKW4u(yI71GWyom}F*]}c H^DbBqiodinởTqǻ&J] &hRâno+5uw3eD2J,&* 6>gvqܛ.τӤ D4 ]x75\ByR)nan^ ?$I_?#ĕ4 D O\s$XƔAʺ]AM>ȗB&j3|]qbJ5u "n2?@xH*Yy)ؓ=4 /=0x>6z0~! 7M@$C HCv%E,68BU($P$xoZSM>0aQakTwS!WɂP' |1XU}a> j<z]`Qe,2>2PUAyhv6KC% X~8Vf!Q#8~=?#s@A8F^&D Z4.s3Irf&䋗1]0kkjd:ϟ"qlјBkJ=*V"utlřU-4wXf(4։oʟܬxci ƒ|]XBSF$v})HPKZJukbF#/N]׾{-GY!VnJ'jb|x#H̵d?)Y^7w}ψ)x"p:>_.jr 35hiY]J2̞sͬ3/CG=IifZ e3SˣlHUGLMnƢ_SXDcZ}؞ wV[v7#݀aw]{PxBk6&ug~H7)T5.q)xgI+Z/^Ѳia(!X kGB@nVxVTYq#+=yrh¿` T FOj8Ou移 sy OAe\C@әǓ\zîNeahoFF6'sMhWol 5Ju6 Ȕ\ۀ)k #it:>~"bZ=HqD/mP|Ln0:Q\E;Dzst֝kV<}lͯNsH At>xRjTT!L '"M\]Zb" @|'eNTUN!6uPy!\\O>ɹ؁R2 ` O,P4n/Gxcu/<&ƥXī'M7Tl8x2T]3(OB#cl<\vWbF\l2TL_*l83K(M5=[jK?cۡ"E>k)ǠEk6Fr7Qho~7Bhv٧:pDRnFg$0"uWEp= =|NK9< t [  GŌG)M9BVPCFڸ.Hc-Vk\ձ CʮgYZ.@[[S눚u!4N񾤰0;k,8sC9YUiwlMRնfNRn Z͛r9Kk=oWڥ7s΍Dry x)aa8NR^Z+XgXXMSr\t;䌾4%1PZ ?0;c(R@Xw:D0V`_Ć3,0'2 u@%1=~Tu>f!Uk}$f3~#`=QV:v N3%bɇ"Ɛwac i &ݪ:*.;a }C22@p⳿G.\~Gm|pc˗ TY0Z*:r'p*3ٱAJ٭7 kǎX>}- _YυF"}.NN{ UUT Emk75 hwL=7EZJC6# gxĊbN}J( Zk&ji(~ܖ\y5ruI+$2.> 5ыdNauNAA׏Bg|ԞX;Go$UN\*E0=>ɇMߍD,f(au5ݾgne,==/ic'whh1CQ^ RxY $f[F6ǭHȍzDE /&KOK컀ۡSnKZ+xgz 롖m:vT)0Ni u;dj/gl"xOIJ<;j^Zѳ#=צJ_#ZIY-ύw/5Ӫ'4{|-5%I(Fz?6C?S;j緈d< HwUPoKǐHgYd%fơ샎d^w Bq*o~:Ve8 #:~#ٓJoYn4B7ecsY)AEwאV[kD/6OKo%f>X;B|O6;,QNhokd_jIDGV˦Qj@R;q^u[8}Ȼ\U p50oC8&^G/aa|ue\(OjC/Ta WoBoB`bf8ZS,ځÀ/4#L~S(Tk?#)dX2Q7\L9PSA-zԥ/%Xpx8bOƬ贍 H;ҪD.>WQt {9)TFXņz~M +Jd- SO-o]Q]4q}XGnMجc\ǖ8'H}ΖWMxml0L#a*rm} 8XϽȉ=9>Wע҈oa@}c縉 MS_p2,^o-AAYHIBuBwqZy>~qqid%?$Idx\ k/@s=Tb%џL rBp6-,cP)eOVV5'lL܆Q_)a_˔j(s8ٶ[ ZN>BO3Or'bV}rOmNx[]e2v8ڜSvj`DoM gBMb # @Ao\P! ߚGni*VLR߹( ?r0ScXhNtːiSvRsH?@բVCnrs!+o#M1|VmC:&9 f4©;z؛5Fb룁: gOkNӑa+Zh E}.uͺ"2Q{jR%MQH}{;Jj t54/_(y34t8u #UV+aF-7\+/w?7gOZ VPbQ s,|P@LG&J-*'d|i>#}@/uQܭ3z" JY\/)E/g}$;z>Cǐ]`v_8v.O^:No8Zv뵦9E`̶AjYdۏp(S}O-V)SX+UVVj7i( !ۚ! - TO5Ps1˭?zŸ26f4ixMz%iUU0pp@j5=A 3Sa:ij-2P3ȫH]8q5)?3U66+~9@;)i/\Om{(^^= X_̪.֍!#G ˱;onRK%7 Y Mtؗx$Lj{{h{lLM$[@l(iUWod_g1M1|z Qg)?k襆7Hr;;~~=p2|}]8WxQtdtpv%JM{ 6 vH '$Ec<. ,<KD&̌#W/ŶIƅh9 p-{(@bDǯLyg^M\6iݚ~] I lp/ƓxliB1"H)fkvk/ b]7h詈3:]s2!_81}ܹjğ kwdZ5'Ç͞m,@羥S'L0*i>F2/Rhr:㳻7R+dɂHgF,xֹ{sqRẢ\Dr5n49 \ՓKφEy80L|ɄwbȆ:M:%M$f3)ۖ{M`wzX##[Z 2.cEDOpaXC0|M$OVҖ#07Wk~ 1UnI_H q衒.Ķy#EnX7WWQ)/qL*q'ݟPM-uGSڊNV:4icxd-zHV7(?Z0p[u TJ--5wzt=({ wa @af̋i7?ۭ`>#]h'&4'`sX`MA'bVԯ~foG]bZV᯾U%DwM #dX+S )'fyZG3ceES: (|Ҝȶb֙( A)z.a7hgbI6Ǔw. Q%ZLL LGin0Fz,qb-!9e[*9*6CS1'A~H8D\9:359X^?48 *1Dq"?Ȱu`0#{j֪{XS Y!^p>,ÖJ[V28 fpTtDŽ6%n]F>30jJcPlwu-& y*OZ7c>y( !ULm{ Nw[Cib̶b5V D"ph 0`ܤ~S5Zoگ$yA 뽦{-o{-GpDǾ'GU6w"F*c]N϶;fq^~kNirN1'm-2[n,Z"B-)gYZ w6wo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[zܒjl8X`uX  gD 3*dG_t+V0KC~l~ /b<(:t 0Dlʲ =WGbBluZ4ہ*Yv'`oC&1mp:3t>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH۸NSLSA<6U v{exHcq]^OI. IlS:9FP}xTӶR R՚F4ey5]#9\ 5\:9GRK䖦u%Rab Ӧ \ai5Y+):>Qraz2#4&8]*Xo$&|ٹ9К[Nǩcu!P[Z=6m6\ˬϰ-w9#'h~M> y}߳KB{S2S3]) ZKTNBWeX?61Y6&RЇAl~@ъt="Bo;)J#\˗%?4LJ ScT"A9=ecՉJong{0 ΎmAڊi ,p~bfr73[Kv Qa_(w8XQP?R.)#`D|0U}f=^^MOpdiG>39HPHq? [!0j;[f]ç̀^vJK ~Xd6~|s_ fB9x)U:sYM e'؞ SԾNG 3b4] 4.d,;%Jo-Y4& rk%>ݷk?峼 >)D(c, WSת}B/רW =#8 Hf75Vg->;yc)|]2΢jh/^$O>'Qڜ.@[<s2K$xf*[ 'GʼKD-ڟ \e|V`Pf!ty^'x(bQE )YocOx}lj* P žqWG'38s-B;|Yq)37q~2. ^y4s`j&Ax%$NA1U#@'$i?R#VNgTnv 1c׊\eYvWpr4PAď?ѻfD!Q-]UQVY_?lSGS󒐍_u֧0$r {{1zAOߕ<=MFFx ;ĝ<_.Y NA@OKk",NpǗaZAjx%B$0sM5 m$oZ֖S3Af3h,~]%̠4@fBW{9}ZD rj &5&w0bQ$#P`>+gНǔ056Єs(hU,vcC Y+1dAX I~fW.Ip? ^*ڍ\qDy[эݮ+Kh hk F7fvjψjJc;it9kL2뿺U! cKMGGgvp^ʱw%FV}tR[1/2#A7ݨD?ȯaʂnHA#ήs(ΌUTJxOo6lס o~"b4.U[_65ԏ2IrAj?)U]YK=pJ0]z 2iR(ZT19j5)cMrfܗCJv|Uɹr-._'G1 %K1 8NcE⪧ȯRj ꦐd}}FyMQD.N U[Ek!a8s˱X }9UV| }am^`'6i-E<.=EdAP%;(1SL3ޯxj#"]O])/+{.6a9#=QHV늴Ӏ;2:2Y;4JmTW`O=;uNIca:VIu oVz+?T~(fV]Mb{(Ek0@SK%!Tߞod>*\Xp./b{A~fs}ي{))EK¥"}J Xm h P[ȽE(DG4-"P [6F#mm^=]?t eߓF"h!Ĭw~eے=ޔ&|RA?kl܋_lڜ~T˚y|~$o8͈T"2iUfHX}) Y7A)flefn:=,$*aݜV/F 0tuH'\'Tk@?Эv#2U)O0D-{u= L!%5qM*h,ўH[3ЂBn /󴫢 iL?,j(5}[-]PFiByŌ01PV-SmOQ9cBC+iWOHg (&8‡7~;NU[C=4t}ީն֙)Av{[1P}ɟ$OS ;du[ '^c g6򣂷$>`j:<_yꖁe${^y+>.TY޼hA oCF,6JHZ؝rALr[̕e 91"-ZuG|5МV; Z``vCF TceO*mej=$igr`CޏUƊ#O)Y\lD_|OGۘSk -[b>b0ΆRZ4ve[”*p``Z-[٩n<Fnfq~kjjj,ՇXѻs9G'm̓fU'mcf9ŲnH·'߱?>A0IB)޴梞AKVqi -h}1QlR])El 6/'٭c`z# o,Neg\=K%';C:3j"5achŅϩ#*KQ %ɃIBf.&N,Ȫ ^/2w$:t7&1y_ moRsHN#.(ˊAe_FH)0roH=7ޙTzMF['L?rQG|40o4j?g½$Baot@ X 91y.VSF&PwM.deԵp7ou#3'NeΥ$. 5vG]_^t58W :5d=</os8E9)o !e0,lDgtws-w./~y<;s;(E~H>>Dv 'y݄m=wtC~X ϛB)IusoDHG[6jbtPtӘ*+@s=wGs|RIP0>@9H%y 3ctMY|\4#ȭH;l[3ď"iY`)2s9rp`zZU"cYk~C(T;o`LJ(ߗe1},7 |@b5INsqƯׅ cD?)N< nؗVBF]W{%@P+$֯M s3(o/+7O{6R8 L1SA$APC"laH^L_|bZy_U8Rdf҃6!h0V?VgwȲ݃L%.C~0bW@ p)5OiWFAU| Аs7%@S&0ѮEocsL -h#aܜm-%G@-s;%~9.U4а Jy,[LLDY†A]Їژ3 _`Z5o+?zBAҐ(΍3E枧kL5+2/P>,6W☻x -o[A<Ƒ[AʘOP}!}]tq l,*_^H U.3O覸̭E*ʝa/GŠJG>{D u&PrFc-sS{Pųgq+ƆM~vq[Sҝ2y4aU)Lp/L1,pY(9gfI-:ܱX]qwې_߯O>CU4taq`!T94V4O(jQ3^5- lHa˼Q5?B\mBs#}]ܳJY{0 T4ŀf8Mޯ,:p8 %t{^/7x^]y %^(,7i0 aa9V"gV[Θ0͗`=_QhkI8⍩JG:/D ^hiCA:_{dDO_+7 Ca0,F{3100$=AyP{M 7s _ܬ]{Bhe8󟷅Ǣdk l0ʢ8]@ْYBPVB5 ~%w,?m,M]`;햣.Z^O8c>htTshمpPG/npl2^alY% }̯-IWcd1kxDnO‹j\qk-9Dk) Jt8m^l'h(hBC=Is9bh,(4B,Opc3b Ɓc;SӋ1'u-}_f=vԺsl~~;a(;.i;3Ʉ \8gYZ F" /O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvZcfbv8IUl6t g rgC;^X층]@7B) eTQaXhRkRLfƚzN>b_%>ȒrvDHlhvt6¬0:Пa:+b*7u0S1FZCt (zS" CjX_/NEkZ|hq2obbL/Sч:֨dzvx7$oSr܅م2D Q"R.s1ZW6=zBUT@h _NC㣅G!6+@[*k7[ (D.xlȶc|J9:Xckqh?̾ЭꞩU6ChmxKe쑦bT6M$PEa\(x?%H@t6խ`#A Rn}zvG d `*0<ڀyQ^"d1H?|vbS"RHA1c.Cz8:n̸bQfcg|Vl\A3f>Vr1U|58c w.}i YƒnaHdU nVTIYNޥ9U|U8 q#":ug?i,mU)ul.fPM!ܔ"5s:苟{+=Fv SO's*Tv4X.Pb,Mҽ2@C6wGf?~o=aP3І mCY)5)Yo–mZFK\k"&R[vQh4f^rQqI:qlV_$|*O)H\]AQǝ~QVEHhwʧHdKڥuG 2VmS; U-;֬ߠմnRtLh.A<{.ߢVHSG\"+e9p(*u:dnљf>!ҦMkq#@e@2Ԟ?L+zk΁[h"²QNѶrhwf4 LfJ>̨|g͔b =ix#;ܕdP{[f(N Ls0Ic$_}?mdž9m;pZݿ'o"U2MRfH1JOpqbvtS`854CȰ6?!ݻfYI:\tvIfr1OH2ibMoǂ%xj!l5F಍b#RwȊ=VjtMYT``1G:Ӫ mr.,#'_n3 CW~MKcj/ɗf}=GrKWJ--4}u!) h5bҁ(- ֔RK<$ R74sIx➩f p~d o%$(v. 9RFL~Tf׍෷lg)k-F11@AbM #Vʈ XBƏ\m+ۇ eg-g w5ie!Lx8,ɩ_ (ɫHEi7֎ ΧtsDX+k ݕ>3jl~7d`(PKM'ID^kF 6κX|[y0F @"T4T BQg̯/u'XŌ;ah¶7"ݭ,.? ׄYA+tiF3d(Wwt ]-_yܑ8]ZE&i`5st9nQ)xd<ɦE CL+uPUʪ "+ԏe$1bjrʍFu;-MAoLD䂆Ӣ'j#]fxX4%\MCkFҩKqP$\k]F^ii)t+av_$zeĈtD^W|wePH1AGLo3@?.H ~0&4j𻡏 TR ,sA$o\,t?KܵG6Lnah GNr:^Vw6ʳvOdZ>[ *Zϔt|G&KRC|r_g$XV|`(y -B?XXo@Z>zHg.y4'Y4m]KaMzr.Lπfx:/b#gкf HT MJt:€ pTXW1wZ(GS3 1ŸVf>f(Ok^V|Dp=zr.vj~ՎHJ(xW=?5.IqnW%CT4Dz7 DKfTP qLO٨kFw]3g<,by=|Kr4QL"5:'W68Z=9*oc!5z Ԅ)iDE3ݟ 9&tz4Eg5ҮAIẔR;*데2M~(P/E_K4_!GK-l.Qxðֹ};\n{\r[V9J RT?25SKP˟Cv罷^1\۳B$p:e `O( , "Ts-%X1= 0I.ÓzA/`ّ0AqY$IM%FE&T}|6_r g3`idS姧D!~\R얨-$;}'M̲cB4 ZU-z#=s pQ҅"˅&fեe1;\R0W/M<зFS*֚Ώ}f pj-aqRH ܏)?E; `||m-}Ɉψ\W-_L Ym" C)V(@ 0 U:W0#ECdsF/aA' bޟ-+Jg`d$pET0x!B~/j$$Ύ.}v}s0}}}Vu > :e#1y1Z-'Ǭm8&'2?KJ\w59;PYj7.l J8@Xuv N*#tVcu[dď)7^BԗK?I=E LX)2~2:DD'&Wn{rm. 4b4)0-"\YGZLyuꠤ"Q^@ؓyBOK7~,԰'xN^dVO%~P|q[7=6J~jeifQl:MX '3"p1^B湾}me#0T}o>!'j_o1kce SΌ;|1 ; ͮjdX^N//I50jL ^6@e~ƒ?J|D,?/C oAlpV \ Hko!J Sq2fW5<$Cw~yԴg6@:Pa~+g~_ш@)Mo4&YkZRXz,?|hِPO8QgN_-M -VȤӕMl,m\Ρ[NB m-9|k Ŋ Qb؁[âEGYFPfH*{)zl8)EQ-5{ܙE9yS}7#q@%"]蘲 6z<֫h}ѱȤc qTKTO(a"QC\Я/%]) ˣװq b%˥I/Ry^<8mm=N ,O۱cɃ, ?ZIHb)HQ1))*s4sl<<қ<e dmWg_QL#s`U5NoǩpUלDP~T]ENxtvr&#|8?M aUGaq#ypfq/Mj׶Az[_.C*?s}TGQa7!H[sr?rb^_s4J['MI\ {|mb%]{ ?դkbq~89Վ٬r o%lMįxrJTݐ4*u87ú$t BgPy֚lKUYu|r  מkqn5|b([ݯ$=_Dc;xWs̥x[O,X]Ju+^nzl&I&v);>Kۙ䆿hE jl2=Q_pC`0#Vrh;Gkv[\brhB]FprX>mpkUKVWLBh^Gc`jp??27[a?X|E-fJAg^jQ< FDYɮ"#o'5 ?_$:`D0`;`P NWzq֐&@n-S&%ohS"&4h|Ʀs  th91F "s87ct Dr 9. 3"P[ȭ:] 5o4w,@ŝZWdwV1wQfپȄENPRQ ]bPVDrJ́!̥0QI^!MI|r:>$uc O1 K)ytv=XSbHu^S ;jsbؗݤxRLDcvWĝ)h͉xy6Q%:~MҪLPcF/Nj'P0>eʗ%^tꌵޔF"Lgn lڿ}A9TgDx8 ap,VPv3%wLA~sB$#ġ2{D&!s1H ب޾_3*N3ݑN̘= /{}ptWrZ^:<(5̂J9 }! ^;ÁaU ;{';&by,ǖ,\u|9uzzt' ƉQΦYT=,b'X]#!9 ׋i ҥ]6RifVm8"FKRN_j2]l!nq<:,\C 1+Wo1|cB&`ex"7WpP ú^`,ZJi <)o?Jnp4ºĨ?}-ye3B@_@?wG<&Z baJefH>jz7z )s5?>=ӛFj˪^VD#dI׎"ӱ Z-fyY;+.'3X]1[+D WBc\~`Ae,o ~[q(g y0!ɆiOXOKXD{ȥmx`4Hr*pJV;H:&Dzn|Q@qm%P"8BP>{B &Zu%L~[wɎh{ `b {'YOm8ݣ.N臈k#ʷfw(=Vpy*Ξli}Zr\@n-`?:>;KTD9MgkA'XU}G%(˙P;(Vkj6sN $T5B1  [j]^@(پʹu_쳰IR ; =*5Etÿ3X[x/hA&NO,Sf20kol!-"dB>{%>ݤW$曘[M1c^lS"Bn,YxMO?3 O"?cLYvvlvrT >iXs:gϼU̲a Z"/{Í(+R -q_ ;/,~^] J/x)&vI]rwo"mՠJYVOD7gޗ'D} @S؂,ܞ.o_ ځ$aO%8[W;C~Oej=Y}:d?ڝ߬Fu^ {J®7M<\d/Ɵ8CH/An}oVi*0P]#gr: tYSwzmB0Pg0h}4I"b5}%jnvk~^\SEB€<ӠWu\F,)6!C!PQ3${`@p=zkͽaVzb/GXb#p͔d>/YY/|p.ӺӇņ{Ѷz֪ "iiV 0 rQc|-dn|QDz2YXv&cJ4٢ȐhU?P 7R%mw&HIl]g"H `6{P[+ڍUΥa¸mxtuG=ԴoJ"vU(G Nڏe)*!g?sxӗ,T\x~i7BYK=UeCDWĢ\cȃkP򿭊xn!=G.`J~Vݕy ZķnTB lP0c6'6igKsw~x_uz+y6CJy"ӥ٬~@\`؜-ڣ~V #Z16J:7ڻ`}fp,tH0g! =xZS~f}TRR0 90y Zy>Yc0=E9^h%e ?$+Ul;9@E1x3dha+KsAj ׈W@@ZPCH?H ^jHV Gq-AG Vͽյ$?\.W(q,)}/G}`;jHt.BIW$qɺWOD)6 줗":'lk;KC1釒FYV{OLjbxnhj[~pU~, ֭OŸpɫx$]TPKK5Qnh]C(GraX(l$deHybiv|OTo:ac=,dplBV4ܪ"kSd{L!0S6>V=Hnk#sQV)k0Dݲhx*ġ(V ؗ,vz^~i(/)<0V'2f١d{jE20Hc/ wiM[%Zx'-cʥg) _hub$>cY!%|rrƋeЏ}(7[vWun̼w2S5f}Cyuʇq 9&L9mn=]BJY/sxlz}pB{%D;֪ TqԮL\EcFjAdHiFH|!}~:s{i˿cJdyժaҁ~4fO=q (sןeQp(8x*}晲J{2 T-Zjs'-Hͱu \x\_wt$NXK-*1rvLH&U@FL|uyNJ/4[&4{_PTb-ǢTv<.RQYL4Ъ]t (*/8edJ1YD55fF]~/5(ɞ*lu]Ě~#.IQxp5Q[U8wD)0U(&=|DP u:?`UK3pDlNoa5pFt^\ Wpau/Θt3W_nKN1+τlrobW4ٗy.xmm`q)DpQ@l1{Z_>p Gi +f>*赕镣Af}yt0WY;C QINT5Ջ#,[n^)?C^.wQoX4ζ[N%7R83"JB$ M]ÚB T,U[cVW}4ڣ%…r؋juٔ-&)P=;>dzWCV߰GL' ~ sE}J:`,HHUYG8cmNل nq_ؐF> $t9w z^8`z΅#\{Gj0 \0c:r~Iipj\hp)1>a߁A /{zFJor{^'ݢ, jt#'̹'4X;>?lY+o-=l AuilKfuA 5O3+tr bᢅn0I2B*QKuz)"O?NMcH`>axORhu&v|{ =3,0  GdjQ.Z|'L "?Uj巇 |Ie859 {R.G|b'muR^IDKmݴKr'xw,c/)59Lsʞ $"Ukba9"wcP⛈0n) \+'s^e}sD~t˪ }W ֆLg<A ν#TQǵ[+cj~F aQ#J&ہqWY>)XE0Ԡ(?[`:eq[QO7KVW[Ojm?;IzW݅:#E ƺwjQ$]J~6\;!-^Hz߮ecoO5$ {AӖ>O2T@awFN}wTVs^K.dXvF%4 ^8""/)+jA1tb <9t,;C\,VQk(iY{@B+e7ϛ.o1s W:44 ,e%NDl2OM9gVmi,yG pH'R6F"O%tI53G2ubνΧWUFE ̓Э䲪9OW Tm#1ZN G!y6z?*틜;}mBj %,p*Mp"[FG@)ZjAruԲ^!k0NጮIS5&;eU)&K4d D^ iQLre]x,;M5D`~2Gq4y=PfmIX[tE6 L ոD_rJ1#BZȇr}7z=wʯ6{$h\:X^h":55L&i&N\)irSz 2}NBxY?ч7)^Pa;U$|8yt-K Rs18г$TyL7W/q@'H܊͒*K:xJdzRU|C0ϓY4Pq#NHdr]-ҟX=oUuT%ǘU[Gsk;ri"%-mDpK7.cݝ)!\N) ?K4RAe/V} M-Ps}T-XCz{j )"|gWNhGЛC<ܑ^o ܃Eet`͝QH@{c7]^R]|0vj_Ӊi_1R6Fs|14Q8~~nw\A<aY11 8ۣYY/  ZsB0_\(;9fmfDQUJ#l(. ) ;]{zfoL2ǫFDzt& Ų[f3#͆eBPGC&bG<$ ލ7W K mZßBGU3NZg0\zxwB%8F"~'f ъKUJEʉj2:r^9#73G8".;ڦ&I&3戎T iD #Ӂc$NuI2;HK b;jZn=U|vDdB@r5Iq wTQ^9;ehnxUIh䂻pI)SeQEjƑjIhHKҟ{J")zFux3PqI./DR@iuoHLMB+|ڵ6|uA~'B 2mhJB R *8.jg~:/]0@dtЌr:U0jҪߎ$,>IEaJPyrfU- lf[0ֆì׳%Po7T7cʫŮ{̽?O1%+ 'ݖ;́ ڰ<߂Bj(Jd W05^/zv6Dd}Zq_d7t@wɶ9ú͘%~d\!q 3 ?t$vHmwԍIn w4< er;?Ji9߯C[_GE:ZyiHMLkk@F&eVhiHCvVbGEPPn,ˬet`ɵˉՙ) +r/y  /$%޴"p$IiÚJ%"ZDj 7EpyTzZbXaz Q$=ݷiSsxmgM/M3oԮ6Gߟ s[3ѡHuW2TL|^eKml,*~t},M.ٶ$hi2W4ct  DnaQi0p_|)# xVJt8@ڷ[ѡm-M &^_/9sǗZft51_ FR L [!_b(,a@HPRiD<=jttX\Dn_v2L܄WX[ll}Lx󆟑3KA 8 @zkb4;U_.N^!&FvcNFԭ8ؼ U|##mn6%yj@X=ub Ręm~x.\w 'ݖ/Iiy\*S4ڢ=jd0-qiͣ^ôpKc0t>򔕳4FSyќlRBF{kj B4|uȔC bF,Cd3pnde֑&5(/_0o槜t#"7׮=qf=C|_Y[aq߻`AU7AIw4ZZ{FKF5C B^.wIx%{\ (*=^΢ ˆ?4ˏW$-p5AϷ`.r /kNeY]yR94:>_ HŲ%C?VFC`J&<~9&H1ȶC-9o's3y~m kWNqmQ@7eޱ0r͉D)sws`.w+Qk)o}w<(% L҇"\K< -`2FON([yt>?-n8F9OREvg=.!3k F@_T<Fk\  iQg&z{PfPbʂN| DW<[H5'wzb fG?&?k!"lR5ʡeAڟdtB4 A7KtJe;Oi|gD}CU 0<P^#V);ܪenYlUdF`*Ey8mG˶92lD[rIܒZ_5PxOoV%RuW !4Kfㄘ\X']k3E`KI1퉾-`1ѵ&q~O2.߻!yv.'oڪ`ll}#)RF+y_I+|D;@/|TEQ9_5}Ȉkq5rM/f⠬" 1:]~ :ӛHmN(rf!n)y$Pa}&x5JTt /p10t*5o^S~lzӤPv K6WF{ (dtϾZAGc!OwG.Ā"-ÕS0lCxd竽yGҷzg 47ɞ=SG2⫝_?6LY2C,-Q|lvxew bp-1 ~Ryu9%MmҰNƳ_&c'-MX+Y_V1ByD$` "")*̥p19Ųdl T\PDŽRj>2 $83@`\brc\vVy:0rGTgu6 ҄y0eLODL8vx.]dp(;,9""yDc(9`3Ϳҹo'-_S:O! 2NJϋ^rsbݣ!*:~¶;kGojzY{Uc4}:c1#bG&2KBK=ߠAU*Z!Xwt(dJ썆8rG*=m6d*/$**9p$'/k`!HQNd}(ޞ|ٔ`/GmL7F6feg(eQ:,EDk R^^uGaqŠ~MKI1eAA:'o; *lCmSW?[OMoZHKMc:[de Ѵʌ_'d5HvizL FV}_> 4Rbo@@:=*@G2zХ/yu;yKQw\NUgv9 FDٵ.s8aI!} kf9A-B ^F@ޢ ĻGq $AIƋ1tڀZpr:Q`(Bh"s鮌)$QQ}oFDZmV 뱋Aϴ*>˱gYZ  f RC! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eJ2-L>g9 0 񵀴y Gg^ngЁ۞#Bf'|(0W$oư[b}@Tc":{{:FMdp [oqW'u7;R d;wkS}ʖ,0v0W %ew_Pd,w Bvy$=Ei`p?s1N0zP 2`gq]A~.ihq(~ FNJŜPa&93rūJgIK1@r!>(ׄ/8hl]nde*T 3l˅h2,0ڜ6ڝ$&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒk'9x{Zھ/h:>cvo_`TLg'vٳQ2k-Zk4m Doy_NTz)t:$ZNo(^ gxxm m ͨWFًg'EtntYѭ gڝP dHC!kUۚ˛$,K{ :|a>El)Lg g|_x' %f=*9ZRB'M.n˒@Q \NʚťE™'`T;&ԉlIШT"Xc׻7Z˨Y:s;EE+ =}+DKe0gT~sSS $ŭ)1^Wms})͑&( $8K\f, ys?,a%LQЧ6H`gYZ' ~CPs' 􎰟(.hiV8mZ\裥˸ >|%JjΧ d9'>J x3KfQYiLֻ 'N{?.g$ IyŰt{4J@7#ZK+3RVR2poFM)="FnǀΎBH>feaXs 5cSTy3pH~Ҧ {Pg1*&,zqcE]7,{YF\C i>?SOX9Z5]M a=g؀lFr* 6QNbLL+;߉>$rt(.aRs9IvpXwf_zXpg Wm^YuRdި}Mkx._6Dwg/!P'6 XUcs%Ԙ-<Ό2F,Z *K~Tx[B`(\ݱ:R'q+M(Z60Q5у Q6^UOorML'{0Nnڌ(I񓾡|a8.):\RǺvJYMQIT0j+ GCg$Z~g'6wO.c uΖ[?E 3Q-Uv|튀; aQئw役eL\چ}c"%u(bvW%}hЙ1NWvVnEJ%"x+L@c^LrNnSZbι:=XATS5H@peb$ocrnɘU)G*>;BCZFUNAbؕvx&8%a*eWEGd{_b?6ë񴎮 h "9L3iÚ`J7.A o%Gr9vVR|"l9X{p1-0;PIzYADž x3uyIAG9ߘ9ƾ𡭙ͧ]ŰL@HG '0a:K`p D(39Afh<uD C'5 ؾc$#L{U+>vy"!*=#/L*itW&(j젲u\lk&:YcIYAmLp,͗L@λ@~-71&aUu+dq%&@ֶ3z?h V7RS0l.hH#xUEqڠ)ZfӐXE~ڲWu"o*,&y8Zmo$yhӓ%*fTu=@vҬ%2MxH>jU(\_Zť8+rSwZd90#L gXm2:i<,7rYGq1~ ] FR)@=nZn5?h٠ͬ!듍YWV-˕a -~/#*E"{ ]H֍zqB+܈'RC%tC}ړEyzwl~t֋ɯLpޒ*n T+/Eo9Nvۊ%@YYQv̵=xQTCR C&4Zћ"JQUብbܚY#xR֖Gg Q5M#p@yɆ4a pB`_6N3p)HN[GO\N^S{+N 9JxR 힗7okodtkPR1r`O_4ۭ~M+u3Q謁.!>t$/ I2QTF6{[/)T"`侼)puF_㕯W`IPKypq:qmsW[?/m-Xn4G g^^Kl .՝}Ğ}#N9a'Z`a#sU2$w:+-|KCI I lJ5w"ڷzwo8{&uY@4Wq‚FhAȧ#&e:L kjlÈHb2J<00)LOcq@2d |NDŽr5Fz9rYO|Tҽ1+A4ꞻA~eHLmcmWO?GjSD /Eȫx$Tek<pNsǷ)H&׮}mŠt`&"F*'3ڢ%|K||?2[Qeءc_Z㪛ZGs *0C q̝텍X aP{Ŭ*j <]8/SIBMrc$DJK?O"W:x%f ϟWOo ˄䎙q|ڞBݮ3>oSA,~Q'Z8t;j皺,"d.TNIvNFs6C`0@"ouTNJq֞b$u֞ dk͒= ʀ]b""-8郻cY\@w~y_)\|Cc5i%$<08Sc߸z%U,ȃ/6*r` K]@c9N_V{be_qs_533hc:=VP5U6ȠDb4ծ[+)8K[*Η h>4&5mV湔tÌcS>)[;,'97@P*Y~c*Wbw.Wnťc M8*?"3V+昮*VNf-y5=%`kiY<cih}TgcRXߋ ;s \e@iEo_3xMNPǷEviNf=.?NLxîѥ*d5Rs ~uau"y5Ejvu( .X!gI~ٲ]}ҘLynwXJhfoyzfzfOYa6U.2G67J5o͎s?^N \e^>^6 Ɯ/φ^yȚDYcSo p !wEWWnmξLj9vp^?)ch܌ 06O%!RtBQ[vl\/ۀ8D%U$Xہ9|^@-\ ID7gOy#]R1mP~8TY2cĪ؈$]*]N\釋9'n^fi~Z`x.h=PumLEizɢ52XuE5m ctjciM[8%Hă*"'f&Sp@/3lY)[h?&2_`S`q5L_c6t+)VkoPH{*Q_!_/sTG I^ŏΌ#8ފBWΖ\u$%ڎ,n?.;I-?W¯N7 (. :xasKo^aQѬaȄ?> S2&dOH(l{0rx(;&S)X2@BRoِAXěa8z^ǍD!=>\]-M=UusdMsEy@΍$/%My#qD3CknVXW=Z]p٫w֓CtBIŽU $mJ$I.v'ړ'P>tSet?P,79/0O\{=G0.Y w]zoꗚ3R}-W9c 4VN3㑔(͋ P4K''FP f:hEޱmnȲ&ƜB㻓@GOUoIUS m0C9QK,->HZpF~y򅜆J1ypF^@3i'I}yX }qC=n&2!a㚖GI $dVMums:(eJLwd,}~;/l?h)&cCoz8b~V=#'_4* W,fs-A,d+E(]x=б`)jM(FN9tܷQkǤq w }NL!%)pi.MZ&ݹL2t/: CT߬ЕJ@}EqKҕ4_}eLfQJ=]ȴ:戢B8?4k)n4a!,rω.c,FtЃ5vOJ^UJSZAn5N?ᖍ'8x)d"hat+Ȍ5pP`tgo{Yĝq gW Hs_\D %;sҫtxk ɹDX[lX:. cMC(v|#**PzJT= t}DPX^Aɋ p8KҁL ~?0:ߛ' x9@8_3\g'S2VPZ6W- EL-) d_<\weSug*ѵ!jn26 W|GNgM%=BMv ALm!TtN+3Q_ĚAZ4'XuO G*eC&7ntەX†u_2 x$>q'ˊx%ge" ¿S킊Bt&YiDk+tj]x3^=i{dNEBi{%_[D+;;,źY/~UYfbJTM+dS2hpڜ޵%mh^1 $2K =÷J f[eб$C;J1c),u"M%ˏRLO-wҰCCܘ"< Y`pr~)My5*pftT)X6l@^ 0J{goR7 ;cATri\-(-;1nc KzPSJӲ4Z1N/ѮB'Ck‚p8ذۼFyfϭWm/X϶ cuѠQ֩hϐ7,_`q5(Z몤4)1*02( Fg߮尡F$o.qS't$eucE Nh3 +) tBhs@rG^wya\|[A^5% Z个iҼVX1ڱYY (b`>8/PtEj؄ufөI󀏾lDmB n'\n"s@Ű `z7NqӥBeG0 +*YFFMD]ݘ7xw G 0+hH0;׮<,9ԋk^UۼqJu贂JDCTz+W+6.jJm' r(+Ƙ&#_Ti˂Rkرv?V1"}̦mfBL'zoz+cw yU/Ex Umt)Gҹ&;A3[C=B?3H94V_)nǎE 'ԷFnZIQV#q'` h2..)g˝ ]7KxdIs:(l'?v c/["RЃ ,|YCqtAT/>}4Νw(puGUB̙mͣ3 lÿagX;d-QoiO4vaE]p +TAB:~ao9&<9p*BP1{tOIUT0)׭sP;9Ҡ/z֘RIK?/Ķ龀 y&N` zTn{g45WP30 ͡ġ*r8I cqF>KOV-m*Diƛ=% Xqld>T0[ZG!.:: be 0ժwm@UOs}YbM@u~R ¿Yv _&W]Rq`ю|*x9Aa"h>9 }=u 'I5@,<5PP>A-BN7 Leu?5G܉10s0SB i051չYO|; ?|5$ɏ)ilt'c40HbB2QG3o"Gד9S~fw<`qӧvU4b+=WЄL;wY~<%v on~N'`]Zw~*Q ^tϖ85k ?$>ңm y3:ō-[lr<@NEqwhZsX`Ocv7:LQ; 2AFi]˶~eұ_Nޥf|eξc75ـ +X-*)yqlwlMs=y*kQJ9ݚTi߷ݚ߹(y+rf;n+d ҅H E]oX}JdvV.LBr7!&G5V2G ,ذRFξYkň'o7aKSP< G&l˛b[hO9FӴn5%QˑA2FLPJbE DoW[Aދ *dե#D.,-Zݨ@j[.gV C8>d<f;S?wҟ3RTxKG+]XcB0Y9dY.ʂp_0,Kp%b\`*1Ԧ3^͸yo䓎{6="8EGFc {."(u(%OZ-ALmc+=ۈMTNj#bzo ލĎ&Ċ5Oo[S:V5-J_|P?oM wj/W֒ t e%WAI'|]œK (IUW)@݊\tp j4` ;Gwmg,M+{0-=R=ǿ1F>ncaVQ&r =ьlNVVW>n!^s\1f>HAND9Wr9 QJTơ Ngā)`kMpHV&Ӹ=H'_OXU敩(M9$u4S'X(twԜލ+-\Ql#loe+1[73.3y,*֖ͭ}^hcScc&m"$ULof]m8=E ~㳴v4Ӑ~ GbO 0x]QALL,*M!"ON 6x!JbE@;CzoD>)@$_hIt5íՙ ޢl0&0^X_۱x(wrTL=ٔ_nqTgGe$O v\ "4٤kIz;rҼ1 'm Zhpxp䪳^:/-n \AhiHS]V-zgMMnxl*ݚ(/[O:&y>_PXFp'=xeDvONK5ܚ5 bx|wn8+lnE[0f̝1nXN%)a>0 /^ d O)sg/˙ ,:'Y;g mhWZ6QM/]8a_!G{8GR?XQ'L*JH~=M%2{MsUnQm^_O*oNol#2ɴ@TB[B]bt D^X<*egFH4".'믪c/EM6#6jrd;p͐PQ%EWmoyd㶀ÊV+~SghHm ΘOq٥r\ ώp$EJfLK_;#?QFn1*S6=c^uX.*v5$,h㊣ 6 d};#{Ylwry_.cbͧ͠f}zs$'!{eЍ,Lј*CJ'¡+^ #%T'm@7Swy{]`4W7D-[*S"w^7λex)ֺ@zy.64,.e>T/LJergemQW/bEJ24&JS[l0l^'fڅ LmPWWFl>G!ǕXΡ*;)}Q  hpȵcעc[qݸtyV(sDv4xܹA_SːN5Ă1iIt~ɹba`I#nH󮊗If5SHUMʭv֚,FV3by)AZi)k9m u^08ǪtDW@)@.i#ȷuXBo]n*:OFS>8WA..ۉPvD P7.xK1J8:T:ʀoL^pÁ؁DLdW|у"SP~t ʈǾr1gC?-H눥0Hc3>tg'@δXߥMXǹhÈ6$í:z?tU*aj, mAaʴ6C6C?`JQtozYzȸ~o<^TSBzX6(R"%pф"8n%[ӆAUڌ݌If("h"|xP\U U_k"%1lA) GWPbLN0Mͧ.(ٹ y׶;Q\ 2_~5@lAļj9;W)o=I&wP2lN$;浊-!.g1u]ð>B7r1; Or=;o׋pad*xΆ|@hoizz*ן=⺋FDGNvжX3FF61_H5|7nwxgGЬ(.eRK)9YïD. Ďg 1+ފ{Y]>\S=vpo2-6鵕=Ľ.W,v6 ,FSBnw}ԷP$U2),8 ”Hu-i`kl*lVywދzPZ#m~Rl⻟F<att.,7PB2ў=F'3Z9*ϤA~ ch...lCt%NpI {_o牜bh92 HwNU,& %$U LȥƐ7)8Hp+xc̠w>QT7jI*&rW4 T?wGZZxss鄿7$Қ d@X[AI $%mt+D;oQ@]/)@El68`]m1֤?Az`SI22 rV' jXVLq!{wN3W ,rǩe~f *n7G2X1N,l}0Rձc e{}) ;'j|-QT)+>·-꒞򉳳g!YeqZDo=Rמ\%3ʼSS+w&E5ػHiK(C̫JrXiAf[W[:2Rn!2Яru+U:W9q4|aвI{:3̳Ckw Ly*pPžwe?eu!4:e2@U܈¾&+R^oIC[5w{|k0ctyx*tgty8]2]c{1KV֡'ΎQ} 7=҈er0nؘj` 8Jˇr=bID\v"\ !Wu%8k! z pqp _\ )iW7?sDTcp4@xB_;M;F}G`by.1!z/TqXO&XN;usN*2ȶͱm8+j)O`+.og!Jn)g[qP*z`(-NR콈0gCtDؚ[X@VM@B=[KrPc|WEM=91L.&"h ted 8> F.-Jm={k#dKӦ,@MA┱aδw\4:9Y O' 3Z^. VVd h׷:Skkeyp ~$ko t'(1kO."`u}'}.o^ n/-,gl;byB9=V5" w֖j  h 5aOhQ\g9,C8*q(٫62F{͆{؊$5;Į9r@d~BjRɺL=] %T^]|Apkh0h4*P9$8>OnO1Ɩ4~f+rmaJ#c5gk+֡7[dLz?hQmOF: [V5rpmQU2H]H:0#?yrENm7!JwsA^Q.nτL[tHyi!``q'žq9a]6pWaW6sĪ.>? ,h G0\"G]nU +^E)؈!2=+GM@\QdhYV%e yN"20 QA{̆yNJ0Ka9t,c=nDž#S걳%|-RK1P݇jۯ1rI58i9nσšk`4:5Xp[VeM: cVTH[72Af,-Zl?5=p]@ԏXRJ߇>)4@)A5+6J&{"͓HJ503Bt֝^@zulyp+arA(t;onJⵏA`fmtd/忀kwfSlw쏠2l-2|N h&$o_Rg7ko_0ty DxEEU\V,D"]:v¸d=͈Ze _K]sYoBk#C!`?S?1wCwF[F+dq<53Ժ:c)_Q" hB?/!mc3TIZS=.v;~ZQWVu7Vg2 k4٩=3MtXfsMB~}ݯwYvzl 6xH\Kܕ?ye J6.k/P+n R:%R;y3/Z"ĜPf Tev58 4~7% A˞z+qoVAIZs2`"*nt3#J9v}L,Q0C]/<2W!0̤>Ѩ!:\?!|-Y!Z1()^u߭wi9竲!8xd?c'xblC) FHpM48SGTVG-GC_xu_1B֛$&quTӉ+gSёBXIѱXFZ4¼.E?X<÷}Wxb6?oa7epeMA+ +,ƓHЭˆu_׋32C+T:%ʁrfbt(Ut/Oy[EL%ܘ^6԰ sn*"S31.R"}gq/69Qg6]6V7Bzcydg 灓ЬdVڱrr"$}\ߐb 6`/3W%JHldVvaOXmUrmdX܈L W΋o@ $ngwc#ZwE["3$Ru=XdEW,!"zLAm)酔_o s|g{HmHm* (igkm_Lqeb kn{8<-EuA qIjSa'g DA&΃)eLEmlu\rfqs8MJ?i*-m$ [VMrxFs1 D=piqA#K0OO!?Ω}<aPxK6# 18i&|S(rhFPGp?G]{ꋽJs, #..YAz9A<"3d')%Q09~T#|####~@s "CO0xKӺ Д "#l:aJ})!͕.h5;+GwyT=– TٌOETa닔CI=#Vue󷁝]7nj 5GŽ Hw?>Qݺ|KPM,a4x5oit@kles梛ҧˋ ܅%'-w(c 'bɭmB"_.#VbJdL ר{θ(QbDy%of0DZkr |iEHᡭSm)xPfj"Pcku:H -.Bb!)dȮp.+5&̠$eVɣ֠oA61.zl݋ۇ|u$=HZ놌[Jht AEuw7<̹ƨ jDn:T7Q)TIą?=0|a+DNO4RS}z >kb MRƭ^Y } ]h}` g~ж:+MJg B-(G5@ dl{ ,xlJ?G1B\& ?hi|cnhYm|)/ŸhMX.g'0>(ri1H4t-(xu>^#d9ދ 28ʘR_ڙwk|$k"Y(ⴒA - Q%rhHV ?/|?' DU$K2zZnS WUVn/j:KhJl-ܠ= åu;m4DhM!t10v1L"Gw:VSuu$8q@6Uk*3(|뢑aAU/j$u/E#09GNH$R=Kaq1$2߂7M{?Dep;1FpdFdPyǀPa=uw KFɳF&WrQ}Ll+VJ'/͊sGܹNY JLp4-_&pа9\|n-]ͼS=-/*nGwF-Fk/'uvtѫ*wPWݒaB[&+%OSAkysSD𣀠N~@6?|z$d3 w}; C6mnQLNN,=Zozy#Ss=\?RmTIlkvJN*wjڮ <`[[h!%$6`) smR4YXu'л8XғGhT!((]lzL(lfsI}E&E5j]W:NIQĐ=8:[w #:GXQr od]aÞ]_ }l:?^ K CAST:hȹdinD^ߩ?ݍ74/sDbKM`?!,R%hhz<a,Z?pյUVs<%+cZ_]ys]z7d,<Rh͕7:}+:aPaV:iX+pˁHI/]"@ tK99t3?_[1d-u` f@ GӴc݊~UYҁ&ɗ$-zg}6wv0mp4~6=FfxK=5c?V>EڭKñgYZ ci ca%/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' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bM!rqI~Sm<aQa1g>Xى疃{-$$$ƫrZՄ!8Xd/xHb4Քl!/ߊJFAQgCNm-ֽuC@VZ{ц_N\T^x` P7_<#) 6L>P`{)ms*$nn-QSaD.& i ?DGK2G"p vdOA !ݞf-{W8qn,J*SNŹ)RM-$ 8AO]T1ڎ&ƜWGf0=AV9n+9_JM{rrXX?>6S{B79 O-KUYYgY<` V0=a2{vH/yˀV kZˠ!  ]`930I!=/[GapVzHMN /CHXi=mk, l;ؖl_Գ(ri%6 MCzENNzw]W] d/EMH1%pJE 3yt_ pDU"m.%ܝpg;en]2}4A8抏!9·BVrsуG4IMCY' 7hh8=\=)Wn럹z3FA[cEЯwG9 ׉mAYI޲%0Û?ڳ#Eu2vDz̽ 1j-=+El[ӝ;-0;McO grk4QFY䛂xP`m8;X`)Ԥ8 unӀUSwɼL=~(!q^ ؾEJ!\ LS ޤ7R~8Qfh9L"`1κ yT|D0<ةaafuQX t;[8ΛG0Njrg[0E@ey2 Q 6>?ЁO9Nbm95{.VO?c`Yy&*1"9th& aD y?H @jh,Ucl')YPYܢqb\??ΤTg*.Sp{߼{ncWS6Ө̀vJxk}1/ L@qWLnUyyQlKZJgX2Б=VnFƳ~oDγ 㓑ب˓>!]\Ы_פ#4ZJ`wJNJ*&t3(QP>\*KzRc,J{dKyFhE딾;&ӝˣvتϤU(y_픩m3TI5=a*nܢBI4h8e(6|U %|uD:5U?">6mY i>,qg`LJl/HH^?z{ܐew$?p|gkggֱj5] Ww7E P(%)B][OoR깠P)+d} t Qw hY.~|"+%Qal/G+X~~Qq/"[!%(sO&T<ė;˫7wha1"߻|,SL3ҜԩEZMiKwS$drQQ՟??uӴg r]*PC+PmH}&WZjqPXb %|7Yƭҩ_E*}nBnKg_-{jF}htDrADt@ov |_ePь}ܒ ae,֝1`О)8< N] !qsq&G%o .{zO1E^Rګx86O-A)~&쌻ը9-%ރ 6>O*YsT`W: w13N/t1v.@K]"F:`Gjpʐ rX"@Q^ȍurd3P);צ,)7ȢCwT:ƒ2$t1Au;Ixim.јYkȂG&_/2it$C)(Wc{ k/&zG˩RukV'=Lc^჌[ZOX|.xo *Q#F*j$3u\9D@ɠV:V,ELam嘡~ fZJWʜՑT.΋>t!2ҕܛڷ t6d9M}EBu_6_r~c%7a_ZPr\n8cӈ 5qI'UQĸضB(hC笓{㦥m/15vB kjm#Lrk AFu_=UqARWK2ggFb^mLճI |zQ1~S]u}BЌ:AZ/9¥ %GD,fc5 C!,ڋ ReEm`=~4&;GcG[iF9E$ԊDAь%;U!#p1^cDM G6ԚPu+YY2j+#N}9P3|j(aYzQf;4,:'f'P< ݥhKA.&]N8bȱL|MwᶪOLm!Qw7/FЋ -gΣƴjI+Tu2*:(ob8Y oRQ[K*|mPo~=P}*O%_bT 軥;ByTnŊk+~3%ݟe%6-`χMPF[cc:`C' ֥N$|YwUk&3ᖠ%~;tTY(WB<8dso|Ur|)ks1`!3=<yEs[n/uE|1ƿը}M-9Oz:z5:euYUaD]#c[q^XO(9G@}_J3rjju.x1 ;vx~a9aڗ6%"(wNbHuivR a ry?͆"Y!"cS??5vI :=öh" N{ɡ\Z(s #b~p3B)W9x0rs7 Ó#;F; ud 49*+ gGs" GgFK_S[v e/ǰ49`;,86ɷ}@;TJ[W12DKl_yYPZ1{8E&n.觞FbJ a6gJ{ۗxoe~E(:qW2q2cرѝ|4G6uf3)Xo],j6+eu+NÑUX^ "))Mk\e/MVE t~>.y3%Ť"4o욊-l%axrd9e(MbYCSy@76NႻĿ#ΏSܦ[8ibeNܓ~UIR>rm^qH6e42qS`6hD R?EiǮMy}nʉRF6[%6YØh|}HJ& =}K7*uِcHA%dRh*VaOD._5O!Q/vT}!D>FL0rLm;J3k[LiXA.zu;L(׍IG,s2\:^:l"R-9u 93tu"%\BqXI/Ԏi/T NCkh9Tj%K>d |NK$ |Nъ!k|)}\^ 5K<&|tgE)Cu[4F9 |`<ܷԄm}H$m̆ 5JW htnXɟJ[gw] Fכ|](X m7;_NRD8*}씪f ^JWz>Ƹh?p9Sτ[Okl odfvjL A5cxXץ xgh5;nKͤ; ]]؄•&mS{ߞf*NǼO18#t߉"X'zKKO(sq_o2jϫ(`02O, XEV3?B?ߙ"vs04f '|Z%Gٗ-nDG<7ԣ Wۊ5+albN[W›@6Y}@5G )ͬ)R`s`-7e tN'掑){Iװ(\M' v-kZpM[rpjo:uxWh|zw]u&T{~E9zO-Nl.2RG<*ɹUZKGNO*6S'ͯBpԴ-7 Ӽ2|߭оVzk.HZsŴ'ϟ4eI寉?G#*Gz!9?|7ᅈsN-w9@DLpMkիP h>,13ۂ;sW k2i HEb~?cUANJ!je[S#Ʃ2F5H.‚{STA1fh?ǫ8J݅gy|it`JWf\DYLLRպw}#@gdf zly?qRWz[&֕gYZ  # Ki$],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208W*/C# iXkR'GdIBGa$Yߪt"ms&{l-'E8,>g-xU;8_0VMo޻B4Dͩ޺wF2+ | ru2&usMt.RN iJ$ց:6mmj6_v $ 崱_R}"!;|vuFMtYӂqZ@EУ8wbxf |r(/c(Y 䥴h240:6{FN8DbZ] ,bK ^( enͣɰJ n׼5*4z>BU%4=Y6ZʖI"_DGEl= MmXB[V(Cq-Ya/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 rq8L4'hOb-^cvfZYB+amqN 9I[ǨB/>\̾XnwAlhϚ7 :ᕉw,Ol\I!mdO4tPGW,wnFNBxygK2d); uG_0r{}\ H4,>^kZ!O>c:~ %`~1EAxTribKYd\) ,ݭ\hq 숖QLpwh0Q ku:: ӿtFj"ҁT#,;2İt- ~$[4x:7-8-.@n ~uy-@11'X7KuTW[BE!kB_Ў9gYZR&/A# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! Q]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c^w}(C"j>@CTWR#EOZ_T8P{(4+>bLd^Rzk%bIXo 32:C}J!%$~e-VQi=(=Sd@hF` )IAL)A_dHtie!, ӛvU$Δ/,ތ+akZ9%

a޺fi 4hBj"Xi~P-T`(:^~h=%ΦP*R."GM /% v #y.&8+fBVys 3|xljllez[Xr{됢դUcݣ v^]66$4w&b@IV~Į{>4ʈ/S*P)I/Ԛ#PC&V"U'Xd>e i9ƣ_¸xGb1wMV& FH.OߌI,$I KI[ؑW@ۜR-Ϡj (}bRuW. A|W K~ApWOc<+$_1|n2[%5 ]rHs&RO3gZ?'Y9FM.6Fh\b)I:P͡LC迧&pERBM'AOD+5UMaeC5DE]ޥn8U]p&p9-5+\ZBJgK`\ 1Ĺ GC4SMil3Ϗ'+U zGBuNz4]u9gq}$0Tr*[ k{:.ߣ˹3UszTSEq-xK'h&-^:kV9)V% N&Xtͻu^¾-,J` >*Y>*ک?AǰXEFҰjqh[kֆ'ܽ[ϕoy%L|37[gm+)o%^Z.YgfoQ׎PMPWq]pN7RtJS-6Ŏb,~ ޻ؚЫ Giw(Hgy 5oKz]dwSeT -čk>nʝQI_?{KR2e2Tt3)dJ& l;IFkn&BGE z&@=lZ aVxsIMu*jgRwß+(6,͗Z=52.7&?.3RÙL7 7U='2y--[/D.44b2@:Ak&r{HR -) =@ 2ՋD7WdDpT Y.IKl ?\DY=9l#. RXqF8 'zUc5#)lԅKf?l{V{k͙ ^X &;C.Z]-ٔG`_4ǞP4=}`BǗ'/v0Zc$k0uh]Nw[ gJ6x@џ&ɨDc hc>|Zr@}u:8 7@m#O,NjUY%|WO '5>`8*Bb39Ƌ׍Qֵ[DR/?eVnReuo<= C_ ތ65灀qVT:y }RI؄n^ A0vs5o7Y0jGyЬI.]i*5ؿPE$L`s&[Lp2ppڬF蜮 HoaMIv27B7Jp}o܌VO.ŎM)cJ dRs7_L#> &r525P$̨9T4fw"~gj T"N!s]A4Y"- )F5´B*KYeΓ7{^)]: J6h+)nm#vr|d)ԾPwgv)#5*s~H9c0eqOt_9Bӵs㑦+UJ*8)LSeIG͏RUC l~(w5*,֋$(~G;b-\5\ zcnO iW7br Iz!ʼ=!"? 5D_[(I}pyQ`;Bը劳~].#Ll!xDO_J=nA|1̄/@ҌYeos0`c'M13d_k1}L` g56u׻ JFI/W`^ "-+Ҋ\!4WNKI2hˣ´.KxV7X&!㪗 Ej&M5znx@?|q4ۮŨR`hz+.rl3!6&@ˍ7"ƔLWsN5>8;_5m- `TIػ-i}V)kOPB-fowUH Җ`3˭C+z0@U\ՙ9seG`ATAo/Ԭ8r f ѷ+>C>M2T'0>FnEM5U6S?DW7yyyUT/vJ:r #J =ѵxyYuIY3+jݗ+*O~sw8M{M~U L v]͢ݘW'  xS[c wFI9 Zj_ɷ ӽxCf*Fed$[T/: \j~Pqܵs,ym^2Ov J:+ phXAZ8 X z /u"L3ގ ͆(wTL 4f'nVY{bF؄*XkݲPnĚ`NRJ5I^>(R%oJMEN7 BO[7hR:C_]=/(F~95  ?yB}_e*2SՉj'.@cT 1OWnA[:oJ(1fǞվt԰s  vTrX[Hk#TNxC?HT ,%zZV&y`Ytzm>r~`VqZ*.,u^UNzy<HOQ{( gYZZDs{va:4!|EJISxxEʶ/Y^aw'`Y5l?{21Xhi"di3UIBy}Rׯİos$# 'd` q+@йα*ς)kbo%-EC&پ4 JTH,#;ױ`l5m{1C7e **G#{fŚ`y/҂,R4byDMylyfpȘ hZUXd˹~<5!9h!?UrI<;s]h[MSliEB*EYm<[Nלb帅M@\&%0 EĹX+*Mjɳ ]t~K0͖`54"8Won1qZzA#&H 4v9G84-DSg#$~fSly KIkCT%\BYz zP w(^YaRHaJʻt@aTfxMW#w!#/(V2z{+"ɸПRVb?lHɅ9~ ܘ1l݂gSvq'(G]lm Z4igUM/#M_55[ ;gF8TOZ;e-@ˡ38e E)'cDӽza)LgЍ[bG 7Z̸3,,2 :u|elVlN5|[٥'_Ob37N ڨ\;kd,K72D&uU TMswRx QŧFf{[]a&q#]ӒDY$_hMzzv9{1dͶyte9jZ?<#`32qm [gRҨzOE˻`7_?7S6I7'0 *Yz[{T@~X>wH/6k]HSri]ةnG$"E{̳/dD0U}{2(WZ\`0G?5~6?oy(F\>MR6 j׽F׌0ƁZqwg"js5𕲫ʺ[)*P Oz)rmb}Kݢe /Z͜A]ǽ)yƦyL#Xi;Ra|tR<^w0$ -A7bh Z 4lpKUʸ.n=ZT@>P#Q&3 mZP. &.Í6gk A܂J#8Z0i0@^<\ȃ'}ue fr޵z#>j#NF7qg'sW&Oyf"bOW]i?&R:ܺ]|F;S17Ǫ/覎? Oի:"+ޡ&V'}^ CR_U: E6ջo.Lx5 `ѳ=Ɣj<_vE/-V^T)G+әgYZ  T 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! 5]·Iq n[:|&[zܒ2>CE舶![QRӥsp"i1|hGr/>sK{<ڡ% µuW|lF@ (aRt%N+:?ӔMjL C[0ŗ699:%xP^'3h-7n)n㘕ŬY urAt![`8[Use eAБ~le}+̴;paٽкdϲ'齱-^kWcxa6lʼ'V㡟5<:O2-bR2Š"GEYg!k;&] w7zb= ݯ7cq$p[|к"" 8VdnteԀzL}Lm܁?c5&ݹP둞`j O h2fXOAҌAz"qc2C3{VJGJw"4 !# Ǿ.plS)D.zG#<D# bgYZh-/=# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ek]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A8g–WAD56ܩyAOL\i0)0tPճBgtrR,'0qL4/US{l'k0ġוInWl$ap rNI1-RI ;OӻMpI@໴G*B€kW!洋<y=g"#}B/"*8!sIwɖT.ijJD9:+ 9ƞXd'푒R_BGa3|tA;LS-RejJ٠T1C{/[>*QU).k;gQ HB!:o-1m5r][Mٷ]١RUcU|oF{wX* D3mIJKY:jRfD{Ks(@(s|fRHYK|bar97c-X4:hqMXγm@'q4~;n6ο 30k1uV@c#50(.୧`J:]eCzUAG,7ݪ$YNOKȓrhQpUm~K+k<'X@!Ѯ3dFVt4A C]̝<;7ŹۉXh:2$%80<]3Em/SZ^^|z3Q#dfa!`;3Y6* I1}8%J(} /h &g *8S)?XT\H󰻏t•$\S`'C񁤒+lh4ŗxEE/( ԶK ަ$I7`]wyH&d<樖2٢A.'pΕ6}V0zH\9`,p TYG%jD?b5d1'*gs;PҰ] 5pUe$l:4X 97(צ^:t }U8kNV_ 8tzT%&`yu&'8VЌ ?ļͭ h;֪Y(G\H(b,k^?צ|$:%:B})jAQv]17ȇg^^ȡ4'xKA(KهK!'@X|WonD|2b.t캳R5ƕ>-mLoLKo飳%ۣ{"9 wۗVX~51^%Կ `ڑ$ ͊&aJ(d-Qoz\V:$\/ԧ:1NWFMZ 4G-;tХ1yxK_7TV;}e)q8G(=m|Xxn&}|;U?tsSFbvR;x~ R{=um_y&S{zʤ(lsʺ5@@=埍 Z\RAb[_.P+,[Z5x*!3>])l%Ɂ u! _&/x^)28mm+ 9 iiEfEi[71C/بH\{pߋ)ĨbcP \|sz[mmk]ջ/Pz oUЮozpť7sR1KNrvcs .)1 ePDxd)e I__WvW}㍨ru:MY[9z7 fEGDT94ԫ/\X\&a9ojGjw=:=#* }yK(DM0ٜQo|% i>Yd! I++`q.X8뭉@Uc'8\SJ7g {Q ȞUR9j._!hk/iB[:R D'#O8++HeaK/2yU:hcgsZ :$b>\l$qzj:ӑ= qB5>5}D͊- ۀ l-;şI &tv 9ڋNƩOю~(cԒ{$6/QwMI#5,H"][ ({:m}䉘4y ZmDlH Sr,=yYs '.9"UP1.u4T L M$qbա *4v2{[y~tN |$PY6D@)Ah==~10E|r iF)*_9\M y O8QN7%%[[w)е?)i9-?yJGN]QR෕ G7<ٽ%C@7ѹoѷ=ճI}|(K2WHÀ4 y*!D8QېYRWYĴZ+'](u9pU ŢN3$,ۈ9y|ߗa [>iHG><27b9L_W)4c}x55\t=<ui:y ʮ$7 (+*&NJTNeQ]_?EC]|ԤH: `F Hq+$_.SA8<.GUU]-01<HjbPP*-$0^ЖQ ǘTʁj"M݌AYBAq-7fA;BANhÙ@!U nmDN@,F5E'3GibU$-:VkNLƆ^'K@AVz/kj.b9kV?v 3tFhR8gmC=ߑ=ڣV6yp~h[0o58ǥvFmtl7:W$n-'] saƖX>HtD$dRqahbIܕiaPq?'h (_<`n=pRk߉7kg39y4-\tO@ErM@#m9GИ4"$FGjNNIʻyg"-JKffip葧&7R(* !:|7D242~7PNYPyϽ|. l'gYZ 66?1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! >]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdP&|b/mWh;E, [^@!w񷔿JO$_1CIcSGR 28j0j } L qp<]WR6k®C4 K؛YVt.R+{abuG\YS i ?QHD1Yj;rY*͕xAAEuBr'FePc;D5[^(|Bl*VdKPdoO_G7GIz;DCqх}W<$rU&TW#أ@_G{z2fGkV_H'>Ҫu@H<=OA;ܖ[~9?i]*R03-mśG[1bAږ`!5nRi[3i@$Je{{y Vu*+eS"e1c!7s O<{<6-ދ◺NZ ύ%7+fd@;_PU7`G* ]xo$n$.Rj:j CF("ʖ$-R;nC䒕7ݖUȀaO<47 ".Ϳj9 wBY.^cҳmntyc&¼.ii“yvvGK֖+Msmr tK=_jԕtG4tJy=H#52%c[fLKT/Ē#<3'7Nжz>xPq_veXqQOFIYKms\ŁrcHred(qD`ӧaAZbbhГ'&:ER+!;zI$0E"t9S?\rjxrQp}_()n/!Dﳋ q=6 ܮ^/tOc:N+_yGCA 4U|u;j"࠘kgB-`ңJPtU(3NZs2/`" wy꯫#ZYU,'x#|??"T&٬HE# w}^ ͜.5Kґq.eH(Tpż̞^6(> j&H iAU5Buq 5X,-ᩩ!]GϦ\clVʯ5u~2o஑# P!q7ͮ.BҳlEEŦaٚ;'rx ˬQl3NleEt%- (Q At!^,i M]4idτTo| CZdu0o)mXz˕]j.ai,YET&5 V?}.?v2qDwdC@j"S+ՠ7G.j06kgұ7Su֐xڂe2y:`()Ñ3QϟCQYG룸Jj}b %66W;i9bW0Uaeq>ZIAt]qOSmZ9a\ 5ڌ<ː>ݟGDQ@7<PBÌ>APIyc) r )$7sfv 7Kee}myFͭSZ+̸=r;XjzJvWpn])?a1VúDyʫVN52²22}$@J(h%tolO(|7&íA?ݾXPcȰ9&"˰ڍRYɒ'MZI6v%hN^US2[0?zһSwn!֚<&:-. 3*)TRZ*3{*WqiJ =6Ez7Cq50z=|r}|xJtSP Eu {l6W,\9hiGljY1( Bf S-7?WB=*\6uKp9ž ͠_4ɨ8/`D%vS|0n~c|5J"v_Mt5^7}ct}Suŏ0gہ0-8d|dWy6.LBr~< 0 Y\/iřz8?hOeJTա&g_jǚЪk>D#nYqF1| TR{ Ai7@T MgQsn( :.ZuzVIwsZMXUi1\xPR'}?G#ꯠBɃBE2CSqaPӑ7)%hѷU.I(h|mO7e\eD_ٻ5s? j0V=@NlbCX ?wCȣn^nU?';oS@,[9m'NJcglex0c Za+IEIdv92W#M{Eփ>b6>臐3Dš8;blj(%}_S(_,>a"J9|E*fvȯ1D4v+Xl~ڱ&ao^\'+}n+޳k49}߰|  ZO0) xkOAa6Rݏ>>Ov8K:K9%$@ E Fܶޡf'9ɳaZXULz}& &, e~cLHG7qPd$|us5)3 597t'NiOSAMZX+eSml^/S<&KCq cZQ~BY㶡 5,nEt(N[ޔ#{ߣZ v:B.蟘o S{0KفQ QR@G V,HbNނR$~cxvç7%ALPp,HtfDYt6/3w߶ԆWud) 4(8!\^@iTV?=ߑk#1iגa  _ '4sⴣbDOU~V|MNޫ=.(]T#PR:uX\ O12 :mP,#D=;H6S@aQװEhiWG7|_y6Iyh S}@/v7gid&g%dB crH;b&rw_fꝡ3WDؒ4A5m{_)OZM9:6P)4hKz>,O"ė~uII+$.Ie]15N~p*Je\qd~57F"+bDe,Y' &s\Zz%y&]pa4T)B3 ŪE>(RYT L9@՗1{L-@Z_1I -w݆ Ulݾ1m1DTݿB]WY]5 ʭN':sgTw:ܒ)<fqukvAzPޡ[5wXXx}3]s/t3t-nEcLvA{9+y]'㩍*Q4E_% ωY9lּ6<߃8 geD0 `Ԫ+-j!T;ϟ 'K r  C l Tty0I#ki6QCd\#&mImˋ'N>F Neۗ<ͫ (ďYyt%\ŀ鹏ݞb:G̻qjH+ nv#ZEB2Ƕ߶Pw6Jҧ̰?wxef#,5G1* ݾSHY=l"G].ʀ2bb}HxlFh,:  UebE w) ; 6/}PJ1qXUJrYɊjH@{U))ҍ۲UnDA!y >}Ճ?P2"y_L&y9(`F#3,?-;Ϊ-5\ۘ=e@6SY4;AGsd6)~Ơ{ К{TKUb xs toಷ\9##.Fd1~1'^MY&{M{=)h_o˕Bn]۱}-D((.$#3/ɚk-3ew9^N?l`g'J`΁ *aaH|MDphk~vcai 20p.ȫDOi|K@i iߘ3!  \FVko{$99? uL&65T [֗)iXN}^"+ysXy&.r͑.8te(L~tzc^2M`W Ht-5Q\_Ţ,{2ҟ#b%JqHKBqn.[S,P98$!a+;-AʅolȝOw!…;qi x 9,W}\hPʤ~lf;jpWMƌ0CeJ JJ ):]y4[Shf. G!`&y5/vAK0?z1~BUU:l ȊqYFib5T_@Y(;z^U,RN1\ oVPMƋ-0T$6[fނjl$Sq1S{_kͺP ԝqO4O|dsy/3{>f6f+VQ15!qe=܏tlT}&Ҷ2{0SnHKCeUnHIPпh阼+Ur\\,dG]V9.}(IiE-0l͵s`{8<.;?2yBֿaxgb.w ;y/ˇl|C8Z SMY|je~n(" XfP䴥^բ?ŶeAIihЩɆٌ,$l/>k[P41\ZkqZGr\0OЈ>J;q?ݘ"9)nM>N e+qZZ]eQ }"b_&%C@x$T=y J#꨼ 2$RH%D~xE |Nt5/%>PO15ΚvmyD0FC34\7쬔7x 's9b1D| Vr+\ϼ\dh,J/\:I?ѽv'T,FawLVaA\g8}Q Vdb$ heλ7cÖVX0LLL;fp (-nET&8ǎs#*R7 DNm|GofLj+Ni|6UF ]'5vLAшّAb6)3W""mR(@FSױ{%x|JU׺iwC4z 0{iPȦ='*.v&)%Uoe|{r@2EQ4kzܗ *"fRt|T0g9But"G> 7bW0`$6ܚ)rԯY$S/V+ΛX{T>{"6\`COdv !g+?3UϷI_ׁO0lnKLM|nDq%zh"/% i熼/@\t?&Yj\wN5ձGd0GbãJ%b4m4M rߺ<yVDՒ D>u=W<2 ^킐7@L{r9je0Y|EXC@Ǵr\DI`)@N@Kcxp-L t$RT>j2ۅh/v zS .u| ڰM{9f2NtĦH Hec;`@ХVQ$O\ef0zt؃>`Yq{Ic؈f6 X'5aMXߌIwPV޷]pDҳ55g #T=ʃ9D#ۄjVvh*xs"\]|ȢbCU4E<=e=ěw0 L Y+wd/wY"Lt?"=0>T99,gxq7Gt;."Mji^m՟ڔ>,%V[Fv}m_4&SD'ATbОȵfˁ`O/ &4W mSb8,,!L9Dᑥ}$O}HBmb pC}R%u iV(GBNZTnV2AIcR9m0,+8@>i{CFs4XܷWl&|$K!emW1u6*/j xT紶pR8 r՗BO=t++X0쿷z(f Y39>O2]0Y"Y$+A b{HG Mx;. ^{Am:=:wU DO(F!ڦ`ʠOfH>:,Ha)Yۤhi})ņ XEYY0M$zL>ءsK2?DzH0wTrHi렽ʼneˈ^R(JElj$U5F/D;(U4 h"T;[* _8 Bo>2 voְi[[j cdƜWKa6C<UEǏt 'X@G8asFJՐ[JG9@vnbn~aQ: ,xxq뢭G,^e/>pis,k찥=[rޮA0gt7dƺjDӡ [:+ѾjA[@̥u sHR6"I=hJy`YɌcl e=NԳj̓y@m?,6hpa@^L }RDݍ4GT|\8\ 0u|U15bيN]4Yݎcplߖ Zrmj\ P?b_a8k}7jiw-{ UꇅڹM$#j>xX JzZw|7;7i&j]SD$sQ-zY8 R[? ̌"f-mFw%(56 p-&9 r $rPEZ%.?r?4l6lk "Uy )E`A=a,)P]ʽ^ˈo}=R[sZe7qLh!4X'Y*`qޝrЇѱ~'JZ9v0J$][5o׻KeV"_S;^+$0! D~;%=><^ /{NQKq QW1лuyne;MӶIE ƙ j@\/ъ qXn#Ge1#@ZM&8 B5&ͷ\G,2K\j Ev#{$"[Av qAҨnI>w9]9D vY)*D|CZcaLQ6RN,E`@.Ƥbj/tkKHfE `HAwnzE ' , z@ 4CU,SO5 _p;F%HȆŔ !}ƿL9RLA$k{-D[fs)kI0&.XZO%gYZ o`o*9 /7# lHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA.]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zT;@g'BocϳDKo0PH$7'p!4u C&$|#9Me<ÞvdFѹIB p0k|T$eah VpzW:",}qT-ިa=i ί̏fJl Y41@^UBq|C8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214B6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! =]Άxʆ5.f-9 rq8L5UӻHGK\YlXՏ )E XK)B!'/Wݺ7ppsXEJ{߸;J:iر@m :Չğe-t7G/gwme?$t'BkjKp š,,^3!2Wmq$rUs8j2CD,R)l]Rt~3"U!q̂G]HcE==9Q~ɃQQ7*enνy(㿸[[^oҢO.dzCRB,B B%eFJPb#/ĺ>D OҘƝ>lbYlJ ȇ2s6VF)ئ]/߰sx^qteujvd`8?5Ml_TbyDoɀTF;XOSE@!6U$ +@Quָq\_r)!ƛeǿ8sDHjo夯@,UЧ69Mm%-1ozN'#cd~x9>X!r*kF! #Z.#sCjoAT9Ũ, 7O FYq@llzqs!W(=jD ÷TxAP`_QjUB/0I[2tU-hg_A{ . 2$DJ‡:s=x%}0` t` ?,w~ߋ͌!G gYZ15 /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_By>-$st =ѻ#ce%Q4T A|$ ? A9drbq"5ж)S55_^q6Z[+cEܻw"$zғar{ZYGY5*Tz,eJ+JUes;vB\,G"RDzaq~xn*4I(Gs¦ˬN" 6ǻ$?-g*zG ~0![aC>$~YI2srS Dvf$~\չOوSz0wT#x`/5*!敊h2 2/Fh9*ICq"U9!dWi.kt$!XKS>mHW=s UI Z8,oP8Iu7 듄pkM":iY0D*ֿ¿?2 lr2xt dh ~DwenAyYOXكt376Rx=Hf6 Zw@g6Uq28Rs/yzAhߺO Y5 ֩br`z?E=¶im1?8 HFwDs\Yn=V> @77$ ^-}YN1{ͬϘpqIkKtI] +o:nJ ; \2[>09Al:I7XҬ|f}`uBU`ajkλkl ޳"?k;+?o[!J s 3>$Ås`}uJzx@&*(5G,^D6 ^j TLn~dCmúX"}c+%}) Ų{^%e̝Jټbaܮ+>.w홱W;Y&W¨> ȁ-%CJǍ$f+J{^[UU 63_ al=_g3Nr$]`^]V7,hL D BBlʆI6b=!#t@zHr;1ig㫳+#{A,݈[gCRe}}]/Tu{Jپ= nSJhr(`&A ɷY;ܟSxDA 9ƇjJOy돴0Rkl5'I# oEUzVvF\զE9BG1?z)`X,Hxbz ~!ܮUUju#puA:sk$(dKˬanzTG1PW b m% HxmEJ9W4kmMD߾F}*&ogZ~[)̾qC-۲JAX%5nk d'wIO*fSn_LB!ppIݩ DL;^eڇMeA #lop!7g\!s weZd[0.X^Uͮhr ܉gSTS-HSҲ".aZI3 [T H%,K,I[׵9̳$㪍a/Gۋ8-J+l 4orUߎ{քICԗgR rޢ|85Ba5X衹?gVv@=޾cfA n  2ȯ賐p[tl/5o)T'(;G1YL7CW Xq]F:~V^ٞ;UuÃq+E\!$͛NJ,E;pWQ's*}nbȖAu ſ$h\3 THuSjWOaX,#!&Ld }>XM]{"!߫%bw=GD*ge#.ކ˱7&k+hTOF7qlK$!FETZ=Q+Na仜 jld7r>>Z&**RP({2̠1SAۜ^׵c/=ZTB\rGqgFe0bqbW $HQ_g fu}2TPm&|c=*l`0e&8: @$]ў"[Ex=߂sDzljB0 3G`[E3Gsz~CU`ŞN/:=jBP{_85B(3rD"~Sh˱NE0ف.\h>WJ"ER\9.16sգtYa*b3JeX~1M!\j՟e˺USw=brWOS̶>omh̺dxb"fR7ٽc\jPs @Z+PJʍE>'[7o=Uq{0m^1kPr.0}x;:Lv%Ŭys2\bGۿ}p sU&ڨr<"-qʫ\?۠͐_Y"㴜ji>ٜF:FXt&BvOI%&BN%߃ù2nזMo`C֧T{ } %t[9`DUyR~Zs/h=1Zw\,?8A D%B;pV/} 0l Iy9Yw=OaᣙήBihߙ>`jpksF(Q(ކ7_(aV"}%ZBW*R]*ÇqPu~i2/$-´ޢr9/mu50/:3n5F1\%lO/5kaGwJ/KX+By웜t:6bg=Mwc}K^Y20WʑQñ#^8qaNI[sP͹%H봌\)Fl$FOKٽЍgR*AuFcXkgnj;ޓ#s85v<+eke;-vƒܝ2%| mY>xm"P6)?֭("TTr !*=/~n -$Bp8YAZ݁Ӂp MjRy#*%I,S/,zn9ݚرD뿲F\l"/CȁZLdf4nش8?2Mkϱʓ0zx})3FI#ZelEġи ~=ڳ hӾcɀjhfa%dj D;XPݑ #<0HuN> 6n#zgrt֋$Z,hQBkyH ^}+Ui +QSu܏YGd6ʟ;ujQlju+l09yg AUq8%m<'q4_ֳ>;J{ECxm2H%Wi`&xH+˫,}_|Y?HE)JO9s\LPRoOե+m>3͗p=Y!R=˿$jI- J71˾yjuo:ey ݥUnm] %7 {}~sV #2hҰzȔF]xlj=dWeWG)]؆_+^Bn]rk 4#Kړm 4-X{ޥ ӻƢ>]s*6#:~A0uPɢOdtU[UQR583CC`x2q$G\h?[UMvBi_\_⃀DaAm [)ʋyMu^SyWy aŧyr+*Z  yw6 eI<(tX*d"\ %#G M:GD4\Wlݬ+)9J'.-y 6]MTss$:d Ѝ!υ$kWDmb0?ۆn.{CR0ٔ7[]}w3:1Z3QE[H>KXT=哻WbK#Д G M1 i7jw WZ 4m)#.|}ZOOQ}1Xx傢 ciF vlۧh6DZ~kli|t v\@u !87M" l(@qL>/_B >EOFmTT5uT.1x˿nׂL 2 6&FQP6ٝo0[}hWd`I,1Qܕ ƿ,fW]zul ;8=j7"*s};:MlQ0KH}E dX4Ř4r=٦OCL)?E}aXʫ:mH,5#ǚ㊘P䫔u!ir}p:/Opܚ626nN'Aml&qB?(m@kDܔ;i;j (Mc&@=pEDV~Jcixœ=/ oPS& K|I+p%XֱGJU + ucS 1;UfLz.QvNpXL~I 6UthjeG2_!QiV"vȀ=fwX1$I0PĬ2xz@nt9BE3˥D{kNn`?ѼȗW;\?zmiM&D~6#tP!U?Axod IvoԻJKk :әeyϙ9FGRKoNw7eN,`F(b[M5JôFlu"#tRG FlK|omeGWJ4C ?FH=j<-"K1-BVYuw Օ'lU%9GZLoETAc>lDSȔ GKXbk 7[;!YpU&26I!Z }Zcܭn/I#+C`KtM4ܟS~ӿw^V:;L W[k uka\f.s0.o/¡p3>~"Z*pѢhK^dV@`ѷ03KlGMPgEbUғ\!gvdX.).+ +٥=K!v;ݦcT|UVD#\\nP}irpeH Ph /7kBUiĿ< > I:87x m/8j3C_ xDJ%Ŀ>+75p%- Q,juT: # uխ#k-fʥ=1Q=iGP'<ãX>eQO3J.k=(;{ 8oh?r!Fx^7Wu|C'%PI `iS8zN ՃGKgjhkQK} G0@֋v47r_@Et5=r3i^ ,Y? g>G4J룒e_:MPNL ~@-0GD ztv*7bC8k`?3baˎ`K'TXOrT񨩾5|+&$٤2)`qfyn:0))uk3 6'-ЇgٔYG+ 2 L5 QԍڙKEq9w[`?PMҍj|>HW]1M{? ]~ڟ/R@ͥlξԚ5٠X'}-wɖC-i{ iEٰ(kn=2d2 6~h|l/=!-Y$^)(`slo"'k/ nC~>MX?(0<Ǯ2@ JEA]XgR|w~}J 553_ nPPh6Dt h( :߰=Ugv igrRS}H+B%1Pѿ`,(,8:&: l֗#ŲΑ ZC̉2Y12hˁTn- 4F !PCIHB:S={_lXyjxC^vpenM2ƪ]9YEh FB.MXN8K>a=9tyEX74d]yۄ:b󿋠}'ܓq]-21V0ptRvz |*蕤9U X*k)cGK^hl h#Bz63':GX#([=jdJ8V#)]BĬƌlIv .?$Ae)֖t#l/0mۻjj&nNhK4D[Q]^M/8-RUBl<$nDv;n-].kg>CA%#ߠ/&RlK כ{?!KU[7?7#:f/!& EFaP5RDhh}TTj?qpQ;*`:񂠒D}3z)6~(Zk|&Ypo)vZգXr7fYq8J^0-rR]Qɫ(`nBȧǨ@I%-fGt~p`d7|2?y69Qc()!ZfBMat T z))&‘-O_Y񵒤=PgK1Zaw@F5 yZ#YFƠRiC>x\ksY=r>yV`Q EF )+pΊO1t{L iLduOF0E"rBLrLa#l2Dr/:cwݙ);ݾP.iaKi> 6+Of=NI~_LX?* 0H)g%9cZfQ?;ҼR AM52t&JВ~B>IS!Nm e$7w 8^HFxJGjp8HlP|fK ӎ|8j1{[h)p;ק!r:B% }mR ?,KFo4@]b:aoYE%no^px@녪XWv6R.7`e5`Е`ZlmRu :z=jJPitʋHehh 4=ϋr8>^v*tp6jM1wޅ?FEhͪ(KlN>v 3R聿,c7Vih F MFY"VƝ!FWըN/uqAbׄ]j. Cw-DH NneYxZk}h'lg# ͫXa80JK^<`vf-O.ER)Zs[,=3k/_pIl xE7~v - o1b FKlNg{΃CXJg&Z]Pk%tZcKbv{2È}gX"LR)]+p@W׏8А5Z" c#w(#G&T>%΁DQ0 1p.CiܲuV'TР؇V%훅Xʋcvfz@$,Rn7jZ7X8G8*?8F??:SF5s;C0n6x(&gAd=Ϥ/% aVD,IGwwϽKC>Vx$fIs3Cf@x@>O+Ћ12s5]vF.ܭ.1̓>/~3]] PobA&\wR{hDޖ!%2 phV O bFp砘ijV0F'|p˟f$AvOIJTuEu7"oXן7ˏY+͓{7<x X1{旘yr䯩߁H"$ڴԄE`,seO6|BӞ2t # \_%~ߴ]? VnLrq{1Z_1 #ע4f )GLT-&Oh3Bcͯ?ѕձ'i6m6Otyu~}5ZS'\ln} Wa ׵0I绰r6~%פϏeaRwӣbq/%OPږc$6؉Qi KҫIKc0JrA!HgMx >2 `وfiP-ޝ%Б[P<-ˏ8 uʄSDU1\n#G;!l n1KN*0GV6UzIG6 Z5pqf iE7sjH,Y6Mr8㼎ѓNV̜ 3AWUfn\2Ǘ\ҫ\9>7|ZG #7e#lz*ֲ6X+AMr۩rWHN]k<q Td3v AcM#tX`aVM /W&"%?K%T+Q)jjrr~RP+ZdtŮŐ$pp4[H `9x6o;ՋMlNzeQ"e;Uv,SDh~ }+JGsJ pA~$f.1%~NUi8gnpn>Vo5GeW=A_qwœwm]q ["Ts8`>ቤ;#Tnލ D=V[ȼ+!X ?v.9Ȇ~ 0g]*3>f^\pYvOMMdMujQk/Th6M@ eIgSռ )לa]HF{?qC{>K&I7lM ,%'XBeIsυGatk3Y`QG@pd؛|<j}۹AJsѭťQiJUou‘A04neҕZn-Pa?ܠ+OդC}žNcVLoi*0EJ<`7=~oS8._@oLԓQ<f5?dm^y"\HwBkDmb q}z\SتP0a'pO+ӛ@vBe")㥊c?Į Ka')YȉFK8Nd+ZAmE5ɑ<>@\ 98դAOg-Wjȵ?$OK\oIy%H#MZdfăT6u{GC:@V ce^]kiBoHZ_ oBKK ,n5_9pO^rD&epo}7hJ|C7o1̓Iֽ[T4{q\>*25Z(g#Rn7Q% h966t4\ˣy)原&SF+-@$ސQ,yu^* $?ځISiUf2"if/=֭Yȸ: B/!3Tp@w ;[gx<wS `UE>st=mɣ]N9my{EAyVIh{䤪Y)pb,0+,mi1'̋։Cc^ ^jYh'3uun>v""=ϖ6uCn*LU JfPKl-gJ Wc8)Yڕd>a~6RZGP8YJӸgx*vKK+*kKC(+v>#ĥ$Moٿn∮!E )8@Cɡ4;ك.KsfM{}%,d@@Nd蛄̯"m1m a@(.1'|s Dsksh,4h2}\ v}Y,8ʢ;Ͳ_9#گc쓁P\?:8\<(-+&Q0͵5>E4 oe q tǴF1592F]0>EH/J~:&` Z}$AFU2~g!"Aj7˸vo!ƚhm/ս&dɛLh725-Zk]ጔS|c=l,' pwVɖ_sBLǀ>,1Ì]OzT'f[J36ӵ4Yf`Wp"i̙-4bz.ga@.|j{y_--W+}c(E$h6QHA,q'e,/'%C֩rX<^8;Ή_^ IJtR@0 Yr(~& oMmP v,tOQa$ufh XV˟3=)&E^O>xLQ`:^.uKAuMh(磼T@ =33v("0u OhaJxE0D viL3ܱ% lS/]h_h#'ui;cppNEgq)#G-N<ఉ UyO%AОͬOFV2 Wt^)9~ܔ2/6ݟoD[9kYa'{- d5k4 ޱ mxP8;!0F)ݺ?+gb=3$vR^廋Ann8\"[24V6gY=vr8oASR l O&BH)3D@1k mץA_(EӔ;W_͵=ш4D\W6[M[dxCŊ#vⴗ]rZcC>뿟02lkss]ns U O&Bӯr=|FUE%}1%.Z`R"z bdOcMcžǞa)j9tfj8t@*76{r Dzg2GbUf N;|µ-;V9j ~V8^ȣg fq-q:0y!ԲC,ܟ_3$PC,ܹ_D97(V2mPL*p^)LF?9od9au!I[\`wf 'ӇƸ֎lA敏]ʞwxJ mm}48|h͚PIe[!'@8Cn}ZU}sfe)Yv,}v|Z~mT% qPK֖λ~&.Xm@.hSsjf.r$wW&]yVzm=&b\5\¤¥PL\t-:)OG].0GYlIpZ{# # A)anj!%f[r;0YTQ &ms|e,q{fȨ[<1n5.*laPaL\yA+PЁ[sQ%>u˯ȱ QS2Sz\ȴfވ"ě>J"5ϊ{rԮWCJ\vVP.SM|9GgL=G H: 0"'Uc-T%W1X2VY;nOz_n{H |0c F8l`vii⫀22v+p/eDT2Aj|seU}̛7IQC&Z鷘bK}gz譊򌿬U2y§9`6>NiH2=u|hκHJ9{lӥp Gj0Ã׮QYH?lI!r!H20cQӯYUQ(EHչArZD&m -i^(]_~|[iJ|&al}cCRj dp]]$Fl6h&h.a'0#ΔE8; jh)t&-?2x [)s9IY3 GsɸXEx6mt)漦]ɛ*0\T;0QwUa(̀xL!B7B/cLޛL=y}tKB.wjzm)cpW!s>"Yp!wG?'娝FW' A/q`J}^1[9e:t[ck/E49}]V#crS]b2yR "֜>\Jbmcr1LK$Crq/U\+'mo_6cJW3Y9Qh]%K lxc _Ԁ>> 73zZm f~Q4)l]2iha-hrbځ ?P||$,M17;hI#:mn׺͆ʈ'ʓL(MɳTGNB O"C?2'" y &Uu+9ۗ~aSW1OȽz$?ŰKԩ蕲n^G}$*\`NڏSXS; ߴt"I7f\zjx&gn_[z,cؠx/$F{cHq3Г>%%?nJxp!  gUeD2 Jwj]ѯs,c&>O7\ZDI|#u, >ވu+MXRja_zsOi5_֔ث<]>_αiw5.)D9>&Teu?t`*)f"+b_0:k/~g*HL(҃yqiOTI2}lX $#y>AE&ʂ*\qgYZ r " "r> /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez=I>WzA;Dn3$K|P9XdCh&itGL":%*0!bVi r=l0ą\ɜ'!<(˾Q ^?TB+ Usĝ!#׌mLK讷9%p%/ KI_/*dqA5`B1ůcDhY3,7T/#]YJNr{@]V Ko>2g#Bv[)Ĝ*ng_ 6ៃPHഀ_%s(׈(_Z># _8Ot3esYG&W O֠~Hj,6;O| 06֥ 8״2PvXb; J6qMGr<+y?#0U%q&wB@c]7`m):LTAz.9և{Chh>QNx}{,"v(0 =\& 7sϚkM5eRؔ):WY,z'rA3E2 k NZI{A;$džY{I'JGn[KMzݿf3*IPBƭ9C׭ˉP9 \ўX:*dݻ:0N~NkaOc#^gnK^"XNI޿2]LQ$#wc̣ yŵ:x{)KňS/3GRuh1)L^>ּ(*\NPQ[`ԶvMaKZĿxGkZջ{"XO59_M2E3-šʑ 4`~(_/[Ky8ԛpOڬIVi3->5)&JN+3kY|Y}{)9[]8f>Z}P7SdOS^pTC.L TN{M³'ќx1.BEmq)fhp* KW~X|xGĮXY}+ds7;hoD]S;H`\[@Ao&wB}\@ 7a*a_Kz %(&%֞$9qOT%ͤxNrq:TCth/@!udX6nΰ8PJ)4כY&ˊmK6 2%񔙵)Qɼ,D5 :*k'acz/5wQ_7DM^|.gSL&Yjb!4KǛ)tiT$ n Eӱ #!cۈ'g}0 0X,vF%j&zq[۷ohHM#e67QeH5`G ACt("O]MwAf?zkI*vm Pv;06>)d-+K3{?VA#<nVvdd-{ L}G!E.^gH$*!_c1m٥Qmb"z2lS x l0kdv^ugO,؏?#_b);J FZ{<-mAe VĴa4OaŌXH 3{O+^X/xs[ᢥjsZ0l&J](ڄ7: t(1 - "F rQ.cOA,H:zyb#L* Tz u鳽^4 %P^:\4+ &EAcVPʮq:?{5n'd&GuJTÐoчR@0/]fiZ.ڎ[ 9DWOAXm*aϡCx%M(89y}ey5<95ׯA#!+E> qRyXD\Y4n<=NnIhK]@@4J'hiB -06A1z\7e-7Dj1c  +v 0jZ ޭ '-7v.#!R?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC[:/7' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! ^]D?7 {?:fH\Mc8o 3SKi!#KJ J:m[++8#0wZ(ޜe3ML/ "Io5}LM(N9#h_E.Lv~@rBĶ D>Y '$Ca*g jjmsue/+Kڢgs0dN}w 쮆QD4'[.tr,>r&MH@ܝ@Y*[RMTNo 9-w@?(zk%O`sMbpҫ[hX=V|Obc$]VF#vDG1uJĮ.HpsEtJ?Ź#OgYZ %b$ Jn67 } = y >  Xb# o +tJb# Z :[iL >/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_ide7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texiUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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'@n 1ܷ̞ ͞p6P+%ͥjRIli_y9E&TF8IWysB'݉UqR $<&4y~V&]xD8oU3MkFegH\榵V0-OEMkft̽jfF1I9]^j{T<؈09(RYFޱoBz+l$ɷN*XIz:܁|Ij/F v4uTHa ᯂe5٠F^9II(ȱP&CV# KHH A{ޫM>48E[l2ћ8xN ?U=qe'!qFf &Ozt;+S(B=gT"8/`Mڶejꬩf<)0OQ/P&y&2.”pt &X{sQR(,˴{BlMPnU'ϥtBmڻq\ISqtFq[JA3ܬ|e [zš8Y3u#Ѕ0|j$f7xnۊy|/deXDۀ݃F} |Q:)CƍiD '.4W/H.пH~T2aht ӌxp\GOc VB!Y;3Ҍ}We$]ʒt8Z KA&e{IU0ZlKVr0o֨O됉DR'2%[BF2R? d d/n;hv"8/۠p d5̗TgKz[6cFIքp)CwJ!Ό4~נ+f:dOLڥryIo&ګzLk[m=rj앝FL; K>'B=6/:[{%b/a#s* Um%3vW.)r))3xC{d8O9nzҦ~Ϛ0YG @D 3P]ik-ř;/ U7o9lPe55!: d<Ӳ.-[B8gߺ3?V8<ZҬ*VT|={&Ө3\TiTςd.!cQM7r]fr,{yE>:S7Ȣjc v#_u;vYKu,P7:ž_:~i6y4ԗ sP ~$*#n{` ^uRۗFD0jzPX PXɹl?OQʔCEy/D˘5]n 05 όq,OZ2*JӾغ2sAQA`DÂ0K35;|4o7W$Ks0+Q N9O3[E7-3U2,{(8#:p̯Zg4R5ZH>E#quF>RTDCRD6#)\|){gH>D^GAK`WrT2]i+L; tTZ ePR83v:8MSC=G9hJk: I;r|no9<}As!sZp7$8'*ޭ+6яWȝHn̕DѨT4ՓkGBl8N8,6)lbD0_1\`ʰ*'TOITU^D.Kh`DV֑xXh#Ca vz<4a>h jB?ΐ4Eyu:%{ydǨL|w'nK95\2.Bd`ZWrB!?/S"$9z(CϰAiБ0^L,vk\ 8ʛPfxe6W^ن=Att Pv=x'̊L%wOxc%#@s05 SW6Gx<ƹSM ]@+)j~-cNc%;*_49`cLh6!C[ (n }[jaLfK+#2F%˯Ѯ!%kcƸϻON?ChX7U!3*kNV]q%Zzv [PiB^wc^/y(C<TovJcQ@3,EM"˂~aw)uɾN =S"0RpCNX~\@ˊ"~`Ld9 bhe^nm^w i`K켭sv(+yp_lgqX͇wG9]Z5Q̡AT [:xӘjL* k0(lgI? +TyIJM\ǟ& $ѓG,kULaP%&OG׶*6es1'h:EYĉl'e;Z)A\>ARGzxr5)궰t"/ŔG!ީc^aٶ;CmFǀ"Qm,p0? mJMvramڊCq*+ 7pc$ s'Oj:O|Y^Iw`^) D>I%N;ͻsAJK5btroR_ڇ"ݟ#$ķCJ/3v&D83C҂.YZ7N0p>qkHcm`! @7Jw~6#Q &{Ƒ!wiQ$(./╴.cW@ƇdcG%-4ύ讎}7D !(9z^&tҹ?[Y샗Cm*a4+|j*\ JŸ=$s#wx Y1M<]. 9# +< 8sYGG .9-W;Yۚ+DRlT'w$H$kRX&AN9R_7B.gE:Nl LT%ztTD4$9"y Nj\s5KIq3@ewozgk|SܫkRK#h^G@{z#+@!L[$55bLD9-K*b=.RM(?~zWp4 f(ٮ u&h>D,8H C(ı ^ѯr H'Û:F'Kt% t62=j@>؝vSN'*K HCH!'q%>zh>.5lH4J'X9=SA&'1?k._?o bfF j{Ƿ(7Yq&A BA "e˷!u˨羝$GAmTqoJy&fJܨ X-{41}C4LpisT_YZ? 琨vnl#CI6Ī͌U$/ 8j֬*IkZ;OK'ð9;5hRh`4PAea(hbC$ѩK__~N+t'Reotyhh(f0/?R'?j [0&U wF1*Z\L9`P:׋[,/iRsx$%$6c Py )?1 L *05dbaѾ%*J<ϓkg-? o*_8 ֗@Sa{s:Na% }16EwIǟF PbyXw&$/Rcwk̕ s}&'P=P)0iCy"/u<ږtihkXl8O|ߐva}dG6LlM` }(bL8*,GTڦǣq < xCw $"bKf6~RUc:W8Lu/sd [$RBU]g\?>]l="%\V5ݗ>t(? @wꇄqhdS{2 zHps pSs=)-kT'{#F^GO:bGPݲB`1u]LMUoC:aRwݍ zs4i=L xK-HS cE4U}/_ejJ"+4 :wOF﬋eQYIO:AR 7 ON+dAКԩE12=yʈĐd!MC4֠HgJ,?YSA9&Ho؞JwV/ WJi `ViSњlfT*aޣ"W*ɔpVi ETnJ&`aRM+m-K}B-.K~Sl?SRF=o:@hd]h418"7T`~lt~Ō&NN #n?cGt'!EYAB7l#egrhIXoܡ&F)kLZ=Si$!mG[BnꀬJLf6+ iE@j6a:I#K[q d8(9CuQE69Jz`vӴ=Ik?"~VxVŻx:~+$(G>k8W^w [.AҟȺmRG9 $8*A_xb WכxDZd8+_`Ꮂ"iF@t4:,2$Y#Mr1c1))8!]YzRSL}Wh¢QI\!ۄ8~6 Ezã." {x\zG$abx(jvwJ *Ū]}DPzgКb&=iЎ;Q2= Zys<.QMqǸďu&8qIf#^ZH j]0F:?xߺƋNZywEÌ#=^ T#`PP [V:$y/fZ ۺaםY>塕<1o狇L)d"Jm9bF2uT{Ș.\Ro GΩ׻i#%m&Jdu$SXA{=Rפ\ FKYle=y76J|Cg/ڕhdE!aV<- \=TbJ6G(d} ,OZ 1Ky\jȣ8#䫨{XF҆e$\pyfs%򠿘?] kO@0XZ8H Ko3\gn??Lc_Z T#HWosQߘ=*_0vʂjgN^!#q|MΒHϩ 1?x~sFvrsɧC%8_ZD3.%g5"xvG)d!..:Tp!V8yyTZHTE) /MK,5E#%;tNx?ӱBoUr.Tw~ZXV@X nl0{#jg9o"b ÷WIޝq^O77RdũA7h!;mmޮN(Q5Z-- o ͮhr.p'Qf]_9Ycn?5Dk] HW6_,8[d-֟ Ur6Hul~Qhg<: eT%.QRQvwmYcК@Em1ᒰhS^LrBIVi7߆ONd[WĚ9s>"(z_p =m0' ~yٌҦ!*JbGfV:'l_Kps 0 }ʹ T,w GI4^@ N(`;k cbl\PL Ր]-mqD>D"(ދ "t0 jՂg ʶ;DDg!bOn3ޮxwc~Ia+ݩh'(Nv.{Qu o)vƐdpp>L6|o$DFH"xS,;u%?ebZ(";͒O]>"LM҅0$G^w 8w(gU=b8EG .E.+Cț")F^Z@oĽJi#*`JϽ3yS (Bcm/1rab >+N֬ݒx̂) $K?#. bIeG${-Wb> (slf(Sy(X?.x>/zo<dFV,Pnѩ% WщAȌ&Jam ZO:UERm߱Q؝tH`aH 0{XFWFÎ\FWV|~j^gZD'&Dj(MsUɹ$}ۢ-$ b no\wm<r8V`+Sy:(Ŧȋ˘s#MZHQP,Fdi"g'T2Nf$8yE:`zdd$ hpC sl(Ys5lv ۩󻆥p8 ;<ӛV1vfz".@akBO mR^L;{a)o(VJ܏Y E~ }#uw /DBCLiz%ښk'agsN˸T7d@µ1ծp(EO5p&ypMIa:Ozrֽ#V\og>)lOd ȅv&ܡ}D?B C`}QDT {[ 7ZYkRsP1+g nܮ.O!k§Sg6,> L"BB`8jDn1m5x>$Ѹo }=5B6``Fo'v!Z02+z4E`Uxћ 8I񝀾E||qİjV>8.5"eޔK'̠x XSGR>QU>7ߪFf-=Ģ#Vp"ErېC9,^iT;{AmDݠ#bCTPpF"C1aϭFw TP9EyC>MHɞtt;lRrJ58Ё\:6CE}O|GdsX[㜶.wXoVԬNC$Ql;?P quUx1~il?an^@rXJ 3t]ڏ+J&Ȥj3Xsi[Nm{) )|L;eN=,7 =OJv佲V&hp: T~d@t0. =R/&^C?z'z#&ԑ"ޗQgҸE{yJ$ްVZ`Jm?6/sXI;6vCc n_,n5[ vSt%zMiٜb k錄&k+Ur`7ƉiᗈZ;F%:/ߵ*U٧wN~$Ҡ?bm悭Ⱦ۞: vWvc[WxX뱣ڸ[*-i= `Wtx=YP/~E-ԬgȗEmQJAHgPC{3W n; k\+s]N2J>-du-r0V“[5u{\ǯf^Β8uAQ.qL܅9ts}C`ȢL1Vrz<}\Ou[IM۫aW`áIEzg.R%Va>YR; GGDܨIGiun 1MўOs@,^ ΟڣP԰~>ZXE8tWA{L#eU8'ۯ϶q C+jx @WHhIc6E 5X;y&KtGı~4,.a?{P2  ~`I`#-{Nz o8bbÔ# .)!;dOT$YG^|j+e󚺥?Psd>=s@SJ#LT#{g9ϓiW-:j!i na{ŌZo_qc.¡a9v4,5M0|cw.L07R^6Mɠ̗h2SQJcF&Z`rűA3xfMbsZ"%6nADCɥ 4^' o,ihW=޹7lla1ysI+7w.y~<B9 qjV :- 7e)<:ͥ<Ş3V%c?הdF֩5s(nt:aq@[4TFO ,2>JO5EhBI;l*S}D'.{zc-h-ψ=L;4yG5yrhkOs!mڢksֈRRlCp (Y8 #\yUOUFq*(XfgJ (v3d̸V߄$15̯ x&;^Gr!ӿ)-7!F*t_WH!fqez*l'tRɘPFT/8NQj֯H\wn&}1.%tMp`j3)caawxfSp- c0,cgU pC-u K5 tܠes PLH+C-*z53v]()%_? Ϻi!7 /Osp7 =VyՍجsƸL*S8dn{2ן 9αzOeyko6%w߿XbDh -<'dc]K`ϧXA\^ۓr ~_KD"޹8X!Do{1氄1g&Cs7ߑCŸBK0ÌSnPnz} tǝnxSw={ieocvǀEN|:\(W>_)òy rсLr.*CWk[/úbǡ:]6R*M '/\lӾWf3k.+xov @ .Uf]Vvb<;:%R]kT`D4h+**hۑ9lb]yQe&}hxKi.(-ْ89%kx%>k`,`;f9a!s3>4:'o{<& l*C8Bo# ݏ6ŏ{2(Z=l9~$:/D21'@Ddr]K>DH8:ɚ$b)>a91O\X6A$[Nj@5-D,u7mЃ,@G\@fIX^dXɊ7]>#XD׊~.W`ZA.#H#ו>]F'":݁KPbhUJd( %ɾj/!up`}{,eB[2wI q~m*L8Y~mNZ>|bυkDM`KUYϧV$'D0DN&]N*ttNz $X# jn) [/|sDOkV!`bA3g?ƱF -xU(‚>ase6p:{^kq:<{UDlVAJR^aQq]D2CˆLKl 6jW;h1d<b+ _ke(GIG%Kȫ=ZJ]¯IJJAٲ(Fȇ g=EK8ua~I+iC-s`a(&7 j'(lw]{|&_ʞ%Z?5XkhI #Pfw{l/Ё933Mq|5cbww7<3'3hr!ҩU3X >Ou4x=xZt٧Ƀim;`hc]mo!+N}!JJ4OF k:^^KkaRيjݲ(=+5AUGIC ='~co]EUxwads?\O:Q$mz}?tuW̓(ǣL]%}ҌZIJ$ܚKٵUwqG\*@b-? ? /p>`1)v+䳆]il AckS2;h뵟"ջr<ݵ{ͫ!+.e-D! 7955BuñG=e):42"_ݧė=h"|\BGk:lclU,2 ?L4j@|hF gFץ r.0}~z"ސ` FEwHn h>joD/-)veqoLU'u#Z]PP/$ d~ʞq(qWb\N0>7BpYU~+6<2zn V}ӽ!x*Ncj9RJ_ΩbOoY#3E?l^2zUIes{ե V, =S%k- "@  ZrfGxcP d}{*[1?sn>H`Y#E7]`7Zo:/WK12P3wEElv`i-`NZ 7Mhy`MƼ^/c/@!KePd}pRG6l^,q?9ۊYd-"PHÊ(_bD) im?"_lx[}7{ mURW1ZVSۚE YF!Gi>Ce9okrݝ"q,n&d.bp W#ĢTƵMhݶ"z5Ѿbr=NZ -$&F۶n[OX{‚jpMJdc>t}AO[$w:+H'DOǻHd.XEZLɱgYZDڥIG\esiP$F[j0k[.2E0QۖmҤ9BS4aNM01`0')ZړFO,TX]cD  dtMd)A5VR U84sf_f4S K-7{.(9> y\0깣>\N uR&Z@|ɝ;}ccG_iIO *ak_@c<̱C $ \*nf ?=y”-;WT/rI(iך19ќz%n~(PE5+a6 Cn^Q wgׅU޺KUk'&RGU<')`vuo~A>J3m,1b=qnQB͏!A:jzrtPn\x&[Wf>ܭWz-z_C>!ԫO16%V゙@:~Vq;ɼ`%G: &`5 'l F#A()ڻK 0 hliK7 d@@:Ύv5g)gDZ!]ԃ&ϙfYЕ&)_RzKdN2Օ?(-1eSDgeRH 8_9HUʷP"vON5`\;X.I&긍7mB[2^ a PN!>9_K{ M-hȣ1BXo[g8WmQ.Rp1Q̮! EI}s{>yRGz[LݍIлR:loaO3ƙ.m%OwGuIǎI"{JV•дYYSӟ^#}`Žba Sx2mđt$0M_@-uHn)}D/Ekb)>6N 5D*wr0>npW=ZeVV"GKilC"6r8]PXD<)*.U{3gYW U8oޮ#9 .xF^aZJsH01ԹrϳBXBOH29쳔<o|RuVKν$ : ]0M?`3 O"Oz(#V꘶xԠ.#_Re ,ezq":\2GlLWFJ>T`>5tկ#F[.f؈nsS'g@;K~@ !ԝ|_ %6AJ0 wXD"Ez1[H2޿x,N?Ll#/@D{ԾzH` %׻sώ$b28=6l eyYD=bG>F\QY *}]X_Cv .%^' xEBHǥuT4:J lOAnkN٦(7-to&Y=CUK+)5&Ș%.aiLyv 38ɱq UV350Ͻ0;CjfiݺK?`G92eo@< D(F!EO\^j6 -H)gK.d]tzi866_ NH3׫)WprOBއn},1sH|cDV')*q+n5J}c+KF_K1,2P(A'W9MQh»Ä댼F|U;pnE,Zd K @񾎿 ;Et/R  G5b"c]_$K)GY&.u#\L탆X~^]TvcoEWY`owUio%E9?ZR-S _O~1>?yôn=5e $e}mC= e,{D>gk# #`C$,S<5a9 )#FQASUz@LÒ,l {u| jyeT.GOrH{сx)k#OuƹQp1pcRW8̻+_1hhU,^q ,-)?9^ N|p]L-1V( ZʲS{aй92i ,e l{s#p\J7(?HMۡQ/35bW f)0D)IEZlHI;4 Y:swyNVRX&<+KiI-yNJzo[Ag+ O$U! \8E} >iEm@T'х 06 vސCHX>ot&ijSKlf`1e/ &BEug³mxԺHr{N,8Dì %v^'..QqUϜ; 1o-Gxu6N 9a+>Tٶ;CC(ݧ(|MߡwU0K_f&Xl 1#M|:J糄!_rRsA2~;wYdc~c>y Rǭ[[P|KS"q`(oc!'<^T؋:Ro{Նkc,z}̟Bw#@~WlL?:Qiwp!J_6+>l/hb 32f]i-}J"`FZb᳐6qLQg(s.x}sPۡuݼ}pxTNMTuz~dLG7jF= "ZzNyؗB=R/ S;>9W$yKŁfc)r{(so -4s8ez/j[{6#YW z5(@g]&Ņ[>LPpHx4!?SÍTW|h.9fڲwzx>"JjҵK_\5X9 ( Lͷ '1aOW=Yk%{$tF#Pl 1,BYC.*UX(FC==H,񃠯KQY`秤AULHfg!6``=:]j̸t5:D5ەb|("`-$(%4=)G!0O1bxgr{w.t/op헬ef8|2-#CSW2NO6JI8(-ZW7YvP /Lϐ6&|_nN_xm-^5(@[W& np°R_BSjUOwtj ڐ67zmɰoKͧ{~ȪҤE!4m}V0_മ6%k:B[P=I聺ôS#*44A[t?_uٴN>/}3;0r)0z.cWickr_= fsXv<[hzSLKT*beŵ@wТr,y̘ϤjFn/H6 z.D\[PQz]2.9׏ z20ސKÍ-u" !47Gu;l7eh}]T~Ԝ7{C]7*MavAi҄p[Zbŧ_Y!r:̣M ]EB:PAj('NF 4۩]AT=|kq̰iKoڞ#kv$G7qO4dRtiiz=L@[!FKS>`ɥRu~noywW0M?eV͗x[m)盍ϰ^i9$Z2`c J _=F_,Ww1s3oV#CO"~pESoң 2gs`ovĝ7^~ÕeN~f yYp xpz̟ثcL]gڎ*q/sp?uOA%ª/.HG'i|%=c\=`uH 88]Oێ <d?=W܆>֩cM8oiV] #q{9ɤ>Bvn0zq xR.f@N@RU1U=6BӊY2Y ujRnRy4.֩#͉(Ï8jNЏF?\ˊ&I/c[&Ł!WR(?6lho-MT?Ee> tDUu_!2GRߏr륻zzk;-4m"գBqdKw~9G)">=ٟeoW*NstEx[&'# nݐ7ӲUߛ*@+WbyJOIs>[SJY56d ~F"Rd_\D5R|._]GBDi $bdSɤY9[s-?t=''*ޞЗh FqrўW}l/npѮu^({pVes4]nu CvsF3p}4XXo| \E'RxgYZ ;  n;\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW=',L' _LBALJox'!t%&ƥ2D\- T#aR(߯NL/dz䦋jNoGC_3bɵ0wm wb#ioXcN6('TYU`%*i u@Yڞ4p%7[ Hϡ~G}P e@d r =ɞT_B~;9l4H(ȃEO5V0pmb'tAX.zFpM$Ji€ CJ6_Őqo 󾟞eLJթB.*NJ%u]~L _/ށJKquF?ƵʏګfFgYZF /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 7]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r0y#@p'*"I?#iSI%*0qF$$&<\3%^YZ:,&hr"nd{ж?#ZθY*_%XQnwOGRYOYVauL@yËm?D~-x扳S (+Az 4$"b8 RTQW%lЧE:<XlXCŅ '{`7+2CbbDrH 6j%u mL4 ŽnV 8^L>$~Arzˊ/n]P1Q/c77n2E^:(+;k{bK]  Ef{oepw>o!9͉ u_o9ש7H)8pD&t-e `G{9n@GRԣdrҢh;ࢿYĞ_<18Ub ӦSW@]1%/e>.w$Ug8[z$Bϳ:8& ~S Er7LC&D'H4G6,>oY zww7t9}l~c=R#$wN@͡넮 Q6'bEW9ᢣMR&Bq"Vt޺xKYvhl.qмRxc1OVǷE>΄sE>MF@NEo{u04xx3?͓HelZ .k~*@:+g٘Rq 3wVy(|׈hOP" Ji>/Eņ?[^GykXѪLMV[7L͟,u;ץ2E,ԋo~)J)bZ[Y~gYZGyhm766þN?rZ&/mB Z\FWS{L&)/f<کퟜ+ =5_tF3oA@U#Iw0pp~1Ajw[Dy*F ` ˫"4%@4icva:aP~ŷrj_|㶱2ǒ_P|FG8F]` <>S$\Q쨍ySeFl?g*,@ț[-0ؽ~j~FJIZm$:MC^zyOC3vDp$Zd!-w=RC^*f;uـջ掠F|-(W>ANTV¨Q @\keJXBQ.p.*20{1 x̛zG]N'SU+{|t|=H^j#nUe;3tԊ8X43 uwլl a_3_F;Џ ";%,_t_q΁FAɈ*ȝ n8 HDxמ-_H@NE >?N"b (ʹ <=hY抚Te%2a[\;O6 /Tɟw=(k|R8lq%ᬞl7U+'RHUu%=?prܒte`S ~8w²Zs'sPчjx mg/ -5&QfF@8FW'Τz5*-AZ*NjtZ˭!G46UNV@ 86`?[[`{uuK"կ;h)?eċ1@(蜠| &gAOn VֻѱN_ ­7"o:AQ48Gk6<nwLTOF"x{̳[:m(] lsFF)9 ׃M^O"*'Ήsjs|Ka#X`+yIfFAW.޽A]^B( HR%}+i SDoIif6k8٭-X4 `E ɹZl{2/Ia' ZfdnU@bQ8+cK!T[ `noZPϽԮ}A2׫~H)w ?0Ύ`dF1R6fmQjGV-:d@@+v[2e%u dIP9/_#nic'w^?{Ȁ@K >,D5رrS;Not? Q]S<<M_ˠcIayx6c˥q]H䷈+yZfDe@5jT$S$&?ڬOD)XQ/A]-s/!STpQĽT9liK?=1f#q#?7y !E@#nsڒ~y~fKꬥ#GFW/cqQ`O}ŝ\`A] UEcJ*r_*:Xz#O8Hfz˼Y2{,ܽe=X% z]sdQ[\=L0bMfhJ*.uz/}F wg^NϏֵt '댽 Sr..M AQ>2gыߛv4-y~.9ncpFh%.;d6HMo].etrB邝UT2:oE ï0:ɱz }a3"(1gb3B#c(8 `E#NUxHԀ)?Rſi)qi] (l[f>c˔1dp%Srh;Im`Q&Gpq5=io8l"؞Y^?UBU_We+,",~R@޺ J~,a<3AMɨXʴ<]Z93b-E02tLe:`ᕞ"&[Hjj\{{ nqAm4= g*6,PI#5L02|ioc٧vۓX՜6;kESo VG`ڷ!P=/ٵ]rKr}pa`>L^ &4Vqo@V<-/;1O:7W8u}Zז޲eթĭ,;z:m ,K\ؽ'5 Pe+%]!9e<2͟;6V\K }I9RP3I'.+ì&R u-y[7&O@Ote`я56b7.$=)q7/iѫEvY&Ć_i[gRjSMSΩYk"Z}J=a'/L }Ȑ^:JwƗ]<)#>1Y*WD$[T,.7&q Hyd4{gĻL+mOƄ[BV b%;j1 jLgc|MLN&QVg @у2pS+f3H 0v3GFQ9+/ d=kUF7ȻdÊӫ 2SN t}"esP!m6 H$; zgXzؗ ՓOzύuJ~55:(mU処2ZV 1d ~$)5΋yV9U@S%3KLjpuV!(KUOvvt?^,ޟ^\_ĬU?AhvY%-U%6`АeE|&6f[3Z4% q6a~LC([hVΞnsUKnDd;C)oG]!\kr7\=Wtߥ=)Q+ޤ $M1X7ާuՌg-e  k(rBxaQyޱx 1ԸOH֋WlB/g *bZKv$ya(׈H~pIdN$B jLT%_+M ytuO,'V`֌(Œ7ܵC,|]$hb=+@~"Kؽ%%p$o $Om28{"M_M4FM?#@e&Ý_m`IPmI~"j%Zj"87ګܞomNtayw<#x5D%^ttUSCqNy0щVm==NpqTw"oH`>dMC]L?joX_p GƠz4+͏e铀0 SP }F䅊^Ȉo!7A!u"TSӈN z꣩;HwN7'f( /7 L޹?z*2JD =Vާ EuF->+VA/nBMH F  DSX 4o&|Ȝ-u\w|laM?S[{J.$o1$ݢ"XS ^IM Ѹg S4_z5c/ieCPəƴگǽ$6j.b%.q Wg3Rs2u(T/UzTN}aN@k@^b<"8-.eOdIg0=T, Jae8A0ŀ@ SX=47+&̓Ƭ ;RV~ Bm~8-V7Vd]dC CqO: YU ,sCSW?C/5fZӤ}< 7R\nq*lG>MD> I+ wԝ?,8nR* QIgM[/RW0SB֌ˉ/c=yk'1^vE3o"[YW){@Pm] s+)޽ [b>j.A6EUost';-5젶E`F|]n[ApKxsIwVv◼/ <ϸY#Ȧm7nM"wKAUc\#ƫ J>+-\+@qP"2 mj, U~ћ-"Wk_jTЖg-E;DΘ~R_ ~DY*bL$VFTbnM:V9IDw-J0mEqM, c")Kկ%;n͎ 9`") P]EĘ %^hEj8g0D1=˿]^Xh0+=j : G[ UD'a ^F 7EJy]WBڜ UI=SQZ; z)-s?| Mo*д9cOҵ[`CIP0N3/tD"P=FbXʹT}Fa 8,{(-;& %Ľ;_v)ۊPPǣ3/* akGiu&o*zZ̴E.8IiC3HS[ֿ}$\j-aZU߲Wa_5>)m^DmH3b0D2(J`r/6,x$#rD|z (ՃSW_# &]|kʃOW?؜_FaVؠjP{ @wAj`45Sϸ~ܥVF|)wz%!\5`a] =)ɠ.YAQ 省^wОظgjp6i()(2bTWl'{h6h1 7:y* 0!5[IJDҾ J#Vd0RI@<]sEk1X*ΟuX0}ޑ͌+Msư.пa=j}@ [ IR[ENO`Y慑|U+kٖOvoK_|0MIQv%cOh::aJWhk_jڃL:X8~?*3Fio8 :K0)^jUV_F|zN8!ϙaWh{bxL.hm]oh0z"?$V %ξگqSe/Tt8&Sߋ Zk0([IМAڛ/gjXdiscmHTǟp6E`m6}!ݿ3iv'zL/ J/RZ!5POx"ǵRJ8[,1Z2onPKײȩS,q윮qߑWgi'Ռ$[DqdOwb['d5Yߍ3J 7/Ʒ}1`}Z(=@|A"Xx5J4Ws-uΤwTJ\1㌑>}tS*K[RPsUg9^ cԲ#W;ER.gn0Dg4|[ylkzo(]2 j&-ouR#EcKcuz'"rQ3Tj||~1#FG"ߣORD'Zey19\& N\em~Y4f{Mx@ijŰ%fk~!k"v qv=5E$cN7ĉad^)qB7G #e^gf%o1Ye3^hI7{yvXCz"iS5=Dmٰrt.Ihr% k`6rS#V3 ] 60ouDp  }}0_zCzPdGl%w`!]pP†3$,YЇS:4Zo'.OŜ9luh !Tu(8{HAN}ҵ*kU(1}JpI N^h,6sRGݡ"8pRqSRu&)&O:WF|̄K`D+"7wxk#-!>SS2Ѕy4Ѡk;h0=%US# Ј CȆ a2qלr(oR#x?ޙ }Qwnwo5J:aLڥ!ʗ?\=i_l>pűE,-5k!fGu$SeXs(:|1*&~8|C>cׇG͚ݕ+r8EG8XWD~/Ba× F0ahQ1(x]; NpĎOb>G; #)ٱ'ۡL!%>̮t_Z Gڢ^IDj1; Mi1`ؼ)jQWlS%HënCx_^@" nFމD%/kD[N,fK'x<0*hEb+)2lʙK0!ۙq O.mGP!{[:..sx}"|aZ:7AXqy2b# "oV4F9p~/s sl.k3 ߣp:eԴ@\;T?[.pLeZߊoMoȮMmHh9Uu`%TmhgIß}CT6N4"l 5b/,h0KsҶ܃VIPctDc*4 ThƂad Bk9G_!?KDC&c训q艂aahU':M>vGQ|ob8+(L~9R@hMO+EyvPV"_2AV)uX8IEݓTH}-t=ݦ2ƪ7Rpd_H0"9h685[{`a,o$ SŒ4@K1U )YCjL4BϹ; 6@U쳧eͺAb܀CEP!\W Zb@<$(4U̽@Cl/K''SztMc#[8'{^fVZ%&A%my+,K}^XkpMm}^ wNb7)j 4Z1ԐL(]6냇`i'繂V&h5 xᙋ}>/Ϫ8y[%GՃ>GΈ } 2N~GUS/łmn[\0g5,VAsta/ ͗z2qϧ ynra~# vMedSGu`N4 S0=`ЁrA0QTZq*1gjEF㏥e_qFA]!QWsl5ߢhX=0x𵇚wkTjĤt-ZtYQZ-wwFJMa)8~0 ),P$Y3|LmJ 7J:3*A@H"*USO)ܲ/P_~| ũ{"HQ9 mY#$:=&"QJ~풟2 D"Șg@&%O% &/("]V" Aч=FP0d ϷA !QwthP _/@ LnXpŨ#FҺApg$S}1SO_t4%z/>A`tZ'fgkjbFחL qA/j-#;r,#If>>8Mgn?Ѿg PMd'6 erAg\Lce'?Ƕlse|RI-6ܥ )DɭSh(hcbAU6hInX"ϘS8~Z6A&WjoM!٬sݗ׋DBʇP>GI/eCZA|,Q%"LglD} vU=|0{ІfOV: eЀ+QT'zў3Ш4}aUr ʺD_ty.#fnKYtWTQ\xݭD 4J==C֒Zr77y!'s*Flv1GWXoepE9@aM:˥ = ųwqsm[@ϾKas zECw#W{ȧ.%ENmsuT56x[sq%`8'^>ҫ"P^iV-'*S@ZVhS4d \x> msMlưۈBtx+93@%K{28>Bd#f#fO&8?+YǕ%/$4qnS2)gãTW|<UvUK\as֖ ZiLY.iHy&&8*dԣԧO:q0m%Z=I>;R!&!W6֓7 L4V[rqSDMS[}p\(L^SkNJ> 6.U MVϻfBP읚 O Q *nE^"$j5McQS8E#m'$˿I۟2AJn8m¯N*dU2#9<:ΕYV] BO%a<ѵw?ʉтE|-yيo rPXS['eSTSH;hPx<.{?)bc(CT"a#hy[&pӻ6kt1Ɂrqcp(ҹժ`NhD0)'/w/ W˳T'_(x,=2r޾EX<'Hn2*u _`jyb^SNx?gt>r4@1``$ ک?|$cEJ:XAf?jr NF6H7Jxt 9 g&%Izq|iҍ>*iGBoeٵ7,lA}=|L@wt!iEp&F\ia_EfhM-|m- =(BDR}9J!M$NòF/8d1ؚfKf!*Gevx gY3&±ȷ>_ +<8 T7zYE-;z^'D\ 8ȋv!4LVZ"{HU$n+ 'U dCԹӚmKz]>HE`rz@Ԉέ1.͕Ytp&_W.a/i`mTk>L918#+ָBp\3-: Ŀ$TgMDP"D_J(< |!ƙWb!n7r db$, Rr/,O{F1vxVW#%!yfWޮ|E/}nDo^`=F~aD9ң4ܹ,o{m=wVkܜPmF?qƃnΠcdyzb`O3L ۛ!-enУ*ȫ^|GTDؔ2PX?-6־lbx 1إ+j֚q)q;C~ ;H^H]luwh|tn n E$VIq9xْn ~RP4n?]н;":X )FDo >)Ȁђ^$J¡fzylt'ķ.m5fju{ )A9>3w]z Mb^H9Pf47F r}jbyӖUu^e=vf;h֯|4 HE7)G3]|/v;3g$ QD0 GIagYZ69545c4a3be1a324ef8aea4f43895ac9e21dddcb21cdc0b7ede6607d8caa98ee660803e107c08204 df3a83e494225cc117ee5bf0dae2291d26721ce5