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 K/v .˂퉪&OڲAzme_aTCf$,}S/$M'1iN r^[d83REK(%3FA *s<)"v2FBr`21jr0`1e@p˗;DMv A)' 9mtrp^u\~4^:E|뗦Lq EcA&!I= >6~TX䤮$ ]ș+',- MT>}E B\&|[mWL&29cA|6MH{!!Q4$>m@c0[V!ǂ26h;G}.P\|_'25{nH[̭ OÙgYZ7zXZִF! hX]ŗXiɟ11bu)a2W5KԫV{_0Bw;T%P2V\!0-fߥkN3~O7*%ȑFáEd)"YH`E)aX|ϺڲĴp^KaJ\Jm+8~B[Ui(V C^_O;,z_6[g&.H FlŤ&GF1Ih`/"sF~Dxc 0x1pږ|;HRe-ѹ!\ܴ105;F V &pm޴e`Hp]gD%ues#[@=ItlЖ\YVJ +˜R f`yjt^S.{3)Np*d*7c,J}8L~݌%e4N 0RV\K Yz>s@r2ߘNitRZ:bNxQJ ȨKtduYGZ^ʍHkOT<.ʦײR m47Qm~LztmdO*es`61{^ pi)} 7M[!3ANG!qte t ˬK3-|t+JYUpA PBvQgTrLëZDzA] "R~f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6 } = X y > 1i o +tJ :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 B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LHYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, {{ /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}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 . /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 ==@ /=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 ( /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 <_<g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\Hey?nOo$޻Y_<4 r!Y ݫ'3jɌ"#B$ShՊ>37ؐX%VD wj :($"-8H&}CA=Z*khsLA\d #FE1cWiBFN1T|t=XE-haƿ5jG'tD)sHf۱09G^JD肳ioBrupEِkc)E-VY 65vB lY3ivC87qkEpHe!B{!u' BμF2˭ldaMl&d1ZNJ jNJ,C9F-!ؐ BWōa @6}RH&麛nә|cs{*}4B[.EnN[%'EOiBdj@7@Dc\@_YssJ0`vX!&7ta:C21vh˯7ljUUǷqC8r9m"KHDe'TGf05,jgYZ /=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ >Ř$B;WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?nGn'/|K܂isY<2>  rp?_N !6h|1ޱKXA|#Ū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\7X֪[#>SssNX28ɧEĞ̑be;e@m(@$kD}L呯p+9B\_aʠ톎NlDZL  4QUCp'^ .d&&b79& N['XTܒ/E9Ow G|_|/0JLJ+ό+Є1Y= 2{1dvriPbL;=z83 { Z|b c Jn#8Yx%!# }t+`<>Oؓ]O;s ,DBhLߞ$MמRd ܤUZې1^|n%lpƀ2Y e9sadج#~(=yy&QOX,q򟽲cW,!*Qlv6U( XWBa]Q<ٌ]X24ˆs,:Y`^X.fQfd;LzP?M'l2Nۨ,qbLڄ3nê{VGJd  ٬PSSOCw CveIkI䬥'īVYBbh]`ӡp"P K5*젮d[w;?/gmQpO㑢PNavh &px} W2֨(ht;1@gɀy-[T*,wj߾r"`p YhoW$ɾ6f dy}ML0oԎ4[ƃ3Ysj44WgGGNdr>W3+.xE`eC?O&<[SU, w=7`X1D!LO/:/ia@)kOU&QNoQ6׶,yG} )5LTtuM!yEA%:wA&h`"`\Igb}M)sΡ1/ Ѵa;m.ୗ 0 ^¡K>h ^qlO@HTgfvE ^MU?4- AY}%Dž;ސ1)Vu,.yF>.d}o&x$(0-_b GM-76#\xѫpx)ɻ(s{vWcm hn~;LrR012]}#|hǜX~Q׏Z/,M 檾BeSM0j؝^@ODRYЈV8tWdU8^-JOd_n\)g}JxIT:UjDYZ`+gO\"7̈́0؛7.˜=Zٛp,7pjȽtYk#tmxkҷrmFQEkfN*D6Ts4ffef1W /fCwn3ݥ:-`exӊGvWLwJB;;^i] 9Oo!Ӌd5u$Em$VmT_TjH&3_D{$q&9,kQԅAkK^sWpvrHK'>Ǚ;T`=]׽ ;U0uo:%H:zyBecC_)VKsyn_p7w0v1C4%߀w-{{B}U@Pdk :p^gj4ث<ҡ FDX7Z-pk5fT5NR7`X[☡3<))P|lnj@$0: ~NCFG,hhqOYN`C|CG\!bKlgmqM3#} 9s96k#FRٝ)ɱow;]4a/x=cޱuS, p5cS0L _i#z:n 9ܧ]DyqϕI-kR4p_ȡTxHCߣDh7aˆp]wWgWDnl^caР**sU5dr$ACy><'/u! \cp9*lt˫C];>"X7;@Pz6J_]]I'6S.tc[ڙCIXVl|nP/@([~RCQ٨ fhD@d88Yk@ qB t+ԭ dg (7QY{t~]e-f/W#lzz;0=aOٸ\;r1{-3gIUh52hZ\ENO5)m%g; :@HR4/ayp/P M> G 5\BJp)V9QɌzT2Z4"2'6k5aM)۝Ȳ'[$= \x^w+|o2jٓw{cۯvû5wL/Z{%lk_UJWFN!z&nN%&h7&:S)<|є1F\{pů] 66 C x&8dqwSt@ _+wQ\.$GRQabh,@&"^M+#ۣVlXxMX.P#^HRØ5[X:;OB~8,k+?5JG' apU8,[Gizf53Zsb V[\Bg$SgBۚNLCp7abS,"%ok _!1Ԑ@x:!3z56zp #wȄ pjH䓷ҙxՅ%74efT9 ]ڤA|;+VqnK"rw\Uj*D} WH0wWUE-.oj VgLhkjі%aYAa\B_AxEA3Ge+*NZf0׶U@)`}gb;mIcP.s:m/!r >MZ [1OIW2sdhҩv>콊A9a=fBOBd~7xWP!t(CiqmOM\ [@bB5r_Q)>=}2; Qb7ϧ$@e4=O<ռU(:K"Sfr`Smi%Y9*uRQSqZR|8:nR&T1`URΡĬ_++Im9ǑŠ*v KΆss0CO -1qBtk3cB'Ӓ-zAla@[@2رg{-j=qif 4:IR&ZܸIg\7 Qkw< ay,-@§T{#_diOF~QlP76DbGQA}9ŢW,$\r**er! uӨM`BSrt`*-C릢8fӗ7zZ˖Eȕ֜LNkeU(Ph([fȹlV wr }ƦW[nT$=:cC}?<"+Óڳ~ګ2o9 #|3^295A}k~/w> UhL^{eIBBbߩr#vat5," 5^Jox S%NQڴM^2;w83D,3j)9UZwEuWkyL=tqbӼ;x?n.9k.B$ $IX:eD+Hd.ް8l''/>6w,{ \ˈR@kbꊚ+( 3{eDz:C"B5ZmðA[4FIl:WHkH|e1s-f6 Ю!K6& D}&_׷\ĢrgH SŠzDB0W4t@|~'|I:_o*jnmy)XVjH?rU0W|$yÇAC:OTic[Ʒӻ[icr8 u (CeYsgYZւP$NIq|-1,zPm|r"~N[D,QUCVQ1c,hH!~bG)sbz4sÄ2Ii@2 }Ÿ k vFCJ3~ӟ*GD]S5߷lל{t>"m,/̈@c?ךpr`3CBɞUk?;Mc3Dh0Ь00#ޜN? Ko`x)z>E3¶3_Cc[bWG,0_) 9}1Roï@bgYb]7, ãiSRu=^4CXOۙq%fqeRj%M ɺ+`" H>9=\aPgd (|!-X[!ٰl'K%pT;Dg$3j"/,'5 Ξz(m>)bgrO2GZgȚєei m:H^:V;kFJ% 9<&n&=! J <'_Mt|I"OGiQ4dc!-Aؖm8#{u;Qtޟ*^@6z:vTZC9᯴M|$E20b}E)f)U۹ %g.Ȩ:fGE_y ܿ 2f[Mgy0*NtvpuLZcʤ \rDKlJs=E/7>/q-֏%&_#M)umX|!4! [nhrQQJWC2_dL5~,g /Ro>n+x#. J\QqHYjAn%s*Ε#35c$gt]lÆ"6Q.^ {E{6\퇽uC_2S)5|@엀iܘ,ȹW?i|(^42_a9e*\œ 0TL3ޙ.Aβްufz1iZ pڂ$ަV/pY>Yy8HfD[ԏwH,U>݉`= | R_kdQDF 4 NTjDֽX.[-A@}!7±ACL Y7`rn55FU yB . ގ qSdƠSǠe2{Nm a{\&2}#`:YZZo,39H?lИu(}n[lb_CB[БlTFT/ZޚKʋt`MYO_"[D(]e {MrH{8VI$'Lj;U-'{Bx#N/أ.,[>;0Mh~pw/ o~>cb$lZe% ?%]RCD®Ɨg&Jj@D[Pn@AueVu2ޠ͟zS{ⳄaPI.طR,I0qE4NCOp奟O7Jb* r/63]Lm聪h!eOllޖvX^D~! ;ZQC(b7^m{@SfCؗowa_]P^wqʢI}H' KO][|>dftP\ "&^ H. K)$jp]+T9A9k"{Gd MaEug5B`oȇ=-"Maأ(VǴkk9aU. lܬ Ոz1Kvcg6ePMcl'tNE?=GW0Wz? r1G֔aJ3}L` 2g :Sl+ue1]L`&-BT`o=Jg38JVQzޟN/?dl@ a_Jo$#O{x*c7\$ rC4<]bO3-ѴfZӵ;Zy.EgGwKX5}v#SJR[1"3mr4_)oP1pEbp%iUtR]"")" `Y56{|!"VQt'؜#{wF34qN ;.DoU [g$+% cSPf4$`U<"Z:;2Wɵ.y}LbpPWF|QPAjCFfv[DSv 3S=b*_-k萪4'c5%Ro!YpsYeZιǴO7 yb"M\Ԁ89yFâC/m6g"pmuç;nx0[`NDbc sw ~ ꄧtl4r9 #rp8G iـhn~h&x&fy*9{^C7 kD'4 L nH}\Do]Ȗ!wKbm>JhpTZA)Pux̽`D` m 7aG#AeKT.ϽӐSx-/8gYZ  Bo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[z'^U;=RU/zJ| >{(vz%Lntv}DpP[RNwaWj\[7)U7(ÈFo6S?m.M+oDQ\x"ؘ8)ŜHu}$dD9X[`K>%(gi)F(`/kZƭ+6>)|h \]W\K#1U-YofE$uS2(9Å{I-2%#v}:D"JhnXbl$KKTҸb7U(":Xۧ46g<:o |e()%~*^}quLxG;.TD^a^42H FRve/~lqjM.uV Qi\ߺwCD{ȁ@ǃqzɍjZ$3KH# @+C3mUhG6ij}%T9A"Uzz#~YQNt)h{rZdOFGf$::B~G:c6q%Ԅ6|({ N>L=h$ C wi4kES\!(1hkj㍨4;M&h\9U' AqEglqw:cLz&8I!i'Nbx$7pޔ}k+p#OֲK*@#Ȍ9 XA{V"?@Z7wR@tG<;a8DQQrf]o5z3I>:A!(ztqG"7wp' vEGNm<1l"T7}mY}ӆq6>$֭&%ٛqpXk-tp ŎR»R7Q>u9<~kѨX&VqYYm^i‹Ht p/wHn$G 5PgYZq/G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <p]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH.1Cz>%8COILQr7y8?3x_g%j2Ӻ0>J)4EFssEMz 6o%p2X"cKAG`pSS[('9H;~b.* MfoU@dWtVb9l)FDK&ۥ9 #S:U:cf=0tUUxukzѡBm /Yo-t^`}ol *qB+@ApmO\TPy$ ȶOp(fG3ݱ1#Zl&H+U!UFa3hzBV_CDN!-_3DȈ<¡B#&!eđ9^ )grnJi!tt`Tj"9Ѳ,ucnxT.zEf|aW˥j<=< "6>qI("j&ZsĐOzEH5H7JmUw'Gh+׉`Kh"dETEҨ@/ٗaЎoFk(g}Dwcݕ*c4'(ae؜RS<@`(WNΔ:'UYt@WuwD©`kLo]{{T6Aۤ_Eock) n؀xW\V-R/d1$J_0$n3'@bM/ G&Lkϑ f:_F7SR[y#ʨ*]qhmx96gˁ?R3B')y2Du I'gTz ñe{Ʊ"`3}vb[wmQL&%]MIZ(8rc^ lS,s],\{-\\82R/K8=>m0e֚pFQ@wIAW*‡s?1[uCY^ak7(\cC'E{;|ŲyUh3u/5p_FƳD iFKI~5 ?KI~r8eċe :]%9A3eԇȯ|#LŘ+Le IUTƏ')bv=92Vϸ0SjEl3ӑ|}^ |sI^`I)w\_#zYkok}7 K6Fb{zA Xg5(Ta} k])I_v#er% _vp..h~? s[u,hz$NbKzFdڂ2%_ )A Tbm[L(-~i}Tw:=~7:5싕k}0իƷiHSz/?{qv&QMBg.KW,b`Y'[ITdE)F{|l#qC!~FSY4d0G;XmwwF:й5o,"j16g. CS=r]!g˯%ul luA#,9Y B(XpolMQ1v|@^g`5^v|w;4t`3ux겤f>!FD=yYqJO3Ȳ:U|f\ #PwT1̭b}(*! ``cfj&Ҍկk}*+7fB.cP>\}xqK,H);-fp}V } W.߹ԗ޳(7P |.S,(͗x7QT9{D *!Uy9RO̻F[G.^6$\I6@hRt:3dm; L;k%נQ7(цX^X(#Jq4G 3BS]]hxܔʌn e܆ڰ2 Tca/Vj:lǦht':3+l$ ^. 4Q;XOR9r]KS(ZQ10k@@UhkE%X(0Kߖ6$Ph3‚S[Pf,)KTiTN␿oyVa@-o :,ىbxG,<8K}b,۳bѷEi +(xvX5'FOvyw Xz<JOwև\{bWM گAS{ˆF99`b92vZ2>q(>Vō)%#Lfczņܜ!3NQ$ KP FhxAD"Ye/ܢ& C1VvlajEB劘"q"lbi>cm*ž#AA]0rxsA]ezj6v O"Oo3ƚ!a#t@Fn r왅BdAp^P)1Ijv Q%]aa|4R}B:.cť]مU\53Rp3Bm1|,I9B 1wH:/I+xuoa xmΝJ%I36[ߓQVu?g{$2B GȜ Jyj"Wyq|_#Q`Rf$VeEu)LWt}"cmh5e-\lș{߹&&'?j?Z:DI1 jb#KT X+75QLkX"PܶHuc`>Ŏ}APoE&5%P}(߹oZ:PX {Hj8Xm(.P:NMן7$5xycn7+rtzp"I;M4n\^!0+$!'ClXzCwԄxu.|{wFmIQc/8#jj1.71ѱ0Dg)Zw&:桫b+[0 etoD?1߃nm=ߢ'?2W+H\D[GFG@Ozm܏}4܌0S򻒗3PnRPpUSJiPzAoϊxr_YrzMk m9t"nu QDsU[W\TBka\P|Պ=h߃o|uRnyg n4z%vnbiC|2}ZP_9~3;0xf:l.23Ʉ chgYZ N^ /O# *O/fNT Ofh/2R)!K!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# 4HOL-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= tڈBbura=*[ZNXM=Iu3"abL.rڔWg ?|$4yݖs<+yvGl#,fIo׍ly.\Pq^n]\_@H%]}^ygp}5H(TD>1:O^f/u(2Ǐ$2 No"EUΞT-Mc7A`i\) PiD`&Hq5b9@*)0B Y'$XЕO sm~ʞ`^S8j*22VŎ s!7\||jx *TZl!zQ3nbY4dMV8c<| -T2 Yɨdȵc*}]Վ+:XEyl$bƔ9\*dEm- V!~ܚǍ@`>w毖wMqeUkiԏ1'uz*AVrv%k'!6b6n6EQdxc$yh_m&.qs+<tZ rG .hwY5#n~ŠCF5 @꧟W}ݍ{ ##yY:~"L[߅p_GNi/|vGi=>Ɩ1LChKyU6[^D>-(HP 5DOt"WG92͙6X#F#(p31s$tg,#M=ZzkܥbE-uSPCgCY֞k;kVz~>z,@%F[ kc BB1_^ ^wkZ_.8 ]ب`v1Z3n%/EOp)z0}'re)s棡e8F]X + א+c(vw8"gf(Z`Hmp #D2)Eo:?LOX3NV`Hf݄CͲ `#Uu|Gn%u.ʰi/g>>-ͤ?Jr 'tlho !2|%kWGsfgJc+1 m3eEq7b k*P7}/J.PM\ڕ 4Ɲc>hg)/^3DFC)P/sàp_#8 ػ*OH-X@Fzi웷-$`Q$.#77lo.ᵂdCʜblTEGӐ[ e +,Ae1] ӦX1xt(.+i. J ڱ;Ks ZZʄOhhNF,I5@h OYsr`BSغʼY#1#桧Dz*\; р_9|CRPeQzabņA =?O}i+9_fɅ<(HNmk:>Ƅ~e( .!:|@Єێ!_s+EW >^DiʷA쪵tG ԇ^D<' Fwҩ}bL69dD:ŠqQ%Gi]x!4VpXsu¢1j]+G]L3)Fm0EQcjšlXs4s*b3ԦOsjGzέ *fVvaM[ϭ4:'ff`&WgdѥBemґX[ES^oyMH6&?֭P/U)<uxJ H⪏ {5.m5>=[Ĝs2gz^7aYEwydn!|9[R*77#WzcS'O޲y-*e=F,VsZlQߔޏ.`U^O|뗐uҊogT!NoSS+QZ p!x8V$:$BAr+Z!7F7fYJ۾4&(wۀҏܰ\4oF+R 7HH.nH3⃊ U]\t\m*l4/<QSWz|mkT-|>_'F D{ 6Q- F?CpBޛ3d% }Iq 'CITvpz?ix3pKEpgMu^jE3;d zFJ/uhM?TuksLW,R֑rG5Â$ #i0hi89ƒPڗ!Ƃ]W3Pci3QF9y[ 䰾, =͜E5길 mMvߨj_/cÙTq'[^c;*4C5x P$pNcےNZG3G#畵LίS!Y-c};roaTL=O, ߁41`M&Xg =.ﳬfQ %-IjyYS<_)$s1I12ɱZj1q;鵉uVXQX xZ"?M4'$;V`ռnncG7EF^DYJ;aOgmBsAfdЎզ_BŃ} %.j辞,c*xiȲ%ι>@1 nsE_E$ MCW@ eKsJ<}a>"s!Z?9;֩Heїpkm'{zͬWB<~Je=) .1m]YEC^H N1{4.pY`wɺH0TdӞ^(4ըi|W8UVKmYHR;֨ʩY:Luk8NRmJIC6&!$h{|o!B#d\__ȗT!G9`ԖTx*['RTr=P>$7KG뿦xPr'0J#(\T`[ݡ X-q/erY 6XSBc;zTBr}MnD=a퍫>B~sf]i݊5(۪NKm8=j6JۗMrQdnR*HjT cFnrS|wZPNIqU^SÝiǢHޙ^@pz;\)92лV҉QIxmR֒Ӂ$NpTS aϧCzMY9fԉΠClWoHajf ؐ;i\NCbrQ$ٝ5kA~)Zi]LGV.-5U1:Ca#1QP%?NR=Ni ^L**I =Cj/}1RoBd/aJ ģ O`6#J@GaiRF/[ѺQ$SV!,ձq hi:殱Vtm/ v͓Bɨ#dqP^eAw72&b6h}+)PSʌWFCTwD[߬5֎^1/3JJDN*H7tGr<ҰY9ᱭX(c?U5U>#8ԋqHBwGM@=|+w~ӓgwv;HFSL6^9=/߶8d]utX0DYwHLOɝ$#$!}JМ&w*SpsCDuwj Ct@ݍ􏑍A1_rD+֏B n1UDePTn1"kpzJ"BOn7~y YpWҳN_@akYx6o3S*$`\O4C^Nv icɑ*F"U`5cc3;6 2p(Qj{Se˷&MɆUA/蜑܈J'^5޾iY:ՓxmǓ̹/(:l'=r&:wbE=2hYԇ'P `pYXȞnɤ*l",| 98/kp8Eu*'r.&!6HJjv0n߂@fsKi_ =i~T*bL2\uҬe CtώiKp|t]A-2q -M` o9~O++#iAٰ7,H],#s&1%iՕ +/>nq EJиgb4=>A i#:;Dm[ڂTXwV""rxnîBJZgoz#C+/Hgx`.eU5Em\ Zz2Kjltqc /!P&36u-Q$K᯳yR+~U*ri 'J*uIԢ<˚z >aG?5]R/ i8wg\>2zh ZT;T"T^F(j+G+b͏CDA868\A>" n]j*Up:-o\n n\ffc]`̾yeCNs*bN1%v?,_EHXPA?g7hJA}?Wj|LskoŎT* ,˘aba2?rrQ(Ȏy^:b3 1.qW=븭rg~PmVJRwTq[~YWkYXD"VDvczX] NhauxLK:wo35JV`䡠+.Qrpm?:ǔ. s!BJe(yыy ͧ0j9EmءoyڶaQ|Uj18JL]' T. 5?0wt'8)P59qwSe-5y3 ܢDv\U|? !Fk2ؑŴ@#iY{q9 قO_g;śri";}]1 L ?jMF M,J|UOgޠDj z~$B91M. ҁQ_!gWb[ác\8YJ[ Z!H~ qUwrDPc+ /z).Ȅֻw߾Z z6kTzLeKNWsX\+i)F̸]]ij #T^vsk7v(53 CDνe9, _|"zOlqZ~.@nM9.xG|# |e*fXJUaE`OLQhWXٰc2!4-mQmd_hٺ n€ѿPl/]'[Kjb OhOy;^Fds  vMMrxpݘ#浾-:{vbwYQ v 3~wn/a$T:$c`%Mh!i:qy6+>EuPg9!/ݲأ̊A2KNI )W@Ir@CQ,j>v'.ֱckr]6$0)a3O6}Ή)VṰm+JvZ(kگ/Q?ΪEH:P&OH4մ qud`ev3–WvK=?S'rbf_2ctRF]Ew;ӎK+1$d|Ui~7Mp5W%/*(nj( as<{%Ti1cL*@5=,Jrt=CQ9G|.:eH\O`GQuA{cLdvyh蘃Lje39JwXf"ҭ>FcȾus]"pkȿ^g`v;?!#bY`+Sz '%#B|uQ3Yhqa$h_?ѫC"9,H.=ΛM5oJSqXbC90\+޺ut0ׇ!ŞP Zx Dx[SYbHao> ZA3UҬGfxrK۞gޙqM Ñi~`B\OYy;fql:ensB>l IhfEJ/eGizw:152Hߩ$k̘i"yNYW bp|˴:I}g :W`' 7B.Cֶxm T0lUW.KuώJnRd ȩ0ߎVm[byx7~kH><7,1؞ik!>ʺLq`o__`%&}E# !N;q{(S#NvPnL!GO J.k59xD5~l+M${GHh1R@|3 g>IGx`Qhisb`Κ6͌OQ3vE"<7'#%c!2ӁV;BYF;(PEJ<cht@UKP[HTX*XKdZ[gp%$IO@V~Lr.H欺q[27P~1A^Z QQD}ilU Rjy}^v-ڼ!L=W#WT#űr\'- F024Q9b5'ȝH3v g"I_]E&h:fh.ZK31R3u8lIW"Qbx=9;V.j\d G,<ۂZz{z},B! mF(Kdz52]4DڣVNԸYbM)ddqA Z] ]P#Ɩj 38u_f ]1rqz]VOʺ5( 'Y( S-STUj Mlp-^ag86-.: tg= j dvìJ&zM)y+/cܓc?jV9 wI$oy!)}NIZo7O&żu 4J 9Rh@=ALz%!l(iZT:l  :F>pvZ擏% . ڲ9tg\&>op6 `\ل=I p|&3ֵ4 t2 Y>^rR;!7)hԊ'~xI$d[\qemtS#L Leii8<K\;#ɱT />yf6>-RyT0P\Hvm{'d*bjJfU#uh"QEO$ Wssht?5-eS~@݉ / "ږE1A@^m%(ؠ ;׷WY \;o:RWU9ʬ$Hvԟf%k幓E(ݛkfrPnX/oPHPrsL±_ \+a Z?-+z_Rˠb?.bD׹|xN#Ta=)GˎIhi-4~e;BvGQ/{Z_\EO6ce?>{p/i )҅DSchny`}9 Oc,ػMR)K6iikY>RL7Q6]勓8`A+~)d ߣʃyjr!JjB&z:S@sz/0ͼcMFke=VC<}L`mq>EuCCe6+5,e-kCRמ_a/{ 3#܁ā}["ʪ=7˪ ZXtL:Aஐ\1`7X!)d@_vxpfP:IRpJUCqbYPҥxWg oS\PH >e~%W]qhQifGoӫAf0"hQuF[ biIF{a T=HB]$DȒҙ#ga/P S!Fd[oAu Uc DUn@V:ꬒ!n2G3)cDB~YZՒV m6ז+`htLAt"j6XU}64 ^5(u pgy#nsDlNo8ҍhWyzwN6m8}PUC!M 9{*1O"蚶 my+VAr9 F%a˖U J'YI:WoB"dKᐑ# F-Kus7MbMoLq}󘕁_5.J;Vi%ծ7S =ފ \n+x쳚C¹m2Czffi~~Ǩ܌!h9_js)csP[ě<qrpA̵B ZIޔQ'plu T`p9F$-&55l>] x'^ϋ kɪKoӼ MJ8:{)&Y~ mYuU"5O=z'@'ZD 燼KoU+uT_ o]ө 巴VɶosBlbYS#ⰾ4sd|]Z)d{.E}j+"]ύvnTB,Ba|;Gڡ.ɸ{ڦ餤6m>N@@9~jIzm.R O_;( 4Vf_n˿]Hlg.Zі(J `ei/cBg(2_P3%`?I2ܱ|_+d`MRB| t3B,>2 ͳJ}Mœ`H;j6;K%Z7~ lGn@6Cpg@5U]/ E{|W:H Fn n33Z{ xijFUрyS.Ív"e| ->3];(s 6Np[~ł(b/\gWgTF(/F*I2jD|x@u(v ZnZ} XVTx%bQܠhT2 p Sޡ$& iaz h87kKPp ÑPKgQ_•entxp@$f*/8Y}!O! go>C01^6g:^5gIzm{&qֱ .^B;p4lT^,Ɗ Mk w>JJoPn? X}QH+R"!ΫkŠ=3i1FO1y eFaM:VM mLL(|Ӓ;Zp'HҠzUyvH&hG*.!):T[ZZ`-k?T5lSpUcU 4+`t+r&Z"C]=@)2dV4&հoR !x}5ܗ_cxԤ1_ q \k2'Nja W˝S HM~_XZڄ' Vw?vilxdOh|YZ`>l닂m?IҘzhDrF$5PV>HN½BeD4itw rܙ$5fTE09!P<+Y0ީW] ˭ ={մNC+$H2Ƹ|ɨ!^~杶q.L&y\Q˵v2Di,k09;s67]u뱏FZ m4,n ^47d?Rtp2g Јg y LŰR_AB>A+|V)Wz,_諛nē&ki>_3ӱ[_ Fz6|0h_ U'_agN[(v4+ʎMv0`$_w7:<:oB]T- G&2nِ7;Kiw822T}ă8cC8Z4N, : n \AâLF,zn-J)*a8VC ,ݠeiY.V(V]~ؽbMs| 57~j4.D7*G⍀;S٬z ]J=lZAR8ȡ$kGڴe> tvHIt)AuKYBCiʎc'VYL"xB([(.eG4n0^J膶 J]vϽZﯯ\ KVEORÇ4B GaRÉyy/݈`ɧ6&Me\L Y aNviU}nl+j ?4u4yI"t F (¯Jϟx9HAleW0"c9먀~ G^pI8%0z,n+?Em{o#56_e%ԍ@ŽyoW${Q%ţ#"th_Nn8OyD.hJ=s =- Sk]V 'kIr Xž^pθⶑr|uPt7cR" E!28SW_8^m){KiUǽJ;T8G}h=:#24)7#^ظ,IfB+jxdhr=7v &^l`iOd)IŭsXlWR/c@[\K%F7^.6" ~3s{N).(yA[ !Ju,_Ȗ%;Ztwêr Awv0t67I.s6EgYZ'+JׯYpY mJX}1"aPn-^p_-H9F{ cU'sd}{Vd!&I yXg"R~NsDBnդ[_u{2-UM,wE nI $iixXtŃ4_ \F5^_6͆>8Z::8bZ8@gGy. eO-Yls]]5U7ja%y0QVu cCz9kQ+B!Y) "sp ~LJcHQY 8t.f/ˆ-#qtš??9EDR @K %nEӷ%}cҴl"D(G`/ AND 1 Xt2IY&Ʊ>>]#+ |ʹ*äA" 0k*Mx20.vG0u_އ(9ƈC/dP8:ü=HD!mH`rEHFu;@"l.:Y@.j$朚ڎWCm!nP<fkveu.W=26.WUQ0 I n]Wv(<\ܯE?-8c 5͓} ş=+S(D30|LMֆtc6bH. 圬9 «=·\+ ,-3EH~?P{gD~Zw7I]wl7?msx|Z-`.d7}c$IfeXt=j{j~C Ia"}9z ץfUdfPB-JEsԛhn|]jʄ*Eh>~uԝ5 DA ڃ4e=}wY@ xKՐIyem1HÚlBTW5y;sR# /G R  ,:ܤ2Bپ*¤0spaxM@p]aI*ʟ]Uo۶Y4h!?8K%cUS0a4@=2!pn=uW(\j=M"!Nxs,f!>v&;W ؉f̑)o${Ipcd2F_7AY3nL:EʔA {8EP{isQ,8v37cțyz 'jəh4 ﷵDs&4g?wB}ߊS :ȣ坶tAoE9>ĝ16"Rbj3X1N+E(nR' cw 1?bVY~OK*=8H1mC=r.[Ș8Dt 9J*45 XKCy -}ı!KFycT\@>^9ik}f澝==(ȍjJEF=Ʌ9I}ɠU9*Z;/E$ M%mI}H!TpZe2R:& abV"m^\!+3OOS I`0{_уD }uM ܚߘnH@*Vzly!{ܸlŬ|^沑n;OT r]H~& +@%|tzs)S#j6~0{1Sj q Fi_^he췢7jk",^\am@UAvnb&w!gr!:Q1eV{ra$)BzS*7!K"H=3]M23 jO~Kp5Q[֎y|r ȕo~7d^m',n\mP YGP|j]j4!*[ie03V|;h4Y$a-C'ns?O~pbnd[Nwx'M&ckv1u !P©#]YSWA2# 2BsBI}h佶[6YED @xA=bi( . 'Xf T>/Zn_ g𠿩ܒ>-TNz` 9gf&::J8NKJxW>ayeR:,+ 5-"j0 cUqI Ru *Pl"RydT] U!shPu po ;1qW|)阐l| T9exi`э\tu XOjUT)بZtrm[5\=Ў<)cYіB.%h# y$'#3y~I%em!aӹUD4Mi1EuFI_pkTS_c(^5"6=9Z}KHg xcgGE^|n#E2 ?(<vM?{}ҍ컪M #w+{>/0'Uq&OY )(4gQJ.C:Č ~)tбhby>ƓYmPL?Pj+8maE+ч$.zj^Poϵlɲwz#DTgZWšɬQeOzk!_+l'!ukέ oLB~tY/{ʆEIa Gu`3SOMmGȆeOS ?CqlơRzi9G*Kݙ( )틡΃$hPoRdrj@B6b'|?5LKSL};ugr|1QC[OtT* G'՞ \cFiREqzD`XZ!3ǻ݊.VX\NTn A1)'x(`p0V zLcCIF4a1F1 RLKCOp3Pcwna,)QR^" PMhEyMjvϰϨm ^Ry Z[Og=Vt|7ja =rzZVTmo‡}/vs!И*FC\c);4LU}"Mu^Y:j5e_9;A[xwY!ARj3oͳ6nF#=C_\ppG.)AZhvI{S!2<1_1&UV R,|99xRޅ|p7= z~讃ġi7;8d Bm8Un̂#V8sGf^Z&E@ADlow\hdͩYI%Һ Jm7&)r|/##4h %"_;U K" GY1:ƷH~ߢ@-tb4YNVx ɝ{#M.h$Ɩ@(NFхu!\EiP$H k1NkmAa{>W叕Z I>PBZӶ6+Z]dAJCDQt,_?rtCv"ߥ  hN0xގNF;48yoм>o'Q-7K (̛KI[VOEkJ;A8Q E/r.˹6W?[Dj"$Cs™η(zYxv49|"7+}E^MMz^E>ȂFˮ2Pg{Ξ~CpHZ"ދoK_>MoʶfOpy.)(.wa8s$+*Lcj\]ei8L5fcbXO@ct߲.{egu"v pd&PRW4!&Oז(f8D 7HhdSy3=-C`t(rwh׿M  Aޛ C7Lq/P썷JWW|0>wx.2+_e_sΙ痌D#CcKP,ZhqޞWmKԠu M_x ;6*>k((,ʣI|VܘpP)Y(ϺLk Y>j?Y94>Q>itjW^8&ƌ} }YVP 29Bmȅ4u.i50όl%qRˈH uW&'}\?Wqwiie>ՆԮ'/i"mȔDDSЅ83n=KC9H^A(cGBg)|۷gW;Mo|c!o@6٫XC<5)@U?!g{ W?Cn@zI~4& ޫ.M1hʤ,a2:!um'N7Bdu{.O݁ }P׏XM l7N}"?BJ ўE%a VWuݥMZC8CeN4@r^RcFm5g2F= jQKzuPN$JrX7m\j+1Pd;<>J4;d@9 tͶM%)#ώ/+Vf+ !5t}e4J\jm{7ӑ &=|0{<5g XĚGBź)m1駻ڟQ >ZGs܎X.=J$=bԒ@poG >f#$"L;ǿo=F~~`f|'b*K kH2!}CIMvISNYJA d1FeWO;o8xd~8a)R\T*/)ĜwM ŅHkSUܪd%3~%%_*rsj IVcUE`F o36&`Q}]Ę%A=&|5O ^ ђLz!\w.6y;g9}^/3;;@B6Q^r.+XiWpl$=( )|6$8,6G̴ ;a) pm0O[}0 ҤWP㙹BfSs%e!'=#<A=xvQ)'7k D|q Yz?V>\(%ˈRrm!W,Ye9H`fC:!?Zݝ+0 սy"LaڦZw2倍X^+/33Hv);R^ #CvM!9E| F_Y 'RS[qtda5.YQJ܅y#k}QohK[]2T%.Vz0;"<8*vñAd?1O @Y(l K}lp/) Bɇ.!N2du ycp3v{sr~oH A p0:dxEcwBJ)3ǛN\%-YL S{RcF)o=>K=1qqAvs2τY%,[1uZbdطon8 AQ/!^[SǼ/8s@$HSHlhgeAs$'&U!r^f/1ŽEُpS2RXSf2ǖW@6/:m2{sNL5@9zHMt*hZSnuNE{zE#& oZG WLuA\~H=S6ItKsݔ/~#TB+fY1+vv/bE'6*g/FF¿' i:=Ņ-IT߄$>tarl~߳&)ʕ~Ŧ~T5Eؒ~v `d%PǛYj/^BEXV,gtj:9lt|nBe9_wl~|dȬH.b*/ R3s1Ve}:2:lӹA M|~OoF4ȝK]4@I2W9:KÇdt ۡxc]=Y5zNC oEH!*wL8CeƑEgldw*tK=6&ƐL^3=Q`# `]hDɭxRq~V"ؔjjv>U"VECkATA4oaVI>TWq_;,)CTw>|nН$J&*!#/uq`G:/ĆzyP+"ne)=Geg[7;+2irJRbE?FݟGi "㓆wlΕI0mA:y/1)],fN DJvN^̱xX>dsLŠd-7-x)w${AҳJb˓!1@ DɕOꂣ7@E,uE?21 nQp:<%HJuRq&Cε| }D5C J#1ʤ#m[ ƸBfR¨$P7UL"1!ʰGU VlX&ߣ#I(bl؜'?˪oo}(VNEe0m%Y-P+j~^+gq ygs) `Ãauc?61K?Zf=EL͐cwg|CcH E̫-GI3Ja>[&˰쀏bK'An/'1-Rbh(Odm#F8m:eVxs#&fArYuXݲ|E;itK $Vݎj&c/(6l%Y' c-|Oy=2&R4_$?z^SXݍgR'Lq+$cwWʒOrn򓼽P= 4|0|5[жGK z! Ql'25PN|0R9ׂejHbIr8Q۝Xa&@a)YK{D2ڿ_uQd¿ N-t${Λ [[cc:m"{TJH`R 婭Q ") kd. `W~*Č|&Dp2WLXmz[~^% \p=2>)QAһD\P|a@fy )Ьjp'RXkALI[0J۟1IIc&0B+$$ŗ:h0VzFW PtB {5Γ,bA)ovl螋׷1\ 8~MEQƞ6G0l0g|" dbPgRr5T L a#@hR7H0"LM>&^;*P!`#u:gA,@A26Į>ts+DO-*BPMvcGQYfYzԋEHoU>ExwםCy.Z~hmiBX..u*:^Z/LaHXYf(2>BU*N .Q۠|fsbWii~Gᚌ?vpWq|Ҡ$< ޜIp2W3v/zyE!z ɵRn?O We/#7xo{Sf/bNEMnb'++ŏ.N&`ւmdL7\+ E("|V_/h7^>;zR49$OOC3& 5dR~e`-Qt^ F; 7>q& 柠]_U:%2yD9Eϙ׉}*X~0hB> p4,a4G#uZhO0E/k;nT։h,3% LOЁLX.N R /TvnOlg/Mwl!"ywək(k$-U8_1”H|ԯgeE#1rrjZObtK9vC<AHmaq(?Hs޼`yP.nx \sIbyisk3wp>gN+ep|V|_C]%x~=hJ |!8*K[Ǭ<ģNEai$q!6nPRB XVϗ3QɎeTݺۧm>dTe-p@VCj%o΃ KA0][7M=3&t2nG p7^ T(7y[uPgu*6Idž, ʪߥ?j^Dxψfw/pn>!Zp| 4uj{Fh! v3>r[hgRn\R[6]BՁw((g`șEs1~єXrA5Sh|!x_ċN!bE8s-)wS/Zbz:~vDͅ`UOaX$ }D@*»KdO.j0jpH8y$Ɠv,[ bC,>j W>? @*6r+AJt>\~,G5ݼzwͮ.ؘByZL& 1A<2c3UX5.ا:ū'Y -o)tH Uz@Tg<4f{ꏘ'1`)p}Hn"X] Q1c=s)񋃚!*5&/x|jbfɯX4R sF-qĥڌ>;`O߹{q'OZI9gkv+po%(oJ}O7X^u s`G2\ժDS6K$nBtz̖rj:U"&z فdz*' DU!-3a1׉T{Ѝzʭ8=!NB@>-PM(9b*SP)“qѬd-w׉1ظ2DS-\J4=. Z NB/Kuczj:*2(SYn`Ař^1) Z4Y.'9z,~h S̾^IސA+rZ/jwz:C)3[ m=5vU$B#btOhN{6J?cx}z(eI߼`N)x.+OF_P&f6ΑIB Kˎ-fLQx @Z&9؈!ډ~+DP,(nֻpv@SOxҼzk$B*xA f(۔ֈ.;+%_/ݱ@X;4A1E< <+{v/=Q6Ʊ ^>iń|M["atr˅i C=ߣei;YUdf~IɞÌ݈'U%Rur+ԶFxKaƒ{ >݄|><%zL\%$ުX+2_I-S {hM'JBAL 4 cW{.!8-:+B<8Hhy49٬'Xf&?? +ЛHQ쌜枡ڥ)6z6eN?c12I%dVpow\ʘrˬ'4ӂ؈ 5 J;a3ǚm4^Uft +Ч{7Td%V^פvM\˳%/ lKLټ ~|F<n(Lj f۴}W/ I}09mTkGp7uy ?BHI64c,Īo4`&Fl0-*a 1|M[p[߬6 R~$]OЭp!GA (R>k#j ̇$@Cjሮa!^Ұ5!G;r~5s_O< i>9ELPhcnEGJDsBIѡ焩t\!xDM\X>[zd?p'>3(|k;iu>j 'uͨCZA4F^~noЄ9]0iegzi^LZv6>mHHGJF+6w~K0 Y] a\=C^tq΍ޜ(eޖy b̎)ծ4>+>d)KV\?hBK] !s0F $Sqj,bWOe.=G H6# ~_E)R,DmXcX-6H2FkPCD /sw⃮z 2)A?yzl5#O;$=4_nDrN/yˑ뽕?K[_`'A' 66Bnk_~%7ӊw蹏l8%=H|H{߭w -gsY<>|+%| zME jWZ]<k/z{RTB-EW`;w7%ikg_{ W9/3k]X~kKmNұf#b}hɅmuܩB-iOjߘ!HhFno-rϨ=@y 2xSX#qޭO|:WΐҵX: FNv8 A Cakw4}hvzM7r-OD' ,[nxvyrq!s빛gR{}"v;@f6 U0ʦ.!*};`4)i=#(IlUdd !TfBlFֱ4|!/ 1]\}s=@i"l[e4 qfJF Pǩ{MXRpΧ>BvoK2؅ Bu4%\{=!qrV_ G9%N(q9hF%ʙʅFOJiFwuuV*[KظuZAGdzQrk6b)e^67=O Ƙ"E@F?E<[N)(<>L'Lo̶̫1]^`T@ &owFOjͺFO椵 ;U>w"VgT3NZII~y1`m٥\#9dt}t[S+'z=y{x윫=Cnv 2^@aQ<[щ0EVqZ,Ț Gu%/a)@͂*lϿ@ #)VS)A7dV=:ܺ%AF9 #r&pTk C&VL&['%cŠp@QVz!ުrDs~9L0T>{VE)àYZu`R5?DgV{Q-8!weT]\m K-(GFW-ڻ΍,4;u;S|^2x|6Jc7"E p=wJ潚!Kq $6,-k~WWFb1iz,d|{JFd!Y8<(Pds,͛ jς0vo]JDlJKdΚO_ agjAÊ) I1:pbD@L8G Q-Z|0-f.jwajy76m/#cOX(qo8 ]cM-ꈬ|8~bRu*S /wKUd'8z@߱5PWkPW8yS31W&O5;CZV],  3jw|[1ʯ?߉ 8ؐ`#н+'LE(i)oE_ ۂ#A'I.> pB?רWcsCp x3vsDhmmgxܑ2Gz#EmiiZي)xg+lT EMSK# 3ړ` PZVÏ UZݬ)NM $ʫn7 jkʩ +z/AlN$&@NbgŇF*gHDv %,L -I M6;"<>P6 ,p{D |h"ΞrfxMQ⟈Iw#_9, 9l fI1z{[n1aFҠ&PwM+$XMS`e轅=i6~RK'%3ϰіP,<8@>[+ǥYzMNRhFQy:ֻS^aa~ڰ6& ?*7>ğ+;sCOqe;ÏUES+s̀mѻGuIho+{۹\x攵)a)N70rεu̹z249ږ8BMV$]!6 Ъw>g!x?0iP5bB_1fCA4lWQ7t"B*7=OsM[Å?qdwWG-w[6htZ͢AP>^dF5ݚ" W7ə!Nl͔A^B2xLZA3zu`Pe8", +*ݔnOJgjEhrYVwB6P#!vr( ^ {IEl &҃t148Xl yvLGjt^ H+z7y)dwD"1"ЄXs2޹-=Ahʬq ä2Xa68{H2Np}j; VxfmjޞӒ.ǵ=κ0E\0>#<^3)SWen8Â4"cmQT<Y+0XiEn]Ʒ]QΙ&b433VZ]|'c1~ݺgZɘ! RZhf=9 XrU{@=`вB=xsCmЄ|js2aR’Yi*A@֥;ݬݑe#OE^pyG%ۂ,Pk᷇^}}Mm4e 4bR}o+axܖDeCN h[DX~9 ^M.{Y+xv4"s~/[Q>"%#0p!u&t k}kNiUa[ҭڸt;)h(|u>D&uC姫p&%=TέPmiRjg&BQ6*ܔ}DNL ܔ]YwELՐa^&{+옒@1˫Mn (ڵkJ& J|vf9!{4qبGDƆ['F TaBIO ο1);<>@1|[U#Cf/%]uT]*t^>YP.Yܤ<.vz#)RS1 jU| 6[722=PŬ]2RV,&.Z+Ҥ bX,L?QjQnsĹ«Oс\ݼjŎI |hVDjܻ!XJ p\kc6>9PF0TYu0]X]uw$* '#!}dBԁp||pŚуRB"{X 3s̬2=]GqPHfOF,)jG3D?$RL՘r>ӏVy|;Á `pJol-G˜~{bAmNl 咼BjR-39&U iKg4Tn2`=ߗ; ,WAqU )bYL4xcc[0b=%^N m;2H_c!$qDbĤ$S[Һ6{k!x^Ϲ|]b2ZwdʹQ@>Xb˝mt){$: ۛ Zi.K$W[%3ɿ`C3}᫥^kJTD XUWLCy(47!4VTSZf;|N6 *D{. zN$; pNq 2j/]f]yXOe08_WG xh*%fTNx$7[u^ 냚V t'<\{?f46;E =-'x.mN|ZM\6j.Rr& ؅DK=D@[3}GbÒXÆyk +-!&BD4^V*UӠ&KYwK8J ҫ6Ֆʦzn :kJRV%Ӗ"vumCۘ%Q2~}}~zf'.zb,(;(!"QKK}_>mO; q 7"~"=NUZ`BY9E; lez=P 'oxf1<5C?UyYn9iM~Fyu0"> \K8>S=.ӡKo.%ӥFQ.q>Ҏ?n?u>X,YiNي0AXm=c c0{3ˊ7GUsS]) wSLVfO>)EpH]s 1!Q#h[La2K=)o Rf *4pJ+Xw%] ajS'1٢Ja8VLaPq.͞^ RU?Z'CB0LFo|3*&i8Ⲇۣ4+#(txg7~?,V1'?Tt}iBUS!G^-=GˈqZԨ[?"&l1S?-v*;e8r M{!:+Zyu䏘0"_}wGzRWV]_8ݐHl'/i a6 p&g1,(Fcv;dXg]jӌSF7bn0<]OȔ0!<w,4<歫thהx,Qcs`qE2?0d^{fp u\5qmg~ۏ,4>A?ưIY怆M2;qs$v˯Cӵm/#3@{YklG3AfsEROC,)Yyd4;"0^UFh{Z xHAfmk y!c׼_fݾO`QZ3EFŮ|GeP>ӪhLӉuBK;UaK\2j\;Lw9dgڢ9o\{PHKAᏢ l8iE^pq6퐰Z0V8h'3@4ʸmf1 ˆ]ߓu3LF^,H6#Eˋ#ئlEJ+^Ս\b7SQ&.Kڑ3U_7K,EHZKmzv6Bg{HI]ߐÌپe:Sp\r}[Lp4D9o{iZA3k^f%c&8S*EdI^ g1GR@ݡSծ#J& qdhq #9 H{#2ގ|a4 r 9ڭKsاıgYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1]9,u|eBt*jzǗX3 ҳu ه^S+ɫ9q]ߒnN{ȧH'YvḾÏU?qaN̹X֟;pAcrjXA]ɭmH^OH[O#"8Pތ)G![Mb8ݺ|P֩V(KKδ(ҠL5'D16e\ɣI30Hb 8Y v'<ϪBߐBSUz"j-]Gh73uos* 7cKi:azHj k+1hD m+dQꧥ~TtK7s&=|X:AI*߾ 幗%qfy_dTu5jճF sGD;q;e2AHR\OEx>u̸qOܳGoZuQiinGxf(M>#Evr$IRp@~=d[QEߦ"a_@o[΍`owKa0OD/!R{Cc4хOx8gSGV:v-(A"+hF;0}O 0^pfA5bQUF Vc%/A;NAwUNxN 1<@=VCXPɃtk̇Ei21op$)HjʫojF[&@M+qY*/ .Һۥ:aʇ;iT[ŒasYPw%* 6wl /tp3ID0S̉Jb\uT2ECT9@,(=[_ P~_xxrx y穸:B@A )[pCm@s0jSH lV2]9O,m~5Voiylzet/RAAiMz AlyKVI"ʅu'O`mSKF)1~P3"I6"y(dh"D95 ߿:/ʠ> 4MBU/x R[4(. \Z ,mDvcrTy;Z!J>|S&~O7 h-9,b$VEآ^V8dI1/fr6ipj`6WAu0 x/|I,;^T-!㏹*LDHka҇n;? wjw̍Xaȵ^zްHf3T\n ixA'A?``)=d ݎTO]})F^.m)tYuHbݴ+DhIʗWn,E`R>=1}-d5j[_`=N^zlL_܉hv16;/R_{Qʢ s_l/w:a4EonPϾ7 k /]+7Tq"u;l٬FYY?[տQ  nགߧe9Uͻل"+Y'e^dl*/3]u, Տ.nv O3 P^LDK{sm ۜ惧tIt1 Wwg]=޺rľkVTDY.c)q\ H#XynJV&ij%S[tRI(N&E(7̗w#Z H@No%FPB֔ݗ @첸ҴqT_ċݴ]D|7SA 1ԏ3rH)l iu)]?jYpȋC":S@>oYIӐ<-I M?9\miU-_('SkTؒ‘X=/q4494gl6r#ڋPѵpL!iMߓ$YsF&#-35N4Kz_+phXpFBR83,JLNfj~:YSpwtr*\+%JVJp?{//;y7*Q)(x,@ xBvBSA0#NF8+!YFUP !W12(ڷxQK>G0 6u|InBG,2߂Y˒2G l'ps}S;Ý8pʹu"x ׫G{d Fuݍ(4d(X<XiUcjni ݦd`n/ VGv։@č~sk*4 KN|g>+fV\XU%2?$i8e?:j'``aXC(yڵei H"HۧI~}ǍTGB[f( i۵9*:A|U w"XLXwF,+f ۺcmXs;"M+m߁MPY+O8b{Q7-5md]x4&ZOcߘ40a-<)Ճhvy)8 DAtW96_[[NDd.j?ȟ;w*=[0szgg s !SpoHg}sj +XN[˽-q3e%).k+*De{COHڇ~ q8%&֙/Ԣ d 5;śy$` ZFM} "Pܶ,0"dzܐӡ*[ K/օ2HP-Hb^C屐JO01xBq"rZCRoQӠWdc 3 Ƕ'U+NhH?=/s5SŻ(Xv} F4B!js2\}kC2w3DLpnr_m(%ꐺߗbS(s-$=u^n?ī/rYJ`+pXu7tog.1BG/Fj-O_ʑᤈ@ܶ4qK?q ѿ F*}/IeSJzQ?0e8&B1TX|UP@/.ނZ+9Ftv"VJDOL8!&ꭹ ]ں&fJ&ca\S+஫JsR \$ 1rw?٭8.[a6)*)rLO3Cc 4XM%%hXzBXjXh3YRL~hO}O4ɿnd=KkC2enjӻ|5zym<%u>c72 "n$SiX+AUkR_WI& (Zٜ= i/ad, 88v+yݹ:?_qwV /ozZ/Ik3J:+;Q )GoJgV\F/ĹP)<.;UPDA3vL;pUU{\W`# +$o4)p՗q?w+"&jl ]S"31w7N3kRbgfK 9f_b,XDS7,&Sv!\2G'zB"'"2Hʡ*LxO#0dS 2,Q`_XGO3Rd<-&@ *tW K`:T03VWȸi6cvQO]oyP>[ll]8}?L1%wc, QA?B1ο0Z0[ q Hߢ>4 nN.k>RJ /٭"rGMP6@|`d Z-\#cflHۿx_  ega]!`+:۳] 7l2G7?ĺѕZ4H` p\@2E9e9w;!+iI _d#3jWA9N8ywr(V$z^)[Emxf}2h([݁Ԑ_Xo[R 鋃5-jѩ0G2Șvܷ #׈'I\R,s e 32BL×3\0v*K `kE].eZ5V&\!pe"<o:ݰ-,c|p8X*7`z8 TEfԒ\p1*sڕ.+2wføy B #Z_5.耮My]ʥ1I=:^_EapѾXZ&JֺYkռ[TՄUg•a!?W6`,1bٝ,!jo: k/^vy0 O$_a2Õ(X_#rQHKps8sMVWQcݑe"[m߽Ƕmב7ߎɲ{|Jmha[-@*aGDK}p.$.@0=‚Ƅ°+X ANnrR_ @`STڝUtmu,9ы8&@E%+\9~Wʅ|9֪q&8]"ރJPDJ}N_xursl uSx 2hb/QO\>;-'%5/% mXby!_򿰒+I^$pWL ;9N,qR_ vm&9a[/]n%?ao ݉? =}&~ W_<3Ch8=Rkqb$@Jgbj\~~)X ֙ n-Wuڻ"u`0&RTڢU*'Ks{fc$)7FNSRļ83'xퟻ4M.2lj-UT#rkض!9Qmȡ Wog_8_7­lԱ\DVߢ~*} gG#1(}"ļ(a`LEBEg{PqGJUD/j_j뗭6=|}`Bp2ÌV_3",7+#}t*t}K'G㮾"0Nʹ;q֔rJ+j,5NO|Mk8F& )ouP#ui]О&wְQ޺FND&\{q9!H.m܂^D0\msBsQ:i,W€L-4L\܇fY.WъiXCAN ئ V]dEG'vU)Bٮ8:@6d1!,}" cƙ81|bnOuD%6l/g/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ϝ@u'duk,!) rY.GÂxw *9}c>YiM/%ϔ` s2ڌu;%H>:³x/wI4V]WvrXURAF[Q<%[@Xd&ߓ2NǺ|G!' RD9^g#o<"4pCtBf5zac:fso r`F@l=]!Nltɛ$IpJyRr9Y %Z&)M8hK4\,n!<ºTS}2r#O.XZD:c馲﭅춢 #?=(6"+`  9gYZZ&/A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! \]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c;Zqa=g7HB.Z* dhGצ h{ޯ %~>!m12$0U>/0j^p=UMG):atnasH\|O,:#Ps%`}f~3|I=wMi6,< 3ǝ=C`kIސb)7F_'ДqG^*Lw`!_ͩi-GEmEjE&SF؏o/(=i)-9 ݖ$]f͖[Qw#=iR ǡS{-ݝӢZ0ձ W~&)+cs4̩vcdơCLw|V\p/n?nѲ2)cbn0\V)l{-c]U^~ dnB߄PPxhR y Ʌ5pVX{4zo +mwEZdN?9 i^ekܘ䧴GK0 -E 󙬷" 7osҝ) ; co?[ l9Hx.Rzrs&Scp.A˧'GPEX5.rı{Im/GTeod [sH}ׂ/c:@kGxvJ'35 Qp MjQpnٳDY!hɞw0fc$hIj+:1Y;:5Hxp QN=B.:܈-kRjM57^n"dI(Of I7<ʒܧ} VX3Wnfva姧W ׄ:rj]6s&q^֞Du}LSm{F6t6 (jlil!԰[IJf/tU./r$C^LMk<.ھB;(<XVǂoB=:L< Bd:xӔ3xP^>&xY~(ER>sjuso{lJI:c⨻nv"3[+u~A^Cth3815jfN 5nU,0mَB\ĩz!\tڌaM GZ9Jk&U(s1Ej( >bƤ?Hջg&_+y ȔHX2}L3Q7&g>D]PTmJV 3d{P#?}92ޞV7bGo[kiGQO)F;jįo30 [U;-_]_ *(:!#+xF6oZ[5;Nl0p-_ۀp7ed +kCT0ٕn|{ڢukH%C16'bAٗS{DԳNfzN"+E 5*TP`vF_ ֕ʾsc_SbA$t>3,36ugW#Mݡ\;+ DpQ 'l`{Ġ!K{^0ʓj"IDM77D 6*b1BD|tnBSa&350:w~zʝd6۪ 8WL/,ֈ 5"K#ˎ@ǜ:em&ʫyIQ8ѱGtp+_ǫ?<"3,庎)d8 )ҙzEW 3# p`eQ`ckgX6lS iDBS$9bс7\^yz;DqFo{%2\F|>שCт74h_ þu(NKUQ9 P{d %Z=`eHpq69-P 1}x k8,hu_O t>$$B}diW``~g4yrWc]Êvt^4u K Kɨwl=jU+還ƇCrq;/W.XMB?-+MnZgPیAv^>NRC<#PM$#jtQ*ң`ivZ;-W{ڐ'@@݁Sg{ A'r^$.Ǟdfx;q)3%_̓w$GS,||^wӒ~?A6pR|$o꫾}X)ӟŹz%^ &Po b^5 iղ.zL%X2C?wejCbt nHnJm4rؙDe?9c >̇,xS]k&110缋5#6S(-se.ok^2S|qAF_mEz2wCv+q@b@V;-ɕ3{M7hHSؘ)Vz#5\_,--^t pJvX\:zTn>Vy I?0' `[}oIy80ɘqz'36_*:UMz|GLg NQ(;2:H=̲z Oիj"Ht Nmz&t$6;J`#|xEE4˓oblp~->CA/k|툏f:찇d{@]Qrt AuV/Qn F"2͊tanIJAN[uLRCkc܋ DY HA''zD-"^̶IyNUOQ_=|hJޖMF 1Bi\a^&X`Fg22?I `#ֶV 2J͢޲f<y "Υ&ғdk H|(8IFAS5LvOTܶF{rqzuZ(,g7_qˎY,Js#GTxZ=#X?S1s#RJKd |9Zǹ|֖ÜBs5ϖd'Wj(P :zВ66IC& \*A^gs7`;Bj]ibj[\XFs AIA>JM3 ;u.zn)J)KdT|T:|̡?,DUw4Iw &5'ϟA$jS1zh]x& u;q^(tQՃ(]z\j3'Y܍ a y vYy跺M-6Kx#˄f B߀Ro ;"0zE-AVZ=&b 1SEVq*5mkM$2CImqG\dnE΂>0{sxӊ_\3Y4LW8:!ȐA @)4*SJ%IOnC ]0#VIi;KX@0hNpI[^ܮA>6r!E@hJ-2RXI)ORy X<ؽ=3g@kAXMYVK^ޑg/h„LU=|8\i$%9˯,ʙ;>H쾣X).k'm֚=&?ޒ Oz&9fsML:#z;idy^ DsM6\RRUtτV_<U%]]:Za>.`l%D,{{L츙ޠmmM"< "@H6Ж nzĤ)FJDl(v!ăYSa_`[꿦ZQ7bdғ)h zźKP9 hٺ9cA)o\ƨ4M8HhsKﰷ99v{v:c㣑)%qV㼐9]^:d_Y|JV'}*-.:m2Fc=>o1 &qv#ݕ+]?,ԉ(~AUz|t@?bBzqQHPR`_k vr|K1FE,T R4D%-rT@J0`Vd?=_lz .fsr6'|zW]Dt:hBڲT4| IGy.Z TplP 33 )g)7sƺ6ebA6!e Xjų+vF_zwysCBX9؊LRXp"<G?aQW(QY/LAvA~3w1v'Jpn'q:H2i0bIuyP35!Q<Fޤ*zJ?؂)NL(}ۜX컅asL"0'~W80iq1`xªe PTpg{ i<>6s Mc0JQ<+dhQ}4';X^dS*Z"nc֮_+T.df0v\L{,oU&pڽ͹}}E^sN\~O-U׶iD )ڳ!6|5t̍O=չ{$YlWwaP/p!8dD՚{4OuN P44ݚ}Mvg<+bgYZ  Pc0/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! 7]·Iq n[:|&[z'ABe9>x͟:_a{)G BwU-a-z?6R{/p#UQ@ʁْckcJ1ced,G8L\m;_n%χ6^(x ĻE)Dr2{?!Xzr9m'q%K = \M\rO5Q|_ I nys tUoqo?]O7y(^_2k(-ZӯMUܟ.l=VȤB;c2Yo$6.q9k!SmM(*-zIS #Lhngb`?*\庌^ j̜e"rcBjaPU=~Aݰb'Y !,3 G8:q`p[T+i<2]9c$_. `3550,a_,o[ܳbf䘑տu|<(Q gNT!\uTE_ O Է_~Nݻrz ݪw If igYZl-/=# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! eo]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A}FCt-6KMk/WPTًnrڀr^ѭ)1毜@z'RͽRy *w tˊ3X#[O:MEO#Z9A6 F,L~ݏ@C!m'+tus.s𮖼d[ RStT~*g;=` == "[º74 TwBm'b4pTfUZ8b"5ۥOCwdR9Q1fv4q+!6ߤYݣlJ4yĚ17AlQTE4;F.&ĕyw( oRGrp%/_.X ժ)2a y!6Q6Q4 )p5JE[+6ĎON'Cv]ⳓW,7T@=0͈l%ŅO|>"w"OP--N7ύTx0gߦ@lE BJ×JU6! nߨ(ɳLK\1K=b3c~+%zI{qjL$|QPOUxBe[ʏ G[`@+;B.7B9I^Ye +- y}4$xvEe JGq 8?HeټI/`("ePY2})ހr< _?эfj{Z)!= &Bj#2m>Ba0p,H-"0DmpaMJ-OLBDl(Amd25Wp KFSx8̀ EPx٭<q?3?a#Gj֚-ί‰!^4͋'y9-W^yN D.Q֛I&fvas~R+0D%Tx"q;7U 8us˙B\L ecYAB\E!.8DZ4/!ĦU"b I%&w/!*&F +*ms[Vz]aV4 B Û%eKHUn~Z] CORi,q0^ W(MWeW&iZiYecʉfMK/G;n",_Gb*kp: |hB~9iC:x@vlR?(O)w6?Rj kTwڳ)Zm/ǚCAG;8$+qQTXh{rx<5θ #9p晆4+ohvѰÀ"hFQm/ΧE.um 5σNA3f,I{g<{N0O~5EY s|r`Gr?vPpC (-R:gmN2~]?XQgغ3!c!$5աM Fła"׫1 Cj0] R8NA7DUmx^j -oc2x *3=_/5zkW=f(]M@acxVGjL,9eAG%dBoamt.4#;y$<Lmb6/(ʗ0 (ܘ 5\`{8"I7xi_ig*~ U!'W@[jq6tZ WvG k#D^VI@䮂d -AYx!/|Q{&v`f@\d QZ0~<0])=k^_z۷_(\t [>>|.T4Y NV2`pqLUj^MF3hzñdQr(aR&wg?癹Ж`dcy Xw.,ڟο*heO3ޢsG]idSf¾/ۧZ{G0<~r^ȦoHjõS %V6grK'-%@ƲWXfuozIDBV21;{#}1]m3t8[ _.v+oL2*k1Ax/XM>kfPc{dgy%K+L&9̇=`8d(`c2(廠(ݧ: OK6P 3"<_ "M$t ֚/U3&{kISʪM %glESE^lnfd*ѻ >9Y㨲Twm>'Q#U`By"'.~Y$F0 "l}tY&g`ˡd./;4+Qv'Z?,NǮ+%ܐ OL9a!F!KJprT֑W7 '¾δCY${j0=i3ZW:So@EǬE6 !+FCտ؀Zp9w(^Pp!mİ.L[ݯsӗBYUߴt?NEP0ξkoXLhp7#Għ+cWaWS bOǺ]Ȋ7 -;9sPa.6+E,t FdV :2He4GLߵ%Mys";lu=(Va Rѵ ٛ An8PP+Z&fz>/aK(U G@9I6g+zgW187Z{JaW<ѷTV0xqPp~D,R'P?rtE|0yh޸:Ņl}9]ۘx#9JS.#Unwhn.yxB .92X$Q;pl&m\Yɋb'1p?[2Z,eh5NTΚCqBz?EſTzs5H_2fƧj& d 2Qf}W[%C38Dy 0"]\;7/oFYi>wqR't?sca('zbmG( n柰i> spk.">qˠW,n:bGIX启at܊9IuCĈY*8dVFT x  ٱ\Dá:X?mE$G8^żuN|}PƚU[)V=$[㚮]0^?Ѹ{ZP@sNrۺ#n)j.YKM!\}:!? e0,U?ޝ]eC_%[b]C"w$k |)2P>YjU+.{4D\ "㊒hԌC*5꣘ uLr%恱2kvlI75mz*[cZ. \gYZ BB31/C# tHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdოY|b/m?x'8^{~r.,d%QUԐᲝ ~%}`E^eZY<B1x6l4K(݈EB(}+30ƅE`eEppl ts'rj2-J'gFؘ%SG YGJd 'ekA{9eдZ;@{ *h "$iLG1 Q3@DYAls?ٺ+29k(/ 3lJunuP]㦝Ӝr b?gAmG8s7%2 He4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21852/C' tHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 2]Άxʆ5.f-9 rq8H}I (t )#z9 dtk;Xn2UĽerq`ZD-UD Q&N@b^*Z}ٳTQHY⛻RM.:Er qb/?C᷼4^>f|e fcw_g:!F=m隞g t^.:Kt= 7, jIpPݱr.}\c,gk~{ҽ Cۢ& ɪsu+}>Ue$Ųf Egȁ,mݦ AF$Ť" sLpL EA%#SII< n5&I' s6ag⟤HQX,F"fli}k 0&^Q+~ lO׈^G8Wp >'M)tgeytVQ"# ,@K#**u2u q  ;ccc.֞Vjl˹vA *'Ou\i(SxM$IԂI6Ov,Nr6i*L]mkP *$M%hZȑ"hf7$j_Z1tsK*~ WCJjnh h~L'7T 9Z7)摔Dw[E3G@بDTF.prdi<xޚc3"ʓ¾Pb+.MpaDǖ`-N:G ؇lh~1H3G-aٺ=p6?C~^gY>o-v>ĺ>CPRH:$u^ (ܫ2~L۔s;nXGL/*{' /xTĚQ,vJTؔT=]|{ݡ`2쌥)x@?W~WaI&4YҕurBy|tפ.g*Yjle@obH)ʬR?.PNb0 ,cR@K4 z 桩]B/y9ڣqlft峏-7%ZO-(?+TZspx# +5 $;7cua%M}.J>Eg{xv8RVp}L?5($p8ܖ0Gp\>/jXY6c߫/,(|xq]jV=+'Wu**j+݋qgYZ6 aW58Xt]ߗFa j0U< tpsxx?nȁ\-#)i>C}O!W]/nfړhFw$5; w2)vGW6ʐ&7GN@m9٫{5Wԁ¾N7W]DRm.[ᗣrwX "8%LLNV1_p%aU,MHːdȽ(.c~` 3*zсV$A±SyI}Y%Ixʾqj =JxbmNA]Nl8eLb+CL*?# &8ҙc5Hs,:8CHma)s=N Q/glIz8wPGB]9٤Sg4/@ʧ s;  ]T# I^\i J}gVe L!u Jу(~'WC^gc RqL-~ρfaSMR~SݴtUX 8+W><ÅG›*aKr7 G q<~6eIW)΍rA6[N"o|Hl9!V qwrޭ#ŭEYk,ygs5l@@L'L:~fomMJ.'gAn,v~ޝSVΔr9I&q5YҪp2֌Ri[,_V'/ 夶۲5KQ`5 ! S2x5 fFD`mX/z׽joRӚ 'gr!_QHfC[kkovK+x G07TXr`bWyJ|tXv_Ācy9'jyt䧿0i&)3.戅Ú1#;IgR: d0*#ZNR1_*~:Wd)')/mF({'Bj,nx¥GѽʷkQm] fL?-R2K9L59?(xآFY/;\ǕսV XTI|uJdDL9=p]='mSؘ"zx|HAÎWt#b؋3礠F+5@{t/7ViR a PF^,H87YgAn.o7 NO9G럯=J "h*=VoV˝B^мn6ƶl "l}<~&ey 2uҲHhpeNۇ'VSb(5Ӹ[m{igfr:^擷 Wi2̓жao-o="RTL0W~L_EE7"U}C2o7׀yD'"緭 ޻M>{(~MS"އ1Cq׏RQl۵~eIޑWYl? 9sH`APטdh݇$9޲㥖旅nPAWFˮr<7Qj+zxB+^!#DPb0@o A*-| ; -5%U~-9AɸF밌Hyv]Yr0TOda˓LcfJjYX,j$f9L!Cb*gHS"e4Lijz[YgYېRA=5;*9lㄧSr4z24~XT\nOysgHӝ7^= &:vY~oqSZoKɔ6-hY8g t̳AN<!~gXy,W Q$mJSr!ݍgmXMVf9EVF~+«Qqr\OUDi'%XL Xo.dwh<+AAf;n͎<=Lbf"5\ads1M-XTQ.0t_vE`cG׳tWA ~ֵiψ'"5ʤaU k233GiC#pm<}ۦd.Z[ƸZ+_3f) J@C5V+L`1/ULG鿹fZ$pmi/P8߽zՓh~Pf4֞vĽ<>21+ya\w_4'qU~BY_}x1cYUtz%wjQ(BׁO,Cō.Τ 낵 +3rv+Le-R w.V#mgRqKFqOPw筭 g3y$͊Raf˴V.ʭ}-W\=ݨ0HBDW/=&4K1w,鲕_ XTx-E#B dJ ۸ď3\pFMUB5M4c%4W[Mh"\ R4x ~DgߏQ׽qG!,3ҩET\ X >@2F@ E(]$-艉i-U~IpP*,ү,nhb8]v.apң9,zˌ0^e7Xa}+L!#5y!_z)PWsp$z}^=2ȿ?SI1;h1@tyr~,QrE[YOT ;T;c_ƐAgZ¶=j7j Ni?@H';pxnE%R L pn՝8칀(2} EC&ʿjBdN+ŁjtI9(F|U2FFH>Cܪ}e P_ >0`|_T.~*CMJpQz`2!b]֎6P.7͝p;Zmq'BY% q(A 4T-;@U' ^QA[ޕp NR3W{nx]XæhPlr菹Lݜʒ'y>[9(ME%р~[(3$P7h|T(.UWd?.үǴXR!uK^#ۦͫK gSiGTB xG彣U5GŐ-#M[kn =+| LZ/U-ˤMmS)Fgcbsb7Cھ"k(t#>) "R]z&E?p%S;3.zɈt6CįXʬoOgSKѭ3A++7X*`dp;ts ul{T)OjC1 PT޳'l:xBrv`<0ģP\3FV"*y>gv'V\`9 dL XOWa:i D9ŲluhĢfcg>dYqJBtՉal?:C Md`x.!9y2,&*pŞ7_'~Xc{%kU 1 dBS ]xr{oEI?F-Vc'ͣWl%u>I:|z͍U}X:zfx!͘ʡ@tĩĠ$ 2\ t2.|v9`$dɕ^Cu4^5J[*ua4 H_1Τ~@ZM(? N^;dbYe`(~:sx>9ذ*xK}7Ɠm-p~[8^yJ9 65ߧ`Bg]c4@ZNe-X y$/xak[{¬`\OmGNM?i_{^̧)}7$L:AQ{8_1eKx8pfԱȓZdބ./Ku rɰLWxO^7_i^*!ηz9mQ Yy5s\ߊ?w*-$`=t"83Kچ)JB0GhYV󆐣&tގTvTy97b֢cTTW_@NI!Th4R+LE!rGVI\VSC'"_+*_ډ2/>wf֑ _ Μ3E1]rAIҋ׼ pS:CG 䑻u*~ڞ=WT{[7~ǶSm\æOQ"Whmq tm{h/:ijV%yimq`s\x j?ї5~#FTJ.mA*|ȯu0RqjkpRJ''u?ELvxRSVijTP(-,6&<"H,~-Xm$L3=u@R.V']揰7;46B`9-5xƹނ&Z&`iFxM_2B,U*D=yV )ii) ;D?"M125QihTba6xC\y-rݖRYdsLU:'TS )ʹleLPݶtl{2!O |Ytba7-w/ NBpoV wKȧ$ 7'bBWU\RER zN-s3e/tFu4~ Z Z n@$jx~b\BdqS/qEC9`_%I#Xad4>Ml{Da@'$/)ixqTY|G\Ł˹"EnRr)16ٌlƩ1/IT+fPMU[D?cvDMu)WueܔKjA^Q͒юD${q.I5fp&=۝;TTnE(}[~e|ks$!"VjgYZ}5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'|]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwMq{5?R4{ 2۽+mW?WzU_)C*_ !(ӹN{W2Uo'^9mVx]./ì}y S-^>ݱy>ݚkQcc@1P)oX$!+fF . . U'`KfQ5>ajdYF$[?7gA*!hPI)xY9pGmRt{|*?Dz (|ѓqWϘs)M@.e6Yg=z{Iٱ!ĸXJ;ݪ#YMHv.]6\'^VC_j,,KYO(v0v 5)Ok3nn$Z3XxtxRg)~0?ݞoޔ) qku$aR*^,$1UULxK34;YQiPS48%;_%,MlOU:F\ݍ,)@dX̶,Ž} "k讔|MʇJ'x4U3DCORE["jw$@j5Fx`,^9\ ^$1 O.pQEg@D6rPq :ɺP>  NWJ5k`,ъT?cKG T䇷.k@s@{r)4eMպtS SO ،pDF:VcRLD̀?`vk{TC[ȉ7?r#Td`J*i7.ّҿMfr龆^9nUD_r[=Ih9"x[T;إMݖX[z+{eU4CYUHiq:FX2JPqݘUn{XX(2\"II8֤k$9?tᏟh?GIJO"\Ke}U-.q;b>ٕmՖeua]er f(?Q6d/Wa#)"As2NjbopJQ%mك]E.VOW8M 踸00>Dȱ0=+RxFQYlz0<":3L(Y1 80!%a"s 0Ͻp iEG+^1Fq \G tGܹ?tSK2(o׌|oT'y>VN:5M) xSM]?δ YoRXX}LuJňqc^iA 2/Ү@u~@bY-y4An\@-ґA1Tn`Avw q'>Tbf,.p{x >ϛLpys9pgׇNћAQB_dizM<4qFBbZf0Z]1[bbʤ=XFl)ruCn\dbf|H_mxaK;? `ʼƊ&\S4BkP@K0ҝA螾Kcy+Qav~T59QdÌAeᝯx[OQh *F1S)ŤL>*8w?ҶP:s#$Q {[G:j%Auƈ(pVNk|}ˈRYDrտ#g|Uٸ͚Lu(hf+z6W_ͳY=>7B,d~a)Oo5=#zQ`"ݵ$ڽ*q,4 &7?"/ƍ~ , -!>qNZܢaTn#i:}E[V#BHe+AlDPbU7;K7켺53:HA@9+٭D26kdrn}Dc +t:> @pS=(~]K|UΒg| }b ŝDP9Ү yk8%A%}Z~n6& .JB9k_b~ڛM A{3&C\&`t{_9)*Ep*HƁsʳ ]U:V@\& }W#j/e/#BOJW{~^p.mzHVxWsWfCV3D:\2$ H9D RB_?2)BIWk8a Cη"|Q 04dM0JȇRZU-6thuUH>7㡩 pv 4 |9YDc&ӹ!Pb a}uYTF2ƝC$CCj)kVo+s7!p: 4k? ֳ~o%9#f5MN|HaX?}a|3 *.5{#Tt$q2=$Ppt@w-v0g'd}| L"&߷^}hDV3uLg]P `?>fk鲶loI+b4j{ƃ%({}NJqa΢B9,3$3>pKs3D>(`Iq \ހfvss:jHA3 ذնK ZfExn/I  ?$azd^o. O7`խ_580Y7E9OM|LϽ_5jD')[߮h2_"&3seE#SE&5! Or^|ꇰ(1Tf9\cu^0/"SNyR_ 0|Oּ ãe{]m&uZ} '/ 2jf+<KDh^/IJn( g ɭLyqPWmXMdSB!Wz<5)5 W-+R{7Ja\'֓0 8{Jk)fH7T)v)>w%X%F3=xx2ABOܺqYkMU}e^u`,fl{j Kwh^mKv̾%@ PØu飗stW9?1T;f>Iׯ?Hy&r\z^"R".T9Lp~s@|0HrqRI -$SҞj*H 䏴sS#."9oSb# ZOD3;P h}<6GC@ӘIlLioPicQSNլ*r z<ؠym] [%`df$gk4 )= H$m߃|\򑣐jLrX jXHn}[B{+q cz5#WsH\69H%}Z`WTCV;R}vJ;]>kb{hQ v da8`! {_AqS֨nbܭ0K0[C!hD+ѿax[~b=w+Q 8VmgSOo[Y$}h Ӣ^JMb@fǹ_7f'((eɉ^oϲ?j憏FqPQqH ]=e u?-dJtx_댦'~RY$iPWn}_W6fF M O.~wxYV} Pd>IlsgD#WrV ^2EjOޯ@-9E+o |)%+h YVG)r+ L8.p4I8'mKɦQVGXt6sY Bexe'F"wtqȍ=/05}Ck{Gm L:k"j ;ʟvXZRd cF^b+U!ugjWq,<AcdEKR h~u(qA2%c[۲`F<D\/K k I=z/g$֟.Dݕ#uէTmQrkj0kўcM18i-Eye.XÖvxK&oK H 8A@0dܱk =EFFbxW[Q='WgSR+/D&gu \y4{Y68L>[ g>}⍹myƋWJd׏ۑRLiwL,J!3c8ˢZt]'A:C*K~ȾzR'!#E()F7އ_BH Cq*+- ” .Kf\L'9%wb:fekcbVyx6Ͽ"#bIJF’RP'.r]Utt??Eѓa` nvtixO+AކOKtU?gCh[Lc6[3; Yb|U4|%: xf=bZW_VUe/TI^W/|%#If89ٞeBc;zѧTy\\"F_Uf$NR>}]BnuHR[y澏{j'k d8/w.$o&'^2!IwPÎń,u<]X˙pkE[ˡԚ_ouESnj2p#vj i.ͷJ08ׂr.1k=^cHl|I0C(C 5d0s6[A\zn*T\^GUlUYٛ) $YF֌䤥>@k֨DlDtߜEeeMpDj4-!rvn46HToӹk)|&Mi|Mƙ uF_LHޓi1kl ]U*_rGA/l, ULԾ 0!0QV . I/˷$oUGcD¤KڿcNcLE:XɁ\ꏟ:.PD4E׫em: N^9´  ]LUԾCbz2m\wt,?{<;GhU6m܈iJs2IӪET⭋dHl_-uh{[~^bSnnX1'< I.R5P" }aiUYA :;ou+U)"ЅCti^v{kTK%|Ǵ^{'ڿXmEJ~dS1W2C郌Vb$ECY(!iaI@KqyT-E@+u(;(ɟF; =~/]`,co]|v&0V Yrqm!P@]f>a>DuG~ d\tx$&:-3 Ott h;Lu.fB|7yB2Ъg_+G)׾guai=X{,DnK&s_rZ`%d]R&m tD3W- o&CTۻԳ >q"hr)e}x 3S9N}r*mSQʵt]"i&7B]aBv跼šR^OV D#h:oz41Xu+LL9^†-3-@d 1"^+CMJ0^ ځgZ¦>xⷊyhb#*Z IG/-:Wgu*G19?ҙR$I#a1ǀ%Qxv~ t>Xd'DX~%x۬݇NٹU+u,eny={.3)bߧn#oѮdz8N B_`0tZ 6Aj!W9JVMdFV[ˍ/"3~laff zirB:o>dlMD7-wkKs:Y^{4 ĄN5c`AlmuI{܌:H9Q 1F$<^LjnРq=ur{߳wWZdT$0I~6_+HitYd{h<1QP ~Fz0zĺj 3-@__QA!ĥfU/\Gݣ)YAc $P`GMSgKS9vtzqhd|th5& [ }bs>; F~U[dP^3f]-]R3j A(ĝ(/VQx >7%Ԩ3J.Mz4 ("8[`3Gg1x7OQ*`{<6aO: sx/ݾI )GxFnsS x" d*v|,Aju D-9)@%0f{j5:,:@l[06@U1. YVb^;g] ʺ4cՈPHrjKǢ: *nes$O[d?Pl $4O8nv@r~lۭ/ G |lՙ}+arn::?b }}]#"ZRJV0t齏>B DC]~1Jd/;I9֑aiHuϲ$-܂yI?U#@?aR8sx 9%$%hW T4\UѾB*d8zwf-*fNF$y8|ԇ,G~7Y$v,CФ퍵ޙg VtjsbM {?;*J.M *1 ou>kb#u;4dͫπpidO! }hq\~w7z/hz1.e>ըK.+3üv10Ǹl.a=Bs3\Z[>uGqD& GRj'$l|Y脆 ZOGؖ}b{ y1 ` B|÷$O >l_|Pl`ޥHE#x .I>PgF ~k,w;ÛDSޠ3K:e_Ǻ*q7RU pq5N5׋.!2>1F.w_Dz},$g\sDBCbql~p0g {9r L Ay 05,KS$p"ڇ(S.pjJ/1l=.'Z/5/|t8VYwIs-8pL4)f-szpL?ڑL#W V`|Ŕ+HiTs c^LƑX0)-w0I^YC~WGZS$˜IUQb2/"`93` V%'++X,c<dغETkKp$g9Zikg?7 H D";j1rH'\_J =Ifp_LWg+18j?y8˚cz߂; q07{hݶ/p2%-p5{O|!Q zmLߢ{EY8 K}&dmEl?Z*fe$9(!hqa;%PcB| (]XlH͡KqCɑTHT6_Hu*ax%/B9YSpR)D SXz9io$߇g\L= /bwaQ:<23&4heQ,dp$vIY@CO-}Uݨ*(䏽H * C&cJT6js_MLQkf9ڔx旌Џ+7:rzsF\= Jc#Vt c2S8tӡ>Ub7s䑟@WYu㿮hXY;M׭u pN3( '&f{_b%.GJٶ`s v7v#AL/gEcFk5=-}7P654)*U3, ʝ5@DϲE\lA>}KShBn>wL+܁VgH@1 0"z`/ F_4?*T%x;d7\gUhʷMu1g."vvsFJj:(VBoށM`i:mY]5ל ~e}#q\Ll ҞzXZ=?IW}D@HGZH;bVA0|$+u}@l2vL~)<~Nۇ ֟Xv%M㻲|\4 ɔ l^X>y;~W#"߮w]18رO|#. 6! ӲwL5.ej>yM7IA~muGBsϜ߅)Eu wLͰH(L5Bx.ޟ$6z_68͕x] nY)Jdd%w6&N{>uGz[-/a{OzfhTZ5>fHtA0N9O؃N|f%%5鯷^?[~nydNb e I`EK𵤴 l'a2="ɧ YSj3pUFZ]Kl]?1!jNыzYӴC1$=8AUB ŊJYJ| Pa)B2;9' !+ykrL>:˪UNڎ˖Vs{}>%L(Xr+T7ɟ46]$y @XaLslMC!a}HڔXMyJfC; Z׉`ZT_}^b6SP &9ھ#24QG iOp lХ>7fC)Kf21eW]oȾ=F!ѹa՚^2*fgtRDU"踛r>y`cNK-!{QCr i EZ#:T!PлrUՁ;W[]cAr3`* d QvaH˟/Ztw ?9mhR 17 $$4lGT@/Εim Ȳͮs&ߤNOd}'4D@6p.iHt D.i/&) JNL >ګO Wȏָ&xλ[!^7.\'Ckӂž[If<G Iy\WZq mo@%Q3gyCd%-ӛ FhP O:)]ist3rc` `{KUwWEߝ1(AΚ*H9h7X~2d9B>Ng&I7Gh d"ޛwd/;EvΌLpAҔxJc/}W@6o!&D`S뾻bO{22 L̅Y+L 57߈,G1t9"ߤ%6\+!!Eۙ3\jbm 5?d5FD)kTzI"]؀O{_T5^6y .|hY.r 4N F@=Mthf*ɬ/mBoVtcBZj߫Ws3|ƹZy^aij S)Iu`jƬVkB!/&ϵ 9`~pm&̰#[Pl%= $2Y$WḺ 4Vql]; o(AGDDq`%KX>'PS؆G"4-ăn$`RiT !"hw{[CԬ'V=xP~ڒّC  "hZZSGy5As Bb26Z+?  .7B/HFlH_GF;,wK}?fw̟C!$؏mf-qIݱw֫MZoWmxhTZdb!OY$|r'jllb $L"ܮ>&ˤ]!/;aU4Q`s7u.ӑS^JqIPZ HLGJ%ROQ08dwo%34En#z )Tn(jeeYv_n6"flz[#L K gn9I7ɨ}P۷ln`'48sXlgK_o!{1%H1yDD6иxY0&oiO\ ,F/v #m`($:a2z{$ϴ6n M48F̊BڼGf1ʎ,!nG"i%hU|8d+&+ܖ쨘sW44]\_Ȗ7^N:,{?ݼw)(rB)n6bYX?N%)iHnk%eYjT }|#}}\?u `uohN9IV]'747D1=*5ϬwNL_=Bv勳)z` q8aG;X[xi]ȈҨ.oϖ3妍2nwi1HjTvj)7׹,ʵ E.f;ch"ѾD&IGPNO9{rjOA&`Hr>jA,` Ȧv͂Vw9/dd IerDݛI ӷww {4ƥCHqZ4[W2C6#$h/ezaZtjV0q w3|iSCRbTnsZUD=+uY1wMی첺YujWQs' n:Nxav7MJ*Vr$Κ2jC:7Ps1_3?DQ fyCŘ)&貳r`7hgk/D`-4 '9]ǹ sGb'!D# 'A| 宯h3 =3bDƈZ ȃuؚ},l5N!iB RWf+Tq&#EX2oE;xi5t41)iIH%UK/Rzh%[Ϳp%>C{ң(IH%5Sv>V]$N:''O@# =ybn ٕ %g!MC&R+Yd:]O{[$sH5#0ߌ*EcCU&Q@5{F vdv{%7x>m{ton;K j|IԸIm$T+ MF=S1K8ĐtPkGsFF,[нdH+A+"{n _豼Ы]]v7"*.I.ZA:*ɆS@,f D *y JK8URjI,B2t Ld }aۭQNAh/`0pQ7TRì?6:KrQN[uw˱" D{|#[8_dWkй>9:6VwmG$ZA^£}gwe-ftwނ [Wn+lC`7]-W`L?̎$_lE\6 <'m2:]2~V(\ns+8S7mV8աў@O|X^;gтVo  df/IZ۫֘)ѷ$=1'`,Ur4N&~ QZюzԢ>Q DEc-ny5(B|ݢJV %w|yȨ}SeZpqhחDI /`KљkmkQr_OeNG֚U>Xy]0߾  z|Os Z9~s7΃GtoF@ÇiUCbD] >ffZW׈- ɡ/7N$c4I<$7d臭G], jUAdvxμ6-vɈl[tzV k$!ZcM%x] dά6E*,+ v*Fq 82.(:@Ì7XUZELW+$@L:'`7f*b͛HЅο/X-v(MG0Ffk,Ɍ߰<߽λ>bD_Ij_ C=oۂCOkӮUB d z|~.Hnb*vGu$Zzv쬄<`a=P3(s0,8m R3 ^Wad Կy:FC}͗BYA*Z?^K*t8sDJ4sYԭ']vfim/(ohfNTq@{6nedQNMrﵵN2_,ЗM44/p F(H܂ NA0wߧ0ɥUz&=7ls> R*?;oҜڪr,߼Io됺$ᇵhe@EZ^f)W %@~o|QTɧ dZNapl=H!՗C!#7#4}dH"a67;U2ۖ[KPuZ׉br$ 瘖@nېe4ADGु3|4aGzbxt{35&;}{pU4KpFnt$AC6>2ͮ ҹt1}Y3q$Usn3%iۘ撍5#r 4a(/.×H 9Cq7[|k) dhxDW=}ʐ}\Ez; F$~d <`΃`"{Q\Q>R>C*'aUoD̓+)TN_[;\1Ht`c@VEl)xFIP oVe}$ oȗY9Ȏ.+]PԃC=.DxCֆ5YpaqGL110M, xy?9`\Ԯ!B{#38v{l3=  jIys|H` ;OI%nFw ]gu3UQ[! P|#<pW͙k'DWZ #tN3;O~Y'¾5SC.[׋d:L 9hIF1\9PLgR-TГؽ@;,Ř]Jb<?)cIdWFz1|4;=DҼ~FFW'0 6?.<*@7/!.V#;P̄L58{Y슶|&IGbU.u{˽2ݿxTrA1bL_mEa,~nEU@u9TNdZ1_?z>BgF9<>I[gUES0is *wXShQ(Q6PNQ|%F FHWG| 5>R lAuYfrJ&z.r2vbĒMeCd @Fq@?[oӃ*hgYZ   y> /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9x]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exǽnpf{=ARZMCQ{}=;!=ٛI6tXբXEES厱;ے#AqX t۹zymc`MSoim8c2H/z:JpW˞н>ҊZiق+~ d2bYg7):g5d+NFE eMYV6%oIIf G|AOmWIc Ff`D m5e=YQSҒ)l9Y%\ZĄ܋rڴLV+2r )[8Pi%Q{O)&~V1nୂ&@P=S~$L\Vίû]Ϡ>.HU]2'+CU)K|Ҹ#v˴ebTG4e#@]d0TZ=qrúz OG#V tZCW~3/@]ug"dٖZ^w>&uu&EoQQ|U|xE0R;e0fy̬NQs">F_"&^Ģ (cbB+]ۄv-ޔ.9M S >u0XanQSMC[t>CsDM}΂uLRN܄#Pp~"^*AYW?rzXQb/%L&byj,D3DXGb D&"=)Fy@qW|*h{1{!IDŽFHB1X7gntבHJtp{$ ꬤӶ$ir<>L3bY$TP\B+ni$qKHARRsz^(`5[U,F{cY3ϳgPYW*YUQۓTQ#2M !g7|P6`E2eA͕~]{O k gF$4|,S"d^3YCXYgiAFxe~!"5YxCp2'\ѱ!5. Io';76'o7* fb́Q l?)cC*Ŵ_q|bd:}\OoWI_~IPfxUYj7;"g!۟chgFA/_[!n?Z*Şq6LڵhLtu*"rB# cqp!& ]wqR6?NB$=MkE!/B>;yOu$>8UѨ)&޹R6֖ 6Ku8t 2Ѳez~@A)ˠ[S3Skݯrۆ ccA8I8kB/fgl$/:^sIjR _)+aGΎp#auq ǽKb\f4'泲UtC3wkZLÔ2/ˑZCՖvɜ- s ҏ<ܲN N5{aY`!=#T}z B_c+]10ަ(Q ˥HGYb[Om\3 Bw@g.`[ XSG7H`c>-_$@MSsL𼽋n'8 ^C!,Wnh+CEsTR)\š!ڢ[&^ü&=xRdH!.Kn1Kg]ɐmTyc7KTۼ& u sPQ^g(ahh7ØD+$idQMF6!ᩥwVcj]õlRS+'F_ģ_}B1CЋ+pc&gQ3NFk ݏ(Lt?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-IandCc:/7' \HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! h]D?7 {?:fH\H,_Q, Qm2OJZPC2c'X9;]-4S lcHs=#ө GN/4W,CdٲBUnM-DRf%NmM81^bM〭lƺU]㝒iIkBQc$( Е ؼ@„Tߢ0W Y=][IfR r>~[o!v9v|Maڬc.?/YYZa-KHzjK] ٲgs1rxa黄p`z45Ӆu*kX:T4o*%s0u $Hb8-RQ7o^ ,>zюzot!x vά e\4v0<"&*ƀUkG~. XVMhGxJ؇nx"<pu6O&hWo'jPLkm*R$C|#3Iu.yiF#l8(>A+*%ea򛆅v' i"Iwɞ`˝q E* 44[Bz1j46>U{ ZWdFhx*ōdjG&g9#gYZ %b$ Jn6 } = X y > 1b#i o +tJb# 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_ide7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex @/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@_pڐs懘@I4ցD-]|Y ҙ g"Ҝ8'2kde&8z`eeaqHri: 7v5 ň)UV{p-r8]M(6"/0["=We?ř'c]*Fr qP엳JcYUfT϶5 KW ' `^ BnAI λ-I&i*oJ= P6rϺ/e.V/lȟMfk.@.ŏ3pln;og[+XLr1"uXA*$y Pۄ)"p10;jt" [\ec=cqD7il1i7X],BV^|ev)ήL3,%sSphq)Ƴx35C ͽX 軥.%$-k` I>, {"GӴ6(\_qbPS1(,={6+&80/C0o͋;nn>44x#_a+R/ߴe&ۙROdUX ~N2F¥D('f{ MCYtLmMͻ+ъg^|ytdKZkkX`[{'d|w6 OGk0)xTFqBOF>1${jY R+ f[xNS6<Omd^Ekk6^cik;>ZL)G<ӹv dW!. ?{.FqkaR=xp0zǥ3PR}t@CLGG͑˳\ VoG^tլvq{+|B-N> zen_>borOSK&_# 0Ԅ&*h&%V4Z7zBblEY\dYs}:is-+#.,%IMܛީu b W- MZ ~;C^ګ2֘UuO^tyuO|k\IMmަM}$B>!Aj3JzwV--H⼪{ܝ(YWE1XOIAZx*_}du}9Cn.1Z騄-,~uw;,N`o"$)3تgܾ>$~aZwvx֢2,3' RnĮ|<|nW |h۱uR.2FQʛ Py0XOVJ|9-<I0-(prǟ]v .D DD@n/QA_RZ)IAl,Kl3&u]7:eMmZz4,X)d܃Wƻ|*ko2i=xK:^fOa{hMq.ӵ<!Θ:(H'fTjV#.nxT,[¢t$g}fS]&L!%3KCT&HᲒ0 zjL"A]Ź'$;ŕp "l^SCkk>G={/$(vxPo֭\0kYwv}jfw,'hRG_(Ĉ\zn߱S*p,'^7~ V x\d6՟ ۴O6𖐕zgۘs57TeyҺ]O Y9|Z T2F 1!U/RVH1D^m!inh(sc&!pXq2$oPKq_H{쓈m6JLk Q&ZARܧ#?#. >T?~T\v[ոMŪ3O=.3U>I}R-0$ :E\S~ؤ;9{dPPq‚>$xxt2wkCl  8&?4XD6=5}'nңc1wҜآ *ibn@x)ىv%~,$/01tqQQ*w'@0"!H Y9]νuJ1pEg 2Xef]b|;'"()&"Je"HX4+W{]Vvq D<@AbEƹb5&Kg%+PI 5;A3y_B5-ua1'}D)9-ٺ7t \ w͂VɊ7XM## VTim~gWɐtB8SǝSH>D$rclb{i[h)|uPO \1M|)+ r=lZU(8By%5FJXݱ>3vݮ.fwY\σT #CY1rS<#E!VGC  8hĐћzvMİo'9UPQ:(TZ>.ͥ#{F*[=_Rpf?ï0Bk1X/1sP\ʤ m}Sį/iv%ǜ\G]ј~QgXdoSgUz/êk*HVoCAG M8*Ð7+&\A;2a6;Y>Ҩq~|9R_UIS&aI˜l:Q g)cJpMsf{s"9?2˳x-OHBp}Ha O#(`jTu5:NպY6|gZ$;SX쉀+: ;P4QD|йr!^z#EXLeAL_\xS=HqgQ߿c)|}iLXLQq!Hs/rT=ˋ]/ $YԞ? wDjWB xvr]''3rinǁ+TVч :t*spL7p]f J%s&._S!B ,{mf^Bz zMt9n({/jŮnrѢؕ7Ëh'Ԝ΀~Kt0 4ݏ)â)5G&9FI czd/*NT'W XPbV,˷:mʤ ]KnBXG;.v#J)ן?DpDZQTYԥ}0pN٪5UBP!ثjSL&ϱz-7h6`H$y0`q|SB׃܆ɠ9"9fo~"/91߰?BpZq?Ϟ#Cg'B7[J[V"Ed-`F9ܻ+$Ҵ"%Q!Hy]^-KfF!8~c)#B1Ke/6\Xg]3n-Ɇ$ ~K`2eKʂƌ>DIǮ׆p` 6ˎ^ A~\;zJ0遼`M?,诓Z >wYr\j(d+etBmOw' GXݐ5Ŵ+|f('+-~y3Dڥ)i,צR0E8e@V# (e,ùU|^#lR TRv_}}ٔG(gX<Tw!U#ۆ V4< Z#_'hF#JX\ؾ;-SsҴŹdKEaɢdBc')a8cF]$چQdB5jg0@~WEȚ]!80~X -G`w(Ñ&)HkFDnʍʹK"/(6Qd}بT: gB+s3W&r0WhaoVYVQpclE8)#]Ǩwvs Ӻ+^SV  \?UJlp>mn>Gx؆㈞z=˼* zdj֥0mX #՜oI.s554˥!8azL>&20J>Cew㇎[Ҫ0UmA=|6h!R#~ DNoq'w0{e[kgߜa':_d#׳kUyzDf2;;uխeiC=J҆`1>J;>뷑9>)6L\p7@t}#_: 'j|g3ܣ (r3豂NXǪTYkiOwmKA&#6gkpgfEVk(qBMTUrzReqpZREڊ$h|t:|'V/$0bʻvJ(L?\YDK`NE, ${rou:PL$=2ԈY}_98}i["N=jef7.KZmcR^epuƮs@j܌Ac{7lzN©ZRp>tOYzt'~USU lZ<ڔw[j]d{eX 9=QԻ;D<)ޟ]G:! T,T݊ӳ ]<wsßZJkif)~_֨X*B'rgw]^zFaR-!҈ eU55&q6Hj&Չe~zʊk,qec ~E+!M g!PUN:dnTTLNsB2 ⴤB߽R иMdqdwؘ>}Zք𞃿xxu ,+T"Ԫc+2Wdٳ2r%ؑExĴ4iMw"!%YÑϸ`SZ%3G>za!T#Qas}{^_Sy2&xULXT/>~ø_djFi]Ǽ\KBdRtӏ?m&-ʥs;ѻ ][tj)]IcXbϑaEHAH^lHTq+!ehD8 TU~ #:K '+$# Ċ24IFGZ'Yĩơ{οO̤#&DT8R254GEkx_P H-q2Awiɻr-6[.+M״4fT!x68ߠRԵ}q7v1Ŵ\a67+/bp|gW HI zח]? 'rpdHu@ d^m&[AZ-_;\'x^)-vbF:AFiT"0FAss 67u\>hj :١v:\;)P If+ 8H%2;JSS pL$  ~,w/NwЏ_(ŀ Ndj#VIB)2K  6`X4/99DEH b*ɣejky )v@KŨҴ_gW GWȚ, `~28wDJejj4=S6n e˅sdO03 ˟X Q fN]Ɖ T|xAUp~J]n$`gO7W36e;c_"5nk*.n27M*r:LBdedhaA%H69,PLHaGwlFGT㐐j,SEN;=U)Ċ^<~GAC0b .*QDߑk>Jh2AUb!׳_fp?hkEʓ_n䰔 >~c#KB@EZ6\Je;0jL7KD;)˙$KUoBzMr%4@".g S]|l\ʖA]QY#9f/7  :A~V)L,l$ G*+K#|{|!WnQ_|6 Nrfw&=Z NJ ?$\*$~*ts곥n^=ƣ#;#2 ~C=/(?JIGDt]*m_gj+R%cOrnz$LVf| [|#̥k(εǰ.9rk0ۇݩX˜OC'6 QvU+R!-<>h+Nx` m󏸰"M\dزj뗢N ga{#`eU`u[ qna ̙-/9:O0MqB]+=1NL^Sל,+q.J,P7"|2b|2I ~oVPlu3t^6.9+ވ[qe >v /x|ygVU(g<±tز_Tg3{_f\pS&{0 yL.yUM9=@=[pڏAp>7O#K;͠D,m *<VQFLGJaNՐ:d+[ 3x+f[c F/,=ǵ@Dv<',ʔ >M7Ef8qY溔+k"8roin $ |&Y$Lެ7[T -e\,E•2|ӠԵZ|1 f)cohVp aEC˯;>-;xęȤ'Q>{jagҸL(?עg!̦HT^u*vLMCHi~9f@b8qcgbFɼڳJjcq\6PWq躘/!%jM?H p-Y%+56PiiRo]ԧEV*!u;8-MXcF}7ȵv<`*#ʘǓ1"Dčref8V lU`]˜A?Q;݄{9̅pX`ySYXAP{JD A~s]餋bD3ŮiLJuE|,>V>cXJy/e8s#a}(fgعI~\271[0 àY)t %&4aڔJJ9sԑZwՠEZ_.<@cXbMwyNfbq*[%"^x>pNvp9k?{.+N'973XT")OҘc:ttʘbK@Op7]eB"G}aݣ/FNS6! j`7Pd+ #qk0'9XTmNm,;Kȴ,j"@j! H* Z4-A>0bc7dB8 ]lWK~tٜ//l>V+GG?:d38Ȼ4Yx+8^NE߳]f/hs@nmRs|{aMal2ly.Tk SOPEVV8ݦcrœ+* 3Dϳ؄Z&FqlHNhbpQՍ(1{QNj(B–]s@)jFwmWknIl1˽tf5X6jЎZ7@rc`:ZпbuJt43nTxt yh KU~?& 5 A紨IZqwP (J8V_m"%IN9`.N'VX Sz"w锲rqtf}߻[R͏Ďt !Auen0.)J G Z~4k?nӓ>S'`y[Waw|m'px'6Np4'MX?lS(CIj!AT#)nld1a6zÿ 'J<, 7ݗfW".q8°r9o0 Ł\M$_}ܳYhʈ(j念!C\SvW2"Dfpɏa~F=K9Yw+x)EYI & U~xSrGX N?@1FNlTj 7+:8B\;:ay_LQ<{q5`gu:&ǘc,/c ^Bbd5..Ry/`c^~l>} FS#`Yô{QIr/1`꧔n6΋\f5ı.Pe1OGWfkѩ߄݂26ؤ4T~Is"gYZ  7 fB /G# THOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB*Ib˅X$gD+%Ka=/wp1@;S9kT{&: )[d&OI"n[#_g<2ݧCرN1??Gʢ\lA | 8gb,UdOs"fm?Ȃ| 1[;gh,rT^hң($3P|m7ڛ<,5)R_R+czMt`{߰NEG Ո"̆GJYS)qE3L߰"EM`ѭsczUH2cCVp": f4 kJϾfCͲ ~k~G;Y\L^'gٝ2H~} $J {,rk"0f6[$.b*ò-kS+&E=' 8lFX@h`ou WWqT/_#/RM=tG]@9lCdA;Ť8YUoZƋG,tiB[Յ@[/- `YsZ=V>WQ|X[v!w]0i+G -7Iߊlй'Oq΢3ۙ!k O";~!猿 2dZ폰e/2Apcm6cc B~G6 )24&|tf\amn{fjUz*#K h龘|ՈWUIզCD:xX'W!PhTo`fU Nvg ~OQj(%2cʞBasғ.lf5̧@<b" APTQϋ `qI_K{M^ rf#EJ2ȧA>*T8e{8X)R8t/ii M}vc3ޖLj4jek*/"*  &7:^Y $<~nۖrX\KjD|% S3۠xM[obw  X FP: =}ɼUmL2t}Y+(0 ;I\1Xm^7!~+Y@–| sv22܌x+`_˙+h&/|FSC^zc0>SNZ-1_$&Ã4MJ!hR)7:/`_4EyBjX+v @G:Ŭ,o箔zߚv@s0q8ի }ޟG\"OXʞ`awhcKkj$B<~(ք9h@yi?u:;'g~΢Ot 9t1G\,=!a.?;}o c8%+$Yp~3pHC]YTPQUL LQ'JVݜ@*ЫEe3_rEBĄ ЫD4WI1k0;5{rhrY(}D]>ه&@;dv[S% +rH ȹ .(w)D1=otw+m"oMVHfYਜ5=߱#E|ho!pR-6c0hR No 1 qȗqGEg$D~0gD@x)F٪!ξ0dAB }L#c#xttS;ԥ% ɓ\og ":f료vI!&Kn1JQN96˒<( ۉYh9JwT K$~)MJIu ﻭ6P+V0–OZ!s3TZPc_)'ZEbY,C *-5d4u/DKK%W zDUAPVl4Zj| C:Ɣ5 $4$OFS@aP;,ؙ(HUxKBGp $n>o%͹eaE)[ !9Qi6(%r w5j;MA~δhi6VT}2l2"@q0g>^n*V U}JfgP)(WkHY ҄*/"IrvJ-}2ZZ7{ z )Z/XZᰳ)*;S~Q$3AR4 ,9T BXJ?`#M^,ЂJ U78[5|YcA[s3 <ڶuo~tYP3Ƃ8{wiDFV(6lSlHU:УU"iThDOPxF2 jMN@$:oq(<]:U a\zԷY6t9.ZH&"VX~鑉@W*7BU ?m]3affiTBeVK r5f8#̡94F[(_εNud \7vGŢK(=B7QUN{挢6{*S|*3Z_W\vʒ_L,|4#tbGH+*['J,G hRm>N(օ RT = W*k׬Fe)WV&uX;?7,o-Sk,O}9l" i L0h* am..BnZpmPv A!  8H~R7Xt4H`F⒇IPR`)0(fsn9_*H2#aB-Ɍ^(+ձڒf!`}'Q`Q+eI]c8n^O}ؕiA9B ||uF +ɀH\n'Sx uN D0˜ q> 5OmW:1 qTN d#]#jST[etA27R{ &KwF#z$ϷǓ _> v p.yr'6Ѹ^LV]4uSqky{WYYAt^SjJKH5m՜iϓ3! &Q gvֈQ%^^ /:°Ë76E*tެ o QqfBrpzTuj.8:OЄ\`,>VlO;~fEr{13 1c|2I6:%H{4BNy`.Vq3i._*PMmpr:s(~*B"Շ 1M&"Mƹ&dW ^]kU6/O)nJ] E:ke3MjilA3^C~fkE Qabؙ09L![ԂD͚9&3uNuݼ%Eu*FmZf tn~>5&ٔ+ /+`8RZCq)vj j*;Y: .Z)=魩?Zi|(azW6YH-dlYSbԸ|Jg kh,c¢n "L7l gꔢ$\3+$ghFEӛ1#ë-P:>!yduDBp"`;`rNomILEަ0bNӔ[b(r_]׿.=v]:_zn4(v_y`\)ϸ϶{9<3-YHIhKss.T `u!=@ "Qla2 )&&& sď{љS-i /tkT87kM2dvB>;` @+W0ACʧ8+w_K|O-,jpxӻQ0"_CR|dJn`UAtaUnV~pkio,X<w$fm::3ז тnIɡ_YPGXR:acđޘV6'gtQV״ 9 ,!K|!j,}beOF>qewKD2ot4TVq` ǧrqDkTeoO}~|E*\&wr< [ӛ̻h~?6@}߅?TЃ cޭtd,Uq⼿,l8"D1К[oi@ѧIowdz4i6>*}h#u~Jv&У):=Ҭ< 8x044,rT X ܦ3vcX qyy?|bRNe+QǻfE}#ՐI2 AOAJXL/?SَgGe 8@yCN#duy3\&t`:T^K\HXsxrG73Lg;? ''Ѱ"~Ċ/# *;/t4H<GxYɴcuqDr^Z޺t6g7Kcsa|' ?'9] tNimPkcX}1 K)v$&tt<ﭢwP,5LdW߉ I7$b$z<!2e%OGژ־qʹA;fn 2=&LUk>,qW$m4OEi̦M?KR< o HÆ5F.L7 ??^I]U S|a>XK񶊂4X`ļG9VeG_/&]G*D\NDDΙ(\hv5i;jW$H[Hp{3=)],DS߷:j?ˌo+R, hCCigD# EaIS3Ǥ5&Si~vzitf1$%~Gj;#5|9$ѪcK9D"%cr?yko/.$<<UPz DىI>&rkycH!?,圈= zɱ!iѕL2҉ xT'Hw<Ѕ3 $'~3 Xծmt81omغYyԑ)aWX!@KxPmY:x¹5c'}y~56*J"P#&|] \ֶâ4L1]= zesRDƉr2P6[Rp]sӘw*k뙏HU(>/ *xp._3%Yz8ھ1gS>TNjY+WA̙2׻~ƍcL3QlXMe$ѭɫZ9Rd})fU$CVyA@h{m3m2j̲:: b`(7T9.ZA)G!96H׻Y N[DN32vQE3k>.5My"C"ϼx//y{<G $tŬ 6b־M넝wg4'k ao]1cyЦ } U+\F)Qt! <4(5p#~wM ZqC[P ƞ'Ilλ!(VXc Ws#l1OOt^H=bV9X'OY7dG#TWfjILz<YpYygApɍ +r 5X"P UomAOZc3f A<*jDz2=ShK0ı M۱1&^5}dFLpp#ؗT3EsgG,Mha%Ж80/P܍9jIeDt׼ۀ)\wv/7sX(Q/P.Bލ}Z.@ӳz 7#ENWtHv|KPgyE쿱%48DWY)>9ciE N$+{,ߨ_vf\C!enC^x o̡LcJJN5$ L`|g Z88#m>Ϸzh).e(.B,O iAjD?%I.C6 ~Xgǂe;c䍠O[p<)6/FuҖpLٕΖ|+Ꙣξrqecɴwݿ wmIFCF)+/NqzW*J_~6am*[wZ^2^w&JŁ5qLZ<ڟ׭[^`oɭ}7r1+qf8֝aYb~a%_m>@/g ggsyUV̯ڦۡ%?/UY/p;SgR>_׆Ȝ=aR0i濈a@}Mqn:B*IiRfU vА^y#N9{Nb-}W BGkCm;l]j@$Ga˾茘 Saj&_K~ 7K#_abvV84ygH[(K9S:s*h_G4`^HpϪ}8nK7DX%Twf,ߣg<, i\юE>&tQn-4B6\V_ )dAT0o)vreQAEUw,7m)JTgi~ɠ1>g- FYds9SQ\0}gYZ   n>\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1UKۯ?4s E I}dhrKCwTƿ *u:S]NP'+`⼪svX|_`6xhLφ߫f6!\ö^jrdHZsOvi%ΞG"Gڑ9p0W %/547:Y`c^#nl 1D,M(5TF8Maڅ4C@nqnL6]hYR;#z| *o%"SIoDl4&{ }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,Nmk$Ws f!%g@(mI{M NCDW3,݄? whؠ}c]RB~[%\v1_]LٗpTwiʖ&o&9{isַKH^A8 c2&j <V_L-%*^0-dKC]1> y8 ?Bb!Ƴfq zcj>Me7jOT&[n UE%K7Χ_vg"33ElE[k]_%V^.'oaG@Xƿ^iwa͈Xڑr@!"3Yz [Q#q@MۧJ"R:;x>-3{cWAp, i *zUp}6UVBS_f|]M_YK ߛ]Lƨ@F{dzQ^?S4^]G Oصf|WM60pf)>[CpѹX^ yQ<; QE֑Kڭ*B&IJG Ew(a!+M7@sR,+L8[ є Γ5(BȳT["V¤7RrL C貁 uJ`&k?Ƥ}r|T^1#Az\0s㏕D*dX`cDl\P!qpċ9 M@P"x!;$oD%ÞSyw4{l/ݞ߬Nop8"}~\nq?k|'tR,`zɳ>To6 T^8+]GOs-%BgLܖAb& V;pdDj ihAcKK|HCbܝ?YNH8`!FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq8H֩H ǚ~X#!j yOwx|CEwk--#)t^ Z͔&8Ywc]A h,4nLx[ȝH1Cg+*[ɦg7C͒ pKXDް4Ţ0NC=ke{x[IRYC+"y(%BN4n\neYz*pѴ5JhqzÈe0 ##' Z;61s7ɍ*A< Uc]8#a蘴]$KzMLNAV#oX`j2XH3y^zIYI\23!q7(l!}l .`In Η9C9sbR a%$QU^!Q( ^Ӏm3%ޙwn3;@)*`i146la`id`j@y'f6O09$s,%hBbUwifGr9; v`h>]"rds}dvER`l*W!4!7%+8tgYZGgGw4mJ"M^cscN@1%:l6 zIl'% WWϟE@Ҽ"{݇qv )I"Oh0O|HI!?ߗyV-Nzt<̢͜]( 2XocŋKeԴX<=|s^/(lZi RN_ˡىåY[A'/S:Ewo0 OA=P߉8oۛkD}[e*^"AK=z6W P2btjF$ق 8_W >%P< TuAgάɨ?uF„<\A .6I_o d.GR^q>β"IT)*ߢNqY!ƻ# gU.2,E#szV/` lZ<ߪLAhI/z~3>"}6GjL{6kr>cPdՐX!)^ߴ5/diqHIpqQjt9,B[yv5\ E`lL`ۥ>liꎯ5q/=\=>68A`;A<:S?r<2Jg zll< -쮔feH41, ]۔)D$C >c?inI$mpٝ/h1V$tC*g"" `b`s.dVQVb|-:Z.n- ew|,pN?M-^6']mpPjsQt^%g,Pii֓Bۚ*2 ҵ|U W׉ꄛ!GyN_թO YPU$R4i V뜈CL .pelZQ6:7pJN \zά{IP:l>:֖tS*?Y,ʗ62@*q>r֐.WF]̽?Ys^À<^jASXEv+P'EɘG۶_NzM.ĉݲHi-E(QƗ^GtC#?.$somw4.YH*cO~ lF:!8" ]%@I͢^[]qC12`*nOHw>ļpl9rfd-S%>|u~]MừrC>[h*ˤNj7۬ڹ?HR-5ݲynHl;'r9vLka2IsNTҺr٢[H^vAzbϙ /tԠm)]7@?`vgATrUj~9pH'UlHdu!#a8@EyL-u'yZwK\L%f, /2묪c9of2ynZ AU;ֳ JIOڜ{j(#j<4fu r{HLą}a p˰4TvVgV mgĝi’1wέ"~ Jed8m ;yd8KgzƤ` -K*[͡e6$ ~A0;67=Nr or hȱJ r#Aޒ%5ջf+{ =$ R]G N^*ޑRHV9rP Q(C*X߉htg~*I0O`߽Cۮ˨G8sT[.(7+ k$~!%64-{NdDb%s A ŀa ,:#;ѵ*k(Ff-]pFS$fSb0d{k5<0,%;CSa |Ii.b9%_+m?b\FKR(J,@"1Mvqҏ{\;bD{G7g5n+Cʸ />P q-5_0ۛE>T9Sg7.`QϮ&+bk\OA-Xinxogn,*(0AyqH "[Oɚa=@"m\3kOG@,E;IWަH6@ItW>%0`ٗ˛x4t. "I㹚m~dZA_3xd5@jɜ:ӎXG'eNA0{'yB(Kמ?;:[kzTȓ5? Qm55eA;o`/]8ji.BT}չWO#̈Ӽ} ~Pל2b"0vHaX+&lG޸H Iv Ǹꙙl8H=\ \IG^m?^{J166ñOjn k=yO;6 ݴ1U2dRϙkUy1uL#Uwl& QfLeER9XIX՞bMTYG&e>jwob>lhEK~:B6U¨xt uql9a:=]Ez rDPdc}b1贝TwWVj qPxDV]JS뷾ti5{EO EInָ]XEW<99`*~1z큧W/g.^j(5A~4nN HI]ID-eI:'S rz:Q33-1gSn-%Jn1"C^j?6Lz|P\T9leic Bt l?q{b.Gc%Othee4F(բ{CzpNNX ݌q /63OR`]īJb.P/I|x5R i[ݙ s!"3 BCͺT)1N0&W3-E`G5$U[Ѵ}yĪƝ\ja1 8n}st\[00^1|lJWj!rOS߅P H#~dm'h@$8*BnHA]ʖ=2`8r3F !>ׅ5$Ѱ=e"rswg\yYY/qO܀" ~Q5@qQ]ymz qAc>10g[q ҢF\JN,cDwP}^& n5 O?f `7hY:k0GrJrNl&ҷk K?^R*nz[8_ϡEuTpsBT&BF;Sqů GH C&O3t0=˃nl*\Ÿg;Dp>r9IK+Pv+;oXv~dmV9/GHs`Yɫay49U~v#0_Ƭ^Y4ҹAphc=GKfnmHw\z|e4.Ҝk縵*E{fƜ2L&1f I߄N8Y#7JEVSBVuC&wtS,n4@ x>:^ƐP@y@_ Qvgb9XL.M8 $BQChDsVH`NcߗɕT館(ӳ5Gi\!]'fZ<&\A7뗺H%Ӡ` 64{UoPfTw*dSI$KBwWHg/-z6a̿5ʢҪơe׀8}փ.?ۺsFugI˔Ȃ`E bRG8f@x\kVL[9Tě5uzb%pP&Ŋ}sO`.\ ڣ)e}QD('G3! "82RXiamaHk]`rVX$iՋ*X3Pf8^ } O9zϖI?w6bDf޶l8PO c(j@%o;=AH~ikcͨ㳾/lb8Km>>9P I`gsR.o!жo0̎cxB̢tQ!>CS9K:s-RQet(7oHހ+xESAe/U}ŽG}![>A'7/-Ke)nUJn_ b-wƮ #CƧڇ|ַcĜ 6|1t#nćjO39GGarjrdB!Jx TOZ!3x\XVMIG8#4x;QnZ8 #RhԼGZDqFʨ@yF.dQ_kͫT SU;#II.V %y/_A2 Zݮm {=>yZ½Sz %!~!LEK< kz{#Iqg;uh$'zAj)F+=>4I{6E4_/a?\N`c `3-P"%pu횦+BɟQu4{ r p̨`L?Lg DżlW@rǖ ^/ Z$$)SlΦN" VSymc5U5 E$/,RPf=%KSbʽJegĦG^b؆J=(ݮ}f~uf wQ3iv"/V2#Q{g9viz"rncqpWJlN1ȹ#YG{Wځ4qxGW^(=zD4oa22g7@bLYl;(Ǭ Vۭ)1&ӯ;jZə b]Icj0\sA$@\;VJ&7%iΠgpɠ˩ی3\2^91#(vkYAIv[[8)Eb1_typrnde'QJM^- 0K-@5bki xYN_뮖I47QOmhe~| oIz^:c 34J I2ۉ[v%4՟c?(w~gz4"śvDke:{LbAF5RIA>ӔHUK.>MY=]MY)'CʭFM0X޻88r, vCɢ$왗ɮaWvp43y5?~O=JIwMWZt Y8©fڟ=9@eRt3qg[0ƞȑ@pMRвnd k֤iTiݠ7`֋8' a!C|4^ VGg} C+=hڗsjuf!=E 6ff 2#C me.((SVFZHe->^ z yPgj6iam!O[-peܿ+x`$hmđrf-U@U E>`MQm{촐U]_uS! rr%jNОO *6Zxn'Y}ݣXI)rJݣ/KcD5KE?0˶o5P/j7.%#ߕ%Fn+|<䙎w7cQb{b ŧMJ'Ϳ ' u0ymV3EۛȒH?% v˝~'p& Q-гdc| oyfarWEVe%"*n·c0ML$[\H8Sm*`Ϻ+r`s.zװlb~`J}W=#Z+ȁ9SWTgE9Iг!7K;'ňyで>[6:0J`=ŝ1F|zJzL#w&ZV.^HT_No:E P^>=nLVI-DKA2>3t85P$"Đcn,uLLY|{0U!W$$aO[/ޞJS`-~BCQՀlߙNc rQI4)L16J 4(pBd*\YdZV%LRt!UGYǎX0~vZjQIYω_@1\a>qKqFk-8CY2҉:'/΍l#iGzcQ0G (nf 4>)ڛjS{줷 =FY,vfC|@a%xu@Ҵ3U] DAkC)*4ljnQI/4jE?U$#Ard<|E@h %)!hkZ=`N}jڝGuR vV fK1 /sJî1gU}d%Ml o ?fҤR` Ap/4q/۵t"HqME+6BsuJsBcrXk.U^_Xa ;Qqy  =9nWl[gso3k/ALvq{р8'rɖ-rg6"ď'MyzQBŻ'P~Z9l399$<==Y@۴yµ'U#OKL~5L C>2!h67G%\#^cnJN)*`ub/2 5i>(r /7Yi x$֍;%唹HwYIqV.ںv Gle:Ь X_vu¶)' Ƽd,B麐^ZQMߑg]" =W XCzK~_kA'g} {ԡ/uk›?Js?q^*"%^&b#Z]1 wZjNE@r7 HÜ BooS6wtvAVC%ڕk*4;$In;eKwA7QA)qn2WF|!<QE}TC i #(*!;(n(-4)#7'8HNQ?)wDHOcW10L:b(3$[L)P8\G[u{B\[BedZLU߁쉎ƨ;9''ZH 1utԼN& Vg?yD7n#{˶E֢88Rhl$چ3Q "$KNۖ2TDOLg_ig]#/#峂 kf:{S42kr Gtzczx*wgitxdq;= L8KDh ׭֧Xߏ"O&$_-x:\ɭcaꌧ?(h)6WSD]banzq\m?oGD'1[+H=Xggr&jFjyBD5;ItA;E(  XZҌPӒXe [6G;sgjaT\^f Ҹ |xS)SCbۻfRyHx:ʤw$7 '5x/K@O5#ڃnCO:(cKLy%:|z]fzk/HXx3o;ӊ~$c&q2SmGI6" B~ 79a# oU 6Lm},l|'_s*ڑΕn'z,˖q[ѱ3)ߡLmnz0ހP=-0 cư.ǯ@Ɂ'PB)Q VBhWX ="d* oB_pգY>B\SmjF'uoghήS,@oj7EkaU<6(PMgLzR[:(V!Zzrմ2,:d׈ټGǓ9S4RCB2C4_}k[etfB۝n ?GGTCy`R $Z|[#R=%ih!A(|]6Iwnô^+vɏPߩʜK 8HH'LTaڳUK4z/h8_}2@eAw-C5͕vt(4=7|wb1M}Mw?^\ц噘5N <(Ec -)u*@JEX{.''PFApoJX\CopؽVGi#Y `d^KB;ewD볍7YP}SeTZ*.sܪ:~ Z4^蹇p2J,+MOX<e`;,"v H9!2/o?D;[-ROdOTHPL|SH%@qdpQzj̫ߵD+~d:~R.j .\&6@ P=v-QdB 0"_NL'3bt΂}"ׅLY**;ڿ۽k-t#{KG0wīxE d;RD0ǮUCY˃ؑa:ӲLz22Ľry~.s?FXOkW/U=Kd.CTm@&IųʳQw {(@2c 돰:\[ݾ]94Y[n|)}EQ@XǙҙ~L ^2Blc#"iY?'}PLÀ;{R7?WTu=PK; C{AA)C l۱d<`,΋PeCo? 0Υ"yC=~ GcЂp* qW[H[/RRN m7#}D]XsC"MeJgI#dtM\e. ^uX1rR#Hڈ0Hϴ5.S`N+jwO"lkIX /iѲ?&kׂYsw.hp]fdiE{xG>AH+dиjŜ\1hKu~S BKVnA. #BI _/):6?Kf(3'9}y/x&c <T\?YiPAٔs3S&nYta1pܒ=Xn,sZ)N+K{&@\YK_E7a}(aL` Rm#JWd̢m)Ia/^ĆFWq\,fcÄG|xYiek0Z~P>g Հu>=ݝR xfYI+|A`9S1?O8kB~4eJ٤qup@IK B`'R-D\.-zK;rmE `.άx ]wڽPbe(okV:" ۪ӁzjZń )=UښsK۹m@C<{PTJv(Cb237ףݔ&Ґ~¤6|'d{%coO zSl  Ty+\$ՀuYL9prtGE}:P'eY#;I˘ Z\ 0vb.*f.jemH/֤ti)4$<#W\ȮqUF|sDx,}WNm)$