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 L/xlc׉6r ] T!1&ĺ1 &2%]\R%s%#7eeBB!+ W;C?Lk)JK>+ZH&Au[_#T5+)P.YT^8LB z }Xt^%&`RAb6=C[tgYZ7zXZִF! hX]ŗXiɟ11bu)a2W5KԫMo- ` <DI7ncEr$ٻ<_7/^ mKahVc7|ؑ)m`oYJi qbpZЏҊTDCx9U)=#Ѕ𑻮|#Vs鹨^|VAᥙj+κ$K\wNGZwO1mb~u=);>#"9:b|&pk> U|.w)4/idV oUρpğI5[Nde]<7Cwѕ&R<c]gYZ7zXZִF! @kq]ŗXi%[;$Ce8/#$?z[Fr<s{dE!O?&TYoQ8@['A {tt3 = bט7(]Sj^0U(J~4 l0$Yu+4~6m 3)v8G;iSsub68gU̮ 'Л^`A`IP7!A 5vL)pF\cj mI/Kok6#RSgW NѨYb*;S 9dYJ\j̅*^in es\#q 064/ Hx hN|\kT;#vz NiYikLgiy7Q`OO`k`B& tL̸ppyV. "ErTt$m }_- @\$k,Ǥ:u1l&X?r_}C)`;ЄJ#Β@yk-z;\?\u<`;deGFXG?N̅ȾZ7m2@eRҫP3}6O#yF&g'P쀦# p)"xI=I5*Kh0%> e3j u@fh[sJ?™]'qˢiJȀWI a$LBa9oNt1 rDv\z4 7TA 9WKEz2M@wg`7̿ -Pb?D bEpmۚ —dO`+14|ɑM Ї= ͕64[9 c b qHHY'S&?W}}1+[|qcpzi{Rﲙ% :IvWrC rq=LIZީ$F!Pï*d.S4-uLN,iq{bj?sd GEj)@XZ]0^_eKN3ӪMGU!lZUF[@.[̋*(yvc.,Ç=gzr2KpJyj٨!^ 8dЯԏ乨P[bR{QNjTLeZc 8Aַ>Tra GJhpv!+^zn wꀆ_$ v݋pJǺT%fD'D0B$+0-!I,%I룑\ 1%cCLv6arߢK$6_)zdA[[% ۛ{4q8*J=0! `'V})Ec~6EFCęE7@z޽/e +8aʩk~E4&]M1ٖ)ƛl@05A7)(||PksMcԴ1Gu& n{|(4 G>|ǥ"grC(_vbBX\>h&Q~7C*f,@&쇫I / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6 } = y > 1i o +tJ :O b# ZZ [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex 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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LHYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEYKlQsێ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, l/CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}-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ɖFgCd7ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ 0_0g/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\L6Ũ}OY3-׵*E1r iC߿Qowޚ(;3=yBuޯǿGyOd ?jz! 旿=#"ۮ-W㫩Ӡ\~ڋ< !2rњj$ƶUݮ~xx7%F L%Qw[`!=oIɕ3{nм(l)nGK ~ClK?CgE4Vhh`_u}?Jzק?|B,,-(ձ{8]/zǫQPQጆGj(Ok歌ąq" xH= (j#uaQdmQKe rn~p\PrA7~"u`IuvTà:]%r'15e4Hfsa{EYAn?ۚ"r\)5r)rؖ1ؖ7%TN[[SH8wd3w)\c[._Z v:hpuz_;a2Mq2L8& \ x J &,BxtBF jl(Qa5,jgYZ  /=# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~?`s#6Sfy'NMV&+Ef%/d<.R7LffguCM- "Z.T:ԭgP[k=DbcfSX)8-pmk<􆳶.'BL=Vd6'/.K lEsT@FXey3]aVb-_C@-h( d]6%mQwqOW#)j\n1%2@S)b::T .wo$]/=!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\7FmNtQsc:d;4°˓gK s>GGFܚC0 1_̊$6ȓzK_]HB+{(L~lô:Nvy :̕r` DM*zXu?h-,uԟƧ %|vx^"^s4%0ͪ?|`R5&IJT_z0Y L(쒈%#ҠcR≞1B)p“vy DNjsPxwSzû + (l~ ;(i;l-SDTS '}wy~0kiN456Y~rrvQJ2jc-aJ:s kl2d?S}^&;$YzbZIEdMwxej q d7ڀ*Yƒ aWH[@_gh*mo󿸥>5C2˰8ħ>RZHqWn5<#7^ bu*Y[ j^C>ˏ]=vS_k~̷5MCpڡ58(Hvb"uӄn(FxK52eWSpPq{in(gi*]Jxة.{O'r,RSAYOc(*;#̛uM .LKI8yҝ_k}5?zt~ba^ߓ2ԧy|"RD*8`q sT\MͤI3Vw*m{W9FG& hF)4NH[Q8t]&%Sڶ |mwn(E !Q8~"] F$ػ@^p Ƚ16FՌp$Ο [wg \3`B [b>Nh:5Ag^?0連ة!5zH|ܙ\OyR!:tp,F}'sQ~ʀ0v$ѫ`m@)ZճKU1ʃ<V?T $\:74K&cJKm{6D i1Y{YJSd yLX] כsQ^lR^>Q(EZHؙ.L}9K*8t.@W7J:3 {=N{)[)wzʌ!Fz퐑 Vh]?OlKV#q|(dr}#9xiy|LU;j"wН[y" j̧cX'ПNA7졟ɗ̒9RN}RPc&Ӗc @C 62A.!]o;E=U7&F7ZËivΨm9ӻf7[vT/eU0uKƳmw8ƥ+Yqʗ~{@KK h>:23T@4#3ڼ$ rrjB=?=އLO4|XT?l[Y ΋KձSt=d"Ғ~}*((kь8 _%0rcvQ3tyٷVb{]Kj:jLC9`[1; Hh#<鸫Z. S|,ׇQtYSRPjAtKhss_U./I[IhS+=md 2=hkѢXy(6.#ˮ-h$W!jc=)UMp!g_J9!Y-J] Ow6 )ptpڷDgfPtI~t9"B3tȔd>؋dFhiM3^C2̑eN7|f.V@!ԼD"| Xw-IEeF*H #~O)>ѻyX䒾!x.,`GNˆ-m­ f@ ) AYzylIeK,;ؽPe!{$4DE" w1duJ4yV1o\(|4TZ! N4"g@=>m7֎HK)^ u+f0(hf2fq\oD_ln.C#<,()2DA&c}([lcgr%-_]3Q.Z,>;BF g\ʠڇ葨NV)7? |k#Bt]#`;p-MK)L'b0`zmt܈=El -p8sIWnZw'#obuttͽ0C+GAL>`62mJzBӋ-M)E"V?k*=5\1$bL('::9xKuXA0Ra(t(BW qfB؂B?ti.'lSIךg1T)#Nqœ"?NH# 54yq\mkqܗLxKVmʆ@UR| N\Jef*vlP6Q4h@Z%"Fc!#^KP^[5 "lDGupe/& :@s`P=n%bc$*Xۉ X&Q[O?Ux)ٽdʾ<\'ɵ6D7x \թndg\uzF9u31y% -@j?6˅`1'X"7\ 4/[?Ԓ}J6]&5xk?3jlF|?8r&O"s!(*aml2۞e|r'։/|ـ}9 0$|,^Ok_|=n"Q_]nI5K!t. I7r}:w*abU]}ߴ ~O8" ~tр֪*`nnTW8L"8:P恘Ykϗ(]0ܫ$4->NmQˆem VcE. lQwn= U0 &@[حxT&9 GN5!Q`{MȵDC@fqGYC=j9V@3Jf,(& %(@='*!!@F9zQ`כA]7r>ՔMddF?NeŁ*c9PKPOnX1m^1@ﰱy߭!Rްadpcu:_4o``0X4*{rIDIhg*? Sa>%քh}C E^2:uwpZaIk%U\wFLH5]њ*[,ˣDK6`sLCa u>mwpr%&ǥad/ֿƚK#D9ibV߆u?4ʯf(WbrBS6OC145сüSWRs#"A]9~L @f,#ImP 0LuXgMS9ȜMc"̬5 }T4Ɋ)H d!n5"BL\99W{uɿ]`?qZVWy뚌$]#ڂ&/cPp tNt :{TgW >iN+51 bۭ?##oţe+Ck^yC,6YsQ@&%rBN-yj”v)@)r &JޜPl~KecU [)AHF. V5D!PӼs{ :QL <"9߈xkqW~lr-cHp3fMj%7Vil߰U@+J瑯#Y]S!J"ZRHKQ$᷀D^ᛤFܣ ̐sy\D3 Cѳ Z)a_޶t}^,`Rlb *g\(7O$Vߓaô9~{h>dF Q@U<$@Ky(S_D!@?K؝b*+™2ܗ;]Hs*J:7 2J"Fl*eR F&nZy{͜( n򮸿o{%\ҷB ޴_E/s*D'(J gqn 81_ko(|"-z'%oa)|`tWnoI';2_#&W_*c-ǻ"]O[k0Kq\!2'(%OHڌS)tR7I}[D\!=V LmW1X>,A}H$p) 66yg ^T 8XAYuo,ۋ Xll0z!ďcFx nouCn@:;{l}TiR_㹾Gt7*_؞!Z~Ë7]ɒT긶mB#yB^pD3]}҆w|Ջ?;j I1~ 'gکN`f}TAI#Z(jAW@!QH~݄Ws~BI$dK~Yr7^U8}wXLPےaLp,S ݎ7&~zo;\0ۅbX*ߜe'$FY`D0DsTDzDh_,i_FHJ׎`motnbNnטjY|PqȻЄ 8ۤ3Af+tX"HtV/t;^oc"8IM`N k]NI::A;VoI(j[3-""[723`_>I^]TbH]6[i¿ 8PlzSw8}Qz)yS2#k0N|[}znHqz@jVc<)C ĉ@#a SZqh欶H%5h"i*bFɌi >Ƹޯxп"!]G`+ks5b6h}(B̏(*4_5+O9&/p~!G/K{.R=Y33y R[P]Cx֍cXOUG]2l0Y=d M^;#dLȣåDBSXL 0^A &Sx\frf4P.olږY[r-K2*-cSr;V ŵ?R/at"Ȋ5I殺3#n=1 s]}qi| ftDxu/k_ߚ$A>g.QOkfl:fc,06v9x!Sϙ#m)ҡ' +%(:%<_h+ 29:n@ҫ)uu ^2M_KA~kjTuGcө#IvV41tѸELy>O$D Vum b}a G뵩ݩB#\"(Fw:mœ5 zc:Z&,TEMmHsKv x[11GB\cD!~YjP݉u5&`R{[ºfNkkƠ(%tO+y.<,@$ȀZg/*V!D%vM|𹛧AH*P!?sU>an3J$$f\iw' j"ڈmo4SdDu;P2%]]gaa$ΞTو;E#3=$|vi:'Z#&5 _{VzEi ~Nٌr(=w26Y K9&ȡ>&eSH7ׯsׂ+ >:|, 87Q5㸸Lj#[ݙw6;TQ-D;pAdkb#/)!!7dUD.zВؼ_KO:uPHg1~ E|1Y}C!?3ThZ+bE1hڸۛfs1lAt,ki}ψ{Ru@].ɘH;[kekwyh=%ȺUxw&l<6ä{0G1k9jUvTelEM@n2nev]Pp8a؞߯ dd֡%)ASߐh/@d ^X^Myy4con.?;Ĭ٢ޜY~8_U\`L= )z(m d1F1ޟCdN;ӌkMG"\˺hv9Z3TzAsi X3i>RʕT"fL^AfEfmK9ʪ(+ c/gԗwu%J}S8! &>3Q'$#HkHOj0c?`02E؅[1$=֭=×A5.w`D{:x Zivm<$)pE9`> Au[ۉ7RQdj[v<4ǰVo6LUB E٠FVqyҳO$S׾Hji8Ugb!gт"e\1>z0 6Yl ԨJ)|YD2).~&`Bv1`Lz;n>~C0eOZ)O *gT"!E8[[}T ~bi烈+Exo=aSgbn)S'5d )5EeS03/+{02Tgwӎ\]) ]#Rg lh8VUULOK|!?h.SxsR%fK A\-Vy5r:]8iA%x7F3sۏ$3 0{j3/KAY[;m1"k0WX60gS L3W"~w)L·@p:|:+=\n@-e'+O"AdROf<ֺA*u5ѣ0斚2 Ra.GA><׌ni[pw:|TaGpPi@W{0p{X}(t4(?;hxB_=p|MCW?JG_9+r9 _G UMҼ#_yK:bw3-(/Ujxo4Qlɡ 7ޚYltf0a¬IF6 gEEڒ*>?롡m}/Tj1[^#8H8{TW4 zz%ɭO ׅYi4]?K~%Zu6Du#d|@ n Yx_![ erVvLnnƃs|mRc.b$&(V|4J/va[<#GZ >7`EebXZ*`UnIGU{Ş@2vEC ɕ wr 5^{Mv8X:x` 0nc,Hx^lpx_ݽYUVR%M?cțJh"h16p?h?-x87ErN |qkٛфd->bWtl'BWsXe`GwüR$|PIDp=5 ؖ:Y6WÅM&J5$RsVĻ7+ǀyhgEe/1 qnCR$>ϯv6pS5$a:YBP<|ӛWj+^r oQJ5+4'2puNhD 0Ap$5Zڥ_lo  ӳκbvbWZGb}cc_H`"^υʢ ~O*]Lf-&/ηc㫥ZmJEuUzcPQK]sȑlT"YrwTLN!=pUi4v-9L[02 kV^6m -_Z#p:O;uKy<=v[EˣJ!mo ٶ5Z& qzdD@hKK@Gl|5}|vf eGw\+6-Y0 &K&^JL\mV֚'׎+ `UU mkB{ƍ??\Z?yLx>icG"R6 "h"ylUP5bW}#OF6B| 4H1-ɗ0(H@ơ/p6:""[ˍyicMtL*v>R%U14:H-mBw\F(9;$v<݂-j=K { LTTdRhߨ&pvE~Qa?A;I;THŖgcbH^Lӥ!?S`tT Ml_ X2m[um/J i6*:z5lnt'cju<$qnB <-~LЏsD"JmkjA輡b}AxҸot@&P.k sVTI/^i#,% v.܇@c`U~zD}4AA2ޅRFm M4'8Z UI,1gbp]|?>N*&Ll:}@B,횞4*Ј9p/1\mWgt &ܠ8Z\j8䂳֤=mˎ%A Tl6&c. &4~zl >*M!"Qg-*Pu}aЅ洼>4+씟iPh ^)~Ks\Os4i=Pb,iTUM:<MC0]L船 W(0ыi7 !_ة a-h%/%تGr$]J!Me>)82W[)XҰ4oB;d64 5ҭ&r>ee @+.DMO~ʻ&#(M,'\FcCiR< M.(0z1#6V[LsU37'm !VFϜLE/ؘ>T[BM6hb0r~MO6:|X Bh#PnԱgYZE/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <D]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH[9;T'҃ ϋ 4Xynp{s·,OڵOM:Jԟƒı. х3r2G;_Nzg"T]F&DT&]iR$w|CLTNx=ğ~0~n`?b(6!]\), U P5(S?GEܑG?S-kGr-f?1矐/i =Hǎ&kb*,>/RإTyZT9BUйsFH؀L[" uÍMRkHa "^^"ՠihƟvOYRhٳqzM#qV:9ɠFNq/oΏ"קv3']$̌-c-uU f}۽GTziu<%Ԉ(^j3N3m&/>ǯ P@R~!C8 ]?=5q2]`Т۟~%hlr[T랎klN@*vYb,R+\pLB1}$% I,>LNBk^PJ&P#oc:nD7Gefe_5ԸvkQܱ B0$0K6UBN3n?(zgu8;cѤ9)/Pt>Y6}61g$-!AQXeea0cz;z'{T'3k 4i |K<_ rAJI]aw/̔f;CHĠ1%z%GV⹤a^,@e`NC /}-Dӷ^U+.c|%V-[/oX6ڷ嵦5x<̎1~bgt-MKTo%40ëa. 5y=#'nΑZD}g҄$"bK5= ,:Xcf]\*H (-S==@\k9זaNP m:Je[< ,ߌ%Td'FkAsASO6CWU"ǽA 'w5RzWcq9Z.<1Nh$H\]uzYebSR*erLU'0-K nnEuI rdN&Gجi*ӵ!_V?u(7|2z[9\'c> O6^ !\ޏ:؀i>~*],/1ͽe|&X^3;~G}xdJc2cuBzGϴ1:{uݥA]1]X/-v<MolPֳϒ1^@O[%(ZG%hah gk!q{-sUm7[Id߉ɿWVA@luӠec6YlrQG<;ijQyoh2 uFQ~cMp[fS6^`&VEZifL2ϒ8P^ԟ4:);gMY&r4Xֽ7.atˆQKQPߑxGdQut8|vӄxHowulq"H/uN(R܍#<+hwKhEj[~&'VZ ޞ 7רzx ]_=^X83pyBVlM G19te.]ey}PVL SUٔů`uS˸ )]_JLa~}>%Ks+$!]b^st w~;t!Q=AZx>: E1ړI]@tn "+T8!082U뚪NT83ev@1}ʈ/6l䳦rf+j<" ":{4*Zf%!5L[x/gN*jظ҃Xe8C9QH2(DATdr֕ L78vt [Q8mtmďo_!pZ/ixaR&f>072`cF)Dce q믺7P^lwu ~ ^pT蕍AXj:wuI&y͆)(ig|ma)C_7¹ ؎{Cws..Ix.T-Lᦣν_.\M5j;GghFct>מb*>*lF:1=-璃P-c7kRַ# 1 *#HqbW?OZ JmT~ӂ^AA P)~Gs'ծ|')4:y plZS:z(^y-zW=Mf-vx0X_KYt^0^DOGA=\3^9[YGS3u;]eϣm&~8)ų1;J-V Y;pH9q)ݮ(uOPKJQtf4!޵ V(1>46s(Yo g*kPv$љSw,4(r{t]4?X:F]j-|ҽj_LQnWc+t4N49FBoćLpߪ36&/罄Dn1*ZJ2Џ[b(Gt亹VO!]I}u> @or\kUԙ1!frAIgZ#W[~F; sԨW(0r`l 4-bq>?Y*=[J@e#DOXbVgoV%G90n [b+/R2~ש%{+8 [7m!_{ĝ͉ȻJ2t`nvB8Չ}b\j% L3;:\''wVqOlɪ`ҩB.%׀^8DAz}JM @ż'CC;8WXS_ÿTD&4L$ '蹯51 =h)W#׼ɖ+uTVcynUA:`5YYksU&_]/憙]o썩e 4-  ۈ'PYFAgziA{1%: voŢOX1q 9H_׆!&HH6ӓ8;uHoStYw"ɞ/` rkeGTQ\O~ѵX4G6X`k;tq'#Jt$L4wu[O[sM(tVh<æR,,(bP;MqbOsTlkvFwK&WK]lQ9A:4:0 #M5C<XN۝VCᎁ=c?PtKxXڣSjI_ i j ?٢^w-MfFy}-ZUOd암eVa.3Y, A&_\%5*l,2Lq;@}s~ggC0d?6ͲTnObe/^4vq\v-ےeSJwz3gU9J҂5IjҊ6_Ӳ\8_>t ^0r3={NabQ\m_{JTGl-,+"V7tۑo 7BʚADŽM3u¿ mY<Pb V myw vYyFT5ܫ=9a_>ծ{0Q[JFe`TS6|"}%I%[fí311zs}¥'ZlZTr9]1gdEd{+@X$'zvhK{7ŽH%(`@=pJjktt\3O%nў TyKV3R*?_9( 1yҹO9eI#w[f+ 94N:x6&]ʫi7U7@O 7 Hcɗxi̩s3a¼$n>J>iaO BZ#ݪbCJnВD>|+\YܟLӞQ{kP[>^4h4Ʉ {agYZ {:{6 /O# lHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvB,$963ü]0X !7 nSЅ( J<w\*Thi@elfrK[΁ؕncNb"/4; PR%0<&&Pi|!u\}i8cu.C372/|@H٬l6@ŢD<|{uԍSmA$L<)o݈<%t8)Z.n-螜ji<(sڎF7'4vjPu9ٙVgz8X8dS!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220m/O# \HOL-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 3P,}\NW)+.bvH^dO3 j`t`o%zzcK}@Vb(!1vuLGRGSoƸeYCG.3l[̋'樅XvxԪBڹcP˩领aеŷAZEfe5K8RL6#VJ7YZHy2TNWM*.qfX1[޺pV!WOC^_iX|BHxG@B|]2/ 䘝;W<{dlٽLc96ia>Χl7N AaF xf\'.htsj!%8I |Ps>G9Jd9Tճ.oTcBb46 bAM ,d*_DQ6U|)aتЖJ|ISuRp̈+񓂦ig]KploPL}``5VAťnZ{qsrr(++2=rQ4z`lDl~M38\ tm Pp"a6O}GV*tjW\c8 e/B:Ns^>š$a_j;0F>._M@Ͱ, xðCS*̛nFA>_K e: m`>6ǠjRMކ$t2ȋtFU@ '2̿hD*|7sI$h/[{Xi* a/qGY!7qơuY]bWǡcɦqw]cA-%L}ҵ;F⟶~M6AFvȰ!PZؑƵ!;cO8! Uʠ챏=+0`DNh~)69$ѽ8IV9L)!ܓ#6IM2FGc؀5c nmٔY#qs-Oh?{a$H$Brōbpnr}N;m0Pqɢ]EG0//`C' U2Yb:$awjD5ɍjzBR<9EWB#kve"ۢ[O.'"BL)fEo3s&:MR\fI_L$V.Za2lD\PY,D nGZoKWpYAd! *蜀!vQ~[ 7hU#{p7jWã{yӵL=-(p;Ц%pL[59FWȓ)9Ս Vr1!\z %N t, Գ0AZaWCC9!G#,/ybtO?t|rPoLT=cC,|?F9";G|[h֌j*yU֕腛+ d\3^۳BCLfa'\!1 B8 %!bAV$ir}kBwa8-nƠ@X4Bg'B60+joc]TiS10] /r<V]e*pϪ2ABPª}a:EVi >6yazZo[f7xTNz~Wm&{=(x89#;%Qn*;D/AHDŽ4LG"kxBm' @CC8AOn_|s叅kh+=(!~!QT8 bi.0d7,Qϴ1[le'g<&ϋ,BѼ<#gE{y>)Y! )g!G15I-b)A؜u[MGX-+Qh_o'B) EDj,K|\ew k?*|o2!>Ք1Cqho9(YBs c镏 @ڕ1])?}M"D'7O*Riz o{5(itmly,DS\98d!ЇMtbbP]̲{ekmʼH;ExSU.H9H7 $]W gK)#XFT~?n> ):ZJ~J,Kk8Зzїm$ePx5+,ظOۚE=J_55:rw}k_ W9z`Li 6BSYauFj|Zb)m 4ۀ:FEw+RŨWJ7Z>2 Hز)h^+W8nH)~sB0>~O)r%ڟ ͦ' 6h1@!*G,$d o Nb&m|STy\ =53'; biVg:;7aM_!Q76uוn?`QJ9aAm Va0jb^$s˟Mip)lPS&VYaT%u˪)QhSXP[+A,zC_[e*׽ n?MS4}` s\/!LѼ&pکw82s}ϊ_~&q- zt1 T2WIVP}NN::m}K8"?t}k%ks6`9\ ec<7070,̀%eW6 ioI{su@.#_xE뙊Z6[vm~WRS8pR%s(1/7 qz; ) rX3T$y/ #.-8Y.T8b>@{׻ _xWţǩN70+b92e$ ]EbYL-|Qؿ":]:]4lt6PՊC6q1@aIthTXvp&ĵ ȉJ.@q{9bVc )]WggD5?aE:9-ت*jŔi͑qa8\*/|hOf<$yj›h:?ٜM_䷝8"p93t0 b+\0:|(V  La<2eSdWwQ2vȝ{ݑ"4ͼ?t O{( L/;-fht* T;fDљw [($ n̰皉3-or|!Rŕ瓕4Zb|Z4hDR]-Kd)\G7עf(c /[7w2G#5 zHeg6#L2mHlxOy%SK1RCj|{=N=AERprɍT/]F9CaͶNr ;JQ_O^+AmQ.6tb[V| Q8hkD">,H",)=}]|LϐDUeg*78E jnԡ" ^*xiZu "$ˡ%[4AƧEy_b;fc EKZm l_`@y2ʊzSh$իK-]@sČ0ׇ|bm>Fw>G2n0}DjKc10LU8 pg?>ƞA@([Naep F`k7`@‘Qo^E1"fB(}W`\C]ЇpFBNE(&3۸s {; mAYň#cEi=,{/fqY0\__5|- ;(Md_"5 K}>:qf< ވY쿠H&)޳]Oސw-L+I%*VA$A~Ǐo/5YMnE /9oA/بx̠5:lPé?7D(yTYQv1^>th{w]>L咳1>AAdTc Ć )ZQeqbA0F5fL8aHfx?A5 A-ikA|4SrGOXߎqǑ{#pRh0 ݲ#_ qAyُog8brszpґ▃*;Z?pOy /dg%W-b xȘM_$(21_o09I`5xu= QiM1$a0Ln_hyM#EOGubD@A#O Cv4zO6O5~Ҡ͆.4^P-ThAs:G|f9x2ǂh.`R@a "|{Yp =$gVP%p+Y%|&HJǼ8Zcymf/ޅ}ϗ  TSid-|EL0k- O=l=>]pd~pЪPeVIPq+ǓPr55Y2yuܤ{?e D5|J ڧN6D& 3f%WceP!;- UHgBF{; #IΤ$[4XKA.mg_j`KhlM8 ۝Ľw޶) d 'X@dO/cН]1&-M*neݨVRt` gHͼ7F4ݖI+zZI4&?nJ!_W-SAwТ HD$b!X(on*GNP}=݉7dflx(KV~E[1\w=W~X ȍХצx{R'T iDs&9F´T;+Y"%Xw7=K듌Z-njBK/ᄋ.}].N*INlcy}N8- .Z.1(!3K%B5)PR_1Wwk9#0ID3.$q`<% V~DuI`|;CsȽyÓ#bK Z> Ktxćq\M+ASj:auLήkBCG[}-rWeO bY@lXCZ MnH˦l5j VО8f!~uiUJy0#`6x 9dӆѱDNJV] T\Kax),ҟ G dcTLϻi?.u*zSc |νMUsWPZGb'wgZ k=@gzN\,{i Qj<(4}&|nB7̯mFWQ{ ldϬ3@ Vׯ7%aC$A!Nt;K|D8[e6wͲ g[Y1 o-֤Kf$Rڹӭ>+1NlY)Պ;l)_Q}n mq{2kC~cm^#/9J_W X {VÝvlWikx ' :%0=E] P 7#(,Oͼ 3ꪻbM1pqtmwpY2Rw qşHk4"f-L|IUFWQzjw6Yo:<"Qy>+i>& զAhT;,GgFtgv,-%[Cg}UO[TQ\HE b0a*hO9.E:J`E rTn+aky˛1#E_,Μ dp E,]P7ߜHVGѿz'SE(9\Ro6.ΰǃ9&.!E2b=CJMFٳ"q-T[۳\m/<~z>~Dz(n78QvIT |,qG "ݩ2a%:ؓO^A_ǚ 6?dր[QIx91V7t~_7U&BT"1zU;79nG@r-1}"ǩMװTy!)N,v<]!!XX<AsΒ fVr!>V'O*PwH~ÁDLzfY n@͈ܾr[z`4dҲ|o2r!;KVo'8.5DSuy=hXcdj"Z'L.$&TJ/{ƾ̩X/54HINWiNa@cF8c%:ic~Q Z 3h/N}P׸Ww\ {4IA%dL^Ԙ:X)̗Acws6b28Mcr$̝Z89(>xx%Cn`RiL73_gF 1cKp$;4mҁoKOnjTqNڌ\2w Z۽Z0?Z♵O Q}H³oDXZl˂<$h:UmXY$2VL!HxҫH5rI+mU`{[e-YzqCa/[V މi>a?T.aJɿ2jЩyx]VG5Xz4t- ín#$h&v/p$b"=,)v0_J90's{Z& *w B&)ʝgZbrdaMA"D^ߐeWn'" G_4ܽbw6E:k>Y=th(o9f_Йzv喠Ll"&2=b9L‰rWZuz֨a[/i(Q{)1w,uÓ!y@(l=pG[*ykKfJ/,'},5y}.|gBE([U&}0ĤbJU {b Œ-DU}j]mr X:9N< VPrBbN& e9Y:hܨ@G3ћN}={2b; Fg6AY)v,>-%sM|TU: G3iQ#(q`dCVf+9\,{\ dg-%*$a?%s C7Q:`/gͷ άyh)"Z{ϐ%-HY\tVLzYE+[pswV_t.92 #M%8Ͱrzyj !"r`VZ 8$y2}PnJt`볠晐3gI+9 |G(3,$V|;E98!?>_1>+: cB4;'u@@ ^ꔍ=G\}0،Y"/UW {*yq&Mb_1\x]\y! ٘..mjr'F?!lQYk;'rM+e[bf3:ٔ0:۠5V&Jg#ġ<7h2,+9 E2bC B]P[S܋D%t;-`:_[U@ nOW 3yi>Ex)H<Ed|bcFY`'ɖA5yXo4A Hȁf96,2".ՃU<3Fݰ᳘cӘ+LU?.Ux\&p> @ Bd; 3n<~)@&'$!w̶ρXr/Q<.DG~r?Ja YFM8Gkfz Q߮xyP9c-]4jBܼQ/AIMkN!xtkpCk(*LEQ *V@;{b~68ȾmU#dF4 m,f5w a+*Dyra;YjaBMj\6Z'3`PfpM"'s`\B܌t *3ȡ"n_ j694WQWYMZ-㻘#s]]2'.9ܠE4v4ڔ@f&YZU2:5,|!speP22=zFSjXz' P>:~NA$ J.{~2+oV_ZZAPs6|% yKrі)LC2s#\']`dD.-DfDu3UHɷP{CG89.X$ [p'[˫5 IJ*͊h nQLsBP'>&s#jT \P,1do4΁P|`v$v=zB+Hك&#}Y'x6U$yS,I ;+֙㢲($^pqŦ-5KVsֵ&wPvd4Pε }ݼ{5V4. +' -;߹?@-d(hţABW5sOoYyi6 Wme9a^2}O4yj|JWY#sV˼#o6~AAY뽎&b'{\t&. 4QD.w-L^-K| wh|h|oʕAИZHP {7rgA0\a0=8AaC eXw+uEި;*ǀۛ/Dko tCwDÛwSMA6.??~gK0?,﷚©|Ϗ2|r@^_ze^C;_Gx+x I38!" >9||q.$@2n˛^ac_u E d\\f*ƢWZ@XlSQbSNf}vt9iamO|er!w.ˠWQ&P3ܼ .y?9@?ap5E!c 4TNBS d`L%^q&btZjb&(R8/cfv)je!@l?6Jҗ#`( aͲz)}qp!f5ralpǕ&dVit5\JVk#~ݘ oZ[S:ԧjQQW ?vc(}ߑ)}J zF cKRA^c׎(k=7zDG6I1US?\Nr^?BΘSѫhzxΨx҄N~FT^T2`t%pnhPw0`E q9;$~Kq< dNTQoHԠ;*s9p-} 3ʱ%h'O14$Pѓ-61 ^i5򒩆:QwcZcfoF)SP]2 } Mu*Ab/aE-A>Vla>c{7I1%vaG<'޾'NN17]ÓjY5بN.#{(M47:8'ut#/T#:K pc:fdԏI%\]CHn~4 v&x)띟T[3:g|3?vrqW(CVgta31{UIX _}z/ik:܄D6˰|= 8q/]X`F\/8FW; †B&-' I+ɶ;&KN`&WyvvQR~ P_l\o!@v+`Q! v:a"iNjKiLD^-5 J!{/b20s&t{"q~4kLiyv|eJ^ؐR"` IĔhUu=m?;{!'gUfvץ6/!L7&5!r k4f]] 2K~E/\e[?vVl5Z Zc"75R$gXn,kbΚ j>YX-~q.Jϛ1>IUc8wcb\<;uQMkO ߈jsUk]~1U/z% r2oG 'ئFSwҝ54bQEaXGt#V\> c%~ډk%W,i ; :8"Hp*ug(Dc 2O 6 K2/@)zz26d| I1n5p.L!h {1!>훕vcLJ`[OIԈK 7u2y'M %34QMc"A^ B[`0$}̜kbQI:#WpǛذ[6)ɼ2{3Y hX(,W߶oޤtl98~@S y̹軣UoZEW{`@fu۔c+Wv4 b9Yu-o]̀#fjSe!nY'10g=*vwt]LU> A@OS2Ťߕ-O"෥Mn>.[cw(% +~?Wa"7`j|/y/3v\9Lp͛$1(/.#"[h8!p%K*gcp"q#U֝nk=ҒmRe͐zmdz!06lPa,a|#Me?c!.'h]ACkeQһ:4s\͋R4hM:Pb_Ѣ2sϻ+ O3-lmMv< {(Bd# a>q:0I$vit rAU؏ ^1@.A#ٲ) soWH|F{^li~ keokNyn-pѰ_O$+}4< Ubsp2`$Ȯ6uM[Td9Ju7 i/:ns{|Xwdb$lf7DǨUHov9ÈybWٸ%QA`W7& f x݌r50At!R 9zڲ6=y0E頀(syMwNE&ǎE_2x9{-E޳"#z?_K7Wތ_^8/u 4k4mpy$gA58ޮx /0s5ǂo@)SMh]yڡ K^*Y5HPnN&s9T6+- ] oq*cᖛp|-͜V>s_.3f^=M.l̤1'Щ4VFP6,>$s}$ {MR%!ױ!JJ`g= ;M|i2Q/Ёk,PuaĒ_ŌЁgzJVG0>/^2i?',ؐJ n^ 4c>qIc]GP@Űv_ٲ rZ 1ڠp,~~bŨfWk !Ī]. {Ǽ=bcqqm3FMiSe5Eje3D ԻCm!GN')aYvk3ͩ=3Al <_k(̃*7?agYZ + b N+! /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 e<}VOˬvV-@K&e}pJ =f) uω+bK /v'O)Sʥ ($!(yF`sa&λ7Pݴ;5zddNmKCFbyzh۫s~=kkj Necsi~x%%64Mb e#n Lg#CdU(ؙ-N(b [gLygo-&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒk?'c(N*BxT[Ij1sꯅ"~!t hD@e2+6|oiV( qyB6j݈a3K->"E_q5C']fKDV%.O>qZY[+aln1e"wt ?t?I%~`5][T66JgYZ'弅%Nm e8|ˮm&+#\L$rTH*Z YWcuZKtޞ/2ľH_|'`$}Ȩ?n绣2K^W۹| / h(&66! <_9(Cg 1<)+>ΚӷjKe]`WrdYS7#wh8A"Ӌ$(kMd]tej| AL]ʄaOXL;nACwEOHW qxHkҟ!m b/pi#j*'`Ci99S]fHeM'I@ZsQ%5[{oTS- m. p凹W:ibظ762^oʽ7Y/H3ӎS/B|w<-HMG@bo4,~H7"K¡՚|95*^}՟=g#jy2B.]_*6+ T(ʪ >J"{C? uì_d+ٴfgPxe7B9ܟRƚ|GA ˺Z*} i!4u{kc8ǛE)ʃa,p@b{ʞ;جVY _*#O?>N&pھ &/Je',!\S܈7J^>GlMQj?7x`N#~۳=z0ɉ$i_~lCyX*/ ܭ6B&APpha\`l);`hjCS՝mƎL!sFAh`R/Pl95R8>;X,x.?ǝѪ"N,^)Z| ju>S1UFHU2ZLsJ3Lz`._fy B+Af\OE˻k&^)J?V4cu;N'9V?#*W3 0O V ppg{%7tkm?%WB`O,q7Aluc@gNrK%$] 9I3C Fl}3JG,q 1ㆰ1qX ZK1%zaZ }E?R+NN64tG:ʾ.=N^.7X]ʴSz~ 2>ђSʤ^@vZ*5a4C& IrqlBa9 rbߌ/ƛȬ ljp>t%r/|^nS}8XP7RY?[ 7"Bjm()d}Qfȗq*%Oo-WF` RKpٟeځGkA{h>O~b1$T95y}pF;<]4^ 2kd@?2 7=M*yi Wpμ݀F[SV|S, wL^eVܬ WJ,?6*.M+Yq rxj4&VEFw46gf8<{tGf5ố%>&!v{ƭa@&e; מNٟ[b'٘s _݉W2qvE p798t֒Aդ>!K {#hk{no5<)]Z: r%Z@hGK\%0~Yb?%˽y-nʭ)7 lN fɗZ3&@'tsGĦ=m¶Bi#a<#{V-t>77!A> Q`LJ)*؀Ŀb0h&‹YLũA 6tnȨZ6_ :x(dcski<̮^UiU= YmyKEq*bVy,hS' )}Th5P[G^qNIOGuQaS(f|X0LTBwu:{@2,5N08ySϺ'Yo{"T9ʬɠ߄+t$D.W u+!\{'o]6p-ↀ o>W7T5/薱f+gn2tX[;.<~DVJw\vxQGpwhR0kz\~uxսEr;s AYV޷-uB 9/6⵻ : ] *0:.Mxcmzsܘfv7bwO6R[pO]CM'DbFzX;)=@Xg/ڰ寓8ʲBW&A[ :T#h*yz 8ji)ѕ8B"N\ Ǘ"e٠4G$֙V;5i77!ϛ#a01ul_-O"C#?/S ^}E*pаLyH+X0n O (: UI&?}!6>g7ә)\>}HA4 6~*#=Yo*j3p91Z0W[n0*c'WFG'Qѐ)ձZ~d/ʫС}8y^(>ǢDQdߎ|`)[Knl?zF n|ӦfH`F;a.5L$іC8TPfeLED;c*]oa{!x- T*`(To͜ xnEQnvJol '~ljhI..Z n.d}u ncݵg] WmJ\ ,p2P< 9]zJ="rZ)eD,?l.1zHLCxuDp֡(-:RfP\*`6qi0!Z^ :[Ū! 0"-&fNP4[9AHP!}OUR"_gHLʹ;ȟQpλIoN;50lmXX*B>Å6J*J_Ot,%--%ɝZƊz:a 䦷o`jgɋ3` 59O ƨA1E79ql-%,4ۢ{Ṉ̃>Py w0: zOz"(dQpWUE3jOE;BȝGDg)k-\(1`Jok0TQ=?4RIES NmѡH(oI&t !BcO2mdwVT<=_hZv!G~jɶ|4Z/B=]"yߡ)G2tc9cޱѳQD|c(R7(rc/t);uİ; WQ%ceAPC -́bկ+?t|Wˀ\Zj˿qGĕ3SvTQ\ɬgF%qKҹO5ˉN3z'g@:.VRT?MOp5#<`<\S۵yĔLyv>E< !m̡T6OQ3sA ]zPH4yH AT# O$0=Wa~7+CpU,`b]O6ʻqQI1݊Rj+n;!T 8A8t](@gWu]g>o&exN0Vj_iNK0` 3z|Ky,5L0-qC9k}-_T72# W'kA*P̠vl7xJF®jXP![4#7c?#+P~$_txRx/]y׍s]eS<0*8lOtEs{~ߢuG&e :& ՒsAgbvGxMFG,-*p/{6>:|yz E{eNJ;7VϛuRkLK@ $ދ&!ؚElAbɲW+V>c\4t'~Gl; 5iY[VDT[8-N6JAÄ )s7AW~ )0_{`G>Gƺ.T01|}72.nH ݱ-U}t 'nS- EM/z ו'+77q\D%I}[_Ji")V? ʩ4nVgz à8LkKbzoUɃ%_]VC>\V9^IRd؞:X`/~ɔg_|{b׺b%w-ʪi`K9y;L~AUd##td G^-v6ӀB_bxȒdk˭a$I#gGg2_ORFig#-$$@&0 BRjCwv/pK1Nw~LB١ m?1'aQ:wNǶ?6P|mˌkλ9mLlAG4VwC)ٳ&H{‘u%Ic`[.I(ơ`= .E ҉0{T b)R7I`rW.G(n"ǛP8{g` w_nF[% {W-+ Eh}ru! ]KxLZ6H"Z`8)؝hfFrABi\~ҠCe?մ%=ݙf7~s1r_ cf%&55/!㻁I:HSaS^ӹۉT܆͙wbTG}rDW>G207h# ;%mc. “7>.QaX:b 9h"ӹ_UFybx`rФlu`!`.`Mop_,x@F_tqxtY;} @\qDx 1FRӭw  &>4IjOPha[޹O## i9"ep`F#'9*)m-`֧ܭ~Ϩo=bft9OY.膙, hICP[4pEBĝVR~W@_ KOV%yNCV ϝ}Ǽ1E@*%IPhGgi5[}Y-[|?h<RQ#Yn>0ť06C^2'~fꄎ.*N2 -j%-jFǙ<"QwLWWrICo9M3(8۵G0̇+.c?Esx?ŗJYCLW4 Ь|cPP3n[ n6[4l.Hs43R 6KnrMﻱ4q=⭑]y1*[Meç y'EP +ƌ8+{<}>\pΩ&y qFXbʕ9XʶY۰c9Xo r,̘77kO[^c6ƩM֠,NYN4+_$@cAxcu5'9oKܾާ 0،2hBXy;:iܡ2%{-cE=OcPb`"r>-y. ?&ab'`i{fGOw3븺Ƒn-0mV&Kk{񵮉B[7C|wWekax $svoG=,Y(g: ^ =|]}q."M}47^LBZ} |´E?dw;ǁu:d~q Y&*! +o_F8bLh4oc)4<|([iƞ'*L #H 7NFLUb;|0 n+ TlKBJ$Ӹ7^|я c$_wzG$F PѬ]CO<7wB`{bӕ#Jk<2e?i#Zui_ >-浺& ǰ=pN!ʕA ͖T:JK:|\J 8b5>mh)%МԜ-r&j*^YS U`^_gF]_ jj_&" ;AnC|hǾg QTmMR h +Eq1PEߡx2;"Pt$! ]엙+ NHWE620Уeg>UyIz>ޑcKQ,YC|h'Hu &Up~2$bN=Y#>2VbHyTiж *4D} QKEl^?ٯuqG{|J|PQpǕzCVp[ftW!֙QI0i(3bR5 Ia@5/1ul)a`Cw3JdfPνpS.= %"+wfJM o Tyo(XN !-)=_DC1=팀9IʇP8Nٻb'3zt.#!!R)uɦ<:٘Xy?*9"QK6ִUgeZ6KĕCூsMx!IęjG.ܱ3߰Mp3 3 pU1H*ˎ9=q Z9hZj&*A qQ"O˘y5lth #"Xx #9y=,ʾaw4J2 %uo /ʡӔ>!9^*8V+ۡsMkLe9ވ7ʵ%Ȅ7 `M7Wi}>:_r1Bl^h&t o Հ VU`ߨo#ϟD^7\'|7vK0T ANCt`WCg-/duH]*![ Z¼ho7I1Ɋԧ`rMHse&&#p!~g.K G,<}^&ᦒc\6%VM%0J8߾vw"I\merwpZ$9_i?|d^m% 9$F{ݺM7e]|yG0{c^n>  N~RW4W& ~-AuӱR(zss@=Fhӆ@'B5 hȽhZt60413j iS %mu6HP[lr$2O{[ǷL{% [&6@Nkm28˅FHV~җ v@ $9)m^ϲ ;xO uWj+%8tmr% ((/;j-.R:>G(BXy(.~;.ľH8U Q3vdLbo.08=^eܷ))g\ml0?b7b( rxV"8;5 ؖ;a!\$ =b$kFp8C N(.Oϓg`cٚ6Jȟ^&Ke3!Edŗ@`D}`Wss82:;J]uH 䶻7-DQ!@!/(j;k !WHRR%p߮`X` V8S);R`# ݢ kn> ;:T@i@U%UU:å1QG"(!L+fa~sC*~$X;\H-s 0@z[QyP5jXC˗dTV@$:$P]Y9O}՘cmYvEqu|7aţ${7'.@D.@|MJ&MyY?4L^`\K&qO5L Ą^ fS.y6*hg(o,{7,kS)- jY&/)VNUCIv\/0xicoQ!{{nt,}L܍Hc$8;odG5Owt[Eۓ, 4iٮ5Xt õݰ ȖjJ LRqp&gS)W HͶ9LB#|_axX@6Cݱ  Z$-Ւ aOQ#HޒhKX~sGc F '}|gvBJ Qύ C~Cj2QkL ,ꬓ3-fE B co:>sOkC^/4 ǂ e 񁧽M5!п+a}E] %Iʩ(Xhdd|#ib)=A^,67W<0 :u5)˜O۞ӫ:k$ y_1lͯ3<} 2zZ#qُ,^^H]٠ oW`}Ϧc3u>QљH~&Q%͗$ {7?nBM`_ruU  /uhCkY?όcKO?I/]Ě@py;xazLiS!z`Jf9pSK~RcI5ɃwM=O#;Գ-O~rO#t Qӆfl~N1i>o ܫE@^t|N*Xap;Q,TsPKy; 3(?~ ZX|#y^ÇyE)ulAnZ+_%NDcd_fMfF\>2,s{/uBvGgi2{X]c,  AW6ɕAp$&lI%&;c3|-ϓc0%*"9SKxmuީ<hĎr;)W13)$wU^>oGg>;?- __4u ]G4"+0/ग़v^qHx QZ kN~tZ}g_huX)QgTX:3qv

