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 /v,DD ]/ HOL-Proofs-Lambda:threads=6elapsed=99.322cpu=117.752gc=5.7967zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2ovnP[AՁP |ǘj'Y[\#GQUA+ewvtu+V0aljG8 R`{Qe lOTTA5jub0qdһ,R3cT3&"NQ!YыP9ql  ^V!l$s5'N}9Td4D)4X/ ׃z(UvKBV94o7.y<ӛ׺E"8Ma] V+ݛ;eE<1BFL;|XkeUx+zp0CF@ľ&x`߾,=ĥƪ+2yFQlj Q 2c|OcasJ)y*(:2m`cϢ2Z< `9 L,iv $v\C ReಾOX;TY!{ýIT:mt^PFCd@j*|èZ+||^IY+,Бa 7#obAɓ9o-y{ Y[7fY1z ~[#X k bt.D2,[hW?+&hv7_-PŠwԺֶ/܆+;OYF av|Hrmh<0Χ1\Gڧ$w7ٵ}[ݫxM%@DWHCu=q% +bդ- Խȓ©f%?w\Jss"*PѮ$Oo3wKnK=W&7m>e{wf5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6 } = y > i o + JJ :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 </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raHYP^=݇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 {{/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 SS* /OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>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: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, ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-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 P_Pg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! }]D?7 {?:fH\HFu_.7oӃQ[̣V288 UzߋnMy%$.z: vX )yrcPNjzIu1x_W[ P)0<` ڮUd wܳՍĕ\BI~]ՍMB~)v$b=J1Io" U>lCWi`xPR̂)f wMZkHJ ȯ\M(2,Z!Iԫ^Ž[GVrq07wviNWNIcz$]t'498Oӯ VfTOP{na3n̼GhQe)TJpbt<2[^W/ Q.=uedB ,`ա] | D\PyPPW.f&rA*UlNcWU˲}O7sŤSQ|{R0W #=Iu_iCkMI @)<7ZzxZqXʧ﫣6^v]/=!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\7yQiIsT!9[f-'Cd >PJÏKKZ5D{*S?de_ 0"O36c,:a.x XVV;t {"M 2Y44#cqhk=vZ+ʯ*&h꫍Sl_Ė2Ph\ԱfIҹ N5+:H4 )ޓn1<&W7J԰iDm.zӄΩžBTԝ*~gˏS,b@0@v/ DnDKv_I"!#Ehi|EInqu@/"EWUm\ >c13 ֜x>ҥGc!X|Eum='C]&WI"j ]TR2 9m[%SA3wnfo5@1G5Wr +dBCL+kCS`Ϲs\Ǹ&yS2:<JV+C[=>> Fs'dۇH%D:!k{,Pzn>ۣ|Rbe,sAF*uq8Nuw6mR]2dYkD,o<˂? i;XMZ we%d4=q}v d]K`:JeʆVn hNӉavyLcؐzyHK~0`Pi}}?񋅮C!LZ'=9}?1W"2*?M >_}ȘH?9M \J%A,*9 d)[Zׇo`7r< %dZ&=!EQ ~*Qfc"T#0˶+A1Gt6s]NxBYt '}2tbAٳ0uPVa/r͕l4zÑKkJ~a [Qgj~eRvHŧ7oTL@#MZ O%+dXs-NiY)7 ;kj];F$%P5Yʥz2ܖt:qVOb m[7`z3n+MJa{& YQ:eV/W{֨{xn9y zO~Q(>.Ę&DX,|7}sӂ'#.IvM{W2[ftMQ YmCCکMn;f4+׵8-,KZ>1 7O -{-bInmB>i$3[F߻tؑ^4ѵg yRD{hAr^ `B 16/YPv3* @5BcϛN;' dLJV,lƘD "vOƎ=AH.54|I2Ȭca~\WoqtUGbDUO0V}-n /yߚb.1{3wVq cׇ`)6>0 *"UE;vZ'`?GqAO#|0/FJg_ P#'e?M6Df|:.EPt%BUA'o"c6Z=(oUzeyuawB ?1²>iqY^G?i;gx.Fv O6x[Gظ ISRir>"$'k`?k8W6q\.A"Ǭx-V)ōnԐ5!SIA06 fm尿yv%+0Z $S- ^}Ъa8-Nel^~1J㮚5EyQ $Gߒ.zqخL^sK!yPеVHZhcZ8;)3N@IKoW"k}9/m.N}ϝ)O yН _:+ <Ǿ㕠[Aé&u07ĕcB& -Yg+q8uGKVk!szf[jl<:E} ++ ʧ5?v0R*^<:QkA{\qTmiJ[>OZR EB*Vj_0(~ \9x%ڵ&ɣIaSmNYNr2<{soói_V2 9; I|ܲ(>]~o6I۶uZ*MVIoh;愈&ǧ*T"7 =ͭl5~"k);#W>*]{VZ#7e V(Z5fR p#y~eَj 4p F'T]:n8*S+x;SIX:D\q v~zzWпC*4/n-#!V۔EƽȯbOO~9WL?U|P胒<6[S Ҹp17GWJdWj9Z oԂ͉dQZ:fSd֍ķ7eq.suU;~JOҍ!Poo,X^TtF`6۠)%3n"9hߖJs0BƩ_'>ĵӎ~d^(MbHEoG.\=^/` (3_QZa;E>NRnoz\Cqayw/i!mB4zaxm%Y`.E))/ ?OqqX \?uc&~2Y2qEUk+1E}'ǭے2wCʢ{dvW0L>iLJ\[bsw mݗ @t5uՊg Eՠ HC̊&FT r+Rhovg496di5̏-+ Jgs8%Lő3KQh4ʜ~ʉ!XT_D[OؗqS=1gzАLj-Ӏzy;,m;B2oKNY7;ϴ(ez{ 0Ȏ,#NZOnm즫cp϶~xG6BJGC{ C_si`*c*Dz9|e:~y9eqc .8DB:.fY2MSvPmG'C<ԃ$oP%PsX|~>Vt})Z2jF{\֦ reGeQܰkxDH[H/I 'jOm&Wފ}bNY}Kj_3mݘQw&j- Ǝz~F1TI_.Dl,vr`9JrQ.o?ǝ\F}(׈ lm) \^1a>iNyA)#aT7 _%o(B8xNwYv6ҴAfk~aS%2 ~"#M2u]4w;2\:;L[P}?s#N)^hsN/VWneo:BVIYMy]ֱ՝Z͢lkG `%7=y!4 !:@ui<4\p?s+) y5ElnPiFCk>1 g[* Ǝ7U4'N|7W2u-^<֛/\'|B4c3(6#^]1}#FМHj |攬# Gܽ;p!3:Z0)h~WIr ~=W0lw+tʼnL?T6#d!56P㜹+ G0X"-aNaA\qdP@ժrB8̩+wdŝ̊At/!BU%/i9Tstq5=DQ I+3odpMB߽"HcDG)Ɗ傸}<Gg-Y$ۥuWZKdYV3, %a]I:2<'C}dV,ՆWo 3Mږ\e;G?c;c:WMd,Kxh]M28twtdQ7Sk!% y DGz/hB}Uu[9h8!i"\wXGFx5ۇҏfddsY͕SaW_7 /bv&!NOQnL(wYDԺ)wn?n .]++uqDj'`;ɆaP(LU U~1'I}I18EKҖx+_ve*Y9/wACm,PNsl,xڨӸQS)-+BBPg9Q?};qxOFB`JmD~&T|@:Ƿ'"Ό3vYD|G2-Q1mͬRwn(UF]7v%Y{uM4-ǀ[rlO mw`n` {YE,#K}`v#{G4pKuVk<@ܟ SCf< e z 䀷I% 葊=.291f핳P@i _.]0 <&'3em/3siLv "@S&\ Es/[:. L>fFBqT`df%)B!Cy'H.5]\ĕGZi+hccHhŏ/TM)a!DiNOaRx&Fkَ7nߡB0u7?h^ӑ(-r?dˉ= 8GqݻȆHئVqByNNWC}QG_f2f6i\bq1tC0"ߗ,qPci~Uvgb6wSQ<pk$K:4${+=4ZNnHaӁiH.kDt9mXC03ߗ<m+:s/NO[fed"D۶SI'm[o`^(zkDa&ww-W X/! 敛ͺxBtT(yGHcrUӚ[&`}Ff5HAy.)T[Ioٍ]߱|#hx}&U7驑Ri5PrD/z\1:+k0\➨Q=7BC%G=gYZD3qL{U#J<)p<Dg?E#>8lF&jJ*DaQ-{ l{m#IkFSF঑FeuQ54T*͔O~r6DCVYbbg[AD t57NӠTxٱ\=新4&; m236mofHrBM˗Ilш-xƪ(sV¨p_6?Yz~Fu^aTip+˅~.ï(+}.4-,ڈ)GfPzYՂ%qjIl'5?gڐ4е sx!# S Ǧ$-JLE_Ok@T(@JKڋ:"cӠB>sj'o&dzn?Hg-@ ~0֌@u^EjOP\j)5>YNz&wֺ]r[g>߼@ }79i`#]b--\NzN!/3InK_AoS:"K ݃]ԶqL+;,[FP4Ϗp@Vc[;wEOxQZz5AZo:]/sU܆%*zJ;)/BS[`JTx-VO* F >}νgEL8Dmk G|s ITy"^ ? TC TS&$JzWԊn!BA鬩6op1NGy.AhpCecYdA¬r}4&ՙS\5r$!_~>e "8c̾AذVIW#i5:/_Vd d{ #\dɨD|ɟ֚ДЫV(cpsE-*RXѰ\d;`VBz'cZ2 /ƌ"/_{_ǐkw r$s¤\I)d/N+n(_ivGPJeV74zS ` >}_)Oi~L ;wPARi|+H<&Gtŀ4hdr`i*\0NC(j)L`&sIbTxJW&*fIPn"4=a- uE `厧Bh‰Vu"jjPP(aP2m>`bt\JZga!dDj87xZ.#y铕~xlRi3$2oc*<KWE^K 2 $3i7^BiD9PbjSϜK8_ʨ !֜bRejo2E`*adPAڐ ]x#C/-)vMMp'd Y7)(Ώp FKXk ;q#ߢ/K\^ᅠ_ W&fhf3hJ6 2lF}/+ΦL}aA\Sq7k6ަ`zpY;, [΋%}-M`Z[ XV~ e6Z-XB9n?T ډؤv*,Üsu* t׳`kSPEMu/ucA9LH!s=9}94d+{FgKfWnG FjʠS2?]L~$Sg3Z^g4 %]~Uo/.t( k?I/&ά [||qג!Hf[FwUX94\dZn8,AohhLJD_&Ξ׽/ػ VW*>iV&D`_=W17TOu$Eq ݖ,Y |ފ3 Ag>XX2|'yvR,8gDZ68XV GGȂ!jgSW6iMQ5X| hҸV&C1VmgiXމT_?d`py\9F>޵6RfԳ+Fxh)[YB/ItRٷ0apR>r$E &8t_n1Q~3ZbEIA:B1Y U%?(۟29_{i`:8ebBĀ 8 f_n`<:-3Tcy!ǢJ_֎$+8$H+;KI["p]-^35w5k.>[؞<ܘCW x7A9*8h=WݓЌ2W震 j,F_X6!v==bC޹W0ae8aGZ((~ j(bZTٯԓN{wKLJ<6*n귅p ѵ@޹;XE&;a:ȇҠ"迏K-n'ZJa^^؋M.%^?{(KIhTQ-]~p8,WS v$߇= 4G^)PoJ(J⮜Eh3UCe~ːvNdiyӢ\F#h"'譟yyN\uDrpuc>/錉-H%<$dl.K/y.#\Apha+(;M:wNo?"NCuO0ۙD22B҃臇>SVqwU7wn+o{YEdi}wlqk"uH8 Kt.x:jgcx.Xt +QͷgdE"d<6ݶ6H2/SYGC/0i*`ܚ <&!fczsLOܭ#!*K,J&etR#So(wq]$+5r`/9f 7}Y|{ʰk]\c~9QTWw:7|;G섯Ԍ!}-RES<|=Dxd;:ƞxь˅, ݲ鉪9RYNKJuJ*<5CꋼfZ u?7PhU+MYR  Q$>RFΐ:;w;bN#H0QzaHBG**[=mUC/hc܃V t#JH;ԉ"s57Iգv\' Hk7%$q 1H v oO-0d (5HNi`>u 43S ǔ+V -IǫpAWiJq+Ǩ,-*>R穻d+UJMdGCkDL@@.~wK:IOhې/~,y9W+-KbgYZ {:{o/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'z"dYzG @-"{eWlh3a)K&b.U3b`Y]\˻NohTݍ3Ɓ>8@uW|~S<ز@2ff28&]v~~̍m6 T]=%%U ?<y:{ p"d &*r7Wđ\MMZw_D16B_di6FZC!~J4C\B!AA;mRM?;_:r6 H%$jWtTݕ᱊]S2 FS!ZUBi&b95Dͦ:o4  Y}oӛ7G~7lչMm)uOB̙ UQv4PgYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <x]ˠ)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هېHG ʧ8 Uz\te %+<'7~ c¢TV,xr2o^: ȫ3$U wXܤXo0˓ՌS$ _Q ; #rq#vp@!H87^rL=x4A] Ɍbvo/7ja-\7YBb$q-xڷۖ5Uq88Oo =3ZKyvۢ!.x?{N·k ׼b]29<1뫏+^?4C"7 /Ӳ@6V {lHf,چEaf"&٠Q$E905i/G&#I)ϙmViQdMpS"w/ߝ_A{$7e|I-f] LYzJ{LZvr-_⁡F 9YQ%0(/,DT6F`w ;!/qee~[ps1׼^?RW?LHgf -gj&| ܋fzx'fd),xj˺dh :&&Ĕ7<dƟ P#P* R-dD}oC>[ڋ-P ?#`ʠsFXZḨJ{, pw$QHs4%~ 9J3,glHbLyU_Ll -& ߡ`4t|3Ƶ;ȨvߪiZ|[bW?6"9АKQ?튭J/Ϙ1qNQθ:#('F&ڱ {HM06s2 N++K=2*OR\+u4nh!_Y0BD߁X\Pco+La)r,A'nOr/&P9V f|`@ &[C{, ?"9 <s$k:|ҥcb=$RLu}EC'uB_| ;ax$(' =ʎfaæ? eq?PʔJ-/ <f:YnLXHZ bG < oP,c͈[6.6-⢑'E$UXwp09I<!h.xe5]ʞ: 2n҆_"v?{G>O  e2}l3Кy0&)Jh'uSt6*] u'uxD9~*w/Y;]]i ׽&$58/`F@Y mZrƗ%z_]\B IQj%|ǸmqH*-B *gk*ئ2|6'5@K1Jf`pŠ@s 0H)Sj@P3#zԍI2cB#:qoI,;]V:ՆFrsm $jHX}/-9I1T8$gPD _dwϸsݳhmghݩӍ-Ϝ>k DZ%T [V FɿMh`r5*6=_v?Oh\j]Zv^T|*Z>!>gM  N㭤g 1,BwĺlNc% Ĺ𵁧-n2Yl6?1 cE$# qȐ>z 5ȟ| fAuSZG@{ g >aH-/OEeN{u3]msp𾥤mw,øY:ë}Me!!)H3޼q%'mwiȪN_e>1 06C}3!0-a'M֍?T<џ^3択y!Or^i)DK|gspw^D8`,cbtYgcyۻCi;OuփDlٮʋu SҫԽǑ86=êv7ZrLI3B*uk` ʮ8iO._NLm$~~jGq QsѤ@hvu8h)}wv[ T)bƏ|pG|i١-xڭI 0@^[bwjH:hL餁vˑS~ai EVx;b%*;*zÅU{?0Fڠ!r|ҷƫ i0ɂGǎaW ="Nj.3D /v* &鼰pGBUt]}가# \ (X֨ !G+kzP:LBΟw_AW ݲ2)nnvϯq[i.$AUwa~^pvMas:ؙ8Sr[HЇY\% 0 $Wj%gQM:r)͚שf [,ovQRl]3|?a9>.݃N-11LBlTil)i@ꘉl.nL;-% jjxp$ϹTO,!uߕdG):iCuW?p/tQ5W1!ujQJQ="Hb>Ӑֽɦ`/,c!Ex= ѱa+Xt6XzHZ=J PL _ij429UQRsvPIMARzkmca5nc8XO!5#^p@Vx:k=kme􇙬*o~||H( eIU|ۚA)V8\>V;_DWdy''ɭ<9MiุB5^!=Oh4 =W@ikL2('T:V&G׼±+ma6%Ut#|IɞQN,k+2B"xV8#.<0Lfn+I6* I5l"3(Jə/N09D8G4= @:ʡdWU/eXݷzXkط^Dlvm .e4fqQHE(ѿ~Fo\1._LۅCSƙJ;baS%T\P{EHo;צ-$~`v[%Kz8h/cUƘ@4I;"[X $ fD}Cke=H͌"džSτV/g@_'d}h|uCǰQ6U]}CWCEg M%G9̥i YXsOT1m)n.YݽUy>mi z醻E ~F;%2g# 탴;[v^D{4g4*` a9L կcf ~7362‡[DsxkB-ܿ(Q'\(LWUOϘuE0s-0 _>IH`v1jgbtU%8W6(`?4Ʉ gYZ |.R /O# $HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AJ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqDO̔ !꩙%_|ZunC?8`ޙ}f.h{6I!K҂m<nj=Ql5/OYOEgp2L2u)K׈l'P#JhUVD0.,XQf t PSg!* 2~ h/TgsY"ұy~d~Э vT!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220y/O# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3-7x`FWJu2ZYic oƖ஧)7j%/EHj뺆Dz `Ix)6 g*)~Mkx;e왰92yN.VŴSM*|a#wTdS7:>qc]ⰊVAklVF]PQ#![u^t'v<D]i\K~V(&p9˕C|ϢNn[IǒVp_GIcsq* k|) 7R(,rrK9j?:gR$ A[ n$?gAm9(3ՂL%8Gȼb)cR@|QArTmⰗkbfI%Y!xGXM㍚B7ٛڂES6־p\Jo7Y9cCҶ_Ko>#,!qYoJsʼn;|-ba^S[qMuw,BO[G? Uz4u0XXxJ5{Pn􉧗dVI_-ѢSLn#H2gbD{*f5 ݥ8`R9 |m~1_lU%ݙal(>kmr=o,q5а=hn$8~} (goq T>lrbC܌{d5tu4A ubm\l"p;2ΘP@U5h.2/Np*1a@i͚/B94;o:iKNF$&69@uReي q@=FT 1_@QgD%X=<9\ k&uoF1+XD?EDB>lcbB?TyBmy`6f/xkL谼E\{vbES@C&|\46:{fIA}iowEQFI*aVI4O=WOR; q_W؟VNc<]0\M:`Pkd;~-#8pߋ|(R %#Dz#߈+rÓz' '|ȹqcHp4 #hw-D^~:V Y!wH0otٱ>\ܪ6[2471xK L!>g?< O9!S$Sc@c+%8]3:0W!&  h'.²%:dcdjlhi`aUMp= vNU;|X@왕Rb 뭫xL]: -5d`3s"ޖ,I~B*)@(U]v&@bHTר&Dhy.sq-1uWQɃ]^5oFה9':2 na/LsI0l~vש%jجS2 s?>Z<+VQ_6 gG5) M)zfk &y4b7-E Kd/V[cKȮxZvY&};@+IDLj} j9b/N/HP?AU z>]:Q9p|cƀU<}u;zps\ZO>}s ,z :审FSG4`!JxۋnZzf4=!Hd:/f2М" _*l%{v"9xnVnWgg [לRs`p6ռvK?/\J%8n XȨ:#<Е7L;{$9[LXXPzR5?+~h<ݡ;:>o \3}&~$G-qMd՛^9óև ҎƏ,A6y}![#TvD n6(BѫNܞbۄUŶn.vU׫:63p'kQ/D{ڦ!5 ((#["[Zlk)XżgJCb7B_A r 鋨`0+6uQRFÇ4q,nӣr8-QX$32{ꣾ)mRK[fM3w~uDZ`ϔ}G7Z}ih%$VB8o Osi&3Nd_GRn]%̎KO3 T\S>=K`4I“ryD@nJOubq1u_ιt&j5gBr\b]z紙[6 WkqɰG7 Tu:x2Ͼ_%q^ɧSd n$JQeo]juٌ8=e|mOjm|q7Жh#mK =zfY^-Nf X+u_墼 -+AZ6ܧkꄪ{rr&e^+()i+!xj :>y@t܋?Z[91 Ujx63f˦.]`kw`#3m" ?z;d ^ta5dž+N9Z3ci̊/\W˥Yy-oKȟw}6SlHy4c.`Np,4=m-ߨFe-RsWw&Y6|.$of]4tla͟rgHK.]̴u0 +ئҁb!o ~vTc/6s^G'7X,`s3G5wX3[FDK87nFG< eQN\sUY|x=tsrR/]*1cbY_~O|'ENP0_Pj@k2p;8/N w{3tti|넺v 5hDoɄ0&]4&7Aokb!暴{.)-4:[F]tb3IΙ8XrƮhbO`ZR~ u9Q?r >.bkiXR  υ(&(2vEff&^47Dk9>74z0n>>E*ӳ4):h358xM"][ӎ1?dTn6e1VZ72î+}5_֑YK&Aٺ GDqtȌY%Bl}$*#?$"ω4:/:b<xơΐk KÌSH4޷֟ qx8θ"ύðvuχ>{T 딕zW'I4jhF(k p"Zb+gxrҁbae Hh ~qZ*!BibX;Q|籗h~bc+NvNzs9N 6v覕jНiAt`2%ғP0\- l&W$*{#8|[kgL:/VYFۦ;JM6 N4ޚaؼ`&Ukkk$̷@grVJr1%>\ @r~!gn`!dsO@>H;>R6@zu"zԈ?!xG̼-;u䯯Z$0Ґ>vÃ|ZId h6P[#0+)'di+z^ ^uG,Klz!%ZfAad @GR6&j1!iQ+% u~xЃw5ۘqMG,^"@tl8 '6/&k1 rDvC]щɋ ȥLv_P9īa3JXI"RCnǃaIR!IcWk|aS7DK Dϟ@ye%j~WZPVRv=wepem &GX.tE~l xF,@ON -[;cUZ`E&ß-q& V"|exӣDK.Rn,E'bL2qT ܋%R.Fg:la.t[O[ T>$2}q]d-^0\H~xsoչ@<0L07{GZl1b{p]j)7*7I[םSȱ'dЮ6b{L`$xճNQGy؁4VNԀ0=>GO{w9_J>ԕv޲灣N[] q37JgDqb Dxs)e/uE1(w@`x^SDrP}wWN Y^=Ӹd"j6-~z;ξj0"Zs(A2p 2y3Bۓt Oka:T7UuȬ"#PŲ̀xD G^.'+6{K簾hVr +}KbK};|dWKgۖ#`H;Ră np$"7v+ӗ\GWN$Yt&,RVj.f CA,Dl%$ԮKkY NTڥAn8zXWL"**tUI? {S*$:ʼfl STZ_#ѡ%#t=5;C $v?[KXxV}u[iKZnwLKt$oWs݌NPj k˙L#2l7mkˀaMT'h5,if|&r相8c*$ ݚ/Td/ f]W["pFzi ]3|{L NjT- F JD1+kq!C`_V]ӞJ٢J3aS]F@Eh{ъ&]:'Bͷ4 StIy`ygAz6':R ;` 5i(/ye(z9Gʡb q!qhI 3*B&H.V;q>[N0s=B4Mt6Kvv& :{tllh۝|Z8:uOiH,XI cPd2bUqרdQ^17N#o,W]Q~Xl9J: Ě _зJ-Q9sK_g|귒>ʸb(Ky)\gGʖˁpq KéJxVDuA #e1[wO.v7㥌;\YV"v T"MF \Lr&A έ۾к@x!?gSF5Ac ͦT ^vmX1қd_Koy:Oh ,ɃJMe/@Ss?&{pJ&)kg%crʄDr?Mz^@|3?ޚiD3nAfѠ1dfR! '~cD/GP}q)xSWaԔ!#|]#دAnA o7&9h1|`b `u0t_M,6> q5Sc~'`=;`p.Ac\s,4sCC,jlSap!]zN=Kʽ4=^gDB$i(PoL"Dw6HtMk {LNd1"twJ eSuOu5gBHx lFE)×;,."FgSly:بYy5 N[?_ٲ<:CM7 @jT4)wp9'oΚSkY/PB]s`|Pv/p0. 9oL!w|N"ũ5o&0#>MϠn&y2tI"`-]>ˑ`I[r3n_*{clCMx5/K92uDrI{:\ǜK5otp|Mk_Ӱ΍A^ >|qHy!Ef"Ln?xiy *l<%Qo#rY(5Pm jBLWD,_@Ce@ #{ P B[v䬂Vȕ]kGVZ>Uo'Xyq[Z_8qZ`gpT!ĄUaN>_F 9Nu3 \}Z}@=(c')3)] u BICUJ)ύ GDpC/.(z=yTEpr]s9*WJ bNڇ-mc .lsz.?sN~y*RgsO1qʣ=xr: #0XLus]>w3TVQ:%8&Зb#y * <#*:.*i]4FZ{.m7{/Yezh|U/&%Ta3Z`@JqcES26 @zc|+0Z{y\$&YNًuv_nR2cms% u4 ڞ [R2MaZq 6ҁՐU`}$giH+ȥ25tAC!;Aʝь.(Aͩ ~V?bH^h;i~ۃiZ-(yG? Ҿl%)p _e"076_N~(UXN0Ds P' V,sZ{@@Cd|[]aP O{GC1g<@c@/84ILnc2ĻQ|p/yذ >=8hdJؒU4e,rWu/&0Mcz^!aN=K>w-πc <Ĝ1p_|k'5Vqi+Hև:_X'f!Շ1-|ĝ$ÊI/B* tHv&C۾$~ZDdQkx~Irx.ȭOg ?))Mq2@0]]U>8ڝOX3oߙ}um˾$s&cOLOp?-TٱqrcIRXtD* 'Ќmd3jvcʔlejbbj莢^Q:q zUDF43i2p$`˃u~!OB)F'A͹0Viz7wfGL@ľ-7ēeǬlIR'L[kAyQQ)lH6A<VOP.䠚Թkȇ?f ǟMRxZ~eCA90dx0ϞuH)&jŮMLPi!KR.Amtĕ!p2GUbGQM=Cՙ]|C凪nb7e{ҭ3FbMG󂮃sO!zH":Öy}p c-pT>3wgUqJryE kA  Ì:~VzޛEV;A~rՄ 8ݏݻ# [C`Nje3|^Kɠ8#j,f |Ճ*=)IE?|—QP*$z@ZLuP:#:78v 铁C溱bb$3*` t&rƼqB1 c#5<"OyUs& F2w"k2N7`7\Vw[:~›dy(]E{)sIm.uco0& ͳ)fY`E;eITc ^djRWHQ;Ӥ4Q:[w Zc'^ bA5g2@Dpstxe?K:jΤ0ZlMCv[wz5;%N=}@# 3gfD?} UNHP/BBkW~^cWL]ʐH_31Y+ wS5|NeUOAóMa(\<-M ԓWĖDeh/(40w O26< stN@D_3ut?2skq4z=ӘnEV5M.0ygzI@µrnb00V 1ܭ<\5TiS-X}{kþ C6'Ay/o/zg Q6Gk2ؙQMg9uUzӘ a5{?{ }o*G^Ys^4HMr!˕: }jFPzP;Xf5.w#cѝHK攗-isPU@6Ł1_'?,92fON7}-ON1&&DJ)Q}/sAWn!5iDm`Rwۥ*k!?j`_CH$sy7E G`m:$bZQa4Fq;x:>XݞyM/5 cF2§ Y5?a_`Fj(8 ۔3W6ؐV{&iܱ Z@GjK_}qF*k W%GJX>#tr}wC]i\ T-m"4c̒K#?RDռPo[Wu.WӰE|{Y Nx48p_݁6Bvy!̗Cй4y ސWDı`ǥg[MgSo-~13ރ0P)RCoy"Y0~=P \?VB9G! ejgQ>Ь4(sb%<ɨr^O !A6\K/m}2`%77K5K% y GM"#ߍ.XJmhL֭# 0tq5>F;(FFs53P:LĘm89KOccL ʗu*c3tgu,/ϓD6΀(tgPOE!"V q=QU9J)VJRѳ,|Բc"W#vMRoZ efh6t3ܼUۥmcQJbN_ pM;F{'>М&Ǘ&t?>s\Gƒ8ʷ3 6UgI܁\.J^`(Ҵӭ9L5x 8 9dbs Od 'y<)%}fO$Ґ08 /yupNwI%R^X l &m1\%")U\rbvke"ưŢbMPx)Yg$4k4I&7߼pE Q~C3>>V99W N%rѭmwnAh1!cc|.~60d[!/n,$,n^?F QEA&yDf9+D "Ξ ȑyhq` ,`Q!(/ctWes1dcMI~vJ”(:t~j>#d#P#ġ{P޾z>U+``~= xqY^hxI͕ c[% hz>O+fu79xUdM\tps`+ 6K ̑v87cc rgJb +ƍ.)AmA]O #$.u}]) T#1fZFh$84F?N ; /˕PʃDxIg+ u(j5DJ_[U+S84ʰx6GXݲ-V*ǡJ6z嘫\~ӅPfT,MjI2+bV,sy H$7r~\oz%?"Z)yraJ9x$z2 9VsmoވЎC0.$T^LueVK(pt$a6Imayڌ/_]bR+bG!5}%O\vt \G_vxJC,ӇM%H;!#{^Ωf9[ܡC5I[ +a:6J9n6l8Dm)o ~^8f>U~c*s#QL>y+wYcY3s;Bq;*"\<2ʙp@ֿ"R]F%p@v98f#`̬ \Al~S+GNpMs<5f3`5)OQk*W^%'F>y#d] &) X]L Id,FlKWDPѓI zPJ"ute jfVl*L?zxPS+Jn 3ap>0Fٝ &| &AIpEQ8G6ddȻbC=R4W_")r b]fiJe[z1-(r$-a% (9P&@oDKtvBy Uh;Yoe?XR.1Fa'B &-UR?NC >; zS\8:^̵̧oϧh VtyAٖlQ Xo=,' x$(dmg'43 @챣LFS97etgࢫpsͰRuX.1W~ Hf/ݸ]娫27.;c +'@&BЛpU|I _F_IKO'xܡq.0mPTM8Sh,]CpH gf ӛW gڍ!Ct#Tɢ4Gcqe LwrLWE15;tj@8mjhW~BwjL o%U9lpey\ӓ}v) ̇2I3o!;Mub͗2C I{npe"{A5,Wo:UL)O$Nd}ΧU_ ea=_(G+Cj\.b|˶KG=}Rjr;;zkK03޼ݨi02+/ޅU="G wq.!$nXwe dxevS<.kZFus);r|i=w'L^CEHIhó%9Od[Xk JU'݁AZBXb.r4ukN9=$5ŀ#5mPo Tk8u;1A)]9hrrRF" ('6h0/V e$&*h~*هk:jN~0^yc6/Nh5hoR{9PC_~0VpIDpT7cXdK2Xtpf|~>T8FXdiF]>1l n5S⸫3;Gv}Mt :B. a Zƾx_O/-_@9b[/#䁌ZmP Qa',Wb:\*b$yzu5Ec8!"%YTӸЗ†5 y ڨM0Cf=S$=APw Ws| OX% Ts7~ʓdWU߲.kW? M!NF-.#}\pblZNcy2Kړåvq@]1\}*3N:DC:%ȳiF1(eȨӸJ}PҹAg3hQwJꩠMhLC|U=xM8l P5E;#0.,`S9 WAE-0xcg)xC3tAi̞$*d Xs'FCVc~(\5gack?`tҦzJp~iIUêbq~7$$Ʌj[{1*LbxnQ7c5ԬTQ.) Ჵl\}T%[W3F}Y=Ӕ ))L vo*r$H0wuOh%!,W@~$>ahZ`ncuGNک Isꁆ"RKN&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'md"|9җ6%ƌR Z(]$Se|"3+:"J"^]ӃPG4lԵv6-0i$ #$V$B:q0@:(uYp3̅Ui#>&.q&Xdw,7Fb*]}%X DEI6N@9(htu9Wo4_$&tf7.Wd&JgXSշJ#ހaـekhjY E;n͋hi=Y=qGg)B1.yV$)jLMبEL$×W$VlPbTe >>&,ue_>Uڝ hCՃ-5Qq:k tnF/BWsGʹ/`-\K#^Z"L]_odU|EY_dHttKϭ7APĠ 7}] yFa-1Oc#š2 ܯ\SAPݱY w1_\-jq7%CeQW~h)=r$t߁DedShȔ+~SY%ō; g3 'INΦEkZ_ !;|xD`{`{KUBMֳQg=;l #.48tL6EgYZ'{Zø@(Mtk~F*?|Y!;y^P&찒c*;w|8D=)avmmN"Wk[HOz3'!4$*$iemиv6bS(Ky 1[ϣD. ߊU!3>n< o$c G,T̉`[SS.jyJpuh x|E wVovveR7 VS*cE=OJ.5ˈVdrh!gw{[k1B eBa|f Jz*_.@!*hc^ØzO*w P$ad5T5kʋ㕒65t%Xxҟ<=o}l _bmi(Kt2g9%X<|6c\W2t. 1i7}4-oOx;0vIp2(EIocJ ha]<Zr*L1 ^0UWc7^eØpZx!o8#Svp.(3;К?WHC_z>xX(]+ralE F155m(W=ڝMN.0ƊdF/$G`Srۯ Lv#_I:g5b7mtbn|WYXF)9)7_?`#YcMo"V1IJHߧP,C@@A^TP}~vFNj76A.lu6h IJJPHϚA1TmDD <o t0:8E_04 /[T|cn89";jݎTTPjf!Qq'qO*F9܉6,6 I+*0|HzQh1N̉c kkX$}c[=2LmƐ"\35$__ǔ6U†A J7Tq[X7:J 5hgu2zQ>BO 7 A[sE|kgN%E)y0li_tim#MCxqo MjUbpW>J kQ!άx&rk |mmM!Wp 3"d+ |Юt9("W p"7wFbƉ pDzf? ҾLX{lmLw 3l^Um_RTl{NMtݩ!zHtyŶdԙv   IU(-W-Ўi 68sg+p".L߼/H'G;j(m;ʅqnuO>'_a)h 1n蝹 ,-R<̒J^ 0}6H!['6eO-mmCmef/CF;E*iM ]B_jk"Yo<9"`' nB1sH%9ҕbۅV,`=88&#Uv2l\39c0٬Ur g}} ).QhB|KHs4V.ծ X|2S-)r_ٯ0tbr\cl =^SbCЩ Zv ]? ϊӹ QޗYyF%d@8RfJZ5'uF5&E-MTx *C¸4SKD/1t.O?1;-{gנɜ]ezjUT?BҊ"[ubBK]i}׼J|,XVa[ؑ(xC\*{ײCt >3xd\I|f6ZdasMr96_zt(f+'ߢKJ{{=+L6$%ϸ>$!*qKncU h8Q/&YbgvjJNpl'T>((?p)0pK[ܙ W}0>zcn%cv: wҕ8ԭnIp#˰9JNn?y;>ұq䑆ӷ8?{l3 jЉ PH5w3nE/{ӧߡ ;"E%K6b&Ҧ!ə(B 3 I64-Y-0!M`ya5q @ 9nYIE4<G.vqKf%h ć:Mֺ^׹Sc~w7Xכ^ɛs~oje.D*thZ(ekPFq~&>&K{K5=4g}=|dbR$e;aܛٯl;WV4h>fRk|h Ż` %z cR?,>84\y$A_Zo®HقU\PmnqMTĞJ`\!'AI^I+)r p)ߜ`*y֠'X~zDp5T<-+iئ&v !VWY}='n= 24 "zѱί#2)ج]PnJ5AfvAZlm*regǢ;n'_r]K5bÄKL@{XY@} ka! H.,]R6 ֖Y"cxb)(G)qڞg:jtYXF⭞`g`j񦸚LygCbUE{; QX+.Q7$~TBTP}| Y"K횟 Ǔ@vH^U&+ MrLQ_񛪁Q*%r .2yJ`;⻤ܼT$Y.i*ԓ£K˸n{6YkFGl@|u+g+aV>d~yM!elP}L6bmlh^BҩWʬ?D3{ߖ`Qq<}ḿ?k둚/]E(V50yXcb(Qjtpƍ홿/PH?iN%Yg[#wr :u(Mr!]UPhgTQ^!"~nj#r1Mx@-F>ug޻Qɶ|Y}) 4L}mT"K9.rX<9ZpBἊ@ f"@lsMXYN*yYZR2uI'C0kP8Ǒy2 g5Շooj-O:J^Q<^ksJ^iah"__Ġv&]CL-aVxbɩfXPH^gu^eRwȨ=q֝|]_}/] ͪ{^Y!bk]}(*1R0(.=6( җ/>Tr`c_Mr_i%I+Y4 ѓꓞ6M; <&;HV'lg Р&$>eܩċZ̤VHI vЅ*Ӵ7/ZjCQ[*#3/gc\5/ s95^g'5Xe,`_ ;Mh%kWXͫ}lF mۊ+ VkG[qg*u\H?=ڙzz[; kZ ~O(!WqCι]ʔnsZ 77 L&Ř' Hⳣ5Ԟ2TƪBV/c B.ׄ=٢lwn^;&z6х!6hܙtE^f&^K\*JYa˾SG',ib] ]ICؾbK*F-kud\ f!Rr "p}wOMp>>"+Bkc Ms[z:]W쪒ކE1T4] ӳ>)$ .h/(V|5eq{ bv@c}wp zc.%_L j9/ lU]BjXH+=ON.-ȝsru҄@LљbnY4C`Ny~ (aoԢ()Pk̕B4z߷ v)Vܮ(?rH['ZR{oO-ƗPA!w4~3ޙE<kX'/ۃ.\;K JI`A5?r%rw# ΄|~yH Vyl@@clxҝNXQDZY×sS{qphD7FX&z/X7%(oەF{`hTQGۑR9oksҍ| &``C7<`뗄N!#KŕoeQfEvdQa'IWӗ62=`cawZ'3BBVT:͇\cbSǟLcdeņ}x8=;iʘo1ϒWDimP W7M˲@y~<,Y[@/x' z|hamϾ[O Djzb  }.pFYҊV8Q=O=aO{UVLe ?)+ {NTQZA&u~JtF$@{]%mR*$ڬӲ&h0뾏xҨ+SL|NEG^0N,ё7S ҿME'+w3g}rͅ {ä$2bZ-kǛ&C.J 찡Nfx/c\v]7iJ1+W[uQㅖ.ZOIb*/$fE 7d'&=RK㢘EޥkSЁ%Xd+cuwG;r6O {gnG(Q(;ݤV w"X+26rtIG) xS+@ls! mͩ}(9WSɸID?SЫ+J!m&JV0p^ :*{( (|H>|Iv;+D%˸/喭]vER*ʢqZȖbrZ+ɦ&ș.F: >-SH\S}.Ĕ}у){ B2 ~i C~'Ise L4_04 W˹ѕrv;R]&}v9{ VS˓)U  '˙FBe ɄiEK'Uֲp@AL⥠U?Q'dRfNoIf;'jg:1YV!+?p : oUL[ JTmH,%87&׻kwȰPaٞjeAs;J &3?!qBHlvfIw.Ȩjd&2ΒAi. ֊caBUk籟:Ҧ 1 mA,3*ñ{,=7pN%9ްچEÅ`:?]}|7MaDu Tp~<se% j9ͅyQ-)̊$ @_Q ?Haĝ7jk hؓ>- άaqYA5%ĘT t!O>.\U6: sCam!R~!H8kka)\/8{nڲ7VVzM>`K؀rK:V:9=ݒ4+IvkN4O2*md!חeC6%@Mmo[uNd\.xQ{S0Ce! NK~Uya8 NmL/Ï$r~#,DJ8wZz~2I6I]nvK;i yFQےJ$p [JѸyXhQ ]y6Ѡ;d] ?h`\Υ$R{/Q 􏇔l>瑐 Qr, ~'w+>n1e'D XNƢUmY܌](ܮGF3ҳԳ&+Gr&2gR5յG]Ō0VQ׸)pc0aB ½*BPS=Bxc0K|o X$y8xT)ge |-SR}u\@ X6T~ Yei|x-yGmwu O9mee/;|YkZ"6%D ': `YiV#U2WH)ǀLfЖu| Yz/}?MTT~&XxNطy"S~6&mszfCp8nϾzzH>UV3^۫ۋ7 Q}dSӮcT+Gm˞XQ|p<)cuk=Z[07q8j3y% 5f^Qp>}cn S;&ᒙs2*y! Oz&$ (\R-ؑxl>Q#= 3&7kA\wE^5IkÑEUG㯧_,BʹrĨmч+wL=R}(r}mk?j1++TdS5ԁvYKT%T67贰UqjOW8Y-@Yֈn;4(7 f8:,ZSONi q)n+\VriPՓ1&J7n u \ia%ytjAْP~x =DbE ؗ,f0  _SD-4} ;HVhpwij *Gcd:oBUXhME%'mB5uqH-[Nr'/oF$? a]Mx~¢ q92G N^Ü %6x${|2NJ\@&~y|׉ E2g{F}a`bfUsW?qqwu$F$Wh3=gu]t_s.ERqoYÌߡOU{P,LBh=>Y x RKwe7Р%_8/Uv >A76/Ԕ’)V.fxxG9 jM~  @b<fŐ7jA]eiN 8:{lӕ=bfhd EtK Mߤq6pMv乎,b^ -TM,N@!pӤ_^< oru>KC\mk)֝Y1L<ީ jd{"s.I Plf5HGH 9ݠOv^~ză>NJ WiB;pkx|GdR(y56U$$wC>_)Y o]v9WB63nVN{j%N\c&Iž|Ì2g+S?841E#TeS񥋵Κ 2?NܶNK8^3^b;hGgn[g.$yR]:|r%K!׋+=U1ݷIb=x,˘]2YhWxApvMxC1 ={N(Z2`.;O(ഡ~$S ҚOʴd:Y@N9#0d a:%N;j;߬x O;R0 r.F, {l4ḍB͐Y>덒$:6R>l4.j+qz]Vfƺiŏ!,ixZg)~&5؇:*pyx"s4Ǔing+2se'|wG"EyC &k6 rnothJjj_euD- I17W8Oj])1_q*i p}w)m wZXpy,?ˈ3#s V6]g[ؿ B"Q]-)u=W<1ӔumZHnAٟ4*? mP0T=f% 8LNSַ.Ӆ-ɜ4&ɰrӋ V(n` e PX8Er<t҃ ,ޣ\hK`R{ŒUڽQѲ ~k֬zDc!RC&f/wƈkF y_|m]0c1 _?pJV znB4ĘH"W v:e.mL"<˂lm/#n谂s{|`r) : 2U&E6&1ڛ-5lBلq(Ϩԩ~h@!{bw6àfn?q9|Y ܔN>t?/U'C:}Tc\rk/8%љ"S2;$m`Ca|-F8_nE!tSEo*>"2 o!h .Ⰺ|vLCUg W_\3inS[ATz*X2i)R|%LM7aU[}\EOIiZ NPeE_s ۺHrnJ t?+`ȀRRP}- ygO}Z@}D]Bz%H܉fɰ^ZGm85m5rjsX&ރnG:sF|Yck,AR2DՌÅ2|(N N"j fq7|Mu3^ pNkGRYbXhnDy` ,?JZu Ӄz-]Ƣ= ^&v%b7GiY6+&~gᢲG=_ /_(Q6/Uf 3NSlS&)`jMqbrVPڳi"oUbҠ].B俨,ى 7)iSR[of5cZGUv17(- 3bfyp~G(yWJ$\V}^T? %QzH,;1߇ktCz?/W춓|g*;N_&*OOYIK-7O34EβZ@TDoFJռe`%t;}a)$,6>D>5eVEK)o$W]UOMXHfJBG|4xYt}Sz_)ig)jMaZi;P pJ]VW5a%3bkוU)ʺ{g^dݬyهaFiotٿXV\{"Z_I{9jŞly,Xt!DN۴C)|>ӵb'4W803 7.ND[ TQl߅WEH#!޴`4(B_V[  %e.L}-O8M%龹| %]wMؑ4H ߮һ9Cg eC( cR\`՝_`bTnW$6Q7\ Max.y<o@ J 7$=J$DK7)˪hS\05z8ƔnWLY*&I nb4͕l>+Gεجk>P4m _0 ) F`@Ɖ1WvG:<>4.gUb/"4%({ki9nxɧ(5wp u|8ZīSVനWL>pe9Y Y`bҸJuI-z^?*%ê M rʢ-ۣM7p6t49s:d1SbfB=XBC& xOAЏr-RX@*٨Zԥv $L0[ʸ:I藿3V {{E;N `q"h A+,tK"F[Fn XЎY a/eFOHj]<>e} J*9\ԬFDgt2$!hPY}˭Yǧ^(/MY In#2]3j;_W t%* esnY ]cw+l0PD.;y_b[=2b1lV}#8/r( q.A9zty^6z/,ħ#dvcĿD2DîmHک FC |B cрWPrW>k}: dO tx0QuMkQdAEоcJDDJJ/.#|PS 9m Q8PD DߕYED49x ;6nGqU3S~"iP1\f*TUh{oCE$r"Ix)ցtI&^5WrIAEU 4D3kuYQ2EW.O@%I!.č\t2xU]VM;+H}FEm4bD.G %:AG.RnWGQmeD 餄eYJ.|Fc_)oV1V|h3Ηw@ RK՝_ʬ,a[9x^PA@3>Y35B*7#9 R!`gM@sګ8˿2VHYeQԃO}T^~Ήr)F{\[wviL?zvO`}">l8E,8rIgpgeqM=dLjUy߮|H؟ ]\kþ&ιpjoAVdMDk#BP> 7 (L{5d }AR5Ziqss=b0dUn[~WHD5xܣ5`W]Ѿql]I&Ph 'M7 fY>1oB8 [iu5$`bN:XQ*Ӂo{,{&AVw*zUl O;ŎcC0eDjzZtti?28|s!imWK/.)}*g蒹GIU3})n1Z Ttޒ*u}?xSݭmVS us>iUXyt}-7V$sr~PqD}}Gj>.DL9%k Ɖa;%YB|5iN]A h n(a& ߍJ$T.4Jctb~H f'wjiQ }=P3頥+3Qh9Fy, z@Gk!|9J+CM{Fj8j`vp[ 5U@ΏZYKddYXm Ю,|ww҇ڐKrěϹW;h>!l%}^4D}4ߏI<-PM5-Gb HkLKx-cW l{ kt$uVefyKNR_4>\UmYKm8 JJ2kHkA>RMb]}[a)KP> .#Msqq2qf.iDH}zsk;a4vueSǼ[fpY٬J'k^=>xìOzFT4!//[{[BfxI蠊bBP|½!;ce$Vt{嶇/@$>&F^\),NקK crfk` ]\??P0'wDv!6q5*Y{ń[7~|fZZ![/8`]m'<.yz 099tH ?٘ 8n&VѠ&ŘxpwO0u ,f}# k~ i~vMTqLm'࿈/R$H _6/궇Osdm~{ .Ycx%e,F N x8E<ٟLK:"3Ąa8U>(%$(q^~{ ^M8F@$=z0D/Vba|[Wo[5= kcf_8E@8+wv$^i{E:dcma0F觡N'D$BepD7$r~̫Ium).)#(tehdYVIМ'$d;[۩Oز+Rzy@|l>ŵVJ@goхێHWi!dt˂ibb RjS;Rv1 ܓW٨TUڇK^CR<|b+%E^n%܃ڳ*9 Ԛ!ZoqQh vw+.kQѠGG'('*r5kOt5 qX1\CS:CqS&h *lxgbvk~9G!p%ʄҟsQ}pD@9ྑ.Ab@YF7'tv|`[M$j#/Kkl5{OF,۫k{H^g^-y`&`>hЂPCྣi6VU~E."O~K+!x(-$-06.{eGNs5J@`^tYަ*X\g`͚a}6&4`8(}:xa~%xZWzt J؟]f OaW#8<a#xk4yEҁ`o:Gٻ\R)EFQ:>pEݏF6);\vW\5%|Vh@aIcQp! shwtuD Cq//1$GVUkIA]jl-}N=bߘiptRȪ^kNNg+sBPIUxl 轁]/G!tA'&7\[s?!|YUB:,1I9RzZUZ$^G" (HMvE{>|I'Hm( y+jnKaP%O/@(xWYui0l~ziPnrcKSPplyUBbL#v?3âVkh+;[PX8S}P\# i+E%[Pq4!=~'nC} 8Vhl{5-)Tds^sFZ 0hL#]hC(Fl]Ns#6i77Agѹ[S!YnCMnSOJyDy}uNvXlFf7Eh(:%bl+u'I9 ~a\MWKƺۮ1[Y3)FD7V>рR~ ?t_KJ@,S@GjtsefSfXȭ[X ^,EXေ.Vq`[C'PE SM\w%r-.vݣf_tƭn1JtYKޛn)Vxkuݻ]aIGgh*[~ݠJdJĔyq!K_% ?%p8 q\'g2|=0!L h"EoN`'( 4qZ/ {CDbE>NK#b,5ĪD.IC'[%hk;iمx*7J)Nۘ b1Y}L+(Z|I݅C>9QW'y搩CDlVUy~T QnK@ z{ލ']Hoxnz ig˖tO\r\@V&w'5 p6|zc} uvS$= tK%%JȈZ,' QៈOHNdu(Hʀ$0Xig`Pțcdhz%&L|c9?p|{Ufa_}yXC45&3.gpuLQN$AӋo3-"M>p?a~OF{-2qG5~,4X9^QZO[* 3z2wK`%H&9 '.+n째e`d` D-KT;Ky#-ց!Y2bON&_ , (Gza0ϼGSt&]tm<Ű5_Lxձ\6ߖ:<]7&-Ǭ4 m~)v?o~EߌzZq./yOx(6/C.'R“JH-rjZa Ql#@RJcoV q(hq_Xy%Nl`ஃ;TRԍ TVtdpLw`Af-~tz]lу#P j lƒl, -xՎlM]"z# % ҅ c0(zWDoNJ7 .S1q6=s ]" *0aޭG`ʟAA7CLےQ7.(8 uevOc]| %n A;xdPnMWѨ8yٞKPcF9$U+=qͯo»#lͮQ[5戵g k0 i:@ҺO Ekv#LAэ}6As@~$LF.h>iKU\CWDO<ϴC a[;b̆ډW*QQ߄dZA(k}j71[;#7SE]g2깢'xlN& P60XќҢobRZijWd74U%v'ȳ' ,Bd C5}Qjy̝s3l4yGGu1!uIڮ9H"Yp2/PUƮC (,DJchCKg9] 릚_.(Od3121wI  e ϖXdajM@O`PˡpE<|YY'L8Y`V(95[%i}ҙY +ы5pXSѿ7vBQCgN0]?3oVfC,kAd(w_1NҨܩ3/Cq-4ƿvڍ לm6?l݈$ [Ek2McO;p#ۉT5݃oHUvDy|IWvw| (+, NNJ'1~UgJ E*g B?MBpOs2Ȯ˃s!4eM  PTȲkziA/g*Z ګ~Tv\@/Hd2UckqrL//3gi5 t$}H]xTJ~EUhQ ޶T8`R*'P C@h3D5@Yaζf8➵RUڠCӔNx`П̨WּcCas=!@䂖@S T{{NoGtiRoSv.*EW1z?WL/zTOv幥;- J_qsB5ql~ }W(2[,0v画)iHD1jå "/c|n?hn=admGݪKlDJmJ}L`gk%hJi9 "0D>?tqhOvDם1ȘJ|>q/aennvȥf16ī mEThvERM8! ,g}Ԗ=:Hk$G^eT6q>Uho 0e H=bRJnhl!L mr|5S`sNlwW6z澧 HO_"T~ID<%-D[qiǯ~%,@#ZmLyԵDt2K@]XbnIfk]DԮԘRykh Q͟%B:o!EeQsp$ ̧ Uk>! w5۬  Ku~O =GD>P)͉neA;qqXI=_o!jD&.2e8A9.!XHsKL-%=87x)?`1@[pi0J\ECA gEGbvT]tÈ{h&٣0$Vi@rf 0'tjW3hK7]d[Ht- ol*X#3 9'|͚KH4Pƿ %y/3`r7l>l>.y3#с ﭝ"C0K:: SDoBO uLJmEgxjs SGCLc͙ѽ$jᏸ5B* ' S`JǀxP{14CE%pۯfsVhb5vvuf[Ls+,7i^+2mAR^BCQT.䝛 ^We4TƬeO{W]M؅иtho V: :vO̵q,%\cԯGë1&avifÓ)Ģwt%M! w?m48JZo0ge 4ɇ|G !Ƒ?bDQdQXn@mLCy;GSR㏶QL |%T đGض{m9ix&d \ն*ISէ7j" C@{0}*v1RBtH1as8;d=vRjN9i^'%˵ei5[ΥoeԖ+ *%{09^O[-3ʀ^^_վ̑i N$-W/IuNvص[Ba ^4 5> Y!Hi u' /F wz[cy-3c݊#NR%X}ė̬'R [8+Ⱥھ0>N-ZPwOG'];~zsz 6ǫ| MNv z=6[V23ݾq^[3m|fEϣ5FQ"_ؙ2Y$k1+-RbBFƏo[=`ECw}/b{i@$i%ĉ" ~;@UL 4Ri.{*,dtJIhVv1ֳR <&#ȩBn.+)H$Qc]mk!.:j6vV}I-T.C DަSI7x[Debd"_ W 9RG UYgW??˷z&\\ֈ'j\b78\Ζ8BwE1B#G%Kq,H$ttd,lCܔ*+c;Q՟jfkM2 b^DMHl /`L3/rsj`IU`/+yO3'`7ʮ A>(^׉`@TʎÑZ!#m;gC_WaNx ڝ?VGl D8p\Lg2$LX [% Ƚ;(bNTKĝ"K:b:Kv==Lpag u^V S\| ۘJս;gr-K<`vN\!*Hw2.0IS$[@!]̋*l !e:d`ʋco@ZA<V ^ՔROyܞ&( hr)Zf43>K^U}GcMEn 'mf.>͕%4C^ibn'<7 _=vas +0^ ψrL4`4NmSq `ǧg&98%Ql}4).9.9%廀vb$l$YbvLj_LCAƟPs+/ܜ4˚ГSkrVa>L (dN?ڍ@Zv)@8NG-DlKL[]Jķ[i;Nd]sV_YUL:5F+0$HmA'Q:υ[JD&wU1$3gKq-bw6&RF(_.!l9ZĆT 3#f%PkMVdx4VuɽէTt`+ @+Q95wǏ Z[̒C<3HŤ=Ti70|݈ũ?ߖ4|J&3Cpi$KJxh[xo]Zi05,^_W' ]lBL!c KhI%/K圐HuP$ X 2$1P3` {>|pe`ҐMaw}KˈykMYЊ1 iG{q4#Ro Ԥ$ Y[~(.΢%YVqm|IǍBVLX<:(vx Ƞ{sve=t&ipUt˲)n=FGXIml¨_-maZ6=zkj*Zw&Պ'ɧqE̋hX%x 6^=,"';AjՕ ~U2>0GS%01!--cxzcVsx4Q-Pl@8 SfJ٨+Û ZBG[_U~1QUDv,h\Rq *#FjhWEDb450=/gխصG^U20]o)ɖ(xW.r[87R)t#r_<ًvsݿ l2V?̆c8ߣ6]j0O£Sf[HE%5NoȪ?uACnB v.i|+F9jɡaA2ŪM7T$/,|AK^HK|!Ur_7c7LD&g^PST{P]ߢǭ? FA#Œ*f[FT rRB3z;OU#G)n? +YyVw=P*_4փAB'Io?pCj[W(6qP^"OQ@nu޽a=G#Ȋ]]WS%tcӱk ufx;NM@ u@Yű8>*a+ B<ĩ(*lE%KVI ~ridv=UX -*`;pjZ 2PϝCާUc% Pnlh7>;OF eε>$*޵z5ekiM} QNkdq`fj7Q/oqX& PӦgIԵ>;^/ei;H6k"m/ٶ pV' F |sg1d_v 0Q`J-7w]zƯ}pϒdʻYCCDA24aC嗴=u6bH[DceU9׿ ɉwx9w-,MeTQ~kFOk)jiV\ *;PS)ѥ{L;;?J|ޝ8p @VGdfs{y.sZ/ ބ'G2%X-~I&W[_gH)KO}ݛ|gYZ A`\]J-Qѯ NvdL,r_EwK|P[1Nj?KR"Xs$5wBFʒF nQ`>2fKlnkK!e8-=QPqڼa>,;\=y@'UexÒ"-!0bwv2v쐉 11AHrj=(}K n ATGɲO[gb ]~:͗8maI'8!K4 {a,Q=gP’gR=΁辬oׁ2;Gmćr _6j('`-#l?awMÕ˄.qm{uaL0}0_ !9#WC%7@},D]PE$*jSwe>06Tl>Е\:#m٠8Bҙ_rʨ@W9l<Āx\t Kj"\['tU5x s3npm> )Jk -!*yL!/ ȝ9./ư e}6ȟ|Y{? ^! d6LB\BEAL#L\}]po:yQlu*d|3KrFM$~AI#ca"q>bp28BR30s _"0:zB.-F@HJx7U]w|^!AzFGHij~op, P*h(OһIg!FIPK ]9A4Hef1 - N烿 qʱDFSZ6B,5iDiF`PtAׯ39ʣj\h~Oυ:*]^< 4C%0yͤ򒝐%vPDn qbh6>"8ǯӠI"r+U|+`Y9BD{cadr홉Q_紝^>RXܿGm|~S>uۏbK2|[l㚚RآLg8<9a8*"־x~fd@G3I7a74ҖϨknĝ)n97?7@hȠhcivɸ3qR6UYF0"Ië`N@rFj*+Yڕ$K]iT0ArǮކf* N9Q-1h@-wsQkW,  LF"{D7ߠSS3qaʽ7̽iUNvqK\o~'HmݸuUZ96ة Vئv2 qR}{s̵yme_bJyV ٓV4:'&KyH&w&OU$GIɕϓՈ4=+sT=)[I͂ytLa2PA MۦiCvxŽQ F\i@#^"7.it Ԃ+6gƋ< vDI#6 V7jqͫiPF6d;⓹4)N mS-&ߌǥyFXi+^xvu3G 0ɜ0?< 2I")s{1ci8֡YH$´d/]C ?~*%ĕ Z= .LUmlaא;M7 ?<7wdl7gx1>`.(Ù<7> wª‚<4"~24E*wAMտ'^::CtA=^A5G=j7)̠# MW$e H0P))B _Q>f۩/.Ϫ )4o篖DB lCY1[苈hQ#j'a:ǟxiw*Rj 7kPwYK -2gůl!Ol<~;m krw>&|U"BOR5ۘWjo#DYf1=5PՌpdJ&)pnn=Kh D6sme (DP~(.'dӏ  ֦AHE8@&^׿'G3d}3vAyyE[mVʀQ4!Ia[9S#r1ݎɬ4 eɩxvS^?-XZr, .% +=[ 8?lh,r `A,O}H+PDN;hGQԕ7Rd]дVGg RkYxgSz,qp[.D:BD!]/qsCW#HUC؝sDZ:R2]_xcohupP`4LXH=|)iSpw6N>ڿg[XZ,]f1~ 5P,E1qi/t3y ]'21"ߚOgclCC?u^brLۓ _b&IݱgYZ   GM],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208o*/C# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;m]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3=3R|ZM^ѹ g; pt][<=z^{G`O^X&SY-]7=LTJ;:MnvV_2H2ُ4{Or&'G5pOi!uě?MHA3/ra:Mwf_OBDjOE“_RMCX6ilL%Ghx[h,y84썧dgL·ǂ2Jt|E'ƐEw4L\;C ܉)28(6h)6=3\E3K)RUs&E !{BRd(p<,,j}4=WM~^ULɇ1δ9loMsYuù EǗykܲ9f'y|6;={VI***|bK u÷tY5Gy0dsKг*t6JHBMsk.=9V叐/:]  /`~~~ʌ,x rG!Y +n:4rBx9>,~/rI?P •# 1?I(T8v;/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 rq8HЁ"JZU Oc.;|8)zَe-6n;IJJ Eѝ[c8Ty͈8fݛ3\p)P\kMpܴJ%!?˻}Q"kE,n5yLQ\};e ss.B`AZ*UAo]s 5|(ͱӸǙyP dF/ z]\ E@],캟뛁tD(ÜЖxӔ @M_kH/Ǔ,9e@ \,%VYR7j . ,Cb9zK#1D˒xODJ=ARubiXOedx~7˛*T֎C7mfZ%a6 jnmt25z+3vh+B~+ܰZJ1rH%0 ҭ Yխ(/1HEj4ifM bgf'j=b(V>WRl~e9\O" ?HNZ2A2-z*{eݲ~|R$/K9Y WK:8Y66g"?XkDc@Tanψ/ :;+Z)VފԔ%ѕbu!,–t&[E+9G ;8xG8Ń{g/XѬPKMߐ|z;ocoN-Ӧ?rWɠC-zx y}.59o+Z /CfyYpY|z|ԧBeΪKi?GY˗ao3@y͒fpޜ&`jKry&RKA=&E]F"0W"(QQ^0CnȢm{iI|{=*Wdk b.,nUk9IT.rmA}^XorZT|Q[13(ZQe1?11t[n&h' %KNuJ 5 ^,Ja}F|ֱpo$Ut x3K.9A"u6.9 X#FΜ2tdޕxo6Y-a 99igd{zDGqߎ6a "4SY+^Dtb_{3)kB<*wC ;v0~}xƙOgFmMYG >ih@M.$_5opʶ/|ǯDCDD =;tt6a9LU+\X%9FC? @7[dM[\_I*MS*FAnLH'\Pk!SS GKwK1ua>J~(GC ƉfeT:oeWB2@bu*J#T IU%Π6FF.G Ozt"ZzXXYr략*4dx _#)^BӧGK&ԈJj z^CSjNd~ .slSE7P5,$;~qX)\ g]Y'h #;RIʰEΰ ` ؤ} ~L =eWN0&9_'ا@w{Ms 9e-HW\ ?q FӣR/̈a5Ύ Ud^4*gKsTч^rT=z8*_r#jFjonW>y5r,{Zρ8Vts_ENœxk.Th\+R& e:Zs[24‚&#[ ^WߨoeiՊYCՀcj'pMm B+)[3Aq:ŠUN2i@XDN 3^O q2)#c |5>4'YR2y9}sf) p!w9}p R#~#%*c5nlzf6rI5EۼqU~KFˆ{x0(7Np"? ЂdoRBf: ._()@t?w0~1"%cU@W{@NaZǼ`/$sih@)ULCR6\4^4C;rܰR(tqp{zI 񛼚`:kjX:h°Y.76bKcjt;*w! 9Sw*Vj2*:-nY鳓 'a=Nt} `Rx̶L-ihؚ }hxYQ3"vv1/G2{oq= ZR3gM$ `,]  Wp}kzX*ؿܞײ&M@#&%`iewW+cSEZ{q|^XdȞ;;ZJO_#\g'',/@pP¥oxߢ;.HJໍq>OT-t&^Art=JH *J9!?o1U  6NCDu-UUn*x~ENOsQ-b}F'pU:\L-u{{}rvz̅3ּ`ΥS#븞o'!VR"V L-V 1?6~Dq 8^D Pvk?eDwp!#ۗt- 8kqrf433rާ,Gb/̇#kľ En\PASeHoY`er-<$(PC֓b%ђ%v(NI).h̟+{0(i}VA]{Cr#~ed@+m|nr&Nf\zAǘRSXkg-i 30M];0i8i4gj#V^\n->my¸UH@}Z*6U 4D{}9Fd(^կxnhZ(v8vp:kOl%ܳ~#^ڸ-6n!c3. <:K2`m'Za./W?o X=Qd60)d. "9P;ItZp C(b.$e />m@wf+w̷ _XednlTIH5Q,=^ǿyG=(](Tur͙'l n FQV<#ֻM˕y!ͯJ:@8̍C5#K@P"gh X_P$rgSնdkS =*jDpk^AD20'vL{'et$i 4(7 {J5}f0d^[n VSjOsޡzu΁VXsO.H:S+z&_/u Au][R ;/ @&0(ozSZ " ďo,ڊqev;}Y<'XěnFPENX;5W[#yN,H@ip p8Bx@1`{nOTr;al"*asC!r#+& ]IRKE'L}5QS웲S\=DuM -23f\?fΑ/꧞ؗ /LVEzJ̒8e46L3x{e4tU8<f\ܟ>>3RIXT N_-cER + ([&O7Ҹ!xE_%6MR*&7pIv77Z؉/uTMrJĎJ?'RNSl G٣v1 ϸ:Gu ilF)8a\1=Pf" 75{{dw$F0Qm$E2ȸhf;CG} !'VlwV'_ +&c) (gYZ:.O4-Rxi9%\ imSyݠR_UG2 QF=LnP0֛^Jj"߅g ݞY \C0oYK`%pG'F. S8?eb?StD\d.\'H ts|x/ v: &#"hgk$B_ck?A5lA._6 i61,En d;]M`ikxBP OlZJ1خ# IRU:{ƔJ( Ľ}} zAU?p4~@O'\$@.v\ѕ>փrkgu:)I_dȰR{Dŀtm, #uYfpacLgrTwbǐ6d5Ju`L`Jh{jO-mhԼæZ_B/ ">D u JVnۄ%lB޸[dfO{L  9:֫^9S]Wh{hzv4xr}f.`VhF ntpt&KtQAq,gIxܔ'ܷ=qR)݅+~|u"RXr_0I"lճ)_u|Ȓ<#ꁫ ڜb<^j5d;٤9+ʘP$`K+!3<t| ӛvEq-2RYaPr㼃>TP'[[]= 7nb8n2AAFz *+(guo{qOę<"ZY}nђIGXPPSl2L?g/?M c{,F\v)/K?e5ѿX+G ԸeZ&6t1"- M^-)!j |id_;2Uޥa6B'UDX:-_* "??i(5ō$̴ O ~7Fj"ҐW8@pE/23u;fBG'v0seW|{NR]1U%YH^(5=>Ƚ F|>Dց [<dF"SЄ1$窊v0VP=oAwZQmouf'e'~W]NmV$[¢t[+nQ+S`0'GCsf. gЦ\M]VwKPN+ )wӹnM17R}RN6d4VYi) T@sqPKE[Ry1[kI2"п".'aǺ;_uA498pl)9bɖ:EhiNRIYWOۅ ^%ze"P| ()g5ncZdYxۉe#fWCݭA+}SR|sQӏS ' |fzi[iCg=s.6biaXke%JqOއl}8흿'45s˷b*YQB"6a7ʔ ۀeKd2mʋφǘ+aP(1PX՘T5r!UeypbQO&ۥрv9A6ida;܆Zݖ>f/ {N;wm֜ChcPCcj9^xEo&Rԙ'&3S3/@a#l  MX5u})Iz-c%SKeaB&As p" yAK dH{3#AtE2s:~OMK HG$)<\VdLLT*X߿<<$~Z& `hٱ:HfיI.Z0|癷dB!FS 7HHSQkOa򆅀 qFȉݽE㹳\4SԳ#uCpןؒMkt \m4Yqln`w[zT gVXelh5.kTZT؋9uŵ$xlaYO/.9 '&N"mw?PjHRtRU)MK ӶEڠ.I0΁_22^gSpH][PWk7׫Wh! 캙*OU!HMEdjE d39vHXF&G &`c "bg^\etPl@JT#zaS݉8}fԽDG=KoᅯSK#g2V_V(KN j|\sٍLUF9?b{繡wp o&L$9ޝe˹PĞRXb+S{VA^jU64g^1N3)4@iST|Szoc ';cxu3Zbζ>M!w ڠZ#P?1O` ŰQ-/Nз4aۦ0wC bR{kCy7xZ[utpsɝ}{bW9Q1 zuXP0!y~9wMŵu^aà%Bs8 <$CNe*~dj70PH!d椱o%:KJ*?Fɧ'݆$ػ6JPiQwp=~WJ }Be~G[)RneݡDF+D7rW= ^ N}Qd5{wO%Fa<`hPGn";Pb0v>coZ6se&S*JYֳ=ZIKʳ}$ 5r|5O^5͒Ӏy*@݂Sjʹm)W52?:m[#EnqD0 e (S59,.G+gYZ  Hc0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 8]·Iq n[:|&[z'^}>4K,@ Nֳ{HUKN7Oi_YAd564|9ҕW,X`eL!֎m* ::u뛶1ĞOrҜ*18Z\/X:TWX<.=l]Zs+V\4SeFmYyx~̑&BJh$O'FDiߟ0޲A,0_Utrdv)c@@E5^P1lyҸk?7^jK\hO5$iF> Ř@ժET!q?XDh(8E@]Jv-1uɤ5 Sr }p,,!<,o<|8LZ6Jikc%}#*_.!- hsA<hZw<7IW] oQrCM׹G@ <'G_2]a3>dN]756)f34"TnR?: .gYZt-/=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ew]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A.d8؁nJnI!TY2\vK%fw[B>JeAA!D"EN2W> TiY,4_؁Cԋ%E+J)jTuPZ Qls$uBQjFTKrd`hɨ(~U/t7̭sgHXM z#r uܙԊR׵ | F.Bg_␳\JX%<_>vטc`Rե X *m!>1}˥-M5շp0_%sQn]E@C2 e?g^ûLt6 @Y`M>2ʶ3HB} b{'sl##dn.AWo<]~Xs1?{#`HJ)p"쎿$qWVw_rzNjǞWF!M>#=ʼt@q4Blvorxix%2u/|G>- %y ] pߩei(yiG zw=DŽa!~f:M'DYI[A(ӱ$7bE-P]&3PڳMP~if>M"oR-E(`)ޢC>N?&HO9;qۗGWmi..ꤝI|(P }e #'p{g 0f4hxȇak(u"RU.J_;+*qf71j/XF- _x0G4[AqۂّٓHc?t)N“iϽrBB`-I>1B77#z(i ]YCЀ ϧ9[K4f;,0v4 ꢍte5 FwNWA:!mǼiF~GKyMc38giX>5ݿ߾T^][Iϔ:9V}]|MLU005iSƟGv$Fkk".Ũ3{t^;h[k1"8x ʹڌQ8pCo_υZDQtȢD i{ >3rN} vwV^UN%M.bh+A^$,LaAo) {G5 1NXe#]αa 7fB|A+H Z*%+C=ae[F5pfıvL䴡twt3)eXc $$Ja\ xۢ>qf|RU /E+8b#5cr/G/5snz"ZXht"Glg7[n|(KJ@e<'>P9۩ Mq׀bPK\S" NmWfəMLrxaVXŻ&)$ s~B)pzς` |'!S e^YKp,ewH оf8Pq%A\D>>~#̀gLȚQYܠz_NL4 H Z5i>v -0JfONBȹBBuBIKSmL{{5[~M*Zh7{( ]pX㎃ukBF5qdt:٠sCâ*~fOqQ,M$>C?J<کY:9`95JrH ЬUc~c̀C5$ÇbmVYC{넒dinSl@2hx;%sFH!'u/;,"rq>eLlnG4磝~}o~}=OC'(η- a3C)z 4R`dXUm`.-؀B&3ݺxdJV[%ul TBi H6 ؔc9yȻ  HZfe016UCB}[)it;JN0=7`ɕuϜkht[D{u1`U#LZ ܨCޡ lJHtC#0KbE ̕8bEm@y?tgVp igRZ0j.mdVBZfŶ nN۱aAAA2*'?mGV2S1N?}'-fĉ.=v낢G"3 yM6Q+Hp߈θgk8pdUe+fVEz~/Cyvag Y .sfVKXsPP#ëu+*DB&2J 70hUIoǮA "opܑ H4 1 q`c8I-dk@Arww,@RevWZ Z+)_s)d~ZB^{+mPH{S?5hdqȻvU7ؤ}IF%Y#p1Tfy> 1Ug=-m]JEs=_ۚ :]9!{56A1*\km=A0<4oo ?7TꐬN/C#:]?~"8u;SG Uȸ:A|`_8dmzqu e*Bc1_R-DЍ )Yl1?^H*rZoКN-+> [~UMU^:3Q6!qG,yO$VW%zx4whdh)S(⊍4TXYx$-Vg݊+( Ai#w\%l͔|b;_s}a!]5 L9eqTW<- {ҷK:LJ-兑zi}3: u Ƀ>!Ld? L3Di4 nbӒyrݓAeV\]__v2}o,3oʞA=5l4*U 67?52g2Rhk έdyT8@XS*wX7gC gRƌ-b}umCvYsîQ[$-lDxW\\WXAk5_RFfjyR%>oz c\-SEɳJp1%o~mGьu$}6ݽAfe^QVfzE}l{ꍃrOX_8vf< I15E2}Vf~Ǚ>0}{.WxN;֥т+8H$!4M5Ue?u=(X\nL%7pz `oB#RS8:nPۨu6IRpN#F=䴐j3+H]4< \B1,SEaג @j 7KdJ8[lo}yIK!Ϗk+3U𥆾\dtЃ6!;6j :x.6A/1 ⚩P_0|$z>vfAd{ji_d(N!ԮF?] 97W'hw&BsVcD*zCs0Cpϙ'' G?5\opv[GJ67ws.)!]QʎF/y"@#{*ƾj1oCiJ贻} 8͹(YͽܖιSN$ڥU7600'Yh%I7k`LDmOɸb;(qחtt8H()*k"WOcx:[BǏn=rh.`(Ssg{r^.ҙTE?c9EPm%jĴa*DGMl vLk p$u/&*pW첔<xل4T GmA7sto Я'M3z!V#&-iE t,IX *[e'>?R`YB4;6hۿMq&SK̋VW1'JnxMaS7͛c*IRf,DcI0Ɨ&)9|` p"[%]Oz|9Y9mn?"5Q]+Qb58<2C;\ ̪CZ;$c״X*dhRغ;%ZY+9U1[n)NI+"u[lqy7Ou\AT~"U{U+6{I 8xߗkW-[R6ɉJ P\oE2 8e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218E2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! A]Άxʆ5.f-9 rq8HȿQ™?s ;ESRL 8VJigInIr,/I?GWMoRMշ{) `w_è,JK$ay<{ۉ# avpB3%6IG2h& Q|o1piNnUnZy Ch2@,43/O j>*{sD{%8 "*fҫ svOM7[S~=+n &T\LG8[.u#]+NZo3f RG_ejHj!yĝY\3-Xv4sd)!{M, (B1ֺ[s#ɐeLwNvKYW9\OŸ#nt*MQ┕SlFa\XfG/]'pSdTp'ac\ q~Q6ؑzI~. ֻnÀQmq\9O`bӆAgrW2fd0˧~=gYKsN_:|LZ9AYI]Suz:=/ɑ+E[Oπ ):҅YKIOs %9fA,q l7$.sKDi!AKz߲N<_ s ȏhCԣ00T1Knbz 糹Rl2,7} "\c։+Azo3nQt٫}nIGH[ P? Y"F}l!}@ǧNL®L$0eÓo>:RsT͑Gl(BcGQƓiR40`ف6 6dQ.\J>"z0]yUę 53 Lahi{J7942d&6;EFqjo%xÇ0 ' ؅^9EEcyY(b^(||;1擤MP%c h~?Zr͗cEVrw;~ Ls(з9ckp21^1nCZ`@}DŽ9e;? Q])~GɗG,GhMH՜+D];ǜO ^yvA>Xvmf׆6 yٵEwO>QIZGj/[%C3545%m8ks9jq#o8PN5\xS!*ut5g5Go "bnEm1b ά.S4' -2qٯ 3fgɴGkH'VTldx)ِ83 MJEdJ3va;[QcJg n&ֲcﭼ :_Y][Iݩ=#$m/T5I+n&pMe_::,$195[ͣ|,j+yuC̘0 }ۢtJƾ)>Zg}DCn+hCpa1Ȥ>sx*fݣAN bw !*SmGkuʵ&D7N֍ &c1q78¡g3L碁Q=;!>[WWVLzQ+ӗHcnМ]&@])i?ƯuC=ks7`9:" 8B d۴Dals2(}Z/mt]SioCg E-GUa#_tY%z'Y{]Dl[ew`ܰ:H]X?C(m_#/2e,,qyp;.tg]i̜e$Ske$ (bhj[`uc f(R%zCcom\3yu-ɫO42+8sQkwѕ"]12Iw >Pj]]4u-$w)xCVB طp*Gc_5?#Xbjnǔ8Ay`@VcF35sPm.Lay͒KQB@ym(1#X0bi1ij Cap+#ɬ iaMxb2TTLnl\9p=} /G/݋JgYZ6,pW2/(fD q %UFŖ )VtB B su#t|eOiu*$]㉧(4cstLow%\\Q*ˤm01)vA8 KHJ>VгT$pFbs rIl.Xğ>A%"MPzJ+H 9?Țz+e$2kYWbpL #tB@<?4Cv |XS5-H_ }g҉?GRʪ<Q}=}v\^~ѕ1% HIa#Tl 5:>kVw6ʸ!,~=/Ŀ-aQ] U2P2s+rPߊՂ#PG{嚨~L„)4HN˛vpbc!ocmh(JOXŲ62퓳 N]燵9?ylcE`vrcs:'"㘎TA":ݨ+![\?&yEc^)}m"0w]- "[Nc2yҖ3thakEsZMp:B{9IX~q/*Ķ@"tt r VNDr8G'E[_Z7hۚ12]0FT9Ʋ(/.!14.Xcc!QQNK I[n<@ Yh5<eox-q#լnI%"U`a {ԛnAQ(?K!A9-nj-JKTz\ݓB_)^jؐ|j583O ntmGe63?_|X YARRXMC!SSnRT+(3k7G-j*~euF:&;{J 4!KgoʯasaZ@9 S Sqת4P!z}NqkENj7=SJDH_]7p sh2{XQvF[F:ت B4YM] ƐiuxV Dvۙ=t:ĭyc'&@Qܐa וּ`x?Z4S3J#>BPܽ&%Ha"xYLޠeAdo*r>WpWA۪o1 XQ-+'VWLhq5E (bxU'-D9%/nB}1,&1/>w3*͓by+{@c{UbFqy ]u3jS gi+J^ާ,{Unw> #TJiڀߊOz#ng]Iٯ| eyI%LH»|uO`益q:S>SN̥ab N:(jމQ[]̵ɦ~#DO%H>Ncts>!v>Cc ˗ao3$fl_j*J$IZ#Irݟtڒsv\  hcܹ'QK*F.Ы]TTKW#4 33B'`ˋc-@puč,;"WI{C_϶nh_Po0 >$.M ;S(,*` y`ik֦PU57)~ɤj]DYvS30*Bπ. `Bs]\кf5:~]&. nC`X= dq~ћҰ9joLے-.nLУ\5o;uI$ hrj18 WX V?d8[. EеnpcpYCANbk :Ftpҽ05lM6DLeۄcɲa "SJjk>'ŜDJA].bt@٢4B: "b_ˇl<-KFane-1#V}> дs-:|,Ѕ VѴ1=z$cjE!'4m3't恷tȾ3*m:hr\b6ePq ػt`85m8yUS~8GU0V4CK(D ,A 3 /kE]  $ͤ{aGU˓1B0q=5[°m !fFc3!`9GA{噚 O!t+&Uѵb7à5#jψxv;I}-X%Fs.xT:Wq0 !3Y'Q\6?iu!\s>Ҥ͙a*U/)4D#}ic2}P::`f|QaїJYʄdOԾ-$!I\7v7MY'nwLL:T44ꊨňbqS[C1EXVWHէ$XEb-)ѓ[ʟBf +*/$g(ڜ;Oi,.N]]"=~T\ ?Iq-х{9RX9~J;Z&5MK†C 26"LP:4#с ̠5`aQ|A+DZrx ,M#SvR=MOK>*oC īK%4fj!508u[]m X~`K=ӇlLg(_B ,y o@Գ"K91~8tF?uQ-"/0=6ɍ .a.E>i2Kt3#s1Y7{L)$:~ eU0_?x17L6p%?cX*]pOxtpJFEw(EUU !gzվPf;H$1Q_8Fl8}Z3(fXeX횿 9rs-)6sE4!+0b`\1 >v=_?U*v.^? 쵖#fZ l;pP"%҅ndPNYlq;>`G:^+s>yȵ2vDx$ ۱?x=x8aϟm?& o imhL?/NN.E&W>~ixCmp4IH!y?P?]ФN+&)Xf Anʼn4\bp~ȑZNA6יěֳ\L` "UuZH]Yms* l^+66'",[4N{ai*N9x5059`jWl檌ΰ>NOU]UǶ5ZM"RdZ?@i~LJ No$9}iCXU(VP!XI2?I F ܿ4~lfF)rO#az\UFH ut+fR&{M*α"^ଡ*fS*\-PTrO02o<"b,^I^wvI='}CqF% 7e0XvUVܖ`>6f96Z-G$Xk9kL$P}k5(l [O|qvB,mٝ6,嚍 ++ی 8V+elۇ T%?!lX-S#18ΛN|P/`~I h뉱YM($u>qR̓XSa  MԹ-o@F1dh]6>j!y*SUqo1!Ud逬8f>?1[Lٺ#:bo! `)}NmyUJlO_Yx|O,Bʜ:Ψ_ V`Cj66n[plLI^6~-;鴟p{j6cd*vʙg5EL6gҊOƇn^ˆڲRNMo2i֩]>cXaTa[4&tjsCd-k[N/kku~ӡr""Gw!g$*Iw  KʼcyL@0_WZ9viYOR[[}ƌf2֤Srg+ S z d9kX |sG^aLYпJY#Q suSz*;? V'RGri€_[4[Uђ7d֍7&G(4lMlkx\ų6so嫺᡿Zl_H١q6vT '4 ,#7^97c#+@fJr׫:$ܑ{#iv v%/gy2Es jꊿgZ;=x_؎ k{ ]pC2BB;xajyb0=Ʀ.H0xm+zB ekeoy%^GLlE]mNߕk&ôN4|6c6ئ{@uݴ 0v_rNΥÉUSlxc E;^9.VUht^*wѾ$MZɜGI+1ܠKqFyG̼wl\oi'BؠM͇mTd]؜kS(ux q$/Qf^AY)pbN3gO]વo^oT,YGMƘb:3|@l. cHƭz3,?=w߷s'v7 mSA 2eΑܿ'$?d  #+9E)3WlkM,lLuEe8j>ek㝪{"F`B-ڰ35+G<kwA$K |--@ï[]c-oɚo2%zͷ,389 .rd ۥ|m*NF~\[I2!lhOhӐ7c"B"C?c,T 2 j"Phז`8%՝@=>h>pQT0( {ncͦ6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! 9]Άxʆ5.f-9 rq8H[$[(z9\~4uxIcF`J~JҫnGеw²ZLt9w@ CT  >|֤pկ-ٙL ?'^ў2ڨf7CLl{MosR׫Cj>aWr&Ի=V`<=hN>dH#ە9+z֛教z¼Y}yN<0ဈ'/ʩFu'nvxDvM`&d=wAZ1M%=ev6]kz"gG+C|ˡiWU=֯:8vO%;P7K#S|1:py'%6 "~+FihQ#x኷})"oځa4e#)U@~d/_9A>;/E|aQ?f |B_ڀHMC7NSRF(+N{|'02 WwXϸ܇5 TSK+Qp#D+eXgΓ<#k$lJK<>1t9*m͒,EJzKIoG <}+];Z#:(1o=xW2LD!S-”} %,Ú"(Fچ0.4ӱ{Aq d] G9OuO*4UoK?*ځyx\D1rgqjKkñ滴,]Pwmעϖ!R9Fp]W^E#Jw@1AtX&?<* KS %lab.R=L4Pæ/Ox>nU N溱J%2U@le\FcΠʾ?ѻw97I¿Gt c@*e=FOLrp ~BlpT xcpR`,hgZP/x:DCxbX^kl4:,L*"ԺldHjT _ņ\j.M&5좚HR}XځAio5.1irĺ;L[G:y^0 Uj ??\7V+ 닦v?t}*¾%}?%;Wa#}nBqf4@v'9vY5QAAǿ Dh Q|i*v3%o(t(<(<βe8qwȃB!M1$T ..y eLNKA5O\j;x|8oR`$U00GBBx{7\ll=Znmuσ5q;}Zd#,pSO:Ѕ&T aJ: [62CS3*[L"XT4*DGd2+yWxk_:Y6Nh6ok HE8fYjUUEŁW,yu NQVkͶyO/oȥF>oE:.E笷黱khQ` f /'g\PXCgEw#ġ^SXfX\38=Qְ@: aAlSaP9~%۪ ZeG2ד[:ڂUu=lvP*H?v.UuܭjSx´4OYS7auRT1gB6ܰJM~[?DK&Tc&NlPy8N/#=q 8fZ!ḃ?NJfҳH>9U&>g8L1ԼymBdӀ'A۟CC>Rqz攠W^܋SRD$N`DDjFu{!Z=K{ѯcz@5I` Kı @F65ݗ`a[}ŢxdX)WdQ :UvxO ƶ?kό3g59@a$00Y =LIOSH\Q8d/?ͯU54κmВC0m1nO / Nu*+䉳82 $ T #:0ڒ ۾ڢK8tު!P//$k?|RLNXFoUÁ"ը􉪃06Yb.`Zal{`!Q9IJ&Cp{"Hǟi=6msf7J(i.Wt4Vr+Wnxxmj +]rS@`v߾ h* oZpBpһO`L:RuW7K4UrH9ƅxq(>ڲ ]VLLwK6Zd;i <49vT?"~g>f4q؊cSL4D?JS0y/FDVuͫ,QXzɳk?!u6/n[[ ?ϻF%w{uIT^AF2p2)=5t^Kp*%XjovO} e9b/81fV{{(dvU+n=ȷ]=9AlvY2 w'Zd *9[nyz ]pɅ A0C HvfGF89w 4aUP㌓qv-nq Ѥ!9QLH}+|HpƟť>b ޚti+0u^lL%k~6z2[Ĝh ơgZ sŤsSNv?c_4[?@lɘ ;!>n3xepM\0D;GuLq}OeƖR̜gbs7ڢ*E;;_`31 @/ K>-zdv 7:7w!8JHqg*)DZU~wV>vhA O"Wo{ @܌P\YsP jA "DNVӶui\$+Pm"K87%SkLho7$G[J+kjC έqrw=TgUw;\2rE",l*8ѢW3Z؄"QI@ 6‡J=U`&R )?+"AIGָ F@~4} k5Ǐ9]IsYVR}oCл4\Tׄng𵶇YˇTF[}i cu6ފ\vdϞ4MMw*Uȸm16V^fꚠ\jHQIfF|'Cl wŝѷ B\ 2-T `>T,0.Y`fVԝj0҈d2;U0wO\v.R aNG xZ6dAn%3hz4ݿP"闪R*$%[3lE]„T _5\tdiIo4{X-kfaj#^7sywz.=5KUվjÖ v<mÒm>mLexzx SS'xBc;]ռwR'n;7nPۊqKՠ/Et5iOQ&'!^h㮗Gmq [0*:t\.qc-<^ ~LzCjQbX⺅d:HPHѸcnRӥݤᶊ8FtEVdTUD[Tbx݆UPKhT#EaSuK3+)81Â3!dmT8d"Eʽc&eI'ǐAFu(M\uEZ%6vgAM14jRBF!5?l%|K1v ?Fjs4Yw3,o%n@K>|5m vMB\RO(:yk& JG&3-DQԉ$[ k'R zu);YbrF<P㫧]Ï(q&mc(yRy&7~3#D"\5ew:pgiLmdS?`d$^ ~#>3,xͶo䢞FJcg)4+(ZBߙT+ΨHm5Mn~s|9i)[k=l Yf )OT2Ԇ|dxurJڇo]% clٌnl)%RU$Muae¶Y͡!HeNWykt'P6`X tvmƩ/iϣNnKӷON;V)^'fVWmY: 'EFۍffj&1D5%toa]R  #Dk/$eG}eH.\_㤰/JS"f0_ #tݣpy W*-{Ișr-V-qFvmwNVـWc<=R:[V oE_a!Ivi)0gplx1:l# 5c!p|<χ5A "`rE3`]\Y4ȔUzj}9<21#y0?L:d,:Y4㝪:BUs $%:4"ڸ+i%`+{.iIN*-;<ڿ[Dj܊!/Skp2 sTS@{oPRcӁez4g1U9¥f_0nɉu D y1g=l9ZBuTۿ?$g=03s-ٱ"z`LJVz ҉j>9Ɛ7yYz{(E[=Ɋ1H ?uQW0} O),*R4'4F-Vq>Vv!o91&HƑVh e*wgkWV J|b*ۛS&Y"՝_VP{k/\t("Xw1OXZ5t=~lP6  >&QX Uvck8sJL刽.}^dv%`y>Fiĭpꊩ( ҉0pڙ59~wʞ!.VHZ>AXCŁd*VbQVuAtiu"/7/E,XWC ߱Ơ('͵S jhl7J^ vP5Mz,Yg;skw6b17Ưr`z\gkl@wKWk% 5y&>Xdt7UAs)?L-\^+Ǘ@՞Ta 'yV~*A/l,6[xꉯ@EQ !|6Mk_Be/+Vp*gRqA ؀mQjPaiL+Q*di7z<di&V4Oq رÎK2n1~ 7y6|j Z+-$ ^8ؗ4Dc'yً~)#-7slپ ߷D2 {TZ 2u,r,d>,塵Mtm-*‾cV"Ocm`6*1 ]2ZXRL-k(3~Z0vVUwCHCq #U $dm0_X^8^c,"%,8FFK$~\ 67(!#i`s|> H}zuS- }#Ư=y3Ipn;w~m]R߮#'rSyw ~u~]~hXIT|hIP:GIN?lAH cboUm 8.d۴ېjN F&2ca,Ndh]R^۾:`H}j#yJYFps^Za0eCz"Ht6K1'BslM({l"ޔ7Ob:2}w3ȳ ϟ>G!QiVVD;AuOIkv_> 1_V8J./ "3fYmbCBt|O:Ιxk;SUa)66_FtQ2Q$iTbYB7Ύ'ci4XV_cl0c[z?]( z+\yLL:DU'\scבKT/$ڹN&s—{*BS ߜ{Y_^xx\Q-1` GSbLR'*ŜZ8h-eO$OC.F'1AQ˯<.hWh L*hG<.Am*R_!gbҽ[ndS+47U˗&+ :L?Gq:FؐHEE-Mv_ߘ|e^`hMjX6P52r=ѷs/WX$>QWVWt"jp?\l'ekPڊ"y}=%t6kv-PlŇÊo@ H\[F،+v-py!"|+}"ksyrUՕ>?6v_xFi&mM /H2$$׉\WgY$P!#J)~ 8o] =-^jik_X ?,0]$qF}ᇤ-yܤ?V}#,&8E۾&~؀ȑM=kG߂=s[1q{;aa lս{vd\P 5.sb775Zp_ņcamq47V;dϗUTfc}ϻLHG:7c+}i 7$fKF fvl6/x~?jc?ē0 <󯸁$Vx2xmd!ӅX(5]g!gק藥D3,꺃~70;IjG5SǠs*qfmPӈNEA ww%8j3̊n,_/}#qB&#}9'yUaw+348@iZ'UME!]>uQ:;A@?aH*MND=I[+jly1Lx{M E "m~h@g .:O`!N?HWb͢ /2AwI NcL?Q,[~( vCQ$D»aNj09" -E%\5qVVZ`}jf]*'2FE !hMK[bN++Q0oVN`k"┸Dcûߖ Ylԭ 0Kf~Z}Ny)%RD!͇ORK>ϗδHܙ&MᏼBZaG=QTƲU.eaM:<}r]|V,+3xra̔\ms?6A,ħoϪ n|-U5@ Its8Ap~4>X-n5!HnoqU*M`7DT1+Lȉ `I(d]D <I1[?A5&k8<z ܴc@?uۤq)l}B+vrȉCz4v'ɬ Q:'= ́)/K@%G-@*Ԥ^_Lsޘ3]ujyʵ[N^1fl̠EȀFꁁ}}D\%;<,;Xq]:` UG"qGUG19 P}J~9ԩ%|?Ek#Ihj]fBKאCN*2ݥ=KgphzJ{ Xxo";."cW34͑1Q R٪dAф ھ]Skdv0{l ,RKE`Q6>e8-)HI3Zll~uÂcf֯esA}fv~ye`"Y3gx%[Tv#Wau 7[o*p;9=lFMAoAAߙ%ĜKXWrirzJ;lɨ?L?#|AOi>+U5 $lҭUJꘋϋ8^HֹlЖ!,ce,-fK iHElm9-i^>|OIJhXB"> 1UWXw |t{h^Swd|z0JͶW^4} ٌ,.yx>zF>{)'inb)wfQ𳗙͵3b'΍ mCnR\ 框Sy žzK@/5>{b}!Lxr3tu90"Ugulx; .-h8NKKyˎ,, iѣjܯŋt5.e=sSd)R%/yxarC/(L !L ?v^nTSc#9KԛXu8,Z5qfa-a< *_u')$O4qH)"_NC(pJE*UHu;,PLdL66{gdE5PSʾ4A ^.EqjG/$]f7 lr @vb\[ f嶿 ߅WeF}6zΰ dEGqFDXz[.=w*|eDpg6hUL;w5ڈVz(Yné/} %tVSpo}uWs &Ym \&/-p'C!*}j 5`b+BPA{Sꗽ‡MI.j5zR8|k54[(r܋x))ѧ%`1tS əq}U"/ /LY|_D1 Gbtɚ9 4Np V(72xG 0|5 ݹ%w& srW3nR 91\;Ce`t2R\%,jYq|]Z}FmfD||;D8MoC Iܡo &I5+@ue~yԄqM̨EG^a'h =l&@(d(}M;umxTG 2+ is4¶𫐡,b #p:eW(ԳxXTR0) NPêD:ƲG՗I*)rw/P>T{%B]s4ϰ:m,;/ TS AF(oeD-/'\ӋB*hߦ>ИoJDH:Are 7f y_%͂}VdJQu(i߀ |OPds\/O)&%!$s3i3Vҝ\#\0q; zxO; _}'G ~mQr6ɚ՝G ɮ> &!2}ζ-漜3" i? Ltl6OW 7zBg}J8l"]sHD̪}k*hM3"_CzҒBtk])#efOq)(Aƒ^ 4V`nؙSDS DZ:]#+# 1?Dh\s"ok~2DWTm,\J.2`E:NɾXoYy`S"f4 B v$ȭonk2xǜ*HՉ{Vxw2/Xbel/\,Ftlҭ}h(+vH%ՎI&z?,BRҡ@V& Sg6N,ֲv:V nT]'C綋M>Ν<^f]e~tp_ha/"3YZ; :c@n#j:|}Uu }WNx:[QBIMA.\,O@E"Gq4WS A?_UAmҚ) hq'Yc:m2" 1§bayCPNL?G$",/>N.-vI}Y2?2=gJ+WgWvQcNAwLDzs8rK=b`&&/֮(MroŧzD{ ++ivl$#}AEBC(BdDzMX8QK +NVj*pٿmXsdL6El2ovC^ͷE^}Zo3d&dn09^S!o2ʌ~j+"xԍ6PM!L =/K Pd>+9aV9 *]Uͳn  8qx3TKH$XHч&O:c5 O(Z_}ANbJC`v:奮@Dq(e[NXhK]w .(Th^(܀qL@jO*QA[ybO7X󮼊@O,CڰN< ~D(K-*z&; *_=aA殮-ƭIYvcMX6x`kəI] d@Wc 9*ƐAB4 y;jO1\&>ͧg8Ĝ{ n>Dߡ N:m#fLM& $1+1jZZ+1X'O SuEȫkX!i۳|G.~yL(=n tSwSlP[ Nqeי%?UziZ2;#ĚI |xw 1H ,q*>>IF~A  #lӥyT?9ػǭǠ%FC`6_Kez`%k3DevD3>]rhUwkR|`a΃Az7CrxqRcՙvr x=pF{!"ASR"fd@"5`[}*1WVͣ.O绰E% XdҖ' 㰋}xm֮7oh =3rG }1ΙPўI δVyvWf}4:%ӂ%nCp~&@=aJƙ?1#0^:eotl>=]Fa_`Bͼ(h F7 1[/۳fPi<1XsJyU!ˆ`H<Ϙ&d%1SO[bs5O2c=({XnU\O{ ͕WbwGIʍpݢx!gbu V2X0pRhADl\?CpL9i0F3 /fW"=,"fR2uE(сuTt, }aE&V,FImUo,Vp $~$wp"Ilp$n7.Q=O?2n !RD5oC6'aRr>χd)[~O[$LIi,\IZ%> {{QNZ@+7`( /iI'T:Ҁ٨A;(BӞV c*vW-i&R؇\h~Pek<T*>m@.C :#?d񶜇UA]ԧv6uݟ\gcCA@HRLJJՐ ,?wlX\p. Þ{Ûs򖙄R >+; '^'`V I [ ].r,iV%.ҥ͒΄t);N Ȫڰ2|A/!O 2F rNr4~]}=WBTT8-Va:dr+kkϴqsIx/%4͗N;wp]օ;VS;Ҟ_s4&Nvbы"8.<`9`3W{2LSx*"b%OK`z`_{<]1d4]ȃ ._cx1l3U(_:Sp.=3ܔCC'n* qK(>4Fix{UI}rTHI9쟠6?yg)1jW$l*5d>і>P:_qF:̉Ezg>۹4ڞ!=$ b2_|\(, ԷeKl^ & XѰB5"5H\v~)8BP#(җex4 Dugd8Z-!\[Ȗom>.XE:J>mA5m>,!L"Gl<3Ym,\n4ɇY&ƽQ1dV촇 q!5 I^NJ!ɴPdqvA+."(U$JA,Jg:WO8[3]+_+?c] ~j;vYPvATn0nN9W`}ՠƲAנxQj1 b1i u$XkMfvQI~;FϩgN}|^q0s*hzz@{iq]냕mD[)"B aY6KVL-jJryD.06Y4!#̄ aһu`*y:߼B= m:PqbpU[zgk^dib1wة`IISƌ,5Wx bjtx0~N tlT]U :cÚڢu8mdkp2]iTUN$v%&x]~j_5_td@s7Zr,meuh߿t 蕜:FZQ;s{1ٻ WCۂ*bgYZ f " "f)> /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9%]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ex@hIx㭙~~B7"YGf*!:2"z!o /u 9Y,V~hZ^fn\R8^oL$]Vtk3"Wt4߽R< dֽYNn!+9MNI1("MЂ_$ c8/՚E߳{(*a >5~nK^2 =| 6Zy*3'*}R3.:>V?(5ҩ HGk\x6ymKNl& Z"[hxt舊F0/A0:qˀǢN/ًR/0BxKi*!Q,!ɋ9Ł骦ZtՕ]d֪.\)LaeX-˿en,.,1@U0)ue@?m,5APjv9+B'z0yp;ŠղNWyOW Gn7^i+%A6?) bA ̡Mq3M7σ?^%Kԙ;B7I}>`"5x_\vgGIwy7꒧K;=I`{-HnYw+lW"Jfe~[C$yt$Z|nYl)Vпͅ^g?'ze4دgV?i"瀿#]K}nJNaoV{ܨ{/^-:DJŹ:!oP~lVʑ7NXo1A:riʿҮXxS,ÃQ9!G:yA/#1c←AcH;W=oj e *+tQw-ښ vYEEژð?PWej(>Ia^z$6u=p]J6:4Hnecw)]F8E4Yk) Ռc|oL&n_tܬF@ҋpQ1n̈́fIq8n 1kt3Gﰸ~>lrs uIo RVہN+_`/[BE^π2R@&@)qZKS.K3&JUCY[٦ݎC|^ۭФ|< 6"Q6Uy=3eғxCux1B T rN>Cr!Fas,TVgQdZ'\+FiKYFv O$Kl}3uavw%RQ;F~ϲ`_rɝun]NNiHafػzuxhDNXǻ{`wP`ncN-'[rixLƪ=*w$xA^vYE8캋|ݹsF|.juM4u_FyƬOaiWGNca&;ĠJ||EEZUATk<\,Decn?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\H m}%ol| |aά"U04cŪ2,rSA$窿VY8B~{BS)&F3KlՆP|'Hb%p^VD/l5K'bN$ճJ͠ɯ\ZiU.w12iUF)ZI FF%Pvt"2)?Wk?VqCE8r? >2T}[Ĝu^E RɎշª / =N혀v Ri@J$:M;څz~׉Ľͤ&RU_l&ÿ߄.d_rCD ljna񑵂a<#D)ŦdrN~F`-&Fif4warf\duZcM\^C2l 7"syZAuyi?!\:hZ<0mn.PZ\Ж#ClGϚR5YN*]5dH\k;:/+DB‰R-O W0+Yx3rVk HLxKѼV4OMBz+:!,PVq(w%mÜ5丼!iJ1N w 2'aܬI U>В7k^|/c~6U3Cvڻ]A\$W=uEi(^ɫBl wU` 9f(%#1.gYZ %b$ Jn6 } = y > b#i o + JJb#;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 </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@ V:栌 r-ogCQľ[8}p7շ?#DsAD.вL_v qG,|EBawHBM. !GTe>0W]m`"( ub,|Y*A! krx qz9_CRyOS1(, R@0;ҥZ@[(}kƍmiHh %-n"H{w}\ \0q| U"a8NjRl "bbZGuL^jzVJ_A$Tt 3~ȴEhvf?5u%+P;,LL=Ӥ|>YWw3\oHa<ˣZ"f[P_юM+9%u2P ٱ %Cį %QfѧWZPM꯶=Ȱu,,K'0#e2 h 3ii~:{IyzQ/D߽42@ jYxM0ڜ5 S3EB73`@%./+l UDN0D};MK;J>=z w¿#^v:" YȭmG4zeQz-sdc5C,|fd:< .h+_obu2|0;}CK)S4*YFKЈԋ/ SN!~Cr9ֈ#EkBEsQl[w_mS}\simZA$>n 6Gg@W- $! mّ]"Fa_h l3TLa;E1EPHt}ldeGlINbv$^)+))"Ny-Ӏ݆le2H(J|y6M`[{K[j4 z|"`ն0u{˭87RʻJ bKjw!@Gu)dಕKL5-6oUZGkDO:<^ X0zC8|\M 1 yx~P`[~M풡yqGn?k-8a*9˪Ԭ`^58dÚB}+d+;sj[ق@: [\V=tJ*\ceGd8L]G\XJ:.G?p pvv"M %:;>?PSN ш_}x-GL٤|{V]"ȔCd0cSߑn_-.> yy'D!DMܽǞ"#fLKIs#F]IO@d73oԢޔ$)mV KE6a)M[W J I֒ӪOMս]&tp%ʵ[UX 5ZxI{& \H@ir#Uэ.#{ 8j# '[kPݖ@HL7 YmKk591"N8Ɛf)}UbŁưP+]:Pœ'JIHzta.6ӆa׆ۦfI+o;CxJq~h4.}/,m.h> hOoo±r"^Ŵ%F,)4l|<)Lߑd|y()lLr0#oZJG{m7^C =\>%$'*sufc҇]DxAcm^mv瞷%w+)356 0㓈e;{a3P8jOaܒ^kSh % 4: nM#zmriQ Oy/c\7+ pܺR &s7S̼o:wKp^ף@93Ȅs]] /3O /h`&>3?,KZCՂP m0#uR|˫ Gg kVs#r5 y[ql;I@#NВ|czGFVNt(mx{ۿu"Qv]\_ =٥HyĶ_P(rGrۘns<qؿk*Laocbp^,م{oX`M!1q%#.V~j9:߆ *Sp.>'(Ŷ*\0u(юl:a^ѽoVhaޭJh˖躟Bx_.^:g?28 )ջ҃ -<")Xn %S/LG[ū"̦?-K3vС@"pC_;n:{hC6/ىo!fg;uhۂHADq='F߻-2P_ Ycݥhwa(d=ͩJډP` S`FbY`[dTU1F ν, U<)s .da`QI}CnK_" \GfPĐ*ݘxq%֭P;8 0fِFQ:3}~bQZo ^d*.+jNFcV}Q_WqCi⑾gS{8ULHC)A^vm|SxI pj+fk-%c*c+]}G=1d y]7CF\KE @ZAٵB$-*EKGo]«;ѳgh ̏́s1ecYc|3dfpʰO󐓻l ܾ! <^K4uK\[1SzwcWh\QaYeY݂OXȩ; DXPg^ke 8'n1`Ȼ 4!Q)Q),dW0yafD9 c't:"`q;&ooDP'CB ʹ{WH2A7UC<'ޓtz^gBiXc +  A_PzZ(_ЃqRLTB=/^6Doݑ2scJ6 f }f[a{+p*D ✟g 5 ]̀&Tmx5^×%(%cɤ\x0zYlf^ EQ(NqAEy;D_~p5rݾL(G⿢SȒ%OO8ſ*_;MkW!i^E5Bj7FYز2<zz/G/'׼T9w*m{Fm MKaOE60i׈rT}&eJ;؄МžgsccXrwdΓzqUCHr]d)m.Q:F,v#\u4*?Kgg]y꺇Abqu`xpq:Ԟqb"HVJMjn??y] !iz_Ǽj -%[,SZ)U ΨtL/fOr/K>~ZD.{~&9XHZwH}$xv,YuY'ȲE̴䳠5 %U7v"/>ԨNHQ;-k+} wםR{-58yf<Ηʙ!N9eu8LѣrVutR1| KxѶ worGW 8л~ƏB(RgczQzc_;h/ۢro 4QNb.n˃xmc']7P6gԬ*Rs ̝.3Ա4\Yhd#F1L`m!qbG) δ.-0qyv*Hb[Mqr1 T*:u݂VUHu~o$`p7'ӑ:CzZԄޙETȋ 8_sثo>ږ#NG*:|(C3ZHt Iƞ/ (!st=w s)4D١T_y\cx3H4Uk?X֋ foѴŸ @,XKzR[Yry|e L=AV|{>zOEeI}^UO6yVa~^jZU0P=s,9Hq0npR.TѵqK9j?IvW /D YǍ%\Ugb:WJ}*a_Q$2ʨGq~enږዦW:)W/Cϲp-CVr΁ϴؼq>k3:r:Nب_ Ę\-Yhq &go~(^NQ{`as]Uݬ}"HVdJ c@mQy@G3kO:Jźe~`J vQ^ x0Xj .5a]f]XΑwJ(oRH@tY-}C<17/)DH1p"1׈3hCy*Z-oLR93zRAhS ZYH[ i7C!!W.<5^JRN:!47q!~1bt x]]#+;1W-W&"j@h0%M|Vx'YSu#&!`#V0^"" T-YXe)qtaw~5b![ Qm>gQcMƋ_bщTg_h<}]2pɡ 0vT6!3!I>ɔFozu 1ȽhB-_8u$Ë#QTO _L z{)*4 Nn̝8cQEkaO pL\q | i!&[p5g ,NǮ䎭'=!tyDo6wZ0M[&J0]E/b7] 8#a,|zZzt6PJ֨$8_0eSњᴒ϶e<!L/&y J`aRbiGb2kvСàwg9nSQWGQT(8To`+&Ȍ?4&=cݕոl!APƋ#7sL끿ύs* kw0R oeSm2mPK[(SnD)Y,`Ia6Ińup%>E{$EGܞ@omfNl0k)v{@4,d3Z2t>l4^Y"9,$bʛSb3V }Jỏ;܂iT -f(%Nը|)-d [kNnd$Vqf_#i`?FA":2yE"rt0S=&MuĞ~TR3׫(d{-r[Qk"ߖ ZHR&#,CSsSNݔ9'Tp%[)pО b gظ8,=ӆVni{\Ȫ3ݧ)Z{sd5{&>u ҸOZQn1= IL6f2t5BgQЃz64\ `a$c$<ޔ*Tl}B ۽Mq}gMz=T#v5V('"S96x4Tzͭr>h7G%PJ+hFf'@NQӏA6yBzhvm)}K!miLS8)6D n!"sygU$;2 *Hzw3EQWqytcqJ3a&lq%|lk@&`WwXt2[ĎeNf^FU^YkmO>cD1 iV[r3#gO70C?s\Mݺ̦_~#a* -DsG(#ϔKf)E!MaT8W- x h,s(~R1]_5dde?Z{RIFI챤\k&jJ(uF; *[C*y FFx_DmsXmf7pc\悲,Ee9fU`(ĴwdK:gb8Uagl$x/zD]3 /!C`~7 }$^ܫ: lk?3o5.Rft~[:uY7UuTB |>˚T cw}ow:>oAĦcJ:3 O;̲k5/drt~6dę~pnؙvΧAcrAh<R4if :{=*)FV}1iIL9=ABv A {NռNrHe9:M(_9,}!dH XzT Ќ|t\hes 9=B;}c0V+S{ѐArO!;Me.Wq{KwKnDcBE9>øx`ý53fai22 sm煉gTw"(k0R)Jgm4t䷕8^8Lאu0{me1[0 Z".n?Tn蠴ځAd>Yyp(qBgBo(bUBʘ-YA\l @ !%7.M5?ERwd'Ahc⒢ D[ZE=CӊG_q8͒N=V*~;џJ&2X*cAahC\?.]F|)zu'k|␿;/jWhG|n$ xJ&0 $2XSFo16Q?"žu^|XL7%Xe(UZ⾾:T4?Ѧ۸$՗b6Uo wb. Bu} ~(AI 5IU [W}=ԓ~V.T֒ɌfW~a%iOdELN*Dk2MBBNo\%ehG0Jn~'T? i+.$/Lhp1=rizq?&`Ddh,:f3n\8vmg 0mȉX>8Cܲ˕a iX3?U8=&#cetܫQJI:y&qߑZc"'L<'=9;mчM=p}?` {3.>@*UۖlQWp@gմg{x5abk|r狞^ceH3yqr(׵Qq5g; ͋鋛?9Xb3zCAK-zqcYǰiܩeˉ1lԐ2;Z# r!ҝ ;YߪݩWz("VP $L=v??zDC|W'0H3A>uK-Ĩ{/!'554wF۱3 G}pXw#.c1|`9#gb[I;,qJ$ =& h;1֋m`jmI{~)M{}Qn:sB'eg.t2KEo- .рa3|Ĭl,4(w{Xt/_l(X Ϭx+JfC6; , Oyϗsvk71e n31R6* ]` 5B>.g C館#wMg0]n 3!m\ *XU{Z~W>K#xv$KdM;%]EoC >N4)g?;aénv\#3 qIɊ|^ N+"kX=ib\t/7d8ߛgtZߗrF h-)~k.*$R&%Sʼnu!lhwyC/X/]G^l;ׇj6n9BPvU/ЃgJ)leqoJb'?+%* :!dvg]R\CȺ8B<kP2z@Zzyf\APAOۀ@8*aBC}EJszqUE:}|kIeqn]`Y;}*Vp0|#0Ca$I>O6B-@"։'.O!xj;)h<ڬ(EL8Fѡ wFb =KH0$2UџFK i2P֚.;~SmO3J3S njצLTVsxwPx!|Zއ Ge}| SJ +>7\c4fA^9VVLPPsܮr"I9`gYZ ; 7 ;:B /G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝBdT6*dF@GZ󖧿Z v`瞿xWe}'u_G檌e&Z ύ ͒>ZsNyʄ/).-;I/9M2H>m-tH?5w1 7y:B_`>\kaKsE 5W4\RQfmՆTWϭiASAJG[ǡkkS"'ɾ[p"f`ikBҧ& /<[?Gn8U5ۤz% MB]!跃*L[#[IH7]s@Gr7P*qn:8 KCߔ$Ӗ;8TWZ*L54hnmrh]WcO @32b<ɓlT?u_tBڌwZ/cG1*_|Gꊒ0jS\t}tKO*X44 ty(i+t ])%%[ ޶Y\X;|ɽ˂ȰȚn&nwZ6% Q,r4O;~Tu$IS 䶿;SZs8=TҟpZ2V14]GۘeђU_[3 $28 #+Rf)L?%\ t/dSvtPN$ (Te*S,D;knCtd@(S5[ cce|$4^km2!lڎ Dƽ>dP'Jx¹ވAU:. ւ^=ZKThjS)BށH'6]˿QRg_F춳D"y\l4,Yf2vi#2T1>\9~ffRE?\C&yO0B6Np:?샬l.LA"Vs:Tb+(nTYd[r魴J5Si8ֻ>ޢ %W>R,R2y5,Hou@3ע*`벡!I]vV؍Qnm?)@x Kr I0yJyNeHyTޡ ش l D<i%n b~x>cuchAB cF"hk8(hS# ӀStUW'gcjG'SMvzjPĺ Ng~=Pڛ?Uy7` :  mxNWX^6Kakpn ɇ Vj>ϣ5f O{8$G m;Ч7e) wGHu/룿-Q "+7sh\JH9,ܨjdI5;,K}1)|ҁ5$v3"GV`Лp5L<^ܤя;/k@{y4q4G>p[O>pry.[_m) |W&s =KGB oMxל`K{5}! xzZ#5Bruӟä5F7`qIUZ e7c4{()yѝlJC ׹`\73laxU7pz")!*=g(rJ܎hCgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! A]·Iq n[:|&[z'yO&X6 㝄plP9GZŦ28`k&(۞T/nv)hv(rX,<} VٌQPGxn!Z݁,t ӫD qg8H+ :ť [S[ :q C` Jt,͞65΢4)Rgǘmh{5Y}"7-r&&_xBJTIyi|+2 ˳]yp900"ɤ'AC2 ]8q=u i OF~/}aG9"%kM|t706'Y]j(&WXۉ#(F *Gd&a;zy#6{pE:D`yCGvûlڲW q?xuȈP5Ag۬POS!0;eJE-K @*HM8_\ ^Rk&kDO ^ɼL5n 銆*RȔ~XsSYX̄,quvb\ k5p;Aܭ}$+.ahí"}E筓OMqLɴ~"S0j4T&+v#g<)CAmPxٔtl7ҩVJԮ9^y~ mx Y>bpZ=Tr wv>RFQwvw, =ښF LᇴNEȫQo:wuKPcs6`Py'OX|=^$A,1d;&o'w|"e۳z$Sne--O4(Vkp `O(TjgidpY/KYuLv~9z_LY"{(#Ǚ;]]Z 9>@`r8bb#4UL/XRn.9]xstU) *sr9vՊE[FZ^cTVOO袢(<2Id/LudQPOs]O*ں #qt;#)N2]!RiEzE''RnV*LaTޏT fPRYG#sr;GO*֟b03^.IVwHŰpU]J'i '> CU6uǜV/*X+\-$xgkTpݭ*%m 4ʽMۣ)^ vf}trE΄NerOێ0_四0(Lj=<Յ,Ȳ69DzESs(6gƜXV;Gnb N7u{]ڲ^JwID~Sfʥb9k*c n渭V:ƅ1 @@߰SchNK`<'8r=c8uա=+6ʮuW C &-߭q^v0V8NeIm~jKdvB08 |-iu^BJ`5]6JB~ZgǤ*jD Ȼk}$**;^;pT5MF?trt A=$ΰj5r5\GW,ɵVԧ YQ=Q -c\ǚ9 @My-B, ԗ Ö^@Zqb$SQA6lM 7ݍU݊?ߪ圣 8kN;5ë́WҸ8x;{=|qU(F}9E9:G$ -fԻ:j`jRi H~C&"'KxdY@fϖ#]âŀZ#ͯ/ֹp!EHWU MǯzZ5,͡$b' .E^I~7ʥ`i`)!CS؃pַ3g+qO=.I.!^Q֏*/.vE* \+Jի8E &X9El" )raV@[⮣N{6K֚Τ'%5CS·Յw8Ъ[**;[bJ4(ڄǮ^#4]cGp2t0@;?G^@ZXڜz/sQP#F<.E 1R"";:|Rݫy+壦*h( StWae߇Bg]wA8t=jN|,+]#ދcM川ov\&WJmm "W+${ PPReTOSthn<)$L8X[s2Bw?-tB5{Ҡ4pٷ +,ğç=Xv@"+L>ѧGn?E5Xp?bcͫ,< (g9Es~m\|T3ba(r5!ٯMkdː yڿ.k辠1{e·jt@׬@iOW1gkx\u]L/egaU_MR0 y ' :D @ 5]&.hA Di :"]7Rՙ8gD@1is|& kDXѼC$z[i)Fɳ%^a]:lL^YKi`av[B@w͑:?e!N?cbovbu)[lx"u4fb{86=@"ޏ %<{ёԟmf7 %GHP!Tiw[%A?ozzt__q*h!zRCH [3ZTѝ*4E])ADLBcuM^m l|HOEVAOaп}[ xL3o.O>+ͧ<5s}.8YD^gi=2;4<}ЋGB/ra+CJo!~5CUnvJj׻[b -@WMbrw:GL̻NII\ =ǔ2)Bt>kykF~2R0s k\jS:*f>"i` PMQm?8B37_͍;<.vq"Y$'i\fTk̻fF)zn&kCȂ^њt̋maTM;G~CtW9 IGV{bu_]< ZEoK1Iך|&:~4#|lڡ}XS3eO?Hi;b̑6HQEg{ٗKWN: 7>!] "A/flcCrGwR>;aGfKj> 4,ϟ\m%5Wjhc6ev&wBhh})R OlY#R F0` @b". }!ɍuRba7/KR v’zõPB2 qqiEz=Ttm%fB؆jpl= s)<3Vb[G/vh1O8ף_yb=yZK?v-A(7Q<li B0?[!sɴhNs( ݵ%MEfy8y<\V`?N|[~,b&Ͳ߄xj?ܒVɱ;-jI]~kTKc91:^}fk6e*Vׂ8E-t~a1Ԙ\|Q+e12Ej{d0^RH]`~lREФyƧ9+>/qv(aנ<[ZWSDF?|VF\O>(n4]|ef.A_e:20Is]{~gMϹ,ݗ=R[܄O(xt(Z\vfPX:HG e:e9+/MĎRn~@ێ'c"2QlSVO;H&CJ@SXiS_POϊ˵!u .pBAVrjX>"^xrN)O;th227^lTG`JIkS+ 2{R!vވ r5SѬff} rJ's[Y.u'-ܦGYcsyԶG`-YK3ti!|NݜtW)j[77ZH^ GfXen̘Bd>yV[|4\LVTv,R\87 \l' MsR}v&J dt`ޑBU+ݩx.Xԅ ,ֳfގm8d#Ogu!U9\?`R#j}R}@2BtS ۚ?2[pt^C'kxRxzrBǺ!kWo|V^e[ Upn|b@ݵrmQfZ<[A>sɧ5\Vᦞ0w^]כ__BhB7{9f<ضU^ڡ.+z-L5j% :1ϭ;J]ُ9BIFko k¬9bbˈUBKNw3OE0P< P2j(d3C@ a(t:3NDLsV.wǐZe0a(U.*ԼP+VozMʙHN^]@t4Y 0SOW-pd ڃ[+p*&Ft~3W tJAzB Z; w8ќQAsZ6D(O7_Р7vҥS/12~m}i^UA(`^6 ήxG;3xl^J26lCN`#:C= [@y:Wo<6OUX)IsIWi3%e<Re#NM8WG.H'⊷XPD&航\.HNh6i=& 3M9W?”y, pbxzkg{>ւ3զqE8΁ y;crҎAi ԈKxS(e۫(^ b6wgօU#|HDbd!qkx;)=ϘI( ފ~\[]Q[`8}UƔ%',2Yqh-e`> ѲnϪD_HB g)!>7k ?K)5Hc0)rL4L*Rx ]Z bxЧg gBF[]/ s=,vt.LilSbM4Ls;=A3"d@p87Q8t ){wBp*]nqؠ A '1{]A$c[\H*B 5'BqG?)AGg|9X0gLJט t5Kl~U Y+J?I-=G1b RXY1GDN5,R=zSI@ApM0׸dMgڙQiЕ1 YEfwAyYg/ 2<3[=݁Nf^ω:]sIikSMF~t){R<藻2c5ݯ>Xa1PlpD◔,>JA))ґKAIg""5J Gמ? Ǖ νa H'n4ԉQsQʋgYZ   j"\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*sNm+\0.!1T< J0M:Yuạe)~T1nT0{L]Vom(| snU;k1yc̺xݭ@QiSD#JLq !5.^Sl朙FΜ'gs]?iq"VTV!A_Y&Fa02B6M4i}|r0zc=F3/ʠSot[Ш@~>~wpE8N! 7fPpWD6Y,b (g.W?s#Iv9q {q 3Q(õ&Q0@Zd6Iq@VVVګfFgYZ5F /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rjj2+Z;ҺJj,Z$lQ(WҨ .xnAVR{`%l- EMa~ 8h}&ʭsnOpn 0];i O6gß/~ש|~8XhfeJox*ϊM-ݚCeA"L*FLbKDSR(ۓ--Ȇ(\ئ$`fNG yk )nm4NsgHmxiв-O^ڒ8vJ#gaܾN @3 d@qϭy"%F|6@oJcZ?y76,DBj,֩"H,NIq/P<٩|%U>X)~ X aBj>c}kI>:e)WΗ427u1mtLWqA2a(Y`alkCRڶ p9:fJ?cPI<` \|B4RsiCQj}֕uOð{!v[EJMi rjʣ^" b@eLsL RMŒ7˽ u,>dOcR!/N$ oE0#:sy kCÒeP iIs#Y+G5aȁ 'A#TCR u %F}݅i9Ҍ!- 2r ɏ?emTC1ߖtjC6+C{o2iLIM7KoEuj9]F[|\>;a<5"E*&6ǑD(SHҼlthFGȮpyCLEz^NQ?97c:D4\aH`,"˺%,dnRLT8̶1`uj54_K9^j a w  ЬjP޳dOS O[:Ll ?"Iܵnj7HXʳ?jn.<Zg_wGj|%ȧ%Q{2tB|d+tQYG8k2aQR4}^A@CsgUS b%mO2B+L.R!*A"FeE/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 rq8H|Wm?:8 MRg{i0 [ʯV>FSκl9=j>{do? LC(MjA >aP')y28Ŗ-9Q2̨n62e'2wW]]B|X,W~}m!0Y׳e;^aV%8.=KezP)WS} Od@cd̳0k _ڿ@VKYվBɋNjǒtw ƯqQM"ۡ, d^I-K[qxA<fGwMZ>"͏ TZ-6:E'ݕ;eEvl* rtCQieyxyyXwICރn7( ,-+#ViGg\q:IXzhsQ+J5m2xɀMgYZGҩSJUtJ)PXXߟi|'urI̤XY:Ҧy6.)*:UIFi@UBu51N@ZTig4Rv&w[Snp&ח GtG$<7Wm֕ H<ڎ$b=E^APfj>iir䭘Gc~϶z:ʯ78: Ķ6<+ԗOv+OKPz*m));Gi\CJv)իsXz>ևalVۭT ,􈴉̶S"KjL'̹E>ҭ3פfHҷ,L}ٯ¼GS .LREϤHz/e#iEjԸjV;;inzpZ r5Puз4gt!0} fKs4Hܩwej .@/(c읈c]TW@ G_'hF jv duŊP/|FAE۩FBK菾揧RܙoH/1iI:vҫ"Ʉ|Q\@_0~; vċ6c-†w@ڂnUw4,EiKUE;BUQ$^9 ow,=apRUh/^y:X@O 4&uj"?nx^O4:j$j@g',:Paj&[\Pe,#^USB*ri"3MIJwc <32 r[Myеedg0Xa3wІg%|˵7 ӯg#erv8gW@xnjT MvǦ愫q4gYl,rI@ZFovyK:t * CaL%#\;iaNbðb D! lfl{,Ko1Gr Q=R6A#t`#4/t}nJ9sYssfB=DcBz*X\'?ma03oCY:{ܛGdCš.!F}cwzkZ1<+B !%h&ꔝ`\xQ˟u=C먕®Y=.O^6(40@"8/ a!)*d:Jbe2FƼ1#Q) :띤6'},}I٠$ʭjc 囸B/ [f}ag.An{C];vW\D Z{iJ]M¿ӑy2 [~|.տHs#tR >E.N풴~[m7Ⲿ4]P7}n׽Ivvm gz2T)Ӭ*$vaWpbQmÅ=r9O 8Q :-ݛ C@1ew5nTG6KHQцH:ՊPr'MWД30,IBuVSv]Ml K[\Uy`XYYWE!bl[)9J%䔘HrMAhu~j d<Ä➺9#t Poeѡ];{KSd wlKfנIu8[QRWZWWZ)^t77|AS}>a:JX>j%޼T8ig6@-)u\r|Tb:/`W]?2ADj_Y.`ԇޗ9w'{|%Bs JUfGEBv&m2Т{, {_mOy%/m8d ((#s˩ \ ö etn jKf WpSZo^\HV̓\Hp5,F2b"y-6.~.j\Nt~a]Çi,pA*[}J fXV fKc.t+wڎPbTB3iٍ "Op-2wM赡R(zKY=6_0ZNJ&vsJPZɦ!LMCFFRN (e_9D`"_F,lz`J^[W,$RyFѦ & A"/#DRqXsi&^x p2}L_$W|X6ጢ H:It$#4&llPAqЃWc+,t)7y"`G:G94;@ ʥ,HR2t0Oct{9'ˣ[} =3YX.vuJULrJHs4M?H7L~~M& ޯL?M TBczF6a-kTh_Ia^?tb\A4B8#x oN3O 0 ,=X΁-=Odf#WC_$QA,t&h }s!fc_[#e :7M|қ!drv-"&l1og*$z;G/)P|FBt4kD!e˶i,5^uI4T&Xq@WU/^Kuv^W +tctj%IqOӘc)B? ?zN+[s(D {/6j  Քz谮 Hɝ y*2[j~jVt=S=)6oe({%J)Y2ֽ^7r4Qio ZaҶ1߶ȫkb=ZV=ɹhL@}"SX2ր}Ǥwݨ+Buw`iϞ,g=ަq\Xz{dM3&3lnZCB {rf>[à(it1ҝ -zQ~@@ ˘1\t%4 @d>c*{o wxqb_lupmFr6DrLc|ttA4͸FҾg$' zMDDLMeْ:Y pǿϬtSŸ [QI)6˛w֒ ZϤ4OZ}M:긶m`6tA916 Dl?l(ZW^D T|3dkU%ցgvv֘Wu 0^42~+?eZju *M :_^^gs,GkrB}&t[Uf̋pY4OL逌Ird6 5Z_Knj戧ev.-jbHM*< ^R[I,3q{_ p2;>~VVh ~$덋O8DՒLrA5qBepԸ*8!W/rV`Uz$Ot`i6QHj2!q[m(HCLlT˺ڊHָ,{Al%_B=ej?u|\h -evc?74 鬜oNapEBMS6*txzH)vN$OJiU[wP[qp"t]ǹ1=m% "f mJA ?J2qn=2Є9H>,smz% `k0+4x"ZΜZ~5VTAjyYC׈Kɏ6>z;ʕoLC#Kﻖ7u6~Ga|o{֓BI| +JnUAm~΀8mM_#*x&.":MʦX;ť:7:$~m@ {rE!4ژҵ^#p1zAej})h7S& nOZY_ʱxp-tȘ2lk$+_[u)vx8m"$mԆ=&2>w&I79-9LdbG?g@)tJ @+sIq㢲uvDHM{1] cOdIт G팹`s)V4pnk wzⷳ KgNC }'CAF3ÈAiz,t%GYc@_HGk>*v>{Ka7=Wb/H)#!ǻ5XKNpkl?WKR7Q!StK w?rRjx܁Q~. w z&:mp.g/O93mAD~1d}8xGgΩ=7i#)`|N&1*+mˍmJReLTRw[ 4ՇW6Nѭ =j`r҅":l\3vD `~=&%M #i\, |vYKOO!'v܀=_SğY#TvHLA.z$L냅~&]EM{MWM},& d;k njzAJvO;yB#Fd?3n(S3&G ;__OII-&P XŔ4MY, ԏ#c6|! 5 2tFknf1s-vV́h3Ы^&^$?$IաP>qw8Hj3, BQsm 5҃9kRaW/Eo zo0]6qk4^s;$ď46鐲c^DBm44j^xwcHiϘ%6osQGz:uQqZ ٴShD$SDW,f.Ve6NQ_h&U/Y=a[E:W6Ԧz2FI0Uv޻1((h,0Nsx#EpJD>^~k6/?tz+AA+Oe5c%0w!A׼ 9Dᐂ @NYDW ]275hq  %kA(XLe -Y" G6#)KvR  rQ W:mpWjjE3)8Vd1v>ϠmcfnI>+Fu ]i XX k"m]5C1{Gu:( A -^Y]-4FQtjߪ>٧K/϶`v?gq hR6BŃx s%3WuxILA}:]uuoi* jރt^eMRO$뱸-ṻniӶ]KV7Wɻ[7"iV毪].OQ04~,`Q!tM"wMwrA}]E&ju?e^F|g16yu'E`'I3DW@Ж\Q7d%8_41-@Uw }ݢK̢-vitIw|@~uxbdR )u];À?'TK s$Frhw|\YxWʢ7@q-ڱ5^%^#$H+\Yj8T-KPEh[/_Z^x/ hjሐ6A?FMtg=_!g- %[+t4S}ќGh4=A{ufJɪ;2av Ar;MC\fZUU(U ::`n1jT%W>e f>l嚻,2Vzb=@qUe%Q:]LAdf?NDsfn?"V\MhZc+gɉ07齻h5ia|g*7%߸JEБ{GP-Kuky!Ez|ǣ6l&u_lE'|:22*VU|n2}!00|ؘiV5t3X [#`e*KHk ms ۤϑjw%pz$(?DSf@E%V3E<>bEO8ڿkg{Zf27έP< dp p/"B6#⩛;KdlHbW,/7X~p8[ԵU_T[ױ*Y)ajҲ7sIB続Aa3a[\}mIܡyG ~?~#.yJ (Za(tJٜp'**@1fȔe~0CKd5d(:]S<:/RR\8\eUU.X*O: -2q.c,^մ JklM˙NC:xԔ5'X/=5m aQLV8Pskeǰ $^6/Gp}:VHm+ޮ[;OCB`&ᓭ}s߮6*^i=ywƤze ?C-sfZ AR?_'sm\m-}rFf )QAf&Fje4[䁶[POfq/*.IQ+ cA|9=-Ha(|)&[_obv0l1ܫRo N7o--@jq<9 x8ACKe?ph=>fr.dPL?mNF]:yۓoH䂵5+*)c/Zxe tQm$9$Rh`.ڪGCF!~8$Ai<\[2XASZDX4l_bspDz-ogYJ)x%㰉{@rLA^5uzMhpAE5uN]`yסyZ,%e\^ oriy$Qz5nʮ(, cq@MsލX{Q6r~Ί8uT%Jּ1 r0IrB77\PTMf;4e|5"7fNBĪRۄZ?=`ӅY.N)Vv-:$իw'盥g@&Smu=TfOw'{8T9S(?ۅ$%!qye.c{v@I$7xu i[!msVa^'~N܋ňlow8r%7Bg^E qc6}znרc⬻ێvlԫ9-|tarAg=BT6x3zӭ$Yp$ǚybCh+CLFf]y7hehZYKy7%k7*hYg8Mlrx(< iK=V8 xGӲ)t9%63@w3fQQwmQ%=‹gg]?:o;1Z[|?Ccf͘;H8Γai->wWDK7pB浬-}[".כ)1]m]|bFZ::&ޏ5~ᴷg?Ơr_ ?K]cRIxFy{tJ#KcioX(pR}RFy9i$m ci3=b4Wno:7݂*CtF+pa&):ǜ}.W}y@)C[C8"iP+C> ; )o/ΧuZJCtOzS3rc2|y=='DSb_.B.#K͜_V:tѵ EďNn OuoHC qG_LKp$r-C> b&ِ+ԖZ}-*yo^x*(N6b˫B;&muT.d,O3:nD̓ց䡾ȭt$*=$綅]4RX_6!Ɇsw+DlVPL::&=$DZ\mӷfّS*e_$ֺc{Sb ^x6_ AQ8h,i =oBztGۥOpDttwgڋh?~]][iZ)?T bt| Q2\0/nS <tmw5?۱8?ĹӉ' @M淑Mw:HeL 7hї m샳! E A^13*,wW3g, ﳦ]UY&fLYI@>4:{}-ꄆBD e?|7B.4@Ն)]== 9NI؛j.}Na4MV|=ᢛ_.=3 j^x^1VUL&{N𣗀T灠.ޞ)kA:J--i} G2,( 2Lh(n<R. -6 J,AЩN=@@Z/TYxp=Fak!C{7n+tyM@h?C Z_0s22*T7LjqЪMInHB{*.;ZP1l|-OUHx)QI<S1^VUM.z= #NAs05ڷEP24A 1ks~nȅď Pc6l^]yRpsj as4-*!WWI2&R̬dW"aԯɄ?z)3N0XibR~3W#/׿41k !fb>y)4In"QQZy[T -_6ʹGX܆ @\yb B tDs,=;:2(ĈX(['i+ p?ۜRqmDc2$D@|SkC["(MGRV;1Бx4lAcZJ:Jj~=^ltL4wjqyڣC  6’m<)!e}9eLJ̍y*%i7㶐8/%iDhHU9Ve߃ǹF,[`!:oZ5)ǘZ2⏑`T="}MޓZ?W>5&+\])Ol{$_Ie-: 0 JN:<($@j(cBQ|ƚϾ 3,U4gR? W*RE+zV7HA.<d`R sPB@Scz/ќ%Hww.t ͦΤo*@E@Ta Sل Ĵa ݌BKp7k2nRa #; W}9 Ԙp5گ Bm'H3)۵:> r ;j Wп>O]WALw}rq<_|s Ulvh&p*c8$oJ0áT߇c"3=P\7s-r^$oLٕA}.#}])MR-N6 ts8G=d~q'Dz jkVb}HCu,c@y$ \D(6s@agsC*YDIl*Ta4;D&+o('['VWbIb!"r Փ0P)C~~W'ٓ>y+'2`?Z6U5c|4NH<@i [Mۂ,MYv1PdN {T_뮖3XɹftVx4C&+N+Ua;f&iM(Dj%=!&eD[Ö6ծx^NRU ?_W(%,mݏZ^KLww‡ >R%!,GteHk`dY=I̓_wnv,1:?#rM;nkmayC3.+tKP 6|w4g2͹!!i YAZU0ɯEb jϔ°~kNf ?qZxxMLƉ@GͫSO[,DEVNɫs޺܊뀌M=@fF)bt>Mg|e*}Ye1L(}uF GOP[ z/z;ל6?] jK#W{gYO?VU`u8I -KO :wDaV8i[IDdq9W!`-/ӈOe$ Y{g Y7J8c&ęI Ai$N/NyobCw|$EΡ:"ܭcn]֬g{[LZKckRaEÿ́y.Fxgm}5H9p[ 2)~UB/dѠӫ5qBĎB2,x~CoT"~/!JSFog$!2JJ͋b^cB\6i:_倇T.< AZEgiow{4=  <ٌQopU_&m>{ #9!('jhp^-kA\l$\ kȆ}DM} p/v-ٺY_㥵ѕJ`zxvt''w09 5xiۜpb*CM3y[HxIsoBRYFxݲrUy혮ʃM%S\^v桢 MPSt &%/}tqwZz\,?"mő %ȁW%aFl4%5qZF:'{~sSʸ_}fM>J%&P&5Evkkζ}wq/xU3 xjd0XVyGC (zLߝ\29xnKj+B&Wn+6Q t M%s"6CTi1ڑy& M)Q.Knj92k3 ~жՑpӠ'lQ QƏϪfmC4/[/k5[Va?ɇ[^ϖz42.  7 Y G|B(;h 쑞@Ҋ w pk7evl.j,BgYZda5f296ef705ae8e2f021fef64cdac7e84befa1da45a2358f19134d58d1b89fd101453cb9f85e39c f7eaff5ab786418d238fcd57f0814dfd3bc9d8c8