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 O/vtRD%sG0 u@OJ1v`~ \J1 ?±gYZ7zXZִF! ,t]ŗXi%9kZ/yV'p@8Z #UfT)ӭgOc.={.eh@3e`ޭuQ1#>GoWokg J+Beؓnc_8mučZ.2"RD NG[߽?DWpPgQ | U6K`\v h7.}??3ζAXѫl6oA S5Kɔ*\:rڈ7TŴi7xQۺemj G*3aGCV[p`D,dmf6x$YԄWkϮVvʊvvνy)"Ͼ.hfPѷʗ B~A񻿸ZXvKyolh-C+;ܵ䷥h?w8׋"^4)թF(!M0CC{/P9 ί1uWYlClwH*PGYgia+sgkQɣ*Jo w徛/<8`(_1K0b SubQFV,3g]^)rh@Dp= !űJש뭧Y|T0۶6\ŬP;կF?gi~ .#YqנycMljq3LWOΧ?=2*2,vY7;1Xnwd{Q,GWrzFӽb6H+2_.o**a<@buuyb' xg$an>g 3h0- '[ŮO,Ⱂ*.٢W|̗K)[c*:\~F\s3q"_ɱ4dk6:랐ED8%n;hhԨT8INTNo SwΛD\RgaaG#IUs _Ë&9ڷ_$  uazGnćԼ"+3%(@9 UWȚTjJng]ݶ v'0©,!Ь)Β%sήAR!AKPfx^ 5n@+6Uf1Cwnal~t6I-_1T*>:XG#B>, ⎶gc|o5QkMm{xԮ(ⴀ^QŀXtn M1>&-V-s;pTLGh_qq2-Zd|ʁ nIWѻx،S]lf_?Z(uR X -LsN<#O"u֗>kZaEI0[depQ5Q~I"n6m#>I / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6 } = J 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 </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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 ]] /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 {{ /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}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, . /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 D_Dg/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_8[%hÜxU|`)CM溄B(8Hù kj߃ٞᔼX4zhà:N-B Uu1{"6@\bc"%hltqw]eFڮ ׍ǫcܧ~N;&aC.n.e`k~Jzゑjُ5ji[B誚J[a/*w |j]^N*L.0JSrP?lZqS6מQRbb ;r|Edꌐomv /@:J< 8pJzd|8pK%rމ@V-=!0ggmϺL{UCwrHhMf*}SAmcr45,jgYZy /=# 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|͍X-,4uf $>z0wx}VV Aqڣ쨅\=2^y=,qLa!2~&j=WG(p86IaUE燦TNWӄ:&.@R46<BIS XE̅{2,~/sO bc'١Ҙ7]XtIO:faVO^e*e@jsրdxrso?Z+%gt'UYR I)íkrH ֟(k(v=K(kx⻗;#@ ޥ jj3"S] 00j @`/6'~W0vG?lkQp ;GJKe$r6~Fvfje6 SaxUcnzqėaDh2R։/~¦GnߤlީsΣ:`cKruV#IXu׋/ B}}ZL6 >j'D Cre*ctcg6u E;AJ+R6%#?2[IczV{4WicNh$@1%_{oo5uh34܋́R*MٰJ*سZY{BXã-`̠x٦tHwB|-oOW7Tb\vjbȓ %"tc5'atupE\2xO[j@JMa *30C"^8Z~WK㿎O!=лReJ#sR :fZ~пtP.}:lGxu =LE=%Wl:uN+*#y6}Ͱط#ń f Hڲ{a Q;ڢd(= m`4z5 2P+*9^)/tوHƶyR]_OT}{ ȼPA6KĖCg)ƶ<o 59by |9*_Ēt+ElX igX3H"Ntu+R.i ܹY$(9B|JeNYVKCC>&X6b L&xUۚ7]2UR)+)`Ai`]6$}cSʤa(Ir㎤&u5_XRtG pXx\Ҍw!OjcMʨ\d%Ziָ5SX  r$@n޾fd#ZgIc 6xx?\_nPuS3)XA?JaJWXIll?2'C@O8TŴ+a&\DNL)6W _7 P0EiաQWPXqml蕧i.@q|BYE{00G0nrs <)D_A#ptc wߴ+nQWyO ^Dy榡tׅqa|7bB{>( V/B4 _ַ[ R/T8 h6:zBk1V?! 1 JrSSE'BUtVs{>mmMGxUfw?x˞ $6axɾIAǔOq H!gԬ͓䲡KVx 580xj/nJUT52x濻 lr]45Xsv\0g֜#4B;nĻm2NroBY rGW(l4PwLI~:e;zuW <]%;cXF[w˜O 4Qby1JJ}7`e# ~%ly) N_ 5dn|?Pd1itpx= <&xZABM|4З+ަwp43-#u4c̣jZ7 bDIy8 %u#S70KQ_pxVէ I톳1rt4}|!" Ri5J>wm"Ә$riֶAyYMQw\gƌ=4/qves\ߧT$ fڏ!{=-⦕I((ս} /b}j7VHPAgzg `t%XH}#tX3yGcBab8kQSɑBYןgʄLp J\Tj.#O~l3@t>7GX`٦6yrD//f쮫i|ض[SS=ˡ]Pt @7sKW5&q6VsY ;$/c6ځ /+Yq`]6Г qZuЕO翳}L` z&CdN%3YE#A2Z 򰎃/x> 1ۧr#y bvD1p4#sݦ&EiJ-쒋9XdB=/4\uК jMVw䋺V)i:Sʀ~oJVUOw`˜&:`tFKΊݮ;fšTD-pzw2"܀B)H ,TLMiXj7Fe9 ٓ0Ea ڟk S#kaٞ6o~y6L^Q$†fԘѕw;J13T!揩p H/7} -?0|&* >y |8<]jȥUIpSﶂldS|7%vb=oU:vHƺb;G(.att kGà[ pStC~O܂f*:/qXQ pXvb/LE3/$rd3Wrhg@>t5(&V9`[KPMY 'Uk,ڹ ; .&~Qޗ^9>NH%Cg8>C'/м#IHܚb~pXyv}J=ģf8ݍr ;)~[3Fӽ_?)?giLr@tG'H\X~( K0#y4 N'rFf-Cݰ1]+_fG(%.7+֨ߜS-櫍SX99 B Z.3Mי0QDY:qbCȋQ Z "fRQy0D|"y`2!19{T}j]IJxºEWۻW'Vr'4}%Rͪ|h?Q lQF݋^{'7]3̧u5//n/YXtMIe9&Gg fQ0FA |%#a6=e^o@xǣct. R*_Yvt2w?0b=2YC/cICWjƲLJ1x\+blػ7'CNu\: ,-NDi+6|^II[.&m )F>2򚆏x9/w9$"1{%+z(z~']d|WLa8]^f;i :++k uf60; "Yn2 jx@lRM=FcEg 9#jO sf:O fPuϔFED^2m)ۜDNRMR+2T [A u6E*] D,4[#Ž/i7\#4`hSqBxtrwnj?SizC]۸u9YwI%-dek[l>$wn_ƷAҋ)!ȹ V䱔 I_р5O{êi*Z."W-_4H&Sw * &읥ciVr.pʦ!l$xVAh#2A2gL!! X"W7l_4S#,{1SwNC@uxE^Cd\i]ccX'2A>kK~f5 ϤHh:howYC lL_y 4f\[:q>1NN֣ ޓ(&jmIn[1ɞu{04!4dSTfXSݍm>Jm9_j$ R,aYnqȖMŔą>Hc_F <E?];3?Gn$s} m^/siUG÷g'$ų]`Ui/% -V9 a-ymD36`U|Hi S+hC=**UmF|8'Y8jthɧJ 9k(wkTf  _]QcVs=ڊkP@WTמ|i̐\g!l^#:?s2)oZ'Wߘs}<Z@6!/k[VjHJ䀈MW/U}rb_}^s>K +e7yX#uWMxW&Sj9:7[(l?ye17n4ߚ%2atl^ @*ѕL8*7םps$`ҥ~Ŋ6g R@pr-nkW[H=ܢLcGICI$)8(:?W|mNZۘN!0-^WD [{ F[wgAгo%QKo`t 抰&*!" ,4綀~,F8(TA]utUnaz:A9E_`3{8ƕ4,:W"'^pw×>c?(,+qMS.X4pp0ͅ|"pު:mR(-fT&4۬TEu7:z U=^`_ onIoײ3Lg@}P꺁Md=p9UTurh[ )3a9kcJ eMݶs|wMguoц1⭘AY[‘\2kVlDD:bPx g|Ia _Zs:AOMyCEfvo1,$ 4Z'ZPE$5"dhU9 tKjUz|? 8$hV!ߋR2~&VIi,]Ǐk^8cCQ3YuC(7q5yd͐ Î[{,j>H7fIAbxD~?.Rue.֊<?VV XŠ>cs&BU Hp2i ` UE Fq1\onskָdI6;ؑ MZ7oRCVTgYZ ՅvЦ s4.Z"t"] Hom9Px^` {`n\<1w,p6><'Uu)'KfX0屴F<jh::1{sP 鍺(淰t}y`p蹣鲸HJ+˯v(2T[cj >V*s ͸|O0;JUORlr]*=hYsOd:|? 1T494y`4cUBxmƨaIJ,;_&ôOyq#8g"o1-#6ƒ'rQs ϣb:Oyn2G79Mx$LLppc{XwS<9&-&32MKD𡡉. 70?sK&c.j#V40wO7+$muu|2jQ)W1qJ7wlJpR܆nq2e'JIׯ/;@Y VJ,!F`DA1׌vZ@UXoq-S||67>ӿ ^=ËokD.l}sPt270ϴ4|]2EgL,nbM7uK!(MGqwEM3o9&R[$D3#f`Xvb󲲥n:Ei3ꄚg=\;l}ZO(G}\IFK|u l_R&Qk`A4/l#`tT07bm L1EŅL_-" Αe&E J8L\&epk 8Z̑"'cyxp?hLpFVxBS. x`T Rk Zo֗6ENfEXJ[c֤'^G*6Tq[@~^{[$>pA5dP'vS3D*bER(&ׁt'g&oރ|S.` >I  ٛ6>%Z]0 .6i۞d IFڈW#H/wR/Aw7ZJCt]gmp}>X{/ kO|Y/lNxIJyB 2!Ryz.sqϕhw+o~ceє^| "S\}C&{Av+^*)iG Ɲ u.q#L'՜Ca]<N2`!]s/ xy͛9 ڬ4"5:B_U*7L6<8޹>nhmC[u4o.PQA$=``4z-wI%pgef76HS~DyOk̳݂S;ϝڭ'x:݃=%#RSO>'`.EZQۘ3DE~&rCU֯ιt, !(nb|a[Xa6^exkA1׳ >{g)05D?PO#9-i,ƓetrG"ap>J3j5"&B!g-KanPcR'b :p PBCHK2a=<|1.$ӳSSqmNz K\ -)AyYL_NQ sθq烣(){.ثwLjȊ ' ɝzM97 m@9 gW'eKnX |zGH0RWk(oׁ}bD{4""9MNϤ&S'pߔ(WB||[j~DYUַY|3q>5)DI4+#^p>ue1C<atZ2qTdʂ(^><ʸwKH0[#(+7XǦcFHgLXqǘAulwšO\ZWM=Yrw4z>|]^=3#-̷y fLĒ3@f۟`9{ɟXHsw lIֻSEbW"b/K,ᵰxtbbgQd 훫A[͉m m^gG] eצTS D3oc՛՛q" 7Z$k>g6cF`M$K{7W;jR-Vʭ"-75WNBFżhRW ;ܿn0&[Z$A7L}03g3^ $L,djY03ogQ:xίڍcb"6*J^ɿAMXL bIJL٤^ ɘ톔~`l#s^0cEU,SWZu}E!E<3w8VV,aW\l@J/#$#xp};-fgYZ k*ko/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-ZpZIuD!B[?w1\¶Z 0"i"5s]MhֶK2J&c3su壟<D4!唊а>&)-`i? mkubNV)$RF_:/ k]>O=ZQ^`'g723[H'X|AɌw!98fr`XfW45U]AR_FV:9&|Yze_nn-ἂp!2#E.O[{PhgYZ /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هېH.1z)~Ӯx(O H7$\{[ܭj5"ݯHGdGV0 f'au@֊x QUIMuYb!Խ"n"V E j 7?.,tH(<8c#ݸ(eǯmwZDMaEWͻWAC"9!2>=sδ JV3E772ZH~Wsz=KsxfqjO^۬s@qg&8:Xw"+094 #ClZ ^W>x C8i [.xz/,7īyۉ'ҙNT8b0DŽh[,i"xəR*zy ~;H|f_З3?:1:I8?}bivHӸ tq@?" 9JWZ\6Jlo#Gtz;LF[Ԍ-Kj hyX~}31S: W!MLdO} v;?5OyOuEQ[$xK]Ν>;H _ѽi3irXlL" /3|ƽZ^#ۂS+ C0?Y*,'j1!"ɀ457`XI3jYLapuLN$4fP, vUhJiGˌ0xKhFKſ/Nn,F ^8B1 Y2x67( Kx ț' L oVүu{L'A:ylJE*.z{tHY%&eCkZI:Y\Q~+A]W+ ߹kw%ecSE3S"?9I'G#hո? /ήN}dؒ"pbv(e}7B`]PtdY1]9~I&A%M <vE:=Iyi]+chEC0+gM~jFc0p(tV8t\!zEnkV'J¬8x_!B>Igqi 1il*wO:jᄻ;[J$Óh[zW!oQldȴmHm6zllIN~~yz$2N ݓwTZMZ#З&hVI &" |ʧqhg]lD? `Nk;~;2ǻK;Gs=Iz{tpKlxZYjCo |2c8{Ouѵgne;PcjG׭3pf A^:թx֦LqnL2(BӜx栲]` `+#RT̴/4KCiAbԥ[P\̣Qa'@iFvAX.OM~! O(F`[XnT*Oʠ 0,VQn)mp.(sPv1tnqvnL%~ףËA(5ǰ)5Zn$\UE%XL"ZLv͝1Q*08a愢nT!,+͉7ƕ U nbkeztm^(ch2$tV`ZgKh %q Ij47f:`}(/Uf_:>I~HWBП(q( %ĺeNlEOܠuCO6CUiecʼvq1xu.K.ZW ,G8lY|nIH t1կja"3)#^s?K⡭t?ǿxfʠ 8_9c! {v=n>3!HHBF5H5{ie[=ZV`ӷ'QˆbRWluC b!wģG g(3[}Κv݁rgQ $׆Wڇ2݃0GާdGT8abySawj; o(lvʎSws!uYe\(>;El7w$De1emU{=iȨd?bQL8`(D6d7oqy Ҧ O&E,}T:it )Mݯ=k'?+ŋ>T&PBАlQϑ]D[`r3$BsM&gWpa^RGvmbf( /9[;i뇭WjlgChvYr'va4Wtf]EI1U2 w Qq@J[7d}i3 l/Y;-D~<٥L\l}Os_c@o~Fʸ'.\[%J}qѶ+DՃcXpnWei_UYz9vgr)]Dx~xxf֧h݀s;_LU(:#k<|}%S;CN G:c0<#4kq 2[gbY[]nVgUbIL=BS`-,*Cy%T_(͠o%j0/=&@1p)3Brʁ}]'rSsbI?JuignoX4-`g d+)O{}ǣM#9lv6m-o 2̹*E01Y^^`ݤyTأԒO#5@# 7DQdr6g"-XT2kz oSö8wK&ԕO^&pbkU!YY݌f+d42-&1KU0)2jJۺ%*"mMq5if%J^ے .jZ}miVrɊJ&'33Ȑ*9$a8 x*}pp s.(֊Ӿ}.^a`THG*[L|2{\v*5Э}:3dpfv aPVP!wne>HÙ ߁@ QGxcIh ̖^+@f66P5e~Z[1BG&dwhk_ISM哰h7b]L̅\mEUg@[iQ??%XÒ ߟs*3p*I%+]dͽ„^ u(Fva|׶$"ݛf P7O>ɅݓKAQV$͋.*qƳJ,xϏҵn3ʛٕc<HXڪR׋{TZ #y叶pWU~tjsvm?sZ^WO~vu416RIT-3Vj{Mq5g`S(:~7YoG^ȱ:Z/q>.+iYŭV$IGi5 obGUOL~ A"z(Vrž T1nAHk~AIJ8:>2`wb8R̰X3@8sP =ׂ0ERr"U\V\qqjڨRD*欛Y͎$v}5>83QUl2nf

