SQLite format 3@ J.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 NN'/v\<< ]/ HOL-Proofs-Lambda:threads=6elapsed=99.517cpu=116.612gc=3.7097zXZִF! C]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬90-c0uxSMBsmm(=z"mfpbV5ƪ9kFxSOO|h&ǵsQHkD02 H5|d;FsQ$M⪹lj%xL[tvBm%+0a-,3,.N^$twOzRXO|21t^kw.8 B?c0q֪n_qt36CS+e|?"Qu$%D2wfź1mV. ؉cA!M6U6JtjwхܚRMu(nY^frIl q@ᛓUBb edc\U֢s4=ZMBG1K~#ʈϣ( Aۗnuѧnu;YN:8d7ti v3j' QB6ʂBYVPjS@[8!{&߭7="ʇsK"-ޚ[c =+ aFf˩z{f*2ʯgYZ7zXZִF! 6]ŗXi%:i.cv9]9_SiZ?Ϗn+YC`dh=\ܦ'yH2IZϚPwS!mCGhݛ eJ 50%(̼ؕf1p+-x:ğB^TԌR $[ͭy :Ƕv[$0A֓.U$E}U#zFz}{n_!+4 2')LJ1vԎX<#GlA'`,Pbt,o*+0S/ޗ΁f[nK_nܦt>I {hW!x>!}knV60GLfYaT$4ʝCs_+-ԇ8 9j'<8yT'P} 8"vrPpr%Rk F?F.m{sĈ6ڝhvКDY sn:]Ye/O!CL(vHʯukS{H6aѽyѿߪ(KOYf'D&V'<QK%eRqrYqlu@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>ٱ ,0DFBB>@<9:5311-.)*%& "        @ /  y A  : y: ~D 1|>@tv: w H I J Gk~A >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8A/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup6>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files5D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id4C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations3>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages2</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup1;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files0A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id/C/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup.B/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files-H/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id,</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages+:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup*9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files)?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id(@/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$E/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations#@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id>/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup6/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex F/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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/?T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex  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\#$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,u@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 ##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:sE39ugYZEҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LHYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^Φ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}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 ]] /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 ==@ /=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ɖFgCd7YKlQsێ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,57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ Zg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/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\7c&jȋz\fҙqA ݔ:50)dʅ#Îv)WX5TgmT3rZ'rM֎9۟K C~DЫ9Q:LڪLʞV4b e`.4M{m; %L-g6 }ߤiVCw0t)[@\Kٗ[v5./ hE$h(+o9?Rĥ. UFGrgH @>Wk78 bIRo+VJ%w=zDA$UokLG` qzik@ PɾrوaSa3:3RKA%\aH43miz9FEHN98gml3E&3Ek4% {N~FB k U'IJ8'$m!w>eĬ8&?!7Iju77jFI>x8p:~kBoz@G}sqZ-I)JApfc=rjj-cl{|UEͽ)V9g_٥y>uen:siK&G Wq_uj|2S1Ck=y{lfrї(G"bm4=n@j+'Ei_}9`yh*]!Jʃ~]H][Β-X"fz>4r*{pNf-D}j,QuVqI|(*aHo8 S:uB4 r2:TWa;@ c0X`u^2Qa0ة)AJ]!K$hiknFə1QWBa#y~lD ]Ψom D$VXp9fyDı>@w/,)zbq\Y5'U }Qi'@C-a!^>|M}vk)xL溿ҋ9;"1ԒRe^GkfFp C"FpY%Mq=}J{5!'Ȓ 㰗Ȏ 鯙C9'|X!iT74]+ԥ\'ψR_BjBL^3XJ~^+ ca݊Gm뎏WmΠw,ґگUM/-G[H1|nʷMk1^J0%nUfߘLذh38g5Vҹudb~(҅ 21MI郈5֞X#Y}H9Wޤ&NB'2dJ{jpt^E&gXGv~ܰOGQ~7d8v^L:4>˟\hkiG[\MɐG _>2#:q[ɀ =gV'}e5F,d|1WI Y_~n Ml|tw4%,giEe5tn CЏ8dq#kݣ{exF'w1C[& {^0]CGi&-ΙWdXrM*"Q}IW iMC4l'utEj8,(vzJy}W r-ΟRTI[?I3Z䀿UgŦQQ':" xDD$^툄Y1LV=֐w<3izJm ?iK~UdVI#7{iOXTro2loLܢfac#7l\4@Z0f-Ztm.04cITOk)"]5 w';T(Wp쨝t4LDk(ӄt6=zt<{*AhC\`Lk|l8=&vA#mhp VN}vO DK%x-/8AuO bZXx*/a$YbYoNx#t: .)H`uqT e&eaS~kYp 񋵶ݖ=/e/ n&}*g|,AX(։V7iLBgA#s ͂V#̟R!zg Ypu?-ZT5ӫcB6,h ݙ/uKŇgYb0WXfC6gj/DxĆs抡FKCzq, [K>뼤qxբMbH>%y˕]/Iv ^-b\ a"Yh25IVVԜ=xɢu`#';2ո[`~ij{SȱB#}+ 1 }'!<L ;hF |@*AZ0/Npaڑk+Rf6P8L;mާ/ǻnWl0nyפ۞$"$#C諗GDIHwSDW &"2$=sߺU4@Cm0~0Qǖ~+k=% 5UhRIdXKz* ٚKPl 1a#ZJ{Hr&m!%\tx6n`޺}=%Ґ={^L>RҒh`:P<+2UJtp%ja oK0(sWHojIt3CO:AX -xIq+L{Qwcw`)h|fzFA>=l$Hs]X5NWP;ka/IӲ ]$%E6DCkYl,Y,%f2kXA͊n?)yWWX~T&"rE:m۠ ?h)3נR&#bt|`&j62UcY7JLyއV\:q]Lp[ݢ`+%bl:vVy^ nJV? YWm>~q7tY6̶sܜ :_s.D1h"@Mq h3EtWB>XŠN^`u`#K: U^Y լ[6d$f-t} xF5ki پۛy`/7z ˈ:^a/( RbNOi;riR*"ު/3%E;Uv-; ~2B 蠥 ,i?#pn),zqkD.r6Yl ]1~^P+T_YBm덖6ӧZNY\ȂgĆK܉CVM!_$"Ie-O)̦iN|VvˬЙEڼɗ'-2YC`['$+ot`y,Bl&bDu5T* ^2NTgvɿۃHt;smƝcH p Ba>ڭvlZEz'džPnx()3a=::-,O։|@ PcVq_& >/F Sx=lYwݢ5ǙYX',M{;-׏c!ǠEsO EWE&2 bXۈi2\?y۵7j 3TAđ, Ч7\F 8Zó􎻖G/E+NTcoDϥƺվ*g&%^Uu*n &k36YQ N|8]7PpBM`.!cWn|e7iX7A7+z,Ii%4i\}%2[ZlEuXZ4BQ3f`% Ho `ѩu'AG*jH Aۋ0b8=QĿFrQцZib{t}6p!n)V쳰]BT-MoBӥ ~B"zS*|_ oSQ\'e: b '.W$y2GsdhLBs˷hFbr_D``jclTOs0d|U;nO1D܁)6a[PCfҥ۵%cz/3R)M3ը`rz: dd/B˴W. V3ȱ~zQc`j7[|? (6Z%WC󨹰?RǑ-YV8Žܿ,a~"ĸhWsWq+-/!}nO!LSt4.c>ip 8Ȭ';`M)DV= -CE"dK`-6GydT=$@)7vkeqz /Z2-VRLWѪ^>o C~0g?`xsaDwjsh"u9i5} O+f)9oMoev;L'VXħ~K@$0 X%c=.0&c7{aN4A3~AIW3 0L\2 _Is&¹۪qSğe2\[LWiq_>\/4P2ƕrutZқ6LQMVDM_vLfXdk37vzlp]a{Bš +6XٱO Z~ .ߒkhBj^>e;BM/;NaI=Q?ԫ M;T%ɮG#8> PC5].xT! R@[d/TMxP?~z涴t#1 7Xw~\G&{;߶_LoMqP ś6Ofa % =G'у+]f~ "h۝x`p'j8'z.YgէK\ U?5Y݉Af~guaq_B|=F*6XVo:'z(Pm(]Na8 Usޮ~c!oqJ`؝ۂ ֧Ў^5`ܰs'z¶":32 4=}Ӎf7jm88ŸWJZ (S XB'CV |( V+zz\?v2Y `?Es$okM>X=Vh.Z[[t^L/Q%ǦXCȣ] M6kksu5";\3TcR21 K޿0qPZBI[aGJ1=ZROi>BOq0ۥe^lޗS-L3X1+M^94V8]ۗVt E"y->8J)5tKh. vc r*dٚl_<54H+ 4DI,>%||Eq!d.k[AG9UF&MJZ R8EGrI:<UU;7(AZPCw#: 찛I*lt۝sg=Aar+"I]"Pf"9fa%Iƹ 7?|5ޝ TtscFMb.173kcOay ᱖3qS6C!0*a9$Ʀзfo!Oȳ7/$w8e0\1^&0 {o6z}3aT &cpjg[C{^Wt9N$zpg~hm%>y9-,B߇u)1FCC]E@ɍ!e`CAĄV!%bT%at,D@;&/H<5E-a\ k>U\ xJ{?9EqKMW4v fTY@C 2eLT@4iд77[/-M@KHk a{(m[ b(,᫹"6$Al}!;/v>+] ,Pm 㢫.0LYCɼG`u&]>TnT4cW 4:c[Rqaj9iN09*ë F> tJ&ք%yV~db(tABp:oy w(qeݛ 8vϕ/V4ژCqWkVyGQN| m2kggJruC&zoc>]k&gG%LluWPaQi*Vg5 ms\~iWRM1gYZ  {W : /7# HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA?]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`b2ܺ!w[8F1}>/YK; V5 f@QNҎŒc]Lc1\.JP6<œv__7?61$ؒK_5YܭČì gFgU2.>s8ȴeRuErUL`qSaVdoƾ摽Q'||\ʉ,W/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id216_/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w\]Άxʆ5.f-9 rq8L1a۽̓aggY$q`hXoX Mgp.vןɧO)Ar65l:*\%*N7Ƥ%X;p[N&wHCOZe"SjsUu jzDWE u(R^ (gqZ~'߱B C)dQU!P#٠OSpΩwWpnYX?ض|a׾Ӟf}qem^>UNM)7i݅e &yLl4a&QV!frS}tݸnbexq" Q]|]2]yUWqs:QEoUQﲣL[ UCPv%7IrEp4F&M3%޹ оz8:Bq%|:NQVF1 zdFq^%m?z*#u/U&qyj/jZ"U_:/#Eu;JhAB%T K}"?oH~Lfƣ,[Y~gYZv /G# tHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝC \xtV]Tբ =EgSiBZvrTBٽ~Y&9ty$dҚ8vMu΂##&7ZK 0Xo,e>b]>מẁ vs-ħ7oҫ/Źg[`97'qu~} hxNB cA`\w,[*AIcV|? w{- /N4Ƀ͇ HbΟ9)+2x[u/ v%^yۮ:E6  H-}֍ ̷d >!m9|8xpNu 泯TkŒDo-0*:Ye equ+cAxjn8ȋ ߴAQYh6L2GNUt;9>e6 b2#T5e9q𘠉 p$ >b= gϾժ:͏an]+\p, =b5p1O\_N9]z2=ju~u}+%ѢfJӜ9W8I2: ܔD1 b)~1WU}A#DVCuvzynx,9A- eXBp&wR&nT<ߴ'UVͩ˨RI.yX)M[5]x3*ޱ0 alARUi%2w0'ZYFr';P*Y^V+ܢRrGQӯ4w 4e,gbt$ݷ#pW=b8Zl{I!5^?.J8jfi* 1Lѷa#B5;`<E?(-s_^j2\w(^wh]i\ }?mHP?3E|b93 QdK1#lk bG̀sMڣ,ZQfldmw |.CȖuؔ6!tKE` yB@> Q:Q aq7{DΤZ:\[2_gyYR ЍVʓ Aבm8ɲ2}Bp~w ,OF5)ʒrųxT5xwEO׮Zx894ZŶ![a٦JsRl9(_@zdpfY*'yYz OL&Y+0q*Ky+3zW~rFe&P)$ LrŐx/emfTK5*2Y{H~@P9@Rrdi+7:_7>%q}3?/ ٝ$b&ɏV2h {w 15X& 2~JK*-] GŪ];> ] "pH9uT{F7TPl3o`PPM$_G#S̄N +PwyLu&{.G-pZ?jh^H~:-9=-`0'X,)*튴 C)R4pNv3y/mjp 駌p禵E r*$O(qPYjw 7Ҽ=qq=+SEXZ9rב9j@YPUxI@z8&c )a5aӧ6[y"VkOg}?MsŃ !؞He nڝc`rBh6 k »ƢgC)&3g-;HT.>9 )f m\SS?ܹQGȌMJam{R2 aˆ2ؐ$6RбH0gK]v l&w#(cq)0F{gk'}D5(~}'tjGmcNmt i?J}zsSI8;F- j72*q0bBh8\!KӐ*4 {^/ayY>8|ML_(JHMTsHEdJIu4=e;]Aֳ^rhރqX"-=U{P@v(}dF]ڙ2<N2%zlqm PxR;UޚwCnT%1t_֨X$ׇ6lF6+.L|%=p鋟'5Y[*ϽDT-UY(u}us'pV_5,"<0Sΰ75j=3xW&`pwѨn$f*H0m\eC Sn7fPT=5+\ZS>$J+CoOT6k|ݑM_EKVV䑰ԱQC88V%8xqpy੷As*}a@\R@]4qp6ܜR-j< B>=W_/຀O] $3ԧȔ_Ο5ޥrV [{ntVɺ뎡 G/-B3V l8]΢  IyWIO@ xr)l;Ĝ6*(|ݔC#cd uw#`%[*,n0CovwY d|r:z.cC0xM˫̂8<3(*w%SP=)L"-u)Ή!9"ݠUڬӥHj^ݖ^;s_wʢƕ302T/J'o_Hka7Jvt"Qw]6^]IFް-Sf7b,%7v(+d-C̬/YK]rAZV<N{&W nyaŊ\!JCyf!I?cS2qϕKޒ˫_$/^=1U@ 1x5* \3\;2Ké)+*_ogs-3/FU_\C~ܲ(*rwcE,2![U=I;ߪ'kr6\$>_{Vw3Y'aBW>|{_* Ϥ( "%Yв>2y&p98&O N:-P;7( fX>fZ'!4b]X LD<lHcD `(OOezd%!f5tP1*= `D Ž Iwf U:H([Ke﬑B e/Dvó.۾KRk [[%cn89s3!u=4Uπ/Y㍀M v;l7DFp1b/M Iv1\I&} 5QSK/׍0Fӡg@^\ $jHD{[>F(_9"8 28 ؀۬#CACscYsN|i(J0U_9䱴z]-H2Β(V)Sb.ii:'w$ZkJGmy!r3c6j+Vȏ=91ygLBlHJaE/]22C9OG(n8Yf6׌B1(t<`]]?owY=Cv Jڀ a#T )ӿ p6?hW-.BhBy`lX^ٳڲ =du&"1"Q|~\*sbp1:=r)l[m7u10hjdh~ՈRdn ={Ѱ,d*Ť͡\ueh(z-m7x;½@m-ASg|3)0h:=xr}hC]jcvucm'8Aڹ?)o VRL5whWC?~<`.;g4EtQ+J>w~oYu= "ji!-sUz܁r?rӶ ?4* "iw!wD?DCA*1G m1V`3<x5t4 w ؚ5G7bjϕl&$( ?Hw֑-UŁT*{N2մB\ 5u-2I)%_͝dlA[G4unȦ\6(f[ bI=Ïê}pJ0,lJ@^-soB;P; b0)-  iZD^YYs7u3 J֛RHKmu. =DEz<(;yLCE+8*pw?1DKuCrԱ/icF%" ^tk~WDr4t߲9?K bvR`xS _<d"fB' I>SMjĘtO Ԛ~g:QF4w?kz`nbkny |aT֗K{ިxUxI,pa)*V[ Akp,2C+[&G5{ 9U,\mJ2B ΫbM]xDS;(έ2*|57gΡ"WZklQ{f` zq飺xRvAGgB2Lϕ0aI Ö" s2=Ay MC-oFb0|Ɛf?>(FFJ߿#).u#=I>WnS.[ժCogd\zLwJpU;Ǿ|laS 5PaKfYBTҟjU;Q@6MSۑkSkY$fZ_qSx#V& WXș`:E{lƢלtKĞ\Ap>XX68I5I*0-4(qw\\>(9RT?Ɗ5.MUx:SM.0jOl.ӽ*1ew22FL+2=MY*gAFgvAæO/[ @'/3VD3 ,Xgngݾzސh܊n {r+Ka{L$\Ogߦ6TrV+.Unm8Ee2K.&ì"YRE[*ںӒ ;ɴsGNd Un(`t;[yX7f|އGIC5՜`0 krD0rA!Ro=?a.|Lr|Cj AS-ZT&xVw=`,me?^C󃎁[ lR|KD^;Bina@HvSgݶgb&&y.),#>+kd3k 3D,wG$\pЯ|^nsHm{ְUP衛WyL;8Ҍ~UԸڨ֢hz^=T}t"pxi2M1Ԋ|6^ؓlz 5t ;s0az3ѲSɚWln@ `{/64T}Csj= pAN|ػSߤ1ʢݹz޳SICs~kn_':ZQ--tz/q ORo w!7AU yc _{o 3 G=dXYv߁6bx梚ӣyQ"͚ rZS[~9{TIWct2ۣY7#?e5JEJR{LoeK.Zkx.N*_;10d5lk27H -X܊é6ÿ́cU\=)OQPpw)o>teH~R.2h0=ٶ#I(O?y!&͓pD6ZR%fRӂ}6F9q d0Ʀyoc {{4%bhPq˶ K7uT<-}ǏZ҆=;A}@a ~_}8bG5v ɏ(BƂU2/a mLS)?yKN(z(F˜^%;qͺpLc{ ")xdmeB"vmUWw:ijVs CjIX7B:/T` ۋ2QN*Y]Gb>v|ia0ω.erySry@y >dP /&";x`=eǍb/Ab޴6Ҵ>\ȧxruei4UX夥7!i2u7[F tʈV?4HvӢKK.h諍¡֖ZF),6[cZ%ˀˆ6JS!KC%2V}0ecga4T&17@6}iNdH$V3A+Z 5c;0J0hQb:}-b>Ǐu 5$B\'J;O>I*E ;,)` JV1ƯU)Hgگ['Qy,ϛL@8ՍZkq_걎5sϖq+Κb]U$@Vce\?:+;oLM%-3>M[,x_y2P?YXΘ2΅3s|J=Jh*4rթ\DV _7*Dpߜ&2iv N.]/l5]HΛ5{-bРiP\>3CG,hur N6Yk˸m-CJGkL#የ.igz.^JQsVߤ#.vlf^輕D *Wh]ϤZCuQ NCZ<ËA;XO>Mxt^|NL)#5gRG%!OO6)5V0*Bo*\fTqԜQgƋ/J~g,fX}C ^95ȖUѤSM:<=.!bN;vb׫ϨXnzf5gJ'zeՅ 75 FޖJ܊~9 j;#+Qف-{9jrKZyYW@:P%?fxxv#i$1XHf)jx\X{7p4΋F%uԊ g̅3+žKY:&:%VGT zih6BV+WhqPt5U2sIJ,I+~DX!c4Ho=-nmϼ1\}4TP O|B,b" )a1Dyݐ5$TڸiӐŹ<QIl|HF'@aO(d?I`(7`C8ځfGJHA+"~:ǐ3c ۃ:/n@|/Z8GʔqWD{@Ӵ:.ҮA  H:%RSI*kC|lZfMd Uc+ksH^-Q[w<@ƴ~z=?5Bp`uD^f@R׸̹EGl [ { %7m_GkJw֘ ˨摃0y<l8S|{; GHW!m)0aZ'j.,Z -tl\^U(Z,2d LI4eWHy[iAəq~Ib%$!y Uc_~]%͖ĀU,$e2CdCήjfeoF2ҧ(^sթb&HUcrw^;M(ˬ.3ɫ̤FT*`Yh { <4LmvȪ*DN 6M_l2Zٞk.ޒ0̌V2O[eeDZ ܀a$Ŵ?Vji1:HW- [z˰fmZ~Vx1Reً >k}5m|/Uj Bnv+p5-x 4 ̄ߖ?\MdCUP7MlqJZ;or 9?dhhʊ{Nγ]|/2vpc3Q<}yB\d`h .(:0xÜ$IB 3GO&䌀BduхEQmS]IWYSp&F?l0H`%1$JJ}BbOV=~0\" Vʊğ dDLQ^Yt9<!*^ї-o:Ƴ'\ Rosbu[ ٤+v6]kOFIt1B3S(n_ V,-' j˛kbyj V aGr0<$;bQ[lJuvZca8Ex5[¤6 7LȊM Umo 1".7܇"x;J T?ӮdŪdS'Gm?Q{oAQ ]a19$Da7JpRGY2,`8tݴ =ad$2J>jw>Q?pkze 2mrXx/vlHvuSb3\yaS2Qf>["is8P G"pR<>_lMz 1A1HjM.fYm`4oT^0|)t5CHhÉu'; ,.Ԏ|p'xR8sw++$E&< yӺl%{>gp5txN_-AËώaiy5q@@_2ԏEEi G 9z93|RBObMB~4ědR)_?]NnC"!Vg '[VIN! 3;i[^HC~LX,B^b9bYDhg!%&1t} }wK-Itdr IE0UQɡzL͠.@Y/b;8fͧ<{expP 3Z!Gj3R t|H?`s1E{6MW;R'$ s[6w vrֶ05F>gYɗPrFOqo:T`dI怚OlMO{eC 2gPv46ZûM;^6o}`f`F2_o_` |fV[)7O?$+eFStPbg4, 9\8L<#j kb|ŖyQUNooCIo&d< MKF.ÆT?YcAȎAS4,WFel#E$ەr%]W!Y X$S&%n(<MF oʷ0[B¿*|wn@ތ؊쌌@#}Cvb&Cϐ]nX}_1U."T"3ǐOdNf?<"n Z?)#?e"S:(pEWV p};é _`IEm)8l!d+v:u!Vꑠ&1`,NY6:1GoLT0 URO#0F?|Bр!\ DnpG,Z&2 tѺy'}_LߑX;&{)Co+~Q*tG6n7* ' M/=+ve31KIu[p=Ar!/umTKCoEELa+KH,Z~dK$7N; H_D>ڠ:F0p]+/-oL2Ɵ=-ښt HVTހ"Ak<Yأ O3>`F[cCMAnT}0ڠh6cY:;4N0<Ju=6(P06S;I[h _N>=(VЃVp>2mRd g/1B&A#hV:kI0vCלAapv&va?z c.=۶Ga~v4ޤ5Gs$%uOQBio盿B%cB=,+bg|ҫzM1|,~Ǽ\.@Bm/ (8Sю4),D$Čd36}'k' ,VRL-d~1(çYOQaD.iͮjf:^̮n0]ya|OQe[ARQj[+fS|F6=u/Ib1X&"/ԅ|m/l[[x q'X`]pP9mEGMV4͐{6~}x ܘ $hߙĜ/ntDuz6R򷬯`OQLcg b*Ҵ簫 i3n{251Xڬ9E#+s+=CAkjc\ sʦg0ftz:VLwVr+Ʊo⽢!@N2LFXkNOF$5|s"h 򈦧ȳ#wJ۩D)/!bpDW@6,>8n;]85Las-4NV~司M55\ޱ UrU7W_2%ʪ"%o3RǤF$}`JXnm0*Ф|!1SSH|n՗@ }A,o>ɻʼ\6TR玸46׋ܨΘEf _(ȭ+\%=@P$S"Je+Z&)? &&U{ 7bS|xِSy"ӹ~DKY>TP|^M˔i09|jYT{"RN3P3Oz@$A+kY j2bf48FĄB֛?~BI]%La@V<ܪE>l7}]9 @ۂ*bgYZ   !7e/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id220_/C# LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;`]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3>X;lۣ0MY>^M'}|m 7\40b2z=,U9%C2ϨJ7u[;}_})qQE4E۽!? دY=4e UQ`vЀ~ WH;t.skNqt\@7,_aRWU.[>)GBvM bHLRZeIA(?1Rl>5%{$<*#0wT{-8 daX5$(|IZN2yhjBc<­\I~uAv܊5hk0?wnՖտ)_qao!`jy^Lmn~ŧ, k8@M'' dkOo,hxDњj$g%TK78g6`_Q9&H89,:G $%%)VysEa& s<GHOz9Z^ q. vwR:ݮ3w S'O'y \~<s6{(toP%< -Eg!ʼnmփt'PmN.d7p034~h r3+D-d+kU9j0 UmMiIV"cRuXnj0X˰_`P'YE>V{gi [uԜhaA?xOН/rúxMmfՊSʄI"kgF9#c/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id206N/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! b]D?7 {?:fH\L8_kuPR"I?< 4-!;C-~/{Q_<]a2T<9[2'A7ζۜ`6VFVYqN7U=ZsTD/YXh7ҕeZXҬ#hp09<1QP]B<_m7Rjċ7v[WsJ݃D_ `ᒀ_Y6.1KP*t"aջНu%&*P@6=7jƒ'1b& N@lb|)ϼшG8RNhyD(%]PM UB2. #IKIdm A2#cgYZr?ƂF6[-gC/d֣=_:FqxJ9x@.tbERĶEH9iC/ gsj h1vEJ^ TB6DdU9WWo`d"'PK%uB̲dbzZOmBV )QEdSoIYH w$y4CNfLQF?%ݨ%ڬ<X%X0l,frJkqw# ,$M@`Z& 'Ib.-=VF;i"geȺ{u րteϔh 8m fB7&G,iI?4xD{~Ke@1{ (EGE#sy)р]uJT5@5H2*Zk 3I}jrIeCL ԧZe7J5<}_v掔6ٷi4'#(V9ku`E 7ܟjxzK\:Cxzn?)\ 톩3Z&&]Cà4aZn{ˉeEnՈҚh[=~]3+3:EzhpVͥqTc!dIhwڽMWڪnW]DwBdI6V. EsXaK}gK{(QRbᇻh߰r'~;eWMqx}{ᐎԟ'*Gګ<]̶`b~O®pLNPYx%u2(Nstqc50㉫f1cpU .WDjܡ ۨ{qt ~}YjF0c u8Ddij^O(:k}Y DĘn)N#3xJ7tU<_Ic&6iei!yƷ~H^칀pPG̔,4.飉?}_eVX^ƙ_jx ]-.]ǰ-m_@973l#{r '<:GM'8 6'5ɛ7wjs| ]Rc48 OJqtLsPe%qusc(5)6t Ӷִ]nzil ߕ:\#^ۺ8!萄i~o^dhVA&; B Β׍Z$b^*  n"U5:Z͇̤(=cbIZ,P>Kޤ,jƶҼRW)}@6䳦%/y}ޥx QE셕 vψ;QEקJ}v kR7luY/[Y.1pm:{Bh.4Ka2g0-7ACNzQe*oNBfeдG-}>'bJ`jLUʾzؠLgTuSG;\e4e.E=Ҿ$S` XSe'މ" y}ms-.bEv;<:)ZڼE NQl=JaK |̲uhͤ6UdtÊ2zT4{w.4+i ψJοV_mJcpӃ3I@9O.#W>˶C^ 9STaζ. #kz ǠO 3 ,]PZ7lͬ՗? ^u3DUV>q/¤$t"+T`g)Yݍn|3 -C dzM!?E*nf M}޿wF%F0+#Х(`RJ^d|}yRMg;7jGYD+I t|Lw,%`.T#VLvy KLOF)&~\`n4 ^qY<i(0H4|7VEНû.C߅E8Ӝ7kTe;HL!.3Z$%\)&p{Y9N6(;Z( N+> z^b_Ԩ(ԴXVpvLґ(sL;HefLs[$׻p jP g_Қ;6qZ.t15ގ֊q}-Ȼn W>Y2:L wLXM/oð[I0"O^.4x X&K;[ݠ!S)pY#4Fj:4^\=MkPkB45$28 L.5_ v JLh!u.JmȚ)[gěٵ_{J0򈁌NHh@5WB<?aD t0#~PZ-9[NgSspn( gvrgYZ%Ԓ2^RLRvP[2D_htr dN~M`.?:Ea?<Ш[e{`h3E%]5(L.Fp0ȟ.sa,07y*/k+(g)= 0 0 rwt!aLH~`ˣkGHWd;߄%)Zki}BMkir6y/˨vFkc8}kD>.kbv _Yq+z\w:0 AKiMr>٘/KoޅS = cz@1Q~cG4!0ϮrkՍ.eޑNATݒh)6H|)<α'o0@7Oà%ߔ'YN82T׸6L&hɸ^ <~iM1NF:0glo>zbSt@'VT7 Ӵ(9bCSaZFBjc5h}1!KRq2Ā@oߝ hUryCTlMoD+ =2n\DQKU<*{p9i? $rM+Cܲ&@ӐWԉ*sW4"< E<(vm~E5QuCu'⪑4ዼz!7 b2IЀr?#u\];aN٭_7Է\ %^2K1_~a+?l:8&}ya&HMbUcQc̨@Z>B$PIrvc;rvkHE} ӓ 9O1oyBy%qDs`Dj̕U[gEyit=2AȨh]j SE,J8UG\Hm f\1!b}{NaG?g,+*vZF)w\{UGѶb}%ͧr\b(M$Pd!Z nD觉L I[R8c4xS-SAp`PTl{'8ȮsIoLե`PSrq&^Vw glR-xgK"jl4ߞù"ߊ<x̐}Brqփp|whH d3轱`Ϛb&aO++/s]d22Nv =hxJQ.FR]x20ǩ=vZwl`Θ?pXOI ce-'X E[et\`N \GWZu'(<3(eЊJ_q8g1DVl@9KkCfo pNXf=;nr$;4KtϞO+#ik=v+|-ܻP/1;~VN[ЋքhEŊ-!]i)/}j @Yuʯg*@w MHMB;GA$yHpfUԅ44mR`ap*Ũt+)HXJү &S$Oj햛W6ܣ@?R iȼ QcfnrCQmUº\";V> }Aehh6 ĈBS+F4JEGM%"䩀q,ι;7lǨJrH^/scvG$.h PH^P mO;J}F5/%]c Dm̖dl s#aA'x.US Wkoˬ ,lqk]}Q{_&Ą>ܱ{M~8sNjXP1 {0GȘ$Phйf{j\H HA+ݓKrv`AsR[SIb a<nG6 A ϙ 9DNEٻ6jJyW"2l9jcNG.O`$IK_ÅJ=xac2 JS̘Wap-CŪ0^=9^ s3NE5h~Q -ڤfPO -te^dL*3d[b10g|/scLib9 <,ž,˕ gقf0FQ>@+uGqup~uumb%DV{L#' n@@ M*nD"k"$6y/s˧:^v8Pk1ٌU`ynGlqT'e)"oGPc '-SaN/s^[jvѣcК\4eNb#_x],ű3J2sh,ԬVz@[s}ǯ'xPOgÏKa3l =s'::j9͌FbCz!i 8+4z/խA+s.Ƥy-tjfdMnz)咣 W4bx!-̇F.˃J[\5PuX"[ׄbZ~n6zWCY\-m#:@Ƕk: WEce;*Z+[AjMph[#%+ aukv#13{FR; \,@qVPe83_-r2Z{uL 0B Bu..t|~\d%덒Fh G5 '`WA"BUzXxԶ [̨j}5GL8݌R_ Z9,a`{H|P[mǫ0U}^VVC-s V0OqiV8xJ[Q&۶S\ BK}$qJf 2؉w  CPjU ll.CS<@Š CRt|l} pc.)́1!!`kE5k=t \VG %LHo7Ԅ02:g ~? l}_:֌ qoA78:l蝃͌,lki 8T{z˕m}p A[YvSSgo]7O ;ԂЮ=/7e6KveVAR2: 3<@xM*4e_gRks5pKE=P*)#g_1[f -VY۸}-%9wq=yw),E':MkԄOadMk{-Uc:*)->H%){S՜J]R$KY1}1 x:6c=6|欬$"ߞ}l7bx^Hډuk Z7b ( nGor#qN G~6BS(k>ߧsW0_pm/7:uo{SAPdPSQ3I$73%LQ:6eX$T΍TwOXC ǎ qεo|"F5_-^)Ծmagv0uH{˲wyʾx'0s[NT MbBUfhc W8ARDuY98DILcifca'.7># i2 qGZ@gq(:frx}k^fw#^vQ?t Kv$Jtu9߃?ʼ ΪajX5 'F%љS3guZBprzJJ3Su#*>aO^ p~:^5r0.0@E[xrwal>x^G6Nq6l.(G8!t;Ll1zW|NGoLHuI&ePy~^t Ot {n}%0bPd؋K,!-b5о:{s z#|r N֫W#'\z `RI}pWωjAi('Vؒoz}x 9]cw^.X~c@fS E'? A4ע'@[4XtSG#"rI'OHxr;,%ڂc]Νåaٟ9TQ>y{Fd!fL<@N'ae8?ͣ^d}HDѶܛPX{l2k ؒ+R*'OƾñgYZ ?e /E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyG/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id224>/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! :]Άxʆ5.f-9 rq8L5Eh-S )=HlҒQ%Yw"uwUvfwL Vjk .10m8- -qfƂ/H+9r=s;0[6$zt鲼ah&,a QO~nQZGGx0 Ƣ'M;'լ>_!̞$A<] Rggm!Cz&v l8 5gW1|?YdU $.AsPF`~k@2BF5}nM)w)܈[ >Qr8)3nSP>%_:;t{LSTe~'"F0XtcU;2sr+{FVJzEbE{Eg(lРAOckJmN_}1:OCѽ$ٰ|q\E"8`k?O t2Ѥ%'(Tǽ9Z#t-^8>>N0Sm ~f/g dLehu2@žg-kn5GTZw!wb?LD%3o2 1dBZm /!1a-oz=9zn (h?=G`]*Q"edᩴAΩw٥"ns@m#憚ah;w屺8 a5TeC>k5& DY-uwSr/2gA%){|bF/!C\PgYZq /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'m]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔV(@]K&}u2*ߟv-D+ԡ Wui+u##zhT?~Uo}"r͵EsJQgz;hdX`N;z{2cl?O,40!>iVy?&zqB 3jqe> B-%[#KcR^{,arXC|gaY{Vn5-J/70iQ.=L[O~L2ԑMVLLN_ ã@z7](`m!%'?4~OAMOn&r=κ$Oi4G7%ׁ멅@coFzcf*ʶҦ8Y@n1a~3@n YX|P"MOR$sg+1/:D9i/,dRfFL(n?Z2\=>᝜melD\$\|qD+?uRr6`+RL|`\#)<| ;-ZJ;u{g_ϹEӥNC1C=v YXQ_ FLCGk<ꄤ R!x=PTkevg{ &¢ґ~@7_?+7,󰌳zsi ­cR>_qLFlmYس3D|(A'JJy\w]vEdnu!*qBf +̛XL7zZuhNx ؎j%UÑF4ݝ~QQ>%5XH܋go`Eg#ղ=d` w;n\)`-٪NMٴ4Ž>uw?j!$cSDs|CEeV9wy (.`:'@!7l92L΢/5me='~yzˆwcOY8^ptO XoR N>dOfpcSeٟvm(/fV"䶊G^>뮁{gBP@*MgqJ 4EO[tB*apߚ4MzVpgRk r.A_6 @lt{"v,)AЄ-+ 2XYrDp-MN1ٮۑ/SO(J6ҭgx"eKǘE$NnpJ!75"SIa1 ֳ)/BBJ;e@FLn JԢ.9#VnV~rF)sJ+皖_^CZ)煙j9x $7a?5U[D|%, CGoF_>CxCcMkC ڵ+'|% E.XS1^ϡlu#)kiɭB[m$潋|wI!@( 4wMՇsQZ5EWD4FJԦ BJiL}G}mk/V2ҿ!^~B09KYq/]Jƃn2C~ljze&*{ri6M*zbZ.Y"{!Gn#R/Z-8dyb4N%nRt%9oQ`^L)B|Ioqқ$Ⱥ3zC( R5OS{^Y _tDS+y-xP>Ip%X{v1u~j;KЛqhŒH;%,5YFLF=Nbf?x)Gf&\ Ua[(*m7e[{`AI3%3z X# =읠)D-_Hf~z;0z!~LF]TN'fl%qTG ZW$;}.uXcM`Ni[u3Y?XF@2 8r?FcuƼs!/ Ё1X QM#[w$ЭU}G(2P{A߅mgLhXO#I҅4|wh|AKblSdx+uZ~ohS]T3[lrU5a.%ZS .Ihs `hЛߺ7fTƠ-crvSDS<B3^ܾeI3 6}קaJkheփ[?x…6*QTuC1@g$Veݓ|ILSBTTl\tS^w p,-,g>]_Nvhdo<#9cd/zua"ٌS!6FFWпRu1x{D r8n' 'ҫϲ` Ox<Ogs?X:|9#>Wr~Hbiռ#pTfBܑ0?Ԕb0v#G>&)H@ am9dkNmO OQȽC$dl~φ-g֔הjK÷i7 OІŋh b!4׶E{5)qPb!-mlZ &JְR$X6:tFE9-*-%a{! yz f2\ P"GSGr#`fhKHsLNYc-N_-wt+2cu:WLCIK)kI6b+-{'UcN cz5-mgIҀ'H!+Ie\W Nq ~C!leg\m^ߎGq0@Oғ931s"T9q({,U@FA=Pô3D @: /w'^. &(^τeTu!֨:}3D fJ$O\/=ue`>݉8޺xy*?cbY_qn> tErUߴaF x#$pHA;qbǡ-c[o9dgۼGteeo+ e5֕;>=#wtS:Sg_v~Kyw)mx҈B^Y)2чXwo)t䊦@PժuElw{}'E9Y{G6W_N2o1ڣ37{v!L2bV T%0!5j?KH@aq53W ?;ӺΧh[J yE.}pn5u| qA>YJҀg{;)@=T#]#{ R{aTMu&Y!#wkbO1,M5,t{)8ٚr^Mz,ܩx{3Qi.oqw]-$~J>䥵,uӍhg `n)&&? _}I?@Tco滑YF_~q48 eu+W.riսUK{$x֟#-kAL]P!9*cN̏Z0h6E7M4H&S;f.UI콢àv41ƪ*@Gk' < FL~YL%<rv9D឵_)qH8Ȑw]4U&d77 S?>ܼ& պ[쇞 Xi굼*?<`Yqz)ۛ:Bx. r4nt0nv)jqxuz߫'2 p¨ 02\@ [Н+VCXΖl&]0z4,CLrJ   1O0fk9#|$"oɓl6<~i"[WoOlaZf;Vq|:{ czʟ^>ح4} ق~1h%&Pqc^x}`O=ʌQMOB~\Gv}Jo;;USӚ4bBp洪ߗOJ*(]*:D!=)-4S)Z'!h]4;Kǃ>cΗ.XJl %>>S}VİZ}Ʈ%u+e'uA&s-:*{Yu.䍉˧jk4R6o0@IzomxOa *B(m߯ ˆq0&;/[\wm 4 ,SAZVv1gS[-%fUB^oc0}YV; ʈ?@PG %V"~ I#!5Hq5YZ{m-8N-pl)zfQ}wb|HyampHHeW{#uw u=j9i͆DkKIi~G[w &%iPisZ\CYDo-E| ,(H 82C1Hv?Z.DVH~PAb'? M8LFE5~w-ٮ"J,شe܀y;Zr]#ؔYCKnOc،K.jPM+"Oۆ/7^ܥ|>+%#*]Zqd0L/1n'S8cY*8XT)`B-om] 676JǚؤZflWIΑœ?9,a8cW|8!;g)ndÒE`ݢLL<0h SP qyMXq0򚎸6GvGCӗexeCѬz}.ճGfCQlZr->W 8'IS麽ڪvZXC22q_R;OU/ԦM7%PK;+FO qr&%,BmNt.!?RZ)a-q!82^F'}+$:0BycpRCaUxߟ1XF㫉"pgCNn4E;|/ NfuD p7%C[7_V`x']H L"4}qݱe-Fx=X;ZWO\̜n'}v+UpA, rvBT@v1+P(k>vW}\rZgb GoB.zUͥN#Mah.;uRt Ѭ .g .έ ޭdHqS\(kXсk= YO^I3wM 3{Ģ+1u,sUA&8bFPW9:#E(oRĊ6Kz҄bA,Iyz%:UM'&YxU#=-y[ضKT̞!wcN [o6tc"O2ZBbyle&lqw6P!:YԮ@5S~u.+ǐM".o, TJ1=˻^inTx( !%2KQOSvOhm*̒Op.mKUs""0mMB Cڕ{*d1l=?f6D4X=<:vRB}M,'V*^ɚKM!L1=w1̚Uivv"G\ Rw8d"Pg7i9M' ?[V>B.uG5pybJy5C? OvcMlU }0oGUh0B fD|;Ylѣu™AwGa_{HgBR?,-6 ُ8vU!08L*s]. w[Z'N:cc>fuhRzijvBz}{1n }Up44͜nuTok4t|C:oN\~ӥFT`wT&xd!&Va'Fǵ<Eʥ֛wrH17=Lxd(엧mX؞'~޾EG:GIF#bk,ba4tc C_t4w=/:H>^$XvHx${Hf%S]{02T|Csɮ~cSk, j}Ikh%  O[y(N q+v)1Bc]b,;a0”4nsP;z^j,,MhcFU|qT|Q'Ufb' o 4EZ`/JF1rnf[   VXAI$0spY!h^\,jy | VhPç84`>cmĪG0/Ce¯;ki6Tώt xAÊ$s83OxBޮpSŃcj揅'?1!n#RB|bPh2~^mx HaN%d5pfIKb+(IF 'xjxǯzζ+ׁ_na!%~~BN['ދnm] 2hPh Bxc\jrAa| gyA1 ,* M FDIFL$2z6ޞQRUMxUl>yH; (1Gag|i*ynT.~,%%DU.ׅ+fFJ*=%"'}_P^Jl]30/[ݑכj,=hK|$W˿Fh#,; e<7* 8U2`4YpCy}u=,M?778 DuD<9Sfœ,y7RZ>/y8#ٵ)sNl@l 4쟨IܔxF3ZA$f#ᦕ"$| 9kD{.GnMsH5VW뉸-\~dJ8ւ)B K:\1LЏs dzR%IX`dNW$8 au"kʋ4s9di* ȝ9Ke>ah8/Rd2o28H:*0dK1xG c!_@9?ǒOFq&9J5T펈 JwzNuFD]j[3륅4N7ZpۑUr֮x| kA8й%c4EC<>năCnd@8XDzszy…8]Gtޫ_e9YkS-B4iG#]{g"S=//žfQgR7^\ȞgZMfv!L^XT2XZj~)mL̜i,p m#5 pBB}toҹRTq캕16MqPȝG = C#OA!N0 ӽL3A5{@UYey̑"?FmwGmojs"=+w.TZ~)+'$8KFZY~&3%`x85tpD϶q8#W>v hQ{{F*es--%|jBZ}"pֈmsS7wX1q8ygs0|T^Vꙏ"T G77is '=jLK2v{ңjhLea V//Hg蒒M~& b':r ujC:&<71 1ެ׺,SBM~tSߝ1Nd*0J2~C@V2M!3LZm=yFnN*ن-|K+Xs&̴)dU&]Bn`j ɳ>\[eBy_C70DhWRd($f_jsP-=x ek"LnA#ߩ;Aϋ E^Wj5bؑ$5> $b.obН-O8OdܖvĪ34KgF0CpxbFh(3DOF& RAnеx?2!9Ey ׌fPcERȈ%י`Bb_^-2va8GS} zd4%ݸB:RCd%EJ:hXJFZ| sAx ޼)ϯ)Jdktsִ)IC EK'|ُLd˲WIGq_.}%<.߫|NѥgwזEhlI|!7 yW(絶k JB,ƺ*{2f+ >¤ƿz<`4\Uh(߽]X3'd$)&c;m~jzmk ^SxJ_E?=ɵJuF/ґIՆ:y .e#F6bKT&[SwP?cp0rAY:Aŵ,<3|*mE(wgq'ׯΑқY1X/Hժ~R(j@7(ی'kTr([G:&<_F_ 3 qlS`kDA\a|ZGaU6o&Fn~\Wf'1鏷ar|`r.n|rwHmD㪂r?3JWMṭ{`0 n,OgYZ Q_Qe%/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG$/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id212\#/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML""/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bMn!%vޙς*' ϟ0C.ߟ|1_A)ɉ?V%1]X?<DvcG 2K;r%yu>cV:Z=0?kIy@0 Vp{#Brd*Aac^y92 Qb9Z]ٵSS+{t0 kR19SDehwAkr2u_O&HY@Ml 9uqk& [V(YG1MPdO\ l-#i!J)0O*\j$z#9Auѯv&F1\bc[gYZi! /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rxl ]yCy2jy^bsEltMf'R55\>PT |r {xR 48¼%š3(pGJEMCKGvD>ꬎH_{BiL5B&AYywd* iq&Iܪ϶t5_TQ="fg\;w+^OS⎵mQʇ`ʀ{vW9dʦv$gE/c~UI"hk/_f dۗCF k*Bap!4FSzMr%m Ֆ8 3@Ұ7~ B]nK;ɫ!+PE:%h#x/GMRMo+3J-WL:U%L@-¤y%4MX6BOUBS"Şajyʟc)\4w eTRmRys>BR٨r]F[^5| L[`\PՅE;ǦJ!0v<vnz߳+`KW!Ya8-{ŊgO ;fd2{hM掾`"? Xv^%t?%|kv^y)6R%]!7ib3SVAS?p!mgB/|*x5tL ~~N FA%gEߪLTUe)NDަ2Ձk gz)ravNɒw%Jt5dyxN7~1[ Ϧ+pk J5pde&djv7j0g- ʹ/3䡱&8Fڛy!rA>yŊmln'l=1W&542jg&|X+(SvQL_;;:5 C&*F0K=',K>Tz֔ .t'hCzD_-ƺE:1 ,qPgub 1_p[%N27eT{ V:7QqvFgs>3ŵrf`d&Cؐ0*$y&N<#r T~v/ ԬxI ^33'AH)@]K4vHPQlnqŸ6o_@zJEى!|E W _ʩU#ZDݺ#F6Gv%Cα 8L!4RK?A"pPSyS?,ݖuE *۝=cYDoGA PS~PBnA=OZ7>qmVRwC eN7x@J@I:"ŸvyB>[eA@Bp)X !Dj jˌlv}%"rhcB^H  H1EDB&fN<}(qC6ӑQ CT){#fF[%z^OjsO{ZH61̩D'2'_Lf)9wW*A `qv `6SXu9T&B!fH=nMCʻ)ltsEٯrG&$={k wT›|%AaM0av=2 .TZI@L) I/4Tx͆"umLB@ =îzԤHK[_.db6 FXE_jΦ t3M钵Sӛ^6 ye٪>^Z/%k}S2`qӠ~E>qg- !RlL;&Wh-M}WF5%xMVBjs5nӯ^ gXGrO}A#'bZov/"ó`zƋDV^l/AgI=Y#Z|d1&V>!)+P@ra`]_b\ 24G thwrs10wjs?NΦMukCQ֮P N-GVvOvF_fO-z{]<[y /˃)hO;:hk<Tg媣:nv@OR b 0KCޏ%Lt܅XجaXGe۩h[{l#5ZHDfv`>vBV6Az֧dU%`k+$qFCTǙQEY9EL' u5)3"F[kQ-'6Dz"WzoN)1p`S9pv.#%|;יYڇJy@P3I ŋFf즡JeQa%,757 J9:=̡7dթ-98Iq%T4q'LR4phkL} 7 Q8P, e噚SZ4LG b0UvKշF3TV~S(N[v#^[č? Wjhb&z rV>|y5 _a"̬I< H0Uy-L*9o_]Xʡ T(SKi$m~޵I¡9`㻭-gt9l|GAIΕת/dEhRNaZ4\8vϣq@Ur^j2bOtTxbOHv9nlVd&:Nʈ:'k] SO7nwyH"Oǐۈǡ{{f%t7DvP;pL7ㆽ6\LNiCs= ykz⏛^d BFiAz$Kb|@YJ<EO:+KW>9!`: ,}C~uYl:b9w=S.Sê#_0RRܳQ5O%bRH ,k85N_!eMh'(h{~ra3.7Mtcu;. ̾w, ] ߍ\]EK>ձxAv.Ū(n^AqP R JdNQJ?[/;.JGAԑt;ڴuδKmII?%Ϥwk @ìw#N!*3 mG-u/k nt v0B6@vsjchHj֗J+߿~h CIc6vgGGqRED`xJնi5Cnʕ`&e9 lժLM{*1$)դ8̷%v/x<QpT(hk(Bw:PI_y|uןTvϒ79΄BUIщ=<8 aK0+ ߸BK01!"V!ZZ1rtSbAxQjhvxEILenQ%Ug鞤!2 ӥ=Z҆Q_dАs4םtUv?_ koEߎ&ĴV4 UӶ# _HWl 9r]FmԸ d΁ -z)be|/Qऄ)Kt,75]ɡk%j~,%Tp69V-uj" }13Q]}lP}%"%P%b ed}k} D?InA[M:u WL|/D|Tԓm6IbQe:P,,3ס.Vxg3I$ џ7;ՙ.S[*5vhN0ޕkO#e&Uw搁OFS=K'p iMx䫐8"q\F8l}̐Qj 7wUJ`xuZ߷hy:sϊ:P81̝߮?C~qD9H /z>+a"S؆-TE7X螴:, iet2BreܞM2aڢTa:I 'UxrO^^d{l88LLN9 %pqDHb$[<-y]-O܄FFKur©;qc!vG8 Dž%%³AL FN<_]5+d bk'E 5)F\vniL-h?dq;ܔvX~ޟ^%"ٕZk#85=ߨLK>#jɜ1Pma݉g>;.>`?9H喫BΊmE.`"&ȭ{XzLx'ڔb{pd f~@`HN4q޻UaG270,һ%?QWmty S;K|ɃE K[S Kq/:%lT lҭmXط,`Ҕ<m2<'>.xܮp,1 ŒtH3fsQ(SJ5TB rkze#9fᡊ4]H0r (Q[VE܅K˃dgDa=>B$ZEv}EzE4%dZXJ vH?,smT=A9Tk{vLS-jvLC* jE MB^w N'u#Uxul8P^\EWi u0 e 0gnBՃԂW߰1m01)K)]Y9 i3qRoL,࢞vH+?82LJOK-F(so~y+bgԦ׸,S /ׇI/:eťZg褎ɂF9\i˶}'A gxwTǸy-N6fl=27KYADoBNT){UOjLVz`^,Xn2A#t#堨`$gΤnR+sԈܴ3Z@}VvaC0:+iRwWg{W<v~ts&#{XvbWp5[ڙ=X&/52lXմNZQ>9\Y؎ oF\z6&t4"v<#fpt7@ ΙDǁ=0ĩ=BVu ^vχ~Hf]-3Bd֔!c ]s+/sJ2BR_$pha57[C(5-ST^̆O%DmM洖W99HJZ}19\$aZɅP"y'¦|Bl&̅dՇGꚱ+v]h 5K]mXe|%UhuAr`Im%]6Qr]…a N7L-7"ol!pzm Q[+#=1eVp, .4#BTguN|=r;_Gi "Bŋ^s]B PK}i(eP=sFP+< r]^6@=Etq厍Z Rՠ s .RTNbIE4&inhm@|A}6p[ ϒʶYG\+OilCVʼnZ-9ѽRzY?)'@zf9[)%qDYlpC1/hl-6L0ÏtA# ݉ckU_:9)ى@* n}x{㛦޻E:",sNVNѣN^6 cg } gqqujsPCNGHe"WŮl>*aĠJZ>EDPvyo ʹV*[['M=`.rhL;ڽsDս2?E_ۄ,ur"xjp2Rky"-݄\N1#Ǜ|ޮ+g`zS~`o[.n_o<o )(l{;| 6M'; /)U*?)HWUO]ǒDQ+w-;uzzi7H(w:wgw%y..[IoXoћ{zEd,Qi4JELYg$(B"Ln n:Ե iAfp}NUbp|Дq*6;qg4q >C0|Tu!'EZy)7h ?5Bc/5^G5qa?Y˾Pz]r H87}(P2=*n y(!}l6!#ƽ>N"WNMo.Ow;Tk 9L|8:܁1tIu 섈( qB6.Ow{_bwqoTϯW'$HCaKt;]}0Oj{`zATLތlX6債GT ]x%f+r25/Ӹ+ٝ.7QޣI.%Yo KyuG"G[it > # .`V=۽$9ŸI8y[Ck54F2B+kI>fdR  MN[1o[{j7݇i@]ωjB(R0RPPQ((y Y9RsؿB4pjLi3S#)؞W&{d a?3L6P=f,%"i V6=Xhzf0)"&cr|JYѕ/+phr։!YSfl9^>oP^7S7;RaC_㵸F-Ef6X "63\]1@C.lv7&EV <iȽg1F<<;`؄vXZpU"N^:*X;avJ SPvבUo.ܖ񃥯Ł+rJc\~ڻxQk˞V!>ϕ/gmW&ozb3=^'1jR-hzLKƐak0qW0JzHoU|Zz`ՃqMA>Ua/4NƜ0H}J"ԟ( U tYNX#dg4.1ghz D)09PY8זj<)C'!,Vi-8LlqW R ݑ)Ѷ̟ K)%c:majGJ G'qDzHr?hڸ݇9)q:-^q"ix4k:ߌpLU7l9Rx؀CL?.EF|Mqq:Q[|S߱lmsdJw X*ڎ$=`lxy:II`v-АPU?x$]0HxF~D'C5rd5}lݢs*c)qG #Q2IuL`Pk3kwNA%KAYS@'GZBsݖ\\]F_$&#GVq6 聉?1|*>߇UVVn_oUNi7|g_hWr>WJv~KKJ :@5%ʹ'3BY g뾣[>"j@Ss_W?ʨ~X&I H.ҰN085C:o ۦ0@O,lcƆ6#tKG1 SjpSsT a O:%h"k=N ?S̫,g|*OO4dN,7F!jf@v,cd+żQK^OB5yn||OsJY,qN@\Ѐ#+_c1juǂ,@F0Z`sO2Gq{|2j hmRF2e噱ZW i@!`\Ctfq>Єz'I %u{6TV`& k8su  !XR𢺟yg߮s}#G# f""ϞBȕh\ !/B@زΡ+Sl ͺ[Qy\ZAVflePsX/kn>gۧߏ#kz>eWqF15C= HX$|AyI xU!!95 =Y{qT3Sgwo * Ww/%\x5k)Q`!QHOL[ca8GC6=Lֿi8$r>A;bPj8TJ VܬTI<ۉZ¶D]E:i#U{&AH,r".ugYZ (_])/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC(/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id204F'/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! D]·Iq n[:|&[zܒNdt¨"ȕD3 K`ߗOG/)?xQ1*l)YL\DPu(U"[Z_]VV|nkU ٧FN oI]> ؈pWͰɱx @\&>\vo:ՏK-֍xdu!ծ IJCmh#{ n+9Hmh+F"R]6QMX/6AJS$pI[iQ3(X3iL* ]C="FꑖaErQ̍MJRgɱsG&Lˮ:[pMʮtw{yHM,*ީ!-dz^񮂫pnlJjnZ!))":*=e5`q0e2*j?=8 23Mh Wv~%>UǏL%}gCm2̅\+'wc.$LEN @%QoKLyn{4F-8pܢDEm|i!x~3`;ИDr։-,u/ExXi8Z pU&TclT34Pz5wU51vbiVrpd6'Y]@' ADz+0mCZ&(>+n*62XA, 6<4$H?GCX*)yy-<%CfB@ۜTVOy\;%(vj\Q(6Q[ܳ(c䮽+\fvL2#j@V7; U攁-Ք4!fF$M9M(Bj!_K[]|fy8cҒBW zu%,_z'vz0z9V_% {$fFT=CU$G՟l*1$Yh\QCPUhOOn_fx"KYA$c,F|<銬%h5Rx͗ 5pkrIkʀjsJA&a)}jaUhm ofPLp1ލO˟vfuDBZ YǝR3dDkb8 '@HK%8ZDxI]:MLmip5ߴie&!w, SN^w 0b9?rv # 2/3 tWzɔ08e}Вj=1N f{e&~r+sq~Sy*OH|;Im@ ҈2/gPM6|MSAj'<1+̄, WX0,te+ =^xUSir}c^D̆2M3J #$jkt$[yhy!J" 0^~-s UÏ80OM07N2!#T xi['jK&k95 >i'[ #{cmAj-1C监ؾ+!a36j `?ٟ88|CylI_AN`0_iTs1KZȼ B/)MdPph!9+~A|Ò|oLq؀09St#fXOKCj/]gthJ" C(I¬AĖPחsǚyk!)HkU *R ҶA[0y۸#u[|>z7/ vhgbH6d)ޱakByN5Ž Vy&s!i!_  w 1"c RR $B*rP'PVe h72ϒڼxZ^@[PHj{$gb$"ȢqR#Vw-*ÆK7~,Gz婾,u1OeۃFI҂t : "lb5fq C9#3gNjViY7y)bD?g̺8SEʌR6d ڍe0{վ)ޤ+ar];+~h+?ge"& *񒀙(w @\|+ؒ0qm7VcNYyL;v-kax;U̩RFrgKQJR" %{*Q$C*|`*1O09}p9~ݸ>),*'\t%UiH)l10h[*V|<׊w\{COpWrۊhڴOYdrHf=$sDu仁؇>X R< O˥Єz Wu u6+axmd&k,YD_`C4镨pTGL] 61/ga5MEVl '}۲vMz?~eW/6^Rغ ]C*CC L Q0:Ѱ`ly E+ҍXg۷lK̋ ~ 1JxS6n) ̯OwcK{LbKt,{bSuad= J!@"l*V 4VΆ}d3dȱybueΡo_]wn E?q@OWecݝFbu(Ng<ә?:1%S3]Z}#ԺX_``cR Wo[%r$eg}?H0 ۳d1|gA9vFg?T$$O[k^[ʝlD/V҆A4i^P5O2͆L' soQ+e2}+n7~G|qr#F{N9ڎfHtpk>EԚq[9ܡӬkp$62aoCSR[bdhE& / c P/nkEݘ}jm -EߒC2sGX(ADJ] hq 9gW}$C9UhYeꤪm3$ÉQKW j4 }3dg2 DP^ a0>1O(9O` Y 7mӴ/ zG误 ղQhh  JoՄ2*[kXMGR,#t 3EŌ[怢s0e B3f_vTw7xjV$\ J$3- `c0 'DGhGMbaV> o]Y{V߿Sw#R x3z2OzQQiA/vzZ>>,__F -5>L8szR`'`"ErR?7B*DthGT xSzO5R *Þ^4R;(\Q\ r>-F`/@( 7 ,)3HAPXL][(:(#;z@Hlko^=$]$oJԗ"`I.MRyg~ ؜T '!OvyIɋaQ2oP+gs{z+ūSuZŎ)φ ̇xFQ%.5UȖ*),.-ӤIY{^8393At|" ѱ%zH:j+ųcX̒ɳrxT/!(7% 7[9`Ϻ*ʛ;4fC<r4Sue6|!'KWj^ŏR0n(WMQ"K"ܣO1Ѧ<4`E36+ U拎\HkGS?9%+q^j{;S&wq]=-1t/ߔqoDޔd;G%5fxEe)_Ý1f֙w z UHjotٟ"+GP5g#R0ps n闆I>RdxZ_2ɝflҢhԚ4aԋ|3%S@P2599 nJ5X̆A']f'Oxvml jgPX;\yYX܍(uA+7oak)y"]֦Bsl@'- ?!"՛ a;9cҮ ߀I1ſr,R>cuVvwX`99w:&ďisTpBa; ?gD@J*L@3V,R^voxjdNW o+A7Ԣc/Ik0*h%[6}]{3G&Cp]0>\W5$;f}t]WAp-}T1cD`:Y-ROAFM&4ӑ#%V+0F_|:iWTDh ~ M[dY^Uz—V;ٛ攨p1 ~O[x H0]GiXݣ"_DZ#Vaf0Nis|R/ CfUU֖t/0x aNO/o'2JʁOLe.AO*AS #VuA<w߹(3,?НByO<;<}9gd!UIt:?-\D} /x}&%=#o/k{O\ʹb"Ag .G ,.y6i la="Ϲwzes(+A6U $Gŵ  k9磄DѾDׁJ^q5.q/DہGXƻq%re@vϲo!brZI8]UM[jB~J+| @ٰ(G)4MY>1g2h녋u +z/ u[Cϵ J)ͰT@ŐZ `,8})G@ zȫ;7uCq-C's@ my>H)lz{zb+81 `ܧJ0c#>6fGjEh+e:¡:'+2c`=\l.UT(\kttR{HۆH^O\<qBJMB=HQiO9&*T DU0O?*;SJ604uލM.%).~,Ib(uMq:>p%O> D{geU5$)赡v{mD&sh n=q@=`SFC@[;&}0+ p1 20oO LwG+XJ+pwO`DM"xrcʱyʩ\Gu~t~5 cf9R yߞ"r3W &-:^3Fĵ|!x&@!N>W؝ZHݸ=˛g>Rt稢;+J+˧Fna\T`麭(ܪP:f oCQj9v2(~qRԥ)p JH]D?p]ǝْJQswnU#z;_t;kY.X_,Y !)\x@B65ԐAca7C8ŕ Yl{Qih8FafАGl߶c7^W'OFʝ2JW_ddP/z=/#4$-NOO6'됩˃yn۫_{";XRRqT@AhQeC9(g@BojѾ]mZE h"WE {^s ݏT DԤDm4XUjKm(!SBa #&{$Uc;J{Dޤ!Rl#;>mH}܏S1E>VA 4} 22NQ@~AcbCe$0lו_ߨT%~xC1*]mw *kblzEvf$Ii$7Jrm[=bw(2v'u7|83kIjz|UJPNf8u{-J$+}X|= }a֟(oՊ+4@el"5f;#zBc;%JZ𸎌2?̂b--9BOQO*=Yfž^S1x,{Mv= d_z8_:.eYg%әuOXq͹3Ϡqyl0z{#^1Z78we-fѫnQih)of qām6 J?-\^{՗nX_or~K&P,08!ce`xv`d9t>x@ Jf8dq#u¦ 4[|TbE@Bc4CW'g$BҸ{T4ћ5u3Q%i`/eo֏lMd9{G$S&MQHi+ԵDx7az@"%Zai.kEe~)u3Jư7z%/Ƭ5 =gfi1 7owEǹq Ʉ-D@yo !kgnJ @k΍bz1rPQ'V^ךl쮖kU'59c!doڭ @΢oYx A%X"%߷HB9oxUE3[{xno즥I 7F4ocJ}w5@sU4g[ EmY#DBnI:dgq>O|!RȤ\AScFS@jc_ua4$ - ֈw0#]A!n 0lq?#mR,Pj#IqZx]+%)H$[ JN/Hiox iI*CorqpnXzjEң܆:LkE/`hq #giHs5JF8u:_zE@p㌪ޫReI+c1:tJfse (eE;pC¡|B'[[qz;kϰNtoydfw_:Q[c̤t-/fL ͨWwƶl)yj̰?;xib4^Y5ħ&+[ 8s"dpz26@e7YAyᎯR*W/P\9%/s5l;i"oGAm! Ae2eкbEL?*bpE#e߿NdNxOt3Oni_frnk9uSSuFalwx wsU;ҝj o%!=Q.Z-s"P;O >W3Ucbs˙,}zS VWzP+yl-1Mrĵ/$ Rr ~|rUWr"BPtx\$r72{`<'{wDo/v\=O~QTV{ e}8gFtݵoc.&6lj=R-e.XvGU^0sQ):sy̢:=vUbLɻ5+=Գ3dOtā ;ã' $oɟ'zjVn n2 'H2ۆ۠ɰ`P4sy:IdEmj;TTJLI=keWl/-ZhJ(_F\~O?Kʶ/YcȷT[XT͓7n8OdG!Zm=kWss4ۅ1 ×$vlH]M!iwŭКGު$g=@ЙԉOgm ["hCn2LD͜&^m (㪲}Z~ ]X9K')PQvFܤvKWFyjæRh`V\̤0zLle1d]׏TR ?f5;Ѿ=n~+umP \/t 0SlhiOR({896Ղkwr ,!^SJHJɅ` 6'p^͍?w)-xxɍӚ AFɉ/9]ᴙf؟-NϛMw+Xgv)k=Q.z~,?P&jY.Mw@Dz.5zԐI^?nʂhq3IebNLɇS$u)%v^חv ]i7kC۞\l&u- 7퇂Fwc h~vioG۞'DgJqW:+N;J:\`9qJy-,#i }|-pIt,#]X0 b>{kzej5!N9(^lZA5 Gg\3:4ᑷrq`s~MqE(o Ks9zrdŞDB߲.mMſfW ʦTf|`u֩Bt7F&ӏu-37}WКWO%OH Y"*>N+O9=Cdq czyåyEv$;0e?=:RN,2 Yi ˦e?1,9"tfW'Qq|ɉ8IO )s=tSxCaE,!33;禗*V`S{KQ)"VHn-3e(=҉KJ%Y?Lg8!:`WXNۄL diQE"_Z̓9c`꽄=L?V9(Z$~t ;ɗK۲ o[Q\y[5m1YHė^_jg8OOI<9lxV$ᮂg3S`Z 2Xhrhs*᦭ڷW4~w!ݜoj3dXKS;YW.bRUN~| D?{i$28cT]X&ƍ 4^o%2`rWoYjř4Z7Ց2,0b^}`#:k ˔۹ N2uRIWg+𳠰tKd]ro[eziٹǫ-S3 uotsج/EgW~C+MNCBzhC`tìUEܮyT6WT$c(ϽהhQEiK%߮*%Wr3>lJnGo .=' KbT8ah xFԑXl_.WEVGA'|vCY9PUߛETYC0N!$MpQ"q7R\EA,He*0v;ǡeKSm@@}V p &BUUQOGۆg[H́@3@4+g^0a|1w}Nk,HV1q7A؞[/}-珗ڍl;{Jǥ^\4Ʉ gYZ /|5/1 /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! c]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eC]__}g.A\o/)$[3;zI6$Kw}7">FΓajHb#FŢl=d.cdaw{SYƋ&y%DU1JHLKFØR!֤XӘx1&moېSEݜnN]cǡ?4MG{&}Pz~ (PVjR7zk[lϨ"ˊ mYd/y%'J3Q&rXYVsA>-IG1zz5/N|[PןsWpfDMWL!Ech0KЬPlU?0aDγhǬa}1qΉ;viT WUho2t2QSUrWRl@2E}4/4hW0ϔ~b3)~VvkaͿBUWK(d1QBeT8RwtE/z{W{=*[0da~˫u卐/w?OHߤ"ZPlU{Ռ?Qm;E"fj 4B.ZN kBmn^9婹c ItWXǠ?\'2,A7ipmIʣd׏_KsC1b@91dS}Fmf{JϪ^!]8gUthzWT쀄-wG[G5pK- .![T §?Ui%kif0mfB.(0XaR_nhf!a^Бj9^cjb#=&{|6%n?6%Y{Ϲ)MH {;2l$;!s,+.?jR;eS%>r-8eHp8;;ȓ+7m;IޣYˉpr@I}BD[+,|:6 ssxAb͙(0̉ ok_zSbE9A9Yws0SNAY7(rTg~u[dS 17YX :nulL‹'0Qڧo?ٵiDⰓ9H* ?,SMw]KJz`&`l>>l4{0=t8ނ dut1ݱdY7!LObiiwTv"7o8m:k$cyʊlc4Ǝ!njQ{_nhZ[CfJH?R'HI5hY65^sRj;YD!CT TO/?fp ЮlT1dk"7X̲e'gwʮTi׻_8s_"-mDu V7Ȩ{'9Ktl鈲 5)9LI7e=tϛPa%Ju9`uJ'_F@֕bU: !i Ufl/X-_ hv lѦ1 dveǰI^LC4z\jFzoe#E{C# 6Lǃ>}j!ub^'s;`3ʞ uڷgMvrUir Kb c 2djhC<5E@dZ2' T3{¼a$w:i$? 56?EhbуxA+z(!\*5E7RjkbȈ V|G|]oiM1HaG̈́f`, =|K`Uكx5ώR5ӦʖCt"mM]96z%25.%tb#nz2ZvkW),:Oɶ/ x<\,ެ6Փu"#{SٽT3E٩i(5w_{ [Jْǚ+< gw8L 43aF>~%h8X(+)a=^({-"8(/ @3h4|GkqY% jhX܂,|g M& ?He}P2~ *5lxMY<ٮAvGBMT:/aܹ gD1 NO]ɺh|䗔fCZj ߈hre/&dLώl<ΰ2- V(էAGA0mP6iIV>["S1BCKHhU.?KYMtZ2e:C ӊaȡ;֜,ko#V2"BCN'5AeQ 2nũ}ޖ %I2dWTDy!G@a<OUvX{d>Ta&("N[f"BCB(,U~4A@!cؑWYR1kKP<}̿OzBݥy%x2k ['X|.m@*W%mrзc3m_P~9~"͢l pBa; mNDC`-(mT]bM*xw|ϯ6hůdC\vK1I4.Уu3ʷ.ߕ:+aŨŻa}Wpk+yx[ İjMg<M20$ѵ~&Xn%v?b}[63CR,Tl'U &0drBcneI|@<(133lh6o:j{|QSf ka^&ɔ/ a\-$DtypK$(2nnHE|*wAd0A`%4Cç?Q(L " |y p/-b25ۚȫ!V~s ̌Tb0$J{'7Qqrb>ϜwA ?;#/0,'er7 .%ȧ(jMבUZ1g65Nyh}G CmOZ{q2s &D ν& ٜ4ԂNƌ}t9lz 9[ѴK\pQlB"$&+ZвEhܜl Iob}4ߛ/@9>3d_fvʐ%xZx, hȁp! 0U-ot4XumCmw<{ƹo$R DO} j8ZM2ý7U!ds1 Ai . t@n#Ź0 e\Q!':!r8;v6a}N7D=ԛh2_jKjyyi\6-]Tt`SێrHY=t}p֝Igar8qnZ~vp\)gں$ʉOwH%gA ~q/)K5+R&& H',-IB4LG)`}V\6`kr4Ye +=`ex Z`;SKD >f0x0!EAm6266dJX%"/3Y +Zghdu &cGz:7 TF ޖU5""jގE kW2(GKUp~E``a p<,;xܺ$ʰD>)(X|ntDy1-/61wbN5.buH:"Z $w:z2(т2ZNA _Z\D+TzJJ(*4mxC!3ڸW+rB;\݉]>N& 6b$0M:);γp_sPх3XӒMtRSkP/!iELu[]Mp$ DnIK)7j85m\ӏڧߗq/ wK5QF&~TDY}cLi| H+e[5>[m :--4n&86*Mzi2؏]!k}U 3~[BfObM"%KVB(tAX?9h9AASބ&A^q^ƳXd7Y@!_\̈́CNe>Si4qk1-BGUc %}0o2ڕ7@^:ⵘ,o\r$]j莋K bn&rx~/0e\0"0d6ŤTEK`N0{ *3NC؀ˎFp}߬6rR٪X#9؎1'N,0(Ҷrr_0ad\V8w2j>x:oyZv߄;wȥ+?T7AӪwR@Ԭa6a+&NN㛻4E3Z"{"^ _zmQpFBM^}[m\ո|_><ڝ/v{B;Ԡ*:V@ٗR(3ζFlCw#;CUKܭr喢0lu$A0 Qe1M2#U&\s>,j}٠hUzQ867[9fvulG.M>g[g!e5RQwκui['Z-=fN\S{ƒFx k>gǍ6u-$0ӱf_0o@>zX4Ͻ8FNǍ I6 [45{E2&$)`,EGjISf{[ɱ $6WnM$zC뻨Rrܞe<_yX2)y~:!u<ς3G6y]'ֻS;b߼K4'zciMYRw\ENlHW{]9i*$IF@ESD2 p 8Gz6n7像B goqy.c6@I9$ }N[e 咻2|DAIl)ݤ]7{xjfwwyUA#";n{[ SČGGX#NJ9a,˽%5?5fw?ss>u_xPh?YAO]hp[Pvbw(iU ċ% kFo;ZakG[#5!sѼ>Ғ Ƙ?st7wޙ.C){qӛ"H(uRsTdžZd8X)YSWAMp< ρ;_+әX`8Г MP$-"Beԛ&޾T |b:߶9<̺s\wVi CēU?v8ZNE}Ցrκ9r!݅}'7Uu.kFȭ5e+f;p&VLǐ@z&3z&kH &"C˄QFjVR z!~~1+CIXhf5,'b:HbrpˠmYi{Ƀ.09  Bˏ"p3eU/sLd;U[w, 4>XT : D*A" C嫜?т:@SH8 _ GHsw _z@I~)v4 I9f^FԘ}b{mL 4Y/JLb,g&þyNXa(h=@0iy9qU.Gbrb*fc?T踯9>Pé{XDs`$pCޝ$"j{ϸг]rb"O2χ}Ā?VCP6U xȗ6ͅ/az4ΗC*^*k~q__D-26Xkn؇F;Ӑlib.Dޏ ńGnu_PcZ]p%ײËI욆uB~Ѷ?c)o[4#DK\%uu׈K`|K&n#8>|m8'A"Y8ۈKO⟝߅Fߔ`CAQ N&S==Q&yJ18cii=xWpcJ׶յ^{ m7ch?T 3zluXYH"kgbeUK / pcIQAs('U *E vЖp]}Fs=Rma+;Lb]4k❀J8|s#Gہ67d+`O"Rgb:[teCniv+ ʩwI$Qe]$&FϮm"eݷ0GԡA5,F~B7 u~1v.37scW$K>]Z! ЏOPqo߅U,Ԥ'&+Gs98.We#(ꌐ\a\EpHDz@4y,he /!?jVmO_{ɶ+54gkBCڱjQaL8-ƲXKBntDAHcoF]!xHi Lؐb]W 0H5ߵ@nx8]sE5='ַqM^nNGecfiR kcf%4z{_iBͫ_H+y[\AKal`76ZoN|dȿ,1S6WdRr@U78!UƤfmB;o3>O<6#7+ͮߌ;M2/C7-}r=jasP8`_L^|pTi=KGeͯv}7aDrfB@N;6n$b Jht%7cRN?B?uu]1k.`uO=\7~ݓS[/4*#6jq@ꚼFGhp.9wY 6i!Ȏ;f7KzE*a{Aw'9%&Erx9%8 <:!Qu*(G,CE&5o~w8fĔe^2öڬ99ٟg\ m޿Ȑs6]Lm&ut^eb5er7of3 $^Gi 8@R2~e]e!KXa;B"JЉKl$z\o ǃ~f쯾DL)&O%IP2l: 8a_DoˋvZC&&|Mh[^&|= y?ͲhE"a1OX;4)9@?Nfsf`;v!O$R{zj.ȩpºQhP<{<7< J.x.5&E5f 6uqj@?(Gv8o&b^hu9,4o|]3w}"̯͝o1\&ڌۼzO..\J3tX-Ө*o[!'0ɦa.tBc-y^m~_ b}P2 Y\KM7_P\)%'3T,VR|Zr%#| EױδV8 Vu0׈j ö o3BcwL1Ji*DamnDUDÛ}UHo;0 7NV N˽ݬ0=l6rB&54~էˣ<ЫI]ag5n iCl9. ,>Q ?.0P~'uH%9R%9Ke(NW߻C%V\{暑f[/ %xP8Gǩ}~(]$˧QIBG<}Y3i,%W kiW&_N.tu"d[lnNS.!/t4ʧoNẅhT[FaUJ3݌2鵻bgHp*W:1p8׆hg72ft{sxT5fmy0 j@Gd<_=][6/@/*q!;~[ - +듇z8BYd{ڈhb>ɽtA[4 |}C!4' w2h`~ocٰHAb?£Ƀ:yyEMjvJDCK| %,7SnTCbzQ=:WuW0Ip7*BV3p4Ĭ命+=+gD֦|fk? }$m՟R&=fm`koh9r:`PiJaW_h)N߭js528V W&失&E@|;'3+:8y  ;+N*B! 8 #)ԳU<*)8iD7T*_1ߊ+MP7Q7˼}z-@cgf?ŎRFꡖ6tJWSH^;ɂJ.oS·(vmzZ,jT bC}4ҒŹy1 1JĤ:WǷI΁yl#^,a։V ܎PS%<.(Ҍ_%iN"1[PJX6AI?&C˻Yt{єlv[AƧ74PێS| Ϋ5 - V> ,{ƜLX!:)MBݿ p=vW/g#6v7^B5ҢÆhv,jj/Mյ zO. v2n^CD$+~  5Xk M \P@ky 3` &~?i[p0;s=}ϔBqhZiںAsgCKDKAcrbcP: tR'UbQ#TD5`-y,5j*7Mx,$}ff1],X9K{-]F]>u%q19"5t#}X(6(Bz9$_f.K* l.pnD[d}PW\II(ROu&ڿn5#B f|hȖvg3AM KP&fC0~֍Os+ie*sMjXV=crGX-GӃxy8XTO wH؜ ۜܡ k\,RfkKjy^Z/p, O!KLIM m:S`%`ۆ'C %#X[ǿ}&*ϻX={(S74np'"j"ݢKҡAvY3Ŗ'OẶ]WQ kSZGu*yF6ץ t{Zl [0c/ g^@Fb]$56 z,81RVaLHVE"OSnXۈžrV5:T_pYF+*6oA|Ⱥ* |/&+OiXc??bD;~&{bBJ(|e):RM?sv,+e]{3Q-zuV|) 4Uؓ!ן`-y2oI5;f]'W7k~1(/8)53r!GτFB rh|l#JL%3yyGSU[ĐͣM]=v4HG $hL|Aj _dp<|k8;e)H/D#?p͛x*9bx%'G!}`y'<}42ߊ.VV##= uqfXӋf#HWdR)|tgrrY%nEz9~UҢdyءcڲ!)[?[Q`8晼u~C#AC_J`8Ʒ1@ =>9?e>Q=@*!ٹ~(so.ѪNc?IZB7bFF!CG5vs9)cX(ٶmҟt(ciM0GB 1m;x ~]yS[4c5CU6 Qʣb«;!h*jCGiP%3tU y&QQB4;ٸGR٘Q y=2̗bL+T>T0زաkts>*gWíEeG8<2&JJ,+3HKV*ؐ'+3YXww~RvR$ xw5P򁤭|DBc5=v]pQmgR=3v\4OtzøAʳG"\z6{Ȭϼ{ҕYMk.k.B%h!oa4p;J EO1ѰM‡`A$[1 `iw P hbٞ@z \9@i<΄zNHtss<Hp-vM+pB(&ZD#L'o}4^j* ;$9}X8(6EO̰YHlF)&Ss8)4J х},n+Zd`IsIKs7e5xG$X5Ofنz|OV&|WBTw&c?vCW}gwK%3%wp'xI7<Ĭ1\UaH2be)ܬ )4~Bp,_H Er~P MT4qqxth@}P]\V5!Ĭ1 Ð Ԟt\'(A)]ĖLBɌhn"@#4vǴ؉*BWX`rv !^$=Gٔݘ2̭|hV$Hp>RnrџҭPZ鸄jjn]B~[ڻ˫qM׽}E @Aސ.˕/ga0&(Rn*(lBu#z;Ջ齛pmI͉OnUH"dwKfʶh&mϊ&GpER"8GT^\R`WCu"t,WFo(ނ@Q])F7SNc>GqR>Oە[XT׼zGө DhKWt %9D 鰆S-܁X`b[gGZ_1oٵg \n,`T|{ SqS udw'oom9iF6T!3x_FY7,pMClP'CS(ZL[|fb˻FC&|.pT my} ~3:f&Y!.d @kL^ Lj^NDAlL\Eq#mĥɜqFCa lJm}Me:=cHj"WZƮf[) ͠X֪:3ˊ@kܝ=2d4@xڂxVQFṨ(mMWaz]5KƗ ߈|k(?ֹ75OP8,]1a EB,n ԄE[|2' li;~^CWɜ#$H֍":z|׍6TnR1֓(S{|Q=r8'+j[HyM ^w4wra畴^җ YPC8,\nZ^a^|!K&gqWX^>ߩ_߂u".M=J8'uб h,R'Ҝ+È)lv3‰Ŷğ&5n_}6ZkjLMM:٪MpI!_H]ԭfAm-6,=Z.gwb&x 35q\+ 'DpC"k66%!a-a0zk _p)NQ$CRo/&m}m氀7 ݯPpƇ!sig$;L.i6vBza&4@Ix1|ko5 _6=!Al̸rx|k xMg ;ûy; ?I$SŊZtgߞv|GߩVTZRQQ{}(HVX፼8gIO*h etUX.I=e_8YU\ELs6 "LmVPۄ?&*zvR6],ݏk0#F' 0С`Q FnًXӐrQAKY+\ zdn<y Sg h(R3awBq/uHV̝L7E%UP82TG*(c7F Ӝ\nO;4 { 167Jpa"54!?2t/E]I8@V3),~k3n"))27'W+u~y>wnǾZ#dkQG۽{rE}~'!rW+d6c ң;"hTQ(;6 6N]{Usz ;GbFvOk礙?7JZ9Fn/QD0}=E)>иJOF‰nU(NI ՜^-쪮Mg325PO=l`;,v ު/10IBFMUn;nF =x@+k+aAlջ^ anBk@*!/dqN1!:eϑcQ휂p~$tZ* eq+>Щ9kEb66 w>)N(]wa -[ B9=YB-K+)e3ZUk-c 6OЂˌd=pn[M}1QTdu"tIsCT\j`t54P!,V5T9+}q9T .B@ T#zX'U* E/NNSjDhw~6M fz_W暾*d`%djz1lhoR[:+c!I@@54IC~kj.b9MUYKVF[za [K~kX#~uY+`jHSFc/_u+͚vC=#h5ʁH;H3%dA țl1Vrۋ^Tm̿C>T0KX@#Ws%aC1hN ~aU /΋G&'d*X\6&jئ.%,p;y+N Zu;| _~}x\1 ٹu$E/,?B_vn8EI5&jܸITP1j,)QӨ CN/{`8%'g@Z@dJ$nqCuY B>xd]Q&iM,π&]j k1:nGcIJT9o-3bCxV1qixAÿqi]9\u,N]ɘ{(" G(KCe R/zU-jfo停bs  !KXK2^Nu<*w9şF\ax]IKp5#WSC aO&ނW J3={@;h-⫄U(0" ]Pݍ|fedp@3E#ޮ J2c$;*Z3Bdk5۾!Vmc(": iڲn֢!,b hb(=@..HĹpB sp [_010=kW DdZ ('W\RLh c%\1d(wRBxhmΛXgaN j `H4Lh|o[}N_zWG[q mFF tz }lv#\͑#4?%3{ؚ-7voWu?A4fZ;` #Y=:[6jfO@^ׂ6y GO}Ͽjv;cLX2F$?;Q_6cFԂ !͜ǙHT9׎U䞪1ݬZe[kP6ai%c3heoL ,P;,1G\ރbۖйkBCWQ ΐ Aq}+'IM>TVPpV`9I7Q:gp!5lgDuVN (<[$fM?}p!Y̝>yhc((2 w#8ZaZ`ZQ `Ć ђ[m ^W=*eFƄ%m!֝r\"t58zCs [iIO~m˛Q NTs3`+ fo bENጚ)eu 8KSik!6<.io^MX[/,xd܎rLx x8UAΙb2] \x2^$3|](-9Z>gußFͪdK聢{z9 F㛜vA)Ț$8O2X*eS밬v8 X)nyAj()7صj8ֶt4_c1٨,2`=FA jQ: goA-r'&qM?|,Tys];xhS.&n&tطq΃'NI+d "]σx[>(ĭȳH4/ѐΩnF)QU^>_:8L:6B`VSse 2V>'1@)YLm$A>T|;]lkg? ,-X<,jUkGLff"@K3d eNۦ6X}!T zn/MDDlda tEڢ@Vh~q"rG)/T!~mIvHgSwa:xp#V.:cz,wX'zc"?oÅIy߈8jTxӡ e;-yIRl5 ֳٵY.TPɩ#"f].p3ˇEtG=!ڇ1Y0)i^Sw f~)ZS&s?m"2 y-a/i-KcAٓ 2F#u@0Ki}́qqǞ!'U`!l?-TEBhQk|7¥#{Tk,.ԏ9!L '$P9SN[ŝ с@]̸$ALZBΥM)2Cy@.ŜGcK,[աŢ̔=n-#ߞ NdѯS>tM+N0R7͐nd ![ mN^~{[~0,X`©LN뼠TM(>h#9nuDѸ3Q%)hj-&e_2 {b\9.(L,t/EfJy'[OsTQ0nZ>!ݗa=ȟ\-B o̼}lOZmvh"۱(,#2G#'ܿlZb6$톡pB%dce>f9 |`dZ%(̐X{Xgs-:$$oʼn*)ȵS&#yOBLǻ{74u+0!^ˏGm hKotEi߭eGltj'cO Ǽ|A&.2.ʀy|zD)p5g8 ƛ-6'bB140X/UVxcȒ^|/9J7 އXB ?o(2KHDZ)9 U,]f,_&v%)dߎiќ~J~>ًB'Xma'fȬJ{0%妘9Q y6,߫ dFXاU0J\& ^tǼQkaXEܽEz{*/i:*qPgv,%*Zhh5=TYv6>l{r \|m1^rds቎@P{1 ߒ'\HhXEMeofjlY+#6*V1["UazHj{KwN<9RnnY͂Θ#w8ѹrSE2ƂS|΄ڟ 3Ŕr CήLlAmK5pzsr2 ͮ}(6jE<3hpf2 ّj4HVbRzL77 (VC7h4L!F$x^wuN[&>\W*1čAt^xa>yl}vhRzcOKT JX\Yi5uU~hݕBYEҁR2UL_(X83+F#i8NzɂplzBԡEy׸~g uu`j\[%)!9W_:<(Gxr-~rfNWr4a EnOW\՚mESp+UշP ;p-` [0}4/Z0%m ;^Ƅ 5.LJ:װVSJHEmK=N]usG2!/:ݱt>IR7>^b+ |[l=060(K٭V mV׻|TǕ'^kQ(LFT|L#oLp(gPr l 39zׄI/=|v؂"*bI#oJsϨxf굩ꨯ#ß*Bc0},=i?ȟ>f_ dJ+e#TNbzy.OJG>v;=G9-+t~ѳ4aKDiP)Z\A"ʹR:Afqˏd"`>{2ơ:QTé`*#I &/qOUg'z 5'5IX+w$.!!e?`5$/qd/sۑ4)7&hu@,԰cR0?PO@g#{-y$_Csﶙ켸{`[nzJs[:T~5ɛa:?Jv8pvԂwǣ#, y闦_i+" zE"2I6~Zser!a{ =)x`df݀5G[:sh hilӾ~P(桇/|Tjj!< :BHɶuUR݌:R/-QDȸ=!+>HtFm>2*HB(1i&XT>v4,:-#S&W &,ͯXPlsh_f@T]qxP10X,ܲ0-nf :'^᪌{2EC=թ\~4j7B7qx#X4F2Z}po Z]>&#Ь_ wWQ94x9Oo݉[ap4 ^J6BOY: 8C]V4}1z8I}%W A;RڸYe"c\Q6?VJs,=qXiZ/ͩ4v\u`i%@vr~Ξ<|4Fz*sؗNZ_6߽ ``|^̖BI gL V/T]'^ui@n#p] ë<0qhj|O_̵ʅ5w7)nš8ccO`/CvƦ+msMy.Zj6vX8B$F)Jԍ++HNq߫ĖeNfe.=mg7he1MUD57Z[bkUqmA^\JN.3YB3#sE"i;P7)U*"7 oX7׷ԭ @hTֹf@ayc1a+Ok.pZXP ס;r(UM&e%N rCNf;߀cj6i2Z\U\@ix:A}+.pdr(9, ;MpMQņlJa=w3 $gΎ1QETجИ &܉AOq'UBlt -1{a.bp,$, Zs$&DsD ݫ*˔hTni5UҦ+uk'sߝ إjݸb@l+Tnt>ץSE ݱ({Ҿ$T.gFF}@='cU8' 8w쐏TvqC&༭.Tgeb2smf[Z cGKiCxPl JPP{+&ޔ2.[gV=A Q<8xP> Y ~ĥ’9[nBU>sՂFjǢHMIi[6ܙbeabG) 7R{M1`-)~ tUQ?Q(?87̫ J&0"oSPݙm֜?lZe\K鳟Wu"^s) uaܬ)8lOW4X@Jj04LF0V Z.pnhD:!lmD(gJoC֨4W9/˘ eI$` N,y3:{nXI +67R{z#grGu[4mQ<-2U ;@7`^|-8GSY~0yO+,2}:VD& < D|d9=h+8h8&'5IWj_m|w(/$08,$# t/΅G[0p ~kir+=̱(EKMknP iJ64PW]Xp~AD;a0T?<`Jt|ٚ+oN1nݍ?#z6P$ FXQ=.CdJg|rܜt*z2̀Oh>}oIelÞ==./κ*F6B }ZmX$(k6&R6aDl% u@}Q=, #.o $K՜Iʹ]ep (cdPn.$őEpٖn]1^ܩ]rcgP+=JQ9]Hۉc#.ХTg㿅XyKg0?_Sr^bD.2uS47h]V,;$$d׊ dhXœtzmlߧY!xax&(ڭKAƱgYZ ^m^g5/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH4/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id218Z3/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML2/A' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bMla,R`^K3K8ct*#)j>].MZ8: Xl49C?:{Y yt3mRww뙪3.B]0Q?a7 (8ySln$RΆBDO)GCf~:F@ůQ4a= xѾ'`g*P;"KSGwƋ]ve-&>j@v~? .t@wlF,%JǎA T洒`T 8SyUZEWPS<1Yh|ũ.7sx9g:zf\,q=ʝY?+ȺtjK5uK||vNRС t38LNt5Kȴ;vݘC([/a]CutܾgI1qm8Vu-n ~4S/b~(Ƙ%%o RdT1w~pQ2Mv,0/ۉI/C=$`)a?,"V Q[@BEB|O&3٫<3o'8Ka գ?"!9'6“ZÉ\O~09z|M%W x͢Zy*cx|z(Hܮb?],]z7t%%}VȬKxN}9+{Qb*tςoihxiK&@SCGuۍsmTp[W=kW**Ejcglģ-vI7'$5N4aE(ـ  /}CMV0uzVƅmqQFeDa}AD)uR[c&0wUbpSZ37n/PC^a;җ?|2ZDA0핈) lƵ?x49ogLdUs@ýaX}JdV\R /$C-"X4',K>bw(ڍp5ՌoYy_%-K/USπnz!XfkG@Ұ'?֍{,?m ňv#j\͝Q 2)tǕ\(FnE@娑%o1Zu; -+Ԙ.:d1cIԸqg'B c|'-u Uz܏Gh5H*t Ӓ9er{p3PlE$d'{)r"Z:7t1{˿fԾ ABzuQ7Nl;i(jx&{ҏ#3 UlԪAl9Z®r V9KoFupﳶokdYsBL+Bݭ7ýYka/Gay$!/~}R%C|Qt/WQ+6ͱF616@XWKb⚫=6+$Id>a/Ҿ l)qE&QP:YOg^7(>(C$<93 "rgpۿ&Lzoٱ!8##w*mmV U`@?/P>O ͡/]pq=Dސ3ҕ:@ mluiГ5`jo#| +ㆬw2/0vK%upІ1 fCTڡz6g~'u '0:V`\ס;M5P+iN%ET/s tv  hꈧ)+ms^}'\ݝFeTMa&7|p?;G잷p_4z)ڽb+D}~ItMpO [;'=>)[j~\@e(I Ԋdj[Rk\'i)I?Z6{VSk͹Tz(6.bWF9b*$CngVtj% ÿ.6( 3KnwmFfzA^o\yu=2‘M5ͮWd@(k(˦"VGĉu گWak51.(LnZ}3Ԕ?Cn`戎J*)@>8,9]P3<8"!I&cnǶOgYZr$2 B1]_i(h$C'{m(M8Sr}Y2[IS!Aǀ\EWPD6VrMY Xd1אKAt$I$1?{llUv9T}4]rZ>SY臿U&=мE p`*z$S|xOVvXN'E_Go4bil_zى>Sv*c:2Ijg@ibn)L#bhyqdrT4$o"遪LjLEKsZӪD= h%E=MC:Tֹ7*<`y_ :D VbQk8畋.oEϼ?h%a0Ͽ? oOY%wy*t#&YSc$yRV.;=C9~N= df9G}$B7tnk'dV ׇ3ߧ ECE[t+ s{LiX) /_/D"Pr̋&G9FE.K7nas 9JҭT7z_* `|<2T+{O:E8FM:;Ks?GHW:md %-VQȼ5qұ|DwJVwx;Iџ;R_2sک`ɮ%X 꾡.XVk2cPVb4jmz-^n豪J9Z+?nTV HQތMv^0xH ؊ddR/e7Tܞ F( 8TSp/kͯW˽lPBl]Hܸ=)xT0to0| ohĢ<Cͤ$G ,$׃k)Ⱦӥp?oL+mkfH7Pq'E݆,Wld4, XQ>Ͻ.nB,pS26N#zA܌2p -(7ZRzDnM3gluk'=b-eGEhP,$/2e r~ͭq'9PBoኒ59mXd>5c y ]u_G9ee+܌P#;2i'70%ȁdN3YP#uT8ճY9T p!=?^1y8I"\uВ#J -&gj6@(X~5F]}xVt6V2T+%Rӎ_+%E|f\,5{ZYDCocZ||7p"quC )VcW9;NBzFИ;4qrS=SoIEK" Q/RzTpnw M]-/Y $b&B/"Eg [NS~Z]$ro^31@Z%:ߥ$U`{2jlڔ3srƣ+:xHmR[Wr\\f\&BΦ DW/ U5Խ8CubQzP_<%:QC["FkDRuޮ f4Mx$j= =  hz> ~+ne$`NTR |2ۣFTCǕcjRbmvz4%_cJWZ`!-.dXy7. _uG8a:\Sٛ(!j'j>U͖u>O"ˬLВ(ɾPKhFCy3*\wěCsʎu9r乡\@ng5e?^A̠,ߦeYyYTksu%34o{Л@~>jTqetvJ.ފ\?3tE&FrH3ŋqBM :9fjtʴu$Vn \ܯF&{(Bd ]~Sfm5ᤜSgSxeF>D|sCS$8a%7>}⌤Vt?ϗ+ YZzU:&oDz[j} r'`B k]SҘSCS 4H9\*U#$IUl\ mϐPrY(Dd-';e^kIdmB!]~T}1F/m8Wp<7yNF\ACpci"Udh5Wdv ō]v)ɏ}.'ys7Ͽ iSeG Wɫ4+-z @L4C" "lp X( ,0%'[E#h#GY͟[W# Ջ2j.F;D!3cڄUSa=BiO%P4PB}$Y|'qi,iv]!N *M4ኍ}Fbg:Й!u=*lID8 6yMwỚH2zy'6iҙ9 ~ *KP*L۟D$?<d @# 9pܯ! xBZpS-?3GƟMSѯdP*l:P,3qu<,49YYJT|HY)+mieX)UuY0Fۼ6}1!wP-)gYZ 2a9/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE8/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id214C7/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s@]·Iq n[:|&[zܒN.x,Q< r7FwA}2vUӪ#'"#0'6,"< e @ q#rtcf˕xҸ5١m/f#^AX̩*HNa_HHY昂37õϔHNZD+7/~?k!BG0rAXC _E# $쾡Mv{{ω9˹HR{1'4d+1z]PM"O5>uEۓ 7G 3QU71<{lYIyyzz1J73:"ڌ !oDa8v4Dpq$ntBi*@7a"U7@p)'ZP_7"m_|Bs\e"r,AAc7Y\*)~p- QݰGV@,xYk?a0;IeeiFS(ďehM1b&HgHx8i\;_Xwvw^|[mM!U`:!X{ţ| (dJ4]-TtFنq/c`ĜfYbTPagYZ}6/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <{]ˠ)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هېIi{5.qzw2! (%^YB u@5N3lAw~ SG ;lBo} gEљflWM1rz\3Nq[Q=A|:XYNsMZ1T]Dޒl49'HG00il$ Dcſw=piqu]=*[#QnPX@|ҍЬY:W6yԟnh 1y5'@h$|FdBv>F \aB'tA3fEpg6T:gZ9σ3:h ~nU`^ r(tbiV "5o1PJNJ'fcY A 3>/eutrR1-9!ɂyDU"ae\T(6MPۊ9rJ¾ BD\;*-ڳ* aAqGlZ~CXi˨ca/*YكF7\_ *`1 Ά9iU!o0c8ߦb/ VKm!wnPlc$1c,)’=95/A a[ pC0ٻz%[!d: oQ%9thGAKv IAݹ5,0c3%I ,cni=d{D# ߛ"D B 'RFl:p^(M)'8:PU;+G ʔQRV<K6Q^K*ѻF6k&5:%w"0<^3xXsR8HTVk`Gԕջ5]Tq VaZIi uT<g[=D$EYKRu-;3mPMxVUkz É$$h,$ρ.olR`{M(62!gs%AU,g/ۨGx tnZ{ 9\Т[M/?R+f(j3LgP$xZWrPأQ;Np/e_r8^݂0te<7!o.}c ga~|8Cp e RBc!sCv)}mDLI@8;.}r'$]Ve#O53htCD(D(ψ>ӛEyg潝n`ޒP[/)iW#&Xe0jظ-S䭶%"͈Snww7U!5O%tl%Es&w6Ҡp!ٚ/sHM8^FV0镍UF;/ywL.[G^q5Ѭ:VUXQ^kCNBtrZEqLkT"@YynXꚼqHyFoڀTZ|o\oHMII$ *ا⌎M4ZX~usStAit G>N[Z84XN1C4ߝQ*?ӯ}1Mj_ma^Hɰ>E4͓jAH%Db_ORX >^iv +Ѥ1fS߶=$"XX C(_?btulhudag©42İAp; c˜.wᒞU2d䦗=i A0(tv9PhnV;㊯>/$nb>Bܶ0 l. #֭YO8_GB<{JFr_jONj2J} \/bUtDT@ \3[??e 4:,jA[F%;N F/3!030|%I`@**I0Վ0@ŅЯ{0XvJrmJmEr>DZǧ!6f7n״g䳑?g>I=b91uk"ee?-eш0t3*[.Zm9n/CZz-κz'A[yUfՖBIXF3D5jLm<9 EIw{yaxp  ÇtըX 0 4ee{5 _jET6e<'xѷ0]Y.%l՚+М˦^)eE?q vQvpB<x _ Tsg0zgFf.؅}:cg>0}mcX20}:ׄ]9 CBhJKοO,myea$f|8<&ų ; ' u?`6"O, (SGKW7i^=A߶W/o1iBXg9GL [A~a!Q̎3m8WwQ6~φ3]㢂@YS,=LD|˜6rl,¢]'Nma9q@&;\F,񷇔$[\]D]^Y$x37.H LOKקӯE3Pv r3G8[<(66=" N~}$]"LdQ ~xE6T$EA竾>;؜/Ÿ(u` A(Մ!^f04;ޅi-r)ƒhl*g '^(qLԎĄ$`XX q##xs赏"3ѫ~PY>q1FO|!ahkܿ._bFjd3ꘌ K^DFgaT#|hJJŨU CF[+TcfcF4oi]}?)UP`T݅4IlϠ#pA}7ѢdʀzC`.;|Y#Z?&.ZX'>l7h?p' JR?-ܯ6c`{I!xt>rR+#X H' 8L#YG>qf%Ă1 1Ac"?(ݻ*i˘4ޒ_9$`ֹVm| ʀ\m 3dX"U0ȣֺ*yAPΦaĬ)}vAa:>NTuݫ7^.CfH3x뼵ZBcrOښ~T+j7BbGpF\ ۊJ x=s4}r33[4A7ʮy; H82 ~)YB 71"|b+iH\aP%,'s*?W|aQyo~yÏmNuz,;=L ح >Kw*68"|n 1$w|qe"Z3`vlټm@*S`GhypAz0g1L\qwÅ*h%B}>FT ñ@_ro phG Mۣ,c?jpLs6ٵWu ~}P(1Ԏ pnJ_'%~yFzQ[t3$[}Ve7̣wu~|sz25(:߁ ͐P`lIv*pFjo4>zޔ STYGe\>y $U͏_:-G;s rD]nG#y:nܶ]/mK Gj ڸk)"cY9:y=DPY' y;z!7b m=eh_y/upA?.} `3@;7&)i='s4C)*|zC+X|`bv!ty/Q@vK_Fݑ2m5o]}Tb=mіKnO~^Kk _ cY2 /AUEcŁHc̵T 4#/<"Zt~e&C%=7xP}l0$&ձAGc:~!Qsd^ϪT:9~Z~b=Q~#=03\5e:Ϥd~Y.w5;TWOcY|PibRPi*3U UMR (\^ęPiO;ں㫍cb#xL6̕vEz'oeg(&Zp*ƪZVGW.PylҖ'|-b'U#P»xDNC_g>#JJ+;?|ejuv&FgYZ `  La`F@/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id2006?/=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 6]·Iq n[:|&[zܒ2A' :2Ӯ繤s\?tQ\z vj!UaeӫP5MFisNC9ݿ)m;Y=e㿃u+0X >Y/ᇚ*9 M#IL 'm~>mM3:)K\֕>|zW.N/@mu7_(,k#džRd]?epBnK9O"Z^ ͜0gYZ`>/=# THOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ed]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A IxHphkfr3- sS82ћ)}8[4Y@+mn{_ךOC8(pR-z?36qj*x^d-gA[8 _TЊ0 ߟ E`^rk0`(@}[4ń|ZaZ h Y7:%7gZ/Y~WJ.ihl5F.q_"Px^_95OVJhyA P/% xSC1rTs ܗkR:IXyO`DμmZ[H\V%_+O%vXg{M1b:'9t#YB3JaM/;њ&8¨& YՕ"YOo \ihDFbK&0#;$ .ט=j|E)ȀՇ{gCMUT>fʀܴt&AM-o M%jGl4VIBW;1=GXkq]A@<ϊ[[C+׻_HvQZ ȗGპX [ZtԗXmZL-1C'8}zȔC^V= 3q.oMXĘD;T3.KeX۲3E=(݇nV#7n؊,f6yᓼh v#pwܸ?<_3n %?0|||=*9)&RL8WA]=/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC</=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id210(;/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4%0\QiPE0;2Dk1 HJB6]/7|#e`Fo}!US3/m-EV~u}g!Œ;ߜ0iRաTJr8Fl>WS$I#^홆Cjm+iVi0Z0T\rekObQ8Tƾ 2Ct sQH3-[ݠ 'veU+FFEqYjc'D@DƒFxdX {qIM*sװ1Rѩɇ1G5#u{gj9@#Ie1b?sdsNv=|N_Jo0 @jų~9gYZZ:/A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! []ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+cnuc lH%|ƞn0ɥݟ)LMl8mcoWS?]m/ !O>gѡI^`F)"p<(Y.89hˡ>jbxNgcg@xlhNMq 82㥝F;3f,TOTM7}`-b3{i\z%Nܙk/opNU #˻dT7)cթM{w.Wg`ȥev%qB5=)UTGP= "|> o /  y A  : y: ~D 1|>@ w H I J Gk~A t'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8A/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup6>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files5D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id4@1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citati?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messagesC=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markupB</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/filesAB/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id@C/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup.B/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files-H/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id,</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages+:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup*9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files)?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id(@/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$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations# w'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id w'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id w#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id>/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup6/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id wG7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex t7HOL-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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texkEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texI/E; HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex %hE|? t 6 k +A = h O  F E {J/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsHE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesGC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupFB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesEH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idD</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages?:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup>9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files=C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations3F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages2</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup1;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files0A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id/E/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations#J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex ?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_idH/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8 nUi.v|$ߴ [BMDiPɚ-^կE3ncwCLWdFb0^P=@lF ^2+]W7'amJC|p~Te4vBd" =hebBkU:eEgo-Lc)@`=6h@{T)o(>{:iTHq] OdroeTH?Ƞ[xh,IC@h$7ƬBԯ;Vhzg I~DzAQߊEQW%^5p k@ Sb5lYH,J..@IӭE_A*KhDA^k{siQr퐞ֿyhS5G\es]}D:?xgYSY] V؁yzGlXj#3%jIMdRoH6uԢ6L3MEK ۸ }\mȤM+1& K>*)Gx$$J{ET/ ,-Hc;=￧62eFTS5L5q:=RؕLI,/Flmd0_18 qo)z06፧g(A2=9Zo%7.I)Vz@G :a>2F4.&H=FSjM̅}pm7uѰWʺ2m,EzY`p%d}vfm{Ȩ6d+|"up!?krh^fdZXWc%>ހ_c-ɓdgܚd"S&yN 8`Ab֓M5(i*a[F-;3I8#JIJfzGgh'AI2;顭7DrxŸ%!T6R4jvohc//GuQM #k6]Pz{ARI] "y^q#28ړ6N!sB b]<Of,1%>_Q[UGwNJL\t( &/-$hj:$M:u4Q-hJxD3qRt듹Jr]dk&>|Etq BHIK,GGxbjT.^srwxk!'iuj$J+I p~MIm}Ko /&L52ӊIT''*w1`kf,lLFNM'x8lmwǩx3Kt#L@}n~ a` G9q1(5=+j4!D**< 6D!4L]`Cs(NECP2f>ʗ9P bEV|԰*9Ocs{Z,7KM k'/`6"\bE(|a9#ޛ n p\<.%K/1눥ƘEaoy-)Ycɹ\CM?T"'ڎ cs6LZ^V{^m.à4{s:Jvxp, p5jtsY<ԡBNɠ3Z{|")j[^>!>t<4vV1Np2_a׽yNؑa:"ZIy8Meo2ehu>kdR_]5;'8S4R)e$ 6zo_rafoa? %{J/V xb}x枀?3 6 J3Кϑպ?@͠'ܱ-]QS@IYJ ,aޮՅO|߬upcb@%2x,kΎ&)n4pRNNBIJxrn{8̗F'lWCJl{dجmn=zh-i#Ov$_\_X4C>lAʾiPl2D8uT%8wZ |z ZZyB`࿹8LֿG pPHn-69⭵eW&ő_:#f9I)Hx%v-ge£Q=cYb]c!u.-)M6%W %f.,;%8{4l<{i 0Jbd8 \3B9wN.6_ 0Sk]An͹H'M_[w:O0w:Y(*PJRDI-'X3ñeC禝OdXZJNT3ͪf R]0G;^?,)zdpF>%A F.˧|2/ʩ MqttESnVZD@u6zxE.¹zM G3ITW?9.rp="U} 2KQ9;NPaxy؛/0rѥJFN&8΁{o3X$ZUگD,=n3J%5/܅TzANv*>fbrlUɈ 3Fv\ 'A /2D"O 6e,53,ޱRmjYWcwhe6ðW+VA(Rbx Vv}QyFUѱO7ٚQkaMa{/zjv;D6/1N/IwKq_%9Q(! NMnY8oV_n_j9ٻ?x :gi~`]it(]WePmQ&y-ϵGO݂Y9O1. #->5| gN%4@EuCY7J?c'ڰR y}tW A%˾r0~7.`Dba\"NZ?MߎҒwoOƢr;XGi*pROX1rB8N?X}oeDmq#Z󣝆4̞KϗgzIį*Kq8˟D{sE$GdStn|盉lKH)Sq?,ǷUG[LU/'dگ7÷>KɯZ\I^e KT>29 e"<];_~j56%Lɝ.es#^ԥ(yؙv-Z|FFd1 H,d6 me"3+}]n,w*ja襈S`ek}s&bZrY+JքgYZ GB/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! G]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STzȡ:.rz=uSEeD"e8Op2U]l=wvʼd6+UN>ͳUhvZmt`%`6<,OFXIύ!"3ԻltWrbcҰjr?LM֐ٶZyT A3TrİϿn Q =O ny( 렩a7޽L9L)~(g#BN/V{b hי1}j'$^|lf$FbQ+o5 VKr(E ީOa{4!Bg[RÎG^C {|wѝLpYCfib;6&Qaݪd]"ҭIXO<ޯ*}Ÿj RPjSF>M] H a2@pJ\6ŭ>ƙKǖ҅'xasutQٹWICgu4I5mAE"e\u4 Xt8 ($8\fATi]JyΊ9b h(Cn*Xu~yO'7CcA/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thy j] /5[)ѱq isd+ /rHz.$h; f+r$\?U`^nM.9tNE|kN풺®[zpߞAI&\j',C?YxwOa4W,>1u.<8v;'k\+oInLvױ8XAi(QYWpEg@AXLt2,){Z Zƭ9%HQ@.1=Q%&3rS<&5#r<ed*ēʈ5_r qnF1(dX)[{8ITb,ʩ-P-ynduOugX%Wl-}߈ (cW}ꍟCJm{lH"/ī T [\01!Dk(~( m/ʌ~W5 ;l0{r+Au1wY.8ѥe;E%X>^/KDY_S^z}i[j\-MoTr*{O9L"oIvc8m \ޘae^*)^0S'`~T\D4Ş~hϩ0BA 2Jy4 8"*IY5 | tf_C SZ7d s"7'b>>/'Cy*8Ŗ\. Z]o`T$fm q ڻ33쉃9jVL<}g1V}u;J`e=HEwxkcUBg_ Fsv>x)&1' Σu6onxO 4bTVǀV=+xcy7\o6#my(v-҉೵hZ](p\ka2+ӇYtF9-yb̋Ui`te.7CUqR:&"ӯ|kAŢ38.R)jsP4`#1^3rxLlQxo1T%sq49]>2ϗa=em.9TTo/ LnW$uX_j{P=%Fl g /Ŭi=>] 4 v4{.vlZ[;+-dڮT0nI?Cah>jJ>Ej8x3_bV#Gx"?/:Zw_C,-X{ĺx_Y rZw",j$`lx@~d"N,UÂL_}vuZqGGRMvoc̈́ۇ-eWNKjĞ9@>z >ΐݙp7TGPvk>R||*{zS Qu`|fyIN GQI|,f Z7.GN*{jr 6n2O N^F"k\l?ؐX78C|k<9[t2_Pt%MY!:R4af=дѝp2a(q1}aMpȒ1%29I]L}ovN%iq 5 y69^Q,o'qU}3}y3yŐN/cǩ~A&9!B[M@;qGA"(c@bBSw;2d *IeNlFAMf>DŽ28_m,yU4wo4Rfm՟oHO/e,w_=4,-VW ,ⱴ{R|7z~OrQyZ+Q=+%+:[%@ pz4D&9%I#@W6OQP]ycf0v*:zf]{D"E~]fOlU~tִ\UEc`2!" o ;Ir6%$V;r9=WCa=9)rX"v([MC1q?>n3WoM qًOS.@(.SRųHEZ[bM%A$謈H_eZĠ9\:=V/7p= Jx"^ B%LQ\. q7gYZ <}RF /O# $HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Ag|w+5ϻ2 eCVØXQٔQH-{6|hކʼ["n_VMjshG#ӱu!V⒪ 53RLFU`z̃}reBd;q$R߲,,!E:oeU{X /P!^dHPg1B0up$h@v20}c wTTk!B9Z%wzۛun#{O#^Τĉ?q TH3}GյʔMLr. ?rb/^^׊%wuf{2|ŚRj{,EoE/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyLD/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id222AC/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  =]Άxʆ5.f-9 rq8L2r'}Q4{R<6*@JLyn ?-a_zQ*nk&[dHS@ݴNx#o 2` B0zE]/\ G95wfBJЎ2!vZ&0EJZ_×ϘOݸ8{CU6 MrF6v"h$HSDz%͎}-1t;Uu)"%lpy?tva*|ɼ~.QcVC"z8m,c) k&K#"߸*P5dbål?$V&c%'#> h 5{}fPHf>aU:=y7\X\ƐѦO+s順?d R2`#Ox$+5A^k 9n7nA<;Q@6U ͐ÑL)T* ZVq:H˿` gK9o>2=J0x 6p70g |RC,L,.gK32ʹVIӈvx.*Q܉)}eQЉ?WQQorӵ0Rg,16WkN*`ݲ."E`ЩF[G^͵ii\ .TVC2'BB5SJZyI՝=$|}{fZ8Mr_͓~mJp_;¯^ \}gR/ɰϹjZoٳ])ny5*|)c^Gmږk/6TUF_3 h;տ)sVw;Z./) @u9(%TA\gr[G}l ַhk~U?qj>^Vda(}/mVQ00qԙR9и ÔC*auB6\q3kTko$cl^DR8}e "FPju%c.0?;{SȒ##|C=BwBeZ/ZG?edQ6YJGq/txkSheq/Vb̐ Gpgd oKx:HK'&q.#(nr8b6@sFD>($40iI)Y5**Yh6˛]:|Wp@`e{7Op0#?QuODd= L"uO|:GQ%[RI& LX]fu ԫ_sfl& c~~sN]LYޢW}GLHj,lOx#qFBBJ8Ƞ͟]YN:yM3UB\?jq YO5QU]zk٤yaIWWRaTxW Lv)B-FMvg,2610¾ǭf;WWxuz+Ւ2O-ۂQ\>|(#7c+Mjc9ee0ZNټ99 BK_J!=x'sJ}("VW }6 _@|Ч<_ڂθ7k\*삔\dHh4k 7XGY &3Cw *kĝ'lh F_אQyؾNOqCswuM: IB&g;PKyǤvPGfDIx}ϳ1v/pkciLֲ}6צW v kb`LQӁ["HЯ_3GsMi0̉}~AtQ|P1A&_e,8QŹR Tg]Ёy}!PojS5f2lןIA[EвJq1uM*d{]{tSnШJ#ESgs x7_B3d )QnUd)|!{i~?fr)i>E}'~klxJ".Yə aOY8~SlTrnY? }aB>rxݻH:E<0an8#*:t=C҃ʥXP]"+:3^y8@_MذjR`F5!LUT(#DH4e1'_8}&cGKϱwDHحdc$ſwh‡aJ,AذT܀oo84Y2c$BHY6|29|O\-1\"a0P6s)`}m̵-, s /f»z5Pk>'gU[?ߊo͂#vhDK v#]dS)C`iHϠ b;媟b ż.JdS6ޔn+].9WZm!UaA'$? 6fMZέΎvDz6?\-b3|x{wij~I !9e~vTS&AV ͊GU2X!<@9YGamalbjA=GTETK}I(e/ZR8'cC >i{uLc\շئ:`w\_nj"WCX2aDo9)h]fJ7 ⫽Z>87j~\1w.h-xy_Q ȿ3=؋9%$'Ц;ZkYU=_$" u9+ۮZrlJܝi5/4L֥ ku4pJ J*GbrOmLIS*ʙ"Glymb(YatRP7mYBgeK=_QNt'_Y>+l*g@)tAQB yC,EW޷/az$3)JLUs8q!SN{ 1] jƂdi+9dp95,jwxMO9PC9W ƀϐTcFE3T?SZ܀A>SVt~K1Łz i9 Pk ?=P P;iYẋrϟL:}$acu/e ~պf4#r&qpc 4f;{֌^|7B]z SA]iDԫXAVLmB-EA)-\>:n_<Э[ bIO)}G˝eͧu7`b>1ǹS}deb2钅כa"/1f?:Qw.r (tΣ)^@ ${MÊe:^ :1@ޙ==^ʡk9ǽB>O@SYDp?s`T'} (yKlnekIFmX ykBAsfG2rYh|HvxW!E DGBf?| "!.Coy0*[$((ƲͰ,]--(=q_*PBf(R0ߧ+%3łr7jݻT9"u__ОDH 0;|:Aʻq)টÃŅG E.M:`>6g㬙 ]"w0.+2O ~E]8}_ 6ooPS?VnmE6!8 x[3zmlkST5l=SK3$v^kDIQG5)K2gUl!\]yZ~f,gj{ݜf021Ӵ Ԗ.\RVhu֠e|r:|h4,-J_yZ.r&6.e>jWvK[OFk=Xxq k ELJRxͰN]CVJj 6kU3 XՃY=%Ʃ#[ȠjƆ)>$Qj K"#e.>_Y%w7Q% 9_39)m|T-yJiV]Neq/G5<Q_O!o6i'-)w"H9nB%PApIYjAY{?~uе$6pZDCWO3c'GTȠmZ6O,S"qlT#<Sk%ȝzdv<霠#":;B&D~#U#en`}B8fGh1뷎Y~5 feB !4J)0/IM:pd/7]Cb,br.6 mH%'_uT7h?a\;lL17y[r yTJ3OԶmf{)lBgyNmogN?qŎIi4bH8c͒ԓv٤ ⇣ 0ֲ(듯R]ʯڔIk:8, =b3iob\F yB{ESD5}ɺ ,1ev m4 !6! +8w3| ds7I#MioFL@Eʶ" YVnzJ Ub 7-I֚Nc){0k_Nz߳_â{yg=2IP#6tYŅxd*z dZfb q w ݋M(:U, QK8psG5* hiɐٻČ%"<"f$"KL0wcdKIpyg IIk%*lhqvG( SW Y%c" Q%i7Þ1b a~5d7Nҕuua}7-=NCHtol9\M. j [j$`ﲫU[^ yh#|˴J;iiEDP; #>0"E`Q(.Q-HW!3%R~F<,|ӱVbpz񅪪 DQO 8|^ES=YB}R! ~|N &TE>N.~:ǹ h:o%H߇qV)I ?6"x9bmImXcdāuX<Atv5BWUw3W;|vCyEZ͔GUu:UKGi -hot YxY׺*%5gI]Q4Fi\򧉘hx[n準Շ\N;OX$Aν1P YvOش>4,bu>2qƾC=jBؖx D0o)*2LK@]+$@iYI&><<}PD( zlnk'-% Ӣ B*%mJtN j60썾珓w};nd"[p "918羲4WRMjMpa".mevfbvYZ7\ŏ05ryHP**r],6}^3G=-tlcҊr%,@ >]eFgyIމ0>HHy}ASl% ~_̖4GM^ m~b9uAG-I@6D oijE2[HU544u=@QQ+{n9 v%jt[b|赊"a Q6e^` qՙPԥ[GVqy=9+kuHZ3[1}]#ycZT>Po7Bjw?֔%L׊MIQr&p*'=qc:JĞxj"ቩzu; C뻰?)DN,?^d#Yk׾ip/iz*[~!ct%Òb  d༂P7Ƶ"6Dy0"#o0\a } :;zXFzVA^: g\_ZHHk{p[lETѻEAgec׃vjksZgE_.gS "OKLE ̫=Iqf~ߛWajZ@V-!ZȄ߈ӫDk`+O=9e%H8F0ξ]@9cmFN_ؠJZ}*BeGǛ6}xcEY;u@d?S[Dfғx"~ ŋ3f&ȥKt Q#Ǜ4VH7H;ո.oSm2\Pr/# ke?ӋIt2_,Mq,3T!@o8J!5ܬOYXȿڸ(HQ%ս RДB)#S 8= W8{}tZM~a3%N2 !) Ajnn*~lV^'IVdY3N)z"b/?%ʌ6Fj)0RzܻR 0cP>J]Jߔ:uޟM LԤXm| )=t*qzei(M|]t4#=6 E8Z_SkfΆb,?)sb|e*:!.y>sTsr+Y"›7NBPmuo%$W[czCdLooQh? .28*?) J]"?`+EEGvњ%J,Kx(4$h'NK)^D!v!e7p3<71C?@+ ʁۙ6' &õҨrQ5p36!2I ψALso@j^-s2U)-*sʽ@kj߇=ƸɩSgoyy:)4.ρ•vUMM`I$3IۮjgVq?]?3/C[R\V$ltzdn٦|:¸rʁS/ $xXoe/Zyby>=QCf l$ PLsa.&eK#C`\eY)]^6Y_ ᴻX<{r]*eO'ў}J *N3R >aNf6礈"u![+8chBY+|x'-nG4[Q7=n>]S j]Fm1}tܗ~3%? IJX 1k.Eqfp;v% @1^YuTH\'x*M F9⓵dEN@ kf˰ x__vŧ5Е^LVu ;} kAg'M$H$2.Y@e|_83 fvFu[I|Y!Ot`ro$bRߢBy ֯irJ8Tت<qMQ]%5Ǚi3QXpQ(% vYSUL P_q]A+ܐIlI-l+GŮ c̶St_u x [%~(m߀\miOnD [d%ي̰7M#{+pe7Ҏ'%~QIboEX,sbOki>Ԑ.UdM FȀݠs_E;/sPL 3}E΁3:yqW: JӢ 1 Vs5T/RZ4,[¶=+dvsAlN/h i#"HmfP:=+xK\@->e]$I _4d黈u;>RE Lf/z/D}^,8yw]q #H&c5~&Tgfni:jXP{g5(򿰅F`(6U9w>ިU_@@> JZ)ojXSTC0O` .BcWxgV/pR/=eF5AE8ёU!M@to ?.ui_Qj mҾ8$6h%zDs1zI&,teQU/-qhҤ# y OպeG8:}wVcҠ$c$)?_V۹i4z_ r]ӅO yX( ܥ@c(nPwj⌃tZaKW 1VL^.Pf!7DG8U+h8S.sTu j+Tl),0XWE@;?'dpl<n0:{&Mq#DUK%dm0ilVkx sv P٤#k&-3Ε O>谧۝#9_[}yQf&6Ʉ J%rܕF'׋-,5$wZ1?su'UKt9yGeN%_F>iu{1;#d5 IdZN ~b1MgonՈ 'rݵYn&3$b'/bo~G{1' ^?> R)1ZަPʛ`Tj?4Z_xy;by,xW2nly{yՓBN=3xmR"zBh$A zj3^@ؗJ2 ?04c\q˄ 'o<5ETui8Pr@\$˖jqu]=uΕ APkt a>5Jre4w_zt#_ݝHrA#:N6lɌ{<-ÀlIʍԁ&ma򡑉1+ VEZs{`ϿQkLSL7d􃡇Ei=+,U_r"a.K- _+5f|~AI ژdiG u$ɰjWO7=.cp֟}mܣ (hxFj E>DV8'$kwO;Ģ:1-̀+ W)0aaP.e}--IenEZb5SB[2]E"f}Eh olbF[d]͉jӪ\bѩQfڠ֩KgHpLmվ}d؜ 33^>F$WiwN3QqSqXocpSs%vH&Έ+8װ P@UGg|PӁiW8='Lbt0#VG vb*ۄ<>+qI'Yڇz %3pKt{<GE>r{ #kvym bY/__ dYR^0{po\=_PWps{ךg8_1υ`: I?ds _K]/ut;7O$s//U'nRX[bFkF۵ `,^QnMpAkg ( Wsw؈ϖ--ڦ3\^JY4F H N~׽@uگdL`4u$ʵX=bn$E 9ݝG/>zFǷ6[!MJw&= O՗Jݎ|}<>-!j0 ~-R JmٜH9G֪5+OBێ1ƥ8Ehf;W:+asln8h'{nBs*v4ErC_PFBx3Iܯ/gehK;{)in}+#wJ^Piv/=lC:['ĥDDsHF}یwG%Sl!+ONmDvpf8=S)G <Ά~$uit\w_4aݢļFS5Me W[;Ί=:պ>->fPDI2T%gBHxza"O-H|q U"ը-Zħ-F/:5+6YߝmGa* e,o$5e<*LQ˔d{hK/1ߑyl;b~YQ޻. "〇X3S~5 /$[&Kw`d&\=B QɡT']OkBƭeDj3l?BR6Q?L Fd hLW7+N}3H`yivFD1(hjř GЭޕ4'I8gG+l~`J׺U"J[LuC!Yй,@䷵ Y*>:(cb0fRg==5<ۄ1 (3_tsH r-JÛb;nl[UԠ0 $92}*ޗ4QR~ Okp/A24v b"O"GG/Ynˀ$"rW"9lP_9!~:v|{, ϒZ'ԐU]Ey!Ech61 O.3}RVFt.~xwL=NM*(Pn -peg>^\rxnpWLhzbye*$s 2=`N ~ĵ+>ѽ܎ (}!HUUKϝJ,W."@먇+3uMAbkWmC& DDĈ<[Kvro&2!2z6R@s OdQZQ#m OjkE:%^.?xi٥ SDr)4"*DʹZKa(ZrEbƮ;mn.ʁuJ%}7HU```YZߧJk{*TCv\hmWjn%NϦ,mT2=/#WR6n[ mbS$g5FV`8S#E$c{qRr(OPa=\xXPMG3Ԙ95R*ghćеr(S3xI\h>b5El2 0p$,[EA^ء7et<tQ*Gi<%qP'.T߁KHgW qV~Iʻ1:}7-NA7zٴr)tU*S|O Ψ+ 4ҧ)z=Q/*H Xk iCb;̒] jdC|Oi#WE Ro/c"BLSV?l&^W|oN*(˼*zP"ai1)CYUTMU%b ''oc'Hd].A {+ON XDٵz?A{J sBC>3>5 _L?To=3PGa ) ]]+^ $]\A ߛx^dۼ"S%$n OT7Ny"](\{VXNKoS!wI@./V,n5> WC3#}M4iFiź [7c5&\Ԅo2# jm DAd@\=uk0&pɜjGޱ4?v Ȟ^/2~%[h% XBDѐo^i~0zcY|]ucHq .@k42AJ͠I~#ZM@$Kd, AxoŦ7$v5os4qG%bVpkϦ}SMlCقͦk<F{W=Z)vh,lkB=;ɝ3("ﲺ?_\6W(%TMUp& (Jw"^ rہ4ۉGk$sMmo Ĺt^#u/꬧k>($k唦~(ɤjIA[y<"Ww}Ab WS/gTyԴi ,A51sq,}t9pbGÄSMaH( F#$T*pp^S@KGf=.iJG/f HH{ʆ%̦}]l($yT`sE{B_膋F rs. !h9`j(m^>@~ZHa/5+ ϡ}m #'ꃛ!!1>{a)c?l۩$=VVB98 \E2UIL91EJ`r8)T*;TjnY!j[҃}ok.ƅhhaJz|xm 1'3nfǥ_Ӛ_I>9qOV-Tnme,<Wk)jq~`c *w+mkJ =Xk!P Z`oSn/ϵ,|:QQ@6T0ݢQ)fgM(xa@"[ud_>#nJgZ5d'D,DF *RFrcn%̚}0J'Q93G>$Qc#uXuzmy̪\;wje)e5l2o V<Zv̀/-{$ʋ[(DpTaS5f֞3b@m8=;:`n&{ QS,(]w \B}ֶŠ;.bƙl&Faݺ!S3sґ(,:{ J*lVmoEuvIWl nG-U5:J=P+:iTre#sm {F ^~&dZ~m חR(&]VU|(g#MwER(9aCBeuR_fIh PH@%S%\ =G@A4 rtւ@0n_;8Vj%P;GsRdi3))8m(u@p9)ٰb>*٫4?%a]BUN:{@)AߥF-Z•cT%ߵލq( 9!hx'KkM؁[Wp24f\|="(7Ü.)K[hH+7r2Kΐ I-įuh *qzE6;h<&:U\G6*#J#cV QU:^Z I)N߁\ qV-ZiuT(B=1C;1@S5 08E1#v֝h=NYƇejb 1`;_~0SS8`k,Ibn*T gYZ  f hH/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998G/O' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒjQS52AhE iʶWndt-dh2%U#6BdN`̵vu ܌t=RDhu oQ6."UsIx.Kh4ƥ/4瓘)Ơ7{eLqPzۼ^w` YM^=jx6'u>n-_c+m cgdHyKN)Qb}jٔӢG0:G8}9=%QO<\DwȚsNaaּdJDA  U.}nR3jn0rU8VF:(ֶXwV2 :(MʂsV~r6`*vy-gTwu/. EL=|IHxP=($-0PD" Y@}%peu&@W-º1=RG}j$G$j*zlq&PþsNO =Gzv:[Fa-ZI|;dC6nDM}VZ( 4+D`Svz\n4hBs X¡<"\fn=d!5}K\ YŻݤJdz);Ȗs9G:ڌGl.#~ 7.ZZ\aȹױ(um͞LkⷐȊDt-3 :@@H! Pfzl%b W1VN@qÀú(Ց:ONs3/ŏP{+lM3'eGs5mid (?b-pWMfu|:?y<"%#A2i +XhmJ_Uѡ {r=Fqm(f L m%Ŗډ90eэ$eNaN (x4#ʳJAzP"O„\n`M[.~KU٧kʠnǿ+ғ"eVdxzSo"ڟ7G+VE#,aĐ ̮v: G/U- T˓˄]2yԿS")A@_=Ti&Kɗvm\Z) k1ha/w—3i3v[RT7NUn@*AH~s.d%ןt:`7Qɒ`..tk;qW;څ3t%5/B.}id1(x>jߜvmDF;s+4c3DzlAD1ˣeH [ L6.-RnF5H{$AluwGD301.f/ŊxFY[P.Hjq1eU"g~p=ӕ'P~p^;3e;'Dɮn2I3& UwXL#Ӣ ob Xz†Dv΃J 7{S6NZQ M;!VǛ9$6kGFIAC`o<BpeZPUh(e/M#1foQq:nK8;ܨ]QaZ]$rJ'6oÆbj *+Dfb.de3+ 35rs|yY&%4Bj]ʎvjǀ[E,lS=S5GŔNk`DcUcvi15|:~pQNSymf)k>`A('[;lϩ|q0}j;Lk_%ff6oꨠ2-J=µawH4_ib U9)[a<Ѩ2t\W! wm ysޢ%ag1#2dh9~+Aٟ Ԕ`JLXVL E8TV$S8f`w J5 =7>9?hBKzܖPRVbewuxҿWi(@+t2WK5$/tPe$IX LǪ$ol}"C m(z~^ mIC~/C?|.u }(FQ?Z4E}_kzvJ7j!Fs+-pe=tVM~}ǪN}l5t/#JQc5?(FcDܡDsorPw!OMm&$ߢEBDwZ>`Y儽E0[STBz$LhCwOP+Ic!΅[[ݰ<>A"8VhכNx87OW}i{ }&RcC{D%)Pbp"eXf͑ r(=4unW[Ad(/nݓ@ [;P2-+vWWNnB{= Uj5OIjȒK.H_UNY@E@ /%օt.EqYJ+UadyK5?:3a,1X0]xedɂU1Չ ͯSBc[?<'ݦm>3ncc0ʜ џ /c9y⿞MQId1WFI"-C8xxϪ)SO-4]qb3[=㿮%Hys;+ۼܹѩaCYao$-n4(|ok1WhC?Bg2|tg.⋕S5]WZGMg%Y#3¬mSsLy*A]LK̵6FV;scpٜ>3g2< ΘU\ CRYAp" pv.:j:y+s(=P:.D50@m|P-A)0Srxc̢2w}Q]xC,l[*),+s`Dhu+_` G~ [N6O~fv5k-Y*er꧘A2PL, AZ\TK3_Ty^[;Ӫn݉>v,rIdN'QQ'W|ҋʷ@eA{T˞:OjU%'Xl]B>?xq$OK)IZCX6xvaf/=xbgYZf333043de10df6865825313e5a95eb5462280254c3292d618b9c65e2792e518c1331e1f69ad60c45 4ccf06ea9030839024f2cfbe3a1ef28a389591b1