DGǂ0zuqF}S2Zu&~4-SK3%+gd7t*kϚIۯ@y9Y!xNcU^}oLҨ%,(УJкd% OQ,qPDZ5 4^3w{Kٺme,kzb'$)*Y8%U~lBw`E{O4lu*3S$Ow`1ƦSFx*z(&JXpp?RJO-kֽ 9W;ZEӱF>ruitXh(Q!Ql:*eK+ٖ#{Y"ˢ7f^Ӹv _|Uକbb)-!ֆn~@^Gi5`6{f9l a öW@@@e.k=ރW`cFrՃ0"k V$+5chKEDxzܓ.N4yFj{khJnw&Sz]хA@>{k१zdH/&P ۀ(d `oޕFױWKz%ubb3&5MLY C2ݓ)}5lܵHuWQ '{n7\$ϕA"[h>+'92|3o1mO{ih4*5Ƽ xv pW/3oȯ␏_$)2ÐvC/ z+Z6`[9e:-˵qz> -{ פ@({01֖3jObU#fm9(pա~XL Gxg"F2l. }m^p #sY~w9[Lj} (_]No܉_E`vr "C}8qw~!ϗRG(ؠ Z: Cm4fOT9> fe%6زrζ}aI\ VEښۉ:QRf?a&-iGV`h!Ͽ!n>^ӭۖuvm(fi1_T/f+%PS!C~6vD&G591AOVfbN=k+H`D))pDNk!22n/w}["~<;QRh>?L~c 9q\*Y3/m蹉GdOψ4s߂S]?=Fd2B[Y-PdK xY㩗{|6:"BQ-1\gGzjhϑkKwBʰ1O˅cuV؝9tmsdC0">&& VaWNtYp/D<wN? AIGRsի>[ o9Ծs 1^H;i"ً,cN`- &H-qsZalڇ!:=Swe&(GFܚJj ZOz7j)9V(cN}4?I]j*cJ łݩRWQ[Qv!EhHD ޽ɷo9V. QlĬj֤Ũ*ƻ,sBf<jjH1 j4Sh#_Tv !-G b]D#{iBPqFaPZV);׬/u&ϧUYȢ74\XD9׍pahʈ:d2%qGONY?Jgr\=^BF #~n_FLRǘٟhCd?ߝA'G V S?gm)S@g4\Z\!=sL@.{H;)F8\TibK[ }64 Q'`|`$I"a9 `^ԝJa]]ܑ]B,|iY[-X@g4 JL撖oWcf ńReߘxA:>7a1k.XkW.O1텘ڣP̡N-ZtWrܩk߈ ;>+7{;-*%Ii+* ׭vG6ے3z=* J2^H JĬ/tw%'?'>7<)=^ryBbE23C!]:iCV}O/w|MrN^c8iCz;#%SH@xrh ӟN@Q:K,5kΏ,XhydA))7`0AE rJ;uS-aԤKˌ18~qQב_b]\Ҧ g 4SK6;5)V~ڞ qDy#бS;Es$Ze v_,S *f=D}YU=, rR `2|B7Wz ~XN`#'\Q澶¢%FMA+I06XȌW^;x;l `,# P@ {TK"B)>KKLXDPR13doRIWuq7`7"ɇ+қѨy-~yb, -oM' xw-z,tS;0'|?V i}Oy܇ E8efo2񙏕1/G7'$)&pnf35 anxst9vsh CAfn'gA_y^TqAIgCgnOoU5-P.]j yQnRjlTvYmϲ魆kmnGZK*f]++y?@fJiimf Q#Fr:PK_#e.Aф0vi}ismĥ9*~r!$M..m&$&zU;Rd`qnF Oԇѧ ObTL\r iڐK3R=W[JZ?`W}pL @?}qiyn/b!hM"1) .<v~8Ӻts|7hnb\B8A T4>+'/6UWC=t/j,2$nIТ}d ictrE17 UL8|k~Ə3)0o$f QjW_Lo >+u;.y*tupil\0:ZmKOiԈ;U4u&Lՠ RTX3 ^k,u̽ZS|.gxTǮT (3r6q>:&W׹]A5]bW/އG:Uo{+1Y$Oa } +wHB@G7͛eW,@wβ-~x,V1 P:.SkY/-c瀬MA/)g&wQazݏǤ2>0`X-n|zw=;3\{xqӞ"rZZЬoj2ʫCqL~&8^eۘ?}q-ri yf^ZuafoPh<7!.c8Պ&֢"-c&˩֌Y*í*ʸc@'A/&rrwe]-i(nV}E.WE7. ,/u5f2bl@3H?#9BĄxh@JW=3HZ8΁ք1D6hQ~NuM:a^"xAjo<·E"ÿ$fY4Q,M4]&D `OLvw Y2P`긢IbbD%y+vׯf-Ph*Ƣ1 b {b/V"vl[ nh;htArhIzumls^Zs?(PVĎ$<~?H6=olP@D6He`\ AFE1ɎXxg 2yᾑ޲'$@Q l BS^a?)_gS.R$?o{&Z̯DSGPTt0~`KnFuK:5&Y%ڻ- *1lPR?/(Hϫp,W" xQsx)+<qXnɦ曹"G<3Oh$8*.cIӃ*aYe7ѓ$A&+*!%WoٱcQt! MJĨd6N@Vǘ"',bZ|>`/a(v@KmMTy7n ΘuvTY20VhEg2Y'|/{Mu8yJKjYÒJYIѱ]ƬPIKp >7Qy6vRY5$s{Rxf~޲4xPy Flл$G :,| Un8x2FuswD۩goUlFDdDsQ7YzffzӖ^P[u"V!^M1yJR5Nq^ˠU49 :j@vaks,?}{I VOis=EkGC8`~a8aZbt|u`FjIr'UE9/ }3q(ԇ9ZgD؀EOľgZe 9]"Aa`Vbh##H||͝cu3#!㕶y{beqNK#骦4itQ&Bɔ`RGp_71 XrI=y*SxV )AKT|lݤַivP){_bq5n92#=.6mKR>A>lدb`4Cv5P>JWq:S "߳ &TqQ 8ʷT8ifm+4%)s2-B@?Q wνLz~cDsK}:1dlbS M:%bKʼujZbc"A_͵x;+Qʖ0jo^p6?[e ߖΠMY_"$)sL=>Ry9Yy\* _ DÚ4ڣn0Cn*8W@ kmh&u4[t!S8iJL1YgjmdܩxFb=_ڼR!YfM" ?7Ykj_fcyx1zox@2fHu*W*V+ՎqY}Q(} y$ ''<7A͌8Y꥗:qsmmwzzr*eV`E\.ԃ|vqg7{K}.RY)A0x; *L!iͤ$mjVrJe{·c׬˶ $PX(N-!yYȾ57^C\v[0 Nm7Wȍn/l=GE-}rvj}4@(hg!MBa(O6 ܷ̆4x vFvM/+`kc'ל:P( rU9l4'-ߠ9lOx[yxo_1[:B}rz25لZ]J-~# >s,c4EoW2<9.LEa"bFOoo3`4 CW)eB@w:Ȫ:=k2)gSETBA*8,;鴫Boa=45:$ެj9a/l6n e{ؒ=aah翚UG'؍=pf_@vJ)Kd+L6vV};޳D=u>~z C(EFDY>#1+Mu]f|%8gQ>HWhi Wb /WX;y'!;؅c 6ϫ'I+eiMFWl~ӭݍGyݗGqy| Yϸ {}r>U E,wVNdd_SFƙG|Pt,APPv{>ܡ3hx ~&5_ 53eaF\):z*dԴ2H7V~bdkLl\ܔNzEXx@CzB#"[n61=,;*w+ؤy(;س0PJhσ 1 խ.քs21S;S/S%}c7\P*^4afTR`0שKúbC]XbIޤI]["?cG, {y+2 -"\M}+@0Cf}Ԗ,^Y$○D}M\(cuIa!'{ ` %;$ !`-2k"> -/hL7*8$+MJ /x!k@GJCkF}ٰTV[_Aݜe}XߝBu/rEeiJ/0=,^`%C2Czu5 ؅=jy3)!,~s{#0|'rMgRm1P]:2 ]VF E{CfL#?Jת3ea4o2>UIIC\PaQ]7rXV'iZV w8䥒`6c޾j pAHft@iy{ Ee"fUR`06[TQ;A2JD7Bv_c~ UA\FҀoO:Oys' Sy`ԵT!͹Q>6'/GqU)+mFFfx$ds,p9/>LۡaըAA=ҟ@j|Ph1᥏ko77ʛme-ԃfծ~M|ԵX̲seRlMd\sOy2m&?V!4:H z3C3a% fN`Tt[=ebyKr"VE%+1琁XHt>N=rqǂPܼdH+ٔ(0cKgغ6C+T`P!DA!4c[خPԞRe +3T. 9 N; Cxnig j)Aq))= \b" v?\֓/VT\Y}|#)F!gE' `}[cQbA'Rvn,k/:v'6QR$0ֳf`2.ymQ(am)q ⅺb˔q/ɚ}W.Ҧ8:i>I. );)u0|. ҏccgE$˒`HDpMp82JvjFRV%֫L,Cq xIV1<(9pq UӒQĊuXO=)Si1ڭKߚ̱gYZ _e _a%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' |)Kkk*pQ#w"UvTޤKDƗR\6c4VAg1H-0ND:I+F %؊T0Λ Yg)}nR*Ҁ{Jv`W 9l e6ߗ`%'-=!]?[mmaq㊌rnfNC\NUceN+.Q`h5)%: C[vK5nSRciPt2O|mX]k/UR "F9b5$O\J-RjǬtM j#I'9D/?nv9=j&?WmjGV<."MoߗǦ0HT)Q2!+xݬOyk2eM.]$ቌ0U >g:ӵv;nOTʽOd}p\-K95|fOa|^_gߗx\yFK/M^ ZOJBKY0Nbe۷x*)$Džr`\ ׮uPxwHbBn{:t)e-ѻ8ݺ\9Z:u7c@o2H i !.|{h(P\ MO&75.agۧ *$jBK*Ưj4% <>k0Nhua_ばx!ZʹQ҈ևΪϖQOnt MQUQc<)k2ŊݾO[D-ooG3fڼ“b3Ie{㹤`6є; (T"H]͟[2(d?7$1DqQ|Fz7Wo|渡1 륋>#bY&v=a["%5gN֭uHR75?ݧ%߂0'LnғZi2q1t^mwG%g `ڽT5E.J"Y;#r!%?˔Ώ~̨!-rbB[e:D-l"[81Y ms`X40 2cSKwRYܠ^l:}gIRNy܃T_;WЗ_Y͵a $s9 SԋTJ`' &`pSvǾ&/2j Ru>+3 B(I9(n"p{Ll8Gq*vHk==3K~ltEt{;%U6?QSp(Ou*Cg0L,/Yt U}=1; &c xcx2;_{Ν5o (&'~_;t~h9ʮszB]hh6%}4@9ȗS0v2l/AD?}tmO6vD9Ih]C'.ތyiԿ1>tH^HX+8OZ[o> ,A78BtUFxݍbɉq7j^"_=*ZHIpĹ*5L!c4asx*t)n(Kk͹r6w;mj>P+ T^{>U\t' ET)P`s^+~Ex`z7 EL:&|F_9g‰EJB+T?yN{o:cWB,@xkߑZVlxFݸ)B`BA4rlu4b?j,vı^hjVlnE)R SHV80/ٵ-%Ϯ*kV[vfk;& %en< it2j!%lʝ!&&- %{G6~\z_4uQ3@[LDEgXMXf"oB,ƀfHWcB;^W酄 z?,9P $CϣJVp`+5}Q%Xef FHez …nx7=aj L!m1SnO6!Tk&-o у7b}TL\ 4)G)|ž?W#33cpYUk:ݙ \h*D_Gn?cprdfʣ^}=ș$9UreMiwϻVWU* {yMAX@""^U-y Z44nzqu5=5+)0'^4e/d, tA>UMC2&z[8MCأw>đ\$k(@ދpdv'?}W2{WHj}mAъ^9-Sm֟ o/gT~ʈȴ4nb o;fD\E=,ָ B:낔\eº4YF{B~\k9 0(!.7vBiPkݨ&Rza"l8v P=4ГB?c~0|2 ΀G"ǂVaH7_4U ]Le5EiVDqsm[SPitF za$iy[:1*[T $obÜBP_/c–IU,™z/-z%~rDp$H{RM㦻-?bf^|%tHl`PVICE,#SY=w  )W5n7I`aCiG ]"^) R #nA.[eprf֜ݬF  0a"(U_-?P>-lBLCK@Ri-yҔķ. PL/% hAEN(2 9I$=B=|[ f@7E"<%PvS)nBg/knڭ3|5ҳ&*殭V+'5}j.fXK>~q9N'VBHn/!y p+Oz_4s7Ӎ)a^L;`Ħ&Z9ֺ*'mvզuЧѶa; wz+emUl7`FrrhNY8==Ҋs|J_͎KX2ˉSt<<\!ՙ|sʼ 'K] 6_™$3i"AM@Od׺~9nYޥWb 럮<J6*JvyVZzݓ%{pm^7V˅+ "aXwBbt|K*Ɔ<ua R[4jqbpY lX5E#b]suϚA/p,H=)PLlϪ?l ka-mQ3-KE3E C"{=Pwn*zvsoN[߹Y- ~=7`_KQ8c},GE T3c=H#i'\ꤴWMNnZ.)ܬD F`QXNN'`K $>&@8gOW^3fu-Qαo4䏨xv.ظ#(t9Ȑ_=17C}|!A% ̱HÂٔ,Uo}\oF˳sy9Ns@$::N6 |,ljL_]bE '8s蕪}*eB }`ƭ&YggNVJ u@~woj|oDt ,"@4aI 1 Lw^9C`7ºZ)ek^ RxXj>Ժ*SJ4曧7=^: k-(3LzvN e3Yj/ -^[Fb Ynd3|?(>C- Z8O_^RȪHR*>8=bW~8*`9:Pnv>Z:7JRo%O;F|G'WokA?ƿW[<v Pw fF5 OJwݤOB^?JL.mL >oBniIod)P*{sw҉_*7I D.Sã |ڇP+#.tty\=%)ƾSK~NBppaz4"|)UWJB4W4~ ~G܄ *ЦXKv휟8euN8~;p4+[6s );-2sFķڄ\S>*oȧVxF؋! dSAy;jb&CgYZ   ;5],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208{*/C# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;y]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3X:޸e͓+WF'9uCJjݑ1fxDFtm pMSfzFţ&}(.5x, P@b".HNTұ؅m2j#[k"c(^7 ¸N~mLzqqitǛئ< qfe܇nƢӍ9PR.۷P=>O"Rs*u(d 3AtZVKϜqR2=+O/VA4wF{;չdWBk߂h-#pdaV,ڤIs1#qe+Ԗw-4LYw 0QEÔj H Tf'I?9gŴ-1jf/.pVVo($lb{>{PHlxh֢b0΁z; <l㺄M{@"lDgnO\:K٨ɧ;Qfpoud-=NM;`t1 8u2) noѭ& 9D.Ǽ(0^dm9LuMP@~͗C931,`K$,,9^`CQX\gYZb&/A# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+ca /OC T "d_nnnyA; bp'@{юy/):*a mUzwYHt0Fi&kUKwZkeJ:ՙl "6}%8*=x4 KB%Zm%f~Qdm-$/R8&~\'d^Z=rr7,PEm8};?>Ǫ@s1m6l(,p&y,t52)3v6w.§X':D4j%ҡzyϕ%U1@H:+>اc0fj;2 T᭚GxDضI A/cM.-/pR)5ufD]h5YgΟVxp/b8?$9\X!nWbaɭvS"ضhdy!}LиHwEA7 t֗9Y =Qrڼ(aq0L_jp-ґzFә̓ Yj{$:.RnӡA#.5BR28g`ycե^ŧ5_Zm+J"{EO1>bfkB !RuMO}h5`.VuWkC^\!= qigo[PЭaruL{#?;4nC Ën&ÅSUhH^!q5;m5}m# ql˸q^$O,Zb W;\[^橩L8օ*( M`#W \1%.0n8%FYZIF/-{7@\"t{j *@+&f0]&>=d]7-z3>W eXXr@fl%L?ޗZ9AjaArޠUx[P}1bnc![~..;y !oaZȆB f%ƌscT&L~ XαXaOPK&StfFr+v$#BƲ.O8EN 'n2I8:>ro\/-cߒ(?\/ulk+8 ^e.+c>H:& uRFN\SFOI+jΊVVلmC&O5Bd{-)7p.EVol[kC6/6gFH‰G^g2PVp3ǧR~F̵Z ֙YwƄ}~nI e&{?k4L*q:UEyMw3Y:%_U XΣC 5MEVQҷа_D/_Ҫ\dUy)L }lVګfn-~:+;Cή70m"cX!#:ppYdA" ccy[,c}K|MBgϠi^Q#%86>^A\&~,Aw,zm|gR{"%0((4fH&pF|N~]`v˺R:0ˢf&{8=Y\t@p,_v־G\ޥ? 18sy{BFy9i AƣC;rw@!E1Eɭ zTN\Gޙ&d7w{jNbݒ*:Tyeb"ӹ^Zl_,Wr ,.خqto]-(#v0|_'A{vMj-zl7٧]P^WGDwcᚱX*!i?$Iz`d=+XvQ1![dݘ X4T5@~(~73e%DU\\;l*;"iXcV*hU9sl4pX1䵦"ɦ61 zU|2L*10BǬ˝fO̙?嵏qzj<&4Cc>hLלCZǂ!D\:6c z\ =kc;Dj^M#nG-ՙ. SڠPd'p*R"{DA-8kKL,lcSfj{v9r4#MH P呐J^Z%Yt1WV9[ Nr ~3ۅ8)' !.ӥ"i| J=X:b6z//,un.}(ӽ|Xo< G%#q)ƂRzZ49ȵBfD9P[IfG'C Ͽ{aA;MS&J(È㧁LҁDȺl?@1x 1V>,mY|DadT&LR IW2Zd&Q#VPx=2%e_1tɀGa]JK;Bh`!ڵIsn@It&Ig/s$!RBf肻*|"H eΎˆ`|4~X;ZHRp| QFjz\mֿL5B~Ow1+RlH5r162J F &r_S̬aEVARueʣT3j' ~F@`B9k0EI5Z}5~ܙzDdV.m/)׶b uYYw-K.ӯA>?bi!Ear.[(|4/=ǾcYZ<-4hoKqfOp&S[QMa $9J#_⧚tBaZNk-:y8}O ,P02v秤B.vR;G5lpiIToW8 gzn|.*h3 ;AcFȩUޣea+L UaVap^INo>f+:J@$<LJqӢkm4y%uGJDG.>ӛH) E<`gYZAB& S0)RHѼ +]BmDf'w<=yz% s>#bA7J)i>f/$ЮZ7XI ޕg=⪬G!y jg.JxUl.^F<1~۪DSbjhw1)j=n@dD0e*İ!rO]>75h>Xz<+/P3TL/<\k( LJ?tR{YvΩ@5NZIpz~vy?3 T?{3l2pݵXm> ;>h^ 7 7DL M@ymaۿRƚ'ήfR˜2w!#5#PtBiOT<щ5rQ~+>NBIgc2Y1YBԛ ,wSZyƕ zVH)SsDB54C=C+m+JP{cK蕊[N { nt OLcSCr&B,!PsêwĦ TI7p|Ayf|H50hmRP!3h=_'G9Jb?`ɉrAqhöwfϼ#Š%ڀ&^:dpℌΧRNi6 1rDzG՝]Wvބ;c:qR].ﶄmD gQdB$g6 7nhFc6@{21ʉ C gqu %[hY g΄@=d;<ly %r h;d"$|d bt&%ҕ7LV&Q 5gMcED Ь7Xe,X u@'i3C jϊ+&8iQJ[ʹ K<<֪G __hOdXױB 51` ؏|O(*TO򿪓:<[C CqCaƗmsڸI]J{[:Q%n;ˌۙF:H6g? lQ3JPbd9 ?ՒD_54b Ճ և[OIG0=. 3 ~zZ}i8Z&a]g8uny#uΨ4[=|3-b`P8s8{ !Y)asiJT|T; Q;VwG4$8x}&D:'h۹r2Fs[Jݞۜyn@^2VK`m?S^Lͳ)Fz\i`ymт23=~ty'S62?Dr(V?"Ma2P ~X3фo+-T͢YfKp𙼞U9e]މŭyI*bv/YLhuV=p>`v^;bcʬjt+Y]SfQzcU]h7 S=/ @xQ,+b;&TT^}QbyGoPJEA7}</JM%&DIǵv!w[OפzH3dgQhKS[>Lm+,1V>BP}/㧁R <6|(![Cra4 J2ΒZNNI&1qF5By}˾Z$%@河chA8~@MkN/=ZQa 6uЫ,O^X9].n8tjY!Vj#I9BOq#MOS˲܃nHQKO Ojlau"b/g [fz!:t= YW mqfAB)SU* V Ba9hw"0(蒀d(xgޥfEE[,S I(+A.-wfP4g=q 0j3q7g{Z yP\Ăl_'LG Q: |GSx J'>=墯o^v 8': msRGӢ8gԍ 'ɟjڨ;<uf[T̉l%LxArAm%8p)3* X-f"E.&Zq5 #)'`i) qT¹էż Za!iozVyFLI o70Zn~L?C *Y4D9ZI@{x@5}g(ftbWTCnM1cɳ_LW %|7Hsen;5}- "h lcg*vP$Ƌ\w:?+@K5q!u-W5E]#ň"R~4Lt @`% Sڰi3@ >>nO7 rlŔ *=VlEÝ惛ܶ32Tx-MW}1BHWOjM 5`dzOER^ 'XUcMq}綾O- D.Bɀ3oxn %9ݬ_qٳϫ:y D0̡.t5q1=k4`L!z.g0ҥ*-)gYZ  !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ܒ2YI7bDL. .^G 0uGSZ&L8gʛ*I;)9L>eM,t!+P|B]J }pemd063Lp+oO륏.B*eH/!13>=1<#0;lM,"$H6b^^J'^Ik(U{X'˓7ui>ol2ߞ=+n[PdpT=eha7c+\Z]#WzpT{%EF"_0H٨ĖR[\_V/=Z@ l<9J̶p$2ʿ Y^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AJpmkyF!)\li (-ȥ=z'F$5m2ؒ 4w|FЀ0QV U,5(`.x)K; &֚:LoWvӱnm&ʩh!ˊGrγ֯4X; s$gvsTY Er'Lʞ#~|R_{-&cz~i~;Lрwz6k'ȨKZJ< ,A`8K9\*流<1()%| 8DK,nHT{wW,0x{I+<"ɳMHK5f)Õb!!0CTVxr!kKUޟ="rPk BM.Aѓ\˛M9#M/ڱarL'lV24zD9& ?Ak^;%acq?c( e 4;Dl/߭g"sv[EpUaB~9HE4:1q(Ϝ#wn4h|Sww*1IE ">]xm@{5wnS>O4"+<Mc~tP9f.r)mFS zJMfAJWʉU2{B8;ţ \NJFE^pu4,EtU]ӡV_ViNxϵӘP[[x(z3i%o?mntX;"A[SMi)h2 @ZͭгaV Uʪ~?Xf%\i"i@KC[L%wD}~QL~X'y^Op,7us&ZC!tbt *փX(ZuIyi }qq=GEݖp~f曠wtTa_Spv[6)3ܸ;Sx2u 6*Hq|<'eOED SfO*('_e$֛9˅+}.רU(gM ٵ_3z$9br5X`W@Fgdah1WY&+G@ڀllq~1Ե;[:C=}6`(btɫk@x߼~h.!ջ3wbO>098W|1O-{^ ̜Y|^; ce4P\+jL5HxwA2QQK7Om.g^!PeCPz 頠UzYtMk셭NHi4m@ P~YW5fRdqliʹDW}Ab-|}\=UP%s:94۴*4SL6[+ ZbDU~;+d-+t\+d?6zG5a_eV%uǸ1PqZ٫-aJ g W:f#'{6t Ҿ`˹X>NSF8:9C(Hw93eFO ZX7WZ%Q>~tb 6Z>:{7"S LD\X6` &6c<>L0fO u<(C[CQ^:eOˍxt gy]Äer`oxX,zvOyNF&Kp偂R3mg`<&Su 8;#<ΰ~-DP[$Q2u.61cl'91-]ўx`|ʛQ@ROYmxE *>P==?FRLuqMn@l>(*QO8ws940>#JD܊oxv1m c-+ɋӎb7(@NhTf_T GN+6M*ߔ+hE/3k-g`tbi7y;lq? [HLåW& Ӎ W$F)ueZO^D,B._cw6#'v_>0'wFZoFNbD ^rD [֩[dwn_QIAPN|+%p~,{TUI$C -GKRzz^6/@:ZqzIX6E#她H=ɑxOTi-mjЪK$R(_\%Fuf$JѸ{YEx.%>-uBZ1}6g4^%kD(ZZNG pfٚksc>Џ8 ƹ߳[ l섧h1Kt'qfjPJ1jYb.Jæi]&?a:cs57_@mk8s .7Zײޖfn/pC m4 D}bwj`rS%r5xw!sT1bN]WoNBiLzU=n6]9[n/qNYĄA0A"g%P'9L$in<7!\~jmboMrƈ}æ(۶VnMW˭11({2<{e9W (H}^ C BIa6cT 6yV*]/jāR;:W{-DD0oVۂعD;rdnt";!Xb .hQ^);|KQ$U2-3å Ʋ g3`ۀ " zi K9VO9fjf[H4V^=N!N>WCsb=8p-9m2ZWe\sN=7%[ ,o忎:ڈ91" G&4t|s>3dkֱb$`ǂ"eXo<| 6MA& r6(l_ _' `/+!27ǩǯ5ַ]k8}eq;px="!}ASo$rz aOQruvٰ:Rr&:<4ID6>X rw:4_;ൻjF ,Nt estTQ~kbԣ-{Íry:Or#0kKbc~uJ(>U] +WW۾ 컳\Ghm w +[{7S'?\7")\h-ro}#|(ӆ߱:VL(US=!۵ C G@ VbEcǽŠ?H-hB0DQLl 8.m9>BhlYwgX/ vZXU3GOL;Zإ쩠Q3-VЎܳkW=@hq"НMCaJCn ;٩20hڣk aK$M߫_s*(0Z ZGZZrZRR DMwqxzZ A>MgWM_ ՖQuۥR6N ЀVBwQ,@6JWGs|3eB Ũu&fE(5?|z 8֍(kMhC{y[Gy{ЫhCQzB~m--j #䂎bے̼Q`\wM95b=1-Nhبzז%qKl1fci@GAU*Y3DZiq̴l֝U67eYHaZ9(b>&4W{LeE#kvC:-b9l%ȵqV$zuȢGhą5Zd1D>_{{ (,}x. RggYZ **K1/C# $HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! J]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdS_wIA 3QfJ8&Y?Xy*Ku' -OnfYAk?03)g}Gl?_pN^}RϏ7 4 Hˆ;b#>yZ&Nzȴzm9/hRB [yv&ܤ mR˚ln>^9QMN߭tV7aqR. 1-|N|==RH) n`i/L0MtJ(4񓶌mIh۫X$4Itn -Gn9bޗQ#¨̚q|8 rnY@\>@w (WsXgw ߎ>3zmm\='v?/w]`'pQ s7}4Nce˃= 1F[rQ! 9 AhSU>%Ǝ`܅U=մ\sEęT" 2UO@nkQkf?JPi`c7zn !mMuiAWDhڹ eY4Ǖ1^KݯYӓDJ]%UiXޅ? Qcr0FR9ZiEYWu"|wsLhF}zŭב=+̈́Wְ8>Yl(n^B  +^v_ֽ1܎v|x]TtkgR5unGWwlbMMS&҈loEMF1l #DŽh-P߭ J>u0\E; Y̘mB|pp|(a`ҿ_tŭ.S؟(1^X#rnr I5uQ lPFMhHHr-(r+69Kd3M%۰ PF;KS)?!smZVށDwl\es,i۟ 47뚢׳%y3iw2pwʻ3\[YR~Gpq4,Zx7P Ԗ0Ig,9\d$ż'#t/&J+^!"~v'a9a6iѝKSF f 2Y{CFVI~NOm+hhꍋ+}畃0/ mC\vV@Q2s떰 J2Žֵi;=i*]xzFA1=\أƲ<5_oM%XoyQ `(@]o~O4w;f2 -#-5ͫ+Iz8:FR/߄2 |,|e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218Q2/C' ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  N]Άxʆ5.f-9 rq8L18XmY2LjA?e8R>Ji} mC?bH`!/W5?,"MWysqWMJ.3:Le`94;W' (ty):x@h#|~i3l !o8&/+z` nEߋW73z5.*3 ţ03 NSSI >ߠ)rN(hnDZy50Ŋ4 l}ݫoĺ5$ULM._qϑ}c+:V]9 Fg`&h7;#vҳ r+5|3# ^(݌6ˍl2z\@uGdS9"^$ j]M"&k௑%߳*"kK!_~&qst7* 0vo-X᧢ƸN呍]w-PrqfۆA3̠3=qT KR*=eN7NsjQh2h>jߪ@HѠ"VD @|Φ~$`BQGyK nEf#ѭZqjO%s^wvf8>^FQut>3`-O4IKe w-pQ*U(:yNn )Iԟc3pbeu?O=Uٍe`%.S2nbhC#G2-dzKz֡tPOi=HlX8ƉXP^l"Y+ z?]eˆ?Ԉyb1$?̯8rj%-*:q1i ;͖MM=p/RU)q}I|Ө2.. 5q2.]RTm`a STR1pӹ[x.cţdpWa32MG=ƤKP ^.M,W+|dX3P a5wrA1gZ"dvӓ_M7-X+O*/m5)sY*u~6l0&i񾘥ؙgz ;޷}ςQjLm[¡ż=s`e J1e)c& D2,|M.}J`=J\Bw3 mb2љj ۈJ#9Μ5W>pR?xhs(pȺ+b +& ,gLjZPWW|'ȟ0%r<<DT_8pFg?J@4QDH?,/|{[ pVf &7 uHGiN3`NNlE FT``[ h4 2Q"[U*z& $Dj~Mʊ>+rыY@|B&4-gs|AM^QXowLZdѐ(fUN ߕ5Y3%?^PiK ʥ]amt|i痜jFɪ 2?P!rJiۖP)L ."_䭘DT7Ҁ1?m[-4r@$?}[u{C-afI-ʸŽJuܣKZ&vAKW2afίr׊y; zו5l%"ۻ1WɷϽ6E`3R{(6<\3D*dnm|K`&9nEj%wX<ij\֠ʀ| huI@0tڧд<6UZggG[L$&4GsY01yw6_*/꤅j)գ1$i@A)r.վ&;#B>H!iU}acbdc֑'xJ-JʨV@ڎV2+Q|= HIc聑b}IhKRj@O ؤ?8E_]Z蚗ap틭2en܄CC6U?wǛ/6Y}Y:< fKQmjxT8ٴ/q7W,#&БdIurT%ish Cj%J o'/)' i H݉lTrr^*v h$h/-jN-0ZozŴ⸓!RI3zEO%3 wnrwLd7l36׃#?[ڵ]u/Wf4ǫ=]8';{A|#'M=yKVD,4z1$\ñgYZ6/H:T[g铱HJC+лEwRttgTeѤAC޻EgD.N9ۤi bpυ=$ܑh}ԐGC6]u&ؽEH P{4-'x˲.q {SiwPRx =13I7u 2 :A멟V[ 8W ۢƎo d:bz^بO!j=%9бlһ9/BB%D.Z>eE=q'!; f8VkudɁ,'\ RH IƕqLpiS`L+|HbQһ4L@fu#IџoX9AZi;o*dT+:>e6v?ToݡA15cf+"}|q N&3CˆGekO>] Gݒ|50H1YaS],~XvlxIӪsڬLx-kA?Ҏ-G[\sa(~&CK|[sx\P۞@&Y!rFIu|Y<ofQP$/d}ƽFv/\;!A8`jvhDĎCl^ f޵Ld &s Fuٚ+u^%_oH$&aD(}6dѻw>GvP CI? :!jCT VsD-[dRUK>w*M~ iL+>XY-{|t 2nOP5Ɗ%]vx''Ƀy{Xٚ22)#jε#ւf\o_FsX|]娤 7R /2{=Q/Re$k =f$m@RL=p! bp5 6`B ٶ #fc\V?"u_N{۴TLΙ;B-,2q1!X(/k8`0=q >#ˆh p:KŮ(<7|}N/`i'Gp[$&!ޓ,P&&3+"|`iݑP FaRd9kqB`)8Hcfk'|wV@+JULď){[ue}6T}pB%pןY6UFN0\|^:`L jX>J%LXuhLLWo["#Ė"ߢJPO6qSz&줇-㷃D[Hxt(B>imjW9@嵿װ?* b@e`e%|D"Ұ9%)dÀoዺދ* JcG;Cf&h. RoC weHS˫}(f$]7<ڙ}Pd}"4"R,dM$?rOyo~t*vKeDRa6wЮR. WfBf9q+I؜2niU@ %$ؚu2W%\po$+v(Q  D?3{lznC7C&Ǿy iĚ:hV3U1h&Q4Ϫ?b@g1+g4&)+`m"bs{Ol',:|o*AH.dtѯ%=ayk";(ee8Yox ɐ rOZCC;?*suAau\an^)(q#f?*9"Փwq_RɍZpg_\$"0PYroBzZ\w8N/ΝuM.f[~BZ6gi5Qr4#D2eJfߥT%}E`0^L xL#,?ݢdnZ-Y0тm*w/[0{c<{ Tz:IOa:P%>-tJ\>Wt-}P>s3 z,BbAb8,5>we(٫'0¹^ ]{B**.4xvNexC+s¨:P'B:9$pC)_?눹o=< $ew{,Գ;gNIh*j 5Y>M?@#^C)Gf9S q@,ܧI?ohozypSGh$|Vߩ6wQCMFB)`poBv8b0 Nu^dqz˒CYӄtwQu~5~_@\]7>.,IXwPc0X3\,[(XbG,\0A6u+D[^vs3:'IMQ0TJX8%-wb!> agJHI.MG?fiʙHxl(_"3 MTkhΈ$az7+vZ!=YMAd|J៬D}S;o-r-&=pO; Ƿɀ_熄q8Ůq`Nly-fM{nl#γW/8mK9IL'#DEsURSA >k-{мƲe`ĞWkjY~t늒HVC |D@?$pYvd۩VJS3Rq>xۨ}`L U T8LB.bH xn+¶N9/_~[Pz|bTO->Y4B6#I幥d E>K sKq݁mq)#B巵PbcEDFf=wb3)v6k+U2],{wp}m뱤]Wh!+W4,P30 :#(Whz>%9w5Xrŭ6:\RnsV:A7=RGԠB> ۷TS $ciKcLCj8Սu ^'J}e%<̢u\i^?%1mo . 0;|z+esop @H<<9O {Tdz#Ҥ%iC3%ECY`d;HAr&#y!ugA>5tZq :@[lK>8s08}mה 58Rx8BrI/AyU1c-#-|J1Hɻ\Cp~n3!S紐CS5 rb%~s?pd=z:%! d: \ LK4.} 6ueIiF;[41h9'Ew6NH,U6?\\ `+{ڿ>a~xUZz݊Kq=#GKz\0s9OTfv;VIV k T;Jp g1\|̡PQ+QA4f=w\xgIrbuwIXR2<{ %>R.WhiL'wx)ZQ!ߢq)exEtЎ4$ {{nxB'<]j9LєYF3V+HSϖ #5# d;J:agN.\˂bV43e]3uVLiTbg8pcYq1LxwҦsXZ?ةNLzb;YG>#ЗCPީAMf%C Q6㊻PXBN0n/a&NARDXM9v#? v<+j8(pi ,E* e7G䟼Pp0JRM}fIE8UztkC>&6C(l7JJS8z@t⬋{=}c[~TFegBnѸq" 2(\^\^ȹU%JJLd.](*LDڪ͌$FYe5u _1sO67I0u*o0W64$Ƀ&ɭ JOmF.E{-f aRbSL6N[ȠiچbQFgrREkrKM㘀{>Bork\?Һ 1X]~+}Ͳ~ϖާ,!\UTbȲ9"} 6R/S/*҈E^ݥRGKj@c_D4si{U]Q9{2~qB)zH X =ꖪ x6vU5PjS5mZ 79n ޴͒-g`F$eQ1zp^Րќa% H~ѱAera&2όAAɺNkZ)Mj7p&t'}:U_DGUOmPWͼfQb$U} 7\$^ݝ_kڿ(YƌYӭlt1[L^m#_lCNӋ.sݒfӾO8OoYyCC1ꈽUk 1vnUЫYYjg 8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214B6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! =]Άxʆ5.f-9 rq8L5`wrWM`1cƱ LiB'9i4os9/GG-8j2|荁J "OĀGR\}`RGP)[JL soގ|ȁ '4l}+hum_7ONsXS+$XȪ=#@rB/]TKw*+],)Wj!Z꺼e<㒶Gm]/dبjh!$"x<}A wMn^ۮF@?7: {M?v $uʠ+C'Gm@|YxiΙMFYZb Wn?a { N/T&ݟAaks& +1a~\2,&eS(;޼CPXƍ?ٮA>3Y)ax8>Rù9Nh)⮫qII{4b< aZ18`xryqOzHmS!G gYZ5 /E# `@X/mPh7 NXi\Bb Ah\;?jo$ex)`"ɦ49˘u,VvQ[ +id Pliu⾑kr t! ? U<)zr͌f'F,b͔cv΄&{Ր5Z&v ƍD u9!˹{-HWͨl?EҖUҙ B.=>@~d>W+(@&dӼ}~s&dsjTNk*с4W`E]+lWN~љdj]|Sl]"*F A}X8(7x ;h/ywŁ _쩨)VkاBnAѺw|(Whu=%aE'wuvy={F gHW%_7Fj]96nle`%7Ӏ4xͼS2m; |SLi .ks)k ,f&F(Hc~rnc09P[;j*RL\֋1 ,├c`oYƧB8a`cUS^J8:@]fs1 @!Q@U,aO<ުO)&Յ~x$wᱽ~Poځr,sb QCza/nr`,C<>kn@GVjSH1jB5DܭlS kF1gx)9W(7Q}85/ 2e"z1pL7kMGg3 Pm5b]]Kq(ZeX;NFd_4MίviZCkͱ,03U*= =V\h[Faܟ,hd= &s |cHQ/4Z!:;ֶ2dE`u}x(-m#%bƔˎyqnL1="nbCH8I h(tsmb^Kn9{x$"cc17 D tgYR8']Eې~[*#C?CȆp?nB.9+N٨x[ˑ0f*ަ/Xrb8ml4/FME -y>x f"#}=7,6[U?]?mqhgԭuAH~?Dsc~Ddœ{w!/Dp>'?5l͍aZUR+x:М L)\҄Te=!(w_^`)Z2$;HAà*ÍàaJ'Q@/AI2|Q44~*#ӻU f _8Y'|XA[˒N*aOI{W~"[0s1G'K]9:`V{ .ϷNoZu|dwJFXloӛ;jؼ݈J9@-R4RƀbMBp$vU/1Zub,MtrJf͡z}ר@YE׺N44e(It{t 59}ݓ0,Z2ȨV'F(bK\[Q"aƟv,i(hhUo>APa z֨y@$ts/jwYIWBz4dIs ܁uk "O3PKafԆ?y7m\EgL=+_/ЌNj@PYoyb|e),rToab2etA_PYؠR]D/~+v3-.MM8)Tquf\8>vO\jU+ 8lE`LfP*OOOy#KB_RN5Gξ[𙑱l4 {`{^7 tJΠ SǕOkiaE0o([=z`Biz1T7^w*}/ldQx-E<3'/xy?jrC*T!S nETN  wWk1OLu/%pM6FI3ojv\?+2'ssO}sq0KV6(5p@;1o ]קPne5a[up3ޝ., x:+ᝌe׎b!w+boN2˽,z=DCmC Eklyw`>](f#w D}&#;z r’LD $.3q* ,ZlbUwp 7Tea1pٔ2(p?8[)rZ~2n{⽺L9,U$N$ӳ?cqeU^N4ߎS c%X P4F^};/;8Z=td, ='e0q`e߁ )tqwY䚵a_^xa9} :qB|@d"8| q#fĿJ>wq^4n$u0]EG=h~|$zowmB;D)[7[43m9ru ܕF_(KFf=R9kOr1o TZ !mKhoqsF/!a:Zh7h[kj`jv+1_u"qNR u&Ꝯv\ ]ۇM%ճ#B\Cy3Y/}UrklKA3+ĄLRҪLZC f8o:Ň%d;L?Ӵ8۝wihM9GjlE-PMYuG9睱;o OaZdfU..ֵ"L&A0oN~ $}ZSpfGhL~ = ܄tfMZ׋5S齀nh9~iSw T]W74i>ד>gRJ.kk1|g#bL̔EF2x|_EsؠSKi'$k B)g9FŖ3Av*!%<مXF ޿c>݅ƶ])}h<9y߇=V8zoẗrOI! XCǁtpQ>XwMckjh,ȩWVDdsٝQq9+6MׅgXa)/=;C)[nu5ɍP9(H@Gi5Kj01n@[}aQ]\’Wn1{[{#7x5]=\n9:`pz7Դ0s@7+L˴w謃\;Q/1(OJ!-|6؛WmOe!$)C=܉! =>`EɵvvL[AC`+޳aeL!{X9Ǖ|2I)cR #ȄCxn !" T `^>C1/΂Iql`b!=`*ρXC:nO~;W dWuHx:zT ,nZ)Jknb @<)jBsa[bV@KQ ޾[ g{3*#y؀QݗyC| [Lrx)!hb1,QAm?tuŸoBL_ɵ~+2c6#~ ^ɱ֦o`5{ NZh[jB0 )PܗT}RҘa^s*m,6}G9mtir+d`'P46{pz$*ZH"QDt5̞d ^?Êsi't@H3ldK5ճ}ԖsLQ/nޣc$Bt!ޥ' PdHL \_-zO`sŲl@h5m%.7}d`x C㾔/֣FiI./+L ၓ0RQ w4, :ϱ(|<菿R3`'2-^bLgn^豈uzSͲw3oZ[g\QPաMJ4QOT XNlEئűsH;ᆤǓ^?;Ny!XF?4@{tR_zE3 _qcCIYsHa{Kiow4OwKfn7Ifn!$HbH1`q]ce&b "S=D)Ͳw=;Ybp76Α.iM-6'w t7Rstw^ࡌ[+DzmEwUAVOOcPԐ'ďF'(HN3f Š$//?x|ю'4H3Al4ăISn@GOv E`ڶ1I?Xx :3o^(T-OǢ(*vU,`; %!}t}3h:y:6ָ|3zL}Ja&9prXLd3u$-fvght F U?a<DB'\χ4weUaw#6 7١p:σu;x#f*SkFa>{b\5t XXl{䠶V_0q#su%X譴lg$&G[\49!v.C2/2)4aת\`ˡ+~+)*U-HrMBmiy/wl,~d=q܉pә9wMnUbnmQ42< P ƹ®J2Q }{Pc_\k\.+Hj$<ϺXHowrHށ҉463ubWʧKi<o@wҕ׹Փt4:O7DD(2:WFMKTfVK5<u&6zcn{H6^  L\ PEEß);ٍsh'i$\BA EQ}QF!;OF )F7#Oϭ 0 ޹;4E띸le?5wOZ ;"9IN kG<ڜBxThKIn =ѐ{G\"-u KG0 np2W &_0tX`N|Ox| =:Mҡ%h" Ķx?d6dz<4p{J9X4hqAj`i꒟x%~u9-jXnJ"sM [V:oݙL6ހH٫ IOsDZG A&3S;'NN|aٜSB/Mr)=bt|1V|+rFd^Oݪc`|Q=_Sϡ6D_UoPȫ~ME}+舘"G_^꥾߀(jOpY>Y9OLcؿ`w)9Raዞ%w]7SֆrOrZ~Krj=\}хBoh1Fah.vQf{y?)C{A>phGHBh>#.qc_Lmtep ǵWvYhM,RMh{u66ZѾARތ[XVWddHD#,oӊ#I0qrUz3t[oNuYk6Tᗌ<SJ ŋ4c4_\E Qh-/[:0n/ĵuf>:{.^eْ[5`]kA~=A1벂ۈ5 ΐodAƉJ:m \bMP nq6-{ .;]>- &/tm@j.2Ug$1O:.9FߠCh~OK aT,7*/ΚNpBŞT F(OuN7>_D@+_ur{jm aR(>0*ƍ4Fn7*L$euV3WVh薗Ҹ`q(xA1jrM/K/v &CoFX61"En9T~^ X7 6Md}t6*n:`@ë-PjY7t(3I.?D<$>o%եEuY%ϩg;dw,#ݜ~p_74> 0d7'>PO)qs"rN9y?:n4 ԖY .Hsr"_H/۸X'tiF*عqR1Զ0CZ;@zۢ4dq@q)9sK6 /'x%?B,^'͂aרxj 95l' }[ky(+e< u#To{D +N)1- Kj]e)^veb+KHtu R <[u=t@ nK/XA$)w^=Z;"gn9s}`v.%\ÆA[L站~  H=EY7a㔻H?nO~Q´ f[:l=/7j1} R{(&&:9+iųS5| -ւ3kLL޳p~DƆB$)-jWMo5#U(Vt?SE2x+݃ww)5^IQ{ÊXj-@l9FD)u6m[1%-5zuq}x^XU[zځ b8 3.b'VX#ih?muid4'Ru\TN $yO%Ԡ-$_>I[Zi4d/ZGF&JT) մXctdoUyIBO~=؉W7nqi6|AʸsvH(z s7exlL'N_.?IL'3sB/{c.H*E`1$D ,Y7yw;nҾIDfQd9yOڧG!nіAȤx1${`(ҝ80b3Ou$qCKs3e8׀ }Ӄq:xj]+nS,BKVlMk|]mŠԁ"1F#rBRnqQުѧ􏵽N]KPj,ĵ(X1H IQ-66f0{U-K&:x(B]g[3T+\RMcJh"Z2$] O,N.YEXF@']^nU'с :t-r{Ê9g)j-cX"RsV@OզywoBAQ˹<-~$]um"͛lۻ++5\Hs+^g'q.]dJX\& ަ8'7"y]E# =wQB *njCJM*A}JH6GM,_dplRƶ|aՌ5X.C,ؤ2]4Ua;87^lf˙"XdС.2Rl`4>ȶ+,TtJD`wp+1:zyG* i3 InVMIns1 cb(珜^_y)25Mm8}3,ށ1n7^Qvr_!zQke3CFvY,{`i(-C (Bfn[vэDgU<ۈ@"IlV}4!ۓ~.%Y+g%CyzP?=$&ʽVnN\ 6{`#]2N>eݜ Bf8qv-(%v8vmӔaJ<;;u,u@`|(K {JUk 0RAic3ud7-yB׸%' kQO/mU 32dx'1@B,yG_S]b:_I[Zi*,LƔ&0,)ϵ6$/BTb[|0/Df( "otcE~sL ~j-ts+ 6٣fz#x$NRj$on&d;ۼ*pQǵ5Z/<~tI",Q^А^[蘾1ȅ<~H]!Ԏ8#T)|Hq~LVBYxu\>@%t§{F1" V1~P@7sc&-:I&CAuSW o PKڟr)DT&mWne3 U-rubx娒.k.Ke[R \]MjT}j.<L#vFZpi=$''ww2Vhh9J`;~ ]f^Xg G9<gLv+sp$ #SjOnM|x[\Jc'9Thmwt@s%#8|q*~NF*\p)>oŶ% Kf }GF4+μtFBnOABWp{!=a2ވ1l]o%|*ު,|hN9;9<'F99`͜k+1b7~US5O_\J.wHO$%etyF2t /SGL]G+JQa՟^罹("۫O}!iZIu-آ>@-lza4P3?7_w^9e)G [ZkLpL:M65Ts,d /!u( 'ՖZOb)XV6?NO(U[F%sP{.x|>l5I. ><_2ŋ¦0HU+=cɈ5]dkBA'U.$^Ta[W`U;=#)m#_5wy;@vI%[|3Lh앞9KE!8ƒ֨g7ћ=1m;j: G|-p Jy!e%Ev5_%#6}>M ԧj(*n#WZ ˄A[S*Qj9] ߣa]Hi,eV ۆxuymp{kT0E Vk5xLփښb&ٕ>{RubiR<4@O@I f菉[b2Pˈ/j#9ܝNz$:PJKV3/Wx -E=~ Kܦ.U'5ہ.L |tJtr_Դ*72P[ậ6! 5i-y uĚ^yCo)Xiz*$}$s:k@ߡ']s˨,nדnTM̛R=#:z/V:(HjE+t,-v] 68 ̆"PZrVgky8{WpCSM=ٮdSHݸM̟.HauT-)9 }@Ә{Oe։ *A,zѷemh]IM& :$RVzl$rxNݝ[RFޤ"69{Y;W}kaa e ue_HjacyCZMin)eBYQ˵?İ cnͨUHT^<[e`XګnՋO@)l@R:C㉷:J._ZDw*o' "r"fJ,EV=[]/E={>1!L(/3 6򩃌9!qs8M\|Dy2} "zbl.6̴9ETt?`M%j&45CyxG0k^*%uB/SBEDJHzl*Y#2SGrο<#LeB+B ԌyECۦD#73p5C9QC~DߒSuuyG]hh3й[:tZc9dR|<%Qf 5vM]i-MXiWhv/W'tMX&U&, {"!^eEe M 6ŻBHW#Yt`fiUl3݊6mo_P WH. #0fM AB;u>2l1ϥY-&Shwm*s{gWYRj!B !dE1bJŹ+Xw?*-WCWl~y@AmZ5߲X/s`-H/SbBQ'B 6^A/C1x?ý'~"i)YAnZ]c+\'yԇ(榭M={SK8wo+ ,S9[P^>2b"[ E"Njt~Ż=\`s Ǥ]22q}lqR RΈ 4E1)Vvu܂Y78#8̯D%Yncu<4l'\N>y= IC BYҞu@ǾuCR`4[X9ٰٕ w/Nfq r3]#,_&Sl'+ˣ >Y# OxQ`>+;/%zqN%!غa^464B}r qT Pgjؙ'oe. >Mrjfsţ9:R6z~m$"nI(3<Y7e4 o,ؕs/e?,ƭl1 5΀0El$Fm ->2%APuG jLض A&u1MubK ŪfBx%!xOUiκ D7JR\8``%Z3L}j:w,MKF VK:l兜+W0+ʉM<6 /-j ,Q']jmjjwa]P[,SԱcl8@=*WĶ]2Qʑu2E'pjB5ubkRفTbs0HrrS NG?-gA[ߣy;L SrPlOiluFXxlbM#ȓ9>]O,"mRTDKe|+3$9Wks\[9;$c2L4b)9(hӭ:;B{%mN ?x" Ⱥfg*>l8(6ߑQj%bЧzf{lo pwI;ґ4^ lّݒZ S OJn*3wUnҽ;_#$nV] Q~>_J[k0Gn{"LOr-y7)i&䠜ҸgD;9"MY"@(0fn '6fϯwatQ!9)Q78WыbloxZn+Zڠ 5N%Pü k˩ԕq,[E\iV.S{s2jJEzT@kق.~?UFeYȲ\.q:Xp[Qr|0xQ+ЬlGk*CwMEW+~7hxLт*1gYZ F  FE> /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9B]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8c.0ɭho~麅RMA}8䑕 DNo,W$(,ǬɎ`[lp/DVI9ʔ 옔awaLb2-n Iw]+.g1FD+yJQ^4?ȻH4)XC 9$X9ާzwrȷwͯQEצdvnrt_JuBb!6VfOĮ#(kUm2( {(iݙ5O*v`TP!n94|G.+:n#"}ӗZӸS%^L )i<"OsF'aVSaT*31B mj7@M5/&DLE̔uur1ҕ S]0RƮ!8-fU .3c7>\o.q5bd(hvϋgc[)t)Gf3ǘڝ*$Ŧ:O6=rI( Mne*ddp͆("X&U6d-BJ _O_ 6p@]ɦqU\еWj}5D!$҈wgD^J  H#00>WX{@+I)UO|58Y%I1!g&n Yb@sPPJ^Prx;Tv #a'!\St)>-%ӄrg*^5] msUjX-=i' ڠ[r ow^#ޛd'˻(}>q!"  T})Q&ScupMaA۫T rOnX _ݒm<]"z[TB"_{T{ܸ<7*x$"rLSjW)uCb'U {QPTcb Vop[8_݌rO3۰MJU}Yj3Iu}팜&C0ivy`M(t/Hif(bI?5rViI%'ҡ6٧:IeTwcجSƞ1ӕ*x01AH?ɳT _ 6_Lr7g^2&4pjࢥ |wƛLWskJa`cudCc~8E'{m]M3bckp;SӲY|NEkʈXQ6,&ֆANx7Hhg`7ol3ۻqdpZߎӌ̥bd')ʥt?Ypû3M<ϐ{e<3ް`mft9 Lă!-G?'{^U3;F.ϡ]3*qw+$]zѪ@cmW:IL"W*p?Z]l%X^|OG%TtK' & !I@vkdK#+y-Lk%>n%CpourmqL;K lmBAPK@P2AYfm Ci䚓ٯDP|mM&aDƣ GqlQ!#68~"ǓR`1*%0ɸ 3zZI35TcjB"JurHæj0BvD5}k2KW蛅ƶ߅nK~L2gь4].VcRz/sʪ%UhKA&ԼE GX'y=+0(rwqLSw߫YjJ)$r"tg::'}!ʷފkVM6#cgYZ %b$ Jn6 } = y > 1b#i o +tJb# ZZ [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id Z7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex Z7HOL-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 K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex @/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@R›EM-+77ˡ@{W\pYm`b2ĢGU&%nG{4㡘‚P0qxai/N/EB,3 ݱL8p{ֹθ ן-fq[#Hr+ q$uvܚ Ϫ\85~??yw挍儹Z,inLi5\6\6K )$x*~(,F /?5hnu?u*luG߈&""J [1idDv>mRBPj|e#{:66jliT)lQ4sS4ML" ̚𯝝hOAOѯukf3)JJ'N~36yd<Iv˧0Іft 0_g?ڹȢ 7au׫suNp%w-mwAx>sphK`¶o' #UVegnϽQ}ĨNu5/V,w2?Rwb^tT y# 7G>÷!`HĂhbٶ%=ūPEy4?dùHqiyzoQUZuv+PYK't5wkmNBlS)3fWm$ɐ$\h룜wBڇ \ԉVIՋ@0*_gHnƳl>l~CNzXA}fQ\~ nqSָc;"&"΀tIݩ ṛ0o1qIn\7 BZt2_= ,N+m5@rX?tܡ=W_z2Y_֡ 8}ŭ̾JhIz~σag>r);T..6EPX]X|;žd]:NEtDTrl+V!p:jsh-ϩ\sNm}4:cxD/Po?~1 ;d:/ON?S[/'x|U=ObsAW}G.G}^QI}$~qFZ=ЅCFnԗ5;Rk-YDsv NÝtmC4"nOzcmu ^FmRbx۾̨wF%oJO颂G;I3ܢKϸ?[7r}HdIs ^*uͤUƛ9,JfG5SO^]PB%'"nid}t,I)KJ Uqc!<%C?.IE_bE0]B#eRZ}ٺ(ZSl:Сh! \>B&brv%iɊ;S{1t+qN_KMϳOª/~Y2ㄾܽA@La-5y {(4_ӛ-1Y拋LCdb:DRқO\h8ē+剁EI؜9eE/!6 lh л;@c}HLA7Յ`_ Z?ef S쮸ʆko?e> 2")1t /֛-ERA>ʤ,s@GL0x..ŶCȦY*hftt1e78\FЌrrYQBs71!=(0*Ѭ'َK ͨQ!לxnuPn' QEӨR]:N`FtF O@;}}N>&ҍ)ޱ}s3䖃HR} 10">:I Fe*4Fj![uyS'b"k4A` Okqmh- 3>.{ )f#ț +Di@7t*fWQmd%۔{-YE 1EsoZH _ $ + cFS%ѱ"wڸ;-®2JprJI;1ŗ=Ӏ#i{5$&9p# B$X0cWe\B~?]I{<| t*by@~VC٪bV[|*챉bPnPފg y'2lsmb"g3"rCQs ~PQ0&9^eg&JxXVcRANtSװ(i1:J;&|=]:[ٜDk);&%VzjRZeMZMϿLnMBu2~A6dG攻ߤ{0Fŝ1-AD]spd"y8F4c"vm;Z/Fׇ&Qb>Fk[F.k}ǁ&cG8O QmH@ըȴ+ Y#w&٨k3 K{u%5!u[/+ZK8lC~AlTmܵ)o[\ qcarYs]ŻwvY5evH=I7fV H@fO)w&jJΧtk黨1 jVdkfH/HhߺUbCL5Rnl[g ;<x1UfU%No)dC&:|{T]Ι(ڥ Uh֩0Ytx&F,س *aE]]x !>!`^EiO#4$%g =v@I^ &~ <^1`zzcHCe<8ZEm E% n_5;aTJ! 943*pUn_m M xgxU+[aZu fs&gʰF\ ؾb.tvsf̣l];VF~Dr6mP=9uA(I:0 (d`nq"-1'RRPȹ=UY93.Y\u%Zzim-KUI%*a(5'?IR }DǨ6:}Ӹ'D^ t㇅Xmn,"`I$b.#OX xE*Xt;aڷ`P\1U9`!/,'fRqBW >.ѱIWJa'k0n(Um5،AOOsbuJ!6-`\4 \ϚP| s}!awQ2ۛl&&Y6f2kWŸAԩhË֝cgю0W^KTqڼtsH8L1Fh[ke:IhmAa5(nbv-.II(}+U ><|_I69 RqQr9Ѳ7B˰ Bno7= F+A_sR,5pJ3KTF\~ߡ"M+,&˿1(❘gK4%/=|PqdJԞ0czVIȁ '/M+;wdKa,yt>&XuZ#PyOvJdfBnB/3E{M E?=?-om*h, 'W~Cl1Lsh!+-qAb[3'gš\of0J/ͩ[젿Xk ޏzy* Y { Lg^e4(\C\ ˅f @N?n%9D"%{Ȯ NR_=btmk]$W_aU} @V\+se?Y[<I00jpNRo0!7G={,(:;/ {08Vpg)2˧0ѷk\W.ӌN&"}0'_μde*Z?%D➅0Ǥ@@v$<~_FMdKح/tĝ9oFg/ȉ&ƹc3"p+ǚݶh0(›Wai-(vy FppUV!ZKA=; Y}I-iȭV)U20ӂV  TC>DajL~a".Sbғo3瑴e!_`-$jxNټFɠ0hiPOyDQBJ)^=|֎lB"\9 M~x}ulJ;D8s~MԵg;/I<#sJrhb4PW 7N|a7J+mY|j"ve0?tCWZ/ "gǜQ;Y\NQ;7+i-n˛%|&Dkj0~[koqc T0bq7LT9,0UVq;7R4/_;-ۍki:F | Yjw !sӓь >ݐFOۖolh)꜔wz,e2x۽.媖p5'Ҙ~N>Mcwi^* ?պ&kD?^6YNӾVYbݥkiJЅTUN1n;W9C^Q/itoD!ւ{F _CYsr9#smԲᙐ`JlC"}h#G5hv( w*{Y63tq1Zd(pɨ&x"jݵ Rz2WgW˕bV9­^r#:lrA2MYLO~p2Z J} }}h m޹!QM-E::r=V.6aH֛sXæQ$X.jo"JZ?k2Je𰑿q]߶( ᚯzQ5:2c:Z*đ.bm׌Cju"uD{aR&!i]]F4G""Wb@h`4\t[.[ }0o{[(gxV-x9-קmM(w F264-ʪ!"NFu079RE|~f׽(uJ, 2zEqHg:EsRt$>F\:]OPz^IIJO׫Kա(cEP}Fi-ǖ56(5 ## 0֌Pz`GsEO̊p(R@0+ $-cx%drCT ߶q$kMMyˡz|Ld w-v4^tY8&k12 K?yzҁ+aIeEIrϱkO!,W09L1TJ}aJTR-;9͓5PP-ֻ%5ɳ&Wa·9OKwsNH iKĒ_rժU޶-{_s*Ƌ98GNi_vbr,̋ L259?>?[)6nظ埻z{sH"kٯ@(4\LwǴ4GG8S-?3H%gҒ/EQo+2]yDqo-,#=⅏ txsb0qY;0n<92ncC1Ћ+8-cnםMY zzi idL`]:S4_95WQ?\`Jf0 ڬse㩬U ?Ekl1ZhiA Z!;;ݝmb89p3p }LH :?k r(Gb 9@;z&fl]I:XLƨ`g* / I|ݘ*tj,D={AѧGK N!| FA@s2 )L8:>_E{;k]|Q f*#mhJli9*1ZJp\jy噓$'C4E߬૔h82h) hu36jjۭktShbWxo l$ )gS2g"',%h~u2Rr7dh7#3 6RȚ=oZHP̉ jܓ^/|e͟;u4hO8S`+,@{$A@PiZ:-%KϚ^Ӕy⛒G 90TG)T/ZpzSSm&ΒW菛+]쥩rE 쬯w/C o/ .a\ nPD \StFz# j[ڴc~ bu6q_rGr6M }ӫNJqeWiz SL}PM}wbb]Cpb2(~y9Fp+"T>mk >G>Ӳ04١i]Ҧn"}dEp3+Pvq#F3@78x?R/5H4IBnsV27ZÉdXtMib=XϷ[.!bgGN>l[(9H+)'?Nl̡5'QnKX?Ҏ?ʯ\W-ם=yk̽&Knj*,fhӥ*%Kćz',Gg mw͖1Ѷ1kXH5MT;TtƯ͒te\b=jGʴ 뱆X6̖$LR90upPIAZKdq= Pd򩑁 1,Jn0!5_DNFO%+_qlJӼLoxi9 |C>w\Yj k {IsɘFx N>7!ǟF=(1o Awm|a) ;xwvֿE n6? %jPI|8@Rp~ 56r T&,¥"GxYE9|{B扰62&Cޝ$/4ju7 (]hgr:I9QtksآΩ@|ļ7^8 SkqaY~•$@ B SBqRcw@zpZX \Y,hdܾXT|iIQI8e 23X_:;4Jv@+`ZoIxhk.n&gY;^*W|rA0ٻR,AQqn8;ӭVbecAc `W F$gt8납.#)}Vs]{-5*4%Xj [nyIpzԡ0ƻ3W܌zb\͜;בa*|z{^.q>Wi0_Kӽ¡T |MF=fIY!;co? 3~Th#%sXll^in_qe. :SaNT2r0:_lA3<=z^;^hipQ\(5_7}rQ?Pac>N3yg>,'-@uTv0qʠwV=̷zqf}Ґ$OWc,N%-WӬlB:Eݔ`@NK _f 3zJYب/!` e ٞ.+ǢUt,^ ^7 {x/L %|[8:9.=YX-@//XYA(eM̍#t w3` (v,#ڴY7Ki }F8&XfB(R3ܫ[ ap6!s^>@CY9zᮩ<84h8g䳷K w2O9)~=2Fu/ZkeJ|8Wpn#U7a@Œ'*!J`JsOh 0P굩O@!>/|fy>D)Y)8AVLYpLFlY+Ť X!4!D&.Oރ߆:i.rjSV-à(ˮY%eA?!RH-Ʃ Y[a+5W*׽ttzw+pNk!UX@q$J+눾X/q8*+B 9U>TKn-2,sɑquC0s%[*.y%䄪8(~QŁ2fXбKSQ|lyw;2/_?/G 9 e6LE[(omrQeЕxߪ=rdBXRoυ !ZrUR ]9~P gs@Oc#vS.涆AïGGa*8D0R+I8/s!xQӨVR>'D(s{S6K!<63Q$yA:sBB\]RP?eO( ơԜ),!EV-r3m%zA b&Ͻ.oZ$|2lI/* ï֝1L!亾y^#'E@i9F q ' =]&kSBe_9Ze)Y{x)6زxlvF yfing_ADYE^k}{c xf%KSq.P$90I܃i};@Qp p2Kg6kϨl`t BMdM6*F:co}ַ8cJh<.P/^eR~f-]J+h"s R˓U1@䇿g: {3'))[j cb&[.Ρ3dly8kbi f) Fbeq1c{p4͎s\ [o9ףe#ǂ}c_]눜h|eYS&9ŵ/Lə@Y/R$y?(x|>'+]'Usi0$xC<;T-<ucYo0{T%FNV?./ʄ!MP0-j~{~0NCa/nF/>r"*l\!xp >o0Fߣَ d[n'mF;av@2fB!>o;.cbmB)g(nXfW ӣ?m-㞝SL9mh8Q Ec|5EHf 5PP`*إ q8dF\^Ĵ 8p{3y0_ x֞HC ]OyҟO7[4 @.| 2މB4-/("iӝM(kEO ՘Vx^.a/TS.65=,$@ ppeUVHDśoh/RR_2~axg^\^!+c4ؼ0z=S)r˾%~r6Sf:1L*zLM~"^EU[ RIGy%]9.H%-a}ims6L?A~F59ͥ ˙&¾؋#]ऐ6AL$1wZ|832b3W DD)sM'#[,I}>I`jo#`Q`P*|[ GM Y{#bP[&,6W3KN/C:MݻqstiN$BKF,S=?nm\(T'P˃q_9DqH5"O|f<ײFX=ͭzN0Fn㧤Dj'M.}fׂB<4W ,ywc(r^7W*)+["bxߢCFxp9n#czl0O N ?H!J{-_=`r"*gYZ + 7 +JB /G# HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB|>tPEOzSho yWPI7Ǯ_V^&yW? ŚKNwJs,Lt!a߃FU{ތzը3fY(^\S_6$ܩJE~$..6wu6gb/ rm. FaQce<#u8Q7NQ*b00B\rurU۟UQ챥;A.2-Tgu+ }bth'uL䪲A7z»ZVia?u};~ک_YCk,'>vh!Q㖪QʴGoYwSwK:"SJRQ-:K`bcχO&FN)(Ft4e_C: Sl텿MNƒ~~%+)dOJ3z$>ks:ी$$o^ދpHZTC1=pu|"H}OF%(FiF@e9L,OMc'ܢ7P젊dO@v.3dR;,Ң\rqkg VG6cI6(|dLCduwCSQc.'5 ^nQI+m{O!@'8lc)P6Wbr`Q dszq7Ӕǭ[U[1 5[ofFBՌwZo;m[3b Q$&g]D尚N3>FZuȺtfǕ86q/!ikwS6w4(IRG2%3G(N L!k6LxՆ3'脈]8iq xrz76Hm|MKCd_"c{{?CpKc:žN0.&| %i lEۙk$?9!\P!.i kJ@rK͜2Wqg97yTfDǡҙ&(#0uu7:oĩD(YR;PM|H ID@Qs;Tx1bL71bɬ]N٢})'qYRߢ Vk^ d)dm.(\ -˥r+" 8+V2sb*gnt/E֜L R@Uі \f[1HOqPa)+r@vCoh~fՌ"ۛ1rM)zIN%w=!I/Pj!ԷZ(9B,R9C``q9yR@̹T ל!F|[NfՃ'<&\td (2fPY2ɽQ'!c+at::`=r`Ӝ|8OHK[>rEu K,>oTY~߰vRd]N:ˑ/{ܼ, :h6*N:,,7c?JVt a[*u8R ?l:ZO\JQ[ߕÎTpeښ.)0ͣ 5.LW0y߫2Σ:'~JbY߽W"LـCZFq+IhuicF$4ᡳF 20-'*;._J@)G-hu #O?"YZe5@Or[SG+$pi9ipHIEϱl"ohsDqE"^/5xvRz )t̓a'~u9pMFYJ,3^¥ "I5#/DՈȼ(mmh(kU,w'M;vζKZxߖlVߴ)< 7 /ᜧ]o:y@@_;. :C.[Su`7λm/WI8$rӌGt\-/9x " ]LAhG^YHP\T}BqYX"lX+CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! C]·Iq n[:|&[zܭTjkJclfE1iT ¶T"'lJ3-FUF02&de 1=zđz3W0z~ vF0_Xoy,ζ>~ԜsR_EG3ZDjC]x aZG /ȎcLnb0הdP;5B*_̙}ڄN:<&PK]G"dҠ3L4KwWy9}T,- mƹ҂9O//.tȜD5ER7LM uLŨP y͡,0KD5$PvhϡsW6UX+DD ^[ZQ'zrTL^0Kt+ 5𠘦\Coj +O3ӑa E}|-2(:UH[b<\Čiݏtr^rGQ ]<޲Şb^46ʅʚOх{Mk]+"׺/NH-reƚ2+ RG8pŹrE=9EB4:>:XgAQ߻jDA{#.>}do-&|w* ?l|h{}%+g+_juoݎ [Juz1\NSziQ W-yٷ֋Li]E/,S Ҁt {f/I-8o&W uDz$[ < ?%C ^%CF\8bq"/ﺅE۫ȡ?yUƟiKU ӱ,^N@V}?9;3iQRLd;xahR _bQO*P'Kׇu\,`O6wF?.tN{0dVD!¾PO腯{.$}!*JMf)5qO%ӌ xA^ 'c(}G!^I|'z~QC1~;=c7*; B4֬7Y )-I3?9Q^{A{ xDCbqEE6i؎LN`Kd;\)Oz5(&rEOLX u^Q\ s43z1J2e-|&}[C6&:a //a"֝_U,o^+L[:zKnkTLœq8HIvէBqP^ 3Nz~̐吂`3U럕E6p*Jf*~lREԊvj[8k.Ba i{f|5W E1|(/o$(EAz z#|^3kr!K8/=׮U#Go4~Z7;` Ot٧C$*dQ#407+yg5Zc؁t򿉧{`D7ٶM+Es]V7(685`_+e*F?g"Xz_8G(ߗ%p%$xa۰;AS;Yr >z, E Ǝg.i:`!RM/uǡ?,vB qk޿gRUyOUx b }P(h\ Qc dT9k_jN/|yGZDS.Bt&ݏ_,LנԱDȹ fHi{2r#-lPI\ R3yPFCJ0BƦ ,Y)tYQ$HJ"Qy8!G*mƛ'Hh8?1k| ٰDJvDX]!}=9Q޴s[%.C.,hoeKĝ;K[Ol&4y!UډN@G~tҵnF'!XISqt~AezpDa, OhKJYqjhL̰zd9$:a2'ԬUR..p!HH4d}N!ETM+yo+}M@u0KCȑTDV-X#8m/ӳhpѮvV$\ >-Z>)erL%8g; :i>.;/Cz)RR6m܈8BM( >ȩO=R*m&&/30FX2ohj\O 3{b_prsPRμ[IY,>jrx#a蕫xuƇ~՛q 0+}]Awk RH46tbNhؤؙFsNX%gq&4nbO_#evc%wU@WNmoQC(˃Iɴvh+Hx/gpsPϥ?eix0{ӑY+Xi_Kə`wXŝ5/Y߹95QRC_jYrOB-8B Z]dE[:2Qxس6@0eʲ0!B~W{-3 A72~LXɡo_p3_csz}BZhxۋ~}h AsֈLcˣ*so=߮i$1heetu#r塍ʨ%{otL#eZ":R2FZ^td| z- {RPdQPvR $o2DU`#c ER5cەf!DQ2 (Zҿ^=j!R֯, NC_mɸ(ӞD_-\FsW%Wp1> ,bLjl !:J1z/*c>/#[ tgH{?(G UP44IZĪpP 'CXJ~JYWI]o)T:$΃m7F(8D/% 2TΆf45~΅*fߦv*Bkoe[~EByϝc1,SiMĮ 'qU4bfe>iQe'YJ!WJ]tBK4 ky֊C7#^neybQ[ݼarC}r=d~u$(M.Q:)"_qއTsϵgA!H<:ktkn$lނu- f&gב_VzѺ(d5.h+~8/ 0,4$v>7~&a=Ʒ%D-ܰ*o' o. L6Bs }=ɨ IU~MqޢO0sQp5$M1DeEo2#%u ܁]]v0ieeҢ[_b3k{ t5 >}͋yKUȣleH}s$e u"U2ړa+ NhWҩ'"k?XPxA#o3bFK}{StF d*,mSt#=Ȃ>4#1>dq)}3<7('F7YwVTeIz!=> n03&;,yIqI@X$ Jg\|e.`kDX!yG̉5#}! #F J"ﮩ8L{ɼRjkL󟌢Y(M-@uڡlӠ“R|;}v 1K}{Idk`]6ſ]ͱFZY+t+_R~x[vзqF~薉`3 Y >aOEk% KټXl%ͅ*N{#8H.!>Wm%Er|nc˞„ߞ MZÿ3XNw)Zk6%}12.Ί.٫Ţ&Kw!rgU P)qFSY;)BdS~'عb |?03esDSj4VʄP/qJK`ruҁjģ ?ut1+0`f  B5wAoB.MF(]z0wQ֖nj(wwB3 Ejj[`UE=]O|)2pȢq-}s݃7adЇAVCfB#tNuT궨&VEC i?Ka :l?\iNHPuE}?pRb J%@İ#')F`T` 6cʆҡVyz!s p|~Ȟ5:zXET;eRujNhM:ˁ PՁA'҉D}1,aL >CgdHÓz짾}}Ћ Hjefx3DɅ6ѩg]Lu0c]ݔjG\4K= |0 ,I4jFnt$¶FFūR=>f[Urx[1;጗h7$R~^>5'1Lcs./㸒e[Ҕ-CiePBܫ0tW4viQY~%"b$z`$ ]4nk%m^½R;ISLɪ:}B#=abByF3.xIW fc%ltC&2`%An"<['&}o1wl+o >!kހ' nԖhg51* oCv"Ʋk]Nwj*S@1 wM]kޝetFz G*d :UrL?d 'u15;&Jxn<T32KN2QCT-]fh秲PG?Z᷇yg)qJs靃J!Xlp-.뺞u k&ca ŇG/~,΍b|_@[aΟ&:ػ>pdK*OWI`$dU.N=I1fGQdQQgYZ [  n[\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW= 7t_Bzm$ v5A:fS;'w?ӌU=L*Pc(֜!<2":Uni:Bҕ5w.e2SWfwl܆TvBoDt_iG ?]ԡO]5Kj]$;Io%/179YȊSzS,#Դw׈*Ƒ7wpaOb45G5, 8e4{ͯaX{9 }̇jX %AЗrL W䬄y+I&`*w]L1sŵz@\wCZ)ShiW6;ƿٮ[XydG0VT)_ NLFӷЂDj\ګfFgYZ}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 r f;oݟv\gzOG,?:_YZJo{8Hu;N19v`'*#Rl9[U = Ó6+ zP Әk%WXU J2g!ls ,Q-+U9}2q WjId2$F|YL|?p0mhdKF,RE^ʿc X2oFiq ]q4P~o}⫉5wrt6p55M"|͒"(a C1h遜S4Y{y)f9`s7}ȉxG ; ڨxOaZ/Y h,o_|U3 TQS^ *OxNWtۖ0Vx|ReC@gX$ﴨ}8̔ eH%b-Pjiaa,@1K9U{̐lJTO}<5ٝ!|ITu v@MN<"0Q׼qMd {(abZ `N&6|Qt&1^7rqnRҜۭ~G-ݶC3%U.(cnU 1{ p k +< f!e;t ˈE GW ؽQFusDH[Zg;]oB~4>0& xTm jEf;xO !wҊA p#2ÎmH?6@K#Wѳꝕwvq+tÓ Ρ> > k7>r\D!ayx`.4ݡ.º!P,mͫr; 8LuFH$GvuMh':HS:웂71ӳ]4 AwE o R㔹'=3"['3aS-%be=fa 9ڦEt.q²؜lY1u}dhBġ_dX᪑ևb^zot\&GBZ딺ڱ#PzϞ*'ߥԆ1rZBfu kx7 "IZgS=7Gy3LM(8F7մ@8D(Q9,ذ>¸X{q,oDJs+emI)Q*lMe dv~\8!R{$ WG&YwK<=C_i>ѐU.aJ'r@~׹txn5޳&j)+8=۫"S563\yGFi" VIӚyU OLkwMb*W9#.8-$=Y>@C1'F|.P@Q۫|$ 2dK-rSLu8򐥳:0޶}S3$_'ttBs If:bbBG!rśG ]R *)j#^Wyi4Pp_U\c,ٕ=D7dzHP2ը"j{`"&Ø|)4n">3K J5aZpNl q4m{ x,nAT0x;'CcgɾE[Y~gYZG=Um <+D~˺#f0[\S0SG2[^:&9d>n ϐpOyMpz[wW]6sAmDVp-Nq ꎪ|rZkX Ӡ&3% }IS9i5.=n.`P%OzQG} sF&!=8蒫c4dw5)PօGr *{hKDT9LꒀP[#;nmE˰̱y>9T\6EDE2he{ n9] #*y67K,}FXzjcr4Ɛ 0XI Z,ϚE^a >7|o9I-VbUf$n ]w}:y&P{#S f ^$U&׈G^?Te ,|Jҽ zaB[2ªaf~&rLJ/hdKG18iͺُ J/Ep %oayhWh kQ ߪAj<iy m/C}ig"AHW /$b/3!WrșƝkM$ N-Zw#g ߾by?c!S FQcBL¡'@1]4,3ڒ訧8osM|]鯮~]y>m+<Hi]Ξ1c5AvGM(5=L=!̒5ۤ:PBo6av[2ECHQ1§A"G@{%?kѵˬfd;k|.>BMg } vu~)o꧕w5&qboޗT#]H!b?݋3uԼ0_0c'"Dn%dH|㗿oNš\r6оQzeYk0W\W'C%!::}]nݵY©ty ЦjK|«L:+tl%Y7;rF31(w9OH0jɟ~6 5UtN8wd@ #:'|l 'mֽHïN B~2_ V s;j;W9"j%H/:0 dtD~:*ں=K`r5F HiGZ8^n`~o9$8;K!DGXA%f:(w[t"]v?̤R93`Tg*d<] N׌r[iu tMYF~3z8r3@'ТKiĤ{#J@Ua~E<@jy m':p{k"2}F ^.HA~sQNtGQ#^0', }mR֭}YlouSji1Qm]k6"͞ЏцJxS h57V=2=)+LO}$~/x^4}%.0_KU$8[î𷄡.S:H<d Gb q߸[S+]@ d``]ۭ+A6vȥiHu LnS&fk6TTEM*`cx*X2^;DD!B0(}=,*lC*_q@NAsq !c װ>oxfV+m.4lF}n4*g!"{-~c^?0yLؙ{j2fvCMlG\3X=].mGfAW[b:07?]\FɎvI'D <Θ:$aKh̻dV,sRJX%b u(:}zKBǝ|4+IHEDdGd&)W>12Ǵ n2"Tgw^UaZ ɴCWVe:/]pkJ2`:,Kymz$AOx`/`֡>y-O21lI@0݂o8R89 Z4ab0d?ja JCKb)&*~B&i|D/˒ |AO)5aI-.+I5<HU_L4K  Z6,7+DO ä)hB>K5z2T(o`'hAؒ͊ΐޑŢM*1D$e)QMhv Pl/03 JC1WB6n;]jXؠ>VUF0U2J;}&q͙op*iRIqhc PT9쨉e0)u|ZHU8a&`44Xڅ'7NM1Ο q㺶ʑln;4 h/d1pzqE-)bJ_:DtvFͭ9YDL1ԫؙÍpr4FcS@xmhOBI<0r_HX[뻓4Vsw"*Y"Ӿ#pL.{KFh}~'c2] h0}g0 :2MCЙy6KM -w"zyU7V o[@pHeiW>$r;dH*әAbd0L`*u~|*Τ<ązBߌ`9Lv hz*!!`.xb?Luq<}ns- U\\sf,Y1V[zVH nР/24wzs&%鱚9xNI'C_{xx4<:Qߘ#H#$ƞnv]-4E²i뺂H2ǻvF#zRa2أyN]',k` Du "@CFjbD ?+>@#,$Z*Ꮡ'42͏Xdx/S|7Qk R Ko0i.˙vNysÙ#lS\o# W@K?W2*ꧺXKWuԓ붹JTB2|z^#>{Z;.~rKF&ryRN`#Bb}y1jT€Ld< ̅y&m04?&&C63u7CGcR4VNH1"`&<3bAMJw?#7GW%P{,ŕ \D+!С&u*6)‰@_t(`.d?.FʫInb$-dbgo.TkTVP>B Е.JӴ!.j)At,.RL>,y{V;VJL~0M aQ]"{;|MWBqsq=>Vdb;-wx3@ 0ޜW]=pxF;-}Fa^#ma'6UX׮@'o%pyn#/YU2&0I(ZrʭQ͐ExvEBoXo1 jG ]x9Il]=I5hI"! Ei" 4p#y%Op-iaXE22')$0ՆFOs1FU}6Ej'&H9h4>0T=Q$(CF)X70(ֵ0 6pma -IV<V=*_Y D xcH=`n"V+*@uo!2Ĩ}k" eLl$=!9f ޚ9S>oC|KY6fT)Iz@zy6%3F_6Y(> 4m0-yD hao؜On(ZM%8{( ,~@9S}.GĈ ^QȰHT$I6s1za ! E޷?~u;E,[33}R)~4K a 7;~& NǦ]_jZ% I\+m3ZPma{6:B&3E}Mx>"mZXE0Ch2s10=(!-6CTZض Ս\B*8>,V~*Apm!aLBBX:AV45 O(K` lG b{Y8$ZA\I_W!#mDV1G8%M< Zp2Yx ER aP}^ccStZ'}g1HB8}i1ozTr."B#;xBa&hܯ?  vND^$!\ّ({8$!3`"ybc9B_fGaO= Dhq.U{a]+<:%d/r=Rv=NivJk@0x-S%wVΩ2}1:+賧ťJdc 9͊S$XAȁk SQP}!kEKSU8Ri 91uo:oӒϔsxF< TL"cDkD\ogAYDmw rS:^S<"E&Ů,{&flԄ(MJf7,vJQ mS”I۟gE&"g&RvB4{`/lw֌/T$pfn%WoZukD#RkJx5lUhœ߈ŖB8E9E* wxlŹ?tC@ i;L("ln^i`I31?#oc(˫bd$lwS`;ѓl<7#syTx~l=g,6reS?c@2f;o:nBIΦܺ^hʣH__*CJNrL55ւܽH|"˻"(_zހR3+ G-jm HHTlIpfГcFn P;M<_;#5@Wd(G"鬄YeLnZ`m#aKznًl*Uui!Mh]Q\ygD]ɰ\r6OPNFTf,ꢊzt,~g|4G;1` T-_D'Uĕ% et G&? -|yMdY?MadW"iD3;9CbwtA~);,kF+A>Mt!hN,q F/qy? xj= ߊhδ^C!E./mbS6OeX#xxUj7t3Xn_m9՞Hocߊ.ul 0> /Eye>( {3pl)EzAoS/t9Ò/_'"r? ltj$̟uY{QAx 7f<*JMleIvA,;h-C!C mHGC,$ϊ Rf\Ωp B>8R7U+`Ur*2eú"(`T'lCgaE>CD=({х,$+"!w,+S{e1J1͟@a |ѡ%σa𲘃+ƿQ"K  'oJ2TjvTں>N[j=(@ot(Q5?uatj1 ϑQ ֱE.EesFhKA|0eyOSe~z2 wvn?}ʼn74(Ak؉,ŷa8] TxMEVv캬 G1{QBJۜ]=*&.?Z@=XB,@/[d@z#)di_IwI6o +dP!_&K˗fueszyBUJ,Op v>lȢxbɪqmTL$5Ԁֶng(%PܤG =J[vLXRo^{4"6+r}F#FXgQ:N{BY=w0Y'FR+vyY zmfEyNw+gޭ|4/iA=kGsh߂RdQLIF0X 0'˱!mH!NϿI)H+{(X .&f+l^4bBcU#V>A/ h-r]ۈQ7w6'p,r q~uRLI;imGrGN¹v 8E0ܑ1 &4jEO#$BN !Lŏ&wkpf[f&#V)yX3ʃ"Ƅ444f"Q4 :1Jcc} %vdo@J10p5O?ߢ%Ѿܹ+0We?OsVliTlCEfgi xW$aԴ&@iҴKCQ{Bjk{GQLUy:Nj{36ħLֶRtGr{?,DQ7k6OCoB,#:nقHYP< ~b$hYT}4ẹV9KkڦGqC?L2>nIWʴ-tk ӫ.uk3k@_.WR!;L7Hs\ rN>7q7Jm:L*ԘO] Rh<: sH1Vat?zBp G_*Aׄ0 !+ot;%F?Vdf)[G J.mJ.'sAkBʑ<}Uw^пuMh hI3φ9.iiL*sK!ޯWpE'^Qm\ 5o$-b%i8Qfl7cF}CH)TLy:0W6fu8 o'V5/pg2ʹAKõ濾2_mGQD AljˠW KLGn 翂~`(1ux Ӥe99y>|tz:DċQlȫi0W*^܋ _;~8J}UoZp2b:IpHbFn$s]O7)! TҾ|oY*EuQT%UDKfk5j XLb q˽IZL b]8.g Y>X࿾<wV'$ yO0WS֫M2<ݵ^Xo|ESۡq{9kX _frU[;dmgRji $|E,@'p!&ۙm2*Sx$6/C_AV=E֯mK_Eʜ\PQ2LX.ܩDz  c6F9ݑt@H;"Ek>vqP[pxnUNjsILKӣ-U_}(Ű?;4 ~t7ExpxY)*3pTb1F͍iȳ\^"' ASEh'9⫘Ghl2)Ƹ. 9.="H{[RÓ f~r>L;6]~MĜ2SCjg}DLHOX&!`lL6@Ԑ`,/J;ֿf##Cv҆ t!)qarj3Q)j?T/0n7m%#ydk2UG9x%SohNpDz8_R9ӵ)>IٔK7Ւl{l{PȮe󾪚5jP+ CȄ3XN3Pb"pKFۥ~Io4:mH?0١$¯PO|aX5Q},CJC+Z'%Ndϡd@>()\vXZ+Xŕ|so+pԎ}b-5jSc$v g* }v~[x[Bދ_$ymJ.tF)ؐ'VΗ7彮~>vR X\|DfbوR剼UĝXi`w4[*T9@Q gF` c7%fbxDtX']?W]cs'|&tdrhPO4&eXL&FÒ() )/doȭs$QF|mGv>Ĭ8'$/uf^# bуF2[_9ݾId ,gN_swO4bO Jһn)mwJn,򹖷gYZ>ZƝ57 Dgܒ0Spi}ϙxWfJN B1GtR4:n%k0!aQ{n wXb8Qstr?dۻ:<ɒV1_ BSI(J^#'AS oer팳,J32'Ω:,Nm&'kqϸO+JZFzǏK Yj q>W8~}&s2|fqu WGUKvM I >hbQ2`ghS}U@Py#|cgHH%zcR)-nX3& tw-13d݂~ PS;JͷS<=vL|.h7-dZBU{'DM~]ׁ;|1̑PKn/H|`\Qhi]+i؝RǤ(C Bo¢Ř@CQ(ѷƨҊ_rhҼLxO0UEF1Y~FPtcIjL8j5\ݔ9KL; ^%!. CX q&5QEWι̷?dw_PvP36́k`4XJ$A ww<3YFcu\ʆDdNSI]yi9sQP5jg5t(껟쩞rRM6B9@/hh\_PzA܃is'!xa62m0Ej l@^.J #d3,];o꼇#us;(q`;7uACPÝX2zjbus)r?piV wz:Y5*`'Yئ."an b9|`AbJz[V$c0̠adUc9JU AwA_/2#kjLv8p?1S̶0%DH簌P( toi=@"ݬ##%X/5 Dlme+vDYJ|p}Ա0+Ig; de,3Pn]\ly+8x.y R6E A<g B!j|ЇďqocZ 小% /LzNE.A8)i,/)" 6'DK &lA2jqP@؟=hv h02+A`|/QivC_Y1a@.4ɣH3p6S0aׅc9m:,gPXɟp*zSn ȩ6gZP9,h# a-,@ !Ϡ\lm+̨b|Y1?μ6eC"=*jhQYC:7]4L6Wہc/Wk DVhsݣȶ4pGu8sHfup|PVk֜6hLES&T AV4%yا^tq~|aѣCOaܼ{f.(a%s%S_/ jU%ME\> *>0o[kRaR9ҸYģ}l Qփ`ŶЏ%E,Nў]2{j#3g+UΝ[eSy]”I?cO8ޒ6j˙/&@8*Bp bNig.Nhȑ*deBtIǚ p%6Υ?t}0+IwJw:Xo-Ԯ46K3tvUWS1X.iթjFnlOxbbz};MxKN9Qz@d@^ZY/,% {y8l+#ÌQŃl (j:KÚϢ %V]t|.{.^Ujwo1}ߓ<4D0N]x}Pu" o{Q=}*^ƥõwWl+Zzɰ|`vK<'yQ`{YQ@xuI =HVuQ*ʡP6a>3E#X Z"3sB$o>~Az.Ġ79l:V᷽؃-ssYLJGuαŗSBH|/n $Rű*ܣ䟫֯a!_7nxc4 Ĕ!ii>҅iI9@>#~n(w/v