#RD.l-.]aTõ6E/ G"1O}F p:ӳJ!ïf-%UoPn -16Z >4sikX`ge[KW/̌ͬg|dYHsH2@dX[j4C C搆Һj}Q<j!A͏wFXچ 쟕CP^}*'r&N% "yIS3m2tH* 6HsH<.lG%B7'H.6-lj3Ʉ Y%gYZ JZ /O# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AT]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Agqqgfb)p`h U:.'e }23Fj=IcZ^n4n6t~jOMs.XAQ_s Tn&_\bT<!L<Zت0cvk~W1&YIJR#)"ii$J8E-,^ibV^^n!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220]/O# +\DW(I&$@Y+bOY!elף&!^%=GA9V"zTn039m'SQ.A s & 7y~uEP`8>l/ɏ"a0! jvJ-HSk"v͋慌qB?PQ~V97<_&..hAl]Lv2r=_/:QbLVeg 1Blt_ TˠCbaP2YD|d?Bg1276]Prl*yo шF 0ڬө^@Ųy9?ػcLLRz)hd2!E%ޛ!.)NƈOKT_ZdTu&71Y?.ATID0P_؛neM9gTgu=mg:8kyПg&<)֙KW G  # M QJW ݊&iD m&t*lI(\\.T:Fw Z8d1dz|+"+F񦤸ѭF(U}WH;;1ȅ%a qA rmEΫge/RtF ϼ&bJ͹[WH5NLҊ{m(G }|rd:h51;U +;قʦv Qݾ{v˔> Vjc5]> {NmTc^x%싇<\^"qѫ/#%M7l2F3JEekݞ$ƕ]ТXWDD,'+?xbEWB1fQH<҈P 4 ?^^0r.La鴫aw%GkF|>t} #J5ؓNmZn|b!L%Nl~f[zxr{/"%w[i3Q٬3@eӻ NFL_ɒb;*fĶ(gBT,B}iZy>.@eCͰ݉مhNQIK=* Vs[!6!4 7t,:oP+f ]P'E[!D1Bk|5'h8:[I,*?r)^sA`:Y˅& y[o n ٻ܈XK݃>)E}(5xGox_N Vޢ;rvq st Եz/_(%IӧXD7K_ 9Ow2bv鱱c?2B21ئTD0q^/V' 2୛IvrJ\͑ 6hbKhf61~(\UoKnOJDNzN"@XVS8dR|^v[glw7qSH tc&rsToEwIM/rf%F.H#vOGcKFP4I+:36o.(f3"cd'_񇣭FRHŶQ,nUnE黑&? cM'zq#^gO] WW@=QB9MFeK*pg 5[V oLOk.g}' 瓺ė;Xor,i}O wwB8 w92?twn&#\ CbZϹ+!ŻQ{DWi& ott1IVF͎h6 *ߜDb$j,)?>7:Hw[(إ6q\z-Xڠ 8הu];vJf*NôA8d Im0ںeV egk[m aug^Mc;Q y'qns-S\Yۿ ^6ig$'ۥ[hR/2 Xc4CID\"EiYH^i볂NZ啮F g+x`!ܖ#Jy_gr?%qSSX`Ci`N$Ѻ.jt^0\C PɏU =Ή5#A<ơopp]DcOҀ4o mj`W*[9]{`!asXb\SX`;vwAOlr/o>2Ŋ}ٽ91wJ4P3C!\Pӧtj=0?TR=%hƸa)X]3)1J]JJޒQx+cӁǗBTӔktFvLEM]lE#3Hԙ8E "c{9*T"~_!љl3rKS0Q^g$yx2BS C%#Y { ;<*PEo9#N'}%Q;x"n v> y"r.m"@f KH_ڞ)އLy~ש6R>ffWuL&j:ߤCkV@?JQC 9OB3 5$@Z*l{ _ԛcv=ă/_R|gׂW Revm`fO?LMuV>K${ gDZE*xvشy6^CӉ***U>f&̩'XEb!@Xȫ9$gu gf5/7+Q]3h,p; @;~etUZg&8O<"g8AEm(G6%m&D>-rIk>[9azՐlL MQ]-!#Z'P|03Bm8}ѯ`2sWzVROƺItJ V3cG?=Xktʬ&".v0)Ye72|wQ*_3>Qc+B?w4(K]uUz:cZ.YmSzm,)}\t-ih )62_d꬚*CpayR},@/9$ry+,PgP$G&,0yM%)$8WH=A- yY9gR=7h!N o\3BK36eBDف8Yju>qu*w8+;\#SrA2Ȭg*XkL"ihoA&!M Εr>葚@H`\HP+PD؜ SfS镒&,Xeq8G/jJ2v;S_("+\hQaud?nq+l}*Ή@t*g>oÄBQ^~9?j呶8*b8B3d@l;Y|>vD[ѵ(k(K@wΏ:B۰01;!P?)mSޒ6DZM#6D ñt3N1;8yZ&hW#nu!GQgѶ^w;4ipuHPtvwV!ooqCӘg>ml0Sh&5s)uADuM6#Y|(l{ے $gFi[b7 ,2*B!MDӞu?2qC{5v`+>Oӛs{Xq\-͙Gi )o6A.Ÿg>2bH+=:GrY-غ:ٮ}Z^ SL{ϱ4MZRl Mq#j\u0ב2N&ck1 NѸ=&6_j``_BY]tyWxR535SUe]_[0{%7u2o@k;=:wC']Iƫ@ 5&k[w!po9#lgc%h : ~X$[3ypx]uX͜~cSl+hyx(Ztults3|Z*^JLR>;_g&6JO~ Ϡ:Dρ0p䇫@58'T9/?*3wuG4,nLb3x7;|'3PMYl%/K9K,6jhHXtm's3zlr<}Y%9 {'9IGެ-4xEp7$|u"L W%v qTf}ƮaJL7 QGd: -n(ݨ_s%}8"z>xІKOzYa*P І܋*tMFMm/`=N3I!iDž7 CUg%:S`U$:0GF9uEj1f#E AdЫSmj&/TT j[G<2c29/nA_]&ڎ hX Z77QJ` _}NRN$~*ӮؖڄA5Qb*Rv3X֘Al3ZCj_# 0I`ޏaw}DZ(8+:YW .溺|rAMWaZ4Zh;>lp27T&}p̤Hop솑e:-%ɘqZQdžKQ)|NWՑ[dH#c |$KɳSzh5YB* fW\\9>\`1B$# T3-ӾJ91 _0]&فtF8hҠNjz'.++tg̨(y\(rb%(,n7J9}MjD \Z/Et`$Imݎ Vi_2  }QT%ie:W- 0:)+Xub>q4?&6=&sp5'{YUya~R;M9^dM;Q_~49]>h[8\|3>k5&mOGE&H0IAMݾ]A 8fބ{dHł3A\'hHZbs.g>?k$/WZQ?E@yвk8ESꀺjHkEb;?n!@Eq+;L@Uyy_d.B 08a輾lEjSkDѸlvAbZ + ]A,(P-:O]o*l}G%6'%}\]6-mՠH T` @g4)9n*I .љ)7i hjnIDEݢp-ƒ'e-#vx͞LC-ێ/_5*\8+S[c+{\4Bxga[C aŸ\@%fg+ABB bI4K4Gģ~ύ[2DL~|dZosFPw/*F lt4fHZ7`]w678rƎϖ.)O ٺe k`#҆&z.8>l36UoC=Цsw>0*W'Z$.H"gy2޾kfW&W%9hSeЉH-ywg7~H~e(R}O0/E2isXu)܅@1yc#wkLVc(5)NyQcblfŷ g:ǯxtk!3=rVz^Zp6"֤D|GF"2RU\60\2Cv!>t^ۍ:TOCM5PHK@%ˊd^I `C#@AQt[uw;C¸_mcVnEbAsŨkYdN)P؇ Bx}Q߀?`xܺv}6~ S L*UB<(ym-j*Hj +loȁƘ4͆+ 6_Vgj:n$!f\#l(ՐxO=۠+YK6QoJćiT @vBk{_~}p|?7đ؆ -wm2%pn0017}E+iMz#$V:sƲT' ٜ=ifN\;P۠ra'R/kq7Vn.յ&iHSS""h{Z׳bv(4 +&q_Eփ8v͒Li5S̟Dƀ rSu !=$aq@t/}tcMf w!x쟖fz\ {Yh1CX2|>h5mb7.ZG o7jDFVz=?DY0Z Y*]m]O5RqѢz˞V7^~gb;ˆӗ@%<[]@į .fyh+Q"lqW(R# [gı6eP!we'?/Uoon uQ僧1|e~ p6ٴN+C#g})d`ҵArb@ ডn9߷&>8UƘŻiY7F<rIX ?!d?iE`R'YJ'ù{#o炕Fs!%}]3Gﱣ4egN6礹r]= nuR Ey s1 N}e'C):>?7V֣g|7<,7nQ!]Aљ0ht5:I#~8 6ĭ]8VgēTtpɱQΩ'Ǥ* :GK8/=vXQj.)vDi~Aqk2œ3c+ΟփBϭt`8ˋ'G԰SYXܬ/-MR,aٓ?!}gt;( g \ULwT PɪY -+Uky̵aƔW=k1$$ZAF/'@}O"b1J~lI7j!7&jHVXX}7>x(d%^ʤml'm. ]u& v¸A|FQ??hlTxχ1'%i|:9&pM ࿏n?U!I!cSaeÊGp yHp `U-E0Q_ b+7W|S*-ל}\̫aMi {)=rLB#{0=᏶G s kjaX8'{58U fŜW 6aX. k7ۃޅ^bs#xqd6 U7RNH5>AȉV3ҙdQqvyZgd:$syH#,@(%k2:(n{R,5HKGwjLƹ'3R& !-NܰU~9LJC+!'Iڝ2 ƳvGF SLGcT5>9ùtAIZHSXaT0e.LA1^ -mڢ `8oYK*B7Ok'&^aeK, SDCWA@GR[p?d3dBͼ@̌/"~)=dqOKK.BD0FMlf^46y8nopg: TG.i3'| Ȁ* 'Jv_e+h$i;0xʟTTңmw$ޤk Ȃp d$|R)S'"<Տo#o ut{H2>sy CjE5֢s5ʎƍ3_XѲ& ~0Gk`X܎BJp33K%=ϳ[,Nټh$v*#5p퍏vq+s@#s2vՂNJ>sCI08M]2_gTD|1Z/\|ʷQ33dF -!}O'o# búx# v(c \oMA YO5%R;-iQHv6k,koOŲˎH1fS;ްc@P^9^f:W%sܕm >nQf2юe%v]$^H¥2Y8Wjݫo]jw0Vj['@r?IGPIדh9kL5NM)w4 n:.<HuS6t^R8.NsC2lDQAaBbK k6{-A~ܕ9O0`ǚ{WԤ^0>Awеk >"qj<'+E: R˼\vuȇyT'66'jgFbA ]?zhQ?v_}_5d GrOCjNLdW([X7sh9#zh v259}c ؈zi}}2Y޺b|YD{d'~׮h/z'\5&ؖJ(94]J`en3Y_R!okl f}+)ő4EbO|&f݅嵎4S\ƣ.WyYN)1.vGI;"Ĩ}P^tYk"=S$"="za;!lڟ)?qzl9!jLZ]ˋu@kk`o@Oa>DUdrEl }S0m[-AAA#iM#4Boݲ@xbZ*-l {JZTL7&jaAzZ儓"u HaеJ)K ',.f:q Xzjԫ#ZШraU`P _<&|UyN~o0 PC VLVC^j!)唎z˟|,?Ò&[اM^J`+c4FJ;͊Xbӯ2❥Qڈ=l.F\s܇vp$l_Q0KU )]/uH$H%>= inC)oPi_Vb>BNުf_-kg:T>ͮE86EU=>[6Ih>كsކ,vU-b)p txҔ8~w /kC :`Y c\+@:yy<ؚzTh$yġ{*DՋkfa-"ܜ Ki][.,2|~e(+V/gӰcl@)wMVw@ٻ"@$$D3pz"Q?`g9<8ɿFE(\EI$<엳V,KdjHLBn_3|Wbl',K(lQl+'?C!cb:`Aō=s&n_#57zB0!Q8aBBu}N0jDBj0NH1osyNQA.Uj8i10a@]G&d&QFF3ERsX>1g](t6'&`[]ư 0 hCxQ./c8y(=۽C,Q+j3uc00lr8tbחTqk? mf)% - OM2]Shuu_YBFb%R[Įlk0lKqb(ޫQM3NGnzIk)ؗ- "B4s$8![_EWR|Y͂07=vl i~jpnkfXCkT&8Lu~CBI"5b* 7;+w46pgd1tXu}\DK? Qw"#%ѽEݮf^qmBRz7e~⏂x\*`m)8߂^9K"'%ͳr(Ο k[T i*i wt377Ӵmn+p ΁Tݩ!}g 5,3hZ,'q]PĐVkrXS߯Lݚ v,$Rm?YVLi~rk]*u,Z-x ȸ%blxFӢ=q;"3YXmB;rEgL ӶWY,)}˕!3*S4Cmϯ^ nNooƺɷҁ?<{ބOR 2i9n7Spa y*/z%[Wk-26XL:lю\:%I\ఄ`*i_)svsɣCU7j\ FJ@|署`lft\Mb[Qܞv ;05=/0IB&/'y g荟hV51FFac%n!גC4C XFU.wz|rםOPd՞nƒ9t2fwF; 8L`ѢFD}=A3[h<62G׌uRCQT7 7 3i`ja!,s~6oAkv%M17gi -}J&jqF03uL{XjbgQM\FOCsv)v.5-&d#wbl)WB(^&6#wrݫ4{y|"(U M(/Xe;N_y|_rB{nizɳTJ&Vw*J!vHHn݋;6;۔M"~H27|QNY}e߁v\[~+N TJ`qfυ*13?;ySZg/PH֤{K&G\n ;PCIɉٸ>ou`H`!ӔC$'TF=1:} )c4k:EJ,G%KiJMfxWb{0(=Qyc5^D:YVXypb=y=9;DpL Gh%Ccː=(d"kxL62ʱya)C/z"%o U`".A܂?KCVt6ɰ =_> <ޭUGF jxz=:^y>O^J7\&@SJO̓ɴ0N`"Q-$ ( mԹW.g$fywջsrEꔳm UVL4\x&֭wk_&~]~c-tؿTS"ǎ~j#J2>D/;¨ޢx2 x4S^wtNܷ(V0XQE 7mu~ ײi> `74-`)8&:ȶo Aaq u)ysb[.qʒ8Y0~n+ʰ<. JH%:ݟK֐u:)knSA[a|7ZѾ&Ȅs*gMb#ݓp6$o &̹K$h8>#B:O.Z-??`"+!5!0-n۫anON-cNtJD#_I֋"/d> AE5C ͪ_BN~ x`[ra,jV{O?.1 ,LU77f:C}BA::  cAžB";A (Ia p?w#ۃ;zC󐑰$׀vB+9ԉ,Vv GҚm% I]|5lqdW^}|.ym 5/}@e9`^G!d ]xUfeb ;H֗CPn;s/w(\ޒϧRA|bߊ`Do֦"{S;)M̲֬(b\ܺV,Tω8ЪOSj|iq"%viZ9b- yqڴWR7g-&d7AĶ񩷉{Hب~;2̥aJ%6$ vh iW'5r(  P޴,ęOu&TSc=/$4D |ۀٸ-|iP vakM0Ix K}kmEޞ$*|!_(WCt˷LKó-(?S2I4!*Q/gYZ O n  ZOk! /A# dHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bi]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<yP)QbzGy)%CE9+8Dnv&=1z  N U53eCsߎ]%yqh2 so{ A<0I\j"RRG8Z]{2A1Q:o oCrm% _ҫ#G^IM3U^0/<ͪNſrLeMxRFvƅ8~zU,-VY52[cx=Hn1$7܌/QT !=cg >hOcN*TM / Dz\ .5i ۄcnШǚI>ʖC*yÌ+*+#G'JƪՕCzR\B:?N+},lk 2U 2rJvh()4.1n( f&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[z'ycg|"b}#ų Ls<h ] ЋnIQ9%r=.R6I-M#{m&ɮh}&Ncx$kn4jy-Z͢BPU~6չzV`_X&> (>w8K:Z*1g8Hh3lPѮOAD #A@ nS>?<4 BaZ3PߥL;>SeG Jҳ1[lvo̡_Y C!ګi u9ثYLX"MELэ2%+@+i5Wb V˟CwKt02Cr2bKuG1ON%BLǛzJb  9۵ȥGG,䚈 ;)@Ku|n5,Y<њA!u3a+kd՟Ny8@"Y캜]ۧeiFD>gs M6Ȟ3 tHMZ}7mCJ(sr'&s+ޝԲGWmYBǸ2O(G= #dzwu؋s1sQ9xq@+i<ˮ(8ez̫6s@gYZ'ybw~>9V3Y瑗xbgsE«ςvܦؾv {ړ[,\F蘟׷FųV,[t4*o>O :\lV|&RIhBՋv OZ(0IaBOr CA!F)"Օ A_n)gi)Ԉ;3kGN ۫h0 8Jeu,Ȕ V6퓔hps㉿9jPʟ%v5-!'X7 ~dO>h~l`(Z@/rT  v+jY7,lf0Ҥ$U'q& Bt/$?tK$j>M%/2ک˺ZoHΠDՓKg,Hsʟ`~:|0 4%lG-]%:jJ\8(U/lR ݷA_r:/bsŐ G Jj&ɧ$>0#H("? זh !LS#&IX˷eSE sZz()QI0R^$^u>NOhaPbC/. (^>@cb2nyLN^9\#U͝;tju- Zc2#auUFy>oEsIF3SHcA>(wG5}" g/ v1ϡEOIM"ֆt\eE[pDYޑ-Ll %}3LFb,̌ٙ.q!/;ق&*uh5 ;r`iUg=\`BHsF͒F̸d Rdz?k'/!e.`>Ț7ȹƲsyٴ| ;c.ʗS~x蒨Leia}#59H6 UiIj qæ#cvl6< su2ݟ~g(RЧ"hSĜ{EQDRTyGbbTdׅ PPh{O&X;Ä[FN.~)cX37{3{zjb/gьZ^ ç]B`-/'PƜl>3%)VP-nA$ljBc7 tۀC+͠8g8Lհx/f*3pKts^^!0y_?{TYPZQuh4x' b)^n9Cf왁#ivY 11=I? 5 ~+qXuYc<<%bk;z9A0Լ7ڧ3X`Nj뇈] LaFD_8Ht!k{i H] L+Jo] 8lF9SÜ++tؔ"t^gɄR;=\c @-/!P{W [á} Y}okGQت5@zF 5/Nj ƈ| T2| ě̜Pb:`h,m.N2,5(8\T?i] p^e+C^fw`xpұ_6zCr^唃z|M񷲰 5$ C/eG ՛7S%yʩZ$lV;A|0LV3>gP.6ʟMEq2}nnO)L?O?\l#v)y0_>U0Bԅ~pdaK.$]BB[ps݇F[}^Psi}}\p'B!gkt+n=ZvE+Q`Df9 8=sIR &fv@ =жXÆa@L?l;ߟd rro~sqWW܁(|yeWxіEAlyL{C ?r~}7v 5%X)$-uĽUcHU.Lw3XZ`a·dPj*Nqq+Α~yySWr'թCǕ\r1o^oa,)Vs4GbeJj\(Zxc*m+G{4qI}&(עLvxaU#ociOrU%#wM>PjпJMKKo3Ի)F:v)٦YTeQ&QjxvE/Nvݠ&D?n . AxM)x{If74F(S7\ gC>(Q)'xg1 l,00SD>2/t Y6b:jo3"*fû. Mfܺ[r{z,[IZ8) /^_#S3zPqltd)j%֪(֋lkm]_KԦ;}3nٺ@ؑ_ /TߪW=pOҝmQa&"Oeuw(lj-4/X~~j5o׎ d6ۮ%t #fY"ڞ=Ղ[EҔ' 8\ rM}Zt]xF@ALcUlu٫9i~DşNDr1Tl&V&=IvLyQzN./@(ܙ1*lfkD1{ïA& ]MiLžnq/hedꌪ,ATOatׁ/)&K wDة4JU‰;N#X@z Mٗ żIse٭uc_w_V6Osׄ!Xrw-X@Όa󏟤glz%[̒|yȥijO<'>wZF 5Kr>+(OHP=%޽l L5֭KnJ(rqZmJp>&T#" O),1N"`x?QywY(뤻[u j'GI(91K%ڮKl 0('t|L43Q2vޱu03P?OxڦNȿ-4#;f iEjWbi35fK16"67CNd6ig>8-Y.!sSl-of >-khCK<$|ǹ9RER?ho;pWR3g 6j8bU'A8CXt)&häw͑f@Dܟib#a LFKoF-z c%$+Bm*[ի(9fU ?RU wGx<݌^8D,gF[y S~G@Flu+B?R#?$Y4 V[>X'R%7l?gC(T#S\ ŸUDm+zE*x(ZmiePFŐ=B_"! CD>i:L`{xsa&r7^Q# 9WuZ籘hNvU|NR|[1ҁ r6ǨNGZGFQ-FyÀq?oq"3GfB8/+҇+?\%,{x"LZ+\btzB!7816MwgeaG>qۏxkvU>dMymq~r]s:/^DmDn* 27 /-6Y5J<- tNa7w(ԹqPKm[$wފsX7*o]# j1c dq u_]LˌS@6Q nOlxKXjB?"),T ozDqfKATwλmXclݧ0ᄤ=ip^a lzQ& (arUCEOޏfBCEM}vLk@;tSGQ1[|C'ۏ)2\BK( u \mRk)+4OIjWŷ6-51Vt f*!0mhd4gY綵&^~MHbmfiA݀U.zU#G`3i_jN ˬQU18Z@iPcsQ q\cZIW(R=RfŸ4jAW(w8MgDz}z-?bJ*Llo\5 x(yo߸V :liz{J7fсFcw>:Wx00WΣ(J63tg0Ylk"+cfR4S1h s.lU >37 ǎDtG3. Q> (uTGBaN/ c.HR# Odü4`LWʷWj\`^2BmF[L} / 2T#Ο<t' 9i(HAk큢$mD#n7PkєZ&o/=8_!w啵qG3PPI%7%𷔄H!oۼD  /Ƃ^KǔVS`Fa,QʛaVd j`æo}sLA+jtl:ei!O8$ .Pd 2(z[z;Vf9.W~E_ݭyTRQ\˜JʟdFx-NDd{J2ݶ#|5b$I1ㆹ3 @EtXH.SSLQQQØwjD+.Xg, C%A5^u!5OOJZ/zNT6uxy@ʻ>!;Pl`s9ϙt;Bw9eAhw.nWFI/{ToxiƵ?ren19ZZgJz1eb>z6)eXX3Wص؅l5M G9shG%VMMXXrHĢW 5H6sD-+l,d%orT 7]癐`Il$` &9Q |{7vx<'/YcĒ` ^)j;v;hkGH(L'Y=o X~8+0<@eLy,sߒ̿݋BNT1:Ƚs"El!Rg ĞB= M7 e(yOӀЎb- 'EE\xٝy;bϸ?L#F3c@pBkB?,4|NX` S]sP:hmCsxeU2t㙿_}5yHpᆦu։Qne1"TǏwHP ۅLYȩC?a1UxH?"YЏ3)*55+eQѯ2u%o62# =e?4e@rJMY08 -ǽr{Н˫҄{=WltXq7Fz{/P2<(bByʾA[TIc'Zߖ =q@ hĴ fjӈ ͡A ix+R=BTE7k8 T RYc8 y$'JF IΜ0\͆ WDǞ<1t/UDń.y%9N C "_zs,s*Waz D KpC ^܄*C/(@B{(p+>DYںvĊnU #TI9.s`/,,K06>Tڻۇ2$G?7nVٮ|B ?Zn  r"Κ!ίe63gzksjrf a&5;:[ v[+^j~*mQ6.D\+e$> Uog(!a yЀ]x0gd 1: ֙<9^x* !m'GpT;2Lc陃-fR^}xpK`Pፄd[.k#e{[Tj{QfWt醦'ipӫKDq[,y)ԃ¡Ӓ0QPi)Hx7粉KFa(>_+\iH̩B%Uq]ËgU=B3$|zcr1 P˵ΏgAJrHO NKbbQ_" rBx/cN\QT[`]_|Iаo u,Hg&5)L1kۈ+,Tc7!ÔS Jp}bAfC ~W%he-$ۂx%ZY6漥a 1 &(C{7Sv$SQA8G~vt> o;J'T~0݅vdM֡4_G#*p59X` p\LpXܕįJZp2z(N^ۊl{Wޛd7Wa`rCwh#0O^RP}Fk]xx'n!(^l%,A#cLP/m;ohX'lcʥms&Ȑ_XE?k.4 h4@)n/iBQPž%EbsQU(WE6cs?j+/-@Ve|0M8u&`9n!c)f>|7?L凛`-cUρyn!wl2A@#g:Y^L*u;.cƖc7_Qy!gxF$ ^rHӒKP ɼjdcl' حwln.Hrz[⨷gT'h GA8n"zsSf:H@qe̼' *ZS@EG5j}D럀@r A )<6n (6KFy[-pmcKB>~G9V-"G'C^vT5p!忣Q8Qkh[jޤ|G!T<ah WFǰh.߫>6m*+9i]v/IFUW4(Bsj"i+6- <Ⱥ􋑻kY4* `v˵qgD1GwvgFF}{gh#EϪS4; ڐ 짪wPP-T?e7Y6.@:TgoךKDU 4\yeJyA0s8hAPyʟ#c](ƒM*U-iL&/ů◕>;&%£`p7 4RRڂ&##իf1k!XIM5l&Jg;@ٞ؛̷ (w *)4OTWTf`z 8SQhp##SPGӞY:܇>o ҍY{]ao|UPF(Ye t筍I\|E?4+WbQ[8 U}$ `j)>ZU;#ݢ7J\ocwG@Ж8gw1*KhM JN|r=׮N1׵Jt5b^Ř I ;#C Jwz3d?E"=^|+L䷱PZ3:τDjxon =4Uj4lZ_†`FaQنFZb>"VV7V+P0yEfɵu:+ <uX"11nc^'F_I^i].}8ڤ)`l,fA*)5Š6Т|Ci˽`6)Rcj?v6TAgފ(9V`m}[Rc%y Eq=TѫSz >JZdW\ =wJ8|L>2@*^&C$Yf07#-]=ǘ&uTtaM柍 4:Z x~̂}5_S :`^u'身LqYRǟ1/eGb"z&6t3|B]Va!?Co_&,'. ׷JC\]%Pq%;CZE!W<ەSfv6 -0 [ah9I,k 1\ffA1g)M郜zi;Yc"0.ZJ추 R1 bALI^{Azu2K$ Zhުfυ+ѳi՟}RGV۵< |ػ()zSŽD?rUG1?_`C\3(9L6g1 Lt!T o&S;^yu a!.M)q?. O:>ntɒEHlzm>9JF`a_OH7g9(tW L MoY% 6}?42zG+uH1k咸5U E oC>VT6+MrWde 0YiuW\9isF//z 73rŎ]txC]n)n8i\aˑl .&.],4g/'N.r\{yB܃sRO7ő>Ɠǣ7ؖ bOd'Wg7b ¼OTs֤WK!dkUBt^~7O"wZr$G= k8gӿR'XHP~68U2;Wn[/%zU(I5UɄ8ustZSUr 6g`+P19ȮwP|66p`*ʏW2(p%yW%i<}v2?ųOw'7x :'TСZ%>+ L)l]mLȌT5fZeBOF/m4v75Et NĬu.^WԱ8y5jn*bmn;;`6JtdDbR .^Иd[u` e{o\5NI[JQgP1=ó#i3 PcU.9 L _Ev /l2I`e(M'kNDE N稤]_[yx$0]FlkkE{7l-7|Oߟ}kg5(I`0άnA70a*lC5GQ6 uwQy/PV,`aPqϴi&y;|Τ?Ev% 'l;eeA{HR_qK{QIM*NHd~ѠK_+}:~ְ3nteԖrxNȆSe8_W{+g~@_p/rWHPЮ2 N%3KEvSكF:KČ IЖg#U''sٌGqӿ=2{;"?1^&NnW#:\`|p`3l~k*T| fCrE54'41偗0H`A>)<7zfL9u3%wh!'X[Fs9a4uvC ڻNB酽;}(F?1κJi?Yͬjc et BiС-yDOeF>sطg,1[>gScx Ynٖ0xTGf`Ou0j{쪊UJ@ 9w+D#XPPl!V/id'HB|;/>y3Ȑ6$rl]& alD[h[{vV}'{vG1B͗YΦNwa6%;3,5DZ*U: +Zq(l9;vO#B`sGlHwgB*oNt(:H/-4Ys଩C-<UL_)#^Da(w#А>"XQf(~M2Ÿ<,h$pT/QH+Ƙq_K򳣐1٦`x!jُbk~.uڜCiTbcGDu[ܚr5z@Xܴ[ܖiI?>[n x^z ؿ#̢o7[&GdU ȼ<[kPֆG]^!%[29~NR򙎍{$/1m>}m;]Om簈:L:6L`P߂}wqOZОZ5 hm [%A.itSxtpzYPk0bMNB8~yBC wU(T+LGC~3,ER2&$5 [+6(ʈ7#A]M!T%%5Ίn(/H,"J$oGcBC܁=G}1r?FmUR*ʁb5c~8`MfבvJR5׌ge m`7^c2b)zLjj=$Lc4#i Ϡ+" Jez8N޼9(uDsU!hǸ1{.!u?*$.NT>JatN^N)MTf A®;7FƧ#,97? ULPM?`)`xaocɻ۷"6B~x\j^Xr4P\y%r2؇;9Gւscam1!|ˉ]aZb^rw85GBuJ#WesG.Dn=Om*71=\M~zgPLS^D8ꐺ^M(6|n-4*y pMMǕ6TpM NZd 1$T;m*;/d́T5snstXcdm.h81EZM,b89xY-t<(Is}Q84F*:Tݫtܿf.9N^ L|~ڨ>4xǜY!.B)~O yj)ltLweG$@ڙHη)R>V KQE = A۳#R,s7?$C51+@[tZ`-P<ղcu X@ĭ-`ae[eF崙$PГ^FH @)Tax,gs`2Ub㋟ 'T%)$/7û?Hd"?V/K5 Kn_MQ&`F{O6}aUT@Yd*q[~@Dqs0]aS 4M(XbﵙD ɍcv^]m0Ժ}_taMyۏLH{ʰD=K+ԃ; ֩{A SiЃZsf&,]40O4ar8vR#ao1eHC?/X_;!=ZػG7w"IdQp \SJiV/5%^BЭ*xxA )z"IMS]fv$ǷLWcjoV{Rg^jpŠ4D.gYse߼W[H2Ki6-d|:-(4*?g"U$K7ʼ;#oEn`_[ũ\~PC} ACY.X)kݳ;%` W+^\ 2m6Gx;׸<;!Tog2ޠ &+s]}] >U3B}ץċhBeKP_#4`iadJ6_dv0 ]5,N)e^K9P ?apGEq00<(zXȜCRO@1?t4UI9c*Il\3$d~DSyYՠѪ(o@ݷND^\h#^6T^a21xIp%<Ib}A CIbJ?!I=>n=2[VVeWp"m}r>YJ4{W=Y@{>ՂᏞ2БZ ƍk4'4Yzx4T,qOCj ])íx# -y"B~ϴiZsFTpHq݈<:Ba/{$.!MЧbHIw8ޭE| E,,QmOoM>67z2[ڟ*͙-nRkh!1r@gZw; ȑNYP|7]A:․};va-6瑞Vc>bE?Oč!Tdl(39 4RǡQeU?LD3%2Q9u:zu~ͱ@<m(G*QZ.5؉EeiڂG#kTg6aTp ^̪;Þ)rœAɤy!q*fn ?I*PWbf2u)kOUTv^+ǰɈ J0Pn# C*_@`j~37GղMd]^^Dk6Jٿ7> Ю95Spwv, '(eTr '|vm qPE a3ˎJpR$RxSP#;ӱjQ̩d.%CBs\Cw!Ɠ۱\.8a6'Y!sa7^ڍRF檏4^8CFͨ eBƆ\XCZO~)gbaIzә GM{ drԃH(<_/_ I7^U|[{Eg}K1B)pRT!XI ׮XpmmhYx`0<[ 7_  6:~ٝWfU+l9v.S8);&7_֔k-7rp&j%_:J:d>tؤ7W>z}|RYw[r` c +!6<7CE WۑϘvA#8:ZLp*TwrԘ i#sZAG4L!xq2AyV<^C E! uOQ%!wN.Ԣ1LY%_4.tk#ҍp f?s$iw2/Z5$#齊!iA® r+]dh'|,X D\6蒍RbsR2TfuE*j;VV*uN;#`\drA%`ee+m"[1kDݔL0.gcg7+ZFCnلү!n=0B#ấA֐~vS`W\ڭ@| Zwx\SZ )쬅'e->q7 K *0Q On*t9bvD+ƥSo@7w #OyɐgP$;ٻ8%+ &.yΣ to=XLlh8|C5tѠn!!#$S0By2kF7ԝ.5wv*gH7Զ (? x)5.'qAaUԠ2M)HVڌ:#t_cN Z9YڢɓJLs pe_XJޫw1DLaϓF_O+NJFl51؀Ʒq*9-vϒFTBi(1֧;62"?XQUU6^M5D c.29'e'3^ůIG]f{?)vye? lgfTPUD"/fhf=eni9,9L|t$ɻR VekuYô4P|*g5LL?ౝL|cٳT3=;\$. l*= È&~cuoS5)ͥþs%rɮxObñA%O9R7_d) 'h$xqq!*u嫈@ZxTr\NUigEf^z}n5ðju!_"L<`$OaV$76kL;Sx@mACuS3U/ЋruH{FTK0n|ޢ-1̆ LXZHF '7z%qr'̭,|_yjG4 -m~:, Qq}cWxCMuVD1c}9?ͥF6|#١W45}x)oA~A oܽe[eڞhi%्6*2σ \EUUfohz J tz⽳paxHo[TŶu^%4l'r{ky@{HNF+/G?L^#nKuT]}F$/ӌx .mdZpW;h"靦)gM=נQ] m՘ti#b d\◓KOD͵-d-S * @.XXW:]onrm߯fpv?ґKF!:/A '%WDapZB;8w4WS$C%x2'EPפKBM^[#F#_ԛn9rc+F=d5%jAAg>u< tcDt>ETHT4QİaLTq1E`apb0vgdͨQY(rYTI2%HƩ\*I! ն==;XK(Q+"UEQd3A %<$1uL`ʸyUeZi~U!r|߹x$Pd-ԥQx(bbxBLqݢWKqz\2o=_{?u~轥2z=@՞f{i朢&O_i 9Ξ31dQ]QRse>cQ5/~ Frz=˳cky.F{ w^eDӁ S'ޢٯ0>|ueZ8G2bAEY?dspAl5YQ-jQ_EC|RM̸#hl Ӹ w鿁kY ޭ/t<-7_Ͽד+H1/:qhj<1Fǝ[8P  o$ ;C -A-H;ު&4M<""zB?gv#IfʬhA#(#V;Kw ۍW "7_VB&X dk*Rp £g"d5j%m;ad4iT~E:yԷ㙷Ől|y|xpԮ,dˊ0;FB [*#w]6Uh+uT$4zm&x~ pC8{trV3R{~.d C `5TeC8V%[Xb@=rqٲ$WP+Ed3A*sVQ s4ʘngIYDR^LdžQ}"Yv#Z]^"RzƨEڒB]`#Q3ETo:$z[$A'<_%j>S~DioTUa郯 Ya;ݪh?}Go tVvxJ(p.+^ 㖄wb!DYeB*Ʀz݆V5y/iuKMƭXm~~\"x43o .] מ\/@oT/@#{a}*oz7iXViQ^[ SÃ}OHSX)_DG G}j m%%sɟL܆Z) ؂m{x>, Ц_.:F]+Sͱ0ɔqqo>r~ݗIP0Pq򓶑Fܽ|Lg:군uIPIM} F&q8o*-=^lwo(6%9v|l5LOK|vV:Hcc+L'S ![χVz,0[sj}6yAu#X'.la˼9bШo~G̛>g5XWeAr>u͵\5JPOh]ء-ș>X!Q’JlxޞՒY[vW0VUL? M7)|+l +)}'iuoĕpHc~Sy+UhDEΆ\2mwJB][jNtM6îqo /mu{)P=1zZUW{z\=\r&[&)Y@l]+ჰ>'i{뜣Nq O!&;Q1URfno}uR$ ,Vu^2Q^AN#Ys 6@6{ij8͔VOӈoφ*X% ?3YW7aº)q.릤nYJ)b <9"|Nc+LS6݆̱Ǚ6}wȘ:=NyQ}nM^zpV"fApMm*_2`XM4AoKR/ !?*¾>8zp࠻਷`6rܞ}@7mtiC(mѥœSAʫJ:?=ӟ>Q9%A^KOƹWE.)HffϷ-PA25F?Pu~k^mdڧxt lhPU9RhDmHvXTb7 ;> 4ܞRΌ ]MzIyF:vDmֳ̓K£Q'P$xn3g+}xu@^$r>JN9@ \ I,r5qRE3ǿ^w=9ŭ> qٲeD QPw_F&Z"eU)_PnZ A.B@ߒc|^6szvGїm@%b461,:_;ʲyb" >+Z< ؅1ύK"Q iE;ҧ#-H50dO5B7ovp}WVxt wGn_1;@yHk/p9 Ř8Y]9HU Ɠ*r od^$I|h[{qpg# n|w|H{7xLl{S&Q)=s$U}~Ci[2/ l::}( 0̉1al,ܑU'̈>ڢK#Rt|q3 E Kru B~ fO[c0BN,$>'+%Yʫf(EO+PݧLI}ؖ:viʱ?/~*{WZ'^v"2BBM0u 3GX'([>3WΩYK?d"!<SejE>8i3侕H*m%am;[[  PIs όopGxI[I"k")Vp9l&ڔ'9ۦVW7Y4zm>BsDYm1Z,'9۞fK#24yr6J'셍rpZLg34jڭK"ngYZ ouoa%/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؊pLJ4ْO⫿ynٌEWv]ձРRA1hlp+$ ^Ӗl9[\kH9שFSq C]t% KgKYZ}F=V F)9vaFK{$Y'Db-귖|b FC:L _r^rnfÊDjY=3YV=3`+a=(6nȘ(N{߄epDk a zp3ģ/s/bꕮ.*} 6 4 2p!p>6pk/%nkb'Ud;;.[*gJ hmi!r_RX`i+ʉ@? O%mFi ˒SUyhYDZSA1#R(i`wyw\~YʭPIEwfs$x^|%ql~>([ŕڜaOY Id!_|S-佗/ +YtrNš\rj֩\Pb^~YUVMP]pzy}NkhR cB.iUw0pWIUNZy:?{Ksx~;XB#n,,T(.)Yd4G Idw1{@?@:ٞ)8܂nSxC}fSY%[-j ):S %p uWĉ2P@~_lj:$'֏B3j9HYDh-%G:Ԑi3`ۭamS!Ysyz3}ă<-= @R5@pv8VUVNjtL"SrgZC@q^ubGNG3p+t_ -q9>;z:E5M|LlhH7?gb:ysK[:Rdh#3@W i-JKnn/+/ rW^2Xx:%]*ԢngsVSo f,t3( K. dC a[`fIX]{*jǩi>$]yQ{q46hW{Rv~tķMc)~ bԸL[ 3]0PdEqH9T&A]Cy2!9dGL3o]:OFydC4#xnQ1>$p{T͒(amgWa3ML^uNeUFxPgu~A 8"BA*R@,"mTL"{_df_PՂT*Jbk|x[ut63E͸>p2=>b?5^=d:)GGL]A6=;2 ?XFG|(wBmi^? X.x^RcxWYl9`CY;D8D  }Wi2xLE#0WלG >*!(t&πP#wG5>3P= DY?L"-&9CѴYKO6Q00}E~uYȴTهV>tR{@ !D0"%:JL.cRX/0S革6G lmPGUrQآOfN)츩VOwNvxT{ruދւEԴ7l32`MFw`nRa7q2>"Bog], X?rд4N*l !CDj'E> kkϴ&2ԫA0o'>Y&'LgYZUƳ\{-Z8qh I2sP2 J$5B)k[AB )`Zp^Tf̞NGn~ؓ)az 7&+x"{(+-˪D' !il˅홙]L[f귲=Pۛ&O۩!Xhn)-jD|h({Mf$W0zڗu譅4ndGq#M(\^H/ #1T{Eb05S5_>3 HazIU:I>?\^AY\\2j!q5mʿ>8̞> RjL.= T&$x (-e؋БKKnvʼifRNhwǞg&jJIHEEe$e!+ -_1bςDt]E0bF ^GC[;3/櫦>h$b-NAB=z\coZ׳=-Muic̋4rOTJPQnT[>|ŋ' U&R@&%,WWҶ؏Uk99Mh :1Sby C%eR)=ǵ=R㊰M>5Ndt2C컃vv%! "y2Ș<I%̀AgCC֣"Whqw7q~p+Y`+B5C3)7eIx ph25Ft#*i)fˀ;ɟ]*$ݬțT@r`cĮ՛q!.-rjgjuNW3*Y1 ]64a M d~w0eYXQ\x*ow=>Ah黔"=m,G/A+yCe@mrLs.Sr6+f\'me98.glT Bx,R@ڮH$c$&r+Zyd^jlĻ "Y1@T'_bO޾Vfݥ6DE蘁!?Jqq!r :3Ć}bڅik\l"̡Z#k6VAѨCrpe\Z_afNy]J# q(en;d;BCW G\ɂ] z"x@"ȌS{[Wdϵ3e0]>˹+'5J^.&[ēF+H˒3PSdP h4'~ݹN5wRDξM{ðoj)u ;Xf5yP \#K%'3a}AxfilΕZ,\ov嶫xDwVJ6ß(+%HJ^rE|#3?+ sY[~ 1,D"kATvIN@ߛ'8:VhR"gb;*Y嬾{@k +dG0aGn󱜾;p4%˾&sN FAbzv M1c#?L ~bK~EX\4b6՞4ѳsªܔ GAu(yĎnj}i{X~ #'|ep; E 6F҂L'>r1Ji>զ.e#7 E% WW6]JNCEAն3$JeS Qb^' }cHak6(ViۙáYJ6_l2U*> RtX <{`R":4?|ceM[;\8l,L:~۝dL%nx6>q.2h o|g,,{+/ w= ctF"D9A,/,֗\$p>kPԵiaxJo=P! Xvs֒-bY; VBJ Ģn2Ԡ>% nvM"̛^vw|V|>=:gchjbWdoD W =B:d0jRGN=+3BQJ)ci4ۍ j4qVFKa*nR(~Lluf`3dءNG&nMѴ!~Q>*|6ԐDY¶D49c- FKA 0#G"', zĝoC 5@`n.̟.EnnjK2m)%lZuw?9ӡ_y/wAOܔxa:tdD_` ~,_)R.Yk>')"iA{ABw\$ފ"pJHOh ,=>>?ʌsU?5|Y rIWV0klT'"BW gYZ   7-],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208*/C# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u2]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3kqb$@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?'|G֚H@S6AA=6%ۊ8ǕT9`._ _Jt98Q ӡuBϷ",%6\(o{=t 5wJpk*/dt>0"d1%+>+|+crmG&Oq/xgihCvI|HG 6BE>%WJz,X""]̎}AQp.^憥4Jl!ĊFR^,,;:o1cP]+N?#0< ŦL@8ʚmsFX--eC8aM4Aˑ~Iv0'3Vu%(/ \^B#{(^m>MQEH%X$ԛۣStJ_a!(nY-VBSp`sAf*#CLDo'0h7`v>[s9IN/Q~;,PKFd9*dA^N'y1* [uz]ܨ+T'IcןבIc`6ƍB**!I4O ~ @KC9\|H5I ntto@#l"vh+ V揯pX*x>k~9gYZf&/A# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! 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,>E5V4TLr,f0lqmu:! K2||V~E7e&6W3Ge+O<:|Qĕ4tk4Y(VsXˆ?TKix9y)fB:wm=iUH|N~+c %4-Fhdm6p,o^$/ 2sj$,b"t9gEU < ,(v0mM;~O n/O y^..LxN9?@cl YU :|D8Tg 9jJVuh#2I,ԀY|!`kGcۨQ9kF1J!J!PEȶm5q{gKpԖVNr3zǠ Hiư<&4=ۨ_vБm!7_}EB;^#ax*"8X]D`(Y1-kį )M7)9Fl`˔6?v.gxv|rqHv,ـU ѽHDxDuY']_;@K!q"lm|i<5DZ[~S uTYPQcD0!P2cwsXINCAeqú;Z)ZE Z5 P%)d~ MҼkIeMiCy]<3Rǂe*)2YnV8Kz|)cf:QⳛCts|_LzGJ`UowNs6a(;s)Ko+"P2_Lh(PCl6鴖Ϥ%U0Q f9!'FD4lyPBO,䨮?]M^n.L<̅$x*f23^y?vušgvnGs<<~)YIo !JW%[SL}j660Meɚ+WۚC9'=Gl̗ǃU;quVp/%`5|)t*erOItjOɂ6m,|69&0c= ŅI}Mes؍Vxz]BHޟ$f-Xm6Rwi+;/<}&uPz,N-%:y)BjAT#J8j('$% KCzG Kڻڼ=z*Z$P[0 c1y=G'lbQENA;ƥUzeYQٱꖚ_k5MVsXPUqI?r)|cʮa,rPva0vq UEaWGFy+UW[>@c?u;1V3Xc-P`\>6yfDr!3.ڂ|yzy߁' ]O I:>n/*ÎV-wx|VMH`!W|`@M]jV6^(6]Y:;UV9<({RxϹEGҞ:SRckY!">ɟCώ烹kQw"ѳѷw\8xeu9ܼ _>n"" vKgőudpTti6>W.w#ͅU" boR4X DGН\8sʿ{(;=-9԰r Bnb7xQEtFg-8W޽gm^QvݘH447&,4QBHspZPN\Ƴ]u*4/ng>CJqSE튣d2x(@b7&r]p{-weJ.a .p |S^~~:zkgʨ|H 5'VE]hWF.%uff\ v2qӁSb >IT`g!MKiEZ*yP%w'`OZ\/7~vG]6JtkYT9U?4CtJ5PT_>8VnV$&iDsuCoICPOJsMslۜQpGrVUZ?ᨪj̽"X r7;m&f% T#gGXIֈ&\J\ 4KPTՇ7, 'F CCky} :)dW͍Ɛjo[K &J7Jǜ\ BY5(20+mV[kRs3rU~ 5g4z.ePoA+kV3uk`\H*Ԉ'1@:"Z'!UO?:5yxG7rm|rEK)0Yg *֙|7Tqn:[ iw R !SBFPE-Dty<Di3Z4uf޻FNotauHPRk\,1o`>P`e~}*,ҟŔ,3 ۺ\2|27yVFl\lEj~.7gO%.SI:\t{K]Ql``P#{[A^;‘}99[J gFtFi IjaJgGvga>vEsȷ}L#K$C?MId@|w0zoA>E*鵂+oQT#md;=Tl\%$ [hQ3,>V"sPˍdLK5U77۹t[c*jg8X|OQy$sOO\LhV{${sU+M ќvm2x'KH&6ZhP`'k k*rPBBH:W(cZF0bՔ*mK, sð$K6[/WHprgEptPɴ( bv6qzވٮͶH!gxL5VP:Q4#LS 4?(+(z$09_S0KGc;|ϴzZb`'LN=G뀊[WTØ;:(;bV̑U*G0p}Ӆ/\1;H/v6M* GtL৳=*Z31tY.Ju[/'0{^.ľ>a8d2 xN١Dh0S'0KC*{HWNGz]@Ez( d@GvcǷAVжpԨGc/ D\Ç[nF^sAWnFkED1+Y8J$0RqVLnH>1iigdzpVZ%C8CBy$b.Hp=7{RꝑbfXHQP0 u٥XgaQyNxhGt2yUWȼ=#13ra\ M7~Ȫ=.N8~EF%ȭbhz5gԞ/38CN<`Q8}"stʮ0kr,S/$/ա9K4ӧ΃/}ۭwH#= vqF)! ֿXщKi L;@t; Γ=ȴoIʷۈݑ*:(Kׂ W^d-Ƭ!Xsv3օ*1l[ؙn5 FI 2XTQgyqg3fG[votT8J(%n2Uf$o6x&UtWk;֙)lV'J!PdiY2q\0]sVI/ ab8 LgdX?f*^e1|9d(r$:ѽV>wfT^\kG(  8^sZf%X4tdJ&YFx;*,8\*B0x>~* xyPBO2hi 4R^[8i$6f pJ4YUyo=F,;2]ևFBɱߢ[V;_i]N^꯹%⧁NBLЗsJyE}0R>u jޗhF4!A dFO3-̔N2&*sPN Xc\ÚUi9 —) 8LvrvpFNdJ Gܔ:jxfkV`y{w;!w#EyzVaY="G;>w_qwʍNʰgL =b?|u)]R iD-R)z 5shZlUD>Jtv!txt&{b9g,M=5HYw~P%4Y\ z3ߦ?wW+yG"ԕdEa;ДUe7^44Hp +sT?$ S6K>{ ZṔWkCޞggV! ]gyG fJR5~̹ͨry~@f&輬l' K|DgLxbҏQ ?.1ziC: RqPce:ـFJg5I=yZ3;WXs!\ݤE5{܌I(w{S`il0/pk1 N++vj|>LIB?avZ*rID=J!0f@os|m( -R45݉n!_3f9S'LJaN$N I];IT=x.Fy&蝏py&rzvP^Djs#bx̤ }D.E]!å  ݖ[7Z+IJkwsS ZoI۲7)Hة ;ҀBռ}Win @MH၁,^~}igtde">.؍_ODCQ3{7^]kC+b)~GxQSrd<׫vggF dΆZP֟@_cE;7."#I@j*&ofG_S` 굝kpIoOj.AG[-c)M!`NI b{'=$}{1Ϭ[yb,ZIE=ŬլfҺ5q"hm3kan֎!GN>P(MqTFpCc k`ʮjؼm9bK@@-uU-C-ytODuLuwz89g!9tG TߍGPF'>; Jrls@ Aû;[T~i:A2M\:_Gfa3'Ipc0|!13r䃋Iy|"t\[J1dBFS\<~ 4F@IETD"5*&-ijNv,0*q\0b 4C, UrK&bD3)_=3%acեAKo"xŌ$5,i&(_>_b+ ugYZ  Lc0/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\rO5P[9J9tg98wl* ڡ4Ǫ&Sy]|@+ igYZp-/=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! es]ˠ)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 T{Xڕ@I6?/3~s z{ m˥qhX-pF{#yAvfsJÄH› >Rr9OZ*6&1[m 4Nœ#ҠR;8[AGm7 \QQQeF(tqX쭳2xܤVs; hP[NA)hi{ K?ƶնU[yUI9b=ECwAV-O2\ T=-u (ũ [W=ivkniR#5V.D-.b0/D-0x6n9s۷km $T8v}Jt ,)0IB.AF+|L~b3dt Zv)Q;v?nnZTT᷐@eP?AЄ7as;5BW"P*)$۟58:Z%= XLoN=M>XUVkŇ06#@HDT)^T,kT(,6G.B& e*{lG9:+̧1ҧ* KJjG}&"\ _v7Ns{`2^P|z Vh¬hL-v }j*m8:&AK% 1uvQeޠ%S\骏B_ }^S0$B/"SĸzI@Y0)j lxsahFͱd)?v WlV@U(|.4? )Ohum%ak W-'PQ:˿$v^ͤO dromw&{_#d5I;tIƩ HwnQZX^KK f0bbw-759]Ö'+o SKEK{zA˳颍8ѷW3'MlR<;PdXЕ0_!qޭG%3uj{6-ݻX|?$ff11|Mjr?¶qZ w {tG,si]P\$+C}kz+q{ᘐ\:e$fD^$ʍ; -i[TxfGyTsťR|pc3?iq"re6{ᑵ{BntC,M( F(zR;ڛwkFhZj찡v!hd#s͹b t@0}WHSy4hIHO#eVL6ʠOSj}l&'!d^T]>##xDi.a.G)!IҾ g4tvs-).FgMS`fo+³cr>}1aܪG7R1#[NP+w]`Y þxpp5P7,rJ@)s4?:\9s,i)3mfFd n_e`gv#^ ؖbwL*dL[e2WG{2D%m)ԑI}"HeNoAk_Vb9h.$$hԏm> e;J' ̳-t*h,թ9Zq#X:V4QOt4|8U"8$Rgo,p;3cthHikӰ f^5 N'e5d@Wmm}Z`:#pe6(At@8`l=aB9f. $T&j; oaLNv?ԁ8%pΙq]k!ܛ|4EIv\ 7cռkeaqXi2Q)gMq=ݩ0mfjU*:+x՜KW[?2ߔ(%F)ZZMLtX\1zN{rK?1Γ>ǤX풴*yr~qylYWUѸ_/M*:k¶|5.k﹂[v%3#{ 0κ`T>`s 5+Р;!Z2pln{iׯ13A6;;M`816k&$p6%)4l$-pCm$:::Z68?e=]^huHOi)jiC*kydSQ`u$/Q0\M:U)eͩ;<*x 3V† wjvjcG6'Cqcẓ2v',p`#{-i疍#-8 kPu8gwzT*6L~/Rޡ9CKROc͙GCfO F4h/3v*G-~Depnأ$DP1Б:[jT]9|9fɴ GOGwqM03Hq6 F6C:k6//6Ӻ6^x cϏD) @~IDQKˉuCH Ǵ*fpnP/xn 4aswoAAp)WZNӾ=9beVpoQ:mQLiX6a<]1DAͻBSKxLզ{WtOcBO  8սM,U5˞6cVxGe 4+TPs B!!!Ή7ϦfSfEM+i"״? T|<2t sM j[ 2{#_XP%0G0K 2<6ETmfˀ?u@.;tҩJk~Gd E|$t7r" 5pRľ7qV.˯@ș*=7gKb q8G;C3JO𣌳})kg~Ia%hw!5,L>L = Eգ ;S?&!R;UKQw<Ŷ*zo \0+a7:v~hc#2%Ľ$`6#NxhXxP ӓTgf26N Ο9ps_ R`>yz<֠38rjک5"mNTm3oqo9𢁉{ 5ʟ=qcTrNy^s)тy~fqb#&RD2X|qi8/ǻ סDջz4.d5vgTpZri1@dot4Ay'P\",l߹q$vX;ם:U?EQOBˌn{Uz@xBΟϮD%)ҐWh/X +ID 7tK b%DrJC(.S8m L%Yp M=٘߶sۏL3wTGޞ~:@$+_(9Kr9XJ+?3Oa6_7wf6} nxU2%AD#ZCڪt 9dQ[xu. aQgYZ W1/C# B1x6l4K(݈EB(}+30ƅE`eEppG֩;b+5;ˋ} 0 WY:keB>VO\7.(vUѺ1{kj %<@v}rKwH|SZ???fq;V˝7k0ا_U>M*1R!Pҡ@,yG: >|T/s>4 nG%R|N/wR8LZ{?8,U0 K;֋4|gyosL3~&U.%yV˿y UcPC(h>'%[uid.1lRkx8 . l>TV_oQi}ѪQl~. U,ʚS\{4H>4?Q&Jf}Fg1V*3l?ЙdO %laBL;0J' rug [ Uw(`.{2~;bޥCŰ"Ec>>o 7d dlaUѥ~mNI|6+$ _{B)~|e&I1SXh*m)9a{(o'$Zu0!B+_.+|w!yKR/Khl՝o B<9@O!)' y i9c ~il @*r#oO6p}.ILWznu_$u-<?{R:ͤ~y;֯KH(!Dq-ZxC`zEڭ =Kh1"v1j+w۪#uo%ji %A\Ob+|\GJtQDir<2pYM|tǐ-":_N}*ؽlАZN )&+M,p0<gO )ǙlyM9.s]B+)I}%g`OQ Xd^|j`fcAK7?XZfҖqfUu:WɱϨk3edYQJȾf*U%O%|ytX5u2gRؠI}a_QtiCcFC# /P8lRbdi*7S8`ELT"ӯODwXVB~ a4[ה[-wwԎTIhJ#VjM4vœImM97,Zه1)OUUZDF)Β~(Pה'DIjkc+7(#Z[5. Mݭϣkx5/S\cd+n GݓRx6+}Kw_ T3D|(G D'4]ȭyA2 <e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218A2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! @]Άxʆ5.f-9 rq8H|ю4aLE-ΡG)'' \& ;UѲy&-ԕ )3W+w*Ӡz~[\Z' ID&r8J"ijiJK/Lsj`z[H]Z@N`%'6w? $6MZ篂Н+l <ߵt=x\G_;`pU38ꂛ "u +a˽B㣚,'`"G B Iu= 2ʺQ$cvRiexpr㛝R"rO,AQi3hk80n H{=tZ xŴVơAO' /a1{;}1Rb̳ye!.T+lL\Z@vG,0z~IMBGZ).*/Ɣ*tv<jiu>!ZR &q2G39m)~{}5M* >*`ʜZEzax?y'\mg"ճWqB)ړx|Œ1i А /g8lgü?}b |д_Z$̏\VkO)"N Ѱ#k]E(m/`j[W+"Tz#vcGApj=/^oLf V b%Fܕ2{5ݚJgYӠu7p2?s"I@ -f Z],;LOGfeBPѐf/a es;v-b! w |]G\Px=o!w6^T+I o' \ }>gp>jHk@X}u `A`8(64TϲbʯBN`VW Y@Sz KY 5|coeR,2K0m HWV w&=bǕ mu@y0 ~Kkݒc/.Px!;]]'R;{%: l#CDp|DU-,/.Щhei4IZf GeE2;1L(~oJP:[PH ./ښ]{+豤8pt3ڴǘciᜊ@;E/‡ߡ-"qZ.Ckdh֞4­'ߥ e[W}J/ ~>#ö~ʘŰ jxLCD;'[:pzeD놣8W^]X4tgHXX3qhcgsU*Y!ra РVmZ񖥊VGKA~ St@ӑź 6)_dk׹+}NHG9DFӉ*e!Ylj㾘*at*^<quG;*R8!+J%az jF'O@Hdp'g}PV]ڰLK5/qijG(jzWSI%+Lq+nd[~+4z%C җwџKp+Pc6maZoDH?嘊xue{#x~lb\ojɸ,eFpZ <^eaOx6&bO5A,txf](ӧC0X9٘Zkƕ{a3=j>J8;4,ѣoo;ؽ œ$&d|QiP2ou<% GqZF`hm-,B"%fH\x@3LM'>bU$]U %I4?HPEv1'Nz%?P4O^hl9wYB®'u4ol1=R7R!8vz"Z6ou< >I?x0<5u7N**l8-y ֗[VG%olAC<rCb݋Ii?gYZ6cCjHޓs,v"H?6?aFBuh+V6.hdiio[@%UnU$,ҳ _!.FjT60xNPD9ih)p4؋4xD_X5/xl6TPJ8'=h)+@k!RH_|omCK{WvMY.J|̣uh. ;6mEvaݛ~6#s /LFi<2"I LG?gȇХes / >:}vq$Ρo,ՖX~E>z/CQkR%5](wVD;'7萱wWߍQ޽Fm{O:g#[Ns_ŷ2;R#uo~w*'0`{O.=eűDxr{ $b\bcŅR$ Ng_%kA6/p^ TGcmedR>D> tGtmm1!xN.,Uo+LI&*;܎%(poQK¥~Sn!ny;%p#Ϩ֑ҁui|鏚?YŸuI.{QsOX `h^7ېl9G^R )qڪY5qa(E8GR5j| c'sʱ + v\$nsKq=JʼpRdzQ[]p GfҊ+?3#*q̦4 ueF3:kUVHn8![IE6aցF3gl)Ӈmx䜲W»;fb#.c".W]pLeFW3' =SN:{S:_jI>&źve6)5bL[]#\l0d~8;Rֳl1DSwN?t"$0Nթ 'e]Y[ M B#;%pGz&]jY< ' Pd4k+ An.u a}>i8.2l*f.6#%o۹:[0TjjMZ^+Sx_ShGxiAEۨcmmFSuVWC_F[wAd+UKkqU!?z¤9ogkq_ ރ-iIJq78VbB J\`a Gn­PJ"8QWq:WgfjAgf Erbj?3{7S+gv:LL Hfy=%De{\j˶XG랸*mX,Y2?s^~ }Az.F# M q@~Rk KSJ+C"[zj4=Jy"X( Z\As!wQsdo²~-{3ೊh.3{ A!=5 f؝E!sH~DHUZW12Moy[c[sRld% h]I.50^+fO74/_>*6 1$m`g+1&9#hȠ+Wi!mvw:^~ d%ۜ\ GY(D02D"LRzUw\W ɲ~ӫYߒ!;h alsD&.޾w=.&7h x k>+DP(J iL3kZG-}պ2j$ |]8W\aj`V>|ؕDUČaɹodKL*o[ZI:$jLDA")(c Dxk=E׮j컢鉣}>Ci{=Чx'Sg8%>1o .-i6ILγ}+RPXJb.P ;ar$T=)@p݉|(RtpT²wKqMG˿J"wF\s)$'w"ӢJetQnu8>c`}襸W}"ϫZ o$x2ǿ+pϸ'szA.bî/< )2̎._ffjҭrJ,-4:HxDF1~|dɞ^_M_ I~%YXZW `@!HrH†<<0]5;;_w@/fZH󽥄O#S"yT4:A n(0A,${6,_=h c07$ |zO 4äU@y[[9b1IL@׋~՝(Wo[%*K*޸IBbp->Rq@Vr76^6f* x:_j8ܲ䓌/_r@ZocM2;GdNnDOxvA8}VoSSނ<0"oZ^.=RUVC^d½0~V%M Pa~rN k8f8BFCd7s8/+]=*Ϙ4̎-Ώ ɗ0#JGg8tL':кlxM}$bd7^V2VT" Hee@>P?aa$t*x 6?JM(X8 {iGT7` ZUgsDe\iU#g'T@# ]ĈVoI&IsR>Ýs؊IF\}JGS̲1͍ q.gcCε# |}Kj)x?Q 9ClXrb+ c[Vkh/eL6윸_{#Uw&DY{+?^] 𩥒v4$S!4eCɊ}4,Z-YG>nٷN^$XB!-Qel6~\܊|^vr7!c*8Jy0.C)"dc63z~-q~m+C)Bl[xtrW:% .XUζV޵,DFUy9B TGߥ@<3ov BqЎ]Ҹ p$!j~H~YAcIU>L?/f~WehXX\.u<6ifQ?8pb4*i)RYHʧ s%cm%2_PI4@pT_ kte<.C"%nY1BUr_9-pcl%4Jib>/l%<w ;)"Zi[Ad'ȷ!XCp1\ U21kH^@:u:M<>*9{j։M0c) h(~x '#3Ф= 4h!:J\G8>R`J|sNiKoWQq?~ԚG R%[Q_z]K0 9?AjD6BBF= r 'S::P 5yI쯟q/(6]$w.ۨua6˴YC/<֞?[kGf~)C_6xK ח%KݰtoS7xt# %a]fA.|gkkðzAQ)(XXn+=ZQMo;"Lb JR&ӞK,nz C-ɝ2Uӗ;Y.+> fz}!'&tF]>϶ CQ*&q;su$hyk(3τ羧9I+eKI4խDrEnЍ5"=$ "XV0/Rd7`#-R*j,%,6ϼO!1zG*Ah搏jּ!k<)AQЙ-}˩ %^XG RZVBޘ>Vl?+(f [#Nd ]QT/>MjUv!7{`mCz:uǒ"0LZs_썝QӬi)OζlZh. ͱ>Ϻi+76fK%4U=[.)l oY T{6o6bs#æ%pSbDtYl$ P I ;<1ż&{2YD":S. ?81I* 5NQD^0ضǻxI8P%r7]j}p!!Fmedx[`#m^YD˃r,Hg- X[˽`ER!a~:}\NhCǃns ”S+"{Pʠa Vbҟ/2hZ[T?qa* BR1iwNq~О }O\hWvP@N?"߉v2 fe1w;K͒ oghJ'CWko i3-QνM 31쿗9e?x~KF\}d"U ;!pzErV ?zC?(PT;@xK~\{>X#|ÈP * bQdQNePqj,翅ŧH=/i[lǶvbwJE92 Q?PWNCr&6/=akaC] 86.^KJ˼M?5}n1(ҐkFh9fT{d]zZC}s' c䵸("h=`,='.,d\LnFA2\;n=?!}Z""$ PZ)jZ:zs,;W]/9<$\Q@ǻfMFk6l}Cdq=(yD!0JjPd@xxVNSf)eY5| {Or=&:a/NӟyT,$֟Cߘΰ9;p `۴Uo@#~k1kXT2Q CP18Hy Xѐ<~cǔ[p^i"HdVGU Ip-W| 8Pn dedf@:+V$+vSCja9wijX#н=q>3h:ʙ ǚ/+GH^cTN0w|PUPuyiA l+<xL= S(MP"ǁ{x}G=+3T|]U%wsV5 Al<})o}i2o^LY3Ă=c͖ 2`E+_[$OKwGZzTW]cTdG=㨥ڷj47u㗓5lOGqg㾕5J8 ̿^.1I3p%&Q"i14ux=R |>F]dC?1/w_ ޴xp͝d\B){PR &J!$/ iFo\Sʔ\n{V(@{Eړug_w#5ҫ_(HBTPui-j&XPg_,4F'&[JԔJI|LFw679u$xr#̴J)2D/, ]WݳD3<.U< pQB|z#3 9p[6!d\ZY*#͆͠>s jlmkwƕ)[!FRgwk =Y][]50zm7C]x'un -lp$x~CgMB-4strChyfqSg )MAtH PTaO|9!W8r^Ń8 my].w`rK7Q^ <yF4 *hK[wN"mF 3Ѳ kmz`9f0Z~hF/ 誽CucZ NH+d%q6!Lm^k.}||5kpEO~ޱgYZ ?z9 /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`yE=xw*}wt9& F-5){uZJQJJu\nm#PV/<=,W D{V `ʡ  &~wo@@DGX=:HSլ<vyB5k%o,h+hft̩OTxT4oh9ϝbPv D [8rT[JrxXsg!2A48W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214:6/E' |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! 7]Άxʆ5.f-9 rq8HϡKkMCo&G`7owi:©V D0~* eKWiA/Tv0P!tKԐLAʳ.St01+Af|4C=$0ķc11zhVtX>K2OE",,l |!QCK_|c(Mz` UcV`K! %ঊ1Lw0֝A߆Of IE"ctC,ǛHh{XO7H*0̱+j .k|u{FVGב ΅: -Ǩ!U1iQqVHGlG``GZ _51Se:B)7&Q!_PIIfl S5!!ґgYZu5 /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'r]ˠ)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)xY9pRPCȫhxƊBy(o2ay|ojԃ~~ z>\A{DJ UagYdL\:"mUo#SUj`1R}~Y.dٲU0AC{00p(Vߑ3ԃ?Zs/HJg0[,_{,+ZmZ@^&9P'jO_[;pFՍ)G|3CAj-v hAǷD2"^@xHuKe0厏U>M%t(yGn"x?G5)U?[3j}';Ɣm6eV0xmu ; O+ =['ܜ1%(`7 !WulpDV|s@?y!kE\)n~B dF&8vlqaOK&OAm؉@=eׯ0 #uhV\TԜzz4pKy/%b_t*EȆ!6B6^)Qiǔ-JK0Ap)6`͔-  A ^&`aPl2+ _+ B|ɛBm[mO 9ܫt*&̨GR/* LtZX{Y=ɱJAfA Qa=+"{4eZ-.UD^G|_U a!S8$%)/IEYMI)hMUW*:id|Hx8zdT]6 x0u75nl =3"ql/h,ޢ{:p΍CjU15ig5ea. HqֵDA s|+Lg2E*w/dBѫc<j!+&Lͮ8 g] .:&_R5TqkvVrijhyXOsH>Vk5 !jb[_~2}6}_tz$ۿ*c2 [u[$/q!?+( MXDx^C/YJjZOи-1;k`DANȄLժVYT1&䓘j &bImɟTHZRaN;ŞțFpŠ&u szKZMd_`Nܸpv_B^UTuoJw_j= YZ ů0~bj ;0yga8-3g{ HZu԰71M"1:DVfށ.Q-BxTUzO w$1#ğpj~K<}b2n{6'6{F-O3BŬ 86Qy\ &#WMa]X{OyqCA1ID`{QUZ" q UWu@*IA1cҚXj(xUbpWݖtYJ$͝BͱH=s̐#@@n](_/ V"{r]ZƅS+;F[b>I*0K f2_)N-^YaK)YqaI bTѦ\žf $1M|X])|b KYEAE#R]NވZ[ni>4@\R^GE_*<L:,r!YϥoФ]V${+u[! ֞rrΏC )Yf&&BFgOnű%A蚠li> ߗ+EL7/&@0ք` ct(H8_F ~+@yO?MA;j2yϖR<* ^q1zV>gɅ5 5oL` W}u" 7[50rOfHKۆM)u)shjnF eI-1 TSqK??J1 ce$4@fu WJjD3"ڪs ?1d< WiwG-p(ՐP} IE#Z"fd0(RTRܠt7LFp L5о]+JM-HT|;aFҽ@$l$Dxl oISbRJd^AU 4.y}貎C f5AǾt*BsnٹNziRJZ?Ęl #4p 1AӮHPBy90ͥ cfITkL8=]=?4 5KW=j=> v}]e粛]wEtoHxvcmTIE<+MO+V<|-xB,**95 $.GpVmއHka BIDQ kB84&%;N}fG۝&UeĘ kG!!,ρ.t{ |*Eu"JJyP`>d}m6jQ8 jn[Z2~y>j4ْLa}\ayVz\e%y\i}e^Cepv+e*v,%d@6*'sG+$ؕ;mQo0U.mۛ%){uȑִLS"|bm[*3f K8Aij&b'PߑfoG(KO Z^I11ȭDl( x~{a)Cr6|Z+EE&\ӯiI.w^nmbz;ߔٍytƲKu%gN.P:ظs։0¨w^;2ȀO|nD;poY 6@_PGro@KMQ]jjbOOq2*'a9f4 8T|n$$J fL+ hq, J|ئJx%px⧞|BD$kUkd՘{v"9AAdry & %|3L)``sXhOf8q0 wccG.XC2t͐UӮa%ȉYorM|J nyڤ/ oB ^)Gf8(..2JB'MiM]Tހ{E\C">˪qU4-^1;vs1~utE9]թYJ@A~r#A6Ö|Tgk`|))yI3#>w.GJ jJI#sUMәzn!>7c8xM:CݫJ6Ґ`y=z:8qΤ %q/8IH'9EzY8bV0E]Y Fi\J~: 4DŽ}bt#]##_/-y'W-($ulIEk>p_F!@Vk!UyǢTinK YNoOY,΍CaA*2JdxDeYt/3n=f]L\6yMi =2֝@ ŇAϹc6;1) :{\ю{3|dW7䪞Usҡ;AN 2]U'a ;OI砂tsl'G0~PRϴޭO6yٯz/8x3 3:{r#BtM> ~B <зxxU/ߖw4A becK#占D<#(egjdJW]KF]Qkly?zr+[~}*3ЪG3att-v#VOI]2] h>6Y8-b@BliC%A0/ p7A]QgH:24_ñgĖ$Zcҽw D-OP)q d:Db@ϑ$O\vxP+U5t1rUT%&fg%~F[)xe@`N@I*ؠ@TO,;S@z'.~PDcnrChn 5Y AŽV:e0:L!) "44QJ*P#.ܭ<5md˺x) 8ZՏޫdWfȠM8Oc,g0Q1#э.v͍6]I,Xn>7qi-*JJbjWpӼ,w+v/tX%+Qk bP bh,{rxc:k^I@} :tX]Z苵 <7XȋUl`Ǹ*} Y>о߬hprI=ǛFIcbA32KJ!KQqm7,Sƛl=;))b L;VP*np@uu+/}pbc=b؎`M12< ʤyDNT@:rjڠn%hI4:5~@"u J\Υ٣}ũpDo1;TT~:u3me:1JbVQH0_K ~e^Ob=]9l4F,.DAn^aRA15Okb<0חwӔfZlxYp1TyPbS-/u>@Q7cd\}\Q+dS~0A'x k",QuVїm9uyM^ ;1S}$j7#wIk 9v*k,sUGpxp (4T>ݱ6/'{@=!t[ `de {^Ll?6[LUBu_ \:!VmiSC(Efe#OS:sAOXk1(Ċ ݚbk"B{3r8;]iET&\M{+r:[ENhN1cq|h` Z%4󗚔6r5yez򷡂_Uz11rMsuQ$7jl*W9Z3B@ 4\2Q/\m80s^s_?)m[e@H2 r#3%U>xFZqkd9CG8ȭ&u^n;)f"(z1K[ּQt(㹠53J/yڡXT X`ނ;:u$mQ%gݹ8㻞#[wNcfWd#SKT** cm.2,8±,7͉^aW>lRRp(117MQD2DY_Ewz1u[QG#dݻ+&<5-2 j~bS lif KQraL˜‮&V$C  s<q,}&DF Є^a)JoLy3M=@S!,M$6 #C' j#yo>!oQ|ԂOrTg Ik[.%, U`}5b3pXEluᘌÑ>8,SY 5. ?;7 H ߏbO2xSo`I?58Xw6)szGzP5M/'qt7Ȗ6^ BTg}7͇L*JLVvwT(f_ :(eMD4-\J-x=4E?t8?VBL> "JA>M5J"!*^m0M[V]eK*I?t{¯]mgmL(?=UGik^@#5o}ok xx?m/Z"Iw㥡uۓ7mGVru#23o&.MI/#h'j*;v#WtYIx8 A[h[wYӊ3fQ8XB s#_fNZ[F;H;u6X~!8 g[pC"].^Wmqoļ#X,rmwbUI?] RKA` C?hmhcX: ̌g 8^!37603 {q!zRcҜJ@ЋJ gF~hJEpDyKP@C\RtGq6=e@P6e O@o|Fe}ٌ$b.`ɜxtVe{FK JT:g;l14Z)eνl0B$ѝZ*)I' M~ H=aI[W,mo+9tBMKƞHyG|ShRtIg g鲛G/W^mɖB 7|'{kp"٫],0{ߪc]ʑ Bjr[rm[4RGa;7&ᘴ"`^6X4y"Ptk/{sTKJV=ooϩA w8%|q)'cC6Ei +dy;>JuȚ)yQlE7jiCZ'Qcg6TWd&AY ;D+ +H[rZ!tK˸kp]x2Se^gB[LIUI2X1MЩɳˁ䕿P~V~)zGȠQޭ/f=,}+vn Wsu:O 4Doa.)rulB8Pw_ 5CR-b\(ľīn h.njL3RG&7sJJb/΍쬹q1vPiű}s'5;럄ʼnQ-3̍nO`6b,2vs KMx/yA7~0dPr`ͣŮ{$.Id"DZT]pGE/6>Gf4cJ+%٭]c#Hc>hpK.V:e; SmZ#(m|74,,,Kza!IlM<݃qgAMJ]+ / }3y(3ůPщ}n"ްŅy jƛ~=ОKBd'K~@LCXRsǸA|9 aڑvQ{2o[n׌]:v4aH W1# bk&:vT` o=)D +L.f6߮ /]uFbOvt6wIIB̉upd]O.LV&o$Mz}"[ՑT\Kqv&^$9ϥWGgðWf۬ia${6-RBذObXTPt4lC#Bb XoZg"* z+ M'%\!n+,m}x}ޜ'Oy*vPlL- !2e&֢W>n2l牒Ӱuw'8W8塼z4,|TVÜ^H}SpO`}!>yEm/57|c$'/`LYp`؎YKIY3^]#4b4<Tj_qzϚ#&Ǿ8~D{Mz??&ZC~^I~g4@*J)ĦD)I݆DT~wB,=< %o*{[U5Z7躹(}ɓ}WN}s3{lsFG~-<{ i)mPȟ`x}ER3Ţ$TwP~ ͽpxնmas`  1 P'k~s Cd= :T Ih1]{"7e(y0"?me(ڢ(8VKmݲ,ښ~Ț7?Vg2h$OrR_-ob`GhuHU;&j 7 g0#6{:kR'.ֹ䔯]'hQ2~`wGhyFeUa@"pJZHb nfgi8ck<8NFxu ?A[/nbis$4RҸp:'_/3OVx['A||Yk󏕌胴np5Ԭ2ʨwo76(Go\y7:(pQ+Ғfo~ܵm"tA^f{am2{l2!Mk;`Pƒh0_Wܞ$&9U0 a8h}vq~K%mcIζ^M4w5_ŷ!%BC2ZYHqJ`f;>ODцtSzZs.[d/{Ԡ[h]oVfI(GyA\eǹVp8CU XYA@$a&!3F>٨FwG(pz^$PWk|bM~HNqKR~D&<|{@3W}b$X~WHudJ+i tƝCtqFM$[; 3 ɓ ?YLe?cWGW3U[c2 ѮϕClfc`=وMtv :O14&LfG 0'^T-Mo%o =ٛ)Ե6MmA$%A1k+MgBq;pʉ\D>'=C%vnsh>&M:+}ؘrs.zQ5QuSXbVʉD\+זs~}3^tL C*bgb[|YM&yip.M .ӣ.<;WwNkxsds@;mIe@i8j@=P9K~{.g].i~ΈO8wTW1$2hq3~}d߂ 8Ij袀׍ZbRC[iX`sMeѿNm|$! +;-N4zFlL=nS/pT"'xԕ~Dz|A6(Ӡ4 Q|z\Zem2ݬ.nc0~vjGNB5AƗxaDwb\P Й|y*V2yݜGhӞ"@092 H|BA^up̨ߙ|uhMi`/wH&!Z,k㷳+<+P8M%R5-xD <(moHe H sC~U*&oTz,}۹@K%i\ہ_>V0qd"OitlLs<:VHL߅F}n zςhA\?_<= Z򨗬6b+*@]?jD*[rxzN\ؓϪh lk'EP tωk>M 8ށGƙn{|!TD's h=Fum._(/\Vg12yW޵8Oi}W d@zfp ]fܕdO8,gwFK%T]h0z‰#OăԜWyRTx8K-|CǐЌmc#jIܜ7%Zƽ%leJVP H4JeSC3 dR&:` jmFC8Ϡϵ\XBEJxѴ 2q-)`i=\a_U,[cVk;)@(?6WwjEO048mldFpB`Bc&k5@߻[>l񺃃?֕Wyz/Nt,Fb"$-O=fFZAqDw݂#1uT8;>VhUkp XUeS< dA|2ξg&ө)?BCS!r'z/ӹ|sjl3@:Ck':J XpIۗ0Ա~ơM njRK)%P%Avplo\my-t13Ϯp4Mc+H ͜ Ǖ@o;-D7JjԂO s&\ @Z̖y+Vuɀ*1H^8v+XZJ5-`n<_ߩHnT18wDnRfSh܆Y8Ri#>/ɯ&gA2?tb Ўbi=T!!b!N|[8_TH1|h9L`߁*hRݙP>؍3Zd;$5۟.j;J'v ]ezU;cIXVviiBd'鉋nj(zAs8?[|@] Sidq?#7"Cٚ, F`,6:Q~]i'L^WNc0$7 wݗ͛'bZֱhjJ9 $ M]hAl{]43 ?6$42پȡGLFu-wݵ52 z5 mnY VP G%l—%J䬧fuӍ~`NiRE|\7}pg SMJ" J ''*rpa }oɭdzGNCHsksG*%/VjbQS/9 [A|3PZos  i1R>J1/H׎%H0G/eǴ7DccM-uΟ)=5),OlDMģ%F}q}~])ء/* H{wF/f!h88kH|NJ60S篥IG>8P٢xKĶWե7;.S`g˥*9֝&3{[%ApD62nE$26n(pXYCJm{|Ivoj5>.-Y/%8R>]6Ѹ؎4O2$ȴI 6W_kʛf;~涪6L:)&~/4ܕ<. *Gj |_oXA^/uFCSvz0/@Qm~-oKhni ×>jD ˤL\:b\>2HRu*U(d'#13!Y7ɕ /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 94]ˠ)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|AOrIVqj)n ?S;%+`&^F l$و}$u?ȀC٘膋- $LFDR"M)S둚ѸOofsa4Yc PA3`D,+-<)IXxxCf'lBB^:,37N SjΧԚ'։Nzv3Dѱ5*u}Jo);X^TLB1Eh%YF_xN;R&ut`zC+RtQSxYTf&TϥTz T$ c*3-5K83ظل?Dԓ\6Gpj1=B2A]9m^8i$ R@8fQθH4x@<5_rny|f=Jc5'(|6'uD*t2}:})R LKRO5(jQr2\s3ʡ-:=?yp.|tq&?1XhI%4taJ.(d3ѕ㎵{^ʺg>1^5Q\ϡ5:6@.GK`_N%r QR$+z &32tE:ʣ,=sLzf)+dJCˑbv`|neYWz!-J~-ބ[&u,V5FiJTw}_rՖMLGWI?~o(ԅҎ@H8A=dzZ@*%doUk(1V|B+0NCvq31I+y9F,~vp9&e[F-i8r%Phi54.Tװ7U;⛬0NFc0SL Y N%yZVejK,GЗ4W_lb="3Eg:K{Km@ Q~LJz !y}jxrL,aՊNIi]qDe'uQ\PR-!D5w{/7xMK& ŮwH7P^:g Q>Q{OFF [BZı\E$8H=:&FfЦĝ̰:'g[snf*49C1;e<#(e!fTL{nq ?|ѦblyOn,rr/o^[57s EKHn6TUf3|GF98ރW}kѸA" `>5_uMn^&L%вϾMbٕ=h-0!cwSM7b.QP<ѯEuAK8#JV[RD ^VU \YOTUc9?A,!'1v.3g^oɆhe; <.ZPW'Y|(Y%j J˃-z sʕY_ eݾa|vYlaUaC(pڏ.b1M?@י^`#8gYZ %b$ Jn6 } = J 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_id 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@AЫ4,Hvɥ[OLyf53*WZ*n'sS=Ktj߹ /(PO/:GCl6 hAO텰aٱU-$>rx=mxPݔf#vR|M|gyJcᇂ|`^.W^Hu![0 ڎef`BDe )2YbԈvubs8௔F/!'AXtђ_ eqk?]"u`îdȒ9GQؒRJG뫴1 ep;vL'šc#DesƇH5D0%`WId,(c!9^k1%䪂c;LO&=ltzu>*e)f~ P7vnmz&߹77.Ŭ.}FmU0^{q>--9A7 o*ĵE#!nB8v=کklXg:aj(O!kk g1K A(R2fhQ0)cFqC iGzx|-< 1 ʯW(OhG6.ePP#CًW0w+p,(&4ZbHSPت&R F7 EǙpmWL=FA{SMvwBT6)/* ZA־=fv'nESvdӢ.*mG"'0~jM&*ʝe`=ҧ0S0!p^[6J8|fR'V>}l$88 /*;~NJ:MԲ]2"Q;[&藈{ˆ;tঞ[Z'1L,iW a9m\H?+r/\NvKBnM0-"z~s]z%?_ӄ9 oe1o8 i]F BtY81q"ExjWi[OV#<4PC">߮Hj"l$j&IyQ^akAAHCEklƄ% *c̰h(о[pk眰2k!Qck#`}Ro\R}X*k=0|]]s]u4K¶R2|HK1^" #* 2YO4 ?hjVB*K{wҺ9cECl :M˗Ba"w!9?s}uڨ,S8ZCz?z5B<{ȡ8xV1UUNH\m.0Fɬdz@JMTw ;A_JJ98{^$ }#ΞT̪Mxj8($aL6`!_aFéFy ^64=y,!) հɧJ69+|:O"xh GAJ67CY:vF*p>r/V~A?C"n/\Ŋzf퓒FFzГj$"ӫs!z;"z~LT΅TOh&ExpIi -!}X5IA_ad+:v)xf 2*"%g^ͩ 4-$ʵ=8e+pZZaPI|.yg^<>=|P3Ikɺ:wXzf3 ʼhW>8F O~V!42B_.;N{%wcOp4^lmN/n>,ra@L{h8[B[ ,-CH$ϯZn "/`gؠqzalSoF5-S?B # PzЭkҜO;Ch_eٮ 4XUޞ忘j#wqIH#@jTC-oo_ 'wT.Uh +(Oպ8 kMՋd!rz{qu:O4#3}!"]yZi WͶ~|GӃ¥uZ`]'-V(Ln@ޮ On?md1cTg߾s֕LY1Y A,LyM2Ǿ/zauEWR<-3s 栬)19,".L0[ATr6_x&8zy e HĬmb-/zӿVJ.`.M H3ixqSh_ w8(Y} ub:PU*o:$\ZYJ_1՜ 9;惺2l-8}bՃ !7PI;tdH^ۯ3.zd){!P6y<*uN8Tb27' ׿ rx9UvHq|nZS~h#Iw^^|)!FZAC]K&IC^QO|6QVJn*+[`Iy:bưgF|Fݸ]fy X6BOJO~D\Pcyy<|Al7 9z!gb=1C5M.Rpf3/o-er3~qr>ojD /*,u؂>o5-y`h/){UT==Lq[^ 9=0ՅB==7ё|~(~jK~M=Wn1s@*#Xwd)zκ㿾@L].y)GrYPKdOnQR1i ԫq#t5`knd3=Q!T,i6[8Iڥ~'KIzv۶[! v :,@>mؼ|XiQD}[ wD&~hkȮZk nxQ̗e{^ƕxl0 M ٕ]6RV>J0{܀!lϓgaYW _M9 ςFeߖwWBȡ`GrA؉^qU!u6>r<j=K.o'vi@n<NWjD(IR򂑒 KzJ$vh #v.2JĴBwUjWc 6vXc[lhPX+pSΖ)ijc9EԂVQ Wpf\V0(3=HAz-Auzi`3w<yxf7aKBN#?WShA't>T qe 7T Fd=^6;}ēߓ (aj, ADN>".e:2Oƭڃeid`^ՈPUHݼB]×8Et$5*v2?2.~R+J' }xOz#,0JPmiD!IG^]*Eoѳf5rK\QtqDtؖXQNAP([Z&4V`\[6sElD<-շ6nac *֋ X ~XH=!ơv6k:Ms6K*—^# [hy&o0}/0Jg?œv8M7 s0ndp_"=wZrg+"$Ik3IxކBNbȐp¹"]wN1`Tg&=rK}ou(Z}0Aw3'P{ˍ&e+Jר"] *Ck״Iwh)R7|QW;5 H| ]գ6=A੐KُgƠa$tY%Wi?ceO+m%FМv| [}22볭,ɀp^gġME0uӒEe]ss(ہ4GQ BjXw)joef D@Utթr[pTOW\mG|uTb3E;' ܚd>wS9*1{)l=;?I~Iu#e99`T}Zw6^4x.xv" -Ԕ1FNBެ]h|ǧm M]h/z*KCRE%$%K]!L1{7#B4 xU؇?!k` " qCasqYG(+=f&<{t ]g~)emĥ3s=;7H8jUSwBKO ћjhJB<ÚL e}NDđbtYw?vG^@s-`3s?UeU&qx-~S45#PD[3G>}0w[HmEi%ga뗤m1d)/ږ wO/0z(/ ±iU8z[яqT37C5q㣠!-w}k5bkY96PybRPPq]hM͕E!]7gXi:QyScGB0[-HǷ䩓|xx;%Ƌ VWkdLzf.gt=*G*obL7ASL0v~A4dl>Ish+viq0G^[)wpXCisb7 L(=Ǭo@Q&'dAVtGZ? h/c[pΜ.#%{ݩDF]SCf[IĺD J[#Up-i1K[` 5_=4Ɓqڻ|B._5Te]g%D^ RތCgz/}a]CoBQu7 g ?[*jBM%Y%aBkd'jZJ_1zW)%}qiaGҟIvcNsa0r^]}Π2QSt]C֗Q 'WsG '%4[.ـJ0Sϫe\F>Uݿ0iQcV;cD8THao 6 BMljX:b]X|#(ӛ:ػ:_v:!bU/BEUapj D\. cTb~6z4ڼ"a nˋF*E{[c/Ұʛ5>_;ɂ}mb-Nb6g T]To:3r:ȵmǸsvHŘ8g1][a.K sS KNy>48F؜>IР44k[=RLAgބEUZh ᝱6/YW;筼6]>K#MBI F%-<[k2~31aZWt<~C}b;D[1<{r|3$aWyKj4*?í/%I'~h^5vbv} &_P7+?0hIߢkд.4oFXDqƊ׍=K4\Kfԋ7M؃4rp3-z=`jXe|@t2S>xv.ǩOjʹr뉧bmɷ2W>QEڏ}hYpdPn:enb#cŨ;#@$}{JM AZo.+I4g^1aA P"Y}l([Ok*^l^@]ubʥG-o -@+'"7/~=?!۷8,u+nrNCvJ .d|\+(cBV|`4GͰ/\kIh`Swl VxBݱC\zׅz"/ %hu&$]Yo2 -#gl>oek^btIBrv8Aawę{ UENU&]!j+(ED+1@Hu:+Q{D"#YUo׳5.\a̮tkg֏lY~Uf }kہGOOnC 42JxqGjR&Q 0[]YS=wڧ*jSn*zfvQπan^f *$',:|gtKd>Y+}0^EѶN38g@_FĦХ2XoR-gtRгVhnݵj9k n[؅KCHc6LG:`j_(4'lZ!U2BDŭ ?j73}:.u$e >d-}V ɝc/ m20x$U؈7k{7mIA5"LM>RT+9Z磅%7z-*KlP?A H3d0@i T<xH&Eemghiت8҈ j՚ r=!3pq--$"mf#NG$nQrD{uZ WOEd VXOSOoD).0Rw 'P^'4D m~vOK 껊rטKsxco8| GPNo4(D3 R;k׭YAe1N,qO ƐT<FtKF\5$]k * W}uuDd5iPwEԨ>Y`W   ޕۛ0I# Y<Avé3Ҝ%F}ƹnv/dtl?_ɱb_dmԨݓ~D l{P*Ck0jCW@uPF5UFA`_Tqv1^ng2,x }\2;.9 u9/jwvRiAhxW ^1+ZI$_THK9e5Jsk/D7} r)_/}7g;H}C<dcT]āVNݖl 3U~!q)1a~Sh.05cryL0YK&Ր goM &!,Pz8+^W#^J\ CH/@~L_6Ei{6 %ZxqzI[Z:%U6ߟ b76GdF]w~%(e-_4Y]nc%X4 w/O\J5 v#I;[.s&1~{㿘yXىsTx d oWa@!=DTdė l/`4#і~e&)t!LZF~z]E [d^y>cK fmЎI4gt)\D؅!X UH;ӐtS').Ō!g(?<;=9=lvӡ}y@p妹kPQyP[_hKm-gLLxCsY9錏Q+F]LNjܯR( ;%#j>~ uգ{z& e^Ѽ;Bay@|[.7TB*x cEDz <a0ؤՇO69oUv\"JLTr>Ţq[C S:jU\3z:&Ky|{%/!ʽt["bC~{,Ob1A#W84<ƍI*ZR*x͛r/bnxl,G8o *: 8D_ZWߖͱ80>+_(zZ)Sd!v> å0uyͻjAJ;#p(Zw >{\`6|KnQzN~iVWhj߆2ua[)"!!9 *j/;J Eh'{cS \aU򣘛.-.ˍ;7r]nЕ p&-Ԫ&jU? },ʿb?,F;ƏTtܽj_,yXMrbs:*3Z UhU7.$?1Wr*8DvvM=My1\g'~tAg #. :Z!`שDA-utDB" rn\2T ːOYy4ulZܧ*ZH_7\$<#Gx]"R o3fPEX[1Iwт NH/غsR;=/_>[&c1/tUd͛|-dk>DTvts4&9VdFWJR¦|?O nQ ʨ n?{IILΟ41lə1ַ }[ 5rkڧn:ֈZ" bF,s pgk{Iy36TำW\E, ݇$5↩ReU(~O+[n&P!{T1/h&u\Sdńl3(CTtAFd;/0#s:oM 7; ap$C,RO8Fuľ6hu A.ix_S~.>N]nG@R5c~`̔_&CD?`c8f4T\!O vAazN&AvplM_'VQK& )CY\XL ;"Sy ^y'phZĝ,2[ \9'}g֫x;6Seit aMZ:,~]a?yk$ܘ"X`_A|8T3ҹڍ[JB)MAz5Kvm 2^6Y:(2,~9>j_7&ё oL>n=VPՅ,ĆH;[|/3w+Ph+'y<ȍ)etH@;jj!c3?kska/H잀~p:ZA#mӦ |ASF]QB>=iX5\[(|d;dϱMP/K5h:jtLep}B h$!'[mySInTIC>NJBx}S9Kz5ONxlr,Vb= ȑҏf_{Jir 顯o7oSbT,K,]+f)`3 ~ufM\#$oRkl0se( }*#3%{R)uyilr3P%'gx /n{7.` u@ '.CxA4Z˽eBW~KXJ jO(Վ!l|Thi\,˶'BgJqV3p% P3h֊2hBɣN\ԨF/6*,;`MKMM;-'gcK{NL0*QsJ̡ h6%/EOO+M_GK7r໷(a;,OƉHI`/TC!8bbiRnGt`4^;lcHIMuYxrw`8̈ #^c FT]* 洈 !=C|Ґ|&-~bW%D6!i!mp"$5~1 ]y$h!U[\<l_ Lq> 3OuXE+ 3#6h2~ ~b@? _\ h& ⣙_vQ Rwanz23?F1d!U. wauz :ʅq_#lP<~[r}LFyu 8#dT'řGWVH/C]f8r4J(&B ]82&$Vɇ<~ɈbS3b8 m޻K%[ 8{(]B.ɍY4 o6Y,46a̋\>O^1J,}vS-PLSC  !|E^OtqC@Z_k<ˑy.f$ze҅SIR Jgӿ?JpHX aQfu&Ё˫K)G,>?6t&O x^(ISlJ\'H'8!]G<8QY-0BOEs%7tb=6Hp7Cy;Bdz¦x%J]VUcHWد[y$N?IմĦg$=CPC:D,q-Yʌ |vyh>b'`p=:IS/&)vӫ X WTpe[EOP`HcjZ-_^k܄o']R'UG)4V kI Y|!#)a0d !/"vyvZP2( ʮ}9G) ]ơm$a沙SW/MV%73hۛފ9$ &OOPP^ Ocf K W"f}C"`2Hk? S,D@z;.$co%R3Q!󶑌F蔵 r6QYDPCGuvD _CT7GB(SQZq*\?c6&'U.lN}i>pqfxyߢ=lPIUR](o_ɋ՜ZkvCƊ"O(azW滚}I}*g}N?]Y kK27-<)U ׽m4K.Y~ g!kj均`^R;,P* ʒjT{/2:ȳPs0i0M ydc4?Sh/Y`wh AyI̓l[ C⚃øX\?z5oD3V fsЧL/clf.HlQ [vNeSsgʖ$~{h3`BD6ugmt"5/mNmzS1:MY剒Ycauv֋[lHh osM24{/`M5\-wsK\ϩ_/KNvќrZlD43˘pMK5G H & gYsƣD?!E - Dd s ^VkƯ.:01ANe Scz M KVlpœLbEOakK]' NCc--a-Kb&isWV2RA6āۖ>Z:GfTDsq+uHzv@j+C_6_L6+~HaYhK #R|L-J1n=`WD"#vQ P"LFWԋ,-!g!Gu[q) XEQ! ti"mPdN}BVn?3QAE2#7dJPVJvo?ghƹE1VoeQuٰ~JZ;J +%pI|LgJi\f:Xda9!L&.UZlR@BT;D3<#4 1JY?K#1uZ2/p,[f}rYnnP,-D!8ISrMכk GBYqvnuگ+LךZC#dP>zʈse>ӰT2`U}-Ok]0wChR2rxFgw*c0V@Ěl(.16C}U׷NT3I7)NlSKuqS~殧w% kTtIwڱKL^Gᗾ쥜e$l 65J9Q+Btsh9jsɼ)>gƿ5(˥׭} [r`Iܷm:t)sI:,;}/ nIP21Md5jJוT^gOqJkv3PEIZh E`5 >Y5UX3`:UoQT}rXTHgg\A\ t @U;,eg"azǺSx2z\'oFdn,'&P|\ڷ\&0:5Z;u-2܄pFb1o':hc eU:`PJx93j]BL[p0]$wﲄ>T1[^n{)Nfq'~L2}N\g"Aw`i6]cp<@ɝ9N]]ygjVq%{T=Q-%?mYW(AK-- CgJB"%$hZq5o4 ?ءc2C]9@rǿ564P.`dOUZ7e 9 d`ɦԩ%$_?kbI;M $w[`X8qg9}[ҍ4{J%l 7\IVU$-& D`QqQ=C*n\xy/b 3rHp)eR,64@/u3YK/2FSš~hR{,3֜_\=.q%x8Th$?xPf%tJߚLvBeɧAp(9@QڔPi >A$ a>:R*n9:>Jt>S9GW]jaYk4kD|/lV$nAg/Ժ4=V%R r_ECk·4#l=$Vݟ4 xH?F[RoD>A3`5VzN! ⦅B(& ($MغOsP_W0`J]=HѲb\n5r RXI!O ʗ疮sG=6pZ>8}֩K۷!WN(h)6lb*qc [Cp>Os~ ?gh/$TS̿LSe|0}?lKFus]/{ܸN\H!Ϫ(%d Y ޹]2Pb:JUwa,zqLI>]~ԓL2h~0@&b޸RR0>B\im9MK)8ikd蕭jՙ;_fw;: eE,'Uk{!ˬWㅷT%7*5nw^vGcokNjݞAMEJ~q/ "]fDYr$-BqUuy}K- N@4ᕏehf}~8`g_g<["8vR ;*<'%tK@ۖm]^"R0r =(k W&aȿcXe:ۙ9֜Hߏhc! 2Ġ_ #el2!Y"g8efp W;,m$ :mڠ,v'88>0T. uiC }g:I>AWLo 헵yGLbPc)e Euf ,W[kBVJ[\p;B ˈbF` $S k *:\\7@ Kb9#'*8#acܗfvcoHwZt)H B%B~uiide U%4"7}ȶ(S"7_2f4oĐA75 ^d/ \ ݷZTiqe YPx<~6ΟWT1YrMxؑᑘ,DζaqEC;6:QC+,Pn U2!t2 €39T'AK-dY>ԫ " <4& H#ZNS?7du yB0XfIȎL^ލKgoקIgo4C\h6,kx }W' W uwa± #W &#TE ?}~sPÉԼ Z_ymoc V{'Hówd(Xԙn̥ifҒ~/MVl̒AoJH{rr(g]J?[>6UVb_cNt 9@HY1>qzۂYz$ RW|گDdX֯vB@G;0"a+!)d^jqR!=gYZ   nb=\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1LPm,$|s: #̶ܲ?>M -@?%F 6Nl)! 8a}c;&jhpWWB3.j9WR\I \@ [َolcQ )!ekq"7 W{Ol0X7zZr"${$xL~XyT<l=ek]'G^*749+ݺGe/]&\~%?TIJsg:w 9>&G/BX,FhJ䛕9󩂨a+pΰ5잔L'0p=/ӤدJwEt(MN[>a!4+on)>U\ºx:gYZyF /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6x]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r3:(83 c]3u"DF8y5&gBq#Ta% QY1PDC2ǨΓ> }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,Nmkؚ̂7Q ~~/ a瑥? dm(%Nwa '^ug0M\rGH\l[x1!<˹{p檣Vw͛$Ng^z3A :Sc4TyZE Ő#s3 pδQ'3dā}W%ߵxTeB@K&w7qd_%.y=3m–`VQk#OI&up) PzeT7C x7b IrțMOGӘ:ChT0F>'m f)YXP6MRF)T~C[BL]| 7uN(rAc<Ϋ>5CXܛ}{Chn—#t巯 7FurjΣ6Ӛ wG8Q+`)jUF |y/RRKNHmfZ6a$ L,:hqIHX,mֈ@$]E`s ,6M씺C 3YVZ*]R+tzGAdYe]}@A,d6b:܈뇣򗭞…H8I`b Uy9"08[x|@?xr;A /$q-Q[nt :VDLŁSA-/ =`y MʞTTZSC<6VC~==.kۗpeBlf5C3)،pbׁyTg@2r\n=B峩*";爀SbjY^ FX'dgc!,4 t 䩶̵Cc$]FtqښA+9t4 \KlG;f248l0z"҇i7R|<>zYWz:vDO[v' BSַ\;+F`V,!jK /!Eɰ0I/* |Q#)X2h1YZF| DBi'&yLq@dm C=OTb|y&"ۘnEN8H (Bt2+ܐx6 tRP#vIwAy D_ 'F'"9'XqF ˑ@M/kb+fj8斏'9\QY YttakC6xKv؆N!wլuK[y1 +pSn0Saq{xZ;iPOԱlgJRD^?^*W8u.5]/sW_4 ׁ-(CHޛ~V^ii { Ù4L6YVJIM:Ua|P3h GrshxwT7LMj9! 5x̘op-)_seJP%3Fr 3:PUIdW֞3!s]AOEc^趐`DQR{`-]QA2(#?5'\ɧ=xhPۨT5i:6Y\)WO\lV:P׊MxU{ܿvK%`_u%"~T'k7X3RQc%Y64UQ.K 1US@=ŔOaDA3/k7:f梻N3Gi)S)CP)qa_ C#[]n x]_BEEc&_I-d@׭/a'b<&Z־|r4z@w"^;,#MPŻ2 ] Fabc_z jW%~pč)s\Y6QO &C0siwykt&N.m}I=4T4nV)`g^LH#i^2ziזm&`f|N|.;#E 9SAWpaKײo!k>dݯŒI}A@ÿ8}eY[Nze~pT#82=t#nkOgZ<ڈ魌;.rPPrڔROT%W0z |j#HH@'AYkmh-*YEPGD^U4[<-䁫*xS7~o;gR!!9ȵ+{}y< 5-kW0f7"Cmm/L]h*Ug ٳ3jN*o\(VjARb+Lj ܰ+(Z "̘<E3qKz5hdr} jAj 9_eTA(~֐vcfk)R5FQ7g|WiEͧzԚ*ج~1 .ί| `nuG^KjqПvP:p?Da_V>Ԃqqj^#{5|-?Q^"~un@UPz8:d4|L Jk(_F majԭߨpu)P;'Ik\[X@nHMŐuГ &ҏ%H< /@…C҃"4kkԵSx1Yd~4UW埢n_@v3jAQ{)L/0SLiA=I dAa]\&[rZxzAm-̰xY\8avsлy$UI"o(z\z#M$qcS"A$½*@-o]@ dxVQ]@ծ)|h@Djfΐ V)uc}B둍r1<^O؜(Aεq-XkavЍs=-*VoU!n|JAeeRw hLKy%\7.z4$q*eaR&E˹bzr#:9: _rR d ƔH!6/ ɏh=F@WYٽRľ]&\.آĀ`ޟiޓXQ GKAD.cLM?0|oenˬLRZ2U8 wJq&R*[n9ĝ5Y⹆]~*hU=}W8Of?)A\ ]zK/*˞(` w1vH%9NdkM2ReE{B,R`Ogj{f>q)CIi"4ޟSc8:G2dwM^(|i\k1`P5Ϣ@:Bp CIvtZ[d܄,F3e5=<3:هʵo]clөwhKwF@\L/yk\'S0T 9\"lZi{j֑wA{s6%lo 7X핚U'rla~ Zr׍)jdU)+*l0%Ayco^l sӻU2Q̽mOC{ djC~Lh: SQrkf7 @R i B;,6MW|~cy*sfrK-eofg)s; K-aYHI3Gqb͵0XR+AN/ 1wOYću0&EHR1}~`;֐:Fw6C8Eq3je) q(fmvtO޽`$s?40"RcYhV dj'0mAԘ!Xh'}m1#^a]=Y T%/IIČse&ա&얁1~Q/xFBk*\#Ϟ}IDMQWĴM Qz.餋_<ѕ bB~6S=Hu~r&Ξ%.cW-(Iա֗%9/fqU(gnNH/\5 5@==0 ia5fRۭE +4~At, +[RiN[=nF`J'm q<-4VEТcϮ?Ԛ2I.$8)Y !WJF?UG ~0by$ͦGʱ$Ô@Na QP?@2B|InHI1%OU`' -l@?v7ٮImvce2 _}5(nF&{-Gn{I1{Ջz\SE&&`BQDɚTU61C`7}@H1rٍ <Baa79V7t{ 2T D9V|2i:IF}ИTr.5&%zVzbM8kܽСΐɚLBV~,<q\x1\T$wҖI b~HsfiR"PU!ƅU-xuZ܍ =xTl4:n5 {=68 :|m}iIl\6OSd1wd6`vɂ?_g w,E:NoGo/.AtnZeLW3iwV S];; D zv VPxb'~9V_C . "9/:^"f`Æ)p#;`k!-/Rd`TEDyU e!?N7yy3sk撥vg@;Md(")*:2lI{?ve`ʼnvGg41ܶFS45%s"WW~^ƌi]`%Q]1{^nh~d)q7?@XhK.c!ݳVOMЫt(2/#jB|muX 3@{f~ (pֆx''\zIe914=ܲ L)/`B2"A]>怯Y<jagK>^3xװVryP M݌ sóҚ~9 5':UW]"=.gY"<ޑWbΓ9+d3ZMW&!q‚kИWmY__:ߚωncw.CuKd;-8ՠ<*[ ?A8eZ2KVׄ4MJD4mr0oKR zfCl-2AR2,,E!у6lpD#ѐu\|R|jМ["vʛz 3O }м#S:TL(Jn L^)e6{ U_Rh=ζc259G2CΐP(T**bM d-YQ_qVb,;j:.@eI w`W[=QK'}MBwܠkscp@ ;SmՅF"}!Df61`~;pd~*pHXUa)6J'͉WJ4S׷5%epy|p\%(zȵ AwWU6= 1T؞ K).@ٓOY2 g%, ۷QKщjGoy?ԕS=Yn+wO~;ڡޠAUY8,/s>f[5X4)4$¢@#16ek ).e-M5..oA{yg7uʦ ih3-;8dvUoG֤(.u_4kC[~e }p^/h7)ETo~ydr8TAf!fAVGĶs/@8^eAi4T RC!z-7  r74?xYqjdZrD^UNp[SÞ[rRHd'7NȺQmqoUxB xlSaH5-j5WuY82]XQڎL-;C` $-mٿ/ L>4ukVqJ3_p%?Cdy+RA[uJ:4}~$XMS`Ix5%teP*5 #K]Oiq ^* 1];TGM.IlZhE?P]Dt2<~u]^瘁ZXw xM%wUgODccc$)uH-,z >wVkϺ>[ R!;vv"q} "~qO-_K&~-lb_VUl?|=.Û.M0H&:5L>T}yGu%.da2\ ;nKuPWPzQ5$0zhP S,N{vBcjq&){BL@ppԽEl~JpNڲCD#PڬXJ?0bj,h+ %jF_ĬZkW"~^oyÓ ,;0&.U:f1Pݑa2MU yOŽ/*!W!MT:M|Q>n쵂*tDU'@b{#5ѐAeAe<c+8ߒ\-+c{p$t^dV<6 <03^ |H鹔]! DO0F,gDu"l! ~c'ё4\PS76LdO/j&>յQj[Bxc\Q`,cNicX##(3$6Ȥ&8ƘGF6ઠ{$KM{ߠTöըHuAG~*k#%΍}cko!fͽ%n~­}hl? S>I#mYˑX W6 0eq/5Y-5^1/036c_NBNLU \DV29 |y 6::OA&V֊Ўt3or`j%"HzVR=e)%NPTVz<>4J']xC9-`7xޔw#@fXxN6-}(45ь^O':E5n 413r蔂Ur1]4z䀒t!yv^uo{|\|>Kl!CD/ԋ|'{'92Q" 4(g:- ''jn mq3 .oQߎm0TqKosƋ%a8yGuUv?d fL;ۼb4..= ]$`}c;QIs1ilqZ[]G5@x)4nqC)QLig@a5A\ %;NE疗*6I 7 IhXwﶹpkp jK+ ”kIƞ73XDh% Y5yx:R|zb%xJs&l~8?T + qkO'~2*J'!UEɔ?)Ɉ$:>zFg0Yaqb+TE+cExfmrqҥ1DK~**2(+\urgL{b(IJwoI&n8ʕz #WVդm^°*=tL> Fj`s_KyT9rWA`_}R~ qf z.}1z"g<߈e8sq&WɿM/#61*!9#b*IB pn!`<8øGk$뗪}&))MGh~2 AddӚ*($+ZD>vHߕ5u=eل7HJN*c뿑-IM<#r<%_:`x V9`oo oS7n:Y^ ;4:Nxο\Li@Bk0`Wߒ&Aj"uEu^\ZہDvuY~ãϮ P> ɾhk{v-LRng{)v/ ǸgH߅J1`wH?)qP ^_ܼ0HncderUjqLY$ wu'ty/xݽ[/5QUH?'%5vnNr&͈$9k}^eK^q! υDYɰ"~Iyz6$ē,}^{,|My<9y&7HbM k|^'ܮ"Pe0Ee_c+R!ryDi ev$l'oeI އKZ>/.?Ztcm;t#BCME 0 YKTؘf2k\*! F}4P1A^3jiqkvI6Ѩ& ȼѿiJ/RjVMO{f`޺&Y?^UK9?``>Av‰wp--MY)Ãn4vM"k is-.NH?Á^cbhf~4-Q7ў{i>@zlnJ'?{w|v"\J5Pxl ;+_0ĥ0xq'ArmʍY1A>7S{Z {rI&\y\-VVVLdk7Ee!ɸ|jA"Bg?,~4.t!4FGdC{&QfC-A?^i َ%6@_|;6Vi9Z˄ԸKi~V'+k_;tנ#0X|?A"o`g N~VWe s*Mj>_ZBrT57e '_phOUGLw;ihL`j]1Ks#)S7q%)kZƼVrE.kmTѥ/yBO:]-Nf5!!7XhBL y/ڄ%?1\ξ"K)XKFvcWU#XF*'u 5.%bOEk-ɀ1 ~ASTo;'U8aF4Vz4}L *H́Qpf1WCV}Nb1Q3\$a|i>Yu~](FqY`sW W>uwM08X!9KN͊1 y. -ƲH&u*2uo*|N|v'2?|TRqc I_pxYf>77\OT̴" -`{@x.Dgt-b Ҹ}R|D$c /E6%T Y6A&Zev>ޜݯfZ͗Ձ[#==dy6a!S23`H"MRp/x %\? Bu39-I~Y=OG2kNUQ!<@":6kv?4X }2:%kѣ VX[^4HLB#~Zz uVL#/ިsmkMcjq65|U٢ºIm&sSC\]fC;'?)G!`GB`S.P]cCVr":M?u\M_HHHyc5wٹYGww8LTp߭'>(, 9m`N~^̟ ?ҿx [}%fȬZWX=%hʫiޏ2ȭ3X (MNWz6;hq hQT ޢYϬt fx]wq6<޸E;۳͆WRy!鱓L0t΅kjǤp N-^y˻$*ݟ%zJ}RW[kEN+]l\ UDƨPYXW4{zk_Ǿ7RGtǷ?+<9tC m,YgYZ7[StNr?tщ)T^}S7肉" UwR쬡k7J̠*&8VkgwUhYi#< eo|}ZIU~ h>iNmBt{o Y6%e%b_OTڍΩo ۼ| |,QY f@|/ AEe+9L6X1 tXQh$V=UG*/f2-N&xœR`[ۖMoU(3"7D. ةB0)vEATWa;ge7r #n]ʣ'219Q\9{ HX'VK@ǬhW)뵿0՟}yvD;u倢:]_F I'Ek ?ϨsdzʠR36Hti_gob6P$DҍGd{lX@ 2%+У ]GBDZ&N"{ئJvdb0\{֒'ll+ƛ3*1O֋Go9a!T5Qs,׊oXK_`#2%肜m3I}H.D3&__Ŝ3.B2&dQPH]5 !j 1])B{6kܬ /D$ #RmAy';Yӱ8bj5Swyb?$T%Y  V͗`S`T2|$Pۣ0}"A>@^l5rڛ"xϩbīIcR.LdiHQ _틉r٘B>{j `7xmaUoY 5aQ7aQ[b#1VۆS=I_VtP TO]HָgiV 04ӛLU@ l$Ziw\7sVREtr4F^hؙg7ZqOqbG.ֈLNuoa@bj4L6 * 68 )1p̬)EyN@@$Rtlj)Qb ٜҽYO}zA:'{{nȉC8J8 nmey۫7Ob"T0OVF$^̡71)ȣO3L q w2pP' {f^B.GRsv],TY|i|vOep}"=E{w(g}"`}u#FtDzƟVA=8ZeNߖ}sU:,ƬW_+dPx3^ʬVj7~` } goHi_a@^S[4O7wE';7?Ϝ6}H< VW;hc2U"ҙ pnLL`TCch<ϑ{c.k] j V1b0dr0ޠyc8pUS& lgGVuxu !44@6yg'ߩ[+ CAFys>l5/ȼsꈐY[] &Vgco( 6hO\M8b5"J2Ve\rǁl7!;_ X&e?͇lČbܺ۫Cr/1W,X>*b*8@{Ӣ:1>*tŮ<{,f0,>JM%brqҋ(~%w(s&TyipܵC{˫}_g\u>~K"l@Kh6'_<xK ˚0!G:l>gչnM$N7)u\_Vą|q`*+_> :ՅYLM~ˌ8LCiIe!٣ᩂyQL0#d]h~Z.nveN㊢F.1 0Qn"q ͂ 5|_ڶ`?PW/ßt5nbT޸ ~UPh4%:,\||tˏ' ,z2}郭D; 4>:x':(=y9_ xqh `Ys8 R0~m`ɶC_l ^9j /nƢ 5.哯Sֹ0.sk3bbps,8!S䒣ܣ[>`nRt)اnn+8qO:Ks 2}gn >=%(if){!-`PGˡQ]C\ A Jb/4]W^U 7> c@Fg~7b50>d,Ȥȣ<"{S0+߃c'E? cObJ\vDl0jw=$\SG^5O؏NsnV]U{guƠ  O-t냋Ud /uwyxg[lpN4Ey"z&}8ފɥ~DKᨯ V|1dWmD1!-]}ȵUjұ+ԭn;*b6&5aNJbYP.'-HLOȉѳqAwͶx ""Z4|v_\p,JL!R~:V`~f .Ǟ1O Cje T-GT? eE,]HiDW @_} ~s0#G[4t{3}8r#H=P)Dn.H~e]C]$C,\>յ#̹'.^^`+B+~gYZ83f1fce3ce0da2da8d2b899c647a40b39eec6ea027f83cb75cdd20c60083d6072d302ef3062f314e f2272ceaac4e09605b17b73142a3012a1f677e5e