SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info k/vlD, ]/ HOL-Proofs-Lambda:threads=6elapsed=98.063cpu=116.208gc=5.1127zXZִF! J]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4wa} ˯Z[|ؖzUޕ~L"Y*>r(_Pxq^ 7 DSƜH6ډs*'LH/ d M<"*t # kDڔI"./ L`ரxFUvo&/4PQ׀HY(:j#'f Z 뀄6:I^"0T6=NRM2(1f$hJy ybW W'GnNXn8D;p ;倱GeѳIĹ>>P,Q2g4mGhVxm^[%KFӠB{h~gYZ7zXZִF! h\]ŗXiɟ11bu)a2W5KԫD0w,Ѧ.kW85->37DsS 5%@xv3s@?ɚ,iju<(|sZ QkzXqiԷ Dl\S7j?lO6FJcȵp1+t7ΦyI? <fcuLS^RB3eBO៪&)D|B䝨hd4KLlw)-Sߜ=)rŌ{Qn`tHRύ6mP#U"gvRLb7X/>G2G2PmeDIx^/C0gYZ7zXZִF! )]ŗXi%W vW"Xҳ˄pFrCUDJ TAVy;6FW6 m'Olݔ>Mb\$(kƒ{cw@A ~Ld lE Pl$iˉORf% qгs TѶo Y [8NcB^uS]ׇ}mpzi@\{Kmؔ8鎊&|@U~\_U_>篁1;\0 \S?v"r٩0#1f*N{qc IY L@)$ )p!$']D32VCLV<"#a `1A1ȯ[^ev\):IA0ZN¿D+khMPA y<T"IU*"@ _69 |9X0864h@Ï Xd4obw]| v'HM5O˄TaӔ&\V`.8Ѥa't|hx ܧB4lleS9ubYg!t_UdOD@,m[lI‰D?a[JC%pEjzOiz+w9klxH䒕֠d "Q]_#۝+TL* `&=r(GG^acFŏs'(QDU_.[$%|Ϥ=2] hcpB:!*g╥h:r{gB4aA ɨ%'7HGbZk MI1y'1td_$mpbc);8~qG :%΄Vg"xT}XTw02, '|: .DU5Ԭ_e݁UA**#YF*&{ dLI / 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 : } =  y >  o + J O Nb#iZ w[;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.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex T/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.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&   ##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 ]] /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]gYZm 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  l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`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 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מ)^ΦEUJ \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,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+rau@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ 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 l/CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{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:L{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 {{ /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}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-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 Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM,57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ H_Hg/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\He}jo"*P B3m`ѿMxv*Gblש@tumybYQi} bLt# o{wE@D}?$Bs(J#0,T LQjf{6GV[ ھߋ Uv̗!Q*>Kl4u2`1"' *y&֑j~Z mbl%OGl<9&hM,_7Ǎ @ 62ॊ W|G;1Z} @], YL}1G=g5R6@g%h乎\Rwk98Nr  xJQxQ ͫkqw0+X񂒢@XWפYF]М̧⬊SMF~ń\9#W\z2#BxCC*^c[ӊ!Y2' 馟ݭ/u3<G7Zr0\ltE Sm)/-0ї^JSo0lQ"{5ogYZu /=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !x]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~RUF֋3`h̀ly9kMUԴ;&ґ.2|m[O@) j;8OP*AmGO9|HNc қ<1dq)*h.3zxn {\&_s-gM=h]zȶWnz:F7]bf:`F<\{p(%K2ˆvUj,ff𝛳t%eUVZ4%͞4!e]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7d X/9MaQ!lO׋?4>KeBqm gV9a):JH?b4##Àt uRb$ h*RÔp3gkh*A@?ʾ7 vF ϸY|iG5ZG 깩 /;-:EZC¡2wlzuV^~*F~BiN,RB&‘^s ŁΨoc% 6U @w3x˶ 6>օ*sY&/OKB+r_dM)1Ă YZ]|q(&;gndȖY% 1bx"fn߮|.<9WzdI=}OgYdX(KNJ3$dHgm,^ֲks*S bGjK\A;_*|ol?(F*Ǖպ@RCՋ^ %vl(u &w&un`%xf5b?{WJO p(uPN;u6sPSKEۘU`K) Ų@b_9 :FWnQ⮪ eK4 Tް9Ly&6[>?W XPNЛ86-qQ]JVWUqpԭt!u!`d]v37G'\-#K[6Eт\ O:"pxz͔ẜ"{Z`  u@ixy]u?ڧsLg:};UdC+/I7WERACQhѲeQ,ry@BfIFJ4Ñ_lBSfxӟ bc:̂~9/6k.z_cd0x z L,ˑm[ THhNxCm 40 Ǯxp۩7U,ӣL:P,; yP977WqD4>LbV6mt1֣MW4{ =(g ѫzvZ%dCeT"% 3@|8ηS7cۤV)kLg^C= &ԅ`f=#`+"{ Sx(B~< d2fRp,_t4Um~{@ϖSQRX<9I#/THyӓzna,GwvKc>)+WWSa_ta\3y>)d+c4D+3R9j}M?k[f&B1VD]XhW%:kPɌ *JUڗqJWQŷ C/(1MAWg2}Ӑbfl: ԄB#IRϱo}d+U=e+Γ$E_5AcFŮc  dE?90-'К_.C@M)-yuGyR嚱복ZtFhpqc=!)o/C,}fsC71~x}o]W/2Bk\".H)5{ h0Fe^z?ӀMœJXof.o2C.w{ujS@_ K)IBtp燖q>(1]e E? ƢDnO69əDLGB'pȓt{AtH6YXlW10yO;!ݫp9K0? 9+ UQ׷m7'͂,ߘ6^:xwUVo)$e>ҙ; )̬H>L}rh'U,k9&pkw{Hm ey3':e*s~OkxwHw_A VRckeQwԙ9(L Z-(()(kxj(܀CzZ)< *šC2TnXhu,,Mg0e発 50JuLs[a*`/|MąR-ʛ#}֝ 3}R&'b)t*ZL/#5+^m|6A!#Jo+lWb5N7K@@o؂8,mP\7b{?:h@sT=\!`>9&o@Ia4=4Qd 4N/sI2^^9:e #;9715^fK>MHiȎ t.Rh#̳e p~F[~:ڰ\i6 gDZJ\ o]t=6H8zvdBR u@*44?a{im!)R|‡x͏7ETl&2o:HAR]BӑW NgGv5:) d=%vU9Ǥ޵cz5 T\2*`|Bb!@OQrhm˾3:@`A,XAҚ)A;S yq״'C!_#%WT@e8Ŝ-Nam t7hbŀXd m"ZOhӐoC="|{ R4S3o; GU} K$dJ3xծ/Zĥp8 QkbO1F7%tm_Ԙx(7[|s2Vl #h IUpb$wQ)SW8(SaICT$$~dn7ZC;p mzS$&Xȧ"Y#D/C+\{i)ā-[LjS̬ia0,$%Y㪉zQ-%Z),@ v3 ec 蚟C_/D,;5Rk/Z;)^?VvNWTGH6{pC" c̅y_)"go5+9b'R/p=ȱ%욍;>!Htf oaZSwM֜ГMrpMq' VaaX\h<*~F4i0ۏێ"f[֬4"L1)Q`ivI]웨Y/;-5XZ:4|8Q(c*! H'Q/GG6|"`4jra?[dÐ֓ʊ֩>hl~yO=x'8Ϫvŋį>LوIη,},c=vEd.zdӉ J}y=SKcx&m{?u6Kv"?@ѐ%Egt]~vuX][Ga}J3}(]WZ̡q35[ަ)E:k`I./4HQM{}"ں'ZТ(\:gdK+RoJ2wfNJjפ;&t Fb8꧞4"5<$c9X('7զ`f<ÈM?8XDɢEba8ߤ~F[/)(.7r #^:r|+/1yU's^vg~n(D$aw8> c-icev!@ǟ|JxoHbBs&D>֑ P;[ Db2Kދoc)]1˙ aQ@K$5Xz-@%;FszX}UB fb 'T3|!& Sh=G@wb6.\7qj M嘶\U&뛃S=0=jRRX2FWW1NWem=nFWYV7? Bˆk0Sݵx7x\6swU)Ż_,<[6\UX:dV@f ́u,܋cD/ACұgYZ' IS",mf> ]ہhR4uVntq\e{0,M1}`rKx'/Eɚ/jbP絪?@8=;ke3A"84i/7Mt[tPs J5 wKu'Zc2L3>֥#8܇l4mpV+; ]@ DuD<=H@Syx:06|a"dyH8i(җWP/v#_T/fO797 IEJ~ޤo]FU0gˏ.k+oL>o2@Z^=KebM~OqW)3T:kQJ|A4DӇ+Bz=`lKJ'|Cxbpܴ"VMoT˘ WiiCLqD9Ĵ<2eb, g, cwq CZU܆q$L-DӅm19їL:? > °U&#<3?4F#ymsLyٵfapL z]CLw5O֜b 6kJCq$z^X p>jMiH.N8CxЭ|+LKIO:>X JGlsGאKˈnX䕎X\3ϓ34b H${;_5ϔ~si_GE❎ZY)~`TʤȅjUR;bXMOM,qn[idt$1.T M^UjR)zsg!yt@9=5vLgW2f(ҘWG`ȫ."^Q8B,R$ Gf:! rwX: U&!_k>g ,,.{}J≧`#ɵ|,f#@x:jzCXljRݜDHN_Iv lxb&H?Rkޠ ׎ۆF ʌ$4PSdԝǚ2qP5Huʁoꈟ$NvrD٠.WB217Xv'LղOz!#l(+%WmC(4)RKQBE}m-@dRgd^z[rɻ]+#oĐ]&LYR>BNZ 'gW<Dץ{S!l۾1t~ˑ6uE &05xzvQ r^A|e1S" (Y=kd9\>5/Dݚe_̻̿%^=أ23O=%5olOi:?uFAڻ Z2$XуxR%DePY)9Fv2IǻbXh&VJDRx`@ )֏ٰy#3#b .b5%cCýI*^rz䝙;D!s=߲ =km1g7S2ᄨ ?Sm axo?%Q$/=<iZD@Ft^@]6WUj}.m-X[Os, tG_S_B+@P\;n<+[Iu%~ E atH߱@h[D \ y\ kջPrA8x DeM!8leaIl=-dFrg?ʼ[rƵp ]= h,TJ:Dgۙ6'=DHu-:jdȠӅw"6Vc8*À Z*z0|{PβrVn+f`4d=#䁫1eG(}>@aB٠??FP73ggrd{vMʶ )v/f>;yHZ*銾}ìR\㿥 ݪG^%ܘhDWix(=m ݡ'3'6u[ogY"O UOQJeHx9PT8%?Ҕc%CZE(UG `;،`Aoe)/'>Wt{ꉃهdA@aM AkDf}p4X!9<+mJ+ Uox?૷!-PVƌ>xR=WL]z]L&91f4*3HG8t j}Pۻy7U!hϹ/lXo3gLS 9j8rT٤#<}BAy~" cˡ!W!ZaAJ?kAU˽qB5$aSeTGf@B߬Co=H%N))8D9(haTM!=˸N)[ z\ k -; 'ٱmN@tm-m{-8YڱgYZ __o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[z'^`=IyFm[rަNuV(j/=g@'U.**iݴolNn]BSMh}h7^=G-N;T᫹TNp>!G򯑟I_ta(O]'GGu&s>yj-Nr0A$1U:!.2ʴ3m͘!B6jn;*OL$P콗onQ^AAꍍl/2XoWoCٞ4Z QG(XDm^;wY!]{AƺnƝlw@={{9vz:ON %gbxU NQFE$d?7%$d76ΞCqX358`>*GKrW12wql8Xl(&]+NdZܩQGu˽ O!#\?W%wrB;$ZĞ^ xB4 dgI+|"Ɠr Y!(_!NeLJCiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېIg@el2 [*G q(ҔFRӶ31Ff) S@JOt4o5E|88Ѿ@ 6:+2x)W0.yΔ@S|(^LѴMhÎuA^ "/>,,%Ɲ=L"Nk`B܄)οV8\}kȱ g,8׉':f80Ե.dky=x*b<7{J]ުIa{"0?D ۳ agvR>L)펰Cfɩ+rtUչ\#xJJu(QS+W'~;t}^:%<k,N_Q^iwSWpn G@j)A:4Ϗ?ERVhPUjH+J΍(鿍C%JK`P(oaq~(j;3B} fLje 5boK-g܎}xCNMa)V.8)]m.滩)Fz4*_L `O݊OG (iAM7d2$4fq* 25BcOjOJ,nm .-͍Z˷HTBLZҵh]? WY6+g X@FrH82Mh-4[z`>wPh_ӂYSv]oQ8C>q V Zy)y`\,>>KG{TppPY p_u-˼ h苞'8 (|! <[0#/Z6FW ͽk@jפǝԷj1((77p5-:>2<C@b‰Eワ&6pDgZE?̀RG6ܢLN3mY"t~5aď]WukI6½@ӑSP>O[0 Q)X1轴ȸjwl et2H:Fˍe.]g>V_D5:o3&9g*5;65@xPoF Çm᥽֬2 A[Y!#jןҟSؐ|},~{RSӅtg=5WJ.!tP}$蝂Nci,__¾ me}"ZGc^r;4{;?gqCfџicI͵WE!ɣ!ܔzஎd;m1@5^؁ ulď7 iv;u=in໪`;X .RTY4{ar}\R9@%",z Dug> JRS^56\*Wĸ|r'̷P}.PR9_`@6e~yof\o*5eX!AÐG5 2C3vxȄ^j3EMGF fa -l3A{{>vЀHduh\DE{lMTOObn/$ՑFjÞ9"@P wƄ-zCoO t d]ϓ9/P]|`/Ҥ/6hW;P/IP{mzuq?C΍uZD7Z廁K]0{I{W=!aD⼑Ak,=LG˼.xN"՛u& Bo DE.9wʰꊄ6*_ lq -uj/QB?Y_:{VHT ]K>WOB&! jMk0$$XQ_,iQ@.On*@y9>|ӌ2POo^;O@V%nLn,)%ߛǼp O2zEt];@~,ifB)t\M;q 62T~%u)!S)^7Y&EG; tP@1ۨݾB]=,4 &/;9_>kӲ=?Z[}YmV ;.qQެsAu"fyV`!o+bB49 1^MC_CB,/d9PcA.C{\E6NG~ dTb \o!$V$Pg#&?V?`ʸPBkø0Q_Wh"܋2G4cѵ< 4Sy:Sjw r6$C=q6I-sޫsU_;gy,JĩK} ȴ60.6!ppJ"*$=698ckWGpr jV{س2C̍2S`cBu?R< gxv7dk<^ٞl@2*ZYn5PGJ 3JH,OZNaF o`rlL+*ߨN >,bX(zTfdQC"f].R驌]A`yn.u,Dt"V+qirj*)>?;n? MqmOs_')+I&f!& mgsqI78p&G5ZK7! r*tL 56 )m;ΖgcNv: O 331D_MwM‚E[32Kb?؟@#N_.nMӷNW _RF0/4)2!A)BԻXdyM:R)u΢/{\h$3ҫ4FZX +at>^nQ(^T'ǒ?B#ry[[4X_-6nJ[ "33vrĚ{`¤|cChb~8k'BM?_-_--aNÄpA\LHB;1_lő?<0F (19/6K57KWpnFV ^OEuCl;Q+ Y{{[4p GmOPA%tO^^}12+?w{?ZT493'!BP`9*>\riǕ%7 @O@㩍ilUeD}ˠ^ϸ,$ט.ޯ̆j"DRw7m@ڻpa lH Z,6^󭵚1uӯxq\i:#ʰ;>ԑ6|h:>(KȂ0 8[<ьL2>cX6;p+d G]^.4ww2Y\m#mE`kp6V!'N6eF3Ʉ i@ ɱgYZ B" /O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Agsƙ}>*RQ_hE&ծ3%~dp9 tȲ"b-Օ@%Zj(=s0؆)9mkM 0K} {.E?C_t[wmE6:о-S ` FIx{ko;Qhu=8e ~OG9lf3̎/q!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 :5|4 F.oI"r8r )z;xkyY:$MіxFS~uj 0[n1|t51JV~W }}& gBl+_gΫXɴB $;B ARr]IhT8,9M'}͸v~L\]0Rs0Wg{kUT 5̦b8,iNvm'تywW+ m>+3[ІCҡ >P4 y@RеӏY+K)0 u @ۋTbFBS/6_/:p$5}?^>81^ l5 ď1.8K0dx4:!vNVݬڰ Ɉѧ"{c1hzeyŖoL$:R[P=9 4\f˔\K[ɣ32︣W(\DM9DA0 vIf۬QQk]xvGf @ ^ӡ} 'YSn3yP->L}N?  ";" 6O?vVo#D.^6eW2 v1$Xu_%Q19Ԝڎ AgC*ѩd^DkZ#-:JJ~b#dݲ)E[ ~FN4/x/F7qgԧ:k*so+_3JNU!aTWIOS=hY"ku]Ph!":~{3ĭ*_$#G< 73/Z17ݑj2'M ӵBlܱdIJ?Xӗm# yhސa e TP5Ke^lY^Ln.\C ҋ"dW#Iٮ<NESj]R_V~Kfba_3߇clPQr+% Co>#%){P h~wҎ2\7+N>QjYf3^詫=!5&NI8ڟRN/!+`$=Q w4g0~s虑RgygiWyˠDʻTETdQ+)Jꑔ/( xET,|?C#Xj&.V$!:^CF<(p_zxbui9Iԟ!T1K=%j!i- <|}v|ZUD!^lLNyX׻YeYf Ywe+XYQxsUx.*q,_y#Q~eڌX%~p'@z;y U 3uP=Ur6_a+*~$%xsL $cK.vEhb9o'=ma$x!d&"3˝q6Ƶ 2j?qNg@)/֍hZ-P0i g:"a8}Q(C!r8/"\ĺLh3Pj5 6} K~D|KKĨ'_Cur^|%Cy[?inX4>auG2}rI6_hIc$Bガ#ѫVp 7u|~%?81V l!ofsMl yhFR幰K8Fhv#o ߒrA%W|&t bm/zL' ]/_0$wZȱ1*[A@ê PS,#EO0 l %20J?{p-|i*nh1V@{juFK{9U@? @4jZpͲ_{H2ڈ'¯ԥvG ɡU Dչi\YLp,U>n?VL`JlOuzrã!j? ߂If@56LR͚r:vlDv7vɕ{/la/D]wukDe;nQ6`K9J m`F#FoFaǥX^\n|}7e6͝!𕾚`)((.BH.lγ3ΟT{cZO->fjrCl=ߊiy ^_hf(/ybQTRM}52C+!&T߂*=\I,}6I15 )O}/vSZyTKߧ‘2.l;(S ' Kcub|=&"Jgdi}*ʅ rܬf|h־{SޤZQz형7-^RIMR?\%6g6a4 HRmL.zu.cS6~/t83q&”\*(ӕ}#(K;sՕ̨N";ZmwD>bIU9㾝:aw8qT0̓9n6F1H@_Ϋ[82%/#[Hef%rxo'2}zBhOkvTf Zr i0Tپ mնlz@j!mr;|kIP?7E>XGڏr,HQ^S+ rLP5Mֻkջ{V; Slb"FDB/_+.}C>6$3G;5W//~D8Z }- _*Ɣtdр7VwD}X-2.Bhr2Var"ˤcFc-yQsuGLhh/i׽SvŴp ʗ 7⠢1R0oDThu*'Tp1yÈ" ׼/(92 ׅnts] ֙VhƽCĨjw×[V;n}h/N yj)anp9ܙOn92{Ž;?Â2ŭYV8Z.y %e֥ Ko*.q##$ڏILJհMpX * ݍ:4^T Ч/X>5 X Á{I]禎?%JGC0zǙ,嘇!|k h@_=j\Ck!ҹO>yg7`t`^京 v zd`p 3+o3`$U|(!'^4rY@vcKۣ x? Rה&S 'Vt+Jl(| 2F޷/64KMMW1";+%gMVROc1ȤbIJDR@b^#$~@.rŨNiE4-vơU5F: ˚V~}˩H¿`rd7Bo3Q3.>jW :)b ;hOFWIuߡaIZx!JιiM6=2>o ~ўi2ěul WoզhmXRmKt7NWdfZqck9e6LoXY*t[V{h| |݌у}d(K;YR| GM[%!@x7Am%V Y Ǜ)Ոa@ J߮s=4D k5N \L$pV&[`J=,j"0]'hT\{\Ԭ?zf 2]pka#YYk$]+aFS`*W/QK‚~l76%zZ$M;bHAr6sj@/IPUAݷ|n"@t7Ąaq)Z pKŋY_R bv-esr ]hNvcn 0SW.z WշfH"\[F.$lq4/@IoW%b`Rܩn>}IJ%anر+p*z ?Q*uc}kS% ?AgU4jhhEPfz4OmbzԬ 锊DTf5;erl,ofwKL?.>xI;*_uܚmV-tNd*Ѕ[ҟ (Y} R>YL1h*x:*u;=&\Q{*yB*A* bxy1QOg+e/ce̹Q8r l|㾱0NPѝsrS d>x^ n]W$qfWH쁓iF7I&:܎B-!@x;"h E$:F'㈢8HI {].:g9q ę gm~qe` IP5u\ʗ7/cPKwU4krAGPYD N} GW-p(8-θJeay7S =x mk2pN3Q61Xdt$i7~e a'LV0j"h&R@]I{(E96dW,8om{!fϖK Qma9< Lj[Й|KWтC=b9W=L 6%r2 }7aKȼ1)״~39vs Xe#?,̭Pign]$H1K zy⾱Oi/ӻg-d-W ׮;?! ;arHMh] =OYܘkj"ܲ.4^Feh}cy86Z$%| ciZ@|t{ISV/nNCDyޓ'B8򣇆ОIBN :&. `]U˦)cU٤ ma!@Ӽ>klǥ{|6B׮6RfEl) 3.K {9SxcUo DI,u^&Ĥ7Yn&jt}lN`*~8 |i4Q5oUW.gSRNqn>8N@YFӊFa'9 %6[^ʋ_24]r1J󿣢8g%V $@?5(JP8LڇM[/,8zj f(aT3k _K5;Ƭ,qO5QO176gd.kRh>@`wGeLWʏ:1iO%M'2s{R=yfefCY_qv'Ő5R=j0.,#V4is׏ULI& ?Wp{ADKpH|OlB k%0Pv^g.d]B<2YrFV/#ڛZq0ll1d\ɹ$zv4Q^ hLC |C@BŋvNoܸ|nC\vtj8bAahb2}~ga>NmI|S ;xfJ}&|V#\W VgcSmw+'<HD:6VґlḥI[W @gtL%.IQ, SEm U!sG &9"mn0p+"; CWUـ-Y臙plK%)?¹ jڬVm6 MUhZkQ(\ 4\žf٢c.M֐ ? >–NzAn_Dy_HL J f6G D&ӦpFAfDauWHqOٝ+mdyr+ܹG)  >sl(ߌ/oY7 6kwd?qHUdxNxӼJ)d8+\'ݪg¤$Կ6qKo1!׶5Է>8З }niއQX6a'1 h.Z^Y/G 2/}mh<'NFj ?ψ#ޮݏX'J5nJQ1Vba@(-hO[!Qs3^A*@SRqyyiނ;I Bݒc*߮5*evf^V6A=ܩUJ` $O=>N53OBΤQmH0O=b/';!uOyMsZ_5g0Ê08abC"tKKx yj(7`j\jSaiX`ctB<?dwEUĵ{)ŭ9tuO7+-ks#ic@ۂF&2vaU˃.DfF=T͸ wt"ԛ\=2bs0$W`1UV|;wߥQs%HsYŘQwY:35^]NGjT09#C6 &j#Wwwczu=jBQ g(Nv(0PYJ]h|D*m[f>C/U1'êGo;pdXOeՔW 0|g)s*XҘpiS4VfbAR-Dd_)eqFV'Hb+)3  魍Dk ՞!plB'r3/,F @%!*g"]saYJ>^J]7j^qlFt7, ]zWLήP/%>QiRhn"/{9p,\:un EZs&3d`x86@1l"?,7+8TXPB{(L7_wp9ȠءbɸnT1Ae^;2a\BFx<җ]fi^J*|5j=d(&R[uiMoAbL A~zffZj` Qn)܂g[5rp噻 ֪o–J5wNH=B^S so > `!t$HSY>ÅS]QwO#y@" ->$!T"+]nzZBhēծ^1J,wsȐɤu^ΠUg9sYw5lbik>]ր LžE@(.0}ʟ>֢57?+ڹ !e5}Aol3:'#tʛDo!|BWc D~rD)<{"|=݊e2Vo݀'sk+CFw$4d+/q*@bO ^(bӎAOgHdJY5WPI\IČ}u -j`.nz]w?m ?YC}E+oTbY\iŢ_VvSXu ]Ӗ9`z`kBpooʧI3*+")Y]HDݽgGtFL,`t/Qs 2vCkc}R3~xɽ.M~HUQ&4(@1B^i|Fܹ9߹(#KU- *S\U ^-rCõpٱMTS 5b aFʬv"?#^Ң`wפSr$fɿh7i%,k(&1KpimJϏ}?[cIDuD<LM߮ڟ7Iq0RPc\'x{4E'AP}tH#'kדuo{v36R`GvBY!#s;٨~sXF!S //lH;VU gg'#SR'sh͈Z5^,[ ?tb%\\yvƪl_]bO}m.| SZ x&a(;(|xEص=_1,~r*!SεRɫbT~<Eqq=tؐkh{sGh"5@ h>34lF8zgD 6nェyd}sd{6 8,\{MDf8-N!یbrmE^LfPb%D+4(GSř4͓BqmgID#8FS3Fr@eOKZ.*y; Ϭ:VBRUSYߦ"GSal]`2X2mp[W\S-C4p `_k-^ ;BBvQx;/wTjO* muv"Z gd'-GI$6͠jRS|oj ҷ7j mCh$@Z)K+Tne;mVRrg|hk ΋''+^f "Nk2W[ND]==rXBS8>XE)e9?Js(OV$[UXāeG0;nĿ̔.X:PTZ:Nߤ؞s<Uh[ m^q8ݧ,s*]PnsQxaCM&S =P dcӎVv‹74:Ex!K0se Ǘ m5@A%R;s$=TΤkp ټ.-7 nZi֋΅%f۩EO4̏3@rgAa0gw<*DQ6(Q =i{6kq>tVy5&@}4[-G}?$LOdFEFsXR¶rٓZ<6y+n-ţ3]d⸛6l)X<.Ld^7=U\\ilz5tLjl!,k1`% W8PZ9R V)е. %|ZBȪY@|oGJy:rGWAǰ+wY4UV::Y7߃Mv\[+͔xK8nxw<,DL;ryp϶eo:ZBY?~im;hS{y?M$4yTy$:[뾫A4H %ԮcŎ|Mĭh4`}A@E WsoepgadBPU13=C؛axr$^,JNtlBi; zR(ۺ\7:~IH$KuĐmm9,|UpFy v/ބeTぺXquֺ臮Q=]פo'W}=s??H4q\S(p0l-@v|]_'҆lPCŶi{0@x_Cحt]Q %m1vH&$^w\VGa+QעtXqQ ֐2Z_{v`lo=pc8.cX4^)n 9, XXIaf_=7;:r[|eyUzp!xsh1Oq:*0~0'alGv|vU7GLkɅR:WwAZ\_{(lT]]PEONH,3Cm$ :&1HLp"Q+O..?B cml" Yi2(@*dFmʎfͧݕI5G14qMKu/12>"f#iB_װaΔ1k8 ڌ9~ ' 2\v$(}dh!D(szBhCL]1 qz-0{(E@9Fo0lZZڏj{1`uy$E}A=͇COܛ#jkH[ڨ|{>=(ǡ("%=ZmHLpIrE8e,#._4I$6t%=3:FH ` /jQlAd!YdI\HƦ/uY`]sck|\gX(0OC,Z47\vyPA<OjJ mlT6M?o~끗273|TwP= cѿBj q T]բnfAW⧏4{~Ix|XXr. uG vm@'̲Tg _aݯV! č@Gd9'}4rd 6P#eHg*erpgYZ  j V#! /A# THOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b"]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eC˘ ~Hlu#qt|8yl5Lp+iR^ I꟣^pTqnrGiD90E?+D|1tjD!Ӊ}1:LMB\ޑRӌsEj?_%La/zـ_ x#aV4 fNԄ2:zTK GM}kYle= q r-zA,=e+gjIX 4\(H텠毠qoh"@`8) P)4CeH*o X*1)4HAl 35mYkؑi#^ /wqx$#=q4+)Za>O\Fe!q߁[Zl/y;4l>. +Wt%"gŴFp`'-C&N\|/s7'yKyQx_DnRj1IBA\Qʏ`ߩ A)2[ b@.S9Em-I[oHN‚aE}%>c( +c 辘9xt6kPe1 Y@{{bΒڼu<  #Nd !̵%_RK3:].ۍ ^Cʳ?JTn&!Yg-X2y:͞;ju9vUph9tl6kgYZ'ՈS$9EL U@gkD56S`,[Rxy>'O}%MpKSe)9Ʊ#`͒1k*<*p̧g)Ύ=㩍P0Ї/Ea»i:(PƮj0"fu=!N$ťZzobUdS\9*3>q*{B]x?\oMX'3`,Uxw;;ޠc36aԃ?kۦKoSh,BqnǶhgDH/ 3~qb"X0kWE9 =D۶ο > [' &>?EmGd;vTրg{ٻ0ИKV+˻,# s_X\HN r&PkXO- 4QTSTX,Ȩ~pgvϊ),wk5.鳌5oP=D :eOB-wXt/00ns@s aذ]'X+R>,+puoAzU=P(CX8\J<(kRA_e¡h_)uC~Lkeҧ$7Hhmݬ;9:-RXwuO rJx%/YU4wfz ZDǤ+>An.T_G+$Az,ȦȀ^d;U QWTfnְ'K)Rã $]'KfI{*l#cvZ)+NC7.PuGO `+ |?V m^vF`ђ`/ߏ Vt_֌BP>)8 {DIXqdxb̸U(2'B5 YGjrGh[>{(&$6vk[#vY$c\"uTTXjϙy"VWvdIА:1:׉y]) Ʃ5ux$55%i.m ZPe'E/ Z5RbsVT3h0#,nO'[}b18t `52R"[y IK,أMxhfvӔD;e2CfٻF8b*/Pčn **lno턠9Eb\6%k<3l"jԺ_#qLJ V-zZg/tA^3 &h.,xGD%^4!s4ATg=ԍJv(+cfH܌M%nikLi`pgF{w aۇ -b]"SRLjɎFϗoHk v:0zQl걔6r{FGZGZ+rWcc }}GfCTa wI姚t=ii-n L#W>53ҬL%N+)k$K*T^}]bI^@< ک(V`%D%R顪!V\܎5r@+k r[T Fh-@yB65|8$={mpd3TL(02DY^o/ke:{bdM1A][pד![1g9QUs+ngJ7Z_M[ g}ƞW!š4s *SBFxsKVm.?N| Ocm>g&Uj2kɌ=6/>l@VZ1ᣀ(fx{$=-9+|i70V/.rv&q3W<|B@"h an=Л`4)JIfE BG(/WβVD0_ L ʩ (r; yEWhiɛ./5Cٟ/]qi=*`-͂ ^ ͖<0kg B;RW͠Dfڟzp檖ں .0%6{wHO+OV1z8oddv[DvCڸCu@8ĀHR`<15SHM+nh|qq>Sw cЍ7r_҉kAw*٠+F?+3Nb2,a2-xwЁT (NM7!r 1kޭuJubcGݡbяv Fd 2ѕ#R/"ޓ iznԾg1_ȋή+`*j;]~E>1itzK,q#-k'%gJt8z8?^a[A?'uK-ǮZ"IR'weGv.dr% %%}]dK}v#y[ I5+= 4h4)d̃l5rˠjG#P VI ߁|qT(#^-K'Z?V$,_,m%}YAĶM,SFҥ)7-~FK%9-)ݽc_Bdz֋ﵬM(a{uk 8.kY5G2B60qLBb[V#N l?|㑅%Lkq6՝Z@]'~mG;I`vÎ;r A'_ò =3.5> )o*Z+OM:ʊP_Y7y=p >Cq5wbmf(Zg$;rL-L<6.2\/_oA S I6՟ ']e}PW=$ M=, p~XpLXzU_L||KMVb6AE4;OQQB_?=D rl=mĆ,j2@ JD@cDx_ TTWp=|^0v}5 y*ӘHs巢7c|TmH 1T$52 gB|j\riu6OL%S<.- 6Q y=- f{%"m 2N(KS134\Kel='Vsh`} 6|% "Ύ@$ڗTTIRlY 37ϼ1ᥒHf7ؒoQK >ijO;Yv[BS尭l6{zΕќlD^J츷pcHrksg!AMLj#k$ ^A z*|ą)QNB-dETv-VI$ {?ibqJ[+!u ūRr&&n6ExSx/oݡ|`%iߺxh*ʱ_eX-YHAb4`1df86x/PMcAB fmOQHKI4ȩ!KF PLIf$4YMG-ػ&SXE|2Krdds2.R NئY^hJX=xL" 12fUOTv٫:GB?}z[ YȷBdD"K#aR6pÛDnUK(]գA0 €s"如° GpUAQ2`XS`/G^Y(Du0tl)ގAGbݔ'e`i1!(hL| zg(y&cdBC;p;rJLKƤ6 u\1yFe-"o%Ҹ@ @Ze+ Q4!&yWѥ{S>/&>S^;lG2~f~Pyqiڌ&6 :6F.Y2ٔ6::&wN 2o|/ Y#~+\_ $ OwSzY3>՜]_!BfF$Hjj.n\mq6 p덃s-!yTq,~^K$ap%wk5'ң*Ɖ(O3I:B/Z3 ߗA|I;|S<}h|t Inp1iu8|T[thq4DUF}Kt/p7/^ߴ]"M؃\Kc,$٦^h"!1U(Q=(vUfJ*5#h:8Li=էbV(Θo9bWi.(PJS %<;gGj{1Bvx2OL|_d9ųX=R<)Pix2o .,M1_?,eoYdd7KK4;[v%#BBLɰsSJ2#]K"s~Fe8m{%>6Rov7qӳf4΍U&׵r7TkMl(]-(^Y%"pQf7߲(xDJuH 4TLBT‹mxo`Y ,Ȟ:[~XԸ4M'WYpЫ.ٛS>ũ6=ӬM|,_LZX8Hw䘗ܓn~_\k<}Rny0Q 3Kș$(~|]?-S"=bjnbwd NZ+]>PT:.0rm@ֽ+Eᇕ[隗ސ[njV(m?q9J^2KUByd0 ÔX䋫$i~.͌S􊫞<=0 31+ yBGrh.H<چxIyZ% xO7X;">&߄R%4}`[U 0DžHMIJsHu9;ׄ}oEqٴ?\HWV\+Oe-I0\=!dcJV=mFOfHHćv9ih= wqCw"\RQE@*zSώa#U9U.MS{TvI -D.dx .!0JbJBO 5j\߰iQC'_|= Rp}MyiLJ{1zl\c_aՈș7ȇ-sKYyc\^-;OPW56jui#'Y\B$I/sop|ɞ=77&b6[~ %-$Ҿ£^}t٪ZhUљScϠ}*ӡ9`x ohyA UYp˛4qžTZ+ËϙlL/L.z踭}\c(kĚdBjD. zY3o^>"78JlO0.ԟ #%9Weg\E` $oRA9V9Zޯ+YyɁjup#.2;2 ^xŹe_qy] O[* ?^cv4/E)RwnqI ~ ܲ#v8=!'(y6lcSpkm1$^*ܠF8+M+D ^;ԃaChoO D詆Qk[a[UD9:\/u T,Yh{AYpʯcs-B/;Kit Ő?9N>tE{Uf=uIrlL_ -81BduJ_pSl٥v 3ȱRxk$MFX.]?+V#8 4F4U/K/cK]j]Yv}@X|bF\OPxםӲfهyyyӣ{ehN9|ѷ)l.L;x?Mmz/yyY?Zs)lߥ X$OF]q t|U͐gO%-H=|<0k ?GS-8v:jDλPe+ jRTiaUhxߺUp?uFgJW\m;\4\@MES֔`˅ v[0 @''ItjZ]" *8*u=2xf# 2nSD;m ehuҏlҊ&1 ɶdl{@C&4yꡖg"KC$p]ܤ r`91Ϲ=)JO3K¯gR U$9=˘TF!~֔g?U6P jR#pn*0tåᙥuTp?? (/t\` *ޫ nv-耢SݝңX&U`d.!;tiՎq[Oֈ|qÌ0c'P`v_ǿR ?e6Ya1Bzm`:3&[ea;rƫ 'm:Tz:KJ. ʈwԸs\ v"J wЮzA*`^I{eMOLހ*Ʋ"{Nɫn3/Y@0Qf2!"hWȩg3v!Mk jz&TYKav,EK\pe Jz~9qrU V^4'Ǖ#1Gr soWx@ŧCm0sS 8 Gš[{Ry|2b}b($؊LcmW̞c;Y2 ][&303lX c$}:"U QO™A?IGH~@Ay.xDBA6C9Zޝ^U5Rn$pFN)hL܁$]8Nlh8M5DGSEjeQ܏/.4eo~8A3oe@d:,/q`-+Q[Q&I<` PO]4Ol퉀Irڈ{!2wR]qٺ|?c^^x?a: ;U/TI*"-kّ-䧥 /xw;zEA;OP69jdNGq|T4"IRtgsԉW#Qޏ4һ:¯J.We)2i uɪ+Ser0 n"5uUZYNDKK#1BW0'4!MqZ}i CY[‚%ol[^E>04N5E#}ڙsޘrO_E\A۳QkʛQ4[G0lh qk\9Puԝc ؜ހ@B=^B3_n)'QCCAp̻{jvqAy5#GK*=IZ|ȝCkgྛ"8?U gvqɛ4L6`A\x_>'K6w5[O`C)jHjQ0eI~egqE6Gߨf*6\3)iݎbg%3yCq|z<#Lm܍0ZK9K ߮= 4ۈe#֔hյ4~0,xX0(sC^NRB|r!NCO6뷻5c[+Ï/#AmEN4d1ƶCj>r(rc_̸$@i#PO:}i!$.3hBYR?jr%p!a/v>.ob,n͐f%c%9xfTKr$> Y+D;g)2 +WG)^:Ӏb͜ҽm&Vm7[huq7d7^հ\{>N4f@Kpq 8!6\4BIb_qTW((!^<bW(۞i20@MҋM뿐u)zKC)8.0#Ѥ!a ;ܩ1 u7LXqQi$*;KBa\{B3)A%ڵ[wB67伹b7߱d\ t8+VA$v3ܨpW/3Ï,k*P~>fh\ȻG)VαU[ȓP?XKITvad}jBb:L?S0 }XdW/vr?$=lN|?&B 3Q17Oh o~~7*$KP@h nvw pt+q)d'da$]=O x{йRf>s+c!$oڂx-1M:dwX)S T^S`ˑ6:[Gͅ/dwn{LJR%9염Oyx_wytۏgl~ γ67#8i8B]"-AB$5+'K~\ _:d*[Dj'SUviM2yiqyr5:L,RmErf+B VU3?O.x\7]r8 Ogo:礘<og*RTVʘk˸XqD6:Z5n ҼOh擁 } &$Yn ڀ|ѡc֫gDޫ}$Q2Cw'n+*V"8pSzפc$N,F!u[37o` dF`Yyx'9\;gҮ*Z`)B,pEj~l 6P+TS 4FE^Gdt/&Սgv5K Z\6>U(s'rUOJQȈBecy=-8CV*Nk@jVޖBG\H5yTkiOl\,i4k ;ӤY܅8fQ5`M(Ft|Yg3C!Yew qy||cCOl'㢫OĎ%p OS#Shի6AuQR dZu?HJE /q b^,̖:yHp ]psX7JXUg5:잀\H4l⢩ 1*Z6x"-ń?gR2j\`IE`0P9oAWV)aB 2pQ aUiQ 39Q?.(2"KLUVIB2~~y] i5߇q^OځW_|.ll@ 3dždآq"+# K"c^M꒔X|Y tW=;})d  +rUvA? ed0JK 5&8{ 93r`$J"Do[n^u|meg3#\ U,6ҋS4&ܦD jۃ4**nLU$4Dgb@Wn2Z-Y uG(M?ω:X Zh o_$`=AM"TL/K%~708?ٿ鋣 IN∹6њYbiު=+^ 3|FO ;}\Hɯ '(ұ^7rb`lX뾉[Rdg֖WT`,[GY EdQ7ȏ;ri$=kb@uAKBY Hn,]B_oв,DI=:Ю|σ<"̝8 uIi?dKEH}IUA!\nBԎx$K@j#M1*,yYVT^L>{goI|ZRzξRx)wN;ӕToU5!("1B&Lp$(H@SEr)oRށ` `b" #A 15a =e;5cxO^}a&%ؼ\з]6 Aˆ °ٜ  0$:HB&&Av[ {p\aΥn%IPfsR,Q%SLLmGK7l"`wI S2ffېRljnӈJ}oO(5'FS*@x^`1`Isx:~fv߳,,>&KOt3SA E~&sW{ʏaǰiLK/32S_,s9zuVmvxꏎW\r.H0gvlWϸ84hd%f&ڷ_rCbf/4>=)Ó":)X_S^M[nu%sgJI v6u N=8&`Ng"۵\27aV Eh 'N-5b'IjXBuVږCmQjj&âj!׬` YY(TyqYk^ߤtۺx⌢dm]2`mD>B@vD}>uBxk5HҬT5{n묜xđP;Dž7pLaI#*ü!yVQQ`N0Fٹ;;ӯ KRݐʹa~Q'Y.Y_VrϾÜ)ݮIF&zǀgZ\C@dM_d o%=e Չ>>Z'Vȴ+#?$asދ,q7|~QO6?6`鱫p y!ݼ5uY \E 9\lו\H_q\ѵ [PAF#"Iv$SG(7tJFb3pB u & (ۑ3EpgJoU YZZ`Ll1$6RT(oUUچw/XgNLg=O)8C3+AM[yuƒoN\sM -; +.R͢y@!VU"Wpw'e(AC۞zbcnKt|900>PM#IΝ(6 u#ܜ8V͵plO;H܌Tnn_nB (;PSp<K,L#R-!&nYoy+ mD<yChl:Z;\aD;Jv,^Xt V ?YaFUU˶EBa:|.FigT1J ,?q> +_$c9ǥkZCfo ,l F Ke0՘[ =mt7/㴻SP4nQE`Sw00eR?×9qɛ[qDʌųfcNrf֫ &iu4i?B$*vlac-sQ "S`GH_2ά 3c8yn"]^zp9g߯Twu uj`4MOD|r(HC0k#CԌ3z=)bF MV.W@nЦConOJ"pBYVT[W}lba2Ӕbі>a:O1phEwdUS:ϡs\$:LjFK'S HrŚa̵:н l Yoq9L=˂/E?hkq>z'vH^?xE8@o~.z$QjF(sYZ $9vp211Ԉ1ZY ֜ac&K}C$&=m[+W?HO *Ͻ\/ Ő{ihj1D`^U ? fkP@{ڇt?m% "2Iys;8j#"|T2FKh:6it}LёMIa֫ĎYrq!'""ƫ8 =N[ dp;7cke(n-mt}Q2hfY'yU 3QV/3s[FgzxL9+H}!y Q:j`԰j'q/LjtQ5%ct͈#\3Ԣjo$'IrG7ႨpW3 K;U 2vfQ\lMg-ϤɫωH N%pI7X≩M>Lý6Y{;Hfiѵ1#b19 ĨkedTU]nR1W˘e̐BU#3fǻ\n~%drJ;YJ#+ :FxP՛s嶓 ̓-Ȼ(hq!ɣ+}Q ;'7BZ*(e8)=}/7}XgK)рٴ+uzg +QOls}?pjObV"[,KrkfW5ck\a񜘆ݖU5gK83HZ'/Ght-."6'K$<~󮠺*lN8ZR i0YCI甕h+%.4bd j(Fm'BG {q\Šo'_$ ~[Drup Ca%}06X~y/}P6@>cgӌ -в&ZnO~e06= ay%m@i 8}fZ" 7'&lnO ^j< N洗 ]6F;Y=.P@LCYė1 N Vz#cʋ"FC.^ tp@oS!2[a rTX9BMR7@>1qYʏp(K-t! Xi[ዽ5!(SDmQ}WjpxbQeЌdL[t ,X$D 8OTLw fp2v]q Qvq;ĸc2ŷdꞾ`Wv6J?-DH,3kek EL`FKX|k|*83nɘ e@P ߮'&Ԥ]D*.8Hٙ9PUWȽ7c1xQp?r6XKfyw2T- ccu>X-0-UV{?~&1ꞗFH0BF⑓,9+) (۲Y1>D<}=sBNBmH kDuI:gm3ǔ#+pRxdc('b[7!)6=XA6#8=ORKLm;n#9_sQ5fe|譾*zq-a C7ک')1I͔l|4'y),;v<}9hUھċO#_qL+xMAbhCdqgNUAΥ>GlD@Z"i{9h&D}9_2@!.!莉 Bk0Tղ2-@IT'ȝyM͔kU `t?EQx" (3NbSX 0yT 8ͺgp7 [T/;joBt}Ł٩ɨ> $@"fóO;V߬oB3߿͘7)պ@tBrX r_ЛhRf\Jz|̈=N+? R #/׍뗍ܺG&I9ۇɸΡ}.mYgY;6Mvs0K}uYB,ZX"K֌F|{qJ/ڎnd!vQDoOu$jaB#Gτ~67^jNj?cЗK(eK--P)U릇jkNs: TNIqDWhG4W7%eucue[& Ja5Ux'F:-P<ޫC љ'iYgzݖܯ;!LUn}4T]J;|48F5h']iqV"ç ud5ZL7oY.<~&us_'4SX(x畺WO ݔ{W&ciiB]\r'^푍ixBGYY1!؆Ji"J(?C魠s{;N?0Šk?-꭭m?;QcmL&Tk! ߼ ZD :22YnC ?;D=Rڕ􊯴̘ny!e]Y/753 K/+RӶvN4P|ycؾ &iS9jȱDlߌmlө|F\, &~k{9 Ҝ ^ !g4ۜI`T7c4[M?[=!}Р4)O2?ՍBg2e0jy\oYN.!c>"V ^Ih4edgi#wu?;Y[hfl%1{.#&F} p'$e;½Sٌ}'l7F ŏTf0MB V`JZNL>f2/䲪}=܄tMa䋗"gYŔ귆 ͍0,P>v ās<ލGzSs#h-@ɣʷ#ɲIrjPa ;@cnGlI<2Uʳ4 OuD*pvq['G|p7Hq8  A1"ŗ㱮syM'腔;-k߷>(G29`^9B _ѐruʺK;f"{鑘9-tTJ 9[@?G:kGuX.QJ3b69<^ 'ݲe5I +Xt].| ]9YZa6OE^&kۀ~R{O0höxQ ۯSJ:$_GlҌKWm!gz+2+TK&:+d{V^m%/~uugxu6OF<MC@`$׾aENE2Aǹ\w$C3@E:Ii`Z ai'i>CN-~;l![s¥Oiy ^G| 4tFI'15pAh0GC#U5JOj2GC+׷ 2`WrŸxGPkw{iVKx /Do. 3{6`|pWC+~1o[ErRQzCVRe3>w7堀DNY⢎Ays|FGeQŸfU.xQC@g;g@r{ߠ0R0 DRˋ[0rth#)^_5EV7T`jTf;5U-LGхQSGCQ?mxi|]\B*nزUX6$>Phrmc0x%"-tRfRԌI5ƆԶ4(LWSx°GIdc^00Йr~kyjY!zmҊI~h-E6pbCY#̂^[TeEe2'b`1k}HdnN_j.z\E׶cp8A" 2tv@/^)Iݹ5NXpʫ`+ χH i/{hL =T]Sx>N]$ J U$+Dmdq YyXX[7R Hɏx%o88 EbI:2]JAFTG޴,+rQ!{;b RXr(:m3'\p*!.> f>I3DߝT@:1o Q?0_>8։j=; gc  f UPcmI3~ mgR,;͟`1lFݘ-Mlr`tL) $hӞMp9M~w4;]CiQO`JKҺ+U+)>N  (vf z&1juњ|aPq\Kt邊 J}޽br6P_yvZ'(er3+oikWTՁ u2ʺXSV4Q), '&SIcұA]1LKV+;EZ*{)#X^d7+BAC{ĬU:CKa3'Yr'Yl39Ba"#j+ZfV9ةƃ {S^ 5*(4ovwzOMz 81=&mڭKe=gYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1W]L[,B`scK@w*ʠhF|Rl[T&Ow,B<'Xu2ɘc4JT݅sCa (3ǩ[BЗH9ѵ&#HN|tŘ &02"(Ifs>gJYEG[ɜ+zJk4lr3eR{vfNNӲMdoryy*YwRlv;F Ni3+\o wǧ{;R@vE 3&"$+ CeeS xY ZaT Jkttnj j_cgT%5Z4+]v2٧&qZt:hoCՎ q@$٨6Mb%I `"KE"Ño|Yr5Izo (!(ҵN[(_b1XdWuŦ/:>FQDGP{|3KfpŠE Z_xj_ay<0ir5ױ#Q4r`+*DܣMdmXw jgzYvd0-!/eJg._xSa"֕p9n =RN2sȤP tz[,p?#]Ȫ$J"Brr%Dd%HU3G*f6cAڝȑQI˽%C)}DWÐHXquCЌg3p@!N4?;]qFPCm)l/fD=VVGT6es gM*'0sr3o8rͱL:N"Nw=H3l?Q/~/ie=̐"LR0VqA7m#9Gdv˷Sk~q\*&æf- H7' u cCy9̖X쮲 yQHn}J<#W3"O3f!γ9tEl LdD!^(qyxfVpQ[gYZ5[eRaMdPHKʂ#fhӀP1E5Z5Pn7c&y_ܧL1@ \ 2Q"uOje`&RX_li=V󳉡Y+IoGh)SجPUJnCl0pFw.)QJ[X4y'SD5g2ꑥ W~y[+8i%+.SieҦV,Yydj>CUI߳~F>BdHH泱֦;}0y>֪~=ӖvG+]ȟ{?ևF:dí3#hqFR+yp_t &*#Q..!w}`y`DtCqޓ4 C7NE V[B{e~gؚa93^YBI?:}Q#gkT⡀l6{aNM] 8;5v5f鿄L‡(? d )?6Dgdrù 6 Sx/b3- ':)Ɓ8}[g쾆 y.n h*/g/P ȇ^.W)dۍn@A#{b "&dKHIh;56ZݷhlV!_踵_D˚ ώcw05Cd'+עYw $X!:w[ T,kVeSr7f*g11Foh\G2e)rd-YߺrS;VTY')B *(b,^>w1&,Po-Zn1 ˹4N$ɺnrB?p{kj춚C LMd!sXsev_giEGq61x6Mk3hP'VR8sߺ`Y#x`Z^ ]&ѼPIWR I't udв,?3u/['#6 \xn4&ۦҞ[ O HGBLx~ -Wl۩6<]\rԳ㙗KDxrԛ%E^E<cɴlæHX9;=8PDdӻ\b-Ak._9s 1w.DN!Q1miJu#[M͔MlB{#c`C/Ѡ#.p "6ۺnL[Lx=,l(6sK}Фsʚc _5+v,9GT̩q IUP5D:l.>ӆH%>4)û-Fi= -> *}A-cs9 \F8.kѦ% |Y<=oB>W^Ԇi4Qrh+.$Cm.kQ-`*+!xqGeXk]#3 5&d`IAQ(l6`wɖC[ ?5I+0^y[)$^!憩4t|UeHd(~{?~.pl@L9Hpg 0WV-Q_y ljzg_㮳럹WѪnE_Cj}WLTsh>EzXνRfWT P m / ~_)?mh X?[-m7E|l8ۊܸζ(5u“dy=d4E͠~|q/+$_֕ y𱥾'̖(fCine֞u>Eo$_>YF_ꝨB-xhĤt0M()T@jlHv @C}4~R 0rw_ hFS-BGiUpR&ŝU^DKND֯5Sbɑ( D-]e XGp~2@ˁ{0dɀl˘BʈԃHBNí&a\ff+,(Ѩ`c_e,jU *_Z2FvDZ&C (72AFSx?Zaϡm\fZ$x)ׇϕa'wsye;f`d I==,Gxo*(_^F>\ ? #C[8}c"5ա]#"d#+v[)A>9[|f͝K YL -x:TQjўNGrՠNZ}r;xњ_3Cʎ /_zy"OJd0-4X\Ҕ߶) o0]'9Wϵ￀젳(;+\Jdzx.OP®_Ak7ـP_⯁j:bapЃӎXMD$ 5ӆ[SQlon.MÉ幱5c`B"G/Q pٟuFI`㻊SMD`vvp!MbʑgIՙI-ZNH>IQage>vҲY"g|5["Sݏ[ڐr^".sΆ1Ph\ܨ(#H0_[/ [IPQ@P8&| L:n{LTZX5bA3"&:?402y fl'%^~/E^ЬgjXΙ7pz{]Fozf^{[\72/[2 õVHy\&8th><%80|bilѳ4 Z[``_H-|"v "iC F@[zLn'54w\Zؒ;jqŮ|ѶcSO–+G!u|vZ7_g+IA7P"QЇ.(Qj"g*zT# C^)h<#}o83ד" _0K\I X Udm"A*QK-He Gձ nS3st kÜ_cا0T{ xO םcHSJG/=SXh--& ' %0Ư"L Ah듆dͽFNk~$*n1j..G|_O.;Id7~#* XS ݳߙH=ʾ҃Wy}V4@.D 8|5H?RN$e8ʺ#i_,M }#"=͢:ffRYҭf1,Ϝ!pq7p~RIʠf\aԬ WFqMn;!-,l^HZN#hgvSA3=Di'B7Ʀ<`>PeS"HhKchǛQẪ5v e.l9˪6Lua[[?@BL}NI2SqE#lNʻ+G.:LQkh +7*U[cCmE/'*aD4<:d2Eh4iA. qȘW٭d?rލeǨZ_:8S3.}nu@ B;XfZ6MĦ>*3k9x?FPw'd=7Zds`;Ta" {;@t9! >Yþ 0qWsc 2sIga ABs(rM*?ƪ )\^F{ [k9y=VlU⿁Kײ@fT8 #Rv'+yVZ<"κz-1D6h [%ꏸ'/~l 6g8)t-o@>6 㦶e2SI?$ڠ t5M"65H] ܯ%tBZi`AOUBNj/$'{y: LG[Ny/c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8HϞ$>eEbbn̐HHÀw",[/R(;^AjRn3Я\?1hYY{(R 8OcЧ܆4ZL+=AwFrg\6(y]DCd_EZ,3ƨ_FNOxfȬyyR?=cmd0mi*VHʢR[k bd o5C8-.JkkU9ML_59\ۻڸ`q{< m`nk`5l3/*Qƽ82RvkWO%,bD]G-aF5xO@2haYU Wkf 4K5{OtvW@+`o9gYZB&/A# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+cn_DPi^{{lؘeL16rd˺phʮlyt5Bj\@cٻ5=mcnbbzI~f2*`6ֈV;͛HGIwRuX%&rsXR}i9YpGi0ܧ**kPLvfD}(, lR1&ZK]y&ca+eTcv!65Q'7veha=ޟ2(v8d9wSTT44ukDto^ Ɠ@ST Q!M[]ԤRYbҢyU:M^Gݡx]~Y-[l'[2{BaLnw1@R}_re/l VhP?S&kvpE-ĉqH)p#äցf9[P?F'UNg;2u.€5Fpwʺ- $n,pgJ È !h?}M7NRNkVicvFc-7"b/#߷<.m<E"q,$>Y8ؑԣ/Рns9wͦ +O1]N˕ !/YUT~LUA|UY/&W<ݓSUߪ(^(Rˇ%&ɖI/e8SP,\œn,]}^p}~>dV F_θ&t ?stlM [+ynw\_Y?fjDL?Wjx 2soTKa]eC+¡(%ު_ziid+mcQg"2G7ymEb7ˆ;T '{ynl$]䈃h[ |~VnU%S4I[omQOڮbe(JQZDm[f uLS (%2ږW?cHVI LϬ6G5 B뜞= ύa9R;Q9̤T]?W,蕚K_C!pPĺV#@3 "< s ni; I2LEƑY^]w} a&hu&n*KMc.]/k/?h+:! 0}J~t őC7,RDMuasJrT Lix-P 6mҼStU]+F@Q]+;y S~rH~ 2.>{`_y<򼓔NH‹-Ra۔7aC@`ej˻%xSj#(wiSZ;|1#|צoHzȒY65>U~E, ZApm7 ٧yV3ۘgՙ419߅6M\ȡ+{7LLÂw&Yh3D1-("o3b; U8 mwO1)Ǥև`?tf#C2B[fN^qA Z-5rbHJpք h )?s*9׷0_Pk%jdD-%DbV,i9L.2T|%4_]?z+ /rV[7TԷW\Þ{Tg r4%R phR}%u `d>7(WsAt%vpQ#uv/@b ~#9i5s]`g8mV\s^l{mQ;Yfi}x6ԿW)_u~3޿I1̀tKξ?LwSlpRNR/O'fb0 NGɟ&A/%durm'|@I8 Ek,g]h$kZ$c) FXx!|,u=pqx NG*xm"fB3#^  -|\˗c*JQAt{-$ 8=Osha NJqq!ܳ4 O?'W[Ä^agXRAݨ%Y1걈մj[V=#zvG`[v)p 9+I߆!z0S2#hTPʼ'-b7Kݿ inzĘdUDGAݺmi)+Oxa@9i9_ $6V) tYn|s9maBpA1l%GCW:DY !tuClZ7%K{9{ e$Fl-4oZ5{!!ݠyhŠ{ԧf捵@x%NS|]tDX 4iS":<_0ێQ> h(H1g8S*04[H[?x_,A q UR ME| iQGdzbJJ%&$4H0xs]k8VY$H*O"̎ad(E!8$DrG.7=k>J5tAh y)PQI~򒵰"HrG삪smNkgvZ=B~]'V}B"rmAbK-۳6+W&z30_qPv=ń׷YW1c#OhZ_8첤aa_wg>l8Q쫁\ lHY%5m|Zbx]I(Fhord}r=̹)(}(gK3 ۼ!3<ʱ(:O3Xa7$}$cO|dA H]-/EM/l:c1d?|Oe4 pnCXv̂yojX))4 h=' 8T u,|>'\`gSsWZ[Oށ^ "E~mùÀ'vR\_tnеtIE7taЯU%# b;g $h5g'ӤMA6Y9^}()`~O4?Ц耇[y1rs_F *:O.Q-Ijjf$0 z.)׶C![$׸7Ն .$P{n_L0lShqg'TЇřWV2e(g5B0&1)h֓Q};ډSk:]f-bWp72D>PѲ^m O~_hZB?m3=#2 3]3`(\B݊: q,[`e4"`S_E@SE-M,mju$i`$1= wMn1SA1;+PRA߻Ʈ-3m X @zw< J Mمnt`< |e;VϰƉg*ݾra|' @7lh5I r |a#EPƦW&+<}\gMڪkeٕ'MF{Hl0<(|ږp, ŮSlR?Mf4fkO~ioLeMo=в*[bZ Ǝ0޸#[,`:zu{sBLpEHv]c$g`V2ݏ‹( gA+Rٕ`N=M&]v~~'2摱yq#n4UiW>eOyc*`*X1jXubK|?d/EA;! gTb&W ڡ'Ϣ-xPe)J8Q9߀i}7@] 4 W*Dj;0<+H+M֎IK8eK.Xf߲\XAhɕ6 U<_Trihcuz}eaj"F F?BU9>䟯ț鰼[AHs`^)VˌWL;-cZD y+̈́{rtDes=DToI#x ,sAT;%ܙw0tgT:9 1+/0AHBtѰܫ'tOwA,K%YJ-?*6PXݿKIngZt̐}KQ(o㰵B5Oa~vAw{J59:ѐ s@ ݫW]:jvq @hhA*,_k1ajP޻NoD{ &0Dž}Kfx-x@ÔLJMi2kcA0%(ᰑК:Ȧp 7XN_Wv':~}&y#](P-y鞄# v莔f2P1XX(b(^b݁f(aX2E="ۢmw_t@ax<ɼbϢN^C;U*$JeyK XorA&:ĤĜkHϿ1e:0tgĊa}:7:ljܓ_Kcf,*-K ")[zǨp:Člb>-nU@|go \3* H.e!H0ӆ]!^%EF&62IG5UͶrou]S;#$o%oi(eYʱE(@v1G F*'sƁgq`"_DhH&7hWà 2e_kQ+t>J IGyL)|s>ةD{c^{(wM9YYvK8׀usBS (jYZtCBD9XOpPojwSq۰ S6|UFqMu%M[2d@ɔd# L:uX3dS? WH4w xW|댛k{囻ʃF?5q0 U RbiͺXqF~Ak_A^)~?<[N(WDyʎ v'~} >MMu84jqPUF|jzV2[(٩N;5qnށ.UHGe>P:V&*¼6;w]7I%dAb[u-j|`5)\r YۆXeJvHu1:;sS<;7NfE0M;Նq3Z#PU6A'CBe#Jz@b<1x hE8viLC _vaIce-@x߯V3M}.Yb /g{c!sos0%&&Y{- MW>aKazGi4vtY\z9{FH:u /Q0-Xd򤩈)l`^&i?x~9Β:_An138?8 e;ҿN7-uf;t#{I ε4e\n{dۢh5jd/y5y`H7޴H]WOD{k_ G\ѯ*VWf+ZqiPapZ*?hƀ+esjErjy#DA֯rb:&4|9JlYE r3wNVC|CaKaV{^ڑ#hD&Ɓ 9G'tZzu"C$EҌ1݈Yh“J]N'ba%mUReL(x]kR*"ܼJݡ DRl6֯zc0Y#fC?H L ڤ`<-@`tdykԌajKzȌy*9Qj ?ŞXA)Tmv}<,=P߅K%IL:"G \k_kMgǜ[*o ¨`䑽- w02w=c kqIF/`@0᝟wNdز<ۤwڀ_3rSgO;o8p.-e%Zc +'yzL֋9۝KWzcHk'|7* `X|$7tED10UjoSȩ0DBtybs!U*O@#rIH߂YSb*Q\,`=d?G%|GЀb_lKޥu5hTCI1"Jw䁄tВ,υ,o9hbG#Pn@{v8p 7p$$p#喞wR q= *X"9q~nsmâaOf&Du^S:?x'bÇUC':z sMx2|_c pj)Am X^CۢF4vz TR9䬐fWE_/n5zA>@R^Z9EimS0Bp] nА߸hg'rj ?\9ZC M#e;:<-zG|nUG6k J4wsOMm^Գ9?iSbqh`68ni:d2-H]FdAQ#S6-\?U}߰yq+_D"Y<:Q!,n@qƇ~}!S|WH0\t8aA`I!0"&/_wHc~~Ou? `Ro-k)㫙Gmœ{Ll;pBNeݨ09%d]Qfۅʟg'CZ٤ 8 !hݥɉeG Mo=`λl>Vŗ y#E\fRZSLOi$1ANu{go!ѯ  CX8^S?n"+<͈;M:7#:^m}df~`?J'w;{ 63 c=;I04{-cM"!Z|l,Ԝq=]W}k|.)&OsmYÐ,kьВF\Dw4}6Ғ=ix$h=+ѐgYZ  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'ABJTɀ̴WT)b:_?W- #F2Q~Y: U6CA~;ǟbEIТ&,ſi^i>¿X_N]J2Q]#3Q*"$ҦK#HstB#ڇ6th9}$P≍;alO{BOCGޟ9+S/^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A !.BtOf:Vʛc@NQ}!yAi.T 3[تTA/n/\eiy]"a sy_Wk c+K+av+k8{>Yd♐`gn%3np% Άt gɫ0["Ooq]@罂ԗ VR#%4t=5B5^yY|q<*Q~mFwZ$fbgXf^w_ i`V;!K qJm *,-ރ~}pkXKJ=򓦒 vFkDd&AdꪨX/Jc/Bk=A+7B$*'o <;5R9 1qD~=}3Cغ&3ZǔmpJ7G!e {0@v%"z b>X9h @ދBpz¥ ^PQi0 /?\-뉊 (^,'0 ZQAI:ZkCy2dk'Ж_dYB@q4%5 }}m8\1|pAsbń#i$Q( J?T wFLUS&8#@3Р*ojrGAA0qZӤ7@{ւ8ƛg iUE*4c0#9/OF $2"[ϑ`8 :xAŽ@'n[pϗDn1R]:S;l~e L\;'\I &xީesuf ["-|J+ۻfN^S0=fpa<̢b4ډ嫸_jz|BY[E93ٺ27+w%97 b8O+{q>6*a(g1ږa:S.dM)3kUi*+S}bgn<@3~\Ս?Q#ݴC0.ؕzg ZDQ2)ԖH&@RG2bJ R5Sb_A=zC>>`#lSF^$D@ ۙw jYGHaji {IQf9VwNs`fu%HFROǞCekoUs7$޸;W8rKմ,K1SqR0۷!o8D;+GS^h.?DٟycJG&yzw+w'j#U}<<'7 5"H'Qu`X" tm_ K9gpi/J~됷G&IsFO;{ؾ 8ȹV.# u%b?A_pܧeZm`H&u }'!Z2ܝX%MK >7t)lJ>Xy(?d وf jU;;'=uEPzqev 7C~^% 49;VJQ8w트9iK%@NU9zVBn|WO*+3YHFjJ=6buM!-H}-q%nѯEy 8@pEEAWh-Y-Y {𤭋Bq(XӻRF'S;tYym,sC HG!ݷWr"n=j/XxMD.CDC(hׇVŸ1!֭Hm <{|&.c:Cxp x"OXxZ8L$uWg^U_絗- /`Zѱ} VS뤰+_$0rqK%|aE5yA0'UV1%vйbB}6fp'pv*U#-5gJ }o o k5 'qi32t{c;c 9;x1̇q) mcfxL"֓U`(UZQj%? DXP ,"N5onR!3QwsE; LRKohjIp@eEM_k> %ap!]d`\AQ:KC~Cڗƾq+\k϶IBhQx.sdRabFBAsn3A>cp"]y +xX6qͦ) QPQENurD(r-G;`&K1 @Bq-dEOy,׸')n LZ'AqN{1V"1LzOUTzi6_h $eaY@2tɂ̨4H&<7ip,<`>H31if3(lPl1ܜ@KKiuXdDt{q ~4C$&:4P@PčeGFI@s33# 9s/Tn X[|15E&7VҮ W]qpiߘ$7<\uXk-R5hߊz~3)cuɏOnFnf"]!NdRUeͭXxJaUwp'4q BA;Qm([c5N!Z\CA$0u͔:,A%'|Gz~n ['6 UZNȚWaG|(~LnyG 75Qq.s]wˬvsV;g2 a!J-WIKo2 ыX =/#j醉<Īҳ?$d߆?$PݭHԸ&l߯*TM ;aY{T,\dI)~zC;U&YZwZE(Q.i? i,^΋xL$P$#L/ځNNs#{4PF}8'†Ӽ+ S33epP- {dV]g:'ldF8sI;Wˆ&yC/Nn"FK:_4%Gmp6h|KX4yfcmF%Q/4&ք GOQ tSsRݬ[QΐhԾ@&;@!a47}3ja?}J^-%Ъs}pF"㍀tmqw}V=C⅒lfLiI!gs57 <뜰e;E yW40^nY B_wm;rЅ 6MXcu:*<=~!MM ݶV?z~vI5B8߭%%Dﻑq+\ūbZsF8Sc KH CLRF2"t71bs'l~- UE:cv>(4`pFc06|vljd}H㯸ҹטW7οV̎gnc瑚E8ۏ c/g#]rz&bDAHbIdPui!fгf~B"͈lfr7Ƌ* F.7wMYm'"8IGelsOȖi3o#ݛ˄$64sNXZ^D_E11#e%o-pIf_#AP&;+(X znS\BZ\4r4YGV}֜ _JCK" "XiNǎJXV~9jBgCb 'v "^`rۥ6"V||n‚جIt0ȭCo3Rb Cv;7|ۓ<.B k X['&\:T*  !P_4Fm̾\~:!Ec3J*5-$&[/k*У7g*JOMqINبnsDm:R4ADq:6r*l9hZ@7"*ouUĮҵEBq۰+y ߙM҇Q EDLS,93E!Lޞ= 曙B]^(HՍVfIץRfo0 qN48ٳ5ٮE^%+ *̈98M:6 VV 4;vtaۜhIsټh :OЁ&zAAaT/ J B' UH ߳}8HDT8.eOJW]X[|jxy-5@}y L,9_IsmG _^dtKOt5;%_} u:fU9$z|xc\GJ:)cD'lGQHNe a^1\Ymd,-lK>5cGbPpL6XЌ4/V֋B,S +qGF,䳚G_Jz7XADBΚ| 㯎?ed:.WmCbWIn,#B,X!8#ލp?o%N+b?I179A5`^|QmثDkcAcmM|; z(nkzu4ܷk$$>~ ƩY*5rĎ3*x?/ŋb'H+dǢŽw V1Ո5( WP3\ c[Jk3XSς#4nW.!!:^ ţi?P=ȑ¤0hVؘ&5,I/ lr(p sYx}sˡ@{_:-$;Kt'Tvg֓JoWsʟԭE׮|S8Y7XaKwɿ Rq+zp1XAżHf<7mG#A-eiD{/ܟC&Z! (UZǁ>s*5CD[NDJQxvFhktb(Y0o{7Wx2 <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 _`5j0]VΝ}\?ECZK`}?Ld{]_3%Jr # էM%sJhk{&;kHwC@&rṡ %- 't`Q[KJRe\`#Jc w AܰpUkh"J4%.!Vtg.,@ YC$C|Pc]9A9K-xLBI'aIckNSS0hx"tu?HEIY6P]$vsEL8X4R/Tkruo nqhh"P?syD6q 4JX~lH10XAm"j1$l*#,5S kcʓFdQ=oxPqRfdpB+fF*Bf韕P"W83#d+DOR@K%}yq\UNhf^!r3?mB pViD,#)}j'3c\uHx!Bx̌{b0%Om?‰[Oe"_pxKtYqm}e%Xx< jQ6S8Nɜ8xq "K,'pIGSh5'D&ZN@3A[( iȊzԡF:®&Ň{{;Gʂϱ"U+X yU@b'qNƁgn$rb#j2X8e(E"_Nf4>Ҁ** k\ZB5Zwլ]qb/@ae]VꝜQ+شIC)qn欙Q{аt8 z(L(9l2?o#cqJUA& 3tRѤsD3fF(pfJx?l=IPZԩ;iRCx TNp3΀NFc χ)SzҷBA:l.&B{<($Mml܆teMȸa'1>aŐ?2< w.=Z|;&2;g# 08+dGzF0֩,y6Z$?MO%oAcCuFϠ-y #AĆTX_N[b"DK< ֤zrUw@n *O$dxbvԝ=Vcej?boLiNK-#c.)t4[d)^ºw5GMC!0T *R_uCbO-^'3htX:Ly J˸ %f 6Ƥ-?,k}>3,`eO`9)#|#VF) X*G6V@OO$q ѩ~DJ%pQI_[/!u&c<_'4T+8U,c$:M$#t. f{{)6L$iT8>w .cl4:`(qEmI =Po}Xf+d GÍ_R1ܦꊑ"* GhJ M ELƨU/i>ea\ ab_pfJY5xyN#͐C}.`ǎGL-vOL|:h>aAD"Y9߱It~º{Z<<~bIe,!EAY-|E>*nMv}!maDe@0p䚖j{ꂒ[i04.vv oo[莿FJWa L1@'/ C(V@=+S ī3PEajU: ! 0|%Wex{%&Drn ntXyT6煁J;w> eRX`4GٰДR"D}4_u 2Delu]y*9ڧt-QyK(;O*lɘvax΢ >?/++zO{9`DxVe%`f?}1X̱$ @ߜy~sbx9\QEy8NJJFZju1!c,fa߭7#m,OJZ,Ekmu$;7{q7T*ױNVO.rql %Gctڏa{(c- jg'o|Sq|i ǎ7S1}OX5$˨=z>7}$!i޲H/UnAq]DIlݠl*v+{Ft 7o@ CD2r6&dC |,/ C4|Z/+ aö]" uMa=Iٴ;Dw `WOIm'WLB l|QCOIiJ Vc}ƞ? m ^z~:ŖL`|}0aRh@1>Zl-_s^oZ+em!"P|y"`ov)%QG=/V]֒N&2T8`r Է>@HgLȖ V펫##1^u` @w*d=K\nhWìC, 2\X1_h=]6GZ|UJXezR~>h9k"hXmj a0,B*Sw=6.Eb+G-?qs[eKӣ-bgNfѣdHԴ/@Ml8?g6YB[6!\g„t!b|? oCY|t6Je)# 9wŁF :P2UZ̫ ,&:q#D'=ж3MB6-b0͡+ٷ6Kɒ [BmV XXXLFw濌{EsnLp[of[=PJOSV!Q(,_1|V%s%K]AL'@G 1rRRLfёLHf/R7 %K>Hrx'HKTH6>b~A{N[EYk?I(.$q -R=1p:W-7B^&o綪{t63# \8Ya|sD82`{+L$Lm6X]J$ /M;&:Iȍ )5?Z? fyۺLq6éjtH*Y=g8~&M4QpGuwr[Y $g[-zHG@&W*{ j8uĈ޷vTěm9A4tW4{5=P\W8&pbZ- HhUd,e>CK:~x|LƕsuIsP٤Y>3?XSڬWjyD0 `4/fїs&ˇdfۤ1ތPoI ~5rtCҫ-:CZ26|~jذ)KS͙)~#Hʃ dJZ:"09g*J\vsnBgQsPYb0}Q`(Oi8 "?u^KE|+6UI+Lyy4 ) OASyjӐƽ]25q-3ya1H祃k;Փb2BNJRO/aHv bQ\>KPݱ5|硇$XNc \/jzǸm[ @1,[7HCaB`HW2* GNrlAdʾ}R ۝>ማ%lMЫO $=@$W_vFO n3!AZM~N}á$[Au޹REr`ހq5ѕLڑ|ÝCR&;U"l{@HG/+z8G-k3F3e#>%,E.)}!/<}|aURmlEKh
f㗤 YK1Zm|z>X2/>@';+4ᚐuB,Wl.gA͒ {*57IhFy07d[+5)ڝd'QuG\No5Z uQíd{(dk FTRN<'E"kL1ݍfKP}z_3I6I{6o )XLgorO隆'/ oSp$21?OXRA%|Օhfԏӧ,jfEu90U ;VnKcH?sܪTX8;3./[m;k/%%:IOt@Mz=Y ],Oi"<ѻyH!@S `sJ\=g k5$Kش,j $93+j,iN凕H޼׳ܑ @> 8K6Lwk;VRuǝ'ԧS4ɨ;/,H-fHD`ealarp&fv(|4Z\!4BxܯMHdfS"@< 4hG!̣cwvaO@HIB#{n̳"3qwLzօ= 'OET©^e;jQ?oM[lxiq-]sS'["h0,}ATY 8cx"f>MH>޴ԌVaVء!cU>Oze專vCʨ9iMI,h bohO~wy! JMߓ[D#cQia^8WvҺ9 )VKx=LUHd o'3+zY+$hWk+Wl_:P6O]|aZQrAcd7˝xYjEYa=ͱFHՀ[@,м)lWW,B}׎gDS4uO_2~@$:'MmjxgE +Afv<#ee@Z`xhRT*eI~5 q{zo5BH˽N2{Ie'nçύɛ樥zy?a "9z6*o+A5 AUOS$h(2HPwr #>XT ob'Vs6-U>c'2;䭉=ғ-]oI%> 2nFFH|nm.kvc9,Md%K]3+mF'B=:GNg~޲fYgcX43܋Υ!= tk uZeH[0{v'ZpkY/!`d[^|т7 , m9FGs 3&?o:(f|/k &W[-t؎p8 BPJO7h\xHY: gD鷱L}ca -lR5qԡ+ qha(bV,?YpRo^a'Z- $VRjbܸh3W !L&3jjuxz/uQ ./;rp .Mrн[ =MܑxL, c-VaПf"{_N U@fK3d,.^$CHQ6 B39r4ٮ~L {W[WP`I_L9kzR5BW&G/7Ϩ`җ ~XOæ/~k '" >Jf7Pr2m13|V}:f2;`3!Kq"m¹Njqr0)?$#ɶ%f ١O*4DlX9\rr?½As\s 4 LXѣbE*]H::h1ڬ)Ay)X*e Oa $B7~`nBﻹh>ae(K1yCe?m׺ aDXs?܇: =8v^,4Uid4;t+K5Jn?A *g$3Gf7 ?ϔx3<]VFЯu)u}ȝ:O5,GS\剤s!?zLġ|*M Sp³F˺&?I![MԠJIk 'CAj߉׵ ޟ_G{b63=Dp'kcp]z@YN(U5sqD"7m0&PJ&DhɚQk4v~,0$g|S#dOh.fn-!)͙BLp< Y*ːRa<6hvt;op$98gg^DL|g P|NKc4YwgP#rZPi?qE->~}h(yGr)OE4|j[W}ؑdGV (TC^-zL{x1 On8I 6ǫppOLE=YDh;c fwP=يQ]PC!F Bώ3it=V,48j3UB/C,'lyf0/ixmXh Rshҹr@k3M(i.'tu9P61Md1%w; $Ukgzϻb@~n2xr~ h÷DR={X{bA`<ݍ+m52{s 2#,9:BLE0cpO(UVtSW%Y=>],46$V @ dr؜jI8RmzйwkYRG~oU򞿓L@P,M,gM)nK:,Tmvz|ۺ.zksKެu(r8>x^ggVDhldkDE\ sG"a1ON͐ P5/yCg5RA2IIKDtR3k g{{YA38M`8(T%H?l{RZ(#](ji}nO.xgYZ 'b9 /7# \HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAf]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`]Z7* ,8rN=?oHukDO&h]R= FE4IJڣ׶Q+ݱU:FVF֏8,mvc)3nUz!tGOyxBdn]^;u.᯷"Q.|G!ư%Ф{Wy V'=8Hn7: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ϡOOk6dx@ I!&@7lO= -H79GuNפל( ќhQg/ɐFQ3 4e Wy@,OR2HQ,3xe:]APNt."m2cs`Pqbdd&;O5գWgNSQtKe80f& UȨ)c >*LI >"UmMH7&_Ql5{GGy6H=;kŷnK9 컐{@@,e>B%B}QD$;oI{[rsiuQC8^gqpv+u' 09Ǩ4^tkmgjvVeet Tt w8;]򲱳aKN+ cT{gQp1mGpYs)j4T,rIDt!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ܔ2夐h+;+IRNKoU1/1<q$U]ʃ?Y+k}I3()wgǴx= rLwC=3L`tR=:S}B=!Q5ch^\fS)a`5S9CYI[> Z!; YQO`w(NY+H%蕾=Gծ5o!g;JjI.ͤhIBwU80lGV1P}INT#3T8WY,XYF25 H6 g CX0S¤xy/=A@tw!h-H=3 $ylGD%@=AȦ{"3Ahn*bJ:3:}w-)Dž<& *pS=҆F4Sw|ܾC:]+&|adgcjM Q_^0"(,WG_ʉ'1#RFzmRڍs9Frp*~u|㨠Hw|1qߨ< !;"& h~y"v5=pXk{ -!8X3(|qo"  y0A\ju = +qKdYPJL?j龞&E5}nڂsA~>O{.\cg?>G&-7 IT<}\);pT)DF:&=x>SR,p]eν~lkVu5yiQn$om[eљiw5˝$d;ӿpq_,o2om?򤁷Onp9 (<0ߜg\ngr~DI0Q'22!3[(kn@-9JTeݹճ &'|pCpDaHp[[*LgeE,iN}5_13>ӉDԗxvb_L }&KrÂ`mN>K1 3õVx59g> XR= !4ߙp531M: OHy9"CV?Huj$(z~ I[mjㄎ/Ml^*yJ|hʘ5j{,yLx]X{fcr%mI-귌5C8 x|Ub nYb[5|P SKnɏn%WKgZ :+* P@$13x 4} ר:N} ۗ|W϶ &Lj4NG|Ṿ?hxfYl2 ӗ*HK3{F|o1 /FȨrԫh[%j4[_F=)6#rg,;ʜ$KД5 = %O wNd3Q*;dٖ WJvuE wE1=Ez1Mqٓ!U'gC=pTSd]"Ֆ*On{=kS3!L B0{]ʻw!W]ۜKaT&:%X|媅M˺6 aPq\;V` >8:si"=YЌTeƱY=wO ohC {#־Bw܈f0yĵtaM7)yPƳ>&ԝ}u3 4K]P-1c}횣isW}Q؜e4T?+ʊ(H;KQ"Ij+ccgc̰=p99\zEX>ArjzΫtlk4ܷnz?p}۾5CTf~bn/AL`@˴˄9 _c+Pכ7D8RgqJhC)C\5\UDܑP rHh\_^Q QXe/?QH\ڈPL侵Mc>ϛHnRϰOQm@3v dǏ~*SM@ݵvU'iZ`&.P%Nm` h NAeFQ۸Qݬv,9ʿv)9鶞Pa^fj"mzo7 *u0Q 9KPK #^<8 2([_MoXȴ4ݜF]_ 8ɴER|NLCwc<ڲ[Mk{\BP (rl rkU($٦ jhϮoY,mNtJz s퇄KN~FVC|W2;GSjiB}W_:xJ {}ܵq:A{'gKq)QrZGiN?V_.7K+uu{t/7\8c2AI(dK%S N]*ɱ(Tם 8gct3&KQp'Sbi+6&9~ /P~t[H./⌇\>csyxHHg~R餛-ɂe#<=|y.ш*~6e؍ m0i]o$ vO} }ȼ V+| ݃^p̋.1qw-<&+@r1"Є$j_e9̐'d5r[kU|oqfdƴWrٵO?OgH 'Z.); ;?5< l'ˬqj@0*^} [_wj@ į ) .Ycciͭ' 3EhTչ!isJLNu(H)~dI˷>4.Mf\Tޘls$-.Q֓*,ܡmQ?";ĄC:Ptu Be8If|4 HB'N\", zul-? ;OvFvMvrVgSD9B&ltR[LY4o4>dx(+~z/z!iJi(0i_?EW( )5EUsdǽ@zH5Y@"F'RGy:k#'-91AhyOCI%'_fOxq 6.{*ʢpx}O# $8QFbOsVS.7]k;JNB.g-8fc*ӒGfC;_8_*+) ǵ;J'Qd ul_!3ApzX[~ DžV 0 Y|w?=9倻niԝM#s]HeLپfh^i[X dߞ9n d3'D潯gDZy`έ'LEie RscrY#է /kZ=LWpjoq(`A6WԔ?wHoCoHSdf cQdjmPC`x~__ӱ3+h=~AJ0+{m;Hk%6X a,ff:0GH_|,[?U"[$Δ:T~ ^xb^v|ϔ`G2dJ9r{k)Z]=@ Mq2o% â[TˆWQs8u3{K"/W?N^d%77p+U, bG UB՗eSFu/BhAFnN 28 ]8tȞO R`FL9Gl$YYnq %g$+ՕEZ}Fi " ̎,Peh?C%F["ap<Rh՛ٸxu/"$/MXy@,"n6sN E]o;̴'|:3OiR=(e}'ECVueȪƧ(z2RаJWn" /)8,dOu=e\|mzk޷nlP+Ń.5.&4i 9b%X+Q+j%~ *Qg(T[93eUR?P@+fwE?.W.7w7XfrEU;-"goKǫjZd+)8 U/ =lU?bKt2z mw,0ww{M/7J_{;kg(~Y"Tb Ib?a26& J}DՃ7d->e٥TDl ^P Ӫ[Dy.UId<SV2 )&њ]crmMȜL'*wu؅4@+&rK P}nEEΛt9"+Qd T6#BLg=^B=?gTF>q$,[ X_Kب^LOj2u PGam&ՀE]QYJh+g yWXQZ`!] " d3Q@; vj@ /,Wzdqx뵿ȽXɧC[kg32IHB`3DzOk6:mqp * n\XfM@Kmu Z/F@S$/`{.9UD3:TS:S(I'0`bfYqd*@tlQ5/|Flh F'yސ!юg*23H~Vi}>fpؑaѹT?ݏڠ%%lWlB piر%ä 6Y24-@), Ұ[,+KZTTgb.LX~#ڂ,"i:z<"qT-_uwJ& n5 oƬ\ϴB$~`D @!k  L`HDf?¼7}8/Ux'}}Rgy>C\$٠=JwgwR&B&hv-BQZ d"U0 ]u CU {h/$ޭ9N 8P^Ud\Վۏ2[S]2~PE;Ym@:q}&fɂ˙ЉI*KS=$Bk&nmiA^}yU0ctf,.\7y67!~ՍJ 0zIdQj}8 alGW^ybeơ&EaLDM:qVFbՑH)|()\?^\Uh3:㇒Z@\3,]xfyx!Gc/bsex'@і݄RB6 #A8)+#b;oģ<6:*1"f!Ұ`2V8|ʹ_շ/s nG UvN;F+X-38l.Bm@cꜼBԅǀ4nah 5sB)㽤l)5x槍o`Үu Ք&3bܷ\Ԓy)R .diz:;L; bͯh).D@c9+k09CRzR>Ҍ)Wa:8A/ jӆsӉ82fW7caϒ $ǐẍ́TJ{bWeˍkMVrY[|ܽ_J?lg6GfȖHw(V|$՛h;n+-HʇkE'kn.- E|$CqOz'yWv~J\AS4ER<]9VGI)ˍjEdOBg h\Gx!V`!*MbE`,Lm"L?Ї\.^B7LgDiDj"@%h˜q^k ٌarM0֓ڃn[JSQ/-Fǩ:[wgoKCB[?IR3I׸PGX430=եzkvoIlnOp*HE2iЏ{qe"4`93c£zsa |yÞ/#I*̙;Wu} o`ۉSq.tMb(Dg)9F˺LJa;'&3Rp ϼ n]}ҵ'](YskE%oW$ Lhр*sҹy%+_5>z> &{!NgIp;~~u ڄy1#1y^:[(]؁Qd}6zJmHOaoP5,]'ln$ 盒ZY$FJ^Ⱦ6/2o{|K-8xޚl5ykri?u!c:6>'z |!Lw.N Õ4`3;4?N@o7}}TӜ_Nod;רrMWHhuP[f}E6=Q0>E_ ,MR]Xg-٨qS$oR&FhPKhҏr}:?Pωu?ȶ5ˤH,cbDԘx`)W!SB /$Q5Wy,j9,ε4Č*ʩVJ{bm!5q]#YꯘtU}x 4؅S_ö Be 0N{cMa` SIcEus3wPE*oIdR;ģ[pqѣOc1Ǣgȇ,(Z ,stƹRj1c|kݞGQٜ6N('lLPd8( wK4vS !s 8zPkp)-"VI/t7sn5C$^a*֣x<[-w={K$ A5'MYXɈB+R]5nrC j]>A1,Ɇqqp YV&S߄0w`5lB nBM㏘,~E}0M|M;k3@6pN*7 |,4ת襛RJXR*ᜟw 8I-h6; u(W"˝ L70cFAի sZ4J9VlN  SQph'DSDZctp'25h̼ Qs~}Q{ C:wő<%6|UVdvQd I*EAcqd-rs &Ҕ4BA0a"cS!'&ȹ3:9s6pL:Xt6?.ln[z"1Ԓ2lf4ۣ!1!M-{h g' w'%̶D,(ɕ3x:DP{8vu=]06w]%WF8 G]B(ƥ64XsѶ{g:QfZgj5RdV1:$71Ũ71.`k-+i0270K}:T=.=&BСA9b l*+~p_ӌE*ٴWGP X;WGY{hZ\FфMMU:3,^CJzM\[  U($.D>^/~@J5Hf6mѵ;0w^_n"=A/ .2K*.p1=A{ÉR*26*wŝO'.[fzݲZ!]褀.fce*dJ#B)|J+HfeX4n. TO~"22E6VV(,'DZjxXu$ o8e}_ }baQ2̺+O>҇ހnWU/" nG1ɼ@ ZzOd5^\e}?:7h#»x0ZPrfJgyb8۞fxɂN(صՕXY`-9Reqؿ{K8͏+m`DSCUGْg"JDRFڥ;ϑi QI[#IVٶO!{.q6^fI^32!aIw i'1&7Q (OyjȯІ1.2",-XN޽;K iZ \zs rhnFD[YUrY36(p&%/MCPD`k= ~ٹa!vy{$Gp<^_vovUoM)?k`p{? 6ҿ·w]P!q?  (LF5eMXx3vB4*N+PYa;Bbƿ'ZX?^NRQ%]t?+GidfNg}3)R3Q 62%Cᅵ%,:B%2lNfzWrlfd)z%NE  ҹR.jZC@"H/q#C1iwh߻]ˡHB_yȤ̀J~f1Z^-$> /PM'4C &wb :PQ,p/(cA|T, ;M$\A]YүG 3.K_ m%wf@Wo~u+0Oɶn>wV˥K,Bf\m:iq4oi!܍e{uC^R}ct@CғvgP.8N vpaT)k"N|c|-Q5뒰ӊQK$2?7,_P[lY`頤y^rFV:("yE,B9޾z-i#_!@bߍ'q%쟪Gvf ᩊG!+ƭ݄NHmT1.P4aⷧ' >D R^Տf/7[rCץJsc1c̦kh$ 4y Scy.iE=&7qv5H{T͕jDnq*"-F{~3bbɑtV RyE aYgR !iPbceN1'E&ݔ+AGk^;.kqV%<f&PwͺY kyL|Ayy@Oȏrp2%{[WWRMoU cKpU^5r c2 Cu(ljOCGp' \rj]&`JE!q%TWᕤ!y~kK!S `M%fkt3]Q-d~V"x!:wAT'FM[{}u x:)v0"'<#pgY0Qw:95ۗ`\S1D}FģZ©$`A}Mx_ѡþD0i{!4qz^Έ<-eH{bv[!l = m`~80cn_e'1܋dmMƾpN)vtYl`t9ZB1u$hB< t9C?kT:4]| Xr;@g?|눧ӕ.*E%=DoT#'ή"L\?o酕XC6,-C]*"W Z[Z|V)8/Q,'aš_֮nm$Z41^*guH@9v%ѥlRA&(Dcs2o|>?VT` ?MJx&~ Vk·#(#af?cjH9>XxdĸJn[%:xcs(~~؁ $cp|ȭׅ"&l[rEWE,%jJE1 5AVTІZ~~~kt}O~k۪UfI)2_(b7S ;gSP%c Etw_<|pqYlXu foޡt^Y 279v,g) k렾u8F7K?N D2r0W;yq,aebuK/DS=`fg4+\gȯ,_%f?dfՅϬ۳Sv cu͏{ՇG<b.4U1ߒj S#z+6 v 7B`.Y섓ߓP{ &`zLuꕬH ƛjU0q:pD H&3ww/ܨKd7!> igKyI_ ۏ) 'r"*TrLߟ:\*f;vpCG9R1fYj!)s( Sӥ++KWI0ȟX5Q/}r z c4$)3vfgW6a.eQ`u+UکSG) {\쬌˫ B֩p`*r^zMŤ#X!bP)b3u`tDaR1"X7>) 齦W N=>:;ɇvLWنnS.nL/\l%n 9K0 * x4TU-n/ >L>#Z5!f6߿IzDVḬTD&5a(˯}M#HM"ض83n]LJ b&f{\9 (TKf t@_RzQz,)GG?= \b ,<5(#kz-R7\*὿r7b`5az/]=='h&wmfƺ0'd.gqBcgMd2j *3Λ*7#_FZ-ɧ#{z=b{?CMBiS;Q e x %8-iu`4uW7ks2ځ2_N$pR%̇lk"*͏?"jAq@IdRiZp/8/ sIO - (Pk 6@f/豻;lBɿGb<dl3xEN]|†/MkhEKA]w fNTGtG/ C#9 $/]/L0)-v"FY;UޣOcD OVӝkrv ޵:Axf<{f9v|P@jLu@!q}Zc}hM;t}XGXK{/;*`ҡ\DG5@9[cII{fo )P:4yC fV&f*; #T~.:NH9,9D$!ۗI2KHlLgIE[̒߂,vlAͰA|,뤜kls(y{Wa@h^Q{d{ shGʡnhlx*UVJrPG/CAHB j(:/6`i0uz[Tn֍X{Ʒ,kӆ#ktrV"]kZi}82$bw0OCg>ңYr4CQOY6 Ji5L#*bigYZ F  FE> /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9D]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4fF% =u"iJ͇ֈ%U 5m{tm:((t?rrH_EDO#c{rRLx6 9w~P; ,l`6s41.F JVB n h4ߒ5)RŇG.<"DcW+~+q(:`%bՖL$^~([SqjKA|aAhN\_B I+O/ w~?9H>`ӧQ5a[K c-Y?o ^ Cju ~H,%d4/نwaň4NYBx6o!20 {XyT)c1Dv  ow__1֘Uy:{NGlD 6 /&=0+e4A!wћ/9j!L{n\4/_d??0ND8ЎRcns|k'DL|gr8e`Mf p蒡HBJ."w&cQٲ, sm1gk[] ͞L2p/у-W*FMDb`\: 7w2122);wӼC炐=$e4Qj:S=~;WP pyup>1V媚ȩ}Z7 /m6Y849,E4މzheDhТ:cQ&57NSw*; 怇c[iĹd%jjJW=@Z8[4IH"*6R_Պ̧$?-L Pl3HObA-45=hNN]ArMyW[oN8w;8j-sGLQ:-L:.mL=&X6 *:a^}kLA"ݧ)xz_,͛cH cj]>0Ki5zLFdˀHF*qW rqk*/ :fKY)8l>;+yVj@;ٽ޺nՌjՃyN{?ŋ;$8dieH}K8|%E  gԓld󄐬{# #"L|5J"Ɖ m;h-Hh#PNno~HԴkA5$K v|Uj8Ls?ʿnWDB;eL/!DhC+82b[1^5}n7 UJڜ*F[\NJ^p$|p+WM~UMPgZ6cN¹1/ʗse:C,L., !)g^Q Krd#syU х N'[Ʌ6cU)P߮9028/RŞC17Ξc%%U(khPv~*\͠u+J'h? ST~ˆ\*w Gb䋑4IOu rl*㣬5Pe0<.Ldzjmaz;dZH&uP^6~"w''B}q‰ٶj8W(\LB)qBm[eb}00z(3QIӸ4_9;˔K:BIi\@w'~6OPP EZ$4/T1P):PbS[<nZrV sO$@X`,CXE` G%+100r{F)| X)v&ȇ`LB貗W~t=p\+Hw|8ies<1U΃dT$|/+|?!,6(Qi`vk,Pm~.I?0 (9whԚto.YX9@< Fp Nσ24݇\y (pa?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! a]D?7 {?:fH\H,;ʄF|ed ,? 5K"fA8{aUAnLZ/"98l_ ӠJjZآ|^DD#"QH%o!~l8NG_ !1[,o]E%.\c,o"CIe.} K5G_$BɂAj9ꇓS#z6oY!)it`O@K^F.@nmV9bCUSc ֦)Hf+_Yv ) (bDpsu{LfI+S:MWUJS)S&FܨۃIT[g̵k/•-i6k2 }caov>?'c?;q6(P9go HET[C5z}.Y]P1?AƕnHkl`0a'[.OZQarDgۆ趁@2^_a+}uQMfE>rI+<{?<ՋKK.XŘb@-7@S9exʧ/p܎T˒ mvN! BNؿx\`$g_*7׆.jUus*+[NYW-Ӿ4dm b# o + Jb#iZ w[;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 wa1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations w'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 wG7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex N3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex NG7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex ;I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texiEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@"9:'ҽ6<[0@P5C~(X- IbڂutɌX;-3 W?X=BT P}b3cfR,>e =Bv ׌aYͶj_$ʐaUoQU%"XC''ʇv~&(rY*82+0y\]? iR.-?YSkHq^=$e.a & \þ&SJ_hIv} PF*+XH Nj7/ߐz ]ǤʼnHf&E~ub `EcQ`f ۈy+VYOW_ēYF%Z6½r ,5ts;ZU쐼~bvYch'A%RAݷ>_R/dvᩍѧa׊KƝQ5F`51Ic#s7< ̟lD`aJU?͉VOsۮ;x|9Q&r?2wTx5Cax+'5ƫK-BVZRsp4dW, c rrɳl:\gi&SW.3rhzB~sY > o+dbWACsDk*[_idD ',0 ĺ׵/O;\^Aqr8GNX-I1$8[S̵?@GA@J+5SF=;BpwF7FWRAog 񴨸!ďCj>,Μi̾"į|spI?O}Tl5]}I'x*ŷ ZԹ\ijG-9NMvmi-R ?~& GHxdšt@`3xu"%PIaeīƤ4hvBTNҋ@ + Eć[ ˗Mpc6L*`#f㱉I+ADv;ӷ`SY:a՘fRwJ_6 'ǠNVzVʖY j|SYwQUD!QsMŧgb%x.O1QX.X)i'솰1W9vQ牄NViFlW'O9hEN~$%̥F)xR]u "d euڐ->%Mҫ }`@u~.d~\$t}O~FW>oՔȟqe, LaUwPV |5 `Hлכ'=jzwDIZM\=~-e &y,EʆEK]Ԯ}|py lYz L.]0x7ѴG]9vV̟" 3Hۧbod@fL5{¢h޽=yq:=h$ {* R.=7MPW FInwܞCόngp&2c^DO#̕{L .n!"{t9V*hRD~u3wv[,9R`IDd$5S kx Ct+Kg, *%p>M泡FtU6$<}r^yj=FgM8%hG~Pj=H U`,OfT4 t=rS~[O&I]@-: S=S @tj-aIN8WaQ1Rzi~MwUJU;8ĸ ߆%zՇ7}m034d9o$S }w(٫FCZ"#aN?|<7d'":y.# DR~ ekFZ1p/$~RT$7st=cno0Pa '%W9F4@ù߆[U{*WfdkܞFxk1 B0@#n;~WxHbr5f[rmbywfGJH%߇>Xv `wz-OV`| R:y6hӶU7^uFFU>`=͉u(U9o SM.ʿ:)!:olrEudSv<{#Ѩ"%=v9<*olKk^2J!]IG[F=q}.eORMOzNjC4ɉ6U6ǥB;xք ~P6f6= cz'>.CSɢ#/_]gj3c<=UPښFki1h)~=vn`=?uZTh%Bv}n@fy!'0 Q&/;IϺlsry o#D2|B׫#Lee+Z{Y<6{`ې,Gt 8`M9JM)65'i#)"oMD2 *@Ĉ?*q@ ߴתIAa%Eܞ{aDϗԲ KϬYkqWs p͓&xp K-N}#ls'B_^#c)==}0r,aZ*CUµ}}H';`N](|CLZAd+Ee7>lěZ='rGEI2X"svF'xX+ 0) 'MP-4 ӥY*5 Ug.ݷtc٪pMlTՎr+9-@:$)j%.q-׶]6+"QFGd,pQRw㈖]F^=ݻE|l@Y@ TapO#*ܮNg>g~&;1Uuc⩻>bCӒ  -vIKhr{RTn<̲9˙%8}iڛ7F6A=!rml#eD@΍B⵰p=*ߧHg5zJׂJ,-0`#-ZT byNu͝)~717?? K!G-) =#q*s`@#vup6U5'*M0&*K7傐ln,%̋s/d2s::nM13p8Y< EX0`qO$]1t[&&%kWR[mpX&CnAW,,+xKz ;//>8(u$BF, ;k(ʋJZ Q!Ud#HJ#!UPdn[_~]ID!x#yZ^i?MXZ-oXta^/6%ϣ >,Q _A*5]]{"l{ɟ0y/M@a(i^J$q%p#yǮ0+/+aYLoϙ Tg 8I쫎!)]NLj 4 T2^Q0 GIX>`ƘNu랻Dn dЇ?u[zjr+5f/1%6=I[@ {Q{52hrfa>E ?dХ}[j㤉כ㟻a-L|}8~$$,M6\GtՆ1Aq|šyi6K(mχL;}٤PVL>f5 ^ qK5ѭXpr*&XRJERn%sF3v+?ɫN&**U mN|^4'Lj߶: e Ng陝68~e.p\YѲ vQWN\4A-r-E9KZRh* y~F'7lޑQpxn~F~dI[-?!Heh5dtwOUenĺ-麧+r[/̿e9f9!2Z*g,^ĊT2hDo{ cGzGi$V_]$J (V^vMl2&QX6;17)[+o 9YP3yk #qA.(<^g-!,#~k Ҽi,nJHSIG WjyAeԀG6yƨ=X8 @c %P)ykX;LM:5{ݞЧdoD1sOjWv@ [SPx/;ΐ**P$w&%N/>2 7krZab`\wpM8 "30WtS0($<Ř[}\=2Cj:\7Z0\5F[p<vmvB KІvIZ0 &t*D;fzKE(?s-KA:?x.dH'UsAC&B9&I?Z)% e{ay}h VJP%*x};WcwVFxZ" kV6*0WUՠF,# 2Ƙ;ōAIHM[3_3ip⼠IloL;fo5)]iRYΈJr#dhd4'R^_!k37ȿJ>Tz{u>DN_z.?촫ħ _cj"hπ;,0}01؏*6`tC0Yj41'uw P nlv>̝87R97X [-?_>AUL{|jd9j~Mí(z#% 8>DXw(TqK0 +9]pMҾN`"y .۳/=e45#;hܕ= ^m{/*y!x::F@ Gط@ݽG}~"9B t|5`{ξغ!ZW:sa#&v"op8J .1~m-0\Lѱ7dI(s$+$W_RIW.:63" e* B@(vBIa6J,Rv5GG?MFn,ĽN!{ˍV=?T xGZuG3]LNns~ksJPCfu2˫|8iog¦7"VgC?rx/Ӻu/_`zD^tXw /Vq@dEz)$s @`@¨0ZNeݕ"l {v䉛Czh-]=@9/Mgev#n-/Je{) [xQuwlw=-Ϧֽm^4ET!њ* גq0դpcx*0v ©kt?NPŜT!LɨRqṲ~ڋLPi \lakipX|N¤HWy+$1ε<赾#c2ftiJSWnұ=zkAf~z'|ib`넁AnET56IL rH:?f84L=a zSmCiskwk*]Ǘt:%z>LtA}s7@\``}"R켕쪭=K\ mJ8lBµ6" BN}vn/_WWp$<u;p&@^0z &֡J8ZKɰ9{DV b/ޑ5u*{3AˬykIu|I-]IO4@/ݦ Ch}Qa8NtXR}E*J~6ySu bIt!fŌTUnTR֤)%>%#L)1mE*.ekcaxUrLLܶSX=R;2SnգpM m%"|XR&}t`=⟲WjL9u>1(cjG #%)a@;aDW'\b21+77<1|4n'aGq欣2ĿY%vߐ/`Ǻw@'~]΋zM3' *9:IR kZ\UJB5[{U+F<"1*W589{)/g$⦁ߠ,'<.,<^E/Mmr(@&񝧛PBpSz0s 0PF:&@2&T|>#.-p`٠'``> TG$!ܱuxƇLgjcPzn `ba|+;8#,j &!BAmXRJOcZ.lo_2  N"#FTh2 xs">Ak~P߮nQ|S篸>~',YjAݝ|PBm rD0'\xI\{jED+-sO>Bcax ޗբ7=&@mT;7O6g 5AUxl_F'ѧ`*PؙϺ_г-ug(m3ƙNili{s'H|c 0ٙ_eUixpبݹeFΫð$H,;a,`8vkJ {@ vrv of"!3q4|:܌nk91nd`Y)$k8.;3t0+ H|Kf\;T ^|O%?3ȃMfEd- YCaddGpY8 f~4XX,8Lz5ۧUsfjƊva߳%u/8m^CE<7+SP[9 rB.5Rwn Oc6 {5:c /丯Fn{:H3:Jv 9]@f,ђGE~٫Cպԡ'ˈxD$f8:< Ɏ^j|&j Z΂Ge\&fbiSe 26 )٤9@seG+ 8TNa^kTI?޼`97ǩZԵyضZ,c %:Ҿm֦HSy9 gmؖthU( vaslT&w`#_ DC^q)\1\PϝTDPt.bDKz]Ii) .Pr$`T!j3JwMRؐ9xrfx:;Y|(FW޻xozK*k~x O$*PJ/"| CS~s 2i.A90`ɌCs@7OzClN59} /2|'be6_NO&g^O_޼A0.G(IڵHL4=䥚 z0ZJZ00ˉe`ǻOY cI?U^ZEITuRl^^BbHCpV7Ġ"(-a$] ̜FIyK"b34b;N/6Im@_CAY˜rL)RV sՂNqqv0vMĊKʮGAcUR˞B|5@U;=`ʙY+eMG{U Wl3}XGD#ӂى9ܽ'dΝ :12ԂyJ!DQ_a'Em`""2ddN7s!2Q b׾޹_> be[[`|˭5`GnM#[e-ͦ Q ~2w"bnH:_ryGO\"Gn fb:dCKznC h(9ED;o%Pͧ6[V6$6Zio--}+X_*/In ?]Fcio1,Py =nD joOIQ.KNE5-hHAi"E*LSqrct9ㇸ}޽dә3E5Uv)B\xvB=ptmg0L5y2m/p2-Q~ݙe\< 3f> _\֯Ok7}XѤn37?c %;TZI$kغB7$é[?ړ> `gC]7JLE>,L+Vc@<&9&: qQD! [t v`zԮ׎)6ym=¶Mal@V: 5IͿPc-闈xbd$D{7=I(qWI |Cy/~]Ɯω8h.3,b&dCWĴ>i#9jAOoR|C$ pmP3Kz;1*-tZ7pt!(o\*Ao!t~%\Y" ܦqHg#RRK_hů~0)D<4Mx?݅<C=ܛE7Ơޒ6"~-x nnGBL2^ :b`.N MER+= 9iPHܸŗ "1(]ۡNpG]he^(;!=Y4DI#o^% U[5މg3_D vG7@=nA_r齅ѩŤcqj\&TSm#QX.\\ ;SJ[ɣ!=J(J"Ă,ԾT듔䳍;*.b'62= gAٯ]g$"sP<[}mgW:LqAE؛JZ n#)0aCv|0ۅ% y$7z sL ai4:c4j (q>C_ $^2lD. pm\;i[]F7⩸1qgr"xLgYZ  7 ^B /G# DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝCXDZӹRp 1.m+vx `reҏr~t8bthun9zgNܬ;Cӫҗ $,9%I悸:7)p>ቬG GjSG[zK+u hlhOZTH 9T8*w|ߜh\HXUb3k묃k(` lqj> 0r&Ʉ$_ܬL:[a+k \SߟJM tt=N C5bLk c*sއ?;k"P*^:":Qً_zoqV 0,'\; aN1?@k"Z{4Rm8_i Bwn ?yH3(Ͳ[ 蹐ʦӰR=uj7) N @ocr~h=QE4o:'kFlM("ĺsM|]H1Trk cYӢl6>=CcGFa6Q>|1}kOՁ5>$,Se.3T%!o3*kNzpLWĨ`67u)w+%rׇ*c|yJ>3D^CԣULFݣSj58gF]-tna S Z+=-y-k=xL<≘io $5=jeǘW'w'\?(0Z].۳[2зAe#k;_rM“QJ)W7 o\`.,cbd"״A r^=R1'QO,GgZ汞 2oԷ*QaҍT;ÕeRl_ +${3qK<sWlp4`M3L@}Y pmv省NA@MXɱ C‹DJ2 DA9un*HUi!F[y[ E(,*ek2 L"sy|$ʊ+^nW@@װmd!W/Y WS)Eۨ:Ud)86L؟n 6 %W^?oZWM(GP^K/dTe*Z,fy/`cjO b$p)рF`3wlw/};KAeվY?E_tM*tc#v;B؃HCzKeܪ<*ޒzb mL{{FЀl!˳55A1[ĴӟǑ|4e^*+-N7$yxC ܨ93N68@L8 o41>qfonv R,&zZ$kx4 kiJe7X?. Fs85l0zTIy.󧢹7=/ $&-Z4 T|3L%lÄ.;;JO=( 9$yf4+ "fcBx5K}EEpMcs$h25(RWyݡ>@A\ fmSk8Ϝ}ư-0)r Iii[EegܓNVl!dM2J8F;"p>ƏF_>]ӵ;x.CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! C]·Iq n[:|&[z'^|Tf̪;]/= MZ-.-|y d[o! 1dfhkQېp(3/ JͰ6ȏSc_MG~&Mz&ϜP816p,2ExI:jWkݝ"shw ̓Ӯ1W%;mB + /V6<9VheZ:2` N֞Cvͭ}ab)ѕs1JWd6y;~&>7%R99J^>$LM=2N?9<`C2Dԋgg)l 85(AYcOX9p]clZC0;p T<7:VOÞ>̣~Wے?`Z1 n$R]!Z*&2 f}ɢXЎnNqtT{]wst#ԌÒrˍj([tQ>5 aW(ܢk6{6Cq+Xp{JbX&Z]2SEfZLɱgYZDq;a +BHjX1}ƿI(R(ݒS\;Gj99z-#[ ڙ!3A&'u ^ .E#Sǀp ]s)eޱ}t5sϔ_7ny,5ec0}[)v{'_owH]Y R:4DYw]hEΛ(.-n=o,ͤz 4jd|\StQjhM0x5,q2Բj eP` )n#d˾MߒuKo)rV)=K{v!Mb4t%h 08jMK7}eVU3.#WH:Ϡ wkf@lՅ첤-0/A#V{2*|✋W0Np +*HHp-N43%9PTJ$R;w?c%FMA}lC¬Q̳U+cz/1%jF ,! 9!bVdXX* ) EDWLɱݙMPE?[9uƞV}ZYNwGzVU?-Rꊄn]Fsr!ܷyayP'4/-r;_F3Xs|GA~S* wQsd6`tHx _+\d/ԦWJl-Ka"?Uty` ^(i4bZRobx$#$먚ˀmĿQփԨviyz8jaaehq]M ΐX ̾&97}3fH+qZY- U^~%c6$sU,DxsfJYb#aK!H4柼 ,83#.J_~miUz'Ճݎ`Nieaj9D}n TmSܒʡqX3(߀u ơc߭O E"dmdW&wf_amZDJXUg4:z(~pJl@lp+U~BG!盉  ƶwe"$R \ģ͚M2 ( ;3I ׈ZC AkK0q"q,G2e<]1HjJ0{MBTL3?i4Иnt( ļmOCf ؿp?2ߋ/hCÀr ThˆyVyr@ T}{qǸ.*⺩vcoְt5uҞpƩ|w3CGKNP{~x@VyF*xM Λr! PT+?_ $ma2+:K/ilW߯# !HDy>RF̛27B#-hE[KJV. bϱ F6JdmaMuinuQbJ>gCg~.xU B)Iu[]~s88S8M]6ȃ0^\Myh_zQ4Ic}"é)a/DTȀRJC66QW?BkoJƣ n*i$sd ura*zDŠ9[р)uk 1!mM<f>Y@fHOWmdUq(!{ӅLͼ<ԥa_O]d'4zfrB i wƝ 0ZuCJ2NJ<6X#߂d@5ĮaTwl )Wp:@`c|C.u^!CPqRAf_uݘ)E31 G&W4| W]7j KZ3Zoޞh8gvz\Qp8Ku~9z$v̱&۰p=QI("&գ S7 x^_?˞ߨn&\>&)"%\b$Z_'}܋ҳsa3)H8h:YK̔j;Bmg:0h({JD~z!N-spI)( g`h*Ʈ.%jE{l~̹eɊlČؖuI@EhӮP6%΂e~=\M1^*Nݻ-ikaMa%@oNήB#w]4fo:54D$QW*#.H zz&6ocS3gA2„Ԗy ͑ ‡"܆7;.0;sϜ~t{KWΑymbZkޱ Qxq3#;Լ9IG|օ`wݴmQ߅^[R?@Nż^>CT jzqɓzzg>yO7jbOj[6uέtHl*Җw [h@o*h|HBmMVE<#iOƠAȺjՅ[DrۢDN[qi~];JKѭ/x#Fv_Z4GS\dK]E5IiocܸJfL殽b$Cw C[P-+@ӮA' ,v/'jVUA RI5˰B~>7qe$;p̳Ce)ҏ^ӿ$_Kyi qakEYu\0@.]ږ-(mTta~ )Iҋ N˝pOVBZXG$r xn^rջ|;v^H\_I;{X=ep} G6/Шp͔^Xd˷ErמfJG]-Fa<0ԟ:li[ Y8L$#Gӫ^Ibu֢70eAد`v:D VDĻN=7_$:v%y~,aJ$gvNRQ˛ŠV~Yk0P9ANy]F ^y'#FG*q 9mqI:\L)@J㖮%t?+*c~~2Tw 5Pi-JfyQ5[`Si  oRVK)km.@P=V\)kʝ܃N<Qm|)f%(c10 V^i OrJS:2݋Y%@z5YBz 1CyP%XtrVm; NN׎ƷN߇ q_קkmdWa⺛S) %9Uj}|&c^P p ìV_j}]0#܅S iee *CqJv8}}ߝI1T>Vb&~]l ːQW ϱK `Hl8%㞆w?w=FTZzU-wlw̩1,av;A+5*#{,ok )zb>HX2&>h twWyu(Us4bv tfO<_hK wc"D쥙dKe__1k'doG 'xQTn18A|9W'ߺMt^Ppۣ4̆n'\LG\Ljjk1~HN Mϣ{Z'K6.0vJ{\s\ädfgO;ޙeCdZ)ۺѳ:@ŕ4VTrc_+q3o?-Y;PGQXv R7w=>Kb$,c(B|6^BAb+5*Kk;U](kS2?l%Mk)-m'q9s=pXzjj!?蚏bWBFۭ}}Q<ª}3:c3 8]MT7:}Vw;W]FmyK Հ.F<9z5ؖ۬f9M,56TA 7巶'`vAXF[?W!lISBIYy7"?z~-|H']ZǟѢϧ=3{z&OeuX⼊*(deˏA %OqfSs4% |g7h\].R;Rja9w.t0:w`igj23F}֙^wRHx zirqaT&;b땄޿18/.lnW4:6F76WqՌ|MB6 ixX&f& t{dUM 4#x;OvngR~1| 4_40ml}xr0Fb&UM#.Տ> fllhړ.;g" 72KuCIގ(S[9ux޸!Wf>$oN a<3T,yof7qaEWvtwBxcncW#9Hf)ne1އ&P"71҃7Ǖ!Lhgzv.SCҫBCH554vWA=m )u$ '.ٴm ASWxuvcvK]P1g [-˼:=L+(o9n,c {/7h4UUwz Fk1:+Fb{6?uDZu8&y$'<2"ǭ+PXP@bɄ.l4HUıv .$&fΰL Ƅ~̖1e<Za:ߜ(WM11ZӴǵbjiE5!ECxF@j[";AfȜG.yoaƶFY?U䉸˳9HS%O0tPŖ9fP18 QGgYZ s  ns\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML&G/E' THOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1ìRm&܈;ˎQde9t8[:>Qaȟmt܌9~A>p$V%z`ᱻsNEb6Ld8$ַ;.S}bCO.kE$&aP8v}ApMaʒ3 jh%@L|dR@T4.)u%}OEIahXaVЉT睦 ,YM^DAX/+̙KӇ[eRA\`h(G8=}iJHEMEǒV53T~idЇkva? sk}x bĈ2ȵ #:/";N#XE1ح7얺m!;`LˆI+f5+'NʃPJđ <=%><L w؄G{!S<&Tns6~mA/TLjCAW6(0 1}G^%2h&=h``BBºG-<b\a#-#ֿ剓ygHTq`dÄ3g -P^t2vb{ 'jIъO;V.GyuMmIt p3/Δ2әKٚtCi3BjKͤ,ҍ.D۫+OAz%L >wbHr sⳑq^S/ݻ%(X\ k#>OA6iRRFCSeSzSk_]OAPS0˔V\mdE_ ^E5RI(2l*L&YQM0,ݷzb|P0|Ԍ<>LW@Je Z㹪"4F/ևAwbWqԫZYf8>wǴ "&#`] uxaȑOU M*qxb:!iL[:KA4 wp<0mUHxTqPW L\J-8o̙C1k~",Z`x n'f].PW"U@ 5]כ#'"Ғ|)GO'._t[=^{ 閠fb6:r/[t4\t}?]eupɫsf*!ˀc۟p&&eVhQi\\kJtK(1HO|N%n6>;x@LO3W.G:gS>Y `zdd? !w" ,NǷ? s+8x1.\x̙?f#hOVpPxոT`6j6!DR_ :t>-)p f$0G~ÚI;R(bk}D7 ~Va.ԪBPt4N>x{AlG>:=;2_~ڏd'.ShSh& *Jkg%3ƷNiOmْo 1Lp$oR͗Z"jG }@pLCy,ʑ,~{JPρ0.EvBZĀ/qSB wka[N=g)B3JKn_1uMpwýJ:* =S1g2Wc1,!V{;^~FJaӌNd zGIJ PȌ4 #G 6 M=>U8z]~O8gR5yg3C!-  iZT8'3$T\ }3edp[.бũ#L0 8 ͐UŶԧSjJHﱴC',-i[)<äOJVDI8L4q'?óy]ۚ&^\.KoK ie./ѷh2-ђnϔ;[Xr9}Q[ Q sd}EӼxuVR[|?ZdWsg\365#P484Ama5/Sz1V) +8tgYZGs@,bs#Q;G;*O&XK$RaZ*S(l}K9mAFB}|lnϗnP&+ʽ.M b*^.gLֽ5&~>. ð ] ?1.R\k(zؘt}w،H`2&eH{@Q<KIa":WH ƭHw(АZ%YI-MFGY(TqtP{=/*Ja=O/'ϵC~<1URaQŮDںj+#)ۄu@ϴIqb&!A42+ߟ$ /{@PR!xt[@#TŠH%rOfL>[kzcu=&䧩 Of {LbעB o Ɠ/ENC<Y 壌Kbՙ,)whP[C|ٸu8{B-٪ Σ hՒ [35d3Jj0H6:4-_;8Sn2so iNB_"d?d҅h$@Gjg䎶DZ1"p|b5-m˄ć &EwIy4pLyf+I9f&) h% d!"5byUW/FGLmMyD?UIDpl4Ҩ)*װ(ɢ~K7_ 1b >q-KДv~k n64On'3 vq9U9LQkxysٵ&V ͭo 4'yǚB섛҅XU#zQՍ(%=RȢOhIY*J[2%2Gԯ̰}k"{邘mAGĬQ;KkDd>Xf#KaۃEC3Ure'T}*k8"²B5! w\lpr0 J×8(P 6hГiawOқB 40PPzU%=GvFvF9gaQ!Ρ{ᚥn{- ,IJ2 B1M 'J+dX}\VMYϖ]$ȲlI /Ut mfr$LV8Úp'R%TQd@Ԛs4{|hַ‚yCHpP+ۉ@HS龃U Kڲ@bZ(qVZ6dȴ GH8]([w@vc\>-B#Ag,?DO@2B/k9W>H::bA5Ɖ ka=oȲ-6WMr^ ]d3d.T_'OpHcK5rcS0h >Ŵ;4p9$5#!O&-  dU'-//4 ˖M_N8,?y ma%#BaUu?y%M?Bp8G6>P\l~l(x1I1A{=n]bFG1ZRbz<?IHRjG)x`l^:a~t3U/Ϲ5]O|+7{Lsu, Ҳ9 eU+qLyAޟJa 9G:h`j5qn ^v=B\\XH4:khZvfR34yB*^L#7ur#Z{L9zs02-w1?/ ͼܿ>Vo+mSslQXrלݬ &&OW?M΁G%7 X;ʐiu+&ԛGX{=]ԜBp^RDawg9*K/@M@]^&Bn5zoݳ ~$pija4<@: JwEHv%bqsrѪAUF+jʫ.D^JCJr9%=φ3EFF_0!O|H[u]ySb=VbN*>M 4y5fZò s0hb÷'eV#~{+ oK'DfZ5=zlMg k$=N#6'@N~CKNFGQ}0{g :ݗS?Ȕg~0tc6qMH۟'cVHA=aCoڿPU qVs.]R*pwJNWIIN aK,WӬ#~?)qcmֳlC|KڳXVjqh;Zާ"݆}9hX ȅ?|G^oG yrOuhcY+I9$n4Ѻ *ޯx[j} ^J]RoLjl #hM6Bq.lv@ta+ٓ rzr7u67T砃) @B^ +ꦥ/r4$U_ \Yw%[8 |ފ'eM A! ^Az3BTByɼHvo\ny0 8}`ZCo]xNrB=o!yH 2J :䛷O_μP`}š;;qah34;CS5 {K`=ކ@tOc'z>꒞`E'ŜWr^.C>jo>BDք@0a-~6`%^*(hqქϩ|[YvSvz=v/@撨QhUq}&tT -ġJT D'A|ߨ}U$;ډJmCz<_]Cژ7oxm\d iZqEyów!8t}07/ɣ[q46WD!Ha(xT@ɲSh 45NKܕ ޼K"RA"Dy9_ܱYսDИ֒igD#f~qPlYցWAܝKb}{-Vgs9 T qCKRǾ8͔9d4ʁLOP<{:TnE= Q/އE?T<ѮL&v}2$O8ux+6R#hT樌!2/:\U/r 6tmNNTMYU!-|Dy.I#7f&6 n\XQk?Hz+EhjߟOySCjF/2jP9Sx"ZkJ794Ч*2]Jq=F}/牋_VCPgd3cηCĝB؀QɷCCiRCWՎ9Pl~: .A>kʵM3; /" љtKt(AlpMW]5&ei2nYX} љ%H lպCyP|,ѬXXm;Nf(h&IL>YH .e7^!,m5j#غ7?.5ʻWR=?Eٟ.ߑV~\̲hTЋYdٴ~qƭl-'p>kPS%wP7/Ik>>uJyȫDS3 )[厵IaĆ,-@ SNi,~"^MLڛH`WkGI(]i%_$6r $àc xv-,org~)99E'@ģ)h܌4ۍ>Ñv,,9:9F(J Lj!JX_mz.\z}q;!Z qaI w5.,&,C#'~~dF.3{꧌I@:+%,^wmqb![S1Sͷ_sbn&6,aDHx$ʶsWc6 tDR?sCj8dWm ;؅w̑L<%*B[\2<:k;gf;$t|di[jDl;xvٶx7DS{Znʪb?z"o2:jPv-n5H :dZjY:34Q [eM@mIe9o{5`zB `kO7j)a,hun{nUkWި}Q&Qap/䍀]E ?^Ҍ.=z}9\">_x6ҺN ׂ\ `Gӝt;#%JN* &5DwS//c.3  s8DD磋Ax9cKy"pqG͹+$]aC*M^j7%3ަxι[toiq2ZArU0:F<=pxKmFfoK7DHQ1hG[ۺ=Bpi+#OoǩD}D=+Vd6iL4}%dAt+PM:r_r3FW_hTe[<36NׁkCβS |^AO/vK|zLdBҨ=&$s%#g$W]lЕJ_o_xYE;ȦW-;8=; mYޟty9794H"+<۱f{hN9@X{mi?*° QĖ|4BઃF(sF /o 6a {qlwHCi{ E'\S9f֗a*Rzg8!\_X%1aZ^?@, λG+RM%E*`d:Kh7O`yiv%!O::#|rm8ggm6E h0^,S-cctHdGeY}uא5CzpGQ6zEv #p@]^dZ )iScZT m^lT^=EWV=@>;wRO| +je)Bϭ밲b ҭtd@dq>X@kqb^R+AfG-`BG˃߻p4=5W IV=йNg%eod[d?1h jlQ>'vl[\LtY̐5*Ez ( qkX6E,SLI_{&jklڸĻjepz?)p6 71~'Ŷcߣp(8LSϞ.\c+X ,6rN#eJ1+1[°1^{0m# dpE' hhl& F-pls[NΒ$1UFT 2؏vβR0`AYyiWwyLn y_X>i(տsz4[gæddJi?ʦU4P}8f\A=&&/q%[ؖTfmgNuO5 NfQhB~'xh5_dazuX b c:xxs{PVzӶ6pαM3W5Q '^O=/.m#h5{]ɊǨZPa?H'%be+4{}tFy1ܖĸ o+γ INV8U@#&||zXҬeIgz>4[CJzn<&N$ MoH@iGmsg7+_a"HqQsLKJ"Wt&i_LnAKy5D h{O#+V;I|3~c`[9Jy(%yS&-eap>r|0&ZO.~a%>ZXwfAm5QoN cKc.$"Xn+ʽD x30XcYb!gƞJLK&" fllv֊Z&u,AnX ;Ul $K+@~~IdѭhL<;_ F'^%jJGڠcq/E;?ܾTq>[bm>1ܙ)3VrHc764Rm RTzOxHhc .rM1ݮj+O'FHB}lVOdBCsMz|~'^EyIû.C2O -нEà_8Qg|吴4iɯ[_ lZsr1٥(piAa! kSWk%1%gpk06} r:K:k*1?۵[ l܃Ht\C#Xqfh;& ]ͭM I {tJ:'UAhl,z]Q)l| 1amZ4%ƙU\@;o<{R|ݏad0Õ+;} pG^ZX7V?S7}/#H&ą`FS0*R4{Fw Xkʉ I"]%l13hRem>Jx_L0怛YhsuKdqq# amfgz+0sFEP83Mn|}P JjK,A 4~X xj˧nǰШxsq9Uo%F*+_mP jLRl|@)Ý9A_9I(Ɇ#אJ}˭:_=Dn4/*٠ѩԴ,NGG T*ǼR`"8;1qmbK9:<#ӉrZKcv:kwBc#EuPjՒf%fkavRγbٸETr]/v7vqs`eű@ ϗ 3\pX#5KKkZ+Xkn)8p /Tw}RV'J WnI船I#¤covV9(SBlY_I*@YSq |2Lai9S@uӝX1)'ϟNs{OW?:RR]P:86x]EN(B8vʌlx=)fȥv.Z?.kL &̵Z3Fyk6oI(W_G T vl3R Ξq}_!7jF޶.[i fj<)j]ۅ&{CY(]:_B8.й%.zuMzӓkGvk jb ;+uxPIL#¹˙:"x//~K#Mi[2\M|j jӄVTʧeS+-Zj0d͵m(ոnͨ.zIyp*%NGtvSM+X6Բn{WXx+:d;4bNQ@yך0syмIܶq5&GW9]d +y3GY7-#\]LJ[o.,ܪ[ޛZnŗ" YQ}/ڃ:dcb0 u߬G͙m,3gYZ@O_ &D)CƵR3uᖊYqDIRNmkX#,˧]7t =P*dHHn j]? %2(U'dضK{Jm- r"/0u}X4{ +ZwU"LClxFFT/'! J>춠1:|OYTt웬U`XlyR$ϲ} jFA dfh6GVߨPKZzR`INփ+¿/ي -JəZj>#0gE,s@>>;ncƔC3w/$G,u|تQ?ܮ XeRyVCE %'asPuҴ:L`UoT=hth.A۵|)*7x $Q}NqgXy~NKrP7saD.!U?~,n1`rbDdc+bv 燇';/ OGQ4Sw[z}tH !lMN΄NG]Z А4|txgK^[Q\񞠩$g|XP/̛fp2L<3́)CF9}$7!Y9 "3>}(ݸ军\pI _؆:Td~z?T@P˥$AգQ=VKMuԵ,lc9㗮Z̾v>?svuQ[}N/+/` #S-ʢʻdb>s| ߳})./X$15e Y_PTB<[} pcƍ)ŞL"ȜSoiʾƩn„0-!n لQ25dQIa[;kx4PT)kcbCnnaz7n6L{F&u٘JqMܳmꭊf)ˋUpcFq2 1 m F E[\것h r+\B`q]NFJhĔ)\x09\ u;{|E7s,S <4 |(hX2ڜ  +*_ djZ)IġX0s4]]3qpqm6X,U !UB5[JlCH3PmQ% ,]G^TW6~f࿰nHm&Ѳ@YD̽p:!Z] |&ӓI혥=.{'~x(KQl4QcTVWOk /URr:n&DWh6[3K+NR_ aySЍ&:/wXËu(|Bџ,VKqUW84L<հ1Os282c`Ϛ>'Wn*+F}D^z%%=(DZ@p|Žl.$TGq;=% [lH.f%3It,3lJ-ocL3G ?AU}„QC(\{r/UR>vDw5$X*1~44آғQ$2+ƿ/ ˝ejgrl5o*-N oqO-Fp`1Kz8g+tNj CGԦB}*xJLV0߻SqˌԝvEPd-| *&r=}Yd`PN6./jYZ[GpnP <& ,pT^~K'2 2a)JܾyKn,w1xkKJ~=NH1z3CV TtD[&|ѺI|؆lZf`Y eU4!ht1@+bV&!*^%.i+FE7J׫ml4q e% "* q9)'[]Gjxh Iry ՛\1,8o2 vFv%fKZ>|W$炒z5W͹f9*6^5gZ"Oc@T(Ц| saiqeD$eGw,k9enq