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 ..G/vdDl ]/ HOL-Proofs-Lambda:threads=6elapsed=98.062cpu=116.088gc=5.2087zXZִF! C]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2񷔌J8nN?7

`WȘ!ָBwp0՘?pJ) \g@v+18M8Mv^JPl5E\~zo4PP=l+4,`ߓ[cڌ_]+QS.Yޏ@<*Jd}MhE:\Ǖ~2JФ%G9IF)Fq7Sicc'r@&G[y֜^坷؝#O5 ~ŸvS`S%<gYZ7zXZִF! h[]ŗXiɟ11bu)a2W5Kԫ3xTEP_5@7!fڳ8Wx|kkԗ}tQ]E'DS_[W.{, xZ`vm]d%rE~d TKL<#do` WYn:Q?]Jv)@bw䟿ܺP4Є̤E 7kfj໷k튗{2:>@~_I!`͢GVx;Pf"=7g}#ޞ.4yZ!Yo#hS#l0:-D`+g8'Nz(TIfgYZ7zXZִF! )I]ŗXi%{qH aXen4 3hf7VbUw~ZBl}P\ fRaQl kmŹ☗L;֘l(,&ae!cҪLiQ9h/#uĠAr ;:~W@=+`w@4sw̅;oϼl&ȧt3Di|; eQhU-$!`Rui tG.U>fSRu^Q҉6e ^[?KQx$@+B+gxF8,}Mʬl?`;yت3_yjS tKvl_錳IA :v~Ӳ}9K3~Ii@[獒y#ѧN$d2fBzh+H;QT>o np0)I*E>`2_ѧ-t3aէsE4T-/}Cj{2`5zjh,jF#:X棨9Ac|;]`k{ }L)Iһ"/GǷ"qEvAwBبGzc{{-< `QF#Ⱦ=)e+OUN-d&.Yڢ3 Z,g$Ir5s,n_ ~@%H)3b9{)4"sL/xP6Rq(+e/LLpLv=MkeZ\/o)f8Y]@CgX1N-4yB ?\@T7C<kʎRI!ynô|%6^v$vꋅ>}2s-J @- %pAljOA чLӕ. ug:5=km],#v\sɱqzxW3nLN4$}8wL(.i2/3XMLl?h~cdS0ȋBvfg)C= h]PB/f$΃F$""q+SR6Xn[^Vw㫝.=d S²,AAb[KC 0bܕ3[A<%EGZ?ϷHj.qn&(-i BFf֢uE&:}37ҵڒ9u/߽Lg(Bf5M0fYDkS21Ǎ۠i\6rkR`?Vڦ;;U)6C45 zk6-t9 lj-@pn3 ͋:x X -&ODϣ࠹՜ރdESoݼCu,M$Vwh_6ku4{b.`Pِ dTqU/4􀳮h0ekFH h0df9K::_KQ%}))CZAf5o75c8 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.,,%%!         > n67 } = y >  Xi o +tJ O }b# Z :[L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.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:LYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, 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 {{/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}HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEY~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 ( /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ɖFgCd7{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ H_Hg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216z/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! |]D?7 {?:fH\HE4DjVb?Dp6ƍ;9d pADxȬQFリI2 W@F㓬I)1>I!dfzEμji TI 8BuD$oI_WdktNa3kPԅ.Z8W*=DHk>*>8ҵ`Rj꙳o?{ov$k'Gg2 x/а7m.FZ M0AoK!#0'khgQj}zPL013NA&òΉ$+ԏ#z2B0xJ |-맹}8"s2Ay)g ƈgt&$*Yп6BX'#  fsgػXb[NTM0͒5F*N*p1ЧcK6nڨwQ+:.PEu%xfΎR uS-2|Z@wWQOeT1G A]?Yv#|>M挝gɱ t5^gYZy /=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !|]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ Gϻ0ҥ<_3wg~%T$p *]F \R%6WQZvz hʯnasa%Ȝۄ b|m&+@Nx- j{RCݮ5cfSu%aYBғ՝ w}2Bأ9.-^9hrT0 @J-M VyH=+z^yQK3]/=!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\7:{%ٿ*c AcgeV.P7%@ft HìM".(,MHxu2>K"LUmvAI~xv ?-,ss9ϡزn?i1 8qH]-d3{?Ar" >hX[ɪ-Yg.4QT'MjIJX^]{ *?ÑTCmv{ڈܸgR\R5`g{MH<4xK+]wk!.՞|RгXDJ]=f*8>xۅt< LPR=h)A(.аǨ&x}t-r]p?,XD#9ߧ yZ+@wt"JFwvۇD #k1w 28YqI\ŲToAg|5lEC M<mԮWF`u)N BOE[ A`lt pf{h\7 O%WǤY`)9&9JaQ4q(P}%1K;g(Xɥ?xxE}ޤt"[s2NTK& \$&+\4{;ۊⱫ-U/WjoL-=l2տ7s<^;콖1 VdFJ*%ZХSΛBil.Z`g5ve@=˻Po9yX+^f,n>tiYw/+@>B ИEZt)VBWӅW51o ukڄ OE BN١6|gWԸ+_Jk]:2.E}תFG=<̮ Y͐Q:$F%lg|w_5 zkUجKwEr_T,̇#E;m1h!P75ܜXܠ'ث EttXAA]p3ԭq6]; 3"7U_҅ ZГr%]9lfMMڕQsP `ҠL*xPS9EҐC|fc/F0X8&.f-|EzG2W|׳|дԒ͹B5k'<7&n͑y &̲4elmM1|.μ09zF/|x6|h>:2,RLMuvě$γh:TekWtgNtJa c'VA1s{V:zP0oG孭quoU-/zC9 ˡKb8l>;gxy ޽V{rjEd@"TԵ^Y9hn2=awWǘld0/)@Da-M`N+$Հy].!06Vq(`f@vE/d}grP_P9V%O;:an_u!Yc\f f<H/}\lWK[k{”3=eE Z^OBaX[=s`17qDaΣ]MUt,#1]X+*,jndQuĹI[dkj1\NnEb  rjQ&;ee@:r|[ZsK!w2uq7]36,_3 ٬X*}>wtpfy1>MA  MgOߜm5IDj}=A4h]@BVP VK֘r`H1$7Mr11aFe2hRJdpNzQDifγWj閍k)k{1yjz53h)g[,o^DZ(f18urF4jqVg? sYqԊwIҁv擜#AXp_GeHz#rG R\LW> jiԳ#_fU Y{؃DT'5G}Ѵsg@`<"볌Ǭ|[~ |cW}Rbaד=Lw"IɃ }Y22Zn q= ],%EC-ÜWmIٕ1Fеo;rs6`n;Q>R-R&iq#2 wFК ԰f:@pE6?SbߏY)tT>ZZiyVu+]w|4c;~GCtf+ {a$9zM)$S@ci Lb(֦+٨㈆ֽٻ"abKҫiz$ $UwJ'6 x#SVxJ>xRt,A"Y}ج>),.'v?c g ,LBpJ<)EOUU>8E%^PgliI/xz'~SR~tɕ.2VKv^ίv %vEEOs0UWX7RnzoW@DP ~O)zX=:DD)"RI(+0,R+Yn:_?K!ݑ~}{D͈|5|ڠ:M'rR#eZ($ vOFrHkN%h\ ~f^qu\FD&V2Η{'fQm_ء?xUkC2m'SklVKPO2뉶8nbrC0-,a\1 6ӟ $L*ܙ_zki6\4r* KU`c7/kJFҁݻZPFzhrCGx9.|bop.X,K0$ 4fO]D0Vd^/X˙rWlXBجLy~us6OeOBH׌;dƸZc9Chz|N%/I[ȿL ٭ټ>0H Ĵ˕hYOE)D4sHF=nq/@ /[ZYA=B w$&Kt[?Jwf]/J )ߞJ-c;@n?'qԈ[)mT%L3i(&]%&#^rz-B$9iNb^>I]CQEWxDl)@Ns0yOr3EDTԊ'R|F"8˷}]Zf/}0܂ 1cM!PRsi?ffX*DO{EWrΒ#BJ/NAhb H|PW#a>`<w^tЛFe$niFN ?+ #CAX Ks Ax#rKal< jF8۳*RQo|k3]bZoja_] z3`MBBL[QjCA\ qz3g&{NCjBk ͅ%Ca#ybJ vQ-G6\JͲް:QuGɸP*I|[#zkvU! }0K}nj/ n.^^}t͒?vAUYtv"_ Q1t'B'z(>v ˘W[MH@/Μ9{isz o]on4iH38{[&ԚM%'֯{m-7<{IHp z]'-,}C RָkI$pr_"*&U9V 0oE>? txyc?)<ֽ뫀mʽisώ/y BI-#Gm%vX*/cSo⾶DZꁀ~M<蘹*6 /@Ng 0CR?:Y챲~ïXxvGd zatHC٦ ZE ȝ7O.]c,=CZh9]uC&euv KT#i.kTͿ0l)[P lע O?m4Iz^e+mƪS`@,h5'kYT5#wVcj8"\ԓUƵc*:Ɗd66U@ΒC}5ge@a`Y9s'T0m98|.\5o@ݿ*G,Ql.,p?;eߓSʫH V;qRsT*/{tg?WP* fW$jIZBն ree8sgoNֺ$CMjy($阧*e~-W3L3|>%&Z;[Egf3bJb=12c먲ћ(e[NwlAad9pҦ,mF|E,lq 2,nVG^R$gGaiUT>^ 8o\ mۺF5x51GщS0f%D\X_č=-;&Oe6l"X+kN/P(#T$-wxw QD g(ۥLGOs`IAq͟C uu lEKpk9=Br@Y껒|)c4Uv9^H+KSHQpR(.vufɪ̻ }C =!)`܎JNӑң-g@mmj"D?IHFvj׶ gl9> b汝}v Lw:^]#= Z'C0|oltĔ+"6Y!)PH }^]$3==S&{A^%3%Ze) )(y~SeD%RsADMb /֟dPLha YEڎy/llؔ^n)Z-_1οCoaSRVȫ/ÏfD]5Ƣp/RGy_!1dcNE,v׶I27A.}"ɬ Զ^;0+Oڷ !o >zQBW 89 D]wm f& >JE~~~%_Aæ\&%X`'׾?#veWefEƤeagIDMJz^b|N-Z:Ç +:Ӎtn-YZoS(6Bݪ@)ϐ|kCr{Pbk\o[Vr ”ޟ<)o0LX?-`38}HIu doV4(S7q ++#U| "#w<:͆+? +ݏ匱~P/'8Gjw 8}: zE%XEQ~ BILSMUlFoUi%vK\R?q;eY'GGyk-&5KGLzA1NuGK!{Շ<, !;H {NP*92M)"P^2D}N*np4 .sQdED rQ\SkЮ:NZf/ Zl%]< -,aeɐj~$1lڲ]lVk '@9BO ]$2f@ A@@fÓJjؠ뙩pF'_} n.|NϝI, a*c/z+77em& Kpy EVCxegYZ-h1Ex CS 'n幥L'`*ֹ</(v3>+~|*TLP QҿDQB DP|sv1=ʬDvٔ'$gL;͵'g[QU!\ \x G{Pß pcG bPzuu"i!@,h-JX`c F$!D:`"pZS|[8Ïq\-Eg A*ҕZy0~.U&Y0F~B ~G_~՟}77X5uӏ"%m?לݢ7p8i{C“,dAXUp[w//ahJPknQ\24ShKb$٩j/?Ke~cT7hӎӃՕ<2@u40w+7d;>,\'^fL\Bo4OcOy!}4O0KbIߋFZi)sPl%iaLT~0*ȼYMׇ64 K~~bs~xv&d=Jzɨ$dZE+r7)P[(<+$AUD^lAcuӦxP~:{ P֙ cşrX衰>)k ۨb#,.rNu8]0@B~0'pADZ!Q|:өcp(YBX#Aq1WX^[rу1"ҩ~.^Qere Zlcamˋ%!_0+%a/+@(:^n&V6jM[Gųe} gٺlrӯ2VaOt{t5CGR=S ዯ1 [bGsצ9#y<嚻n}/ވH8Hbc^C V#g*M(_^3d]^3gʮ;.nKR+u1c[4,k4}{Wk/ձ1^6KZi}b]lC=&g3 x@0KCyCn &>f^RƳ= Rh$g [|Pߞ%"K~$¾Rys%{ig^_GЕ9x;%.7AV2d@,vëF#DJ=&Ot@!]b巯F% WKTe(8.Q˛GhoB+mvʋ5Y-AV.a+O`D~gkm3}m|‚K$BS@alH_|nHÒKOzo 4(Ӧd~ %Is03QP|FSƒzbN x; Ra pFIn$*7g{~+; 0zdt8G7budu Y 7+r=iܞ<1 cifOm.pɟ5K,# W_;'[7zTRa_1(ōVrx@hD1{νRMz`z~b#ߵzj TUs1Bu-WH^C:p:ũ/u0΄4Ӝ{dގq @d=7iniиt!?ҿ_L1y?&tYЃ"~n | > =r$`&[4@$jZbXUЗIg4f @E9+œHV}Т|I]JZ,+b:M$U2mDKX|S Q!]~;"ziQ;SZ0Ê>˃p> ;͕&: L'70je&tP %_cFʻ|j2~;>U=)ZWE[7~S i$RrL;/c)8֏_6yu ,޸57WBKlܬXV)#5#wL<k16:"FUW+zw%] (Hgyf}$1J n'qԱڮV]ر!E>zC*UǾlq?~+q_d R҂%]}kC6OۀZV' ٣GZ ]¡w]nS'yd.uQVi7D>II! dDHHL`Τy'%jF5§x޷>0 U ]HT0W ޝ]*"%FOtU4Cde̒2gBn/&e;38/D/oĘ>ݿ}B}cحQW`M,tewdl~]9F)0y_AE8#BRHxZxR!q Lǥh=Q 9qHWk ]#uiDw#9ʉtm2[$D RwFd N gj4QUz*pnT@~E8HO]l(k@qz>A= ϼ{ٵ2y,-U9 6gYZ g&go/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[z'z"i Ds DɃ:]X U{dƇ_bRQ6YhFKEv'_QI#mygv+g$ފ:GsDhM'KʚQգ UA~@/NG}|Q6T?7T E@|Z2EnT̻ LIō0 xև BrT^=pY6OG}U珦`tpj+\ֶOӠf>2^٤;+QA՜(Ǹ0BEkԏgk[B aеî)ybڀo5XϱÒb+N]TY7)WG/*x`=V@6ɵCl3^O?|5oyf0>~jysg+@S/66B//('C EmnŬl%/B.ϫcőό20ʊ(ost /p,JRi|ϼ.&Ѓkӈ \ Kʇj !úVTA)=muE(xX[$~ᨁє F2jv) 3n;ߋN%gmISqB)h&&6:ZmVcYx?%}hT#zPdgYZ /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هېH8Ǝڮ4uIX20rQP۠ JudR8$ۦNU3?.|*SM8e/riX2SCիw gk?h`z6Ya"JBrLKAe<$ XH^ է,`F ^ptC#8)t_GN c=SҷH#q$Vן&Ƣ})rweفU a^)ZEzA $ 5?"E x)'ďZт~ eS:a^h ud#(}4"y]/II, {@؟(OSp UDE vF{#9F[͝ijho|Tuh|S̀""SYhoPĮV+Xʬge1p?-,GDրwde#JoHדEF.}f3vאJxG2 Ho{`7RDLUX>ტk&%|>8s17[,N[aFQNP9]AP) Gnj]'يr`K_g_4M\a5#Z{Fete0!?h\%#T[ /@_yPsJ&Mh{Q!Ol, ~4j$mu n|esƚ9i& xؔ!^Ics~Mhhz[Ei=2|g>K1Eii'4b))%#:ɘu :5nP*> ĺqDQ[-V4lV4:w/nԩ^;=;tYx%XtS{WXL]\!Ptz~[p,Ih89cmd!*ck?϶2z$ wp kW{,R2=TG\2 #5rb+w_J} ڵNH,%J} ꎟ47'e9N*T^R6si7@@׏93:+٩\^WH kkӋ ^*\6Ce"NفpSªmpp./^spf$Ro`JshۭF 6an1p-tPW=dn.!0>?;&A.}Ǽ7Ez[s|i5 9x5 / !!Ÿʬ ¤0 ǹ"8@Ҳ]޽mG,gmxs{* Fu;y!ay"n-o\6=v taq"|svF!'H-&XHBW pO@%؍m#k^C QJ(b\sjgcGZ6W@7ο_uENqc0gنTrĎYzi7\CU'#uuДȾY}sHɫXxŒp1K5()/9J3o<i+Yzn!}zҌj-xI%' 8|* =ܤ$^KYvw{P:tіDՐ)_+&“bwwx%+雭-.f2&k6 g=>Dd8HLwM4޺s$3Z>o3 f:98RbsIQd 띁q1)e顗" OpY.M r`V\TN_\X+\CWLոEQc.?\_9i֏…9o%͋YeՀ68#ݠ<щ-q2h#0 ,/; אUd( \=,S5^?R OOW8kpG>ߊ<'=NJS1H$^ _Gd/zW& 4 BcJ$ 1qN!+^|CY=\qiF5寧:E[7M&DO"ƎGZ`Er!r tUg:SE3?rA$\#-QZ)`/ĎsǙ^`3!1bc5mv{eI*H C (Ka7^jQ!*?٥{d(~9YdJ7N}],ࠔ +2.LEoYhV/U$|w* (Lhu(5*'x0dqmҞk?Cve~݃WGsi`܎Ťb`wh,HF3 Qh QPPlv-1>⓱ݽ7S59?J$%STOzW.cUݡY81ĩ#s*cSޚQȨRf\yi6ۊyE^9Xb % eYA$ac!w/I5GKp2yTFBvD97~m8' YF+*l|iY'yg}\;Vya-nMmBjeiEa*$k0]ԖW aNkzl5(xKD"'ba ^BuBf^_%؇*BMZ A Ӱ hq8.J PڡZU}KI9ɺ8Ӝ:kn?r>S?DH1PWd2ag|A:u!M:Ip}ޣ4[,(CrDp QT6Sє!SE=WTG}S>oo(i&ܐi%N'籀د6tJ]࿝IsRnuzi 7fm/OH{>g=aֿL)E.AʡQFaj◠r7͝vǐDIS:$jH+pJ vlKstJ| F.cReA:$ʂpl tmFD-Oo~Y-CanHaNL7:F3(}n a ʸ<񱠲/u<1zˑC[u&9w݄Ӟaz{cnNˢ E*,W`u|hwiy; ]8PjȈia0i0\ؼMqtNoJP J_>-E2ʧdQg`z7TR3 KR2V4M[l421-#SP桃 :!4uj}CSȪGn?,;ݓa ھtZ)iX%*T/HA^\\Mv+' zE أdE0[rn>m ?-Ҥ}jV0Ըŀ`aф(2W`Ҕ(Utt&SyZ&Zw vn\%(Gxx>ޙ0qʺ=cJ[ОhBzVԤlOwYl7W 5ۏqBk^ElWLV)7p:> q#D"Iaޛ|9_)1(M2D"ꑚ&Z&S.3n5S!12QzJyqTC[:G$Hv~*] Op5A}M.K8Ie{l9 m w)#nHѕmM佄j, k5WݎѥA3R>eF^29- h"'|-FRAV"cO Q3%置Z?>y7E5mөF˟-VDQ j yΚ:Z+$_QltmCVZLnY7:?pjI$0,$$_ܰ TJWW:u rG_[*~kIb<w'f_^8Bt5q &X|ëesn~mth(ʎ\pG}ʶ /ચ*ORȱb 6(0K.z}ia`C/_?QӯQȪdyox )sAr a2r}H9ɛޯrqѽóCs`|3rTi_F6 JkQ滾=E ZFgf%)47_ϴyP[nvȐ:anZ&0Zdt/"mX i|`!'2LY<E }O a^h&XNEbZI˜C<}tM: yl].3$u99m%cA +OZLmӊɾg_:/s>SB-^L@Ѳ/EN3,Y `4\ po:avl A S)bYe(^/ x>OWjEYkK'͸[V$j'W-dLYLpgYZ p"b /O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AZ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Agq듃5nO.N|ÌSYӌegc"IC[]\k刞 P9{IƜ/&,QF\ڒԋ_)[خS| Lz +8aHH-I9Bu`D} P,^\Xښ=3Ӟ9dYh)))0Tb.t&kj-݌Pqst@;XSl!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220/O# 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 3<ki2?Jd8Ph N5 :ji)^"PL:Ss*ve ֈ$@}ҕVEa<q=˒g(8+M` uG4Tpf-"X)NC.ltZ^O>\e8c k=4Tm< !E֐5Xy6C PE+0jV=Q[u;#x؇ tJ@lR14(e*ZReFITEw?ٗ2!SnL߿5|ŽZMP[p .c7Z*tztWΦ׊/rh<29igE}TU>XM+E;_]?S>l<t/㢏Ccn_0sk7> ы;G-6bILL)-3mNK,VK{rY3+q1zH=#RnO< b?ƉVQH{.% }qg@Ό٬d8.V6D.yԼq_8mD9υωK|ơ?l]!Wc E,}X+¼H0*NR{8k(QLscxNQi FGi8iB*/VD1(nPl7{{a?1_$IkXn{EHp&JS="G"p7"W6FEz|gX)ܒ%>1..0FG'"e=X` $[sZ1D6hܑ`BBќö60Zz{8Rb|"hJ^bP z#H;>V&i80,7OƵ 7s!\vQ׵ZHpb%Tr48رmĺSHՁT78Ѱ~QӾC*4ɒ +й9-UE6xם9X ljϛkU B0.ԉwBl48o\XقLEB/ၷ_c4Lt:KM8n3WFftl3do\>oI저r!y>o8G-˜֍dc9qbb?sS Vbi.y,rͿ\A8町J-Q$[5Xz3sSJ8B>f<^\@6zօݧt+fӪn S#SZdN=p~@O;U./2jV|QorE>Y?^ļ?]58kּQ .{bt&T^=J13`";-ڑG^F@2H `?ȡ2FU{ٹZݲ14vSdJɄɬl:'MJeUHf#KfÐh3=+mDlھ!x[jygu ȫwZB/2~`,C<屐!%Sv %zK\e|jEmܣ ]ѭc't^o7l·>M{@s Ai'qS{** M~ˣJY+C 0=pZQK*&KLw'G@gcIt6a$*vR4[j{baPōpSfߺeB Oi ]!~mQFw-ж}RO=s>TV-},\;Acov, 8pVNJ\~1$bznNp= =e[{rIvvQ,yH,WFJRE!#PtR<"QS>afzj+P?؍}0q%c8|9Nb N*߅\{' ;Ϯ pTwRُуӺ\W% D,xIj)MOݴOvb] Sx66LBf>-U"a엌$ۙDyUUՁSDj:AQF[y G!wm1b,*3cYy9IoXPmlq-jflbbbEK.dAdžҧ n-qn+jJ I93%(3kQ-|<#?Wó.f\O"1R%i/b_!ȴ|Ѷc/%bV[Cc?l7)ˑZ&aj;ޡ Wi(Λ$)`r;s"'[hK҇)NSK-j_YkDI76[_("`IؖXupi*%o *=%]:tdj( ._y?b9nHsϓ J7|ZO-.}8. P-@* z"H}MAOd6,v((Q߳C*)a*Z4Ix䱆7;^q4M`Ȉstwti~ r 0ofK\cһTUP0/ !6P]%:AKKJ#RU$-ZYѪSE%l0 zm}|LRWeKHy~#cs7b WZa6h\m<yֶlGp E<λx6d2u0JfLbAJ P p gRB PZ_a8`싛zГOcfs,!/l<\8co޽K2஧ ;$dzomc⡝ydn^*l.Ѐj9-}oޘ :IDANb]˞ߝd{MwҐ͈2_%Ъ .RW뀼:p݃ԖU@8CbY(E0} a=&VHc)[7U D'xJ2X#l0d; {̑0CH|PeҊ?L(y0e9m śK8 #9*dŤT}#CGYJ}G\ýs\2$Ŕ-"rv[ vVs\d@@;cOń"B wOdBf,ThŏJ HRfoIuE'x,1$?g_:KcEo%ppKeoJtǶ&įAZq5 #8 ^&CNn)^.¬,q\]o?|ΦvaZBpynE'xQw[~-lk_S\*`dwȲ䫒toAG]7X pdt%Ҏz\v )Z{@t_fѼ#^/ N0/K=IW92xX{ZtΉ!=#,X>*6xUzK)TYQd̤1' =Xf`?`|Jl?[?e!p Tޙx{?ŽJ+4 x( -fPj}(Nwg8B41t3+c3m]ّ4QMfR% ea;#nn.($ɺG`x>2^3&2HS7q(Zg}_\KZ;e%HXS0;)7S~Lḧ?N.ezSxZ/ővW@pH]t!.DtM 1J"p`jn64W*HH,MP8p_}׎#Y,'HYt|] H٩@z #jܻ5H$[$&>{&g}zR.D6lC]w=CUX&/J_,q&2zwֱu. dyonsH#SCU!4\3U9*Т┋ p^٢}SB8 H3HQ^'PfK/紬T#H҆2rt_aR(1 ]ND̀MtOLak#nm@T?j OӊSוO`V8\O9w R 3zXapN}/LfMٽZrҠ6(9diަ8-{,J%15p,}W@ )e|Ay#Ig|^#˵_YR̮n N3r'gqrr)Iuә$ð튆_i&Eӌ,、2 gC+Ig~zN`Hr9Jco{S"0P?e1jyQ+JЭ&$Y2Ϊ3jf"lZ4ʆ{bšG3wR-$zU 68a=)[ƹ.1NNF6%  [y?lv-<1;fW jud1DSe'&%3s|+%"Q79"Sv iFΫ!AN(\uą称COwF^w31` @w:U$xbMz{ ~G 3|`goUSC4>91+8 , xsΨR~e}ĵ_Ƀ,IY'9U)8«b;g)v"DLSFJCV&-qlFv8g:XM)Ch߫.`$ެ" d(',LW~r0c'%]1e4[U`/ːa]eZg`²-oj ppvo(Owy&M {Vs5@x>Ibyk2ǀ~2\>L6ށOb߷*T#,l H= *+?]a8vNʉ&+%ئ!8FCX|bbguf^W!`9ߍg )bNrje !~<\ۉOT8VkaHT4~p/9wߴ6v#g+cYoj"0PQ=*Jap-K֦ 3h%@~kʝA{ nWvzEXtHO^ UxHs(=oy(̀ BcșI"x;3dF޻(ChRd5`5}B1Ǖ/F6dlūu [a^=uj x<ɓjk,ZU_ H >4GW7Xm `O(8w5~b [{@4BX0Hd0b:.(6 mx:5Ī0ȴwV.xNa/Mt"uz{vB*cZ8W ߟ AVrOF&|UTs@̾J,>ű%1޶r0BrTL[(D̤ܜU>DÑ%1k'n &3=dceĜ+-SRխCKP%ݚ@#74FRZs<#J B|[a 2^/uFi h!(E?Ӎ*SV"oQ̣@-9CSO$RBȟkN܋j0_I0;) T/&ξIsV?gɍjmxEo'E ꆦhi^Yl#U!nR+U"6{_9$1\W`n RҠQ`~⦄-~U6(YE2ַU9~d_v5qk,n܂q\W 3ӑ6 I|kX ml+1(;Ӿ ^d5gCE=r`GW+b!- 1r 3cmM<3JSU'y8uF=MפsV 53NdZWu,*i`PΙ[뀊w,mJjy]PBD4 -^ƉH^'O^5aJ 3;9D<^ `a N^DQ 8qS.Z;H,N$ CbůS0N͍4cJ1%Fp"kn1P8M E~R&"WhZR?P?~G>MÃ8&KREc[Ҩ=mN/qZ>tʟEac S)g(VHS~٨|J~ .݂mg,Lb%9hCt'5(\{EEc( vIH !ǸɕU;*جwc-drZ4{Eٝ\=Pctշy .bc' uFh$h1}XӁɇk#p:G$52:1"<u:#oƆmr|pnN*sSMSч>tW(TD'ʾ e؇)/-R37P@b!s$D%k%bIR,Ӽ&FOVX,3hdEghl?YۤXsJc0W@-9Ο\R1vv2^և豈w.q| ^( %mjmg;Vh L@[7|V߭(-p kѥGښr֖#LJ"R%;/Rj!lQ3\e#RLj|=j=o?p .;d>u #qRS۹ߨe?_Fg%2;f]w0)0K MJ*E,HwE^dBC?oM,A ʻEߏu<9G+텥ERq] T'6Z2W=h)lށujhGřԈW[ѥBIyW8J&; M= %1S UO}X/%t5Zb↪uݦqOؒ8|`(B_ji,ʥ}Hy)v#^it`o|=8?lG <ߡT:yf!'#,sjD$' @xP}ƔJYpSQN5|wUtH0a\^>t`qDWm'I#PS QJ6I@[#^ut+xI_5Cy5jǐ gF`@E;kŋtꥵg($.cP<3\3eQy%j6)v@z팤FdS7r {}PF|-!.QFj@^ǓxuT&ak=ƱFBy 1{8Sds4{5݁Kg 0f<b׳~Tc}EG9(#4樷<]mE6%$ɽw-nawC d{oYC%္ڈ3K0n@Una繖$j=̃ YlBD8H'/7NmKM>ةe|_–TUbKvlOVLɃ>|ߢxFkOPTFfKX]C1{l׊]HT[[\SjsDސmX썣OP pY?$kGriI(z~A d5˕sA)N1Xy)@("r"K&tD OOzlTŪuaP Hj"ە˚.(&xVq/&@nISi3cFS}P]О.>/J &_v &;XvXťTߓT]1`kL38j++h' d(KK0ի,9ju"vO9ܻPxILdG6RWKL*7*H^rL3@}/ƿq=-onӱO~aa^jfa?؁/ʻPg]{~mJ٨@]!olӬwqS`X|-H-jCWg0ƂJHn'D;C>ʐ "A)(W/$kML}PJcUGtD2t:$5ȵ3tZR0` X Cn^ww"),yU ֏*-sr@oKp'p; 8sc<kGqdPm6<PU+s{PugDl,}i#RP)u*\*5"9N"Hu?z)raW|QހA4 ?{ǤPBeH8M9ȑj'ixqJYVSV7 gHeS"Გ"ԚЬJKW J @5vM{vbS71c62D/\V!L! ќ+"XT+([y r0kb`u.@v±b#qpIA)E n{TMNgtӁ¹QT&\!;e7R&c^*-fzxهu$u#jeʖnDzh,‥L`$0y:0eRz {1Z?%2_hv5ՒM@RL neX]oF;4f,d@e<y8꺭MS(dMB)_L\j9{bY\K(YBwm*fVHi 1ᨉ3TN8 ^f}CBy 2US6>F.N?E3 J "QQOc1DcJܪaKu$ ?G׬∘aw%MAV!*ߣkPRqM4,|zLJK5pTz)E'I=b*yK%MkpˬA^\gyk)Gi||GcRk⦱xNq4b=wY˰xV>ҠWl'5:\ 0ת$=]@IIGd@$ " "7gM";O`9{H/"Y6]S^>?˦|jTzg"˿L{h&O>W-l8X[6UlCj"#_SdKy;{!0%I3"`PvOؖ"7={8mrE)KeʽJdo.qr|! i&rgCq#iF1ߧUٍ1?ب-)}ExVH5d[9x^*bQ?Wj?uOtaՠJDt W1lINT}B N,bUնguRiưBf .!#HyѼo0!||7.WF2g9at IDB$6rqKy6bQ߉3MxV)Jn1娤}^Mş _5?[&#tb%A=y0}9{Oha|ƁD2N;sbCic6ꏶ?̿% eaZ2I |:P4Ƥt,^G.q#k:./ ʃg<Lk&Doi]A]'߽DplbbcWh\q_dÝDiw 24B*20}Q2@J'V.za_|S o6*!>r24kDH9>BsL55|8`X@c@?cjx" o{O2qK"4[NI\OηE D5l[IUn3 CjU#/ITjwRaBM; N!`JY}nB;>R0D%PP{'FM%V +* @C@LRP Qe$ѐ~DQ~xݓ/00[NMc'-2 [fЫRѻn~B8hfhޣ-w!ejlE]IOoTeAnP ingF@Ă^N(KEьF2j.5ySRoS @ۧglyŌTbkgW ȥZh3^ʾ-n0DGM^0ktɪϬoDvȈ: /nZ,Ⱥ,s} N6,lj6lD [T_E9!r! j@bn{|_NIA`?ˬ6M}GʥhaO31gz*oD\i޹agA,.j92DZ㼽`yzX{\x# <䚤ǟ6^=2-~c6Xto}`+>/k"eܿLW)5Ca1똣y8<_}K4ml/O.#╃g:QSвd e*T|3L@@,M]5Ɣ>}ԅaI EfOaǘBY}5#1e#|ʱ\{s`&`&O_{̈_ddıv!kFQ^] KWc4ZGcCMm297J` H)zwpZQR,]/A?$!WQj:[5E4ۋvNN Qncmk ھHNJ3fТTX2N-g<&sO- ߉5"eVs bFXͳM(,!ְxEɓ*At~KaUVO8au{swpuqHbC<&Dg2gP+f%A Ovȫx8N@.9iĹ i_v!}|4݌mDXv̋`,ۯkr}cQ!XBǧVF OEPQ7R^ࣟ}caxѬ'8l^LA̐gl^! .ӣ}iqobC2[l O(9sMOV8Xyi6E(%?| vl+ k;Ly k{0)oJ$5AΎ<)‘4ՙzS8E7. Cqv5d2DlWxQ4¤qGҠHEFzKk@W.f@o>{ EeXN,*_^5cupZbIV{v3. [k)B 9忷T@cyh|a?Tl-gɼ,NOAkɧK51[hUSZΡ(*+[%f#ޙG.k.^d^.WK&qYMg6z}#d&Rcg/66%Dlm.93-&{,m,dXĦd'Eo:ߗl=H˟xh.`!w"'iVl6I{iy}FgdS }I6i `^> ,dUp]" ix7O r_RfL<h?*(k@dp\ꟶn=Rg`*ڵժe:I`B< _q'Lq_́M!'aN$xH3^V#$# %w-Zy!!r! pWdnG, >`*-+ m3IROTzgB#a}.My.iF:xgNiAIG I b&ja@?UTZXb|sI%'(׾AžWCniR =PLTHЁFoh/k|j,jg<Ë}npUBz=oƙ+RI]9c ->&:c+K 8xfMtN-*kyg3bew|8B "!!(7q!ʌ " *~#d=ya6#$ ե>;tl3ZaCpy)O+zh#lbj8Ġ3R2O @ ' ӫ$/z;$U(/ (\d\!cǷOڝ4?VWđ6+QFS+ + i vy .5HeH3߃я$φ띀+%ͤjD~s?~?F> 8 ԫ[v#H.8XE0 ]|mП`G9gve2h>, p^?CD^ݶsm`M+  BjxmY~ : bb쒤-0axC(m`i"dRmTVoYcG%=sk5bՇ<RApS?q^g`h bR~ٕU-;'`@ 2*Yr8:%ªuqOУ[ d9ѓ gҨDF"I&[:ɉ(ˏQtV -aHJy*z&j!P~)bK9M>jD6&8QPn9eޒ*t{7^yfqsJ^mq'ImL Kt p[ϝ։Fny=Pwcv ݩπH2δq57(8\N}םXmQu,Z'_Tk$[7{c3cnرAkdoWNv4Y\5QQhQ5]z0Qa ))<~ zË#L WڔW#"LVYO}QM雀F)M%%\Q&iz\uF|f= w>v 1!PUyv-zD]L}\ǑF6qhFuhad{&5rW5LǶ(lƱ{_4qlJm݃]o{[8R;{D0ҝQý}_s]iQv0j!]dbL`2V>28tJ*m9z Q"lq]fuI>נEu8#wE5kB0O)sy'3̥ySP&u \Ug[0q`h/VÃx1+X}ófXmcZ50WSԇ'~)ޓ߻< )%ϭs6?uh:^tuj|] ߸lz'ճ'b= V1 rJAY)7 ly) ߊ~9{n&L*LgYZ o j VoG! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bE]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e ~21N= 36qF'P@\KYҕ% Vj訬YfjqJ ))tVx 1,7'4}z]X?Y=/C T.N2"־5NبJ@w$&SoQ\6)+g+u~FNVp3saY1}e9F؀KKy$Wމu:h,ƟU7P䆶5S/2*$Ag%#ʌ^vaKt!*4FWIcew%uZH%Cd?Ԝ$zKrL9])i ͐h|HE*"-RFWo6]_I؉TcOKB &a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' $HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF!  ]·Iq n[:|&[z'mCwH&w86K֊AH6¬Iצ@-Fi%yF`>v%ͣd1{I)F )kj@:v)Clj8^ Wopelݺ%Sz dͤA:gM /"9rL$q^nOvz|#7\7yH^ |C-Ǚtm8"mC!jree 7oa}.4,ø3~AD̼G9бkȊ;+ 1qpGbN;o!XN4M$-ݶ1+CG T+a\x)٤),:O|%+9h|SJ5\wEU 0tlGUXg1d6;/֟$^ oʅx~Rw\2EKtJX5'lp>]":[Cܳ{n ĈkJF[JFr s($4 ?BVCȆiȎrQUM4,%)Rg:&vM~x2b'Pi"5xAc#@(˧VrZ5[>UO4~ceQE}~s1SS%ȴX7e?]&A~(%挜=>Ud&dwc94H-@MqX z`vs2K'>"7Vu{5Xc޽֤~H"y6nGgYZ'X 4t&-6hܪlr!4NFFLyυZH7#D "^F=+jfhݱ)R\үsa1hjpdm'5N`?S*/{$+Hnz=_aG ̵# m & )_ @8":~l:u6Ohdb9ΒU`,l0D\zK4* ^#!ԉQ(WVF< ͸3 "o8\n$ qu)2oxGa($%X- Tր8yc@eSjhdmㅄ̽ v:EN+,m4D  rXZ/"Z$cZ+K%VQF/:iUf;hu ^)MNjVm,G /3U#W: 8Sv(&ұL䗯C1"<$#0zXɴvQSBPͤFpȰƳFin1ϩE?RxnyIڏM{ =bЎ TF=\ Ҟ_S )[8E80Fn :|^YA &t,8K` '}kW3 gHk۟u 5`CrUwEc4Ly6Vr]PK g#ANƕJ`?C{S/8-޷OV͘z'@ \PhEzv\O ow9ap,*q)쫐G[tulZDO9:󶢵9TpK\HM}3ϝV Q圓¶׶:?!+Ӈ?lry%U{<qSn,*C@b6C$YcBfJt#Zfz$*14up&WN!'J.E%~dt<}^Qe0 ,|!@-5^ b]02,2D"W޽u/QP] 8T)Ȼriy3sx d[-?I_S \CGmغf^LYJ =GT[Hv)f5ѽ!_wFn!/^?-0ҢZO-\@\%ъ%ڿRco &VZyiu4uCǣx  U)H/y`3|374MkCx[1ʻ7s^'JB<$N8Ehy3b$jn0fߖQwʹF _i< CЅ3'Q r$A>i)90cp#JZ$3Va;QaѡPO h@QeGMΘŽ~BY9>RT+֊"ʕ^cƹi-Ck~_n`W?]kulOߴ&)F?{3ϙsZO l' IVkBBJ yk1 ae 7v#{N6oɈw&"0@4 cuSb R2'j{TK:ٝn-LoH\mj̩Cݓ4TL/ƶŘUV.~H'OaidFjp1a(?XEl=+($lJ޴TΖJ3BS cdrhPnRJCf 5"N֜}Kի<(jc~}|4' b̮Dz\F[_f BJ wNFgf9a^qBAˈRљƊMߋu,]oX,ݹugI /㤚Slw yKP#g‚{4Ӕ (/37aW*L _c_lg\% {BCJ9;в{ `5j ُ"ټ5"5j؋Hǰ? $ ̈0yG;`y!hnk`O|(H5 /b{/ ;fֲL(z\Lx!ܩ57IӶ}L%nvG VIt2x#m:ӳU(L6Bt8^)!4|\Jμ9OceaSj*G,reQtp|1f:҆cP+e, f{)at? w@ }LE?uR>,)GY(#7ʭI9\q1"eiXJ0#Ogn2ׇ*MB͢QUkhSG}0Ql$VKeN;)5^ [444 ڜ  3kS&ӴEg(Y 0H87̩zAuyG@>sy?q eJ8bo?_#Fjk2;V$dFٱE3I6:qy7AG`'pOp hX6]ULRѡv692{4>A*$)}w(z#D<䯠q !5$_@ȕ]|BQ=;B#"}P*)ץҳhSH(<1D[CP-9+~dУqh1Ƃ(%7p*)W$fs88* (qΠUs1Y.3 ڴRZB|,8T x'|6xUzN%l2G'~K$~Ȯt\G5YpA=4%Ʀgm\uk̔O9=떥K*)ah PFtmn4&73k PW|c_Y= n}ᢓ(+&y/8;`:)<dҰ blU)U^>^ZeI2$L]D2#^B(S:e͢ wԘ[K浈a3q#SW_km"xli WGH~ c \ߖŗ 3_2_ޓ^G@Ts' ~?syR7jSռ'1{j+++\eh^ |2l"юh "ys#4M@8+k'uź[2€ l䬨C=иn腅r&PWmRT:=%]ܥCpý^O`& EBxvfgMKЋiB:3!TteHg *mQ@_Ck"(Ay^`B ta,AV` 7(]>3<7U<НXPG D㪛ZOYat|ݮ8g(PDyֵw8v!r~*v_Z~xWQs3%۾}h e/3M$z3jSw,xnץV 3oj\k wer,_rף=I&$#3`º2)$\.Ӕgh)J H,dZN>tfT}we\j`KKdKA xMX $'PS&V!e1ֿ){bQ T"z'ƼD|*`Բ[[;E~ھXDs@?-+FQ~Q)r;5;4l_3ud>˽L Hff1UؒjtDluHZ7oƟbNlJ.'yPXޖ[M %媄6p*IH$v9WS~ ]ݻ%P%J܇LXnNW*_AS"r mͪ@melHLqxTepF;KJ4=)nҀR_Q>XtSv╿i̪ VfZC¤`!\VS3Ғ,w}kZtq;قCqS,KDf= ?Z4x=X> (/s͸ I*PFǪ]X vjG)0Z;P:L*k Qc̹2"QF5B ޾r~e,a=r3hQ cT*<-GaBGT ,ɏȹ,hs۷kQ<÷uiAѮ[d J>\"́6Y@5~r]b8Khܳf{d^+4(8m9_C35avn/*)pT Xp&wXۢ,Dt*Z"nR$t0RjO<?CQEz3WG|X _6j7;tĉ$ȡl9$%t(gr~VN+ U!enCdJUhʎdzƆd 'D@F8/I6T"(a o#8rR]g[Sbv2~p-Bf^)]p)z3 ߡ{v _*HQ,e50l9+`ᝌaw.Ve-Bm:|?e _ _3{ 9X[ݟ,zp> oT6xaA^^>kևThRu޲:ۣ=k bx;q?Ss_~Nۤ`h.C+T')LH< r{U1G[WM3tgDtrBl4Y;n_e[qjͧ꒷JBBQ1>VzTUc zR"Gs!:^`]Kn)=-h-it;pޅr̫yZ kf=Uj:F1iNuLN.p%egWtk\YCQˉodL1>c2#p>s? ,' &wiWt|כa"'ts'+bHު8SLė(^A r@%~6PS vzx !C_O( n?  xۄ¹sccc6aOHjKW!wKb79҆(L<%+D{ðm x@e)^ȩŌ8/*.f?Ŗ'bm"Xs-V:|.p4"q9m2񯨅܆exюrLc`ȱ}7Q-̨'H<&}E+!e0[庀0%my=lV9)wi#?3S l{b s­ $iHI9(Tg^6m,k5y{b\ ú6vZq( EFj,}9,͵,|W'alD7MgGAtWiKH[#I>y+B<4EZ@^[ 8\U{`O/RȱQ";X>Ȍl-qzޓ93qXwzI?Pb fTB _k٣Aa,u$tRR@l4RaC;[Lh94d]: =1^98/)F2h*!(+s׭TZ㐺<BMV~3NpCڅUSHUQTd['"jjk897IgʺF+9p\`&\O,@cяJv>h3*M'*uMBgx9F4#.PwIZܥ 4 HC2غ_C`4ʴuU\GȖ987U5>x2GbT_s;-;b+Da91nvr%EFy^Fm n}p.)#[; %3+Gj5k #9%T~= i6FbNkغ)/tUEu/=p |ٙUcu%%`SV ^LzFpWձ)F9s'?0Ir; dQaXEk_0f6Iw j_[]Me|Ψi}*c'֗֬ԙ%Ǔҥ"]Pw!@]n64i[=Ȉ=&CŭbEH`CVut\SчӜm$l7`9܏5KD~9E%;LHXuČz' qY5PxSLd?jwֺGxg&߻5U,'%{Gs TucLnsJ_:VK]x"KqɜsU*k x`z P3r ^:CT-?.!3%p?ԼD=:%8B I>(E:?1t1FtX<1<6 PĄmqO|vX ^},࠿̵bz]JGNd,E `CQQBi{hlA R~Txx<Emsp/PY.VC#ݖ:'Cw(S滳#RF;^.fvxⷘ1Y?gOHYꜤI~_$a{S&C}n*䕵ɘC^:?'p+|(²KOBgmuMʹ) vH$+"ț}D$`MNʀL[!K%R 5B$7*shl{1|E+$);G'mLbn4G\aޕ0C_| G#4}[iu^c:מ3>G7e`MJPHWyوf%k&f^**]-Պ2q jeT`ou 1NnXΛi7MK..cgrOA6&~O~FB٠R$_z YLGYtˢ n Jfy%cWRSqXhnd#6Mn⫸dHLmoxc`.4FQxwpzwkbGW^ 8cw sgi+7t}a  W+{ ~4J>pwt]~A7/tK)[U0|'Sk%'(k>a?ʗ #,[M "JnA%؍n8щB8&&D(NdX߽֐HB}63zLS$v&֋쯡;) 9طr\ciZ-qo9eS |%5y"Z#ĕ[r i ԰Ydr/&f3. -V?/[Z!|yͿr pO<9y^_a81o>;6mm!gC4&lA@ʜAXjCv gqq/'J$x `}LAPV˵\HJ?9A@؀FR3J iK,B1A²r C cZi Ly\ub^M7UWSO,މJ愈hlC5Cݢ3ăPC‰wpFj w83E;ˋ$̍% /!YL8o)~HL~I+rYѣz d&܉I_,`HAwI"4W,A v4_?v# |WTj53Mc?ӿ;Ci]ޚ6t( ^@ vLlWDk *Z3g>-Jm}u2傑DvLB(֞tak.} %Y&,R߈Qhnh\XC? )#g+. {*;Ыz5.ߎ dVk_ &B1VutCЦq2@gRU48H~T|+XLx*9"wMg'p,?ڈ--f1ǪLbD`Bj{KX`" w:P썙*mSL}#Ը;Ƶ79 "qYWђy1[$9@IgB.ͤpmohr,9vg0mޘ~GvG'l&m###l q?NHV:3)JsKNt4+Vxfdz54?XSŎe{TӴ(S4*fa7:Q>>3vUC4ʰ@ŅX۠4O9E+tSפ*ɩh/>q/N4V\ ~^vP0 LGLd | bP@aKKW[P<ᰜmݤ~vh$DVDS-XI]t^xѐrO>_+2jGBknmt|Tc|4O_qSW%OC/oeo`rbYߦn(*G=xTvVe,(eע'ވoOZ?"t El.|dd("v[l-fSZϐ7E'"q,R, d^s [`jhDǓnn մ uac+Mo=kFd!46s63& } 1"I&t_)(evT4:}\R5pк:9iY/Ȱu{.^Qz zD8A{B8Jo65 Fv;SzN:A)"r"&!g7Y%*bӨX6Bi!e*oHpG~+)n|U&`&MS>؍:`nOm)"9E*):cۅ,!z;ʷTpnb6f\Q |T?QAss]K+bF5[w09?37L#15ӎ6oǥL$KߚlW~r>}B#;{S֑p+&|\Xl!Z!sa7Dt1 ^\D\_uCmzgu5]/Yv[̠,Hc@V-fgB]ae<s}EfJ%:~vI7%y;Iy SegJ^|ӂɈ䘶,Dk C=:PlpB&p _EtQ9e[}l)4)[o Yhڇ.tΆt;F`/뤕\4-p%b.C'S*\`&ʣFdumc7,RbG &]1Y&W0k 7hP"TtA7+5g 1_fb!l2sYx/1힏t Ӗ#oA4E`TB{w Ǟ^A]Bc8rDoђRgrfDZTMqY'4-D xQWFD/6t=RT$x)uqAhoRo2z{F.~|Ҧ4${VG )QșkAσ\ .^!V$O82dIeb5_ǧ>:BHBk1UI"cVj깪yǟ|l[y`}ƲDBkZM땘CI5_[kTV «i M`!i"8UeDJ-A)NJ5`Ϧ@01 ʁ^vɯQfRbky̝TN/#JuJ572ȭn]B+Fʷ\}bUSk֏7,d4֚Dqd0ޯ'`:]MBwPNp?7쐳+T٦0۔iDhPX+eDHl)[__C;hVA,B"YP6׋]sحE> a6.k ǜiagvUF/"lE1/S컀\.[chC7awy(6J0:!GH{SυBcKzOl`61m,S>dWU tִLT ;m]4=95)E71StɌ/ϺѰr>-c_d`% pm"ʼnj4?ߥj9^.du'fPtG" Th5rKL!{B*ct;{.Gda޻O>ֺTݙBYs1Щ 4-\gae)%r4n1-Ѩvy)*:- X_KЦ :%RhZTylri?JނMy>S5djF @8DJ h,s[6'`f^5"* t"i@}159n1[4\cN]`:ī SbJT\M~(6:i?W[]>>xŶAGZ!.؃_>9Hcd>OXp]T?> +Bˌש>(oƪ>N4 6 +EhF  j\eM/zk=..> U P,*;:#夞p^WI(ݻ[~&Q2R-Ar9^{q!P_qzƐH;XB$]p 掊^;/ߏ/X+lL,}sR/GJ*dyьQF'tB8ˑm초@S8R6jʝC (B/aJsڍhr{U=N!(uFz(YH(לͥI 5;1&~QE86), nE'>x/A¦R@bS Uƕ5>"$JdHGkY7ÁC])!1U2*=UQfAxD4,=mPķW+Y5RI\viYz~ E$ܴem\nXc/ 꾥9 Q|"2Ѩ#V ӌW r|k3W_Ze%|V Euwa.{M/R:6 5<ݱr k}m'rT&hn-PIvIw"`$"L UWaƃ9y0LhvO{w6̮~\BSQB^fhg3om׵ApFI@$>$Y%K.c8F'ݧ*XsYca h1DA\D&)@ciïྪ.5+KzȒ}edfXBH`; }i~E ?Z\ϊty v*g>T1 A_ \#[/g:n^i=yt\I.Aok3V[pKʕ3u- &甅߾YIQ )qђSidn.x@_9-'jq/euI uP\1Lt꼄ɮ5q& l6<'ZXv0gO k-Hs8hVw$.qM~oɵ1 N~VxG D1S]Qh O9S~0:$4Nqj\w#'*j4BF~̫tY:+ocOEe{-GG1 OO~fp/]0DVh߶9q"kŽm@!&uMp\3.]i|Gbj>04IPYGm?o8g_‘r9@5ƪO8FuF00!u2Æ3ZPur_XP闎PzV[am$QI w|$JES{yVWb~aT/ǘ;C1j҃A;1Ăx<zwXw_惖bgL*onOm3\pT\'~Luw ƼedCurw!QQ"#ufP2^ªQXHw0z2Պ^܆} nF^Dr=6Qh4`)9Oŋ-l濸A `Wb,]`gNOۖΈRVS+ m 9q$^o9M i}4:T$&d۷R07>}CyS; qzCJr>ZU8=pQ:?pvLΝ箩KYWx|x#޵㑜lN}nffb` ;N%5|Mq{"ycFOclyL䔺\8Ơ<0,0%=0P:KxR]\`Ƅ6䴥IG{Y,:(ʼnҟpU RWՋv$@F8e:_}fD&.6MQP"mYSq 9d/M̖K"S ʧӺZ1ozܫBWf@ 9\}Cˡ˽{a|N14eeу`J 癤[{G_G pv"T3U%h?~1$xT==&ۋGҍ}I^jL?q8vz5 x:'%r&2<[m< "NSd3A;n>X,ݒZt?"/ ƿsmL*֋B156HJC瑨W8 i'7W ; M܋US5T=}Ԃ%|Ö5Hg1t+F嚤)]8Z{W*9%3L *c~9BXئ[@=6 dih ab)(khxҹ )X0l4{?mm"AnZ _ai=%Ζuسhr}A9Hf@n0}VjH&)QK9rr8ur/ْftyqhRpURήLb V'f8& K3۠f _UfOsjD8'{!ՇLfqwS=a.1^w;5Rn*Ԃ& |6C)ԋ9$w)z~jRI;Y3o\2٢E}r`ry2򨑆~%\8:͗T]׻9PaI[1z Tʌ[)QC2qW$N42T Uʾ=b,UWb?1fvQc=@qeD K ǚ]71_K}{8 {WWbLYMХu`W XtSMbN ck$\%rh%uqj 渚e"i+ΙȒk(`P d+ >_K#_HyIt/%.Oۙ*:,PZ{g^l=%w&(Jл b8bd8Ȝ4jgmv 0Hґ}G](K2ZϤRjRz݁~[(ЍESѷwexRb/><L6U< &u/at%Tw3[?5Ve7<(O:؟๊ l#bVW,hҵz~Q2{Pii E,`&8N|/lL0z2<l)~/y`rZ@hi^ߝ:)]tdv.-zy[4k ¢d,Br BZ6>Ӗa0|”DYNBKA{!tC?1{Hz1VZo.OF,Q3ݾ`yk{WtуGmCbܘ#_"Kg9wz3r'k t6@h0UT j́ )WF?Wp@'gB47WY*y*zi+^NH&#WP?* ^C/9uCE )6VVO8)k@P8R8{"L•U[kj;<zo! qV#02LZJ:Z;P%Z z:+Vzh"Zs83ɍʭ\>0aK?U JL/ (PYb*Xim)$Qݚ,t(b$XSM +1UH8"OM-_ =of&ivHƘ:sF`hw!, -jN(QbsFI mB0?0 l#y64DZpU4m{vʡ R51&”oNsNZdU > /8}'ܸ;xV`aA D/CJw|KU?.9Du@M戁cޟ([( 1JSo2V_pd"BFvyy7y`\?!("̄Q|x?^/MӰu3q׏6v0"٪l }VCm+ ;KbGhf뵈8oM ./+NSp Z3/H̗˦ZOh~ԃ7џ*"E/GpSF`F]Y7VqoN?Lg +00$TL$z}%B-7vj-xaΉI`1e{_l9+3W{dUoŸ{;5\4`Omq!. %T(`+5rk,O}ixfowh$`fҖo^Ӗnð`VȂy`w @Ƃ,tk gB4N|ID%&oiv80Kږb ˉ?߁2r~-MPϮ1{ ZK|aFiv)c%)/_Y91:C`uzSV`J}ƌ'&f\RI+ 0K$ B۱\j<ۼ-˿Y0=:7UUfr^v˂dB7y=ԣFՂvkx7ٕu :I*/G9V3i"QLC|{Fb+g<;^roƦ[72TE$ Wu7O.*_d@(Xd9ttW`o&+ig5a ?Ui O{),Ŷ벑U&';8ᶙfς'8f6 ġjm-Šؼ'@? G碟`0}^N7kJEaXdޟs;Fȗ5ҏ6^B7ĐVuc %:Ԃ{~VF0!@)v' fc:t/rQLx11Y3W)D?B g^r+$.Luq5v=+AkxcO$7Iȯ'DyٕZ -+.Lq~ r[^qπY7~B^ `v}~nTAn,| h q| rˉve}Eв0s4\9__رe_TǘkV+k6!?O3V\0y6jxl &*?bN#;'q)nb:\`6n (oBۺE֩:vv:&[{'C&IljGX@TK:w25}zifLRz|+9byf5f0 } eG4&J>oD\d2bs',0YHSiDZeV=ImlОB=TyTqB-V==8|)b|^ܿ-!?sc`7J~{%) +=9 ,3bݘ Tb{mGPCKL[7Ċ*wbJn^ }_;?.#-si&C&x_ڶ(g|v>O&cYՄW:Rf7\ .J '׃하KkWf4͡S׷ BT' h6sR-D聣7[,FeBIg,ִ m}ƱKjv&n#چYݖA?vu4ndOZ70%j=,`]LfyPPJݡaH6'ޖ$`#78+ѯn]% ?/Q{_UE;@O@Ub/Hv7)[길ՀĔ , A'Eu7lRMLn1Kje >ɩn՘2^6لLJ]Z$#\3wo s8b*[2q9EWUL6MLwM[vҌcFBdjB.GW6L# y1ѡpgI {ᝮ?͐v_][x 9~2?7Uc! ޣsλA/l[uxk8_dȢsiL"}5$9e%&=瞣C߁Qfg~e֪18e`XU; 96bcƃ}fVtgNX/lbY|2Ǻ_gDf5_*sGD"G5gnҚ%H_ Hd]i9OSS':, H> 2@̏C*M|ˋ&7ٱ"uX1LI^GF9-\7jA,|wY۔m97fhSXOAwxmA}A`WY{ө^c t%WD7?𣛝$~w<=65׶3z+I6{В_z&"cc#}5Qˀ[DE B Q+75R. :-7iVW7Ʈ}[ͫ>zr(Soq1ĥwL\zЍgK+fF >r]+xHd7RPxlE: =U@#L8 n˻Z5Qi' &0I>i, ÜY9tdԞVЎw6P)n\NZVĐ j{X 5j2eKmKcSrpNdZGQY#FߖP@ +(%?ə;[;UT/wI|i'/PDs»G[ s PqMLn1Qgi5A- o}FvGE3@L JBrרЈUxzAN[y%ҡ.1qk %"9^Ēp$?e= iWO1HFY,^Ͻhjȸ.Zej %zoCpQS5j>oF0\B%` bԱʍn Gdt@WYtRcF&:Ȃ})V]I_fۀ'(-z+8BG>Lʣxdys,9 7J[O5RA0ˠ ɜ}HZ`!.Jk Я jGh+}n(s,#c &ۃ?Q qnj Cl^w -~1=fA %d.c@̠~"ǚHLKh^MўPo~54EQ=Z:%3x5D\z W >E$“*#Dd; Ѯ%5eNF55UY* c{ ;fz/k97 `BX#e/$2WmG"\vyNDb;;Z_d"s)V-"&4cS])=.1Wmc ʆ+Kt:RuKu]WЅSt̥aȓLhշ4J+l|EPLʍp^)&=6(y|+a <ᐯ[Ԣ09ɗD4Mz9V]"_"9:5@W᭚4mB&%VWJ_s'c:a=jc;y~hHH A+`јoa϶\N֮}%p\qwRC y(,0%g;+P] o$IDjP2D?ݗsӺE"ډ cl Tmo$孃Iv*U⏮x8. KTR ŬK Jk&otomj LvEM]ZA;'#@}K17Q^8@0F3qv={%G`sYb|/V`B"p2)jYqFzC8rdJcW{2 1U/b cWk5/JNs/:~QwҋcJm!$1p0K^rPz6evO{-&ak{!ln}(ccWٯԥubBS`C`I))ސdf#1xZC^ .6sZbfcIF ʤSPQJUO{c"k$H^慆?i+? vbvޘKekT]dUZ)!U} t 8B?.!YmDxfDim|>g*5ęYN)| &tsW:FdVE-ݴVK,_Q5CGln"ApnNI@6W&VڽhzJAN V6*}@xz+j7?+*Ma(^E/L掊C5$ɴh6W5nMEͩ2St8+VꞘ>HP 4è^_D ?k롛,f9}{VЅU r8'<a;Bf37+RF8Qj -{mijyU溶KjYOGpYıTjg&ÚP-bq(+CP=.yMTuUYd b΃$_R0VW8]Ԅr-ɱTW70`froܟ.M)"2-kzR-):BSyuJ1xQDabˉn*W}4-HxS^bR+(H9\6y;ϨSp-Tȡ>vL_ef{BfOF3~jVK3#9ɜD `6?jȞl8aՕ5F;x;00k=i/gǻlCn_ZTn?C$zЌΐo}0֔8UE^2s"C ^ohnͩPm VT{q7 62YuV&0r3U{v1 ܣ^&ty1bwKD)NERahl)~{|¦?.9DZ e HАv/ԥNgW;?Cط٢!սW<>BQiƒo12nƥJv> `&=~WE-8ɠl6j6Hqd+/”_O4m6Ǣ+#?EA-k>/, T i-Lٯj䭈%M6J4ك}?ޕ_Ei4Y섢x˶DVI&E0NN䝄g[!|[ֆshug5DN& TMdJQ?Ho;;JʀƞpiErM-ܶ P;떡6l,d ]%Y<k߫TzY,9tO?[9=n P?6j4wjG/!>gP(BQ`܂tD;ukzuxfӣ>&ZI˛,$vkvE964&ugYZ   ;Y],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208W*/C# 4,Wt} [nsr=mdi҆qi QzNn I$ĕ+/yLDHS]1Iv O9eYAhi,hu$&C~` 詖7 n0[F ˎp-%JR{8ɼ3T9=O8`kȤ,RlH7tk]Zϔj2V|C~3._=p*R݇)pzǡbf}9IZf{(@?J)B ۽$,0Gy8XK+`>N0_,]*2M7iX,St=8d%B Ҙkcn~ &KbH>}eP L]%ؽ-ydiyLw9RIJ*4zAs99EaRU/c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8HЁ~RXԦ'hhӮ7Eį6 0y};v6aqR,B~XPE~ KKy%w߾/_*x|:%O{/jWTAxĬ1࠴יɮpj~h2suG1J~&/1SL RQ:d5OI j5ɩ"_>so.dN2[f| ̀ H Ma3 8q£#9R٬S縢h ]>A1&p=A"vL'IʃtMЛV\QB3 `:ϢɎ &ctz_ sv`[ +pG#Uw4)AnmbNF;|9gYZb&/A# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! c]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c9OHeVcA]K#ɝ {byy#rua>0P:к]d} nXY\g'kE69u5>ibG>d%Yʼn`~P¯䇤\HK*&.H4W<?1HZ#RK-3z ьC 3 BxhA uG޼PY Pq# ن$i4^ް|-GDU`2.pÚko"S}Ρ3{ {uA/ 'ث*^_UG-ankz l>Ĥe,z2d| Ǚt* {`i)YU9zǛ88z|Űٽ٫z,^&o"mym6.++j^QÇmG @ ;iZمI-r%k+v0FeIMd[ `ŘlJXͼȁ1o(h#FX3 d-RN:ΓO",_'/ `ZEE7 _F5^=1W4<"'7BP:Jd^Eqº^Rkq-O21 i$7sd[c0)/&, ܧ7;SiK_!VسL45@Pg0dn5 Hk`f9{ڰ+Gੵ]BvvXXt#|͒xKd<S\;#JE{GFlRvs#SO ʍftag9Cq{N);p$wčCG;9Qchc 3mT4gP9T}̫vD'RA,f[]_UBD w(xXoA//1z"C kW1_qI(b/]V0Q&U MR1g2'm餽KM.pɲ?h&+,Oy,7lb pnz @֝*.W=mQ= _)Mr&[ӝx'RJnp%^Zn ]G%׎c6'NEeCA GE#r dq fu]4bH :J̑maƕW`񰃬O/9:҂ZM[$2(^LwQ kc4OE Qhv)˥2~oL`;t?pX3̯oUmW1 v,P;\ưl 6!X 5MoG<sk g|Li`{^0Tm%B̯MEÓO p$/bn.ڥĒSH1j{%3}Ywx3qx{8O"^];-[LR1c++^B NTcp~"< qkV4)&[u<3ۗ?SXd\DFWhCt9NC t@;٠n>QJMpf险GeQD4ЙXˑ;K2m`@:o/`w@ٛ*y^|3ia5C1$I?  !)TȱREUQpH[K!:tZ41jgr~F4x? ZI± R@L3 @,FH,RMlUK6^Ɯs68Ol 2ݒ2Ia yq%(c6t3YT<k&1Jv瞪'sT5u\:p+ s{&4!s #{A9 ̘ ͺ6# ZE"OIAz *aI)m賍^:#'QRcnx{9A.v?1i6V~fy :$ڭb2+!;w,%Zex%|V [8aߠ9n"H׺' "ƶVRDs1Ff$4^]_Ao=VΦVng%nFw8Tc̚O. 9)4NSCP<*:Bx 5}H k4 ==}g r>P rʠ5wZg t@'u:M$%ۅ~mwMX xwu|daIV^!Ry[:@sh.0pco;XȚ8E& gBI8۳sf^w-5$LdvLpH*%o_\vwY;{@ 56Y$(u|Κ4d3vW(SZVQ c&~>z [{ָ)e:T%dv]`reP_^oR$ #1FRfaq`)YP=5_.p'QDou xBkVoc҂S:4z+_u{ X'ݽU&rhӔ57:RcY#V9I0&`%{d)H|fl&9n9u}Lu_\ԺXWU,.^S{F@Dm[ gx_hPZ`XVNt[C,᣼ok&C?KlAT%`sxbє}2 |n0ٛ8A "DӢ |4%N7RGcA$uO FʺMdl/mE&<]FYJ \ELy TصR 2:qdzq=u+&t+MPL N~5] G(%G]/03l\oK`%qT7A-p H gv5 HM&M ť5(XQ= ;V S K.!~壺.A''ole~T*U!8xu35/v ty!#(OOg.%>( HgYZqj'*Քg{+y x"jIsd1͞YNw8"Dn:$Blʴ(m hd''n^Os=];|hNM߄G/8懯UcX;tKyCu f<.Rr`j%A;E/ \[IM ׺SOKV J6 9($F+,702? cش :S&v66›b␮MPK;8Vow]^~0ڗVFbW뚑#Gm`*$6Gצ+VTw&RYOvYz㠏ߦa0;CG}F":n/J474m5؍eW غ[@)&j~ uu@߾A}F*w"%4`- ?z?t֛iYTֱa*[*ιl[oTҕ.j`4'_'J-l}m|Yll/}#djD+0).z  QUWl̘O5Tk3c8 tJ&`]v6z_!WQ-췱5MY4W!i,y/| 91^B A5 L:Z~ p4n3 q';|(vZDf,OS P)]tC}x?<kQnҰ.8M&6ݙf5>>^) gN7 m/OEpH(,B3( {e2_60 8u灼q逄h ײfOPԎ.Q\lu`AMVhoUY*Wwc$܌;>C9oG虪0FuC=mAp#ƥ7E?U~c,H|mck[2Wao z 8'1\7UV 'ܱ,͠]@񼫮v,S;ts A]&92^ʣlJ(zqמ"8nYp*Fc'qqҚ:s;": ߋ#(p/3fȓݕ!];pp =?Ĭr7^L1n.#'|G?_zg~ۇTQ'> sub.ZY>8A2G7<IZg=9&lQp2s(@,SĠo ^$pZsۙu4 ()EFkte〞N^w$OFl40w@ I5/k<%z[QJiK; @WK=}#ʥ%U|JEhPia̠\B M\O;H OF!fN_/ J$)#EEifc1Jn vbe s&hk0[A_ AR#ݧL045łOkQP;A~'e+>Tmyo4/g"!WT"5՘ŗ:3/H h`YUPm@R(Uk!rksO`@`|n~oA:.8J%w5tAnᔊ6nlskxm(  _Zk/L8oOLHp5!2m8_!11Un'%CاzU&&f-8WdD,/4+L8)njd/PPa><q -7**1l( Ѝ5ҮSVhTk/?pыKL!)KPWgoוny|XFėt'u1.41 35m3Q[ mXaa &Khk>//G@ Qd_FXc\d!ٖBDAފW|=&=4, \$S=L~cyr+}ì\]o.+r5JLo1]SYyֺ;TjiM~$ & Vk1"mfn u/%O}!I&$ѻ2ՃTZJ-Ŷ{B9=8M&QTN$:##-"6<qʑDVRο *y։^e 4%'3˦[#Ěv8цAЊIqVZAIPOf>иvL*eOkbs}4cUwU:ϔMZ4 "ܹeqFG c7wMSqR`(1 B LFjp|ģ,@'PTsBrv@ܮraV$PqaO. {"A ngQbD h70Ujz,5֕>a߃a"[KO'z÷tj&@2L ]Y/}$)2odb'*5E}ŢcsPǚ8VKT(Ѭ!S" *gYZ  dc0/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! 8]·Iq n[:|&[z'^} *Uk=ǒd"n|{&,/#ڳ hMńZq_/-`"Qt{dqۓ~l@֯xiB#t%'%mjuzJ)r5~-QyψJ@n!b6{ "?j8UCvݛʩVt C>'o"kCt}!W*{1q_ԭE .Ra-ϟom=.iY&/ A@܆V| +-Ҷz/;paZM`)F!x@|ɣ$ [?9,(Fm.$q}QA=xmk .gYZX-/=# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e[]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AI Pp!=K^dbz{QV(ЪXbǠ[oV˃rc3u7ORTUG{}9(1@'i[vQb#PRb8g}D01M0TJC V F-CQx^E_zAVXѩ/],vܬf!U0p&%4C_PeoZK}AysZM84 @D0j>Xx};lMCʞ/d7c$v'epF7+sʉ$Ω?fxSkw'f@*9Shh+]vp]?-?Xpr*Yi jv-Kw='>P֒2+҆qV3ehU$E)->aJ.Ӄ`v9:E ÇD(%&qtJʅHffph~&PLPJ VG,{B̴ʵoVT uzbe.g*quz dCNۤf"TѬ ݕll M"Ӭwx8RHKVBpBˮEQ;4u m)m0]oU-),; ϙ*M|L>h~}Ps&[_9pvb( CqyQ2Sr8oB)6nusJc0?!a`ٿ)ā =pKmL9}އox)x*MȤ(DGBY | UJAz*7>׎8J׵oZQW[pXG\QAM0B=~v9םoM7"l0fK2Tor,GmȮX?¶)’n3t_Xd/Ap&'sBzκ':v8upCbVS/3ʯ, htHtdXQGwrG/dUCu&mT/ӻgns81PĮv'_jv6t7&^~?*z z]W>>Dc+/S'_CKR1JOB~[).9#\x$vaqKp]X#%a{6G{# D3Zk7=i0p)^&0y9Vb7@o~8essѺ,x+&`>~kPs+֒ vucx(Ky7EqDdu*buesl%dBИD4`j5ۊhꐨĄM*,`hRLBRhǫ|yOW# τ1kRzo./)G , V@& |&,ߙV,6o֪| ܎mu1l~@39sfMo Th~d)2oWor z"4~QlyRT[~]w:#qH$ 6񿂬&,~ˀ({s7u io'Ztt$1_n@(* ٿ*E| ]Qѳ╗i M-ZZQsۦ7eKDĈ  }I1 R*; 񯔑KIi+;ȧ#6z\X4_qL3_ Í3]n%B9sUi"|u>-"~60azlW9i~)"?.ND&Дܗ!Fr\^E`)L]feg*#=@fKU|9K"DYvu@v5+>o/ƿ݁Ѵn5y#'54%:0\¿q3QQ)x1xKw(K-Z蔤Sԁ3Eh('߇Q/pbܢ:3휗|9oC) š 3gsg8-;߬g,9eUyTTMbOi3 5a_ɬѐw3R騻W,gs *!~@Wgs}Hթad61=M$SDp:.6rK$a{gWL^+ q^ ۹GV-Ml38ރ\fd2H`-$ Nȭ=Jt'[cAYt#߅M W3}3GD??v뎥Rr ǟZf.4ӭ4Gw0ٱƔdҬ~ ō>zÚ3@H3mY ) IENu$(ښ/Oe1= LO0:0yi3-#w:]OAz5 C@:ŽՋ"N"c}Kݢ5y\Qb Q$2>˒xdKo-q-_,oTqA?54!Ĝ`` uwhOjZJZi.VE"s (`*˔P y`+qɼbq2,%Vώβad$*՜ukkTAl8qӛrC(LhOI5Wɖ%DWWˇ- Y.?bΜ\4ִ_tHO]Iƣ*zgվnG"g}_u 7/<@?N TXc}CrH6McJ#qMcn"_B'd\a<Y*@hE 1m\[8 rwW-젲Hdo` ~93Vh8 wCa/%oB}' ;ŨhRJljB7 &x?G"e ݁}[3],CmumŝkMtf {U˝#h݃g%#'6x7).l>0…#2@df<[3^~Vo8f0[?B2Yy :shg?| Ӝ5[kZ17CXt/!+ `Q+aY˂lwtE}p u>˨"I] }tQec!wx1ET_Q1ᕮ(X$"ߖ0L}dbt_EXXRj=ģC.1xnׇ15`X. u&ӲJE,5FaV{%ϏßLK1r^ڞ#2N%/?` "60.]/sw9td 4bvU~"aī|o*~vmO0[$@\J]Άxʆ5.f-9 rq8Hȿ*V9* JahRKd1 bnP.2ݱZ$&lUON$,0E%&'W\Wx&$b'5X'80"s6d8&-5 % dbD%8E~zo^Y" +s UF/9|:@*ĿTFױ' S9׉,wfUBf {{GN.7 Y0J`6O i»DKHׇ~'oa6t~\7P YKi 58e1Dl҉m8?Cɝ+oNݜCp}*֕I$fr Y+(o<@^"pbۥ،P` >ro)? Fp_8pdkrroAD/c5Ez^Xu&ѷII:Cr q GIOƺlcUPbmm.3 enxϦPrf`e8PJ.7Y۬ح 1O,6m3qw{, 1n>uaMzea!3L!m!Q\&;[Oŗ_#Y9i=,_[g _^[ts3nMc>7ˤ]ג΋rq~j.,~F9 L/bjd?EiJ` Ǚ4H*.jԵ$3JjU$=q`7ەz843P6'BHCxtDe 6õ ('NƔ0QljKGNs_'o <J6/ӜɇEI5Vv&H'y/4 ^%#Va1  ]x`0YWZ%-/ވ:Q&'vx?xoMwjtwVj2]W_"bahY*dbR\NxI3<`.s9Z.S-V۟fU)8(yV#aqRHgԪ학 'VuRb6׆t*g0if~Y#ػ1X MSO @kWdKz<&|WU ?jyN]ZKv 5r6q&QbNmdN<1es逈=ux6Aȶ3;&`glN {#{ d4_h.`{gFgFy 0h#l-(% Yc#YCwBwxcp S b2by^]FWb> .P'VdXk[3V19aUHUHL ЕQ IW,TL7KeTuo܍&}e7lbSF7 p~#~d|<~ UΒ .E$X*4며E: #:8=n8_-t\|v |M%q^_!q{i ^\ydpf3ہaffӶLG~OSPĪ8?m<|f>҂D .e~/2@>Huxط9^Hkˏh^۰rL8cH ǏIۊ7Bޔ} oA<E- MbW<F8y2?jiUz5)I#PAӫ%у &g3$X|N:r`fl]a6ڌ i2 3݋TOgYZ6wWvVGvIQ)7[ 3Ƀ`:ZpR%4RiK*x#91rD];3, eC_@4^niN0Uc,yƪ dBIB1%D«-X PU(RֱOr=v]BV=]$Vet1]x0>Ғ  qU ~t5=eevnAfcM:A4;Zn#RRP]:cstYp|pDgÿa4iHnՏXKqB߄lȭ8""FFKZAN,y'H,pԣF@PZ,,<8;167=3T%6!MO"Qou KнV1̅ nz#/vI "Еs@iN1_ wfM0PVBq;iҌӱcJ1I32qE!ҋX+,.QAD ԅ޶cghcz@CJK]mL H|W #0˟c:7Icw|dn,˯+Fe(iAO6^^iffU2ۋVntQ+6ڣ"~4-ǧ_5@낢U Ny<G0Xg@3y)@2%;*LyygOz6f/.d= ;F!?`@7D6/W_c{dxt~!q!)NZUKO+$ 79,jnͦ7V9nB!s#ɱ>#c߲ˁ6^Ʋ) 2Rκ/poKW`=8(=P֢߽'Y_W;7;彴ru4OUC=fFX8?;ꖪZ{>7]R(pTii#xVM ЈŚsMGR^2ߓY[UE\[TUԿY{:;̀i~Ԧ[7dǶ1w:-iLHq7' %9&`-QR /؅`?cՀbͨ?>M ҖEk\la˹p p&2>ܸ3dq,.Wp#ꄵhy; =;-Wbǧe2^ bpOjyݟDZebvi!!J8u4K~@D)nܭh}ysCsa3c@4~7 / ߒ^ބx'hrtcz}!IuO.W>AZ5|sqOP=mT@-Bjz%"t;ΰf֭G7`̛Dv3,Rs5UY2bFT5ݿ}:Q敊\@muEJ4 ~CCZ3E?5.~u>炗`DǍ qC<nu$Vv N?t>7Df<.^uom`u-@Sa) yjL YT3iC5Ȣhwh@M_xT,V *SJP̈́ky#˻YLɇ`TW [A~Ȑ)]"ǒ`|ޯ(7snj- >ЃW%tL G'brB-7$QqĥOYCuc>%CWH3$^304}IY(g(4&㐩S%"ǏZtaW#EB* v:7̤umTtSL#m7/weO: {,5Dl~٩" xK 1gdI/Xo } /s ѐ#ZcŋnY򨃔Z'[]n? KUm}gb b NEQnkJK Wx$rѹ]%ݍU fŨ'! @AEUD+>'2OωK/Ū+CLq:!i\7^C_`Γ6tvfY+G (f6{oz'C/͹9&B7|tг'S *;E25]w=ipZX1C@aY$Ƚ*1?Tg5G3u_̬C5G/I_x3!ǎĖ,j "ln(a6ݒ['ƤbJr4Y;Ln1qĨF9!b xo flĭWu Z/r| }V%}Aa tÀmV$A 0lJ&Zؐr71ys]PctYcG:Gx-HT}C!ݱqd՜F-0tzAw/d Epޱ)쿊:,lh>jܼ7U^^I䧽jDlŪ!VL֬"a@_P(X-ձ@_Ip{?vw}2+0ѽ:BNwiiD6vWW7:Oo6}C.4ZGL~޴ Fn!F]|4dNzlcqcFj}5M3u3qKwN0kؐ=ŚYnQfI\td|%#<7J^ Q_P*|Z;im{^ȝf!R'>4P͡2g(M]/ Md¥?BE7ThU +2c_"h=Fcp_xo#Э=u|;>cTâ7 Q c*+SA6EP76FE#žF^u6ti{qqS"[seaai 9ȝq̽ryJv;~5NQߠ!:bORYz#~87>X\-jIj| ]ow) d<չ# Mn u`7vXxm]˒(Ba9P+zg>F ^ͩYt*1f4;{rO72~XԞSg\2Vҁoұ[/#.E!U\=gr{\h&&CwF'$"qB?& gD @9"b;C;35"@QR"M|xs E^KcBH!;G]uq+-} )o԰l xr0; o[MpIɰĶYXD* !bJ체 Yǒ7,_l:F9ë[a=6Ip5[=\+١2$t^a#is,HMݜ|AXb8>^.B`CNV.5k5|R%vg !Q#{9wYN5{ 0f(ʐ͟=(hĵ\JID}@:klC2 S(;oHڋpCY`WCMDo1 ?,t*'j#i[͢p-o%rNE1o;., )~sƨD+F7%ns1c9p;lR D:r oK|(LKoIx!oRpL] gY|%w[6Kvv{p 0ց=ġc#ƨGlpD9YE),l\n7m'(nSOU#*.N&栶zMa ;C#rG(I]u"m4kHkq¡pEuTۯ/n:+u/uRR#/_ѼGy,D\S|gdUe/g+5 ιi6,Q`w"ʺiB:+wML/2`j_߁uœm CЉiVi5 l/,S2'tCNfً;Ctⅾh 'uO췗 K -+Wڇ(Pr(Ikl1ע\P;/Zm_z%0$a"Pz>?1[cԲV {`A!Cu!è2Pq"l9aGFKKiݻBΓ6L-Z022̾@!;Bd(k)U6L6 3Hh M7JVKt.).D2f'-$f >v_,7 R:cYֳqヽ'}#ܧ"./Cu[ɌVXigH*1R;|5O~MO"Қ*HP%wGƳv9OX:m11I@ti{brS0ZtML|[!|\L)|0@aQeQ#Wm=khOyn$li?,tbʡ;0(aFR>^^v07{&3I9 bBvOg[ac=ԿxPKTǰ;0O*lixSR_z.1sNˉ`G&,^+5CSDn GBnQMPeqCP}HBFT4IHFH`э~+H7{onFI[K<OV=.0zUh]!zP_(L/WduV7N6-E Cn ֹ6:b;I[N-3e*@N_tH"P.zMzqri”.<}/ASx@é.fm&JZ?n :~X{:cdu֋>;.[GS9Z&p ;2 'uX ժHqd0n,5܍cߖ\qꋏUЗGP`C 'j?n_a# qXhDMe3jXVE~z%?PZ!@l67 2 pWn?+92Լ-GyKYN"xζyX !Ue0tFhXjf,XwBV2zBgyCM[,6ZY5DiU#b}=2 )c?"J@5"$-,Ŷ ! r19#Ƈ`qJA4iq&"j ΖB nK+M7#|}OO=2$=AAS\JnxaFSNc6"`f)g) lIԷǙO[#z$D)2j˓|IS'; XwKhiAmz4Mou|V ֣ FԡLʳw&[Bz'k\F@ 0GDZ$D\1GXN}86 mPo6.˥`>[P]ܙH)wYg/!x29lKc'~:-[K` pw2R- wWB6!-Z׼X 1jX$tJ:ʠo08_SQGó8lyL_ ]0we,85^ϣs'إD1 UU@Qcͼ0z8 ,Nd\:ЪrėZcWp oO]{_5);ۦ2uN2CF;$9n*`[)M.BѠݱM*wYNj'U-=nK}/3ZRLov{g0TxoQ3$ x~ÃFPIOnp,؋_G&bs|"@ƾ(!28Pk,{2å!? hkO,ʦ>I1T٪=)Ilp`C{RF.ȹqc}ՠLtm>Z9r5I㽝MՅȧS:羺 Z1y./WOz|¸A{ An$]Ǒ dn @ŹkrwD PVj3I躲do:r0Elf <+_Kѡ׼Y_ 0u7c`#LF],ڲQ\]de)?tfH[ ϧ+\R@REeLf/OL%LD6yAI= }B&lF=?6i ⊯H> HP2^V9y֔Whwqhw V=zcV!"Ӗfeh&ӬxOƾñgYZ z?z9 /7# =C)#v/FKbB;꾤a-CiU.s#1/aDfûmxADDhU8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214>6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! <]Άxʆ5.f-9 rq8H[J['bAHv܏7c/X<'z) ru D)q`/z6c鱻9 ?Ԑ'jBO7>tĨdtvĠ !wд)16vdg,%ZY}C(Oʂ\Aez"g+Sؾ$z.- K#^M\z|*Haĉs#:tezjnqnD~FId)ZfKC9CחfVmu됿a=R\XHDC `eQg%)`nزl"7_`]L@I$S}^; N U)ڪoڍP+P1g%#E25r/%+KOOF~rjN**ͅ WGl-PR>LYʍXqP!qauF8+g!tgWۺݚ)|sC7{N8VY(v٠許ѯu1O);R4VΛŊrf=DM]@iWȮqŖ*bGP&IxUCV?762*~WI['Zgm (ųVok??9RZjy][<:p/˝ɞ#R,5/qdށw W.$8mWLaurwؓ$*NP1!"VjgYZq5 /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'m]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwNbС#AS@80$XC%]A"g\^C |ٞ/S Otl7a^zLܴ5&6?Kear?7  {Y'u0"qϵj&R |eUd'o7pIfO:Xqٳ:,%L [ca[{qé\] u%nhXRLԑN\39ٝe %6Uc䒘16hp~)4ZGMOauexu|<§|{@gwjA !R:pPQ6et, *qyEfhYEԄqS mp$ t9ㄫ#CADJ3wiՒf7\,u>p@DWP dGM*f0#bE}3p/Vr-fVE6 ?=:"ݢE{pS{<.7uIHTurmhdME7Y)e&s"F2&>ZVsdqpDeQBdO4,@yϙ?C_ w3er(ƫRCt G^wV>*ρnYeq#,. Z_I'&pyTֳ=dh}ܑ~3ʔ!9{Mrqw&~aNLY櫑!dCu4UK_(i^!!;[+lG'jDVS^at{<1m3 ou˭m2˝E: c~.P59r&{-!ًίHgϻ irmU D{ ֻ7 -@=\pG(IB|r7d^l!%Gyr.~Abm1PԋyE& @\OfLrPBaK4۰~;+\qK|9,QS+~d؅("C26gF;/ B&Z s~eALfo^60R>K_zwrdws\A_P H0MM} Thj̴TkNSbCu2 MńL!TOwz[8>t71 8*2gU4aG*r_@F`3yة4 ۫FiCSc)6O6r(1di9_ ݑoC~BˬKbAտ#Xeciu`z {1|PnڌHyY -TJEC*@fb;WW9&l͝NaV4L !c g]9;EnP>̼y}d(㭀}p['ל1ԍ>7KiUZ>s'`Lbe$v#rLy8sh,#ַHD͑Oumat(0R6 ]Gߘ ˤvEIseaĖ˂Xe+A 1hҋ;L?yԎl4n(y(%x= FYBbg_I ̽/?[t޸n Vt?;굇Ʌ~$Zo_YY1yɁX4Yڼ2~$tHNlTN͚+|fu'3Xy0EfÄԎk߸q U"[b4U4AfEy5٠S̠fИaIڽ-_@dЗ_A^\B'QmF (C/ Q5 &EȻ%c,+{e?ڞ IqԀn޻g'ؕlй<~ ݞK`ۃSТ`}i{]23H-/f_8ȷa"#ȢK +q76V) kU.2"E^qab6p._a<Au \iOCbc'a^TWX,vڥUxQMz}(j4N-Q;9r 6Tc.N 9Pk)TzVů^4|,Dj&Dgſ.&Nj5E`ghu7G٘Q4,cn~ϠGekK3h,d"Q03y() ·d=Lӿo=#Q}>/]k\,Y/\ظ%6)Hٶs-a:T֬|?ŻUKr0!=FLVTl Sa uu&"ĝ kfvkֈSJ_b%aQO@ ?F` ĝva[暲ClkU (gn7.t0 `׽|Vt󷽄zzFG alƵqS^lf5RK`7MM6p/~x$QM÷ I"_CgtXPcY Nׅ6< 4c[XD3{` K`w6qDy|q.AT̸e8 gª+H)\ԊHNޯM5Ayի00^ddy*-&ukcЄ~R+ FJM5iH#MS.fJSmc}Èd'ؔeρ $iOZ/|fOQ1W0&ܬǜ2ۇ + 7FxA@ sRg6a=[O_lQV+jto鹒7k =赈1M{F,?iȟ@!ox5 ?d\xY9?'#y3rAhP!Ň[~#&hV(Tʹr?Hm5 a2z#XYJo#<|A0z$!tUF!)R%/9_dL1fv`*,:njHJ %-Q2vcΛ06}pR~YNͦ:qa8r0[uۏ Fgwj k"d6/>hڿ-ǭQr[k fh}v:Ĭ%m nl8W 24S-=a *V6.ހŃ`bsYsedsŭP%z*<\Y肦'M9=6yd(e:"T:Q͠o{u9U JnmYk=[1a {BF${% 0huq\l |:d{ᕓ`FvC(݌K~&%UfSwxIp4+kFkaiTӘBrk!X_T0SY<Y%k02V^Ӈ%%K;SPEUTV­*re; I K[#{0JэOowi0  7؁A3QQҬLMn~RoHn[WmH%l s"eat[;d˹#L*Iͱc^`S:xuʢ"+ދ|J]>IBN?T%fKn;q!BU6EQ('e%~o谎W˒ps8*(?vF:p8фiC޵obv!<{CX1U%Zy{pvFs17M~hW)nL'3!=?deI}*`~Tp^pK2)"zk& :,xTGDx$ ;8#t OgDTE)Z#&&*ቘ%&" 珮#+=RXD:W|+cQA]ypl3AawlJKvdr9gWYȺo5Term#EA&Z.-<+%Ճ&DZDj\ˎ>1ڱ#>~0V$Ď g;d&}k_ơT#ҺvGt:Pnf.I.\f- C[ sZ+l+@W1;zu 1SZ9*EƄ53 NseGk-2Z)Kd*B]2oK}Wgf7Zɾƞ^,Jo,'<_pKGГ|#P@;N+wdڶ$Q#/8nIDCWJ3ǭ?{_ V~ [ +tmQ1X"sOW4` fPP2y{ڏ$tDmPFX'}FN*3e[;60t6zZ*7d̞b+ /Ϣс>گOKs#jT#b$nyϑu㨫u2q?G/ozzaqR|*U#UTI=4 F9ND%!ICψ ŵy7۽.].r؎Ҫ .VAt3) O`P bE5+)meYAEBB)\s[SqQ:1ĦK5޵1Q@48YFw$53 c jĪFgE hB랭Lri3c!w > Fղ)Mghrszj?)( )&fRۚᕀ; 6JYѯH^t.)QeA4ߢ##گ)˗C?Xq 1 gfCU= &p S^8/U!?GT.=kdx͝j#x=z>0[[dg6\<M`<ª=r\6πݷL J8#s+7&> cJ3{c %ygb\~"w#{eLlfb6duU58a  N96 GҢ)oaZgjG֏]f%bAۦ$]I:uKo_+<-312dIwo#6" J[y;$(]OPg|9 QDF hEmZ! (o:vk#v }9 t]vwqkƩ@r8K^zѥ4<@H ?hpZ5)fq@ɫ$u ڷHkA. X. .: N/s+G JL1* D8n=W)<>Clҧ 4>[Xٮ7k-g k=tJ{_|-p,ieS<66wHfRM}=@ZoH}s4 83ʛqӖ3\W+2YrW5t[:4)D̺2;+'{C{m׀׀rW5A^r-E] sxkcx >Y[bZSbrX`>i9EK M{u=(6)~^sZjO/oۨp6f/fF L,\&K#$ڨ\}kW {($ȏ^FӥH7fQL堩=qS32nS` fV隺ZdԾUPC R-')r&(nۻ,Ư⼴C~OIh3/xi0g=-;iF`:eLY$0/Om]M8\ *<.B`u} 8An_$5n]?QvV5j09d0E+>/?”<Q;FodK=l&6}wV80=NAMg^`7 $ ^r;cFjD[|[{+9:]5YgJXc*UyyQf .?`ltpиֆ!ph"]=#B eW *39޹{f CN4j\'*'`.8ɢ(N eˀ9͈>6`IBG:}sѽ+d:!k !뺠&9BJxz5.ρR;攺r6 VYT5lq,e7&i AIgZػ_2<`o^=wp>Xc,J.bf[كEq&Re>.nZ EeyDաR1F5Kh48ǯk5(KF9c[,J:++hC~E)9h= H~xR0e t>6 \H#{. ]Rro{%1mW.+i whZ<6pi%e8FXu|T?< +M)>5Z|h4GiO@ h.qBmexW)=|Ȅ»s,Kl4PŃv7w":Bc[@؇d +~f`(鿏fMaP6 ?՗ʋ6(|d/8D殨~>GW]+rA[tBOچytӇg;aGrlo$^i ORRL>lZc `QjYԠM!pլ׳K  n뵸FZpۍI9]<>jI$UKޓS|oI؏j8揉`thu|[5uZ)]IxP$+c1uF4B}&ͩs=j{y2_%fR45kYUakD_3TX?C @'N e7C*> कv6 " dv+ӪT?ܙ[6qNr؈GEH0҃='t6\ʍ!Ks8(Qm0Y$3jӁUazj*oYUbVp,1c|aͼM&T؉OJHJ=ϝJ\7ƤGTED^& o?J|9O2m{v =ڋr&סolCM~ zS] É#x1mݖ -.> áX%$iz;7hq9d-™Q!>f^ͯE'xX@aq֟ CU?c O6"2@PgÚ=݇[j+;gi%`'OiCB8n};7eIo0镻yH 1HG )@rggYk2l52~i#ؾ$U>΂ 0 Y_c4pNNtGn@cYbWRL5tLJ$2I#78lwsz[ġ{hE b;|x,%OZ4r" +͢H=>GFՈ2q$6*dHTN:7P=f Oj}yg]i|DL4- E2 paazʥ$ϾȯlX`tK8HMSR|&Bhz#r~h'O/BfA-%B߶B"=p_Q,@/l8;P}۴Kg.l66}WX&GfwpܳI,12B B!#ʿ.^ ˦loT[](qj XZƷXI=67ړH}rV[0i.bPT@V֥5F"ˡV%EH8aO7Fy:O>0X Mm̌t,ߪa$}cjϷڃ0![ahܥ(/%W s 3-Ky OfXςi!X, FܥO 1/fL?xNBq*74?Oa`[hwTԕוyAO1!,eㄾnOgRN с߀l;xhMWM0| 7{'L܋~3C˰7G5Ioh a%ńSxZFl6UνRG_kr}fͮTRZ(m1Kj[2X<vW]8j/"jo{ml;X y"L_ݐPۭ\*z˥Leg~@A+V6bUtEN#i<4dt>- ᅗtn!yd Ͷ(Xy5eC8W9S&! VhZ /j-?Z7şs-vR,# k*JCn(2rvA(8(e/uxFO"=>ORcȊoWzD%)vq(O|!@0SiKbN-WU N8q2No|ٷhL|'"`Qu{&e祖xg $W/%$,{ hgr dve}ii.\* S>k=(bcm֋lLj|6%_qSG}>=$?@V"\:*e(/HG\r Q @S=,Ȧ2!E"> 8fs8Bo.[]V0v mU5}#S}A׸2p`)K4.ݡہ]]" Zcrsa$)@p𥆗>p7A6Rj |u=z(  ;*UZxaoW_MOv%t^&'HlmYr :I2|͙RoFg<+ړ$=ԅlwn;ۄ4N "р+#B(vi#5#d$hF)X9K)mB.}f#z?4c7@KM]ոй%839t(p ]ou[?0X'.]AXW+rAD4|r9~@b yW QMd\7}]~ 2xV?}Cn^ѓ9NBt뎤gh u8HyΛC>S\&IP.dz?9Jo?Z=R͓G)̱HdC-f9odT`$ wEI%Tr_64<S(Î <θ)yRIO:x+0 VR>HE,"Z)Rl3җ_hO)\+Y{Nb%¨{!zm_&p#u{s&3Aᾄ$O/ݰ67a;V1 `kFB9.lye]LJOtc> ߲YQLDܚ+[ Ev:u jFЙI)d0J+ZƒX6ŸvLtYN7/lr/ZZO?*ɉöhB_[}QDѮpG.PıA|XurK(=tY*ѳ`[@kHL*cB τ & `п/>Vx>}2;D&UY'.)%Yn0P6jGږR @A7oF]\5 Sfh JLY^V-2/,Ji2T?T72"%0lt}}pӜW!UTِ8 p( P?z2}5H*z 4h2vc#{IXގ'S1;V8̏<0MA=; 0H3ڀx};|1jt~K 5ŸDkrn$~;cD_ysK [(~I.u/$kŢfCy +0%}FaSh#'y'呾IEWZSn)Hx<%l\P/7W- xpk(`.ryK\ڴ𳋡Ӥ"OɋOCS>x(hp,Tw)rMYwAXj\EKor4޹\eA<9CJ;AŸ4ۃ; 0x,XaN2 _AN 3+ci] /He'޳(S+4?pv}5?_I`=\ UX:w*/ڨ];޼(5֞~~4vE9_^=?˫+^M~qtfqvGN uB՜yVjd{UZ!J9*AeT6`76 u G R-zM&oK9ee->vhF[D{dܣm;dB#G8#;R^ڈvJ1񒳂SKkA roYZ6c62JA'ڽkEMu؝ %h7 5a ԖR[AY">=VL@3*H[7Ő ұGza7OͧLZ|K |M؝[L KOYɺ44"ZW* n-ST͇FnDArښၹӪ^RېPi*W_q"j?RIY a ўKV^<ʃ`L- |oĦ,q ˱Eǻ>)ؕL~ClGhvq5=o\C  d }sآV7BA,xAy <: ީ7xdnκ1C<t_(`pf3m x *PTnG}AdޡtMzP0OD8x5܉GB͍߃0&]* 5 X_DPɝ5 5`G;P)Pd@HboY1JԯmLCT+uR9Th]Z9}[4d6lD16T$F7/ȷ }]RW :'Tf/15XvD|(+¶]yt)Tu1Od&x:4*iYwʠ9QCXkoxqGzDOяѰYIzpgl1uxBEQɺY9qi|Ae7h$mlwc3S~ւS!S kѷ.͒*l@~Х_q)Tt9oMuT!-SCĴTPiODL +Ϟ9P<3)շhO?hE7jdr$7u-4-yj#{Ԛ7Q"`}W}{h)08lA:_G*qV\|S#mez$]8 вN|XڕENը kAkqӕlչӫ0BZ8>0ͳENljF|IܺJ+* aQƢ1V'[,W֧w0l&*тV`Ru- ڧFVQT|3hsoUJP$VYI2G =nxtԗ Hf.!φL h]$U}$6uw}g20JE\;r Ed(ю(ިNǶ^E}Y4thAYߞBdԂ*QߨEdZjS˜+n>A4}-%qlHV[%ypYamɑ/6c.!$2νA^;'bv%ҷ%]!)zfyM8[cXtZэЉG.x/Ϲ)Ig=V[k3)`:?K;1p%N}QzE+ U2 iC?{ʐfzDt!LvW&]`%))ښ ?1DYiOb ^)*nhA_q[HA1F#Am' $l>1]Iyҝfϱ)U nU +M;m U4gc_ﳷ=$4D[ Y11r4-G]=b,$< Xޝ9 d#u_?f!r"^y%X~t1eHy֘St?a׿ X!)0gpݦ./>"lLe} p {~t533^rU60$k !.*[O{~ m/^a 7`(l.e4QqX"X%vz׶N;BQ-镻*8J7j_G@Z^ɪ 4Hh=V(/^GgVx.~9% `kM ̀ 8m2ǿd. ` Q213`B׍Dۃٲ#/цGt=+U^jMx0+؞ ]tŸ humQ^65<~.: "臎Ðw} slm|v 5)P;,^^%b ~C4IOi,L bOd+s%xpȏ-~KR""j4O1QZ _i!:eBjʂߗB# Zv3* 3QcZxDUb7籫Wj}:c+8C0` 7xwpi*(l| /E# $HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9J]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ex6q'j[ {J6jw\QɊRi>|MOi4eh ;T7M02V6ΤV ;LeXڂz 낥_< B0)Vq0F/Na 5 I2&K.BQ*Z:Y ޮhdYanA[S_ ʾ= 6z2[i/l1YX[Gzv СxfIeF[kRR6m݄D1iL>PU> TFlg9TmaEΥ#î= )~1e8#R|ly8Tr\N0 Q[igւ;=}F &/&u߭_V;ߝAJJY.?E2jh#bO(5/8HWP֜+@v;W>qWdU#? Sܰ}5v&݆e_bճrԴUr`GXLGSW_lsykm( uϝ  QNĎIyi}6n2Ւv$Kœ:l!~HvKr|S)5%GC^7[,Fʧ A߂Iw B!eB02J;iYq!Jᖍ[=!Ȥ; +rS WL[!8<7gZŋ 6:(l{'ꖲfsT]f$1l)˻ĂȴgPk7C_L!(O|튰F+p鳋FQJQQwȞRrGҪN2X)J?2l#Zs‚~2yPaE4Ìku{ ]5dc/|*ciY͍ <%_e_"9-<'dOLSA{5BK&GtSJLz0O>qj9&Ov3-a:gcODr9TӋJ*F%d0SUR'L>Hg6KsJ^dqTj}EӭŖ(pwohdFN0`;YThԶ׎fF؆W{,~x7zXFGG*gtqA/!1zW {fnT-A0Àg]ZA#ORb>ތ &M;WMAz$C 6 ΰ/Ϛ۵wSk(QM<> ~PYCn1K P{ӎI;XѣL}+:|G/T[ాLo8]ULUVxl(p9^1r"`]jFəfe2[t_JAaw!n19lm=W: oVstV 3f0xv =Mds 2Jqۘ?ōzj?5#A^H BgQ~"s.'\MYI,Q&Jœh\x5e #zedԏMV% մ(Oczxxƛf޴: 5X >0˄?PB!sĬ+:|Yřw֝mŽ53@FX&Ȯ2'BXb$"I\w9.Bu{?㏲wcܒ൸?] 2uqFBa+w LD9UcܢBTZ9Y^Q;\2ܲBKAQ JxarJJGzdHze[wr1:!:>Vg1e"Sf+ rhB&S5 ӻhm'ƚ*9'<4 ƒ͑$BtYomQ AWք*z< ;CdHp{>>`Jaݹh(`Hkp5#~k}j֏E0мfN-#8gYZ %b$ Jn67 } = y >  Xb#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 :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_ide7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.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'@_$B Xt8ЖdtƴdCS43Gk;ZɍAi;D!Or!b {#>Ճ/i\Dx0$["?^+Wva-.HQ!}۪*VٙP j~]rā'k44}r`|?T)}(9fJxW23?KB[# 7u=QOF-Dq87زɣB^I=SMXF۪їiheoP"Zkt R&Iӿ]bO]vO\ vq4AI*BՔBb~;*hB*ƓGO#[f%?F嚼g;;ij.ht.Rd v&c*B[[d3rLzNz*9.4؏_,0\ d(!Nbf7Ch.ԓڈ6C~lO%[;OXjݿGu Ok)p%Xf?CW*ϔE vYj8s*.G9ӱfʩ{s޿*LTAeF ~4ß~1.8Z11$ 3o{ހE).nQ6M),xX)T4R0R$?[el~_#7|[W N"g%ff۰ v(Gټ='qx5W础T%vp$ s=6Ѻ0D8B2.N aF2>F&z>%1g0d<ġؾfT1jp}$)&3H O5`k(<  5j1@3g2,ƃܣ_k'+;:\}H`oҊ=.@T/+E_ׄ7r)'ۥ7Kb/QS1͵ÌxWRb{RQbP_f \葷dU%\Ugb2=7QZ8kw,~廂'SϿ&ʥdXM2 "j:W&Im:Y}2TU-hKipc3amkH,#&"j!U]LpA A8BEͅ>!v8`)y"҆ܛoɟRQ@ݞao;NsB򿡽dv}SyOf3Mc 5d1;^V6N 3YͲ}%Xk{l~ LS'p fJ z4JAU{ŕJ VffDNN-c-Lc{ݺCѢW}7I_ N>/]^}-N|{8yZt劊tP]@(FhpEjoLjӫ^[BMhX~o=H3SRZ.#:6HVXa //S%d5\О$c4 KIq:mAܡk{ͫbWHWʉkΦ\m^L7 A"sζl.R*>KCri2Πss&}Ŏ5H} o*/:W/D+~ 7SqJ1{fA7[ؤnV&s7Ψ,uYX蓷oopx?^ ~Ջu'凁.Eb#.kS߮_PmNiR~n9ϝ`ۓ=9ȿh =^D-.ڷ;~4%/1s}vM+۲?2 ێt|n\#*> 0Y EgHDX*ݝP3rk.ǎP$ Gy/NMVC!Z2$Oƺ͙ g7y|`vMJD7 xE>Ra{'V.`+J:9lS=AV92ѥc߭5Cj降(qƒn0wUHQIik %{EEt2.-Q9A@{UDpڴ-vL q@s?ςv f?Hb_{X;;ze^;J,>_|ف5[z>`߲Ԡ3ٿJ7IJ=nǞµ/sY-FOHʈ>1,*M!W,I Ƭ @ʈAQFfDbjcaI rqkYH'qZce;]qܟ~쌌4b`8Su8r{hBԏ~Tp A6AC"f6- Z/fc)8gs|e2VəG(T&3.~9¿HL&!:vSeϫ%X˰I뷗 RxwtEjfANSr{cN HDPG2.RrV8O=s'S0(csGID3|Q{2s;%`?kN'M04#=K{Rs*%ޫ|h YE#}C|Ug,K ndӵԭ؆vˮhS1<mCLG>VGq>䢟TķIqL8 U5^yS'?a+_[B j==iziرʔpþRt0e}?0籔RK)?׵EsύȳW 5~pJr<*;C%:N'uiJ9P`kD4BGk[}!r$zY1JC]JہD›! '{qA _Rևu`ڰhq=2TEZWn(U?VkJ# CXԲAc|`R -Nj L8^-boZOKt搑/q'mG-Qzu1rq xdk'hwHLs3F/spRC)MuRQ:0xVO}%[G Q!U_Dkki A#AGn@<=r4Ra[,hOs7ؠ3|_@dW7sr[ "ŏdLnF}Rvl0huC~ $76k g G#/kҾd&^Q\1iB 0HG`5(OO؄T :~3eXJQMwr*Qi @+ M"> G̦E :XΆ*)W#6C/4KTp.O95U?fV8N5?$k {`DCC꫕b8>^@$ xSB=BHF^+V0o c"4 ع9܆Qf o)T2_o9~o,Q%t++hT  4mr0u9FB0bFّV;4rQ?a,õfZAV$ZG%@p9~F 䑻!vz Us0w$E;. ɗjS\~YktV t [y4V换.R[xG'";岻5RIO|+"጗h8X_+#I[@֛ԑ>c Hr'BG!߅QH| ӻf@;K{J&D9j>o)YL˜ !PB>\I+d$!8 °u[}r9 DCK: I (NM3^g V:j>d`7D0WV&.oG3VS"al>m_YN>%wG\WJ,L|CH fh#%d^Rxo>t5N x,b]zs#$Mw$JIЗhT7wY-`ƠY"dE#x4k1F>oӦaTk ^_x4J.i- u?kq1ϰ قR[hv&6kS ˭S0` YVH֦K38LR@;85RNWz=d8W0*Mֲīgd7AXgh _32k<\՝|I&yd&tD l< 6LI2;ur;Mn5βck>ޕd̡8,'riE~ڌ;kҰspzEOOpu!c$x{ -\0b}PIߙ\m6PKcpB!8> ipe)W`ᶦG^F2^YrXDdYLAk9 md(փOV8L#U{5av3Ee;"i 'swgEˌۇ.9;Fn釄{\د cQH?rl l~QS$^;[S aXIf"#:!ï[%bQa٥$WB'߰-- nu o~ TןCNVyh'+F6E.H@f!8K/ƴ1$?!KِF$xȥ~eLj:Q%b34K{{1S%"ro@G$.3*BԮ$Shٱ)@2%-vg[*WzuMpbga߈͡\pkB@;Ѻ~z\tW*TSU*m@} fWD|b=iIC=ie%νZ&<G sؤ?`ldt-=f dM#Jltnrq vtWu>CTúAFI\tUq(zͬzMg_T]g9%cC%9_`G}Xs/;4'=G!ʃ Tc'1A? bR28in%,+ Q`^ԝrSQP'kJZYm()DHe/~>$125{/<Ԫ"w*~svyhNPKga< cm߲^]ugB 8)pksFj+%ČgqzFuq*LH7j0?_js}&±gҎl4,bu$}=*R ?rfV:d.]'K6 1Oo"7zY]c޾811ut*iqь2~iPE67:61kwfh>2DWvllb yr/$ G\Bv/U@ Ä=]h)= a"!7=1;r;3/3&7 lƕf ?x1{ZGlߩ 2T[S$M|gc}jC$O3 #_6iF:؜t4腀LU+tYeT6nϹzX T[Smq0Q)XdlhW,L@Ϗ7*m>ބhնzbRI@G3A<'20C0 ~a4i猫SLL?;Mq3bZD07X;¡Y>]ZNFٗ@ $# ij{Ȓe"Cyvm ja1NɁgRe#-/՘+IuuL%' ϹESBdѠ~3-"_Az5lZү^bL^ꔿrG_'eSpfLne`(qh/ߐ؛b0ܚ0 :†Gy LrQѻ,2Ӑ5mB(Ԫ.၉V4+7X^ ;tr_)4|0h+"M0\]t _P{(zOOjd}iZ¬(D(Z96 < ]E7)I)c#*$S~E2b"en2pAlC;4Eom2^//]-qĕɖDt v~R(z&O&y-4A᥅5rٸ,WAZ)^P?gr/@kdbQ2$9~q,Q/ * { Q 8GW%EjJEbe7H w9Bև^ؔY= &ԯklՃwCP6Xj0U:nR-򸥃ekSӰR3{ߩ 2Jѫ.6aW6 :CҊF?pl`4;SΰLiK*i&l*&/Y:ks0|xʠfWKb8[_r9e]pQ/tj^Kzj[{z<ۃŨ~vgIW_'h".0[#﬒kqy.z>2+ċYa7mRc>OC} Q4j~T[p&ҵS0 U| le:!J`djc+ R`V@`ۓLOw(ELu=fDz])͘?TUm~ n9BC+GkPa2O(%DŽ.9]I2MM5nq)vhA!|v -8pxAr"V|zgYZ  7 bB /G# LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝBbpg8hi+$rd?%~Eof?)qE7p(yH36ǻ-"(0d!RʃFDХPB fTl!KӀ%U7>"L/ECVtkA_(wR%0,p+vX,@&[,EgλaS!v7/LISJhZwR/e_ o#'01 r\ J vF[aڡh޷a}+/J -r¯j RdpiH$0;/ >̙+ )^?FN`#LJ !D,YbDt 6Zo؍#sRc |pngp[X{=e >xKp[зyKxa-2bǡBPTuRiCX-lԾ6cm{]{N{r\EP S\.0~fiv+ v5/M7R%ɹz(3"O&ĥRV0XDu6q*1FP H[鋥&X"[_]U+&J.JMaixm.# %FAUo(IgHfq+IyJMRsT1/C6@B׿:N c}rl >"Tr٬ +DƉO TdF *gDa@T]4 MZ@ry> 8+x<Y*n25 JAv̋ )b>?%fOeۈp'!g6^Bu%_HZ?Fƛ%!^ʞY{4p=u=BR\cpdWaaW~Y +?2t_;LGBB`[s5Ƚ͙}.t#SƇEN4_ 1Zj⤵L. .UYլ(3*Q͕ɇјn[QM eN`&;IHwSy.xU˕# aiWg[R5(˲/ !jwLƋ}f|#2=Zۀqhj|ȯ( w> zUv6:LvF|'JvJ,:G^m$BuI4L'Pqw2sd,`@b#;\`3@ %ʞos'ydS6)'G)f!^jbv~dGz)yO%[u"ۅE@ъj׺KNQ[{#eGo7oyer!(: j{ȓ ;z|/3YɡMT0$apn ]\? wL?Ʀ8۩p<-GDu)_|(bejrϋƼQ WZ QY\K KE^I*#b+:BѣA0pz,wz>;7 c@O)AdֱSt<Ƶq8mYwe,xDXɃy1n1mQs㎲!ܚ 5hLsSU@N$@cXdZRӑ4>"-? C+y@_TI^ENܲ]FZי w@:W>;|&Ig|0!7ͪdÚ:K()c}T#Z": jvE&q=vV{*R;ϼeS,+eR[bnƕV,ݪ?͔^YQ1È:^Rd+g~~- &.ˆp0*Z9wpu;+p55L6/?[ cCgA/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! B]·Iq n[:|&[z'ymp)*ْpKWY TƘg:a^39Hy%I34h`7{&x54".$-h5xi^!ѧl㉨6DG>fE;*Zә+M~CATW"b'5mbS]‚ᅏ/e0iUZ)U4[2 ӥ^y2f8;w^Yv#ܨMƊj ˏsؒ/Ur,HV@h6l~Ǔ*p|~›a)Sy}ߌEseQyZ5"xDy7τ.GSUllCa`& v)LTv^\a _ ~z.zu5[sU=raaA3xׂbB1q*ga'nZP?GGw9h]Vس>č l&/M~BF tV)y %b6cPnG0uz2{bIկni/ zfjZ{ }[YGu;JVD;|x^GdBanPaJb i,15zrr@>a`嫶}rBbJ2eG}/6vxt; C#<&_еub5TF(ovk]Lk04.pgI)esg'RLO9m$b}TlҨr0{?7KRx7@2s2OG24?q*-)0`g~@m{3A9u>tk)LbMɩUF0FoYΓ; usc!ri+(w׮rY$ۙ]W6k.}$rz@ YbaXM$jf+4wL̎@^I|J"vCjMҲ;5`w3VnVL h/]m_$H> :6t 5#U6|8 N@3;04Z@ɲ=b~}K(Q QCC{ZtC8.mYR=;!\ʲ{}m0M3gg%Qӻߐk<!eOi5 Zb~E>x#/x厧Y%M1YӜuBɭw+Fc:<."o#؏N 1pLU akB"5+c=mhANޡ#@m#>)gZ=@KxNJpC;>}(ZOǹ6&TN28 ҝQME{?HaXPLV$ Yd>F%8^·S_wp+kۃ fY>+_Y)X8J3MHbxu# C(F1!]^i,mCr*):^Swr}Ȑu@ۗ gz+SyYs.n#ޕkж~悒;'.Q(6L%R(cs\"G53|b_m1^/^X0(<Աrg.Xx {[N< a<9 깪Si: ْa`ϲ`KkN1# .n3t OTmkv5+.x9+ȇC1Ze50N /SKK^G҈ܻœ89jh1МN6 o3#J%2cg@@`*`r=qUمg$CMt3 i.S!yi)H~q$|\x{t˨e?Ŝd|oA.MXᒫ5} `\d=z} nzju8B6=+3VX1S^ތ;Iq˭^kM> 26F=e]}"$gqW*/_aR!,F+P2vn@8NW~ X$hUr­*R'EO8#P99, N#TEɿY12gb{.x hRtSv^6OdToG8B-~nsdn_?z' U-}}ڎ3 WvCGXsPj2plH8M61a~{3z1k_"Ya,%C{v|S _č :﯏|XO_i]MSD3%I4 O O{bZ\8gnc.)} 8L:KٛI,^Fi׮A7 <2NY_9˜ \ @OdF^_+_ekܼDq#f({D=X8*ω.;F=Ro/˛Z`KgSWdsnqz=G\8*U*<5e01C܅64u; _+2Ĩ*` SAN鄻y?eT,j4c[-V& WÄB:ꗭʹ?Ev]lgoO)HhR"Y OF|uxq>#gZ3'\ɸ}4=k>𭮼KE&SjKGEAYsheP,hXg0 d|#d$M&gðբq~ yĩ[lCQ[vƯbL 5L φmN;T2X *BWJc,=PHsYJlrѓL0"yM(XC ZPxSX cT6S입pbm ^.-0SfTҰSБʸQg?s3r0iMVɌ߬eԋ8Vwz䷷ =6# Kwrk)$֙S.o窱?3O7*svfSa F9S$pvI\v#H]Cj7̭'oUG3NjY~=Xs2}y)B%n6QT8 0ckTlM*#ɗ%.$LnyLDW:^(LE4U[BM4}*kP6,j A/nb<;9?(c@ F,,LdaxI"†/{9(j WYgvlCj"S? +z92ZTl̠ѧ.[ڴytZ^}w_`to~&N*z:'7 Lc/ZMd!/ӽs*&ȭG,&|^ne_N62E\'G EcڴOl#,{G?_h9҆-2!BĨLOQBt?0lVU;l+u+9y\ILgtL8Wă5}/pR/d+u*@[IK#-pUFL }P)a||6ȭ>Bf/uo5٠:' td%՜ 8g.u;HR Jj݇,Sy4[߻N/mGKҶa@vAF-S=ƙ5J_~8sW[&πGt=GDEk86J#(Pٲm2R`!GGMAj3F  22Ddo驤 xWs`gP}bz[ ^>FCQ C @7EoGQY~o#<KRSsڑTǝL<8KQ5muo{aUQMj{2p>b?WN+d:H`֥WM.>70B+1P#7F r_>i~Of@d&xqWYf F A[A6XMdCf$o׃$?˺~FmZ7K{!fO)4yg{x#ZUO|f9^5&L5cԙĮ){EzA"_[&02;fr> ]pt[s\@_Lħ3Z y5.6Ϟ`w[wo/Y5;{։Bq4x9gIM)6hGۥ ŜQ8c% fP3׈UOu,%0t n,-M^\zx4 C5oTY7Ҋ]”UcL'Sov4(M1hVgɡz7@=3DxT3g8n,PU7;x2 |,+ꞯiA2򡃃u +k4i`dUN59h.1{7 krvq}}D[8Q I;T"||~NtpH맟.me35͍0G0^(8ݽ@N̙*7R07ymNF dδrc(B:eݴX⎊t-rn?/ $Y͘Cu^[Uxn c]d4^IpHj# VX.=d;F/hӗ2׸4 &3zlenw8A 2E_ t;BYqUD*ai;얔trJin4Rz2^>d4^Ԫ"\l^_ׯ&$?5D.gIO.78 oռ{&:&bw޼T>=o";?3-ybL۹hYtcbʭc4Ji5#g_*2_PBH${= %īBFAߖёc-V9I(VD_xWC$D:r!wлbwBo`~Z׵Bގx]K'Zj,X}=,o;J'9XQUi XS1BS\pGOn[@.yMȱ|AsuvΛ e] {cXzBttN7„d$SZsMifm.XyV}ӑ(%.J ,@3m-o,N`,2]:} <٦ y7[&q@~* ё*9W6v3w0,ޔwѝ[ OeiG0mc5O_k][_/,#*gZ(R_; \ 586٪QATigYZ   j2\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AMLG/E' DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*sB%4F׋Uq֬c6tP*yV8 {&hJ[ OEjxMZTvý1$-[P3$.pzcf(bMBBe6[h|?85M~ O\ZPwG02sGx>cbZK_<#k癿#SY5L,D6dRcT9 b2aۋ:E!,/yK:5i rr#ǚ)8 QʺRjJӮwӎ!g`jVYgnK+PuY'd ŒVLzq=±]j\OӾMRoTJUU}i&'J7pDܗ so00zGb|Q)99hɦbqz+z^Ҵ75NegOXMT{q>J1 z˓\Uw<ž]>C jW]+-8HKq2`ŭYHY%Ot/>k7=!ؠZq*UhKYtPש:0LE=F5^DĊ:]ΐej44`u]ja6:Nx;+*]I'=m-DVIYӷUaqV`_)Ѓ-i ;4L?\c(܌@ds{Ya+`Mp_TYKō`*9;  cg8OҒ3$ -eVJػ,ΓMpE-[ l{ 5WTҖ][;ʸyF>(o/jފ2!=@ xĦ? P'O>ݦe!ɣ!=s jT2jxIK]~v x n2=Įg,wAΐ؃yR2ugLMy~hNn:Iq@f)PBݞީtYcSVr[}&ΰCg\!{YH4y]*۷SELuU$vhs;?XW2FMs(L2ˤc?91+y/G?tC8S5JxH7`NN{ 3.r;@2K[-ж CmcϢ9m< T%bjA\đ2qE7&OAWJEâYwi&^S(jta0m \|qr_]2{^Ԟ;*iZQ/{j/oy0 τ޻j yB@4oFeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w^]Άxʆ5.f-9 rq8HȹzA>-NÌnW q`KhT~zS#~*F]sf`\˥aAС94rS"7q2T18ÞQe8ޚ @L+rMn˵ %):0Le@!|{MfyX+Uݠ{Y {q a$pp$Z1S `qK3gߜQ2PxQ`>juRE,Mi]g iIf.~S'VwO;=r tO gzף}U['vJ5׫P7,4eX,!W8{EPtgS5cIPG]6!b`q1WBG,DkJ7>8)eRh)vrە+Q :_@(?]( &;"0)-9gM*4@p H@ Wy'J:OlPKqiKEdç㣣Bsˑe56=" Mު=#L˸>l( Utc _f8NQě$urEH ww8 7M М*>vA>ZoS0bp!(=hx0.Y?e*=t.V|@&TӞYm*r~MY5:> U|`Wܙ0(gvY?hPf~sj~jd^2T|gs يSo \R}%{l/`FmQ)hhuz-n->QtcG*PiDFq*="v0-?$AFxrYW7y6[(iy1̒D ۾@K=nӰ5;2n6!u˞nhQ^Lw1ew[`3ԚDչ|LzrSN7oC#C-Ư6l;@ BKw_n]Sd8d+)5VA>ͻ+-t:O~Z/9iƒM{SG8%X`w 64G#jw `{?Hrʺ7סχ=3 '=pcyEshN=<:[A-Kע8RS a'^ɗe?|`Xz@5+F˓! 3hYCP u!+2_51 (E`zfa,JqoFr=%;[} `36M^LcPį[$^r,D?Id'ۜGO4!LzD92 MeBob){8ñ Zk%cpCTg<?MBL`g&Up{kE&|a&""<D\;tclZX0sf"4>Zª9N):\J_4ر-gkR ZrI>!o̷%n iO)e_BK]! NrAg3Tg/# ' )$sBpw%yU/K*_*T@&3> $#>";@|:Ir Id>,U鯃M;"T6aՌ('<62m˜N ֩#.[^ou uymb=*HfZѭ!Po+@7E?J[&&4۟2 - |ee~Uiֹg#H(ۨkYCtmC 6ߙQcZPJ!4iۮ0t@hhl.L&aY(}U҈o&r숖?t,>}!V_PO!ThngyT#lBX .]5Ѐ* ,ZG 3w)$cHPQȞcB*1 }dAiXI_&-ڪͫ[`W#Gp;V׏< jiG׎;6goS{a,q~OOrj@(RR#_u?O1cQϺgfg djHFY@ v5?Ӳ lص P&}cuK2?zQܙ G,\ih$Z+VM3 ڋ/܋u^8Dp:>K'=(UɕiD?Af _zuk.O sts Eѓ Z8h^LQѢ FQS=jW$8r+P?"r49m-!z$9J֧w LSx}uVV HPdCYSqB} oBF25# E8b˳._u$hvL&+sN {1W:Ź`4$+YּJ?89yyVjҵrs'C!/𤞽cd>kD'1b ERVڰXy註ZhAWMI0}a0HEM^*iIk+>:׻LUNfn i$ DG+̄^{i2E wsEl/tǾ\^Yh jnL5+C#.9vH ]¤&K~,. LWߧOTH/7.lt򶹘8"7afɢy44l߾Ws5zC䥭 THQzjV)W@w xH`0Y. TR1"a>GY_x7}9J;kWu 1I hN$ҵ-2Rp:C7bG*# `zON5;BQJ]$N 6M{{P(*CuKᬜ:SX>=-fXR4x=~*AYcd?c%~Lt,*7YK0D #Q2."0`C r/v1ޕMNlڵ THd*u*:7ح70c༙mҦ9S,%O* ?=J | k]hB:E4캃h2#=;#I1io ˭$<79hBmfO) Bu!o-a*uJE42 ';gp75t2d)}roHFҁJӞi) K49](xd5ڧיYZ0c&\Hp!&,#]&R%[u[[ r[U7BFuծu|3ӳt;_b5IV qb9jg̪ taKX`_+(dzMfi"3b2Km v~Dzo^} %7*r+q G;TCsI~U v>T5njԩ\0CNY ke{xW:$HAZ"+ #aՂ3G zy[P {w#(PpO.bYYO_И1]C9oEBg!Ͳ(Jwj.m XL t3-hρ@uZS1>=gnhlIYHj`.:K=˵fldd9Hkc02KEljУ =]%2voZS$1Ox![(wxO kp a",cL9,>MXG>D' ee!ܸvwyKЊ/oASQY֣:藏춶RN'6{ 3I}AO$@=f{B #>{:Dk*Ver@y)n,d\ѫ1F_I8Gu\轥O,lgu]p񼤔;_X_,P0,'Ϊ\ё+*)ܧD4#xf%ٵgaO*Ͷ:`~{=*lTJy+(r&ShFg4fi(6KYnR[84+hpYBzؕP2sF 26>Q\zh Q+j˺&hjgp!ks ?[z/DTߚ - J>_nouLB[8ꅀJTu7w(^8~R:`Xsr(XHĔ{" ?{w$`v r10W)5jԔ0S1 0*CY@]LKyҙ)AI^kVni gmb-az/˽G6 Q')(  쩉ݮY.5GK,BK1Cw`R5"=F $9mqHv\eU\`'Ox Y4 (P,ր'c ݒF J7!v8-T;i+@WU$pᨯ?q(JEz_.o6+$3U RIdOA9l*%ᇰ|ՃV5>G9#TqEDƐ[YvJɛO t8'i}Ş2,[7H_VӒ1E2r5‚.ҁ4۰ɄiI;r/#f+R@C%W!Ezj%ŠCHfEubg|y&^pm9{A v\T7!RtݮY|G )~~wfӔH */f_A7ls' ;}XzKGgx0F#|D" y5)kdcg qD+ ق-h< i}&mF%#0n4?_BVbOR, JEhKZCnXǃٳV$)k-v vd7Z2kQ_ GE 緗[??ȥW؛TJ`pB%$TT*n!KAL8p9 {_ewْZwן6)ڀ# 6aIU*ݼxzꝲlr,~c[qa_=1avг8@L Q4KuK>_Oт j- 4dȆe Z_&Q/&* +(٬~JЩa\$uaN_N?ub=v|p!Mf53[[}E>TyM @,gٶ&3أ ׫Dv, S d3!Xg޺ yٟ R|4ћ`b)&~QBg΋h?J5ǵp%JgPʕ׉2SLo'55s NӴJc*k?>)#88UTp!P헻g-5g =-"VJ=Nmw}ffwd@+%[rf%4^Rm w4z,oy9?[ 4sygV Y}ۻo%&&؄|.,U":+ہyph|0 mֳh+p_z^e U2Q2SÖ<', ~*ue|fL%`( m)vdXz5NVS১o5j0Ω2\;Tc;CS3PP[-3=sS3=qDBZsKWm,&8NiO|tV~4 e,$:s|?i5 #D4WUЂO?$ii"EhN| O8֢§ J4$"O؁\ƭ@Uw J2*Y5u@;; lOu/.E△zB_`J@>4ThN鳚ue*NS>mMi'3kmtNr>I}H 8`-1=!<(9ҿdg_(ڋPonC "d'6,},c Ӆ\1US@juh* mU"sQTF8v<sz,O<&gQ_kڮ8su{ڱc~hԨz]s9F=,G*u\g>mrNn67]K}-<S8yy;&0Vcw&d fDZ ˺ONJʭQ7XOTH?$Vn"0Ei4O6u~| =5% ‹ܶ^_﹂ş7d.gv}xF#sXw ^DU\"$`/!g6 !uiY5ۓǟB͓~^z_G]D C=\iA/IW9v`j Jyϭ(2@6[,WS~0*. wo{FYO$؞IT\͆Uw9*o"ptwvR9g!C$T4R_ٖq-srKQ&yw Oؚ=?h,Q-y"h7_F |w47):c1CDŽ `6"=O#صS5GJT 1V:+)xe0nBŻXcԙ(`^P}wה&kuDH Ru&^=nF%E[~]=k'kRhu*PE &%&/M*=zÒ>.jZ_f:^ xa..T\HE]_ySr RIw>M9K5]{})@Ηwh8t68Y;FKxB~.FW'|NoH1#cSMM jQ K҈i"0NQjO8ӶKti9kylN0+7ǟe-ј:md E2N ,|a4sfQt`T, }yM{,T)$Jʀ'Ǻ+z[^ >) p1TB1R 3YJȧƵ-$K0a.Z o n1(x>L4#T񳕢@]g-F62<ԄPmB4ğV|Y췱7@KJmT/[G6 %@[НvT. *. h|Q>SINh]JZu;Xuf  Y@ NqMvZ@$pS˜&dԷ=Y5_ =80ptC_U^(jZ0f'k#-ٜnzM:F"% n|$Y7OsѧUU=7$`D 6S]M̰I+# k$Te[FwU!o ` y{9FȀh` i87&Xg><0X<$KHǟm5x72B&ԈOFͲ-Չ?pC|;%LՍqۼKLXϊH-͒D# bԽ4Zs`iİz[4|ekfbյ z2Nz624s%}:au## m  hG(^? Fktp b;aOO0>J|RwaL G7g<-Aql ZKz<P;HBʋsVdd7@߃÷X6Z ǵZr)o ЖD76/R3!+fՐD*@w ޡm %VQdJEbCIHӸr$F| tg”#`!1E;,IJ#c6}+(%ad;Z, _ZD ş[?}FGPW B_5й3o۽~=D<> ybM/3hqcwlD,&>;!? XBddzf=VQ]m3nXZ4,yA䁥1 3-<9Cuj!'Λ'},eb&j0:R9@( s/*04j$An ([/Q|~PX-AH9h/i$mSr-*3H;xcǤ9cdaG˫ZM=Xɿ IG }"I:kHEz#.pidmE[Qdx`qGZX3kAg{FWoN I9f,(ïv u! M2)sйţ\`/M bhrWnd4N#5)Ctq  iXgA{ +`AvCgQa603)\vz0Zӡw35 I̧ۧ 2bzCa0dDY_9<_yhn#^z%!pG+ƞb}p)Mm_j}T-Ir%ȋS3T~mm0$r{OXfאXx+ZLAo]g'P_a?Fhm,WWgYZҨcY&Jwtɿd DSfg}hnհ׬fϓ""jꡖ1ꁯA;n e.[<Fb(np+ˁj}nHD%t>W$ͧ;9ɻXN1{<;gϘLᗑ\A?t9'G'hP$rA2@/{l-zS: [SGMƅp?xk?nT\*=Gzf(.|5)NY0­gsEkr*;OJbA}T0t280ܖmK B*]3n,EU]R0+K[ aKR cYe#nrMF3T 9}'gP\4N0s[sbA0qwE}HE}(/.uL iuUy.KN"삝vsW( mV!ՂR&")|N+sL+ȍoW=N_$8ˣ pz1|KjuJV)l@M2.ѐxsʳ#rbsX+'bb1>%?Q4ږ>:}ra?mK0Ba;SwШ•Cꁩ(Niޫו,b/jmχH onNJѧv<ʎM>r9؂A1t)o\hlTY@ Ў}w˜8WLnEEN.-Ɇ~J R39zænS^D0y,\Gνs+KBԎM{=XwnQOukHUH5Z\|z0(P.+On-hF9 zpsW!ih_,0`XA~4Z5L #<PS _|6ꭱHu>X$Jxrf fH2ǜM'X5Os~vVFA9;"F7),QTNrBǑWv c!Ez|.=+! H񍖰N oޫ{`NÅDuUs]:/S<[vȣ14J*N4K$SAR6{\@^'\9p,|YF'0ܴ!J#ljG;fG J6v19?םnv(% Zw-o,,vl/VV#?13>^(Ι[. 3Vc IRAIq;h]RS!P< V?74_.ǫ˱լiI'=*0  ˖]QkQn)-w_XjY=K-$  uo^fhfy7G+-Mʹ: ~nb'Fy XAgIa-]\C0 bSu8Yp*eD+J"wc;{z&Go)2sٮRnZmȐ C fe0#WKJB5͸A#dc%d9_IBI{CF2 ~x+-70pCc@M ck ~Dj.=lָ6`4jAٝW]&Ixٮ9mp-OhN͸PO8^bv.,@W _TZ56MKκZeC="jĕ|VbKxAe,,*i5>.]Mxct^:#g(7+pMKgDO|p/(~N=BwHIvWnc<&0曳-w3#3"^m4N:^`.$0jDI:fUB)HuhO%"㦄貀ȬR5DO]{C[faAKϤ92Jnw>ޫݠ@8f̋.  Ew(dNHŷsw1g61vHs23@kP)$VXp7\̚TMWY}6yRtA!+YQ<mH´6w\L-3le%FC{G 6gAese;H+ܠָsL% S, i~UV]f={;N>U8xɫXMfDpu(`b3@mHQ)xL {"8CCJu%u!ӝͿ[7ob%i~{o qI.C] UBm+7"v;Y*Ȼa"&f6i[{҉jkIʷpnؙ mZ--9[`ƜHdd;MOig,{g#[7D3z7ng>Z3PzFCiN1HZwu#6_7:0"$Ro67|s6im}$8Ga+W3\Aꐢ3ZSp4A& pZ3@;@+/܃obe b@llZXk '/~XقlgfT4a|u?*Uh>ר ˛Q^aܚ2kec*ܘ|7{Goyf=NPbЌE,|o.,djPE[b``klz}wb!ݩZt1ia^ urԑk\AρZS<*EB\n3o.dݞkfk<:hFHDSN Shj6;[=+V #1+B};O>'+!8_InO~Lelfb:jaY)j6{h{&qԺQbA{$BRs5-{gL"//1fx&,7*71Mbj;P$H'S'kP\wC׿)\4 ;Pcv'F`OJ܎2&`+*|lЙQ|JzwBl F'oђ2Й88%3rh@DԊӇU|6t'B ,XRcƭloW<،eV@2o+I3{d9nR3[㪟H /,t8PBAW+)F= ?#B)g k(Q R)WN6d[ 0P|=mCl FG8`F%vd=_QjfE|JC嗖U*l.2]gYZa8996e431f03b86264266337f0f92fe7d0165feb0aeaa9ce0113e5633ca56f2a1c2a09cabe613578 745ff00ac8c20e7f6705f419bd903ca0bfed0394