SQLite format 3@ H.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 !!T/xtLl ]/ HOL-Proofs-Lambda:threads=6elapsed=100.768cpu=117.650gc=3.6597zXZִF! G]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9ATdrt2mG&_ ,c-}M-:{z;4PgYWl;_-l" zߕeddɈMLgFr,H#9nHڏXǙv\ԁR/ysW^-TuT3) msf% {n'bT8/K[* Vq:؍# BAk>f2jO6&3Le4|{\| .2v=SOǘs^`q+qϝiQSp$g "]ngh8y5SLi̧Ȃ^&> uߋY0{k0u}.(/fKFc'Z Om*MgYZ7zXZִF! ? ]ŗXi%ʧ[}bEwl;~"24ZF%X4(`t5!bBmt!*05Ra\aQna~{?7g\5;~$,^%LH91*_ql,[Nʈ[Ɖ{-5խKW{y`d/QF3x%ۙxKmJtP_fy 9e9BܵogIU#D9ݻ_j`X-; KDcQSE[3tvS谀NFb\JGP1B6gUk4Ew;85qܡSyRR4ZhcSFsLS Ȅ||Б[ftYGՉV>YobR-<0B`ר6`ZlUBvN/nw#TIM%u!Qk(AXҞoY֭EڌZdnѻYZqʍ| Ĥ̢s * "X ΅SPO$"Pb m_؆߁(MxN'PhQ':tX<.ˆ rGv_"Vs| /+7P4坕MuyO:)kpuҞDcZįbC٣VTXo$QN"D vB0"Y'K,sAn+`޶:zf`|P!ߟqڽRhfkQ6P6[VF˧IoJC`E-C:u $m4 1?xךl|&*I:_.i@$Wp6p?óII&%Q K%׊juĤ^<~"$=Iy$!Ecdȧ\a\z9D#!J(/mU_&VL%:RVluNLоE.t>xpH6[éYJްvdj#q};Uh}?-6`B ׄ*oM73R>]p_Xx|A)ںcfzsI3h|6 h@5Yؓ'R1ٜ 3%: 14uvY6ιZRuzȲ֪uT^g&Q.10!fqjwض(!/\e@8jG OY Fa^҂6ԩǞknky*zvFC/o [it.!Dٕ3?/4]Jk)0!M@ |QʿUqN-4BR]r]?lT@p*6ľl"O`at`~4 .yURp^gDGnb oGuAmEq\:q!\}145 JY qn_isOϗ*@w2 gvtk^Tؙ0NP /걲35NBUN/-a?_G~ Ʃ ;ح@` z]U/{j !„{9nDZTn5w*-eiq!{9? 6{Jh?K 2`%gF;㝃Ϋ\ 3mJp2hJ. qLzh|q/=NĄBf5o75c8 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|[EAB;>69342100-,+%$!        = n6 } = y >  Zi o +7J :O b# Z [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.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.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 , ,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+ra`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ޚvDEҤ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\#$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,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,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{{): ۸ 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.Rgz*+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:LDz{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 ]] /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 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מ)^ΦEkiؓ[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}-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˒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ɖFgCd7ivzZ 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 L_Lg/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\L6I|LnmwDSCv ,ecn〣0J@ON @ܠqn 2Ecɬ~1"&Uɒ"߹u>tϩnF,fz[Hmak!ш @놧#~At ELilpQ4Ҫ ]!LTSX9$ȔȣfħOMQ8gK[m${ZˡLwhs>U1I: Wn:Kֆ-`{xI'ח4!Ym$Q(X~(<ΐGR&'VJjLO-.U/eX( _DG|h2Mx o&m<{k'pk94A )-8SâŞV9“}%`+Ӵ5LgYZq /=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !r]ˠ)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;,ᄻz6얼`&u*`du[ d㯒% 6dGc]/=!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\77<{4j6chP99: |.$LDj m`{NMSU֓%3AvjC-m./uZ ' I[:M*Y :<#cOٶ,hE +z.6 `V'{dD_~a)nk IOpH\h<*!.'n?gj!T<3LOltg"ث5tR@c ΡsXY*e`{tJ[GD?s׍\G^B2qJ><701\}ËfL'NaÞڍӬ%)CiLcniQY40Ա1OeS85C "/=Y.Ҡ (Ru"E)lG+ʠ\\9dPdi?%CZ$e X]5n D]ZF^w}l)^1x aЪ}XItzGX.OsX+:=&4TeB(UI>zbF`U D=z> $ZqHkۆJg-{Ķ`{TޘYvGRMQmw[~`/< ޣQsiʥjy*r=HZA^Skݯ`2Dd˘]DZg B\N,xB%vȞdĘ.u^q{0zlW!B;^f>7vd;l}\? dZz/͹?&>b_[evYSi1ʍfiҶ)p%AA{/yXh"5)G?C3gxVxZu10 չI4p}A l|cQ]*ķS&k8tg$h0w;:/Cs焳IBs-5@^PYOܻAFuոߋ}g^vS@D\+A;Ez_-w5(uN60"rbv CIThs040ZpIw7Q'm y=kJV5KSr\JWn3vǠm]n|,[+8VknYg6&u"}W6m/~(I;,ρGf_7S6^"mk *-O8t:'9F=*N>P&6;ruhaR^Yo)JI)J_ɾq.L˖Oa Կ=ۜlYX#50~}8z9yqJpPLd({5k}όTnΰ@1`*?Z-"'<]AimI'A>:Ŵ 8 5;@aɆHс+bDsl81ut#4s|@M^7k&ϙ[e)|:(5x3ֿ+ A%4k, Tj+8w|9FJs)5+bz#Z'(&O:7Y$n*ҷ|qPSH5U)lPU))MQ_nGs гqRUPʇ?9ևTToX@L9? .wBE7V.dT"S԰< 8n21̔pm:JOYӷxUOMmcRH? 俨8{Ҋ[[xxwW[EJ.C.?p}J. ("* %W M*[hVcK}uboObw @?G,VM_<$/yJ8ka |fPL+Xoe4Fgg>~gܔnJ \"OSaYV>PoMSֱSVvlTFuRhM߯%wE8D⋘N"1PYk}V]h#Da'{G~xWt#</W*\w5$@k{|vϰٚ<22EPԾ]dZi9gJj6=Vc#nN]f| /?"ܧV[M)/MDwyF (2=/k}\p`?P5 LIk@ED/.saeK` Y-#3mUX5# i[i l շQEе_o@)`H&z a)@yh1n~U|xWL ۫WMڞ!/=_ﵐ6ڊzIR"]C $NǧlLSg]`5fQA9ʨ}}U",7fl g 4=Y5>̤- [U+?1L؋ם{4Ǒ?:]u 2I35Z_D7s}܇/ :=֤ExV;L'i&ދw^Sl5{u iz'C ]X\{Srp[0ST"ofގK;cr يC7ĬmL`T=V` (RXr6OoYu5$zVE:i3&1iՒ ø >%s Nt4ݧTw#T>;ž9y*YāiiφT?@{#);˧G[!$/ T,D"hJgI9)`.5ΘbFޔPl60]LXTzXvS^瀃mƔ aƃ" Dj{C|IY~3 w?=KVikMrh[:g'H{pdîm-pIx  L n>+f$p>+5ѿ|'퉛Mnc298/4"'QB kO[v4wKtև*Gq`h={] Ȉ[6OlY4^`Ehh:ż>5db|ym>LxNƀ9""7晭`n2(b6a[ ZaҺft%:wdCҶ@BƘqM_ e†bkOQ(8"~\s@"^HġEU$NWݯbO% N"T?aEHX&cj(lSʯTvuf`.+_ %4IO`I~sW=LFi%-SBWH\$h) /#?f  $ )ɆeK6C5+֫ϯ}ٹ3*B_FmbY+:I +x uΘsֽ{wk%rܹhJ<["lB,cLO( F@: %Լ iڭ;?uI!e|>%bB $^h/K=[o S}:8( " VaMybې3չ$^J0mAi#ԼP;l^mda7T iShsD{)/v!+>w͒_NLdU| ( )"iMGK:d?Ʀ!2/ƒ~1x#JD.(6Z~ k[rm$*Yv"d02ŰUn7z+<펀?m?sKt I%?% ECyWn8G$Sv/3@GW>fHj]Y6D"=I&Hj+]:Qk v"nFzgȀhVk/8rN&ߕnJ-;MS%?,x'9^@wYE\V~?b݈Mn仼,˷NceVgxa-ٗv.AN2D3TGȍ<]M.^z3T{5Wgb|J]uwVKl9Lk +ݧ_YH 1;! h$V;{rq$Jẇ l?= w]dW Bql[z7=H.?9̈́BFdIQoufknP `U6YF w#_ {h t'4h`Bj=l\-,`] vcECX&BT֪R&zh-u.ly]gSj!F\Y?P8N$vi*dlG~~ݓ;R|MXVbkhXLv[3  _8'Z"PjZW\Kݘ"[𑂚=]@H߬\Z. =gHt.F Fvy\p5'Ipxܚ ᫫mBwtRsN!"/xCQkۖ83,]j5Kz^m>e>ÝJ\gJшJ;ı:E17D'h>0;^{Y.xFyD_$a:hExeBX /챽A|ҴuD@@J';JAAlwĆCÚ oj|e%y2Uk†IGlKm?7&\娣׊Ek|1{WqX?+9Nk09Tf۳v1tB7I i@t'Ji{I֚xpӗ+DSuY/AаCjF%?Ck";@,O[mTlp.{2j U>w@Ca6+/ø`B4dUBe #|s"y鱫9wu*q< i1׭ե [?ږa riw87цXτ 7#B?` {%L|D4#IЪL _J\7!hkֵXЇI}^[}˷Xڳ|s~r tys ϢiyO=T<&fp933`Jd*R hŸN .Bcw™]>+ji*@QVseuχ%/+R@2s sԓO+ AG7H:N`-?ϭ.?Y CZQͪ7HjEB<*Kych_Ƣ'g2MAcќjx+2x:Bߋtux kp%.)2'4*BLM՜C񯐱ʜO9E!h(R-`\L@@[ix>)9վ8E3}\fUF~fы+{55kqs!qɴ'M囶ruoBG!N!l0K}2\Z#6( ơ]$늮n|JQ>A4~yc:V`!B)pbA% -b\4/& v$W7Pn<+;;s Wև2+S$gVļn.Ùv4&!ϰC#9UD =âƐ;g66g^*g5qW?xN]ط&-k+ fFj(4aHÀg!JkI xHL 'Fi6Y69XF; o*&'!echM{0]IPf!ouo/z׃K4`JF9 "c@j-IE~>L=tlȔKz?ҋMbq:iJ }Zz ֪uc`BH W*P`ܩ˼&0q`KC⾩{t۾wP\ I徍0bJW'-._`,F[{!'#L`u@X͠mH߃gv*D[ae( 2)>7>ufFDT0n'i_.k 1Ewْ O̪Dv<#Tÿ;AMJz&>Ӡ|ՙιSrJbE8316Mj,iSF j2 mH^0s&GcԩY~+!g *1U^8Xb4gri-֟VIam f7j:Ͼ0=4KDhk_Xca7zn3Sή|ߦ'*zY>Yg.RwcNt%@4djh!@|N1C+:bgYZ}{Xq2ZT1nEM@96#>xF6$[2?Mz,%bI^{,`Di@'m$vLEoTZKKљOnxō&)HT]@Yde 3y)e? EYC>$U\b~/[ B3Q2c{xeԑp.%v Ǣ7z9 iЯiΞO* U9c5PaQL5؄&43ձ Tm/(ǙFzL+ʾYH]97XN&ܒ@זk+GIȹ@ @gr64(pA ï˳qC⪳^ʭQ1;f,!0qĥ<`{$NK빶۔^.Q,ŪjsLP IK(wc>$ /Bq:C<"=aN3y7E~s;ۄӪ9g`g"m!!OA|!$MR{Ƽ8(p;9i![ ̨kFS[QwWQ= 슏Y\ٶ)s#WXpP*LGw<J&WeC} g2!ڮ;' 2"e-S#6L5)B]3 iuVM&ZJъv(Mr *Dɱ\!-4֘:i1RdslGp nLg2ϋPlvgɜwWy(4A&ZTq&| / '-% ǟ`EvvʲYYhK}X;\Ji_O~f[yK WT "qVh!9LrӰv_VKlRi~meX.u w2_m5o|uTWsFܢO >ED{ To@ǽ>˫*xw@/4WBTN< i"a"?GТ#hLKW8,Al qͶȬ;ٰĥڬS~*f`lٕ\rqH;s bP/=ݧh/ePV"" "|ߡlKy/|+D*moq!KgGL3Q#Q;Upz=lBjZAW BFqf|'_ΖSDL0\42F@]}q\.`k<(J[`1[#A\7nEf$H\ O@HÁi=^EmeaʉHkA{ŨʖF`{v@uEfHaTk>':̟"'y5$1Ärdd)6Z~v*XmCVe AWcEvXq\z6?1yIY݈/}~J5ﺼcȜy>uaD ń t'?>k >`}V OФ[ -5x3G +ls]Mh268J6yl,F?& .'\7Fͣy,#$F /sZy zCcx}ZO/`GeX0}%z: h"`~qcz؊%HTڻ!eB$<ȂS_`_L*]]V`L&Q#GP޶%Xy4$ֶx,N{RK"">cmҜ䮣cH^&r JWZ}y I]MO3 5c/.}w\r4UI=Q1 ZAZFRxQ&iMIN|6Bxyp_#% @7k cu01ێAT 3' R"0mlޟ(ihorԬRf ,0-w@g5X"Fz4)*DZ4l\(Wwwd@qrFɭj,۠My[hRMA=]Vt|7{q7ů ^heĕB2S]ME_H\2,TŎKS>ގj *9"7' JΔnƬ}Dvb~ath-|u0THK]=]P]-ńh6!cF;M(Iq_roscU%1JN47fdt]AsI`MQU9'z.4.8gUD[|fZCh(J[+yy0X~^0c*ыj4}LM¼QMgq^2:UGKBQ1; VM"DW%6r[%,Zɗ8T%/mA~H @_-!s!úc}M&:A;H*OdOsctCj4iyl.2iVuPs83fxj plKI8٥id*Đmܭצ~GbAUƻLi9?=|t.yaۼ\Lv?pØ٥톆%k9Ny5.ִ>dNvi)vop~sEt&='aQHE|Oxqdqi1B腳ȳw)y)7n)Hb.8j"Qo>|I#Ů89,19K"=eL'?pM W%_!gcA!~dܨ4aVc7< 푻xOmt_Oq%tvJcX#F'.9v}!\"7K0-r қ3dJc5?:|A ʑOsQ|zV>|-=gYZ  Bo/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! (s9]·Iq n[:|&[zܒj-]2b*iW;}U/g>'^ޗ0(9Q}}'S@my7y-f:{C4ie,Ol!{F]2Ci|`+|'IH OYTKZQca_+RY21"^l7`ɠˈSĠ1m"Ij1ȇK[IӶxPEͼRP!8X;R' ƿ-cQ(ňIeD1#)IZrY|'Ѭd:gM!mSj `~kAlԯEIok%ѶsR,Ŧ/c'g,&yv6D)=@+) X^J_qR{蟞`h1Q.Eo-9Yu4f^FEYI[v(h#L~Bc ~PZ IU 1WrX2eSTI93h׼=ͧ \\|;4h2Xgz(+' $<<ۆ[GѤ,pe(??"PnԱgYZq/G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <o]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>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 Ӧ \^YMڙlUjbO*֭Зec|@!~Xn4[gE4Q׵DT/'jR(9TOKQƞҗ^hu!B7)E?x N RF0[Z.9PFY>M"X@HۊQ pZj>r^M}lT֊s?(5٣U@@5U${J2!.Nhd;LݎaU,?BˈCgBJo)y'C7b`O]mJgЁtJ0j!ԗPga$(|1[7\e*kAnNh܂Qg|s@b8L DԦѲr'azI}!7L-{2TXIO7*5&, IpDL=\Zt2,tDW~Y"p:BUy̙W̏bVVsH14so쮬nۏ0$L2w/V$PIop1c{8rO|g%dPItDѠ#H!@%5 +jxSeR]h gT>ɏGl l-0`XESo;:9\ƣDܶٺۃCߘ#]Y~iy^yJ?]tseHm6N kBYl6DZa:CGi/ VאjR hO_ӳL3؍  pq7l#lp#hN[cMjna-yyUduEz0Frumd9]ԥ\;K;6jqAH :1f^vtxm8ÛB m_J&1r#6eBЖo8% ^q'}N9W͎S0ڟ {YS9 (s L噣M/sB;K#qEFiaZ3QJpu1y0oq:񰓡*k!>6y3]ĭCΡ.<LEE wfJ|(3 P)M}eST= zMܧsQC_D'ZOt4/^2\.O nE{ܖ]f後T k8z-&S]hux**C>'3))Y.-(*yA1KNH'X)2 թw~X])25Vc=$AUL}0-ٮNf0tP iф3s2r®D:/Ԉ; 8C$l%*J X%nLo F{IFtEOX QqK %iPkrIa~ힻ뀷Ls }}AIB5S hg?ZVսco#4~ZTjhIHsQ0@&$?wTʾ#gX>+ƧFdhIӓI=Q O+--/:xgZ6r)Vj?bݕ昣ċd,b]j(Tp퀥1Z<aQ3>֘Av7튧4KG NzcÐmބžCK#ae4h[bGqm[DQ&iiRY3CSU҈ @Q’b4ڡa0M;~PuS6–7t*ѡH\(Sh.ԱVŠ,X]f5h~frؚWzd#5{24o[*:,^6+A`6g-BEE ^ ɹl47DRNи)RD#fߜ |[kpjB n'+Պ\> (l?m(Lw1)u ;|p%9|wNTuL4!1/qu_ zi8K(Unh6!:_ n:/./;/gHM]?6 &ߌ Y93*|μ; lS12aAٸb1<[m6{i.,]q0QzR 7?울WMdz EiFBw7BPVcd=XXQj/.F\Yp_@-TYTjfbV筧 C9ݑÉO67NC IQ,< "4qÜz6 fM7jZ HBg~𶩂DHo]qv, /ULϘc>lEtG{2 ZSRNNCw#VپlXr"*Ip̓Fٻn$w:,RDA)\y0#?h4@M]7aw6(Y*5ngWZz]:qY6<Oi+g &m`Z5*| ?#sm}/y'#' WM\i>̳zB#K/lz  Bu1ۄ#ŸUũ>=ڈXZhay8cN} ǝ棷bfgQZ$EnB6V훨{'N+=9յЌ _ 몧5HʡŇ0t<aIՊ01Vf+B`hmLp)΍6G!%;'[4z{D2Hg54rS?`ͰI3ظxPAu0 >mn0۹&"E"EgRͮp%N V6] 6{v;Am97ld-2RQ \|Z?]͒<# v4H콘 G=E6_b[cX eXk=u,4"[V;;`ns|y9d ٍ>9 _;[ K$8qy#;=^Lꖷu3*Y7Evm@G] dtmA6ʝiJ\Eξ^xdIrG+Sf2jHtFTLs3*?~kU# \,~7(]k+=3:w:aCfJח67-]xYaPfNJ&|nU<7(O|[U8٦f;TGOp!9Ǭh/Vdk8+ghEfnkg -h {r1YQ/ A/l4Ʉ TgYZ Gx*GZ /O# 4HOL-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"̤!֩8hhlY*&HNPiRKv ևhܯ${:)knBxws$Nb@4 $Ɲl\єL|4$`,w.T\kDLYl6bC_K]{ o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220}/O# |HOL-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 3us]aS8ͶbemwKOu%ᷛp&Tq-(19!0q{-E\Ƨ%Yh\ny1s2DXPe)~-h.;l@W {% (M_|il#C2rfhOLOHW-Ws!VcMiiG"^HPWET\oF ZmfĪ-dn qͪrA9z|$9Մ+3s?FCȀ0gK@Vj: o+ڷa{c |JNsmQ%}ʓRE4;Cn\aȍ"_Ib+O[ʺ:{gUfx"+_nl4TM"+,-oALkz0n,΃KE&ZU9bMk/~ŗZY`KB6UJ!#'YmncDR"FA_؇MpfK\>/[zWx6؇7tdlrCT4+ۙ;R~u! VfsA[uШ('BWlNR"3(gOmjF~3YB]]"Tq\$+U.j{*¸ 8r0;n'jYC b;?Q (۠DN@aXN]"L%iƵX[X_t" wi dcB쨄5Wn;x cs&7HhH$VSC9mt αH)@3+njJl*/&~)-[RۯVkZbZvGO#Ќϯgވ}JhK([R)jB|ʰ> r$[|hUc({h_Z>fyVw`m1F&.us yust6;'[.Ę +QOsqUʳzE]39VΨgf'ݺwsGuS 4M UƋj4~[gԑ!H" 42ƕ%Rk椂)o|_-w[v‹Pp^W5$5sJm#ٗ| R^~ ȃg8.٘}$#O*ccLQg _FѫFI6=xV =z\R!$̨D@;IyDZ$A %EX<虫X1ŤcNyQ! a^ =},`#'{訛kzWGNWp]4QQ2mJ{͔r`h536%D'H&zy!Kgz(N!d@ځd| DoHvԨ6CR8~Ry_ w@"ztMsApQbNx)LevDF廀"C8U%faf؃R9//WMOYssݩ`@)Γ_T~;&kPɫVF5`zUA^$DÍR^f6X2!~*\Tn8&ْɕ1ӸO=W4&AI?qxrQPja%|wE:%ӿpwVX{L$=Mѷ!K^i7E{LSd`B.o%H59<lu.DZ%)}k=c>)ԪWVZN8HH@WOGTH͠)Di3=u<Fn 8<$ I ng,V<BvՑAU67w_ i)[]t(KHM!E LcmF0ԕ# ,glT^,7v1L֭p$u(,y֟ Ӟq{/bSU)ፉd̘,FNItҟ[ᡬ6qVwuoXX\3X2uJ]{ RwyЂ|[`_}[Ihǒ#s@5R ag׽S>2Cfߛ eQauSD;#n5uCgN~|R-ǂ0]-Ao0JOѷ4̍fPyb%7,&ErIGvIWR8Ya" ؒYYd-_]w Qhb޲d6m=m5Tby%]Ȏ +I?PPs(&&X$z]iꢸ#UTx )_o} Ld$R C8[K>RsOHt:\`_/({s|v',F7W``ZH݀cuJȋ[0JhIj,c@L&_U!=c q[iŰ \wܦ?>w0,Sؖ@=2h0DS=Q+"枖`MF'L_@=3TM%tfAq.aGq}C\/c 3Qw7(A)knGz꤁EqU~OR$4όNP|y$#Ň3+bT2]Xq%TCrGxh-"od)3qFJw9٦PbZ) 窏fjZoHhrvicu4!0TEH| 2V4-bFkRk[d _H~*KkwJ_Xhy+`pD3P]0v͆X~145QcJBy¿G=f0Ao3+yxZpEO``fߛ2EۿOGMxP@!P4c᱋mNXWL꜏)Ɗ&ΣlkbWR@/"shΉ٠q4_tO#*P%+ eH0NxTw`c$n.{UE[ %Ef:cC7ez/`뽅K[Cd,kh^<h20j́'XEMb)"Ƙ%xE4Z,3fjq{hy17f:'Y7c3VϛX2ԁIUU_^3`KgNȶ+Npc #R=R1)yֻM:$,ߤ ]?wr{E@ߤZ͆i *Z`j< (n=ȨMeOxwfeRVD0.?+3M)8Ú1F548݈ߤa3a-7 vbG ܪB`K֛??Yôa)%ȶB dztTg\"eNU4<‡gԆA?U 8x;Dzԟ-J >i$]'.9OVS!ub Ek[H&Uǻ`kÙj,"G<ܐ`*A QA!É03G@c26y<ʺ͛VVuN)*ƍ W0}ㆠ^B駐{[|t%vE;Du͟&W24wдI߿B !QeTCHک?VdPᯤ֌gff7@([Q.0N7K,O%  xrUk|v+C^Q ,R^uiawrVR)Lv'GyKwSCOJUpksjSb @#Ñ?AFV4QDVKU.xCwFq3mwFqpBpnR0R7z܍_P[ZT3}ſ"Fv*,\n)_ɝ+,'ƨa~'^_w 8ZTB. ;$M# V>\vk\^Juȹbΰͻ؜ކ]67Ų_`!)o;A*ܚq*{``Gnw0炱Zd(4;nDy-ĬNc@>JqYxqnI^p`Do(um6Z>`xv̞5_h),)JCn>Gęfߚ&}(k$o& T4+?mL =(jF]x?ڑ/=9K㜙;ܞ*T^6{=~Fߌ~s8Z\lټ2iC/(Xk?h.\uh[ҡ#l$umڠ'q]HDb)wWZ)dU`*urIj?C Wh)`az3S|MDa 7d,-r1M:.9,j|.1N 5oRcU2g6t_|h&䂟/Mʈ|<؃=-X,.օ O_ҫyY^L;b(-*Ƣo(>Ёޥ?{L^+{!{,jH:@cӾVb DmXRLes'$?4!3IG5XO}hGø]kDGYœ`OaTl ՖNl_a)jywkcrba" rӹp$U ZӚ(_J'ۯuKOjFrwlbօMwTʿ:6\z)cybu+Ta]l X{=PR&0Q0xqã2gV9bGV뢣@RƐh~@X6 ޭWutjTb\XK6Bqg AkßΙ R/5ІTϑ&8gc% Z/˛imMrۮ7hj~{% DS ;YVTI&1?h))?R.&"dYH|n}V)ۜ={J/QVj: Q#]\JjSB:#+ ꗠ n_̓SI*.v'wh?dDn1u=$5m0xZr.uz~~OG<$v@<"0f]&52U%8 X-D>dD5ژ:<2j֟Ԡr$>Wf,Cs€4o_ƒ޸o\ =U*V4@ .acJ h(YBg.>ROϦ#fOYְ3Xf_:_s_wnpr{ei1RLߊ_g2MCX|):nE" F<ޛe7ͽöב`,IΛ77%u8mAMK19IS)4~Sh /~ ,0l/5{_a)D%Djf;AրRI\͠q*Zu3 Y[Y 1oy4 1G5c\ s ϫ.xReTBt@1dJ<:_[8[EWZ%EU>n,MT+rݸ0FʕBT->`;A?Jw{Ƚ_[/t\_ uv_\5"E]ݧ <*:CVS\Z̥l*oמ`y-s `u`3[ 6 c=mAej|8J= D- ej̩DJg2Ģ6w ?X [=hK"Ai9tո:+^gEņj۲\6%|TJVjIV*OMx.mq4{M&K)!2;k[U;6*2/U{ ͞; `P"(#ͥB HVSJ?kk=|kX+h~;Pd10z»{@B(=VRM5_L{B_6FKVKt(eߔ@A#(WB{tKS /Nk%;$GP<-znYs(ch^\}rOֺC+Eag!  SjcMpB[4Zuվ0J#?xuwr IGcJncQ?L%vVR'P' 2Y#ʤt]9 0ģ3$:,nH>N˺\V Dt5l疦`刣k{Y)@lRK7vvX/G$8%F!c>T& Bn DLQnv'i/yׅ" bVMx3!ڙz hϓaJ#kuTXlAN-ǕSE~=H!/zc3嗮QG$0^Pcqy܏[cM a`DŦ 1 &EK(@\s} BS1.l hqM~ozH}E5YhsSl~`Όͩ`JAb6ؙ\+ ঒b[JCtNd 7g!<&ƔOU+Sm*C4\ט;$+X"ODhh:=cG<1Lj~É+393; dž"|ǪY #d IX$P{,5*hc#@S" Aȹ,-j ȧ3{cN 7<áYjDF]X]C`*O|D)=TŖ S5e XD|*0bg0Ӱ=7u@#0C!sVS#;uH1&w.=1{(%aK!ү=i}Z8vpY?]_/(>!93$ޝ)3߸柚ȇd?"&z7TNf\կ/40/fM(N\'A0r^>}XeHT]|az~^' TYyO3`, L +j&U6F5'9A?dH3vhah D|Cglj>.79QSTƕC qr )s:'ٛwH6,H5^\"XPcκ[662OSji.N u!rr i5M w3nj7Cngc P (;lR(_`VP:֭?-pR UVY;>+}L Zł<4k_ޢo 4n8XL0LԠ.VӉi{D &"CO~AxҪɈu.UeA6f%@Xf#?6ѣ ̦Q݋,\ +'*hq['N 罛yL7{}qk@]-ƛF  JPHЙښə\;uF)\@T#GF!;1N|W|P7-ג q&?M0tae,,q_$DEG,>p1r9 4ͦNڴ :IJ!gq^_(ÍRu廥뼙 : ,"`l0q{KhΚ7AR"|њ~̶ eg`u$=M{ѓs%[gkJ/\co۝asWWC X|>HƂѶ]MۥǮנ ^`6~MfV0<0z̳v0 !RΖ3R޽w! (7+.kq|_?S8A`H^Rբa  Z!xdom3 e HpǓV-tꅏN^8bk,k :LC&*CꍤY&s3(n+Β\̛dnbrjߗsil, GedA :0xz/]@!kjX)n!2% N:h m{#]7øp$ȥO~[5:/ cF'QE8Wn0>#}9]Q ,2&Agm?S Y#tѲF&_nRe 4~8[E"_1Y  G~FB$Md%=p&´oJDZZb^:n_Ir`Znܕ^$?wUe4dW1|j-wF(M`&1"֋!I#ыL83(< I<9 kDœCÇIWɩA괄ޱ:=IoY1ٴz ъ 59Fv"uNΊ t (7Y6Jd$b`se,3[`ރ7Ȫe?(W@g5WPBT(pBm@=ѩ˯Nw3\j K=sJNpa/~x^,a 썿[:;'=)iQT=ek0 ӞO'-GSPdl9S EË^-Aq;o=@N2'm<,y2VDs M!Ky(gF##Xlx=+Ce Dxۈ0>Ӯ];bt^jd2~?`/6:ln1M&I^eܓDóZȍdlg <5&EXV< | =,=`]T@˥i^"giuU"(P7EU lEq(om@èeرS1c q.]#o }WʢblRZghxNd M>ܒpm ċS)>OP#?? H\g۩޼t;.3]9H8ƺ:`ׁU9 DQ9ڠg lz^apx`/tg_`HX/!ے<_i kT(qvQᮅGUPVVخ-9؂x\CM{ZZ:mЏWʞCRˎzuc>2?ۛHUeƁ&tLM7/* 'EAf43K6Ql/7`Ob*W&XU42btt] bPedHW Z= XibT#aw,ݙy%RLi  +3a!zR#S@˵n|i0/X@d)K'T*qۥ1tޢD ByKw! :M|{8-شDd#*XQTG++ P 鈞qT;bpk늛vГ}v/~X4S<Ӏ'DX+9JV Z{VRpn/{\O %[i#H88BvD5boCi BL@\ W`7ld+**ܭ)}4(JqVzbDd -& ɮaֲȪG7Q:"mhUe3ØFf$V5O\Gc​7ܨp1R 6H_B sꅱ  M Mض H^V㱆ZsB)~ kHJ4b ("!2| 8\n@ڑع7ÓdTEwcRmcprKݬ?þcӁ)GuR_0T͕׻#.'IJdP4;9o1DV_gÚvF5'T(_8,K @E[uD2wyn~͓Z̳g e6~.ꚮ57^6 ԅgHY5:䁪. F|If"͛PQc6h)lN;[71o^l"BuT N-kU{&Y! ~$;͈!,eK=!bZ?f{Fts}ذBk -pMtHPְ/TxLrR u*2u4 `GN}ō?c|E?x *L(i0-a$~^Pk< >5E&/Rpԑ^y-쁙y| BFm.^,D3MT-އa^yd&hKթ05'|$|Y0 j3c+#ĔG[U *}Y{|'xs5#a譟0jH.z@qyʁo00Nq/$R%I;ExxҲO&r&u<)Q&2귷[ n\.j!Fncidz+01RDl )h ,&Z*2>Cp*K<ؤG}!;Exғ@&ƅ\|x@P*G7/ _4[v2$<@ {2{+%Nozޖ>_$5r)kHץ:1B' Q:GF7F0;Ǟ& 69Iͣ!5 Ga-#:vGE2x1$-/*PҴ^ۇs~_~( bw7d(ŵP~x3.svA> .CPꝬNQ )L53|'!I~vꝑf+X3~ Ix h50a 'zolDyԁ#t$(Q^_g r` sgB~ȳ=yAupӒU;&1ypo+DYe_ b]{W!Y54Q,kS8Y&b]K Z  麟ƻ7WUƖ/GQq'dqXcS;Vj=?G&xux9HETHsC6ͧK.XɄZ]D8FyֶkQQG5,&`3/Dy7S, ?kI@͢jwƐ88ud crt ‘yvU"<#U`ɽן'c# g~©{گhp!eSL UEr>ғEr5ImGGfzak<ݫ|]XEt 鄀o-P*iC*}Sm|cM($6 a0]a/9tBeA?2 6m=S$^ol ^w؂~b{cmn0W'>O4kζ?ոhUvP̽XD?qivU"Ic',}@rAũjƒM])2#w~ N (sLh*&2}K.w.Q 4p*w>5'BM5D2}7Aeg\EI[B4TPa!{ѲlP GTpk܀2赈L0Na/T1 2YR2=H[qf(TDXٿܒwE)2tCh-GD,k.0WſG(bE>Sa/syGW)/|nMj87פn7"c,Ii1n/E.1Nʨ{^{E_Th Y}@`R"¢7O*A9b׮Yă];i݊ť\'Vu;\LpR#R!1pΦ?|3VKĔSO*FL2g6kfoXs<#8Aɛq;^s{?$ijSh ъ~ %-nL&{UOYd8l-qt2%<=jl} 3FWQhP"b *ڄ2{6R[4ti0Sp3Gd1-ipԂ5n\4 ͉cz niZxL,b%^;Lk힮SpPf&v:JiU&}zWK$& $s1 Zo&MliOuK =A1el.~ 6I'Q!!L'H~~ G+X9uE<.և]YZAup@)4sHmx2Jy>l;=i:%L Umo,,>iNؚ, \՚|F򭑱e_B}dؓ@ξ<_`~x|N9[}| E™r?b=epY"Ro(J>'p`,Uwb凫,ţ$߹ucb&bҹyú)vSzemG&lĨ^g$;Ԇ'$|;N3q"jyS} n?^ejER~Ǿ3 z2[Ϋ>li#;S5$ +Z)H͠V/JMLw((J ڟxGd/5_ HU.NuՌERjs{ v>)Th[4v/\[bDQ@6f+`;!w p2'Ġu w &΅Zb.+/CP W|A+tYav`?~bc.^T (AcrK #,/@m1hpd%N ݶUb4l1Ǡv{Yjr',sWf>Fz-[Y8;m,teӃ$">;zьx+ "SZYkZ3_)J`fa7gv4ӞS&0יXX;E2-&oqk4'ONetJwrg=<7cPdJRl^NZhv!>}8Q֚BWܦ1L`* xțe|dFX P[~5ٞplܩנ0[Z'(S1h|CBYV*1G#6/0厧' t\HtD,1AiqFgJTk݄+ qiEr2ERT`MLxSMNB%J ޥtFvyy _vz6wC=P >$A+1 qh'M8Lz,>NfUzhքP 'xH ={R(t5mBvM- yvX ;7^Eo*DŽyv8ݥ͏L7tN΍>6dqԗD7 y&ω1E3wۃBtNsm~&m -K~r]k{]%5}tœJIRƗXF=;Xo[{,*Ԣ>7[P}TkqG ~m8m:*RV#JM- ĄAM*PKؾ;u߈1+N"; -tguUCjJoE Mny P:8tHkzanE.AOGmFmD@#NܹfprOFF,"h ϷP3O;="[2:%VȏlT:ǔ_fc:*6w8CK Bʧ-P=f FiޞMv PpK8NVqUdrjK'3F,z!lj A(۝"|TqNS(4Yݔ0I x)1kLd+poU#*ϭgYZ  j V/! /A# lHOL-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":{{:FMdpxU~oԮo'NuJPޱ%x)_(L F˗.mXH!FaT G eg iN|(d7jw?mAƀJUY(DPz8ǒٿȆHڌLG$0wa!NUj#?qHZ[qqyU 2*3Z -#E͎lF,QߊK?p?qH`Lо}2',α w!GvV`PԽkcN)XR+Կz!0#'3m/b-uӀbilӠm\䖣x7a愓C7%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'ƶJ54҆J9Et:/f,f4 Jm4;MAvFZ3;yQT?Wm&RC)2A6:PK9z*p?%GO(8V8~ WuP}bL G EƓB՝ 0/n? ƿiX[:ǹ551fɖrx7C%8g]{K!?Bc:Xo04Cؖ?o\%|-P |5w 7UiMnI,!!h`Ƕcʛ4!UՏ!ŝ>$J5F&rBZk8c@SQzz^ߵΠa,]p0./s}j/Db62b*&Vmp0ۙ_BI)b@B}F5aZvWŢ6U93>:q~9)6kgYZ&^ pb/GΒB(Ef))چ7knpϸPmHɄ˫tG:=fjtPg'Nh2F_nĽ)^\J0Ih }#PX Ak >*"L+C)qpw{MuIuJ.٧6ghMN3N⿿~]H%V'9¦21襧@$|+{)qdfT5{dHZ?Om_ۗ&Yŀ`g'.fhs.ɑ(_v~t_o5d^D|b5!¬_5MZǕ 8?+iE㚞z,f;2~1#4Ҵ.֠ɟeG^/{K*\CΎ6w@dbrPq."ƤPx٭'Z2 ơDFҜ@m LvNM*sK{@/7DkdSYC_QP z`5nm!݄uXI۷sRwLxL +QIknݞ4@(|/b.p} Z9 U*:A@cf1p.2ɸtO0vE3MOe?@8ˌUۄEm*\ Ok^W5@tt<fM򟼮b?:a}'7l4;}e/Hީ"ˌc1!bFZKF4e5[M-1% zX(oq*kUvZP3M"ggV/oҰ p6btǘn͗RHIo!:XMxXb–=b޴Ι"Og )ǦU.k.=JhFT"+˵;B߬~b'(2 _etWmn~D`yw\ RtÐI`+MnA L"-F=z=DUd@?A: P&`r:ǁoO|ևCc0 (I3ϥCفx303@0^mG{ ?eQEpBi,uNl*Nvs*GXr%i #TĦp_m kXYqHsHnTX AT~hzaub:vu^~T`F6_3#K0E&6:y:w;s6)g{L ^̠=7r{ڥG[Eֵ|n}o2O]qYcbJo% DଁO[۶w`4R RHp8P>O' mev!zvZQ_Y~ܽoSoe+oc؆h0Gᯘ+⁍_]#e=#LEI;.UO}9 RKj/ֽ.f^_6qO(:$ov1ɨK,cdS!# ?H%ar!3+pĞk䢹5 ѲKއL(zd%63Oq}UxDѐ炒"<>Wi %ut63MDʗ9<Yԥ2'eeD*9@y66 _`C)p k~ǥ&7{+k^~r1̘1y.f@Z=μ܏p|"['jE_J';'IwDVa>}>)|\W x}>>V *fB vc*<2Kn=X%Ӑ(_JVKJp#d쵕"hlk&a6_yomN8KÇA;|4HB0_:1'-ht<>=z$x9[ (?3͑.6"PX]ˢ} bm1/1 A›njqb@(e&rP]4F,QP;S'?`lȩEf4Q6s?x>3t,,Imעƿp0roWAILWv? bhW*Hrfە #Y=!Gܩ "x Y*ybKM:z/.TLoEmvQm[؍ۃRa T!a;L:hSEY»t_ȅL'yWݑsHitt<{D}ź0H,4y9?^^6o*Prbtk|aO})R@A ƁGo)p p1hߎ7A5jҼAm$-%oSU9(gdr&"aE+ S^Ǖqɾ̬CdCaz2|X)X c$pB\y;!tQ A 4JE5HUX}KG:1HcX'<#* B(=u5-\"D\4{4^s2UlCo5Ŗ W$}`A~Xʸ|G, շnA mO6 yM\ut|;s^h0p ̅)esyr S(Lwr ./4drkQ4󄺜TJf8T1g> Uv bH&ډk'؄"0Jqr\ 8Ztv``S z -cNP'c6>3D|_-!c]&}+M i 1B7F5M2컄 #P{xdlS\#'( fIK=Т fRa ,FRb~wkI( s\/|tӧˢ#Cj|SiҮkc 1EX*}ޮůͲ-LK {>H6Ӑ$#-fZs yk1,xڿ9S1{꜁qOA]4,8VHo.Q4"-"۬\zz03:|.`^8#dziP00Ǹ\L\,;J(Jݘ{^Cw*tܰTU2OZd*FE9T}A`lq"wI+1ce}xv߅L x˸0g Y۶y/acX[-rpT@u}z")dK ΐYD\K==:Ϯ_⊀RA;k:> {GEvM ČQf4y+00PpC*t(wbp atGJo~&;ݝmgԿ0V(ya䀺/whv 7$d6##~_{'6D*['SuiZ:J$$.zD4Dq-+v~<~+b,NM%c {Jg ܖ\o$2Jq(~@?nMPZLkTN/,or!3?HҼ:f촩5oכՑ*Ëtv!jo㺾DאvٻFѱQg{DCY av<;=| c*"Ml[ٰ*HW~!K")+QyGst9 * KTlVX[Z?{b1éW/[l>[ZZQ ,Uʧtm<A^>Iĝ w٭H9%Sbuca̠~B[`ΠO+'3LOYM+&z)Q!4!&17 `d4;=xoB`D6Z9\;[,i>4P~YvY3T+gj >0`%0+5Q D̵^FXR ,pֈVnO$ku W1j7߂)l̚% Q&JvIv> ~ %{%DkkS-5sJX r)مcXlvflds3{ $ l|y9٩^f[-j2^M+^z>Rs%KDk%np{QlqڛjQ~A"Z%ttw>{C= x_R+<7+#@Am_:I'b*x?iNݾD̜Qp_8.=ϥ{pAc ."DlD$c6`xV\KBioKNyIMn)Ū[Z&΁C\duu>JǚLW&Mx|mG&cL}l=.jL>JOh%t;3Br#DC@`v 󕞍Pi>N831~uzDFj%M9hkO, Up)0:5Ce EiIEUeeB<>mTٛ Ǝv M/3lV$0Q.swD-Ub&!W7ꔶdd% L{L'3[NlUȶ;1?{t4gtA·__ hqoeVpA;0mJ_PmyRȖs.We &Jo*0JrO G| Yǭ`wTT~OVU Uξhկ@7,[sm qtnٓ7\%>K̅CMU 1 x8z/GI94IOڪsy~ y Zzr-GjtaeF}o4A!F4 hqWxԗX_3g ɼ5/sX3s#'GsGJ$&$`ɰ|SEH+pzu]>k6'!1E]#:)n?@7NrTϟM7ŜD=. dPi Gۣէ&4FTT!lTZV.:x/Tvb14h$yƌ>\]r ?mȠ%G<3m#,Ki9|kJ؜G?v&@Pszϟ9MhmNjh]'[7+LŜ$Zb :8-|?~*bȇV\W:C%*X>%A? 0R~AGBmn7ATˏWt_%a'm‘~X<|7C4UrmT`lqҦha؛75S }L/Ӹ-~vcحgYˠڰ]8) PrVJbsEdU:8^?Zgg7V I? XR@w&@ߧws&GCM@nxp)ThU&4Sy8;'%l>,ո'2c@PsUu(Л[6~^Kjq>/lϔ]2n͵![AAԌl$`YĢSKY[畿rZFXk &K DJV52a+Y_YZ;=E7N&5w"4s?Vs+Pz+%V;b$6=U_k$;'oG?z)(G0B|2LBp'^יGfe~¿dY0>+J!bj6"ŇvB6c2j;f g @K>hL"]@gP!wH1 ?g&q~{ Bg\UމM]ıK>L-vz _'j:t-*SWd;)70ZX?e7Rh]ψeJ˚f~y> Օ(c7 K-OMR-Vʙrчm!o.ļltrs"Ba0Aeĕas_[ݿA误/y"e2)`W0*u2 !`GI]|ꞃ4;m>5?L".*DuQN/#?q鎡44 ^jOb(u\UkpB(W_eUYn;Ivsynힱ\r #<dlr [N1An"--{qKj/f]n8"&jwMA5@e2Їjp[,MD @˓4;D|0!U,Cv2e|Aϖ(])4OXQ-ujY`P7ճXVҢyz䂉'Še7ܓյ7d+&_U. .dV;R}deoOKxke[YK#YW 07ŝ^&(urs3C,Aa2b °Z52L vɖm#ޓ5+Ie^(qK֜;4{I ؿ/H=YFX.~Z Om]2؅|oS{!ax'q5Lt< xKJ=qNnAmwIHeh5bEz)}0tKX/W ,~V#1`ٲ 5#z͓ /{9#04]dn`\.6?M0p*LC|7k)zv`%W ֫9B!~KQX_#a ck}mf؍ 7kg`xjd50(bz?yl/U 6cVY887UugK6fӁj^_{ &dISO|. /8H5ͧ;nW3|1]" ׽x| ⻿>yXqWZC7HFX 9qpx,Mx;b+|bkEWCB9x$R>yu )Siʝ0*9efk0w%;G )(>:,5T7yYrG \77)v.dL"0<}_7RO5ygW~FGFv_Dhqx)X(CPR4MȊd1$)w(p. '߁bݮeBT_>Zcٟh6D0r3 }EFϱ ĐMh'ׁzT>0f+ (Y"V6*ZV3($MαbYSW`<xmiq*;4hzj3Gs镣0-X_ksf Ӽ5:+@ |q6Vbjb[4$Z|.|ûڭ 5h!wZdI"9_D5)'<]iL|f!/@҂!SsjSZsppBhx={V*si]Ocw;>pD/`=qߺO!*bP7/FpT]B0[B?J] kx''! yKOy7#e7Zޭ Xm+fZz8IZoO 7򚤫cfAl!h;#huHJ[\E lHO \5^vI..Ru#BKR{+WPҔh,xGFicH}(bOM",|XOT6.7MqJw 9(kw/Wc^[C{C_HZƴ&3O2 6H:VJ3N5qiPgxŴӊFs֌j %,m #uulX y'(w~{ypR"lE3#D;re=3^e |xlC>O/7yHs7|^:sJ-q ]G>)?_?WR_}Z#l" _)c$(H~If95($1ALl * /Za<'T8:v[xd؈E OXW vEG89"QnπO u@Uq`U p6 ?[vUMʾ +$L|CBj JPuyi Xhw0%~ 0D$Ӱ30U>~YrvX% rjNxǐt4AL v&mme9DYR TZE%2+1gIw  TD>rxwШ .N ֏oL Z||;x4c!UqFv ʮ3ʂ#RJ; #1<7EBH Ch<ђ½2ɡf$0^z(lÛהsVyr e;~~էN| !֙zߜ:ePF q*!H=}.¬Z{#dZV%$$Դj}~U"#1e{s9QkC% 0LBKv=jhA16CQ5 sHY*2oV!$*FyО(}MNnFϑ+hâx,t,Ԅwh]-0ECNC R~f3R㕲M}D·pX+fƫDCᚋ+0s M.. IfY9IzZ,9\^ z9٭2߈ N.37ǒ턗! 3{}}:׷Jh/}n2g-,3Y \նz,]fFlW՝/ LzC;|`y4v@d-;`0'1Ȯpl,5vF5JYpTV 紃]b3gjD5! &vUxU5Nk'%#)ã3FFdi*?4É[݁ߙ +b=\==(-%h/'l,˔#oZGTɶPN(b &"Ey @SoI0Ԁw,ǿdiQjX[mޅ8/4wGE -`!aIq]# ɽVu%vҷ']OrQJāq~p *?Z#;nMjNxT}ɯBRL`kdAfGBEȐ2Xbv&V#p.nI(j}"k^O?#~[F$%hC)7]Oe~ 8>ODY]Tztˇaͯ|m}Z٠飼$^tHNqxւ~&isCVN qjH-iŀ i_>d|Hլm+9v3x)1f|gxB)93 ?{zGk-K^jӣ"z2NJ wIner?83-7yXHIhTPj?ju{ @G:OD7g 5qxO]t@7 Zn?+2sxImYN[~4DX%k/c/q3f;I(%ge{y]뮂l֞*kRwWj^jt"5JXU-\4pD@Ƚ8T^XNQ c+ C2A(O|uB5Z8Rh6e{;9-z _Ix"ZCrZ_/hqjګl)N\l?r -׿3,Dy% bR3i_ӣj3Qz:ICGP^_;.-CX;4paصhQJn#ʓ[5񰰡n4HYW;$ qW$|]cCli)HaEt!#4l%=R=QS8 ۉdv q`ǹg?\Q`@r4}.T*5К@O>NLXl|X_$w뇦(,4g1<8v1N8`yބ2ׂqHDG<)ǖ! IClOVay8ݟUVͅ1  }W!iÿ*RT& :+(!x=>2bxibbƐ3YIJXv>5(q/%{2׋moBgp"'/SC|:<8Cx:Ýed_W]Dž-f͉Rb>q%ZiZ/5f51-mP9ttDuMƔ!'WqEȅV`ǀ$ \D9n5&t Ѹ:fDVaڠQڡ `o+aYM=XE*]bZa=L&j=P(sL0RuOǢ $IsIcC>9JD<-8-[#r+~C}E P:u#R5e0RJQ)o!tOh BBaG |o;KnpWhH45-QE(78%̢.mr"`VU8J<\awkUچg-bS :'^f=yS))M ג<9RajX32Mg6$hچDf;O6jsgTp]N{xƴSpaYL^`N\ S/6;|9 65ԗbeݐ?-YZpU㷄~.&y({l"zfeo=b/3!`~+ZK(vF $\zMJE46,FLO3Vr)Da2iiuVfㅾP *h)~ 7l'8^Ih 3}6Vfϼ$ڞ+̃uP*RIw- z=%3kN"tKuHC!zP~kp>0ci몕oa[w{8l8GGS4lSoe#z` t_":ŝ[Iʨ1T2XJm`-|΅O)HG`# ]XRܲ6 z5iFvQq_xPޑv8彉Vwʥ8 (%dz7??wG&kM2/P8jb^ /~!CS,<H<g*  jQg, ր^Vr-f9q7Ns6(uz#݆VU+/r+0D ńa! =e#(__vxd]u e'Ļ}eFMytmV5Z&(?FáWPA9 CP/\ 0+JXrq-sl`0yY,C˲ |X(G{ .| ZV{1Zd0P,cYQcb<~i#9VrEV`^ ۗ,T@y}5A X#EbنFfH}PK\Sn0J| <(*LWȸ0EgnV#TvٷC^C9-^n,$36m4f @\/4d}VtKb'|¡{XǠ5VWZMV~%Tffu2]jK\#.t!IS&$b#zT p]z'oVRU-'.ջR&r"չ~t}7gb'\m}J;lng )n_W[`kH!um.0L0?q ٢\{Dc_ h LdLRsSgxSsĕ3%30 /TTxw`MfTseUami j]:v )/TA3ÐP*}yָ*=_bCEV~ȯ4!e.ThJ7ІŽo[B[8τXa|܁Z7īD0x>FI'ɔZp6/onZL{n 1GVڼTzh%1 Ys554*'WW˫amWcqkl^C-_xd}oz0qyfɜp?(зa*ص5* i}S!UzsG腟w)V xЮˇV18yT(֢[pfi6 gOh-Gq_s1T= ?Y(ഒ1$J!T69푯t/fxQ9d\S\kU_+`LmKRɴP7K4k#SՅOID_f!b̏oo$\JQPJ k5Xp,PgLc=f+dq*N])OdA>hJg'A nY7+my7 ֬YD BjuM0(2PbxzĪqf F[XR ۓ7k lhVTF0㯂7qbm#,ZUvN K7uXjD>9nr-![CW'eWn`"N-ɚ<e 0 C'92 g A؈o>ag{%ɇEӜ=cT="[p {Z,T-&b>|HD^Ww9OU#>jq@NlseKt/t)ph9mvYd6cy@.Óܨ"EV#sZzhi=Ԃm,#sLV1Lܙ=c,D '֒z P/m;S82$DFj[||ZPa4y|,vaKVV\l,ޭ6V)..0)W WO 0 Sʗ#*4\^WE R}@!"66["V%#$PESsc q]S M)l<_;+)q"\[ LY>~/ ;/Fnoz kJLCu(R"ZUgE n ١Y?k,ZN0s ,2Y8W`J}]N[ mIpv NF?k"zB;Zc{)pblRߍ/>OSua様#7,݄%FD}k/v0E=,!e!H<ťpj}(yAVZV JO1 ;Y[`D. D6EbQԶ͵1W~Jϒdr;~0|>ֽ>o{22f}VM]y%y=\/yrl B%ݛoͤmh6oێYtvj:̳^.%s|i3+ QEP#j2(z9FP>;P-,gRVg zFե7J'/1e.9rFPxmm9tpb#㎔\NmMGjo)8>0*kJYV l0sr䫀"lB#O xH}Caj;KM!9eD SAzSjJFdC )C9-jH e JڀHϠߗw `}M&9 Rϊ<$ 2:Tg3*>yh?Gzr&Q35~VumP gshg3Aǹ2m.ٱV~Y \>Tp>9lŅ< MEۄsmφF z!tܡcZD''DvFڸtXn˩b x'x0v8ݍ(ڒƐ-}7Aٗ57+ibM-v[Zrs!&#4TLɌ?~}!ybCg>D'@$ ;+LǮ.D$aQۘ2vc׆#mꚃuff"<[rQR)W_Djvc̖,ax%cʄmpLS V}rqv<)L-BwUm% SPrNY˼̬-3(ad÷Z.~p.tbekdP2 ϥ^۴Lw =vxb8S`\'@WAvB([[FZWāuVWh ~b a/kQL%M%S-Q;H OQ*-e4/mn kbKcA0*VN- P3 4s5 Dj aK'i BU O:CC>r\g׃Xxߴd}Ɓ@}:1#iDmG<ԌATQ,duOr >xJ|\>8(f2 5h fʻSl/PGD(71/-km7]M{UkĿfh\e=)MP!On:|G'x im1#@΃(8g[ѐtdQaW۸h%=C1s n9l[>,O2J#3b|2fnW&ܡR eޠ_I$륌}՚O?kМ,\#.l7(EQ|@;ց^нPwjQV*/GYn@H\g,R׆km\BL\8:kRdžņ7!b\5! fSzFpdaZC_ibZZ0 `]hBYԴQ2[+ ."8cd*._v^*Xg~UW*!*#p:U<#!ՏAə#̹'s/e8Atyn\˓eo T+BfgJ$`ެc7 5:p px a9 MُT=e(a?p]` I 80Z!f&49ㅙv0oMnO_QcX <3Egj {@S+ԓ٣ԇ,%i*Q?NKדKXR1< `6tӡ̒v9S?|[1~}D]Ux,Kjua^e;u#r9(C:<.]fF@3o"%$ v92;-s86j<[BۊH =mUS56LHw.Avb %"nvn5M{,f a %V_6?)$Mr`8w&ar`}_* {weQ!ᛗ` P7 Di% /yS[)y3,9-Ffmy˺:0r"B{621LV' }옾NPC!S9 Ev'-݉.8b= >0͇gL=]&TPCU^)xy)@l@4+Ug>|Q'nu'`J0t?־ሞ懙VtPBRt&S[3#sFP1^X.\@:8WwȻ0/V}+i,'`@ՎN C %IK=]+ad=SǛM5XzwQ/~! EzhT0]F]z7lL ܐh@w{@:beDZx=,بޙOf<[p!hD0ڸ`}s"szd0̰~Ӵ^:VFp-vR$VT9'o~;(?K2m՚;V-~ߢ+q8k$bp^1IR |Ȼ"!P#?<:22uпnڊUwǣRșcqj; Yʛ@R3[35"`xTJh3^r,aPo1x\,yE 'B׷ӧd!n'b:a}5Nso dS=W+ CMf;!\Ṕe-=DNFf"Ó #ͷ0x1coE; kP'`JÇm 0LcͻکVV%;%Ҕ$]1_CW3i"XNF|IJx!ȮLF+S~/$kBxby>Kݱsb6]"ܝ$q[2a}ftϨA`Z5a6%KMTkYA:nU:~Q̼`y}[YUݫ}]N[vi4H UFT㊨~| 9\q {ݤ.1IJ0sngTMB2rbVAio[n%RrWU9MҖijզ Pg/WB/R)>VϤph*߻ɥgLFpHԀ6dyK }VΟoC]ߦF,(B{'mϺEX[ђ|swB};'G{KwveUT_bq;FXUbFXhvfL6|^8ve1@+bnm깘ּ_PAJ+n3TQw>.<ɕPA@)tkF{(K|Srё넲4`QC=R""MN* #|׶MWUY;ˣex⩥Wa8A%Z=4<ޓX ~zQ7dHh)C(kbE7Pl>P%Μj?J>ur,ɉW|PE|!N,7.3QKhL㓔F;P}b]}zz E2 )Ưr:Ups?yhx^aߘuzϵ Pް xHYRQ/(6&b|ne`>Us+,d[TgO}'(gGxoKh[)kA h5m6 vw53%or!%ꊭݳr]trqG#l8^@.$+qc @3t^Iz)5`QT>oZa4B> W|szt]';څ4ӷہ/f[L@: FB6-c2:_g5`w1&3^hmF[8Vc3C9"+HAm_^v xBgߦ ux3.> +otdqe!nL8&BM7 1N(FftHCTeY3b0P_[~Mt[dۙO7m^ Ff(םl) "76~5FlY<8vR/°1DQA+4T9'P( 3 =-`źZPc8&}#*N ZID'1dUiU(SմYB]C %rs0btc*Q@Y'D?tlki{hHrDFoL0к6e=~7u:rP(GDWޕVZ#w69ft4~ -B!v5£ ry̎WvjgE08~V 9t#P ]C_QCloׇJ~pMU }\QO7  R]~cmqhP.j-}ن Nnaahvрޭ =&e]rE>`K3A ]֢vzoJrtEGK}0_h)q4FjLA t{&1#>{s\@_]eRY9W\HxG {0J=ڭKFgYZ 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@*$bW= 0 `{"-==R0J \.ewЊ, $"%8yCJrWzm01v:HΊ\N\(al̓=9 50:JBFk1PʇJDtN j$g}PW5z"5^fT/B@o<4#}T1A湕-)kX .`?%z߀j¨譎H˛eeekY9-ci䰜ǵ]TXhIR>ͺ L=M !*bHaˑ"D H$Yp]z70ӂ`čBQeNJM jc`(Qgnd5)J4n&S6<.)wԙˮ?D| sSӞI%J@M3}n\v'eC.eIFL7c(`2M$x*wKCɩg#gN+9lZbwsLG >ț}iϢ{YZ*ԺdSt dJC=¶;Cr'n}y%AIKaveo/2. O$g?[*@#U:>^EZJ&=)& |u L CxF #^{yt}VHxx@&# 6r iO;(VBS!Mq#D-tNZFz"cokߪyUNSY@5Q =uš Ƽ? _ ,y,<_6|usBt2G:D3Ro%,.|es)?<;JI=tpN#~Qg:M_B'B2;W CO Km!R3 1ko[YVhW9VOGݟ[<ӲѧkaW ?]TKh +T%i؊@ LTt`IՈ1u->/ckIwj$ oޝ(0-4h_x1БVg(0yaQ0%+Kttf'\[n8$ƌ][dCUU潚o!̀m-O6\T wIUD;hX)VwG0o,f?Z| 8c/\g諂C4_< I<ds8$* >\]r~]81. ک8zD\/2/|`UD41-uyt#QK=_" gǒeW;-xgl>%S\Mlc^VoXN;Ni֚G[JXt R׽w&#Ol ڀ)TCpjtqIFXxLa"$ j_h%ccc<ƈ`qlsb`Hqwpk;$]k jUDDCQ(n\nTTx,|DA\Ť6Ic8lu[ьQYQp"3Շbg-Ym#rl o! DoUb)Y 엌˃Xm &I5mGjF| [֧.;ËL\ǫ:(2l#zOQD^ /[r,07DL!.י 5 SIl*že>4{o&5}4H`{#n ?Z8?C=ingX9uDU\{vTBr~h:*!Jl ^$Ns^%G`<u@f\vq}3/ͱzhfnLnrɞՖ_hXy ˘3`Htz: p2P7m(+yǕ\NZ?` b#u,̉?ro:,@>e ./ݕź(xT)Xc^V*LVy< M)*@Nj^:Eq܋T]Ehp(=;rFU4]ŨYO{zy7BLv8֣_^cJND!_T:כ|ŏ9ĎyK"5UQ_m3!agYZ%afC=Ul-ɢ[0Q8c|` xOQik-3YI1Ƣ tgaP闸E ͫ5 DP^E4"džsDN]x+ S2nORSJw_ e< &]{iznV܆ (6Ah}h`(0*$Tonij o#Ե<+8(;?*f k_nfACP pEN|SF5=\, hZB+_jW&q踈g6Tn(3lPbdsSW%;u 0-#>O6n.?Bxi/7Tv> gJ  gւn5e ՏSo)CçSa6%(nfܭuMXb2ne*?=Dueu5/ Aq949d'G XTL p`8 ݶNZ!'(Zyn~'ea#JC{`4씈5P8TEY}Q:G)lz@k`F ^F;LWD0Mn(i5:ddb@G?L1/0[y˾^*"`۲AN,}Qqx5o^׼ϡU?ӥya3H\ש@ ?rj))P*Dɏy-M:G̼ IΡz,+.$2/Wc|.2R6-tEq[V@)tBp CG0 4gKV,fz) 5"nma5BEu^[)3$0+2LVR ӡh0B#S3͎] Olj눕ĉP:P|/~dIK}ݘj8ȫGYLܦ8ċ8J)sK# ήrFb叵0JbH#49h(;TY$ 74h[Xๅ:g6ml:1ud@=}npr}`Eb0-XSTHS((DC]ozz+mhZöck^-󲴢 *oW;(2F٩v |6l%[9ڠ XbcE&[i}XA1%`dc5=3Q8[2:ʤRɛG Gyѭ~@71P5]#.Pm(#"?~!gwSAAl9AT&F6+'O1$LAm4kt̬-m<+?D@qvvf ⒗ b7{{xck['-O@Oo|׃Gp$ ۟HeGҸo1hu0l8dzH ô^Hdj-:J\]=[o61 !/e/ H!>bBuArX85BfY?I98%Qrlju[֢ U ;n8%ʏ+/Kd*A:|lAP <bkۄۖVe0@_Fww$A*(9K}F̉SόVALo!NZ׼r#1hfI~t⏌੶1ɬ׬GwL>-8#e#.xmC혥ij y"hm`-s/2ɭІmCjYqÝ}6_yFK81V0 j 0]Ԣ9;U%DNaPMNf;Y+"~Kcİ1 rSPB1ݏx|@{E~%d :!7!cǻfBs3ݷu,v !?gR}.Fk3$b5x "^6sx)iE%;pcs_A1b5HXw3ÃGnb-(n*I>ud]2nNI {~Zuυn{m QFts-Q-;|&Whlپ>NKfOU\b_Mi"mkjyp\'kjWNج o!k -Yy Q2,ӑuH6س5}Zw:lF|_G3/WgP9GQyӍ$*ʪr bvCu8W '>MKwѭu߶ĕ||hi - =Ւˈk t?dg.#UTW06|lĜ!Zd$dݙԥ JN`m l2--ݽ d4= R@<(Ka]-]U[xv.(neW zȄl=`~ZVxg9? NNcY7ն9E9ۼfl$.®.>1WzK_a6"||Dڎ)-E!e?e vHs+A/h;io*~RHvawwksFUM1rI[zq~J$>t`E SB1ySHJPKՅPEUWlw*彴|py }h]l,Q8H{ߊhKJ!{'}uQ _nY *} icf[kdu22Y\ݾ^-WLMKvF$ζdNuehpt}xm2u*S`2{gcY$#ԡyLZcVq+.Da(L_~;p- CjoF b+:,X "Q5&E$gYZ   C]],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208[*/C# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;[]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3wı*/θW,V _6׸~m8(K B)ol?]-W\V>2F$<@l(7|dl\8١Wk'ZM嚷uhh*,)yl񾠲ƢR6i@]{^VH(ˊjTm _fY/KP6&6y-1/ ur* qjXNi7.xUZ+dk߄_>!Hn9ZXJaGaq_6_nUԋBINeMK.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'д(g m叐GǍpR(ԜhzvQ5G3 +%+hbQM̀:y'0 o%-A4nTV+I }Ri]RTxO!ڤf/J fx55Ȍ71\+;^ڬu_1"P5=%J bp"OȞ(.="6L2pI à%)!T$^w}(C"j>@CTWR#EOZ_T8P{(4+>bLd^H%ůp{Tz>WO%l%BxKirW4ń]lvnF+-P.>)Cik3E`dRɍP }Y4UJJ^N5l%BUReAwX) o+챺#JRՎp7b5{^k!z TUIkʪKRk7f4hx}g\RYRe7XFJ+&|,`ʠZk}j[ҙkq]蜹9*fVMyx*Pli&rp+uG/QuMbʮzǍ=h`=(?"8DSkdx) 'H0,=E?~Enr("yE\2wL}t͇UH6J5oٝM쯊_6vTUbt}%^<> f=ߥfuon Ma\ZCsms)r95b.4-[uﴳwA"=~.:MV O\k.ƲAN1Wf'k4s F8!g%F;D 9rz1걑SEM):#O8xMʊ19ҔзaTޣ7Fmۈ |X+ f/?8n=ޮFq,IϨs1˴6U;tp㶣 .?fRiC06hGGnOh+x'%ZwZkpU9re;xLcU{w;9lkgYӌ܏rne '>J@SP1%hWذHp *Fy}kg"Q`0[,嫮L߃sT=RUz[` 7i{WۿB(4w~PctVTUߠ#.(!.pWӀ mrm8I%R2>j)UK'7!yUEy+.~dme+'tQqc昣Ykeijռkvܵ5_]kjT/ti+)@q(5u똃aV,J}B6{rtۖ+/t7}.)x->/(] YdةznșbsN{v}`KeyZLP\P(^{8k:¿娰 q:/ +̢pB;݄ _d#o '0#Rٟ3_t8/OW~qC+"۰$J-H+-]u#%Sd|l XWʊB@?r |ȶ/n yV$|L|\ÑDc fQ2:{P`Z޻/f,vLi/r $*KOsu-vZw=kb#mnr|lOXBX ~{9^sm˛ݤ))sP bfLKF[\02VQq0[Hǧ>Z4gA 㠤_cmUUXT#q՛|rE*gݹW+L\$E2 6J#U9$ϊT_r*97dh!ĽmʃD'_7b?p)4݊|q[ͺtb7IJ`͹^%lMyJ7> 3̕ Y*̪S6QC~_p9@s&plXxST zBN?my*/C-rU3]UK 84?zϗXGDlQQsЂDZwr)z3v XIDP#b8,k}v`"㉋z(eN_OHB_Bٍhh˪6CL#v8dw+9 ;lJғo {ܗ->^aWH>!BD7F`0h]64B2gm`?4) b{ ݴe3A^3!p J~8wJѰWÞ5}Oa|A;Toְ2U9e fLlP 4zL.j:tAP=k;2ځBN{5/D)$"M"cb,7%8y4m]MC`]+ǯovY 7k|tKgCj>Uvzc, Invc ݆YAfWPI6%x481~9åZs5לUSRC,t ~_SH-y8iR{W9]XyתCkq_i= `b¾IJ{BdZ9 ,JO(<*&Hx)=w(O[8cb5K&y0v6-P]gb9tqy5;]`zh0VHnLtx)*㍕Kg /ZBD_FKBtq'.5s?#@W}7ɀwVJIU4ν6ay]`Qፀ9-PHx w}„dZC冿h}7DXB~JFѬV;PAL3>]MTStItPXjU?_J~$b_J΁[]'NHG12~uY-Un{H{Ϟ< P.@ޜ!WlX`9ikwLњ!]zQH%2mXM >bI{9"M2\R<;GERt7@FZB:LJ=Rjϸ #K"|ct2F@ VjnTP)3@~VCOEZUIv$n!),Cj*XƱ3!'\ȥc4ZnW\6|X 숴h[%m3=(8EU|(?x݂Gu(`Eىw}N5\_kz(kAy,n:V] Чb;m.g6.P_\{z J l@C͙;[@砑~gVwۧZC[⮇Am mD٘\+3Adߠ2"z8d`n*[;>'Zzr\- UUhU( `gYZjUm{7L$Ad u+~=_ͷH>b~FXjc#IUJti h% 7rcTnHK9+c$<_0 2,y8Y ?|e*ϻ&Mz$q DΗ*uGC6xjB3O?X(!aBQ+-6`;nzu*c1-4Ī۴5hHOηһ^XY%@HGdh|Hq_SX әk mZҏ|;UpVk6 Eu:rF vש@—:` ^ $tMX IcԾ] &й#خ>3oD翘) Ib,z~Q98g8ctRozlmtK+W77oͺQP!w4"@Faٳ.Сٖ^rzr4L3nXRKS~|iQ{D86KBlE,M=7gCuo7$`>hp.Cd<(;iG]'1qßji)kp8"MɝJ4[v'JQu\ոS\)sxATE薼EG]Jwgo9 Ȏ%E#;zN1B>{qA/4"~7U]acaH'nNNy^/"amH Ʀ-{q^a¹uJ6.ۆ OKwSfjzVRJLVJL +jkPDuIr,4 MzspxqHҠMՑJ%RH{ȚOU%7[Iun9"XQ=Ui&a{BiZc|^vP)Wnzv&ϸd!(9NY}0ԻJ|.kpm]$;ˋJ; p>mn1kXXOpD#iȞt"|Ӧ.!̝=r S~Qb(mpKhw+/`R`0%WWOPOآ7ʝ{>PIh$-_ _R9q:rsμF{-Eiw("j"܃]?u_}$3oi@⨟Sx uG6ސξ֚h9Uyc&贋6Al&jkm}O=vx:.'f|uVtFAWbSpO §?Y*;jEĻ黃JFT{0GgAg"ۜX bS66_1,;h{V26za@k׍)AGf$C;ԚǛÔ*qɽ֮|%͂D }!K!'%oġYVL%49.cQsp$>gwvt— FΗ U4{ ƛzfV;&Ǘ3V@^x'_;hOlhūSy(3 N٨:~W#,V8HxDod=Iy@B_Hl̃\i!sqr2rshj@hI@[qZWc9E^TU%G_ƯGϼ Q;j;rDnbmIEY<0G} f.Mgn_wz5Feý%UИD UxB6EJA pG {ԆR=ZGco) U2޷5#Aqtǩpi4uPw_h#M{WY cf Ӯ'bPb`:w]|*QIbZȷg?rgyt#M5豷Dr/‡Z2By8$ 8U=jQv,Jȫoo*bIyb:"kpqS]o}%zr(m {)ͽ? v{$|N1DK;v~"rl^|Plؾy@Dg`/ W^7C> jq8t>6θIO=838_ɦXv=.-lcLb!ѯӃKBߊ֋tY,9x2fѰj,5@#&A֑ $#xPEPoDjHl2OPm48ɣ'w-O[4~I5'(y"'5Â-J| `P@Uk$%C~ft렢e@ѹ07Em'M"P˃_nj蓿 cPh߻Ol;K_Kj% x*"KZTq7 읚|s%׌oyMǨWpf݊2p `?H7v؈HD۝п]Otou" mkAN,ˇڈLw/B?L(({ Y"ɅOCjk}M?=8?FuN魤E q5"X\;tkӁ #偩:\w /Tī6+=9 ŒQE;0?KFtx2pz8bDžQj%Xڇ^Z gQLJFeԏ1"6Vdy ސO"¶iP2~|acJ}ڟ2(ܒsD0I)0Z1юTG>o ?AͽշA[}4)=\/D`?ڊ,k<3d*K4V>/*KמgYZ  Xc0/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_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 9]·Iq n[:|&[zܒ2W™3mO`GfْB ݆x@Fq?@bHQϖ8/"_i[e\ӥFgYeL?hh> l"ZGv/%Ƶ17GHymKY'M3ץwN?KG Eׂ4Va) Ö+7P"Rz2[XG6:c6OxmG\'{Q&[@'z2q){kcH~QOKqY g̊ e ʅy&/QϷl)?~J ȌfAu3ZmX `}by1 f ry^2ݹ% }MEm8(`Jκ 7>$jB@ ~NP# /"cN _{xq!2.ebZOXS_Ivm%YunoDVPf/3f8CyPauH^_^Puqf˹^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.ijJ4~9 }ZI+ ;مQősVZ%juե`dT%\ m^ם-Wފ|uX`R>. n*DWr.?0)*jC<NL:9hѷj@~3"F)wK_1uŹ+~X | /$;I?)R/B#x蹕B(:?o!(D 2pEaͩ}%LTfRT$ծM)!C_@)Ž;f8aܐy4mb:zg53n1ȉ@8sߛ $f#6@G߹c>!fAu`jR͛nU sA?/$f1Ơ`7bBP3zz^I /@U_Smcs{--8q6߲V_puGj5JL\TI?( @ vp\7 i!)axN!h QƼ.Z5U~n"mda&ɀLלꝘwaj_wdz`]ketr#犟RZ^ʱwx)=A/f;VFIK!9"cL3nMƾ$r4a܋Dj|ZR=WU@рm~d`W/״ŅNd2I('9Neֆ&"kXӌpdXGxC=o3A ]_7 *^y:RYi-_pt}f)/Խg1ܾ:O f+s֛nSO(d#Dqrf7Į Fɸ?9DIH_<|#otV Ne##Z)*Iye. ~dڌ2;Wn"Z‘$9nj+>յq;ǘ%"|q9U&qEv22)c!)i;ح!ӄs25ԙ/-S5\p.5=B/,wl8hy_"^z,V=[`HtLMBMQw1s+yq܅C1QdNL>a>EZ@[= O(` gF r:;zĀ+XmAc_@a?cd&pI-r_6 <: *IW4<̕F5-z҉82JAB0EKs YA#Z|q73yέ}WCrt^ùi;S2} iXY/ixmVz ETiVU5 xXE\ՎPsy`YfW|&@ѷ)Lߩ2~3x>;{OHM3x5IGI1ySGcWW-#otQ>G=>QR&m*[ړ L~NQ .A:Wn}? ![Xpu3*\ԇ@ ݏ.@:p;/T`bz3 Cf0~r&*)1,GFY-"Գvz0cAnWM#Q>~!{;X#GN M=KfQYA+ 6S\kh~P!Sӷ: 컡z!sS>m R@{=`.XM.,p &8OXbJ u/ulЪy,pL ZSh6TTo%d}MDV NXޛ{Y;,+K>3X?/bǺqo+2+ d~R^غ+\UQ1\R;|G|$I J4lA 3~(]_p厬c(1X)A`fj6xBVGt}jv#;BA)#d-|DBCB~mobb֗ Pr-td#@16&M\/hvj1LWKn -M$CYQ:%dH%x8IjX~Y% d'cBƵ8j1@*1݌]wZL^ҿphn %nxeO;M.f(5nſlқg_ DGt9e\Y76O %uٚPқu=a=[a6#ƌ]1h2q|6ĿM-}8yvbj!9I{UKs%HR^ @^^j ȗIiO"=M ( > Htj 7~r >=<;lzBǺfxUt \##*px|u}^d(7E5s|ˣmǭ;g>.zk9$ɒo:gR~-qLL wNba IC1^2$e`82 sM9DKy&NL78fV^JasT_`A$j/z{q] ),'@8Q%LyjIuK(Gw p;2Pځ ;A|bfו|)Km._95cbIQ{N-ԑWo,گC&(0 bݾѴͺ߲r A P%iX=ܝHODNQ{~hRqR?Lm؃􊸽@72'[A_+r@S;>r6+Nխ7WerA|YQQ CTnSih_wL2Z-Yp?D<ڭ^pQ'꾭fJuIi#'@s.G\t/f[Jz_mu/yS5q^ڏ`0c˷#u]X%)E!X+鎖EMGqB)<" ^\#~U+tG^L%LPkdNQS*1Qx5#hx 4ba#7W=[Th ڥ%Œ dl !@)t^ދOz,+Xш#Ģ}(5; XF3'¸?RteACB4էx/(07+PILÆv-5Q4du])&7 :_$i: h>wf)@u68Tf@Q?ny6O\R۞"أ֢M:B. !dgYZ [1/C# DHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! Z]ˠ)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;rUOPo)- $ p1>j'?h~bظ8=vĐlMܳ w-Dh9۾gKL 2Z5@N5KkCf5}U -b1Rb3ڹ-4y}!_/P3,bVr_Vr%JJ) Jaw&ౌ'sPk7NL/gs S *!k` EOKdւf7ipY}PӯIxV똂^[W{&V'wפdYlJrk]#fd7A1q'qdEPRg%_bce E:y0=i9] ڨ 'fUG*+xu C aù˱JW9!P@zRbQX $mF֚H}9*Ną1 ol4FFH|1G9>]0%U$;ă lGRC<2f\0MyFa1qpyNР"f'&RԮZǟ% * 藂kuLyNL0<6 mlLTt,Q#f[#^,[4Jң1XX@&OPKGOxAfVÇ tw')͝ G[cj$D U#?+H)jE>7m~Xj)ٽn[ZVqУS'CLG ԥ$ߑ>0Cx {y;% ͯ@' A.˩( -fxudy%LTm/un1?~JٯoujbZƍW Opw\.<;sL_&ӊUp|a0uG$G09:܃Nbܦ$#]d/ۖa`ocbXEqh<U#zS)AR!?;]jM#Wvi]A MALwg ʳ0uStE V? huܶhi~2dHK‚lsBͻ$`eq-tPDJk+V3G!0*A AEʺKHm:aPCt;>6 Id:YB< bԒɓGDflHCTO̕o 籕oX N(XOnYel%#E=$q>i:-|y&FoMeҀw/}?gy{{> [[W `HWUew&x+[! |1`N&2a`Y1U:<^;|,\dzdI[4ɼ¢ɓ!ﻠP趻TQRf4!As%}b6riœ׌y6a Jڭ] bF W.-i4Qhx1?Hz=d"K8,HfMuƱk(t$*>h}ZNM`8FY(m[,.5 Q0}V:#Eׇ<'z֝jw̓ JNs*'A_j>JIHmfVx2oe3[H R1 scƞM@;vЅ&?Zn$&5U [;tP"%W[!#P8#x%bd& !U xEGO @}/e|G!d|^y1p~vv nrkB8crMϵ]|wbab;B[^\,DľkaoKɫnmz蔇+D!xl[ʰ]75V"ᵾVyDdQe0`pXvk@>AA0Vacy^s; ފtg@gg3 h!*U 7,l.zh[T f?=_F-罬Z/?]IX XyR/xxh-F){ti.}ĊYﯤx!a3-GO>KxםC&);LQwWIz*&ICծtZc,s $~IŶO"4{ީrDYe<@ئ MdjSum2?8~`<}sܒRU4 ; |d&%i UFMj3t2R]YI2d01}aaR r'd.wGLt4[FIm14Xh[vFj^0 U1GT*YcʦZaH_s$SS .m!Y+لC(k{-X2x~-foEp@u@#7x/~r"}_5, ߿wrX g,Tnum4C$T~wvNڔL/,ʘ)<ݑKQlc5˗Ƙz9C6ST!0}"`K݁9 t(XYgMU 5>ڍeܴE^cDr$-AC;u{Ϟ@?0NF'dc1< EmBk O.v49H!J\ a/QxhOP ,=Wx74^Ȣ㰣nrp4724`"]. t]C Ǘy̪ ~k0gs,;)Α |oW@1j$~繎n=FĂCm3w"z-m~ *f&N* r"M:&D=aM*zɑ3XTqE /ʃm;f `))J#${~iM1VdJҕ |4ɾ!G/'Z}Ī2Ѹ1ERL(Ⅲw Nɿn4IPEݟJ8wlDHDڱgYZ5\++ [Gn/OJ Хf{uc s|$M H7 sBfCE*uÖzAjfoqWZU.L+F4Ys}wzQ[Gji.:Xf'z3zCknϛps6 byet;T6GL;b쮬C=}N~I1yqJbҵ9ԏ!~weQƪ0y#5`ob;ƅaN]L zif]*Ɖ`§nk!nb6e34Pֻ۶{A5 U:v#j\KR^zi(zwI8GQT|omW @i&*)zagFF*k]+^SR:R<24dęX#ǡDFSVr璣U7ot\!rfuf' rs!|L]fr[I'9U!ۃoO~uuTe!Ro OЀ4Z#DC}K,mvjf!eB;C ]?/ڔb hawcaM'ƒ';=^q.E~Gqy#W}\;ȗaTq+~M%2La}?9sDܦQTf{Ae $Hʩ *L*?tӯTu='T [Xn u zz&܏ja2}^^WT`)o*KHuWG[!a0|`;^ڀ{CdOa F0zoZ892-"9E;rf:ênK0pkTp jʦ&N:H<(*'xMM0ƕ\B&r3͏cl7|iMh< 8k!ګ:)Dy&\ϵ ވ?|Xu'dC"ڵPNvs?\Jo!7{^˻ [ay( U1JxEz̲u=+F@Ȧ~+ 7&R*3fPw9ɺ'꩛>DKS&.1|Ƴf OҲoWi?O0^:4pY"V]}LOu'GxwyVǀp۵.VthR|l{"77A kѵZF+^ (ÂC N1B]o#[5d޷P+(E~tN)|7L`~ xFO0lxP0%NSCI[).HyF{I{KS6_1-96-~g,Z<'k XX$%]]cf2wwCSrP|y^߿{<&e&>\]A! 1raEޤ7Ǜh%O0Қg=:b `#3&7)Ü^2bEPWAfz?#݀}sS0h=Zb=cA/c2 F!gCeT8aʄOR$ jg5`J\B嫫] `Uwf\6IhAL#!<5Vq GEca_KXP@I|ns).li>2$mnwτ ԄȌ0nPK/z:ˣ/ًO-4c'F6ڪܘPNqοㅈO{U} A>th^YKmuvn,~=L&y4N83$-wO_ bQw$-/%a}xö딟qفa?pOL2sE0xa\G!T=EC.ԏ T 9[X+ i&/=fg7E1NTf_J𰶹ӕ6S1&o^O҈~DRKFeyD)fjn7XI &(s"IP.0qOY~T*WoR\I<_֐Q?8uh^r#O,H ! 9 BuYYZƅZ6Fm;+&̩Ň\YD0nѸՀʘ h~Wn.ѻGV+ViA> ]|mnCʬShm hH- ZU}Rnּ(rk-$GOJMlz2vITmDrvxP2SZ5'G 0x(Jk`sD80٤f$dMuuOSbd޽ (0y%B)D.;#Hi.RF-H!H6~Ikz&E)\njmHUٟ986i\Z͈z[sWsF1o'ҨMd tȑ0BI ^2B¼Fgfp.]2;XO& /hs -Ojn-g@,[%Z ?Bڿ V&w3skl%/.{)W#n'BJ+Yڒ>A=ܯա7<}dNwjEWV&W-+h ]H=x+`5E6NGJ+o]҇Z8v;ސ ^Ak'UWVm0s>7)ujKV5 Jَ_/&GLy~_x?qP3rHV4_ DӇCnG,@Z: , 9{% +$,ª3#X?pFC1ƀPe}w 2^.<<ĭ:p00gnI0MlMsqOe^Pw Ρ=>̬j?T<`^UViRA<~O(K.y~ylZIė&{ bDE>H^Ρ"/VL磔ȧꫪ ;aOj\%ȯNf:;O4m@oH$+b#EcUG1Q:GODs8V7e}H SKHzYa׷DS༈(SgMz .Y:Eޓ(XN&XeDª4S tdk|ח~/Hڃ`T3gd*V V6-LNK55}L/~Re${Izpد\'--}R9UF>(~pC{f޴)H_e ڽ_0٦=zS1iS9ŁdvLR;yGB__wzѤz  (Q,wūO!U@T^)y W/y|w/ElJ<,y(Q!R|pWv Y !/ZؚeB?:.N1ȁ_/B\`dԭifTÑm@a]#addycH9?d\ x?Jm FpH^;X%4]JŌj_X2=ς*ЇA`:O5|jP;3|x͠ZP7?OIdi'K5p#0=Aj+"?c"y8bicK툣G|LP$|:R%D }0`""EMjIg5^x'RD0z,@&X .#.pVtƦc+qgds),zq9CV5mE\Yhf_Ð#$"i\nV)G7mņ?V^'qfy It7\Y2땐lo~@&熲PvmȡR{#> 1mNN`bm[{dF9w(6˻R;ڧj3َάKZ5f@ʜˋXαe T%XL״=ÁP&H|-%GmuWwʌ>zA*4.p_~,2W, r6aP-EU6q /uҸHOmݴҊ-yBBhaVx8 kQfN;&SiI \Z4KQƠ!Rs }ܒqihBc.D\;-̐3sVз4g~MFg`M΢]q5(b3&#:Y" o[Wbmn&npb#/oe6BxZ?pʿ52a[qۉ RtÎ5{|s4vM>PzReR2BXYKOri,x[|`Ϻ<+HiӏD:6˻5+`EmpcA˨6QY~ w4Ə)onEgQU:=g#}or{TÓ C1U&Z}D=l/5Mj!'׍D%}VWDV!vZqKl9w J;2S9ȡ=A5(j'WxCYI +f&G#|tHUy'LvG 8| $"؈X.1n~O,}82 Aꍞ](|e,n;'SK?X@rܷr~)è%ctF+/X%>,sAyAسxIa60%ve'b-qc/.}Ԩ^Do ssFzBqb/a2eP>lnB Oxfԗl XD!wMZߍ Yh6i _dy嚉.eb_?ARv1~i6NmA4+.hE>ۀ;'69# 4V(/AeB '.-/Vz4? KC!!qNR `ml}-j|$vW'(4R2d0~{PcPH  ̩+c+aNB~=岳*3QT$"Ϥ[>d[(FCC2 #jeu%`U 2+CMN#h وti'~DDzҊV)Twɖa}񄚳ozn@:Va Eʦ9xǔY9)mZ[>L_ RALP|m֪"{Wث;-:|s%iefTne'_w+*.)ωzI}55!&i~uh0x [gWU#5ۖ[ )oeA F,LLֹ{S/+r X@hN9Q*9ߵFg"_75ϧ-$)zHqAd=x;֘tJ]qKiBX7?G)rєa[tM \J|y0li[M?jw"(FKJ4`~vO7.2cŝnyeDfevTυ*Iˡ:KZ 9Xı`7$EX`IA[ul:HpR5?k 1>oA#9sPV6aJnJbrrW4T*4s7xĹKٜ)Oݤ[Rŧyڼ:u繌I*DS+Jݷo0r^22GV~&Ґ ԝ,=_}uQ*KOڐ-=R%4pIwM0媗8ބ[wv3/qOHz$fą %|ÞiƀgKo/ʨ~X1Hua얹wO+5Fgbt8. M+15UbPoA+n8En&D1nfÒQv}saRsɌL95x[M)ĩE@Rvq7Ek/"NN~hX TH>+pٖ`ra҈M6u(^۸Dҷn$}anXO&|gYZ +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 L%Mbfu0˫iמ7W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214F6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! A]Άxʆ5.f-9 rq8L5ݦr+)`y74Cѽ\]Z8_X_-l\#Z.<,G*#j~މehNg" KȎu#u7 }o^JE$ cP*g ׵I,YR.V'HzV=lR&z&d"_4ه̬3 >Sp>dE% ~T->KDįzFz(j?8ݶi%: E[RWjT]MQLa9pL$fU_]\Df1 ~~GDC`x)RʃJSdz*4[MN!kRA\n`]'b\3 K O?nw.%H+xC2&]<<2)sJ@Cᳪ\6ziͰLiFp&`\ڭ7/u `cIQDt*\0.?ڢmvx}P:#0_~{L^*E9nTi3ȗ},\{*{iʲr?PM@TVyse(CQ wAԧk8S Ao4GSgCdenm -F?\_=zD…te򇵪3\( @Ю7G5]A&[vD5"@HJD5(+[KVigيgdgRՕ&{o8E}u% 4%{ujGb|ϥ_g2wsO!Q:gYZ}5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'y]ˠ)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_^q6ZM T?U#aZmؔRF|uw`_e;z™x|v!76@Zt_#b5b{;P^ %is򝌺AC -|9 Dx][h+Jْ&ɀqJy<Ph,aiu䨽7Xܘ!_->(yHw˖S*hUCHELדy]:3h B7:۸&$%F=p``̦ǙmU0G6Պkd=Xg_OE9u.wOն$ `yR:%t/D~/0!t~:];k "b\7L1C!B>̼hx]+MŎ%+ehBĴvnz5# ɄK]p.US¯oyߡhm_w `$^nUwV8Nۂ'7&ҥQ0;ԁ Jl"z }x}{N+bRWKfUG >1˗ˍոt3+"&x9V؋4c5ʰV7ysm-ihwYrb<4ƢǷ٧;Z3tZɮ09/@.|s`+&_^FcTEےV.\(솕q E0mlw?#_FJ 륡x.)pU  kڢ2™J#HWT\% (h=w5bMhO7u  6{u#~OԅPe1/^vnkŮ4E 2Ϝ{WA2ioVɉW"dq,lqv+^ 7^Oti0;>BȳL3uzZ_N)6C&U7a;ns v-Z:ֻ0n #ĖR-ޏA#4 ;HAacf\j(JJHrL{٩90|C|]@{Oj1j Ѕ,ߨy'fWncW9%_rH5;ӟP %ŝ0|%FʛOZ k-PbD`+.`b`ҍ= N.>`#éPeKڄbJR97Kv28PGB\BZcMQљA3v!mY Dc,$n}SZyj=De~mɍir5T?i뀸noccq5wPIWn, QϱXWj{ui-ewET}qrFu1Fo &2Kġ?OTe1[ V !0) 0]8"oW~b6L:ߓLQVXDmar8ӷ3r5w52+Ǯ {*=H=G/.ޘB<*Xp\\8yTԜQVNէ; ?l3.B"z}xʩ;F'G׫\A.;A?/7?XMz!N2ކ|y})#׊c5ۢ2{ڹk[i.Y/>f@! ~ϵl?<3Ѣ$Rގ\fXa%ayVjށ}QKҁz ns\T0!HH;ʩq85aj_j }Ü3>75$uS J#vieEL\kA ]u $#p%cFXsxm@ڭnÛAo!f7IFusD0&'I746*@/CBth&6P+3$}6첿~ݱGJźuؕB:9~?Z`8n$Uj'v eEh yZ!Z&!K8b0^Z>;{BUT\A~,0wګ5_%;]KV{e}=߳@-HZ XTּ2 9~P5el?M0&%֩,vyf,X#7m'/ Mofë)L'KwEP!)"vq:˔;6gkKwDB+RFJCI~H[`D]x^-}|#jU}*Č )߭NX&1ry~jӓl:2-B4%FV9/U!R!p 5װ0Y ""U3*Cg^-Uش>ƷvSCIFzcsOAq}߿ѕ  v~#rܑ, \X2w&$VX]`.zEVBi XK#Girb?Gw6a-iiWF*xdž˅>UAT]i~[FAL^/W4XvRPZ3BR ^Wo,M+`zs1M @y%0u:C[4on`V@3H@nSWKgu,gw L,mXDVyڳ@~,K|`aXm FfED7B`~';miҦri2Q9Gռ VOunqchyI=Fщs 7*pn"jO>NnJB9y9^Ѐq,z;<_ !OHq4pcWX̤-:s4':=B$6,eQx a)^[W.5k }͖:2rz{Nl*C$ʍUaB 29ZqP:̝ X(𜳻DLL2WaK0t/B/X0nE9ux`ZHBb?b.\Dp]$ 3ג3U|i^U9?-ː$b*K [AB>wQvW zpRkq:U!7 jWUÑ;ɳ$B 4՝jvoo`Fm~#_ Wl@ x^OR/ym+eR i'#ey yTx#\H K\委#GH|EM %c&.# .:H>+LsܸeL IҩXBD]%'L0q޳7G!3/_q GYB1bVDt^,%tSLMoXⲐ䱞=T3z١0ty*)}`9; X([v+"J(vhM5no5 >8:Tf/GC\\혹XMM Ygbe]"j@QaɆe2[oZE: B6Hz ;S&6v`hɓzFI\cB"Pq0XV.ÆFVCjO1q *V-9s;Y4'"(l 沢eE +:bi#8({@+'X` \8m3jo㹚/ 0Q.2i[l Óx2ChX*C T@9eW }\PDεL|z`RѷGߙ]VT٘Vt*PtM~ܦZ$0KAuy!7sfg=Y(ELռRNp% `J9ft!GU]uQgW[ɒ8qCJȾd;X[.[46Q{Hx)w"FȀ>vQuZ\qh5Ҝfa^QB{T+J32g *_r%lZw5uϧWa+F&WU줤ѽs +(OZUH,hdn~L"#YK> KMτ?݅we4*PDsŹZխiKX )> 8>@7]Dv]%&tZ/]QėHH7aAtD9)n-+ [7ua@A= VжE3!ϐcNqfCDwzyP%Ά {,%k[SIpܴhng0D@}d*K{ H"QUY]ܲegcvKcLfLNeqɎ]bǝ#_)[R U`w?xRHk󻚖FQ w 3?eY45P]VhDEou#%@ IK<s`Ka^EНWV *gb4@Nc,lku'E!cGx7D?rᦑ:BByP^A^S$;yEbgSuC\Ahxw埉*SS`!ѧIͱ<}Q<}g"vV[?=fo]޿ߊ1E?CBHv +89zJy4*F/ 1DdkX&{ Ƙ59Z *нTDT[g\7# ^#gEhԾTUKLȢRbN꼈" 8nǶyӅNN20)n- 'rɀhص3?!fnm1FH^Z\C~f!O1Jv3IVt'_l\U}vG"#šdKH&ӾRz#͗D]:a,_*#U2Gkɽ26^ ug EYo%CL5gmk91RY"Z?Y8h'U=D_|sEod.DqDD*I$$h<8y~vȄ?QYGZAo4WHdd d(=ۧS>Ɩ^@ `QөJuLJ$a+|]hh'h9ɷ stD2dK͉2bZU,5[ \Xlg&.}t;ƕRChV*/$DZA,t̹H`F~sEq"Pm'QR0J2z ܨQ}1ӛ8[K:WP(ÿ3QkO_Ӏ 'bP{%!D? [ *Zw̪v$,F[Y /@1UA¼rZ싰xTi2ccЯXq늵vߟnoD}ZP$f5Ӹ`֥履I՞򝾻b\2.\cU4Y aR%ȸFx˚vDvL+uc^)fLAOQ; [ #Y-#ЕQ_mhc?]m?oN֍( fz?斕U2QW`Ps/$t 6I U|VFHlD,Y6u%,q45[%Hqpg%znp;V͜Db?Szx&wj /l)6֓&eH$ᷞbD=hZ8D{юF(uOڤdȒ2PV8Pjc_w T+f|hL|>b` =r&g'w__Ԥ|uSv$e$BHD pmm|XZ_=`{b:Ҵ7M׏mI4Y9Ebb!,U< DSF·7A|ZPO޳ k-I(>eu.!aJ%ӓ}}{~_ oνg}#)OROZhZ|le.9T5DKڭS; N717̀)d>46 > i!u'SV ƴzwFi q)G7. K# a2uc]N‡`%*F/>8 bwV?:>ua֞ÇݑƩaBOmi>"cG%} ֯ne1<7_xFxWufNU n@Z3*T:~aF@NȖg `mQ`S i)2 ]Ȑ~Wq2$ 8MpUHZC:XS#A!Bsh'hҝzMWN *掴>=Z5#ՋqEe΍8:KV7 ڼm0db;~_o]Q0C؅gy>%>{<ӫkI&T23sq٠z/[=D=;'YRh3h_dշ,\X7 )l])"Oz\ 5OөGx?x6HM hJXCyj`znW *)lc 2cT1#M;A`Y9,lל(1{ =l&ˆw WS/;v'ns,[ =MvyŠ<j3jdK z|l#蚽k)]\,uOKU_ 俭]Iqب< +Fŧ7O-w5ܡ:ixxgc=a7m)oyˡ[|b2ȿB? |N Jb]*8}lѪlKIOo̠qDpfD_'f1{'Ts%bHN6m]̹ :="չtJru˱ɚhS $> E7ci8-+^^axQ1Ec T %6Fm4"Ď*{*r='μlb5uDE %bcjʛ&oxЦݤ=G#r2^`gwSX"|Q8fztcN=Z`{"z/I佉C:{Ȗ?JFY-ֵ941M`W1(^%L\u]/ⲅ(-Bʠ=A{H3p $g+?i4fKԏbJ},'冽juvi:z8 /!,]K1|"U WG*hb_Y뭢u 鑇{LDIHrdK )?۴t쪕 ٽYD7 >& iQr0h:䡼rSd^нċJ͍OZR5dHleԇR@mcqm" F_`ե["`FFp5AL)} SH wvcOnfL Ѐdfwuc]ּzS1wLd"j9_SY`zgi҇?8N+LM<&8:ghkJ)Jv & MKfiCW ^=qoQu+7\>"d1RˁG9d pr8 [(Yg|_sI6x4#wLƲǿ]nmc>B:G>I] p#܉yoӟB _aC:IꅯdS%63< ,6g3?WlMf-Z= Py=pMܼXs^oiT ` x'LCWal-Yz cl!pOsSU7F\^.6ZM ]"kJ0O5Y€Yv.][Ol~`*4tt^/?˽5ӟ!տAx=ri.=g":z/{S6Q 5d,uD,0,s\%&śiB`p:߰s[Z3w7ym1Pf4)ܺ"XӶLK׀`=!S)뤢۔Ft;Vi%KS>k*ͥ@ãmIDŽaѹVuUPyкR.P_ d'q2 _c!Ue?"rQ24U Q$*,9tBpISNW-Nf5'h_O^krPSɡf4ԏan B| ϻHIW2_U`+)x&{Y5k 5s#&X߂mrS3 3rYkv=-0\kͤѣ5y6Hʬ5KO?uG22{gMYkyWFL놈d8C4>+{6qV#Bkj*/{Ϲ{g'# "uh) 9 'd5Kf7GiK` qr.vc:G蛛XA<騹}V1\ bv($U@eY6/ؕNdžO$ҘXvx3ּ@s߿!JGc4A:T.p~V3SVr5FA%y,ô˨qX1˺o+t_%VE_dx~nPq:t:jҁwy =A 7ͺ={MM]\ڈ(i0E-NwL3weǁg'˭:pӕʓ~7 -`v5ZCGoѽ{j?/D矲=jCZULvIwg*SJ'7J?~G'|)BKeJ5W;tĹc ݢѿ ⭹;h tF;rqS[2ʽ7_0ϨZq:(;#WڌV6z,nB* 2 lޢK ؐw2RWuO޽HK k盁 g{jyi xpcH}]8X2i1eY0Ud0P`toDb4au:P 3)頱:̼v0bs BJfRSyg8 F gXw  0*( 'lIG5zBHu-=t\zٱX9DcC D{H9@6R)naW0<@ij`ğ3 sa%,k3DqxD݌؛rR/!;f$GE%`<>pb,l 'U]֮_IK"RTBb&(3~!iF}I\2CYh-r+xTGwIZVXնNL'<"mǠ&"6L肻H9 ~,*Iw4z+_ηU)&®%)c"_`(pз)%wZqϙ>5˻pK"e>tӏp$;SߦG -g$} M/U;C)$3|֯o8߉Te\]&'TwKu E8b 9E:dZ.@TXvb$,we"$TJ ;dùvuۅȎ#{ډ(7ZM{~ DoZ %eVu[/Iù?8bLWsneɅ%Bѳ3DTQx)Y mT2ך GP&qKIrѥ6[wJNfJ!P^OU0hOemUhuNZ;Xm$ǰZţ4 &-~]icdhPq[PlF3\3Ԓ#K}RԨJCi0bŪ_D$'ƯPG\2xWTN!ۂƇ*Qk~a3r`,2q׍f3MM|9o+D}[5RYqFXH XZ qjwg@a{b-dE{ ݦ \TV!tBT#(S[5b8뻗I!@]_fUQvk ȴd6ܼtU'n8?3O?3gU~wZxOYD7}:8$ዠ?K.ym5+0WMrj%~qG I4YHDha"dH`KW^Lu"A}}تj}+9=~,'5$ `*Si kre""^3Hs<~v b#ꐁX`?ijEh\P/;w 3] o7?7ӭbF\2i0/@ENPb+-hCMTՖX͜@AvHTGŷ _@NJ c5osI];H3}y,TR_b]"/e>m ЬA1s\[oǐ]\HiqD21AfpiYY J6E ͙*eϽĔu4  .{_ҡ2A. t dT%d)t'*?CFCL ?*!x Z~;@نَM׵@^0ueŢ^BΈc]XHOGu)B57b2ě'&@ݮ o VW<2iO$m]ŠdZ_[>e)~F-8|4N=<|3rp2lm_ɦ Mչ3Lv/>[|a,(L+h)) KגVV{[S싣]mRč%ԤI&GH ާb Iz k!(;/A敫̘8"pUa:]z1!jݧ"G<[<`A96gB؄-eҤIJo2rX;O푖=鲫noFDD'y;x>xyo;I TU@N^%Ҩ?RCQ3:6;2I n 44(}F^B54ne|ph5 ѺN4MOs!jqdGW6;Y2o&j-?1sxAVl黸a4k?sX=FZvMEۢ"[]л9O@RۗU賀o8"GvMBKS(锯%yq ajh4|PժBg Rf_@p/zpTP $uJ @_Nz!S$}UAl  |oy/?C. |:zwdKP_| /E# 4HOL-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,7Ln4r(6ULqCǩNq;zV {U?_0گ#۩y+WPB,$sD1ՖJğJq䙙bq"$_tߔe& v8S{f b%ifaBSs:Yكqv%II rNesTY zyg\{^K$YkJg ,=ǵbR;WDK^O1ܺ4αZw)$?Kux~^tEޕ12Y.M"5T:.-'ZIB6$}>sk%䝉u\B%t Fߍ&†w E5j`+)uYvA3lo+ŕV2 ;uu*%c%IB "\=g@[jc%nis?8w2VWFf2+`kQt7=J}PkY* y|iy8*bfZ\+! d_nنjz=<7iGBq-C :in]Ől{_ZmvK'qJn D~كPU@IB*N R0e~?g}*xa+"Y ,׋ҔHxv`x'0;FǑ*",z\@ AfY;HkC)+yqܯJ[^L;ʝ~w[A1ӾP5wYUi *_VĶ+^wk ߂ mI&M4rC^p+I1z4/isR3CK6 ϪKb.U6ܣJ;|[A*b C\XR}a`>a8E B!:5` B >`Xk㕲;hbon+KRu#-7j˗CKBdtP[ m7-J7EnY4dzR/!Z= zeDs4Bw".+BSɇ*\(>)+h耓]v NZ/%c X"RR +,Ȧ7"bӮ l *PQT0 t'W0ޚ!?']旜o6a$`R~ՠ nC+F\'K E 6qN֤^Qi쟥crt[qtέ@c(Uᦍ@t2@ {أ׷=ˠ.z n;aTB2M @EC@K] 95p\4hb5(<"mqwz񁗣mZ8Tg0`$P;"}}5Ooٴ7"ne`^䖈,P@`8[wG Ä1IyU?pMTARN})kl0-^1c/mg;!O$|X4A_ͮkzbx +N}xj'hehS`ŪJH%b]:Js?aJB#Tdl"t՟wPS'`C!0Q3Ksu:x8%0KaG4ThkIygH]t2b$Hҥl7d\}H]ݫ~Ѿ8hS|lZAĄlx "J>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' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! b]D?7 {?:fH\M4mb*^O/D8MfuIJrC"aFQ?#("|ewBx >!:d.  M::u]6-K`.Fl? qŏJ4H״Yt+d{X_b="({j2TuS)+mߺLHN‚hT  7?ܙIVgR%ҁRK"#W[_}{EJH\HlXsp'̇,NG痪9GG}+d6򯽐K,翧Cj h/?Jz#$'HcM\➒ y&Ar?wa%S#豕Ne~tDW"'F+J.g[yMğE9bLf¥5O7C:GЗBUZ7bNQ.L!!'7ݶgº&ҨҢe(8;zQw(&"|ĺw riOK6;|Y{3*$T WH;̝xVljFq w9<(0koxԉ#0đ-Bnm+&d=1!ZX;[8@aKtxnIݨ;ݖD_1sT/ 8RF򖬢y~d&A&5<4?ˋ(wїB(X*6on`EJxoF}I^9K+QCC'~%nyarO wžLi$;{7^[s!SKޓoeMf>#cgYZ %b$ Jn6 } = y >  Zb#i o +7Jb# Z [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 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.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'?eu5=B[Q,ccAL3@ZQDE%Ƹ'׶t2p{BPJm^'f`Q&sgP/LO xkץYra6:Gh:&7n9А(*0~;&|6{s*/Qn ?Vp]@̔=sl UWYfFJ˞Mro*kPGw}EFR\0_ZTPAM;ϝŒUT7MeuCGLZ/4sJXtɑz`fglc:#$o >Kpj5a#r!S5Ww46`G] SbZPXΧG:d`0̇"MƚE fFC0EL٨l3QWT-+[uٞqpO, w'cS5oQj4Sg.?wWqN!(^i>Nݨc?u^}mCݟ[ds?`*%G@{Kd6-`-8I=_yka:ֳ-ioywFQajnjT33E yS]w/ z*ޫ2YdND66xs?w#nmnij*Իz(GIJ !o6vj,*D[BWћΜ V_|7OkB0f^g"@P1Bs1:d@9|НURe Oa@t`f梮(xa}ؑ1jFة)Z ~J"S&Y; G\ֶːYn-WX>_A)r$8<់ix&RW$rw#c7|$Gь]=ʔ3`fWؗY|jO1'rC!v+]Il*#'ɓB Iyf%M2;_f/ DZA bk"X5)BEdsJQiܿ f/q/saAC-J^ jyI*^.y<#(]L.8TPȐ52Wq4D`g\G , kT$& 5h]ADD(~)WN\$WX9 :Y X*Na~JH/DjIs?XA}i|Zn5G/;tC-Zɶ#;y0kٱ8 5Nm} ߬qX*[8.xc# =Ti6}pai2OgnpGHUݓpRUn'I8FoQZ<8ܡX\i߀gN^#HԮmt:a/a96?q݋L*Y`(I.$t|9A€ PO8\cBSOKF ;n㸜ޤi$e$ES-"Ĥ2O Y2x%s,Klq?D3j<~4/Qm.J(dzyr.NΒ D )^ 7G72!@ Q>/S}V= aaB7Dg9, J9dw0JK[j%0wz@G(!5.hI5%)5' J7vjo9{3L&r/̋bŎ*pK9CZ`gX(&R^ϩʚ1;o5X$.O7}[3 1 ]X tlF$b*jȘӒY-0N^bD<ʈ)WF CY9J Sjɪ$349Q0xjekx&AR`,u,nbW$1Ҡ0px@Jy {}]^q\dlv6;)e@m \XtyQ8BA^ }EL6)[|ЧY&}q:mZ} &MU,08._ϔd6\ yi O-|wBVV5K_W* qc}j^o#)Ex{{P/ U;;1@L đWL/4\3iv@bUoyBKh ; _{~0B߹+/z xqA .2*etJ;__"m>HAI0{5FcbŤn`XhNb1G0. 0P<}:K~(4M"gv솩ţ+ulPB$8yt66↔ìÜh98ۦu,A 6˛0ۡNy'$_bpłyۢ^ME" ]𿻾KLծ#$<@/IڧR 7u%]ժǔO&)G"WFq  bS=^t t`*iA\n,<`G', n"lwLKS_A"޶7Ş*B!cЪꀥX1ycm5S!8d_0qW}2Ygc|/ɰ_ )]WB9pgMېmӝyy:5oƕF#{B?ͭA/BIpfr?#((25%X_siNZ;*@\aȋϳQRLl375;r:").0g%M% SNXbCЧ͹) P&AA*AjXӅdRއјu=*| ٍ֘zZGXx~_U+mՠ7FS*ʖZjtVktG><.Gވ _=hq5uЫUp3IN`WL*oYVx8ku9B^}hd|u4Հn%b .)s [) 8=UmHF%aBUվ BeLD> gOgr[l:tI-(512ü*@JP xy0g(5hw.\#x7ʊxQ,2Z;r춗ˠ72ge 4?]}߶C6 6&)t?v,"/٢oPoNRP(hHI5CXC|s<c%B}4C$<$&uNr6K]w<. I$Mrw@f=jf oL?T~LF.?TEBc) _Ivg< yj!eA'/o To6.ʢ&%K7gc4[m}c?CIŗ~`g=r[Zt|d2LbnCZI(b|4AA[LGq[JGq 6pj`h#2I`\"<=y8r'Cϟ1A䥍r\% 6&j -6sjTqe/s^bb2 OJ8f߂ʊ|[0+CƢ##V9'[ u|B4_>@|nzj qr2g'~Fj>~hbT pg+hq>(-3fy=ȓ9;zMd`t\e@'M&"KH`hȕ)ndy\͌ѕM"SSxwS7(|kY#MAWGTD4J\7QwHȷB*"VG7ԚW`z2efw HwSj*hΙxb7b{l҇"Mi8%Yt^UnMz{PLmzZwLZwrhόlfi=Ք1,y]*'\~f! g.WR0yh8dɧ BGXK1q%܋Jz|KA*"w *բjh^nZhl1I|YJ{Ӿ)aFY{n)@ۊZX m#RA!p;\;ӘZ֍s1*B6)bkK=iٰYaR1/UH:@V=7C]vG}G! 7lp[@KfM2t i/}yog0sW'`*je6$w-/ikɋ[{:s>"GÓ\K&c΃pdTҦP+a 8)ӫ>ƥn&b S 0VqR3+9~=z~H0)~51s"4`QmH`@'xU> !FXNrپ}f¹'bajrO12iI'7]Aeƫ!3"Ao|65Wf(q16T7Az͔2rRTm,Dz?OHrL|.' |{O4S`E¨ ܰE7m&@.Ä#EʊCp'ԊDh؞+܇nXp ݪ4e$/qUCCU3D6ԚOٱ5-~"\h h!lE+OO2ŽlHWZҁZK_pdɭf+ܮpY䎣7_ZcD@w !$K |E;~D8O>J1ål|ch>qmOŀU Wi|ԍ`)ؽӷP4D2 5i.{˳Lp^: RȼgLO@XoXs73f%D mԉʓ+$C z-B>,=+1ee7(O5D9>TH`5 Q^@y"wAƶP/_ݐ2+h$ > KfQ@ӯduLaQ(lsNZ`Qo'fY0jU5}E0]Dxˌ CC__ImO7Zp%EֵiR; __6qWclUI)dtZrA}*EouR鑴<:A9PH9~"ouG^ ~hrg3YNZJMN06Ǻ0l>e8GCa2*㓇z {f^CW];ql-x` uqNq|:P}/y1pLZxɤNM()~ZiXO!oDJ$wPe1$˫tC9?#x mRU|x@y~Xm, MJ18G=c?`>o%7Y3bކ뾌[?HɞVTce=oŴ\4nt bnoe$eJ"Dΐ2uj!XKqPS^T1R>/MUNHЩٕ85`RGCmoz9B㓫f,D}ޥ#.uՎ(2h?x 5~ZԺW.u}ݰ;,S_x£q /Ȅ~iuQqMnul1N0Sai; :֖#WH#<,}͜$4Iv\N{p &叽SHC/r9@T榻"h+*JXyUX|Ïw@M@1]=LZZh|) }9䵊EBqKElLĺ^$x2" +ڑ^s{V$JZʰJIZJد{0c< 4>Q Vs zT)΅i+|r&@_ B'Z-c& 6C?qTi4ą3l@?.7tS%)DPL`$ =!)`ikku:|O^Zl (V{nh9l4@K2L`@r?v{)>jd117HD^ŐSꨦQgy*;⊤V'Pemm@wS1*r\nm$_sx5DOgr 1 CA@9!,)$]v3n% jٛYMo;W]a됑tu3@͹'y |o_x5 !$LeD[~jE":$Ύ$@"A݃;t,nQ.IBb'N J`._64ݧC]m ~3| *Q#WB+2U,~fMlOK^4C؄i'.OxUj#{ KFKNz|w&$dG'82 >m7U?!ޚ]ac aL" }Q@5T\g@f'%ʖTycRͺtv2 (DWY(N\4-6sCc4IoGHT"Yv-BOыx XrߗUЕe!h#iUCO/٨&D"%n|+;gmç@F?f*k[FO=u7>HJQHS}:w8Mp$n8QzN7;~)yE ߄ #!)ڍ9ud(d}l!'o&NӲ)o2&%r3Me6[8\Ŕ<4^&y{LoO &I;6,MG¬[vCAo,mSVLv>9x_4 `$8c4bҥQ̔pMD3Utn ]|]U՘}g& {E?> X`8iHj vRң lc\ ٳ@b]ьJwQ,q0߇rZaaN.|"HFŖ|Bɩܴᖄ`/?ko(obra 3q'*O<ytWt1]oSH0[#Ssr"᳧gYZ  ; B /G# HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f)]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB~`e5%Kȫ= 1'o Rp~Xnv_ +R"vlG'>! NU菮FN'EF$F`VLp!ﲿ}ԑXYb1^dE@=ݕUD7̮d=^-1 rRX\\GE2bceO\%v;Bk;m}E)NGZXs*AW$EFA6>!s}5un01BuXNHBI. 1Ү.HE)S0#[*:L:2JrjyZ 9Er2;ůAݳQ(:$l(H˯do$DaI}f"zR 0B3bX! -dI!EmSԖʌv` 4UZlљ˜@ZԲQE*Y‹H a:R.`,ӆxAVBr)[ba&lIq|J[V k;_ ߨqJScX)M"^hlEqJ6 &t4Y/ƻ+*DFӻ y/Za` p_p6[x\ s=  +R19PaSN3VC.FA(D}-GKzqwoQ> dՒ[2-M z\sfѮ)# @msN //aD[ڍZ:5(@biRn"Q!Ռ e(ٞ|T3Hy}b~LI=ut[}XY>G Jm/]ctѩJJL9-}mHX]Lq)_upH xK_P{p/}D퇝cEיKAVboΙ}+Up[츿<ў\t>J_{`? .0 a )@`KdžBF/%5;zJXݿc)GzZeۭF .Vk90 ٧ٮmdnrXT6EWJ^j$UŲ> H<˳FErsz`^9ON@k}+y4]31A=DNj_<؎xJގK J,bZթ %(FգNss߅&KHI9ȥ+ dLPZ +d~'ul 'fZt (nSSH jHހAŕkQMBgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200B?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! ?]·Iq n[:|&[zܒNZEMzQGxTPxFk&8IigM큳8^Sd}4Еρn;m/ R 5S(0 pƁɱ>L˜nSB|7,/0 ,Hma^Rr+u4Gzm.bش@+(-}ȪZ_EUb9]\iepE{*-k4x*'}A ,nƦ˾1CX@@!J=NZ3OꝾ^ﲗ7R‚.h,h^]G07Mv?ԖolX;5^2+O\n̮+O`h77i͉ۊTa\z;(<<kr"J !+~&ͼg, 46ׯtAwev c…?q=ڡ,5a/-YaohKLjʈUgB(|GKC/uݗgr@$ȩkۖkٲGVN웅LSRgYZCto/s#7 L/b8}y\*>;fZuc;.F d2`N;m&ttۗ W {;n(fђ*.t‹Ӄiv:mܞH 08&oaH wU|0.)0G6Kz7,= -2e1K3T#ϭȸX"Op#kQX=YHr0~Mk"|y!5]G鰤 9+/@7hpi[i$#BR G%#RmW85 4OR9hğD<(i|ܴ[Xp(-y1R;4o a!o; DCQJޡt41#Y)B'21VB?6%1uwNm$^ogO3]lȏi-=/S5$DoP !6T<’n;tZJdwxm1+C#{!Q%U|FHe{3lŴ.<_Ŏ]{ *vw+1\JuH[% H[N:elƥN1,Cm.(5'dO//ikgZb W^KMO$5{4TНD7B1M0xB\}i/;ާ Ҧ #"4al((2k̻ :i_&d+ĺ8`Qu:zdK4[AVRާ)&Pw~qР'c7#H鿋t#.ud'rj8j(K1°q`ulV S[rwL5 ,o A;?DqY[e2]ZuyX܀ g]w!hڅf)H٥/nH(8W//\qBcܠQ[HaL}L!AVwoņrI?}IgƼyyTVfN5s 6UέsLFG>$|@NOЕw5 _( J)x^dױO8FfUw$Q_L>'C S/R8crw5XtH/ٓL3FºoljY,ծ`̰7W{{ F^-C?li"dPr 5Mo j.f FaZ?Gqp>}>Yd#{swő ) 6kg@*&朐6OiTe7 +v\cy8^(z NV5(*A*]$u69""vkַNϙxFMT,U8.fk5J/a*r3.VQaCpFu* 2Sy6/jW@ SOhvkDp$ڙP 徰UU4a|J[LD~pm< 4 )hLj@o"2SI^>cji(BԔc S6,8]0^A$ mE–.ς==\^YLz,WtxsŴ-KH${K-?9A 4TKxTNo6*rTO,C{2:ֹ&h$|_ 5)$n|>pH-|}(;i~i-),—7:$ g']:M1B akU#-쌩@ڟvka^d5)%#dqP ?UuxՏQ)oEyu2j43@(\`{$`{k٦XC*%wi.uBXb\w},#pf8smrADj.CM'94$3K/`0az JŁBY B{ E6G xZK<.?ӋgVME|fa oul}RHCk'^z(Q͍QyG>b5&o{qsvSaVXR6+F]I#qRLIArko1],iEEZճe IIp7ӿSvkiS,vOx#}rdŝoZʵ1Z*#;!NiEho CFdP /Ǘ 5`^V+o\zKX۴mT'e&y^|fNZL.-IB^V`rn;Mp٨7yd5U~7-ˌaWü#7T']r}4 ݨ>y]s'@91(|ڵx'<AGՁ -Я,-7i9~yZ^H'Uֻ\o6$>ͮN.O޹ƈ[~J9!ӃsNy_wˍJQeڡdܠZ^0%eg  !N:ţ3H>IQ$NxVM y< _eю |0ݡ1i-GdGPP ,%^t'T*#C{ q[q)aZyyM mWRHc)Oph3wl|ل˵^b;-o[ AW;&I Ft$9=VMu\l" `eecOO,Js{${@$R-=_"t `<~(ԁ^{f+*@;9-V I @܁GbM,9﫣j"kRa= DBm>)=gΑ*#`6y~qNl@]sa8y QzULLgN{xE zi6Űj:nDoSY۱]ȵh{>?p SQz >ۜL-E!ٴ"=Y[Oa!s|VI 1M$TO^*Ӵ5u7f̺o /hreVQ|MBN߅@ڦav/ C ۦX=%i=NL$LYd]=Z,yTR; _T"oxXHpZoz7:!{ U~cth@ 'hTfd\5 ;ϋmesҕ QU&40c`% XkL "6kD,_-<) }Z!R!6]vp:h#җҕ&8б Ce?4e0bRe%?j dTp,aq%^GF]jeʐ|,ܯ|c#8%a࿑d亹oh.<ZLɨ$/VJ?#J iҰ[}$NA ,h>q{ӣ^MH8>5B^ce C#yJ۰"y^qLmO9Y-FʻuRK cnGhk8 K.8+uWqx@ߍ=UG"3AHʪ gG_990{56E(q(RSRū1s)?~1yj %tX&5EP0YqH5&hXЋnm"=<Ix"R[%/ xSk k~;k B.y᝙YЧ /4֫ܨgëX?Pc]>_茓`x\AFx۠a,Y:fDglZcшM{:Bv cBcOnnuE55cTo?ek4}rK-?Ep̅v0"Jw'ᗅ*@ǚ  پpwYfaD_0CN9/lt0+7o,Rխ߃S7IK1/烆=80~ڏ %&Lk]\Vfm nէ`{W0͔^g ǂ!ww^"~q;B: 2IiѬts㊌aGt<W #a"9^lQN9ǭ-q3}&ϣo5_z`\8fCu'_h~7 ''ѹ“Cw X^+e:KFD)Z˳-dx${]5)F!V$["tiܤ:hdm |]akZ`~IfSLO#yCY RgE@]S@wgqw d&Cb2.8s#-H)"aʈʥF ꐼH@3po*[֒{FU*_RUx0dncwIf5x)JvBA@f*wEȅ<5F٣}ڠ-R4g38ECOU4o;lsڭ^n|nڇjPucDţn:خ]S51DA;;b}|p8 & u5$]Q4wמ(:/>l$?C TAh[ lL55RLl(+3Z%\Dx쵅MnˑQ2ys#79˖Y&w7^oG/.g0Pekquf}C `3QEOw BR{\i_.tAytgJ*t&=_{̺x 0Ͳ v$ƺ4$M'рB1nbTz/0c3}pmZVafV}%6L(0reڐ:~'K'=1ghB"^hX?Am㹵bPn!`g=ìlyɰӏj,N&yޗ 7)l!#n!d:ư7zeZҬ+:"B-_"]OvՁŲ> hi)aANU}Rd2gYZ   j\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW=-' BdQ̦WqY3 _Pjo_Mo:sA/u/N$X(N"Q@=͔yxV,ϥoH]m +ACɬȈpÓt=ʭ> :"#d*Sw=M3F3DKk{?ϛ[0)on[&֜,ջ5ҍ,e=qDS}@.yY֋ȅHbPJBd*?#PWУ xn?нe#.h3医sc&uj|)ex$-C"{Ji8.G Hig4WNq9H{5*R})洫z>G\4IXZ|3à. t7TÍcRɴ'u4I[HaCV4U#n7ڕD٦: ,Qۙݧطm7:Ojm[=Vf{W͂mM3ࢠ$dT ,0|J< AӤN'DK$JMq:UoETu xC|U+'֝2\Ln_|d |Ot"is||Z L݄ƤpTtPVat %{PVa!3iNVj2lj0IZnF: xz?~>z'U8[ cPd ? Wfv6D$+c1uQO/d!ߌɆldҌ 禔MhM>%!s&daW aȧџvho%elq!;V&@I/2@mSrbͲ"z]:_aLή}(`NHfQ\Ed Lm35O4T(Ps9-^/rZ̈́=`w|Pd 0%Gq4l}Yy:ZK;C3.T! ڑ~씊]l+#qC=vή4-<#u0u xS,KDl lҭOw/6̉p~Y! [:H}|`L(OC*d)" E$Rу}zN#&x7Wpփ{D[c . rK/YjϼݥB\AҶJ ־]'m^$, uEW{Y%HOd-&/RЃ0Tq 6 Nm@gdRIœ|ͼS4 ZIQ  EeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w^]Άxʆ5.f-9 rq8L19m۰+LlOXPS 9`~0Cp 1A,*/ԃ= $ѸTXN$ٿRleVXCs U>;sQV:6+^TZc#@OjƳHSGavjTieǟ: Ew}Y`Wg98f) A; ׏׎ZgD֙TrS"F⡸neF3h1Ere$БONlN[JK rVvo7IIF { :wGDH-zBA*txQ'gTL>wOSu, YggG_hM5uHcJSSLORUEbdTW_g_2&I1L(1F琦VF_?8oyȇ(C\$Œ^{,Gⶾl ]j 5dF#ohwڡ=? TJq$]%yb~ cYBhƁ9}u D+]8zN\V'vj`EN! Y&ҹgn !%eΨ]ԝ^mfڇf,c6̘*.B8 Ǻzl #WcmZ!geFMMe Zta`ȽG `Ts"&ř֌)?Mk`0C̉RY\k :ea=~]cL>AWkPK#u5ni^ ޠtҰт5@JmҤ Q*}7$;$;=a`,^c l^|['C1/lV{>M ˒ +P"Wᓃ|3~D pdrh|ùtx9/h? ^%d@)X޿)X4-(Wz@mT.L>t։ȑ&=H?ט_$$|Dpj0na`wn3s!ޠ^S䰉ώclcJ IvIz҇  M{rO˳43E fR4YBv`Fhe; j)n"ÝaXؚtZ6v2[.DK {/")Xl=7۝S~NtCևv7`z5՜QQ;w$"Fjd ;1Q`O)d]h<@:ӮgE-^q;A upg)_- q`,2J x`wI/1# `GyLՋļ;(xWRA lL\)!>^pc.>޺oR//aWYWX)5OA&\R*w,N:&,Z;,sMuiix>9cؚebrx~k(J>]t́XxaS2% FM[9(:OB)X> !`H]Bԭ8Yݩi)RW fRuX=S7>  W=JB p^Y+Jeĉ1IH5){1O a @p[r=}W˼ş5ϽڪbB0}6ϵDv8/323i hb؟.oHgn-DMw9mA<^h"fWy ;5*;Wo,i¿Up?U5Rγbt{hEEЊ %.vk(#}C͎Hix!qK6,)^yV2ED8_}iK -6(\S92Tc5Diml1,,օgOrZ O^o!^TXc1r¥ -SԽ^EJO 0L{ K1C7JQ-vjWk"hGƋ3]FNV rK h`gGpj֔Z!ᨮfWn~ 8jSVCDݒ Ws .s!I0 zGW7咏& Qb-@"I^Hnuc#V9f҂VXg>*&K1 H `Qt*`A]QO0&@oNɱɵ `gއA9$.L5ƽ=*^^>3!L' | SN yE`8eM?b9IjnOG$e-*3Ҷ8b%b$҈7Ԣ" @s )6 9KZV >=k,m$qC*|&I1eɿ82Zf/O@͹j.?,> 93b3ť r++B S4LG)jzaBj ]]q!j^!r@)ͪ[Py%=sz *+r]\{͖"U.E!M=~6 n(<[[!Mkb4qr,EM|2:'JD~萳lfft%/0y1=&qƼ σ=ra +|xǧy$s4|1qh 6&dg\Nªbf<]E'pھLX)ލ:?wQ@ z-r6sO?ѲW!CgnC%* E(Y' /,C<tSA8??d9ݎ'Q-|E ₐv6V,VjJwɁ,Ɗ PT5Sv!-^j ACphwہ-"fldv\ZHC}B:~GѓYBG 'p I/;[c:urX,*:Y-*dMuOұ?Ĭ!2fJ}vglb8Eu,lD qc2ҹ/zʎQ)S8TdZ@^Z>ǃ[Ln~Pܜ+4F͎+d8=^nY4"K,% J7 EeJNUfUDaDpDu˘%2J%r3KF+f[h3,/=085V7,$(71 FW,0M> Fp\O{TAD;ft*ΪϏ3ev2qɆgW=|+Hv6]o|y>G=cV.E+)w C1xY}lerאNf+g7XK%e[k:VKCb#P&;$B2FOEs|byE_xXXyeHwTDr-sCQ9qpZ)SڤL|#T}m5&a"m!\hYr|B5_!Rt3. NP?OKi/PM$VS{-;K>2dN4ʅ J '~k'*TQO$rKL(M3t5ѪpF{lEgO{Inz[q](82a_GX[@=ihᙀt+v#?-^ƫ+@8/rKBaB\{Cm!!v۝ E*w'O@>ԘO`9Gad0 ZZi޽7U?j͚"EkgofdRDܫ,3}] t^~S_Lf޷s|Р ]ikr-2$ 9V @˄Fke@rAr6oŖZ#uVtݼs7P ]5%v̹049Ch m6N&6704ۗ hD=eH~H.G"HY)pT dPo e^-Cyd4TU5̕ݽ C˸G2`f|9XCC%rL'vЭKwe=&;h-!;gmUAމK1 gfH;KE *ݷwؔ&"!/+<8m0xjFnu.Q`QЩ QaNߨ,kj; /Ioo.f6:/Jf?|W'x1cjC| :_{eS }9QBpRLPVȳݖ=$7R5(+a~ǞQB QEg]شq '0 H<֡nQqOsa(oiu*i#gj@rOŔT(b ʵk{dZgx:*+gHzn6}_%$̑mފ܉, w͍3P  y i߿5j3.GVNCV];ٻr=Π}aXE^( l(%T qZ9͉4Vy&#T_ˠ۸yʯ*XP1U R.4o NH4(pW0hN_o2T7}({Qq}IOF瞎8b313᥸:Js԰r.X.R[lPMrJr?=  TBC[pmd{F~#O` ؐHw@٪q.NK2vg8Eh.fyG"[GfE"V %7$+kgON= <+F¶q0ij~˪d(gUT_l^Pi]Snٚ}{Ffd 튳$>ӡǁDvW+d`~dt=ز: ~w$o4ѨCͫAQGcR 'F!;%~ņ!G f TIHLuF9*ԡ1N=^dc;L>\q:902# kw?\9 a{۝/#_?t=zwílJ5CuxO[u:9$=R w@ZIe |! 5[҂#׮5t2!b wݙML۱ƭ#?3Uci aRW $pK"e@0[A=&GH%c?ۗdG).ȸC7_I8Bй2ܿ9І8Eto#Hׄ,Xp{ބۅ!Kn\*umeRDbxݞeo;DeQtVycǺtj"pK= :VҜxņ^U>Z%n!2.a}ru[ɒ^޿&sàbKgߧXZh0tLTl~T^ErUǹU:S/˶եJ֬1Xچ *}y,!DC=`PըjdY)S*)Ab"Th7lL*4o+2$ŌMACO| 3r6F)io30Q9LjQ\mKW5΃jK[D} `IoV)jܴonO 3 ѽr.7v^knfjꙋi+QZȊ@BH7sNvQzjf8响$d=/mUTC:fd» yi'a-bQ0fõ:t:CK^~mG$/R{|ՆP,t5B?eVDřvؗmJr1Bg_<Ј5UVZe@eq r["T`u' i@3!ڤTX[ *KP˙w;^:'ѯmnJ0=+v^5JCc2Dm4VNez'`3kYE߿P YX񗒱VDTQgZy/ ܍8yRTE_1Vu|3<3,B|l< 9567TR $0Txf$41OX~2xp^饥@UI)2!DC3׭daŸjJ˟ >1p\iIo;"F"V_&E)^NH"ۃ?mRw֊ v)7Qv7c-X̦J[qve'0RY6P mK7$@Sd|̳ٙqcLju3pz|~?5m,~}EȐ;/UK(pȆMbΡw2Hʽ^1l]Icx%vmR 3>. WU3,m/ b}j4v 1>;V.5Pwcn/dlXjm&o-H)E˚u֘ނJOY1If|V"Nդc|}Zc!ͶLK ^t' u D|l*}ʧm G?W׻X_?(I<ZCWhB]dU=!|=bC^.HqxfA<'H4pfːA^"EˀC[Q@T~^\FwuDzs`_4@uA#!6&O!Gw8+>fhr iF͆w.Jk3ʆ76# KƫN;| P-짧cˉaF28)K3B]t6,.>AxW8;ZZ1hף|#1 #S8p SzGKK >^h hn˺{k艪9lPa8=8u?G;Rs&֖d \elAi.Z]/9IUG=eu9/ߴq}'fZuulU+7= onXK$]D 8Eȃ֏QY DѴ=|B{n~=_ `݌ȍ`z :#"eVZՍ1"*+QJ[+9:R]FyjhW>$ؚ0pȪl{Zh1+'o3rl dҧ^έC_At &y'2na"cCp#E`€(-~F^WiYC >*qз‰(J$υIZ<9$v%'g0MFQ3ts^ԓؔ8XQ{FX&z`IИ~(gAɆ $Fs(LU SlLx׬ Q(*69bټ4 tTp?]jD1BrhiKݑes.='{+-wP ȃO~i>>IuY"h^fJAxGZ?6ϮB?=iэun=,Po!03QqeUp[VgzF-w`F¼fSgߊI`<ÅM~2`?NWز/F*A3M, ϲ;Vi`\{/ºIxJ6P.u:Oʃiז}.7׷.JEAlgj#f0j9 f&þ磿r@_YWbuXB8V&-z>*ħ`K?V5\FV~XSazlnUM kw}x=`%6-tBa]۽_sJbpf'G{^)кzWЭh`G/cPq? A֦y:"z :*E6ffsY wJ5[ym+bٜ;o4E!M\3H=ˬW[QB].tY?)Wc9-rLA(C '0anrwJ @[üQ63QuKclB-_ s@}:#Uzv ‚z:髻( кCi!ibm&n(xbF Chop^6s\ڐȄG곻2xHTm7b7# u-"`2ezRr-zѥ#0 nvJ2IN^Ɯkr<ÛmXԺ,\ǰ3Nk N<H&YN Ef5]V)- әQR_C|d7! { ޯa"ѵQQ|}Nk Y( >u莝e*+t^}><0/mjvbN/ι;B=v!1{zYkAp8~ ؑ|7'"{8w~EGٴͯxH#rT[!d)69zeRj ]wdznbXtޯ-dbrZhF~%tc՜WĜ U[qWQU< HVD=NFZMSTmƓOu"0f͹rܲIі<`|:6fKOCy"t6Mg$E'H|}:O7P\frDQ+B}@$*9~ς5zk *SK{>;΁Y,lPōhǮ r= )G L%b7LL^Hk%%VMFK9{CA}E4@)03Ds -׆WԋY2,7'm+pfF;ȉ.;D3>/LtJNɗmĢ"C|3ċ*w_3~ԋъD|nٮA[]8dŋ4{rcS9AVepI`%1!2p"1< Ks\E\yLtb^$14 L2gA\ap]-Xi,Ok sxrЮjLY*/w]ƛ"( Pl|?nH\ߪWSrfB6gXlܑ0wq[5?ܘ#Vk1OZ]OK]2~$` b R| zV$@Ho14)"]FF{ρZ8;Z5>(w屇mδѦzf*̋T&j%QiQduauím8VB dt|ꌠ'[ܤul:ʧ|5R2퉙< } wAnr&9`k<6'-x!pKMa^VA@ c݅?~PP2(xKo`ʚ.Hv5:piVw R,s0 untIJ LPߝ7)l(׼ٖD4_TI "<5 R&ent 苚8n.5 !2@AK^Ӧ'2Sj̰`6YzDL(1ᗒ GR~(Ȓݼ 1z8S%8y-dz܊9P肑oQAE<٫yVXED9%׍ 0ﵱgYZ09085ca554af1bffe430b58e431cfaf4508efe48273806c095935afc4dbdd0f3af3457e74b254003 d988b0103a239a0f863f7d8a75879bb826522897