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 AA4/xd4T ]/ HOL-Proofs-Lambda:threads=6elapsed=101.024cpu=121.512gc=8.7607zXZִF! F]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4j(Wkܘ:Rm}2ˑYD{ |֝;SH41̢xgU_s62g:cXOspJpizrj JɇVt3߻p?ct Hp aGF?Z"x+lP#$ۖd:sDf+p(S=Rrtc$?̗``$ udgYuۗLk΁gWHm0Ç  J%6NPUQ TEnK[pݱ ZgߛyRZ[LɕP$@P/)򌅥'mQq@Oms]PNIlvGxqh C@sBL~94gYZ7zXZִF! hS]ŗXiɟ11bu)a2W5Kԫ;iqÍi>50\ 1Oo>Ķ߰{akaP!YI Pz/uQ,byME^޶V݈܂}tstVPXTP}k)rt hָΨ4ZMM-hrMxt9> ݓ<]>sl^rG*mN9oBѮCV:z Z*6`V aDapYT  !I,rӺ#(!I*:}6OvMZ9ttq>'҅=JqgYZ7zXZִF! <6]ŗXi%p[fF8pC|izJ"+(pTYϫ[yyEՍAC04LPl#xR' v?'LWG)HH#ÏL08eqbctNɲP}#LeJd2`,S-~UPmp}M<4;Pʹ">GhMBKmPUM2Iwr 36]_r_M?QhI&<&AǨZ6t`بKfty@ p$#ۯ\]$tV BD~(]Ζ*I~Z04 dyFuohغس > Gw%l;Bi%*XZFGYY! ![O8VF֭" D3"Op[.%YȯZ8o+݌rZuJvg8C# v+SrA /% +X]w rIbi Q;P`\Tr+L]:Q7p=xL_OJ̫ؼVP|g~];->Ls Ʌ| ϽV%@.\>4]aQ$JjG:u`miTC'NTD˖J.tp@$<(1|H27+*.^ a!Z^% s63u-0tc5nf=h&v5Lc`1nGsܸ#u|ASsTث6_m۾0fgޠ)0Pf#Y1iǍN4]O)X7=p: o #MdWOup@[J=&ub 2{0Z oV]U CQvEv-UsV#'o~e!_Sf7/Bt? HlU$_r>}sG0L٧GRm+Y8SNy#}4L~?`bmQf?t*g@Y7vg:E 䝲$YQޥY;߽g~i &Z˸Se\QM7rI]nA% cGx$ -QƳ 1>PhQ'40GwzޯϦl1 o.qAu-H aOK5Q[L{3t,GUC[+ U(L2EYȊ$ԗt eqϺ3A,*\,8J5'BR4]*]l yXh%Giޖn4#6+^>Z3c98 ~CV w'0v7Ġ~/V1>1`Ԭ/R+(ML+7o#en=) JpX*#6zX6C39D^<Ƌ|=()2Aхs$lc-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.,,%%!         >zn6 } = y >  Zi o +%J 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.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.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+raDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ SS*/OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ X /=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEkiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}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ɖFgCd7{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˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ $_$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\ӰotmSŢ{ܪDqGw6n 1'zkS Ot ⩓ !%&F$i~14:?-2Pe)1!В'W`>?B~J"CJpqc"GSmdqi-C X'Sd7w:lPV[1 K)sCSJZ*~+4% x.a/)33@8޾-5 zi5Wt[,OGa,fd$){Z+ӸaR"y|zƢnke9ZAKt\b&x'9Ә_JY7gX46Bsp\^`wWqʩ?{%Rn % IUqQ΀$:53ױgYZ /=# WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?ntÆ`͝KЀ1ȁ|bL+y41~Q9dogc]<1WܖozxN%g|#Ū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\7]<f&p-T:t|5νDVk7ZVXe8t+”PŞ8 j6x׭w:<}Ok^;`>pދ =ʮDRLk +ؽZ+$#$ WƝc-~=(ldl%~a7c7 H@a:>>'hխ77|9rnuu5j]yAѴ]fᛊkm;l=x^S-PǙPZ~۔>8`@ZdLd'8g#U?뾡>"t٫O T(YWԣms@]zh{QE\6Z g1z^b(+[7'r'CXcS+ <݌"'{iwy ]3 ?#gA .j^Flʵ-v|p]oٳCcXIb_֭3/ ٠G2TWy蜣z^qA"hֈa^tTՙ洗8"p /kZ &4%RQ.j͗0eq h^U*cD|D_e;2rg/62V)|3Y6ZW{0BpW ɽɁ: JǞ'UiOk!~ǩKefbeGuex\-F뀟JZ%_=+x$#)RK')'_WN~/U3YM\ :+[JfĮɨ~a}`- tB3Tt5;;3b: gºv&#j! H:ɸ(#DCN5}߄( P+*D|:;nh'? P}潹ۣ#S.fNzWxg{XJ")ϛ*Iw!DBÌƈ+@mT50@, y߮Ϲ^t25DWEf~#0  4dUlgߤӳ(c;)#$ߞ7/u8c^>NcahI|\]3r0#:nMyW"'n _ݒ*?nU6>i `p+2#0*(W16}Cn?dEDE6^([x]zj0!O+Ŵ' ;)abLqmXs}롂:nt;nEC"nwiPWO@}iw>a\偟͢v}jcbKO(&Ku:ͰtIɼzL%hQ̃E!>]< zŽt vӔ~a5af/GOsFA)C=Ru|٭HUL3B.EUk= ni$%/ t ^|ۻ[_3:6 x8()gae>HxNkF=˿´5 X@s=zSQ4v8/8 s(2mn`qJ '7`:;#3sO=k6p.hw=UPUtG]X3Ȏߨu4rhV қ !<-@t }oUn4 e#A#elcJ?jIZ'GO3?5eaV~(Z倨#z5.ӄ>W&lfVT#k\B8M ^,j+#\7WQP5USd6Cv2=:t6Me=ؤIqo?7gSvߦ2A81ި@ | <lzL@] 2B6[qvus /Y!^K"HNǤ#h8ft8~NUwo/i8hP\G/L[-$RЍ-=QO 'Tx_Ä(p%dr\@A{PVC;_B"=W4(@nQoѤNVR9<;2KkyVK.uBSX#]wUnC&f=iF~4Vn Kœ8}zpJ'[_t_vBK("wcnĺy^؎M(`)'VIH`! gYق +hN3򌒐5a)Υ Hvl= `m( ՞KC™UKY[(#Ki6}*cot:뜐Z@Ʌ6ø(لB/% nk k$=['jyZ3unQʔ1@|ؒϴ1!ςSS>Ts\u&ƊS6bi&X࿃ш؝v";W#V:bn&|->5M#G)(9\BZ ^iDfث }T͞$B3@/(չhǷa92sN-R ֞Of Dd-a~rpA}+׹et<$K^D6aImJuf]|.뗌?NoiS_}'; Zm<(! ǠLf}!o3y|i`3q,.Y*2ےP\vjѡ\(1Fq;ǼޞqǮ={$Q))yT8|ơ&'|PS:uH9ܓ;$ʱ; 7CvL nrW0Q*ΥCuE'f҂@Hvk/Vr,[NPS葢+lFe8^gC5s)IXjםͰk'þnkR!,9Ś$ Ft쫋CYKaPV>1.Yfs` @ 9MNr8 Uc<zV64Qbf3MgqNy wyM}Jʟq 3n7=z t*iɨYaȿ M4I\k2{aE/hYl%nKlP!m6M{:qE}3ǶF Cۣ#\Wt! 0J"E"ܬBq4@ Zh.@.yy'殪x\ 60|tf' pL>x!᮪/iۢvXf08<%Z8M{'2˪l>W=!ܨ;:dAye@pB%MDR7u+58GXqL%gob1qy;(Rw(II X2>-ՎdOH6AAOr)X+Ѯ \<\v@dYo[2YOT82^ <КJ.C*TvG"z|d88Ő}NY1~"USSO #/્O~~Iww1Gt8Xy.sдchc 5lF]G3ޗ!$+T}d瀗-L'f 25ؒDk-{\0XP%m*gEVy U>{OiM|4h D37 (/ uS¬יѬS1Cf%no?y,5"PꤟDeE 8T%1Y+dܿ>3/%1%1AkED~L&=r*jiҠV-ŝ`h R$V:UQP5W7>l iY;ܝ=Z*p8%L _X;`Nk^q*gIßEhO/3P oކ(L`&?(+A[cKʼJg;Bǩ\NpaꎆrB z HW$rzjkIaR۷7~AmZTZpM6GH| 'bP?XH0hb hS[[i'O`D})ۆ J*@12ʂ/27A}$ /@~B)2Kcw4gkOV}2EJ6<C7`b!Q1 997[95/?S. &(g-q2$Dw^O-|𬸚s''M/&W}ƎޝCBP2m-H:ĹRBBP8t%U< ^] 7 $=O=/GksBO^H_ ֥{ 7_7#c7&m*G;i:\^L/j<UpP[kZ?_x O 0_.*B_]AmR%Ip9t a$\ v; [ yXBtO=05RÏS-U~~ۆ|., ?Bc./#xaLI7FD;eXH3uVfe3'ܶHԫN bO,oOP v,sf&lλ;v)$˿E݋fӂ=ux=ܦ= "M_*qGȼis8v|| {舄Lo)BB̅OuuP b/]VՇVY4 j{Y$#fgXA -V]e\ZcWL)xdAoP̒:}/P"}rWH>)5bZ1`!sW if4i0 6iXtӆrUŪ=#Wr"5OPwdSƃw fA?}Ř4o)'$ˣ$w*`hNǂV=*$( I|t1~9'̎hq?G~.wFi9PizZ+bgt (UsGf}oBWƊLTD#i=&/s6 Q=_H%q/$3g撧= 4|#?8"vs'Fwu3Cz̖x.f{w ̑N6v]H甥ѽ%NjbgY0w8$GLmqZ,_7r5ao5f\zu^t[wh!@%}(6{lva0|:maB=|ڮ90>K~mKϙsaű^@p{cm<\*,O|GuzH.iP.ƷsV s\TVurW9v )MrTc+xg/O/MI".3a-^Kb)][ӤuJؿ#Nk$)L g@™{P ?{NjmלF[%h} W $& BmMt9kAecEg÷8qyQ&0{}>TH -/DNN+;0)?|[֟q"m[od{bvLo!*lKFV>:D ܬu?)fO~GN)wi& \b ]V)"5lP[Y&#B~鴞5RNo"lO25bԀ-h GoEZBQ&5$jjA@p'?sM,S#^c6AQe8lVƂv\t 5~I>M7YWP>ijrϥ./ 8A6':%Ot6!VBF.Yx'(+krU|qDsMT)tya3 MJIzPV,.U p/C ʔ77d~ Qq;t]$|ޜq:Tiflg_<2 _,__CW<̻eEQQ_n\ΨdxAORw I&MuSNt2ufQ0sQKWΊV-iWqס1xsrz>E|HERAۃb0 xbv@B`U\ B|y] b*t0xW4FH"9g05ЏH{E^ۤ. 8:wIU3$n&o$==`R]:+r؍ܨe-BC1FKd_~YYz;gtҧ_6 XoS(BE~۸3V|ޏT_K6''2>~Ag+[j 訽 g#n@?e42U},r~=OיT.-ԑ}Kp9:(::k0_WɘݓExSѠCel"C}Ypis!*w~S~Uf-J4*->ɯm4&p%e+}G#, u#Z@ II&f.&5b4d"A ,Vqֻƴ&֋-3Ѝ&˘u\4/I^bD " p3>%1s>9i8Osgs_FlT>#;8q] ޑdL3ȵ8XH]9ُe3} VПKEW(m 1KxҐת4AXVҢH{l+}9]wAvK\wRh0އ9HӀD C2䈌 ܴ̀G (%XN*Ln k'*` V|õ Nm B~ z[6#/1uCBhn9ƙyXq{+|%',Są +XsIJQ+I+ըM$}،H}ؗζo^b"AB7m$ ` F%Ұ_toPn&Ơbn-) 0؋ ǸI `2d?WAǙ4+KV wГuW&sIʈ~'֓7MRTR그*lių&(cD@? ww颛zBu!T+~{wi(-EK jP.H (v",dwa^eȕšÖYނ\E+#Q{MMγעs|A#ujqٙK0 %<< ([`\@!/ M9IN MA1h%Z[H{'3kb,m;(fsE{ٙl"wg[Gꂊ|PEo@;ʷSnw>DWJK8RSX)] {p Zx9[]p9s]5PpԆp%YsmI~;)XPjٯ=6TXVK5cƆ!Zt͙N:ZHN7 +$eɊ=݆TMp))ɚ$6[GVR6n O-Rw[ ӱԟ&wvd\JQyfa4="i,DD![l`ĞL)̇mGt|{6~Nɇ݈ d,WAjO =p؞v(*$u+&jE&<@8a@ѢvdjU8%V@>'C>0騽|5;F*̌O6e x=a CwsvHĀ9vSefZ⣷'F f@ p`jI7mPb jvîJbZDvT+hHTU3E(p*䯹sN{rAnϩ4#M,wCo5ko jݱXclGU,āʪ^\.KǧUU7JFLB( )^B&On)~2_^P|)DI7£,*.]^2~o+,XY*_gog7߇>$]5\lP9zw.ب `17i ij a]cZOp:<@Wqx dk-_7xƕu04K^*TNvB r1 Ց狄3:/T@`ڷ82kT 'Io6UNMd\xw[f"〥K]4ծġ٭vgwION3"FoN2 l#RasXR#d~HYB1nFyes-zctȆu\[ՠY\ܩKMÚ4 6NÖȦ.,A;TpZkwAٴAeV8mr#M& ̹5N3n3&En;,/ҳ^Zb08[up,fbFIp@j5FBXgu׈cLQY)k߄{Jv:_Gm Go `=hBOdP3YFOCGgt47tNWMIB?& Tkbk85R5mc h;B[koN,]Zwͦ["R H+ɈEk1Gbihk O\TlpomX᥿_3G-b0şQ m_HѠI2'O6Ě-*gYZ g&go/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! (s7]·Iq n[:|&[z'z# IJԉғYI$EKALbĤqg)δ'cs{ӇT0Y+,}W 0D;xz:k+aEeDL[K9 L6 [II>ֺv^7ܬĐ`0f[7zH%puX!gxv5 )Ө!wcf`n\`8\n}9B+뙭]CLeQe4qLPoIPeZX'z$(|R&(7郙 )#\* iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHd)f-/|+\cdi+\SjL#0\c{|,mٷQtnyՂ N>P%}K? ѻPxœ OM"?mʫzL]P=KJW'(Iy#[$Wih옿~'TcQx%S#?4 (aq3_l ;jd>1  o=/,q8f,ذ|X8&r$:բ .CR%*:ULIjdRփ*/<~?=K4 io614c}:xB{&&$6L9ډM~ʤ4xcdG8PB]8ml;s3> &-`nhh{s/BO0.ڈAvcg$diQC) ߤslXOU5R7InĖ Z)͍֠*B|g7j>!ۼj*I! 6%bxϟT8_@/d; AY->#stUTw7O1@eayTypŇGc/#r@EyS!{,gz{<'|<6{4Q2 ۗ/oߣBYU\J`P6LR c0 "> c.FGU=_T({!ad+DD(h _M=0W=`+[JUdPKXۏ~jKxAO}*U̹'^LOD8 E!=m4̟"z!9cgbG9]ȍsT%S?WH>H޸R/7# SvɇX1 .贯FװxqVj«y@0Y6h=9@3rn(SQx1R.MbΠL{4N%זί((s2V4ZU^cxpj\XAEE_n *pzVa}AZQ7_CYLkj^V4@"ʪ#Q8X-O&+pج'%pIpfnXG1IԬzvO$܄#~jG5qR9 x',2}*kq7,Y=ȮB[NHj."%@]y+ ˓IPH3׸sA!)9* g`~MYRyX* JEPSxletkb t@t3\3-!8A,;z^=#LSץNxrV:*t7z#4.jn2BaCLEdex,gdz%ξ{^dBj3Bʽst)_7>@c6Kʾl/AC{Jbr~V \X#p"Oi#jε0~d`JBW~%.8n EO-njâ nBBIHyžj . -/WpopjGp0P/Z-&ؾ> t(> ,yE\ɑ9n%C ,?/(׾¹(tdnŞj*XZ+M*ŕb}pT i&d>N\F;SDŽ}.89l bA5LRx4T v"r0'Lc+`y'DT2ho)GaŨ(tm\vq~bm1&P}s:(j kY?ߟ>̊-h qr ;fܘ̟O͘sCƺh)rXbȹ=(򷝚df0GEM:vɋ8;6-b}&ٟ-L$An8.먁LD;}E0>Wz<,w{C:H1#{Jy)bW'œM\o)Wg+j)'p2$T`:1lRb$ ueK0!$zD-+}K88[6P,EPY2^GLsԟRLa 2(錭VSk%w4%Ar+/CPb3E#s:@5 ѲҲj9O*$@b]Jv{ؾT!C %GgDjk"0;f)!Drշ[ 5u.>3 1`CӰl̿d!6p'^7IPfC~yբ9a1z+-Xaȹ'!~2"p$vz /ta_Fi]iRXB#H{I(tqeZnR{F>cH`N@p]pr/c?y P쉼TYNSSۢ9>2AZ› `M ^u@1 ɞΔ5z(X\m=N)D TR]&miN1x- x7Pk[- Lof%.-|ikUKWHL`LX\Q E\s`hf0K-hmV{vj=<$ ,%)d>Nu\q{2JDpĹ mЋLj")wZzhR)=G4t٘2XU&H ú;؀y{kBdLUn0a[Q۽RۓnIt9hb կ9y, ϜAzyD;k tIϧqx»}m_w/ VqH>.[h]ɓ8HArkxp]`U)F}'t /C=3Cs#@nEetHQrhR=x>&^l._r="u ^0; /[[yw*<U2 &Nl u6B< }5tǹIcL,Plߋ/53;;D>yz(%YmϤknAر") 0s$QSVSI'n#2'pGpɄN߂A4?= yv/PEg7n"$l4x}=J|_VfwJA18DNU`3Ʉ tSgYZ Bb /O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AZ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvB@8ZLQѐУg9JqgnU8oLQ*y 2pdآ]6.$_qgu)VLNDʪv]+GD #|LTE@P)jkz4C!RcqDF( >D*:h?|D~dqn]3V6Y!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220e/O# LHOL-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$4$!SGBVE.K_A=x~!a#v{UX9^' ~B9e7dݗKݯipA@,-K ):_خhQjUwooovE Hݨ=Ӌ5 )K|rV B eҡxyxn0L@C;ɃwC( R$* ,LqND4.ҁԊ֔JљUJ+1tz>YK$ytD^YUh`0`Y랱% IF~]iW\'0]}n&"=2Z~NFaUU׊k,b; -9 7A6MmDE/R<whgMƓH+ν6CNX[U, b;#¿?7F}~{c<|AT¬{ `,iA0 nxq~̿!XM F7D+{1Y ރzcOCdorΣ1W2 œ1b[gĆe? 9ݏ<ꀗq?[搟Da 2'<<'TLo2v:jՔѠ;304oU@Q_?$wp*LsuUz"[)|r,o>ü<4zC \A;\`וN֥mt,{b wM:[)xM뻶lgK8`EZFgNZ$Q Նp"b/!$ ɵu,+uha1;Yܳ{=v+V5?pob߻#s*Aa^סTt V}DُdbX!]g`T".)chׂ"v^ݽ;9uiI;˞H+n 7_٘ncO3_RJ>jE,ѫ5KUZ^Hxsd:)v<ʀ8KKVwΟ_/O#/WV + w)b<7̑7bVHo{nP;ozVFeon5qJ׏PLQזѼaOӀ Sh}K+ Yh`BN@#V>RTNH3떾쁻}$ >d6E 6,XCLnG3JnKh9Ysl^;˳W^2$4Y`Qd'<HhysC J(@䧫ڒ%0}B!$r ;t:&4Y@Fȏ{MɘVn$t~W͂:mO +}]%_key{E +-q^vʛqr jU)6ضZ~R6Rb'w-"q]qY]O/w^b4)1%uBq_7 ǯ8jhuxqQ|B1LX+EkTJdͳ[alK"$^MDO/)N^yQQ,yvߙR&gAոwS ? %ljOtL\iL{vn2壚u'zk[{4Rm]`?ƛ8;C*пw<h͉6PUDgi3"̆r wkAlĒs\ ?(Yv3ϜJC@ҧ :z Q*kNb iHl(1AX:hW]dK'LZQb'5w}Q[,ӼX>u;tsIxĮ Ͻ?*Ɠή 7wJMydd K7L-ja)~0'97!xtVӿs 2 9k":KđwNEyH:3Q; Zi}3f 4Qs}Z9I^fY|Hsuk&sMui%.]DRacfTfUo#e񢞆"8jc z\I(_Clw6l&c'[C6a TFT:goVQ'yʇG`ar햮Y|2vPr\‡;ˇkB](ǁ0vJs m%` Zo84gk[Z N SĩWs*3y~TOlg}fEiKC=xЧ1O| .iZqp3󑃠9L/8-񤔽uthHVAvgT齗Ym/J#SD׌nsȪE<ކݐ?IwcjoAY@LT;p2Ba P.XmܥF>a9#>L/EY"yVWf8-cƎb?4܏ \)6mq!+ J*QCpVIU`,D]x l 7t̾m RXYWW Qwn]i1RX3XW-PͥcǜDW$Z)^oT]UJ5+N¿3;tְToF %Y {=V-ԹĚ휟 DJ  .++(T mH Lĭ`H]vHb?p"ԚK0]0/uzE06t@w=4Ə'*抮,+!Qw .G 6uB4ma)A{dHsҝ;|2qO*vu8amRkLh!7Y5+PA9;vozH7%:׮|׃*9Yε$Ἆ_ȾsмN'ň=Q J/ԕhw7њnyiE¡[%&q 4@Tu~w|rlئIR4f~-@A:!ZVt97j)@Ys]<{dIO U[*l5-`/? 2|L8{<ϩ0jfLJ;SfP0ZaI2t W1I/x] 0|m5ʡЪL*}$"fOgTNK%5pmv}}Ȟ89h_qU81c/pzhdh_fˎà,}kWec/CkwG:h<5m"<)H112ކzـk*[ҕV|/`EE(quxy 1Тdw@1>Y|㞍 m.1lFAeE! Pc1vh`4 B#^i, ;S(}'+OX#<t5 P^ h7i^`x1Npp4h~TE$KHAV1V:sLe){yT lAH;C9R2j^%%Dݓ7Ux WuL*Yzv뿳_[Pȹ>nuQ\aR(UIIQ8o`J A(_*x*8[Nۼd~{Qs҇%dJ*?Q=!k+R6!ڗ zf*C 0p%+c0mtWWyW x#k%Y{C59=w}y46Fez~fD}MhYcjsNکŷq,x6K&*8v88Le2;{2I/#x{I 3 WFq23 ʍ NA$/eBu^ws"r)mʨgFb֬JY3Tr, DEBq(Z1J"d "S8T@eIB|XY 5}Lr' 3h[(A=3f~&%t J 0.w qq1{`)?nNX4Lj.>Gy3pĈ}$)ս8D $JDo(@BL٠_\ib.:9ŒN,8ŗ??pP-`7;]Ӊ3M;$+ m>xJ+y@_/wH吵, :u7 uV17:4t3;!;!L"e&@6Qj\įvdcET X[|ptT2U9}Yn0yI[/R3 Y Z LP8/ F(TTѾJJZ} y-*5` byzw;݌h7o:4t!tV;ېW7ŎZ̿3l|[`ll̈́gW|(R ~"eL  iH%UZSepT rBepTk#ڽ4so`U\]F2cUّ~Xq5AxlΡCuQ&\Gֽؐpdrڥ^8 ,e' XCuӦ:$bi>]2D(+hYC_V#缇"Ĝ^;>n!&&ԙ%84QN,N6RX\Q|(Cn='n즛Жã >4_jI$"%1!akbsNN4,~Լao8ujx 1G NP/Ȩ4-\on2Z@{ uas4ߪx3ɂCʇYіPMQŽs(#1z#WOԟ,s1;|DPVt:}d9'#͞{z1)NtP&_95!ĈuP%&'* D<8 Bj Y 5c-aʃ.FdfM*XA \H ֖e+NMzf(:-,Z)S"8nyP4țvfh KRe2iC_h'x (=Qijo`_c rj_*'_҃W¼&ګVs֖a`xR൮glhɄn6v JYVMl)s"43ǻ xԳM//K~?fJA@Xd1H -Z`$ [דa 8mh|9 )q |C^+%ÿ4f:rkZ+4cPSîy%a~O51aMq  Ib&y4kX&ď(f)}~׏y;krxzj&=9?_ؠ:ʨ#!f 7?|muČTd'+%qSjY u2*<{z<|R8pv' lʕMQ}8nY9J/i=ߥGb2`646h_g3RJW.Xh[%f!9D&&? y#ȉU[dQ.]xXſ`zͪ {6?}Cc@M+{@FRZ67s=ťʳ.?}7hM €)L,B۵ƻOaC\ CesKw+1ҪJiI Ƣv 碜z= ct́!6-k(;|#Z&>ޘ˞% ҩ3`Z8dJBN q;dCRZm?YuAZ υ2-R3*A cuyT7tHg2}.5A)zjOخZAA]F|&1%_ig}QiC vY-Sqra\.o h()@Av;OG0@R ,g]ۦh/]yXy5! »䕳b:{cG*f;Wq*';EԞk4ѝ r@~j\.\.y $*e*nw;sZvzUX"mmFI[K8`P*zE"}4c(ձB|!:`:PiQ׷Ntav0 5n48doY 'NCG|?Ho=^10`aQ4֣[IӌO*6~@r;6κQO}VwNUhYy%H/;syiڅa'N[]*dm/2b!1f}盂L[9|D#S,<ܳNBL:$;QL`bpDlNFԒ蘄)oNAv9qю%G@NX&1CŞʩ\Wފ033xfu,?wSoc"tYZQ\H z[<;g=_>lKI3j$_jnCC0t"ˇ\ )Q!K/| @( (b0زv SIAwbBgi$OpA{WQܛUchgX"8}8ĮTjk8݀p{rUhs0ҍ$;O}G> D4qqKfgPpK.h˵ ,Qq1h W'Fn $WXtDTC:135~פtzl{xTaπ\\A !5q%hvp9nSLTv# 흅ˎh_fz2G 4mSѲJ#Rݫ<},Z9G$[T^goo($a$T_fk1Rf՚.Nyhn;Xe !\W-D-G24=!r|q.䈥eXQ`}{AМyU|c(e@*~ ZwrR |EKQ@6ڞf f8$S^?M{2 V]fE&i0b_ gP(f6e)oy~P.跨 q1@R&FWtcz_rQڛy5ִw~RV`vz X$5`dP}Z_ĊF9lB467$(H۽})L]WRt{SOr 6PkkZg(ߗ,e+&M6W•;Dn.B7RDnj|FcVWq*ߎ;T=eű"3tn* CY6ɴK#=sm(UCW|ѷgذ.c,h=*&:6QO[cJ3*$l#7SK o>%mbH?gP0N'R E`Z8VZ'ue}r(6*c2xwh4I%\+. VUڰWR{Եͳg=u h7Jh!fR fa;X%T)Req,i!JSlv%ߙ¬RL ybfo4]SR–!A`6X-_fڹ8O $ Bóyx~5>y2DvqN]7~h,T/҃ߜ{ έ [O9a> ˫ZUٱ d`iMNT;te;zOb =xUwH0MĻ-ݢj[X$f8x-)յ#_*l 5Z4!ր EgA/]CC3o3Y:1 O1o{pϓ ꈵ3Tl8HعO@b=(H Lg4s܏trxHxK|,;xٖ;pg1eGmՀ2=G1ƶӂ+\)B|,h۷ޮ.2J:E96dOwg&o0ƜZ=8v1 ~̋ܦ4Tx[_8SqCKS)'w_f֧2YԢl쓋G;lȲm q:NaajF|Yj:BYJ!9+-+gٳbۀGG)[(( -cֻn%`걸uh"#$2=h71<Ì&mq'@ayܶ)МoWhFZ"B[*/!ȋȮČuen@q-V() f# I)Br V[OO+ #Q~ \2 C6i% Bxe1bcǏv# &@c0 Vd`oՆ%%v&t]5y/.~ `)ܞe 9˳#mVd-M 5SPGOF8߬NV+:w]oH={5̝_ *0IOg)*AY(O١эɡR|Eoc0$&}82وM/+ix~|w>feU r|nS(]^7QdrB>Pab错)"zf4&^= H(h/zAnMD먈#bmDaudW}0_/Piu_2ެX@HU !=L쌂- Y 32PXܢ;2<٧#q/JQ+D BҀ٫2;ߏV{P*Юמ[p6>"Z-el-OڴӞ9_0o^fQAsηzOn+6eFX3BEMFkŒɵkD }&?b/NٟQsI;;ފ?mBy[|G<G-KE)W1̍ߕſ-xJCV/acaAŭJWZ?+g^[,rUMtԍMW$(F1 mU)љ7G\Ap-r"|5Ђ"炻}G#ae=_U6A/@ԵJ+qhHMzE@á,Jf.w@ÂTTBl4HPxGr(ryVгm, \K~;'dCU)*|'Mc|l9%.2lxl=LYюYbзb= *f&ڨٿjб`ս 7237GEմ:N`T B-cTFtX)iB jM0iVE:VwʡHQ?e2FNg[~z Xk4S[f$ ٥5jhk "wuw*1Wu Lunb8ƣ5Aoqd #G/ Vr) WG_s C^؏81\[pSn D69X .3{"^ ^įVFGi{hS*Cs/>uE/tg ޼px/g [k$K-00)O#ǟY#{eb @wC @뚜W6lh^&53ޓArOX:%ݥ6-,.a"' C ,%JV iu؍j Z,^$Ʈ< :Si}{Ǩ*yܝB??!(ҫ Iod,j_mf\WN= ݛ߆MTfQ D I1㑻SaR(#{2VjqZHF.[ S_ftݱRIA#w+TSgH'i}X8w<Ȕz\SNjD[%zp*72݊>K-*s&"L,1hA9^8*'s獛̂#Y?x1*:6djh WNU$֬،`L}r\HfR0MZ9 =Im,&%KHwղڑy1tWLU#Vٜv+פr +>u=oX3+g-M\;xs-￞t\!d$=VeEWNqoeJ,2X/_Џ*czj ?:RJ`Xyo..V`aT%,AlR)@+U?lk}HN/1kf1HP)u)U?Bc> S=(Npf쥳2W H`I6z UDdfI5Rn6"l`9n(Vu\O I|zc} <Ķ Cy"Zg8dh8ȸ9%G˝kq>c\FAcVvBy|!(S˷jOÀvZmԮ4+lҹ6<}C2*{)޽F (Gǵzlމu=hE|ߞܣt|c;ÛWIP?p::U%$p}KR"sUPH޸Euhp>+al^y B]nbIoa!4V3v\tD4?"fIaJ>݅hETָlȑp=hRTG:#bvySԈ"N*9 o1!e y%ʬgp J˪vrX*Ep]e;8MR-!0J y iI'I506ǚ4>.a'T 1h4S0hwl*j>@b;nY7-%#/S~yr6Toz^Wspt)yXك6U|Qzs30Og#~_)/݁inagVWOS)'ֲf=A;ۈ£;AfSOԤxX&Dۛ GQYAX8:"6? Be0s۲ zPU2Hn87 x}/yh8Lgj2P`` :V,Ji \*7U~RI,esM_GBY$aK]yeOCon{p42SL^loȤ0Q @:ㅣ.`wF*eU!0 Į 嗜Ю_J㩒A] 97nؐ3Ʀi(@S E|:f$\O]VtG5 :aaZEƔ>nO$_2NDw+ui ڂqO&ZIsiZ6Z_70Z^&!giy) `Rʋ7 Q/l \.Edyxr|l6o ua%O# %?{UeE͵M͝τMЪ$!mFΎavs%t_@:= _BMjsXljqNzC+Ke qX<Ʒp H#^%S XoLVbZ,6-~-nl7㆟L?Qi{OϜ}#6conX@`ԼP8qcjn%LQWCS'{ rIˆb{5yIBO¥&mkdn.\]/>m1Jrez#q# }camzYCXzdS5k@OhI @ty8AzԸ5ްA"e6O XM+`],>hq3s "BB҂ouo@7E>a(a7h wKU3&?+ܩoTZ$ӎ&xf=opbHE B#47v*hfB^cyˁ$Lg#P67.)y8.M3B!z`cQ9vdb-iY}fs 2~),z\ht\y<޼prc')&F:/LF+,qӈ>{1dE%zc&i]Dwhss!*"}PLƙy&ԕOypm_yat{L K*\A8[<(R!^67PWTt!u6U E{}-'w&4ૠi^ \qU:"5B0uϪY9WUkC5Pf-2f n\:D:fN_uZS9;Wۀ~ҳ&a;?&q3}s w2FxacEfgy'[2QhP,^_]/ўQ9$oP)?Y2pY1x8k 虩 :whՈIixM=K=!^Ebd7U,JooFÇOPhB%pT^֤/$W"572@%ش,(QqQ(?]62cJAJ!29QHܼխ1:nVmskBscgNX}A#nqug|瀷Bͼz԰===t~A0U.n3@І|䩲b]μ:T&1mǂG.DCOYZPGд5#;|(M]Ǭ:PSɜI`DK,+!hj0$g}ȒNOg̳94 ~~[_e&g5?mqCCQ1m-R(#M!BAqEspo, $V[YNlI{rGD"$>\ uG/"6?OEa_}]@ɦF- qm%RIJy(*LgYZ O j VOg! /A# \HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bh]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<}vpc-8{Rm^B^X7-'JeC{9rI. ߵ:ܔ![$z0vTq(-"Y?I e , |+8=N ATά\U@V0 rp# Kډ~`WpyǙgřS>9r\i0=Ѭ-ƨv*2tV0Z0+J[:p 5 >yBC骤ߣ+;e9eU4?swh\~*% Bd$m%[LoIH[{$XfnUX55nɯZ^D&-衿B,:m MPﲄU; e~!0HpUwO+:d %t}1j" r 梅dVw쐊Y'І8% "?_fWL$DJ&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'mHg*`@7u*;wM촊A():EȟfjMD蔷֘2,ZI$I)%#ӝb+i-c,F'CZg](6D1^uXpj*Ɓ_W eߙ[9'IӷȀE=y &5@wl~X]8݁߾.X rWTme{UUDc2tul*KqN[ia7"/3jjOҚh ,ߵ'Z|\"^CLΗбeC`3 X{83RSa|?5p'8+c 9;Ŋ5Xa!lU{&G'rҶѽ O(յ:.cX߁{N(+B8(fktCUP$|sl_d${<{P΍CH6nd+ɲ`= J}7f n4.5Q~{;q6kgYZ']Oaqv{dh3rqQ"Y˺+ N9hhsSx8vo"[T<4fҺ /!D l(7GY-SKh= JV|*af GJF@g5`@57[")ȇ:+=jȴu .OVYcBFpS@~dVy`W4#QI!D۽S#8(ek*{jOլHK_Fg0eLkГCz 3I[ι9Zf|qgXҨ764 */!ךhAWds;qFu%0`Omv> z F~[)jjƑmX )$]ɧ +X̬#%TWkB3TgRۃJ;Qd*/сn c!DRkqX\8$=69j>&\5Ere$3 ~X10ke%?PW 3GX^{bPOpfMrQ!X~kc{BTY|Gaj\M+\T\MNUxmE%mU IUm7w})["vӡ{pCLPoD;zB{(L'ڭ@@0)DܑLXf&wAy1|bdyH%g7mNuM /٬y}BT/5GFg,=?gu,G魱Kʽ>lʹP" }V9- ֩5̗T0oax ь3bWEq lEMj֡/,.홃$[0jWŠmnV*1ڬ5-o wS+cfzVd~]d36-oGu;PrxZ:6Dt^GReB*Z ݤ?Pµ}d@^-ꑂ~ƛ.MkJ~!c&[ım7qH3I퉂TycӧYj@Hkψg=St6hrLAC.JDwl|$oEۡĎ8z<#<숏mًdL +@<@cCQdMː݋^vez,tM6Kxn''9١Њ+AFzN22 y rj3%:/`{N>K3R ](; PKEŞ?83yxZq8hBV 2bm³u@ rmrⴃ)Pa`D|@hͩB0CK򂩺& @;n(VEA1Q82Mn?7z TUgq@Q(P75^F.%v>NBJG O\K!j1mv! F>CIV.#Nw4xd/BSA^dAX "i_"y:Mַ7/.ɱZ+VVBeЮ#/a[ݴ8fuAl+ΰNnuep%_ea4MS^s BwEd{^Tq qܔ񖎗&9+,ZrZ%p⽩FYw,9 z$yP51I@\!Z6 W<] ]¾Qްv⠬GX9Qej iȄ%6FTN }=C]pʚm.UFz)抍B%wfty~xkϩR{G~F+3#y/Ӻ2$PIߏTI2ͱW=jW$!^b|p e¼m] Uλr^d=(> +IwA=kwv ۢE&X$-Ia*2mX ."iaȿ avߚRJ+q=dN;DM2=pr(.H!gՌ=gt_6)8ՀPX%[(a_3I<%zV` ޯO!ġv3tѸ^fΚVt U%/bsmC&Ww7Il0Wѕz\ XJUQ(Sg<.D8j&Wyv7ae#F/sŽl{'н/]AfJ,Kd=%mD!-/UQҠzZTlҚ`<_j{ 귟0KcIXK0F|!LYAhƆS32 ;|m\o,UlSwOP'512ÛzҐHRz3B2PM76 zQw`90#oci?`cNbR0UqO>Teq=!7Pn^Qvmh/AG} qml/rMmE0,Ǟ S=zWX昤iţ t|<?w9UĐuWdMrX es kA)0aO8HtdA)l']("o)=EK Ќ)y0$@ & `fdTv:]&/KYomӷ3 ,uH};@v ΗP7sEEި_5:{BNბۍ6:%u_+˄NCP5~Z`om6r!`pXNGShBiF1+[;lB Ь!}4^kl+K!"J[ aUⵤ%~!/5UM!ZSd`^n2Č%̰9bz*!Z4qAoGX?ͨZ![lb+ǜ =+)i|Vsx."x B˜"Nc5:[(47OS6ZBhY?]^SnyB3H|^X 9qvMEu)"?RjfS.HryN|4Ѓq> klpbIMJD " KJLᡖwXIl^J\n ⮎CY7vNb0p._;6847R,yWW@IZSI]]/_փ{??ґIJ:El79Ow09|XҎP'EiS#$ifJ3_#SƺQ{"th =s ṟV~YUP[MdAz se_?zk8^/$GQl[Ohb S؃/"oT_1quʁ.L>ܲg%jU_EФZ ^p.ACt@KN2IR=sc}} _041%(!)VbK_-ǁRW*ɿwps#nm(Oh*v2\#ڐrUXo9i<ģC'v4Ps&j0JK{ A^yW>U_느BKB@`QeH}ۣ4y}/a2 Gٮ0!`euБe;yN\%՚f ԾLGOWѐ,1$y&K}|K|M&#=w tki39]}Q hV;JK$MY}'4ɛ 2Q6p]6s&"R2%nWvC9`k% mRBorG=բ9F 8 ,+ V~9K*G3P^%/|JO-W܄qj/HƲ-d|{T[AK}ʵH֨%h ! ߨCZ(. ezF}'aґO7a^}CH<[h/.>ھ 5NBUJ;}i};j6%# KeztAcZ.Y̪q>2RY+ZvyN;dpYU6M1~V,]#QVpSi<ÛG1t{C؋=(QLg#"lx.xF-( k~d[R}V$UFZFh+}c zkJY~K5[.ׯ 46 2\2MNEت{?Nd O)<3B%[B:sP+4|*PQ[c>4Y9@x-([udi 2w|s \L0ʈD n)$=limqqnHwٙ u;"eJoK*ei!bcANreKzC|&I2u!Iy [I,>+ΓѶX^&׆MQ 4\P.7[R>q\-!"O츉ziw}Ϧ:8H1Jd#!hS/ .]n:⍹ػf޷rWt 6i6 SWiCr`[=yd-.3"RwJ~k F ;#c:Te։Y9.jN.egYQHP"%0/ 1z1\ @/Ydq, C_˥)u=iaavnz?m{H;w+@|ڑd"Z\ |2GK18ք&K HXAspnY0_߰!ˆ/XsO,i?~""ܲ`1GU6&^yU*LWTlLqFIyļRo.h(oUXf]s : 3UgэOO2d+ha[X+ 9BDW>!גD G8+].]Wmu@\ RZ}pɧ8$5pu^hZ jB1,xƠ?g@LB'Ru[ S#2ȼf1[{h,*S2xẩ>Tx]tkbnʎpˮٗoF,/]Ȗ Ic"wk]~;s\} 73U@%#j5L-k$lm+0?aCcXyxHD`)Kў UеY K~kAb u̔CMu#>X>㧕3 QHu]Sy7^/z.هLM냵^Jkϳ[_VԵCe9}ȫ_A)yXgXI1Ly妼ݭjn)X|ƚxXQ1کWL)KeD̀QJ26]A"<ErIG'5ƝDUD=2r]D&_ZPtM~~@0IdSޟS? -YymmBla(dڈ=f۷[OPɶ9RXLDǗ՗6n 7NBɽ36QnfzJ 9{n:%ϡR""ӏ 8JUz=(tO(Qo9F٘ <E\JTtϛ`52t;.2,1ߖ l.Eh_ `dA@X>ۂˉ{QDThV~_-jodɟB:@GwoЉQyuu&/{kq_NE(8%]]=;-!ala֪/an4Ɋ*>HoE𻂲Ǯjf$"^殯٢k hѡg˅ GLK 6QT$[o,RڀF4_ڛ.ӪVzʎ7]Ӌ8L>0 9- xx،ЁB%{AD#)4Ѧ=3V5xe8$HNKA#%JVq`={-)W|k`R[p6-5$wh s΁&; y~ *&*IՠF-6Y(ĭТ+zEL%޾lҕmiy$c6:4(nsw*:F4ӔpS[·W$0M9Bȶzx7-)#}(2z~.~эR~׀'nldyĶ10:ӗ4ffN^-@σ*ĪS0)bjiOzQ]r]VxqlَbAH@~TII gX$u?U@JXjG'</e%P@K`g^R,scr^7@Y707_l][ y3U6񟦂oj.17teϙ|-gYw00=77$^ Z$'5 tr{Og&|&*$i1UdbLLx&e:y87$ڌ%u% iC U(ַߋHI>n?pwK^Naa2`ix9 `{Bs+ HϑZ<@zͰ_uZ-x^0&>&Vo([Hm5܍f"8?-ev(׺'O-$5G:rVE0!'Pdէ#4G/=ZBHaݿ*Òj8Q{ =G0|r/A@G/\>$61>vh _0*Ȳ `m Q/('ZvL0kcOKjAXGo 7{TyN>kYh.I#*lJsz0۔?opJ\FB5y(xgۭ4O.+YF}E (6h@3lYKԺõ шWnẄ́$oALu5gX;ͺ'Y­, =s]'q$B@h]7 > DaTc1QvŎRc|0a bW&7 &kE09`[1VitK\eCBUչq)ڔrHhS-vsηuMiU'y##ԇaŀ0 ZϑQ8 GN>s;qC>1,([Gϼ6ؔH~w+ ڵyTw!0\sb"dR Wck F'݆p>ZpyZڗ[?20H(=?@WV"#ޥޯ!oD*" 7Cn(VXl=[CvŬuIDP%f6 UUGF#iA=6xxSU5YJxʵPu2./1>+IX2+)*ZN(Ek)5K@ 4<=~*k rHJrVQV㾍['n 5dmP j<"+"bDimLMBfsX#g=&3JK!pʎ>m (&Jl9a24-˃ ?Yhe@d*6ZV<1a&[Im {6T.\ʓM&47IT.W.Zmsϱ I`\x껎1 14|G2!id]}(tZ xc^[aDF3g'>mg"Fwˆ27o &]l8 @F|n+/sLz^EZE:R3$+ Մٺۄuk AKWD %߶G{ Db3M>&YEMXzKѸ 6\fs|6j)2o[=4'g'aMJp6,EQXBOX⽚x`F&U0QzPu X(+6Y h%AlsMB< We S{|Yj9FѐN5v[F af 1WKۧC邜α* EedGW?tΫ>sg]I6eQ~i]-bom??ҼИd^tiBčUfn[&;󚂴}h` :^gyFJ  oNK6_H9vM`*phřQm" f9>*P(lhPa$f:s9UD~5 %;G;&,Iҥ&* ~ iÒ3w^đԀx9'0ȁn *=,d;ܰ nK!,̍pt3qTɻ}[<|* dJOe# 4r@ ,o0i+@5RcarIgEI1EyqR6oƤ0p2MKwoɲTThN~%ԌWh?nU5lP],)Ԑ|̅(]~WCspжm|Z_NnoPD2Rb!#$(~ҢAf7G_?%3$3 O7և:>ol Y?Ras:RIz!-T4"o=ZS*U?e=]5(;}\^7qr;bBsry91,v~>5G[u"ʵ`;oImh;^ٻh(Qd )EbCUe(éA ?I3}M* J8 JNbD[,?9@C`<&:&xH~q@4ű5|zލkQV⁸`Am#ث?ce?=Xִ 8ۮ/zmǢ#EՏCtt>͎;ٴLhb,gFK ӚGxTlAݒ7BAM{R(.%pvX_)~/Sg4Cq8y6ߜ:x _>nS͍n!9Y?hU; Es ByP =%bԦ69ϰEsQ CEmU>~%7p`+k8Y+J.z\>+s3L+rY)ZބʼCHj̢ZԓBMMh!Π kXN@{eYV8,oS'{dQg;gJ1-e4OG0GޝgN\=keK-҇cCT%eZPuYrM[Bh |h]30{X1~Oġxʒ;léQID&\s~c!{RCtwEhaK6i<_#\! DTv:r5vd͒~A״-ܶ#[WBhBe7Y_r.M΁h1WzHڱPg!z恀,% vTfLf&:5x%r:=bQ~tl*)!J< $!(Ė{3jz*G Ǩ1搃D S~O!-(euY℘o:[oDsߞ1y9*o g]S7|;DER_yD2%U`Jp]#t׿U,]sV@M j/ ﰘR @w.Oa -b͂uTYOPqXD;qx:lj$# - 7.@<S즯~pJL ۴rX%N|m:KgՒLK߃Wz{#[ڂ8zOŊdUI$` Rfd=?X@0o,JuT΃ڦp``EJqHP_ R츫QNV~]jl[db }&~ v4ӵs*xҾ3gʭZҝ?|VKGVBIkvT))}=z{J/h0-~/?eƫ{ɗJV_RCnU!kebT_!Q4l(G JXlK4]WI٫})t#Wau|6qބּ!4!Z3(ex?T[6 .ņX4Cwf&9u]li{ DԺ?r rX`{('fM/38,wI]$z{?o\yb~BTOylĬ)9zF!KjF,徿vn2vxԍs 0ҬOb|=x}Wڰ0go~ZZ]qΝrx1/Q ph?nZPı+7k~HA&q渠I >!@ UɜE^[&*IUN,,7r|%4 ċw*D ^q%jM$BEBp+gP4ѣ\P^O RQ:Fce2w߻7`M=-U` /vk9l"{=R_Ik;>/y:el(o4O `8 UPtwBe}Y>Hu -T[E=3˺8gYnq1x>ڳB%ۜ]0 ;t˙ց`L_9E6a2,-hYؘӊT5dwl/t!z>t~K];%MJ3MP= >]Œ>\ebKr=ĺzA8b- v彍d17ѦHA>։.,\FNr+d=dxg#q\IYP_EHlOz7!6fꟆf{p\҆,Y䌄@U-ʗ(53dD<'}DqV/9O8T2Qœtc1~ф^=kiK 8G/8} )WI?A q # =_ .4-cdS`IVQm?Nz|<,KEș" =څPR0a8-Y-{MGI.ˏ,kIH0G.{ݽff@+TTy!,#e_K$ܔSLIܩE4'%=M"żѱ˭y(eLJ/*N䮞Dib\ĺ # :E11_|r!UOi~Hԟ*7%Њ.E{7hgUz>lUZɣpfCg1_;o0X\UJOD)E\f)>!eW, q| hFkPm9.LL:&cP oO |vLKY^lM%9>iJ6vW"n._ak(X&\I|hqj E6P(i`P 0~1]YE01D`l(jx<8FI솟 !>BB/,{TtsfE){0];^ ^sv&0)kf.*3lE?Z<_Qԗ.jף&7vN(4Y94g̀KU+|'l!Ȋ8'Fށ"z=aPDbrM #ih4׼os]B/\]6eԪ(?_XNaedw"\u<|ݪf40B _ UT#G̤%ۿ35',INP,AS+BP׹I&%J )~ rey7]ZEOw6s 0V,K=NGhEXqqw*n"d_SYdjl&~r|83ս)M̵xPX(ܽ">gop|-6.j#/ی\%w&SLNDmQ0EŜfm",a#ZǬxoˢӽ{"dV~a2}v*>b$-@k7vqP\3Ր4Jїb81.|4=tOP Ťb>vdDR5\'j,aFVz+_CJ57̟vPP Ue5|-U!kڷ$4~%1fq- l@I3ec&pЕe [oTr6}$f4BcW/;ٌ9>0ljwi#gn`\6[LJ>  :O~nJu7^7 [vo}X禽LFe5ƌ=Vޠ"&~J&Ne KR{751ԁPf/Тo~0JL ^f-.X]MlkWDpm[:WரIP_"/}Jg8z- 4(Z6${lpB$3 F Yn$!x~:+(dqW8-ϱrl"*n՘z| }fz+{\ Ji$,jK*BN@q6,bb@^0E)+Ͷ H[LSЩB<B[ˣ{\hz])B; Ķ)xM}Pc_a'K>S6#TfH]R<'`MC2F5p?~57' Xɫ/$[]w_ϡ{XWWB bl4==B]7mf<#ިX_|*޸[$}+\";b8<[hPv z {4[B'zn}2/E_6aj:)׋$b\n*?/9^cPj`E$. r]H Ktn+Jxpv;$/zi?Sws gV0B.#zՐ(0{_ےEl$CwLk٪5e=cX]i'MkDڕbY1,@zOlͥ9ߌE{3! "CJ AZ{\S[|aNwCvRBXiNZ ұ>ޣk+N.#e}g 4ګ[UFCAϮ8)Ԟ?RF?dͻ\ڪl~Im7nPIߒ F8܁(nh EƕcAJQ&a *US!ƒ=v}1 f|ף%q-9Tfg"oy_X13O˹?#J"UAZ<Wŗv-d]]T%E(,;ANUN 2_+I}n(cD;7J$qzbz#._i; x*CNv)Eͬ)VcFWNsM/ D:28̫%d[^/ Ve6iqĠ0i՟얕m–j W?Mۜd^yԔi%(I(}uilO ~f?tKőHbRO=`Cz| |Xx௓S['.BASfhכb5@֘*!{ƝMnII9`#bis@AT/L+ЙߓĐ"0LV`f DShW2ZsrP虹pjsp f->Iu8r3x^] ,9c? N<JE!Ǘf4-827N4D:h󚤢ўM9[$T㎡)h)e7)Vn\>҈k(8쿎}4\ylXv ݞ [^8XXj>[Dh@E9JONq9ӎ]{Ubau\uL4Ldޏjp^W> $Kh25Ćf[݆0PA}/!r؜ɯez}Hdo?Ѳ5>RG~k-좝].WƷCNJ@W >kmI'-]{wv_`8t9dPfiԤ RhehN=qE8o1i(p_aAB[B8X># 1WkM?1.WLI2hR_ ?`"9|o=Lϭ" 犉O!:I2T:]qF!|VՃĤoRgpsu~ fy2,~oq,0Q XŘ}\%i ފnf*TZjᅰ<4eg?({+@ƟߐipfW6Ww:b IYvQfx8a,_IMna%\;`ip0ԅxXE Ha̚ - `F,Vn" n0Xauνl 9J:Lp5Qp]LݙN)`|c)Aܡ;2b mnx3{{ 2ɚh}'*-I~GC ,>ħN9 ̏ӂV^gu-4 fiJ\vw0;" X\M/+5'x`Cd1&Qym^3 e cy3[\]^:zx $)PJWʇeԴ)I++焼Ld pv\"t.4'EZ#Vt0 i m-\ FSb"IkT Ιd5v %!,fp]CE)zx>p wsd<tL,_Fd㿌tfn#1hߧɒyP H8VZT z}fۊSMv, u<_ TZO֨)q>\L㫑m8$$iӆ!t3b 2XJ\->*N;85 ыS?6urs|7&w5e:$'sVhP+@Y:7FcħEا!*pJUoxra[%̳as@|@܌o`{Гdv+Q%!GJ8Gx23fj3ةV.r{@!]II[O~3ք{>QAQu"I?yqiyq<2CͰcEAdlIĒ:g]l1V/N 亙wSta qOapP@.EOșEX1Ƣ+HwcpMl5NG;BۅU;nPӺ1 % vƀU^AQ1/{R!;8E.QŃH":,Lź1hХ *mQgT׍p`+CR ._vѐzlFqg߃vWs.d-agh,ACB*E+k]sSCŲ]X1tfޥ!=֋$8WIpIb\]R 8kR>~=< /8&eoASTYKYH%4·9@f^$2zazgn[tߖ> Zvˤ)jL8G\N[-pV;tHFLcvJ@v9Qfr+XSX m d &+?Ʒ^ai4u^y`˖k1 a׉(.vF9{W}ä?y(el;A6CR=uJ K;Vz3gdr<'E{cLv2!Ps͗en7ЌUB+6L6H?nƾL<эUpZ<>΃WifuWfk+aR:9V4̯`E ]99?i#O]Iܧyw~A>T &o' @1wRDޯrSk6Lp92 ޒӺPן {oA=lL˹0Yix*SFQp6 J5v#u9``jt#~)WCdBȉOj;Hlx05N%K/ 0(ɐikKbo p3*u ҨIo e'gg yGtW7Ѱn}J:^mPgZ@9o1@gɒ QN?ͳ; HZx8 ́0r1[woc%&VQ'ґPg7(fM"f wE"{9N4v4(.Rt,00\|ׯ(}, FT[ -‚h}_HH 4zI]R!o{_R32o(uLěMN1L*Y}tL@gPSA+yfWVD6^4J숉2pvFj92P٥|cB .mE5nAKE/ ʹ\(x1Idip37vF fMDw1U?M({h!:fP{ wnUƼnr货V: #yTy]I_GhjĎvMZ;i˝0kηs=?FĥAf˸yy+>e!RtRYDHQ[m\ \n\.Щ_JB)̩xm"ʿC ;o1,iV~L']'6)Z=QxKig[! x+ڰk1K4 Rz ';j9Gw M*Luọ0=DZ"aM8X9ټʵ`j8Boʄ~@C1X̣,,cd<%rI46# 0o~d#k_ZZhA'յ91L4aabu&(āZ#Xc̖ڭKhgYZ _e _a%/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' 8[UԻ@M|P7\Ɓf{uWyc+@XzyOS;[(0? rؽwuߔKu>6r ;4"$(6j c3pMPԎð4P^ xSNJu"eÔ$Wol5HDDmd.SStK;ybQ+\K4`ӓNx%#sVu ٚ/-?c`뾬we,چ?k@I<+鐮}#"_ n ͉pStAV!fmH6By凥q8.AX+_2z$@h!P}@}f3&yXFų qY.2٨Ԧ\{" B @u7@5 XE ,%ݚ GQ@f%G @W 's簷rzǁ 5؛7M ,R/*=(7Ͳ%EO ;֚t=NJbDM|C5hҖx-a(2ީ;fd՝Iݤ^D]h. zFC`x-8ũ#_8!b>Ȫ?jVFs9iz+箴vZ=uGePkś&IY#)d n jQj.s7w$Gh ەrJQ][[5ƶ9/|E *N90E[7&`ƐʱqSxtGP|xf8].oKtX C(?1dI  һKN&G 7Z%9Mu:> k~yׄ \^4 fƒKԐIUtQR<%MrP&y@ZZ2HE@|᛽TT%FRz"Z<ҋmb#E)d i.|\fr_Nt~ &8eAwѱ|N7 s$_~@3;Tq%8Z>Lf5W48̕U[LKf(/Os/aH&{8faTFvTVҡ0 5@~ zim\d(I@k2@?{. ]>`Mqhx(GYHA_;+,jb*y9Dw=ME.eveK vs|IJ%fZzRp f ^9zD$l4aN=kx;]% ?KEl*YՉWG@+<~IsLkpZ1 4Q$bW>+6/+=0- |?h cf )ڌsP0aZzpCUVKqޠ?7/!2/0>(a 8_z1{ip) Ö^Mϡ{`7,X`pY%[r0*ɪ\=p]B̢ QtL>' ,_4GVKS3 !g _v"|& x1,=r=s1Z4o5sMw}*gv.Qzz_ֱj3,§ `iET#s[圠A}ɪdo^c/eB?zizql1E KXA.v!"ߘ$ /?F-0rmng6#eN ,ߤd&Y ?ڲEFf_{ae5Y*r*'C< f#7rE>-ktw+~&q}#j=o.fq 54J _].YGkbYi5 ujg œ%?Lp<:ޱ½#G.7eܗwC޷J3o6*⫛uҁ8Pt5Kz[%wK_A\(*3;v5D{a~4N\{r sb/ Wl&+NZOe#B#3l"G0ظ- EYZ5 豂5T1LCfilIOb6~d7VǶlo(^f]BdL^ \b&&e_;i`#a$oqMQ#T> /MgoZ''-_Mt &&S4[xX7E迄 M63Ly JuODZ/tNos'''{nx]Lc냳<߅M2\paw JGF"NZRpsܦ\9~c0[9CN jЬoӿqy8u5Ȍ`ޱo%)v.Uk"y=m,ͩc.wJ\ܕعgVc°n+A ؂&cK6e Op]er՝yQ}A9v\D?V%C`+MKb#mM$XX[ٗv n[DaHOrExu7b 4֐.3+Zkh7jerӭe(1WsՐM6Rd&Ӣ~gܲޟ=-F#D(X"(iZ>$檑. ڿi61峛⸵˥xvt13_#&lkvD֌_ߐף± zv,zk$ex31&{t2&H$ FPz'EN/G!{^7 VmGKRkIh ö1K̬^rЉP5cO4QH7P`Z=Ơ:9quåX(Pbv K`Áʨ<J&הּa}5ه0g NZgу%>3gbT|T`hCjCkTh fFc΅9%oj7D2}~FI{. K}mMx``;%un8+G-06;$(.|W녳Hq-"V/ȵ[`pX!}TJX!p)l3.ZC0 ,MlpwAK?Ci$i52SRSC(L1ua؜yZKVXh2X҈V熁汏j$ V"xw@l)PoELZWU7[=^s%A񭞬%uIE#Ǹl  Ջ5Z;c0F9 soeVu( s 7=4{͛ݼ)T`PxcyߑT&swQSiK-!(Ȍ uSȖO;~xZ*Y QM"$7";QF(J?ВJEBvh:/ )[g;bϵPzk,m5,6-S7b5zZ Q# /&rS#|2S3N7.PpF[?iEL'K8ZdRGx|T@Q?%Yi |(>&52J: weicmuREkeKKS-Q ڠ)ʉ >Rׁ>ķ)߸R|06`Y#Ckǽl$ $IY*vo-Je 1B(vչSFs]W/HbalP"j5p}T 3z ֬Ѭh?S!^ ćhԡ l/!A[;h<ݷok b*]1gyCL`P3|Z pB{88ߋp>}L5!Bh[-~I闹LN9{~ל&Y!B|ҜY\ՕYr&O5-ݳ^Sg>3N izQP eURKf UTfz8%5lU$jl8+_%(^朰zÀ|mC-W؝ãlL"^Mi"D l)Wn>cξ['ZʂbFll$*5t"1Th* gy[;=(fP% H8wPtAW\7w -lj2d]ES^AaT%3ZgCRr&6x39hI+U:/F/0hOC-Pd*a` V$g+gFHʁ&9Ô~m/2.5F4`c$jA{J'~ޛ]rV8y&FgYZ   CI],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208o*/C# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u2n]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3}OJ\I $]PP VDU>:g{tLa}ǜM"⏥R4b/o:5>&ŋ얧eLѿ-R#q 6i".QV:aJJ)&]:) IBpo( Ku(x! גbe}X; 0I#2\}TvY;:c}\t%jM\߲z0<{O T&سtfo'ܕT d^DPY^J[1=I/\n-Á}G6G' UF4%}IE&{{Fv$3Ff ]h }]AA}P<;-NyobL7x & jzܞ쐬wp"tYʷ,( >4Fe_tc-08'qܵli? 䬕CRUo=ܥlofTJ<р5ڪOҼ074}!%KAM3Ag|y,#aLfXʰFaMK+=>1J{H$wK\N\P䏈N`"4ZЖ݇/ >sHG񰤩?\&a]D̡:ΐ1u1'.2GP~+/eƖ3CmVcb"rzI=7V.qב> ,6`EK)븴_5qw+KǛtW!VwQ`Hfn#Y13U`l WTd%lTn ZY".|v{/OQK*yyhݹ&t`i?>CQf 8qO5L.hTG؁0p2Tg~uMswůFG3ٳw` Ϻ!D"CE5$ vA^^5˿54uS$l@: 7Q5iՏW=)6>")x 9+fڽHbո(ّ!`#Y4X2Tc,&(t=Odɫ :K_#i9JPhk+ԞXXtQ삍lй8|ֶXpwIJe/<{e?Ql< }QdCQUA7 0pjQUYEjDb1Ôs{T+':7F;v0c <Ș*F)&DJgi .vU7^ЀF" "O@ʆ͐g²WE]JKu[qB8qΤ^LX<\LimJN5Vќ"V ~A5K}=# hXsǂ{2[L\_Dc)NB{T%NE1)1qr!PI`ZDIop"=I귓mp(2wH=kU |#Ӟ׈X`5$-JBube]+²@yڵ̗NzX•ؐႻiGe%zI\6#B}SՀy2G6-W@XiAdbż\NcK'H #(aĽCh N>=[mcR/g:2^BV" gi1 |ɴ̩wα@MIuP$'_\4?Rꋰ:{HۆRy.6W@=Ӊ>օdӝDξ0`qF̳oUn|H ƥJdV5an4>Mgd'WVW|]KD"1KsqNsrM o/f ДX.ꛁ$PS fa%PlwӃ$uWdV 7Rc2mae!_?)EOhe-lEơ-qP#duVH|k=1;k* PL$\~|.MĝΟ8nx[G8-z0m_BZp^naA! !=EZ1hDtdB\&"5ޔdn1T}OkW}jr;aQi/؜U$(Uz^42Fp1~%0p6iDqZȄsS'uC~_ K&"p"azNkjȃI,4HEҫ ʷrŁ5Xbf͟GMЁTÖ1p:M 0PD۵:fcTzT&,W:RAMqP۷@L} 6Wc/.V ڋtifjFsMrr$bzz+ ĤbkY.f4δ(`M_8IHC%j[yQNxEU5pE#A/)nQͦ+5Ώ]yS`0W5VFf *jc-l”^&:[BLar1hWy>#dVc}rwXgIKS0mBi@\iCx^M>e 1   +`TH9:q(2+bsʰܠsu4~'Xɥ]Q)~qJ2s8Ot (cf+ŵo̟"݁Z~^‚q{dPe@G=~~+] vt0LTQ-wOb;s#}4&爑H j F.{}3ks8y.Xc7;o2BNUjx&:r' eP)~k4" pSw_)8nWnceR8,ܨ}ʟ_n? V唤jc <tcDjl3ʳW[V4JhywUY'R@h, 0׸}VBhĐ6=Qv5˂h劉xOXpOڏq/.Z%xS =u/wg~xq0p]g4Zɦxd",-ݑxx;+^Wl՘) ]ʱgYZ'P#f~`+ї&&w c4+LJBpZ.>*DL5фE /YC>Pp{ xg 7#DpQ5úFG>N&MJKӀoFUDi:FcxA0r2ޥh5_5[[qZ4rCGfQH)Miik{ Y@:l{܁`S3uaYүZ} nߜsǘz{Q3,dB<*\9  HUyxϋ]H9i5MD TˑOA;w'Ljcz~=>G?8>]dsi]'`⚌X:m,ړvؓtDޱ4r}ȆVVSR`)Sp=|&]s;V'qZ2$7qI*,ՈcTܜ"?Mafr}G[9d.j^%k\e٣VKJ*M?zr-W a^¸d|R ).~rCUA'=UM.n(&D?gQ]>G,Go7 0֎A 圯ƸO8O[bbkCWkAʎU"\Ѻ;%U~~0h=膵*HV^6S̱7gO]U%J(Xm8x4R~)B/|T'8V[,KD!owvK !3:Ǩʎ C:o[*#"NMgާF`Ez([7zPD0)ύt)~%[ڸ=Ȭ5;A@Yl|e`Jo`Aap~k/++Ӡe}sƝ9<3w襴eŮ]è- @?n]/Gʅ1})MфC}؜@b}!4K6jC\d1%d뭁q$eu# q1{@e݁,ںvDe67s|b{]TtL(ܚ/^ͤV$"=G:4sPإHۗL50q^Q.en+0+"6bc=tӹ+^Mi7H;U'U&꣬D:( l@?Bm26 3 +GZ^{y̳o15{ !Q?Mӽb][ <~1_!,Kt$% =^=*ɽlt力**TսcI޸l9SWˠ*>IU-S.r*T+%_(6w%U`Hb;اt.LF@s>P6rI6t t8Ⱦ&/͎1bbqqb.KQd?~A/nJipt3&}"KJ?NWfsL>W]6`'z*o>\rΉn)lU4!OUq=$#%Ŕ.-}Y u])MfUưpOcݍE 1(H ~_QD4"ڵ礲>R"$aӇ\nH=ue(6Aj eL*whÚǭ }NFzSu^8<=˪9uxwl'tBl^x)+x`-1*K>A$ըخh:Ekx[)w  wYJeb.l!`M1f^*-+Y?^_@#Y2U.RǨQ4RJ+65H'ˑ![bh[cʵ+Jw󾱖XIMʔ@@;\GS gڅGS(R *2~,ZFF (=('8/WSIh5w\ "pr+҄Qjt{^ACn޿zg+-Y9Ǫ }tL Ԅɖ:@$kdkcd1U[vh>=ˎC Ydw\]|aO˯s АMOK #=θ%7h`a5t>3#U,&6^)< IXo!ybbFT>W2It+{ xq=[h%FUT(BW͢oY/Bv Sw 1 d~ t% S>4\# 7<.l*?(C Z Q|I'_^}&Mg"Nb+DGJ"&/#:PPjxCc,E>=U>1_s=3!~3@u}3$E\= qEݦs=(1bmbw5M- 4ԍp2AiDjQD,7PKn?Ho:@xGWeQ|8/SL!EFOLG/ue"E;C&4vs(^7TJI,>>\˺)ЫjޞZ39dBmH/Xƒ{@Fb%mb 6oИ\@pAK"&qDw'Y+ؤ e ]{]vjihrڲ}Bb-`:9;l!ۨ}"]F.EtݨCݧ"'g7`pܦl„Oʚt}BbpfsdI^Dt0I 4D80 yi 9S(ZjsSu` t^3H nXi8dm'֚zk $36^)[uo# xYgCIUZ4m;@2"z^4mK3aƩ#yuo8ʩ(یtN5a% ""GOPpA.g 1?5[vp5ĘOadoZqLLyxe?+ak3xڈ0 +\]kw gerqk{A*I3|fO?vgbJ@B@ūhv¯l'M?>T>jFM5S< ˯m7Ay5䗶JsGsPYúmbhyoXf C*r-=f$Hg/WжyfHJ1QKqO .{_)opHRPJO㐨J.ٗF{@y۝Iq#DVv_[N2M8B;^V*}2gYZ  5|4c0/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! 6]·Iq n[:|&[z'ja. *eR|L.N""xcc6-"xGcTALZ㺵8 W9*'PlcnŲLZ{롨~FtXO|>G t'}ǠelMMC%7ˍfRQ J9Q3K epO|A+r)kM,C31m+Ti"8SdwDFpE >^=b4mvx,̿d绢(P/ ͜0gYZ@-/=# HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! eB]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AF_Wn )V7Ag s<'dlh'+(z=#0A|-ٛRj+vKh\'=Dp= ๋GBKƓ40Rylb "Ҽ!j}tş⻃W(gl1kxgɕ]ǿ#D )ފ[VP,#)+bI! d;XN;RNAC 6(!`֪t4Z#D,uQQ>sg6\X|bʬՀh<-8?ltGNtԤ,!+CL"Q}=,*tƄjGۄ% wMøԚ,\Kok@W6:C%p7b袵Pz!@:$a I|H2jfyDN3-NT? j0h%1_(!7}(ד[/ߑs<`#(I4=˥ULӉLc6s%sxȳ;L0ۭ%bjij7Q =o1Wnji>b_DQFgЍ.1Ɉو3 &'}$<_(Cgsιd.c:Df:N*$LG?0jx4˖C1h:'~܏TD+UF0W:i+?eʑF|hVu7b N >wkvt )e?$q} ɀ/*|wvx~~_"ZX!"Sxgfb~9ZhR0ųzp5{9 / p8a@Is'#m bl}M>v,h'`#d\l1B&9CTIT|HŬp34Ks5}^ 7zCHOIB*$Yr'<mu[ e{C~I]ȏºn%-Wf0eH˷ƨ&gĘD_xn1!h1mdhWJɾձȠ.zU3&DQzj\ŗ4wP ~^ͼl'?!lIK7myO,钅 ;w|Ncj9Y7#[9 ʨ꜄z ˧-BZiJ{?ڱA;8,YSWr 9l8-U$Z1-QQ(N1p.ԺFvi"ToR,{jNnWɏl7bug0tOP0gv̬>2o}Ӱ8f6Q>{v$nH?`&Xb4財ópBFuww0~AOAP!FQI짋>,:ҽo. p/\ml_ODUC`d={ʧU\1V~I6m8j#b07 |N>]Ba͔ƋG0Lٚ\*[f!s 3vP7T(Pi#1ሼš)72ra}b\K %56æG_C\i{qq}D ;Y'F*Y@_X]Rɠ'7>1M4!/)ʳKj'Ve1X}f(i85=N9\mZEbQjV\3`]@^6O:p`QNLFVy{c%'bMC~-6+7Lw`ߜ",0lzj @Ȋ &abc$R6^ht'V yռ|ja!FX@S9 2~w {]."2yD^}joܔԆL."vbb^UZU(;*c<_Ceƪ͈ZtwRЀS +_q0b ;c[S:QM3&bz}nШA)bl&vB$0 -/CZ,ۺzow~f٧\;ƒ,P[$+Z?[*/AWp + &fҚ&ϽZ'!K<>̉8?v XۺHda:~k+ˤ ] ,q>? yjV-te֥!u^"Xn$ф:G& nFL֔pS4*<'*ؒu8[2Tָ?@B߈8K39|vkW~GTB6}TASSmS8߳{%| )b{lKd:8ʰ:[+7rz v~>8ջr3 e_>(8cN!yd-< FdԻJ_/: xZT6Zqp lǓQ sCvt2E& v9Z:E/ZFCM Yp_`.Z'Ln[k}@%j\՝Wn852%~("W) , yP#]32q(%_NΘxKG"Ou~A5 SkN h 8q nVW j3r!w -Z5kco 3#0 p7hs/ն*#fLАHPʈ\pzYK&teLCuPdW[jh@^MY)I+ -Xsl7N :'ݷi|ô+ eW3i 9c!&Hip01. dLl]%$Ao\C*l{:z54y$|ߴt>4RjՇ"ήdkՌ% ڰw$O:ƿVJ\#F!x´ə,"sw? ~Z> _7隞 ĵoN!uE/ `>8Tu㋖+6+ܙq Cr[dN#ʖ3 ќōNaգ.K2D6(/ !س'by#d|@T+uZr6ZN/)27VFNz{~gtly4bjVZ[ ɶp.U D9sڮ/ ggYZ g1/C# \HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! f]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdSY|b/m?x'8^{8Gi,EYGetwN*G E|o19]J,Q—VR )vw0-3*j*QRWDSgW鯌8"ewibfTe(эz,P:Hx aQvMȹ-`D3/zJm^A;(WFd n:G-ݐ^ͷ! Ҿ5+qxOszMz ExPY^p`L;I*+rhJF tNػe;tO@?Z괡Nq~`GŽӶ]UA{_#βf@qc).6xup,{18F˅[bg4jk<s,q0~ؔwdNфlrlޗM x+^Z l8DĚ~@aR9Ꮕ:G1<{>dʅeƆ2l?-_x[DLg4w{%5W!mc2פӄ( lDT_4@Mjb5qA-%x. RWg((`awJ3۔K])=v>A XamxY=!38 7_QpLʖu'9/XǖH޶nzI쀡r}_ʢ {Ec+GZaas٨ tԖ6a=oN# yζiv>?OISH vCsVqh4>vAi-2E`+)&1ږ8ID@;;@Sy`Y,rvqHGثǜ:S׵g&_ʛ$dߏZF߳BH ǟOVw*-ossʢJnD:?K"_%q'* y 4=b3x받nb-~%_袋+K?Өv}&jL?/sN `?`ބl 9pW6j)4Mg$Glj 2Tdsr ÞvǾ{9%& ݞb}/ZjS#VG$IQV_Df R1p~Y77Zoo{Mʾ^ڈՆ=z"[Sϴ'|tj.zN2R;nnW(INd'^ʲrwFi(Ubå`y.@M}h[W^a.`mHñd H}ЀuTo$Gį/ /ݜinZ}wDzT&%&9yj/ћ;R:SXc @ԎpE{ Q*rUJV)i4 UBy8:_gmND7lq֤ j}ٞ{q۷MH Ҧx7y޹ D9,ٴVp>^1]mLnV# <2 T e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218)2/C' \HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! &]Άxʆ5.f-9 rq8HȽ"~ZʥO7{`R@8o 3r[~زC{Rqv!!.ģ\TRQ{XhW+Sb{S-~OݻgO3zZ@tK4+QFTh e(/NG iQ7sݩTwɕ1Ӄ|)U2 Ŕi$i G*RGsł+sj.J,SoϙMfm4ʋđr8f_ ],#Ěڏ,Wh(_&\M`Q8#wHC.x /اC×l30kW`H kȪ+w똆gfK %i-/A#M^ĂضkQoS8c# cgƛHo.:ۥZ:"Ȥt^{׍#(:ɑ 5_o&raSHr` [}{DW QQ].8E;L4g(*zVY y; )/S(Hgt]*fR_W܋qm_ILDk{M`4JOLN(<mQ=~"ӼژyZh ͵"nCG vVl`_~q>}?"R:dsCAVf$vz3҈G Lx%C t+.Kgp5I1 ж_}60T4FNh~<^ JhvС]lT;+,Y )GA-FHqF-C+4'<$zI!y\*:^ =ҎrI H6"ҕW; NߩQp+`miydׅ4h'UVvIxB% 9lIQ,##D%ô*A\D}MtP`~.qHe?Rܵ87x; d-\Y6r=F3\0:I2e鿩(5nԥ0kLzƐdHGYowo,@9֮mi7Zׄ÷Sr, qm7K Z@^AUpFŝGrnxX]vjhxv>-HR>tcW#Ȓc{jG/ə?ZݩH.y jn_$pdO6mlwNlPdy{ Ft⸨8\*-tNeҝ v|8$&&_A-P+dooGH$:)P4&$]I!Un>ޘᕖ^7d%8aPr+U{.ف|,r̾]|6fޑ%nUXM' dFф?=:RzH2U|ק/ӃHio+Ж"N?FxYf`]t'-1?p g)#6%bFTW1EsEWP\ΗwcPϾbӓ4+ Lxce|X. ;c,o1ewG`ue#t/I~Q)ٙ+LD5*`em%?? /P_`tv[ DZ[ ұ[^< ӬWQ4kҫ. }gME*BI$Agp$ݸk <8 &I,U]|`C#dv7ɴAa abCr@r )9p]̍s+;X1ЖH'o\uŶ!V?{zרQ5a gWg_.r~E.p8Uർ„$ F E$"}!Biuch=MmvdGIo&${KxҔ` 5p5TB"zspPgQ |Zyq&ފ3ڲ@.DmT^>+q%Gp'B)HƌSHVs`@e;/襂 * S7`DKWJmc  ZJpzBJ^uT n +U75M_YF0%Pf#=逅^t\hgm;Km }`Z" l8R I],a࣊_G_қ9>̋e-f-#(X2cjֵݦk,n̾5;>]Bo"lQ X'M}u"ZØqm!|-OStmоI6, x?;`!>L+\z".z)P?n_Sg&Ekoe%ed'H8 leҿf29t{LȽ:-u"=i1R1 (H(Ь'w9޳reO FfU_&Evm_0@f@5uDuӥdnݱ9τхMH13݋ gYZ6UzoLBCuada z3&×4~Xtn7 N]<)t[UbGY818#*.}`$6㬻ǑlDwmщʵc wΞ?8k$Е Gi{qL0o:ǯȘp4LG(~@!iAys3R'w0ax9ߥ#mFF8q{J WQ.=HrPmh 1]a f>4נ(s8 qIh/,~W{;f+`g9)q^BcfE:h M葺'>b5:[x2Q'N,C=HX令`c۶$FyV:场2 0tRvIQuXxYmxSӔٵ2Z?|ȭ#ڭ1@ys.*|Da597shX ͶHm;sve[2-иaX~`T%m4uu+C@(&y|)8ܺy0 ^Svf0͜ Nl:mTqx^ gÛ t#v5[zed7[U%5 .U`F뫘)>=gQqxCRParڰ}pƗi,Nwp=f뒭G5G˙9(NcgC ];8{> ڮo# 6}t|OJw4S/{U*9$-Иg~ggZe`|7.;lx1Fd34`͸@@e[ /* ˏl7nr$b`nT#0uԤptoj-gcJm{q|ڵ+yAkQRV'0b!"FCp͛jc-#QԪ p-(%#]Uj[[Ԝ5qpdqW%d~)!9sZIAJA(CB@LQ[-b XHP?SjWťH#~բ U-ь@A}"͹n>8/fnl1ކ pCs+M@w@_wC,ѬI:TɉUȺC6f^Q6{1GLSXكνEcd#~< GH &, 5((m޿ ՁG= NO'9FTϏnX$֪R6Jv=XqٝI &CsK݀_7/ 4_:e". -w3$&݊ZҼ@H׿4v"h+ʺ_G+&պ00i)IbSWM$P_o Ḋm1s9k99[1IA-/ Hz$X6$[OTZHPabT&'ø+hb\5vrg`LHuW2$VžcIZLCVV2͏fD"z A'{YoņI"⨏!yje̺w侲9 B1K(Rx֑9qRN X'i@wAH7'/nrb`\j#~$ɷ· [J' 3֗~J).J])r]g t@㜁8|QɰN%愬jGqdKzɒV+孧L&t۷}k,ŞWV$7t돒~b7 }m_EHEpPOՃa߮ X/$MrcŔe)Y mO]_{0[Սɿ!}\rԥbQ/ mUxX Q:.<O!s%dIy Bxώ:GݚZe<,N熋`ˆb}]2LְK ^6R%s5xك.J`]*9w7ϟ1P>~OhflZY6VxBluXSQVqJnfXzǿTׅM"H!Ycp3=69蟐~Lz;*ݒTEn1))M@i<د<0~ Z"nȤ%=sUO-2c)l)֟+"ܝ_+.Y@m|>_Si'6f\MIH"%8Sy1؞/P%жNy}Yt.[P+*wż.ҳ8UYeH;NQ!v} Wq.=~wKHş8DD\β&YZd߈!r CE k  #ݭvc1{)A|-t*Rk! Ǩd_&qKKܰk8 $/D5Aqjo'}2F-(&3{y |.;v*#хKM)L(QՕUum{d#j _h6;NCcP-kTI2,o.5a阏]0ͺĉ5tJ % ,f7@|5TՊsVawcl>_HG3$лAENKD_o`;9&S-ج7gooFaC1D2N;u@sehf(>!N^ogMBɐ0<*lKqxvNCZ鷓~Ҏ\daσ.pD泼QI'm>wVm8V{jlp)cmstsI)Y6Czk=zЈó' EIEα>PJi.E0C`{6p, :q9,H9ew8=k}< ͮAMlDk΃t_@Wؒ=gEF_}Eh~mm!RVO?j`w L ܀gZTJBSՖNB\]dƬpz%ff'8J2Q=-Eg!fqًVY8Ø?kŗ2UEysiWc5Ʋls8-OToy1HYL5 4<  l<~wM TWVR!K Ne LpMmY҉qWTe+vX#WqKX"]#[Rt}ݧk ?1I*q{*3KC))00D 6F> e`bzL7-%$/?q`?ny]MrqFaqnU͊WjԵt0ZmAT! fd,v)T}*o]\ p֪+BWWG 4Uzi0[Q]@o=쯽eq?xP` jfҭ>7pHtmKѶ=w <ܭD/3c&Zo47ٷqQ!(؄ivtO*|w>!׿#;Ͳm 8D*4*غUJJDӕYV+` lX~=;N/p9kanO$3zϛ*p'7w=2IoXّ%ZJMŖ7QkoF_923l(dCdC!_`JzL01^>~QqС/հ&IS5y?| 1tOc;R_AB{I]~ 6u>|>T+ծ=-]u;0jgeK~/gCj}`,Qo26$fVTeB()b4(ȑ=bnT{j7cY%53*481JG䗙׺SZcЦ+.!U6>a?yZN}Ζ|31GɽR#xuǁ~1|IlLqFMQ=-FZ 7CA*CsHTos`e(RؤLT #>pl/yXpXy2Նw+l][xiEG򹏕~4Gw+nȷK<.*Ui>)gjZۢ+$L[ o fy%/ ^B2ҒuASK ~}_1GБ }h_+ryUSo^S(<5'U~%ac_ ң!1ׁ뇈>|č]SQ(,Dk_^8Ias;$VoWawRc+NrVU-TN+^56BJ,x-; /'jb0!(vE# Zg՜a,8L, ԼQVbC ce Y>sՐq|` ҧrĵVo0ʳ~W!ȑ[=ȳX[9ȱ=@:'wmZ?-X:!*9kR=i DjOxn0xp I>u=. UB t؞\~ G7%x;Tb?ҫYk:ԻTT?AMXV~bЮI(N;F:g.b`(qUs%pNrpW<^P@rqN=G4o ޼=IU3m\ ݼJ Z&y[@qmdK.>pi N䪾>^ҩ#,Xb~>LjX)k0n^kȹ׷q}QC@ҡw4?UˠZ@f1p$Ù_U O:z퓓hfW/-dY\2'73c{pK6TAs+.|Fbڧ1EPd&cIתֳB('ަ-tV%>5=|~C:9Wxhe-ò sttkp@k[˴ٲm0aW>xVʒS `j>K+u [VNy?iJELWRzEȮ @֘mчuy=1kSrDeʫJ1ID]$)\3O$AH}O[Iwz&N< >#|& r=u4vr]A.-W/ &m;Ht\ 5xd8zB|bTӥ;yAha\Zg'\&#%9v*$k oTn5Z\L7;O7Fɋ| \_T9Hq)+: RF؂^&dec}L82YN":D)QmE~$'Jr bOSGFan}q~;ms" v"D(Z˛'{77c|  qjy8 JFm*~N`xiGWA"sѾ{3G!V݇(},Xl>h ^-yT}|(Ȳr hyR3:~Fdh2k.##Hlh/g(7E͹'%01HO}C}jݡ2!ww] !\ys[QoZ;(՜ͣ4ɕ@6&e&t/4;hٰv`qXL-ǯ'M"Q*YVӅ%,\(4g~"1kP7RJTyq!&$SQ}Ka̷T@Kӭe:ɚc318G(]fcY:d+^ s ~ԺpEڸ. 䍄bq :*U5R@N*vŗ3.d&VæwwB~f@{e/Fjcyyc7O5xZ.X/%N\*"QL]'mTFP.="@BRBȒMus ?m$ 9[W T*)K6OhlYT (0Ʒ3-TKԔ@@w P@HMSj75r8Yi-P0E͟-NiMG!*]76)*smz)2Q@Q|ڈW*)L*9e2K#})9BJp8RfJgDFkɴՎZftVK>-_1 7=*~?^ :o}fw+.Z"O:u'瘬ҵ^v7MjY$f^:ŧuqr ̦g{Zoee]ч,_Gꎛ9)<!9vX_SkHc.QpО =}zḆͫKqWcט | !%R:q4ů&RpןTm- (%y.m'C:RCl:ʋn[OT%p[MR~/z<=*.ɋDwvVB"N\Ƣ1%_Ȗ9Fϑp n L ح p#&̣J]ZSމ̱_EO.JK>⇙|?|n^)qKmn-W9]9Jȯ%ּߍUKDX+Ud朎ZY}AmOFǼ#ͨA<#6fqUMGW}DK?vǼQ=Ymz cENUS \Y,B"_"4L 8W8/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! :]Άxʆ5.f-9 rq8H[?]'Ǚt';B\i8g? 1aAFl$Y0NE9N҆UmT慀cgL{'UyJ;(XSG1 `+FKrzbӆ8Z3tZ>%t$P5|j!:w׫߁CQ8 D0hأ_t^`}y:kac.?oc{/i6b 0 B$4x-V7HI4Bz(YAZm`9n8xq/[%׆2*-]?ͤo6tlfRBdpHe 5lLCn=s9, (C]Y2BӸT23{0<4;SmdQK}&_~P,¯4(2z1Npcl/adձ^jW2dHq5Y+®fEh~➷"Yn2\wtAH0(peEfWg{@v!C\PgYZ 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ܔw^~*ѩ>jlf t&py۸4{$Z|Et|x6f]ܵ]p|F Eyak+\z\-Y6];^Pˁ9H ^#@l@B8U>T$-" Q)5@)!PZ+m.H5O?bnHr6j-:־Ջ'=C[{_~*@CS'~| Пv-A:Jfؒ<5[r  sp墷fJ:G=Y0lF +i QVnbwE@e$CX'*mjT* l+!'0;%k( k'#nBߑ9PgLNGJ>cHIu0,/=b@פR$0d^ol֧]3sX,1d vB$E(Z?=YXݓW(fx-BMttu&Y Ye[Jf1K!#ܺ ݣ)i٤ZFvo^4rcN|s UtlKX S,qq״csZCӚ.oxENːݪ 'fz(UNkF))$wƟHe`{)(cFVsAnUG6Х lҲa81BcpHOs<g@!V1-~H0WYp]AI&D+ʪn(<n;wOXs1oWi9Upg: 2_d /v< DZ+G-_d]? 'q-u&WR%߆1yzLMGόLg$Jlܵ~^8v@ @MЧ n4C $!fgZ,VK8j zCWMAп"EYTyo  z;,|j=$gm/"0Q^>m;jvxw9k"Y)dO~\HXSOeƎigK `+܄8 ؠH|\ZmpOJ*P14˵RFwX =x^5 ^VT((}y'Rg8HUg_;{ ϙeSUf Md$ad!2eyѦI- (C?DQE}21eR /6^Hڱ,gV~"M4T4xhaud5o4FMZ̐TSXC ꧚j1IhbαDk?A v-_9>&:tCoe٠O#\o1\{8LY!.Vl+z#RK+8D] a3AAaZA\ٹ8D{R3Q4cS.56C Dfnk٣UfAD-bjz'zEloş\JЅYԽbX0[~QaKxԘE ,d+F0{1lJ D<=T|ѴK'` ̏V{0PJ}m]R1|Ej~u29텒:A(Z+ "?CAiN޻1H}^P`8'-;c$`נvz۱c3V:g=l"H+N+|$IWR,A}5˃˾SS^ke`X<^P\]Nݕ,Q^*WqB:4[n;Pƍ7H3XՌ+zH?XW+ y2 o!Eo Nu݅Lڬw֥)YZrgb\mN!4M+.:5oAOH^N\ɡRkID\w"3$ϑҮQuX$Z.?)S?D]B&~5 ùpn,Y^Œ^[,te,Wɞ(º̘9՚Tg'g3D[*k%V pRO2: >6"@''bD?Gza~=ڪؾ!x9UwCX+_ ګ7hgH}eSZ~qB7r{*PB"|Hϐ[g C<h٥Sĕ,9;YVs Yw#ssYt: cE`$V]G-PosJ^T-«xY`Bes)^hqN?6/OSi*.ICD'R+ŸtO!pI?aw3!X(f \n4t޲ {8&4w$NX:JK=gO? u8vEћOMbPh~QV+,D:O"fJ< '皾7`I$@ettxp"4՝x.2;\=:dpŽGK6zQ еx]) 9 ý忔pk9԰j\ X< eyM&oȋl| yR/\BY$GqM0ۋּedU l_^_@yfSGO+oIiڜNc~߰fj}|KlD}0(]~4TaS ڥ"un{Wc]$<;tӦGR{.  0bg\ژg28{7WfaͶaP!`Q vґ.UW?7lbh=詬 $1(0ɳ%SےdZc`^ϰxm6@IrKiݟ0"៥`g"ZI5bI>(j pՕ0b,m ,6AiN(z6`Eҗ)e7.Wv]6 QN.ӷ53SƿN9^k\|I?>k-x1_hNMRd0z4%l߇-HJ4U<9cHH8Eڈ'Kataqɑ7̞A&MYjMcR`PXm-j"=pWAUN6usB?ǨY|E%UV zr9!S<8L)6|$EyHPְw~ ,l9f;'zݩkrXɯvHT~ގ$'#+lS̳"UhW \ݚ$">.֦u2 7@^gWpVnN6=C۬Ei~N}h2×҅Np g0؁e;z7o!_w9j@T98j4Ú (#h> >Iix?>FKJm,vA,*Dy,G@6Vx~X7Հi0w1i Mz _1G#7#WC-]u['M?"T 4d0-x\J)\6]YV|mRϹV]T[ُ:]c7SOJ%CE3Jx+X႔ee aƛ%My(.ϳS0+r.XԳE_[%[ɗ3*,2@0)m.ᇼqcB0qj~ J^`2mfn~a#:L=bQu@嶠=5JNUZx6O=$]C;jI*#7?U&$91rX#)oNt_DT$̆x6QB=% _blH{P2Tp×"4ݠ[(SVwCV]Cҹ2A6KXҚ{"GUۤ84%ws51f]+4fvmJsL3t"cbO#Ē(Y i'AQ@D=D 8 M{$r•KmHd>auUjTy6Jk'P4l͚`A (q;9ȷbpm&9-T\IteA[ub]P>=̲ڝD˵*&{}eN![?u ((1Zi d9m2wTL36c{8nռr`BciBuAƶmB72Dv,Qg0`,r|&)^Νu 7ܙ;{r65!#[ͩ@AugrtP!ҚeȪW9Ity M{}r2\!]K4oX2wL"ͳ0Bq]t!`s TsvCʎ+fIU|o [HbљR*=z)\V) vt #K׌La\|`&B'@EpL/0\NjV$ItaT@BlzщXC3N[26 P8w~9Ia|e8*̌K,ZF0*^ߖ%)o1; '5d5kc$:6 5ژ TY:CJ\͔:| l^h)ʜu wS#!x0<@mo4[8ĠxKux+(!cį!G;Qx9bh+l sgwN2i tgSx0ކxGkd-f\nAf7:dO :!$wcdLEj}0ZCm6 Z$*vFMmy+tD4dGWͪYpG,Q6qZDgw6{I]~Am080 QLTgAQ37]4"{Qd75gu\:s]\zfvPlq G\r=ڮROH&"ێ~@~P<1lg*όLZګj\mN.4]x񙀑 sZvT|,AāUM(hWwV4\+9BYn/g$gKa:O  =-4- N ƯF$ Qbj8iOw߀Փ 2e^BUd r\BX+91,Mk`Uxb0/جM!Xd7vIj PyXv$-/f\8Xnnd[n0o'.C}\4.5*քJd%W΂|q ak~8%+z]aQ~w+`G0b+ǃ8`I$EK};KVLn􌣕RQt &s`)y4>u&gs/9`MٮO26cD-9+L\ ?*-kR kH' PR/ب:eK+n:b~za,*@OUsxU Kjt%XȆn2̽~JZҌ?V`_ID>X"ڒs>>U IqQ%>iDtTPeU7x٠0˦X~H)R^Wh{]QT#Y+vI\iߖ@u`t|IP*F &3^U4"w$B!=YQ/b罃*2טn랪 1<,Sq'Q8a̢~_Uhdu0ժ&M7KOU*2nnSN+O:6D>@^tUfs߾%^ˁ+S҉bi *k SwuKn)mvmI=EЉԺ_`[W- Cio\PʕPb(H͍g7z)Sv#cNWLQ+9(h%^՟F]~BNK퐗@8EȻO b# *K_Na2G[&ǽ-lL/YiT\ W4@c!2qM5@|/pşs_+e4BmvTVψFR^?SY^HWXeԦ, AgSf[]&΅W٨KCߛlp :F̽vfm,c}޿bʄ1W>Lhfnf0l <hԝNH4X0ho"EA8pe mɑ]+oEhtVԓ}=PiײHC %̸;RbNqEr݄@D#[Q0XM?Ep]UqY 1Ohq5@HUmF{F@= <8(hY.)vBIY>?3}~DMOHsYɼ@=Cc'czPGޖzu`* \!k(ctN21^vvS&R+G إ,o;4LYS m@'ı$o5.?`X 9Cp^ԝ*E z>)!FvSqp{S]Tfۘ䠞@$̶Cڕ{fB{s-Mi ;8;;[a0Cpb:t\e^VATЮ ,eWG#x~9TweT8WnZtKNX:Ղ4 $4.k3'vt ;!ÿ[bDQ6GgEo"$e~$ 5߲I\73=ש+#n};Zz5z%)۱nr4Ek:E_LTkڮ/9;FN\49IAb{!0:m=7PⴔsTaQofŘ抿k/(ő1 uPOoh&P.m,m{q7(:tȀ]uwlhSR2(ж5&;O#U sF}om5%5fRXu yum"*x&Q8 Ake| nºn\{4x^R#CUci!!R}>4V/Ҫ;QA4v 1PEjj|_[/'&8G6Sr@tIk)*]ַ w"ln-pY#OnJ#p3byE\h?e`\r&!EE.;# ~@pA92mL j *ny5 fK啒{8E"n,׽/Ԕ 3 @ 8q{8tOҬݱ P- Rrp?fRW)?Xz茬I9uO_ܻ{Tg+;~ w&]Jv\KDFe.c% :1jhS6oV񚨮he+(+>/nIb29|P`[ zd OrBjmJ~5 ڵ (hLr̢cc=|jW.ɛ8)nr#LBxG3삯7ߑ<hN&#w'3U'7,ttwJSez(Qh-?bHDkS&AE݁gȻz)B! 8vh6d)#*%vLA$j tT:J ![;ҞA`.n6vl>M 0}@2䲡]Гn!#[PΕ!0~ϓϔ7i<_2LPNC@.($DQEG a~vJ) fNDƸ[¿eNB#xWAʰQ&^j} ҽ. GU'@[54L"vFɡ@44Y(4[ӕ3dĽ$ioUB& ak5x, L)܏Yib,4z>;p0GA$~=",g2b2==+PrU=_K5hџw=B(IqE r{YE]*CΣh2qHKNX_ lVtJHq!QJwF Eƹ&4/EG Mph 5=GPwja %+nox2QGIm|!'ud^҅Ju#aZ=Kl2!!XghNnΧ)h2+i 7CtO $[>|9z-i6E8 nL`&|`GQJxEmY7Q%LmRld)Als@0צ/G{5jN'CIb#={Gh }HTpI9 V#Vἀ^m8f/G钘gYXqN&#2QCǰ2u.EN\3"P+.6Е #)E_*w!k)|`])FYw]kv4Rl V2~ y+|:aI7>"CZBhpG#Re#NQ.6Pͽq NJm ăuŪ V j:&A53ޝ.2A+0}]q2%娉ED7k`kl6BNy,jnr#rY@̮q~:o1n4 ,OSL KdKMI]; *&9Ȯ9DNِ2E6zv2 DKnT@j5(|)jo"ss0?4ιD^R4m@{늡D̙7iLB8Ö;FqR*Mr!+ 4v")Bz ]s\YB#'쨔uҁ 'd{#٢%sy(pħ)SqmVl2d'GZ*Gf@  ֞ i*A(m7DZV.*NocʩzW/ќv\ݬo`֦AU 25Cöb4c fѼʌ9,vvq٨ξ.5H:%:ފT&lh@]AOq&{ĒB_ZC*2hwHKIp)ws<{E)ħh Q̄2RqfS.dM'1.{d1+ŸukNءR:“I^Tk[6#bE#Š_e*{sդ&uԎZg`"{t@\=+9R 8yBWFz{lk}և xHdB}iռ8 6*L%-F@mB-|r|<'d6o)c8J: $ù2u D\q+KCnz"wcN)(\;v30tn ~Z<ڡLDPZRzrݠ}/sfY! ؍mn`;_{5+BJLCoVN/$i CP5aΊD@L(oPn7CFC6 QqƑv+דJ$ *=aoZ-Cĩg0+Xu,ຳ;FUvas()MBY5>O ys06ԾP KC#y!pL@6 1BK ]F42X'נAiii3QD"Yz?d*~VFcƬ[XN7yE Lhjk*A:C1Msؼa\t?*e5Vޖ!ًևVGvA;*N)6Kϗ,;ppik1`{!gu!, 1]6QX\llਞe< `vp}LwS'G $%.*[,mţw-K 0ӨW7CA Ila*@BΚvՇJױ-%QPnOѺ]^ qYrA4Bu] n$?6wa46C&DNj*Ts&J0#bIj@bΗ.*P nUoU /bvYigp0;0[%gu+C rRǜ1XW(/ G,{XV)#:"M^9Q`יu< O(?ڏb  }[鮧QcriC. yE:P#m3UfGs]A=2gh?ɖ"H3!|bn@g*6XRX-A5>WaO> ɣ$FR 5l! x1֚2qnmƗ2&؏sAqI|`-`wwyrqS==hZ?{.5̻0|S xcRܵ7!`;ͨ9ѫ+JkZnR  "{>7j]E|ϻ6,xp(OtH[Cᴑ)U<3eCg iJ 3" zjIul;hܡ @}Z< M1BNTd\dVkZ3gvDcks˩Pr1  F?bbRIzo2ղ!t`0s>3mdnbrl"ߤd>Kr7^XZ7 pf4N WH(p}S GE7/Sɩ+,8`O0SGv[rhO#'= _:]obGȚ'it$7N>1Vsrp"vSS&l)ɠuLlR*T<2㲰]M0#ʌjc9Ǎicg)!B]^RƝ&,/2ѹ\_FtksՖAL釚 &4\j$=)ĩzFZ(dNCnȟN,Ϥ$Dq+ *bigYZ "  "i> /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9h]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8gc5);*ue1.'BIP|`#v7:$|{2\}qHO,rc5cgVeJ5%~I6ũC PD3[0P!Fr|_%N%{$w]OHԹ̇ڇ)U9襀W_?h2<ưwrtg?anGb mCW #-Y簕@n yo E4ahz9qb/ % WP͛)bc9}y8UP{- ~i _ovfrVG+ҚYt0-q6y.5 84J!1%5 'D$Ga,MTSogIBkԌgzF;׷Bt_¹Io(P RS#tExb4 /3;Q(?d al^cج!+F}rnő{€)FFU@oq%e* reD gANX+'=Isה+Y'U#^%چ^߿?MBxa e Haܟ %)ivNb=VM#v~b3-K9n;0 &La4:" z98c`[^iʐY\:c;4ȳs]/. ̐<ӝWa7cy$ CpKzt@C2X߼?}{VO_iy^ *6.XJ8J f1",2&vsE;lwNVa/B͸/q&C@N!C~*,XQ@ABq:e|&$XEU<=7TL}拌NJh;߄VgbթM{0025#<^5'n?>ktS`*qR^odaAGm `6@-k\Ρan+X 9;߸輺hW? Ԣ;tiv7*#soFg;@)~p:DIk3-cTWFvXLŚLf"6O6d D2 n1[x~ɴ$ T) i,T`&nĶz0y~\wzEFf~4V~>e)׎ h( "'<Q+g0yRYvneJ;e^Q__e-3n5Y7`ݟeނ/ p@ #:>uWȃi sT5o缬P'0 IvUi{'CBڔjbASV$/:$m%w Q2=;+کx !,3fu~N]1 ԓ@ /x@8pPmmxǼs:ʉ-y#*y7k8DԸd`ű2*)̟ ol:<Q^C CVM_x8š;FfU9Y{qSX RdzFӲ CzT%fpEydP*uԑcuЏ{i֮U@YQ.A%py?ҙNl˨a?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_:/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! c]D?7 {?:fH\H + )C-{4 C:a#ŋZP u\'6sB~(¸*(:RB.`⨙ZN !|"t_JAaw!n19lm=W: oVssыp9DBUƵ3[Q9R5bpt6+ *2Oa֭@Tʰv2 N>B_w!c#2CgYZ %b$zJn6 } = y >  Zb#i o +%Jb# 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 3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.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'@N#GyT_b?8W T#Zm&j}R1BYx"ì8\2W5VsӦcK"@p ̮ڗhGJ~,-;ݸ~UK#!՟:tOCfTΣzuN Q:n1&2?fO%yO8ڬjؚdY(SYG߆.ZjY'Ip%OO P)$3]~dgrM,pAX·M}׎%4*ʕ#o}96h=Etw&yl;0>nKV"d6i v0^By҉qhmh+RMd_ҡ=[+[j iaK,.5 24wH`+ g{[Px4Ƽn\I_>~*qlTF!L:)T)s~ߣ#%y A1@I ceD4:/޾Z>*3*t$50ݳyڌ>/V"X_ Mr{^#×@`IsuF%+C1MQhZ-c'&pש{^.hXU2Y@9o@9KYk (Uh ) L ]%وNL+do&At>8j^8/}Z i6 D3R w>Wrn/rD N{NP;E;^1kIx8+>݀v#g]tlC=lxvo{d-^bbۏSgXLqie ~ t)gAxd@$Bgs/} mܭ*,\`։brg Z-lM>缽s 用C!Vzn_H\GsU.TcX_ge./L!u"ZHTL ֌ǕnE/*g<.&?ͳG,H('OqmQ("+ȁ~g^M4K5vmФlfc_{x0Cj̺up± *La0GZJ^EPTTFpilV Q⹬՗/'#3dWKK3P}OwFn&DȺcgh-ʷv!ؐx:riV͆݀-Mil9Mta"VK3~u@(B/dȧ015Qb'ꘑ{;E5f}n4hZI {{%8#X~zd$^j %o={~tɬ:fm*@zۖ83+V)j0YjNe XعȾ%RlSioJ1@P\9q ՍXo4N!GVZӭ57a{ԋwSG Npn\EzSxCrNJL_:k3ӟAhg-miY}8H0Y\r-h[{/Ur -0w DځUY ZvT5pP@1,r"&L&m9+ltK#+Aq Vi4 kk,1Ph<4A,\H演Tp#]00)JQU`l]&`NYOZ#8Z\Nx+XJ+Աe 4tdǹd6`ڱUDI..GiУ2b`O|i!,Ku.tDE ޗNG"jO[iq"L6"OnfQpz/}&  iÅTqiƲ|{3hyyPt7/бXM*vL^'#CW(ui)R&HߕlbwOc{(ԡ%f\;ȿNA5iEmov͇gh!mj֤H| ߮xqW :Ex6?/b{$ rʣcΜ-YڌO_`Kv)eٜ.QGTg8p\q5^b~ʵz(Q֮%'i\cܨ*zڧ0Od)gMvyN{޾3Am^w2"ntҤ R_֫ #Q􊌅 R&HdM旝@#/;-) O^HaD55$ $G |IC~FKe -Zɻ#q(Ϩ(qb6*v&UcРc &d&}u]$#QԦX}ǟ )skO¾ ӂNʹ}ఎQd2y ] Eg&͑*V7jc ֆ KHI.Հׄ $:(Zp'2CĨD'ڮlZΥk  ;׎Hc] 6=zR\vyqJj.Ȟ;|qQ4bXiF+\HM`,eTdPQ!T]b[xOg$*~xӦА d Rq|_=jGTBypѽeC.m87kU-綬&m,E.A$QCf1!4b8N:Wm ?z{) ||EHKksqqW lHyJ*pc%It:-ExvUx]=;i殊f/n)1-bYuQE770JSPڼ8$"ѹDcj/NcNhn-㷄.9aѭMEˆ}'aurvol aYv|js2Y'oэY&ւO1wnի]΀nL2 53r]hnYEW o6s$WodwK-QG(bgH`x-DgasJ8t74>Fu74+9K]|};]YZĵD4JM !f-lAÈR1 ړmo=J#ΤP`7Dc%% `βT.!xmseLkۤUPYt嶟wNޯ׈Cg $ *r#`_EXFL)Mx?k5K7b&CA#\iW.#i<>;\v$'7B('8)R 95Zgb$9u~VZ`ۭs3lh=bW9J]kTNɛ^?K `,eR N!asW,1 [.qZ|)u|n{IK i/h$V+@ ^x F5Y#*,c[>66Mp5 z6-O?&ѣNf6}!fI_r ;ušIiJKbT+ѴIiVd3^k|ːMRNg^[`Ѡ6g@Ԩ2g׻!Ռ̤6%_6r#RKqghrm{bw0pAtK_ [nbBD` SC|6Θ]g?{I6ث.aKtNH=4RS2:M,K \Qh o6g_B<3X ~cD[ r@hHT)BCj]"<tMNlh ZѵJj矟$%`b3rtrs֙EzkLa4c"][`== fr4˦ jvvQwV<7~P*_5=T[m 7l"F"-)Á5x3ZTFG%-ѫb^ráA#Cʸ2 TXp&̇hMBǯ%#˪՗v`@O4I2/V&X|uUGSW5/ &0|Pxg -C#yyg"~糣[=j|af{6y CVoQ j3;ӬZe&MQ} \loB]tCLD׺jfʠ #|_RUaww26؃g7@!^ E벧%fW uWX?JʵQ¥l;])\kBl{{Ai*|&hvisCT~Ic"XS#?˨x 1DRрC'QN7cśb= sH8u@.]Eˡ{oavK%43z~t[NE&/O;W,@Ƽ p)j,Q,&7[1EM)rrycn6x![7iBfGح/;GZ+]-3vN+ZN(!aK3оV{ʣ8ԷkS8gu!25>>z@E @M @,ѵ@kaD8SKF݇nb0 DOm$TApQ+zYG3EMu(]f00Q&"8K bn6s`o4DϞע'rp RKnW\lgۍSǍ/g5]?ƐۤYGcH GSw8hBb&R $qTqљs0=Uk~e5scu#.zt_hΣbK)(Ϫ=G >w֕Cَt,~Ol:zqBI{.å]G&ّ/洭nr;ҿ wl`J!N z'TN) !o ҭKj`j{CwI*W@P|{}W3s 8h~!O\uN8MvD`K<~p2.8$h-l8L[krO7%[8+Ɨiw^?ĤvmK[s ruG0@fa^xhmT9*ݶg7lR).UsZ 0Yˠٚ;_u'= $!!>t5WŮWw"F˻Crg<8Ypu찝U)Y%Zԇ:5n%i,`x2U {nC7=̮U5g 89ĢPíEQJ3!ATC7lD~aNocjbD9tozuѴ<؞\8ͅ_שsf*##utu b5FXU'v&( EZӂp-c@ =Nr- @c_x1R\$tx AKqCn"%’e:"beARڏtD+MY&14nHAQ1O,/ e-8>DG-N|1o>i'x=-eWQ&ww\Z6i1xsReqwq4ag{(c"\\lC01!)t.KfeK-n[˯ܼ^A&q[R475O>~4,[dD]QXw@)$%>>X!M{JFId%SC//[[)dX拖9cËZD_{NBƒKGf@3AV},W)AӗLyGs&Eb ;[_Bh]5^vU߬>QflG&\A87C8=x|$qO͍66uyaД-"{|_cnkHMN"a&@,AH!7#M&Z:X<+`Ӌ?T''ic=h( n?2|3.Y 9K/1鷱4uȏ$O+vcc#p=1;t3CUn$fΊm`jMۏPi&4{^f~}戦XD%=)G\z3߀*vށa 0l rK0uVH󘂃.$E67N(S uNKSz t)61 4 +#RakQ-ǖ t3jMm[qb+a("aB.|^{@E. U "1 |Yvx(OH8=K-9%CH94X2ڧjx j3Ci)f|/055L9N?*ķ|Ʀq'v"ey&T%ԤIؽjÓ2۶@6RAqf0Uw SOW TaŐ?s@'pfRR0ۻҭر[ 73SG+&*jdfp4"T!N]^C]+k?AL:JTq& xY y~K*J#A<L?cwWrF(u1(.ޤL|2wAT9f]{k1g?#G*pٽztDh5A!,kEiZ3/F6h+˼+zA;5$(Mԅƾ$Ο>PcqO 6{2T& QRkJ[Mpyt HEs'O$0п?l@ˡ*HOEiK"39. XayJo˵1b 7䇆l] w2Pʆ7ZO%9X.Qw#JR< )ngx@߇4]Ӆ҉f6>},gH$8R[m_) re֍=Isc^N͌3UJ]ΌyLj.tPp;LH`g8sG܁j8&5`` }E.6~x65kuOQKu zj+фo{2qjl%˖{REK8ks,Io4 (-jjQe1 QjӚ4sF4]d;C[n /DfpҲ< "!#VAZk*x`/gĪhWoJVf5T3ղ =ð.zJJ1 i۷tfXc^^\yvX?Ce*¾ `%pWU!kFmƒ.n)Mf:T&UǶdE^%LfQױNvEGr&t(K =Ć#d͝orrM'9ڧֿO ]И0Z9.?v7oMħí\Ձlo"^Q2e-cܰ8Yڥ आ G9fw?j6M#' {Y5uW֎R|}?G#ò+7ʀ:| 񈅶b > 49R*)$2NDx1Aտ]v]# GfjՍ+1M7A <;g,\}Woa4p5J}/V,YLs+؆ q s+뼝g9n^wjE-iIQT lm7i17"4-QK+!2;^lx7Hb3J w\}]ut_ʽ7RY@n7Q8Ohgm0I愺 VyG09 nbF(D~У0XY$!X1n|rPoҊt[Q*A(RblOt'Mo9A Fq BR7Ъ3nQP*vTEKZN\X[gOԢ՟!@1/&0S9PI %&E9Wykx ֔J9޿~V̘zMvA3u2wΒDo<G>ܩ\Ļ4CƏ-l%}OSJ.HIÉ{`%t-J/jTgg0&O땖Vd@%D_yJ;%}`v&ObϖeT u9L.SǤSktj/L$a ;?*bLIl<8Zւ5B]$KzG.i#?6sLJct%)'d |Lm)7%v]S ؃_Hvvw=&߸g=D_ qPe,tVX$X)R͘SX#Jk W`tY!UCWh7$e-nuAWz#oIq$Xcyri9ĹrO?%~9r)3(ֽZ RIPm31KL?Zv&U~@##kngUZsdm3;_ PC!6p T3$._ ӻ*NWpˡgZ# %tuhi?;[;}i]ᅠ3a,,+6q%뮃{0-mӺ]Zq'7{T-K Ů7z6KPe]V28מ]wW}^\4QhCqGxS\v~&g ûW8 pKKI4 V6~tb_dS>lT$eSTߔ>˰ƶp?55~>mm{Es`S} (:Q o s]:'542^Cq5m y<6ڊeS$; S?߉5Ĕ6ڷm8g?БTIU%U@]ߑi/"zIUb|Ersy7YGd#)LmPWzjNClS҈uB9 ~PRmd/1x:q֠;+Mȓ0uH~fx"잀md\,fÛѼߩʓ!:xrzzì7Z.!˘V佌*Y7KϬ_b)=y‰B 5f\ 䱈ps{:*ܽՑDB-sTgyB +пd? l &Nّ0Bv m#]@A 9Pd|uۈ>G1n7>W%Lkd` Vm@ۋgcmTLk9_>ׅ̾|zKQ"K:g{Ae2~YA60OvXAJ{&6uծ}4(U{anhjUR u&'{X-4'W|.RqwHYPYP2?O%5J<*߳䎫!H;"O>_kO+ :g75`\ȩ9#}6m-V eDd2˕/AB4QjԑOZ_/1 IkxC2~ %kmBŦo]"S~ C.YHm3iǪ38's YI6aT+7/kl}C6 oVL75h Ё6۰t` 8|αwP S|c nU8J|z͌ub' Iङi$]%_!.Bi5A_RpDӸT`ݙJj*5&,aWo!F옩vI.d-حxe@;bjRe94eW0qU8p/߲X-P~؄k2*eZfdHlCnl5_Yv, bW愄/,E/#ߣ,ݽ,`-LnD.!T6sԋ!Hd ͚:=#'j՛ZYI3{ZSw/v}cLv RyYn|.we m@+.J`A3ՒU"وErX0DX( ~ z0م&ڽ dJ!x31,k+:Q//D.>x܊lݪ:/DV"O3G&xR@DxaUhd("ҩw8N يnܴ/J,uײ➁ VBUD(GM J;Jai3hT 6?M+"9a+iJxqgSK%;fim E%`V"l)>Ǯ }P&ʐyXL/07' hcoV97~pD=a3DžpS4O l?CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200J?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! E]·Iq n[:|&[z'yٷ$rV-Ujk zjwA,Ub􌂈;LRhT# p>jrIe+ކ [.E1Bvg S g":9F]^5/UQP1blk 1#|C)lHQ^*wQO$Ϣo:gs= xFڟbcWLA^OUjƔrop)ubn+F )z#enD UU^ȯm-ycׁZ0ބ:7u˝d2G,B&*v=(մXAqe7}[dv7`5Y8T#3Y1wd5o Nʅ(_-> -^JLɲjRǛC,rjHFa9U>L6 ;HȝȒYkP@+8@b`f٥ɅwQɝq= ts؝W&rՒN.ɱD;tTd^1bV1gC,~ # 2RO`=DY6ocP~1)&|s?Һc/ ;3Y e%X_Q&ϭ(tH/~B ~q_xBTv;ULb9wh]zY6eb4)La@+10nqf6)k.b$zfuR-,q'tÃ$)tbVrU.g ~zUϾHL B\(j ԯ~jmLNiT81D8#QTȔ_TtܓOؚ:c?+il׾RgrPO'J|ltHWرTM0dp^ iW*]f 2~پze-)Sy-cтHEnzacfʸ#OSC̐p}"``羪zhMCg݇!|APs /.1m~=ˆ^f߉w>Ɠ+h>/#$V~^tՌ3vnqo;**xoT"ŹbrϞl(gUbf`&V#[kn /OdѮe@Z\\+PKfazǢ Ďr]]MR*[ ~ 9mߤ#7̟GaWE=i {* .D1kLB5IB+Vz%[Mҵ7!|t\vb^""U gQQ?u̓`w懹=xGTy>}`0-FzrC65|bvnkcM)-΁d颣 by.r*=ٰ4{PڡƤ>r03Ȫ[xq^пgX+ }Ƈ*k-n?=SލYk `P>J4ɶ#mnvIo܎X><:ifQlϚ8?;ItCm%0·WbVdԉKܲUsPM8ѯBy>gmZ(rSf%W3d50t ϶˨QNy #Ջe3u i~Ds6a;hEmBkC]=o|~>;];YVOf; D8;M詋=\í8 !v-*DrkBLCHF`)hPW`F2-xY+ϫGc~9֖H;*saMLsE畽w $ZԼn 5 dIM? n]qQo!Qo|j[bG=yB3O'f#J*Goc[v_\ނėThuQ`4j2t7sF,/ oRLHҼփfJyˑ,eYZacL"׋[ T(5XbKD%*s"|"T*߬ ~<|Ea% )> oͥNR P);R3{  ="@|vHga:Hj8ns@ \D[|(_Ym.^:;iWIGp^ׄ DId0f?[̤W#m'!xIott i 9ϴTK`f͌A5$g]s %WI )NbIԬ*m"peb%vsJocqMU4%_j ć,"zr⏐Ҍ_ XE}_QҎ8*<-՝H׀vIEP[#ܺ&`Ncw_,u`|y(VƝlJ(} 6zKk@yqcPMt;^.,('3+dhϭ$;q51TL9)~2e9t~t6|C6V_R IR*V%q\#@,aT0z,"w`?hTa9t^%C:08d#wm~FKܛaA4*fs1zϞ4=v4Eb 8(QF{~Z1kLsaܦVX>?*nzdL1I6;3FTb #L+%L,\׫N`m ݲB1ʚ"kި\qg}-z+z 唋r j뽜Dyl}H1~9L+/|4X &qxbQ$&?a` Khp֍f](h$$Ռ[)^ƈ'4:ro 2" v筙*t 'Gy>UKw^I_5355,U} R9XXgKGy xdZ32/gZWf/svô;oz{AO{`Iu;JY8~A N!G-;+ܫjE]_D],Ⅵp_,u}ސ?\zȼ-D7Ay_u3؉X]CХ,%ȋ=_iZf4bEFnʥIY,$rnL 9FvȝD*N) m^e~+C>glƘLamP;ESvFOn,oHT 6GH:x9BKL:pl2ZO+>'BsMl`V9Т oQz߉_бN#cu7_a0Nl|K"?vf=՗πclTWt݋m0,pt"gʁrYRjݲF{+,J!q6?𑏝Bj3?6"0w%:hOcA(fܾ8-A|] vh%FcnTa3  0hQD؞eEPhGm,k>5F@壑 IK}~n'>T~0Ӑjy%N?p-M'r'3L[_6L#)Z@TOt ވ"[;7 t6@VpVAltMzpK6QK=º2*Pf!(FbZY ^⮷aO6~*mDl?-w!Bjf(ppJ}9R1W/e%-0GǦr'='陝u9حl,*K c8}f w\3WrgC 5ʧ%#`um|,(P4Ve[A G߇]pQp%ЪMY|xa_W75&"x^fh{El=T&rfM>X]"m9V@ͥJ~iIx>Y0R\A{>}W\l >*<LL둋$crDfJ5+~I^6c€C*99D+ݸ@@RcH%"L_nd"b, ,O=?5āWcSJ')%tւ!CKBw_b*Nr5?rutlEowJBn7Y4W}gHo:['8VhAePiOdPrS"?7=T] ؆CƙH;Ո煾~}Q,}?6ګ*JOJŦJ%W[DkGk$ٙc%,%Il@)M=60%h ×Vz%qкXW9'NO{jY ZmSG~ Ȏ>!1m>K ^ed [ jVS˺"􇐫M_RM76&ϊ=5}NvXb8 z`K;,J ˰h\UsS:nta3IjX"Da+@%5*όrd-gWJ{ P)e[Ml:lH5Jh쑁SP^t~݁rn@!v*c]k g\k`><>V Q޿*$\D?UOYJ&?(B,u+*5|@HBd鉙!^'3K&ץ*g"ϒ,lK#aqA)X"8EP3X`# o)*p(/FdEZ@MEX{sBuaL5Cj<䡧)-^8sZ$"B܌^Df,z5)8Ӊݮ j))|Pa :66EN#& F! 9[,PHC@5R3O¹D,X@ԏp͛/W pG:'K"3E٤ CɵGÌ٥,mZ#;XEwWm: ߼wIF[qWZ^L5𐵾KgZ0n/2{]>?b;R]7޾!},ʑ[@"קY"$W]P-c,f߁&RߏV?k 5˾>PK9:f"% QH'}*Ȝ㦕]/kz0c!: TɫB?w .SɃ%vNf=;Ѿ#NY$9gLϟ-9~7` uԞ.r;thL+kYy4"=ͥU I&LFz*0[9-Wj8s=I%1sk`g @뗟:Seps6A)v=FUlնY0IE;<[gzR D9o FO1 _(vE@ %"'hmVV Z[ ~oZ%# ?:\@UʼnoK0L\7FzQWn T& ȪW/Pr>, "rB])]+<쮎ka> h9þ9A>jåk=f}fZmC8+"?kA<9x9΅5,SlA&Rig$xo"4,M7w ĈG.0~^ǎ2'x<`hb=XΪkJiC G0 |R,|dcpכɢ*Ɣ_E3鐜}eGm\ZW{`hmց΀(O abeڄdeJ'iWܫdvIB(YF2^ijN;GRmFK{?݋D geѲi]Lѣ"=>58K/eDdj#ǫS?y+y3S ;=0mCVCv\|9K*Vҙ 6c胖r];<`S+;jm7WnW!- M)YyekyǼ%LoBt{%* ./>ܾ$wrΟѬRZp]L>gm,ԺV}YTTX#03a0eCupF|2"{N>B]MqzkپTB(=0=ŽЙLaBE"+zj4|ݍz H Q?? ;a@r5'"srR0a|S.$UT2 Y]IvRT*K"kxweɵcE/Nd -*7X:G`$˩1U,~ J10RloةUVZ<6E[>< aHwP^LVqT2EhCʗey}F YjzZ3qFj$bq3`gj#~SZk0H!Qj\mo>qcN':x4M9J'[6_FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w^]Άxʆ5.f-9 rq8H \nI/kc~8"3tm<17&5/#AfANQ!j܇/\}ax99Oč>v妿4Is=Pv2NNZ*6*1+ۚL&=ٻ4K:ʗOV$K>HXkh?z1Hpg0wK1&F{ﲀJga|׷bUhP%܂13T'84g͝\I35(QK EKݻ-#i~+30/w\vp4<cvX'fTQ\7=I!2`S&m0ki(lTOIsc^M/0hnBL 7ԚMCyy]s}9.Ht&b3.:K5F]@JD 2iZ3ba٩q e̿-*yDB35픖s c.fAhV䛙jyJ+v?fB4W͝ǎ Ըt ݊"X˴(nyY)Pc i^G|hW$(>i/Ss]PױgYZGk5])h|qGߩǫ`͇exPm'w?VZ:U[!Dbc'&lii6nr50pxP#|\/ůdg?>L f_0ep1 ^"= MzΫk\;/_7ڎIGwX5#ưyB13D$3\\[j;=K~*$q2 J{Cn)ߒz\mqR gv\5MHKTr*Gqz|F.RT:\rĩIa+ ¯ʂ꟠fu#,+F03jha 4`˒xhYVT¾/Vf 38B>j ,Iq'o;"Us=R.د~5UAO]{06Х&-,igc./%\ԁHW`'SvV"s 4D\s M>xΏ11><+AsJ71Dh1C{,m;z=!!R| gύ/1ל?L Q?h W >&EUie'/dK&(84僳jǫZ-6cH( ek6d, q |C)c?];A!.K|eL^0?j\,#Nue W0{k%(*8? +ɢd?1 P'*Y*vcY7`$-GB ʻQ?`e\4"BJ<}2K˝..bz~h3aԾ7D=f=>7Mj} 8kC R !v2 _G\I -Z$.HazZY@vۯ0Ҙ )2GÓLsOvO ,B4hMZ~ e#ٚ}uslرuXU}bI/; K!5߷_I emj15t%Wbzez^Y{^!]SBF0%:]RXZX>YtD02rW&u$_㐇rWRA8'iVZ8l\KUV\oyօW64))|V+ `<©h(Ӽqg &J~=~h~[2GOg3ifpx FK3륚I~v3cJcE[~Pֲg@K;&"OA&h9c}-L4E/pjG+/GH$a:O.7Wʞw7Oveeˁځ*^jf(uORG:*Z r2𯍸bP^:]P.g$Run??1ʏ`<=}jkHg#~7 ~HNAV>I`NJ5xqAI>*ƕZCX & 2ucjy ’d3= EaFp-r"ꄻOoAG*8i? ]'™qh2RS1B?nht@TOQ\2_d$Z`ג LKm]yDO҆t').KWM) u\;#CER'a V} Ϩ.[29"daaY"g &B"Mڍ[:ύ]~Yx!iZ>VVx1ު*_ԪMW.KC"/Ps3w#et0P#lr).AVՠ!iL)Sa l<UA&'"t_|<+V;ws4#ܖeUXtϺ!s=dihV΂~v~*6+n #q9@|1EOT्k$bLOS.y|]-,TB|г@˜ w:|Q.5/V ~6Wh"t.m]l67D +$Q^zٺGxGR $7)y*e{+)7QU1BnZmjL@V(ǐIVJaFvMωhlgL'K_w1F( YB7b嫨t;5$#F?I?Y9f]ZO'%{e؇F*Zyk.񷜧Ske('`)sgBp[dG ˍM\; -o}Wʽ+an?9 ^9V28ѓ@{{򼨻=rك`gH\zWjJW 8lK^MI5u)g#NZK3K{5-hO^h/W{\?RVO'xωB '7D&>e7 ABcIԃ\BNq&f,Z'S(g(k)7,}8,@GAcZ6uF`ׁ{7|VدL.v9؅ĐT9OCeDNE/m L{׹ԑrbnc˵뼷+AeakyOY?`﫣Ht,ġ";s>M'L7jһ>MU~ [z)S72ADiC^ Q`P|gM~8g<2E2R-&ơ檜,e[L YNߚjEJrqs9Hll!{eAxpf?*o>"ᆕE2Mx%x.ϹysM=/deц/H屳P'}*ΧGbŚƭ^K"(D#eqN3e: 6NRr9,E<8攦p=u!ap`$}IS^k{nECndoXwn/C}M(b6 gOρc,LRBn L)!2(FUʴA$m<7caXË=s*P=m6IJ92>O$LDG.ز 05}R:؀t&5Lv[[61W@`) a;l.I:9 Z|ʍ\ a(m6Q%^ݟakٷƢH]DfXaoCv/jZ%̒@Xu-ymV#Gt2p*Ӿ:F׏ H+uu[5Q :O%"%8sKW=7Fi6}AƂ @aRDhMQ;w)?ց=mSDC2_ 8Gû'۸'B ۏ T o_>YIgݥ>DHx]&fV`-OR%gs#wuW`"P{CtgƮYkҨFCJz"&1yL.b%3]\T;׿~[iE$dżBs |iЌe;fM6N qW52a {kf2&Т=I`2do1Gscr c;t˿]z;HrOjo)-'%HEOƤԏҚQwuЀoYDJEGݒTRjq- }#,Ae`_hv#MwF)}Y Ȕy 6g.WUB^<{h8ne*l&IZF<"CyÁSi*\ Yd2e $ڛ:[AL@gE~# 4VC@ Alu`)!\?-EY}KzFq321U$֯Jieѐ_oOKp2đ$ O8,9$,Y%13!;'_m+x'&1]r;ӯ~Qr U2 䓆KO+7Я~{kJTC$}Q2% Cu1FFu~ِr'Wa覴ܬ#Mt_2ۂ2$*^*+m˽H4eI 6Q׃ ;*+e]: zs;=-5[ 86=S,ŸXnj/_w&o(ϗ`/RE}g[Lmk63dC&+Lޖ'm:4Ṡ|4dd -w{(?@"e0K',w:vթs!@uf2fm>wKBM]Αe=Uhz3Kpa7S>O¥S"&ʴEr[L+D5Se MV3hAfuGEvnQ8JiocR昣M29!_u^4kC=V6Xηfl=g Izb膇nԪTyKȊnD8݋y*>}"Wݹܘd~ `$6l"<خ~2#d!o륨+.OZ:KǛXl(5 iA,7v]+-|r# 5૎蠌J&pv<\U&e|}2&qXghG7hP˙caLi԰5˶zh#fBa,'ө֦d<*jV7pIҀn@ź؎~-Qw*0(Wlzi“ios65^ڎPVaSkAđ/ g 3z-4a\㦊ׂOT]e@LƜk)C7 2%0O.M WBu5 d .8JՋ )222^H$%-{ iuJĦ0WQpbP.M}DσDZv_ }( э/;䨢ݠ~HYi o/NdUMF|Q5mO!lI~#Ost5/`2r$<;i>U>b]v}1Y,\` uyX~s+uW~`m`=02pk .ڞSOmgZ 9C,dd}FatLK5]/*MȺ\4́BpR)ET~7d-\?=JFe +GFf2fOm ^ eeC"Œ-վQ`y ͏>ӻÉ\5&fpGsJǂ\@Gv^LJQ'~3U֨<nZ$tړM+H1Y}TaxS)6-\ M/odXBoT՟rjrV?6Of*AgZE`M엋7{[Wh:{!سPѥ>^42qb]ܐfD\NmWxn\XK-Ї0 S ʙjr@)ŲnyA1F=Ϙ%gth4ud6:9VDtLKr9IvAq^0Ys7bİynubD$NHmPAbw) CklY+ݴBtR>?Dpjnzo)\Qq]UFk+*4P%"L@&u>UjE3){>}N3a ̂V s[qz5RVY FUJ!sXPe߹ 7 ZU`̌]CoP 5ym.Ӹwnt_7lAWqY[=An" m+Wr_DKcc Q#~Dva6S䟵jv:y4rd@vni0dV7\n?pң`bAP)I|ʽvjƼ+@^V'F@=N+6P64(\%XTfߥu,Wm*lo%nFE-Ŀ;'{ 4e7 Qy/h>R9@FVb5xț|t}oy8XWLpvYۊZ8goڦq ʑ>K1YƿVЕMrF ΗxfS (} ;_5X*lZvR彃 %ڃoZV۔a6ǹoSXǃiWK^Yu `Lu2 !{vp_NO܁"~A'`%dMxE #`*|p UôN sW5^;G_D.HgLmf9M̾yD-+N, $D έv㪌eP.}ԴcΞM3܂:ee{3Cc$oS<  EmwYNC1S=/(8wrOΐ$z,CNL7C';i,1}y~[ޚ-):' uL>NI3:Ĭ .̓ᱬ fKK0C~RNi3Y˾,DxEy ;F?,2gLXj7_/wDMgDKJx}H=EaTuv]!브(+02/#AUsCi/BEtS#}fd|%CRmUqK97Hh;^J4ING ʾ S1wK#شK}Hr!Gϵˢfz\|%**}1| LpD˼q>lʱVvƄ3˃Bxӿ_µIOlX  ?t`RuR >`eܑyhӯR.n:'}p z,R 6=>>< 4x C{[5S \/"2ôم *PVb3)MyS H b/4HѯNT//׫Oۓ1Yop8\5{_)TdbkD9r5ukQyGMm9%7(4#j3zVzFi^lcOm[Keli1eT3e`5,X|:閔AI%H߽A&Ǽls֬DEo @iuԿ-{3ի<.X72\`1*G 5$_1bFZ߷I7RmXӯI1opM4MBc#y%_xtk].m}߼Qа1ҜhОsu` /q~a.ahvB)isP*E_ޥ͜z]a612O"M<|VY۠oŒy\ՎI ֺ S?\ŗm6@i. z_dGٿ `Kbi9 ?*cdvPI-Ol[ڡvwGx驙ʊC&#`sC+u.8ZCB4% y>DglVl~?ؑvV22;kc au3*|n=>/Y*'*gLg\WsqY9!C_OȆa.}zX]ȧΊMJOBVܔ4ɴ^ )猠b[ϚKM618`a ^)oIL,F4nH*X$#d5‹= P>ZBV' hO02n"g6*üP ;ea_n) ( /4+O\z;p5 k<4(V?ֺ20jh.@:`EXSaYDDXȢOa_K;pҚb(QH]&DcQOPaEL4J%J[ăETiNYw*l%*#qd [i6 'S3Q7JW鷀g|ߙA ^nEp'kh!c$8p^M6‚6=Sj,oidS=W1:\ua+]+Rm^*G=9mؿTO$Dc[cϑMsVV>3ʯWuMZs D#i~L0ma fn`! 7(QhPo7ؗýIT51zآvPU2Mi8&,E8XO>MHhq51*CfQ:TYejbwIOve}?sѢ=eBb D#3x7us_.$6sPe9GXHBѩMa` ٩q$ \з(j[=Tޑ]gM8EYFx-18(7Zh83 )l Yd"Nze=#twElj\mƢO3WƂCw^T}ތ:EHhB[&6ѢPCnf1chw,P0Ոm(x'`=m{i4p?Q-]b"Qf_B;+'0~J2##m?| t'ț`3.7%:X]yYLa *` W]˫"/ͳ,eRF牾e=>oڛ_=THtkY]tA=|gXezųO< ZteghxB*G(ب;+| kvnaV_` Q=f$$-qRo|CjJ,9ZR_g ڏSښߝ ~5sCZ)!)85w+`~ n!p0*;iֳӈwTT*<7;G4QdCUǦVEd%)EmZQ[j&.F6| lXR>m=t@O62sQ:jmǡx>bo#ՔZoK-^Zh{D٤@pHD>\ TKlp6i91ab`qwNvNLpMF"p&@iB>zp R7QSCuODUʼU'~벶/ +3KcX_nlƶcmpU,L$$Z%„t75c߶$s;d3h3\ d xZN<\sfԻSfd{6Ċᥥx;g"oM= {S+ f]'|0`rߞ% *=s bEzz6g<#k :6t;x<'PZs;)&b} l.q]okqy.8ɤiU{%zvM&v fmmL};52r6֮s d.*$EEcLo<%rB Ե`g S> ɚ_ʦIhj+mM^n-eh%@x}GayǓpb$Nuڧ%dX'ƒ֎tQRZrKdѠ$ ԽS8h'< KHҨie/Xa$1M 6ٜ!$4FMjLd+6j+ l]_7n-gjg Op Pt*2(\ /DΦX*w^c6-s3ILt٨2,/z7Va?Zݱ8B4[~}m,fZugYZ#hG_r߬ Uµf(T}0йϠAf՘Z1Y7HJɞM_Md뽱/YbZj\(1;U`8˹ڮw tK\gAzi;>}TNRy ڷP<tb\Rr- ںpMxMנ=gYk䤤ts3*FDH;ʪo iBo)xz- ~+cݧk^D4ha9n=e3tO* *q^Ѷkg#TXuZxzk;N!m,QԁSNݮwR 2y93^kcP_藍{Gw t4[L^(p*QkE^ȫ֖~:} u˯+C} wylq*ĚAݩm D \M} 9"]MIGb^F5e*2+d5݆sw&3oZlة%_ᯉx3 9μɾ{\J *{y]}6j[!*E 촢PY.;v]U$˛&!F7ٞówA~𻑤9fwA0Y{ePPݢS7wл .I?NkmNpCvkquKu9 XNv4Vd sNgtK®`GYȱzI BcN=+;|)?W ݓLglJT糟 ֍BzS>a(] 5>yTmhw+|eCP<IxWt?t)](n#}v <:}2vzl9?oGbIO,L{f',DP+Z UA>sN6Qoi1WIWS+砀 -E|9:Qᆵ@l3G4@G:ڦ .R=?l@uΖsR+"QQ1݉ ٧O3g8 [qrҫo 7.:ZubUyYK dܲEVd {P[7)E7 R%FFU'bp+?lAkq\nӢfS+x3r9lU&GqH3ZJΘp22w;r,1I_ xK|Lۘ9{yCN07Y3?D/@ԈUn/aEJ ]J)C+)8Ҽ34KE>"BC_CV'kZg]J8E庽x`ꯎ zfE3傇.tY6;*?+R6%4W@BYCɖ ׮(䉻Xe@b9N PܽVz |f!,M1:BTaPesZ%]|O.Yɥբ ެXo7&e[=jo޺;4 >Q6Sq4X_ }Zs3 :L{2;N-W£4{$+1QNp*1MBM4^ D{?Uqꑏs)LK/I@2kG}X֓vHЉr 7 EG}*@͖ }O&=Qw,F6լ0~b7\|tC 6诏T)udG}6[az2wTkaZD`7^sq׿AV t5XY<؍4nZtě,|f ZPef3r# ҸbG4dbu' 繱H7{^ԆwjδZFG7< 'ʊ$N:au' ^CG\މ(ϣr(;R(/ܘN,?q_N'A|%Y'd*%D̚ ޼IXA^HXahcEmbUi֨H^R4nh{)ɈHcF:uDZhUB\vd k*{76wh|25+jda|^{%!SK5_dȽUVfwu!^i6n<9꨻΢8ZVr^O1/_C0*aCͬ)|tp~аTW ,7nmx)n,>oI##En7%ܗpEH~UF )䦿A8(q*#;,7iRB^r;.C'6Zoz1}6@AF蝧"s`sMqA|7!37Qaeb<`_\m&W-5ޏ(УT VG/-/cxSĿ#ڡsBމ&ꎖVVu95\6&j3ݗrSזRMf+dd֗K5/ .^zR^p=xM518*?r}_6+<(W`TgխD?XGT_1B 23OLr:&#Mb|Tѥѭt5bq2y>gˠ=x@ v,9eC.Y1l~e-%b&Y@dEۍ[jrP{qK{[}J"˻Q# NJC.) D(ٞJt%^b!ȉPڪݳ%C   *Fdž,y3SH;\DDAg\`7Çաyǜ<&j(]Kbdk(Q@uQzPͷB ar]Q͌#0C}yG?01ӀkZ{oҀ־ {-B7&gYZ0a2d51d08dd5b4859cfa9674f35c1c1c5f6da0b69fc0231edcbcd095545a9bd9f3a47031d632be92 9aa03be79d66eb3af9e1bce0317942b2345be659