SQLite format 3@ E.C  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 BB3/vl v xlS:|:w#o; RvEjgYZ7zXZִF! hU]ŗXiɟ11bu)a2W5Kԫ;_Q,ҫԣJN5:Bd. \? ҮSIRY@|j/PE$+i1ٱ5Ĩ*/t/S ]P(qS4Y&r =qAaA(=eo ^%qҡ-J.<3I[@X/nEW571j>1c1߭/H«x-~C`Evӽ&? U@IIj#cs.ي{lU@q7 ?±gYZ7zXZִF! )]ŗXi%R4::4/g_ۿm j=MtJ=վ E)L2A<>Nܕ#]RԟqHW{X͝CE(R^v+2E#iK>N dioId W|*=uǜUDޯwbY1^$td2''P&84XtioG5ӮRT0XF7D_W}Yz:cj&SꏁM |r/p jQoWˣ}MSױJ6:~4\袋O0MCim@1v RyfY-Z|7zI_@sfP)yD1π56>n>4A'kb>~u⟡"ޅ }D']Sاy3^1(#o?RՅC9DqL!~ę+_pk>҈ߥNHͣJ5"X:4*ߦY=ENPkƖ_^"|b󑰒,xUuxs3J`V # MKn 1lѐosO=W[zd̏}Aha>Azфp3xBj`@bZdΜEDzTPr c-íNL4 M{ =呧%g"&f?p[L\ V_RrW] d.u"n>&E@8u{D}WH\}ްۆefʪ#Aߩ?,ɻ8{O,6GxuIhU_radfQ: ihaATjG%Y'A O5\ޗ}CK/K,h[?͟V1">n!ڽ[93 Z>l Ƕ<2d o}MXdP,64[R2.'T,r\K fDY9+ e2µ֘gNaarܰ_҉oRwY x ,N\I^aqw:"lj-s0ȟ_ćyxW,se$ج테vs,_賹_9񕿽YSiW & :5O u ~+ǽ$Y?=>e[(:0l~9ш)d;!-7 X6I9  1Cʬ#%֟#ٷYKժkiw.R< ^ /L#xXJK`4C:7lTKll:?aM7r, L*ؼ z9 *9!|^׺E:!h {(7|/ ȹ$3[HR| c4&pː˶IX;.˳ҚMقe/C/WXߣOj=WL~pU7?%av;,8GĉM'[ 4ᰙra' UH,جLȘXf5o75c8 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'pDDct9A592511-0+&%!$         ; n6 : } = y >  o +;J O Vb#iZ [ wL >/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 T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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   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,HYP^=݇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מ)^ΦERgz*+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:Lkiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}Dz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7D_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+raYKlQsێ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 _]/=!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\78 46oע]xKrK΀ÈĐ.t &Z2!om8ĜҴZyS.JG>4/k0/Vg &1ޅi:Uu[שttzsƱ'_i~u*(fk_#CDn#xe@O-EΤmTeQ"1S_p~$*%\ ֐4igP/ %wQUl)&iÏd'IWxݸ5@8VnSƼRZ)=x=!o7zD+]_XUW͹ ߌ0q4#+b+Z狷uSmTVbq9Q] >5DQdG.f3L2:7yɰLf޿]tWEv+XI._133[ K}>Rc] y~Q2Wh-(E?^2E/hOoJe.-#.Д\ljh*ط$@4Y|30ۻFW^veJ&EҋwEw3!#YHp/RЧ%*6BK}2a#m)SرHQ-b/Ի,jNBnH)wXpk;Im0;@rvG5CSpW` UYQ%6^d=y(Wǰ~Tl^LkwrO=PB%.4ԯaY(I ϜutO_ӘXŽ`?wXyϽ 2w??y?f jW2C Ep^ͭƯkx Z1=|kq[vgg~͒ /ePд#fm΃!x_[f}JbzZ(tP/#2ৎRrmtۧ4ݢ ǸnaqIM c kٕ/_*P`ϻz=PnZDp%C;gpBE4Zf]̐A* a+gXg_fy~ش"X]D'(X},YR:r"7/gt$axFV6ţd+HhW ,a&;Q tV!*捃S&ĪMbRxHM@UļXUz'V AOՅi񩙅;NfR"z*{"@cꈳ@pf|l.j nKWS'_D%$E1\ 5FDAYʀv<,!M}^rMb.l] LVHwyMWƯ r|nG b^y2NlQ 9v&48wQ/1gN5v>Ɯ\kP_3BFb!iknoCRA\د,cB L! ffHݕyBGZzk:?$^c3czeI;uy-s}, { T7r*3zvǷv5riabqРDᤕ^Ec(9EyGMyEW,S²}ʻ:ue|[ʿ"iY>^VQʼO(NY&j4 TC'Pp-Y}U~_G#"{"#M h58Dpem$a^]hUm cFxkkv1ʌhڷ`~9$ d;E0"o_b8-Mx" .L*B$DSz?ads6nyK Z@e X ײ b~=iϗܹ"]V!KpP?.[1M%s%haTA4x+r[gSm:9/zXF9n`cP7hs_G&D`m(vA.ev`yf:/lT2zTdt`@%K̘z_:ugԺk5P,}mv^8?Yv-1A#$_ols&dAa!gBIX ^яXruh DC:vo!C h4!c#d }5jQߞ r/7eD> !2$o"E7y ;O ȧݕZ|}{tM^dfVMv15 ɑ?Lo` q?+{=*H=ɤ 팰gYZ   h/=# dHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! RHj] !M젗OFK?Ie6,@A ]Ozen 05}fQI^M8{"u}ʶqqY-czD2,5ڦ Û:u*l^sm }3i_)J3Ri.>⿹:KNǾئXM/=ƖS| #˒}FU%7㒷^^=jig}ypn_ޠ>iaSs/m8DG]q)OBISAfAYpPҝn(}g4:3ϲ}m` a:y͇t=0SY8d`0/Գa^!v@BmùNC'LtqaX S[%TϪfHd?=@GPʡ69zL~ s]LӖCJU(my%>c(֝ؼyKfÂS)0({MyMθ>#91D d&_VK0ʀ>wu?hh0KzR͢}q}=O yzډ@u/0:t9޸?Rs),@H~6dlLa *bq \`4<޻rݪHXVuɯszё#OJ&,eU FctU2;'sذ+5Ze*d{P 0wVw>8ܘآt6&{^X:_L#8)ڰ:q@qk-z]+ڋ`p*$ :dAEЮDW s'^3fR}Qal4 1zĵw[ n.(v.vԫj̰dJ182ȌR\>[<=@L }%Ux v%V+5P Xpf[H :) &>N=W{Uuhǿp9c n%C&ok#ǁk8R{yHFR Qsq;'1FNiN!u=e_ ,kŕ1Ph% \aY׊OѩEQquHzABQ2-A9". m۔DR­W4P! wV p|ڮF`Z$ڭ V +Ҟ)q*n `ӿm.^K0h&sOs"amDžaV1 pGמ0 ٞ:r@4rD'RBa F~>I10Z1eӊ9ӿA&D$g!ڶ[҇iVZws#W6=ёzZ>bpGTM Nr h&.sdܜ=R_\=.OQܷKzP zQcdvWNXe`U`cgl7 >{\a/uy Qfrjk(m8w'1dCB^9RW$"!vf 4utc+ݵ3E!WPDh|ɬ`wKq[1c%MHx ٛg{Y-pSYkWOڬar" EyyO߀%xsY;8T!QEqWd>^}O !:Vĩ*x 3*Ѧcۓ-Ttc ht9wC{;$O q.v>u&%SO:G 562(lHj6ރ>dyEWYR;ԍNGE)t聗uϐ!מ72m\rw1KyϘd\*}s_ ΓD)D b3b3HI5Ҍlgh]k &ZKvUxYEŲןKpE_)~k%`|>gZӇuJziޤufŸSևc9 [a-2بO뀿~Y C.WeC*AzsμQ e -G< v0B2|_lHBZ>FZ5*l챝!n1naNe z+wCaR,zk bYy8=e?TctJ92J=2T߂<~`-$Jcqt+S0WyZ 7 L7o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[z'Av\04!N]fωC=tm8:-z}&=C![52=b݌]omIPH*w? SۧKxӎ C.aOu=G&'kg5 l%٬A 뼣=7rLCf%EgMj6J{h^-aqҕRʕ`Yx3ĺZӚVdU@H'>&سB˫.HoXX<fE/Hs!`SݘMz~;R8 Ҧ.C$ af’*e^Y)ؚ?`SQPuHchLA^V=}%pSvQ|䖈d,[ *F< ˢ#6xq ={|7[o'RBK 4caA`wN3r -bMy))4E\ʛ&FPI#Ve6=d*wJzkf $'oC qU;2Cɢ7>jM}X"yIycreL![L^fT &AMH < !]ԿMoc $-杗^PG6Lv8یPce7i% Ԉ,QC =j7dʣ 8C`+RB wN/Xř4U%j,A=Qn: m> (𻸗@^i#* pWxUAz" D5Qpa1|s4jV 5{5X ~\ĿRP%̫7?onTFz,4$+ abo_HvcGI$Lh+LQe'^wR=*- PgYZ /G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A_(V|M  II|bkȻXr`~@-Y !P]ZA6z9t W]wq p{muB9DNnK쭭Ln\v.p9xhH)\m{1ͩ5z:InS ̭_쑨~U:ZSf: j(*l~]jNt^8?ê8 ژ=[f \qfOE"x1&p'bmu6>ciZ>*MC+TeSl}[[W 9d p|LO$yPaPWc90j^Yq2=}^Z5)-="Lcg/ 2tQBtRg5#+r,IX*'y?_"׍)]*y@T $g%HAMq[eb3]#8S:iU z I C%U8'>uc'3̈Z\aoR%Ҭ¥%Kw4%\!J(P3-e+kZD%Z:YhAm=n0k"<3[PA]}$sMN-1 , #I2fo19 .׀U8`J9… gr$s XQL cEDYn26R!^U5lqtLR+R @.ϸdkM֤;` X ౴cwkܑ`w+Q׾<шV]oM.Tݶc-*y[dI[D<˾Aka®O %h")\:pIa':pj+E 16F^j"UhK qppEMN?5K8ELaAzZRyF$eg7ÊFmg)W&,qxEP %~Sқ%PI3i4`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\H}EF&fpuuaB*IݒK{K~﹥m =U- @0܂zB_8K+hoa[>asz Y"Z\Mҳߦq2 h:YV rX\/A(`}k23s _rg/%[MT*6^@-ܴ7XwE ~7Tcb$stbChN7#Dq;]FEe st׺fF->`\u=d+7$"Ә }TJR(D<êaD7{ZģГ&N[8NcB+8Q*iU]`f,2X!rBd;-غ=ͮmcVeB hjzu.& epke6%Q"2>X HNޡ26a.->&j摛A* Qv{EI_O5sd &YU%R2ؐ&L2.~xULM~еSY1D[@j2:n`:v;_*/LNP!5,jgYZ-T+,(S#*뺲rqZݺ8UcV\θBLN_M}w3aש;$* II>G h뼂”`ꞣI D{9ӘϞbHC򾟓d'Oʪ1 (sFw06|ae㼈3@j;`iUwX"]40$c#yfzj5*'] iynZ0Fw9B|>Pc[Td:*o|$ +!RKF'sYz#7}X4oЋ*\< GP/kb?Ǔ])i'^}_[IG tX4&3=CT1l%B_M,ݼ}x/s)毤JIw4J~C;3eU#:XV9}:\m _jh`{glZ4:Bӫ(W_qW:,Dzիh2>ězo12} H=%ˌ,6ۂ"g~+ZrpSĭak*rGt&!V.fj^p r @d 24eò/G{dˇn|B}vOvOiv .rfLhlJQQR$pU[ꬥT.j~~12q)`Q7i\%%PbJfTaIjV` њ4nxySL*:E,L׳Lȅ<IWG}٠=b+=B:x;ю1lֽ[Dv*߾,.G7Zt(E}Y]9]XPKޕ!d!C9{XŹE~X D/<.1ŕ ³P=x*zRWab< 6w`'NtgױJ?76K?=s1a[f!`uh@ A; [`Z6' TlL7e/.Jϲf,SxȑSޞeԌ'Du=Mh$ (=vSd<VP(w=*hX#CjNLfL:Ty2gy9r-ZfLV˃xTU*õcë-Y[Q# \1I,蹒hoߪxRXJ =} yͶ?4NqkfC"fbOwɰ3M{GZot:)), +Vd@#ߛQg>9M? \B Q sYS)Ӗ kh0 ,7n3{BDד -OlG&e{R_Ӯ(cGuO m" U7gs3˔ѳ^CE5gr\Jҙ>;Qv$hĴ8YE20`㸨%s3ګqg(r6"A޵aZ`=>1.59 JMv02L?v{ϧ앺Aj-6CF%ՂHo:0+P&goMAbiv/1wnN kٞAܑis%6;ʒs,#3dC-[HMڳJMY_N_;dvYn&Wn{P} Z)~~~<~9ezF. PdbOBb)<kPD:#+yqZZ/ߚ\Jڷ:cM3 LaT]}]}b^NO:LY S=z==tg^WZQl\7̍os*v+qU"?#!5 QO360L$N.+ Y8u[Á 0UB,FdҚ*[>L[QQ:0- P{*[z[\P(0b/wMESƄsh̥1)1Q{i&3$ϯYGb8sGP7y7sl糲LQz DM%q+'t*lɒ A:U8 ehRmH>1mL Z4 !  K'IЦ|f܅wCx~I<홉[Zz+M3V.MՏ2b=8wJ\gϏ+d>$&a˿Z!>_ig\%v5.pq1>;1y 4`O?Blٜ\uĩX:y+hhbCĚA>+R;OFϚTKm 2X^ͥ85T<#hݵ=@wc0-;\Z`'X W^w]*A/8\D"!Fkiya,i32} aMU0gǞ a.ݎJbފ K&1yi.KNXhP bK]fMF8j:7@M!_+*oĭĈ7I]`?:8Ug|\y28?sH̘%'Sg~ڦl3W0T\WWh=*g.V٦T8j,ECʼnu)`ό?S KJg{3(ڂmGnxUxwAôbEpPpFTZ̲'f&̬:epft 5M.7mף"?#AIZ\y9}N 7ޕ(h_;q9EWǨš w;^}^x~uENn'Ϝ%k3ZU[% $2dB {񓉆v9{b"ʲ~Q(x)6zCLOǚp+%O@"}|gEW!˟C(ٱ#ql#&lks$Vy`DJؔ$aZ.'yI^o!~ p0{7vPo' {{˨H(abyiK Ya~d!g2_Z ٱTO^<*>:^|q |Owd\%R%"r?VB8tˬ WqWd ԬJh[ wtꝊad46!{#Y5eqma(S݀(RĉnFdP=~.,}GI>D˝a -mT)=REm= GtzSiDp;Ɵ$w^ R;D}gz-9Sߗ eT:&5-Іy; ΛP"K=Y]R:Ĺ9\\ˎXI<} ab/Cu|"x- 2x%Z>a`TY:„A oi7c&ob o 2Ϝ!y?5gDԡ}+mb+.Pmvhg…]C44rNum J\G q7==LUbHf_$0X%;fTgR<{'~.·[HJ| 'M^g#3eܓjvu:n6k eXÍR/X̤="r20e!Cp`Qn]$`g.NqA٩hw b/!)O'lo ƻȰP >hαW1֖trɳBHA 6TQ۹ǚ#:~vF=%N8ptqa:{_"!QL@;BJ$o>Nι5Y9XgbDّǓ6ˆnWV~ *KD-w:!g@QG {`pO%"9,RϷ,lլ)``nAZ'r>jMEa[ҷcmOM|T*7g̷d {lm|[ZAeսrV:s QZ'~*4J:O^Ύ3{]-SO0 K3w(Nn6ZDg]fLFQ:]&M07|ѣ:  OӎT/mM5p߱dzkBEeAp@ qM^glB8 Y iኟݛF;U ?0>f&{ۅJC4:}QMz0ܳٲ)#4~4";s Mcد STǒGf a{RkɓB7z;Vl͔@M|Vv`ǿaiFJnZCKn..!͇>aiTԪyHSsjYdQ`f~r HK@Q3_X`jz0 y dJ,S,8-SUXMqJNbݩӸqUt!Dt!ht}I^b{YaM=Zy/js2<+wG̞] [|ri~fu扼d:"Byׯ춫7'b-]f][[qPXsdn}14Я0ȉ+F؃!ѬzI$X,L%m~)o plIp 0qS[ZA4'%v$C\Sh' s}`̼1!/^NoK/jHw.A eq.N>4Wՠmcb4~5Bd_e4<(O T:"Zgt} 0?5P mWüЊ?OlbQN{a;Pv}5o|i[=Gl w059R V޺L`ղgs_;C|f }>7gK ԴWz^[1[0)-r`6KgȆ釓2ν/[ P56ECX`"-RQ9.ҳQXV;){*  dn)g;$pJ/9E=GvRZ U: 6qØ"xx;&S+/=!q\~/t-r]v03I4mB)L`+mҠL<>@E~NgY UB'%lTQ$Ь.*z^0j-R@Wђ%$(%uT%9=<1OԀ <O7N! _lCm.S'r?WV1K$h塬4 W~:"k#۝F~{xdܷßq;!bPc.hisbĤ欂J4ΰ[1 %m6!ބ9BϱdRVҜ̋K1L*'5hz+ 2˚EC4cqW!k5`H|=%S\h#~5ĪvAŅą WK Wɜ`TzhҬ[><{V\b˛CrɓvK@,m~kt)2mAEYWN453&+!*n *nYBeajM#06|'zG M5)E1Q0lq{hlЎ'9),uɆqN=9_[vr!kK:uBv.L8Eٌ}ܫ\sƲGNطv? #P1R\ha UҌIOteG>ąpF8Jh݄ؿ1 wIf_6T2%IY豜ɤh )2ӾWۊmF6rEzD幫KE50)l/+[phgF lFqCsHe>j ZɶD۳_EX@ gC&j哫6OmAlJ]1? l&(NZ>?VtJh{Ū$N^d\Y"1SDE(0tө͘iS/ G>ډ2<x9VI1C(=3wQ]󠍞37Rv|f3Vǵi$;ӚQdaUa ojWM֣&XfJBOczxvR܃uV/к~ow,`ѡciZ 4/zO|ؖ\Ƙ]@ e|'trR+@[рR|/N."='6PAs}wy fDy2"?KI 2bblٸ꒗-8Qfl1JH,ʢ,0_nm\K)H2,"e%W4йk:pk'0ըh;mevX7l DN69ً4^w89D'}hŲ=%\qxH69K\8n>=GvnT\iP<`BDU,JfsZӰߓ$TИ@?8`)zd5\Ho%BsQJ |2!>e mՙon{b/BTɵC-h8ȗYM@/ wrLAgYZ o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220/O# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@AH?e ̫2-?а)3ԔNT v,M|mń4 [Aq4k&~()))tgҙۇU~Ğ+rIM Dql` nz>ME )uMjreg!شd?]la;) Tg! 51.UAF2eBB_}# pL)5f+2Ե{P4rwqiB^&U ކ3Aw* %OAI Ɏ1KWۮҪ2eF#sfG&XP?dTl$tkaFkH0ÎqL75I'(+n$sM渰"rE:,3b:r-+:2̀Ndد1:T7V1ߌ6SS c%Hܿ; N 0͖xy(nKmC&N?A\J>G0K6,TagoQ oLT!vFo ں*؋^)/'K%-htT TSTC914B$ WN8J9\uv͂mQՍ'z+ڿ˰;  4 m* {+"w~w0zčb+@A \qwB]lE xa)YmiLyCXI\(#XoA.!nw90 I|5#q<9q{i7]L3ſJ;:E`-j4Db)Tx"j"A/8Vk6٬ Y4F3ē=1!kf4HvE21@Pptlޜﺑg2}ky--~i3ccY g2TY>^E7Y d`F> ϖ@foxnP?ƭD6Sjp{ wBB=}.L~2Ѫw`}_ȕ8_5hG5E Mņ/WdhG&U΁uUg(ޓupyTNazU9DObl1' !N"a}}acQaKB"GCT]r43%R~0G|"un%o. ܽV֯(OI<F-ul2dv"GL?"N_ܓr=EU'nAޖWG#,?R㸂s{6 ׻cu$/0dax[4G6r٣I_layBXy~JL#{Ф 9C7 8`մv1 H}O3Rfl\v0)nި`/2Fe \T듼 ZkB {` ,d>J[W##3YzB9bS4*HN2`"箧5 t`!Ob*K\fޙe:ot]aZ"d%iܮts. Xj֘I 47g->cծAj \IBWyM*|3&w3j;fKt };z8OY$$ŠljQ&sg4l!i& f#I00FKK`]:uO."5VPc{ mF,hf͌F RÆ{n4X]'y&%vuhg .}LhWt&.m~HzvUKRfGO -۶}W\q*f>4fzGѭ~(ϩh09< N<.H3zh:;'17"er{ Td2dD8T;SFNzIƵq a:Ò2LMTxwԉ  tW ^BҀ|XxaKG" &X)!SJr;.W7AV't3M0.j? Fع}ړ^,,q6Xz0^ +lcӥܾHxx}$=ӪT/!} X.zByԣY+fn'jWm厊)y^5FRUQ G2vuK^v[E3"Hj0 yx l0* )9ՆZ WL8@$䯕PҎKGEj$Ɖf(c-adzaecS88G<F*0s%D$LDZ"536CoZ? QF(NԲ.gjܣFm9d?"U"5X˜ 6uzӠgg(1]0<Yaj:&0Mܨkl!ZpjlL!v0+S +Y=|Ŗ!*JnF䌠HfX: 6vB/e .Hk;`V|Z ٝz$#'#,DaGX%[}Rw2RXTP*Z"&ԃf|.%U%~h\4-Z=Tܶ>KkXRk<( "rͽ8~%H YDt*x:ƫJ]2fJRϰ"2 ^Չ'e4_ƠJ޳Hj9@G_j֫W(l ӷ.ΔCKi'M*?DheʆC?X#жyDz[PJ&qE("sT??W˭_&xե S^c$e[2*CHFcA,%(8Vyjz-Ϭ +"Ɯ"st^b&TXVZAH6+ɨ e7=ޗ;M9,8{xӗXh+dW׏jlmYT.]%ME=$0'F eS᳅}g4~ԍ/(胒i@~fu'9Z#|9^Zn~4k܋Gݨy ~7S;Cf B!l;u>z@\"\5V7fΘb][,#$G2ٮHhnN5dFw(=]nyzf3>7ww64O+c,bd*o kbw,`3W=t4󳊼ȌOO[\\2s*#ip7G(D[  d%fȡ:C?; |kO^Mc2uw?CZeXA0ew<޿ӵ(; I|y y(Laz Ꮊ!5tkQRW5A'"8tEbUL\Q'&Ɗ[pcgog+%ɶ {u豜-II"h*h9I?WL_?M|KX"3Qؑ߃3mbm%wY;]:Y )(P Y%w_ b3PA1biHgБ,@p| [Sx j2]=R\ yC2.(x[A wgۮ@ _jyݴ`*[ey)vOv܄ zjYD}n-aN?kHx+|c_c=|`2b>\t>ܰѿ}wtuW#0hyqЅkRTRM~b.V_Mh >"Hpi3rwQ+$8B=#Q?֥j }S]sD;tgh{ms n5:$vf᫮k%&.MHG0I sbKYVZCm$)oXrvVH?P s)nGu KYY51E4u(\Bt< DA׮!d:5[GӖJdv5ssSr KaT2 !A x1q!Z=KhP3I%_1-'9+kIFr\Bd{)I/s祋7LXji Yywh?Z4}^$~=|Be$ qkͨ8 LJczCYc^n4p 7´rU?HUm(rTgtd6raER^= :n:{f!;gw4rӅ瞦 (TwOnT-*v,MWtG ޅ),0<:o>RΡ@?ٛ q'昖` )} ہ.FS*-ZX 2mF\:i_Cl#g&b!KšL""P0Tbe3 | +Z&0ޟsܓ옲QDwécS  32D@~DLueur-Ŀ(-^P^7V񛱕UR[OD_` gc7x[VulLygy-QCW6 dMHXUSTg!]Xy͖ʫ6Hz1N@_ &aV#%܂' ō0jvʩcJzF_#kT+q;SO- Eo0YU7 ȩyժ EdJN/hxZG ]ߴHv<A&Ea)t S7=o6ND3;򯀕 ':Iϳ @.A'@sF!ei FzJl_4XsAǿcftrgbW<MȕٌW{ 7xe0I<OI ngp~m }#Կ(< v ybJ+V1ڬ_,Չ d_htZAX؞@cl% әmꟼVE)}(fcd}TdPp_twBGk6n.<IGlNhHסa,MФm(LX'1Thip:[TU. y(?qpwn1⒬͟crdSw&eA*VRBrb/;1f6<Ў3+g \qE+(4@Jg{&ѾJ' ${Oи:8O!VizT#ꔈ;:tN~'eC8%5XMTk{x[xɅ먳z aQ঄8r:vRs!O)9:]xҷ rReThnb8Ke$=Β?!bC3AY|a5c:C==$_y98ETB[>14N?8{#`r%줶Z#n5e<lDzA]D2an,*1DYunx ϜTjƔB*b44_9Hﭬ%V@=t߸ GIC*MߢsέRqa\97NYaH}C!%?3יr]orRZ+з% / $$cSG~pjیGhnVyC@̪F TZ2'Q{~w8hH黜rᩅ9Z2%ۖo~{j+ºӈ"N^pP {DmDf/B }n"-^to33YN~oGԧywtHdD踁'kOևSt+&fVhSXGh!~O{sWHKd3mmnTQmݘN&۷_5PU +ud~XS++Gu {u17 a/*!83]^S /ҨEDә/_7o6OvȒ%բ1ڧi* 竚Nh1+{QzKpxU7һK{m_Kfcn3w=G# ymX^8/Yy:VO7K_|6LC)._#5ZS ޙV kjuSPnʼn.<'- Qgto>=[/官L%dh2G8~p{a /MDLKGEEbZ2 A{jTGauvZ SX|nq&AEUf #V|d~]}=!|U°[:A *%/8Sc43h8iZOʂ Q  #-]S LԆ[Sن3vAצ@e0Q,%,.B%(ڳp 'Pl5:|%}ҁvNҠ:3b[jW6~l0 }=J{mow޲"r]c Rg2w0 _.ݠ =:-ژ#LEmH/ n؇3|Lmj#t.|*AM2'ΊOz-Ѭst?sΎȓKʹxi va ђ d&}g+Q$3^K& 10-_,Ƴ85IV)̦\vJ. ]Jtsx+BAg(+Te_h'p;3)xM{ :˿7r>YwU>ksW&uH#۾4my7g,RǦRQ zӥA3)aӥ*EkRƑ]eʦYG#(wxJBY0~G[둋mX(ϝCD/dTiz+JEDyFބ̲> >/M8VW$[.̟0k[UK5u`/!tnO~_"I% I" Vk(p~]i(!fq^L짊Y1Trvso(*`~3ŴEiHt{+~w7]wjld^ Fl;ӓB4biq甦WvLPIijNF ={iPd!%B8|+[}EDw~0W>,mdf/yU.LT.I2]J% ]zBGć0ۥfݫށڑ*w}{xևS@8įkknn/\riB ;{ O+ш$0zZQ%jfir|gW\».F 'w8t*Dфq FGwy9(T.M ,6NIw?_@N?e@'+Xܞ1L6f[c< {tr-pR`]H[r%&+9M2`CM֣] M n͖YeQW贗SyS]i1:5PB.LvSX^R/3&"4[t$\6 &敕˜>oGH*!0c4y:JöǬ .kǀi<4%k]b{1{~H 6̈́XCHp@[Sb< 8Y'?녆ќT-I*fx?s!1撡j}OI+20Hd.FuX .zjMCFTbJ˭Uc-p>Ey}f):sl_W_$1iW EӦX(ܣUu>'%dp}]hUjҽ-Kb{,k8j`4YO[=أ9bB:wxPAoV V;/9 ësΒfɸvs)O\/Mѻ҅ZN"HI{cхhI vh2wB}6j?l701(!pI0 v}Gvma!y,Bfև74SXfD2!HKcFR(t~<1ʺQll u*%A$b;ՕJV2ߘ|{kv͘O XOC備nU(` L.|yF (J]ZGñ!ݚL𻵚rkW:}5lB(@ڹbJ H0,6AQ/.L{xi%A .0_ LڟvE\fK/U9V/iQ0u,SyRgqf!8A:__Fli2X:^I5VMZ]"v%'Hd;Oӄ\uvF?P:')!v;Jޕ{Fԯ){$p:O_QN@$v"鳒omnOO0+څz<TੁSI9Vqp` 5$(N0sEK?Gl&lTHt x_X,=*l~ܭY0Lž͟{I&e$B1NS"m x h;FPIɚc ۲tT3I5[k[R~!^DUV>K]ɏb>GGY>Ǔ4'\Y+5i ъ?yA"B`߫w'dd <%>7up*ؑ q}K:"4״;!Gqd]o9DSKDɍ`Q!óz8>h?mYIԉ Oc. 8C,sqBLU7TdV 'ΈZN~U,WWp ob/~.?->OTfXR+ZzL2ckʓ97;uf,1}.pb,D1 _[*hIӱ6S=YGRCx]ȫj"]-,PӜPĥ]PYGE;'tFMQSqX0-6>wLXLVA7fX%cM7Jt~AX}oPY)9ܰ \݀: ndi UVQoC'}Q֫4A2Z~cMwrX9`o,@b?[ nmΪk&_ig`5Aw1JXDzdaAvi| y9Y2Lf 0>/eq<QcwH;_[F+AQ L(aʮ09Sj^m#xW ʪMO;UD;Ӳ% FQYOjڀ*]mRVQ ӆ"f\^VYyV@@;4g6BTn6HɸpYw3Dn0/;yu-~6)dY63ұm'͂e{qVݔ/ye4|'?lˆ@&X@GpY$2ΝSdHf|, D\`|P<} nI1EhNW3jT}!̮U&$`OMg!e-wJ-{ m/ (lA#c !VkbZ?2| V鏌7qށilbt["m=YKĆ 3F$V'Kx۱&U}zί#Nwzլ*N'a0t3pۄI!hSNS P#QZ6m9luw]@,J&tԦ jOuϪ>'SͲ]ƅaO{ЄO+F^D.ݻ&UIJMS!syhWdzm>2Oy*]<]l ' b/nT6~ pR,/Mмd$OtVe+F$RKV";Apٝ[dDW8˄pDq&6ԑ>I3bߣp*_i1ɦ~T>omo )uO QE|eM* ЛJ,;bsS/UX5~5.I#K @[)v5_^&imIU 6C)>lCk*#TnB& | GFZ8:QҜ`pOv1%]( M."H~ܯ틸rTNOmcMIZ AB|4pF\^C|?D*Pչ-s7(d,)8߰ξl/JW?a 70Jv g\#e` #C6P:?ཌྷdܖ6D|- m5Uu^Au?$Oi]O2˵p{޺PJ񌡼7Ї먻3pe߳$ -l9Sakׯy}y)6 qO ^ n@ZbjhUHJE]9lPBϪWˉ̲nI MCH߅~ ktv#BqTmk0Fw'Ul gʌens:a(}RMHu,&idC-"Sħ6z֬{{_ 洝ɘxv 9Ʌx|+.o*Kt07Bne07 wZj1uL{ bZ@&& <:8z#u;T泓sN*sL% c*G#dڇ`:v @|>FpsDXofp /*+uGQI;P 05tAkjX*)@4/>,(nTordw.!ȇ6Vp2's*ꇃ9n!~w.n 6")JA+΢F{ʢB `O@bDE o!*GTSQVVB5jjwЧ$XfkgYZ ==/O' $HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF!  ]·Iq n[:|&[z'^}>P5zu #M3RxbKfssn4![ݦWIO j8haoF.qXqfoc%n4rR4I3eK=YsAR~` |0SUPany:!қޞX$BY|aG-3':sU b"7uSߍ q; ۷0Q#彦фm3-:Us7'A])4?c޼HY{<5Moσn@J}Z.u #*M0cx ̐D' n,O5S:[`kkU B~T)ZhZ`*4aYK/SjX,MS7]6 \/h-\+JCeGrF4&θ Z6F1|<Qd Ht㣸{<`m%{n.qOF"5OB~<*?44ڇ8Lק񐛷+lx"lpi>lAK]A ?"N [\6?-[)KBP0j~׫ ?a*vD =nkSEwwI9r#`y$ڍ'Q:)*f"@ogHf-_hw 6ԵYz k!Oƈ{ FVfD;3Ԍ^JNnaAub F\×lf`GW2CMć+ bG rFڔηG!Q-C?#46g"W4'Vxw`p8Ԟ}yQ%5,Ǻ4-XűgL[qha ihTԗCnh H$[5nV|CJ}%IU_dw˽?ħyE /Z-VFP `@Wx2%D3\i<& Ģ@ĭ:cYr št|QRjivŰ-^1 x^nr>e{ Vj3E.yJb,HZ =9SyzZ@p 'ҽ)msPKfrGCf1l#Z \)8-mrRy*V˞&Oّer7IP5"3CVS\5RumTtn.DZ֎:\XJ7M; ˆsղP4AAZ008]XtG/L_;&3|CAQHߓւMK#a= L,)ɜKku?o5vEd\ EK#Z$6= wθmp2GE(6`(V_"U澗3IP[pwTRft )8\;U˜mByl2]LxxTr]’C#y9_a" $OWM 3;q:%Afb'vN`H(n"}/˓m[1怅938fMulMx7Wu$X}G%eG cgU'Ye2ZMdo\H=M*r=Z'uȐ=>-'!D*4 ,%oe {XFI)^JP`pXÖO  xJf^QːT۱t=܏&O㫦Omg2]i];> *+ŵ6ȶTjw^<|vzYuaD3j=ç6vJ0^Oܔ3Mp>kh0AE%;o.qVlK~Ie "ВoYQfM T"J\~L,hEUz fVo0(!=Bnj>Ǔ'zs^Hz`j@VK(_]H؍ Fl!ßz+stnY<>*}WV SI-kNHK6sUĺ^;~~yV_|MM$zg;o Pi92>- m.a^d$c{#NK3>6C4:#_YeEHuNϸ%50f\">tcݝWx VpjjwjľQ A?u3p4"vU&$*xV``:`/^`Dh^:[F+$BPW-J\~%G < 3"4\wxޅI4fAgL^ԋ 1흁$$>z+dM)̆27$lB?gЗ|aCǀ7H^y7S69yཌ!.\3]v#ׂ3x|1%Jί]vm?7vY<gd*)Z$=./ܠ@CΰBp2h! O! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! vZ~] !M젗OFK?Ie6,@AƳ>޷-W͗`ۉi op:meGj$R!~) П֚QO-D|܈eC'#'emذ}zv+ C3+X3vH@B"5"pSίۭ/%7Ω(dH"sd *CTKAINi)T A&~\KM1 t M44espS0n`xS]...P=^Rwu]3B:V{ze|"VL uJN/F|VAFe y+%z5@]@v@`Hח-DkUiW]Adtl|D̆*]pw/伙=zx'[DkOe8f䓴Y؃&mdQޛ JP4nʣMm©@{?P%+COĤ* nB:EtRi=A Y1# fhwI׳xXKIMXm'u٬` k*)YR#[oTHkN!(},z(vUM´ buF`/*fx 2 JwE, Vz G"XjI1El7 &fLZ SN.b+ 5 IH?xhu˧ EZ؏wHv(0~%b ktއЋW3\ߪ.3^ GU#@z>+,J_dGjoDr-PN~UuWz5ȓR{cv8c*"t^H;ZVӋ`Ud,`2AxvW#rZ#L YE,){[<^+_LfV!OʅM=NBTΜAjcD s9 j ED }Ƒ!.Y0;;DL߼*@EN,\18_`ܼgC/sLȌG;pYp~ u9;)Ŋ!#i`zu%d$!. nVYS[LKUok2&r*mQwH!1?}?{ Vl[X%r4! 7'> Bb,:U!;g e Wq)q7aCw/X*oJqbR=Yqlo Ϗn-2!Vr-$[?~bL/ŵ60gH3C t%dЅ#i&ʧZ{!~{g{F?L)|=ϭڤeou]5$AUuwj2%gظJ%Ml_0c:{0f7[El̡O𾋗J}דE; oʏE'Z+-Gw]1b,K^Uc峁?P2` b++~iu宴$t %T9>}l&HK;]O^>4~3)-)H!~=vxe⼕YVKP~]x3&sS.u)~rN#g A47h*K6W c.M$6ďlj[$kȋi~tWE t<5'EXr۳W`@ُȊq9n09* f o2id&HtɉO1k{VL2$MG׾!fN/7&s܇ᎹjQ4v.K/-qay `*ܐD4jOq$6?V4euBI5ü9{E%|Hgu^id*9Dfy/X=,q#R!zAF/6Mqhݗ^;q |+p%Ha.u4]#:n0JېD8&Bl8̶1XOUHA(%NwfD7pPVuR^x&E 岟wh& f[j.˷^soq鏏&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'P o_=uNVW> P<~Q FJRk <ԨB@8Vffg.r$G7p/~,)ê^_CXyN?O܋_xoJn "u>x̗ owp^OQct c5F\`s~M~14#yICϲ5t]CT~G2V_54U0 #soK"19a\7sݖf)mW G35G eMC± L䚋BVy[ID[wtx%I^jC\-'f\g%]\R_PC+4zF] QБ*S.1Ӑ֩0D3n~几xxGEHoqPǨqNec@ oﻵ,`'ȲQOz;IPE`MRg7o\+gaN*mMTt0'he,/fp*@ٯ*$[ڤTPfI4kq2ހзZtcxoLze! v#\6iڽ\)%J¼o_ ,WpsJ&64`-۵QD>_xtdv'l4:L0Jl# ܂H\ Eډf6W2g=>6ߨDGYnI{ϡc2,TZ%=M|0w^t~VDgߏ:iBg+`A2Z_m73aIU~u7zrwu|s)P ~4SKml/Dn T|ZڮYc~-xJ7[g &ޞK Kt1UzJo<j` |tnծ"a]&!8Ղݏ|cпx{b ֑pWyq. I_|J7fv A r9^VTM 1b8171 0#)cBΡ1p,+!fA>A8:,jY0󐊞hO& PƻnuuwFϩ@0&طvpq~m\7raGyL:{ґjgua[ͳUUME"ſNG߽ܞEw7 GХX a c1l h 'i,-k/(p N[ ӈ + |KM}׽J$F59 k{h 0AtiĮe0nzQQxV- FbUdx0|Eζj&7M::cE׍ǝI&T|p߽)y0[VxLA*dZz\KZ$6PV`9\>"GjG^uPidg Χ')ws9P$L<8tcwd$/"G'Aqc%ԗX:>v"Cr fPc`Q ?c{abeHSh g$ՙ$j;NnZhօw`Og[5-K牤zD#δPW1=[5DiwAzĒ5GٷMfgΐҀ̏C֩"!hR<qԥxSYW;1dFpzZGy!+#+}!Fb)guqBQ3EVs^<n >6Q%bQh:.]Jrgl7fy僑T?S2I|ѧ)+ =^ l E _)szs ^t ]B#3[Rn$sfl$i1{gJ?nۧ VEm΀s*A{UN,g8>V1' >YǘO-}+Jd4 M7G?`E>BߓBq $h`c>a&8˭@tsle2kssԂǐ;rHC0N[wZ:)wm2uum/_ .+ѧ`ճ dʽ-%Z_K^0"HBF8*D*>K(]^+,g FR*ݴ4uw:07*h]-2t΃"]$Աط _t-v,&9P-JmPka3gcF}!D8ʨk_@n5^0,^O[= T&H8IUS7sC렩2%ߣ5=\rXv!K;-;-՘ڟ[9^[M|*52N*RҩX%(r2 vѧt*E@L{,VXE2GsjK`|L4̌Q-+w1A/qgϦAK:V3X,ɜI`w[x:h:i긍9ӛu#ۍ5u+Vp;+=́%VnyۭhZ-/ mHO86\gvȨy֘m׆pڰ@۠iOԭ6B G;T6Q+qJ#ل=ɾf/Z~7O, &|+'=*q_>&exEfTgnpiԳ$ȫcFID =%(]I/xO,̠',X'x3= .US~7uԾm}<]{P =+ɾ;aeq\Tf x.'>0J.:a1 ,0T'd DA]](o-̉ߢʬ>xJ@bG,Z9CSufPf@rSH[ug*Zx 6tkOoZ݅4H){Al{[hyVK7AGz-ʂ5}}-wzFg0wY /su}=7JXз$5/"剞O)T9kv IttfѪ$vZI :UyAstW4GԲ2hpE8GEāذcJp93>1[Q&6OR S˪@<6_ |p-SrنYyL+٠7u5UEBuW[ևUZch)hE=1F9${6[ J?CNqhP 0LՀ!8#Ϟ@3Sd !s{ؚN ڙqf!Y,2JxB;HlF3,8+LN=uT+,A5q篊v%(>&Hy"x)xx('wL[H(]u` U=|'W6o>6ǧai:W $U 3t&f=MB|Ѐy b7"焈{R m) hΈ %`}W<!_A{H ؘhIT:0<|P a@`J~tvnVɺ 2 t?2U\=$f}x r FhO/am{-Uv)(",jE>ƻ =IHeUbr+<1 !Փz;Ѫ0 .$K :YzY jᦑu>ó-A@mXʷn~;w-|ҊCVy|[O&a#K!{2\4GǷ62c˒kn5̀4vmz&b)Kc1\GQ`y% [\|ZW38"ʱm,CSP_#дݣe_щ7;3qG|gʬ ia[~0*Wݚ!JP{sGd$~Jd,R%:>}n!EQOC$ɐ1)=.RSew 1eq@Ե2oTݰ^1{!@^򛘝>\_ZL $ DVV+${wI"+ML3C[E,h|Pl #AqhGQE(4lbo0w$!\̓BQⶢ16b.2+Xb[l?(Fsa"Z+t*Dvt,Ѐh;t1r倹2a2`!.*s?</F e>ӝt ]X9^X6Jƚu;Fu^؍!н8`f[[ XdSaۜjxYYR%'FW0ge0/![I/郿R)-@]"D./^GC [0g5v#T1AhN"N~]WN-&,@Lʰ'/-'6E1q):QxFpcx1ͷmË=r$8+YG<;Ə lvpBP $|?х|{'YNNn<(ljwIeK հ1ňm_\RN"Dzr(?D2X+vR7 Qzq;t\cNą0t0>?Isd.ݝ~*HbDM}h1"f1p|F8~1=D>lW- C8b@ަ=_WvPQˢ ۇ:ig ^ z/~i`KYvu*z G՗@$C'7bXj YTӱ#mqBC+X+Yjn A춭s7*󴫬oc7(,ݪw1f2-NV 37B{KįrHVn^D:QL2&Z,QL_rt'|>U zHEq =J0-@2H]|AXlyk;5J >voo)"]: :mw9;7p9ġ3 :1ϴaf=d.hQ{T=2PM})[g\|,)Q;0 (N)|ilC`QM-sT2tWKJs򱷐TG%Ӫ' dMdיPfQ0aP<ͽJ]6Vä́=R%O8 {QaP!:aHQn$@-(i60^$5=1T(b$QCT% Z8?]НQQrnץI{`{6?'}Xq\gx4W9aInGc /0ɢzVM|=[8CXUY;"ZP lvI[dkxd.:QOmgjLӇesMUKj/6=1X, l CCX\X~XSs {A9dszp0ԃdYee:"n>@R԰"^dnt{q.,b.qc±!6rR+"GU,zpᨬoHD&Z,!S>N4(WP5AxK&,꫹_\US8R_f(Y/B)K{,qT* d*GT7y#?S"y]Himor56n13$gNÐT㡵6A߅/7%yF\aԷWf^8XjIxm/ j`u_|<#,N{CV3R$%.`_3]dG::»2lzK&.w/|ZQ=BTC>>K6.bVWNGbw9o['xX2/R[fN\Yy0.ifXO\w~RH6e _gt-cO]y*$uafq3ٔŝ*sZO9n1ޒ*WOq<ܹRQ3[qŗ߅vޙ ,sשbnU{'ul\p$lɓl`l8j2&kWwIq(O`ĺ D"9jZP&;758Ytزho;efO˪2 W : A+!ZnhTxb?`KrdV0N4GQf| tQ }בeY'I!BHp|:D_Úg8c1mM,N`X0B'ƭbmg!D9|*9<ĕ%/-z{ᆨ)I?mMa }_cQkyDn=KWٴrNKS-2$ţT+.S; Ѹ'$/ ZݲjҞyL@ :G 9_WDV;ՉVw Uo~]W> tO`vg.<Ɵ'p g6\zo8KB">MA &SbUs`QO͗k]EWHz~$ C)Ge`o&sX lv,/lLypKαp:kE+nXVpX?TF J,VF>2YTή]ƄbJRvб9&ER1-2]xm'y5N u7l8j>W{j\1OA9l? En0 #7``8;yklEK*okj~jV`dcJ1-(r~hXֆ8Ao`Jqz;JhK+X6 0tF,89r9@%"d/{GFn#?tE B')3_Hӛqg_Ģi c?yfrB}pQ>:i "dHyz_%n+#s#`:;O}@oT§Am$٠!Mσ쉤vn {&~4Z#mFt!rLVEzw-Rbl/W5/b&!i3kgȑv:u IKzM [l(:XT,~ Kq iD+dnNN'\Ӭ6;-{4)a [բ;RlbE2]wR?wjIeyI_EܔȢ7 g[Ɲvh=-F(,5Q.2GԿ*zw+V4l=e~2&ǚTi vB2fȎq90/@hM ǜOj KuϯKQ Oho-ov3еʲqs[li7ܓ@xZ4?"B⳦dTڙ/PTT~]V,|9WYl#oFv %RR)C@{X-# iE>/Y'/ w1A$-QCl!쇉D5ٺ ׺<|{s2f~jŗ=ՀVǃP^yÈXf[( 6E')mz&.Γ*I ogcvE047]f[A>ք"S?.E::֌|\U IKkçџgvIP=o[#Ͷ$%⋻w>3K-MóYQT^ ql2׌g# DРy# -Ť#5Ҕ)E{^·@+ sCl@K_hnbDa9tL (LjY&^5pM )qQTWVi$JNTB4zw#EYث;=[MA=SJ20{Gыi$2`_@*Sɸuyߖ~{hpB2^$*%WM>w%K4 ]{ ت D_˺Ϗ8cznzJyO ` j?"ߔB=: Gԝl܅R嶌zIdrbCC{kJ,u,9%{!q yPPܒs|T`>on7O{5`~[wӋe YbнH"d/偰Wϊ$(8)E//7cy1w;7S݊Q1`6x'މƘj.T" s*n)A?TPuiû[ʦs Y" 'GAya#D:{`d:-d[} }ˋ`&7T T+xPQ_储T J3 è&t0bOzT([s$'uG7:,崻љ=GX-_fڻ_N}/O][b)SETtg~Lzzs692+);%-#f2|w|l.!atk5~Bg}*:wj6#ʱPwӰw+a8kp3Uv|a\9aOt>W_9rҮzl I% !y"DMiD͏mKGxRW 5FQo6enA#v D5Qcnz% VF+y];Sf"ymǧI)hC?&›Z?GH,nAN}6ۇlr'Odc,Ys5I_+9\]yL ̊yA5 ^0ECI0U1T$)*z9D~rψCƵbV 9bBY:h@ ''/>\O}D--zFn}j~fHy HbXܵyK3_Iz+s4tKH l Rl¥t␬TM|h7ᒛ:>m\pr/'B /60,.\D2D~` IȻ,hUR,@P~^F P1N4,H?)-4MҼ}Aa쌃"U$LO+ 2@ĆMinsQ5H* :z"NWB;cNR_ַX@g0k@w2"^_S{xb8}| #P#Ov|Tx6&V6Zp2C?6ElOV3 |o3Js α9(K @(U ,z6z8nV?UVmBc8<b~ZjL2b5 ,` #э )ER2}tFw~Iщ'@>כ8 >!K^yarCkբvP^vX*'RY5E i086$>iu#ECCyc6^@4g/< â5_GI0ܼ&EX/}bR΢bA߳R.hYz=,3XXA]ଡMӬqv^0"4& Dd4]S6q˅g7;}hSCOBLmϡ_"F}c^$ˌqc_tS>}Lqc C,//>;U`;g縺v+s{(ϗ1 9<>jU/{ʉsXuKԪ[wVjH'ta$jD@C(sdt0ZKӖꘒ,ȕhٷJӖ 8,f8p S%\ȱb#̸1Jn6BMCdPKR;5@)p!p0sݮ6 GGBs׮$hEc F-BRhdJq&Qi\6 \=*,9=#R׀˝|"vIBP n bq=X KU~f񼫈٦`۸d ھ\xZ %-a#Y#knCl \1 ӍI.xߵdbG'W!DGp-Pk q%fʷv>YVZ,‹N /S `%xJڴGg!K(תE2g?WZՂ~696n}m. xPO?~%a{/FK^Gv͠Q 8.- tOSYi@"Bc!dVxM,.r>WQ1=wbpf/useZ#91_Xx2Qo5p<fS UqvQp) 񸦛67>Uɦ_Ezc%l CXͩog ? Cqn1M~ԫs>w9e[ht3amnv* ۏ"Y㯯bo뷷aKc?n&(3`nQVgQԁ? 6‹"tL/J})=B# ԌOeZf* FR"/0^J  ytog]7@Kl- #!bMw]\Y9Ƈv _ǀvApq?"UcrnϞcg.3f1in?ޞ Zs=> H8%~og [=7\?ZRd"O079w,"ng;*آPЪLhEXAϾ'ۺ1Q푣΍؝Nt eFXrQF[z^X43޻əއZd\2(K&6'" Dʷ镛bH5Ŏ f>S&bey2̹q CAmYC6VMW3^?A^AgpӜ]`a:~q ^F{(0zi,$")R vwSRW8ɛ]J1yyJu?u5ބɱ-*m2I?[X v= 6P}1 #rJKMN]>ex9&oh'nl܁L¿ܯ)k[.v)_V4Yfruޮ_6^gKXwq^n KCeI_Qߝgh?s>CC=2i yKioc3ǻG Ixwef%[i?ܩ=x8dU70h+X9o5a1& Xv1Yyt2-ɊؔotE]L1Yaqs~B1Rny[O QiG=גi'AHiRRٷU,m.Ċ2; pr7J vt5Dr̠Kbr%% Îj$輥EPjMzi,  CG@cHIu&[ů_lnzR_hcx$ūh4Zrq(tEQ춫B, p7 RQXyGqN$]@(7U ?rSЮQ!ast&b?2sR 4=ga#**m{ ۓ}Y!TPqw)$ 1sE!Ծ 3[{[U9v4ujo!sΡuV!?)lR? 1#LW߯իQp9cjHVa_fk'Y1%|b*{?,ʭۄHFhڼFC<lSB|R d?`a$WM%+î*m"Pv6)wޠD1X9֡x-ӯ"ym6ia. `Š;0Gv,` (myc=OEp^:X.~;S. P3{{Sέ/j mx莥E2_1m,9~]o0=0qONTe4;O8|A9p@X=[3!.~(H8I8}D1-;RQK`.;)?~96Xy2H$ɏQ]@j}(Zry3 dZ# %8}ߚSXPNW]GVx 9/+4cj^!KCs[ ebMngM&)[OLk-@tXYuVǮ°+OVg /YURЫ8N|N"ff@Q&% oԤ7 gS'Jm1/C;&zt5&DGt29ET d$Uee\Ȣ편E-QG?j8s5u$e)̋M}В@֩Jo4£ K3W Zj]8=%'ǁ&'5|w\A*YP άQ a@x@.>Dμk`ghZ*psȤ2b|kW;-*ٻ"2+ToL</$;E9s3hϢ94>J.Z >c3ZW7AA!;9$mUS)^n?drR@@Bf{?EArnAUw賉Uu~=OnLvAeU)1ha&c[^VHlyqSN}`B>qCEʂK [VAsi22Os3J|82Yp.*м|؟/5JcOW m5$#GSn먛47ߊ8e,T ֘~HV5DE27KaQF> 1/L偱nJ΅9 RdFhP[ JYOK_3E" " Ǚsԓua0&&F&1Zbn4da:zeqg- g`.[[CUB3ZSb*,` Kwކje͔y|llًC~z84] Q%vmh; `kcg*m̯eWXobw0X{HK'@P۸K"?ЕT8MݷG?_γj\L\fL:Tc?57FBZ>˰*F.`:^ٿ;܍Ixsv߭#>בİ;]T>q}Z︼RR2pv#?’H, \Ί+-\kZvX뭸 M{Nõ=VF H\ctfii{r(5UzK޽!2aDL]AADi2O~R"_8:=Ds ܃[W|avиnv)屝좗~~i[4,8b.>G`Zk)F*C|^p Ԕ[[5:"mfVrܳ/~Rޔbg3]DWp=>3O08O7>[#Ӷ >dFab;EQrL sR+ ;Krh7M]5T" ]f?ĩ %]f5͚نT.#:.ϻb1v]3ل1ꎷ|,9@]+k6~ ̍D;a<6܃;lr+6ŠGfAr_U@QQWx#W`XUPyh}%}4];<V <= G.Lq et럶NLz)h,BoK(DwTBȏk0(MX贈7_fC("8S#I77k3$T%8˩D枕zK3t!blɣPnGy<DWՃ*`6/k%f9]i&_D_K}OJx .܍OᬂQa%]]Y#03⢽ e_:5^0u0DqN ;Sqdklר,{LhBCkJz4ĄZU/=&Q*i/QI%K=r,{>] *);ٷf-h{*5]cAc" Ӵ'OI0tW2"t*XQ.{4]sY鸏7.Jaq6bc?^ЁQN$K+Kvbx,T 9H{L) #0 G]o|g7's?*^ <>SɘkAԈvUxЧ;[y :-PFZ~Q=͚yWwSߩ?a}@K&9aȈRO[`l~-/ϰL6ETe̾l, O`|uB#M:tuS6w+ڧXȐwɊ*6Y˫뵔;uVVuqDznP VskwX9P:>__A ;Ƿ]7EG{gb[K=9Cē*5d? śy)W&!WŦp(^hJ 6͜T|/]qR? =(@GWhUEf < +N8k޸{bQfJLj_[5tJ9PFֿUGS #ps[ ܍ya᏷N$}!D֤bp"z[AZ~V\fَ,*y"z,1#ۙx s=*#^:O H:þ -Ȇ #_[䒉oǖ8ݗ5zD߲'fdAI\rX*'lɺ'?ad>oW9&&vفZ ko镈z8@pºdx/m!"vʹL{.U yw-Ͳ4#++',fnnͪD a_hD} -93JJyN譴T KҤlx+ʈ_&;ەpU(^/0=E/gYZ {qk{:&/A# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@AJ~.e7*SF*'ӛww+_[lJ.u۝df!g0cN.x6YiJhcff  f4V S&"^c7/1fI\z:oS%g?M#!N'0NVSw/p N`›T$hߔyC8?:#  {2w>ȧKI'p*U{~$'$sMSo)0INf20FU!vl7;Ji_!?k׺|C5X( t;uHPZuu]g,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' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1.M쒟7|fJdt^n;QW$(|#/ڜ<:?>}}#>QUc9O>A{#cqj%5"8!0iAR%7P#@hM :R| ? :߰8~j\zjlJP+Z-?s+Fh$I y0m6Ճ@&hR΂`NJ3 G {NlSx@73x!(Rnht:R}=h'1A[u>%yK0B,xճ6P~|u;oOhƞ9'^rr(yɼp`6/,[5|KxHt("}q?H]Ҭ*a sX HYo)-+U] Tx \%ڄu WYqα3/VS<`}-pod>yqV1{M`EЄ(X󊎒Ay6M^Q}l7ۮzc,E6R|&_ݚ.[@ |l]tmH)1od_EY['Bup7Sa:l$y؍l yHb,MndbBZ@>9K$4F{H(sၐ7.%ʙ&UJ0kiֹŮ=kU"^^ORӔ쩻ɉՙ7(+0/8E-(%Xȱ;$P Zoj_]8Y)z#/a$.;VS9ӆ#U?XJYXUBu!CiF7 Ӱ7PH's_U h#Hb!BdhT\bRhQmke?Ggv*?{p}(e[1NQZ+%`ź[oH."xgAk&$⭒慦zf ·ҝ`a-,NbG=9Hp򷒄7H.`a?dB'_{%M{Xg,΅@_'pjfQ1bc4*X\T T*4} F^=Q؁DZфL#UZ^l-DUHM 67{ðrYZvsGe%sQu,}^ʜK=%al kSdpOX{a=i{2x ww:iSR1$NHce3M'Xn V.e+~"yD7Cc=zZ~ek$9Dn$2JaL sȪ 6d=@h0rsRaڸ( .+AP+J4>/r~G,>S"L8VC;i48>2K6sKl/,=%4XDYknR i]00?Pv)d)j?1zEyf8Iătu=~yPB*|F> Nf)c;QoL38$CVT'bbc6"!(CkNV#᜷Ec"ph.FVѨd9 ſ*rt]0|"hLSGy,NB yn*|I6N#]ۿ6VA#T #qyNڶ;nVѱ6D̡_S8gVcnJQʂ ]j&`M4&\CLуEmwSil8FU9 XnCə`Y߂9܆Ov g אuy\YY̓)ƒ /u'\'=:&%Pߟ6rPmj6?=Zk %j/#n,{.+lɑV2<YhDcp MY# im#,}+q LDӤ<;G/ЭTTObei4p Pq˖U(0c5AX` fhP& AV0lteX4 58e12صIZ\&gYZF)ߛq: eI0y} cT[WOjB+,"9&~V{oV.b[rq~_^8(r.9LXb 3XAK_ҕ?(Xۺt 1oӴ;感ڷ_ U GnB諥^"r>_ġcx|8@%]a)f)[Re J_GTdc b@<щ *1濥$QX8rW msꈐRM? w dF5c?T%@PE!vջ.:@0fduX&Yw9$=;q js80e uNi&&GAI(㬨gK&ydyM颼8 j>+OgХ sB>vC*1%uwt(wN_lQmycmH^M ૷An" d!#~ƥgZbJlQY?t# ɍ0Sݢ1PBx~߹*3Bs[Pk}~ce?Uu*|V f?V(tR5n|Fh Wge$p mbpGĉ^5N6lq0@qxB|&W=pAp$]'#uXA$GNN` u`{p"@\nҀȿSA\>#:<ۼ({I&NgBzD;}C<},q4qB*8[+*` |A}}%X D#W8) ǽTÄJS ge3m!2Du!G'qZ,ğ&u^Q5qv`Z%^7u:W9%=jPDiVSz$<X|߃X S^ h^^y %l궱`:!+S .EvJi郤*IA'Rr*c-?{ik ly?L[bdrbV4}~:&qXĆmASC󌥔Vyg'Vԡpzd*&~&H( H8"ߓ `O{pچ?}u (%C܏]?.ZʒjvIo$5fXeEn #w'p}\[߫,(ugntn.?7_~+Z`ڦ(7~rX/UΠ'vx@ZY#7Ly(z J/+a垙9y_~GPTh_x,?Fp_?@۔4s2TR Zg@%(aAP^J*hª:sqs1-3BC9$ q!8AlQ&.2)"V \⇡ڡ@t.+''2S]Cqm,Cn[=XS[/)BF%JH[xwSw+&Jx9g<~A* @dOsb|&F+s?Ux} ?"i<^ڟ@{m>\BSwIPrg;C<b5L|`t֘RľtYSl>[.jg'/ʵKNUSVXB*΁.CiLYzz s5 w$d Kc )C(d!> +e}^fz:P^O[7ߡ^DW@1R= lv|B[ִu+N7.n>MϮox+AIx_B:6Bh:^*/C eӆ|eUn^EL{ 1\q΁}-Ymz_I&[_'OTuxU%]fCBo0? dE4j MT'8GN\ڔæD|Hۗ2 A[\&}ϘwJpp.}ՄS\,A?i]{B,r<ϐ,9[DA_h&uT*Phh}q6XZz- Αw? :ƒ S9DA'vQCuF0Uo|ӎ/+Kۧv9 7E"Q$0o:o쏈IJz12 >~z>S,&gC#OX;A$`Up,ĜQWq:E#X,-a w 81CӤ$0Y#ׅ!>ᦱgYZ  ( E kjc0/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'%t\q/+=2U 5!2:QO"VNydR7431WVO|]bO"RIK%O3\RY]yٲ68YWSs Rbo>%l$͆s&,`; R" o" K/u ] X—16e-fļ%sIN5fO[V]?G+Ԩ- R%{NW76Ǭf(d*ݗL1@T)iR`Hh=v4RR {FL%f// bPSc&Pfd),{9{袰I4K?dضcYMOm''"4rt tk/#IGf6 (Fߪ"aF*҉Z>@<IWn8`E2yԐ V Q@\. q@h|>41HOGM9-w5F^,!eժyqU{INh[1J igYZp-/=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A󮈉`u72X{dI,=l kcI#j/"ƨHFӋl~j D29QWTfQ?ϭ%-jΉV$˨]H¡ʗg`˃f.`CѤ79D[]bF$[&U 5R˯>s0a1}+LI VTAd0|WF$\ldjbMd@y!%]VRuiyBly|#p} ksOu N;oo]|LL׊ \Dsn۵~흧cPEC`sd]*:! u3inL4<׋)!wУ߭aRZLLc1ƵzDӊW`L Ie]dgq/51UP% 5WQ"*T!3lb1B. 8}s/pp%98݆D~|sT0R@VaM4Ň3W # cS606eM%Up9+HVsnt`?U׻ĺݬI+7tx`J2 p{Ҏу=- N`WjɣX>jRCF'.;rq2Acq߮`âC[ ƒ@!q^A56QcAΡVI /],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208*/C# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A`)%Zfai_1[9S0khIx駷mJyyn\=WʉXf}~KW/OsN08򡲇BD-[Y /%= e!7Q_V\}TNJ.A=42Ş .4$:k1Ui&+PYr\] _Ә/:6L*?K(LƱGXڤzڏ3:߀tv >:a,!JxЎ'fDѲAKb jW g*wL1md׵3Ԝ76l\{&7wKI2&x` ݑ<Ȁs=ˮk/mk}={[faS4 |8]7ZԊg `ݔ;i]WVv+}xʔ KB'sEuv( DA*gl>9<Wnei'k2{تQ14x]b.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έ:˼aZ*CaȅIePk D#??>Ŵ.,HH5Թt[L >K DŽi!gOjUeWM&>\>YQ;P^[icE p^Xʃ.4uNOO ̪@q]W^4q#iiDkztB+}8@>7uJ֭'/x`A|D{'l31{+9.RX `j+P%i0J~qztjp 4?w%ͭ;O4 ^sD=@AA%̥amwc&gO^#e)((`!} $ThR9M9gYZeZ"LY9U,u"ԍd}w_lY!x}7{ㇳ{OpT ^r8[sB|;5MQՕEqZj7,ڠ+:6Pӊ*!C-S&-bFRJvk(#i# ; J sƴ2= PT|(@l9ia` 4E1@yr8oSܭ!9t\.v?{r2.D0JVvƚL4'u1_9C}&Z::4\NH)hcxɎ*cvȣt7ozvJ79 ÚVwdiktr|oҀ5Dj[>q-џB)fi͡?g0;,A{P:!FR+6aߏ\OO:D$+띛UԈ (c lXpNea\X)鋛vqX/ 6q'c_@kC|=C+J?@XDhsY.; $B=i(aOU-=@K$e0uIڢ ,:n{o%3K &|8 AVeRKQa¤og5>C~kxq\Xjg|Ȏ*g^壠 Y}DG|_B(ʹN=3ʔS3EdrWΠ_Tzw)M{!8 H$ [hT̪BK$D8 V_7P5?KHL62֬U5R }C=-҅=֡d-J:%c,!`}WVtToY /Q4 8:h_8BH eA&S5|yÝ!3ٝ涣ʈN9Yo$[Ɩj?|J^|~v5ŦP):^?ZnGdvVMs-? ^8L Jԧ5Û)ޝ?NKZoz-͔29&"9Qo/6AhX3/v:^f%sk(V;G4' /*%Ƴ4x~G|qep:^_b 'AJՐB:>[mzVVqMEVʻou`610c;㵝9;-['1hGf.}$X5xicy%O(u穮~[9m^i×0 8g ,8g/K |0TPY1C17T.Dwێ.F:񆑄JPOH;>\h~R}[d[sRaE?3wi6'z{iAvž$6%y4fNr,lK|f#*4\C!̑Q`U*j;s7{(oꗭC@UZHR+#i3eH%M8OՈ|z(}Z25K5BK+J7ykᱡ`WLb R Y\_!>CrujaHWt-fj wj=@>v7E^R٩p6jFwa`ܸ7~G8,"o<*#s0,{bl#a^so~3]o)DdO܇9hհAp`qbf.KM M6SC *PĠmV |̩Ӗ8ʇFWm~^ҪyalM>eC3f؟M; tT*!u9#銦T%ie2&$gʇ7kGAzŠl#>'JO(ZKΖ!#yPI;mb*ѪSvx4. mjWpV*܏* ֌DL(vj_e= "B~љyT,͛DZ{XmIiՁe m}t&fd5:mSz5>hf2oP F%uZah0۫}6a5hR(tSiO_HBc3ą5%i E+"H!e4;%x@޳Ld7N0QL;:-8mD E>ynCg,A#Nl3q5['xQ'dޕIa1Pq j:A\Eі@4+db!CX}AѲa5H}ݰKR\UD)QC%}[Rc֗0oTIP+c/J*wAaqR5Ny?r~ѹPn.X`O4Ld R[uQ xVh~`$b%oDAA?ѬǥX_|N>T*}kKU=vcH^ I 7B3Fwzj8d^~= },o@:`%M&aCn!:88$Urdrԁ#Sĥv`lOR%mWrI%'&ڲT/ 2izުP̡9pF"%qICrs 8>A]^prN44 y/pZhN os-p!lȆz n$s-$SCPA# dv&Yl]«(&3Ji l;8%=3qPk8+3ȅ])k|tF[u@mx|ƪo'@M8ixFR#W2!$ü`A4YMe1q:,I'vG8]<#ճR`QŪo'v!T[j ڝpФb|֘~kޑ6bJ:C˲}3< DdppٳǠ`b݆ҙ]cQݗNE 0 }6p \dNV$uG% }́ʣNg^+^B&f*R4ltMh)xަ عL#Q{=phu\E9N[i/NkSM&YR9jjhŊ'?bך^0rk\}0 5w0cD5V0?|_D :pi6ͥ?_öaیӮjE1J%N@fv`K k13%oU›t1u(|(((hO@Aل 9[1qكc<H d7$uRgYZgԿ'(>nWБ`F-iY{4z `dƊUt:Okb.|^((e :po6ŎθrMY4|65>VgP0=+5)AL>3ӱm3(a&Rm6בQ&@ _ ;lX4㑤,_ߜ ͬXvn7:#aW#yxN~. }j"Mǵr%QQY]zƫ_[@ q@FP!t8J(.'o=;A^j^McF9!>*9{O c:VrW#C'On2bTN~fצ_Y݉0/\&QsyOFn_ j@A x1Jσ2:IaeΆ q2ݗQ-@oǃ7Fġcɿ(JF5e\w Gx9Z%~r{ Y^8aDQk2Gf58zw0/C,k A g99vc8Esd$[6^8Kr],k`yWzg:4zdv L@0imVwWzGt̒'͉}k d7-:;P:J8`=fgN~!>%ax^Z')g<0^3zzP9hM |77X5MbK`L:4O,z^*9n9ej?\9a5(bSr1 IbY.Km ֵLh}mk^#K rÃCJp7k0ZO.ea3 A۷*P,+0ב2rD 2fk}U79s^2l72`zSL?54%DQ ؚp`_b.I)A" 3n˖g# Y xL+*C+P1,娥T,R8 /q=VBKFP0t!5#Lق8?nӈ!d#/XQeƁ9o*n#Kx*%HEꜛL5eiþz1.&Yyco*Ӵat0g* IM8 ˺V"KowGIOlG .h9.tG2!`<X^+ӫn8'[躣Ӊ;0ý.a/gvX/3zj_| wjF=lҋq4Eϝ<, tQ KcLèAIj 'mxCNȕ"cEd&e*p`Xu9$8C'͊b']~\e/4JA`6<z:z]:&-F/[a$!Iρc=!Zh%l0k?QXyF ,Lft ; |ʎ tO<~S-5R{fL•&m%h"*AFoj}STx\H ݃]4wLhÏHA .%kzRx!C'>{m+eBqo4nkʏhEzGb"R#FoJ_/(LR¢bN8_/u@X6ӔkO6Vg`KHnDخGkNC~ƭXms2(mט[4M),G!AN8rr܊ ?ϸˠimXmph7)WFFffc'݊rDT ;i4eQYw[s̥zc5e":h& D&Ѣ O7漘Pű{t4vC¤xAK=vV$+0O"'BlfSOo>,mKVF ۇ?ls? "K^PpAtNg޻²GȐ|][>D^Du:\XMDܐHswwvEbnd9jD3WALsxQiѓk؊lS~vDe0k, -ֲ_qUX"nE=ĔEShnڷs:N©<‹r$AyF5`^:ev5yr#{OIᙥ--6Q'O>pj A)o-.19!cjmgStE _q7m]Dn=%,x8nvz,| [ /#3o.U!Y!8YTg-"7"52e8l S{WxqJ>a'F4“7[…0]ܤ?ϘJ ؒ>ۑKFv ȃG|`on]5<:qFr;~}IRV7ջSR L q{!Ȕ4֙n(kdрXeRǻ-LHt+_1Mmx%b[9r[iۈUB>nBf1]&儱gYZoE7aO%0EKL̓Ffaoq S;9wV `"^!t_~|EҦ~$R0_ȯcK|H~dywPTJ˙<\VnB/ZCK+)/3FL0ri&EtdMӵJMb5Z]IE*J:2MV `B>kNûTEm6Y #И5Av!߷qWE(` BfV}>V!BepUTױX Κ6`zޭHzY2ߓmөȦD؟z? ĨѪd{I# -U8_oe'917+[-TV.i.Gg,l'N?Z(4<8}׳~Qjm>8*g`p:~P k*1aGnh0 q7U@aCQqp,{_Z8Beu]J\xZVQ5Ux^_6*"Ԫֳ@[5.+^ԄӶVv,VlEXcƘ}oLtv->[0CgڷZRPyNO d?)NL]g9LZi iP:;1IZE/@k:%Zi8/VO\Y}m1^|y LF#YPlÀASw_$FӀa|2E](R9S^`2j`u}lYߥHbPA.5d`oZiȁ.1mo; %S%?PĠǂpnڔOr4M⒮:@t_ G|셁B\H|B@BnAG2 (y?VJaF}f'6{GF>T/=dj#I3ʍ2.}ө>4) vU`_xW$qS!6a\]O`Fht`,dR߻'+Ʌ#V@|wÅI_h#COIg i3C8`:U1z7|pJa"}Je,atx3cgv/1/^E]kC$˺^XF D3a;EKs <@RmҬ^90yr5B~1էPgF̚J; Q&XP>E {6ɤT#.$F Ò7̰*Sึ37Jz\x.-Dp_ v4C:εFqzܟJ~>1[?u 34֕e~&Su=L%,`?9)eGIʛBʋf[ȵD~W[(pm{V~d[' ~B:D4eyQOԪ- 5S]L慼>bM$5]Ysks9 A)`wrM9.; |)dz[ni(Y%6r4voF}}Ib,/A RO TX 6c3cl2EUirKﶟO&]n+*h5tTG<bՑJg?~kMuxΠ깈%N.6dP\P~Bt.á|_Foւ5HjbBV:ʞMۨ׷IʃJ3{_4}smghny8xߊtsㅘ^%8 ǹ"ޫu;qe3![ adJ9h Z|Гz܁q֔l#LĨDŽ[5#b9Z![3QT׷< M }2ڄH-'CbYt?45QS:LFՃ(7uM%6#R}vθKY'\Ocj5K%8-Z5/~=6JX yɤ*s,= p/3e3| kT>2ʂ-N2n%<DP i//c0BIF?wYuΙwDY/6Uo\oDUI+;M*;Z ȦuMuOO9 cm O_mo&@x|-VY~Q^k^s?C pu'6K[f~7FN8MoWJ% qư1pp p~!F!]vB# Ը Ro<`xr,Σӵ%m <ڼw ;#q =+'3R %/+8aD I–DpvWd; WxhS@._=K4Ay',CY]mȇ8|M<1r ,%C߽ O<~ɾmݶ6;1;qg}^$7noi^c\{n ][>%O3”BOg ixz~l !F=܅qW]ŦY(]>!87io+ b$/k*G:)x68$c%{YձTs C<6 Aq[דqP̼.NxKS?WIZٖʃO'͒hʼnC=" dwJhq?К m(ʪ=k|ITH>qkB4i Q *:ٮ 0kBɉ4,xj%N3{&oZ>]iձ@I(Aù ݡ~_ N \rC:43'/zX@* =n77=0&9_F-Yeq'/2_7Ua#b,1|1"}DCވ k) P ,gYZ  1/C# LHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! Uf] !M젗OFK?;uL2a `BEJ@1׉ i \Ѻn}TmRg.ތnx("6'aQ5P8AA=z%[Hbϙ=fV+ҟ:UJ+.^]QH'98#B ' Xt* ,e^$#_OC>l"KH9 :.#32Q ߕ+h٭`39D݌SҮrr6u5+5Eat'!xYpPJu/R(x!J^ 9"tN,/7a.X}KWdU}uM3DduZlO~iZARDP} ;(i7 B-- ɀ7\`j;T%PBc>sL{/cS/T8=Kb63@Zh^BkPuv fr 1VЛTuNYvSuLF#iƌ55 p jMO[hbk#Z'E%vtEd"LJ)E2Z+}y38vx.IQ ]L'ZNle_ rmkfS<{t"ha `+rAQA[.Cb@bUaUT]YDUf)̿ 'OV7)koQ]H~Խ΄Ӓ%=s:*Gan%;H2nId`^jF:]_y4\ٍ9YSͬY9meO E."Ni/z(S{yM RVP}V/IX.Ft8Sr^<5?:mx@1(?> jOχM6|wtƲ?X8`gʇj:Ctŧe'uxLe=){v]r8jTO|_Na~bKQ=o5-ĸO橍&/ɼzP~pk>M: $+]q{ˡKPYP>y{`K-҃,Y7pt.8CW4_{x*YWc_֤A4_3[G\ t-H^?8Wb$D/ޤP( UhѬ)nB+#B>g`ZTLJ <0hiAGBjS ~6Fr묆SB\ucGd񬝘cJh?p1>OCs8IGS~$fF{ ޡ\=9P%u tb>j6t3֗vyƁ;ۛ5j3e4/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:0aD%62rl%ѵptq% 6t"ūAfXB+;-hA1|PNV?bLj9Q˵L!q @ց2!"0IwC Rգ+ٝV]=OF~Dzn{/yq Q@ /\okѕr['֞} 1[_F ӼYƑAnƒEC({])@-{CHJYdOPS`ڴNiH8tbӃ{a` [&qcZiiTi;y=|{"?1GBZ+J?͌o>*=,\Y1Aq+E/O-4X/kQcAX g$4} YuJua\KߖwE gp P+ÉH11 CͭJ5k9vX~7/kwv./[:P~9^nwB>:'k~ǃ\u1!![~wbߜzt넮 Z5 bN()'%ֻ*kidDŽm`6{t`LuD( 2r /v aT9 ;cVӡN/%6i em"o尩I:tН ٭׭_}̷4Fs0, ]e,CMP:BmN(:ԝK4>yPRLR"۞UB;rۇiuTWCks1Yp) |92bazy1pb;1a%,p)=9a(M"Hl\XNL! C@/ |H(:EdEy $ " |8XQ?qcoc؃K@: ,g3[L:hYB4*}0!b}@ҿ߫u,a~]XM 4#@ 똺}`ꠟ+tN'sH~I^+t [8 lnTr$ Hr"`z謲R8鈗I<L]*$Fӻ'3ٹ;3 ]kc&,6[#vd π@g7d[|҉13)ZL9x;$axBJf_b} |lm~Gt`Jo̪] vnk"# X~R==Ql; ]!p2!A+5q9XiiBDNP&  >xkrS]+#-&30|x\=ir<DSTqI Su D(e_ @ּȪ,a97f2mQG9BdQ/UJ}%"*e-i3$=LoC 4€u"6b O5>B%0 'stWJ7晊kj\vXocנ [}a(I&G^+7"GNXsFG&%oCӌjhap$[3N<J(f,@0Ys),ma4 G]{QWyU?t\ @(_74G*4(4XUhhG%2%HJyFֵ`dE{X-KCߞ<Bmpe&/I 1r*nش%J|C*.`JJiO^ȧ޽ؚ-yˆA$W1{B!հb[ `RQ)u8?;L9Tۏ>0eeLFY8b[̞^n?bmE t>=[QOn28C\qW`_z[v,ĹIk EA8A55BIwH |ZƭԷORl{+}}'ڥ3̸IStI(M/ ٍݾ0#12:ܑ4O5|5>HxT7MQR7~6'Kޚz tH"'pX[k}& :ZZ' -p$@t;U?Py5U2y6a[*+K4Cd+#K2Ԝޚ쟸S M]%u#I"*A) ']H%a u)& TcE2sH5MV׸Y O~6Omڏ#4J+JL;>™2=bbf܉q] -"ϡ}&y,;J)\+L!6m8@|BrllO(ASk]yxmWANpٷզ~4Mbl n/G{uA!MG'CtTu4J%Ubn rF)m ?dݹ!+_Mږ$̶ ݋UgYZ4$S-,L x@dDzi'8JW12ĉHΐ7P)j<3J?ʃO ˂:^0 *|,/[EalZk7k`)Çx'RO F띒YsKg]Y JWN* I{OvwΨ_甛J"%‿5qJqz%sd [&z1)qaGo% #\YJdpFQ]Dz L ۂ|g$R sMT=vbʷ"rϙ,vppIDdUitBTt,Vq1D8kVQ^P|jo0Ì!H7cQntn ՝fT9s|ozҴ5͐wJ؟Q.%I9\T+*j}j`\֦̒M"ă9hAT׼. Ӥe,'",6\#4j8J^m)X=Q(^"s6ALݻPabOl#eT5jʜH'(Ol~rg,P)K#.7C:NL}[ FD_lDH# 2dAfҌvyVگC G^c64!2d(~e kJ |G#g wxY"}~gE/q{P)F~9v|37&Q W Lg!H7? Ծ|yZ6@K;w?.Eb$tR?t'eǂ$%='oUh2! k/*9X4_;%#{J#XNH5G),|\kCF3#oK^ [ >d%E496txFGͼy>F|a_ѳfP2簸͏\Xd6زM >v3hBcj=j4Q%/э %A,kRNPE~r$ T_hEM^H g:9YN""YM&ЮW5R.P!OLa=n2zn]#381,Ue@v3Qi-.!QĔ>*oMjz`0o)?XS\G0JN挺P4 cJEcò%^3\G^+ccUZ.yמ?p}qCRysbBpZDKG~(d@],Q:?ѭYl-{r@>-0zE6xCT6*+p3>"كzVGILZDLVN#eOƅlOZC?[=1y_*aZ yb^W~L/=ˠ@s} 6'|j $-mVx_WrOeSeς 6ELʈp Levkh(~!ZE 5 @Ed+7O%N_;k0.33Ȑ.?YC?Ao`1H'B[91mX]!~́,elwEOR;12P1m丞]נ8V^gu=-4<[ imvЇyQxo.>%菅m"އܞdr誗~ZjE 7o(ܑW('^;}Nɴ(?eX^^|{p;zO^a-[}oyg4t# Lefd ed:Vt2{pn+G.Ef2{lrGLd7u >k&; hg/f5@W˽?=8z C`4c ZEMikJ0cYgf̕{+ ޅ;`& qyc. ?3V' ͟s:AF 4KǡSdii_CROkR5$J…?&JlJ T@2@Pⲝǰ {e՛0PQJFdK $mIS=_U`=3Jvd%sz&ph}V2l%DJ$7SXY8Ong&d5л *D#@y/~{'RƓƜ4oU{_1aw'TtL Wz q]oo0ieFzN̟(0/,ůN|yD0CTqH6?Zm,I_:v͒{ 31{!7V#/|خ{HVL?2NSnY֮Llhmr˿gf{?x+\`+Xp.'0~#Sn%仐73wtSk^.Eۂ# 1M$q#7"'i.wwo[" 0R;.=VЗ_# W&>7 6byRz|.vLBc[]ÀE+@.z Fs?|?f⫂ 3>_u`L3l=i.Tf7eRôXɏS'9/)46v7A- `뙀)!ҙr*hV<ɹ2MJqf ׍poSM(e}CWUR˰r^?vo}hVBgRX!2_,qu1SOD$OjA0ðڦu W}ifr```GX ۞25{Js#k^JETQ8m<`rU k=o 8$:%V_x牀W7mECA& T^\@ 4@.G L>~ Jdܫ~rhD18+ Q|6 \3Lb-luCRqg53;%۳P듉G&f@@b=#_䭜H˟S78@eXTyt8A>Kl3G04Zy[<fƽ-BQ+•QX}qUܯI7oHu%S]>h G8ȼȈ:q?&jg.\/bI &e-i$?$_#O*ʈ۾cls &/e" ^{M@0zW7'y ~CX.R3-#=;oolD<#s6,F2߼^+Rn2V12]Uῖ-R Y|{,VаOsºhvFcǪ%ab9 r-Q>rPi -MԽ4Z]y,TrrfӌABZɠefQݛ*XE-wUEȇ}֝Id"@FcI rPp mkJ"f4 >+L=A[}$hi$^jwD+Eo3"ݞ[TKE>[ҭg3G;AQٮ4GuϕFM *ء!!i9֪cl84Yo&A]+x5K{PH7:+/x?X1MO߂e*:PAb:U"Qqf_HH꘿gg>O)o5)FI*)'(\2?w߯Y:$qEc r-јfqc"l'z۴>{9Sꑿb/:btW R8ikthS[;4OuV3-Ƒfj쁺cq z/QJfoaho}rDOC| qbkRF 9\)a0U߫1Cg=%uoyi1ww%] ,d`J?Rnq=ΓeJG# !{^jS1{X%N([\R9M,Uҫn1֚e]|^RP4I =⑻a!Xdph1g 90k6 Ob/)Kk=L![xN`>J7"p1uf}RC2/"]Qd="Ƌ}GdBąUe Bl^7~I7߈yThv[1Fܽٝ # lgbrDBjs0ITL_H/fN' M&y :&1Vά f"|3&GͻmlQo(a޴6˅r>P4i9yVEz[oQeɹզC`GidW5ɈCcUh-&h,Zj$6'g4b.gj0$j8ĥCs+S'\REpBxry*ye&ePmtO F2"U?!URx:sZ` $H9URu_y5sLؐGEs="C:p<#cΆ۰LV*rGYaG_ψhk~$i/ Nz&_HeZ(S{%WU“'9^!9mϔײ 1xzf[,[t9Lh]KߥC vG{:{pXBGD/?S|LՇEXpGx152:6 [0`RɓIK|rhX*%TK>օ hmIXdSgB hyWs!Cd nCYr{vO68i7]ި̍Ř"cr"xԑKaMԂEWֵ"{F' X~R]a&վhn؏vtXAc,E*ҵJ|GSSټIt,Bl>™"#s$t=쮏^Up"x'p΃[]6Sp}jɷ!ݫFD̺ UX"lv8 NJ\ցeBΏW U13*|X]YRqT3<ڭD/Վɻprfd>@UB"s2)pEa\&d*w٪RfocQXϺғ4Y@(JBǀ :y8(pǭAw@.!t}](O,_W%YHH K'l5|!lI@ _z+3}au NjͽM. 8/{672gyӆERcbf4 ^])S H9yS¸go& *ER@!\ö,/Lt$94W21LYȴbjm+e,3 A6ܶytw9Ɨ!mR: bc͚թc]}NmkDv2e/LiGErJ/]ad& Ш{US0]ڏYvI6>T/'n1ݮF #1Uu"+k* bߙMmVىVRxK8߂(gI7DLR0%”wz|qFz5 Zz9/)8CGӃ%ݻ%VɃ9Im:噖l)P,H8ri YYYҖ)4ǬJ4lqn"Ѻ1NgB&X%],FAO ?l(ڠnB3U/ ;Ky \ңHx [[Oz`oFpڤ SQQ#NXWyFێ@?pM dUmv]k`VP39,\qC g9C8֋E!xKִ!\vAZg\.cS܈k$I;KZB NJ` \t7HߦTozܜsd0 ')BTQ74ęewGD~QBV=~y08"]!!^5VY/E??\4[);[f2yӼ\2EZgYZ  ? v9 /7# HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! :{] !M젗OFK?Ie6,@Aۜ&>wY2/9~*ԋR ڽd9t2WJ?bPF~ "]ϥv0zqظXLr+xFȸ FWI$ r"ןɪqFE~֗"}$S-c؇zPw?)"S"`2zTDְdF]ǿl"gpzk*uy9-TQ͑ܮ-3{K5 MhTo(WBښ ie?KI+^Y, ~+pe8h̪x 濧xGǰ_zRnUگ-]Qjۭ.9Hj pc|PD٣-;:蠲 z\O㕦b-@KR簾j=:ǩC(f(!6Vts-LX)s:Jn#NK^g|-u6PЍq6&NQkckF GfCɈ6׶5H4GlG{4 bk p)uChlJ_ %?1Htg>7 zJV)H~߉1X|oz"V%9z睆^,4 ʉw8˂0rmk=4[w ljJ}> "cNPnMWL S(?L ,Љ8фNrA:|@29W fa,r0]3'l$'A,?8AFD&N~MG8( pR~&Fև=6{ ܊=wx9iѻSv]sC.6[)m ^-"0 5koraX|BjħJ|<4;ne$zGD-h)I.%( ~ꍨ 8Ji͹׀!A8Y ݄DhO~45S^7g#\jte/x;n>tIjzxf[q~JDA?r{woE$pmbw C6$j!D6F. VDmP>NW5szd,%6\IU`QxmiS7߼Aϋf#ɷu5bbqr#Sl ,AiH { >#]Gab(/l :*xIgsFRcy n]B׈N!6= qq5Rc;yپBPd Pі$^_b=e_O]O®]zGgS% E֣km{y,jO[>X34Y{yCċi׽-OHa9(suǺA L\Ѳk'#vctq*AF:&ٗ>eC~;=WcV9#y#2`]䦃'⥝_(2ˁ/9C"35=G0d|/Qh>"7,DR9@禾 ~T4R fb6_B" rAo8LY!7 k*~c~gyP@̞M0ruO1+s7lk}jL1PnRxm܉`YC#c{y0}rH.wfYUǓ=33g*HI&.E98< >%!SoSM4ёFGQ""0r\/"5,fV7HC8h5S4@:πo_./M0?I JehDL>لv=V \@~94iqq{ѹ'}38:;ǘCҎu(_>FLqqGo}@\$uPvι#_fr6_\VRsKıG0뽍 t=:ՆԩV=;tDP&Ҁ\% Vkr>eich_tg(#m"9Jg~uS~éyX7R1?QOh6fw K\4 $5@wJ ?bW?|:'Pb3x@VOޤmp1%%9sDj6udݭIx@{gH5ZFvA{ɤ8SDg L°ONҨMt9F!>\H ,<4x^ĚJ=;RkUЄ#i"f M1ٵ8VE abV*ak;-S^ŸߛdjiPPo)\7aolpJsN91Ge+f\N xUcVz1f 3%Z.y_vj#e/#k{ ^HXgwc0\6W8/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! 9]Άxʆ5.f-9 rq8HϚ*K8ȓm`EbrnjpS5ov hۿX-Hj1EwBVÞ GCW 5l.A\YىgEO]z z &x͜X]?I96qe<\a}rS,\6&88>ljCt򢊝C{7ֺEQX:7F^``;S,7a]|uKpK‘>,^>At9ƆOKM%̋[f tm@;cFV3y2e6v!y MI_/RPg A}gXL+DHIK iԿS_ ïyxӶi:,|2vxwc33d{X^ƧR¸i'%~q5VG\ `&\eۧFG 4n9 lԙYQ(%Ca:(uŖ62w`u?= l'=)"*JX`Y݆e.Q䰾~rlp#[nKdaNq~,yzn8 ]D[tj+2KxƐ#^dTFc,TZ|o*bkZ_u!/[ūau_Tzu ͨ^$) x,YxFm#Èя-_\Q$P̡Idit3]}cDWS*,>׻:RwH{bY]qptePehVsi [J|OOE0V=F8,5HRGŭr(OrOY"CF5?"}@#3@=ƓS@%g+l<n':Mؚ\Y7( LQG3/eXJEo3!`xB7M$7: W!# x/*hevFe!m=LR76Z@r;Nw0XU.(,PB04Q9ZXfm[Ե8A2D`>!/ er _,V(~ 4@+m9^*bPx1d܇.BFu5*+NiHiC04փظr!< 0Dli()@4(/$1qdqaΌsbjó#e<(2s}d'Wd/ >3ŰHn 4FhhFn Qu++f.CE:Q8{HcP*¾CMSF=? ]0A2r3^@P>۳ԴPTQʜ8q8 u,>Ӆ`OTs@(7' S7Y~)oJ@?AC2(]~+u[tH@+^{!*7r$3PÝ߫c{mctYײ-0p)OG+3ҌDhKtG;r8{emC 8S6\]RtV%g~aNzofAFإLӐ(߽u DЇ>Yi @~0aUntAZILG.yPX٦, g,iB|Sի\+!O 7F)U`-.&lyuj}uA0S72pe_Zݩ@#UXGf{͋>0mGwaw>N[D/|JvWahMώUмffֽΰ[0UTc8`x[~Wjɡ;aZS2+pN;`%QG0v}vְmPLDW ҝ X:УETabԷd}eXsvcط*S?iN>; ;@#Cq?mn&u+H*1s7nvNɰç"qieL z/\E03J!C™@>_c~U+gob3@<k=%.KRYuCs։s!'\XSUO4U:Zh 'X̆?ۚ~)vyhNEx۞o2e`+)@^҅t`ϴ؄Gf֜4yP^Zf!O!`\e&e ̹]b(\#Ŏw_ 啕si#;&V}J xȂpTv#Sk41X\f뒙>,8L#zt:LArl&cY4qY ɡ7`,wkEGg=>;k/w9{隑=ۖ~ )-9]JҞA&,=ܝ ^X,v%ρ\-e"'5Hc8c 5ro:/k9aE=wĉu׈u_4dm/$y-uvfJ2|%e*'Z=̙j3+TS$іyM0</ DzYQ Um[˃rzӡyS,%EY?J9 f DQ L 0'Hwcf{'9r j᷒累gwmDۄ; zoNS CWQeoΧU\}O~:Uc§*#y`Sf?ӯ6>ŸArv&V *aвH.ż"%GednD۴S86Dcҁۭ-^*th#pj&N_uTGH˴GHKҖ~i v)1uXoQ iN 2{~#^EuB>z)lj|/kT%i~LG  ?݃f#N[Cpml/u|_/7ʳ.CnNMɜ$ S._ﮑ,; Ir lϫ.Ž9KTAS;oS~ I46J> P>Y7BKs9IW-R*ldh^wUh@vdx~w-h2p/$bSYk.0 8>Pu^0(`@06t2hQ[tJu=,Rql51C`{!}$c?x@ DIfPFtj3mKDGݫ<zIUn/`sߑ9DOQfm7j=^L*cVP$G.4#aư" V TÈE|2ĿbPS!PGUB/Qᔅ1֔* ~@3j ɚ=3'iSi=9vjLIE)xo,txm&R&*(GhE0S.t5%/Sw{f Nۮ"J*@,7V+hr%UF!1ſʥoFlwgj$C-=}ªZh(\qi>Ȃ&s/t=p*z%FL3Dz"T[@ЅG6r92ܳ;͂=vVðAeDfv4=_! fÃtgYg#>]*AZ ezZå!NQɪCE&|i0MɏBj3UU⴪X,]2A q0+֤Qi+>3 Zk-{"m(gBP̍Bޅ8.8I7oI} 1ñU_.g6AJYTQ-}WI&K U6|^Y&O,(n6'~͇(+<E8?Ev=W:tDCfNI',blUTGM!dzmp#ae?Bl1}z(T桷Z!c²wsNB2A^QͷIUSHn8,: ވ w~$ǥ!1w${&FC3c9`1Lx|1hylهY>Ԙ5dP {/ 9XvqlKFZވQef*bwDB*EyD«(n=fl^YLyj2NL88<*I:S9)+_)[y 22Bl]/F+{v~%/ۅL`9-k2rKނ{^;;6n(n8dD27MT^ae2c/dh%y<_ k`Ch 䝁hpqU5^&+?;g.^F;Io;b&Q"'`D}Zq_NqV hտ3tʿzZytoI"$knH"6Dd@٦wd^gQF&"9hx >);nI6qW`G燦GEܯsRޥVVG:oWUՂɇؙV7.IqȚ{Wjo2G'ɚX0^2o0CTdE)ѡҒ>ev|-ү'2+l3EcKm93m,u s|.fܗbqţꛏSڡ(މ굣yEQ|b;~"mogʹ# MvjwF<=< 4k9)z1 ]U~8q r!Tׁvn? y%ehKY{6\D묗,8:q $~.ŞFz~uGrmiġmqAR#)6FCyWPh_1CZKGC *wvqo2Ql v M; JcGXcQzS s26B3P<y"VXkb^ vXIac8Io|bBRgچG^pdKE:aa0,}Y[y] (Յ8FbDhkb֔5ԶEWUUƭ2w>+> V;XZg"ҋ_֢2;{C}nfUH؅o:;yb(Xr;X?L:2eGu+,P.O'zJx0[}H VpQX 0\ͬoY*w#$s?o *G-`͛~wWSΠm ,5i :2'oTr_ x_mdԞ~!X+wޱ\:GW<#^Ѱ>F|P)R奒MY2dn4.>ih%:|%5&蹩o!ꓠx{ Y5$lG`{zmx˻qx j(2 l)VzE[^ݕmщ0 biP󳆺C>6NQq5cF$p#\QǐJ]MV^l2\XC?$kySrU&$D͋YZNm~mlءx|bѸՌ爚XX5_z}jQ3lDn7H㖧s}bX̘Br;Э/2V/w-AYf|77Btb'<]WqXgd*QmgN']7 aoAGa0LWJ-%m310Oo#u'm/ \sĕp3^,nwPQ`p ktU3MZaUeâ&ݥ ?7lC.Qn Fo1a:3TiH]4^r{@s-Q~Rior>B9NLuɴlᜰʣ.O vi]2d[Oja`l |nsCVS\5ϙ P@FϔRrr U8 b+ X,*ȣO_d񿌤a%փ.W<"!L aq:ޗe;lLGK-"RS=R%/oeꁐ5p:*?q-(A.=4 e N;N5jp*Uݎځ͓T t5!s]B ǀ4fR|5F߭Mn l}\I)l-ڧx8Are qbG&,q(Z A 7=k[<ٹaRNPpW)՜jT~2V+_>[׵\WT O>'\@BӖ/dMt"AnT\<?K\&U*~n驶d @:/_hhU S0 b#80~t*C@Iٙe3EȻ%ҝ6dۍsfFV;탟!&f.řJ1p %؀DƜ)^*c]o7+K. b7ϾF%l[薒M0jdRfV84c^`?bqM&@/i;,sFR\ҐgVM3 krEwm e][SzMZ$oqc>cꚇ*h dHx;od?5oT;59.R43p }@J/P*Ric\dfZPAm]}%\ؼ)$֊SX8Nᴻ77Fw3?4@q7!9elWwi1QTrS#yMg Y$ Ʃ Q]f,fJNpS:uf\V ׊aRDf-,+ͯW4fc`.h;'gncx J 6'BkK2Pb!j\n{l!:`*?H6x 4kU⨋Ldz99sӉed\y 1-дز}ul~xG;^W 9Ph9Wȭpʖ:.W l,IPL(SεWYd0yJ_1Br$r8Rv&f^Mj6ǚTJCڅH`d!"{,̀yٽMnovJn!mB Vj[AaTzj:_UnhkLZ3܌N[rcZ>V$I`1bj9bS=C}V[G a^~GdNဿ*z߱e ziOeZ^OaLCZ>WoVZȢt.360k uɨc`KsUc]W>3={fANU}lh%S:y^)zc~WfaBdmVYFGAmt_[ҬDZQKό쭊>rf&(6^,V/jzu4r#)P /U3tb̓R+*|;wM[z#h;ܬ=v!Ƹӫ\"I!/q eAAn.h@}t"xabWg(A]6G* E i2hmΩ*{&P͎,Q,LHj`?Yɯl'V'TkR}jqĠUD)|3w CLcopU{RXQaKQ"Zlo ~NX捖XvF>?frkm@+0M[g݃2]RUVɊ{5d+ߘG-t\ʩ]~JyRGjѰAWw`Gx*=G6uOrb3!E{1aVk5+1 [c gdci~׃pVYE|7aԍ UCV+2wюTrr,! j׹JUm,aʫ4+:6-k:mX:´HآBb# U_D8kHVwr쯐+L&ɨ*Cߣd:F1 l &V)$5D)v@ &L{; IX TC+ .T::>K|DNPLJ5:H'6"o5~0*P{-;[r K'DzxΨWFb0?fb"9\]Cj^|",<*C֛6U6I=FotBf&_Лa򲄑 ŞqPtlnmmĸj4ǙQK,'5;C7vϖe'lێM{,Ejn%"r퀝/xtK9$q`Ê:}̥F#juZopOJPW;"> rxXěRA9sLL)G];iT:Dsg^_PVȦ/L>좇J$ԫTLbyϘy%kAu|iymea_zV*jˣ vZB3_gVot[$y2+]J(rGɐPX4A MZw斴2v ECƯJPd `,6oG[Vcv-VBϺQuU~_IHC?s߀he 4DG=/ggpq&z>F略B#+”5huhW0=_k^`OH+7q}Zy.%]t**72tm2oFz(7%5_YX!/}b(ʼ5kɒ8\mevj9SNl@+#-$$jEjaWjOva( f-=٠b)H45Ҋ03.?WZ y89HW'T :SNIe"L7j,4ƪ9R₱W0P7s7fDd"$85rd "EvT.-89\4o{[J$jpp;/q] u$qLgYZ V   VgA/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! A]·Iq n[:|&[z'A>w̹t#o樋f4wPz75Fvm4W̐|4ざ{i2I.%JӚ7dҤ4߶+Ӑ{w-t^,>;ky) /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 3] !M젗OFK?Ie6,@AQ@R׊>%U~ۅuC\AԨ,/0HWnCvHnBQ~LKyJUfSIzX6 KA gOT`0"E=~gG"i'zzCmE˪/b:.`.71Z_.=W穹guyWKtSI!']R=53 8~:| C[6 A,}EҬ(d,s""8HxC1yYsj)SEq@O (-3):R:x!w t_u( mlYvf fs"nTf(}"R 򔕈XD2=]g0^y_A{'TeG1E|q|*g>88.!EdcR[,rZ:{ Uн/%*} D]+2Gn91r_\?K|w7qklK5!8E4fLɬ8}$FH=h408|̉#i__GXaqV3Yk<Ŗ-jV+0Uj {;o*0 O]k {uC좌ҫTbY8DZi&YJՇ :7;؈f9R ~ [ .4;5. @KX,̛=4Fe:r0/E׀Dh7_F|ЯI"T,̉t&P ;r2ʭeP>tFigR4Kkބ<RS,/}'B6"|7H"uC 4Pc ^z LTq-URbeܱK+y'&rv]fp :bTowP¥Rz[7!uZr;J?g(?QGҦf O'*xVLSCo+ʁ#ڶ\KV/4 ģ/n4SFSȕ[_5",vxPfS b# o +;Jb#iZ [ wL >/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 (EHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex i7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex iI9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texiK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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.tex E/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'=Cť&(i]Eۢ{[1aR!<.fĖ,}9n=ͦ}@A,`JT= M}5qm{9s3F/\w^3$ÅL2 gJQAؼ:rg&yVIV-5z&i8G̷e %ldֆķjWOǰM?gKjR :^ ɶz5boG,O1Pz@MJkUC_^NNP::i98˴{vz۔[f8Gb-&{yLga612L=I9Lњ!`hP$)a.^3$&}BW[QPNPO;<@"-,cj'Ob,k w={mVuJ-__Y&i8t* S&5[W;rQۧV9d߹P,f:Z y"?gs}ki6s%wEBeuB>ֻVqģWIkj)V6e:,4XdoiaxΫtOڇdϑu,r' =hmDr@eLwfb^+\'[$ ?01'țd@]ʼn4kŲgS8~[~Ww Ȣ밲45)Hv9# 6^r ^T*ӵ0w\MGu tC`$nIx-Żh-l Ģ&n\½Q>g@DPtf&n rEwN~1D@0B?K8Njً_Q&b;~gnWܳcC90J"&2&6Z!wQNVƐC_cRć#5V1oOSt>SU~7ry@O`:2Hq"y ,>`Jf-NT+†sG2鈅CfD&s R% ~LnAӘ)I# Q_6;n|g«&@~䜯R{Mj-px%F;9g2ǝ~6uUЯxq% 6/%`Z][.@dUv/\mH+6uAOvwr</p!wmW1t)X6gV\0c^1~]S)QGIDqzKIKe/0cJvUa6 Y\?=ޒ.>zoĨX'~h^@MPg6Vp GVJp]Lgrs;ɭߺztpi #Sߕ dJnC\ƄzB'rI+U垈VrG+R̫Пb <¾U~[N2."kY8j"++tQ YB&1xpArxeG&g< DQTe@P@'nZ_B)twaD[$}Q/ !Gu4ue #IKt"$tp@E6_^O RHfxz>Bd' =}Ż]E+l=Cnd :<Nt-o%/DŽm:g.-2rʰ0f"uDOnT$hNìjȚ}s&i:Ot&ͧR_Zm-Gb<=n~HCgSdU $9-i5yIGYRL]8<_Q rNZRrXL\DŽ40ne)}wOiHdzϦ5UcV2By6MTBpy}dW;zsQ`3{tSH`omrPMNتFҤڵ5(ql$z'Q0jĔQœP9IP1(ets<+u`EqzP# TGa,>] [k6;%%"kCN[ډH>lTy_n1nFO~6މ-_cFf^VmÀ3P'/@GfE_zf_Yj1FLΣ]V-M}Y?:ߡVƫ2t?iʺϠ(?j#6wr' q˶tZ4 Lx%IeUCMr` Z4F@{˺M.ѓ/lȌ%,}PR0,ya|™2qg~|ga.#51{vsP:1 `2,*!wK ӊ+쑔kM\*8@BcY{/=#2sv1E2ٸl<]F'M a0BƺwxNDS'h$.Y ^zV1d8kFuX eUIsLw=G*X!݁EPB/n9ץ? vʈ4$$fF 8595\RU*Ff_P찒so2kG\f _yxEBpp}WE)qKQFCA,NzrI@߀ATf7jy X KP3t`̜߷\PyB51E=; ,}C)6wQx7pQT;OMkauv6~_5)Ŏ 򻢑}0ǙĸNLay[G;c ě9]:,eѯ,oN5͘<jcQ<YotgK~SNɚ ĪVg6E`)_:I`}q`$4:oNvOE%oW >ѯpzq2éutJ O#)z'1IQad*Y(; a\_wsNo/ŭ ~.8#Ѩ=9c):a%vDՎLC b _ApU|;& G_M.7՝~Xk-NQ3c6i(?XwڇeZ3v2-=ΣjD[%n3T pOk#Q}3@^ R{gȥVp iVTMBiG@mnCyN_|+  /$Zp0HyP(a_;[]ܲmX_%[TNv)}0Bdro2Two@goG=3$Gn(,aKc-qtx_A,c #2{oEs".:_zcn~c~3C_y mD7cdp"lM1;Dh" ״TCWxeDU$e{*>K8)d?/cO3 aB"|P]5pCr/6bdg^M1[ER`3t;_#_դz&Wp[ r~@K ml4JZj计?ynOV Q J+nxClj9K 7(,~JQ(~tR])IG"n N5F.1 n <:[> ys4 +T  'ViCˆutgR B^zz'fs6բCBK~WAǸ#46%I;ƶuB];$k)df)'h]ë%FgIPJmxjg9&jhhlWdGt[lO(׏;Pw(y0YC/^<>Rs?tQ@VwWLy^gvtT;^ݭ-"C  uasWnx*vXw- (M!&n2y)ٮblmO{t5 e?zIc!PY{cvn."lV. U욼9W[, "هέMqi͓X*\}5s".rF˰].$ʃsR)q!awV4Nm_]Iؔa" ߿SJ&9,7ޑ}Ѕۉ/f/*gxGYPKqUkNY>^-z|A%] , åbw oš7Чl{f~R9 $+b1ܧ% }#\tX+=9B ƻhdk*|6L䄝|Kb@橷-Dg-'IU㡚H%{EXfM^Oҽ57qqVk^iR$fcC U/].PF\FW~ʭңT3ښק$>(M\Nha%C&%":^]vn|KI壞(]bFFauU-FS븷T|",QP̅_2ޛ.:J<春8G@pRsN_" /fI sf=K\~%4nH1g!@dXr\$˼*RY>L_$Jt)t>8e;nױV-F%0lp.҃* O7<4òq9)JSע0ʎ`L$/ɨC;>w- E}y,04$AK͜4ʈh#黊aW2 ]so.|roa9+ HqŨD<<#(xZL«~aVʾmѿ"E3k7G9]{Q՜g~hQ$oլU|/Cի{ ڥm;p[L1li.DMϡ5,y+=$÷}c" L&Oe$[ut}wL#c<窇>9Zts-?VmLJ>;1;XZEg@DP[qܑMX$+bܪ]pza/攤iAW+WdwuFXt13;qI5&V{KV9 :*@(rELNА&V+$[Q yZxXR8&kkvjjKЯѐ&<wbML:{= 9-kM^ <vԁV@G'<u_ǚrd+j$t9FM RDsO PfIDV!su;>'FMI?~!DŠ*QD*lPӛ$*G#8@mqL1TUG=;5#FopYo*5\I9ma"!#n֖P'$",]#}5 <9|Q|1cD!EIn]@;:/Yr2د1:0y$VRt]o=?X~mjk"Q"[GۇXR̾Iq!"nXQ!u*~tɹfj9?:aMr7p#PwtU8>ʼndo;2 2M%'x?Yii_2N3vnɋ儊L.U?kCtaTQbS2r[ ^S 7Y/{3̌"pqƦ0 }XY91JeK XwM8xUL>&51N*2V+w3 o%~ 9kYƃM@DR^xE7J b%)blm4#^z,襤6쎃u˺pN!7?Gng3 xkp" 7*VGDLoA^2f6Zlq4tWHv&C[wv6&rԤY"@u rj)+QJj?2\d-`EJυsڥct<<(]Zj Tͷ*vč AZѨt栾WuWP;CN{[j;tQA@?-{2)s ' mDk{RLzSZ\m ,RߦF\u`(HQ.ݪ$:~=x-ca] @=`Rt2O*^`֊W2%6Rg7]+Kߕx@ zcA'G'?\AKG ?!ꩭWPW$Kr{d7؟VJݻ&^IO.!A Nb~4D 0OC/?Ŏ/-T}@NR 5 :0(q\B˵KBVLlj锭552RV,SvwT*ҶPWLIμRSe4vi,X&9`AÆnCL>}Bs֬A!UI]e5F⽼8P.d4qx>1[#(UچW\?#2?x\Qf=,@xG Vdʞۋr9N=rE9~o;0~(ۑZG GdqlыD0noA"ݤ)$͵_xⅲBVPq:k#koTȔ/ow 9{…Ãc>$,7A(Nݯ ^6ޢD J[.0|:?YʛwO/,L]*_Ӭ2Ɖ{f$\L v cBIJ`-z#hƔlII,c$_̯SPQeFq]𩟚[@:BE٭5Z()4;>)QycOe賵PGip lĈOװaaznTc(jfZl-_-#/ITXdIip <4Xmk]pX|?wQ-; QNWsӿ{U;~T{10e;y{ $̧)th*FU)1ȵ:9۳oڝ!124jYkA4SIgkf 1Qw|= rjp#Tگa+wl\ \TJB%8/B-o Āw  YҶ.kcPjOSQt(o*|߳ Gy0K |qFQΔ TQ eRQe) U^pu h7}_Q&<.J gH5oR]qbW|(,ޜg`@%Vqd8ajṫ;".9mYDH$6*=vt~ӄ@MM|P~;Cy}=녏 Xغ;g,oJ(|4꽿Z@ׇ;f6[R~'ౖ#ٗ"? T`"W+w% SpW)~U~ B}YR"%.lpOB ^EG@|H`9qnz9,idmnÏ}M~}ƛS,f51,QF >n6WeoJ9\t'C7II]Z1a1E2R+{>aEW̾;!+jq _QS-PGP0)/!daqPI.@`kG~s/`D1%Cn0dQv&*`=v\~([8|EogM0J^J}1Io7ZplrV:ٲk-w״8l7E⌵w-;' Pq + x[۳5RSSe`o䌭i(:!%RfK^36I׻y V2m|'jpk)+Eo6l5l% )xb&Vj_g1DgYZ@K3&Rhm+؀ kЉP9JOm 2ug=(o@CZ31JGD(w)*NFvK?XTގ5Ke܂~})$p@SFFsR>nS x1Dm]t;DiXtT̆z9#'O+LtYzaQFvVBabw)حbnRy 8~l}>P] "vAx\eƨ r\WW!gwg_G isEKBY^ )w*kDAJw:JϬCv ݕaZF.$! siwm7J"qJkfC/[6[ϴC]uLyHضdT}Ҳ`sȄV:Zl=4y#R:~ma;bژwICؐi&h-!֭ Oa  8.XRVN~p_4) 1H4DK䲖*aGC_Πm2I2Z*⠝N<&n huև90ߛ *!u wEE^= 9%Pмt%|JpCU$z kd$D^AÊ+@"Ko)fąo kKc\%]JI?~/>, p߶mc;9WqrD9r[iY{n'2q/e$-UQT|xc3Bs4ÿuŮS 0zB-q+Vw^+ޕv0)f%"ABoD'\3.i;HZ7)W(, eI`ٓ#-w,B 7=kU,G u Kݖ4>tDo"WKi u*9LlIi0ZW-AW>ꃒ8)$΋bnn`leW{l6!PwEV3/EVcQ58cAd#﫣k;R]#{5Ю anLD7I{\>,Ac4@>P./"~RYHK^>VO^7謁 A G풜#1ZJ!Gz\uMB `pBL;Z }cZˁ H~ae!_Ϸ#a /nMN`]j}9l f)6"LBhD \\ NMj-hxu׳7s'h]LwԢ<"?ea1'|ax6kaLI.z6wIi,Y0R83BEģL -} )GR& 5qgq DFQOЭTf$>|Q`-R& ⩈%1>iOz\[&,k9wNAޕX !4]38;=Po }/ܵǢBDR' Z[z9'DՍewNMqlzU,:. |:D$>Gy6i?45Z8mjU15xI-0^ʝ$PJ'~ Pd>6Gގ8m7G_:L#~|Iq({}뾼 _1"~I;x7(ɴо Oگ &I 9lP?R):?c{ˎf5b9X*9rzoMXA(} [CHL?=w ~.A#4;w_ZN_ks6)DyluqvOrK_xf8tl+a߮7p'FbBf *@}FL( up$zT&RsGK8#Je{ M-ÊOM&=3P~C %CA=Y0XyxYgPljv4)[2 /@hI1]U-pcL0El fQ%#FSOC5xRz؜pP܆CGq`=tPcR=,[ZL6-,p u8˵pпghVT >"m,#;Ǹ[UM!)?Ƥ |8m$mla=LKC\5#ԧhἱYĴ <>qK?{JQ5]AUZk4n_"v\4, ótk0H~)[C1m #<ܩC4RH)9.W8U z#B*r%mX%᭱MߣPy x~ۮw@x=/ˇFhya\+飏c-w՗TM&Gp(࠳sWSb,E1I]itr;ִ"_kY>\l?vþ#eBi$a4~?yF}xY4JIՎC4}YO{ipqP:-jQ(==IMcqoycpWv|sB /TԲ$h gUʫf*U=ӝg~+py֤)eR!N@V+2Y&RE1Lq^v $Hek >Ѱ9nI'`E"+onB4yv vs9]H=Jei)ϨXQo!e F(P ZGo%F-[{T]!?{ez]'x-8!ė& Tun˲р4RrIxv83d9Ir/xqbtCj7y_ },qC{ zjnn'#U/Q$HXowc̈nImyx`5:&-ĩp,^(mA?\wblqM&b<ѓqj SV`L3}%R fBEHpMs >$ 8" 9Kf49M/sfHIG]fAhB5Q֜Ncfa$v[ j\ê:П=pR21WVە|`h*k}U$J8iHɚr+ MCjm]䡨O:ꙦGPèWqX0 lD:H))@r䱜VJJk'}*B\ꤡai`Jf(~qmS KfD)PײK&)%WܞR; %z5k,_3FԳйJ?ZZ ;=HlpsoD4&SA/1DE˱5I#'n/82\nkX\ʂ&B-wE*;6WLO9#o!8#}="i+`C؍uDD٩aqAn_U-ºiC I"DK>T\VuJNfp2JA kK+0ڼFɞj̢3(-ƕt*3 8睼& .`Q=* _n!?Y}Ҁ7obUۖLz%bI*r4wԯUxaFgP%xN7l^ɇfTIF10ƿ~LQOJH; (``x,)'Up"Y-Hf6[Ӹ&C=sIjSgUn*ؽT^y4Xuiғ>δ#Y=?N8 d{z wi|'E ]b<ةye Ż*Y_5J@oрް8w&Ȧ)#{ђn,P!L ^21EMj25#Pe(8wjqmMoI0aq /h c5HT9\UIEgBo44>w롧 $emEպqs/”R^,|[O٦ZKM W(F~i;+6y'>h@j'xҮa AF"RX.Z%d 9\r'g 6 Ea2Zcl'T4E8 V@~1\c{BXmb&R\IkG; 6g< D7dDz~9%`kO]5(袨[q FUW5 ^&8F.cZz+ . m?(N#|4n?~0< ZH+kdx?-:F^ͼPLb/^HNX498G7{RE+K>ezNe/l|Hy ڌI6ߞwNM=l\t0Տbڷ3ۿsl"S$j= b#EV_›hEN dԪ4>D I'OO%@_j|RF1>ಅajazSg/b m}6,A&D߲~L TȬ\ta*̀`6g"+tQ=yC<ګQεz̠d$uzdD7aR2gn*- FtP/z^(ThQ2g t 4pF^+2[Vg}H!ga}DҔb?hŘ #;+h}Pt5cд `W|3Pq?[ٻ:DW2 f]corPDf}mFJ hUؽŸ5F4 =Yo?3j`0W/g7p7\YTE\GG:3ӳXjl@"?D%I|"Hzo/)ѓ!A:v9;hD?d+x{@IXH%?/"lUcVuf&P-!ba Egױ]/ $-JZA*x^Ns3b"Эz~z@"Ql>u}sGlt[%;sT?Kt#FPk3%y$xǍXWZ(jBG%49wqvAeZLz˭ԷNCJZ%]%L5omJ-""͕"'Z'FC< kgw2BoNډ5tܑlonTT**Cy"]pJi$saB8Zd5ӈ99.2 ?=~0@f;csͨXzt[- v1jrEѢ1]י&7*;JyK')eEnw " F*4!I)rXOg[M掑\]Vڡ"N)~9ܽ1C쪋39ʬ%"Ԕ`?LR1(P!00d.qqcR/ r'U3視'u߳~$X !c {@'Ge@iWӕ[AN5&F+K2~6@E]pSϓ/`RwChKF,NЮL&,bm*H7V3]rM >t&ZOP%>q0â]cQ(XZJ2G68zPF}2R?8P]Aa<{z|t 2S(]-aF ^"Kkyk-wȝ1§ zt/_)tJCl>G~oY6N6OtXEKcf4IZ>R[I^ϕ dIɗ1gYZ  aqH\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML&G/E' THOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1U.KF{ٔS1R(vBH6Ey#c| q h֯fHKdVpQ"&6B=E'Nls_I5?Q>|Db El=Z`Fr5Z> p6"gwQ}Ci]*EiءdሓՊU; &aTi2PyeEw,ʏbJ9.zdҪcd|}xZ75, At_0N*n6"Vq[Kj͝tIoHlȻI$1<zq;u/PRK ~Do],3ʺNrq}%Un'Ķ4MiRF},ȹv/9QMH?gYZ=F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 19] !M젗OFK?Ie6,@AkmmqY[fGX <})d-9%ҭIj/w~5: BHn:ώ--T_YDVH4CYYLK،1RZ Hm>@HH$hwu.Ωs-ꓪv]PL:JwK#Ly<4RJ9(+*']5/mEV}&REL~KSA,X-?>`%M^"*r HNBeE/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#-.;4UXL{3JRI|*4XE~3n"Xi0B^<27)^W昿6mC$n!0mӴ op 5յ)Ci:[ j{*!daE b"9^r4_S1%;\ vHW)RײSj&V'&נ A%8brtd%Z½]d[b#060uk1KHwޏ8jK<{yT00b7VmIMU (dfzS+NL#iG@J01= e_sm%,=qeV>ifugwN<`hk :WyMH 夳j^? 4[+(h&Ot?vqy wi**.&kt*Z;P `<$b mad.LHi"̪~D/9N-rXdԢwy E>-`Ŷ̭.SᘡZPױgYZzB /G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! $u] !M젗OFK?Ie6,@A"luYG(!wr!VBƷA|oJjL5DP2VG& y#DSxUoWqM荪W4l0 7 .|YPER]s{PRj g&`92l m:g?w5+qEScnmMe?-e!B ^9_ѯ%te*˧ėܥ%IQLV}\QE-IrHSS+ހYQ Di To'8_%>ɥuo_@)\0f|EBdBur8{­1Ia6I~Q N[F?f5>]^W$RZdQJ_=y',HY(a&w-*QH؁빓6mUGn40OCx5;oLG~Żxy5 H JCV>fP_T9;'F۩iy k2@AY}8!%)&)ղFSS + ?k%tI _69~@цlj48WZ~4ˉȨcu&:+-{`!3u\T-/&=2y[a͊\'DJG@ZUxsIDVʗ~ 9XvxJߪ! L&*H21qy?&{t9+7&Ea9@ֹ^<!0|9C,Ǜ]?ע:j9OO= 06AM!78-$JP#$]=C' X[h98Bgux!qBo#KaryzcܿY&|<"zNhp4 !p, z [xTşg+4+ U@0d(F)KO_Ֆn<{]nVjOk=vJ&ss]37E EC8HuE$/SerzLNB8UL}z"݋zr^k2nG|[|"TA 8hT-P=Kn)`wI ,-28~K0V.n%I?C#XJ:ɩ QR`89^:RL: /kr"r߼b._NsьRFsXi3h8_GokŻŽʔl`RpW"~aʆ]أqOJFJ̄\s!Plvla砐FGG\^2w TXAT-!H/tÌ[/{`mĜu[?/ :Gv\q؂ق *E0ABIdGoMZ񉨲4㓆f @n*UH#\ &?RxitN+"*|#ϻq)B"uobT8'{{J8m䊕ř\70_Sښ2ge;%nzrb+#8mϐtqzg=W05z'sPL'<_w7/}8@ӕYod~2gxͼ]1cނ\V+_ᇎ]+\sW5%y `Dw.KSGһz 1XO eʯ\|\aĈ=!> =Nn궜dPS{̛`ůS8`!C;hԣ$[d}̡Kġ'έȹW,bIl'`e`m!43>Ѵa!`" <{?2 Y/ˠ11HFכ 0)NE.&>.2pvs݉lE=Z 2nMr<],\`L-uĆ?|d6MpAXDƧH{v#&Ek(y2pW+nJvyR$ʱw] <#Π+D}#`ы@vV39RSUS ^'wex\ a#?fQXECQo4AI->ybg8pcfs2YtB)@0CNp%t3þ+%@nݦwdoX"^T|JŔRe Z-t6 sxvu>[c(,L!SkG%d I&2v;QdoPl!d&*bcyN/"+H]c~IAgmCtb) uV,L3e<aޢ8HFmgwU̥{kPBTx.^=@s0M( `-.UPU k5vV}].~&gvbi|MmWk'}%+S 9jAY%B6T&ƛt4n12 =C7iȐiĒEz8m $a% [ɴŕ _w^ST4>zlrϤnvN@, cXkV8RV3פ0ku>JT:NPg 6q6n9߱˼ڳʢ[)<(=UB肦[DijrHb`DGil#He_e-zvu-^(lĢ̃orx74s W7m9NAN ZvkK)XrҮ$K[1Li_~:aD nA0ԋ #wAcRh6ͼIU" &u`!?*YaOkFfAߛͰqD$f$"fئmgZV3uymA9ABl%5 6%mɽPZmEIO")nդhD̲*mSF0f4#E-!Z_偐*X8@P/F9.1'_؝WFepJLᗄD>SvfME 0[swH%VPf/*Өs_#_^Y?*~_?3E@c%Tѩ+KM4շ`" 3miэnP,U #!&cQ%mfH Ǧ^ex8 +Wdf!dbRm'tQ7_}^Jøu !6Zk=ldq3+t%1d5- ]mŕ<) ݫ$¦A/n#Q͈q&4mN.' J'(N6y?I3yW!NׄB\D⌯d󅆁0̩ &w S@AM^MS^G,`ެÒkT M,?ؕ b,=$ s?l$s`2q:o ?.¤{t^{p]bKg '}DTqBqrhC]Oc]Lc$?jE\<q〔xtt>KXO!,^ːzIWJA3ByI$[ oFoPs ['z[Ε)Ѵ/|-9E?f(#cUSFt^/8tkx|QÕ mn~D`;$~#򇍰}$UuyڹOg$H#_' W?x .=!Ds-Dԡ;%(oD@Š`'^)*"D9FiB:V*&w9?R keHMa)ᅤxLX 3+Ch\TNV-[&~ ? Dd03DƷW^ue$2=g*'5hCcn)}ut Au7Cu/(.6t+uČ>̠ϧF?qDB7㭇eM@fƠ29M3؂;XKoU(J%,0ztySI88$:zWAVJՖJ8,?ʑ"N=cH܇f7|+2FE<;?fHP5/_1it? Tڴ]R!{ &+ƕ@;.>߹&YGт{<#M^g ^@ϲm^wٜf]C?49ƻ$1ҏa`"JSGګ|B8pXrAQ16u@aF!sS%N+R7U娅Txp!4܍{_jǎu0s?1B $ʩ 4Y$Kx}UG}jSBz `+Eo^XyE; Ht3[!@GiF- n4#B{W(nAd6o` [>~A}"t[q2T&"a]菼k)]۞ӷҼN5ӿ{]dM3-}A#Qd(&[Tս?ZLWhj @w;bw 6灡5#tz{)HFlԪoi`1\%WwFL jϲs,~0Nx^۾B=%uS&ʨw*=ˁZU)=Rj,^-n&`f%izp Z ;RAc/c(=GA Wh$Bp~+_@²HlkG9^x|=`n^d\Ne6ަ6{5Iҭ*( ܡZ&}^_N@IfVa9dM H|v#/`5^1@3yh( h:ș;ֺUrʵ{z@sOm!$uD+}3B@\N\= rSYǿ#9#^4#E!rbo]i5!J}ySAFY@-''#AL8sgaY)b<^lo#ꪦLhK VeJ c(cɳ5 ?gS,lȻ8KU`ncm|ڃa9.ֆNcB&2ԢM(P-FݍӨ{1W&,4ovZ(753o$N.IOEhV;cR7\8?WfEURYTvNpQ w}+:k"4dL y;!y+EL)3T4 !5Mg_֘x q{KRYo3z{, oV*wٺMg :qFiQhb&n]Jٍ{¼Dz)?hrRjiY]p Pם{23 tK2L˂SJ CN kҖh#@3'_#GO4#w8"jMa9xq6bߝ'8cllF' J%bxڱǜN:iP̪RN;:hҌchWX.jkzXAsIY?/"?}[pf{u =Mwdt!'h7}[hV]ZA ڂfA"k,cG KIz X9q m#Qv΋{ 93FZiFe|XF5u,vY;CYN[$l˵)kvO 5S8KHCj缮r-ÿ B?Wu`2_WZKر T]2ΜCX1EhU.IC<8uP-5>m{=Ǣg /dԔV)̘(׿d]DSv"T%)e2m192N;@2CCˋV[ݺ9#fS=)QUzʞfG#4ipknUbNwxZΟ|1ќvI ! F kڎ>a&8,VaUw5\UpTpn} RO z|>gο,5j3ӱ97 >PRb39-< Cp1z"/B5r,wd29`E䄆݁f&L)mZyfg뺰d$Ϻc=3n8h-r/cGIg_{%x8sTƢy~su>CJ&p E7|I3L޴PQ).9w|Svk({ kVTImH]pfKW`񽘃 e[ F7,PxXnр]ӾX[aw mK6 &M!ozzVp-D¦P1m*:ĵcKILzh@s+T`Ȅ-hrAYz<<(Fbdk/ Fޥ[̻  RYq\7[H"7o6rP(h+L8J/ѥYN1cܟDEVfޝ21BXiN9Z휪`rPHCjm?]jyp?X5 -a=< ͎B$S 90~LƎ 7#uX2@qV\(bnI0$*l\N{b$pJȾ8cN]v6 ]%Ri #@QnS6V̻ ^f2i{Lb 0)34DF6_*حO폣fB h3%f 3_]_k/H팇2Iq3й*̆~9Zcm?/\jUJ6oHhH;7`+1-kpHQT`9<{-D!织|mm y .cr}9*~}]*-t!N:9:&NCB9vSweu$@M ˚n=P\4H "2#!GR\R+@*iۖеlJ@Y -ύ짅4VFN 6򈭭oMC;NG{c Ɓ^puO|>T4[Qi }ݐa*9Im_iSR]mYbtAvϔR<FwX Stմ *8abw'QXvjR)o֗Q0|>'HW~J{qxĦIȸgS \73R!,/(5XL\52~dqD!@#Ȳݒ; 1iW,5?؞@:XD#mWleJ-1YNo` /0bp KUK898=hv^JƬ?u҈;^v 3yqXovieP-|DW gu^So$^WCޛcKrD rDrM* 1I¤VzŭI@O\NV=\%(xS;KeJ@)xwZ.P6*sl On~B> rLD&fK8O C0Sfр.M" e'9muMx![-S6[F!&UD ˑh kpOT2Ӓl?sVޣ6kz5МWt~Z˝'':<$\j1-_{0F xnl`JEh)'[|b;Bg k/'(,j1*l4gNXb)ҫY) Ƭ:t5dai.nk܋{dRP)m")4 Hj[`\g9Dfo0MEy$֊Y6$_B>xp$`2a1fsd nbĶ[ ;0㾚%sI"3Q4BktY4m~$&b&o!^E#/•~LUD+Z&g gh,&&u_7[i$Oɨګ=$ a"h K41W(6 {FAj͉c.p7aBb-f>~d k6/m&oey=f# (bM6+qgRzjoY4߰לE=zVBi3=τn)OZ#<2X O)g5Y@lӚnak-q?n[reQ/v{WY`,"j;KeP5>D1k`uw~lנqAYT^hd#*a|$ע{Pɘ4)p!Ăsp>,LD8?;Vf'((gg]^"j nEluGa(W?w-5kYDV`HYKpE!ꋤ30 9)d9vzHPEaOȠUjHHB8ٞV,l'}ccՒlcGVW+FE>qgP*?t}(JQ %h884g&zIɇ~Cu5Oםl.ɹgKFXy޻n+%8P<7@gE4+Ѱ?fCoq y\yTA_g1U,d&UͪW NHIgĨc78㺵x/ rK5y(R"{9V/>L_3b\<*"[Hr`)C_鏶~rn)&+6}{kkfpc.R/$?Gz2b'-)>Bڔ{*WTPt?#ASryէ_XhIA%>\">&r\gAb [JCV/y0~vr%4ɪh߀N;8&0J]11!t e4|awgO jPF~e5X[F/&jXcEY!|%b5n85gy_ ?֜7l^uYb&ͳjg_j[Bb߄c'qxDq?nL1bT(QګߙMS k5zi,~tV{$MK0OԏjJdʍb/-6^Ci$8Rd֡V:z! qR—|Xgx^Idգ2jF2^#AvN+.KK~|*\Vb r2=_Ȫvd4؛1.| 2S,~Ѫ[+GnT7gs1NU|6h+z Ki+.p%؊d)Wf}@awݬu5=>Sfev 0\5OS)Ea.ȶ[  f^yXBLs/~xR(YaE1q`5!v uOؽQ L\k$͟n/naPey6I<?~%@׉.UiʸY֎:m"LGSwͼr&=s>fU~Y*|Rod dQeAEPg Nv| YN"_7'Q Xsqݦ3 !&P(T6nTo!"h̭ ^3?4vji!dtp{]QPk5,c𨓤o]9$69HƊGG/BNC9SH׶>稉@aѱU[-=gj'#zò>\;38 <f"@%JE[E-S M:\(QL*MIh yJ^s/?3giiPԪ.%sBAR޿onKԢPp$/x̦}|mumm  ;ib'gYZXQ& yvpNF2bZE7^>(4uQ bc AM 2Qw퓽S@ljOX) ^Z]64A)Eїm#<4[ĉh|43LO0>Mu'jtn!swchɧ5 @ |[~x:t{% LvPGmuFNmm>D .]kC3ʓ,$l+i1edBExS]/d+< #IFdKо'_%#l .+;s~baC=̜6ILcg)z4RY =t N:sHW{!IDb9<ԑ4F xw&3K}gr/A9Ǿ"J9S m(-4Zp u}Jj '1 .O s`mݤq;amf_!hĦÀGNE-h?~)gVjU}uGs\3yWP)q>sMmFQ)FE@6z=R'$eЫXIǀnb艆\IQ;lG/+Dҋֲm׀{Z#ËVˬmQ]K5S:6^7cl2P.]2NׯU"?<M͇pF} wG&B0 @4 D2@#ք^֏8u}kFQ&g^s$E.i+zl߭JBk`ࢣlȄפr.ȎEXSȮ=?J!gϋ:F4O!`gF5`"?m05IWH 4v6 Uշ<|K>|~g_<X<'"\+@S^xM:3UV{CrhYh9 /"3:eaG>s?U(dyVͺ\1-rF9}1BStܞAZLJ-kŤk'q3˝t=T.06^,n3/@̥n2%( p$B.ҠEsvy]N mؒQ6=eK?'8 d Sk:O)Wk*\=eq̤_ؖdZhI9BZv%Ib`r~j6sJTWP-g|!Ss~{uG f4ѿn娎`["so(zSJE]FRY*Wn8ڵEBIɍ/:x瑅Fzz߶yQ`ϒ 0_bjD,ӭ9y=-uSb?ш,;˽mbklZWW;lxcWi"`C[hf]r9?cS-e]298eyNoIK H+'*esysnNd^$yl*;?J_HGfX%XQ7C^ms:q.oHE>8*<.-rl]^Y3x7Xg}CK@u$ˆȏ\%Э?_bmSQmX BgygDW-!I><^h*e\u瀣RYIa1f֛T7*51`֥ Bz͖&OtZf_e\ :I' s$ܵƢMZ6?(.`g ,yJIR0H n z!o4)<51}6l7"x; O?zx >,`ac'((MC]'g4<+C{8{d>)y7aǑHbLTAgh6q8#Ur PRH0vѲKV^b5]- =oO^I5@ V2G2[ߵH._% 1Kf;mqJGzI/ф*oLS4^"i lu온T׳.V]!ߊO@%ˏ-"Opk j<؆E-lZkq`yiD@obl#Wۧ&r!38]$J7. AG&7d41]>sp><3$R&,R`@rǵ1|vo;x3j̈_wGG :zaxB;} ͩFnqPS`&'*WPj?c@4ZR6#@},APQ=} 1ή(l%&_El/ q4Q0N!upnejݵ~%̬V;9h'FS?Ṯʰg6"fmZq{rszXVB/Ѥ!= dwbqsqt}7xPD_r#sEjr)>Uxo53"{U7YA.Q"}2<+{F9MJH8xmv  pM% __F0HSlXߔ6B/GSHr8D?2yjGVtfq#]tL뗰Cu%t^so Tz(B=y;`Ozxj\ie[, J=Eƣĝ[ëu}C>f6Q}_T3,:0v4(Ӱ翬:7 @<~9SNj^&>u}NW^,)Y%׋iO;H,BGD2OXnK"W:6 Eڙ@ڦԍ#z(`#**o:jfh_&G,L2!$=kA0~*?cEfG'&d/Ks<(,Y oѯp{1j?8,rQK,h_X p#9Q ƴ%xezO.qoPY5ot4 ] bT ]iP3lF3I~f1*dLyϲ̍Ly#uv:! O=筳犷-T=e:eC752]_ j?kk4^+vݢzeM29klVa=LI[D^Ԕ-N'gF &@\ hQ0"KT=>3/K1yr֓\9I'ĨkԦ_f"x 0{ڧr\GLρx~-3cdgKUɰ+P>!9Wx