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 0/x 4$ ]/ HOL-Proofs-Lambda:threads=6elapsed=100.532cpu=119.372gc=5.8207zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯T0gZks(G&6)$-[7XR.;N^ +4ʤX25͓ I)SvIVb|YGN6HN@^[i.8G8 6Ta S wЅO/ʷn%.ssL*UqIbrBq@Q&ԜХmIQ*1bZhYUr;asDuCif[P26|Z5&BBf;,0ֆD1k!,=ܢ3 5C}ʀ z-@އ55 c#n?'Y}̏g9㚢q>!m-sVj,\e+9C' e>G_$++h%ӷ:W)tKi>Cy_dns@R^VT폽V?)Lb.@^EV}-,ݛb.^l3E Jc gYZ7zXZִF! 7L]ŗXi%*{ 龌S<=Ik'{M7kpW3qG;&Wǿgo>K`8xos #3))~sgT$Vmf≄< 'T0{Th|BOnF1ǀ??27?]͑qA=)9Nľg7#D,@ ?~*Zoذѫr/u4p;&ydfl#>5J+^Iik'FMy](pđ]:WR;-裷h"FT,jaAk4^DmS9.z(s\9nYR.ca檿 X^|񠢁fXǭJc޼O‹E97KTz vi>ԣ`,M|Zc% q3PO˹R-DZ~p ȡ FܶQ,v59hoc@(OXr4,Jemc_N17 iō^K! -ڙ9n3~_*>&P2&&>TH8Z' Q7gWq I&)ǝE`)4+C LWu#Li""y,֘+~7bٍ>#з :B[QR5hbbI / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         >%n6 : } = J y >  i o +tJ wO b# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEkiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}-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 . /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 ( /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ɖFgCd7YKlQsێ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 T_Tg/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\HFGC%0Q3R74o:5NR7o!l~k.\sD`Nu컊tHCjl! D.HKL>i'ZkE  aI$Фn'ꚺ6ϛ4D\Hp <7S(k.1T1pd~-E!?8|#K[֪AgD/zk bIS(xa@؅  0HZ #(+4ȦC!koȰF;ZWSNh[<9([w'KHul M_a%[qSƯM[lU0$RRwqK o*/)P#$cjIA<juJzD56ʱgYZi /=# dHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !k]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ tYSWha!mdW5Cw`\67* ѶKca]C(ò'CVi>PW.f&rA*UlNcWU˲}O7sŤSQ|{R0W #=Iu_iCkMI @)<7F&ovAxFM`~|/&]/=!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\7JCElXa3@C ] D_}t5^&B&'1Xih_z6H nGߑFKӉn&{^Z}%6:dYdo*Mvk ^g^N~(3ץػ .P;E͔D![;k>ΈB陲$ڎށ~Jk<R$#CQ^(j,NJ  RjuhX <]Cıp %|)"J"F `P`inG^ŀNt>Vt8ni)x^.%4|mƞoHKY8 9z叛kAM-qf)墳Q.53~.*O}}UZ+Kϙjb'M#M'C` fw5 r%Aį/fӨ a?ofXz+-h2LۇCV\SNȁ h1Bƈ)]Buh˩YI Q(&9>$?ZkҦ\wܱrQ/7 |7-2SX˪pmM S7[Lĭ6~s6k-5#R?r361#kN9♵c DTDĦ[wm?%Eۉ-jB(x6t4kIoۜ/tKmE=+I~FZH(]ɍ\F6O\ :UK ']5`]ƓX x~E:+设m[wwn-׋(_[F.KͯrkEځf?ޚBԑhRĦX=wP c7Dc-Sy%~i1 ]R[KXjkǽ ^dKۋ#mx7\k{ c[L|IW&v0Гa>lJR`$R yw47$IH>R%O%%I@ޡM;pQ3*%SyE7 ``Z>Z&\=F?&Md?+/-L woxꢾMqq:F-[Av },ٍ2pgwCm7 ,fP:2Agᵖσ9NZF}DoreՔvKkļfYu +,䊲Jkզ(Ik 20^ݖ;DLX<낷ý,>!\=A/_n *1>w/tKЯ&$HJ+`&{T2='>*TDh.Ŗe_.:*&K?Rx$!CȽp2bo*xhu̘`w?|6mL4N{#DkU. xb^f?nGܭiIuLlT XDIMvV8z+GKM/9G K3'm}IGEF|P[06t P[ljSėdA=RS8|500USV I%| Od~%(, r@[3XϦXLV&?G$_)e&M&_[?S{WE%v.&k 03=H0 wwuzғ8ԉFX@2W`}`81F#~Ywxə觚ry|@9߸aĖFDq=苚^lǜP^ (iK^5/}?́hDi~ĉjG찑OL,ˌ+.Ʈ= eOB43?ٴy( 0AS^^k`.m~8Bu4L 6k|GW:Cp4?Vh jHk %p" {>.mw䵼g2zȷ{-yXZ# ! ?ސq&3P암\w3jPR(ڂfӻex#f\Ӄiy+a"yuqh,Ī4ȅ {Z_a&gldgmmYs (qiq}DJU%d 31eܥ?P0P &4Сt$wL Eb$?u{\E/{KqI !q"qT ъb =tg kQ3$Qhr8c)#m3j*KA݄6;dhP/qE%)diZ=@*~FroqpKTG]> ?uةO{qV?D'B1̳c8P{C1Np9\i:9E~>!IMM}x˄X<\%CsNv]h'b9⎝m͉xCX] 1nNkW. B >Q8:z XDrvfϸ.\Y'0Ax MLt/y`AT$ *xZ7qbzLHI5l ˂̎5ɖ3s&;wONet[x}kOQV(Z@nVw63>:!T8)cdp;~M NIZ%s`SWʼ[i]JY%7tX46'y(҅ik@LB)~`@X $Z Dg`9I-%7:Ty+k@OyKMTY/A=ϑ)O@q2zf6sYI3Q9b+sYxӮ@gw~ ʝv⺤~q%F~-fܳ-7ĞFVx ց2mYYW8twMhF#"pqFpz{= Bi%QCyʼnj#Nqh 76v!yӎaΊ(%N.?ܢxͬ0 `_MM:$rLM zb!Z@g&cǩHsU*7)>HWڞk #/#=P,GI|`Ƥ>n _GwPU`(U"$O_<O2(uB2.s sN?\K;WpLB>0>Csu ѻQ!-6x\}Z3zP04;W2^Ns6{>8֫5vޕqXzEmHm?#nC)1pnKƨ_Ky% d"6YB3&!&܏)q33.bqtÌy٤-c)fZܯyۖmfπo_9Y~,BU8T$ϟ7cs tq$B~ʦ|K]jĕZJpRuY9 67ɳ0ƘI-PGK>]:T]8`C^a %1 #͏-R˿3'{ˉ岯MHu; rb0fbǭ1f6퀵Y>`إ\zdI+JKdUOVx@ޔh#;xU9:Aj;}`GJ.B' `Z}\`$Zdh1mݚfd9t^$:aؗ9P,-ODȸJ2Y"} Y&j7ϊ`ofB]kڊ1Mbx`> NyTIk$+f/:/(KT_d# S\P43tZq7,G{)n6=5;tbZ&X w[I3~SW `lXK?%bAN 325"ZK0;F?ԕ8=ey<#zbٰ ߊ#|HQ#sFj>w N`VݍcH yM])^?QDi^tCZo~!%{{>@CI*Cq!W$Fn* 9>Qrݫ F5; 6;8v³ݐEa_FI:_<ĩn—?G>Q:X Hs7SLPr{m~pTzlEf>I1ɯx&o!zɿgP|`|N>EEj(:ٕa #v96]·|Y=ZsXW; }7DT-󋴏6ϋd<_ӈ%N:WL#@uz>w7u+l75b\?ۀg|SqJrJQ=%Su#Nmkv<ӍӲr>ʘI'BRa]çO=(DڽN''LOGesft3C|; @2P`*/p=5ۉnh"-'< GtHi %&q9OOin*w. bۂr)R3TNz_『\ nm NiDXbtLj(]O iq:#,hC`ĿLn F{܀LS lyHJ(zqh^MN:9RVd+ \{ViW@E';@Z#S|.N¼M !{OI 4rFu0~ ٫0z/6e,HrM#Fh/(ߴ^aIF"0q@jX*mqoY1  nk5N5LY7!:7%^8S.ŵo6P-caD6Ck.}d8va#씉|VRlW_!Zp8:\Xٜ^g$8FOWZ83Z' .F$ Z % 5OM}\ ݬtpqe;'=tsIz 7QǷ5zD u8F2P5k 3Pʈ-E^̲pFu0[XqHhArۣ/`5y-g4vv>؝9Z4=:,0W>́y@d"7Z5E$٫9='6Vw=JRmVh'WřE8*3X.#rT0 W"h-IqtͲKZ!EvW cK>zY42{(kG{VmDMDl%^N%l/U|4 9+![:!$%Kr$2!7mS q"z!OejoφP1 R5 Ut۩n(JCݔ~îm/ut!cCbbR>9 CdjvV7(XIG>sJ,Zb%#coi[Ȑ2wG "q`<`:N!ʔ<=:}e$y៱1"%cF3jӷC<*&FӞAi KҶf]щ=q]fH/ohў=57H! )g ޴P_@C= &<(8W"ʩog̟~M(失3ٹaR#]銵,=wkޘܘJ6"hvW4{(̷E8v$J(SMm4 Fv3.U|ͦՈTzS3sb74קhRUJ惴i|>FBx^[To obV;8B}dDӟ Q6xHHK)~Hړc4  Chfx*}?|͍ܹwYXֿ{kw0*HЎ&ƹGO/V271vŌATN!{3QNya ?}s曨|zw!3*[=4PT@E]+m6Hw%_%~#sMc-ۿQ*S @}WE־bS$"~%2?-i PA"b !inSq$ԫ*Y2PI&3SeIs\n^σLc iԁG lH2P^m Oe!c}pBn.e^Cr:q+OONLS*^[13H72R1MN\i$hU4{.ݛx5Y EA5_X糫q=(ƻ?Pmf| eJѴqz\d{SH nK5g ;|hBSUMIx 1ZY̼= j 7AF 0Gh4O6Qk ·Hm^}>LFROfyyZ ;#<P^5yoOrc%͑NLv3e. W QwӚ{Mf/}uXD4aGR^]t+) J `&nA8*]Ʀ߮SF wd3t鯈ʵL*OCHC % Bguۍ.w$NK\Pc. 3xSq*]VSf&nk%!&b8x̵/́EsOU3͸ntڦn 2sTA Pb9uke*hr٥:x#vBٙ7<c\0<`k,֊ڃٴѕQ)3 ue~IeVY>>s_8.f+dxd%= ҺjYmӑArl]8Y?zB' iVJTT)H\E{\R ta}ESNB,[ďX I5$(G@:9#l v5T3nњm 6^?>ߦ< d޶sbc$nmyFzx[jvpB},&NTgJ",!Sزx/20ίB YVҧ51r̾ĭ(vПY:JԲ"Qi|3aRfܑgzmҬ "RxoGmO$TII[,?Xe3˒/ sU#w;*Xyo i%%PP`hطLK>K _,b iz'Õ#ۨy "'/qG|;[줱a;찧C0IŶ\jA`IR0z ~=!.|܄O#4 fM̛\ )cɚcOWϥN> lhX3X9|6Լr ;4ܔJD,4դDžIvZT퉓 TM^K=-NI0B=S"DD_f[вXa"GJ%tPUP:uuЗ׶r$MZ4Pa7r nA4ѣ+Vx|܋kWE2b^ڔ|U +537bmB͖w6b#tUOQW2De5P{1l8 #s0o&iXn9 {}|2' 2p*TNAF;=%(Pj IR#MsQjYRN6e)5g6lY%fQciBpL;/-F R.ɹUcEE0R2W2d>EJuNr'%Hw2kIvCgU%=ʭ'\4{k)d3Ko[~(?bSq3Z[&}`K>.L'3øXLbhvE26a"l r,9xp<ʎ X( 2Q3"-WH4wEQZRw;=]WYa}5gi];3:OZ`baYidY~R溈L,$ӂ)4%"W;8W@ag$prigV3ڔ0M>ݖ];_60C&Zlt<ǃ`5 b4dleWofT#:eW^%%ڸWy*]P 8g!te7̋\Tt~{ ĘHч$:~m@\~|D/ځ!ݸ E =Kޜ{Z}n.Gl[eq@W/_\i7KĎ%〘2/K>(&rogi T؈d'yLY{ÁDS8c;jllZx|ǩ&lm.19g#{vDT59J lRPxq"q̔ZXn`F G z?-=?y\f)A n2Vi$Go=T!ۑW%ܻ_H}}s6Z jK"]dې+B=E)U =E{YEɮ= <?#vLd 7@ܪw԰S\ƻ5~s56L?um؊]li($j39M|]])}AKN,QxQQWݟBQob[5~jo#xcqThrIVw)˓ z~r豘-(t;N9D:[{,.Z=*֣*q ~p/=z.7]B:/AL,Uhgm(kg@V*tWfUtNf /GOI» h.g Y'o ZLm W3MN_MLDc^szG"<*M7ڽ۠y#ƨ>d!=K7,iP_;lZVRm4 Ɍ2VToMrix[m_L^5d=xf&˅$r+  l捫临)&:?{!e<<j'^9U?gs!J6 0e!U=x:OSY( [絾 }u$1 gDh8Ÿ`PPQO!hi2k5,\䍍1H$;=͑Zz7cWmȸ " eEZ-#ޱgYZ s2so/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! (s9]·Iq n[:|&[z'z5& ׳ͦ ?ILNIARN97i=7uTMj/`n{&Lnqoތ1VLazJt~[rn:>їKD { #@-'I_% ]9'P- 7MǘTz[y͌E? M$FG<:79p@m*Fs |F#-ӆЃBr1I<;COǕFyEP5P,;NH0✸ H* Dn$>%L8o{l+ܵ\T<:;Ťpc^X5kKpmtB$ w4NR':M;crqtۘit'{ɑ@Єj<7D$q |Rjy_v*~7Q?#ZATf&TgH Ɗ4~4q0%}-Yy)a$90:Բw% Anߌ VK ,~-ŚP ؘq i]M6!4J k8.vJ ;s"nrf)]䐣}sx%#l``; ɺ$zߨSBQxo[;+r <0OBKEmCt{ǙSE. 򫗨J͹xiδDǜzOȬXP9PTb=2>l_("I]+GVp[5ga!пi4Rк^ ~H.8-ЀqPnԱgYZ/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <}]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHG ʧ8 Uz\te %+<'7~ c¢TV,xr2o^: ȫ3$U wXܤXo0˓ՌS$ _Q ; #rqG2#cWQ9 ;,=䖊۰8QVbV6r<83$O) ,=ft{88ᮬ׉&Vby:]l]UܵM=~8ԓGBaoN@O'&5Yt, 1L@;enw,Y?7Bux٭,01 S^%2 P0AprՊ-Ur1!_]gcDUOEG `NhwĎ-blƍR $H[֩/o1M.6vΕ\V)R@M XC) n!:ֆŏB:l^TכQ.ܠn$tlq,J<-&e"%B/wx3ەsY`;mOӽHL6j-PEErOD=XFsI]@y06Z?Nc|OVt%gA:Ln0UuTdl`O#$cD;k~h5&(:KdZ :B00=OnWtS#Bּ#?@˕>)Ly>$ ] ;}B@.|L|S[F38y G#UЕߒb&ZѶCD C^ٜZo(9QEsS|NBKpm䖺!ʬ$zP M4Ae-ݖE[eh"`TC!G5YpnLPbTw ZSƻsh@cIbɂ^]lqxW|tueL5a,g)\6=b$i^gQDMI 6"CF>ci8 d8RvŲi lU<3zSIjx% (/-СHb,зXue6u tOHxPߥTǢڃbU&P)XPK-n KrZ|zNjNUEN V/0*ASxI?85#Tѩ+nXPĘH*>,+.bB7 upZI >0c.I&N7dch$Ǡen$NAޞ*Zw;G=y`zF9`R5Ìo`w3Vc\2U-o R"xtzY*MjiϺX^Y|XJؐ\VaGl @S] =*2alP?B?T_҅ڞ%"ܯHHS ȺA4oe\F08Q2Y/VI³Ǔ _xc)EMfCYq?oyCu֔VAbf^0[^]){Okɺ.`(M(]HC5-0>#u@S._tA{ іy.HY+ț;4=FF9W[ĸR eTiMط#uses>zLQ6IQ]YJPSHFAÀΫk"}1o+xu1xӂMtF@[ͪc]cm؄{8B9-$\Ȕ^lLujК_i #쎌̑I0bS2(a牒Bt!e43]S-s'wz L<א޴ilgt6>R19U’5wAnAaWe2V*`fsan$8lL)uJ _+z[y[#0GKK}XwH?b'xv2@Ù6PoצJSgGdL``wy7|l! ;=XE&Nh/ q7M$kx{~7. ayBC$Xѹ3aI8nj֭53cČAJ Jvۧ =0Ϭbr 'W Mʁgvqv /]k> *M#=|kB& 9UI2s&=X+Q|l\"B}-ϡ,,ƹ)6/{7ifѫhlHQ*:.{5qC]duOO=5SA(3{ ӢU?jŵؤF>\+W^1"= A`O< .7 y V<|\模 ".%dp.^u]/gK&H9!eZ`\2J YlhB-AS'ӤB?ÞP2H/Dah.InN14Ø ֲܴm,⛭uE?ʼ]Ko)cEJ b&sp *ދʘ\1Gps4鎘YD#qG} շf֭x^bIE#?OLΓ).ҟF團2\yq(~ɟ@IXFk/LE*(/yyqZG>UP!/ [-rϢJOMe~NI)z0mNYFmdvQ3 ǐa>="VU1s'JƒmbjS[tt(FR @"MwPݓ},H7%)Y{Fe&h>9E rKi )xµxdL`̃. 򠌛;nqDoAl֮4d~KGN%<GY\So3/-4-ˏ#Ȭµ_&+ Lɺ$՘o;=n%?[8}=`OsٌAdw!R6NnRer4´t? |@F3\ HX2&*<4Xb`Xf>a%-EM>:y%P^^pM:nYz*op\ lW5I!H?tҘ ~+tԠɔptҏrO ymoZE{Z.`:ύR#4߁$mҶs1!TNPEEŒʀXd[dTljS6rϘs*]]GFMŠ1YoӥJN9_EtkrdQ BS+q-@a:}!>˅תߗ"^rvxQ%p-.Jlsg\QUez|;optT4y h̥W6id #8FS}7C*}:ږTO2$#1+!nHJRʏ%WAhIohfM(iۂHp n d9ƴ?G\aDPv-=A'DXCIB.ɔ=X-|+{w\c/ [M t|N#=xgq' .@}#Fm(R?P6]r R; ILLSi5ꄓ#W~+5172'8xH`^pĸb ▇6HGU"B4Ʉ pgYZ 2 /O# HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! @]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqDO̔ !꩙%_|ZunC?8`ޙ}f.h{6I!K҂m<nj=Ql5/OYOEgp2L2u)K׈l'P#JhUVD0.,XQf t PSg!* 2~ h/_1Xt*@a#q 3?@50!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220u/O# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3-7x`FWJu2ZYic oƖ஧)7j%/EHj뺆Dz `Ix)6 g*)~Mkx;e왰92yN.VŴSM*|a#wTdS7:>qc]ⰊVAklVF]PQ#![u^t'v<D]i\TZQC=[=*mͰLŅ.|OѥOf<X߭$X5$VHggVW`./@4 Jx%+J䄄W'Fy$wºQ-Y)yd\J[WGo Y~h/.}[^yk&b!7MrX;PusI|{ZFٿɳ9s<.-KFYnl&Tٕ8 7w3?0?65kJ҉ہ%UD85bTؑ<0<I|wص `ܾG9Kݛ|J>F"E0J'=KA'/ŀ;4,c]FI7MOvaŖTڢe#uY/6$U~|IUU\.k;lsHD)T\I\+u ('xM+Q_H$vH5mAS]_BORqrEk.#2qw\(6e!?|;N b#8z#=?$<e-moi_PU:18p 3D?W0Ԯq !Ęm%'fy)ӅiXFQtT~d}D~xKu;J(JKpy67Y#@G^*GKK 1Y0kKjpxd(Jr(biԊ,4ʨh 0Av̸?3!pUU6ffeD `T+nճgJ`O8Syڻɴu)U1j5 NK6 u2*"$Rf3}PL]:eʻ]7Gf](:X8rx>*XŰu "iO 7y$ 7[A#Q!k#w ,/7vBkLpzg2׭MJMKc\7֥Yς!~k <[1V/{Zg+dp"vXhfqp/B\x!Aq2_SpT 7℟2Ue;!~֕婔-cq`oSL zJjznfD;0A#$ q`WWp̈́@$V<Œ%61ί¡pW{MKo_o(OXn\=n3R<6u @WrֱMs[W' g\j/& c5 )Ɋ2LoC\]|v['{H1 nrX%Ů{\o6D\P%6kӸ1[\:0fG`VW:Fi*Չv-dy_HJ?yk!%koѰC@mbH2!4G*_^2gO2NT%=o脉+fR2IlQ>ϸ&m)~U;JjO Kgtn}+kͣ|N69*'Ck|nE _$U> 2\đBLŭ)ӽ[bFت/OMr8z|̧`,0e-(3:}3v{3pMcyO˽FR}" ( U-ٗ潰^ 煹ic$x[IsϪJq+$Gm`Wi'QO(3rJ:FS>NL>1|᧘+t5X+Jx!xnR-$ֲjɬ 4ۢ (Wj=BN辂mt-}:J$vd[ p>6<H$oVL'arn/0Ԁ3K?ƏY!m)BYRyv/eWb=FL^g/u@Ob*N6Ot"=Ej[}yBW 0)m(k+b̮?Aj,^f|11i(Fc5E*ad%y$nxCZ:."5.˖ZP``z"[y߀V. ݉ 9O\In?%]+`jJثp2Qɶn܍_XzFx/O䁍'5rO?1s֤nZasB*~- nkr8[StǪ3zFg gԄ#$ri7&I1Z6ƩEc4y{@ee9.&{{lTh[q7Lky,Uv}σ;]YV=^FbV@zT;L3f%Ei"U\oID@Ks/hL%m@%RL دś2xu 5a=] u%&EXC,ܹ=d[yJ6DBU+0{V , 9$ǿO!=ġr lVZ=D`B_׹o A0cƙG1sg)=غbh-<,`q9^ـ¦ q; #leyGnsBOX1=?\'kKj:ڧrn+{-aU:[eI3 . Co<'(J 2Ql!:'i% a;;*$ Q>׹|TA B[Zѿz6n+_4A[ph}$ =4zX{mt|h(7͢Ij*/A5IQֶ飾ΒRG%cf!+ 'J~*;GYSSnnSBKɒ'wNi%#ܿh}?w}&oGYh$ ^^fYĮ즂s U3["WCaKWNן6`{¯f,y, 8Gs8뮺6sVvJ >jq"p pA;Y)%!6 i~hI GPp7t+^k eNܛS KHEB+JIqM)6^%# `ζԼ/ E+0ybyͶqjќj/8[S9CN&&NHQ'Y~p=Hҹ{h/Л:ņɼw btdH[9yuqڒ&j& RC5*i\3:͹ɛI:>b*(|Fli5{\VFK|减w97Q¡5$NT΂q~ޞz 8$*/J8V,bQX5LJ@x<@b_WV@ADfk?YӦ /vTd]"ߢ=9ֆO-hxRi6̷w lT0/|axM]XI2x̂ Co#L 2{XWKd3۳ۙߌh}W^>0ٜYU];-~~Q5\*3mA.cߝ$7),tR3yO* /M{3YZ}xB4}4Α/b7^/J|yÛ4rݸ~'ڥUgH >;#[LM)>+|k:eӆi>49@6o!}A7BV2!QaU~<53Rtf;`:  ,]=6A8tD.W)Z[qL g31}jMzn+Ud *}x,fVr-`7H wW.vt~JoIT'`ae[3Mcw @n^Tw(ӯw-AAQ/LJ|`IsDLY,5,Ltr . =twP|n k~u"+g\Zjߏ{N|4צX=ډþt=Z%v .GJ{ڻ^ {;$|%$A-z<ƇF|sYt447S85Ft=@][Ɋ|uK+^3lѯR{Yl|7gddvŒ=I$n>D 1}8<zM.2qaS.S+ZA ^9Ð~DwBۼfت\ʝدD]7w ݊}@6f(X~3MO a=T@ʚ HURxz9&@_I'{MpzEGoxH3`uCȎ:{?J*uB$4;2uǥOv--5u[kW~{frc{G:O3 fFyb[Ƅ`h8gZ4C_iFeh5 L%lKhR *_TFy|ƻ-(i#s?rqlIp z3|6o@Ɂ8C煅mrH!o()_0ӠUtKX/ cѽ:%8Z.׌&+jŀk;.9z$f2]k kdEAYGvsŻAeTD?&̦<*|=GoA)!a)gwS7wR;G}ҽJJ]CSޣ#v(^6.}î> ]>E # }։oaGPݧ^[΀$ K6:0V PO۪D'yEhl/q^ <׽듉7V2aףEX;_ӥg v9T7Ef"HJmV|eN'>? E62s+jGM!vnqX==PnG.WhD;,#Uu *)vg# *;.>VF=$MRjtk_[P*ean^9BPOjߑliJz2(!+&t5"R~ȍ.,"0YZ:%xVB6Z`1g4]JPu;ȉe:%$ \]ن?m3 ZPPdLlȍLՏ[}# L~UoْBL 'emFb7̺TC HBNCHx&XyR]w=f b)]s[؁qN­ h@jG M֊g-ԛn}]j-|`-$x ;p%8(ݳheBm2`ADû~Wcv (t-(xI2/@0 +t9\Êb27ry $_VД%S/~Tu?Ϧl,><a)Jnoud4 /m^h ._ ˄7r=me~FngoKIBͳ| >&c']h_ 3*y?p,b=+<˜.\c!辪n{Մ|z홉+K.L|B%?־ ȁ<&Al *Uz+m{/,Bw`O4aD|Si70cgvi/kZ)ljVJ(4+[-vCBtybp-$;H_wX_FY.ffںWBgRs1Cn26IqB5]W~1l}ޜr@lL gӇ^m L$8[5qP/ynPN湭&@v)|T=iucL``*z2,!4ek'vta$Pef>CG棰'aa^b2/4{^u,`YJū "ߛvhm%PqzFV.fyBPSĻ_ΤC43h1݌v](% T8c*nsڲw.Mqp{G{pyz[Ikrc/)&Zk=Ja]=xxn=ExwMztݏАf4(kzcb{jYQ;bA14C^s(nC`t܅3لdyr=iݹ}]L{rrviaMpMNJ0,X2,KzlH<el AU}ݗN57r$?>R1lK&Ig*~6t7|sCjvcӡ )l1 ` bv&l*Vt^bZ֭:)چᗉ=[|ñ"l14V"EЇ"Do[$7+}HUʂ`wAlY^ؑyP+^A_2,j݌6&ld*qӜ'"O'N bm1߄]#ԓ2o){{y 5A@G(5*ztIY9|#wE2b;!O8pXȉ] w'o'h7Eb`!7*xqq*{汿&rd,, 2Ԗ>V񠣶{pVŀ'ɫґQ@mjm|Z0g,)NUlY%4e0rPQ2`-X WRQʼnе 3Y,!̦\, r/}I&7j(怟Pݧ#da@zVli#0nRtj/O'=(@ Ӈ u@ JddPxOXb:< 0`+a sr|fǛAF  s9,-*ER;R4\J>^ wu8E <>Yk 2q'VⲄ2Aosm㳚Q+GHqF=MP6fuc=|jAa* y| @ AE<VG{ ;.{ F8y %Aj8c fI\dFzzR?hϝ+fIoǗoGS-dظ1%vJP6Cjf>*8'\N\*Ч¶{kf6+Zռ[#$V?/65oS y{Y>w0!񰐝Y?2cڷ'~KĢdj9Pعk IW#DZT8*o| j4CAHrƌ]ΑRT]CXDж[^b}ڈ@)_38JVVE:h)ƐtY!Gwca J߹H)qcl5>{V&π:ZeE)D=y PɋHQ* Qs[c\f-$i {GR5+y~#KQ X G0Va uraW%ڒ )+X^94̯rU5GGnX͉=nEw2Bb+!*Rf1%l\lt4&Wqa'|GX<Yx ?Ux}Zc}{5N1Z~=0Fr;^B xK@n7Fϭ `6|{ <D(LX[Yյ.pDl$>Hzq`:"I7ߎ٪M |'2~`A8\="VSrӇtO ʝ 6kiGL0Da>/Uhagyܡkߋ̲ݙTǽm{u. '/k!2Os. h.2yjUܺ?cW,~0‹79Zқ[k]w]dPad R7>KTyUp:&Dned iӴ>'@!{Ȃ/{sɁUEL,/J^91?QاgզQ,3&$oF^= ,)F`x4*vD@|py-vRq-̅:m^q ;`ˮJԀ`/ȣVqY8&1M\Nh[X<'7p2USS$ӹp‡McChekS׮]z-rlx('>e^,ũPi'$_ lY-\,#ݠvAm؟`#QzO[N"Ry}! E-#4kƎN,})76}~$ʃMj $nQiAEylދ0EETiw"?zfUq,D) .Btb<ɷA>g %x?=yQΙZ BZkb;P;mC1rP%p3=q%-MPovp}J!tk1NqtBӒZYN/DM9ېO;%7v1>񞯶0V5@y콒6~“!Lc"~P +FȮF^NjhlՌLAQ8l+܍x*7sSd8QD3Ku(S0%hsӦ;"G<vV*@gN$tr#ȁ+mN?>#Qmz3  N> oK_T1(k,cg<.5mbuJH>` 'o=tq?"0V^=)Bbxܛh06Y`9L'?K.Bgb.,m#qd1xn1Ib:==$y4KCpu;{. d:u"j^Vҏ ge.cb}agѰ@l!=8 ,ͯkcl7L.|Y *{8;dF0_;-/%'u/M.p[;nA ZI.I&n93g*}Mv&iM'H+b$;M}amI]$w^-Xɝ`l!vP= jb8jDZC}.Jt"qg>U,B`7JHbB{@nqSO"nDuY)}D.T&%@AQ^6Wg2zU/Xg%Updmx U߆Kxnp_8iV)՛l u/ݳH?8],$]i ď3[*\N2R-m17v}r`oE|BTAJ'kxdI18*N5ɘSLl$3jpMUS\K[fs5tYdHN dފԑN +[owu&_si|^~-ݮ16xb+lC)|8=1LJFn0Es^&va{M Eo撛mMŐLxoќ.9=sP1>M\geiFeGDvY*gBRӼ0A%7'0I2aoK9tr]W &-ωe dҧҒvqg XmW9L>ZLNC2x*,yp+J͡?LLwE(<,;TiO[jy| _QDuvN 6FI|!d,KNY$y~#1޲X10#}jhVmv]ESI܄1f6@PSyęa[^[%_RRGS^wwMȅxѻ-KEܧbިP=Aw6pHcK͆27=IIehe!gFd%KdkD1 Vֱף'˂Td&5_<|ӭbz,-FX(ER(܍+ղzsCf61:$YG|M YY\S@~Q)Hhb"f =bjqY.j6 \fzXmOĵU7Wur Jkɐ5Y |`Cxqi44?D&OI=>CRpp9U2{ A]ݐՆ=[*'Xjh D1 jR.\`F K~DO7|lb^=ſ?|Đ3/H~ ԥXhtL*oV%ijM,ɔ/VL[:2\RaL;C&lwp(;S7|V -,ͥq1EKog)w~&L|s KsAnM6s+"Cx׏xx.!kmw4e5Ln 2gWxyDU"ޥJπ[/".* ~2pfjyEiFv:ʑ-҃ +/-goKu.&T`ngy%r@n*vE";3ơIQGG 3c})a>2X!_pERT1S/g~BuFK]>_@A7RZ ;jі 0fi$ ) n$ e.OzEc/w@AW@!Cac^"|I3` X/epT (:xnL[6?PxdHG/]`yDί *pPh\0] HDn~=RB\Nx664(f^:B%(${_`5؊ #ϞsԊ=gsiX]2t fks.oV8H_l3b>dz x$q&u [7)`%f4?8Ŗ4'a)}lS7J1׺ ,RrZJ_8,DJKNIj1G`X ۤM;NnNS$D1^,6Ԣ Q%5p*}9]6[鵗{UtƁyY qvtSp.(^qQK~X؊{ШeɇSnaad;úSkMY1" }JNE N5W` rۥ%5OKP.Rs,ƻv3!! PkeIC]&۬o?݉WE=diJS"Hd+׮qo +@iQe=j^(zHŲz젣m0;Rwq!:qu czWNvItEk%q} E$9(⠡@(/,բ}쩫ݭO{`y]b=3Ӯ +mH: qb_̐FDx'>*i'6E*Qy␐>X꽗JyLƝW77M>u!beSL6NxxwRO/$F4]ɜo?+^koha} }׭Xr0*{Vէ ׭BkrAsŁ&C%0䰮ksYmóݾ;WDYICx{3|Y$SE,D طxu+, 9Ӝ#"TJD:xEaq؟4ĸdH tXl7Cl:J-[`&IS^˧ta?4Pa"f5TLSg(|wjf*n'ue݌gNm8.L=\Aʦ:yPv=E2Gmx XFD.iߢ{<^ZS T+W7+,\})|xYWg(XBg (@ ,5%Ґ^z ީTI? oܙQ76HmQm炯UP茝 #$Q]G z߉fN`s%%mz\݇ OF @Ɇ^mYM HXuWK9DJyrL鐋Ks qȏ+ c9{02JRXi9^z[–FHؼ>Ksʨ)[Rn ^-ke2/geN[p K`hG.S_ xgĴœPNKK}>)5gzzTzJ-LaR;{a">=8iI#t0 Y2s \׫΋ת?DvERa YR߅jG+u>[k&m9 {~ޛ1#>ɀ+;Ѵ>)n8S55 + ﷯MTӖ$;?(&kџklE v<ߍfѝXov8 %Fs:)Fa2 s6~G_b/%Y/[HtբĀ'4{t[ԁLJ,)֘reܼYnm:hVw90VUu9z*6.nm0Q0A{>U^UmW0,b J&Ic&%WfGwpPDv&ut.p%b 3ϡZ igҴIH<:E+tt{[[Y\w \h_,zIc)ȰlB ?xlqg}(=7*``#@.2u8K4cNUy%SDY=oa@I"s2]O/eq ( ~12F%?J|a3 $Q*/rd-b:0Iᔌy<֘*n%xNݙ5d,M Uz~P=KQ`O(pk yb tH@w~q[PʱGtgH$ɴ5+d@0>$O3ywB`Wi2B˫ m3 !g7,$ZtH Lݴ@(=ͱ14yJ`9֬LFeH 43ֹ!^8hMtv,pf7<_] 5iBU֬GqJR \mFUNvAFښƆߤ O;kd:% Xki`|\{6&>U|Mz|"cהǛsيW5MOLQQbGi%3L-d^ Q+(x,s WlAF]JY9tv i$xb(rց ;]8C=3o M†SښQȞ&,lt i9v.'`3ۭff[ꂻfpX!'ǰcA n0r/-Xy#ӽb[&}h^mL.0N i ^\|*X.=(-Fb\R! @ VC/z&u ;4^EͿuӽ"St9)3f 1߲؎ڦtua;aYbvX|[* Y^ۿ LrT E\};I[L`0nT.UAy̕9 3gǿ^ɂbJ9zc$TZK%G~y{TC[M+ӡBw(3?k D 'Sl]dz]II1Gh~`SYiy*V *( 4D­> 8bJ{AmSstsLld|n)zDՖNf<2{>~hmJwu3n7$Y<$ Bo/ʘ11F廭5@ J1O%+A7@5*ȃ9 U9>u:&5N#YΦ*=h&%*m҈gYZ / r  ^/! /A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eZ>M O/zmm7\3tEcLwZۯ޶z" .:=U?ld=jaw~|^#xg4ZSh#F\:AM&:KK.۪I d5~3U9iUC)-Y.h5\E6ZN(w9 #`A$>]\Hs:2i=ԑBN-B$%X!yh|o?!xiju!J1mmBb3%߹8!Co{豏zAf]HrbpȾG|@ѧ+(R=FBhhmsO/FOƮөi4:< 2;RO1ߖjrole$DQ>DBŇXY G)JZI@BgH;;6݈gYZ'2b#q:ifXC}m]L бRMalCnh&J5\\@HLW|>c纁6εwi!~oJWi42kVG%-=C;pFhTH*PJlEem7+ J%5smL]E7n k blB/+!GD^1VٵĠs,ldǣ jMjq[ERMĤ Ml?Έр҇39noR?.suٍh"ff-hP)}.fy5<PI~~+2Q׶Dfm jɑUsm5 XS/%wK=Xke"gF8g0i"яBb DМG PjQ s#j/'=u3g`;i'5kƄYfR]5#+AGTȲElZfZa%ƣD۟ű |SVek!F8NիX 3BQMH-TN( C2kMS }@BwU4x\/oEIq /zA.a/Nǃ@ @\c{b̸cHlR;M2:*OԔjq_B!_*cOY #" ȠĻ`B2xaBE`f>&qô%lפo'fY) Sێ3IX7~Q@ғ뻹-Ѓr+(9)=]-ũDE4HRz9\^G#*^i?[RѿכH?߫~/)uZO ^[4MUz*gzr 7Br3@f9FYqXZ&\y.a5C&Է@z'Grhrq>T9IiF9œPfgD$3&οt ;C\D[2r+9Q2"QPW5H5]-y\_%y O[q;F7YUθkow_戏ǝm#|oW={V>A,-uH~5}+%6+'\,eRxRQQ` gzMStc> cgP!+ who E9+1&=&r ݕJ C9m&,@ 1R$Kࣀ6:\y"h8R @#N)~] Dm;Pd}~IVCu}8~zKa@yoOZU9F (Eχ,8EPuK N9[tQk[zz1$b"U]Q'`8iNؘ׍;!W1i'gE,NL^FQS w^_4{Je6X?4pfHpΞuA!$b^tg8i|VUr}Y /'C5EW:coWb;#S>/m[vN]&Tki _?<#jA$: RI1 f XA6|n KǛQt5MjHf=: Dql2Eɩ1ZY1kUyGh*^G*#Z@KM`!.6ѹ'K!Jɜ (odSdjWh<( 6)qXF8XSI{lk' /΂uf|7d~gҒfŀ^(LM>66O0%<1<Ƿ?QWw`Q>}myUƑ`kZ Yj$?`3d aXя̝J hZ^ܲ,wkdkZ!Q3 v4eX[׌k!cMV(k]GQM@4.ru]Ʃ,.GM9ҥ4Ơە9pR_V{ڳU`Mq{L"{TK;^P8],y~|s|%GKx0y&S@y[2Ӟh3 Si?͇{)M-?ߓk( 4AL3݆jDDt7n)ʲʱ*ȍ󘦰Yyꅚ)6a߈8%ɡQV2Bm%-zL$ ugHpXЏ]ԟwʮ,VFzԷ X ۨf4Mߣʌ p^T GQ J09rj>wHlLE D0d!x{{T*?]wPtѭuqqJm)n,<&u̠_~BWBi<ɂ^m׃*vJS|Uz1&eS}i̧Sـn_iߧ C!Yyonj2bM:3-3aފ"DK,4VQcevѬ;:5~MVX=-@vDerhPkŊSUe==ͧ?O6+xi +>PG0҉J 0ܹ_eZS]vXCvOjPRՙEp;*⇋B?`Xh6} \C?Xzdd2A ̙%KPSB\WZb[EB6˕AcrW2d!wBDz cL/o  +=*4`u)̻^(2*WvPYBQjf=w4Hh^E?%"Mu'l]yL (._tR&0 7/T&hjZy:VV4s֣j-VZZmWWځ=..j32R )4}?2 "UUV=ŭU2)';s`cS Y }3 /у'+U ~</J 4.WM_ө I[Hx|e1T,ӟ8 31Iqp(7¦{ 񜍙:W9 YJΩ :X^=$*w["G #T螬 Q/rljnkIܴ5^MR)/"ѢiXNR_bzO9(iW4Ij+x;7N(6[6d3I$1 "m ;@F\Q@rRTd]$Tۣ{:a&tʛ ;yDό~6A7!ݳu;ײBHyrه$Sɰ9VlM̫}\6/AkCuFy5 F~WXsG}zCJ Fsq&i^S{- +Qeq31ёz|Jp4sSOJz-=S55b)_&[(i7`j[4*_LwԪ-Hfnkp-w*Sr vqO L*Yj#)1r8m]-9|$Eb`AwQ{Ǭ yg?3lYY+4eE?\v*K0 nw\L?4p9agmߴԸ*(7K\'+9j*Y#*=oetn1tğ5,-35ƓQtAVj3?#D3tŬrP؁LB$u6)U`FR{2Da5㤳L%^}pe.|! ׋ÃD+;O\;f6C9<$9{ NDSEm ZߓGJjCzi.ײ4dw(}'ߗEV_`Q1H>.Q&pWѓZ-dM~)YAT2>`órFb#|~*kEZ|0hC r(a)NvܑqqͣCP>hX+A DÓ/Rj]VHh&$LFa*/eE I Zʗ4fCL^⅃^QLM~/=;W ˿䜙\O]p-<6[g(ntnfsɛxR:Pk2 Dbʕ+1Вz)3#3hfa~h+ccp>^TLLCQ2R 8A6ѳ%VC..'mN[:Hl+mCH0E=9eaBY|WgF^hT ,Ƿj SQ zԎtg 鄹t5LMza$)@Rmq| GKv0&>% ׬ -ag'2M_uh (>P ):#}fSl?\17w9wT,]YFowCsN%pI^*/|gfʪ׬m!~{Ÿכ_>w=/3i^ o}rIYt_޸,֜moiT^h80D7"ۆWW,ٍ.ZA/'d[$ѥ;VB>EF>.EtgԩݯFŜurZ>RxeR;KgWsLI~tĪ~I!:H/{ y_V}Z]P-0!iD)9=O @(`(_5 d\P?-!~Q_OFţ̆DiQ1W 4z[6͟GiU(E{]YP;'TǶθ ,R^߫[ "M$8$Cz}͌%3#|cHz@`Yf 'úӕ 9p.pC_d\4]#K"EEE*=K켣nzY;x1P;r"T6=jR$qb)E篤Gz=dcTV'}+Bߘfg |+qĺg^| bquKWٟ<\ܺ. E=Sk+ iWӥQ͙܅H9/0j!<9wGk< 7iN5 ]$THFYR}3G]Ҭ \ )3^1(^U&(OtIqd:BBi<$}=&B‰m`{D}^N`]=8 of?ɶm$=jec. `ȷ/ij-*/2(+;S 0\[? ^U?^=*^(@f߆{ɏ;dLyh獗<,t<;FYuFM擛GB4Grp6Ez ܂wc{k$BXBr# (-_:;@} Yz~q)1HQc' . UIYVJ,KI,uR^cU,JV\!?m* gZU&t^L½eإwRB(/aa~cٶ!:K([d\c_??Fw+nޭhX^NJ48i4Nur` I#ԉ,,"d[>\ic1VE3K=ltq8 DRV xyRS5GLri{Pd.e K-‹R "SK]R?}T@!lh*`? |{Ȉvsq_ d>3B4Z۔~J>7_Eڭ mMtb' o %%ML\!"Ըcxɛ H+ BȤ, ) EoC=ƫthbk, %3CDQB4;Is{`cv㞮Sw5[N{t%rQʗ_)Qøt),- *,G9qi| zJTZl] t#"DeVs3&` ذ{J,ͦvEUQzJbP4o(A!^`YQ Wumm6ՌF" 5O27(| Q>X`G~.m׿2+;jL { (R+P8al}컦72Rū+j+nlxj /w=jL| Vi]%B 2U̶᝺@~uE۝ X^:Va:Dyq+>= D.:zoTPFKjDU&cM:+Oj&ԼTaSS;eBM}PP)`s'2){Xpc|)]v"X\[sB(OqCΈ)]Z)eð쳌)/I$sm!(fhǼ@~~ Mrv&/pHe4%:Y =]49u.&oI'kw\mW<kEVp5n  +u;Gf:>1I .AjqՅpy1mjzf~|Zc-R;;?4*]f4E]q{l ;;.(ZDžK1wu.8B}JK3Ky ̸6[t`yz>Ś.jQLMVi]Q ]_Q^ĸ߅ջ-ٓPIέOBOT5I*Ӑ^@U9PJ(bM_@wEkzJ,&s[;鰍)" o޸KynGhg o=qug =(U$.bkoyD90.2l~ o%># bsydijoXAyc՞d\ I=4`co~&A/"NǏ ܈E)t4b9^EuлHޅjVn!oZ`Ι,`ӹLv*QҌP& )Ze*uu 곙C(zTNQbqU\EO=g0'}c<#J .;1ϥd:}[u~c->?Ӷf cB.S5!xDžpr#ԑ.r/Q)jMWߍ^ج2cBQXa-<϶4Ȕ6$aC~۩mU{4g]<ʛgW=zkHN^6K~)W{0$o2K*Zd,rJ8|џzxҡA(U6 h-,,-Jl EYc9"Oj qI Ox1sr]h}IxS/7t")dʏN`~Xԫk&yUחoás]B>a{Ĩ>xЏryo򒨀o3bW!Xm_jXd.K_ n i+iZ5"؛۰*ګm~_87]$ hq`5JtDutN3\Ҡ3H>W3e)`uII֠NMvFo Oe qL:ԊY'ٖ!I$7WhѮFqHK-ɣ5Ԇ[F7"[0~3%O*eӶaݾ0!"nfA\E6.4)=!֋,l^)Ļj%DPxJ o7AođW޵ݘ&|~&G շvJՎޫqyg.u$CD1<ɆGj $&.ZmLM=@M%T%3ANNq;s~~5{Jo ,ysz*CWGh1[@]ׁdth&p(4-yFL 97 o..xH)M5h4"RFSB@L8)ޓZxxrǕ^.S2AUɿ2 {-|l/hi*w7XQ}Ome ZXtR# A&Ƙ@!֢A܁JIxꦎpϦ=Ȕ55!"`q3\W;CzxcՆ /kF1 VcP]V' vUQ %8~Ħ#R UIeWOc L:-Ge!A"-y.ʱ*x) 9|g;##Br2aUؗz= [jkcLJ$/3~M7%0 K OG +L3%B tDa?g)eSAL)< GyP2,mtm=03N4ɰȟv #Y`OR n/3גF%3*P׀h%&YѓfA{]`tKEMƒЏ=viQ:y?Nu::I8܊Rt1rWLMB6[z TaCgƱӟ˔WLiN$5,f˚y:gySE4ܧ$M ϔgmP8OVLdɩ}mD趓qq|6C=EEԐ ɶxLt{l;Xl8GUFU < D.}̪_6lVcIE'u2^3s h(B JuIb!6] lHNEr R번Ϲ]p<׼F{g4i?e#Ee(3p# @Qޘ;rIeZiy2 (=X?|DFl&ג_){T/tfrJ-/傑PԖ+2G]z+/^D5Ѧ8Fg&: }^5nۍB֚xc[e RŠS K"+g 8Vk\i[\AQB|pܦ߂||0? ւ{i׫ N-J3ל.elR.ME?0:qe2q0`^@r*MֲOͺU~CIEizc0WAM}-Ί-.7Kq:TxÞerI:]|(Hm !\"77mZɪ)4,|I}+ 8M𙜇%/6iW cWUYt\dy+ǝʀ1N]g\JmC;c'я1kk*T@=DQ"f%J5!c5=U5_gxkdz6BJ5JT) jm7tvw]JS05ְSlyy;g?,h$-,S# -21U1o7|TƩPin>LXf¿g.ۥL4qCL5Aw^B"6ʬ猝[u(`m-0&BL5fdNxukS+ Nlu1N [gˀ`HdR~$df!@o;_ĖEʵЪ@$q>%?GV9SJleHVL0.Jt9&Z 2 QR%=pBzˁTs|qBl8:+2)A~>h{/Œb94Be)²+r@"lS2Wa]?g\ 9cQ*?Q2bƥԭzT$RoWxdg6CjFЭP!ԟ-Ry7ġ%WZ`/Sx!lm:1BPF @lnTy۵T&-y Q߇*i-/yŅЁQBH&xA0"R`ݠ/2kqr耠*$WPQOJa4:\8KaqЂN5M9<'ms(O7 ֘_g`3n]#}qj7:+9X/k@,b~-A#8hQ=dXEeyRPMzhA x+LR! <._"eSieT/'c<к}gpѬ<(+)gj%(kiw拓エJdDE2 b˯IRؐt][$&%!K 9\a̠)A.יuI ])9|<1n&N B#T Mv#]4N!@)cSVoWP怈-Q ~סQ`3xRMIGf ܌U`(>iހx[g?6vEnx5Bhjvjo0t3iIdϹe+ټIC5/Jѧl`sNChP$PHڤMo(IpԖ= QŠܭ͟⁹LKFu ~{ۿhk1'8"ruW%**ɸ-.K` BhT |nc, OP&U8AAdu=d1y^p?L /bь}; L5pWDq9ŕ&Fi+Lr6U[֪"OsYYyI(֨uמ}qA9 kAșקzt _Qc'phm{$IΥqz5? /ɼ漾 I7[~* -aߍr3/٥`mBk8@, >փbçΖ+EݒI|HLYF#/+'w+aCu߱".]E;7vO9F߸Ybػ݅7(bL\1GoLH4Mʇ) Y"v5ו~7HQ=e^GײL6]Ә1S1X$ɇw4cI&BaGol3l8n+G0o/B"f禧j9zq7B+PX({#sȖR ݰbxFô5GLݾ@ 6KB. [Q!6K&Jr9ĵ`>Z "&B$'T@ʖf"W£ mI}2 J歯n^st ox4x}ڞ*&j [^ζz_5DŧT9'Zɑ^~DUCӴu!|{N4v{bkt~`h7|:, y}5iE7)hn<J'd0Xj^ӹpO=:EnK_Ֆ~U`=#FQ7f{y 18 R:^ծۥF㑓rf=)W^ә ^KҌ,?%)m {0ֆ풌@Ϳa2%~^[)ABZ We 7nJvT41-s Wkނ_nViS}C e$sFT{#;dDC3c:~? K@T7i.5.7 sf&ǐk#4;m(Q=<*eD/9܉:U2˪ĮL ~8~ciqV50 QU!6vJJ!t ].5uC,P.]|zfHۉ>fվuB72*oY vv/WY#SR|2GlؤflaOץCMUf-=]m@XՖd%H6Hʞ b'au% *>H9IP[G[-sWô@ÐV\D5)ęؓj/V=6l)}yʘC"5κ~!)<xd>O`--u2ln'huOV쉌xwh#5)S.~VJ)qtdE BlnKשZظ (tYzT>VaĝLu`2iP+&:p3l["VH69c nc _C/iPa EyҚ_ۘW֩ghWDsKcMuN, [94mtey{MXTK:F/fJauƆt>֓CLx6w3q ڣ0f`6 _sIN|*oB(؊ܦ ȭ4ex㷻e᎓h8'd6Ğ%<*WOC~0#tgEHzi?"]Bj1^:V:M[RgW6>gubYjN4R?`0~D1?ft-މiJ-'\V-|ds# 6\ք \dAyNW;o[t;W hg:L]8 fпgp[xn/E.Ozej771]<{%5| YӃ\CG?y3EN;~1`"}vT`l{ ޳423.TJY;BlAByV+7֞cZ8!<<"º-[Ty+5|3 ;W9Nyդ1_&1T5z˽:g6@,%JGWMvkB֘&G:=~" orL#aA)9+!E!D̓/ Z!!B[Y)قk`^f,gi5)Zh"EG^..,Ğ5S+VNa>8D\%tQd/ZFˣces3'aqRuXgh dѻHbxX\F9q 3\jZ 4`}錣M-٣a4>vJv=Gžl*}LPߥ: T}r%`q8Wt:]E,*R5:@ir?bLm{G?i/BQmv+ʶUNvxa͝r+ĵ>@j%V6EA2i?tq b}z'ܙNkY WFś>E2P?¨0ʃȎ0S4~Fe9RFaUJ'4qr)vgd-Twq#&,ИPu#'w*E/x޸8au^>$~p S?%횬$fc` 5{[f 'ǐ֩ LxR" sShZZ'^8 $N'蛜iFȾjX$n}X.?/jVH_πJ 5Ɯ-N Bfh|)܎ɣS@ؕ9-kP*tȂ 22g3IJ1L|oy(eK,Vgc0/~ruJ+~o|KWth.!J;Zd( \&_01p ^:9c ٜۜhN_=z6Qiն]k'Lj0{M/CGC&3GuBaBg =nu&᫇wa g<8': a3yUf7[2-hI7p'X0RNIUhiI 9fm5\rWHinOio&L\U0ڹ֩HpUTrKgZ/`KnѠoD޼ɍhH!,?v5P#Mm pr5EApRJ}c*ql^èOa`/md@ 6΢U[c>lKUYif' [x ":űW2pɋ=6E%lyu+TpC ԀIPp4 IC "lX>ߜ#`z}. MWKΨZB3`ྍJ]XHOe oN2vy`scP&(X  Ϛ:GljVK|ںt;b 샕H Ȼ9KVbjM \(ˬfЇVތ):7WHI]:\K_;_:ũ&Rf<-B|߃e/`1m=eN@zr u> N p扗I巸o P+vUFYfl{f-k{go+ ĖQ ץ8)~r/l$3%6UxHj@TfMLuBwZzƹU<6-,o"Pj-b߄]MЖ#+eG͡ʒ8I9{ⳏ,? ORaOrX/9  L uC͏\ fe_؟ǡt3ZAa[#> ngeezv_iV<,'CRۀih LCBh&xM6܃E; >~ItǝF A,RieXmxO n+jCF)ec+vx2%iWETv +絲p{J#s&Β6%tʨ"puq ־_ L ~ Lr0i>>1yyr~0< 6Sޒ ψH_N]P]]Eqce&+p3~Q>_HSv|o*T EDX`}-V31(~_ŒCN 9bwItNͭqh2E zH)lAĤ7Jޞ( ]!@D2IQ"|a JJRYpSH mN`Ǥ^1g}(z0ꖒffcxVVN5_5H6tlJT"hܰՁI,ea&Pyy &kw`fAQ|~}>M"zŃ^(4t5T7L!|6`SRw؛> F?RiPQ\,Y]wk[]J9EA(IETkS TQ*:q~.a_B9Nĕ\h Kʘ!_-#%<# L}WGA9 Suzc=wSckHOf*yY默ϧ1Py;Gs bfZr_ ~{:U吰rՙ Zt? hBDC9N"(C&nʪ^'V6~ٴ^ /v@K`pA*}|<)c^YmX[HJc+jJlzyi:jbukW|*;h0_Ōx"Y [XȨ o%ԚF0KEh5Eiجh%)7+uE56"iVx[Gvv*ˢ-N#Et*ޡz*v9 1R靿ȐNlODuF|+ͥB\b]-}98.R%5MXHIe2PQD+i+~ۇ&!rj G灥7)aV$uzt["WVTeG>SEܳZN6= Ҫ HyԴK« ) XM"Lg^!)Y+KB8h*x[?h6QV~\%n˜x7нfGo#` p>̹H$ PY|jpr)X:jKd} ؗ:'uS+q` r|zԀIO7r}L&Q;AbP='[9~exw;I#!# $2<҉hͤQΠFNaujU2:U㯵g%uYs{凰6arf#OΖe^ OE52K vX[Z :׉XC:v(?dL:is,i5?9lC`A) d 44]83. f-놆-Ɏ8%4<۬y2p.avCp%4:8ɈrБ$ qqrc@wN-SHJ `QڭKd~SgYZ ouoa%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1*s=9' f[MEBt,+%$5EԒӁ01ˮR[^r#T~U"[O#n_  8*e3H٭<%K9b"a|[mJk_<Β':]qJ.xBIq3<L1Oҝ*:B(ՐP (˝`+_+cT%m^=&&;L%|2R݊N ]Д:W*~ˌR!vvK4ҏ~-=ELmuạ/0L 0;y]gnWXTַHk"q ڎ,Gq7#`a= o@`*.bTlGYp F{ryA"ru=00 dg.ݱL32|̤ȹ0X;r rhc>>AQ$s:_2p~"޵IyKU=Ƞ&l jNI\H@|_3s$ W׵_ 4; ܮ"WIj;_q P%Jvm;;^iݘ6rsK}:wRW{ܑ-ֱ} bTv4W_HisS'Zدw;Z%0n2؜ek 7w Cکt4xm'ܻb^Soz|Z3a,ɥ9%3˿=ggoU3Na}WybK6M֏@fU̇5l}{Z:Hd)>?cj'y< O) z - 4€(A63c@7:D }ѣ}\7Ͱm$r?:zk*IH Qr u@N"ٚ̓)bkٲ_*IܱeSe,u4]sp&Fm\,GwkX;Xj TH\#2;`(Y5RSRJM/j$|.mzCm=b)p]󨒘D#f9sV^p%[!du`7==ynlP_̭`A⊓a#`_Kx9J"tL22_!Oxи@GaS#ڷtJ*:};[QCO97ևpȐs'g>+Ogyͅ$L {8*)bfP,a*Cό.0#Pv3;cːmmRGƒ?\>(GR!Fmڟ5/Sa6?Y9l#}ޚ3/jyOr>kӷ&"7 j-sgԻ^|Z2N?.܀3넃3-4UTsW/z>#J /M^r-[|F%5L˫(M;Sf^dwSَY DۃvW< HIߎlgt8)hx\Ԃ(x Od|fΩZr؃A~eS{7ם&7l3Esr[v2*0$`*gRqs~Y6`]A(A(?ʣr(G T&KrwW8av =xR}QÔ gMê5PDKq.\K6OTwPU QNtޜٶyѓD ĮY :=d]/ 9Ge;tP l#焅y72/ěmp=+S0vgt-l: ywx=wu+[%M͕E 'buVqp%LRMw`b4 _C '^5JV /-!=Tч~G}F aeKU|vr W Dg')*w拪m,wlr=3U MwD5Q#~ uݨGzsV}{`{`G'gPf f> d;6lH!WiP-KwYLPKW_t,8|`͗RKtW?4orfg:!Zk"e9b̿|ebm0A4 (ONvGgYZ.GKOȪ^)@E&`Y8ԅt (#eG#̶~ s |HR9`~ßWsA{xw%cl# {о|0Nj~3$y8\fPLD)##cEΐH% 9ڭAl4ZR1wUƩ 2j_E}MPVrډ'dqPUЩוDWt{^VP2O2xl;;(5=Իqsm@^лz?8rg]R˫E.AFS@Ĵi]qYGi* -;<]'{ږbzjNtvLۭڜ qbR/:4!g"/Jv]~}O "^B PZQw 8?)OJy&U뀒UEQA#r[Uiq=΃iԗ_n%Yr1ҽ&&?藕v]- zwM7cH qj|j.ު_RQ6%=鈑r_VCt3~sl](y8deӘ)u 7&k„@}3d̋w-MwR%ް\Ev&ECJK~Ц~7ġIEs6'KIoIDQrt2Gjq4 ZogLFI=-Fo(7lYH:T71*LXvȗ]c*$tGdfO#X 2)nL脜/lSy \_O#Dx"& Giw?7*Uy)7O`4~!w0I(39E`?U)_t9_Xol0/ݧ&8#`-;q m4?ְ[NEF Xg?@1I9`s!s@$֜kG-|=)~@Z_Ȫr;gU*x-:Ozt)''G!x@Bi!)P@MҠeU׭}Q|!? Vvh ^-b U#>eQ/1p za|OlBQlF*|ܹAߕ?z؝=2.+bE'N[ӭFNDLf S2[Ao@Er編Vzu,mͅ 2eo`pM^3py1T8핀&`FWQ/ՙMǭU cpnI`b1I.BӀ)ށj;z7ȁgEO ї"r ڴ2F o=f } Ģ1WKbsk8̱d'wl6{Mv>wk`2L$ ߰FۂJ*bk:xPLb0 Plfk[{tk ֩spBd<%B_#<ͻqnJWK=Ư׏B}[?Jo fO%4=fJ \A5 oƻ9?ի sIe,y4ʄ렚'D/0)>x4:icP:sQ2,LJeEc|hW7B;oa=?^$C[|%4@1B3x^8(0@V.? 2W32,FGKs#כa<^!mXs̼@p3mM< +qmin}Hgʍ _͒#mzl~jA'<8x>8h;_ bOJd)26ϗs;75P?qt@vz<7(T-EQ&6ӦO=o#SD`*V0tA$-q}{dLFGQJڦjСƤ pg'1NPZsֺFwC e $j(ҙ*i},c<OiERmd*,3'ȍ5K@_Z_y1nvp]%Ze,4z:bz$11 k&Ŕ5gE(˅)+R^A2+gCDMa5᲻Ok(VB]:JȏvSl'7:u[WǛ0sd7^mJl.):(A2xhq&̩xEX2Yz2j0qE5 t`G7 +A.hZ@} Z@.F.4mK w tQW~U M넾(fLJLV}h;0k2yR9f9R`uHM!{=7!j\Ґ޽.0 ֔DsSSBeaLRYQcW_Pvi#vqFp/ 7TY9g]Ӑ8#eR#T%V lP@| pZBfsюmuwŰیtYڀUTq+;'h=v[ 2V}SIZ. aiji.3(KxfϮ M?f*$oBot'Y=o8__u d|y;wBfE^3݁]X埊rJ5h74Ig+:Z|POP/j O7lxMyױцR=m \EL([cDk&/:0/!l}~C:Cq Y7eG!sZ)>Xz*9c9q&XPv:`Ua";G&ܫl°̣Ӷ ՛6@:tX,\bByҾ..aŕj4 e) Ʈ;p.3NeIi'D޳nEU3:"c ">uOx9Ǧ5P$&IݱgYZ   GU],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208g*/C# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;e]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3"J;l} F*pZTBN"Аvj+fER^iz ܒl%4eghV<0TݩeZD}gl*:D\L>RW5sǙҘI'Wjd2x D+ Τ43Rp\ Uw uXS G}??O@LI9-N6NA bR sm3eQnzp(ZDQIޫmtk&b>g<b\`\p-Y7n 'T.Qk0| %ExPT]SU_Q* #7=)OԳt%PnsC0eDI Õ=nߌf}z?zt4 $<`L\~n+;7 l7YYT0-NSߨsI\-:`AZ*UAo]s 5|(ͱӸǙyP dF/ z]\ E@],캟뛁tD(ÜЖxӔ @M_kH/Ǔ,9eCbܢn^:nA56a`%pسȠq+2xpBP*_gP{,{ΰ; ݣ: W{RtNQR0z2g;ӹEcE+H&@iHB⊦3#YZS.̺C"6~nY_[j ̻iZ4 >hmvp,/W<]' ݩTlAhjFV/4HR V2X(ȅl31QEGR&Rj.vSh#?VEҹhu^0(=}Ztn`52+Dnі_Enׯe7 䏵8iȯ!]5!L AUo ݦ罍Qb-؊!✹/4W>ʺv*}T "oƥ8jFHío2=lt7`(TTբ P?d-[ZMMlKUyB.5#Sۘ"i)!~ 飙ī qFYOD 6ф fwfGp@J Jqcrq[bJhPeѲC1hYAeEO\W~37)M}/`!zvRR.iBzkUNzW\)SS@EPzx]0ֆbf~2ܚ՛ML zGpOG55E".zQT]~۬uwGr/E-~-LCR] y[I^VAs<̤֓4ؽLԫU}85k+!<m TO>sʻC<a9E  Jqea?#3{xX׼`kft`7%@[num:=]IlR9|zW|Y0g_w<í`߾2)֓mE')SQm4Iإoy %pq9r蓑y~ZJ|˳e\摿PnX2MG+Ra[T7|wFh =\ǙO_ C~QCŨygtAK;mP-TUt wMAdD[)Ť)$:gp9OCh: ]p (gմ^0`cIMr{+j7#?$Q|}XcYBrYƳ1{Ps@^9r洢(΋ ШRG?TJاjqI5o!I~15i)֓XcXgXet=f{ځbQ$U;3Kx 78Sf䯏v܌Y TaldaBi vL[6r1(iNHpCt[#G؟ <~u۩,L:y^ 2ZvR"B ÿSsxqlQtͩ<]N3S^Hԯ;B.CyeQюwqa8E0F:@LQ5tr%AK&#<lE5Y/!nhj'P0&VF=tRSU!iUg<5Iu* jڀ78"<)ٜ뷡x.R?VE/zT|;nNלJj'(P t|YZeeiwD@Qu%'>ѿvARbVey{ !Ċ~.4tguaz7sCuL$ԩa)GC p?nɁ܊Zm w{ Fq\.Nw+m[5@~YwcVFmv .O:٢.*Q;)k"Qfw՞co'uYyg-X [!:hx77 =T%re7@i/?Bg%h4"}-<;ffd#.:ՇtB8XF-3trR <ε~(NFC'%vq\0AWЪ@Ńn:4R <}I [-EfAo{3HUZXNB qz3h%xDuCGm!t{.3ˌQdaL`'d )1A]Z'` S ͳ&@͒tf`G+SS,OJ?7o@D q\'mu!f<8#x4CoNSd&Һ=GY4۪w!_E w1I@QsE _mW;/Ou8 qEsNoaU:D|8;}%T?r o6@r3j#R= kcQK, .*̸Lޠ'4c[H|$Y?[ ƏCYJ#B?.k1/`2\SR*oF +NdGu"<ڗˠ1/W]8r_;{G6 . nM>! A^q[2bs2 ,EywIŞ[r$DFPW;١,8&Gs-)s=ڗ/fЎVYN`7_Af^l0~򉧫ʡ2տrHR S9=ڙ_ש=!.w֯-:0 Lr:m#"{]0kvhZl8bW5d;yEkMU] -rG?ڼ*4 U)֣Z$ANKYfU>0>L2H'$*ǃu[I%4jt) A{gYZ달K':҉\AERqH5!bm`ˠJJkcꗉ@rM'0(Ov6TRoJ]DzvRIi8Pg WzRJ&g!ū'.Eʖ#Q \Xe{qT9:@SXs&YOH'pgF2gYٰۨ<v e 􄻣}(B{bѭt<")kjtL̐՝K!1 /¥KiB¯=ty7ܠL-9CQ/7799] YDĖ&PwJ7k+C"/k9A6"!r3,I\8@^GtAgoc [O7'6%t-Nshe}gHrKԷPބ@vqaŹ be*|R(cVx|u/ ,nOȠ@\2xyl񇋌jϲ9)Eo 8{4`ܡ~6mdY- Vl>Vl![Oȑ%jW@*S,|By4ŒԢ!`S_(c 9F[b$a/r s7+aDnĢs!?l*Xsnx!D^ qky}?|ա󟓁OVs-|m?^D_;ΰ(!EɂcsI@OXefUr@RteE/}EN8;IoI-@%F D(phq8 _#d9xFYFPP>Xf}h0M{%ޖԁMT"Qz,,4Nq$fQ:e#w|*Nd/Pbӑr ?hA覯 B-&*M[WtL;|]",+/<:@dukt ,b`Rxl{jqE P&LC{EdO;Ml Lǒ,*8>L'o0)݅76|;}A5(NQ֒j мQiB rkJ$x8 h({[vYpًѢQS>I+e4ߏ tZ-KhF#s 'Ԛw3F>{z>USx݀xRUqph1Hm;h"wl]Jܟ29=L5=z}}\-7m"`pc# f,B_-h~rrfj=QpLhAtޙGea6o1UjU2^_#A% Vk9fVă8cbJဋɱ` _96ztVj.kQ72؋05wŌ Ъ.)'m˸j~+I)uM~0;S! RQ7`[x]YNuION);zXuq3;sj`m>&n:H7ymp"dZ S&`\7?4fEDz({U$%* Ik1'VHX!ί fH Y/ Ia~h8j9-!N.22P*Sh;^Fi%%Gbc̟ #^ 4SOPٸ/`/+j53xv:`aһU6{+NmqN!߬gf?=[XX{J^o~CL ~<'E[MkLxK.$0}Z6$%독wrr]VzbR5J$d~-&:9AU,pbu|L.Xt#dJ]40Ql%0R|M/K*; ug3p5nR*4gYZ  !h c0/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'^}X_y80"ɠe DcWLPk/%G9v&$y}9n%B΂B~rgѵErN9)wÊI]ǝO1"H3]IېN<Ob9iH" D7~dBɫTcU3mV[zu+nj&<*QPҘ<ƲA贇%3I41^ *!l<ھm]ZQtz'J5U[ :! ؅o@M>#9 6xB]N!ܧ=XT]JtN*uy87㘲oʂ;8&{L7Q6ɯld k_;֌3o@IBtACjQ>9~c(G|>q!fEy6\9"5 =8="`mmVID igYZT-/=# ^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A.d8؁nJnI!TY2\vK%fw[B>JeAA!D"EN2W> TiY,4_؁Cԋ%E+J)jTuPZ Qls$uBQjFTKrd`hɨ(~U/t7̭sgHXM z#r uܙԊR׵ | F.Bg_␳oKcMĘnouI""S::*ANNY'N`&OOOJy2BmG0җdC%fESo54U8*j-Н:45Os>8MjQI}DuHIͬVbEn Ҟ76'03 ErtW-Mńc~l%tx⢙ ȃrHi꣌rqtO.5c&JT|ȿ`\Z|ej8žU? R7C0ޣQZO1Vlѹ(tVDJ=)hRͻ4Xo=?\+xuz ;U3Nl {?ҭ ƷhϕdĠi*,^* OZ*.+(C>|a;ث+kOe~ kAju'X穣 g%8k%ϳ dM0֘=92C3TCQx>#dk ]ojBV ]s1:;@gGH[1+]-⤅)kS;Hi߃{01 (?JK&JDPnua7ȷϔc]5]+fԏv~4~'; 5bEdKh{Wy4rY}|dF ?yQF&ߨ6"eȍY8=\ѩ.X>?0,j'pR rq]tEbpnF2({%U;bn(\rvLbڰSj-[EiGB@Lwݑ^'>'`,MIN,t 6Sʟ~yKgCL`M;4Z>;f$@')ecd;i\6ZbV ǎp H YQ9_s1*Z=3sZ4%U+zAQ\KB'+{q6)?Gxr◦؇)#߃E6Ud} eD'>!.J OKXH.G'ڗHg]vVݔ^S[HlpύIK|N%-Zgk_z`\[!4k;M_R Y/0+ Y{őˊiO]anV p ;1A4sLY޺f}t<ӝ۸|` 0/vG H%Al]XG/\pEpު$Rm?i5}^PSH>+~xfI&Sr!l]tIe%Ħ>X$v]2s|N|Cgtʆ=㾪*9 r?{ˍnA޲ MjZj'=tF svE{ [Jc5u Pm Cvm~ BO"Kt&bs2P^$ 4brZv *Gjt()e<,l4-#UAhm˟L3f{=Qd=Cuoҧ*4?K|8r2~ $?V/K͢#th6IU&Z03uwRZIN#Y^ jT ?Qymb í!7jJ2jj3O|qțPwiWZ9jq_W)n#)b0| ^!CeGa 5o1b=;ظmd(ujEΙ~pp.Wi?oy[L8_.ā>e5=:B |s]$ :x^UKzuJ{pt/U[EB:RY5WQÈ]`$Kؗ$IF4X,U.I%*SPx.[bAjJ~d\oLwh̢r'Ky_hM.b?CuI<sIB@K'fB}: HchFq7l7I۱([$_OPD;͇fGY$̚L1&%_7}rY$  n"̭lIAŽR6sz;XʬOZ3TT{ÒOJ.Qm> IaZv;̗u0Qv}v\՘IZx&L}k1Ք,ǐnAg/ݯÄ!'kaэdXƞq)X@xÝ$yK?fWvW;CFm TWO }a9b}w?+X ^jG?pXe` Hxk;X9HÇJ|;:`/} \g׶S(5|4 t"OW;ނ 8NvkNjۙn,}<3mtI*SPG>?p,߇3Bh_+:Z=PxƑlo8Xf/ll@3֔Hz ]KѥY7St2mqR&ĈX9HWȄлǒ>)*V!b_'C-^U>ؕW;7fA :hn s7\CA4 |X,F/a?Z*yp4(EU)DPcAƩyKͰ pFo}x6f6<9gZziF6='t1^D֭zf|"}J!:W6<;kN|U'R.QTiS8 ~s_DMmQ3]ʲ"vo{y>u Ƀ>!Ld? L3Di4 nbӒy~T1L֡ \e8X+T\ܙLzc$*( 48+ʷq'LqQH2z {Ż@#9 T2œ̗vl# me2enĥGHkf4nã_:u9 *   6^BsvBЦŶM %G{C';I R1ny^D@4;G7*m8R/탸 P_2> Q-gz9# 3tz(\9s奆p.LY| Tj1P@͆He#A{i yl"q+jvhssm M)Y)Wё*ϻ<7ccU^!򟎗%JII295mhf>  4:6<̥yT "vn\$F=K R`DPjtC<h=[+}S 1'cKjMw28к9Ӆ/e H q)Wjcp{1I,O1S,4p_ ]VFFZV)J1&|NBRXsežRYKπ VS'<nU^Z$ɕ֚G`6]89_XrpD yl fq!bEd!Cﰏ0F𦣠3HdqȖv6xrY]62mK^c6 & {e G1L]sKLSoS3Y\(xU/L~8ò9_lT@Nγ˲DYArJx2gTy2.|XVIJ;;4Ku1}ɱ_d)~0Z^JAd&A~a|N?un#XoE%@L&FϪЮīlmc A=+jO4XIJMS3[$3q]޺:,,{^G]7gU2Ղ0!cpğ#|bN"FL\Y^d鄔l@#ډFH*u\ ˅&u\T Y#G]. H<,"^IFX(f%hޘ0DKm+R!2 1%GهQ{nȗqG+n;Gyހ$@zS٪Q X0)ه\yUHڙa/Jx.Ͻ"_逰s%+EQCynK\n$޻7ǭqQZLgU_))b;F76HAhwC*P.uFs$6c?KGXdCO=حV_LEARXdcZSɗ#P޳Z l*kAG3n [ 5›ݖ'#b$OD}"h6rzg" sIaܕu~[H.e(߯VZaOE8 mfyKL@IW/@< 約ڐkP 6qS[5u: X.uYέwPԣ~F $D,f%)?xdk=2wv ؃pK;;?0LUeP?q[VݟW{|D鞺nhJ =/Of]ds'Fi`ny#C:p',A͌~ڣGHN_P;J& t['Fo%YS?NW~tWnm٫I|5RKz# k sgӣk1qf?Cb}$NO8_hNe9ay+d~>ډPNtĞyGs*JY5r/q7Tt0 9ψViiē-m GƍQ{GPbe;ۄbMiȚ#&?(aSԠ&ϷSYܸ剄*"d~ʾHds51Yqt[w: e/I KV-G٪Rb]VwBXWʪ6<]sRvϕz~3pЁګ5 \=$fw+^(֣$tBDAQѸR}{WgVw(Ȥ)"NɩƩs @FBtA~EETC+$J>a:INLcJҁ2$Ls HzDΞ T|oSH숧}l#3~!f+_pNה2 ֣h~v;EXDA9nǜ!Xj#'`9ц;'tZo|fK,\gbX ]g[,DCslKg}-vD3C5ӽoOrNSoNԊamyj-*j7hO\ >[4$ӍnH3@&a^i,>$9/e"yR&lEښڞD.ɟ@/i4횝!&Kц̟K$XfF7I]wV :qӑO#kTmp_ЮO4z#)t}kNOloJ0WoWŕ*|N 2R gGKf$*q ]uS/)í~i;Q+NBZ&Ɲ; 5\WՖ@%!i~4/~vl z<5IhymlcBCX$"*ο+x+3]TO7t%OQ PZ8'I;i cҴ*zoijD-ҡTbr4ݳ.kn?o3]XqG(z Eٮ4p^ue) 틷r Ӧ>3s9*Owv[~}De.t]q| D˫^qI?F}NVM$8 dAz3:k8G!uٸ"w>c^",Aj &_ooy@iЫ`RG34v锃Fu2@t6rA pZ݋/JgYZ6qG6=Jg2a3WZ%ު QsJx%"M&5l)ȡEk\Y8KѽGT6o B"fGl,G8Qz*m61KRF-V#s`.C$/ )9UPp|Jw F_ㆮ1ÂӦelZ'ht y9=ԙ߹٤IYO5lU2qƀLOCP}uvCc 1a^Rӻf<diū+yтX~5e)p<_Et')^Es p,yj[U] LwxHS`¥[9Bj-br)X,8"mN\@CT<+$i|LQ4?nTt#c[j넼o=JOv斎B @/l0SM֗dnWr\ >"N<^s-f{mw!Dn8s 1Vh<,4fy6yZsa (pة| h7N_ nأ=1iz21]z CV` ^\u. Q'cU[vǙ~/^[ 껣 )ʼnKư竑'!x})B.Y~o!Ap|>TKq{73蘞>+SE%ʸ,f"̓56/;1O9< #PYBǘd^seQԡCe nKDy{4/$rdkϝfW!LixICBA|2`z-G=/37)+X-KW8h@OMsjD #G:P參-oYJs< a9~&J40mŞ,׹)-QMHڨ xH!U/GFdS֋#2(0d7˶+XGebl,rjV]}21L4>UбI0]f!ie6:ASNpkĬEW(V q|-ђdjwe2rG.dWyƤHBq(a.z'H:`9QnQ|݌],d>LBwD!uw *=pp;yN9r=d4O G@XƠ gt]b>=28pL0\hV#<2է,!_ֽOf^EPƌ}݆4nZgjL> q.=#dY C1bftn.VQ| KKLF b&H3\硷>\~*"\oYmWLB+ vzN=`7^C|2X{aT)ŸhM[V޵@jۓv+GEg}V+rwT6exa *)Ρ!z8& #Rțg`^bww&Wc_TN~hb2;~sD pb}{~uHz~ ųμ{7F~'èeŲA̵P5`(UUBk冷|Qfmk&X dC-$x|8fQJL][:Pi,F0`H23oTXiҼ:-oI`+xsg7] dV1Χ,J Ca'T`IŌ:ȁ}i~CL3h~{(/CX|X]cp%oGiZ&8 NI{NUUpT' aUA'07oaomID[]N!r^Jsd$|V_8;;ώ:xw\Z{>PDXD& /9/"'nMYDTGn+rG$m]\|@yrj4-']*9=FrS[m|&53j~&Z|@3~FmDika7:jUb,N*OcB^=:;nG^V/J(.jv ھ܋976MضoV8*Yy Y)唆ak^۱Auѕ9!d2\$,V.r7\y3Bύڣ=Dy+N4hkP;x Yi49E&.с׮)dnԼZUy|s$Ȯ׽1_}4,ZMnZwI-`Evj޻oS|Ec lS'aS)}ՒHnIb(C̈"g"4Vϖ塞T^h][Fϳr.:̊#r_8Sx!(}ـ= vAu;P>EN$Rn47 ?u'2Tq !ϦtuR>7u., @\W:/i.+-Q ڱs~~h}U zŠ# J)r"5zģXj0B$Pm0r*s`hn? N+{ଚM3aFUL&|Ǎ7חHն֋xzXXEjY4P_[@A2'C&W]>2"F÷Q.5,D*r7KbqsNVT?{>`\23c-{-RDr(J.Nz7*;U q%0 ?ANtZ4m@&|]י{[}7a7DOҎ8Od)tnJp>dVW"bGjm| y2mD|^dѲ;WP¨Z&(:ckdL:w.QM嘙\R,;q UsX?BCP~ʎ! j BjD 4]%^E'OJ'9V!k$*)v`*JᦸY\< "Ԍo5{L*4rޟZȧ{I/R \Q|I߇hNya럏$-@2dMY:S {S#p6ŷV2n+}AuL.0l1Jh 5j܆o5XΓqXfDž ڹ;c㛇oCV-ڵ$ih'(AmhoweAz Oג M5)0C rBie.wľy&!:\|\}EuG{@i)~?>z9r~muU_ZC'poҞ} ɂ±ޙFlLFa&ָiz<@x rȰFq@Bi{njb$hNh>Qӧ![. |-경lD#319OJI*|Js2|:mYYrڷa3_@J+9 ϱP-ZBhL!Z `d?*s?;*B*;f*[YC|5!}L,o7,z];EJ:j[*k|AD|1mȌRX.cL7YhDASNT|L6myZGt+.#422k;#kNPd[pfd6' #VH@n8ɾgmH>F7ǧ5#wqfG|tj2[/ Z=Qu5w"[x0FEc Sggk$7N-\Pz+wld̶Rrw JDĪxBnnN%;-:h ԥく(E%c~E!xao)$౗smǟE3*VQTZnK]B2k얔 %IKjh3s$D?ӑL/IyΖ oTƣB !$JB/vxV'>x# b=uŢ]Mjz-1S` { p̭77sC{B@ٺ=;[1\{a`ECdH:I)"0R5^Q Ly Mԅd$+>  sMB }3/#kîQgpab'`\g-x>y}0Q,hah_܏M@(3Gܹ*ge$*`~uFN UmeQ0h]LSX{x-WO-W;3qaCAﭲ c=;dAqb➾vo3^L󫘅s͑Ld}dX*F.o~=q+:r']Bs(M׈&*ŏŦ4`0eUH_'*&Ġ`SQo~7f/ҽT|Jm.@:SɍmWDJuFjaJl[7ڷ.9*5]0'Z)VZo}]NPBWL =e"hԦ[%L\r+H} :%Fw 4C!rnDEG|v c1X?u)\![aE*xӯn!yOWٌ] [h*qP7T5'Vv[slxm~լϯtn+ Ew(ԸDq\/tWU!}h^! mm1k'V@iL`[VPf*n/TJ4QW0М H&띔\Sp\ѸKMfD|[+vM-S% CgZ# / ҚP;23. )RNJrHWOk!Ȗȴ̯)#3:,)s'+ˍv͎6K$(OA#:9P=}QK*N1eg"#*;Ps*ȑ`"F\sNifD.@t;VJnX\Pn'Oi,t8۞o%U[ʀZNX7UoY)ʋOpE, ~<fzAvlk'<ZYbw^.wGj3 2K69d)Q=$e Ee6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8H[ Vq6h,74'0acsE@;ETs>R/̐բk:_5FV7ߞAvbmae䮒oYNZw P+IgPj0$ɂkok׻%R)΀" n'_ͤ$AmH3Plmg1t,tn\T;NAק`t&' dM<0rbN "mӈyrmº.;0o|0clcot =aMY`Of OD/3j70y&C~E?A]M" D0 iFfOj7{n&j;ƿȗc*9fw} qM:nDMr9@ D Û XwweX޾w.aэ{IYsg.,*d mcA Eoiذ?Wb$0m{M|ckcȽ\A!Hɼ7t>_;ZOrE8g⌇1& Gp!Ly|B^^%*C\Fd*Lbj}j0%RmʌO%>M]!YDF ~'"$_!XA-]oG7n%!_ɛnnE>uƻη6vߔpYO `U 4NCwVUMCl hIx(usWu;%fP!7gYZ}5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'z]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwNlYQ0c{5>"oځa4e#)U@~d/_9A>;/E|aQ?f |B_ڀHMC7NSRF(+N{|'02 WwXϸ܇5 TSK+Qp#D+eXgΓ<#k$lJK<>1t9*m͒,EJzKIoG <}+];Z#:(1oՔn^U ޡSV P,b~6͔"@j@4JWGREAŔq_*s7Z|y0\]ZȃN3f\p!Ȅ~]3`l[Gp)sp>٣W.u۝Lc˨/HNW+qwnqE{jak3 jJ]C>$IĀٳ,Hx?M 'T޶Փ7tB?Da䏾&V&7i@2 [ KV&Aj k}wn .5!}d(vϮL<*JF)M7c_2Ӏ0Y=X-Y788CgQ~ڡjr7d9H'K?]Ww{N+ų&pݷYWO<a縦<i8˪~B=YnuuSjQ8s 7 )]l*R&ɃysJpC.>FD݂H/A ,;qGX<$u 4QhVԇL##[l&Oʞ ?l|YڶH|8[:ƻh OUICttL:tO1%Rkg#[ 7/N@]:v/*'E`+t O'VmjĺNDx'V:H~e E-[  eg,>pi)/Bwl,R/ RD/+ڌ]^[`^+`!R$.:RIH~Eˆ_s2\/W*A^3C~b:ݎ 6Eϴ c/q{6叶aޭ.u$^nP< x SQI[,;{`EV.CpNj38ѓHkqM h#+`,?םxB$Ze 0fS@fڽ |Q\V(&12hRvf`?RP*PSaUD&&zjz_PؿC6 P.p%йרlO.k6E> I7jmϺ&ldQǑ,Syx˦!XQW5<g'H&}%=:q_$w 5s\'/J03mӃYkfiߧd\b XsONZDʘ+a/Z UF^/uU&r8SXBX"ߪ6kj[nDn~Ɓmnf'!3$*T#:+TM+!c:F_n"LNaYnQ/ Gے%.:yÆa&j]*y>I{Bo: \-vdtj36γlC&N+> YȝɆZo6RЗ[Wu'"SoS6%gz.3□ iz{;q1p+hׄ_ Dab́"λN~?}[dz rQOb#*+rU% 3b6 xhBH~0 vÒ;4qi+nqmn(QRe'k7KCdiaۥ2k}o,Fݦ IzW;;kLp$YR-膥Io.. m+jt\h_sRt FoUTKz΀r\g?Z|%oWvQ[@ %Sx^ez V S֥x8CdblbLLYCy Lam]ڳE9opr*nw$XjRH8Blq0<8,^u4~^@'ao2J)& UDP~3_0m[<ow`:C&߭7'O-v:TʐaF'GgՊ-ˬVUΫEFįsME5iLm¾# aC%|P{X.loQ$`4Q -??+ UJ_R~io|+b˩:W^֒kh|x7N0 j RKK)mGZEw߷CU!ŋTLဘ:ZjO!R2ִT3~bIHUZ@$4tuׄVW=8{U '`.wbPq!`V'Li:"+֚r3J^Ase= ZF]l!!O,Ru@Np]r>CRG<8A6r٤i7ND7Gz͘)dJqGLfdk>bWR܏u{aʜu|5[T7e, `m2[N5ִ!%zB<(l7ʓ%#4j$DlEU4t~_JT2y&VޙG(C<; ƙA aRYe>8@&p6U sQ/3Dl Owt5/^JOa.l EvBڦ܁]a[>RsjTHzZ0_)?8ܯKY? FE>rߙb7# S`D '9@Ӏ rvew}2/~=bP*B'-pU]nȨPyd\c~׶,XnԀMxuh i>l*4ovz)ch; $?h U:A{S㯩7&w=NğCށtuO3. Eݷ؉V?7ӈ5d٦~Wut,]Y\UJF=xd]JיKv**lo7SrdkjRp~xbچ6 \ʃ7TUGuѦ(V-^yw ay#Y6d'}y&m3˟I B\3P>Xf.[/!rN8(ft+!^FWG3lV&O2zT%8?XӾ=Р'I'BՃUEU¶T9B2f`+.J|Zy:0 @f bĽ;&Z2ԐͿK B ;M#+EN >y5ClIS#S.\ss0Xba$5!7:z=p?jnUFP\ Y+\BS dp+4j/6*j_M!/Sy5Ur"n"ȥ/`T(P 5K(}+ ]ϩRPR!Dt$NO jD^̷( #(ł}UWAfGIV(Uy;ڗ aEqs/_]Ƙ"go8\+rم+80؛9/l{J)Nayey@4rsoQ}wW-5UnE)ah: f f[s]UN8}e>TZkAs~+InI'a-N嶺1*Z=$5Ңu:e]NQ wIӽI}0HYd^6ll,3-Aq2lp[%j1!wOnf$S<{0E{XŖ5 k\#Ivxq6%u,S=olTjಂ*a߿;$KݻlZu(M[VUA1>x?8wղɂF"TLKgy٥fZR?µ%*mtxƋ?@\ h|^c@ev1UV:;#~y@8ӣG:&)9)+&S݃1f CW*ZI(7ڑmu)KI==䓚4d!y׎<j} dWzVFa@VIK^ 4QdVMTva,,mq@w*kř}a) UQ8UR)0_iϨ(ZJRsr2WrH |mX>.1V /_X"w_E$Io gӄL >E`>CxLvόS;2 KrO۠xkX3w$.R[.ܟoow֢QV8`wx&BkUA`5\ېթ~E E1[@yU }B-;nWPA,8>vJC@ ipM _ţEE$? GYv(]E@W~'uH"PD m-j珈AQ9lRt3,vavK r@t$ߔbmgqkUxvJ&@ЬKJ:vGCnedټeg0y:$>Qv0Xd;ogeZ~᛭[-~n"{ʔstǮal'SN|`++(Ct.^ .msx  K 5]ZM?FfɂmUX3OSÍrʱ{Uc(v;*8vGw1` N4Q ˛.J)S9^isd`N*&^ϖc Vz?} Psheϕ"T2mlꆪ)=FE/t6EKO\(("'C M y#~0={#.#0'Y7%]̰zK(j~R<[\ilfk=d˗=/-,>lΆ PF$e0h+csU*xdd8c~Ė8H埔+ߵw%ajcMVE;X C_Uz|vKp LbſV"Htd;d@ s]׌SLT %%tLX=9dn%Ϯ:gVK8EY\˪~t)xrbp]fjr1pɮݷZ& ޗfj%j:Gpqyi&]j 2U֛xx&sg/R $Xx(pe}ކ$M)sيuqߛUtBCKQ\!_c%Bwvۆ'>3y74ڽx&QӋ@ "d =_YK.;i,ѱo*7E{f,"yXv6P*a͋n`*(vK5ehO!cg}( qpϩTwUpyS = cX.j=&rEC(2f7^]NǓ ROX^dqi9@d VVv!mNR7җ'3%aBr5Bʡ?*8I:1 -.ÔXeN 2oZІ Kt#Z%r6bh⹚O{2rHjߨ1)*Kd. 匾$3 yOٴ.3.]uw?L85tp 0u"cҩ"7ܶΡ ʭn AM')wV{^mbZ*i/nۿvlzd>XW' OeT)zd 6mòpIzr~<W}Y^xВR4JH?x5u>̧0|%2!@w9ɰvMԔ^u{}%Z}ڟ6iqܵ&o~HCJPOm@F _nP!`HSLfeG#b ז$>F9zL6嗳ibt̪ũ兗)3^0B"S|Ve;XG:#j" i 1L'Js߅qތś.kPB[ +.$6\D'c( #vB =|zv7q#4984`b>d^|5/eS}_]~ɿaI{;LTB$A".aq1>P5g#t_eOF''Bhv.:fPw2E4uuAm] ]nBq -daYyDxG>\C ]\>.Ȣ~{C+V3LpA;XLL#&F@rݎސ!#>7r9~>j#;^`YMt«r@2l;95_E\1Evh̔E|F\ (c`7SB&_'ckuLng owR4?[֨~A`Л`2+*at=mwVǺfRtJJ~ԪnH"[+!>5x)O3%Lm0]#@Kſ OaZj[An2"Sg3y Afe=^ hN4C**pe8&˛Hg_e­ݐ@0 xྥ 1y3$F P_MF(&l!Mz% nunnn#qymH]QK*F+bZP{DL5OٲqwsHD[D#(DU/n :`݄zHG?1 ^3̰}SKD(~D ݀*tmWV+uE&#ug)TZUވgRʵTZ"Q~> `×-yIFZ^aHz_揾0{6}hV6`o7C5(8D@%m>ݠ'2ɹfO`8|57%< !CF>$]2b7Tyu`H:M /#XX}c >EBF%K9 <i""{WH ='{y2,Ck{3\*jk2Qk J:HB%Wݨ?u8KՄ-e[BO p_ h)`:BZq8BVƃ0{>WJcf͂#TFV9\u6Eaэqv-;&GGEJ6S|*L+NOtꟆ%ޛhU<\^}֮vXߚ'4,\2|eƽ)5! α2.|x_Zb')J[@,x\yNѯ#\~~wdǢ}f'4{/cM%U}* bְIZ5 E4&.Mω߿ycJO >h1ZDj3$1*0622l"#*$۫kT+iV/> 6'7/\Ɛj9ѷؾB1ƬYqVrp2tƬ(yۈz=LLKF!-*O[> /InLeg[tAe"8'NRJW4.hG`8aDщ,~TE0[mf]7ↆ<, `7#w;G\Fm(5 z_+ۍ+-X0BKvbO%Rvlh+)IwsmixQk,9ZW&rm?<߰ ;i$$)6;BZa}]v]V5 XxXhT)e6䪾:441X" %uMhf;IU$Cʩoi|pNAҮnکT_1%upDMn@@uxZaGVuboN [[9* I` *5'R2cG=ky Cx%; gAu W9i귢<~Xy|-Gb_E_ hŒTsGA[L3D|4ߞf*6j[?hNmSlRRia|!]$5 ޚFO+Q:m-r/u*li˦ ۄ'w#H*lLhi<#(}X ;AyGLA?DldYծإvށd& Z5;>Fi{㠒_f4ҹB'{*rIH92Xp<ĂG::suQ7OU G:/0D8^YY2 2 U&(GFBJ`–c&`_!N |܆%d( 00r1 _?Q3Ծu)th1v8Rv&$2lRfjSd]iAsT$ɼi̫DRjC4w\)⚫Sf^:3D9$5XK0W;2qBzF\ySSCYf ,d4v>QЌ_[( ӟf*Z 􋟷?Z4XXTX ޥk_( | _g;`.Afmr% 2P!m>JO`r&x]|(?JE;ܖu8}tk4K7*䆯y%fa\cN(R3]wX@ #)Ւ+|xWZ4N([M5K5 k{D>9-DZf&#&6A40~M0[ƚdC>s0qnz%Ѹ:ҼP2L!)Lb~|8ŋH_WA 'R-`BJ7v?"RXeJ]/^ kfdRY}#zs[;s祆BeIl;Fg g,>_װW/RxFY/SU*y,cwt )vCфvrcFItFp`0)_`*"(Nl?u)׿|Fş|0QNoK;(Ri;cޭqֱ38sX؝,Vm) lip@Fb穒 b(ԡKq3zJ$Rc16/%5/o@X)$>7!pX1Tdt~ӫE0.`%sa^'{Yh`k82G`#BG,5 sfw齹I X>#KGXNP`VF%Q}R&4vd݃䪶YJWlzdY7⹢qQ$d&P 4fac}=~g6*܊Ӿhs$)ɾ)*' HrR=:y(>ߎ2ٝ9Gn! ^GaBȤzΉusr4Trԩ:eS^"KC%XGv&ge>=0W <_.v7s? կ>2pa/n߿~x4jiu~*Ƿn黮}@qqQezژ*h6"zV'b# C;K1EamHQf `dbL򐳔mOl )YZc΂EUd#@ѻE<1!_DI*zFΏ\Zo;W뛍;˲ RHB Y u^$wF%s:eN4VrEa56#$9KG2S!,Pߙ-.X.i:ʯ<'E;U} alW* YzVCHȜNF>L$[js[BMu3*247vn1~Z]m{՘D\saqbZݐU*NÈ1ّ|ɜ6 nCE)Zv8 x󒮗049ؗ%-z^¥{dT?]3,to޻ Iu] a+q Tpefe;1SAW;Mɧrbߚ\ c#,yV0H{ۼ3IѺ  Y{ܼSXqõ4+BTs@ 1rK'j!"Gz_1\:2 Gi9I#+39,N'Țv*`R~;,iOc֬r#%+y!6m4|i/djͩ"҇{G1H>_F{ⰙP{TQeG`m9'Ps 鎽8O&}D%2ކZ`5"'ܿaNJ2iY* ̴C 2'i-W ѿ:(*4ߒjy֚Rzld(ʧhq`.i$p`:=V,C3hh/.q.F=CNI?6_4C'Ĭt,m[Tͩ?1ӳ9Tja/wrh(0$SwL87fOCK֥;z ` ~Nǽe]f7H$g^GDzkmrrrrx"`K[=Y#!Rx5T)i4$6tNFOHQK)BSVjhcMG:vF0y\@ru Uص Oi׫6>,PnڣoWbP˯}p_}ޥ Vlj͑:Dl>bf$EɢQݫ6) J"a*I3Xl+حMSaDG/th5wi"ރdqZTh*e8gYZ 2  2Y> /E# 5~n8ockY;X_rKH,Q,r?WƱ;ފl 26 F4?9[sNω!8mp> v,v&}CVtoy7S1}D)Ap؂peZ@8Z͑[3oP(ҸɈA]M59AHI _A'}ǰBODwl7;{Say4#{G"͇Fgd{wly- 5wDoı A읙5lp0߇t{e=kԔĤS9q CORR{12u*hZCv PŋXkYf \`lS.;shFp-bOpUՔńK!]/&(<$E=ޅ`(,3[n-[7}ȳMd]W\KiiYvDG`EGl"m^7O/8IS\6f}IV.rvDP|GU\nKz!J(P?UdP37_MllvK!XF‚4^Gf TXd0w|IѨ!ʹg0YC&zx>}=”vzW6d)I[FqV\IVuPbKa- [ur֮[&(Ah2.-&OizSAf BlӪvsn-DSdgs]:[ZpY UVo '$S~"hRN1gD2ONB@ !pZvWm^s\;j75 hDkzmwd}٭S- R8Iת]Ύ_j;P9ZgZ\ _|>O͐\22Y%}%m^OP}j*{uIc\F&J,B]C 0b@,ƊcuW X a mm(kiGJtf WNy{.XRRy] /;aO[ x ՜47PfbP)+_m؀17+yݺ w&fup)&1)>0&{q(V:~A"m^UܠMt_JAaw!n19lm=W: oVsS}x qw#[LG8f]VxA9Fb WKv/|)dԂhhނR0R$vG*t:gLG$aCԙ*EgHrSn h2M7N϶Y'䩟a cLꢀ4?O/ d@3ø0t:/tN]I[s=}3J43#2m\`QFhYT|RD Mҕ~$ Ms FkHG;Ilp<1^~I#_TtU=@s7'\A䎉邻u0 #\1 7WPukE4m|,ҢA2!BR\G'Ê.j6d*o#(h 4ި}vhf:b^vܮ w6L#cgYZ %b$%Jn6 : } = J y >  b#i o +tJb# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id 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 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@g1B䖝nlSLˤm,#Mԡbuk3+ch<yK9~pN%EIr:~1=-c?s`gX:[t';;ٲ]AnuO5 gHr}w0=fkBmZvI`4mqo7EuO+>-`{g[ ǒf\D*`I:=6[ 5% uXƘ[C-G]ٿl3[Yyfa(mNҤ@HsO${9aQ"Ңʡi.Mi >ɈG"`-LO5b'ʭ%,L%!L\ ߅v}'/k#خTc1t{_v/bh2 _&1;RQj;܌wz5hy{n~aA&.`j&ZzuT)!ۗ];\@:vJ)&jXDJc2S6d\V#Q:(#ӈ"0+٭HuqvKB/wJyz[u,w#WiNsNw1pw9"9`x1?}&/ Y)L焀!:,cu܁~K/UR90m3Y+3kg shšbZڞ{:cs>ۚTO5&: 6k_4#N4̼W ]¨-av"DMQL7k/>5XJ?U]5QJ,2 Q-Aāz}թX\⍲m}*~. Ҳem#dʽ%[hK{}6ݱvRh{*p τYo`4xb)ڪe$,LxTvv@n  `~ Z3J'3P\kxV"4mJPor tƨ<ܥ6jgWZ1GzngI̍͡q|HUu2/!T*Ihi/ƒIE}j7q VHB/Ӟ4A -MRM;QMJˍv *(6N[ڡ+K(}N Hr;{fyhh#S|oG bb*ӵ_Y]t!79 6r4Qä+N\ڧ09&J-Mc6Nyb.5Rl@#T GG41 KW±aMţO&KI¼0s0u@<&H]IS`7v?N`[YPC6z@\[C9Zl6s>n[@lR9;!a?d!h|+/{@ӕ1%^@*j7bѯyzstA[Q!LJcAj[PQQ11gyxˁWDTzv;i-i%[ =Ue6Y45I\)Ćw͍~)0X4l2caGLO&!vԸjk'{3y_a`AT `{8BCDcE||ߵ6MPUQX d˄O@(!(ZBVR O+yG,4:[оL2!@b7oqs{h:g]viA_yDf~7A1UU<2 M}hg5HlviGuj N~_Eh.68l lWB^Q$8ޘyT-l+P,ݳ0|z4!~#v^Ipb E};?hyNz'sUQ3"VkH͡ɏʙ]٢:B`L?NY4sL>AZF=CpD) 1I/f=%͢Dj1<\Z__$©vJUriD}dVU/?O_h$ #}P8 Kz#_i jBgI ZMEkӯ$sh4[Z`o2z}|H췚Ai0fx7' O=͔(ΤH=(QS:n,1 snw)dn7__HlxihKlueF [pF~@mVC?C(O<,)L6Cdp0ZgArWN7u6C5goB;j̔g ~Sjc=QVe`~~(Q{E:27^sB%<;r %-)>yrčrPqp.~LvHhE׷ۭ3 ԑX`@[@8T``jJ'.b8Wnaːdx## =GYbu"4ij1fDh԰={Lo 6zeWT΢gMJv3P8M=ӴKI%ܻ8e≶e'J(-{ߦ.U؀DY;g>@oӡC: b/f(F3W{hrو;)uXl8QF51NېBXRVa덊1 =j^׿s쌯g!qyW@gD[<#B ';O1%w}˭/kW]gjGqe1vaՔTn1<gH94#Y)EZ%kcke N#oc&<Zk+:5|Oo̹&8r$DNZf JPw ΨZ) C.9ᯱvbv޽N" O ldZCG'ի2b(htQX7DB'}o3P 2uT/#0#D^Y 1T&\j?P꿠C*>M4syXB(yV+Ϛ("[Ӫ#^dҥ f얼M421-wtuc&q(Atr :Fև`cX.KvuG@HTQr#JR~4k) OxT˒ ak![g:49|oiI~sb;#9>C:<oP9y2 H])(zNq*@Cp*0W[3 JK7v\`PD7@wܣ3݌az2ʖBYI4lV36º*<TwfŧGNpoBjkIXr(و2PV>kҊ3!cW^2㧾V=ܻl_hVP2LU<ƻNkӛSnRtHyM%x'RlB<O/Njafo56cZPw|&a9Vݣ6}R`inkFG&W+y^u-+j5nGYuPI"3_igS'imX r'(Z BC3+TK[Ria$v=!UCIC×\eCLZ kCψ}[B,9[o N%"N0m{Gv<{aR+qɨHllIlPb xN!χ J\ov?A9P4uODh؏3t# :!9̎q`95,ͽ4U}4,W&lM`׬ꕿ+Xo Vdѷ01[Y λ޿i"}S)MsI߷K7SxHn euc}az\W) @ߙI$:atƅuۖ:!"MoZXDJo6w8ݸmO$whA>;+uI4J@v . zk+x(K<+ڦ?H ?$BgQ0xi\;/8+X`%;7M"5;fM%%!mnLsN.>4.],$%C[a` 3pyca!*[Ԡ^M2 "vfvb< gmw3#pSlm՛63q*8 }jca'DfNsq*rI S rZbrnRmI`!)vS<7c tHs`2qzҕ#0[IuÚծIͼӬ[+"Գ]i ̷Qmgg],iL\[4t{.0!:,5?$ tZt_,~ `I;.i;-%EٻaRu -#Z"cwsFO~v0tΏnjkBQ܋g'e2Ua1x@-XKd*عj>)L⋻YxRєao1y@Hp Iը7q$P)N|Ŗx-Q3 m.+^8ֻQ0Z/c=@8}H)-ӖB'2ѮDp8z{aS%! )-qҗi[&:tEndA[{g9@ZXpPrGbYeZxK2M%tJ7]#Q,<7y'L'{Vs߉4u.]JuI)OgaFU V=%-"+T Ȑbsn\zaIO&IکY:AXOuP 0-:g&-uY,|%Z!kD"NٛΕ1O`(zd]>|4j_RB6y .oWJIny_nt @vpFҷ8ں9<<<.SI預G~rל\ m8AoKsmW₟~裹Laˊ)+UsߍT)b6uv?c'v*2XQ2GWeQu~}D GȂ+N{M"wFGG(jTD\S̗€a䖶a̓FyL~IM||Phz< sX?k[%ubQ47 "e%$Fm< ]k'ËVtSpuh}s`ȍO`)+EJ pS6IJLdD9Q[Q-/_Y9@,o2n;zB؞Fֻ[})p?cuj"6dXBRwyp}sc;*✙ooTu^-lhw;j5;.@Vrۢu˄W}X%0l>V(kxɅSc69tuFG)< |𤧌Gǖ9rN{uWL*Sv7!' B%WaɎta  8y"슮7iqTS ΠΫZ]|oO-Q; i)OH1$Sy H邴1UjCY&9>f˸"}6 Rʼnu(۶QhN&YmK+.e#­t3D;,N@]Чj~ȴԧw[,q`zڛ_fܞѧO9u1tv7}HZ&mvRnŀT..ê8($:HwFfi# >f6bwNP`鮲BaT=fjUNbbWfٖTP"P.PfRl@*c̄Y^`lUôWafFX| Bdoۻkhh i@fV,X SI S5O)Eͨu+u,OmPCOQpx4^\[7NA;;yt"do},˪z_jSYܾ9*eY&.6脈%iUʜY . d&!5E`|B ߧ {ߨt=0|~ôפ}#]miPoRߏ$8eM%gyǘf|l" :VG<@ɢ\rn #Ln8A-).}J ta6w=P}:Ύ#*Н0tEM28}HS!4U99שo\pمЕk3*$~DIi6QL}?һ9i+v7Q\㣿1~|' ìC@I=;_Ԑ/R24-*[. Ӈԧk^P7CָS)S0rz>bDX26JM%}q\+ i]rp5<55o܄"͖Zm@2o\t*GojKa6P¨w(}w ǾPAWsC)-hΡL1u*YS{lW1&.uS Q+>[GG4[>;RZy7 c O:@(^z&w4K=ܴHvɕgXYI`^tt|Gy`?&5ʎptYh {hruobS'9&ȂftjuLBG=a ;"kc^ɛArz@*doW,~  2'LP#ʲ6/IYbT\Z͈> B5m"p*Ђ'1᫗=Z_@6)ʿU>;uê\dF+2l:BHzA=L#/7[jx &*}xr>!zh9. Sh=KiT( ,( hHҬw` 2Vਜ਼#lfv JM 1,2S@c"M>]&'V'`x^->zf5b3||+ʹ̈́qq"qF8!.Q-@'ӆEc}^/KjGS~s rʯX?NL קX=ӟ0FH!f|GRY倽QKkDP=9.Ŗ"i.E]py==FaMZ`dE*β4Sdb-N(+떣ʰ#ql7jeHFA˾>!e2:C1}59ldO< xl;lrFW(ygiy  "0gYk$VpIZ*;r'\b,V+Q&[s5ԙ̺%!8jcdx߯{qY)ѱ?u!6Scx |HҞR|gY#/ q2R)vzȇ0hbɫb[c⻌A8¡4 zԸmrȓs3EbK& ʟ:cyKlr"ߎ4gYZ  7 ^B /G# DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝBdT6*dF@GZ󖧿Z v`瞿xWe}'u_G檌e&Z ύ ͒>ZsNyʄ/).-;I/9M2H>m-tH?5w1 7y:B_`>\kaKsE 5W4\RQfmՆTWϭiASAJtt0 I1AxU/[Wf%oDHfA}(LfQD}bSz h| CLD86 q0ӂ<-ᶅ4%#scVFM5"}\@ƷZymUK Q\2px+af`ӹqe[A1vIM柚43MQ$f}dMV쿾}tAֶSF𮺨{{#5Gf{jr4j!lޫ&jP (GM145͙uӒ"nj#`~'B.9%YeG+#a?8IWNճ֭kƥwqKZaAG}T7tLƾs\e:`|A?c'+G(MϽG O'oN7l\YcTRG'rx5G^0~6ơE/-H&Nte^-*?8 ni !x0Gھ鄤YN4LSM>΁:r0;+/pe[ oխz"54AqV3z˶\%-8zfZ8Dޫd눡̑D@ɋbHmT!8e&m` _?2%5 .a#K̿o*hZKU/d勞_`S&x,NahB3Ck_/ߤ&GbfVXd 'So@,.p1<CYCi?'هHj0=1V]XI3Z@{(5>I\!2%K)}Kbzi.xZ+ږ郾8 T/ 2g;\|*ETuB F|e>\YIaoz`I.t4H@qSK۪Z{ޱ=$|I Y[y^CL-oZzI3 ^g՘ˏqB IG 333s?3) b=ۭ|%v"Ԝ2U,"W'Fkde]XPPov)lZ4vA+\EC)YfHAukp7g 5ۼx%BhOqip:ț{Bgԝ,^]v~:LD=rL_ 2FCgA/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! D]·Iq n[:|&[z'yNѐ%)CvJwT?ETï#7, C-m Gy,Ne@e0Qܩސ`ZVp-uϕoAx*QUו=4.&L=h>wn#!.%{aY'oL/uk*F@n{֙ P'4[3juH߫[9#,u&-[BЌ q!X`W0evY 8f?i_7gޜ}Hlc\v/yd_5(LlF8X_Xpx ØQ4O 9xY CC'I,7^l!|!C-75)i!"{< tT%S"G:p*.ie^9qI=5`PϝF}k\V$I !%287átm/c;F*zN_!6E"D}!:TI?j~}.$%TÕww/0Bx&0`!QJVeEKB.`ܛ3DS9B-Ê PpUU۽$[$ZA+n S弦wNl{ L@y5`t1~}Z|g-,2SVTH^ߣ7.r@(@']}%zv;ԍny"~ ƶ ) aYk3?ŵE>rvwRnZ'P`Vs0gf<_ "`z ^smx4(DH4a* g۬`KO0"S脾9y юgɎ{jPW[^NRƄӠx;n#d$"(d#pGt=RR ٰL=BjB ܧ^=n7J,  pe jf?CCl5k:kV9{Y B<99Tݫn&Auu{Qv;{dkd;$k"b#cRXQJ0nRE y3s|JBwߞ> t&εY|6)clD\wkif^ ƍbo}d=sƫkֲZ+Ռ]̯EQxWBnT2,A~ex~m$NC i|o}P38AfN&${˘<0so&qBË:i75Nl]by>*CY4C=tRN_sK(6K"f 2[sj촞Ҧ*լ8BZ~"qd8i@ ʉ4 Yl\/nLe3nfkTYQ&fadҋ1)^i| ,n5vDլhd? ~'Q3G]&Z6)r1Q([F-#Iv( a=t;"șp!޲yi>%gzNp`|>4Fc{:좿V˯H /2:Oeܛ]q $.vy;N|l/6dLm׫b( K)UUVIfKIWրyAHΐGDs 3ƻCZ'4Fk$xVPxޅ~t;EemNj$ݘhIƑ \agP9: _`~dU8_`2v,?6=XLmW V/Y (l%[Uqc?΢Ot!i&Gnj 4SJ'deZeS\+%daȽ_.|֫2Pge"FHF!.{-`GЛֱɚ&[Qȹۢcj9Q:1YE肭IHtj݁ g)[o/4  =wxs}Y/OQ@M#M 'AQ|}c}^;f/t}햃`s#S$Æ^QF(;l(Z{ǿhzmuc@) DrF. .Ħ}P?9byT zϺ !O۵L;D%r:B,ojsg/g:j ֞G<E[B|qr +"ۖ? ϱ&>XXaKY itPՑ!@|8ټiSG).Pls9H:˔mN[7Q.tK&9lO5!,50Ԝ;̑XHWK{TwTFԫɷpܶ([qh04F,hu#€0bǀGeUV]pn{I`%4](@-mOk p N΢RLPmRȇ{!< ޕq N,'>4S>wkr/zetKjޙ 1qj?Mtm*Q@NlL? p߉%\m} _bPՌBc?Wsugvjߍe t=o8T1իkɀdT"vpȆ}}BU7?^H?]qոשT{p13_7eڸ*5~j:K[t~uz0 4fUyhjXa!l%Ob;M3q@]ʧ9( d=7Oi1;Ƣ/B_{P8 W;DL sX䩊Ʉ8Ύ˖V&?jt3PJiet8a5 pDn5 #\1d4eF]@%>%EQ\K่h$&*1| Lv7 dzZq' zY~VSdQgZJ0Eff܀?zi1].Nи͆yp^0aZ7?E g{n@yBDLP t{akvYxWbҼزhpmGUU/D dHg loIdq٬%+$i|8Zlo ͦlKy];(uf)-!hWƗ-R M^o/`> ޿h-}EHOr7\/ר.,Z-p{(fE:Hc&nnTʀ3oJz0ZY (خ1Iv L Ap=r=k NȒ(͓#-ߌB b1Udx6 5v 順4s~$u@vHWZghbՃT1\Tnq=4beEV7@0iOj8d;gI)GmCowt)b(v~8>禡m&7!Qo an*=>[3:=LHAm/:(,PRg=O" 9)d#DmӉ3oEFu*]DŽmC Ӫ\DG:bT*%/%HX뤽xdznr|@R- ~`dTvpuP_Evʟ:JR5 -.|3ڧ@:×L\@√lIh]ye I Mߦx߅褐VzV,jƘo>ǖW b|=/T4Ck-y5 Bjyb7NNT)igW$̛kkIa-E` ۨOlnyZd.@2@;4Wx> x̂Np/'z`۷jZCj{,&Nyȭ)@%B`\퇃h-Ǒ (1}wۜ!NdA<^8yf JCj#S59*puD}yp4c'£xȮJ_x輞N#]5fF+i:V'Pu?/sR۵7 0s?rO1WW n(f*_~N ymJ:@'tCJʔa5YX٣U ˧xH1b7`a?h,W&B9˙zqkZ㢊ASAy@z)AŅ$l^[X`CK؝qqDYݿ~Dǝy sOz=QWS\$nHd@UI)څJc7BZ4B )9iBRcXU7c曠ZV"{rϖ`=-B\W(UP J鿓\QPz{|>sʊq= xWȆCOs8Z& 56;FST&*ibb(Z=WAV */p^>V8~=9/^Iqɟ${SD+1T1LXz죚@3nj/”eVu=]XU4U)C.pVK{ G_Gc4Uf )210jonrSp#iLNoq``ioWQ0jAܵ/ÖB̩mT쫀ӔrsJ*bݑmr^+fݿpc60q*?bb I5 0Q $2zJhxN,@$7@GP4^ 7Xxs^w81Ȋk V')ת~ì+ DM1hl.lP62Ҝëu_Pfƚy`zaHׁku)a1%pK*[>ΆZ Wb< ˊ\a x-m)Nn =F(eġ)Ibúx ]%rZH2QK<\j&$\1ޠ!(u 2'K*L^LRi$@%:/\Ak {P>T$kd9'"VLL 3aЀϼa1RVBDdB{!i+W2K 1*9ڜKږ]pySAT9N6y_;ApJ43;18r_^RXؿ*hc)+Z=JK6ZV(7H焑 }WϷfB9?8t; !K̑avz%9nڿRF2N/oXC懱k;a2-4 h%r!j?DUlel.\9GZ5{ ~wڤg{^0]-xIUo@Z \3I*_,J8EwS*_I:N8ѹ4\峹lY݂Ê&@߿j_$akjCڠf~ԍ\=G.Ilu䔱VwPvPdJ&!Kլ+`Ь)EKYɤ+@1Uut2\MV3¡~jCv!/5me1.Q:ܱgYZ   n\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AMLG/E' DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*xo1>h56q?4Yt}AdA%R%f@{cD/%i-Y|ȄŽ Ic}69Zthlt}rsl8Ļ'zPO+ډكMB]HUz _i'aJ4s RkU~\2`"Jt$4I=FJwGd%²a V CsQg$4Fޓ'BZi[ɳRtoi8 9&qb)DE[ϵ8)?ڠtgYZ=F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rjj2+Z;ҺJj,Z$lQ(WҨ .xnAVR{`%l- EMa~ 8h}&ʭsnOpn 0];i O6gß/~ש|~8XhfeJox*ϊM-ݚCeA"L*FLbKDSR(ۓ--Ȇ(\mzWxvv&%Ӂ]IiA6Tі~پaR''?F#ԋ=)z۔JZlT/<|"'*ոNh4@]9Zn-Ο+a |&q [9dgIj?O hÙNq3L6v6@P|"0~>ﯝwTe0PkaT5 agiM#"5Y  ~j:H93ڣ#=,:b fN4ݣ̵)9Jr=2R ZCv>yGdVY0Ae{1͢e ! )2o>̱YU{,\29k#י$;/f@+"hgt7F]S3qyD}킉'Ż*J1a~. jvZ5}%ST}2daӺ2og./5s%_]qV[Gq\\q'3i Ml qCZ 1$,\qHސE<IVAҔł=ߡ_RvS;1 HTN)uZ_}`4X_zyN^TP"EpL*N7p h"*2  }xRNލix1"ܒl, /f/Q5͇Znu,Г%lH߶v΋q%uE$3K5Q$_ ysC}> hudc{Khd.Qh73wƔg.gl,xHE*u- !uAKCrMUs,<]2 `ڹ*3m+X}t#״7 Z_*rJ/K@2%.p_Lq,Y-Q ՠ8bO SR:$},醴L#wok4c߲qۨ欆oBRx+leX\S6Y}p"tWw)HNc k&SABrǛ}aHMKmh{poxDY۲7MS9y,h#F6rs]l~ buaRO`0ն|pʥ(-y^Wh$6Ɇ-;{;;P6STt#ݶa[_YڴY,$ךleiƐƮ* 4TKRTY6b'%qR=[r`i}`($FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w[]Άxʆ5.f-9 rq8HȻY2&͉?COξa{ >orF# KM{/0.Iq %¥f2&uq8lߜx00|ȅ=Ų˻`?Q[1דS^w-/ɐ) +,]{}rXa 1T>E t#luy_BRdPXNN\ZWFIu$TpEd"lQnQ+tcv*f踸U!zW'cwEVrs oɨ{^̿.1+4ܷ$_vN=8{CtQ ֧KҨ\UJ 61qĜ3 I_02,^)Gn=$R_;̒F1|-jiErMW 8 dvDi)We:%`T0O6De_,(DKIºb}H(VxW?Wfg' zZM[|(kgYZG_E :LDHHceof<p\kڸ`Y\wS/8aD1ZᱰT:gC_ߋqKzP$nv#Bt{t3eo|*w)GʅQSNu`ʤMN_mXz}ѫpPɳS._|>hxEN#\c(rλ*€rWROZ%`Jm#Z]X;1C^;c^/! sL@ǟE`P[ǟobA\־PN!We|kQF] WdZD:>n]58I'l)xvb`6 irH޿ Z^18HI]\+d}87~3^9wJt K+=>μ0>G$ г qXL;4nK1 B'sKi/?>P&v OEycz}˞vAӥAo֐W@ycLw!U*RfB#nnţI[I#^DD#ިqIJpfjj]ۃrz h A‹816*C0 ʑ*<.~s_)U{U|aMK#4T@1#p[ڔX&` Av2o2nkTm_)w'OڛeE)|AgEro~;ϰMkxl u@q|2ɨ~ZhW 8Cr?xߺ`?$uH] !xPVT.CJ. $G $vJD,UFdPH'Q]̋c߱m־^a1}R! mcn؈zRqn b`-Sk~1AHqg^Α⡣.um Ew 'A-۸M)taLYR.(zQ^QbZ, n蛸-萸.MX J+v.omDAT~afr8A֗ j/3?Vfns5dL-R^5k,Nηڵ)jy_snO;әhC7ǃ^!RnGvfa*K2.0YA]9hRUD|i-%@4ÖCA_$ԘksZ=Z0r)Wx]0+HPS.Mʃ %şSQ|[<@>i9bS:+x%Ƹ3\ퟻւԇ* "ףŚ(v+1.Iai",s9I#znW_A/ {[{z mKmZ\^IQ/r^V ƞLZI skeHuMFm}=9'*x+>g>nTi'!3=Q|D lBKʎ3X&V(//0n20uv ;ܶP Y"k= BOz#QnȻDs\-G%{x[ngT eu$8m7wV@_T)KH{!NJ4П#Xd!&Υ>@^ 匑lfaZD^ZO8xǿcQbID)k@N.f*Okhw`:c9"_j 72I1m( #n|<:B\˴0=ar׃ /8m0m/sA%Sk6ڦ3)lshF .yG]D}YRY &C=I-pP3'a]D,Z:s5LCi\dq3 qPhHP{3Pq'ȁ5J(EbUk_`7ZeJ:['S2h/Y}Z,D~jgkOMPwρ:oA3v<6ޢE}$/1<1%0ԫCĤ6B88jnK.9a6އ(LsVOu88?q+܋l,ρix0??xiPa}V36D\M8'o+Xv)&O&MTXŎ K sXZ架9V>+kI/v -A ?{ll%A%[t|GkwT/$19sk e¤8E+׶?̞~êAɌlK955E*Nv2=7Uǵ\IMg]?֩ r%BiSدTR^U0"PaC ~^* Fg-~ÄTI#Q 1q\ylwQ8 h8`PlĻH8SЌ 5=*vE&޴dHȐ6TK:VՉjE{kI ^s"4{ѷ%C@ҦLg_ 9~;1O7Yz+vufP E (\ټ!"8&D8Z+w:FO٩:(caÓIDlG^)aaiN<ܽDP䔸9/DK*\~GaGnM޽ܮd;bg?"w};'N.n9ϻ4P<|P& gyvѸ `AԚ~޵j#s*'c=Jgu^ZbвuCsrY Se&t[}X@%Y7_LsO]oyQ vRBE?04^_e0"d 3& :To\~H8n˫X6C!Www'$ IXN27Qkjy?s玦Pذj7ڿ"87Z"n8Bn-& :`O'L)~qBPݺ> wFaRv8*[I0ҖV^^Jigk8@h5u6?a5?Kx>կ~뀌LCH!@o|H`b.0\#f$fjL,MLxiջQWxO7|]mދ&lQu$]:om՛&s_NUOUEߕrVj%Yܸ*fWCh.a?Z_h)lg:kna-Z#UVuvXX>FA!.G6<1#lM fY<{0Н4;~ڀRR'8=\!?4-$@5Mر'v7R?+(;ȑ e*vEбD]L|~*0d#V_ <},w',i|(Ί*tjc{_Umz*wGeθ(g G)2[@Ğ''PhrX0 'y66 :BTח s[k%ˎ2 $gq>L&P|y/vN;rQ H){$vjD'O}3&[xkF C,cPLoޑ=wfNRtt7J)24E-kD+W,~.\IrmVVy{{dj9:I2wdLg_?WùhR.)Tu9bvɷYa?qm.9ɢ@>@??yqAѵ6c?0LHQ?*I@t6 ґg繶 o2xhy\'U {.X[[{2{= (LL6flxT"U 5o|.YLI% B6݅ f-LЌjȦJaEqpRZ(%$u-` .QaXuce q覬YI!{ ᣖV êY{#,P=;ì'1RS` =6 jIEDuE‱cYAjЌcVG,}u<b]UEӝik@_f@再w.mZu&74.==(foi@NE ᒘ05]֡|9՗]ʸKR㒫/B Ήsx,'`39d |- jhʃ&d=Z1l鎖([W7GX c}BYS+PRKA9`,7(l`yzMw0hUϼf7|%pT:(2bMv%~H}%)eU;`}keDyIVH47ީ_n79+5y9N W2TD$ZNI ؃,u#Mi:llFZڈyvYrQ4ޜRH^ C8d|/էn*;iP Ό8Dw0:0]5&h pF*Is"☯J Ľ/䛜iecު1 DI>|5\7:Ȋ.] z6 ;ϓ~⧄R:Rx0_}z^F}rYGFcy<-ǛSˉc㱵Kzm ,ZR,;S眿S]YO|l xGYF>6f1*E-} ga/Y')qqݗ!mpNKUz˔a?QO2 3\KK {D^V]sucXL#nDmbuIHر0[RZn`0DɎ7q!Xp0J cĩ1G5鶡▋Ql7C+CpA$Ot&$E+Pa1zVÍ0U]t_ v1c+K/@~!!cSPjsEM,s=EÈtBwNSR4nH>g))+@ N.=n ~!ˎK*e-y+"f+~@`)f\R$A<8k$[ ~,4U\I:%%iD2ŝQO}5BÖs| ж=?oPkx&/n>˚L<"SZTy[jC9a)z,aX',^Vҕu Hۜ[qM% Y,v!C#K=Z]{=V3IJܓ%=bcrB4N^\ .d^$hyS~Taev5( !ҊF+I_շ^2bIJ-:2 Y&E2<{Sy b8yb¥-uqk%H:@&^!㲪`0u+\DKV&j2V./S1gg/=W)O۱eƴ_R9YXŠ_KƢ~7_GִbQ\L^TP 7ɻsIFRaڕc/X 9@ףJ3Hc4gc5[Q*9'By"zQ,0QfHr@>w&i\C w;Xɸ{s$} R)rE{:Ř#b/%ŖV Y[΂]-%xfR@#aGBz@P5b2I' IWBȖ6qs)?|@ 4;a c9b=AA#JFZnⱕjdSߞ yV0AT鉹&p߂.6c ~a䒄U:CSM. &R~z-%diGLX׍ƶ&:h`rM[dX3tjMG+Ŭy6)ښs}WQ& ۅ#-8 Uz cPkC7oY`ĪL.64i J4kVܖJWr CxqFS*]mi|mun̼+U@_ 6?YTj F教O2Xf` uxT>RSZ%J%)Su[^Y ; 2-"|/sß oыl,`ddȪ~V^qL;=\mZ 3:a"V})f!1]0F|QЁ]IsEezbЉٮ(UU#()ŲgS>6ԃoҠفb+pΆqy0X" oR ,&dl|_b ocֽ|1F5'k>4i|/ﶎir]sC0ǡ|!:(Զ->X| $h֓ʝ{^ 5VX@y-2d꾔}b[_% ͹ǪB?-/npT)g nC@<~xqeۻħ2(<4&~hM!#(ێNHuXm¹6eӐ^6;E{HvFG¢]KQ튄h!ۏq62sG~>2oW$j&1Fu2 bxSL^obB2N3EkfCe> r)p6w^x.CPmɴ!GfR#zt(MVe N-E^YI铑XcHZ8:}NL\2T΀Ĩ "j q6r+Ɓi@Qq }QAtN/W]B\ 1N/UƕPa1>¿Ռx%O[UI~iHt$< ]ۀZ񍗟-d&LStl̿nb@3:&\mIۡҜZ>sմ|9VYۉ *vӌEԲy5JH>fJR-O3:^txwBk|6<_¤$k솕l机yH׿H3S<(,'ɏoPࡄE Wr6=h4Uߠ;#D'Q+SYswEDĸZdIPF7-wm\XO~k`4YAy|t6Ϝ9.W|J>Ar#`R~`Od'Z0n$M=Y"#!TeZ=C7HX'N _FС^kA&3qvXZoDS@  [JFY\k8<ݵ[QEN5QGKBy@Zz3esU}s^bVM2swsp3JmhgE&H;0ICH/h-~DŽqvFHQAU]Z?`7Iڭϟѩ5P l6%]VZEGx u4!_Lr;|2%)liĮ圛Eòa}Q3 c/W_3;tj0coEiLTXDZȸk*ὖeKOYSYB긪osx=5?{&mڶ/UwК71-zÔn3Phb)C KXhPʘ_wwdckm]odDUH,&u1ttoLyNJfd&Z$wՉL߷9/WHzj"COY.%n-Fk됤kKbmQ sk"d4Dl]+tDWugd~Tn_Z N e= 5 ɨfOsNS7 ;)?r?Mn&UA*ҋP6 &'"6ٺMaٗdj+2^]ZN#׻1 S4-O@~4NP$k39LM/llngҔ)'dWb,-!mߙ3,hK[m XI6j7lnrQRJSd]@ةI`~FcJvٰ0V-8sŐgYDOԧbD +DNtrt@b<@ʿN>ɐzX:6QoW Ͳ$'yqE +˨ˆH`~TH`1L݌Sp15N9-Tj׼3iD0g?1l62оY21bPWgbA8Z|Vd/4͜1C9v5"i3:<;v% pDlq~tsUʿ*fRxK×Qzr{NT[?!-{c%$"c'y!/8SD7 greꙫ ֹiK%իqlj2xP).jfҶRA!B*m]`_]-U|ME;>>KӰ6UG \KV !fm6!i+rŲgYOC!YeP]F9DZoVk ee7-$+!6Xtt~< T/JFRK@݄!"vgdGi=]1,gJT!AG1,KGo=%:քO GM4 +t IOژ5xMMoH&1\t>Á=w~G~gȄڧk]Uu:C&23z~_Y c!hT ^!Ω5 enfܛSi{vFNRUvX`S}"n'WѥT(N#;IO|@%>"&A}4~uΞڧ$/ڋW7.(No! h4ڈ*GP*v\*5 '{ދ׃te!J.3>~jUϰė٩_y;Ly6-u{aA>9\=zf P N؎x̔_4jی'LјeJ1[4*>yn3wPSIpk-x+y9W>$Y EդO բ 49+FdpԷZfdWX@@M p[h{JtЋf4 1 a|_'#k퍡_4-)g^tOSF2#]0{(K> VY{@g¶uKf;hrWis71_Z#pb ʅlD0Dc%U1𵍲WAkeiխcQnlKHI$ӲHD˄ɠI:bGM살 Flu|GP|j/yV{-|S$ }'ȔqJzTm,NngYZ6c'^ XPXX_6;^Og9Bff .3Ѡ 2&3bVly-lybcF\|ʪms>c1?j gh)x=hH?=x'7J̒vU9ZZ%CjLcxj:ӏ`:Oo)7< xF;̚TPϚHȲ;îgabbzW%mƕ}ERB! # oLk 'ET,6C.r1Hh~YKVNB-ɘ>KZEVc."XHUϫ~oQ8템N|HcYGЦVw#9'G\ 8#BְuV@n3$oǠ?- 0nJtw/3aKD$\S9 doRhP6ri:T!ڗaXŔr_4+vLS, |xB+t',E8d%FZRVP*9,"#6c8)љwy a.i_H5J iȮ5i: 5Dgy7X#3N 8! }0 Z/kA#a UcBwlH&[±U+T6hE $?]b 92-B56~u9@/Fe\xp^L!c?za4&xP0R[+V_@"!O"gl8[9n.G5i֣ 0+nΕ-(gP~37NGLѯԕ%:Ijp"BM/qot~9JXmf,D]b麭rTOI!=pѡMk>k(6u*747L'J?Rϐ(Ԝg%]<57Gqq#-s^^9%BwaFk V-Z&@~T@C|Q2EOxމ#~6 _Ma8D9 tcK]p*_eI֨r$v5pj$ ʠ<g>fhaZv7GbƤY~QEҐ! <cH<$_SjY-)Z{Rv>x'|@0Z2ucbm:SE1ҿT?״7>H#P<TWג-56Nu)x&}նUq,Ed=HRB"t^:ډDn.v;K8qI \~bJq~Vy0X&7GV{Urt#f{ {0 3+bu^{O[-rF' #MN4"?4@x? خtíQ}e2rM (EIM69lsu)o)#S.r}Yn ~-C>qpQwJ4?iZдê1TBhNIjn6{^Q-:/sVod9݉潯v |;OAD8Og . EF=g;CSKmf1Vsӈy*0,,3Oyܹ`r{qZ87:l|ApeGSЩ/Y>sN1иqm[I>g8=Y()An֣fD邊D _}?D Z yd|N)=dIZ.Paf5f2sԍ8ÜTԭۺw;Fnp3@Wؚ U5)rtQ"\uq_w vxK{D%E=יS^#Lɱ}+O CM6W'^nj-@6 ig&TIm bu.('6Mu7V Q\3zϴsi.V*ge#C+{Oxۛ* wu֝3̊VwpY'+YWOe>QIXcSt?JXY8e[=\~1O:s;' XG\mVצGH/)oTyN4AFyBh˼ :m}=dx9{c93׽s#ޭ!8Cv:xB4 &,֭8pClXV7?L'5?\OZlS̞$7r.oJWduKMMk[|>?.f݂?h>E+H_ھuC򽕾ᨶ*,:rov>?xQ}Q QU?p~ߪ0*iznaȈJ)[-@;A|rzӁkJP%y$Mm>Ksv>ՑV(BGTd.I!)+1d-g7&xNmkgp|^PL2|%=v7r=ֶI̥畁t u>r4LW46U7|^^X<# [Q; g"SQVb^+?@ZpH]}p~{.ʙ)B ^}R?ǻ_l [I+*NP(XuQb^D@O7f31azE6< d.9EQɷBS-m~*`-|v}B6s!E= eb_V=mZer` {Wq9Z"XM%3h%$AftB$[.2m,D gYZ53e46253f798834986ca973e0f29c036250602574a4f54a92f149cb91f86d6ede33321d86d379713 387eac092484dfa70c4c502a36f9645f1ce83fe4